= -37/10 - -21/5. Which is smaller: b or c?
b
Suppose -k + 1 + 15 = 0. Is 15 at most as big as k?
True
Let w = 41.1 + -38. Let c = 2.96 - -0.04. Let i = w - c. Which is bigger: i or 6?
6
Let x = -4 - -2. Let l be (-8 + 0)/2*15/80. Which is bigger: l or x?
l
Let j be 1/(-3) - (-31)/75. Suppose 4*x = -7 + 3, 5*x = 3*i - 8. Which is bigger: j or i?
i
Suppose -2*j - 18 = -4*x, 2*j - x = -6 - 6. Let p = 13 + -19. Which is greater: j or p?
j
Let z be 2/3 + 22/(-6). Suppose -2*c + 210 = 208. Let w = c + z. Which is smaller: -4 or w?
-4
Suppose 3 = 3*d + 4*x, 2*d - 2*x - 2 = -0*x. Which is bigger: -2/35 or d?
d
Suppose -5*q = d - 5, -4*d = -4*q - 56 + 156. Let c = -14 - d. Is 6 bigger than c?
False
Suppose -5*o - 4*t = -100, -3*o + 2*t + 8 = -52. Let y be (-4)/o + (-12)/(-10). Let r be ((-12)/(-3) - y)/7. Which is smaller: r or 1?
r
Suppose -4*k = -5*k + 13. Which is smaller: k or 14?
k
Let i(x) = -x**3 + 11*x**2 - 8*x - 14. Let y be i(10). Suppose 3*r - 1 = -4*q + y, 0 = 5*q - 5. Do -3/13 and r have the same value?
False
Let v(k) be the second derivative of k**4/12 - k**3 + k**2 + 6*k. Let l be v(6). Does l = 2?
True
Let h(x) = -x**2 + x. Let v be h(0). Which is bigger: v or -3/4?
v
Let q(n) = -n**3 - 2*n**2 + 2. Let l be q(-2). Suppose -l*c = 2*c - 24. Let r = -3 + c. Is 4 less than r?
False
Let p(w) = -5*w - 1. Let v be p(-1). Suppose -3*t + v*t = 2. Does 2 = t?
True
Suppose -11 = y + x, y + 4*x - 2*x + 14 = 0. Let o be (y/(-2) + 3)*5. Let q be 1/((o/(-3))/(-5)). Is q < -1?
False
Let d = 128 - 132. Let l = -0.2 - -0.2. Which is bigger: l or d?
l
Let t be 6*((-130)/(-42) - 3). Suppose 0*i + 10 = -k + 5*i, -3*i + 6 = 2*k. Is k less than or equal to t?
True
Let l(y) = -y**2 - 5*y - 2. Suppose -2*o - 28 = 3*o - 2*n, -3*n = 2*o - 4. Let u be l(o). Does u = 4/3?
False
Suppose 2*f - n = n + 2, 2*f + n = -4. Let k be (-15)/(-10)*(-1)/9. Is k less than or equal to f?
False
Let t = 1 - 7. Let i = t + 5. Which is smaller: i or -1/3?
i
Let x(t) = -t - 8. Let l be x(-6). Are -3 and l nonequal?
True
Suppose -2*z + 108 = 18. Let n be (2/3)/(10/z). Let b be n - (2 + -3)/1. Which is smaller: 5 or b?
b
Suppose -18 = -3*n + 42. Suppose b - n = 6*b. Let m = 0.13 + -0.03. Which is bigger: b or m?
m
Suppose 5*k - 571 = -3*r, -4*k = -2*r - k + 349. Let q be (21/r)/(3/4). Are q and 0 unequal?
True
Let y be -1 - (-5)/1*1. Let d = 9 - 6. Does y = d?
False
Let h = 159 - 150. Which is greater: h or 6?
h
Let a = -83 + 745/9. Suppose r + 1 = -0*r. Are r and a equal?
False
Let k = -19235/19 + 1011. Are k and -1 equal?
False
Let s = -4.5 - -1.5. Let t = 16 + -15.7. Which is bigger: t or s?
t
Let l = 7.98 - -0.02. Let v = l + -5. Which is greater: v or 2/7?
v
Let y = -33 - -35.6. Let u = -3 + y. Which is greater: u or -3?
u
Let k(t) = t**3 + 3*t**2 - 4*t. Let q be k(-5). Let s be (-6)/q + 8/(-10). Suppose v = 5*h + 3, h - 6*h = -3*v + 9. Which is smaller: s or h?
s
Let w be 1/(-2) + (-8)/(-16). Suppose -5*l = -w*l. Is l smaller than 4/3?
True
Suppose 4*y + 0*y + 24 = 0. Let b(k) = k**2 + 29*k - 176. Let g be b(-34). Is g at least y?
True
Let x(a) = -a**2 + 8*a. Let r be x(6). Let t = 3 - r. Which is bigger: t or -10?
t
Let h = -120 + 1078/9. Does -4/17 = h?
False
Let d(f) = 10 + f + f**2 - 4*f - 4*f - 2*f. Let a be d(9). Suppose -2*h = h - 4*i - a, 5*i + 10 = 5*h. Are 2 and h non-equal?
True
Let u be (4/3)/(5/15). Let a(k) = k**3 + 8*k**2 - k - 6. Let r be a(-8). Suppose r*z - 31 = -5*l, 0*l - z = 3*l - 18. Which is greater: u or l?
l
Let v(x) = 3*x + 8. Let g(t) = -t - 3. Let h(n) = 7*g(n) + 2*v(n). Let c be h(-3). Let l = -3 - c. Which is smaller: -1/5 or l?
l
Let m(v) = -v**2 - 2*v + 8. Let u be m(-4). Which is greater: 3/19 or u?
3/19
Let s be (-242)/4*(3 + -1). Let c = 607/5 + s. Suppose -2*b - 4 = -2. Which is smaller: c or b?
b
Let l be (-1)/8 + 275/(-4200). Is 0 bigger than l?
True
Let g be (-49)/(-14) - 3/2. Suppose 0*h - 2*h + 5*m - 9 = 0, -g*h - m + 21 = 0. Let b = h + -9. Is -2/35 at least b?
True
Suppose 6*r = 2*r. Suppose r + 4 = 4*x. Let t be 1 - (x + 1) - 1. Which is smaller: -4/7 or t?
t
Let y = 3 + -2. Let s = -592/9 - -66. Which is bigger: y or s?
y
Let f(b) = -b**3 - 6*b**2 - 9*b + 10. Let d be f(-5). Are 29 and d equal?
False
Suppose 5*o = 4*y + 116, 3*y + 2*o + 0*o + 64 = 0. Which is bigger: y or -23?
-23
Let c = -8.9 - -10. Let p = 1.4 - c. Let w = 0.1 - 0.1. Which is smaller: w or p?
w
Let j = -62/117 + 2/9. Let h = 39 + -40. Do h and j have different values?
True
Let x be 2/(-8) + 1/4. Let l = x + 3. Suppose -3*q + 6 = l. Which is greater: -1/4 or q?
q
Suppose -5*u + 4*j - 40 = 0, -2*u = 4*j - 3*j + 29. Which is smaller: -0.4 or u?
u
Let v = 11 - 3. Suppose -p + 5*z = 6, p - 6 = -5*z + v. Let l = p - 5. Are -1/4 and l equal?
False
Let f = 20 + -16. Suppose f*w = -w + 5. Which is smaller: -2/29 or w?
-2/29
Let u be -6*2/(-4) + 0. Suppose -6 = 2*n, -n + 10 = u*r - 17. Let w be (3 + 0)/18*r. Do w and 1 have the same value?
False
Let f = 1.8 - 3.8. Which is bigger: -3/4 or f?
-3/4
Suppose 3*d + 3 = -0*d. Let l = 3 + -3.21. Let z = l + -8.79. Which is greater: d or z?
d
Let o(k) = -12*k + 10. Let m be o(-7). Let s be m/(-24) + (-5)/(-20). Let a = s + 4. Which is greater: a or -1?
a
Let x = -76 - -76. Which is greater: 2/65 or x?
2/65
Let l be (33/(-15) + 1)*-15. Suppose -4*k = -0*k + 20, 0 = 3*w + 3*k + l. Which is bigger: 1/22 or w?
1/22
Let w = 5 - 12. Suppose -8*o - 40 = -3*o. Let h = w - o. Is 3/5 at most as big as h?
True
Let q = 29 - 28. Is q smaller than 1/16?
False
Let b = 0.1 + -0.1. Let h = -2 - -1.85. Let i = h + -0.05. Is b >= i?
True
Let y be (8/20)/(8/52). Is y not equal to 3?
True
Let j(f) = -f + 4. Let v be j(4). Let y = v - -1. Is y equal to 3?
False
Let x be -1*(-3)/9*6. Let q = -0.1 - -0.1. Which is smaller: q or x?
q
Suppose 2*z - 2 = z. Let o = 4 - z. Suppose o*s = 3*s. Is -1/14 > s?
False
Suppose -2*f + 4*a = -12, f - 1 = a + 4. Suppose 3*d = -d + f. Which is smaller: d or -6?
-6
Suppose 10*v - 14 = 16. Is v <= 3?
True
Let o = 5 - 4. Which is smaller: -10/21 or o?
-10/21
Let c = 0.8 + -0.74. Let l = c + -0.06. Is 0.1 greater than l?
True
Let k = -9 - -7. Let p = -2.1 - k. Which is smaller: 5/4 or p?
p
Suppose -5*o - 7 = -2. Is -2 >= o?
False
Suppose 0 = 3*o + 4 + 17. Let g = -22 - -16. Which is bigger: o or g?
g
Let b = -2 - -2. Let q = b - -1. Is 0 at most as big as q?
True
Let p be (-20)/2 - 1 - 1. Let l be 6/4*(-4 - (-28)/6). Let y be l/(-2)*(2 + p). Which is greater: 2 or y?
y
Let i = 2 - -4. Which is smaller: 0 or i?
0
Let l be -3 + 3 - (-3)/1. Let u(v) = -4 + 5 - 4 + 6 - l*v. Let t be u(2). Is t greater than or equal to 1?
False
Suppose -21*q + 255 = -6*q. Are q and 14 non-equal?
True
Let k(a) = -a**2 - 8*a - 3. Let x be k(-7). Let p be (3/(-30))/(x/(-10)). Is p > 2/3?
False
Let r(m) = -m**3 + 2*m**2 - 2*m + 1. Let q be r(1). Let v = -29/561 + -2/51. Is v equal to q?
False
Suppose -15 = n - 2*r + 5*r, 0 = 5*r. Let z = n + 16. Let q be ((-22)/(-18))/1 + -1. Which is bigger: q or z?
z
Let t = 0.055 + 0.045. Which is greater: t or -9?
t
Let v(a) = -2*a**2 + 1. Let u be (-4)/10 + (-6)/10. Let s be v(u). Are s and 0 unequal?
True
Suppose 10*v + 18 = 13*v. Which is smaller: 5 or v?
5
Suppose 3*d + b + 128 = -b, -3*b = -d - 50. Let a be (-6)/(-8) + d/48. Are -1 and a nonequal?
True
Suppose -55*u + 53*u = 0. Let z = 3.08 + -0.08. Which is smaller: u or z?
u
Let z = -0.58 - -0.48. Let g be 26/36 - (-6)/(-27). Is g > z?
True
Let s = -41 - -43. Is 1 at most s?
True
Let z(c) = -3*c + 2. Let d be z(2). Let v = -2951/865 - -2/173. Which is bigger: d or v?
v
Let q = -8 + 9. Suppose 0 = -5*y - 6 + q. Which is bigger: y or 0.4?
0.4
Let m = 9 + -6. Suppose 3*g = 5 + 22. Let c = g + -10. Which is smaller: m or c?
c
Let b = -0.3 + 0.1. Let h = 17/210 - -3/35. Is h not equal to b?
True
Let q = -32 + 63/2. Let g be 4/8*(-8)/10. Which is bigger: g or q?
g
Suppose 0 = -2*h - 2, 2*h = -5*g - 0*h + 28. Does -2 = g?
False
Let h = 2.8 + -0.8. Which is smaller: 1 or h?
1
Let f(c) = c**2 - 5*c - 5. Let d be f(6). Are d and 4/31 non-equal?
True
Let h be -3 + (-7)/(-2 - -1). Let c = -0.2 - 0.2. Let a = -0.3 - c. Which is smaller: h or a?
a
Suppose -v - 4 = 3*x, -5 = -4*x - 3*v - 2. Suppose 0 = 6*q - 17 + 29. Are x and q unequal?
True
Let s(r) = -r**3 - 6*r**2 