(-72)/33 + 2/11. Let a be 0/((4 - o)/3). Does s = a?
False
Suppose -14*h = 52 + 1194. Is h at least as big as -83?
False
Let z = 24 + -22. Let m(t) = -18*t + 3*t**2 - 1 - t**3 + 19*t - 3*t**2 + 2*t**z. Let o be m(1). Is o less than -1/8?
False
Let m be (14 + 0 + 4)/(-2). Let q = m - -12. Suppose 0 = q*x - 7*x + 8. Do x and -1 have different values?
True
Let u = 20.5 - 36.1. Which is bigger: 0 or u?
0
Let l be 1430/117 + (-2)/9. Suppose 3*q + 4*m - 16 = q, 5*q = -3*m + l. Let x = 1419/10 - 142. Is q less than or equal to x?
False
Let m = 67.1 + -70. Let y = m - -3.2. Is -3 <= y?
True
Let s be (-92 - 17)*(0 + 1). Which is greater: -112 or s?
s
Let n(a) = -6*a**2 + 16*a - 26. Let t be n(13). Let i be 0 + 2/(-13) + 28/t. Which is smaller: 0 or i?
i
Suppose 0 = 392*t - 379*t. Which is smaller: 142 or t?
t
Let z = 11.2 + -23.1. Let g = z + 12. Let n = -5.88 - 0.12. Which is bigger: g or n?
g
Let t be (6/(-1))/(-5 - -3). Let b = 27 + -27. Let z = b - t. Which is smaller: z or -3/2?
z
Let s = 21 - 23. Let v = s - -14/5. Is 2 at most as big as v?
False
Suppose j + b = -7, -4*b - 4 = -3*j - 18. Let w be (16/(-12))/(4/j). Suppose 3*x - 2*x - 2*s - 5 = 0, s - w = 5*x. Which is bigger: -2 or x?
x
Let x be ((-148)/(-8806))/(((-36)/21)/4). Is -1 greater than or equal to x?
False
Let k = -3.3 - -4. Let s = 61 - 59.9. Let j = k - s. Are -2/5 and j equal?
True
Let s be ((-45)/27)/((-2)/(-36)). Is s at least -119/4?
False
Let w(v) = -v**2 - v + 7. Let p be w(0). Let x(c) = c**3 + 8*c**2 + 25*c + 44. Let i be x(-4). Is p < i?
True
Suppose 3*d = 4*d - 3*z + 6, z - 2 = 5*d. Which is bigger: 1/264 or d?
1/264
Suppose -2*u + 51 = -115. Suppose -104*h + 21156 = 43*h + 111*h. Is h > u?
False
Let l(h) = h**3 - 5*h**2 + 4*h - 1. Let r be l(4). Is 2/269 at most r?
False
Let m = -16.7 + 16. Let k be 42/8 + -1 + (-9)/(-12). Suppose -k*s = 4*s. Is m not equal to s?
True
Let o = -352 - -18658/53. Let r = 14 + -11. Suppose 5*t = r*t. Which is bigger: t or o?
o
Suppose -5*m = -m - 24. Let i be (m + -5)/((-4)/6). Suppose 0*v = 2*r - 5*v - 10, -4*v = -2*r + 8. Is r less than or equal to i?
False
Let h = -1272/8417 + -3/443. Let l be 6/14 + (-54)/(-21). Suppose -4*r = 3*k - 3 - 7, -l = -r - k. Is h greater than or equal to r?
False
Let s = 3 + 17. Let x be ((-10)/(-40))/(4/10*-1). Let q = 9/40 + x. Which is smaller: q or s?
q
Suppose -2*h + 6 = -3*q, -q + 5*q - 2*h = -8. Let v(w) = -w + 5. Let l be v(5). Let i = q + l. Are i and -1 non-equal?
True
Let w(v) be the second derivative of v**4/12 - 8*v**2 - 4*v. Let i be w(-5). Suppose 4*x = x + 30. Is x at most i?
False
Suppose -3*u - 5*a + 4 = -37, u - 3*a = -5. Let p be (-2)/(-7) - 4*1/u. Do p and -3 have the same value?
False
Suppose 2*y + 2*y + 5*c = -31, 4 = 4*c. Let l be 7/3 + (-6)/y. Let x be l - (-3)/(3/(-16)). Is -13 at most x?
True
Let x = -69 - -109. Let k = x - 39. Suppose 6*q + 5 = q. Which is smaller: k or q?
q
Let a = -4 - -8. Let x(d) = -d**2 + 4*d - 6. Let y be x(a). Which is smaller: y or -2?
y
Let g be 30/4*(192/18 - 10). Let k(j) be the first derivative of -j**4/4 - 5*j**3/3 + 3*j**2 + 4*j + 2. Let u be k(-6). Is u at most as big as g?
True
Let l = 6.4 + -6.3. Are l and -24 unequal?
True
Let y be 12/4 - (-18734)/(-2776). Let c = 1/694 - y. Is 4 smaller than c?
False
Suppose -18 = -3*l + 4*f + f, l = -f + 6. Suppose 3*q - l = -0. Suppose -2*s + 6 = 4*z, 7*z - s = 4*z + q. Is z at most as big as 2/37?
False
Let c = -87.02 + 87. Let a = 5.02 + c. Is -5 at most a?
True
Suppose -4*m + 36 - 44 = -4*n, 3*n - 4*m = 6. Which is greater: n or 53?
53
Let c = -1.318 - -2.318. Let y = 0.18 + -0.2. Is y greater than or equal to c?
False
Let h be 820/1320 - (-4)/(-24). Is 2 less than or equal to h?
False
Let i be 96/(-12)*6*3. Let r be 32/i - (-25)/(-9). Which is smaller: r or -5?
-5
Let w(o) be the first derivative of -o**4 + 2*o**3/3 + o**2 + o - 3. Let z be w(-1). Suppose -5*a = -5*h + 10, -z*h + 2*a - 4*a = 18. Is -0.1 equal to h?
False
Let i(m) be the third derivative of m**5/30 - m**4/2 + 4*m**3/3 + 144*m**2. Let h = -1 - -7. Let q be i(h). Does 8 = q?
True
Let u = -0.128 + 0.055. Is u not equal to -1?
True
Let x = 3 + -3. Let r(i) = i + 1. Let t be r(x). Let d = 607/264 - -3/88. Are d and t equal?
False
Let a(o) = -o - 15. Let f be a(-16). Let z be ((-10)/(-180))/(2/16). Which is bigger: f or z?
f
Let i(y) be the first derivative of y**3/3 + 7*y**2/2 - 9*y - 1. Let q be i(-8). Let n = 123/8 + -4075/264. Which is smaller: n or q?
q
Let x(s) = 7*s**2 - 8*s + 5. Let c(w) = 6*w**2 - 7*w + 4. Let r(a) = 5*c(a) - 4*x(a). Let m be (-4)/(-1)*(-5)/(-10). Let h be r(m). Which is bigger: 4/5 or h?
h
Let p be (0 + (3 - 4))*14. Let m = p - -27. Let a = -40/3 + m. Which is greater: 1 or a?
1
Suppose 2*k + 7 = -3*m, -4 + 9 = 5*k. Suppose 0*q + 15 = 3*q. Suppose 14 + 11 = -q*h. Which is smaller: m or h?
h
Let k = 43.78 + -41.4. Which is smaller: k or 0.1?
0.1
Let i = -279.8 - -279. Which is smaller: i or 4/9?
i
Let r be (-6 - -5)*(4 + -3). Which is bigger: -9/29 or r?
-9/29
Let t = 27/2 - 13. Let c = 86.2 + -86. Which is greater: c or t?
t
Let v = 2.3 - -0.7. Let l = v + -3.2. Let i = -25.7 + 26. Is l equal to i?
False
Suppose -1 = -r - 0. Let z be r*10/(-6) - 0. Suppose -803*p = -431*p - 399*p - 54. Is z at least as big as p?
True
Let h be (-3)/(-7) - 6*385/6076. Is h less than 0?
False
Let z be (6/(-4))/(87/(-6)). Which is greater: 1 or z?
1
Let u be (0 - -2) + (-18)/(-3). Let v(n) = n**2 - 11*n + 2. Let r be v(u). Are -21 and r equal?
False
Let c = 1.8 - 3.8. Let k = -12.8 + 14.8. Which is bigger: k or c?
k
Let z(b) = -b**3 + 3*b**2 + 5*b + 5. Let n be z(4). Suppose 3*m = n, 2*x = -2*x - 5*m + 111. Let d be 2*(-5)/(20/x). Are -12 and d equal?
True
Suppose 0 = -3*o + 26 + 10. Let p be 3/o + (-23)/(-4). Suppose -7 = 2*b - 3*b. Does b = p?
False
Let x be (2/(-7))/(64/(-224)). Which is smaller: 9/92 or x?
9/92
Let p(v) be the first derivative of v**4/4 + 4*v**3/3 - v + 13. Let k be p(-2). Let w be (-1)/((10/(-16))/5). Which is bigger: k or w?
w
Let b = 0.158 - 310.158. Which is smaller: b or 0?
b
Suppose -4*k + 4*s - 480 = 0, k - s = 3*k + 228. Let i be (8/k + 0)/(2/2). Let a be 3/(-6) - (-1)/(-2). Is i < a?
False
Suppose p - 5 = -2. Suppose -3*z - 1 = -g - 4*z, 3*z = p. Let i = 9689/15 + -646. Which is greater: g or i?
g
Suppose -292 = 2*y + c, 237 = 5*y + 3*c + 966. Which is smaller: y or -0.1?
y
Let a be (-6)/(-39) + 7 + (7 - 14). Suppose -2*g - 7 + 5 = 0. Are g and a nonequal?
True
Let h = 0.3 + -0.1. Let r = h - -1.8. Let c = 730/7 - 104. Which is smaller: c or r?
c
Let o be -3*(-5)/(-10)*-2. Suppose -d = n + 10, 4*n + 0*n = -o*d - 32. Which is smaller: d or -20/3?
d
Let d = -166 + 162. Is 1 equal to d?
False
Let x = 0.1 - 0.06. Let r = -4.74 - -4.8. Let f = x + r. Which is smaller: 9 or f?
f
Let i = -1251 + 1230. Which is smaller: i or -264/13?
i
Suppose -4*v + 28 + 32 = 0. Suppose -4*f + 0 = 4*b - 12, v = -4*f + 5*b. Which is smaller: 3 or f?
f
Let y(p) = -4*p**3 + p + 1. Let r be y(-1). Let z be (70/r)/7*2. Suppose -2*o + 4 = 2*v - 16, -z*v = o - 46. Is 11 at most v?
False
Let y = -4 + 15. Let m = -7 - -24. Let o(a) = 2*a - 24. Let g be o(m). Which is bigger: g or y?
y
Let m = 122 - 79. Are m and 44 nonequal?
True
Let q = -280.08 + 280. Which is smaller: q or 0.04?
q
Let v = 1043 - 1192. Are v and -738/5 equal?
False
Let k = 12.2 - 11. Let t = k + -2.3. Let v = 2.1 + t. Is -9 smaller than v?
True
Let x be 1/(-2)*-8 + 48. Suppose 3*z - 4*s + x = -z, -6 = 3*s. Do z and 0 have the same value?
False
Suppose -53 = -3*d + 43. Suppose 0 = 31*u - d*u. Is u smaller than -4/17?
False
Suppose 17*s - 13*s = 60. Suppose -9*p + 2*o = -5*p - 14, 0 = 5*p + 4*o + s. Which is bigger: p or -1/88?
p
Let n = -2487 - -2486. Which is smaller: -694 or n?
-694
Let l(u) = u - 2. Let o = 8 + -5. Let n be l(o). Let v be (n/7)/(48/(-56)). Is v less than or equal to 3?
True
Let u = -96682 - -1065847/11. Let q = u + -213. Which is smaller: q or -1?
-1
Let u be ((-9)/171)/(33/2). Which is smaller: 0 or u?
u
Let v(q) = q**3 + 12*q**2 + 21*q - 17. Let m be v(-11). Does -127 = m?
True
Let k = 10 - 12. Let a be k/10 - 1620/25. Let j be (4/a)/((-8)/(-20)). Is 1 != j?
True
Let h = 2/2299 + 20663/32186. Let t(k) = -k**2 + 6*k - 8. Let v be t(2). Which is smaller: h