l?
False
Let c be 28/238 - 723990/1972. Let t = c - -367. Which is bigger: 0 or t?
0
Let a(i) = i**2 - 31*i - 42. Let k be a(25). Which is bigger: -2 or k?
-2
Let d be 2 + -86*(-3)/6. Let m be (-3)/(d/(-6)*1). Let b = 0.8 + -0.5. Which is smaller: b or m?
b
Suppose -2*s - 26 = -2*z, 3*s = 2*z - 15 - 9. Let m = 4 + 10. Is m at least z?
False
Suppose -5 = 5*n - 0, 896 = 3*z + n. Are z and -2/7 nonequal?
True
Let f(i) be the first derivative of i**3/3 + 21*i**2/2 + 28*i + 11. Let v be f(-19). Is -10 at least as big as v?
True
Let m(j) = j**3 - j**2 - j. Let v(t) = -6*t**3 - 16*t**2 + 27*t - 5. Let w(i) = 5*m(i) + v(i). Let y be w(-22). Let z = 3339/13 - 257. Which is bigger: y or z?
z
Let o(n) = n**2 + 4*n + 12. Let t be o(11). Which is smaller: t or 176?
176
Let u be ((-5)/(-670))/(1/(-4)*-2). Is u >= -1?
True
Let d be (-53)/(-2) + (-12)/120. Which is bigger: 25 or d?
d
Let s = -2 + -12. Let j be (s/4)/(-7) - 5/14. Which is greater: j or 0?
j
Let d = 9.7 - 1.4. Let r = d - -55.7. Which is smaller: -1 or r?
-1
Let n = 415 + -415.8. Which is greater: n or 47/4?
47/4
Let x be (440/(-108) - -4)/((-44)/726). Is x != 0.2?
True
Let z(t) = -t - 12. Let d be z(-15). Suppose -m + 8 = d*m. Let v be ((-24)/(-9))/m - 2. Is 2 equal to v?
False
Let o be 2 - (0 - (-3 - 14)). Let g be 145/o - 2/6. Let u(s) = s + 9. Let x be u(g). Which is smaller: x or -1/2?
x
Let l be (-178)/4 + 2/(-4). Let f be ((-1)/(-3))/((-15)/l). Which is smaller: 2 or f?
f
Let q(r) = -r**3 - 10*r**2 + 12*r + 12. Let k(d) = d**2 + 12*d + 16. Let v be k(-9). Let m be q(v). Which is smaller: m or -2/125?
-2/125
Let q = -39/92 - -287/460. Which is bigger: 3/35 or q?
q
Let h(x) = -x**3 + 3*x**2 + 10*x - 1. Let t(l) = l**3 + 9*l**2 + 9*l + 13. Let p be t(-8). Let a be h(p). Which is smaller: -6 or a?
-6
Let v = 0.55 - 0.57. Let t = -4 + 3.88. Let f = v - t. Is 2 bigger than f?
True
Let s = -231 + 746. Which is bigger: 514 or s?
s
Suppose 10*x - 5*x = 45*x. Let j = 1916 - 32562/17. Which is smaller: x or j?
x
Let a(m) = -3*m - 59. Let f be a(-13). Suppose 4 = 2*s + 56. Let u = s - f. Is -4 bigger than u?
True
Let p(u) = -u**2 + 46*u - 168. Let n be p(42). Is -2/291 at least as big as n?
False
Let m(g) = 10*g**2 - 20*g + 8. Let x(c) = -c**2 + c - 1. Let f(k) = m(k) + 8*x(k). Let u be f(10). Let q = 481/6 - u. Which is smaller: -0.1 or q?
-0.1
Let y = 1660 - 164342/99. Do 0 and y have different values?
True
Suppose 7 = 4*g - 5. Let t be (g - 4)/((-4)/4). Let x = 21 + -22. Which is smaller: t or x?
x
Let w = -5 - -9. Suppose 3*d + c + 12 = 0, d + 3 = -2*d - w*c. Is -3 < d?
False
Let k(f) = -f**3 - 15*f**2 - 25*f + 9. Let z be k(-13). Let i(w) = -w**3 - 5*w**2 + 4. Let l be i(-5). Let n be -1 + (z - (-3 + l)). Which is smaller: -5 or n?
n
Let d = 98 + -41. Let q = -56 + d. Which is bigger: q or -2/197?
q
Let m(i) = 7*i**2 - 3*i - 6. Let l(j) = -j**2 + 1. Let s(a) = -6*l(a) - m(a). Let h be s(4). Let y be -3 + h/(8/(-4)). Is 0.02 greater than or equal to y?
True
Let v be (-224)/620*70/(-28). Which is smaller: v or 2?
v
Suppose 0 = a - d + 13 + 38, 4*a = -2*d - 216. Which is bigger: a or -52?
-52
Let s = -31.2 - -29.2. Which is greater: s or 80/7?
80/7
Suppose 5*t - 9 - 15 = -3*l, -4*t + l = -9. Suppose -6*y = -t*y. Let o(x) = -2*x - 12. Let a be o(y). Which is bigger: -13 or a?
a
Let g = 5 - 5. Let m = -3 + 2. Let u be m/(0 - -1)*0. Are g and u equal?
True
Suppose -5*m - 3*l + 42 = 0, -5*l + 53 = 6*m - 3. Is m <= -31?
False
Let t = 7/22 - 49/33. Let i(k) = -k**2 - 6*k + 10. Let p be i(-7). Suppose -2*v - p*d + 10 = 0, 1 = 2*v + d - 1. Which is greater: v or t?
v
Let n = -17 + -80. Is n <= -97?
True
Let c be ((-10)/(-8))/((-6)/(-120)). Let f be (-2)/2 - c/35. Is -1 >= f?
True
Let v = 29/13 + -873/403. Let g = -43 + 44. Let u be (g*(-1)/1)/(-1). Which is smaller: v or u?
v
Let p = -3 - -7. Suppose -4*c = -4*i - 0*i + 60, -i - p*c = 5. Suppose 9*r + 2 = i*r. Which is smaller: r or 1/16?
1/16
Let a = -438 + 438. Is a at least as big as 1/509?
False
Suppose p = -11 + 10. Let a be 3/(-42)*(-5 - -2). Which is smaller: p or a?
p
Let g = -6 - -3. Let r = -0.066 + -0.004. Which is greater: r or g?
r
Suppose 38 = -q - 28. Let i be -1*(3 + -5) + -69. Is q greater than i?
True
Suppose -72*t = -75*t. Which is greater: -6/133 or t?
t
Let c be (2 + -2)/(-3 - -1). Let a = -1 + c. Let y = -6 - -3. Which is smaller: y or a?
y
Let x be (-6 - -14)/(-2 - 10/(-4)). Let c(k) = k**2 - 16*k + 27. Let w be c(x). Is w at least 28?
False
Let c = -65 + 57.9. Let b = c - -7.1. Is b at least as big as -5.7?
True
Let r = -1.96 - 17.44. Let j = 17 + r. Let a = 2.6 + j. Which is smaller: a or 0.02?
0.02
Let i(c) = 2*c - 12. Let h be i(6). Suppose n - 7 = -h. Which is bigger: -3 or n?
n
Let m(o) = 2*o**2 - 16*o + 14. Let u be m(6). Which is greater: u or -68/7?
-68/7
Suppose 0 = -34*q + 23*q - 11. Let o = 401/42 + -59/6. Which is smaller: q or o?
q
Let i = 53 - 52. Let j = 97/387 - 6/43. Is j less than i?
True
Let p be (-1)/2*2/(-5). Let g = -18 + 21. Let l(s) = -s + 9. Let d be l(g). Is d equal to p?
False
Let c be (-1981)/(-42) + 2/(-12). Suppose 6*f - 4*f = 92. Suppose 3*l + 2*y = f, 0*l - 3*l + c = y. Is 15 at least l?
False
Suppose 2*q = -3*p + 19, -5*q - 3 = -p - 8. Suppose -q*x - 180 = -4*w, 295 = 2*x - 5*x + w. Which is smaller: -99 or x?
x
Let h = 10043/8056 - -7/424. Which is smaller: 2 or h?
h
Let s(y) be the third derivative of -y**4/24 + y**3 - 3*y**2. Let o be s(5). Let t be (-284)/342 + 8/(-36) - -1. Which is smaller: o or t?
t
Let k(h) = 10*h - 12 - h + 2 - 19*h - h**2. Let x be k(-8). Is 2 at least x?
False
Let a = -16729 + 67583/4. Let t = -167 + a. Is 0.1 less than or equal to t?
False
Suppose -17*h - 33 = 16*h. Which is bigger: h or -10/47?
-10/47
Suppose -3*a = 2*w - 1, 6*a - a = -3*w. Suppose d - 24 = 4*h - 2, w*h = 5*d - 95. Which is greater: 19 or d?
19
Let m = -13833141 - -871464071/63. Let y = -378 - m. Suppose 0*a = -3*a + 5*w - 2, -3*a - w = -4. Which is bigger: y or a?
a
Let j be 2 + -1 + 50 + 1 + 1. Let d = j + -74. Is -19 < d?
False
Let f(h) = -2*h**2 + 6*h + 18. Let b be f(5). Let x be b/13 - (1 - (-908)/13). Is -71 bigger than x?
False
Let w be ((-2)/((-4)/29906))/(-1385). Let p = w - -54/5. Let o = 3319/1385 + p. Is 2 at most o?
True
Suppose 135 = 5*d + 3*i, -5*d + i + 24 = -91. Let u(m) = 3*m**2 + 5*m - 116. Let t be u(6). Which is greater: t or d?
d
Let m = 304 - 304. Does m = -7/2?
False
Let o = 80 + -76.3. Let z = 8 - 7.7. Let y = z + o. Which is bigger: y or -1?
y
Let b be 1 - (1 + (-32)/(-6)). Let w = -5 - b. Let f = 1389 - 1377. Which is smaller: w or f?
w
Let s = -423 - -422. Are 2/123 and s unequal?
True
Let j be (-386)/(-8) + (-9)/36. Let u = j - 27. Is 20 greater than or equal to u?
False
Let k(b) = 9*b - 383. Let l be k(-24). Is l > -599?
False
Let x = -227 - -226. Which is greater: 158 or x?
158
Let v = 65 + -45. Suppose -2*q = 3*z - 41 + 3, 0 = 3*q + 2*z - 62. Let p = q - 22. Is v less than p?
False
Let m be 8187/6*1834 + 3. Let q = m + -5317803784/2125. Let j = q + 2/125. Which is smaller: -1 or j?
-1
Suppose 4*g + 6 = g. Let i be 6/g + 2 + 37/35. Which is smaller: i or -1?
-1
Suppose 4*q = -5*a + 266, -3*q + 40 = -5*a + 278. Suppose -5*k + 170 = 3*j, 184 = 2*j + 2*j - 4*k. Are a and j unequal?
False
Let a = -46 + 1427/31. Let s = 4 - 0. Suppose -s*c + 5 = c. Which is greater: a or c?
c
Let i be 294/(-10) + 1 - 150/(-375). Is i equal to 10?
False
Let m = -95 + 52. Let s = 4 + m. Is s greater than or equal to -38?
False
Let r be -28*2/(-1 + -1). Let k = r - 26. Suppose 0 = 3*a - 0*w - k*w - 7, 3*a - 2 = w. Is a smaller than 1?
True
Let f be (-2)/(-10) - 11536/(-70). Suppose 18*z = -f + 3. Which is bigger: z or -1?
-1
Let i(m) = -m**3 + 8*m**2 - 6*m - 4. Let u be i(7). Suppose 0 = -p - u - 8. Let w(t) = t**2 + 10*t - 11. Let x be w(p). Which is bigger: x or -1/23?
x
Suppose 5*f = 4*y - 396, f + 12 = -2*f. Let a = y - 96. Let u be 10/(-2) - 1/(-1). Are u and a non-equal?
True
Let c be (51 + -51)*2/(-6). Are c and 2/1231 non-equal?
True
Let t(x) = -3*x + 7 - 3*x - 8 + 22. Let c be t(4). Suppose 0 = -u - 4*w + 6, 5*w - 10 - 10 = 5*u. Which is bigger: u or c?
u
Let n = -55 - -66. Let p = -26 + n. Is p smaller than -29/2?
True
Let q be (-16)/(-2) + 3 + -1. Suppose 85 = 3*h + q. Suppose 6*s