 + -309. Let f = 15.04 + -13.7. Which is greater: u or f?
f
Let m = -1968.062 + 1968. Let i = 10 - 1. Is m equal to i?
False
Let f be (-2 - -1)*(-299)/13. Let m = f + -82. Let z = m - -59. Are -7 and z non-equal?
True
Let i be 1 + (-5 - (-9 - -7))*(-2 - -3). Which is smaller: 3/248 or i?
i
Let h = -2629338/92975 + 707/25. Is h less than or equal to -1?
False
Let l = 127.5 + -100. Let i = l + -32. Let j = i - 3.5. Which is smaller: -2 or j?
j
Suppose 0 = 4*b + 5*d + 1 + 2, 5*b + 3*d = -7. Suppose 0 = 42*h - 45*h + 9. Suppose 2*n - 3*t = -10, -h = -n + 2*n - t. Which is bigger: b or n?
n
Let b = -31325/38675564 - -3/9652. Which is smaller: b or 0?
b
Let z(j) = -j**3 - 9*j**2 - 3*j - 2. Let f be z(-9). Let h = -26 - f. Is -51 < h?
False
Let n = 87.28 - 89.238. Which is bigger: -0.04 or n?
-0.04
Let t = -26.9 - 90.1. Let y = t + 108.2. Is y != -1?
True
Let a = -536667/55693 + -1/5063. Which is smaller: a or -11?
-11
Let t = 462 + -466.58. Let k = t - -1.58. Which is greater: k or -1?
-1
Let u(f) = -635*f + 126. Let v be u(3). Which is greater: -1778 or v?
-1778
Let d(g) = 23*g - 106. Let q be d(11). Is q at most -4/5?
False
Suppose -40*p + 37*p = -5*v - 53154, 5*p = -5*v - 53210. Is v smaller than -10634?
True
Let q = -5.9 + 5.2. Let m = 1.1 - 1.6. Let h = -1.5 - m. Are h and q nonequal?
True
Suppose -2*h + 3*o - 3 = -0, 2*h + 2*o - 12 = 0. Let n be (-10)/(h + 21/(-11)). Let i(q) = q**2 + 32*q + 198. Let l be i(-9). Which is bigger: l or n?
l
Let w(y) = -y**3 + 3*y**2 + 12*y - 5. Let h be w(5). Suppose -2*v + 0*v + 232 = h*l, -220 = -2*v - 2*l. Suppose -8*k = -86 - v. Which is bigger: k or 27?
27
Let h(d) = 2*d + 127. Let y be h(-63). Is 63/53 smaller than y?
False
Suppose 7 = -72*a + 73*a. Suppose -197*n = -204*n - a. Which is smaller: 26/55 or n?
n
Suppose -5*z = -5*o + 55, 13*z - 8*z + 34 = -2*o. Let q(j) = 8*j - 24. Let b be q(8). Suppose -29*n = -33*n - b. Is n bigger than z?
False
Suppose w = -1, 2*j - 10761 = -4*w - 29093. Which is greater: -9163 or j?
-9163
Let p(b) = 233*b + 14. Let i be p(-1). Let d be (3 - i)/3*(-5 - -6). Is d equal to 75?
False
Let a be 113408/9448 + 3 + -15. Is a equal to 0?
False
Suppose -8 = 2*x - x. Let o be (-1 - -3)/2*(11 + x). Suppose o*t - 4*g = 45 - 139, -2*g = t + 38. Which is bigger: -35 or t?
t
Let r be 2 - (0 + -3 - -2). Let v be 3/17*r/(-18). Let w = -14109 + 14110. Which is smaller: w or v?
v
Let c(d) = -34*d + 3. Let v(q) = 69*q - 5. Let k(p) = -5*c(p) - 2*v(p). Let s be k(1). Let z = -5 + 5. Which is smaller: z or s?
z
Let b be 0 - (-3 - 24*(2 - -1)). Let l = b + -9. Suppose l + 66 = 3*s. Is 45 <= s?
False
Let p = -134 - -18. Let s = -147 - p. Is 1 at most as big as s?
False
Let a be (-6)/5*(10 + (-1680)/(-36)). Let v be (a/(-4930))/(22/10). Is v > -2/9?
True
Let o(b) = 3 - 6*b**2 - 8*b**3 + 2*b**2 - 10*b + 10*b. Let d be o(-1). Do 7 and d have different values?
False
Let i(z) = -4*z + 40. Suppose 0 = 11*a - 6*a + 25. Let w be 18/((-5)/a + 1). Let b be i(w). Which is bigger: 0.1 or b?
b
Let q(a) = 0*a**2 + 1393 - 1405 + a**2. Let c be q(-4). Let w be (c/161)/((-3)/21 + 1). Which is smaller: w or -1?
-1
Suppose 0 = -67*o + 33 - 51 + 219. Let u be (9/10)/(18/15). Is o less than or equal to u?
False
Let k(x) = 11*x + 21*x - 11 - 25*x. Let w be k(-4). Let z = -43 - w. Which is smaller: 1 or z?
z
Suppose -73*r - 3906 = -66*r. Let b = 556 + r. Which is smaller: -0.68 or b?
b
Let s(k) = 412*k**3 + 12*k**2 + 48*k + 43. Let m be s(-2). Which is bigger: 1/2 or m?
1/2
Suppose -16 + 16 = 8*p. Let l(r) = 2*r**2 + 5*r - 4. Let b be l(-4). Suppose -5*s + 3*w + p*w = b, 3*s = -2*w - 1. Which is smaller: 2/47 or s?
s
Let a be -3 + ((-8846)/88)/(-1). Let s = a + -353/4. Do s and 2 have the same value?
False
Let o(z) = -3*z**3 + 4*z**2 + z - 7. Let j be o(2). Let g = j - -25. Are 12 and g equal?
True
Suppose 1057 = -2*y + 5*n, -4*y - 883 = -5*n + 1246. Let r = -4816/9 - y. Which is smaller: -2 or r?
-2
Let q(y) = 16*y - 6. Let a be q(6). Let f = 99 - a. Let c(p) = -p. Let t be c(-5). Is t bigger than f?
False
Let b(k) = -9*k**2 + 55*k + 150. Let g be b(-2). Is -1327 smaller than g?
True
Let v = 16.45 - 17. Let c = 538.35 + -539. Let u = c - v. Which is bigger: -38 or u?
u
Let f = 3422 - 3939. Which is smaller: -2063/4 or f?
f
Let r be 1647/(-58133)*(-2)/(-6). Which is smaller: 1 or r?
r
Let s be 8/(-3 + 11)*(-4 + -1). Let q(f) = 43*f + 153. Let h be q(s). Is h equal to -2?
False
Let l = 6.3381 - 0.0381. Let c = l + -6.2. Is c smaller than -1/479?
False
Let l be 14/2 + (-2)/(-2) - -3. Let o = l + -8. Let f be o + 14*(-1)/6. Which is smaller: -0.08 or f?
-0.08
Suppose 22*t - 2*b - 235 = 19*t, -5*b = -3*t + 250. Let i = t - 78. Which is greater: i or -3/2?
-3/2
Suppose -t - 1184 + 782 = 0. Which is smaller: t or -401?
t
Suppose -4*y = -79*f + 80*f - 488, -244 = -2*y - f. Is y < 1348/11?
True
Suppose 0 = 4*f + 14*g - 9*g - 104, g = -2*f + 40. Let s = 1 + 16. Are s and f non-equal?
True
Let z = -10355/17 + 220511/323. Which is bigger: z or 73?
z
Let w = -1.32 - -66.72. Let z = -73 + w. Let k = z - -10. Are 1 and k unequal?
True
Suppose -332 - 100 = 3*p. Let l be 4/(-3*4/p). Are l and 49 equal?
False
Let h be 7*(204/42)/1. Suppose -h*o + 25*o + 513 = 0. Is 2 greater than or equal to o?
False
Let j(y) = y**2 - 25*y + 96. Let q be j(21). Let r be (-10 + (-832)/(-72))*q/(-7). Suppose -6*m = -m + 20. Which is smaller: m or r?
m
Suppose -5*z = 16*z + 294. Is -17 greater than z?
False
Let l(b) = b**3 + b + 2. Let i be l(-1). Let p be 9/(-24)*(i - -4). Are p and -3 non-equal?
True
Suppose 272 = 3*t - 5*o, 94 = -4*t + 5*t - o. Let d = -175 + t. Which is smaller: -78 or d?
-78
Let p = 4729.1 - 4730. Which is bigger: p or -219?
p
Let l = -103 + 534. Suppose -843 - l = -13*v. Let h = v + -38. Which is greater: h or 59?
h
Let y = -3495 - -3493. Is 1482 <= y?
False
Suppose -7348*y + 7417*y - 2415 = 0. Do y and 64 have different values?
True
Let m be 9 + 2424/(-3 + 0). Are -1/2 and m equal?
False
Let x = -500 + 484. Let d be x/(-45) + 130/(-975). Which is smaller: 8 or d?
d
Suppose 80*u = 205*u - 3250. Suppose 321 - 91 = 5*o. Let j = o - u. Which is smaller: j or 19?
19
Let o = -1066 + 1068. Which is greater: -56 or o?
o
Let s be (-9)/((-324)/(-64))*27/(-6). Is s bigger than 270/37?
True
Let h = 24859 - 24904. Is h != 159?
True
Let z = -2.57 + -2.43. Is z equal to 1?
False
Let y(s) = s**2 - 43*s + 82. Let z be y(-30). Is z at least 2272?
True
Let k(u) = 21 + u - 20 - 4. Let b(l) = l**2 - 2*l - 1. Let x be b(3). Let j be k(x). Which is smaller: j or 2?
j
Let f = 14283/11 + -1295. Suppose 37 = 4*h - 3*z, 5*h + 296*z = 300*z + 48. Is f at least as big as h?
False
Let r = -2297 - -2211. Which is bigger: r or -3?
-3
Let w be (32 - 27) + 11/1. Let n be 12/(-4)*1 - w. Is -1 greater than n?
True
Let z = 2280 + -1619. Let b = z + -660. Is -1 <= b?
True
Suppose -1558*y - 538888 = -1502*y. Are y and -9624 equal?
False
Let x be (29 - 8)/(9/15). Let n be (-4024)/(-140) + 14/x. Which is bigger: 28 or n?
n
Let q be 67 + 11 - 6*-1. Let u be (-1)/3 + q/(-126). Which is smaller: -2/29 or u?
u
Let u be 1179/(-45) - (41 + -67). Let q = -31.1 + -4.9. Is q at least as big as u?
False
Let h = -693 - -761.2. Let q = h - 98. Which is greater: q or 1?
1
Let k = -321557/194 + 3315/2. Is 3/70 at most k?
False
Suppose 0 = -3*z + q + 1, -9 = 2*z + 3*q + 5. Suppose -3*r = -5*k + 41, 5*k = 3*k - 4. Let i be 20/r + (1 - 0). Is z at most i?
True
Let v be 8/((-432)/(-927)) - (-85)/102. Which is greater: 172/9 or v?
172/9
Let f be (-6)/(-4) - (-11)/22. Suppose -f*v - 10 = -0*j - 5*j, 5*j = -4*v + 10. Which is smaller: 1/259 or v?
v
Let o(y) = y**2 - y. Let j(l) = -l**3 + 5*l**2 + 5*l - 13. Let u(f) = -j(f) - 3*o(f). Let n be u(8). Which is bigger: n or -9/4?
-9/4
Let t = -31797/17 - -1871. Let o = -5/3333 + -123151/113322. Let w = o + t. Is 2/7 smaller than w?
False
Let y be (-747)/(-81) - (14 + -5). Is -248/9 at most y?
True
Let o = 3.074 + -3.1055. Do o and -2/15 have different values?
True
Suppose 0 = -22*z + 25*z - 12. Suppose z*j - i - 10 = -9, 0 = 5*j + 4*i + 25. Is -13/7 bigger than j?
False
Let a = 1/128830 - 20871/135400330. Is -1 >= a?
False
Suppose 879*c - 830*c = 833. Is 142 greater than or equal to c?
True
Let a = -1259/1066 - -25/26. Is a at most as big as 