f at most s?
False
Suppose 4*j - 6*j - 78 = 0. Which is smaller: -38 or j?
j
Suppose 2*m - 3*m = -4. Which is bigger: m or -3?
m
Suppose 0 = -2*n + 2 + 2. Let s be (88/55)/(n/10). Which is smaller: 9 or s?
s
Suppose -36 = -4*d - 2*l, 5*l + 27 + 0 = 3*d. Suppose -23 = 2*h + 3*b, d = -3*h + 2*b - 6. Let q = -11/2 - h. Do 0 and q have the same value?
False
Let x = 238/117 - 64/13. Which is smaller: -3 or x?
-3
Suppose -u - 4*m - 83 = 2*u, 5*u = -m - 161. Do u and -33 have the same value?
True
Let h be 2 + 9/(-3) + -4. Let o = h - -1. Let c be 0*-1*(-2)/o. Which is smaller: 2 or c?
c
Let b = 3.2 - 3.3. Which is smaller: b or 1/41?
b
Let s(n) = 7*n - 7. Let t(f) = 3*f - 4. Let l(r) = 2*s(r) - 5*t(r). Let p be l(5). Which is bigger: p or 2?
2
Let g = -3 - 0. Let w(d) = d**3 - 9*d**2 - 2*d + 13. Let x be w(9). Is x at least g?
False
Let o = -13 + 8. Let a(m) = -m - 4. Let g be a(o). Let l be 6/4*g/3. Do 3/4 and l have the same value?
False
Let o(h) = -2*h**3 - 3*h**2 - 2*h - 1. Let y be o(-2). Suppose -3*i - y = -46. Let c = 9 - i. Do -4 and c have different values?
False
Let u = 4 + -4.1. Let x = u - -0.3. Let b = -0.2 + x. Which is smaller: 1/4 or b?
b
Let z = 9 + -12. Is -2 smaller than z?
False
Let l(y) = -2*y**2 - y. Suppose 0 = 2*j - 6*f + f - 4, -3*j + 5*f - 4 = 0. Let z(p) = -p - 9. Let i be z(j). Let x be l(i). Is x bigger than 1?
False
Suppose 3*t = t. Let h = -37/5 - -254/35. Is t > h?
True
Suppose 4*s = 42 + 42. Is s at most as big as 21?
True
Let a(p) = -p**3 - 17*p**2 - 16*p + 19. Let s be a(-16). Which is greater: -1 or s?
s
Let d be 4/(-20)*-2*-115. Which is smaller: -47 or d?
-47
Let c(a) = -18*a. Let f be c(1). Let w be 3/f*-2*-141. Let j = w + 142/3. Is j > 1/3?
False
Let h(f) = 14*f**3 - 3*f + 4. Let x be h(1). Is x greater than or equal to 13?
True
Let x be 2/(-3)*24/(-16). Let k = -2940/13 - -226. Are x and k unequal?
True
Suppose 0 = 2*t + 3*t + 15. Let w = t - -2. Which is smaller: w or 2/9?
w
Let s = -168 - -164. Is 0.5 at most as big as s?
False
Let q = 3 - 2. Suppose 3*h = 4*h - q. Suppose -z + h = -2. Which is smaller: 2 or z?
2
Let f(d) = -d**2 - 4*d + 5. Let v be (-10)/2*(2 + -1). Let s be f(v). Which is smaller: s or 9/7?
s
Let a = 6.08 + -6. Let x = a + -0.18. Let u be (-46)/(-24) - (-4)/(-6). Which is smaller: x or u?
x
Let u = -35 - -26. Which is greater: -10 or u?
u
Let i be -9*(2/(-13) + (-3)/65). Which is greater: 1 or i?
i
Let l = -26 - -35. Is l bigger than 1?
True
Let q = 467/6 - 78. Which is smaller: -1 or q?
-1
Let r(x) = x**2 + 2*x + 27. Let d(t) = -2*t**2 - 5*t - 53. Let i(a) = 3*d(a) + 7*r(a). Let y be i(0). Suppose -y = 4*q + q. Which is smaller: q or -5?
q
Let a = 10 - 10. Let n be (-4)/14 - 605/(-1309). Is n smaller than a?
False
Let g = 0.2 - 0.6. Let v = -5 + 6.4. Let p = v + g. Does p = 2/11?
False
Let j = -0.616 + 0.416. Let y = -0.9 + -0.1. Let n = y + 2. Is j greater than n?
False
Let x = 3 + -5. Let h be x/1 + 10/1. Suppose 5*g = 2 + h. Is 2 > g?
False
Suppose 5*a = -5*h + 3*h + 23, 0 = -5*a + 2*h + 27. Suppose a = -3*l + 2. Which is greater: 0 or l?
0
Suppose 8*l - 5 = -37. Suppose -d = 3*d + 12. Which is greater: l or d?
d
Suppose 0 = -3*z - 3*o - 6, -o + 6 = 3*z - 4*o. Suppose z = l - 0*l. Which is smaller: -3/5 or l?
-3/5
Suppose 5*j - 5*c = -520, -122 = j + 7*c - 2*c. Is -107 greater than j?
False
Let w(l) = -l**2 - l - 1. Let u be w(0). Suppose n - 2 = -0*n. Suppose g = -2*c - n*c + 11, 4*g + c = -1. Is g less than or equal to u?
True
Let f = -206 + 149. Which is greater: f or -1?
-1
Let h = 553/2189 + 4/199. Which is smaller: h or 1?
h
Let k = 0.14 - 1.14. Let b = -912/11 + 83. Which is smaller: k or b?
k
Suppose 13 = b + 5. Suppose b*h = 3*h + 10. Suppose h*k - 13 = -3*g, k + 2 + 9 = 2*g. Is k at least -1/3?
False
Let m(w) = -w - 11. Let o be m(-11). Suppose p - 2 + 3 = o. Let d = 1405/8 + -176. Is d < p?
False
Let x be (9 - 0)/((639/(-6))/(-1)). Which is greater: 1 or x?
1
Let u be 15/6 - (-12)/(-8). Which is greater: u or 6?
6
Suppose -8*x = -4*x + 64. Do x and -16 have the same value?
True
Let g = 3 - 0. Let r = -0.02 - -8.02. Let i = r - 7. Is g bigger than i?
True
Let w = 7591/5 + -1547. Is -29 greater than w?
False
Let z = -1 - -8. Let n(w) = w**3 - 7*w**2. Let l be n(z). Which is bigger: -2/7 or l?
l
Let n be 6/14 + (-45)/7. Let z be n/(-4)*10/60. Is -2/3 at most z?
True
Let d be 5/122*74 + -3. Is d > -1?
True
Let d = -0.2 + 1.2. Let i = -11.1 + 11. Which is smaller: d or i?
i
Let v be (-2)/4 + 97/2. Let w be (-2)/(-7) + v/(-315). Let t be 4/(-14) - 20/28. Are t and w non-equal?
True
Let d = 66 + -328/5. Let q = 5 + -10. Let y = q + 6. Is d < y?
True
Let c be (-1427)/9 + 1/3. Let u = 158 + c. Let d = -11 + 11. Which is smaller: u or d?
u
Let p be (-66)/(-60) - (-1)/2. Which is smaller: p or 2?
p
Let i = 1.4 - 2.4. Is 1/3 bigger than i?
True
Let v be ((-5)/(-75))/(2/(-3)). Let x(u) = -u**3 + 7*u**2 - 6*u + 1. Let a be x(6). Which is bigger: a or v?
a
Let b(t) = -t - 5. Let k be b(-6). Let g = -57/80 + 21/16. Which is bigger: g or k?
k
Suppose -20 = -3*g - 5. Is g <= 5?
True
Let v = 1.34 - 1.5. Let m = v - 0.84. Which is bigger: m or 9?
9
Let z = 76 + -75. Is -2/11 greater than z?
False
Let t = 3.2 + 13.8. Let s = t - 13.2. Let j = s + -4. Which is greater: j or -0.1?
-0.1
Suppose -m = -0*m - 9. Suppose -5*t + 13 = 4*z - m, 4*t = 5*z + 34. Suppose -2*d - 3 = u, -5*d - t - 4 = 0. Is u less than 5/6?
False
Let k(g) = -3*g + 10. Let l be k(4). Do -11/9 and l have the same value?
False
Let j(v) = -v**2 - 7*v - 2. Let l be j(-6). Suppose 4 + 4 = -l*h, 0 = -3*y - 2*h + 8. Let f = -4 + y. Is f smaller than -2/11?
False
Let w = -51523/1480 + 283/8. Let s = 6/37 - w. Which is smaller: s or 1?
s
Let f be 118/20 - 1/(-2). Is 5 >= f?
False
Let u(k) = k + 2. Let d be u(-2). Let x = -10 + 15. Let p(v) = -v**2 + 4*v + 6. Let j be p(x). Which is bigger: d or j?
j
Let m(q) = -4*q - 21. Let r be m(-5). Which is greater: r or 1/91?
1/91
Let c = -18 - -19. Which is smaller: c or -2/31?
-2/31
Let j = 20 + -13. Let k = -7 + j. Is k bigger than -0.1?
True
Let r = -4 - -4. Suppose t + 2 = -2*f, 2*t + 2*f = 6*f - 44. Let d be (-11)/t - 3/12. Which is smaller: d or r?
r
Let b = -5/46 + 9/506. Let n be (-1 + 2)*15/(-30). Is n at least as big as b?
False
Let u(d) = d**2 + d. Let p(r) = 3*r**2 + r + 4. Let n(l) = -p(l) + 4*u(l). Let b be 0/(2 - 6) + -4. Let s be n(b). Is -1 at least as big as s?
False
Suppose 0 = -3*m - 2*u + 6, 2*u = 2*m + 3*u - 3. Suppose 14 = 3*o + 2*v, -5*o - v + 30 = 9. Let k be 1 + -3 + 7/o. Which is smaller: m or k?
k
Let x = -51 + 42. Let c be -7 - (-3)/(-5 + 2). Which is smaller: x or c?
x
Let r = -1/78 + 163/546. Let j(p) = -p**2 - 2*p + 2. Let a be j(-2). Let u be a + 3/4 - 3. Which is smaller: r or u?
u
Suppose 5*a - 40 = -3*o, -5*o = -4*a - 4*o + 49. Is a at most as big as 11?
True
Let b = -66 - -75. Let h = 3 + 5. Is b < h?
False
Let h = 3 + -3. Suppose 4*w = 3*g + 23, 2*g - w = -3*w + 8. Let i be 2/6*(g - 2). Is h > i?
True
Suppose o + 5 = -2*t - t, t - 15 = 3*o. Is -0.09 greater than or equal to t?
False
Suppose -5 = -4*l - 25. Which is smaller: -7 or l?
-7
Let m = 6 + -6.02. Let k = m - 0.08. Let d = -0.04 + 2.04. Is d at most as big as k?
False
Suppose -4*f + k = -4, -3*f - 4*k + 5*k + 3 = 0. Is f equal to 4/11?
False
Let g = 85 + -84. Are 0.074 and g unequal?
True
Let c be 12/4 - 35/11. Let f be 6/(-7) - 1/(-1). Which is greater: f or c?
f
Let u = 30 - -13. Which is smaller: 44 or u?
u
Let n = -2 + 1. Let o be (2 - -1) + (-15)/2. Let d = o + 4. Is d greater than n?
True
Let r = 65 + -64. Is r >= 8/7?
False
Suppose 3*g - 4 = 7*g. Suppose 0 = -i - 1 - 1. Which is smaller: i or g?
i
Suppose -m = -3, 4*m + 0*m = -2*g + 18. Is 7/3 greater than g?
False
Let o = 0.33 + -1.33. Are o and -11/4 nonequal?
True
Let s be 59/(-2) + (0 - 2). Let w = s - -31. Which is greater: 2 or w?
2
Let m(t) = 3*t**3 + t + 1. Let w be m(-1). Let l be 620/(-42) + w/(-9). Let y = l - -99/7. Does y = 1?
False
Let c be ((-30)/(-4))/(54/72). Is -1 >= c?
False
Let b be (6/(-3) - -3)/(-10). Which is smaller: -1 or b?
-1
Let s(w) be the first derivative of w**4/4 - 2*w**3/3 - 2*w**2 - 3. Let d be s(3). Which is smaller: -5/3 or d?
d
Suppose 2*u = -17 + 55. Is 21 < u?
False
Suppose -i - 3*i = -28. Let n(b) = 