3745). Let w be (3 + -2)*(-3 - 2). Which is greater: y or w?
y
Suppose -38*m + 3*z = -37*m - 8, -5*m + 5*z = -20. Is 4/3 greater than m?
False
Suppose -3*b - 4*t - 31 + 9 = 0, -5*t = b + 22. Let o be 38/2 - (b + 1). Suppose 0 = 4*z - 8*z + o. Is -1/4 bigger than z?
False
Let s = -797 + 801. Which is smaller: s or -9?
-9
Suppose 5*w = x - 1578, 0*w + 2*x = 5*w + 1581. Let z be -5987*((-2)/(-6))/(19/3). Let v = z - w. Which is smaller: v or -1?
-1
Let n = 3 + -2. Suppose 25*i - 12 = 21*i. Let y = 8/3 - i. Which is smaller: n or y?
y
Suppose 5*u = 4*w - 1058 - 1779, -3*u + 688 = w. Which is bigger: 704 or w?
704
Let z = 12 - 11. Is z less than or equal to 1?
True
Let k(c) = c - 2. Let h be k(3). Let u be -3 + h + 7 + -1. Suppose u*g = 7*g. Which is greater: 2 or g?
2
Let a = -6 - -6.64. Let u = -0.0996 + -0.2604. Let x = u - a. Is 1.1 at most x?
False
Let n be (-1810)/(-190) - 7/((-7)/(-4)). Is 7 > n?
True
Suppose 0 = -8*a + 12*a - 76. Let j(p) = p**3 - 2*p**2 - 11. Let x be j(4). Is x < a?
False
Suppose -2*o - 4*k = -3 - 135, -306 = -5*o + 3*k. Is 61 < o?
True
Let y = -1.29 + 78.29. Let c = y - 80. Is 6 at least as big as c?
True
Suppose q - 2 = 3*h, 0 = 6*q - 4*q + 3*h - 13. Suppose -2*r = -7*r - q. Is r < -6?
False
Let o = -146 + 158. Let g = -0.15 - -0.13. Let c = g - -1.02. Which is smaller: o or c?
c
Let u = 37 - 21. Let r = -16 + u. Is 0.02 smaller than r?
False
Let z(d) = d**3 - 13*d**2 + 3*d - 258. Let q be z(14). Is q != -2?
True
Suppose -2*l + 4*l = 608. Let q be (-2)/11 - (-2 + l/(-44)). Which is smaller: 10 or q?
q
Suppose 28*t = 30*t - 2. Let k be (t/3)/((-3)/(-18)). Which is greater: k or 1?
k
Let w(f) be the third derivative of f**4/8 + 5*f**3/3 + 29*f**2. Let k be w(-5). Which is smaller: -4 or k?
k
Let z = -2/95 + 101/285. Let v = 13 + -7. Is v less than z?
False
Let d be ((-24)/(-45))/((-2)/(-95)). Which is smaller: d or 24?
24
Let m = -61/6 - -119/12. Let z = -339 + 8477/25. Is z at most m?
False
Let g be ((-20)/30)/((-2)/(-771)). Are g and -257 nonequal?
False
Suppose -i - s = 11, 15 = -i + 10*s - 9*s. Is -118/9 greater than or equal to i?
False
Suppose w + 5*x = 2*w - 25, w = 3*x + 29. Which is smaller: w or 37?
w
Suppose 0 = -j - 5*n - 33, 5*j + 6*n - n + 185 = 0. Is j at most as big as -8?
True
Let a(k) = 2*k**2 + 12*k - 4. Let x be a(-9). Suppose x*b = 43*b - 308. Are -45 and b equal?
False
Let o be (-114)/95 - (18/15)/(-6). Is -23/63 bigger than o?
True
Let t be 0*(-5 - -4) + -81. Let x be (t/2)/(-9) + -1. Suppose -5*z + 20 = -5. Is z > x?
True
Let n = 1 + -33. Let t be 6/8 - 8/n. Let k = -1/10 - -33/130. Is k smaller than t?
True
Suppose -5*z + 8*z = -36. Let x = z + 12. Which is bigger: 2/3 or x?
2/3
Let n = 9/224 + 14739/1120. Is 12 bigger than n?
False
Let v be (-10 + -2)*(-4)/3. Let l = -21 + 1. Let i be 24/10*l/(-3). Is v < i?
False
Let m be -91*(3/(-6))/(10/4). Which is smaller: 19 or m?
m
Suppose -8*y + 14*y - 24 = 0. Let h be y + 32/(-10) - (-221)/5. Is 44 at least as big as h?
False
Let r = 812441 - 10555850/13. Let w = r - 452. Is 0 at most as big as w?
True
Let w be -2*(-2 + 4/(-8)). Suppose -4*n + 3*n = w, -5*v + n = 0. Let h be 0/(-3) + (-6)/(-15). Which is greater: h or v?
h
Let r = -0.8461 + -0.0809. Let w = 0.007 + r. Let m = w - 0.08. Which is smaller: 0.1 or m?
m
Let b be 6/(-21) + (-4 - 1024/(-252)). Is 1/9 >= b?
True
Let k be 1415/(-975) - (-4)/10. Let l be (-1)/26*(-80)/8. Let h = l + k. Which is bigger: -2 or h?
h
Let t(g) = -g**3 + 9*g**2 - 7*g - 10. Let u(i) = -i**3 - 5*i**2 + 5*i + 2. Let j be u(-6). Let b be t(j). Let l = -13 - b. Which is smaller: -0.1 or l?
l
Let j = -40 - -45. Let v be (-3)/(-9)*3*3. Suppose -v*w = -j*w + 6. Which is greater: 16/7 or w?
w
Let d = -0.7 - -0.2. Let l(z) = -z**3 + 5*z**2 + 16*z - 9. Let h be l(7). Suppose 5*c + 4 = -4*q - 21, -3*c - 28 = h*q. Which is smaller: d or c?
c
Let x(l) = 4*l - 36. Let j be x(15). Suppose -2*q = 2*q - 2*m - 24, -j = -4*q - 2*m. Is 0 >= q?
False
Suppose 7*p = 6*p + 60. Suppose -2*c = -8, 3*c - 16 + p = 4*f. Which is greater: 13 or f?
f
Let l be -4*((-1)/2 + 0). Let p = l + -2. Let z be (1 + (-12)/10)/((-126)/70). Which is greater: z or p?
z
Suppose 3*k + 5*z = -19, -2*k - 3*z + 8*z + 29 = 0. Suppose k*j = j. Suppose 5*a + 4*b - 3*b + 2 = j, -2*a = -2*b + 8. Which is smaller: -12/11 or a?
-12/11
Let l = -9 + 9. Let q be (20/15)/((-66)/(-9)). Is l equal to q?
False
Let c = -91 - -55. Let x be c/4 + 5 + 7. Is -4 > x?
False
Let u = 13453005062/555 + -24239659. Let j = u + 154/15. Let y be (-6)/(-4)*(-4)/(-6). Is j less than or equal to y?
True
Let w(g) = g**3 + g**2 + 6. Let p be w(0). Suppose -4*l = u, -2*u + 4*l + p = -30. Suppose 4*s + u = s. Are 2 and s non-equal?
True
Let t = 101 + -95.9. Is t < 2/3?
False
Let o(h) = h**2 + 12*h + 34. Let n be o(-5). Is 4/41 greater than n?
True
Let w be 7*(3648/(-28))/4. Which is bigger: w or -453/2?
-453/2
Let v = -1665 - -1664.38. Is v >= -0.2?
False
Let o(x) = x**2 + x + 8. Let c be o(0). Let z = -7 + c. Let j be (((-2)/(-4))/z)/1. Which is smaller: 2 or j?
j
Let n = -20545594/165 + 623253/5. Let a = n + -132. Which is smaller: a or -1?
-1
Let l = -547 + 539. Which is bigger: -0.8 or l?
-0.8
Suppose 9*v - 26 = -125. Let i = v - -13. Which is smaller: 6 or i?
i
Let b = 421 - 425. Which is greater: 3 or b?
3
Let o be 2/(-8)*96/1408. Which is smaller: o or 0?
o
Let a = -68 - -119. Let x = a - 34. Is -2 >= x?
False
Let a(t) = t**2 + 4*t - 6 - 15 + 28. Let g be a(-2). Is 5 greater than g?
True
Suppose -3*h - 13 = -1. Let r be (-10)/35 - h/14. Let z = -95 - -473/5. Which is bigger: z or r?
r
Let n = 649 + -650. Let q = 213/2 + -21945/206. Which is greater: n or q?
q
Let c(d) = d**3 + 9*d**2 - 191*d + 10. Let z be c(10). Let m = 16/21 - 2/21. Are m and z non-equal?
True
Let j be 2/5 - (-364)/65. Suppose 0 = -2*d - 0*k + 2*k + j, -4*d - k + 2 = 0. Is d greater than 17/9?
False
Let x = 0.39 + -13.39. Let i = -12.9 - x. Which is smaller: i or 1?
i
Let y = 248 + -249. Is y at least as big as 41?
False
Suppose -5*t + m - 9 + 85 = 0, 3*t - 4*m = 32. Let r = -7349 - -7366. Is t at least as big as r?
False
Let m = 125 - 67. Let o = m + -57.71. Is -0.1 >= o?
False
Let g(k) = -18*k - 35. Suppose -2 = -2*f - 14. Let c be g(f). Which is greater: 0.1 or c?
c
Let l be ((-112)/70)/((-2)/(-5)). Let g = 16 - 14. Suppose -a + 4 = -g*a. Is l smaller than a?
False
Let i be -4*(18/(-20) - -1). Suppose -116 = -0*h + 4*h. Let a = h - -28. Which is bigger: a or i?
i
Let t(i) = -24*i - 434. Let y be t(-19). Is y > 108/5?
True
Let t = 0.071 - -0.129. Suppose 3*w = -2*x - x - 147, 4*w - 5*x + 151 = 0. Let v = w - -218/5. Is t at most v?
False
Let b(i) = -i**3 + 17*i**2 - 15*i - 39. Let y be b(16). Suppose -374 = 14*a + 3*a. Do a and y have different values?
True
Let f = -497 - -497. Which is greater: f or -4/1067?
f
Suppose f + 0*f - 3 = 0. Let q be (f - 2)*5/13. Which is greater: 0 or q?
q
Let x = 8 - 13. Let m(q) = q + 13. Let k = 106 + -122. Let s be m(k). Is x greater than or equal to s?
False
Let h be (0 - 7/(-4))*(385 + -9). Is h < 659?
True
Suppose 109 + 151 = 4*c. Let u = -41 + c. Let w be 10/55 - u/11. Is w > -2?
False
Let n = 292/5 - 58. Let a(p) = -2*p + 11*p - 1 + p - p**2. Let t be a(10). Which is bigger: t or n?
n
Suppose -4*j = 2*a + 1266, -4*a - 472 = -3*j + 2005. Which is greater: -624 or a?
a
Let c = 30 - 61/2. Which is bigger: c or 2?
2
Suppose -27*r + 64*r = -93018. Which is smaller: -2515 or r?
-2515
Let k(v) = v**2 + 3*v + 3. Let f be k(0). Suppose -f*d = -6 + 6. Is d at most 3/11?
True
Suppose -5*m + 14 = 4*j, -2*j = -j + 4*m + 2. Which is greater: j or -2?
j
Let v = -0.06 + 8.86. Let j = 1.8 - v. Let b = 5 + j. Which is greater: 2/3 or b?
2/3
Let h = -20.986 - -0.066. Let w = h + 21. Let x = w + -0.15. Is -1 <= x?
True
Let g = -0.007 - 0.093. Let s = 9 + -19. Which is greater: s or g?
g
Let h = 3.982 + 0.118. Which is greater: h or 12?
12
Let q be (-38)/66 - (-2)/(-6). Let u = 0.008 - -0.054. Let i = u + 0.938. Which is bigger: q or i?
i
Suppose -5*t - 17 = -32. Suppose -t = -2*h - 1. Is 2/7 >= h?
False
Let c(t) = -17*t**3 - 3*t**2 - 3*t. Let z be c(-2). Which is smaller: z or 132?
z
Suppose d - 3*d = 44. Let p = -3151 - -3129. Is d < p?
False
Let q(g) = 2*g - 30. Let m be q(5). Let s be (m/(-175))/((-4