/k. Is f != 1?
True
Let l(t) = -55*t**3 - t**2 - 2*t + 1. Let p be l(-2). Let n = 870950/11 - 78737. Let d = p - n. Which is smaller: d or 1?
d
Suppose 0*z + 9 = -3*o - 2*z, 2*o + 5*z = -6. Let b(m) = 3*m + 9. Let t be b(-4). Is t equal to o?
True
Suppose -2*c + 200 = -7*c - 4*r, -5*c + 5*r - 200 = 0. Let j be (180/c)/((-2)/1). Do -0.5 and j have the same value?
False
Let z = 27 + -26.996. Let j = z - 9.004. Let k = -8.9 - j. Is k less than -2?
False
Let t be 70/2*(-450)/315. Which is smaller: t or -9?
t
Let l = -0.016 - 50.984. Let g = l - -34. Let d = -18 - g. Which is greater: d or -3?
d
Let z be (-10)/(-4) - 1/2. Let a = 64 + -48.6. Let q = -15 + a. Which is smaller: z or q?
q
Let p = 3 - 1. Let h(b) = b**p + 24 - 2*b**2 - 24 + b. Let l be h(1). Is 1/18 at least as big as l?
True
Let s = -194 - -209. Let y = 16 - s. Let d be (-5)/25 + (-4)/(-10). Is y greater than or equal to d?
True
Let w = 67599 - 67598. Let m = 26.95 - 26. Which is smaller: w or m?
m
Let r = 87 + -88. Suppose 0 = -3*i - j + 1 - 23, 5*j + 12 = -i. Let n be (0 - 4) + (-13)/i. Is n > r?
False
Suppose 65*g - 64*g + 2051 = 0. Let z = 20429/10 + g. Are z and -8 nonequal?
True
Let w = 2650 + -2642. Which is bigger: w or 342?
342
Let m(i) be the second derivative of -i**4/4 + 3*i**2/2 - 5*i. Let q be m(3). Suppose 2*k - 131 = 7*k - 3*s, -2*s + 4 = 0. Which is greater: k or q?
q
Suppose -20 = -15*u + 18 - 23. Which is bigger: u or 53/40?
53/40
Let t(m) = m - 5. Let p(s) = 2*s - 10. Let u(b) = -2*p(b) + 5*t(b). Let o be u(6). Suppose i + 1 = -g, o = -2*i + 7*i - g. Is 7/12 not equal to i?
True
Let i be -4462 - (-11 + 26 - 23). Is i smaller than -4455?
False
Let c be ((-10 - 5)/(-3))/(193 + -1). Is 1 <= c?
False
Let w = -24 + 2. Let o = 21.972 + 0.028. Let l = w + o. Is -2 at most as big as l?
True
Let g = 42 + -128/3. Let p be -417*(-3)/189 - 2/7. Let x = p - 149/15. Is x at most as big as g?
True
Let j(t) = 3464*t**3 + 3*t + 3. Let q be j(-8). Let i = -33676749/19 - q. Let k = i + -1128. Which is smaller: k or 2?
k
Let h = 26145 + -26127. Do -125 and h have the same value?
False
Let h(k) = -2*k**3 + 285*k**2 - 457*k + 4833. Let x be h(141). Let i(q) = q**2 + 5*q + 1. Let c be i(4). Is x at least c?
True
Let z be ((-1205)/20)/(3 + (-22)/8). Let c = -251 - z. Is c at most as big as -21?
False
Let c(i) = i**2 - 6*i + 4. Let u be c(7). Suppose 4*n - u - 9 = 0, 4875 = -5*l + 2*n. Let v be 0 + 2 + l/490. Is -1 at most as big as v?
True
Suppose -j - j + 98 = 0. Let a be ((-15)/(-6))/(-5) + j/90. Is a less than or equal to 2?
True
Let c(m) = m**3 - 17*m**2 - 30*m + 219. Let j be c(18). Which is bigger: j or 115/34?
115/34
Suppose -5*q + 4*f = -203, -f + 6*f + 88 = 2*q. Suppose -4*l = -5*l + 39. Is q less than l?
False
Suppose -4*u = -3*o + 22, -5*u - 40*o = -43*o + 26. Let l be (0 + (-30)/(-24))*u + 4. Which is greater: l or 16/39?
16/39
Let c = -11/395 - -18/79. Which is bigger: c or -0.6?
c
Let f = -7091/12 - -2365/4. Is f > 30/23?
False
Suppose v - 134 + 160 = 0. Which is smaller: v or -10?
v
Let q = 260540/11 + -23685. Which is smaller: q or 1?
q
Let y = 14925136 - 2522250467/169. Let k = y - 577. Which is bigger: k or 1?
1
Let o = 3.36 + 0.46. Let d = 57.72 - o. Let n = d + -54. Which is smaller: -31 or n?
-31
Let d(h) = -9*h**2 - 32*h - 192. Let l(r) = -26*r**2 - 97*r - 578. Let t(g) = -17*d(g) + 6*l(g). Let n be t(-6). Is n < -80?
True
Suppose -373*i + 15641 - 4992 = -6136. Is i less than or equal to 1422/31?
True
Let a = 352 - 133. Let x = -220 + a. Which is smaller: x or 1/3?
x
Let x = 8 + -11. Let o(u) = 2*u + 17. Suppose 0 = 3*d + 8 + 13. Let v be o(d). Which is smaller: x or v?
x
Let x = -1/104 - 49/312. Let m be (-20)/(-8) + 2/4. Suppose 3*j + 12 = m*v, -5*j + 10 = 6*v - v. Which is smaller: x or j?
j
Let n be (66 - 52)*2/4. Suppose -i - 4*w + 14 = -n, -8 = 2*w. Which is smaller: i or 41?
i
Let t = 3174 - 3175. Let a = -1058 + 82523/78. Which is greater: a or t?
a
Suppose -2*i = 3*p - 76, 0 = i + 2*p - 3*p - 38. Let x = i - 31. Suppose 3*w = -4*s + x, 5*w + 8 = -s - 3. Are s and 4 nonequal?
False
Let i = -0.54 + -20.46. Let y = 3292 - 3311. Let o = i - y. Do -0.9 and o have the same value?
False
Suppose 5*m - 5*j + 104 + 61 = 0, 4*m - 5*j + 130 = 0. Let t be (m*2/(-40))/(3/12). Which is bigger: t or 10?
10
Let f be 848/(-4) + 8/(-2). Let x = 204 + f. Which is smaller: x or -11?
x
Let n = -15.68 + 16. Let s = 130 - 130.31. Let g = n + s. Which is greater: 1/2 or g?
1/2
Suppose 34*x - 94 = 76. Let l = 4 - 2. Let s be x - (l + 0)*16. Which is bigger: s or -29?
s
Let l(t) = 67*t + 134. Let s be l(-2). Which is smaller: s or -72/137?
-72/137
Let i(p) be the third derivative of -p**4/8 - 71*p**3/6 - 2*p**2 + 15. Let o be i(-24). Is 1/137 at most as big as o?
True
Let k = 24321 - 24317. Is -367/3 less than or equal to k?
True
Let x be (7 + 0/5)*29. Let o = 204 - x. Let r = -4893/16 - -306. Do r and o have the same value?
False
Suppose -119 = a + s + s, 483 = -4*a - s. Let k = 7009 + -7131. Which is bigger: k or a?
a
Let y be ((-33)/22)/(6/(-32)). Suppose y*t = -t + 639. Which is smaller: t or -1?
-1
Let f(h) be the third derivative of 5*h**4/24 + h**2. Let s be f(6). Suppose -5*m = -5*r - 115, 3*m - 78 = 6*r - 4*r. Is m equal to s?
False
Let q = 14.9 - 5.78. Let i = 0.12 - q. Let j be (294/1176)/(1 - 6/8) + 1. Is j equal to i?
False
Let w = 87 + 12. Suppose w = z + 89. Which is smaller: z or 8?
8
Let x = 173 + -157. Suppose -x = 4*m, 19 = -v + 2*v - 5*m. Does -10/59 = v?
False
Let t be ((-4)/8)/(3/(-162)). Suppose a - 25 = t. Let i = a - 6. Is i > 46?
False
Suppose 13*t = 11*t. Let c be -3 - (-1 + t/4)/1. Let j be (-3 + (-6)/4*c)/(-2). Is j at most -2?
False
Let z be (3/(18/177))/(28/(-4978)). Let f = -5241 - z. Let j = f + -13/4. Is j > 0?
True
Let z(w) = -w**3 - 18*w**2 - 25*w + 83. Suppose 22 = -s - 3*i - 0*i, 84 = -5*s - 2*i. Let d be z(s). Which is smaller: d or -151/5?
-151/5
Let b(h) = -h**2 + 44*h + 139. Let v be b(47). Let z = 81 + -238/3. Let l = z + v. Is 25 equal to l?
False
Suppose 53*n + 9 = 56*n. Suppose -3 = -6*r + n*r. Let a = -2 + r. Which is bigger: 3 or a?
3
Suppose 0 = g + 5*q - 15, -5*g + 4 - 49 = q. Let t(y) = -2277*y + 59193. Let j be t(26). Is g greater than j?
False
Suppose 2*m = -5*u - 7, 4*m + 42 + 32 = 2*u. Suppose 0 = -4*x + 3*v - 70, 0 = 422*x - 424*x - 4*v - 46. Is x smaller than m?
True
Let d = 878/5 - 1580/9. Let u be (-7 - (2 - (-2 + 1546))) + -7. Let a = u - 1529. Which is smaller: a or d?
a
Suppose m - 5*m = 8. Let o be 68/10 + -7 + (-162)/(-10). Suppose 4*h - o*d = -21*d, 40 = -4*h + 5*d. Is h at least m?
False
Let p(l) = 24*l**2 - 70*l + 445. Let a be p(16). Which is smaller: -1 or a?
-1
Suppose -68 = -5*b - 538. Suppose -115*y = -116*y - 618. Let u = y + 524. Does u = b?
True
Let w(o) = -24*o**2 + 19*o + 42. Suppose u - 3*a = 11, 4*a - 8 - 4 = -4*u. Let j be w(u). Is j <= -462?
True
Let u = 0.1 - 0.125. Let n = 61.915 - 62. Let z = u - n. Which is greater: 2/9 or z?
2/9
Let s = -3626 - -917381/253. Let g = 5/69 - s. Let o be (-318)/53 - ((-27)/(-45) - 0)*-10. Which is bigger: g or o?
g
Let c be (-27)/12 + 2/(-8) + 35/(-14). Suppose -4*t - 1 = s, -3*s + 0*t - 2*t = 3. Do c and s have different values?
True
Let h = 493.19847 - 0.09847. Let t = h + -493. Which is smaller: 86 or t?
t
Let i = -194.81 + 0.81. Let x = 193.975 + i. Which is greater: 0.2 or x?
0.2
Suppose -2*m + 5 = -q, 2*m + 5*q - 572 = -585. Which is smaller: 1/3315 or m?
1/3315
Let i(d) = -7*d**3 + 23*d**2 + 58. Let k(v) = v**3 - 1. Let t(p) = i(p) + 5*k(p). Let h be t(12). Which is greater: -94 or h?
h
Let g = -971.848 - -971.1. Which is greater: -2 or g?
g
Suppose 0 = -x - 5*p + 7, -4*p - 180 = -5*x. Suppose -2*s + 44 = -20. Is s equal to x?
True
Let y = -167 + 167. Suppose 5*r + 4*a - 1 = y, -a - 11 + 3 = 4*r. Is r bigger than -24/13?
False
Let b = 1003.5 - 1003.3. Does b = 1917?
False
Suppose 3*c - 681 = 5*v, 5*c - 3*v + 2*v = 1091. Is c not equal to 1958/9?
True
Suppose 3*g + m - 745 = -3141, 0 = 5*g - 3*m + 4012. Let c be (12/5)/((-165)/g). Which is bigger: 13 or c?
13
Let f(w) = w**3 + 4*w**2 - w + 27. Let t be f(-5). Let l(m) = -2*m**3 + 15*m**2 - 14*m - 20. Let y be l(t). Is y at least as big as -70?
True
Let w = -140.25 - -140. Let h = w + -0.75. Which is smaller: -