). Which is greater: -751 or g?
-751
Let o = 1.02 + -0.02. Let i = -1/346 - -349/1038. Is o > i?
True
Let y = -0.43 - -0.24. Let f = 1277.81 - 1284. Let n = y - f. Do n and 0.1 have the same value?
False
Suppose -a + 2*y + 3 = -2*y, 0 = a + 2*y + 3. Let x(g) = -g**3 - 21*g**2 + 31*g + 194. Let l be x(-22). Is l < a?
True
Let o(y) = 10*y - 20. Let s be o(6). Suppose -s = -9*u + 59. Which is greater: u or 4?
u
Suppose 5*r + 4*d + 4 = 0, -3*r + 2*r + 1 = -d. Are r and 7/17 non-equal?
True
Let h(s) = s**3 - 2*s. Let j be h(2). Suppose -n + j*n - 573 = 0. Let z = n - 1721/9. Which is greater: 0.1 or z?
0.1
Let g = 1416092846/1243 - 12541508/11. Let x = -883 - g. Which is greater: 0 or x?
0
Let x = 99 + -158. Is x <= -59?
True
Let g(m) = m**3 + 6*m**2 - 11*m - 8. Let d be g(-7). Suppose -d*l + 25*l = 3*x - 110, -3*x = -l - 10. Which is bigger: -21 or l?
-21
Let d be (-1100)/(-110)*((-48)/5 - 0). Let u be (-20)/(-2)*(-95)/10. Is u smaller than d?
False
Let i = -129/4 - -65/2. Are i and -730 non-equal?
True
Let s = 0.09 - -0.05. Let b = 7.94 - 8. Let m = s - b. Does m = 4?
False
Let l = 36 + -37.7. Let j = l - -0.7. Let m be 3 - (-1)/(-3)*0. Which is bigger: m or j?
m
Suppose 5*b + 743 = -2*i, -59 - 521 = 4*b - 2*i. Which is smaller: b or -144?
b
Let o be (7 + 133/(-49))/((-142)/14). Is 1 at least as big as o?
True
Let w be 48/(-40)*(-40)/(-3). Are w and -110/7 non-equal?
True
Let z = -7.8 + 7.757. Let o = -11.043 - z. Which is smaller: o or -0.1?
o
Suppose 2*q = 3*p - 2, -2*p + 4*q - 8 = 4. Let y be (30/(-270))/(1*(-1)/p). Which is greater: y or 1?
1
Suppose 12*z + 30 + 66 = 0. Let h = -2 + 5. Suppose 0 = -2*q + h*x + x - 4, 12 = -4*x. Is z not equal to q?
False
Let s = -6/17 + 47/85. Let w(m) = -m**3. Let y be w(0). Suppose -4*a - 4 = -y. Which is smaller: a or s?
a
Let m(n) = n**3 + 4*n**2 - 3*n**2 - 17 - 3*n**2 - 7*n - 6*n**2. Let p be m(9). Is p greater than -4/17?
True
Let n = 2.56 - 69.56. Which is smaller: n or -1?
n
Let g = 619 - 581. Which is bigger: g or 59?
59
Let c be (20/(-15))/(4/(-18)). Suppose -14 = -2*d - c. Suppose d*z - 5 = -9. Is -1/26 greater than or equal to z?
True
Suppose 2*p + 5*n + 6 = 0, 0 = 2*p + 3*p - 2*n + 15. Let b be (-45)/21*-6*12/(-54). Which is bigger: p or b?
b
Suppose 4*s - 45 = -3*w, 5*s + 2*w - 46 = s. Suppose 20 = -8*t + s*t. Is 6 at least t?
True
Let s = 0.0501 + -0.0801. Is 0.01 > s?
True
Let y(r) = -r**2 + 2*r + 4. Let j(l) = l**3 - 6*l**2 - 6*l - 1. Let k be j(7). Suppose 5*v - 21 = -k. Let o be y(v). Is 3 equal to o?
False
Let a(j) = j - 4. Let k be a(3). Let i be 2 + ((-286)/77 - (-6)/(-21)). Is i at least k?
False
Let d(h) = -2*h**2 + 13*h + 2. Let z be d(6). Let l be (-3)/(-1) + (12 - z). Is 7 not equal to l?
False
Let u(d) = -d**3 + 14*d**2 + 30*d + 27. Let j be u(16). Which is bigger: 0.17 or j?
0.17
Let s = -26 - -29.8. Let m = s + -7.8. Which is smaller: -0.3 or m?
m
Suppose -4*t + 14 = -y, 2*y - 6*y + 39 = 3*t. Let l = y - -11. Let w = 8 - l. Which is smaller: w or -8?
w
Let f be 9/12 - (-13)/4. Suppose 2*s = 6*s + f. Is 2.1 greater than s?
True
Let v = -6017 - -962723/160. Is -1/4 at least as big as v?
False
Let z = -265.9 + 266. Which is greater: -35 or z?
z
Let y = 406 + -116. Which is smaller: 289 or y?
289
Let t = 5 + -3. Suppose -5*m = -25, -m + 2 = -3*i + 12. Suppose 4*o - 29 = 3*o - i*c, -t*o = 2*c - 18. Is 4 at least o?
True
Let x = 3630 - 14623/4. Is x >= -27?
True
Let b be (-3)/(((-9)/2)/3). Suppose -3*i + b*g - 10 = 0, -g = 3*g + 4. Which is bigger: -5 or i?
i
Suppose -2*o + 4*o + 4 = 0. Let y = 806 + -243. Let a = 2239/4 - y. Which is smaller: a or o?
a
Let w be (584/(-30))/(2/9). Let g = w - -88. Is g <= -22?
False
Suppose -323*y + 327*y = -756. Are y and -190 nonequal?
True
Suppose -20 = -2*b - 6. Suppose -b*a = -3*a - 1324. Let y = a - 3313/10. Are 1/2 and y non-equal?
True
Let a(m) = -11*m. Let k be a(-2). Let y = -17 + k. Let g be y*4/(-32)*2. Which is smaller: g or -2/5?
g
Let q = -1355 - -1355.9. Are -0.32 and q non-equal?
True
Suppose -2*l = -4*l - 6. Let c = 4 + l. Let s = -377/105 + 88/21. Does s = c?
False
Let t = -0.4 + 0.4. Let b be (-6)/(-9)*50/(-80). Is t smaller than b?
False
Let l(k) = -k**3 + 14*k**2 - 13*k - 7. Let y be 1/((16/832)/(1/4)). Let n be l(y). Suppose -5*f - 24 = 6. Which is greater: f or n?
f
Suppose 2*g - 3 = 5. Let w be g/8*6 + 3. Let j = w - 5. Is 1 less than j?
False
Let b = -1.14 + 1.04. Suppose 26 = 5*g - 9. Which is smaller: b or g?
b
Suppose -17 = 5*x + 173. Let t be -7 + 6 + (-66)/x + -1. Is -1 at most as big as t?
True
Let n(s) = -s**3 - 7*s**2 - 7*s - 48. Let a be n(-7). Let w be ((-4)/(-6))/((-8)/(-12)). Suppose 0 = -h + 3*m + m - w, -h = 4*m - 7. Which is smaller: h or a?
a
Let v = 51 + -34. Let s = v + -29. Which is bigger: 1 or s?
1
Let a = -499 + 177. Is a not equal to 1/3?
True
Let g = 28 - 29. Let b(z) = 2*z**3 + z**2 + 2*z + 2. Let q be b(g). Which is bigger: q or 1/7?
1/7
Suppose 0 = -10*n + 2*n - 2072. Is -260 less than or equal to n?
True
Suppose 2*k + 2*k = 20, 5*i + k - 35 = 0. Let a(c) = c**2 - 11*c + 31. Let l be a(i). Is 5/3 >= l?
True
Let w be (-14)/(-21)*-204 - -2. Which is smaller: w or -135?
-135
Suppose -8*j + 104 = 136. Which is greater: -96 or j?
j
Suppose 818 + 530 = -4*i. Which is bigger: i or -338?
i
Let f be 1296/(-26) - (-38)/(-247). Is f at least as big as -51?
True
Let k = 35 + -39. Which is smaller: -3 or k?
k
Let g(v) = -4*v**3 - v**2 - 5*v - 4. Let t(y) = -5*y**3 - y**2 - 6*y - 5. Let j(f) = -6*g(f) + 5*t(f). Let b be j(0). Is b greater than or equal to -1?
True
Let h = 146347/17 + -8612. Which is smaller: -3 or h?
h
Let f be 4/10 - (-7)/(140/(-568)). Let i be f/(-16) + 4/(-2). Is -2.1 >= i?
False
Suppose -6 = -n + 2*r, 55*n + 5*r = 54*n + 6. Is n < 3?
False
Let n = 0.19 - -0.71. Let a = -68 - -67.69. Let q = a - -0.21. Which is greater: q or n?
n
Let u = -162 + 195. Is 5 bigger than u?
False
Let f = -51 - -52. Suppose -d = -t - 3*d + 1, -t + f = d. Are 1 and t equal?
True
Suppose 6 = 2*l - 46. Let w = l + -25. Which is greater: w or 2?
2
Let n = 2725 - 79041/29. Is 0 smaller than n?
False
Let c(w) = -7*w**2 + 80*w - 28. Let f be c(11). Suppose 7*u = 2*u + 10. Which is bigger: f or u?
f
Let y = 1.5 + 0.5. Suppose 4*f + 4*h = -h + 8, h - 1 = -f. Which is smaller: f or y?
f
Let p be (-658)/((28/84)/((-2)/(-12))). Is -330 smaller than p?
True
Let s = -2331 - -2331.01. Which is bigger: -150 or s?
s
Let x = -31159/6 + 5161. Which is smaller: -33 or x?
-33
Let p(s) be the first derivative of 5*s**4/2 - s**3 - s**2/2 + s - 25. Let t be p(-1). Are t and -21/2 non-equal?
True
Let v = 1222/3 + -430. Let f = v + 24. Suppose -1 = -c + 5*k, 2*c - 2 = 3*k - 5*k. Which is bigger: c or f?
f
Suppose 0 = -16*w + 23*w + 14. Let v(n) = -3*n + 2*n**2 + 2 - 6 + n**3 + n**3. Let t be v(w). Which is greater: t or -4?
-4
Let m(b) = -2 - b - 3 + 0 + 0. Let z be m(-6). Suppose 4*f - 36 = -4*j, -4*j = 5*f - 4*f - 21. Which is smaller: j or z?
z
Suppose 0 = 2*y + 2. Let h be 1/(-1) - (-1 + y). Let u be (-11)/22 + (-5)/(-2). Is u != h?
True
Let h(a) = -a**3 - 14*a**2 - 15*a - 61. Let v be h(-13). Is v equal to -34?
False
Let n = -7 + 12. Suppose -s + 2*s = n. Suppose -j - 13 = -4*g + s, -3*j + 6 = 3*g. Which is greater: -1 or j?
-1
Let w be 2 - (-2 + (-92)/(-3)). Let m = 27 + w. Let l = 1433 - 1432.87. Which is bigger: l or m?
m
Suppose -5*u + 12 = h - 2073, 3*h - 847 = -2*u. Suppose -3*s - 248 = -o, 2*s = 7*s - 3*o + u. Is s at most -82?
True
Let o be ((-3)/4)/((-27)/(-540)). Which is bigger: o or -14?
-14
Let v = -1271 + 104219/82. Which is smaller: v or 0?
v
Let x be ((-9)/5)/((-1)/5). Let d = -7 + x. Let g = 0.61 - 0.6. Is d at most g?
False
Let t be 6767/11 - (-20)/(-330)*3. Do 615 and t have the same value?
True
Let d = 4578 - 691275/151. Is -1 less than d?
True
Let n = -4 - -8. Let l be 7/3*(-2 - n). Let p = l + 13. Which is smaller: p or -2?
-2
Let o be ((-49)/42)/(-7) - 1655/30. Is -447/8 at least o?
False
Let u be (29/28 + -1)/(-1). Is -1 at most u?
True
Let i be 1/(-6) + (66/468 - 0). Is i not equal to 0?
True
Let w(c) = -2*c**3 + 46*c**2 + 52*c - 97. Let t be w(24). Let g(r) = -4*r**3 + r**2 + 2*r + 1. Let n be g(-1). Which is smaller: t or n?
t
Suppose 0 = 4*s - 3*s - 6. Suppose d - s = 2. Let c(p) = 6*p + 30. Let u be c(-4