1.3 - 11. Let s = -1.5 + 1.38. Let x = s + 1.12. Is x at most as big as j?
False
Let a = 352.7 - 354. Which is greater: -0.24 or a?
-0.24
Suppose -4*d - c = 137 + 414, 164 = -d + 5*c. Let y = d + 1669/12. Suppose 0 = 3*w - 12, 2*w = -4*k - w + 16. Is k greater than y?
True
Let o = 698 + -2107/3. Is o smaller than -0.05?
True
Let m(u) be the third derivative of u**6/120 - u**5/4 - 17*u**4/24 - u**3 + 8*u**2. Let y be m(16). Let v be y/(-45) + 10/90. Which is smaller: v or 0?
0
Let b = 151 + -151. Is -1/146 > b?
False
Let u = -32127/55 + 2892/5. Is u greater than -6?
True
Let t = -173 + 172.58. Are 2 and t unequal?
True
Suppose -j - 3*d = -25, j - d = 2*d + 37. Suppose 3*a - s + j - 81 = 0, 4*a = -s + 55. Is -2 at most as big as a?
True
Let r = -335 + -45. Let b = -2654/7 - r. Suppose y - 2*u = 8, 2*u - 5 = -4*y + u. Which is bigger: y or b?
y
Let u = -34 - -35. Let f = 5 + u. Does f = -1?
False
Let t be (-3)/(6 - 3) + 6/2. Suppose -t*r + 3*r - 9 = 4*p, -4*r - 4*p = 4. Is 11/6 at most as big as r?
False
Suppose 5*o + 333 = -4*o. Which is bigger: o or -36?
-36
Let u = 117 - 103. Suppose 1 = 2*c - 3*r + u, -20 = -4*r. Which is bigger: c or -1?
c
Let a be 4/(-2)*2 + 7. Let l be (-56)/(-30) - a - -1. Which is smaller: -0.1 or l?
l
Suppose 101 = -28*i + 101. Which is smaller: i or -2/781?
-2/781
Let w = 29.943 - -0.057. Let l = 2 - 1. Is w >= l?
True
Suppose -254 - 324 = 34*y. Which is bigger: -6/19 or y?
-6/19
Suppose r + 4 = 2*n - 3*r, -n - 2*r = 10. Let t(y) = y**2 + 2*y - 7. Let b be t(n). Is 1 <= b?
True
Let h be 91/(-15) - (-16)/168*-14. Which is smaller: h or -7?
h
Let k be 7 - (-61)/36*-4. Is k != 981?
True
Let h = 0.28 + 1.72. Let c = -6 + h. Which is bigger: -1/2 or c?
-1/2
Let x = 42 + -20. Suppose -t = -11 - 12. Let a = t - x. Is -2/7 smaller than a?
True
Let c = -7.9 + 15.9. Which is greater: c or 0.06?
c
Let n = 113/3 - 112/3. Let j = 5127/35 - 701/5. Which is greater: j or n?
j
Let f(a) = 2*a**3 + 27*a**2 + 11*a - 26. Let h be f(-13). Which is greater: h or 1/348?
1/348
Suppose -75 = -6*p + p. Let k be ((-48)/(-60))/((-2)/p). Which is smaller: k or 2?
k
Let m(n) = n**2 + 5*n + 6. Let b be m(-3). Suppose 2 = w - b. Let a = -365 - -4021/11. Is w less than a?
False
Let p = -266 - -527. Let l = 794/3 - p. Is l less than -1?
False
Let j = -1973 - -1867. Which is smaller: j or 1/11?
j
Let w(j) = j**3 - 9*j**2 + 6*j + 7. Let i be w(8). Let u be 0 - i/(-6) - -1. Is u < -0.4?
True
Let n = 112 - 60. Let a = -46 + n. Which is smaller: -2/7 or a?
-2/7
Suppose 6*s = -3406 - 1076. Is -747 less than s?
False
Let b = -45 + 54. Suppose 5*t = -2*g - 15, 3 = -5*g - 4*t - b. Which is smaller: g or 2/3?
g
Let i = 5 + -2. Suppose -3 = 2*q + i. Which is smaller: q or 2?
q
Let m = 25 - 28.2. Let p = -2.5 - m. Which is bigger: p or 0?
p
Let f(z) = -z**3 - 7*z**2 + 6*z - 11. Let p be f(-8). Suppose -p*o = 3*o - 2*o. Which is smaller: -2/87 or o?
-2/87
Suppose 376 = -12*v + 964. Is 46 at most v?
True
Let q be (17/(-34))/((-2)/(-28)). Suppose 0 = -4*i + 2*i + 36. Let n = 11 - i. Is q at least n?
True
Let u(r) = -3*r**2 + 22*r + 52. Let y(l) = -2*l**2 + 15*l + 35. Let a(z) = 5*u(z) - 7*y(z). Let p be a(10). Let w = p + 32. Which is smaller: -3/2 or w?
w
Let u(y) = -6*y**3 + y. Let l be u(-1). Let r be 7/l - (-3)/5. Let w be ((-36)/15)/(-4)*r. Which is smaller: w or 1?
1
Let y(b) = -5*b**3 - 23*b**2 + 8*b + 11. Let z(v) = -3*v**3 - 15*v**2 + 5*v + 7. Let m(c) = 5*y(c) - 8*z(c). Let k be m(5). Is -10/7 at least as big as k?
False
Let s be (-5 - (-684)/135)/(142/(-4)). Is 0 < s?
False
Suppose -q - 1 = 3*g - 5, 0 = -2*g - q + 3. Let k = -97/4 + 1487/60. Which is bigger: k or g?
g
Let a = -91.2 + 91.7. Are a and -106 equal?
False
Let w = -15 + 24. Suppose 0 = 5*d - 3*d - p - 7, 0 = -4*d + 3*p + w. Suppose 7 = -7*j + d*j. Is -8 less than or equal to j?
True
Let d = -3 - -6. Let w = -40 - -40.4. Which is smaller: w or d?
w
Let y(g) = 3*g - 28. Let r(z) = -2*z - 20. Let m be r(-10). Let t be y(m). Let o = t + 33. Which is bigger: 4 or o?
o
Let t = -4 - 0. Let r be 1005/(-35) - t/(-14). Let m = -43 - r. Is -13 < m?
False
Suppose -12*k + 19*k = -1463. Is k equal to -210?
False
Let v = 1723.97 - 1766. Let g = v + 42. Are 3 and g equal?
False
Suppose 0 = -y - 3*o + 14, -4*y - o = o - 16. Suppose y*h - 1 = 55. Which is bigger: h or 27?
h
Let k be 9/((5/80)/(30/(-36))). Is -120 less than or equal to k?
True
Let p be 1*(-20 + 9/3). Let r be 2 - (-236)/(-13) - 28/(-182). Is r < p?
False
Let k = 88 + -86.4. Which is smaller: k or 5?
k
Suppose -2*r + 10 = 4*f, -r - 15 = -4*f + 2*r. Let o be (-2)/4 + (-78)/(-36). Which is smaller: f or o?
o
Let b be (-6)/10 - 194/10. Let q = b - -12. Let t be (21/14)/(246/q). Which is bigger: t or -1?
t
Let n be (-2)/(-9) + 845/(-117). Let t(b) = -13*b + 13. Let j be t(n). Let k be 16/j - 64/78. Is k less than 10?
True
Suppose 4*w + 6 = 2*o + 4, 0 = 4*o + 5*w - 4. Let v = -237/2 + 18727/158. Is o != v?
True
Let t be (-5)/10*-1*0. Suppose -6*w + t = 6. Does w = -1/81?
False
Suppose -p + 3*i + 13 = 0, 4*i + 0 + 28 = 2*p. Which is greater: p or 76/5?
p
Let a be -6 + (-2 - (0 - -1)). Suppose 3*n + 0*s - 5*s - 64 = 0, s = 2*n - 31. Suppose 0 = 3*f - 2*l + n, 2*l - 5*l = -5*f - 23. Which is smaller: a or f?
a
Suppose -4*v = -9*v - 20. Suppose -3*n + 146 + 85 = 0. Let l = -79 + n. Are l and v nonequal?
True
Suppose 0 = 17*u - 1154 - 461. Which is greater: 93 or u?
u
Let x = -0.338 - 0.662. Is x at least as big as 0.0186?
False
Suppose -5*q - 3 = -163. Suppose -16*j + 160 = -11*j. Is q at least j?
True
Let k = -63.9319 - 0.0681. Do 0.6 and k have the same value?
False
Let b = 118.5 - 199. Let l = -15.5 - b. Is l greater than 1/2?
True
Let q = -554 - -555. Are q and 13/14 unequal?
True
Let w = 284 + -316. Is -34 less than w?
True
Let t(w) = w**2 + w + 9. Let k be t(0). Suppose y = 4*y + k. Let b(r) = -2*r**2 - 2*r + 3. Let z be b(y). Is z equal to -9?
True
Let j be 416/(-480) + 4/(-30). Which is smaller: 2/7 or j?
j
Let i be 16/(-20)*145/(-2). Let p = i + -53. Let r = -9 + 15. Which is smaller: r or p?
p
Suppose 4*a = -5*x + 20, -4*a + 0*x + 20 = 2*x. Let l be a + -1 - 184/44. Which is greater: l or -4?
l
Suppose 3*y = 7*y + 108. Let h be ((-1314)/y)/((-10)/9). Let v = -44 - h. Are -0.2 and v unequal?
False
Let l = -7 - -12. Suppose -3*n + 2*v + 43 = 0, -l*n + 4*v + 80 = -v. Let c = 13 - n. Is c bigger than 2?
False
Let g = 70.5 + 18.7. Let u = 92 - g. Which is smaller: u or -1?
-1
Let h be (3 - (-21)/(-9))*14. Let d = h + -179/15. Are 2 and d equal?
False
Let w(c) = c**2 + 8*c - 5. Let u(a) = -a**2 - 11*a + 19. Let j be u(-13). Let h be w(j). Which is smaller: -11 or h?
h
Suppose -19*s + 48*s + 522 = 0. Are s and -208/11 non-equal?
True
Let c(w) = 5*w**3 + w**2 + w - 1. Let g be c(1). Suppose 2*k = 8*k - g. Let p = -165 + 1317/8. Which is greater: k or p?
k
Let d = 452 + -234. Do d and 219 have different values?
True
Let q = -7166195/39 + 183705. Let i = -4/503 + 65905/1509. Let w = i + q. Is 1 at most w?
False
Let i be (0 - -1)/((-1)/43). Let t = i - -16. Let x be (-9)/t + 2/(-33). Is x <= 1?
True
Let l = 10514/51 + -625/3. Let u = l - -1529/765. Which is smaller: -1 or u?
-1
Let c = 521386/113 - 4614. Which is smaller: c or 1?
c
Let l = -409 - -468. Is 0 smaller than l?
True
Let h = -15/401 - 6487/8822. Is 0 != h?
True
Suppose -3 = -4*t - q, 25*t - 3*q = 22*t + 6. Let z = 461 - 5996/13. Which is smaller: z or t?
z
Suppose -5*v = -k - 7, -3*v - 3*k + 5 = -4*k. Let f = 9586/35 - 1133/5. Let a = -340/7 + f. Is a at most as big as v?
True
Let h = -0.847 + 0.027. Let n = h + -0.18. Let q be 2 - 1/(2 - 3). Is q at least as big as n?
True
Let l = -90 + 186. Which is greater: l or -0.1?
l
Let a = -4348/5 + 867. Suppose 5*g + 14 = 2*g + 2*u, 5*u = -3*g - 7. Which is bigger: g or a?
a
Let w = -250 - -249.889. Let n = w - -0.181. Which is smaller: n or -1?
-1
Suppose -3*g - 2 = 1. Let c be (8/(-5))/(-4)*g. Let r = -40 + 39. Which is smaller: c or r?
r
Suppose -3*c - 19*l = -14*l + 1230, -c - 410 = -4*l. Is -410 at most c?
True
Let a = 967 - 925. Are -1.1 and a nonequal?
True
Let g(m) = -m**2 + 7*m + 11. Let r be g(8). Suppose -r*i + 8 + 1 = 0. Suppose -3*s = -b + 11, 3*s + 26 = i*b + s. Is b != 9?
True
Let x be (-51)/4*360/(-54). Do x and 87 have the same value