 -4*y - 2*n + 12 = -0*y. Suppose -w + y = 3*k, 3*k = -0*k + 3*w. Let d(q) = q**2 + 7*q + 6. Let u be d(-4). Is u greater than k?
False
Let j(s) be the third derivative of -5*s**4/24 - 7*s**3 - 7*s**2. Let b be j(-14). Which is greater: b or 26?
b
Suppose -4 = 4*b - s, -b = -2*b + 2*s - 8. Suppose -21*n + 25*n - 4 = b. Is n greater than 10/11?
True
Let y = -0.0602 - -7.0602. Which is bigger: y or -29?
y
Let r = -565 - -566. Is -7/54 > r?
False
Let f = -1488.6 - -1487.6. Let o = 0.2 + -0.3. Let a = o + 0.08. Which is greater: a or f?
a
Let y(r) = r**3 - 6*r + 3. Let m be y(3). Suppose 3*q + 11 = 4*q. Let x = m - q. Is 1/2 at least as big as x?
False
Suppose 5*u - 3*b = 37, -2*b + 4 = 12. Suppose -u*v - 5*n = -35, 7*n + 14 = 5*v + 5*n. Is 5/2 > v?
False
Suppose 0 = -17*n + 15*n + 110. Let k = n + -2257/41. Which is bigger: 1 or k?
1
Let b be (-2)/(-2 - -4) - -2. Suppose 2*l = -3*d - 108, -77 + 1 = l - 4*d. Let m be 5/l + (-3)/12. Are m and b unequal?
True
Suppose 0 = 4*f - 4 + 12. Let y be (-8)/76 + 336/(-57). Which is smaller: y or f?
y
Let u = 11/46 - 893/1426. Is 0 <= u?
False
Let j = -1436 + 5775/4. Let r = j - 15/2. Which is smaller: r or -29?
-29
Let g be (10/(-4))/((9/26)/(-9)). Suppose -z = -6*z - g. Is z at most as big as -15?
False
Let n(v) = -2*v**3 - 17*v**2 - 6*v - 10. Let w be n(-7). Do w and -115 have different values?
False
Let a(l) = l**2 - 2*l - 1. Let o be a(2). Let q be 1/4 - ((-2845)/(-340) - 8). Is o less than or equal to q?
True
Suppose -196 = -12*j + 5*j. Is 88/3 equal to j?
False
Suppose 0 = 5*i - 0*i + t - 59, -t = -4*i + 40. Suppose s + 15 - i = 0. Is s != -6?
True
Suppose -26 = l - 3*i, 3*l - 26*i = -28*i - 23. Suppose 0 = -5*g - 17 - 43. Is l bigger than g?
True
Let l = -464 - -12991/28. Which is smaller: l or 0?
l
Let k = 14 - 13.2. Which is smaller: -2/11 or k?
-2/11
Let a be ((-4)/6)/(80/(-64)). Which is smaller: 4 or a?
a
Suppose -3*z + 2*b = 496, -553 = 5*z - b + 269. Do -164 and z have different values?
False
Let o = 346 - 350. Let d = -3 + 1. Is o < d?
True
Suppose 713*t = 705*t - 24. Are t and -206 equal?
False
Let w = 31.2 - 31. Let o = 0.8 + w. Is o at least as big as 19?
False
Let v be (2 + -3)*(1 + 0). Let l be 5510/2364 - (-8)/(-24) - 2. Let z = 1959/4334 - l. Which is smaller: z or v?
v
Let m = 152/9 - 766/45. Which is smaller: 24 or m?
m
Suppose -5*l - 2*c + 182 = 0, -15*l - 5*c - 134 = -18*l. Which is smaller: l or 36?
36
Suppose 8*u + 0*u = 2*u. Is 3/475 > u?
True
Let h = 1441 + -1441.1. Do 743 and h have different values?
True
Let y = -1 - -1. Let w be 2 + -1*(-4 + 3)*1. Suppose y = -w*b + 2*b. Which is greater: b or -2?
b
Suppose -122310 = -3*d + 3*o + o, -2*d + 81540 = 5*o. Let r = -162271/4 + d. Let x = r - 204. Which is smaller: x or -3?
-3
Let r(s) = 23*s**3 - s**2 - 2*s - 2. Let k be r(-1). Which is smaller: k or -19?
k
Let p be 0 + (-12)/4 + 5. Suppose -p*u = 3*u - 10. Suppose -u*q + 10 = -0*q - 2*l, 4*l = 2*q - 8. Which is smaller: q or 7?
q
Let p(n) = n**2 + 8*n + 16. Let z be p(-7). Let i(l) = -l**2 - 15*l + 19. Let m be i(-16). Let r(u) = 3*u + 1. Let b be r(m). Which is bigger: z or b?
b
Let i = -7 - -12.8. Let c = -0.8 + i. Is c greater than or equal to 0.2?
True
Let j(s) = s**3 - 14*s**2 - 29*s - 38. Let q be j(16). Is 13 != q?
True
Suppose -3*a = -5*a + 66. Suppose 11 = b - 3*y - 25, b = -3*y + 30. Is a not equal to b?
False
Let a(j) = 31*j + 67. Let w be a(-2). Is w not equal to 104/27?
True
Let k be (-1)/(-2)*-10*(-5)/(-55). Let x = k + 1/11. Which is greater: x or 1?
1
Suppose 0 = -54*p + 525 + 1797. Is p > 3?
True
Let l = -16.051 + 16. Let c = -0.251 - l. Does c = 0.026?
False
Let j be 4/20 + (-1)/5. Let i(d) = -d**3 + 4*d**2 - 2*d - 4. Let g be i(4). Let b be 2/g - 17/(-84). Which is greater: j or b?
b
Let r be (54/(-9))/(4/(-6)). Let v(q) = q**2 - 12*q + 15. Let d be v(11). Suppose 10*c + 5*o - 65 = 5*c, 0 = c + d*o - 22. Which is smaller: c or r?
r
Let k be -6*-1*10/95. Which is smaller: -1/4 or k?
-1/4
Let y be 1/(-2)*((-132)/(-10))/3. Let u be (-13)/((-520)/16) + 24/(-10). Is y > u?
False
Let b = 285 - 295. Let c be 36/(-54) + 16/(-3). Which is greater: c or b?
c
Let r(s) = 6*s - 4. Let u(n) = n - 6. Let a be u(9). Let j be r(a). Let v be (-1)/21 + (-4)/j. Which is greater: -2/5 or v?
v
Let b(z) = 3*z**2 + 52*z + 342. Let a be b(-8). Does a = 113?
False
Let w = 1 + 5. Let g(n) = -2*n**3 + 33*n**2 - 18*n + 32. Let s be g(16). Is s bigger than w?
False
Let j be 12/7 + (-8)/(-28). Let q be 12/10*j/4. Let r = 0.124 + -0.024. Which is bigger: q or r?
q
Let p = 4241 - 1984789/468. Let c = p + -215/468. Which is bigger: -1 or c?
c
Let n(c) = c**3 + 27*c**2 + 105*c + 55. Let j be n(-22). Is 163 at most j?
True
Let t = -845 + 834. Which is greater: -9 or t?
-9
Let l = -13 + 10. Let h be ((-8)/l + -2)*3/(-2). Which is greater: h or 5?
5
Let s be (31/94)/((25/10)/5). Let p = 2363/376 - s. Which is smaller: 6 or p?
p
Let u = 35952 - 252967/7. Let n = u - -187. Suppose -2*s - 6 = 3*j, 4*s = 2*s + 5*j + 10. Are s and n nonequal?
True
Let y(n) = -n**3 + 42*n**2. Let j be y(42). Is -3/92 less than j?
True
Suppose 4*z = 4*t + 800, z - 127 = 2*t + 74. Which is bigger: z or -0.1?
z
Suppose 2*z + 2*z - 32 = 4*l, 3*z = -3*l + 6. Suppose -z*y = -4 - 6. Let j be (2/11)/(y/6). Is 1 at least as big as j?
True
Let p = 566 - 685. Which is smaller: p or -120?
-120
Let s be -2 - -12 - (-12 - -7). Let m = -10/7 - -27/14. Which is bigger: s or m?
s
Let n = 84 + -48. Let m be 26/44 - (-3)/(-33). Which is smaller: m or n?
m
Let o = 33497/234 - 859/6. Which is smaller: 2 or o?
o
Let l = 1527 + -1527. Which is bigger: 1/524 or l?
1/524
Let t(m) = 2*m**3 + 52*m**2 + 51*m + 25. Let k be t(-25). Are -4/143 and k unequal?
True
Let i = -2/203 + 13/58. Which is smaller: -1 or i?
-1
Let d = -21 + 4. Let y be d/(-51) - (-5)/3. Let j be -3 + (2 - y) + 6. Are -2/5 and j equal?
False
Let o be 3992/(-660) - (-4)/6. Let c = -26/5 - o. Are 0 and c nonequal?
True
Let j be ((-35)/15 - 0)/(2/(-12)). Let h = -41 + j. Is -30 greater than h?
False
Let l = 2.2 + -0.2. Let n = l + -2.7. Let t = n + 0.7. Which is greater: 3 or t?
3
Let p be (14/(-28))/((-1)/18). Let c = p + 4. Which is smaller: 41/3 or c?
c
Let m(d) = -19*d + 1. Let j be m(-1). Let w be 84/(-24)*-5*(-18)/(-15). Is j bigger than w?
False
Suppose 7*s - 2*n + 46 = 3*s, 5*s + 2*n = -44. Let z = 0.163 + -7.263. Let u = z - -7. Which is bigger: s or u?
u
Let o = 823 + -697. Is -2 bigger than o?
False
Let s = 1/616 - -2589/77. Let b = -34 + s. Is b greater than or equal to 1?
False
Let g = -3787 + 6052. Let h be 4/18 - g/(-135). Is h at least as big as 31/2?
True
Let h = 856 - 476. Which is smaller: h or 0.1?
0.1
Suppose -4*a - 3*n - 2 = 0, 0*a + n = 3*a - 5. Let o = 57535/454 - 52/227. Let v = 4293/34 - o. Which is greater: v or a?
a
Let q = -2.7 + 0.2. Let w = q - -2.7. Which is greater: w or -7?
w
Let m = 457 + -455. Which is greater: m or 6/85?
m
Suppose -4*n - 105 = 103. Let p = 42 + n. Which is smaller: p or -29/3?
p
Let c(w) = 3*w**2 - 17*w + 11. Let t be c(5). Let i(s) be the first derivative of 2*s**3/3 - s**2/2 + 1. Let l be i(t). Which is bigger: l or 2/19?
l
Suppose 4*p + t = -64, 5*p = -3*t - t - 69. Suppose j = 4*z - 63, -27 = -2*z + 3*j - 4*j. Let r = p + z. Is r smaller than -2?
False
Let o(a) = a**3 - 12*a**2 + 2*a - 16. Let k be (-8)/2 + (-9 - 6). Let f = -7 - k. Let g be o(f). Which is greater: g or 7?
g
Let v(k) = -13*k**2 - 4*k + 4. Let s be v(2). Which is smaller: -57 or s?
-57
Let d = 7 - 11. Let j be (d/10)/((-14)/(-70)). Let g be 0*(3/j + 1). Which is greater: g or 10?
10
Let s be 1*-3*10/(-6). Suppose -p - 5*j - 53 = -0*j, 3*j - 377 = s*p. Let u = -366/5 - p. Are -1/6 and u equal?
False
Suppose -5*n = -z - 46, 0*n + 39 = -z - 2*n. Is -37 at least as big as z?
True
Let s = -2671 - -2497.71. Let g = 174 + s. Let t = 0.8 - g. Which is smaller: 1 or t?
t
Suppose v - 21 - 171 = 0. Let i be (-3)/5 - v/(-70). Is 3 < i?
False
Suppose -2*n - 12 = -6*n. Suppose -8*d = -n*d + 15. Let k(j) = -j**3 - 3*j**2 - j - 2. Let o be k(d). Which is bigger: o or 0.1?
o
Let y = -1.971 - 0.029. Let b = -5.2 - -1.2. Let o = y - b. Do -1 and o have different values?
True
Let p(k) be the second derivative of 3*k**2 + 4*k - 1/6*k**3 - 1/20*k**5 + 7/12*k**4 + 0. Let i be p