56. Does 5 = r?
False
Let c = 0.7 + -1. Let t = c + 0.5. Let w = 0.06 - 1.06. Which is greater: w or t?
t
Let v be ((-6)/9)/((-6)/27). Suppose -v*l + 5*a = 2*l, -a = 0. Which is smaller: l or 1/6?
l
Let g = 254 + -1258/5. Is g at least as big as 2?
True
Let y = -1.5 - 0.5. Let o = 1 - y. Let j = o + -2. Which is bigger: j or 2/5?
j
Let u = 14.9 - 15. Which is smaller: u or 0.6?
u
Let u = -26 + 46. Let h = -12 + u. Suppose s - 3*s = -h, 3*a = -4*s + 19. Is a smaller than -2/5?
False
Let n = -124/7 - 43/28. Which is smaller: n or -20?
-20
Suppose -3*t + 13 = -5*p, t - 4*p = 12 + 4. Let f be 2/(-12) - t/24. Suppose -3*b + 1 - 4 = f. Is -1 less than b?
False
Let b be (31 + -3)*(-2)/18. Let z = b + 937/252. Let y = z + 1/7. Which is greater: y or 1?
1
Let b = -87 + 259/3. Which is bigger: b or -1/5?
-1/5
Let y = 5 + 1. Suppose 0 = y*f - 3*f - 9. Suppose -5 = -4*o + f*o. Which is greater: 4 or o?
o
Let q = 9 - 12. Do 0 and q have different values?
True
Suppose -6*y - 7 = -1. Which is smaller: -2/29 or y?
y
Let x = 77 + -83.1. Let o = 6 + x. Which is smaller: 0 or o?
o
Let s = -9.8 - -10.8. Let d = 8 + -7.82. Which is bigger: s or d?
s
Let p = -11.5 - -11. Let w = 0.1 - 0.1. Is w > p?
True
Suppose 4*x + 80 + 12 = 4*b, -4*b = 3*x - 127. Which is bigger: 27 or b?
b
Suppose -h = -4*u - 36 - 19, 2*h = 2*u + 20. Let d = 7 + u. Which is smaller: d or -9?
-9
Let o = -602 + 597.97. Let l = 0.03 + o. Let r = 4 + l. Which is smaller: r or 1/2?
r
Let m(k) = -k**2 + k. Let o be m(0). Let w be (-21)/15 - (-8)/20. Let a = w + 3. Which is bigger: a or o?
a
Suppose 2*n - 6*n = 36. Let q be (8/(-174))/(6/n). Is q >= 0?
True
Let d be 1660/15925 + (-4)/(-30). Let g be (-95)/(-441) - 2/9. Let i = d + g. Which is smaller: i or 1?
i
Let i = 7 - 4. Suppose l = 2 - i. Is l > 0?
False
Suppose 0 = 3*r - 9*r + 156. Let i = r + -105/4. Suppose -3*w + 8*w - 5 = 0. Which is greater: w or i?
w
Let s = -1 - -1. Let q(b) = 1 - 4*b**2 + 3*b + 3*b + 4 - b**3. Let c be q(-5). Is s at most c?
True
Let z be 4 + 0 + 116/(-5). Let j = z - -18. Which is smaller: j or 0?
j
Suppose 2*c + 7 = 1. Which is smaller: c or 0?
c
Let m = 15 + -15. Which is smaller: m or -5?
-5
Let c = 363/2 - 182. Which is smaller: c or -1/8?
c
Let b be -1*2*(-1)/(-1). Let r be b*((-3)/9 + 1). Are -1 and r equal?
False
Let r = -3/115 + 593/690. Which is bigger: 0 or r?
r
Let k be (44/(-7))/(-2) + -2. Which is smaller: k or 0?
0
Suppose 2*l - 8 = 2*d, 0*d + 9 = -4*d - 3*l. Suppose 0 = 5*a - a - 12. Suppose -a*k - 7 - 2 = 0. Is d less than k?
False
Suppose s + 1 = 2*s. Is 2/61 at least s?
False
Let t be (1/(-2))/((-3)/12). Let g = -1849/5 + 371. Which is greater: t or g?
t
Let v be 2884/4815 - (-6)/(-10). Let k = -13493/10593 - v. Let j = k - -114/55. Is j less than 1?
True
Suppose -3*r + 0*r = -6. Let i be -2 - (0 - -2) - r. Let d be (-16)/i*2/(-8). Is d < -1?
False
Suppose b = -b. Let g = -30 + 34. Suppose g*q = -b*q. Is q less than or equal to -1/7?
False
Let l = -1 - 5. Let s = 8 + l. Suppose 5 = -s*p + 7*p. Which is greater: p or 6/7?
p
Let f(t) = t - 1. Let q be f(-3). Let a = q - 0. Which is bigger: 1 or a?
1
Suppose 2*c + 4*k - 2*k = -4, 4*k = -5*c - 6. Suppose 2*v + 3*u = 25 - 0, -2 = c*u. Which is smaller: 15 or v?
v
Let y = 5 + -1. Suppose -2 = 2*n, -2*g + y*n = -g - 7. Suppose g*b - 10 = 8*b. Is b >= -3?
True
Let c be (-6)/8*4/6. Let h = -0.3 - -0.36. Let r = h + -0.26. Which is bigger: r or c?
r
Suppose 0*l - 5*l + 23 = 4*a, -5 = 5*a - 5*l. Suppose -3*z - 2*p - 7 = 0, 2*p + 4 = -a*z - 0*p. Let h be (z - -1) + (-20)/(-9). Which is smaller: 0 or h?
0
Let n = -3 + -10. Which is smaller: -11 or n?
n
Let i = -9 - -10. Let k = 11 - 8. Suppose 4*s = k*s. Which is greater: i or s?
i
Let m = 4/51 + -139/255. Which is smaller: 0 or m?
m
Let b be (-40)/(-150)*6/16. Let x be ((-4)/(-5))/(10/25). Suppose 0 = -5*a + 3*o + x, 3*a + 6 = 5*a + 4*o. Are b and a equal?
False
Let q = -2 - -3. Let b be q/(-2) - (-54)/92. Let l be (-4)/10 + 46/115. Is b at most l?
False
Let y(x) be the second derivative of -x**4/12 + x**3/2 + x**2/2 + 5*x. Let z be y(5). Is -8 smaller than z?
False
Let c = -0.8 - -0.7. Let a = c + 0.1. Which is smaller: -3/5 or a?
-3/5
Let f(c) = -4*c - 26. Let g be f(-8). Is 16/3 < g?
True
Suppose 0 = -4*p - p - 2*w - 20, -2*p - 5*w = 29. Let c be (36/10)/(p/(-5)). Let z be 4/(-18) - (-11)/c. Is 1 bigger than z?
False
Suppose 0 = -2*t - 5*o - 10, 4*t - 3*o = -0*t - 46. Let j be (-239)/t + (-4)/10. Let d = 23 - j. Which is smaller: d or 0?
d
Let q(i) = 2*i + 7. Let f(m) = -m**3 + 5*m**2 + 7*m. Let x be f(6). Suppose 2*o = x*o + 20. Let g be q(o). Is g bigger than -5?
True
Suppose -g = -b - 3, 11 = 4*g - 0*g - 3*b. Let h = -23/163 + 2018/17767. Let n = 185/1199 - h. Which is greater: n or g?
g
Let q = 4.17 - 0.17. Let v = -5 + 4.7. Let w = 0.2 + v. Is q < w?
False
Let j(y) = -y**2 - 5*y - 3. Let c be j(-3). Let d be 1/c - 6/(-9). Which is smaller: 1/3 or d?
1/3
Let w(v) = v**3 + 11*v**2 - 8. Let j be w(-11). Let l be j/6 + (-3)/(-9). Which is bigger: l or -0.05?
-0.05
Let j(y) = -y**3 - 6*y**2 + 6*y - 10. Let u be j(-7). Suppose 2*n - 15 = 7*n. Does n = u?
True
Let t = 68 - 67. Is 2/43 != t?
True
Let h be 2 + 0 - 2/(112/133). Let v = 4 - 3. Let p be (1 - 1)*v/2. Is h < p?
True
Let y = -2 - -3. Let x = 2 - y. Let v be -1 - ((-1 - 0) + -1). Is x less than or equal to v?
True
Let b be 9/(9/(-4)) + -1. Which is greater: b or -1?
-1
Suppose 2*g - 7*g - 10 = 0. Let x be ((0/g)/(-1))/(-2). Let k = -916/9 + 102. Which is smaller: x or k?
x
Let l be ((-9)/(-11166))/((-6)/8). Let d = l + -1771/83745. Which is bigger: 0 or d?
0
Let i = -1 - -2. Let z be (1/3)/(1/(-3)). Let x be (-8)/(-24) + z/21. Which is smaller: i or x?
x
Let y = -250 + 411. Let s = 490/3 - y. Which is bigger: 0 or s?
s
Suppose g - 22 = -4*i - g, -2*g = -5*i + 50. Let m = i + -8. Which is bigger: m or 3/8?
3/8
Let q be ((-1)/2)/((-2)/4). Let t be ((-5)/3)/(5/(-75)). Let r be -4*(1 + t/(-26)). Is r < q?
True
Suppose 3*u - 5*z = -13, 6*z - 16 = u + 2*z. Let h be (11/33)/((-1)/(-39)). Let k = -8 + h. Which is greater: k or u?
k
Let h be (-17)/14 + 3/2. Is -12 at most h?
True
Suppose -23*w = -25*w - 8. Is -7 > w?
False
Suppose 24 = 2*f + 2*i, 0*f + 39 = 3*f + 2*i. Suppose -2*w - 5*t = -25, 3*w - t = -4*t + f. Which is greater: -1/23 or w?
w
Let a = -16 - -22. Let d be (a/9)/(4/6). Which is bigger: d or 1/3?
d
Suppose -m + 7 = -11. Let c be (m/(-16))/((-3)/4). Is 3 equal to c?
False
Let k = 154 - 155. Are k and 1 nonequal?
True
Suppose 0*o + 3*o + 3 = 0. Let p be 39 + (-1)/(1/3). Let n be 2/12 + 2/p. Which is smaller: o or n?
o
Suppose 9*o = 4 + 5. Let z = -1 - -2. Let y be (2 + z)*(-2 - -3). Is y not equal to o?
True
Suppose 12 = -5*u + 5*z - 3, 2*z = -8. Let v = u + 327/47. Is 1 at least v?
True
Let o(i) be the third derivative of -i**4/24 + 2*i**3/3 - 2*i**2. Let f be o(3). Which is bigger: -1 or f?
f
Let x = 45599 + -228707/5. Let g = 142 + x. Is -8 not equal to g?
True
Suppose 3*a = 2*x + 82, 18 = 2*a - 4*x - 34. Suppose -9*o + 5*o = a. Is o smaller than -6?
True
Let v = 4/17 - 94/255. Which is smaller: v or 0?
v
Let n = -0.064 - 6.836. Let q = n + 7. Is q > -0.1?
True
Let c be 2/7 - (-6)/28. Let h = 0 - 1. Let r = h - -3. Which is smaller: r or c?
c
Let z = 0.54 + -0.6. Let y = z + 0.16. Which is smaller: 1/19 or y?
1/19
Let d = 19/60 + -1/4. Which is smaller: -1 or d?
-1
Let p = -887255 + 417010033/470. Let y = 1/94 + p. Let t be (-8)/20 + (-18)/(-20). Which is greater: t or y?
t
Let s(r) = -r**2 - 9*r - 15. Let f be s(-7). Which is greater: 2/159 or f?
2/159
Suppose 3*l - 10 = -7*m + 2*m, -25 = 3*l - 2*m. Let x(d) = d + 7. Let j be x(l). Suppose j*y = -0*q + q + 3, 2*q = -3*y - 6. Which is smaller: 1 or y?
y
Let w = -193 + 192.94. Let j = -1.1 + 0.1. Do w and j have different values?
True
Suppose 8 = -4*u + 4*z, -34 = 3*u - 6*u - 5*z. Let r = 12924/2935 + -2/587. Do r and u have the same value?
False
Let j = -18.9 - -20. Is 0 smaller than j?
True
Suppose -6*f + 64 = -4*f. Let m be (-53)/15*(0 - 9). Let y = m - f. Which is smaller: 1 or y?
y
Let m = 3/97 + 261/970. Which is greater: -0.1 or m?
m
Let b = -0.1 - -0.1. Let v = 1.4 + 5.6. Let k = -6.9 + v. Are k and b unequal?
True
Let c(k) = k + 4. Let m be (-3)/12 + 30/(-8). Let p be c(m). Is 2/11 a