t z = -196.94 - -197. Which is bigger: 4 or z?
4
Let u be 4 - (-346)/(-114) - 1. Do u and 1 have different values?
True
Let u = 163.2 + -163. Is u greater than or equal to -12?
True
Let y be 24/14 - (-4)/14. Let w be 130/(-12) + 2/(-12). Let i = w - -13. Is y less than or equal to i?
True
Let z = 8.9 + -9. Let x be 9/14 + (-4)/(-8). Is x < z?
False
Suppose 1 + 2 = -3*a. Let u(d) = -6*d**2. Let l be u(-1). Let b be l/15 + 124/160. Which is smaller: b or a?
a
Let g = -0.17 + 27.17. Let f = -26.87 + g. Is 1 less than or equal to f?
False
Let y = 3 - 0. Suppose 3*r - 2*r + 18 = 0. Let f = 37/2 + r. Do y and f have the same value?
False
Suppose 0*u + 5*u - 28 = 3*v, 3*v + 3*u = -12. Let z be -3 - 3/(v/(-2)). Let i be (-162)/63 + (-4)/(-7). Which is smaller: z or i?
z
Let c = 4.06 + -0.06. Let s = c - 5. Let w be (2/(-2))/((-1)/1). Which is bigger: s or w?
w
Suppose -4*z - 25 = -9*z. Let c be 14/(z/(10/4)). Suppose 5*i + 3*d = -0*d - c, 2*i = -3*d - 10. Which is smaller: -2/17 or i?
-2/17
Let u = -57 - -174. Let z be (-2465)/u - 16/104. Let s = 21 + z. Which is greater: s or 1?
1
Let v be (-30)/40*1/111. Is 0 at most v?
False
Suppose 40 = -29*q + 25*q. Is q less than or equal to -10?
True
Let l(f) = -2*f - 5 + f**2 - 2*f - f + f. Let s be l(6). Suppose -3*q = -2*d - 2*q + 12, -10 = -2*d + 2*q. Is d <= s?
True
Let x be ((-9)/(18/(-68)))/(-2). Which is greater: -18 or x?
x
Let q(j) = -j**3 - 6*j**2 - j - 4. Let h be q(-6). Suppose -h*y + 4 = -0. Suppose -8 + 3 = -5*p. Is p equal to y?
False
Suppose 0 = 5*m - 2*m - 6. Let u(i) = -i**3 + 2*i**2 + 2*i - 2. Let t be u(m). Let s(k) = -k**2 + 5*k - 4. Let a be s(4). Is a not equal to t?
True
Suppose 0 = -5*w + w + 8. Let c = 0 + w. Suppose 0 = -5*p - 2*r - 4, -c = p + 3*r + 4. Which is greater: p or -1/3?
p
Let h be ((-5)/(-2) - -1)*(-4 + 6). Which is smaller: 5 or h?
5
Let z = 2.6 + -2.8. Which is smaller: z or -0.01?
z
Let o = -161 + 220. Is o less than 2?
False
Suppose -5*n + 2*k = -20, 5*n - 4*k - 15 = 5. Suppose 4*s - 8 = n. Suppose -4 + 14 = 5*o. Which is smaller: s or o?
o
Let x(n) = -n. Suppose 4*m = 2*a + m + 6, 5*a = -5*m + 10. Suppose -k + 3*q = 4 - a, -2*q + 3 = -k. Let s be x(k). Which is bigger: s or 1/9?
s
Suppose 8 + 109 = -3*i. Do -38 and i have different values?
True
Let u be (34/(-4))/(30/(-244)). Let o = 69 - u. Which is smaller: o or 0?
o
Let r be 2/(-3) + 210/45. Suppose 5 = r*v + 21. Which is smaller: v or -5/2?
v
Let c = -0.4 + 0.2. Let z = 3.2 + -2.6. Let h = z + c. Is h <= 0?
False
Let b = 63 + -59. Let j = 1 - -2. Are j and b equal?
False
Let u = 2.4 - 2.2. Which is smaller: 1 or u?
u
Let g = 3 - 2.9. Let x(o) = o**2 - 7*o + 6. Let a be x(6). Suppose a = 5*c + p + p - 11, -c = 3*p - 10. Is c >= g?
True
Let c = -27 - -30. Is 8 at least as big as c?
True
Let n = 72 - 70. Let f = 597/260 - 3/65. Which is smaller: n or f?
n
Let m = 529/6 - 88. Let n be (-9)/6*8/(-6). Suppose n*b + 5 - 3 = 0. Do b and m have the same value?
False
Let p be 22 + (-2 - 0 - -2 - 1). Which is greater: p or 20?
p
Let v = -46952/23 - -2036. Let w = v - -16876/3335. Let p = w + -2/29. Which is greater: p or 0?
0
Suppose 5*r = 10*r - 60. Which is greater: r or 10?
r
Let q(z) = -4*z**3 - z**2 - 2*z - 1. Let b be q(-1). Let n(m) = 2*m + m - 3 - m. Let j be n(b). Do j and 4 have the same value?
False
Suppose 2*q - 26 = 8. Which is smaller: 15 or q?
15
Let t be 2 + -1 + 1/(-5). Let z be (12/6)/((-2)/(-5)). Suppose -13 + 3 = -z*k. Which is smaller: t or k?
t
Let m = -95 + 92. Which is bigger: -11 or m?
m
Let v be 28 - 0/(8/4). Which is bigger: 30 or v?
30
Let i be (-9)/((-36)/16) + -17. Is i at least -13?
True
Let y = 21 - 35. Which is smaller: y or -13?
y
Let g be (-8)/(-6) - 4/(-6). Suppose 7*n = 5*y + 3*n + 4, g*n = 2. Let o = 112 - 1569/14. Is o greater than y?
False
Let d = -0.4 - -0.44. Let k = -0.08 - d. Let b = 0.02 + k. Which is smaller: b or -0.03?
b
Let y(n) = n + 12. Let r be y(-9). Let s(w) = w**3 - 4*w**2 + 3*w + 1. Let z be s(r). Is 4/3 less than or equal to z?
False
Let y = 2 + -1. Let s be 15*(-2 - (-16)/10). Let a be (-10)/s + 0 + -1. Which is bigger: y or a?
y
Let v = -52.1 - -52. Which is smaller: v or 3/10?
v
Let d be (-1 + 13 + 1)*-1. Which is smaller: -12 or d?
d
Let c be (6/3)/1 + -6. Let p be ((3 - 3)/c)/(-2). Which is smaller: 4/5 or p?
p
Suppose -5*d = -56 + 6. Let x = -10 + d. Is -4/5 greater than or equal to x?
False
Let r = 85 + -73. Which is smaller: 13 or r?
r
Let j = 30 + -28. Is j greater than or equal to 3?
False
Let l = 10.1 + -11.8. Let f = 68 - 474/7. Is l less than f?
True
Suppose 2*c - 29 = -4*p - p, 0 = 5*c + 3*p - 25. Suppose c*h = -h. Let w be (((-12)/9)/4)/(-1). Which is bigger: h or w?
w
Let d be 724/(-26) + -3 + 8/(-52). Which is smaller: d or -30?
d
Suppose 14*z - 1983 + 317 = 0. Is 118 < z?
True
Let d(b) = -2*b**3 - 2*b**2 - b. Let m be d(-1). Let k be (1*(-2)/(-4))/m. Let z(x) = -2*x - 14. Let v be z(-7). Is k > v?
True
Suppose 0 = -2*b - 2*t + 4, -2*t - 10 = -5*b + t. Is 3 less than or equal to b?
False
Let a = 1.7 + -2.06. Let z = 0.04 - a. Let p = 1/8 - 11/24. Which is smaller: z or p?
p
Let n be 1 - (3/3)/((-1)/(-25)). Is -113/5 not equal to n?
True
Let s(c) = c**3 - 5*c**2 + 3*c - 5. Let u be s(4). Let k be (u/(-14))/((-36)/(-21)). Suppose 0 = j - i + 1, -4*j + 9*j - 4*i = -3. Which is greater: k or j?
j
Suppose -4*c + 6*c = -12. Let d be (c/15)/((-46)/(-10)). Let i(u) = -u. Let h be i(-1). Is h less than d?
False
Suppose j - 2*j = -2. Which is greater: j or 1?
j
Let x = 32/5 + -229/35. Is x >= 3?
False
Let z = -26 - -23. Let l be (-236)/(-6) + -1*2. Let b = -38 + l. Is z less than b?
True
Let n = 36.96 + -36. Let i = 0.04 + n. Which is bigger: i or -0.1?
i
Let s = 93/5 + -19. Does s = 0?
False
Let g be 10/4 - (-1)/(-2). Let n be -3 + 4 - (-1 - 0). Is n at most as big as g?
True
Let k(f) = f**3 - 8*f**2 + f - 7. Let t be k(8). Let j be -2 + -1 - (-2 + t). Is -4 greater than j?
False
Let s be (-2)/2 - 145/(-146). Let o = 301/1314 + s. Which is bigger: 1 or o?
1
Let j(v) = -v**2 + 3. Let r(o) = 4*o - 2. Let p be r(1). Let f be j(p). Which is smaller: -2 or f?
-2
Let w(s) = s**2 - 3*s + 1. Let n be w(0). Let m be ((-2)/9)/(8/6). Which is smaller: n or m?
m
Let v(h) = 5*h + 8. Let w be v(-6). Is -22 at most w?
True
Let a = -206.3 - -206. Are a and -1/8 unequal?
True
Let i = 28/5 + -197/20. Which is smaller: -5 or i?
-5
Let h = -0.053 + -0.847. Which is smaller: h or -0.3?
h
Let z(k) be the third derivative of k**5/60 + 5*k**4/24 - k**3/6 + 3*k**2. Let j be z(-4). Which is smaller: j or -6?
-6
Let w = -8.08 + 0.08. Let z = w - -5. Let d = z - -5. Is 2 less than d?
False
Let u(d) = -d**2 - 8*d + 1. Let t be u(-7). Is 9 at most as big as t?
False
Let q = 50 - 59. Are -8 and q nonequal?
True
Let w = 97 - 91. Which is bigger: w or 7?
7
Let c be (12/(-8))/((-24)/(-10)). Which is smaller: -2 or c?
-2
Let o = -51 - -53.03. Let h = -0.17 - o. Let n = h + 2. Which is greater: 0.1 or n?
0.1
Let t = -27 - -18. Let h be (-2)/t - (-320)/(-468). Is -1 <= h?
True
Suppose 0 = -0*w + 5*w. Suppose d - 3 + 0 = w. Let n be (d/10)/(12/10). Which is greater: 1 or n?
1
Suppose 3*x = f + 116, 0*x - 5*x + 175 = 2*f. Which is bigger: x or 35?
x
Let r be 5/10 + 1/(-10). Is r < 1?
True
Suppose -2*y = y - 6. Let p = 6 - 12. Let t = -5.9 - p. Is y greater than or equal to t?
True
Let r be (62935/(-7) + -1)/8. Let y = 4033/4 + r. Let i = -116 - y. Which is greater: -1/3 or i?
i
Let u = 5.3 - 10.2. Let r = -5 - u. Is 0 greater than r?
True
Suppose -19*c = -20*c + 20. Are 15 and c unequal?
True
Let a(s) = -s**2 + 3*s + 5. Let t be a(4). Let l = t - 0. Is l bigger than 3/7?
True
Let r(x) = -10*x + 4. Let l be r(2). Which is smaller: l or -15?
l
Suppose n = -n. Suppose -4*o + 11 = -3*j, 5*o - 5 = 2*j - n*j. Let x = 0 - o. Are 1 and x equal?
True
Let c be 16/10*4600/112. Let a = c - 66. Suppose 5*u + 2*h = 2 + 5, -2*h + 4 = 2*u. Which is smaller: a or u?
a
Let c = 4 + -4. Suppose 5*i + 3*u = -30, 5*u = -4*i + 6 - 43. Let t = -3 - i. Is t at least as big as c?
True
Suppose 0*w - 2*w - 8 = 0. Suppose -k = -3*t + 3, -4*k + 5*t = 5 + 7. Let m = w - k. Is m >= -2/5?
False
Suppose 3*r + 15 = -0*r. Let a(l) = 0*l - 7 - l + 2. Let p be a(r). Is 3/10 less than p?
False
Let h(p) be the first derivative of p*