han 0?
False
Suppose 20*m - 14*m - 168 = 0. Let j be (m/(-6) + 6)/((-1)/3). Is j <= 0.3?
True
Let m = 158 + -136. Let z(k) = k**3 - 22*k**2 - 2*k + 47. Let h be z(m). Is 3 at least as big as h?
True
Let p(o) = -o**3 + 5*o**2 - 6*o + 3. Let m be p(4). Let n(g) = g - 84. Let d be n(79). Is m != d?
False
Let c = -111231422/825 - -134826. Let a = c - -1/165. Is 0 not equal to a?
True
Let y = -136 - -129. Which is greater: -33/5 or y?
-33/5
Let d = -187 - -25618/137. Let b = 146/1233 + d. Are b and -0.3 nonequal?
True
Let i = -0.263 - -0.253. Which is smaller: i or 0.25?
i
Let t = 13708/13 + -1052. Which is greater: 3 or t?
3
Let p = -68.44 - 6.56. Is -3 <= p?
False
Let g = 31.965 - -0.035. Let k = g - 15.5. Let n = k + -16. Are n and 1/5 equal?
False
Let a = -712 + 421. Does a = -291?
True
Let y(p) = -p**2 + 7*p - 9. Let a be y(2). Suppose 3*v + a = 2*v. Is -1 < v?
False
Let d = 27 + 53. Is 80 < d?
False
Let z = -23313/142 - 23/71. Is -165 < z?
True
Let x = 58 - 869/15. Let o be 15/(-25) + 0 - 2/5. Which is greater: o or x?
x
Let o = 3.6 + -0.6. Let c = 2 - o. Let i = 263.1 - 269.1. Which is smaller: c or i?
i
Let d(w) = 40*w**3 + 2*w**2 - 3*w + 3. Let k be d(2). Let l = k - 4231/13. Let y = 2 - 1. Which is smaller: l or y?
l
Let c(a) = -a**3 - 20*a**2 + 71*a - 17. Let m be c(-23). Which is smaller: -61 or m?
m
Let d = 74 + -73.969. Let l = -0.289 - d. Which is smaller: l or 1?
l
Let l be ((-8)/(-10))/((-24)/(-780)). Let f(x) = -x**3 + 9*x**2 - 3*x - 14. Let r be f(8). Is l < r?
False
Suppose 41*q - 517 = 30*q. Is 47 equal to q?
True
Let t = -2100 + 2020. Is -84 less than or equal to t?
True
Suppose 25*w = -w - 286. Are -9 and w equal?
False
Let o(m) = 2*m**3 - 4*m**2 - 7*m - 10. Let s be o(-5). Which is smaller: s or -326?
-326
Let j(z) = -3*z**2 - 37*z - 11. Let u be j(-11). Is 35 != u?
True
Suppose -8*v = -46 - 138. Is 109/5 <= v?
True
Let y be (19 + -11)*(3/(-702))/(-1). Which is bigger: 1 or y?
1
Suppose -m + 702 = 3*s, 0 = -8*s + 7*s + 3*m + 244. Is 235 smaller than s?
False
Let w(m) be the first derivative of m**2/2 + 14*m + 3. Let s be w(0). Let t be 16/72 + s/18. Do -1 and t have the same value?
False
Let c = -27 + 24. Let x be 8/c + -1 + (-2)/(-1). Suppose 6 = -4*a + t - 3*t, 5*a + 3*t + 6 = 0. Do a and x have the same value?
False
Let v = 10/3 - 29/6. Is -7 greater than v?
False
Let j be ((-30)/9 + 3)*0. Let f = 7 + -2. Let w = 11 - f. Which is greater: w or j?
w
Let h(n) be the third derivative of -n**6/120 + 7*n**5/20 + n**4 - 22*n**3/3 - 27*n**2. Let x be h(22). Let d be (-4)/153*3/2. Which is greater: x or d?
x
Let y = -5927/3 + 2306. Let p = -324 + y. Which is bigger: p or 7?
7
Let h = 35 - 45. Let y(g) = -5*g**3 + g**2. Let t be y(1). Let q be (t/h)/((-7)/5). Which is bigger: q or -0.1?
-0.1
Let g = 11 - 5. Let x = -9 - -35. Suppose -2*t + 28 = 5*s, 4*t + 4*s = x + g. Is 3 at most t?
True
Let j(y) = y**3 - 5*y**2 - 5*y - 3. Let o be j(6). Suppose 0 = 2*r, p - o*r = -6*r + 5. Is 3 at most as big as p?
True
Let y be (-4 - -6)*(-1 - 0)/(-1). Which is greater: y or 3/11?
y
Let i(v) be the third derivative of v**4/24 - 2*v**3/3 - 4*v**2. Suppose 3 - 12 = -3*j. Let t be i(j). Does -1/16 = t?
False
Let l = 11099 - 32990/3. Which is greater: 102 or l?
l
Let p be 6 + -21 + 4 + 1 + 3. Let h(r) = -r**3 - 6*r**2 + 10*r + 19. Let k be h(p). Which is greater: k or -23?
k
Let b = 6 - 2. Suppose 0 = -b*y - v + 18, 0*y - 4*y + 22 = 3*v. Suppose 0*w = -y*w. Which is smaller: w or 2/51?
w
Suppose 0 = -k - 7*k - 32. Let o be 7 + (5 - 9) + k. Which is greater: o or -7/6?
o
Suppose -1048*m + 190 = -1047*m. Are m and 190 nonequal?
False
Let f(k) = -18*k + 122. Let y be f(9). Which is greater: -13 or y?
-13
Suppose 3*j - 4*j = -19. Suppose 4*k - 5 = j. Let s be -2 - 1/(-2)*k. Is 1 less than s?
False
Suppose 0*p = -3*w + 2*p + 54, 0 = -4*w - 2*p + 86. Let k be w/(-198)*-3*3. Which is smaller: 1 or k?
k
Suppose 2*h + 2*h = 0. Let a = 2296831/231 + -9943. Is a less than h?
True
Let n = 3554/33 - 319/3. Is 0 >= n?
False
Let k be 9/18 - 9/(-6). Suppose 0*w = 3*v - 4*w + 57, -2*v = k*w + 24. Which is bigger: v or -1?
-1
Suppose -34*t - 14 = -20*t. Is 1 >= t?
True
Let k = 14449/118 + -245/2. Which is smaller: -1 or k?
-1
Let y = -365 + 365.7. Which is smaller: 3 or y?
y
Let d = 2526 + -20161/8. Is d smaller than 7?
True
Suppose 0 = 7*h - 38 + 45. Which is greater: -1/440 or h?
-1/440
Let f(w) = -10*w**2 - 30*w + 4. Let b(n) = 7*n**2 + 20*n - 3. Let a(x) = -7*b(x) - 5*f(x). Let d be a(-5). Is d < -23?
True
Let k = -36 + 37. Let x = -2.1 - -3. Let f = x - k. Which is smaller: 1/7 or f?
f
Let a = 40 + -17. Let f = 31 - a. Is f at most as big as 7?
False
Let l(t) = -3*t**3 + 31*t**2 + 16. Let v be l(9). Which is smaller: 339 or v?
339
Let x be (-30 - -30)/(1 + 4 + -4). Which is bigger: x or 7/53?
7/53
Let b be (-1)/2 + (-1)/(-2). Let w be (-16)/3*(2 + (-21)/6). Suppose 22 = -2*j + 5*i, 0 = 5*i - 12 - w. Which is greater: j or b?
b
Let o(z) = z**3 - 4*z**2 - 7*z + 17. Let p be o(5). Suppose p*a = 12*a - 5. Are 3/31 and a nonequal?
True
Let i be (-12)/(-200)*12/9. Which is bigger: 3 or i?
3
Let s be -3 - (-5 - 0) - -788. Let w be 9*-184*20/(-42). Let p = s - w. Which is smaller: 2 or p?
p
Let r(n) = -7*n + 1. Let x be r(0). Which is smaller: -2/39 or x?
-2/39
Let j = -306 - -309. Is j not equal to 27?
True
Suppose 25*d - 42 = 24*d. Which is smaller: 41 or d?
41
Suppose -4*y = 4*m - 152, -2*m - 5*y = -y - 82. Let v = m + -33. Suppose -v*l = -l. Which is smaller: -1/2 or l?
-1/2
Suppose 3*j + 4*q = 389, -2*j - 68 = 5*q - 318. Suppose -u = 2*u - 5*x + 81, x + j = -5*u. Let y(h) = 5*h + 68. Let f be y(-19). Is f less than or equal to u?
True
Let z = -21573/3355 + 48/305. Let r = 84/11 + z. Which is bigger: r or 2?
2
Suppose 2*s + b + 88 = 0, 16*s + 47 = 15*s + b. Is s equal to -42?
False
Let y = -38 - -65. Let x = y + -26.9. Which is smaller: x or 2?
x
Let x = 38 + -48. Let g = -23 - x. Let s = -4.8 + 5. Which is bigger: s or g?
s
Let m = 29 + -62. Which is smaller: m or -39?
-39
Let y = -128366/3 - -43152. Which is smaller: 364 or y?
y
Let z = -80 + 76. Let p = z - 8. Which is bigger: 0 or p?
0
Let i = 544 + -545. Which is smaller: i or 0.105?
i
Let k = 10 + -10.01. Let r = 0.03 + k. Let p = -0.08 - r. Which is smaller: -13 or p?
-13
Suppose -4*s = 0, 18*k - 16*k + 3*s = 34. Does k = 17?
True
Let u be (43 - 44)*1/59. Is 8 >= u?
True
Suppose -12*t + 3080 - 824 = 0. Let z be 8/20*t + (-1)/5. Is z at most as big as 76?
True
Let t(v) = v**2 - 3*v - 1. Let r be t(4). Suppose 2*k - r = 3*k. Let l(g) = g**2 - g - 2. Let s be l(k). Which is smaller: s or 9?
9
Let o = -42 + 47. Let f be (o/(-20))/(-3 + 1). Which is smaller: f or 1/3?
f
Let x = -295 - -883/3. Which is greater: x or -151?
x
Let d be (-93)/(-18) + (-3)/18. Suppose d*v - 10*v - 65 = 0. Which is greater: -12 or v?
-12
Let j be 26/(-117) + (-735)/(-27). Which is greater: j or 4/9?
j
Let i = 55 + -40.3. Let v = 476 + -480.3. Let q = i - v. Which is smaller: q or -1?
-1
Let r be 10493/133 - 8/(-76). Let o(d) = 3*d**3 - 2*d**2 + 3*d + 8. Let w be o(3). Which is bigger: r or w?
w
Let w be 4 - (4 - (0 + 1) - 1). Which is smaller: 13 or w?
w
Let o = -1/3176 + 530395/9528. Suppose 0 = 3*z - 2 - 10, -2*x + 2*z = -102. Let g = x - o. Does -1 = g?
False
Suppose 48 = -182*x + 190*x. Which is greater: 39/8 or x?
x
Let z(h) = -h**3 + 8*h**2 + h - 6. Let i be z(8). Suppose 4*r + 4*x = 2*r - 8, -8 = i*x. Let q(b) = 5*b**2 - 2*b - 1. Let a be q(-1). Which is smaller: a or r?
r
Let b = 77 + -117. Suppose 138*v + 120 = 135*v. Is b less than v?
False
Let t = -5731/11918 + 46/101. Which is smaller: -2/3 or t?
-2/3
Let p(u) = 20*u - 10. Let b be p(5). Let g be b/(-56) - 9/(-12) - -1. Suppose -5*z = 4*k + 1, 4*z - 9*z = -3*k + 8. Which is smaller: k or g?
g
Suppose -4*d + 65 = d. Suppose 264 = 51*v - 27*v. Is v >= d?
False
Let x be (-1722)/3492 + (-2)/(-4). Which is smaller: -0.1 or x?
-0.1
Let h = -283361/220 + 1288. Is h at most as big as -1?
False
Suppose 9*b + 11 = 10*b + 3*u, 4*u - 4 = 4*b. Suppose 3*o + 148 = 2*n, 2*n + b*n + 3*o = 296. Which is greater: 73 or n?
n
Let d = 0.049 + 0.371. Let u = d - -0.58. Do u and -3.2 have different values?
True
Let h be (-4)/(-6)*(-3)/2. Suppose -2*y - 9 = -3*w - 0*w, -y - 2 = -2*w. Let v be 