= q + 7. Which is smaller: 4 or w?
w
Let v be 10/6*-10*(-3)/(-15). Is v equal to 1/5?
False
Let s(n) = -2*n - 19. Let b be 3/(15/5) - 22/2. Let x be s(b). Which is smaller: 2/19 or x?
2/19
Suppose 2*u - 6 = 2*q - 0*u, u = -4*q - 12. Suppose 4*f + 24 = z, 3*f = -2*z - 68 + 61. Which is greater: q or f?
q
Suppose 93*s + 40 = 97*s. Suppose 2 = 3*i - 2*i. Let t be 2/i + -1 - -12. Is s > t?
False
Let q = 24 - 20. Let n(f) = f**2 - 4*f - 5. Let j be n(5). Suppose j = -5*r + q + 1. Is r bigger than 1?
False
Let x = -15/5162 - -18491/9916202. Is x at least as big as 0?
False
Let c be (2 + (-982)/492)/(64/(-256)). Which is greater: c or 1?
1
Let n = 0.16 - 0.22. Let f = -14.94 + n. Which is greater: -1 or f?
-1
Let m = -0.17 + 0.08. Let x = m - -15.09. Let j = -20 + x. Which is bigger: -2 or j?
-2
Let d = -1.3 - -1.2. Let r = 5.5 - 5. Let g = 0.5 + r. Which is bigger: d or g?
g
Let l = -401 + 655. Are 2 and l equal?
False
Let j = -17203/10 + 1720. Let y be 12/(-15)*(-15)/2. Suppose y*c = c. Is j bigger than c?
False
Let a be 322/56 + (-10)/2. Which is greater: a or 1/2?
a
Let q = -64.4 - -73. Let c = 1.2 - q. Let j = c + -0.6. Is j > 1?
False
Let d = -43 - -127/3. Is -38 bigger than d?
False
Let b = 37 - 48. Let f = 1 + b. Is f > -9?
False
Let w = -9.1 - -8.21. Let d = -0.11 + w. Is 2/7 less than d?
False
Let q(x) = 2*x**2 + 21*x - 6. Let p be q(-11). Which is smaller: p or -38?
-38
Let u be -26*(-4)/(-8) + 2. Let v(h) be the second derivative of -h**5/20 + 7*h**4/12 + 4*h**3/3 - 11*h**2/2 + 8*h. Let o be v(8). Is u at least as big as o?
True
Suppose 4*n = -5*b - 1749, -1273 = 3*n + 44*b - 48*b. Which is smaller: -432 or n?
-432
Let v = -340/37 - -178463/19425. Is v at most 1?
True
Suppose 4188 = -4*m - 4*n, 544 = -2*m + n - 1541. Is m < -1045?
False
Suppose -l = -8 + 4. Suppose -4*k = l*u + 128, u + 12*k = 10*k - 32. Is -33 > u?
False
Let f = 653 + -471. Which is greater: f or 181?
f
Let f = -243 - -242.1. Do f and -0.02 have different values?
True
Suppose -5*z = -4*n + 540, -3*n - 9 = 6. Is z <= -118?
False
Let q = 20 + -20.24. Let n = -0.64 - q. Which is bigger: n or 1?
1
Let k = -3.2 + 3.52. Let i = -0.32 + k. Is i bigger than 0.06?
False
Suppose 2*d + 30 = -0*d. Suppose 4*x = -3*x - 112. Which is smaller: d or x?
x
Let a be 204/(-228) + (1 - 21/19). Let v(q) = -29*q**2 + 3*q + 2. Let k be v(a). Which is greater: -33 or k?
k
Suppose -11*g - 39 = -127. Which is bigger: g or -0.21?
g
Let l = -29 - 3. Let s = -32.1 - l. Are -5 and s nonequal?
True
Suppose -v + 2*b + 9 = 0, -3*v - b + 2 + 11 = 0. Let r = -16/3 + v. Let o = -446/209 - -44/19. Are r and o non-equal?
True
Let q = -3216 + 4750. Is 1534 bigger than q?
False
Let h(t) = -t**3 + 2*t**2 + 5*t - 6. Let s = -14 - -17. Let d be h(s). Let n(v) = -v**2 - 8. Let o be n(d). Is -7 bigger than o?
True
Let d = 860/7 - 1293/14. Which is smaller: 31 or d?
d
Let x be 22/(-35) + -3 + 64/20. Let m(o) = o**2 + 7*o - 1. Let r be m(-7). Are x and r non-equal?
True
Suppose 0 = -31*a + 30*a - 57. Let z be ((-3)/(-2))/(-3)*(-418)/a. Is z bigger than -5?
True
Let v(g) = -2*g**3 - 10*g**2 - 15*g + 13. Let b(s) = 5*s**3 + 19*s**2 + 30*s - 26. Let p(i) = -3*b(i) - 7*v(i). Let t be p(14). Is -19 smaller than t?
True
Let f = 7/13 + -5/13. Suppose -4*b + 0*z + 4*z + 12 = 0, 0 = 4*b - z. Let s be 2*(-1)/2 - b. Is f at least as big as s?
True
Let f = -126 - -90. Which is bigger: -32 or f?
-32
Let p(x) = 2*x**3 + 17*x**2 - 31*x - 4. Let g be p(-10). Which is smaller: g or 9?
g
Suppose -2*a + 7*a + 0*a = 0. Let t = a + 5. Which is smaller: 6 or t?
t
Let b be 6/48 - 123/72. Is -3 equal to b?
False
Suppose 5*g = -y + 21, -3*g + 194 = -3*y + 185. Which is smaller: 30/11 or g?
30/11
Let r be (0/3)/(-1 - 0). Which is smaller: r or 8/9?
r
Let z be 2/(-4)*(0 - (3 - 7)). Which is smaller: z or -15/7?
-15/7
Let s(q) = -q**2 - 1. Let i(r) = -12*r**2 - r + 4. Let a(v) = -i(v) - 5*s(v). Let c be a(-1). Is 17 bigger than c?
False
Let d(y) = y**2 - 6*y - 352. Let k be d(22). Which is smaller: -2/91 or k?
-2/91
Suppose -2*u = -7*u. Let q be -4 - (-40)/(4 - u). Suppose -q*p + 5*p - k = -5, -3*k = -2*p - 15. Which is greater: -6/7 or p?
p
Let n(c) = 3*c**2 - 2*c + 1. Let s be n(-2). Let p = 2421/5 - 467. Which is smaller: p or s?
s
Let t(m) = m**3 + 14*m**2 - 14*m + 22. Let p be t(-15). Suppose 0 = -3*k - 4*k + p. Which is bigger: -4/37 or k?
k
Let h = -24 + 36. Let c(f) = -f + 8. Let k(i) = -2*i + 15. Let u(l) = -7*c(l) + 3*k(l). Let v be u(h). Which is smaller: v or 2/3?
2/3
Suppose 0 = -3*j + 4 + 2. Suppose -5*i + j*i = 9, 0 = -4*h + 4*i + 44. Suppose -30 = -x - x - w, h = -2*w. Is 18 < x?
False
Let j be 8/20 - 1/(10/34). Let l = -32 + 29. Is l != j?
False
Let u = -3/383 + 782/50939. Which is smaller: -1 or u?
-1
Let m be ((-6017)/22)/(4/(-8)). Is m less than or equal to 545?
False
Let b(l) be the third derivative of -l**6/720 + l**4/4 + 5*l**2. Let i(o) be the second derivative of b(o). Let m be i(-7). Which is smaller: 6 or m?
6
Let b(o) = 12*o**2 - o - 1. Let y be b(-1). Let l be (-8)/y*(1 + -7). Suppose -13*c + 19 = -20. Which is bigger: c or l?
l
Let u = 231 + -230. Are u and 7/25 unequal?
True
Let l(u) = -u**3 + 6*u**2 - 46*u + 4. Let q be l(6). Let n be q/580 + 110/25 + -4. Let s be 1*(-2)/6*-3. Which is smaller: s or n?
n
Suppose 2*o = 2*k - 8, 15 = 4*o - 9*o + 4*k. Let c be 8/6*(o - -2). Suppose 5*f = 2*v - 27 - 14, 2*v = -c. Are f and -8 equal?
False
Let m(l) be the third derivative of l**5/60 - l**4/6 + l**3/3 + 5*l**2. Let d be m(4). Suppose 2 = d*z + 8. Is z <= -8/5?
True
Let a be (-12)/54 - (-61)/(-9). Suppose 0*j - z = 2*j + 16, -j - 4*z - 1 = 0. Which is smaller: j or a?
j
Let b = 5 - 9. Suppose -4*n + 5*v - 18 = -0, 2*n + 4 = 5*v. Which is greater: n or b?
b
Suppose 4*r = -r - 255. Is r at least -51?
True
Let z = -39 + 84. Suppose 5*t = -4*t - z. Is -7 less than or equal to t?
True
Let t = -326413/19 + 17165. Is -14 >= t?
True
Suppose -4*y = 5*w + 5 + 12, 2*w = -5*y. Let o be 1*(152/168 + -1)/(4/(-66)). Is y at most as big as o?
False
Let s(h) be the third derivative of 43*h**5/60 + h**4/8 - h**3/3 + 14*h**2. Let j be s(1). Is j >= 45?
False
Let d be (0 - -283) + 216/36. Which is bigger: 290 or d?
290
Let i = 13.3 + -13. Let a = 0.91 - 0.9. Which is bigger: a or i?
i
Let j = 0.112 + 10.988. Let x = j - 11. Let s = -5 + 4.7. Is s != x?
True
Let h = -29 + 30. Let w be (36/(-3 - h))/(-1). Is 10 greater than w?
True
Let k be (-29)/((-2 - 1) + 2). Suppose 0 = -4*q + 3*m + k, 0 = -5*q + 2*m + 51 - 20. Let i = 3263 - 16318/5. Do i and q have the same value?
False
Let g(q) = -72*q**3 + 2*q**2 - 1. Let a be g(1). Let y = a - -70. Is -1/20 smaller than y?
False
Let a be (-2)/(-2)*(8 - (-54459)/(-6807)). Is 0 less than or equal to a?
False
Let g = -51 + 111. Let p = g - 58. Which is smaller: p or -15?
-15
Suppose -2*b - 2*k - 8 = -4*b, -3*k = b + 16. Let h be -6*b/(-2) + -29. Is h bigger than -30?
False
Suppose -z = 3*o + 2 + 20, -o - 66 = 3*z. Suppose -f + 2*s = 2*f + 77, -4*s = 3*f + 53. Let y = f - z. Is y equal to -4/9?
False
Let t be (4 + -2)*(-44)/26620. Is 1 smaller than t?
False
Let w = 31.6 - 29.6. Which is smaller: w or 32?
w
Let k be 0 + 0/(-1 + -1). Suppose -3*q + k*w - w + 10 = 0, -q - 3*w = -14. Suppose 3 + 0 = -3*j. Is q < j?
False
Let t = -1309 + 1244. Is -7 greater than t?
True
Let b be (-28)/16*-71*(-18)/(-42). Is b less than 54?
True
Let z = -0.13 + 1.13. Let n = -11 + z. Let m = n + 10.2. Are 0 and m equal?
False
Let l = 55 - 55. Let s be (l + (-2 - -6))/(-1). Suppose -4*g + 7 - 19 = 0. Which is greater: g or s?
g
Let s = 47 + -40. Suppose -5*q + 2*c = 20, -4*c - c = -3*q + s. Is q at least as big as -9?
True
Let q(b) = -b**3 + 19*b**2 - 60*b - 51. Let r be q(5). Let s be 1*-2 - 40/(-22). Is r at least s?
False
Suppose -26 = -5*a + 39. Let p = -19 + a. Let g = p + 10. Which is greater: g or -0.3?
g
Suppose -4*k + 8112 + 1392 = 4*p, 3*k - 7121 = 4*p. Let q be k/(-670) + 4 + (-2)/4. Which is bigger: 0 or q?
0
Let m = 922 - 908. Which is bigger: 133/9 or m?
133/9
Let g = 2191897/188 - 11659. Let c = g - -71/11468. Is c less than or equal to 1?
True
Let i = -31 + 40. Let f(w) = -w**2 + 8*w + 12. Let x be f(i). Suppose -x*c + s - 10 - 4 = 0, -2*s = -4. Are -3 and c unequal?
True
Let j be 5/(-7) - (0 + -1). Let h =