7 or w?
w
Let i = -20839 + 20972. Is 133 < i?
False
Let f(c) = 2*c**3 + 2*c**2 + c + 1. Let h be (0 - 0)/(-1 - -8 - 6). Let x be f(h). Is -1/108 less than or equal to x?
True
Let p(h) = 6*h + 69 - 122 + 65. Let q be p(-2). Let f be q + -2 + 1 + 0. Is f < 0.2?
True
Let d(z) = 16*z**3 - z**2 - z + 1. Let c be 1 + 2 + (0 - -1). Suppose c*m + 0 = 4. Let t be d(m). Does 14 = t?
False
Let d = 122/35 - -1/70. Let i be ((10/(-44))/5)/(4/16). Is i <= d?
True
Let f(r) = -6*r - 25. Suppose 44 = -4*z + 4*h, 2*h = -z + 21 - 41. Let l be f(z). Is l less than 59?
False
Let h = -4/5 - -43/35. Let i = 70493/175 + -2820/7. Is h <= i?
False
Let x(o) = -3 - 5 + 7 + 2*o**2 - 2*o - 7. Let f be x(-2). Suppose -f*m - 400 = -14*m. Is 40 bigger than m?
False
Let s be -116 + 10/12 + (-1)/((-54)/(-45)). Is s greater than or equal to -90?
False
Suppose 0 = -4*f - 2*t + 4*t + 6, -15 = -3*t. Suppose f*v = -2*h + 10 + 14, 0 = 3*v - 3*h - 9. Suppose v*q + l + 96 = 0, -2*q + 7*q - 2*l = -93. Is -19 < q?
False
Let t = 202 + -199. Let h = 2 - t. Is -1/16 at most h?
False
Let a(w) be the first derivative of w**2 - 14*w - 1. Let i(y) = 8*y**2 - 2*y - 1. Let k be i(1). Let z be a(k). Is -16/5 at most as big as z?
False
Suppose y + 490 = -3*b + 2*y, -4*b - 640 = 2*y. Let i be b/8 + (-10)/(-40). Let m be (1/(i/(-6)))/((-36)/390). Is -4 at most m?
True
Let a = -13776 - -13724.5. Which is smaller: 1 or a?
a
Let l(n) be the third derivative of -n**6/120 + 13*n**5/30 - 11*n**4/3 + 19*n**3/3 - 14*n**2. Let f be l(22). Which is greater: f or 37?
f
Let d = -24726.4 - -24727. Which is bigger: d or 1.052?
1.052
Let r be ((2/559)/(((-2736)/(-168))/(-19)))/1. Is -1 at most as big as r?
True
Let v = 11828 + -390322/33. Let l be -12 - 1/1*1. Which is smaller: v or l?
l
Suppose 2*d = -5*d - 637. Let l = 671 - 762. Is l >= d?
True
Let v = 76 + -60. Suppose -3*o - o = -v. Suppose 4*s = p + 8, -o*p - 4 = s - 3*s. Is 1 bigger than s?
False
Suppose 1 = 4*z - 23. Suppose 2*g - z*b + b = -25, 0 = -4*g - 5*b - 5. Which is greater: g or -31/6?
g
Let i(k) = -162*k - 38. Let w be i(-24). Let n be 11/w*25/(-30). Is -1 at most n?
True
Let h(w) = 3*w + 33. Let f be h(-11). Let z = 15441/8200 - 47/25. Is z bigger than f?
True
Let m be (-4)/(-26) + (-12 - (2 + -15) - 1). Does m = -347?
False
Let h(a) = a**3 + 8*a**2 - 2*a + 14. Let c(l) = 91 - 78 + l**3 + 3*l**2 - 3*l + 5*l**2. Let u(n) = -7*c(n) + 6*h(n). Let d be u(-9). Is -7 at least d?
True
Let b = -0.5308 + 0.6008. Is -234 less than or equal to b?
True
Let y(x) = 2*x**3 - 54*x**2 + 5*x - 348. Let s be y(26). Does -1571 = s?
False
Let r = 3331556 + -916176706/275. Let h = r + -46/11. Is h at most 0.2?
True
Let l(q) = -4*q. Suppose 23*m = 20*m + 21. Let j be l(m). Let o be (-28)/7 + (-2)/(j/59). Which is smaller: 1 or o?
o
Let v = 11600 + -57707/5. Is v at least as big as 58?
True
Let l be 1/(-12)*748/(-9). Let h = l - -20/27. Let j(u) = 3*u**2 + 26*u + 48. Let v be j(-2). Which is smaller: h or v?
h
Let n = 5106458/9 + -17443657537/30744. Let w = 1/488 - n. Is -5 bigger than w?
False
Let x = -20121 - -20279. Let i = -0.3 - -0.2. Is x less than i?
False
Suppose -15*p + 1151 - 238 = -632. Which is bigger: 102 or p?
p
Suppose 0*o = -4*o - 40. Let c be (-1)/((-2)/o)*2. Let r(i) = 13*i - 524. Let w be r(40). Which is bigger: c or w?
w
Let x be -1 - (-26)/(-8)*101. Let o = -114052 - -915025/8. Let w = o + x. Is -2 smaller than w?
False
Let t = 10878/41 + 174662/123. Which is smaller: t or 1686?
t
Suppose -12*q + 14*q = -28*q + 30. Are q and 62/183 nonequal?
True
Let h be 2/((-6)/(-15)) - -49. Let b = -58 + h. Is b > 3?
False
Let p be (-50)/(-7) + (-11)/77. Suppose 2*a = p*a - 5*d - 100, 0 = -3*a - d + 64. Is a >= 23?
False
Let h = -13510.6777 - -13510. Which is smaller: h or -1?
-1
Let a be (1 + 231)/(-4) + 2. Let o = 20 - a. Is o less than or equal to 75?
False
Let c(t) = -18*t - 13*t - 41 - 7 + 22*t. Let m be c(5). Which is smaller: -94 or m?
-94
Let k be ((-18)/12)/(-4 - (-375)/94). Is -8 > k?
False
Let l = -2869 - -3095. Which is smaller: 225 or l?
225
Let x = -0.292 - 0.218. Let c = x - -0.61. Is c greater than 122/9?
False
Let w = -0.0629 - -7.1679. Let g = -0.105 + w. Let f = 8 - 7.9. Which is smaller: g or f?
f
Suppose 0*g = -5*g + 2*m - 291, 165 = -3*g - 2*m. Let v = -39 + -16. Is g > v?
False
Suppose -u = -11*u + 20. Suppose u*a = 17 - 11. Suppose 4*t - 7 = a*t. Is t < 7?
False
Let u be (-56)/84 + (-97)/3. Let n = 78 + u. Which is smaller: n or 46?
n
Let z = 488 - 88326/181. Let o(b) be the second derivative of b**4/12 + 7*b**3/3 + 49*b**2/2 + 101*b - 2. Let s be o(-6). Which is smaller: z or s?
z
Suppose 2*c - 96*c - 15*c + 160339 = 0. Which is smaller: c or 1470?
1470
Let o = -8.376 - -7.376. Is o >= -4/715?
False
Let c = 0.72 + -0.62. Which is bigger: 30 or c?
30
Let y(w) = -w**3 - 7*w**2 + w - 18. Suppose -6*b = -13*b - 42. Let q be y(b). Is -61 <= q?
True
Let a be 11*3/(-6)*-2. Let b be (-4)/((-4)/(4/a)). Let r = -55 - -56. Is r at least b?
True
Let i(g) = -g**2 + 6*g + 18. Let c be i(8). Let w be (-10 - -6) + 6 + 4/c. Suppose 40 = 4*p + p + 3*s, w*p - 2*s = 32. Do 4 and p have different values?
True
Let v = -12.12 - -0.12. Let o = v + 2. Suppose -23 = -4*b - 4*t + 13, 2*t = 6*b + 10. Which is smaller: o or b?
o
Suppose -7*f - 4*f + 248 = -42*f. Do f and 49 have different values?
True
Let j = 15/193 - 11410/10229. Which is bigger: j or -1?
-1
Let n = 110 - 108. Suppose 0 = -n*t + 12 + 2. Suppose -2*f = l - 21, 0 = -0*f + 5*f + l - 45. Which is bigger: f or t?
f
Let w = -2 + 3. Suppose -7*h + 9*h + 66 = 4*l, 0 = h + 2*l + 17. Let u be 2/(-10) - ((-135)/h - 4). Which is bigger: u or w?
w
Let h be (-120)/48 - (-123)/(-6). Are 53 and h unequal?
True
Let f = 366 + -143. Let x = -224 + f. Which is bigger: x or -1/291?
-1/291
Let s be 260/(-2315) + 13/117. Is -1 bigger than s?
False
Let i = -1394480 - -1406073.49. Let r = -11539 + i. Let a = -54 + r. Is a less than -2/7?
False
Let q be (-6 - 176/6)*6/(-26). Suppose 3*l + 5*r + 30 - 34 = 0, 3*r = -l - 4. Which is bigger: l or q?
q
Let r(w) = 741*w - 1326. Let x be r(-7). Which is smaller: x or -6512?
x
Let u = -9 - -9.7. Let s = 14706 - 14704.9. Is u < s?
True
Let z = 12.2 - 12. Let b be (-2)/(-17) - (-56)/(-238). Which is smaller: b or z?
b
Let o = 8 - -13. Suppose o = 6*n + n. Let l be n/(-12) - (3 + 52/48). Which is bigger: l or 0.1?
0.1
Let k be (-20347186)/(-4396) + (217/49 - 4). Let i = k + -4629. Is i at least 1?
False
Let r(j) = -j**2 - 16*j - 69. Let t be r(-12). Let a = -22 - t. Let q be -1*(0 - 11)*-1. Is a <= q?
False
Suppose -23707*g + 23676*g + 6169 = 0. Is 2578/13 at most g?
True
Let t = -0.05 - -0.65. Let w(f) be the first derivative of 7*f**2/2 + 51*f - 15. Let o be w(-7). Is t at most o?
True
Suppose 19 - 11 = -8*c. Is c >= -14/51?
False
Suppose -2*t = -5*x - t + 33112, 5*t + 26498 = 4*x. Let h = -32986/5 + x. Which is smaller: h or 26?
h
Let j(d) = 8*d - 4. Let w be j(1). Suppose u + w*u = -20. Let t(i) = i**3 + 4*i**2 + 3*i + 8. Let k be t(u). Do k and 1 have the same value?
False
Let s = 99 + -98. Let a(w) = w + 3. Let v be a(s). Which is smaller: 8 or v?
v
Let r = 713/5 + -2539/15. Let m(w) = -w**2 + 23*w - 159. Let i be m(12). Which is smaller: r or i?
i
Let p(d) = 42*d - 362. Let f be p(8). Let j be (9 - 37)*(-2)/(-2). Which is bigger: j or f?
f
Suppose -3*x = 2*o - 17, 160*x - 3*o + 25 = 164*x. Is x <= 5/1617?
False
Let k = -2344 - -2344. Which is greater: 1211 or k?
1211
Let p = 8309 + -8011. Which is smaller: p or 5?
5
Let a = -72 + 75. Suppose 4*v + 476 = -a*s + 7*s, 4*s + 4*v = 508. Let c = 123 - s. Are c and 6/17 equal?
False
Let o = 271 + -283.9. Let t = o - -12.4. Do t and 2/3 have different values?
True
Let f = -2.9639 - 0.0361. Which is bigger: 1394 or f?
1394
Let n(x) = -4*x**2 + 8*x - 7. Let c(r) = -11*r**2 + 23*r - 21. Let y(p) = 3*c(p) - 8*n(p). Let d be y(2). Which is bigger: -1/180 or d?
-1/180
Let w = 0.093 + -96.093. Suppose 10*o - 6*o + 28 = 0. Let y(h) = 2*h**3 + 14*h**2 + 1. Let c be y(o). Is w greater than c?
False
Suppose 4*h + 2*s - 24 + 20 = 0, -7*h = -3*s + 19. Suppose 44 - 65 = 3*g. Is g at most as big as h?
True
Let v = 2866 + -2866. Do v and -279 have the same value?
False
Let q(j) = -j**3 + 6*j**2 - 1. Let m be q(5). Suppose -53*u = -50*u + m. Let w 