. Let q = 3 - 3. Is q greater than t?
False
Let z(q) be the third derivative of q**4/24 + 5*q**3/3 - 13*q**2. Let m be z(-9). Which is bigger: 3/5 or m?
m
Let a = -2 - -3. Let h be 3 + -3 + 0 + 5. Let u = a - h. Is u <= -6?
False
Suppose -5*y - 74 = 61. Let s be 33/(-135)*-14 + 6/y. Are s and 3 nonequal?
True
Let h = -4 + -9. Let x = -29 + 27. Let n be x/5*(24 - -6). Is n <= h?
False
Suppose 12 = -l - 4*n, 5*n + 9 = 3*l - 23. Suppose -p - l = -16. Suppose 84*b - 650 = 34*b. Is b at least as big as p?
True
Suppose -38 = -4*f + 46. Suppose -3*t = -4*t + f. Suppose 0 = z - 2*z + g + 6, 4*z - t = 3*g. Which is smaller: -2/3 or z?
-2/3
Let f = -18 + 12. Let w = -7 - f. Let b = -1026/7 - -147. Are b and w nonequal?
True
Let p = -35 + 35. Which is bigger: p or -1/3?
p
Let m = -12 + 3. Let w(t) = t**3 - 4*t**2 + t - 2. Let o be w(4). Suppose -5*f + 20 = 0, -3*k - 26 = -k - o*f. Is m less than or equal to k?
True
Let k = 11/8 - 139/136. Let w be (-2 + 7)*-1*(-7)/7. Suppose 4*u - w*n - 14 = 0, -3*n = -4*u + n + 12. Is k greater than u?
False
Let m = 9.015 - 0.015. Let f = m + -11. Which is smaller: 0.08 or f?
f
Let b be -10 - (-3)/(33/121). Is b > 1/845?
True
Let z = -722/15 + 130/3. Let w = -15 - -9. Which is smaller: w or z?
w
Let w = 15.7 + -15.6. Which is smaller: w or 0.032?
0.032
Let p(u) = u + 7. Let i be p(0). Suppose 101 + 67 = i*j. Let r = j - 19. Which is smaller: r or 8?
r
Let p be ((-30)/1440)/(2/9). Let h(f) = f**3 + 3*f**2 + 4*f + 3. Let k be h(-2). Which is smaller: p or k?
k
Suppose 2*d = -3*d + 25. Suppose -11 = d*g - 6. Is g less than 3?
True
Let d(r) = -r + 4. Let p be d(-7). Suppose 0 = -4*b + j + 33, -b + 4*j = 9*j - 3. Is b <= p?
True
Let a be 40/12 - (7 - 3). Let p(m) = -13*m + 1. Let i(d) = -7*d. Let h(k) = 11*i(k) - 6*p(k). Let v be h(6). Which is greater: v or a?
v
Let i(l) = -2*l**2 - 1. Let n be i(1). Suppose 95 = -6*y + 2*y - a, 4*a = 4. Let d = 29 + y. Is n less than d?
True
Let v = 724.9 + -725. Let d = 6/19 - -33/76. Which is smaller: v or d?
v
Suppose -54 = -3*p + 75. Let r = -36 + p. Let i be ((-12)/(-10))/((-8)/(-40)). Which is greater: r or i?
r
Let z be -1*2*(-25)/10. Suppose 12 = 3*r + z*c, 3*r - 12 = 3*c - 0*c. Let v be (r + -3)/(1/(-5)). Is -2 bigger than v?
True
Let s be 3500/26160 + (-1)/12. Are s and 1 equal?
False
Suppose -3*r = 2*o - 96, 28*o - 5*r - 215 = 23*o. Is o at least as big as 46?
False
Let c be 48*6*(-2)/16. Let u be (-2)/c*(0 + -8). Let h = -4 + 4. Which is greater: h or u?
h
Let t(d) be the first derivative of -d**4/4 + 5*d**3/3 + d + 6. Let p be t(5). Are -0.1 and p nonequal?
True
Let h = 0.92 - -0.08. Let d(u) = u**3 - 12*u**2 + 13*u + 16. Let f be d(11). Let g = f + -13. Is g <= h?
False
Let i = 86.8 + -87.1. Is i smaller than 33?
True
Suppose -51*n = 11*n - 53940. Is n not equal to 870?
False
Suppose 4*q + 300 = -2*v, 0 = 4*q - 0 - 8. Which is smaller: v or -155?
-155
Suppose 5*m = 5 + 5. Let q be 125/m - (-8)/16. Let v be ((-2)/6)/(3/q). Which is smaller: -8 or v?
-8
Let z = -1531 + 1376. Is z bigger than -155?
False
Suppose 5*j - x - 84 = 0, -x = -j + 12 + 4. Suppose h - 4*g = j, 2*g = 2*h + 3*g - 7. Is 6 bigger than h?
True
Let w = 601 - 3024/5. Which is bigger: -5 or w?
w
Let q(v) = 2*v**3 + 4*v**2 + 9*v + 64. Let g be q(-5). Does -131 = g?
True
Suppose 0 = -29*h + 113*h + 84. Suppose -4*p = -0*p + 28. Which is greater: h or p?
h
Let z be 3 - (1063/5 + -1). Let j = z - -208. Let s = -4 - -3. Which is smaller: s or j?
s
Let a be (-1 - 0)*(-2)/2. Let m be (-9*3/(-306))/((-22)/88). Is m bigger than a?
False
Let w(r) = -r**3 - 2*r**2 + 3*r + 2. Let t be w(-3). Suppose -t*s + 1 = -11. Is s >= 7?
False
Let p(m) = 57*m - 7. Let z be p(3). Let a = -1144/7 + z. Let q = 3 - 2. Which is smaller: q or a?
a
Let m = 53 + -72. Which is smaller: m or 0.1?
m
Suppose 151 = 7*o - 80. Which is bigger: o or 131/4?
o
Suppose 18 = 3*w - 3*c, -3*c + 5 = 8. Suppose 3 = f, 66 = -0*y - w*y + 2*f. Suppose -3*k - v = -0*k + 39, 4*k + 52 = -4*v. Do y and k have different values?
True
Let q(t) = -20*t**3 - t**2 - 4*t + 1. Let l be q(3). Let j = 7275/13 + l. Which is greater: 1 or j?
1
Let o(n) = 13*n**2 + 1. Let x = -21 - -22. Let g be o(x). Let b = g + -15. Which is smaller: b or -2/85?
b
Let q be 0 + 1/(-1) + 23. Let f = q - 5. Let j = f - 28. Which is greater: -10 or j?
-10
Let r be 1629/(-27)*3/5. Suppose 0 = -2*c - c + 105. Let z = c + r. Which is greater: z or -2?
z
Suppose 3*w - 4*i - 57 = -15, 4*i - 66 = -3*w. Which is smaller: w or 28?
w
Let w = -38154/65 - -587. Which is bigger: w or -0.5?
w
Suppose 0 = 3*m + 7 - 4. Let d = -14 - m. Is -12 at least as big as d?
True
Let z = -1871 - -39257/21. Let l = 29/77 + -1/11. Let y = z + l. Is 0 at least y?
True
Let p(z) = -z**2 + 3*z + 6. Let d be p(5). Let j(f) = 5*f. Let n be j(d). Is -20 at least as big as n?
True
Let g = 1/2706 + -1491013/18942. Let w = 78 + g. Let x(l) = l**2 - 3*l - 4. Let p be x(4). Is p at least w?
True
Let z(y) = y**3 - 15*y**2 + 11*y + 7. Let g be z(14). Let l be (-4)/(-6)*(-3)/g. Suppose -t = -5*t. Are t and l equal?
False
Let b(w) = -w - 17. Let p be b(8). Let y = p - -26. Let a = -28547/33 + 865. Which is bigger: y or a?
y
Suppose 4*w = s + 14, -3*s + w = 2*s - 6. Suppose -s*h + 0*h = -0*h. Which is greater: h or -3?
h
Let q = -1 + 4. Suppose 2*u - d = -3, u + 12 = -3*u + 4*d. Suppose u = -l + 1 + 1. Which is greater: l or q?
q
Let t(r) = r**3 + 10*r**2 - 3. Let u be t(-10). Which is greater: u or -32?
u
Let a = -218 - -44. Is a at least as big as -176?
True
Let o(z) = -z**3 + 21*z**2 - 2*z + 24. Let l be o(21). Suppose -4*s + 0*s - 5*v = 19, -5*v - 18 = 3*s. Let h be s/l - (-20)/(-90). Is -1 greater than h?
False
Let h be ((-2)/(-7))/((-6)/(-42)). Suppose h*i - 2 = -0. Let k = -246 + 2212/9. Which is smaller: i or k?
k
Let c = 1 - 5. Let q = -6 - c. Let r(g) = 2*g**2 - 17*g - 14. Let h be r(9). Is q bigger than h?
True
Let k(m) = 54*m - 2. Let v be (-2 - 1)/(-3) - 0. Let p be k(v). Which is greater: p or 53?
53
Let t = 3039/2 + -1490. Let h be -24*(30/24)/1. Let n = t + h. Is 0.05 less than or equal to n?
False
Let b = 466 - 708. Let v be b/(-7) + 18/42. Is 34 >= v?
False
Let s be -4 + (-5)/((-1)/4*2). Let t be 84/(-2) + 4/(-2). Let q be (-2)/t - s/(-12). Which is smaller: q or 2?
q
Let a be 2/(-6) + 18/(-27). Let h be (-1)/((-44)/12*a). Suppose 4*q + q = -4*j + 25, -5*j = -3*q + 15. Which is greater: h or j?
j
Let b = -5 - -5. Let o(r) = 2*r - r**3 - 2*r - 18*r**2 + r + 16. Let l be o(-18). Which is bigger: b or l?
b
Let p = 0.2 - 0.3. Let f = -3.1 + 2.8. Let t = f - -0.5. Does t = p?
False
Let b be 3*(26/(-6) - -3) - -17. Let w(d) = -2*d - d + 1 + 0. Let q be w(-4). Is q > b?
False
Suppose -4 - 6 = -2*v. Suppose 3*y + 4*k = v*k - 74, 4*y - 5*k = -117. Which is smaller: y or -24?
-24
Let v = -7.41 - -7.44. Is v less than or equal to 15?
True
Let y(c) = -c**3 + 10*c**2 - 17*c + 6. Let a be y(8). Which is bigger: -3/11 or a?
-3/11
Suppose 108*d + 276 = 39*d. Which is smaller: d or -12?
-12
Suppose -2*w = -0*w - 4. Suppose -2*x + 16 = -0*x - 5*s, w*s = 3*x - 13. Suppose 0 = 2*u + 3*u - 10. Is u at least as big as x?
False
Suppose 6*r + i = 3*r + 44, -60 = -5*r + 5*i. Which is smaller: r or 88/7?
88/7
Let k = 0.54 - -4.26. Let j = k + -83.8. Is 2/7 greater than j?
True
Let v = -21 - -42. Let j = 175 + -173. Which is bigger: j or v?
v
Let l = 150 + -139.15. Let s = l + 0.15. Is s != 2/9?
True
Let u be (-1)/2 - 226/44*-3. Which is greater: u or 15?
15
Let y = -7927/14 + 566. Are -1 and y nonequal?
True
Let x = -23.969 - 0.031. Let b = -18 - x. Do b and -0.3 have different values?
True
Suppose -3*w = 4*k + 515, 19*k - 682 = 4*w + 22*k. Which is greater: w or -168?
-168
Let x = 12.76 + 0.24. Let i = -9617 + 9617. Which is greater: x or i?
x
Suppose 0 = -0*k + k - 69. Suppose k = -2*l - l. Let x = l - -23. Is x at least as big as -2/3?
True
Let h = 0.035 - 0.035. Which is bigger: h or -91?
h
Let n(s) = -s**3 - 11*s**2 - 4*s + 57. Let m be n(-10). Which is greater: 14 or m?
14
Let z be 3/((-3)/(-3 - -6)). Let s be (-2)/z*(-27)/36. Which is smaller: -8 or s?
-8
Let k = 1 - 3. Suppose -6*y = -3*y + 3*t - 6, -2*y + t = -13. Suppose -11 = 5*i + 2*q, -y*i - 19 = -2*q - 0*q. Which is smaller: i or k?
i
Let o(j) = j**2 - 5*j - 15. Let y be o(7). Let