
Suppose -7*t + 880 + 20 = 29*t. Which is greater: t or 19?
t
Let x = 74212/69 - -2510/23. Which is smaller: x or -0.1?
-0.1
Suppose 0 = -2*a + 5*s + 30, -a - 5*s + 22 = -8. Let k be (8/a)/(14/35). Let t = -43 - -733/17. Which is smaller: t or k?
t
Let p be (266 - 3) + 1 - (-3 + 2). Suppose -7*z = -12*z - p. Which is greater: -207/4 or z?
-207/4
Let a(z) = -z**3 + 4*z**2 - 15*z + 29. Let b be a(2). Let s be b - (-5 - -10) - 5/(-5). Which is bigger: s or -13?
s
Let c = -4 + 3.93. Let w = 0.08 + c. Let y = w + -1.01. Which is smaller: -3.6 or y?
-3.6
Suppose -11*c = -28*c + 26469. Let h = -241337/155 + c. Which is greater: 0 or h?
0
Let m(g) be the first derivative of 2*g**3/3 - 5*g**2/2 + 4*g + 172. Let k be m(1). Is 4/203 at most as big as k?
True
Let v be (-6)/5*(15 - 10)*-3. Suppose -22*p + v*p = 4, 5*p + 2 = 3*g. Which is smaller: -1/16 or g?
g
Suppose -5*j + s - 7 = 0, 7 = j - 86*s + 87*s. Let o be ((-1)/(-2))/(2/100). Let w = o - 149/6. Which is smaller: w or j?
j
Let k = -5239 + 5301. Is 33 at most k?
True
Let i be ((-63)/315)/(2/(-3365)). Which is smaller: i or 336?
336
Let y = 10.9 + -9. Let o = 21.1 - 22. Let l = y + o. Is -15 at most l?
True
Let i = 14237/22 - 647. Let x = 19 + -19. Suppose 4*p - 4*k = -7*k - 7, x = -p + k. Which is smaller: p or i?
p
Suppose 0 = 3*j - 5*v + 16, -j + 5*v - 34 = -4*j. Suppose -3*x - 7*q + 76 = -5*q, -71 = -3*x - q. Which is smaller: j or x?
j
Suppose -39*z + 360381 = 10941. Is 8959 > z?
False
Let x = 27.1 - 14.3. Let w = x + -8. Let y = w - 4.48. Which is bigger: -0.2 or y?
y
Let b = 1 + -6. Let u be (-3)/(-5) - (9/15 + b). Suppose 0 = -3*k - k + u*k. Which is smaller: -3/29 or k?
-3/29
Let y = 28.968 - -0.032. Let r = y - 26. Let j = 3.2 - 11.2. Is r greater than or equal to j?
True
Let r be 4*-1 + -8 + 25. Let w be (-1)/6 - r/18. Which is smaller: w or -2?
-2
Let s = -4.39 - 8.87. Let y = s + 12.4. Are y and 3 equal?
False
Let a = 76.2 + -1.2. Let t = -75.2 + a. Let q = 24 + -36. Which is bigger: q or t?
t
Let l = 40 + -15. Let u = 1017 + -1048. Let j = l + u. Does j = 0.2?
False
Suppose 0 = 82*k + 95*k - 32*k + 145. Which is smaller: k or -28/859?
k
Suppose 2*y = -29*y + 125 - 1. Is y less than or equal to 0.0382?
False
Let p = -874 - -5956. Let k = p + -218566/43. Are k and 0 non-equal?
True
Let m = 1.5197 - 1.5517. Suppose c = -3*c + 16. Which is bigger: m or c?
c
Suppose 5*d - 11*b = -5*b - 5759, -3*d + 3*b = 3459. Which is bigger: d or -1160?
d
Let l be (-608)/(-24)*18/(-12). Is -28 greater than or equal to l?
True
Let s be (-1 - 0) + (-6)/(-16). Suppose 0 = 48*l + 23153 + 15919. Let p = -814 - l. Which is bigger: p or s?
p
Let d(s) = s**2 + 28*s - 61. Let a be d(2). Which is smaller: 2/32391 or a?
a
Let v be 4 + -2*2/(-1 - 1). Let a be (-10)/8*v/(-15). Let c(h) = 4*h**2 + 3*h + 8. Let w be c(-3). Is a smaller than w?
True
Let j be ((-210)/(-25) - 6)/(1/(-5)). Suppose 0*n = -n + 13. Suppose -2*u + n = -3*u. Is j smaller than u?
False
Suppose 1 + 29 = 2*b. Let w be -18*(-1)/(-4)*4/(-6). Suppose -w*u + 4*z = -28, -4*z = 2*u - 41 - 11. Is u at least b?
True
Let s be (-46)/((133/(-63))/(-19)). Which is smaller: -412 or s?
s
Suppose 0 = -29*k + 5*k + 48. Suppose -4*z - 54 = k*z. Are -9 and z equal?
True
Suppose -b = -4*x + 2193, 0 = -19*x + 20*x - 8*b - 556. Is x greater than 552?
False
Let y = 706 + -282. Let l be -1 - y*(-1)/426. Is l greater than or equal to 0?
False
Suppose -9*n = -4*n - 5, 0 = -3*w - 2*n + 8. Suppose -3*o = -w*o - 3. Let d be (-7)/6 - (-1)/o. Which is bigger: d or -1?
d
Let r(k) = k**2 + 3. Let f be r(3). Let t = -18272 - -127902/7. Do f and t have the same value?
False
Let x(n) = -184*n + 2026. Let z be x(11). Is z at most as big as 31/54?
False
Let t be (-45)/(-9) - (4 - -556). Let r = 627 + t. Which is smaller: 143/2 or r?
143/2
Let t(o) = o**3 + o**2 + o + 10. Let v be t(0). Suppose 675*z - 80 = 667*z. Is z at most v?
True
Let o = 271 + -272.5. Suppose 24*j + 13 = 27*j - 4*x, 0 = x + 1. Is o >= j?
False
Let x(q) = q**2 - 7*q - 11. Let y be x(-6). Let k = -116 + y. Suppose -24*w - 1194 + 66 = 0. Which is smaller: k or w?
k
Let g(f) = f**2 - 6*f + 8. Let i be g(6). Let j be 2/i - 47/1692. Let c = -0.26 - -8.26. Is j >= c?
False
Suppose y = x - 18 + 16, 0 = x + y - 8. Suppose 4*d = 5*j - 9, d - 2 = 2*j - x. Is j at most 5?
True
Let d = 17 + -16. Let m = -55747/64 - -871. Is d bigger than m?
True
Suppose 4 - 11 = -3*y + p, 6 = 2*y - 2*p. Let r be ((-2)/(-6))/(2/y). Let b = -5100 - -5098.3. Which is smaller: b or r?
b
Suppose 0 = q + 17 - 19. Suppose -d - 3*f = 18, -f + 14 = -3*d - q*f. Do 47 and d have the same value?
False
Let p(l) = -l**3 - 37*l**2 - 259*l - 11. Let n be p(-11). Is 3 not equal to n?
True
Let k(m) = -53*m**3 + 29*m**3 - 3*m + 29*m**3 + 2. Let n be k(1). Let b be (6/(-16))/((-2)/n). Which is smaller: 1 or b?
b
Let h(k) = 2*k**3 + 52*k**2 + 104*k - 95. Let z be h(-23). Which is smaller: z or 688?
z
Let c(f) = -37 - 85*f + 24 + 83*f. Let a be c(-6). Is -7/93 bigger than a?
True
Let l = -5 + 6. Let x be (-144)/(-192)*2/273. Which is smaller: x or l?
x
Let o = 1177.872 - -0.128. Do 0 and o have the same value?
False
Suppose 11*b - 1276 = 1991. Which is smaller: b or 293?
293
Let q = -441 - -8817/20. Let v(n) = -n**2 + 49*n - 181. Let x be v(45). Which is smaller: q or x?
x
Let t(i) = -i**2 - 6*i + 77. Let p be t(-14). Let m = 37 + -73. Are m and p nonequal?
True
Let h be 6 - (3/(-9) + 18/(-27)). Which is smaller: h or 3?
3
Let x = 48 + -71. Let c(d) = 2*d**2 + 49*d + 71. Let a be c(x). Is a <= -3?
False
Let n be (165/(-6))/((-25)/60). Suppose 100*g - n = 103*g. Which is smaller: -18 or g?
g
Let u be (-3)/1 - (-198)/26. Suppose -3*d + k = -17, -3*k - 27 = -423*d + 418*d. Which is greater: d or u?
d
Let g(h) = -h**2 + 6*h - 6. Let s be g(5). Let f = -171 - -237. Let o = -263/4 + f. Are o and s unequal?
True
Let r(n) = 200*n - 1978. Let w be r(-27). Which is smaller: -7377 or w?
w
Suppose 2*i = -2*s + 16, -2*s - 40 = -5*i - 4*s. Let h be i/5 - 20/(-50). Let r = 6.82 - 7. Which is bigger: h or r?
h
Let h(c) = -c**3 - 7*c**2 - c + 30. Let b be h(-6). Which is smaller: b or -11/17?
-11/17
Let q = -148 - -48. Suppose -3*h = d + 293, 4*h + 0*d + 408 = 3*d. Do h and q have different values?
True
Suppose g = -2*b - 6986, 3*g + 2023 = -3*b - 18908. Which is greater: 1 or g?
1
Suppose g = -2*d, 0 = 2*g + g + 12. Suppose -f + 3 = -2*u, -3*u + 1 - 2 = d*f. Let q = -81599/1224435 + -2/81629. Which is smaller: q or u?
u
Let g = -0.8 - -0.3. Suppose 2*v + 3*k - 119 = 0, -2*v - 2*k - 94 = -216. Suppose 1456*c - 1448*c = -v. Does c = g?
False
Let s = 0.02596 - 0.01596. Is 22/27 greater than s?
True
Suppose 0 = 5*y + 4*s + 116, -2*y - 4*s = 2*y + 96. Is -424/21 at least y?
False
Let t(x) = x**3 - 8*x**2 + 12*x + 4. Let n be t(6). Suppose -2*q - 24 = -n*m, -m + 2*q + 2 = -4. Let d be -1 + (3/(-9))/((-2)/m). Is d at most as big as 0?
True
Let l = 8551 - 8465. Is 169/2 smaller than l?
True
Let o = 153 + -178. Let i(r) = r**2 + 22*r - 76. Let v be i(o). Is -2/43 equal to v?
False
Suppose -21*b + 2077 - 6298 = 0. Let z = -201 - b. Is -1/262 greater than z?
False
Suppose 0 = -6*a - 20*a - 1248. Let s be (-8)/(a/18) + 51. Let v = 16 + 37. Is v >= s?
False
Let t be (-2)/26*((-6)/(-22) + (-4324)/1012). Which is smaller: t or -11?
-11
Let o = -621 + 599. Let n = 11.2 + o. Does n = 2/5?
False
Let i = -4 - -6. Let x be 54/(-2376)*(-2 - 24). Which is smaller: x or i?
x
Let a = 0.047 - 0.047. Let r = 43/26 + -463/52. Let l = -137/20 - r. Which is greater: a or l?
l
Let v(k) = k**2 + 11*k + 1. Let y be (-112)/10 + (-24)/(-120). Let w be v(y). Do w and -2/13 have different values?
True
Let o(q) = q - 33. Let z be o(15). Let g = -17 - z. Let d = 3086 + -58616/19. Which is greater: d or g?
g
Let h be (4 + -11)*(498/(-21) + -2). Let x = h + -122. Suppose -5*c = x - 203. Is c less than or equal to 29?
True
Let a = 63669/7 - 43040111/4732. Which is greater: 0 or a?
a
Let q(n) = -n**2 - 40*n + 20. Let l be q(-3). Is l < 129?
False
Let p = 163288/5 - 32800. Is p not equal to -142?
True
Let t(u) be the second derivative of -u**3/2 + 20*u**2 + 12*u + 1. Let j be t(13). Which is smaller: -3/214 or j?
-3/214
Suppose d - 37 = 2*v, -3*d = 4*v - 82 + 21. Let p = 1748 - 1705. Suppose -4*c - p - d = 5*j, -2*j -