/3?
False
Let l = -36 + 39.8. Let t = 4 - l. Is -1 smaller than t?
True
Suppose -3*h + 5*h = 22. Is h bigger than 11?
False
Let b = 0 + -13. Which is greater: -2/7 or b?
-2/7
Let g be 2 - (7/(-1) - 1). Let x = -6 + g. Suppose 0 = -x*p + 4*w, -4*w + 3*w - 1 = 0. Is p at least as big as -1/5?
False
Let h be (-42)/(-56)*(-4)/6. Is h < 5?
True
Let k = -249.4 + 236.57. Let i = 13 + k. Which is smaller: i or 1?
i
Let v = 16 - 15. Which is smaller: 3 or v?
v
Suppose a = -3*a. Suppose 3*g - 5*v + 11 = a, -g + v + 1 - 2 = 0. Suppose 5*x = 3*i + 18, 4*i - g*x = 3*i - 10. Is 2 at most as big as i?
False
Let m = -4 - -6. Let p be (-9)/m*(-4)/6. Suppose -n = -0 + p. Which is smaller: -2 or n?
n
Suppose 8 = -5*u + u. Which is smaller: u or -0.1?
u
Let m = 149 + -2085/14. Does 0 = m?
False
Suppose 21 = -4*f + 5. Which is smaller: f or -6?
-6
Let m = -12 - -28. Is m greater than or equal to 17?
False
Suppose 2*s - 42 = -3*s + 3*v, -3*v = 12. Let b be (4/s)/((-6)/(-9)). Let f = 1/39 + 4/13. Which is bigger: f or b?
b
Let f(a) = -a**3 + 5*a**2 - 6*a + 6. Let z be f(4). Let t(h) = h + 1. Let k be t(-4). Is k >= z?
False
Suppose -3*o - 3*b - 11 + 32 = 0, 18 = -o + 4*b. Let h = o + -2. Suppose h = -5*g + 8 + 17. Is 6 >= g?
True
Let d = 4 - 3.99. Let m = 0.01 - d. Which is smaller: m or 3?
m
Let r = -3.15 - -0.15. Is r bigger than 0.2?
False
Let n be (5 - 0) + -1 + -2. Which is bigger: -3/2 or n?
n
Let f be 2/3 + (-1)/(-3). Let b be (0 - 1) + (-12)/(-9). Are f and b nonequal?
True
Let p = 2 - -1. Suppose -p*z - 13 = 2*z - h, -4*z = -5*h + 23. Are z and -2 nonequal?
False
Let u = 0 + -4. Let k = -4.5 - u. Let t be 1/(-21) + (-2)/(-6). Are k and t equal?
False
Let w = -2.4 + 0.4. Let o = -0.07 + 0.14. Let d = -0.03 - o. Which is smaller: w or d?
w
Let y be (-21)/(-6) - (-2)/4. Suppose 3*p - 17 = 5*k, -2*k + k = y. Let u be (p + 3)*(0 - -1). Is u >= 3?
False
Let l(f) = -f**2 + 9*f + 2. Let q be l(9). Suppose -11 = -3*w + q*w + 4*j, -3*w + 2*j + 13 = 0. Let i be 2 + -4 - -2 - w. Which is smaller: i or -2?
i
Suppose -n = -o + 7, -2*o + 6 = n - 2. Is n > -3?
True
Let k be -3 - (-11 + 4 + -2). Let a(j) = -j + 7. Let r be a(k). Which is smaller: -3 or r?
-3
Let y = -199.1 - -199. Which is smaller: y or 4?
y
Let y(k) = -k**3 - 9*k**2 + 8*k - 10. Let o be y(-8). Let v be 89*(-2)/o - 1. Let t = 1/23 + v. Which is smaller: 3 or t?
t
Let s be (6/(-5))/((-36)/(-40)). Is -2 smaller than s?
True
Let o = 50 + -58. Which is greater: -58/7 or o?
o
Suppose 4*o - l + 6*l - 45 = 0, 3*o + l = 20. Suppose -o*m + 10*m + 5 = 0. Let r be (-2 - 5/(-2))*-2. Are r and m non-equal?
False
Let j = -2 - -2. Is j at most 1/9?
True
Let k(y) = y**2 - 6*y - 8. Let c be k(6). Let u be ((-14)/c)/7*-4. Do u and -2 have the same value?
False
Let m = 19/210 + 3/70. Is m smaller than -1?
False
Suppose 0*i + 4*i = 4. Let m be 1 - (1 + 0)/i. Suppose 0 = 7*s - s. Are s and m unequal?
False
Let b = 10 + -6. Let q be ((-2)/b)/(6/60). Let s(u) = u**3 + 4*u**2 - 4. Let p be s(-4). Is p at least q?
True
Let j = 115 + -55. Suppose 5*a + j = -3*z, -z = 7*a - 3*a + 41. Let x be 6/4*(-6)/a. Is 2 at most x?
False
Let z = -100/3 + 234/7. Let m = z - -17/42. Is m >= 1?
False
Let b = 0.02 - 0.12. Let h = -2 - -2. Let v = b - h. Do v and 2/3 have different values?
True
Let t(p) = p - 15. Let n be t(9). Suppose 2*v + 4*w + 10 = 0, 2*v - 3*w + 0 = -10. Which is smaller: n or v?
n
Let s = 10 - 8. Let l be (s/2)/(12 + -13). Which is smaller: -3 or l?
-3
Let p = -31 - -156/5. Which is greater: p or 0?
p
Let c(h) = h**2 + 7*h + 7. Let j be c(-5). Let b be 1*((j - -4) + 0). Which is smaller: -2/13 or b?
-2/13
Suppose -p + 10 = -f, 5*p - 31 = -f - 5. Suppose -4*d - p = -d. Let r be (-6)/(-8) + d/8. Are r and -2 equal?
False
Let b = 18 + -18. Which is greater: b or -20?
b
Let i(m) = 4*m + 14. Let s(k) = -7*k - 27. Let p(z) = 5*i(z) + 3*s(z). Let n be p(-10). Suppose f = r - 3, 12 - 3 = -2*f + 5*r. Which is bigger: f or n?
n
Let j = 61 - 61.7. Which is bigger: -2/7 or j?
-2/7
Let t be 27/18*2/(-9). Let i(n) be the second derivative of n**4/12 + 2*n**3/3 - 2*n**2 + 2*n. Let h be i(-5). Is h at least t?
True
Let r(j) = j**2 - 50. Let i be r(0). Let a be (-15)/i*8/30. Which is smaller: 1 or a?
a
Let c be 6/4*(-8)/3. Let r = 9 + c. Are 4 and r unequal?
True
Suppose -26 = -5*n + 4. Suppose -5*s + 8 = -2. Let b be (5 - 2)*4/s. Is b bigger than n?
False
Suppose 0 = -4*p + 5*p. Suppose -5*r + 26 = -o, -5*r - 2*o + 3 = -4*r. Suppose p = -r*l + l. Are l and 1/4 equal?
False
Suppose 1 = 2*k - 3*k. Which is smaller: 1 or k?
k
Let t = 1.1 + -1.6. Let o = t + 2.5. Let g = 1/11 - -8/33. Which is greater: o or g?
o
Let v = 0.3 - 1.5. Let q = v - -2.2. Is q greater than -0.8?
True
Let o be -2 + (516/16)/1. Let d = -30 + o. Is 2/9 bigger than d?
False
Let q = -8/17 - 35/34. Which is smaller: q or 0.3?
q
Let w = 0 + 2. Let q(o) = o**3 - 7*o**2 - o + 7. Let k be q(7). Suppose k = 2*y + y - 6. Does w = y?
True
Let n = 2.3 + 1.7. Are n and -3/7 unequal?
True
Let h(m) = -3*m**2 - 23*m + 12. Let w(u) = -u**2 - 8*u + 4. Let j(o) = -6*h(o) + 17*w(o). Let a be j(-3). Which is greater: a or -6/11?
-6/11
Let d be (((-12)/(-8))/(-3))/((-1)/22). Is 1 at least d?
False
Let a(g) = -g**2 + 4*g + 12. Let y be a(6). Suppose -4*l - 4 - 8 = y, -2*b = 4*l + 14. Which is bigger: 0.12 or b?
0.12
Let l be ((-2)/(-6) + 0)/(-1). Let u = 0.68 + -0.7. Let w = 0.12 + u. Is l greater than or equal to w?
False
Let z = 13 - 12.3. Let v = 2.3 + z. Let x = -6 - -6.1. Is x at least as big as v?
False
Let j = -131 + 116. Which is smaller: j or 1/5?
j
Suppose -4*y = 4*g - 20, -2*g - 5*y + 19 = -3*g. Let d(i) = 6*i + 2. Let z be d(g). Are z and 7 equal?
False
Let w be (-6)/(-24) - (-14)/8. Suppose w*s = -3*y + 3, -4*s + 0 = y - 1. Which is smaller: 2 or s?
s
Let d = -86 - -256/3. Suppose x + 4*x - 5 = 4*w, 2*w + x = 1. Let z be (-1)/(w + -2)*-2. Is d at least z?
True
Suppose 5*n + 2*h = 22, 3*n + h - 2 = 12. Suppose 2*o - n + 2 = 0. Is 3/2 at least as big as o?
False
Let l be ((-4)/(-6))/((-8)/6). Is l bigger than 0?
False
Let l = -7 + 8. Is 0 > l?
False
Let s = 14 - 57/4. Let m = -0.38 + 0.34. Which is smaller: m or s?
s
Suppose 5*i + 22 + 8 = 0. Let h be (i/(-4 + 7))/4. Is 0 bigger than h?
True
Suppose 0 = 4*m + 8 - 4. Let x = 14 - 24. Let l = 9 + x. Is m equal to l?
True
Let h = 1 - 0. Are h and 2/7 nonequal?
True
Let f(d) = 8*d**2 - 7*d + 9. Let n be f(2). Which is greater: n or 26?
n
Let f be (-5 + -1)*2/(-3). Suppose 6*m - 2*m = f. Is m at least as big as 1/3?
True
Let q = 265/6 + -44. Does 0 = q?
False
Let t be 25/(-12) - 16/(-64). Is t equal to -1?
False
Let o be 0*(6/(-8))/(12/(-8)). Which is smaller: 6 or o?
o
Let a = -86 + 86. Are -1/30 and a nonequal?
True
Let f = 2.5 - 2.4. Which is smaller: -2/19 or f?
-2/19
Let d(u) = -u + 10. Let j be d(10). Suppose j = 5*t - 15, -5*t + 11 = 4*r - 8. Is 2/17 equal to r?
False
Let w = 88 + -68. Let f = 3 - 4. Is w at most f?
False
Let x = -7555/4 - -1905. Let y = -29/2 + x. Which is bigger: -2/3 or y?
y
Let p(i) = -i**3 - 24*i**2 + 24*i - 34. Let w be p(-25). Is -54/7 greater than or equal to w?
True
Let l = 7.6 - 4.62. Let f = l + 0.02. Let k = 2.94 - f. Is -1/4 smaller than k?
True
Let n be (6/(-5))/3*-10. Is n less than or equal to 3?
False
Let b = 8 - 5. Suppose -2*d - 50 = b*d. Which is smaller: -9 or d?
d
Let q = 1171/7 + -167. Let d = 1 + -2. Which is smaller: d or q?
d
Let u = -14/43 - -556/387. Which is smaller: 0 or u?
0
Suppose -2 - 5 = -2*o - 3*n, 5 = o + 2*n. Which is smaller: -2/55 or o?
o
Let b(r) be the third derivative of r**4/24 - r**3 - r**2. Let y be b(0). Let z be (-1)/(y/4 - 2). Are z and 0.6 equal?
False
Let l = 79/8 - 10. Is l at most as big as -2/5?
False
Suppose n = -3*w - 14, n + 10 = -4*w - 7. Which is smaller: n or -9?
-9
Let g(a) = -7*a**2 + 18*a + 21. Let o(v) = -3*v**2 + 9*v + 10. Let b(n) = 4*g(n) - 9*o(n). Let i be b(-8). Is i bigger than 3?
False
Let b = -15 + 20. Suppose b*k + 6 = -4. Is k greater than or equal to 5?
False
Suppose 0 = 4*i - 0 - 4. Let y(w) be the second derivative of -w**5/20 + w**4/6 - w**2/2 + 2*w. Let j be y(i). Is -1/2 at least as big as j?
False
Let b be -3*(-1)/2*2. Let k = 83.1 + -83. Which is smaller: b or k?
k
Let u be (-1)/(-1 - (-16)/14). Let j be 221/210 + 2/u. Let a = j +