 w - -36. Is n != -22?
True
Suppose -4*p + 1 = -5*v, 0*p + 4*v = 4*p. Which is greater: 3/41 or p?
3/41
Let a be 2/((3 - 4)*(-3)/111). Is a at most as big as 76?
True
Let w = 141 + -20. Let q be 5 - 1 - 396/w. Which is smaller: q or 0?
0
Let a = 13069/6 - 2173. Which is smaller: -3 or a?
-3
Let i(t) = -t - 6. Let r be i(-8). Let h be r + (80/(-11))/4. Which is smaller: h or 0?
0
Let p(q) = q**3 - q**2 - q + 3. Let v be p(0). Suppose -2*w - 11 - 5 = 4*s, 3*s = -v*w - 12. Is -4 less than s?
False
Let v be (1 - (-1)/(-2))*12 + -7. Which is bigger: v or 9/284?
9/284
Let m = -1086.755 - -1087. Which is smaller: 0 or m?
0
Let c be 4 - 9*14/33. Let p = 36.2 - 37. Which is bigger: c or p?
c
Let x be 1 + 3/((-15)/(-455)). Let n be x/(-12) - 2/(-3). Let i(l) = l**3 + 8*l**2 + 6*l - 8. Let t be i(n). Which is bigger: -3/19 or t?
-3/19
Let x = -393853/121 + 3255. Let d = 236/363 + x. Which is smaller: d or -20?
-20
Let x = 100 + -102. Let l be 1*4 + 10/(-5). Let y(a) = -a. Let i be y(l). Is x < i?
False
Suppose 2*n - b + 8 = 0, b + 4 = -5*n - 2. Is n at most as big as 8?
True
Suppose 0 = 3*a - c + 2*c - 5, 0 = a + 5*c - 11. Let t be ((-96)/9)/(-8)*(-6)/(-596). Let y = 320/1639 - t. Which is greater: a or y?
a
Suppose 10*a - 11*a = 3*c + 131, -5*a = -2*c - 110. Is c not equal to -3?
True
Let n = 0.4 - 0.8. Let w = -8.4 - n. Let f = 4755/91 - 683/13. Is f at most w?
False
Let q = -9/730 + 6859/497130. Is q < -1?
False
Let h = 4426/15 + -295. Which is smaller: 0 or h?
0
Let z be 1/(5 + 6/((-24)/10)). Suppose -2*m = 2, -4*m = -d + 4*d + 1. Which is bigger: z or d?
d
Suppose 0 = 8*t + 2 - 42. Let w = -18 - -25. Let m(x) = x - 5. Let o be m(w). Which is greater: o or t?
t
Let w = 2.9 + -5.9. Let b = -2 - -6. Let k = 7 - b. Which is smaller: w or k?
w
Let q = 18 - 15. Suppose -k - q*z = 6, -k - z = -0*z - 2. Let p = k - 2. Which is bigger: 5/2 or p?
p
Let m(s) = 4*s + 90. Let c be m(-15). Is 28 <= c?
True
Let n = -4 + 30. Let r(m) = m**2 - 32*m + 19. Let a be r(n). Is a less than -136?
True
Suppose 4*t + 83 = 2*z - 325, 204 = z + 4*t. Is z greater than 204?
False
Let y(p) = -p**3 + 13*p**2 + 2*p - 27. Let z be y(13). Let v = 681 - 1957/3. Let o = v - 1124/39. Which is smaller: o or z?
z
Let o = -56 - -71. Let i = o + -14. Is i at most as big as -1/69?
False
Let v(u) = 8*u - 54. Let t be v(7). Let o = -5 + 3. Let c be o/(-2 - -1 - t). Which is smaller: c or 2?
c
Let i = -7.73 + 2.73. Are 26 and i equal?
False
Suppose 5*u - 83 = -2748. Which is greater: -534 or u?
u
Let o = 47 - 9. Which is bigger: 110/3 or o?
o
Let w = -18.6 - 4.4. Let f = w + 23.11. Let h = -0.11 + f. Is 11/3 >= h?
True
Let r(w) = -5*w + 11. Let x be r(4). Suppose p = 2*g - p + 20, -16 = 2*g - 4*p. Which is bigger: x or g?
x
Let g = -122307 - -122308. Let w = -29073/4 + 2107607/290. Let v = -20/29 - w. Which is bigger: v or g?
g
Suppose i = 5*i - 8. Suppose 18 = -i*o + 4*p, -3*p = -5*p + 10. Let j = -64/21 - -10/3. Which is smaller: j or o?
j
Suppose -396 = 52*y + 47*y. Is y < 0.244?
True
Let l = 493.1 + -493. Which is greater: -6.71 or l?
l
Suppose 2*t - 15 = -t, -3*t = f + 2250. Let j = -1089 - f. Let u be (-70)/j + (-1)/(-7). Is 0 less than or equal to u?
True
Let m = -0.58 - -0.48. Which is bigger: m or 2.8?
2.8
Suppose 0 = 3*o - 8*o + 15. Suppose 0 = 2*x - o*x + 2. Suppose 2*b = -3*j + x, -4*j = -2*j - 5*b + 5. Is -2 > j?
False
Suppose -3*z + 18 = -4*z. Let y be (-4)/z + 12/(-54). Let n be 0 + 1/(-2) + (-45)/(-42). Is n < y?
False
Let d = -0.012 - 0.068. Which is bigger: d or 7?
7
Let x(c) = c**3 + 7*c**2 + 7*c + 7. Suppose d - 16 = 3*w, 2*w - 3*d + 9 = 3. Let v be x(w). Which is smaller: v or 0?
0
Let r be ((-1)/(-2))/(11/33*-31). Which is smaller: r or 1?
r
Suppose 0 = -2*z - 7 - 9. Suppose 7*b = 3*b - 40. Is z < b?
False
Let l(a) = 3*a + 23. Let n be l(-7). Let p be -9*((-4)/8 + 1)*n. Is -26/3 >= p?
True
Let j(u) = u**3 - 3*u**2 - 4*u + 3. Let w be j(4). Suppose -13 - w = 2*l. Is -9 > l?
False
Let h = 271 + -270. Which is bigger: 18/25 or h?
h
Suppose 24*q = 38*q + 1988. Is -147 at least as big as q?
False
Suppose -907 = -14*h + 1305. Are h and 159 nonequal?
True
Let x = 31.6 - 28. Let k = -27.457 - -27.257. Is k at least as big as x?
False
Let l be -1*2*(-50)/5. Suppose -l = 3*k - 236. Suppose k = g + 2*g. Is 24 < g?
False
Let c = -2325/422 + 2/211. Let k = c - -37/6. Which is smaller: k or 3/23?
3/23
Let o = 227 + -227.1. Which is greater: -4/69 or o?
-4/69
Suppose 4*l - 45 = l - 3*u, -3*l + 4*u + 17 = 0. Let n(a) be the second derivative of a**3/6 - 9*a**2/2 + a. Let b be n(l). Which is bigger: 3/5 or b?
b
Let o = -10 + 13. Suppose -2*l - 10 = 0, 0 = o*j - 5*l - 38 + 10. Let a be ((j - -1)/4)/(-1). Which is smaller: a or 0?
a
Suppose -5*z = 4*k - 88, -2*k + 2*z + 74 = -3*z. Let p be ((-12)/30)/(-1)*195/3. Which is greater: k or p?
k
Let w = 22.55 + -0.55. Let t = 159 - 478/3. Is w smaller than t?
False
Suppose -2*f + 5*n = 0, -2*n = -4*f + 3*n. Is -1/346 != f?
True
Suppose 0 = 14*l - 22*l + 288. Suppose 7*f + 2*k = 3*f + 156, -70 = -2*f + k. Which is bigger: l or f?
f
Let f = -11.92 + 12. Let j = 2 - 3. Which is greater: f or j?
f
Suppose -p - 9*s + 7*s = 51, 4*s - 102 = 2*p. Is -38 at most p?
False
Suppose -33 = -5*k - 3. Suppose -4*r - 20 = f - k, -r = 3*f - 2. Suppose 2*u = -2*x, 5*x + f*u = 9 - 3. Do x and 12/13 have the same value?
False
Suppose 0 = 3*q - 4*q + 69. Suppose -15 = -3*g - q. Which is greater: -19 or g?
g
Let a = -50.5 + 50.4. Which is bigger: -4/149 or a?
-4/149
Let h = -83 - -86. Suppose -4*x - 16 = 0, -4*c - 4*x - 176 = -h*x. Are -2/3 and c unequal?
True
Let p(t) = t**3 + 3*t**2 + 4*t + 2. Let r be p(-2). Let u = -4 - -6. Suppose 0 = -2*b - 6, u*h + 2*h + 2*b = -2. Which is bigger: h or r?
h
Let b be 171/63 + (-2)/(-7). Let k(y) = 1 - 4*y**2 + 42*y**3 - 43*y**b + 3*y + 2*y. Let o be k(-5). Is -2/41 <= o?
True
Suppose 2*c + 6218 = -3*f, f + 2*c = 6*c - 2096. Let u be 10/2 - f/(-420). Is 1 > u?
True
Let q = -518 + 433. Which is smaller: q or -0.05?
q
Let v = 40.15 + -1.35. Let r = -39 + v. Does r = -12?
False
Let v = -23 - -54. Suppose -v = -5*c - 476. Let g = c + 800/9. Is g >= 0?
False
Let u(v) = 3*v**2 - v**2 + 4 - 6*v - 6*v**2 + 3*v**2. Suppose 3*d + 6 = -15. Let j be u(d). Is j equal to -3?
True
Let h = -314 - -309. Does h = -10?
False
Let b be (36/(-720))/((-34)/4). Is b greater than 0?
True
Let t be 58/170 + (0 - 0). Let i = t - -1/17. Let f = -3509 + 3508.8. Which is smaller: f or i?
f
Let n be ((-261511)/51)/((-15014)/(-61)). Let d = -2/7507 + n. Let h = d + 21. Which is greater: -0.2 or h?
h
Suppose -2*r + 3*s = -s + 58, -s = r + 44. Which is smaller: -38 or r?
r
Let s = -2797/4 - -699. Let z = 1219/21 + -58. Which is smaller: z or s?
s
Suppose 0*z - 16 = 4*z, -z = 5*m - 71. Let b be 14 + (0 - 4/8). Do m and b have the same value?
False
Suppose -4*u - u = 50. Let j = 5 - u. Let n be ((-6)/(-10))/(12/j). Do n and 0 have the same value?
False
Let t be (3 - (-112)/(-36))*3. Which is greater: t or 0.1?
0.1
Let k be -2*1 - (-174 + 2). Let o be 72/k - 6/15. Is 1 bigger than o?
True
Let b = -23 + 14. Suppose -27*h + 34 = -10*h. Suppose 3*a - h*a + 10 = 0. Does a = b?
False
Let y be (-7)/(-28) + (-59)/(-4). Suppose 0 = 5*w + 25, 2*o - w = -64 + y. Is -26 at least as big as o?
True
Let n = -680 + 695. Is 0 > n?
False
Let m = -2836 + 2821. Is -4 at least m?
True
Let g(c) = -c**3 - 25*c**2 - 20*c + 67. Let h be g(-24). Suppose 3*d = -4*v - 87, -2*d - v = -d + 29. Is h at most d?
True
Let g be (-488)/(-366)*(-1 - 2). Let p(x) = -x**3 + 6*x**2 - 3*x - 5. Let v be p(5). Suppose 4*f + 5*b + v = 0, -3*b - 2*b = 2*f - 5. Is g at least as big as f?
True
Suppose -171 = 4*y + 3*a + 87, 5*y + 2*a = -326. Is y >= -57?
False
Let c(l) = l**2 + 4*l + 7. Let h be c(-2). Suppose 3*i = 2*n - 1, 5*i - h*n + 0 = -2. Which is smaller: i or 2/79?
i
Let d be (-57)/(-12) - (-3)/12. Suppose -d = -5*x - 0*x. Which is smaller: -2/29 or x?
-2/29
Let v = 44/7 + -9/2. Which is greater: v or 1?
v
Suppose -4*v + 1 = -3. Let d = -1311 + 836. Let u be ((-465)/d + -1)*-5. Is v < u?
False
Let x(a) = -2*a - 12. Let k be x(-5). Let z(v) = 2*v + 28. Let y be z(-17). Which is bigger: y or k?
k
Let h(z) = -3*z + 2. Let n be h(-6). Suppose 0 = -v + 3*x + 12, 3*v - 5*x - 24 = n. Let c(a) = 4*a - 3. Let 