= 1767 - 6957/4. Which is bigger: v or 29?
29
Let k be -2 - -1 - 1/(-2). Let l(r) = -2*r**2 + 2*r + 2. Let c be l(2). Let f be (-36)/15 + c/(-5). Are k and f nonequal?
True
Suppose 3*b = 2*b + 2. Suppose 0*h - 12 = b*h - 2*p, 0 = 2*h + 5*p - 16. Are h and -2 unequal?
False
Let g = -68 - -28. Is g at most as big as -40?
True
Let j be (2 + 4/(-2))/1. Which is smaller: j or -0.03?
-0.03
Suppose -4 = -2*u, 4*u = -n + 3*n - 34. Which is greater: n or 22?
22
Let f = -6 + 10. Let t(r) = -r**3 + 3*r**2 + 7*r - 6. Let j be t(f). Let y be 4/j*(-5)/10. Which is bigger: 0 or y?
0
Let y = 13 - 13.03. Let w = 0.47 - y. Is w greater than or equal to 0?
True
Suppose 0 = 5*i - 0*i + 135. Which is smaller: -26 or i?
i
Suppose -19*b = -14*b + 15. Suppose q - 1 = -4. Are q and b unequal?
False
Let o = -2 + 0. Let b(y) = y**3 - 12*y**2 - 12*y - 13. Let k be b(13). Which is greater: k or o?
k
Let x = 284 + -1996/7. Is x at least 0?
False
Let w = 23.9 - 18. Let u = -1.1 - w. Is u smaller than 0?
True
Let n be (-10)/(-8) - (-2)/(-8). Let x be (-8)/28 - (92/(-126) + 0). Which is greater: x or n?
n
Suppose 0 = b - 3*n + 6, -3 = -3*b + 4*n + 4. Is b less than or equal to -1/5?
False
Let o be (-3)/102*4*6. Let q = o + 43/85. Which is smaller: 0.3 or q?
q
Let g = -0.09 - -0.23. Is 0 at least g?
False
Let o = -3 + 0. Let s = 2 + o. Are -1 and s equal?
True
Let j = 1.8 + -0.8. Let r be 5/(-2)*8/(-190). Which is greater: r or j?
j
Let r be (-4)/6 + (-2)/(-6). Let h = 80.2 + -80. Which is greater: r or h?
h
Let z = -469/11 - -43. Let q be 3/((-6)/(-8) + 0). Suppose a - 2*a + 2 = q*h, 4*h - a - 6 = 0. Which is greater: z or h?
h
Let n be 40/(-91) + (-28)/(-182). Is n at least as big as -1?
True
Suppose 2*x = -2*c, 3*x = c + c + 15. Suppose 2*u + 4*o - 18 = 0, -x*u - 14 = -u - 4*o. Let f be 3 + 1*(1 - u). Which is greater: f or 1?
f
Let j = -1.8 - -1.7. Which is bigger: j or 0.04?
0.04
Let v(u) = -u**3 - 3*u**2 + 5*u. Let t be v(2). Is -12 bigger than t?
False
Let f(r) = -r + 3*r + 5 + 0 - 3*r. Let g be f(0). Is 4 >= g?
False
Let x(b) be the third derivative of -b**4/24 - 2*b**3 - 3*b**2. Let t be x(-8). Let g = t + 5. Which is smaller: -1 or g?
-1
Let n(v) = -v - 8. Suppose 4*g = 3*g. Let d be n(g). Is d less than or equal to -8?
True
Let t = 151 - 4377/29. Suppose 5 = 4*j - 3*g, -2*j - g + 2 = 7. Which is bigger: t or j?
t
Suppose 7*z = 6*z + 17. Let y = z + -15. Which is smaller: y or 2/3?
2/3
Suppose 38 = -2*n + 14. Is n at most as big as 0.1?
True
Let g be (-5 - -7)*(-14)/12. Which is smaller: -1 or g?
g
Suppose 20 = -7*y + 4*y - 4*m, -m - 5 = 3*y. Which is smaller: -3/25 or y?
-3/25
Suppose -w + 2*l + 6 = w, 0 = 3*w - 2*l - 12. Suppose -2*p = 5*h - 10, -5*p - h = 2*h - w. Is 3 >= p?
True
Let k = 0 + -1. Let o = 7 + -6.4. Let f = 0.5 - o. Which is greater: f or k?
f
Let c(h) = h + 1. Let r = -3 + 3. Let w be c(r). Which is bigger: -2/9 or w?
w
Suppose 5 = -5*m - 0*q + 5*q, 2*m + 5 = 5*q. Is m >= -1/14?
True
Suppose 5*t + 1 = -4. Let g be (4 - 3)/(-1)*0. Let u(s) = -s**2. Let l be u(g). Which is bigger: t or l?
l
Let x be (-4)/(-8)*(-4)/(-6). Which is smaller: x or -0.05?
-0.05
Suppose 2*z = 3*y + 25, -z = -3*y - 29 + 6. Let w = y - -5. Let k be 0 + 6/w + 1. Which is smaller: k or -1?
k
Suppose -3*a + 2*a - 3*o - 4 = 0, -a + o = 0. Let u(r) = r**3 - 9*r**2 - 9*r - 10. Let g be u(10). Let v be (1 - a)*(1 + g). Is v bigger than 0?
True
Let p = -6/22553 - -27988303/112765. Let q = p + -249. Is -2 less than q?
True
Let p(l) = -2*l - 1. Let c be p(-1). Suppose 2*g - 2 = 2. Suppose -g*m = j - 6, -j - j = 2*m - 8. Which is greater: c or m?
m
Suppose -2*u - 3*t + 0 - 6 = 0, 3*t + 6 = -u. Suppose 0*r - 4*r = 0. Is r > u?
False
Suppose -y - y + 6 = 0. Suppose m - y = -4. Which is smaller: 2/39 or m?
m
Let u be -1 - (-1 + 1) - -7. Suppose 4*a + 3*i - 20 = 0, 15 = 5*a - 2*a - 3*i. Let s = a - u. Is 0 smaller than s?
False
Let a(d) = -d**3 - 6*d**2 - 7*d - 5. Let l be a(-5). Let i(g) = -g**3 - 8*g**2 + 10. Let r be i(-8). Let o be (-72)/(-15) + 2/r. Is o > l?
False
Suppose 0*x = -3*x + 6. Let v be (-1 - 0) + x + 5. Suppose f = v*f + 10. Is -2 < f?
False
Let f be (23/69)/((-38)/84). Does f = -1?
False
Let j be -1 - (-18)/(-18)*(0 + 0). Which is bigger: -15 or j?
j
Let u(k) = k**3 - 5*k**2 - 6*k + 2. Let a be u(6). Suppose 5*w - s = 210, 0 = -2*w - 2*w - 3*s + 168. Let p be w/10 - (-8)/(-40). Which is smaller: a or p?
a
Let d = 81 - 61. Which is bigger: 37/2 or d?
d
Let k = -42.2 + 42. Which is smaller: -7 or k?
-7
Let f = -3/401 + 2032/3609. Let a = 61/45 - f. Which is smaller: a or 3/2?
a
Suppose -3*u + 2 + 61 = 0. Which is smaller: u or 20?
20
Let j be (6/20)/(9/42). Is j bigger than 0?
True
Let p = -27/2 + 13. Let f(q) = -q**2 - 5*q - 4. Suppose -3*b - 3*h = 21, -4*h + 2 = b - 6*h. Let k be f(b). Does p = k?
False
Suppose -6*m - r = -4*m - 3, 0 = 2*m - 4*r - 18. Is 1 != m?
True
Let c be -2 + (2 - 2) - -6. Suppose c*h + h = 15. Suppose 4*b = o - 2, 0 = 5*b + o + 10 - h. Is -1 at most as big as b?
True
Let a be 6/(-9) + (-74)/(-3). Is -1/3 less than a?
True
Let f = -5 + 6. Let y = 5 + -2. Suppose 2*b + 10 = -y*b. Is b smaller than f?
True
Let x be 41/(-42) + -21 + 22. Is -1 at least as big as x?
False
Let u = -23 + 33. Suppose -u = 5*d - 5*j, -j - 1 = -2*j. Is -1 at most d?
True
Let x be (-6)/(-12)*4/(-9). Which is greater: x or 1/5?
1/5
Suppose -p + x - 17 = 0, 2*x - 58 = 4*p - 0*x. Let t be p/(-33)*2/4. Which is smaller: t or 1?
t
Let d(g) = -g**3 + 5*g**2 + g - 1. Let f be d(5). Suppose 2*q = -f*l - 8, l + 1 = -q - 4. Let w be (2/(-3))/(q/(-9)). Is w equal to -2?
False
Let d = 0.465 - 4.095. Let n = d - -0.73. Let z = n + 3. Which is bigger: z or 1/3?
1/3
Let u = 1 + -1. Let y(s) = s**3 + 10*s**2 + 9*s + 3. Let z be y(-9). Suppose f + 1 = z. Which is greater: f or u?
f
Let q = 2 - 0. Let r = q - 2. Let c = 9/5 - 94/55. Which is smaller: r or c?
r
Let a = -59383/10 - -54216069/9130. Let b be (-11)/(5478/984) - (-1 - 1). Let j = b - a. Does j = 1?
False
Let f be 0 + ((-6)/(-79))/3. Is 1 at most f?
False
Suppose 0 = -4*k + 2*b + 26, -5*k + 2 = b - 13. Let z = 10 + -7. Suppose -2*g + 3 + z = 0. Is k greater than g?
True
Suppose 19 = 4*n + 11. Let z be (n + 1 + -4)*1. Which is greater: -1/21 or z?
-1/21
Let x be (0 - -1)/((-3)/(-21)). Is 7 equal to x?
True
Let m be 2/7 + (-524)/(-28). Let j = 29 + -10. Is m at least j?
True
Let c = 842/3 + -283. Let f be -4 + 1 - 2/(-2). Which is smaller: c or f?
c
Suppose -i + 0*i = 0. Let y = i + 1. Is y at least as big as 0?
True
Suppose 0 = 5*v + 10. Let m be (v/(-3) - 1)*-1. Let q be 5/(-10) + 6/4. Is m less than q?
True
Let o(x) = -4*x + 4*x - 5*x**2 - 5*x + 4*x**2. Let y be o(-4). Which is greater: 5 or y?
5
Let n = -2/1389 + -8324/6945. Is n at most as big as -1?
True
Let x = -26 + 23. Which is smaller: x or 8?
x
Let r(a) = a**3 - 2*a**2 - 3*a - 1. Let t be r(3). Which is smaller: t or 5/16?
t
Let h = 10 + -9. Let y = 8 - 5. Which is greater: y or h?
y
Let o = 27 - -19. Is o less than 47?
True
Let v = -11 + 11. Is -7 > v?
False
Suppose l + 0*l = -4*f + 21, -2*f + 8 = -2*l. Let z = -2 + f. Suppose q = -0*q + z. Is q equal to 3?
True
Let r = 7 + -11. Let j be 1 + -2 - 2/r. Suppose 0 = -5*c - x - 5, -3*c + 6 = -c + 2*x. Do c and j have the same value?
False
Let m = 28.4 - -18.6. Is m at least -1?
True
Suppose -2*o - 16 = 5*b, -3*b + 3 - 18 = 3*o. Let p be b/(-8) + 1/(-4). Which is greater: p or -2/7?
p
Let f(y) = -y**2 - y + 3. Let w be f(-3). Let l be -1*(2 - (w + 5)). Is l >= 7?
False
Let k be 2/(1 + (1 - 120/62)). Which is greater: 30 or k?
k
Let r = 0.1 + -0.2. Suppose -p + 4*p = -d + 2, 0 = -5*p. Suppose 30 - d = -4*a. Is a at most r?
True
Let a = -5 - -5.4. Let b = -0.3 + a. Let t = 0 + b. Is t <= 1/2?
True
Suppose 3*i = 5*t - 228, i - 184 = -4*t + 3*i. Let u be -4 + 1 + t/14. Which is bigger: u or -1?
u
Let x = -9 - -11. Let p be (-4)/18 - (-76)/18. Is p at least as big as x?
True
Let m be (-9)/30*40/16. Which is smaller: m or -4/7?
m
Let z = -2 + 3. Let c = 89 - 94.1. Let t = c + 1.1. Is z at most as big as t?
False
Suppose c = -3*c - 848. Let o = c + 1481/7. Which is smaller: o or 1?
o
Let a(q) = -q**3 - 3*q**2 - 4*q - 3. Let s be a(-2). Let b(d) = d**2 + d + 1. Let o be b(-2). Let r be ((-62)/(-22) - o) + 0. Is r <= s?
True
Let c = 3 +