?
False
Let u = -116 - -115.899. Which is smaller: u or 2?
u
Let g = 563/5 + -113. Let i be (-14)/(-4) - 2/(-4). Suppose 0*h - i*h - 4 = 0. Which is greater: g or h?
g
Suppose 11*p = 7*p + 8. Let t = 20 - 28. Which is smaller: t or p?
t
Let m = -27.98 - -28. Let s = -0.98 - m. Let v = s + 0.9. Are v and -18 unequal?
True
Let k = -206 + 110. Let t be (-3)/13*24/k. Is t greater than or equal to -1?
True
Suppose -9*n - 120 = -4*n. Is 0.5 greater than or equal to n?
True
Let x be (-20)/(-15) - 96971/(-129). Let n = 753 - x. Which is smaller: 1 or n?
n
Let c be 4/(-3)*3/(-2). Suppose -3 = -c*k + 5*a + 11, -4*k - 4*a = 0. Suppose -k*f = 9 - 1. Which is smaller: 1/2 or f?
f
Let y(k) be the first derivative of -k**3/3 + 3*k**2 + 3*k + 4. Let n be y(6). Let m be n/72*3*2. Which is smaller: 1 or m?
m
Suppose 0 = -2*t - 35 - 7. Let k be 13 - (-1)/(3/6). Let c = t + k. Is -5 >= c?
True
Let z be (-6 + -1)/((-20)/40). Let t be (-1 - -1)*z/(-42). Is -1/11 equal to t?
False
Let a(j) = -j**3 + 4*j**2 + 6*j - 5. Let k be a(5). Suppose k*v + 2*v = 40. Suppose -5*u - v = 5*f, -5*f + 26 - 10 = -u. Which is bigger: -5 or u?
-5
Let f be (7 - 6)*(1 + 0). Let o be (-4)/(-32) - (-55)/(-760). Which is smaller: f or o?
o
Suppose -v + 41 = 2*i + 6, -3*v = 5*i - 104. Let x = -16 + v. Let w = x - 69/4. Are w and 2/19 equal?
False
Let p(x) = -x**3 + 61*x**2 - 116*x - 137. Let o be p(59). Are -18 and o equal?
False
Let w = 2 + 1. Suppose -w*r = 1 + 5. Suppose -10 = -4*u + 4*p + 6, -2*u = 4*p + 22. Which is smaller: u or r?
r
Let p = -54 - -44. Let q be (p/40 - (-2)/(-24))*-2. Let r be ((-6)/(-35))/((-3)/(-10)). Is q greater than or equal to r?
True
Let j = 13.8 + -13.8. Let y = -11 - 2. Which is smaller: j or y?
y
Let c be 9 - 10 - (-3 + 30/13). Which is smaller: 1 or c?
c
Let x = 384 + -469. Is -86 <= x?
True
Let u = -17 + 14.6. Let t = u - -2.4. Does t = -6?
False
Let l = -19483/120 + 1321/8. Let r = l + -21/10. Let t = 144/913 + 2/83. Which is bigger: r or t?
r
Suppose 2*g - 145 = -3*s, -5*s - 35 + 240 = -4*g. Suppose 20*n = 25*n + s. Which is smaller: -8 or n?
n
Let n = 48/5 + -981/110. Is n less than 2?
True
Let h = -91/10 + 154/15. Suppose u + 4 = -n - 2, u = -3*n + 4. Let m = -9 - u. Which is smaller: m or h?
h
Suppose 3*u + 18 = -0*u. Let q be (((-8)/(-27))/2)/(20/u). Is q less than -1?
False
Suppose 4*f + 165 - 525 = 0. Let w be 1 - (f/21 - 3). Is w smaller than -5?
False
Suppose -3*l = 9*l - 10*l. Let k = 96581/63 - 1533. Is l < k?
True
Let d = -1 - 4. Let p be 12/(-30) - 32/d. Suppose 6*i = -p - 0. Which is bigger: 2/7 or i?
2/7
Let i = -0.1 - -2.6. Let m = 0.5 - i. Let q = -3.029 - -0.029. Is m less than or equal to q?
False
Suppose 3*f + 2*s = -2*f - 10, 25 = 5*f - 5*s. Suppose -6*x = -q - 2*x + 5, -4*q + x - 10 = f. Suppose 12 = -3*m + 3. Does q = m?
True
Let x = -2039/14 - -293/2. Let h(n) = n**3 - 12*n**2 + n - 11. Let g be h(12). Does x = g?
False
Let c be 1 + (-25608)/(-48) - 1/2. Is c less than or equal to 534?
True
Suppose -10 = -5*d - 5. Let w(c) = -1 - 3 - 2*c - 5. Let x be w(-5). Is d bigger than x?
False
Let g(l) = l**2 - 8*l - 14. Let f be g(9). Let z be 12 + -2 + 1 + f. Which is smaller: 0 or z?
0
Let u = 7 + -13. Let i = u - -22. Is 0.2 at least as big as i?
False
Let a(j) = j**2 - 10*j + 1. Let q be 44/(-12)*-3*1. Let z be a(q). Is 13 at most as big as z?
False
Let b(w) = -w**3 + 2*w**2 - 7*w. Let v be b(0). Let t be (-540)/1743 - 2/(-7). Is t greater than v?
False
Let r be ((-2)/(-5))/(8/(-200)). Let p be (15/r)/(759/4). Let w = -1765/759 + p. Which is smaller: w or -3?
-3
Suppose -t + 2*t = -3*h + 33, 3*t = -h + 11. Suppose h*l - 13*l = -2. Is -19 less than l?
True
Let s = 7.1199 - 0.1199. Is -42 bigger than s?
False
Let y be 42722/410 + 8/2. Which is greater: 109 or y?
109
Let u = 4.714 - -0.286. Let j = 6 - 6. Which is bigger: u or j?
u
Let g = 7.7 + 0.3. Let a = 8.1 - g. Let y = a + 1.9. Which is bigger: y or 7?
7
Suppose 3*u = 2*a - 1890, -2*u + 2*a = 54 + 1208. Are u and -628 unequal?
False
Let g = 71.2 + 10.8. Let n = g - 81.17. Let a = n - -0.17. Which is smaller: -5 or a?
-5
Let t = 56 - 16. Suppose 13*d = 364346 - 363800. Which is smaller: d or t?
t
Let m = -28 - -27.7. Let z = -9.4 - -9.4. Is z <= m?
False
Let i = -195 - -194. Which is bigger: i or -0.1?
-0.1
Let l = -652255/337524 - -5/7671. Let w = -35059/11 - -3185. Let f = l - w. Which is bigger: f or -2/7?
f
Let p be ((-14)/(-2))/((-3)/(-9)). Suppose 3*t = 3*u - p, 5*u - 44 = 2*t - 9. Is 4 greater than or equal to u?
False
Let n be ((-24)/(-3))/(-2) + (6 - 2). Let t be 60/(-64)*(-3)/5. Which is smaller: n or t?
n
Let i(u) = 4*u**2 - 2*u - 1. Let l = 16 - 14. Let c be i(l). Let w = 13 - c. Which is smaller: w or 2/3?
2/3
Let x(y) = 8*y - 2. Let v be x(1). Let q be -3 + v - 1*-1. Suppose 2*i - w = -6, 0 = -2*i - 2*w + 2 + q. Which is smaller: 2/13 or i?
i
Let i = 12.01 - 12.1. Let z = 68.33 - 68. Let w = z + i. Which is greater: w or -0.1?
w
Let t be (-140)/1275*(4 - -16). Is -3 > t?
False
Suppose -4*q + 16 = -3*s, -3*q + s + 10 = -q. Let n(h) = h**3 - 7*h**2 + 18. Let d be n(q). Let y = 40 - 23. Is d bigger than y?
True
Let v be 106 + 7/(21/12). Let l be (-13)/v - 30/165. Is -1 greater than or equal to l?
False
Let a be (-19)/((-2375)/100) - (-853)/(-5). Which is greater: -170 or a?
a
Let n be (-1 - 0) + (-32)/(-26). Let p(j) = -j**3 + j**2 - j + 2. Let w be p(0). Suppose -d - 20 = -4*i - 16, w*i = -2*d + 2. Is n greater than or equal to i?
False
Let u(d) = -10*d + 22. Let f(s) = -7*s + 15. Let b(m) = 7*f(m) - 5*u(m). Let p be b(16). Suppose -15*l + 12 = -p*l. Is l bigger than 3?
False
Let v be 1536/(-9) - (-16)/24. Which is bigger: -169 or v?
-169
Let t = -113 - -112.9858. Is 0 less than t?
False
Suppose -3 - 29 = -8*t. Suppose -3*z + 0 + 4 = -t*v, 0 = -4*v + 2*z. Which is smaller: v or -6?
-6
Let o = 51 - 21. Let w be 1466/o - (365/75 - 5). Is w equal to 50?
False
Let v(s) = -10*s**2 + 19*s - 119. Let k be v(5). Is -272 less than k?
False
Suppose -7*k - 8 = -5*k. Let a = 3 + k. Which is bigger: a or 7?
7
Let c(f) = 36*f + 1. Let j be c(-1). Suppose -27*h = 5*n - 28*h + 167, -4*n - 124 = -4*h. Is n greater than j?
True
Let h be ((-2)/(-2))/(2/4). Suppose 16*s = 20*s. Suppose 9 = 4*b - 5*r, -5*b + s*b + 7 = -2*r. Are b and h nonequal?
True
Let b be -6*12/18*(-1)/(-106). Let u be (-4)/6*45/30. Which is greater: u or b?
b
Let l = -25.16 - -0.16. Let r be 7/(105/9) + 4 - 5. Which is smaller: l or r?
l
Let v = -39 + 44. Suppose 4*p - 7 = 1. Is v bigger than p?
True
Let k be 2344/1170 - (13 + 13 + -24). Is k != -1?
True
Let l be -317*2/90 + (32 - 25). Let d = 2/15 + 11/30. Is l smaller than d?
True
Suppose -5*a - w + 63 = 0, -5*a = -6*a - 4*w + 24. Suppose -14 = 4*o + 38. Let x = o + a. Which is smaller: -2/13 or x?
x
Let a be -66*3/(-12)*-2. Which is smaller: -0.22 or a?
a
Let b = 10 + -29. Let o = -102.8 + 100.8. Which is bigger: b or o?
o
Suppose 0*f = 2*f - 8. Suppose 15 = -5*y + 4*p, 3*y + 28 = f*p + 11. Which is bigger: -12 or y?
y
Suppose -i = z + 10, -2*z = z - 6. Let m = i + 16. Which is smaller: 7 or m?
m
Suppose 0 = -4*q - 12 - 8. Suppose -11 = -3*m - 2. Suppose -d = -0*d + m. Which is bigger: q or d?
d
Let b = -42 - -42. Let p = -4.1 + 4. Let q = p - b. Are q and -2/7 unequal?
True
Let m = 198 - 7706/39. Are m and -1 equal?
False
Let d = -551 + 550. Is d at most as big as 2/965?
True
Let d = 803 + -714. Are 89 and d nonequal?
False
Suppose -r + 7 = 3*p, 5*p + 31 = r - 0*r. Let l = -11 + r. Let b be l + 3 + 1 + -4. Is 5 less than b?
False
Let o = 426 - 427. Is o greater than or equal to 1/493?
False
Let w be 24/(-27)*(-9)/(-12). Let r = -9/16 + -47/16. Which is greater: w or r?
w
Let n = -1.2 - 0. Let d = 0.29 + 0.51. Let z = d - n. Is z != -0.2?
True
Let y(v) = 9*v - 8. Let n be y(-5). Let x = -0.339 + 1.339. Is x less than n?
False
Suppose 9*c + 10 = 4*c. Let h be c*(-1)/(-6)*3. Are -18 and h non-equal?
True
Suppose -3*p = -3*u + 21, -u - 3*p + 7 = 20. Let d(b) = 0*b**3 - 1 + 4*b**3 - 5*b**u - 3*b**3 + 11*b**2. Let y be d(-6). Which is smaller: -3 or y?
-3
Suppose 4*r - 67 = 1. Suppose 3*h - 24 - 30 = -5*v, -3*h + 5*v + 54 = 0. Which is smaller: h or r?
r
Let x(h) = -h**3 + 2*h**2 + 2*h + 4. Let y be x(3). Suppose -2*t + t - 5 = 0. Let a be t/(-18) - (-8)/36. Which is b