b or t?
t
Let d be 2*(14/(-4))/(-7). Let u = d + 0. Which is smaller: -2/11 or u?
-2/11
Let m = 76 - 124. Let t = -53.2 - m. Let u = t - -5. Which is greater: u or -3?
u
Let a be 1 + 0 + (-5)/4. Is a > 1?
False
Let o = -3 - -2. Let d be (-52)/(-12) - o/(-3). Let m be 6/d*(-8)/6. Do -2 and m have the same value?
True
Let m(w) = -4*w. Let r = -14 + 15. Let a be m(r). Is a > -4?
False
Let r be (-3 - -5) + (-2)/2. Let z(d) = -d**2 + d. Let m be z(4). Let n be (-6)/(-28)*(-8)/m. Is r bigger than n?
True
Let d = 1.85 - -26.15. Do d and -2/5 have the same value?
False
Suppose -2*b = 2*c + 2*c - 60, 0 = c - 5*b - 4. Is c at most 2?
False
Let j(l) = -l**3 - 4*l**2 + l + 1. Let u be j(-2). Let r(c) = -c**2 - 9*c - 8. Let q be r(u). Are q and -9 nonequal?
True
Suppose -5*b - 149 = -49. Let w be 50/b + (-1)/(-6). Which is smaller: w or -3?
-3
Suppose 3*r + 6 = -m - 0*r, -2 = 4*m + r. Is 4/3 greater than or equal to m?
True
Suppose -23 = -4*m + x, -3*x - 13 = -0*m - 4*m. Let q = -123 + 122. Which is greater: q or m?
m
Let b(a) = 4*a**2 - 1. Let j be b(1). Let t be 2/((-1)/(j/(-6))). Let p be (-76)/(-70) + 2/(-7). Which is bigger: t or p?
t
Suppose -4*t + 7 + 1 = 0. Let x = 23/3 - 112/15. Is t at least x?
True
Let a be (0 + 4)*2/1. Suppose 0 = x + 3*x - a. Let d = x + -1. Is d >= 0?
True
Let f be (-3 + -6)/(((-1)/3)/1). Is 27 smaller than f?
False
Let z(g) = -g - 1 + 0*g + 0. Let h be z(0). Let o = -0.26 + -0.14. Which is smaller: o or h?
h
Suppose 3*u + 27 = 3*z, z - 21 = -u + 4*u. Let g be u/99*6/(-4). Let q be (-12)/(-6) - 2/2. Which is greater: g or q?
q
Let v = -5 - -7. Let z = 1.8 - v. Which is greater: 1 or z?
1
Let d be 29 + 4/(4 + -3 + 1). Which is greater: 29 or d?
d
Suppose -4*t + 0*t + 16 = -5*w, 0 = 3*w - 3*t + 12. Is w >= -2/29?
True
Let g(p) = p**3 + p**2 - p. Let w be g(0). Suppose w = -m + 2*m. Which is smaller: -1 or m?
-1
Suppose 2 = 2*x + 4. Let d = 90/13 - 1376/195. Do x and d have the same value?
False
Suppose 4 = -3*f + 4*j, -9 = -2*f - j + 6*j. Which is smaller: f or -57/7?
-57/7
Let r(k) = 2*k**3 - k - 3*k**3 - 5*k**2 + 9 + 8*k. Let w be r(-6). Let a = -91/3 + 461/15. Is w not equal to a?
True
Suppose -2*j = 5*p + 60, -j + 3*p - 132 = 2*j. Is -41 less than j?
True
Let n be 2 + (-3)/((42/8)/(-7)). Let b be (1 - -2)*1 - 0. Suppose -b*i + 24 = i. Is i at most as big as n?
True
Let t be 1/((-3)/(-12)*4). Let l be 0/(2/t) + -1. Let s = 0.1 + 0.2. Do s and l have the same value?
False
Let x = 2218 + -64331/29. Let j be (-1)/(-3) + 76/58. Let p = x + j. Is 0 less than p?
True
Suppose 5*f + 15 = -4*q - 53, 20 = -f - 4*q. Is f at most as big as -11?
True
Suppose 0*t + 8 = 2*t. Suppose 5*n + t = 2*s - 6*s, n = 0. Which is smaller: 1/10 or s?
s
Let c = -0.4 + 0.3. Let f = 6 + 5. Let p = 14 - f. Which is smaller: c or p?
c
Suppose -4*r - r - 3*o = -97, -3*o = 2*r - 37. Suppose 3*t + 0 = -4*i - 12, -r = 5*t. Suppose k + 7*b - 4*b = -13, i = -3*k - 5*b - 19. Does 1 = k?
False
Let i(m) be the third derivative of -m**4/12 + 2*m**3/3 + 2*m**2. Let k = -5 + 8. Let z be i(k). Which is bigger: -3 or z?
z
Let s be 1*-3*((-20)/6)/(-10). Do -4/41 and s have different values?
True
Let n = -1 + 5. Suppose -3*o = -q - n*q - 11, -5*o + 10 = 0. Is q <= 2/23?
True
Let a(t) = t**3 + 9*t**2 - 10*t + 8. Let z be a(-10). Let h = -5 + z. Suppose -11 = -4*w - h. Is 2 greater than w?
False
Suppose 2*l + 2*v = 12, 3*l - v = 2*l. Let d be (-2)/(-3) - (-11)/(-3). Let r = d - -5. Does r = l?
False
Suppose -5*r = -5*t - 135, 4*r - 28 = -3*t + 59. Let w = -57 + r. Let h be -1 + (-2 - w/12). Is 2/3 less than or equal to h?
False
Let a be (-14)/35*15/21. Is -24 less than a?
True
Let s(t) = -t. Let k be s(1). Let p be 2 + k - 6/7. Which is smaller: 1 or p?
p
Suppose -4*l + 2*l + 6 = 0. Suppose z = -3*z + 2*n - 6, l*n = -5*z + 9. Is z not equal to 0?
False
Let m = 1 + -2. Suppose 0 = 4*r + 5*s - 20, -r - 3*s + 16 = s. Let k be (2/(-4))/(r + -2). Is m equal to k?
False
Let b = -19 + 19. Which is smaller: b or 2?
b
Let j = -155 - -1083/7. Let f be ((-5)/2)/5*0. Let z be f/(-4)*(-2)/4. Is z less than j?
False
Let v = -53 - -213/4. Is v smaller than -6/7?
False
Let u be -3 - (2 + (-6)/2). Let n(c) = c**3 - 4*c**2 + 4*c - 4. Let f be n(3). Is f != u?
True
Suppose 8 = 5*p - 7, -4*p = -2*d - 16. Suppose n - 10 = 3*a - 0, 0 = -3*n - 6. Which is smaller: d or a?
a
Let u be 20/(-3) - (-2)/3. Let k = 8 + u. Let d be k/(-6) - 2/(-6). Which is greater: d or 0.1?
0.1
Let y be 1/7*(10 - 11). Let f(t) = t**3 - 6*t**2 + 3. Let k be f(6). Suppose x - l + 4*l = 9, 4*x - k = -l. Is x >= y?
True
Let o = -18 - -18. Let v be 4/6*(-6)/(-8). Which is greater: o or v?
v
Let j = 23.07 - 0.07. Which is bigger: j or -2/7?
j
Let j = -11 - -11. Suppose j = -2*h - 3*g - 27, -4*h + g + g = 30. Which is greater: -10 or h?
h
Let d = 43 - 43.9. Let h = -0.3 + 0.4. Is d < h?
True
Let s = 10 - 9. Which is smaller: 0 or s?
0
Let j be (-5)/(15/6) - -4. Let n be 3/j*(-4)/(-6). Is n less than -1/7?
False
Suppose w - 5*m = -6, 2*w = 4*m - 1 - 11. Let q = w + 6. Is 1/3 bigger than q?
True
Let j be (-44)/(-13) + 14/(-7). Let a = j - 80/39. Which is greater: -2/5 or a?
-2/5
Let u(i) = 5*i + 1. Let o be u(-2). Let h = o + 18. Let b be 2/h + 105/(-108). Is -1 less than b?
True
Let k = 5 + 6. Let a = -17.3 + k. Let n = -6 - a. Is n > 1?
False
Suppose 4*j - 14 = -2. Suppose 0 = -3*n - j, -3*n = -2*p - 6*n - 1. Which is smaller: -1/4 or p?
-1/4
Suppose 5*v - 459 = 2*n + 326, 5*n + 2050 = -5*v. Let g be 2 + (12214/(-30) - 0). Let m = n - g. Is 0 > m?
False
Let w be (13 - -2)*4/10. Let n be w/(-9) - (-1)/(-3). Which is smaller: n or -2?
-2
Let d be (-3)/(-9) - (3 - 40/12). Let q(n) = n**2 - 6*n. Let h be q(6). Is d less than h?
False
Suppose 3 + 6 = y. Let x = y + -9. Which is smaller: x or 3/5?
x
Let v(x) = x + x - 3*x + 2*x. Let o be v(0). Is o greater than 0?
False
Let d(v) = -2*v + 6. Let f be d(-6). Suppose 2*x - f = -x. Let j be 2 - 0 - 8/x. Which is smaller: j or -3?
-3
Let s = -1212 - -56962/47. Which is smaller: 1 or s?
s
Suppose 3*d - 3 + 21 = 0. Let t be 61/(-38) + (-9)/d. Are t and 0.1 equal?
False
Let r = 0.04 - 0.04. Are 2/11 and r nonequal?
True
Let r(q) = -q**2 - 12*q + 31. Let m be r(-14). Which is greater: m or 4?
4
Let w be 4*-1*4/(-8). Let l be 50/(-6) + w/6. Does l = -8?
True
Suppose 5*z + 16 = -24. Let f be (-22)/z + (-1)/(-4). Suppose 1 = 2*y + f. Which is smaller: -2 or y?
-2
Let q = -25 + 21. Are -1/12 and q unequal?
True
Let x = -5792.02 - -5844. Let b = x - 53. Let j = b - -0.02. Which is smaller: 4 or j?
j
Suppose -14*r + 13*r = -1. Which is smaller: r or -3/17?
-3/17
Let c be (0 - 8/(-12)) + (0 - -9). Is 9 >= c?
False
Let s be -3 - 11*4/(-24). Let p = 5/4 + s. Which is smaller: p or 0?
0
Suppose a = 3*w + 18 - 42, 0 = 3*a. Let h be (4/w)/((-2)/4). Which is greater: h or 1?
1
Suppose -28 - 112 = -4*q. Suppose 0*b - 5*b = -q. Is b less than or equal to 7?
True
Suppose 0*c = 4*c - 20, -3*u - 3*c = -30. Let f = -18 + 25. Which is smaller: u or f?
u
Let c = -0.5 - -0.5. Let o = -0.4 - 0.6. Let j = o - c. Is j < 3?
True
Let c be (812/8)/7 - 2. Let l = c - 13. Are l and 0.03 unequal?
True
Let z(x) = -x**3 + 6*x**2 - 9*x + 3. Let f be z(4). Let v = 0.68 - 2.64. Let k = 0.04 - v. Which is greater: k or f?
k
Let p be 36/(-27)*4/((-8)/(-3)). Which is smaller: p or 1.8?
p
Let q = 0.24 + -0.24. Is -19 at most as big as q?
True
Let x(q) = -q**3 - 8*q**2 - q - 8. Let b be x(-8). Which is smaller: 1/101 or b?
b
Let s = -6 + 5. Let d be (-2)/8*-4 + s. Which is greater: d or 1/3?
1/3
Suppose 14 = -2*j - 3*i, 0 = -5*j - 0*j + 2*i - 16. Is j at least -5?
True
Suppose -4*j = 5*n - 5*j - 6, -3*j = 2*n - 16. Let c(g) = 4*g + g**3 - g - 4*g**2 + 6 - 3. Let h be c(3). Is n not equal to h?
True
Let c be ((-44)/143)/(2/(-2) - 1). Which is smaller: c or 1?
c
Suppose -4*d - 14 = -5*y, -3*y + 2 = -4*d - 0. Is y at least as big as 7?
False
Let y(a) = a**3 + 4*a**2 - 18*a + 3. Let i be y(-7). Is i at most -18?
True
Let k be (4/40)/(4/10). Which is bigger: k or 14?
14
Let r be (((-8)/2)/4)/(5/145). Which is smaller: 3 or r?
r
Suppose 0 = -3*k + 5*k + 4. Let g be (2 - 3)*(k - -1). Which is smaller: g or 2/3?
2/3
Let y = 7 + -10. Let d be 7 + (-4)/(-6)*y. Let a(f) = 2*f. Let s be a(2). Which is bigger: d or s?
d
Suppose -2*s + 4*c