?
False
Let c = -18.9 - -19. Let h = 0 - c. Which is smaller: -1/5 or h?
-1/5
Let j be ((-9)/27)/(2/(-12)). Do -5 and j have the same value?
False
Suppose -4*w - 50 = 2*m + 46, m - 113 = 5*w. Which is smaller: w or -21?
w
Let a = 11/6 + -4/3. Let d be (-2)/3 + (-14)/(-3). Suppose 0 = -i - d*i. Is a at least i?
True
Let w = 7 - 13. Let v = w - -9. Is 1 at least v?
False
Suppose 4*k = -3*k + 49. Do k and 9 have different values?
True
Let g be (-390)/442 + (-4)/34. Which is smaller: g or 0?
g
Let h be 3/((-36)/(-14)) + -1. Suppose 0 = -3*i + 8*i. Which is smaller: h or i?
i
Let t = -67 - -73. Let x = -2.9 + 3. Which is smaller: t or x?
x
Let f be (1/(-2))/((-10)/(-8)). Is 2 less than f?
False
Let l be 87/(-9) - 2/6. Let r = 7 + l. Do r and -3 have the same value?
True
Suppose -14*o + 3 = -25. Let c = -37 - -113/3. Is o at least c?
True
Suppose 0*v - 2 = v. Let b(i) be the first derivative of i**2 + 1. Let c be b(v). Is -4 < c?
False
Let o = -102.1 - -110. Let g = -1.1 - o. Is g <= 0?
True
Let c = 22 + -18. Suppose c*v = -q - 27 + 1, 0 = v + 2*q + 10. Which is smaller: v or -8?
-8
Suppose -6 = -3*x + 5*o, 0*x - 3*o - 8 = -4*x. Let f = -2 + 4. Is x > f?
False
Let p = 58 - 88. Let r be p/(-12) + 1/(-2). Suppose 2*g = 4*d - 6, 3*d - 5*d + r*g = 0. Which is smaller: 4 or d?
d
Let f = -0.06 - 0.04. Let n(c) = c**3 + 3*c**2 + 2*c + 3. Let l be n(-2). Which is smaller: l or f?
f
Suppose 5*p + 13 = -2. Let l = -6 - p. Which is greater: l or -2?
-2
Let m(d) = -d**2 + 4*d - 3. Let v be m(3). Which is bigger: 2/71 or v?
2/71
Let o = 53/7 + -449/63. Are o and -1 equal?
False
Let u(r) = -r**2 - 3*r + 1. Let z(o) = 1. Let d(y) = u(y) + 2*z(y). Let h be d(-4). Suppose 2*m = t + t - 4, -4*t = -m + 7. Is t > h?
False
Let p(k) = k**3 + 2. Let i be p(0). Let t be (-2 - -3) + i/(-8). Which is smaller: t or 0?
0
Let u = -58/105 - -24/35. Let f = u + 1/15. Is f not equal to -1?
True
Let f be 0 + 0 + (-3 - -5). Let z(n) = 3*n**f - 2*n**2 - 1 + 2*n + 2 - n**3. Let y be z(-1). Which is smaller: 2 or y?
y
Let l(k) = -k + 4. Let j be l(3). Is -4/13 not equal to j?
True
Let c = -6 - -5. Let z = -5 + 9. Suppose 0 = 5*g - z*o - 16, 2*o - 4 = 3*g + 3*o. Is g at least c?
True
Let w = 56 + -36. Let g = 20 - w. Which is smaller: g or -2/21?
-2/21
Let l = 11 + -16. Suppose 0 = -5*i - 0*i - 15. Which is smaller: l or i?
l
Let y = -1 - 6. Let l be 21/y - 50/(-14). Which is smaller: l or 1?
l
Let t(q) = q**3 - q**2 + q + 2. Let d be t(0). Let r be d*-1 + 1 + 3. Is r <= 1?
False
Suppose 0 = -5*g + 10, -2*y - 3*g = -13 - 5. Let w be 0/(-3*y/(-9)). Let l = -2/5 - 14/15. Which is greater: l or w?
w
Let k = -19 + 18.95. Let j = -0.05 + k. Which is smaller: -3/5 or j?
-3/5
Let t = 4/2581 - -1782/2180945. Let y = 183/5915 - t. Let u = y + 4/7. Is 2 >= u?
True
Let g = -2 - -3. Let i be 2 + (-2)/g + 5. Let f = 13 - 7. Is i greater than f?
False
Suppose -4*f = k - 12, -8*k = -4*k - 4*f - 48. Suppose 0 = 8*r - k*r. Is r equal to 3?
False
Let v(o) = 4*o**3 + o**2 - 1. Let r be v(-1). Let c be 2 + 1 - (5 + -3). Let w = c - 3. Which is smaller: r or w?
r
Let c = 2.3 - -0.7. Do -2/5 and c have the same value?
False
Let z = -32 + 24. Which is greater: z or -2/5?
-2/5
Let l(o) = -2 - 2*o + 1 - 3*o**2 + 4*o. Let m be l(1). Is -2 at most as big as m?
True
Suppose 1 + 3 = -4*l. Let n be 21/14 + 2/(-4). Suppose 2*f = f - n. Is l != f?
False
Let d(w) = -9*w - 9. Let b be d(-2). Suppose 0*q = -n + 3*q + 2, -4*q + 48 = 5*n. Which is greater: b or n?
b
Suppose -2*w = -0*w + 2. Which is smaller: -1/2 or w?
w
Let f = 17/26 - 2/13. Let k be 4*((-2)/4 - 1). Let v = k - -8. Which is bigger: v or f?
v
Let c(i) = -5*i - 4. Let k be c(-3). Which is smaller: 3 or k?
3
Suppose -3*a + 2*a = 0. Let t = -19 - -7. Let o = 7 + t. Which is bigger: a or o?
a
Let t = 432 + -14254/33. Which is bigger: t or 0?
t
Let x be 22/(-44)*(-4 + 0). Let d(t) = 62*t**2 - t - 1. Let n be d(-1). Let u be n/30 - 2/5. Is x smaller than u?
False
Suppose -5*g = 5*x + 135, 2*x = 3*x + 2*g + 25. Is x equal to -29?
True
Suppose 0 = -2*s - 9 + 15. Is s at least 5/3?
True
Suppose -5*m + 0*q + q + 9 = 0, -5*q = -2*m + 22. Suppose -8*s - m = -7*s. Which is smaller: -4 or s?
-4
Let a = 0.07 + -0.27. Is -0.2 at most a?
True
Let m be 288/(-1218)*(-6)/4. Let q = m + -2/29. Which is smaller: -1 or q?
-1
Let j = -0.157 + -6.243. Which is greater: j or -2/3?
-2/3
Let o = 3904523/32358 - -3/10786. Let b = o - 122. Is b at most as big as -2?
False
Let t(i) = i**3 + 5*i**2 - 4. Let y be t(-5). Does y = 0.1?
False
Let y be (-1 - -2) + 0/(-2). Let v be (-6)/45 + (-1)/(-3). Is y < v?
False
Let d be 2*(-2)/4*123. Let j be 2/(-4) + d/(-6). Suppose -2*i - j = 3*i. Are i and -3 nonequal?
True
Let t be (-10)/(-4) + 1/2. Suppose -t*s = s. Let q be (-14)/5 + (-18)/(-6). Which is smaller: s or q?
s
Let a = -3.98 + -0.02. Let j = 14.1 + -14. Is j < a?
False
Let i = 0 + 5. Let g = i - 4. Suppose s + g = -0*s. Is -1 less than or equal to s?
True
Suppose d - 8*d + 168 = 0. Which is smaller: 22 or d?
22
Let q be (2 - (-9)/(-6))*0. Which is bigger: -4/35 or q?
q
Let h = 2929 + -14986/5. Let c(a) = 7*a**2 + a + 2. Let z be c(3). Let s = z + h. Is 0 <= s?
False
Suppose -4*i + 3*i + w + 7 = 0, 3*w - 35 = -4*i. Suppose 0 = 2*o + 2*o - i. Which is smaller: 3 or o?
o
Suppose -3*u + 4*u + 14 = 0. Is u less than -14?
False
Let g = -11.85 - -12. Let i = -0.75 - g. Which is greater: 2 or i?
2
Suppose 2*f - f = 3. Let u = 6 + f. Which is smaller: u or 10?
u
Let s(z) = -2*z - 1. Let p be s(-3). Which is smaller: 6 or p?
p
Let b = -82 - -89. Do b and 54/7 have the same value?
False
Suppose -2*f - 3*f = -4*q, 0 = -q - 2*f. Let d be (-2)/(-3) - 45/27. Let p be (d*(-2)/2)/(-1). Which is smaller: q or p?
p
Let q(u) = -2*u - 3. Let o be q(-7). Let f = o + -7. Suppose 0 = -t + f*t. Which is smaller: -2/7 or t?
-2/7
Let g = 11/15 + -2/5. Suppose 8*y = 4*y. Let s be (1 - 0)/(-1)*y. Which is smaller: g or s?
s
Let q = -7 - -12. Let v be ((-2)/q)/((-33)/15). Which is smaller: 2 or v?
v
Let l(x) = 2*x**2. Let r be l(1). Is 10/11 at least as big as r?
False
Let n be (-4)/8*(-8)/1. Suppose 6*i + 2 = n*i. Let v be (-14)/60 + (-4)/(-10). Which is smaller: v or i?
i
Let f(m) = -m**2 + 6*m - 6. Let l be f(4). Let j = l + -6. Let r(a) = -a**2 - 6*a - 6. Let h be r(j). Which is greater: 1 or h?
h
Let f be (0/(5 + -4))/2. Let p = 2/177 - 1076/1239. Which is bigger: p or f?
f
Suppose 4*d + 32 = -2*a - 2*a, 4*d + 24 = 4*a. Let l = -8 - d. Which is smaller: l or -2/9?
l
Let c(p) = -7*p**2 + 8*p**2 + 0*p - p - 2*p. Let z be c(3). Which is greater: -1/9 or z?
z
Let s be (-2)/14 + (-1560)/10395. Let r = -2/11 - s. Do r and 0 have the same value?
False
Suppose 35 = -8*r + 3*r. Let t be 14/21 - (-4)/r. Is t less than 1?
True
Let j(l) = l**3 - 2*l + 1. Let k be j(1). Suppose 2*z + 3*z = v - 20, -3*v - 5*z = k. Which is smaller: 6 or v?
v
Let f(b) = -6*b**2 + 11*b + 1. Let s be f(3). Which is smaller: -18 or s?
s
Let h = 103304268182/10263 + -10065699. Let s = -5/394 + 1161/122534. Let z = h - s. Are -1 and z unequal?
True
Let i(c) = 9*c - 8. Let q be i(0). Which is greater: q or -10?
q
Let k = -197 + -15. Let l be k/(-44) - 2/(-11). Suppose -3 = -3*c - u - 4, l*c + 1 = -2*u. Is c bigger than -2/7?
False
Suppose 0*h + 832 = 5*t - 4*h, 5*t - 808 = -4*h. Let q be (-484)/t + 9/3. Is 1 <= q?
False
Let x = -26.2 - -26. Which is bigger: -2 or x?
x
Let l = -337 + 11123/33. Does l = 0?
False
Let g = 74 + -83. Is g less than 8?
True
Let c be (8/210)/(1/6906). Let v = c + -116722/455. Let f = v + -32/5. Are -1 and f equal?
False
Let w(q) = q**3 - 5*q**2 - 6*q + 3. Let f be w(6). Is f bigger than 3?
False
Let w be (-122)/(-12) - (-2)/(-12). Suppose -8 - w = -m + 5*x, 4*x = 5*m - 27. Let q be 88/156 + (-1)/m. Are q and 0 nonequal?
True
Suppose o = -5*h + 12, -4*h = -5*o - 39 + 12. Let y(u) be the third derivative of -u**6/120 + u**5/20 + 5*u**4/24 - u**3 - 2*u**2. Let r be y(4). Is r > o?
True
Suppose -w + 3*i = 8, 5*i - 3*i - 2 = 4*w. Which is bigger: 4/15 or w?
w
Let m(y) = y**3 - 3*y**2 - 2*y + 3. Suppose -2*z = -2*d + 3*d - 6, -d = -5*z + 15. Let p be m(z). Which is bigger: p or -1?
-1
Let h = -9.96 - -10. Let b = 0.04 - h. Which is bigger: 6 or b?
6
Suppose 3*x - 14 = -i + 2*i, 5*x + 56 = -3*i. Are i and -17 equal?
True
Le