= 683 + -675. Is o bigger than -3/4?
True
Let c = -29 - -33. Let m be 1 + (4 - c) - 2. Which is greater: 2/67 or m?
2/67
Suppose 3*m = -m + 5*y - 17, -m - 3*y = 0. Let w be m/21 + (-44)/(-14). Suppose 2*d = -w*d + 15. Is 3 <= d?
True
Let g = -241.09 + 241. Is 13 not equal to g?
True
Let j(d) = 54*d**2. Let i be j(-1). Suppose y - 1 = 2*b + 26, 0 = -5*b - 2*y - i. Suppose 0 = 3*r - f + 31, -2*f - 8 + 4 = 0. Are r and b unequal?
True
Let g = 20 - 37. Let q be -2*(-1 - g/(-2)). Suppose -2 = -3*a + q. Is a not equal to 7?
False
Suppose 3*w = 4*z + 31, -w + 2*z - 69 = -6*w. Let k = 3 - w. Let r = k + 5. Which is smaller: -6 or r?
-6
Let v be (-7)/((-35)/(-22))*(-5)/1. Let c be (v - 18)*(-6)/(-8). Is 5 <= c?
False
Let d = -357 - -372. Is 21 < d?
False
Let s be ((-2)/(-3))/((-42)/(-49)). Is s at most as big as 0.3?
False
Let f be (12/26)/((-8)/(-2)). Suppose 3252*r = 3259*r. Which is greater: r or f?
f
Let l = 320/1003 - 6/17. Let a be 0 + 0 + (-1 - (-2 + 2)). Is a less than l?
True
Let p(b) = b + 2. Let l = 14 - 14. Let s be p(l). Suppose 3*j + s*j = -5. Is j greater than -0.8?
False
Let d = 4 + -4.1. Let x = -2.03 - -2. Let p = x - 0.1. Is p >= d?
False
Suppose 99 = -3*z - 4*g + 3, 12 = -4*g. Let n = -23 - z. Is 2 bigger than n?
False
Let w be (1/(-2))/(16*(-10)/(-200)). Which is greater: w or 0?
0
Let h(f) = 34*f + 884. Let s be h(-26). Does s = -26/75?
False
Let f = 13 + 12. Let k be ((-6)/(-10))/((-5)/f). Suppose -c = -0*c + 1. Is c at most k?
False
Let z = 46.5 - -2.5. Which is greater: 3 or z?
z
Suppose 0 = -10*u + u + 135. Suppose -4*t = -7*t - u. Let k be 1/3 - 29/6. Which is smaller: t or k?
t
Let k be -6*(-10)/(-45)*(7 - 58). Which is smaller: k or 65?
65
Let p be (-10)/(-45) + 25/9. Suppose p*h = -2*h + 20. Let x(l) = 2*l - 2. Let o be x(h). Which is bigger: -2 or o?
o
Let q = -21 + 4. Let r = -17.28 - q. Let k = r - 0.72. Is 0.02 at least as big as k?
True
Let t = 1/859 - 1086641/5154. Which is smaller: 0.1 or t?
t
Suppose 0 = 5*n - 25, -l + 3*l - 3*n = -403. Which is greater: l or -190?
-190
Let g = 3 + -3.2. Let z = 0.26 - 0.56. Let i = z - -4.3. Is g less than or equal to i?
True
Let o = 174 + -370. Is o at most -197?
False
Suppose 15*g = 10*g - 75. Let z be (132/(-104) - 0)*(-10)/g. Which is smaller: z or -1?
-1
Suppose -7*i - 5 + 12 = 0. Are i and 2 non-equal?
True
Let q = -32 - -27.1. Let l = -11.9 - q. Let f(k) = k**2 - 7*k + 2. Let v be f(7). Is v >= l?
True
Let o be (-265)/175 - (-2)/2. Let g = o + 164/455. Suppose 0 = -4*v - 20, 0 = 2*k - v - 5. Are k and g nonequal?
True
Let g = 101 - 98. Suppose -g*h - 9 = -0*h. Which is smaller: 0 or h?
h
Let y = -42.12 - -2.12. Is -3 > y?
True
Let w(j) = -4*j**2 - 8*j + 48. Let h be w(-7). Is -94 < h?
True
Let n be (-231)/1720 + (-15)/(-120). Is 1 smaller than n?
False
Let c = 0.057 + -0.024. Let g = -1.033 + c. Which is greater: g or 5/2?
5/2
Let h be (0/(1 + 1))/(-1). Let x = -2.7 + 2.7. Let q = 7 + x. Which is smaller: h or q?
h
Let o = 23/5 - 217/45. Let f(x) = x**3 + 8*x**2 + 9*x + 10. Let g be f(-7). Let a be g/(-10) - (-7)/(-30). Which is bigger: a or o?
a
Suppose i = u + 1, -2*u = -i + 3*u - 11. Suppose 5*c + 12 = -l, -i*c - 5 = 2*l + 13. Let j = -8 - l. Is -4 bigger than j?
False
Let r = -57851074/3 + 1379343160343/71529. Let w = 5/211 - r. Does 0 = w?
False
Suppose 0 = 7*k + 4 - 25. Let u be 475/(-342)*k/((-15)/4). Is 2 <= u?
False
Suppose 0 = 4*c + 130 - 538. Let q be c/9*(-21)/(-4). Let m = 61 - q. Which is smaller: -0.1 or m?
-0.1
Let g be 5/(-1)*(540/(-50) - -11). Which is smaller: g or 15/43?
g
Suppose -9*u - 1116 = 3*u. Which is greater: u or -95?
u
Suppose 6*w - 4*w + 4*n - 20 = 0, 4*w = -3*n + 15. Suppose -3*m - c + 13 = 0, 0*m + 4*m + c - 19 = 0. Suppose p = m*p + 30. Is p < w?
True
Let j = 8774/17 - 516. Are 0.9 and j nonequal?
True
Let t be 8/(-10) - (-81)/45. Suppose -p + 5*v = -t, 3*p - 5 + 2 = -5*v. Is p equal to -2/369?
False
Suppose 23*j - 172 = 127. Which is bigger: j or 121/10?
j
Let c(t) = 143*t + 2 - 2*t**2 + t**3 - 146*t - 1. Let y be 4/(-6) + (-22)/(-6). Let i be c(y). Is i at most 1?
True
Let l = -96/385 + -2/55. Let p = 24 - 45. Is p bigger than l?
False
Let p = -0.27 + -0.73. Is p less than or equal to 493?
True
Suppose f + 5*n = -423, -3*f - 269 - 940 = -5*n. Let r be (-1)/(-2) - f/(-112). Are r and -4 unequal?
True
Suppose 13806 = -41*i + 23*i. Do 0 and i have the same value?
False
Suppose -6 = 2*j - 2. Suppose 8*n - 34 - 86 = 0. Let q = n - 15. Is q at least as big as j?
True
Let g be ((-1)/(6/(-6)))/(-1). Are g and 4/19 non-equal?
True
Let b(p) = -p**3 - 6*p**2 - 8*p - 11. Let z be b(-5). Suppose 2*q + z - 4 = 0. Let j = 459 - 18821/41. Which is smaller: j or q?
j
Let b be (4 + -4)/(3 - 5). Which is bigger: b or 14/29?
14/29
Let i = 347 + -346. Which is bigger: i or -0.181?
i
Suppose j + 21 = -5*a + 6*a, a = 2*j + 44. Let b = 11 + j. Which is greater: -11 or b?
-11
Suppose -562 = 27*d - 76. Let l = 0.9 + -2.9. Does d = l?
False
Let s = 20013/2356 - -237/76. Is s != 13?
True
Suppose -5*z = 12*z - 1462. Which is greater: -0.1 or z?
z
Let p be 2/(-8)*8*(-354)/(-18). Is p >= -0.1?
False
Let v = -449.1 + 449. Is v at most as big as 4?
True
Let v = 4.249 + -4.2. Let q = 0.251 + v. Which is smaller: 0.1 or q?
0.1
Let x = -2012675/177 - -11371. Is x bigger than 0?
False
Let q = -486 + 479. Are q and -74/13 non-equal?
True
Let i be (22/12 - (-22)/33) + -3. Are i and -2/73 equal?
False
Let q(j) = j**2 - 4*j. Let d(m) = m - 12. Let a be d(14). Let h be q(a). Let r = 3 + h. Which is bigger: r or -2?
r
Let d(g) = 3*g**2 - 20*g + 12. Let r be d(6). Is r <= -8/7?
False
Let a(b) = -b**3 - 3*b**2 - b + 7. Let n be a(-4). Let v be (n/14)/(-9)*-4. Let c = 7 - 5. Is c at least as big as v?
True
Let a = 3314 + -454016/137. Is -3 equal to a?
False
Let z(m) = -m - 7. Let v(p) = -p**3 - 2*p**2 + 4. Let g be v(-3). Let f be z(g). Is -20 smaller than f?
False
Suppose 0 = r + 3*c - 264 + 1252, 2*r + 1992 = 2*c. Is -994 > r?
False
Suppose -g + 2 = 1. Let v(z) = 2*z + 20. Let i(o) = 4*o + 41. Let m(k) = 6*i(k) - 13*v(k). Let q be m(-8). Which is greater: g or q?
q
Let u = 84.5 - 82. Let d = -2.37 + u. Which is greater: 0 or d?
d
Let a = -2.174 + 0.174. Which is greater: 0.1 or a?
0.1
Let c = 141 - 143. Is 56 greater than or equal to c?
True
Let s = -8484 - -93422/11. Let k = -9 + s. Suppose -3*r = -2 - 1. Which is smaller: k or r?
k
Suppose -4*z - 27 = -3. Let m be z/10*-3*5. Are m and 8 non-equal?
True
Suppose 4*d = -18 + 74. Let j = 11 - d. Let r(m) = -m + 1. Let a be r(j). Which is bigger: a or 3?
a
Let i = 346 + -351. Which is bigger: i or 0.2?
0.2
Suppose 28*a - 11*a = 0. Is -1.87 smaller than a?
True
Suppose -3*t = t. Suppose -2*w + 3*w - 21 = t. Let g be w/(-6) + 1/(-2). Which is smaller: -3 or g?
g
Let m = -1595 - -1595. Let o be 24/(-27) + 2/1. Which is greater: o or m?
o
Let q = 21 - 20. Let b = 0.2 + -0.5. Let m = b - -0.4. Does q = m?
False
Let i = 645 + -644.87. Is i at least -1.3?
True
Let h = -2783/4 - -386845/556. Suppose -2*a + 23 = -5*z, 3*a + 78 = z + 80. Is a bigger than h?
False
Let m be (-217)/(-882) + (-4)/18. Let c = m - 47/14. Let v = 8 - 11. Which is smaller: v or c?
c
Let x be (2/29)/(12/(-4)). Let l = 348 + -347. Which is smaller: l or x?
x
Let c = 33 + -5149/156. Let l = c + -1861/1716. Which is bigger: -1 or l?
-1
Let k = 92 - 58. Suppose -4*q + k = 2*y + 8, y - 5*q = 34. Is y at least 20?
False
Let u be 1/((-3)/(-573))*(-4 + 0). Let c = u - -2318/3. Is c greater than 9?
False
Let o be (-78)/(-4)*2/(-3). Let z = o - -13. Is 0 at least as big as z?
True
Let s = -133/2 + 48. Which is smaller: s or -19?
-19
Let m = -0.2955 + 0.0965. Which is greater: m or 0?
0
Let p = 0.1241 + -3.9241. Let r = -0.79 - -0.09. Let v = r - p. Is v less than or equal to 0?
False
Let b = 9 - 13. Let i be 2/b*-6 - -3. Let f be 0 - 1/(i/14). Does f = -1?
False
Let y(a) = 5*a**2 + 9*a - 20. Let w(i) = -3*i**2 - 4*i + 10. Let m(d) = -7*w(d) - 4*y(d). Let j be m(6). Which is smaller: j or 8?
j
Suppose 3*s = k - 14, 2*s - 2 = 4. Suppose 0 = -5*z + 2*z + p - k, 0 = z - 5*p + 3. Let n = 12 + z. Which is smaller: n or 5?
n
Let l = -5.651 + 5.451. Let i = -0.4 + 0.3. Which is greater: i or l?
i
Let t(j) = -j**2 - 22*j - 120. Let r be t(-13). Let q = 1 + -2. Is q smaller than r?
Fa