hich is greater: b or 3/22?
3/22
Let q be 86/(-40) - (-6)/18*6. Which is greater: -0.3 or q?
q
Let d = 130 - 161. Which is greater: -3 or d?
-3
Suppose 4*q = -2*x + 24, -x - q = x - 9. Suppose -3*i - x*i + 32 = 3*b, -2*b = -4*i - 36. Which is bigger: 15 or b?
15
Let d be (-15)/(3 - 8) - 2 - 2. Is d smaller than 2/361?
True
Let a = -5.21 - -0.51. Let g = -2.7 - a. Is -0.14 greater than g?
False
Let w = -134.73 + 4.73. Which is smaller: w or 2?
w
Suppose 6*w - 9*w + 54 = 0. Let t = 33 - w. Let y be 220/14 + 2/7. Are t and y equal?
False
Suppose 4*x = 3*n - 8 - 14, -2*x - 16 = -4*n. Suppose -7*g - 3*m = -2*g - 49, -5*m = -n*g + 1. Let s = -7 + g. Is 1 less than s?
False
Let t(q) = -q**2 - 13*q - 10. Let v = -32 - -23. Let n be t(v). Which is smaller: n or 27?
n
Let l = -219 - -235.76. Let x = l - -0.24. Let r = x + -11. Which is greater: 1 or r?
r
Let f = 53.5 + -78.5. Which is smaller: -8 or f?
f
Suppose -3*z - 2*x + 8 + 11 = 0, 2*z - 3*x - 17 = 0. Suppose j = -4*j + v + z, j - 4*v = 9. Is -1/7 != j?
True
Let f = 1582 + -2930. Which is bigger: f or -1349?
f
Let s(r) = -7*r - 65. Let z be s(-10). Is 36 less than or equal to z?
False
Let g(n) = -2*n**2 - 4*n - 2. Let k be g(-3). Let a be k/(-20) + 26/10. Suppose -a*h - 2*h = -3*l + 125, -h - 48 = 4*l. Do -27 and h have different values?
True
Let s be 21/(-7) + -2*23/(-2). Suppose -5*w = -4*i - 65, -i + 2*i = 5*w - s. Which is bigger: 1/3 or i?
1/3
Suppose 7*m = -1 + 589. Is m smaller than 86?
True
Let v = 11.47 + -11.595. Is 6 equal to v?
False
Let a = -0.1 - -0.11. Let x = -0.09 + a. Let c = 0 - x. Are c and 0.1 equal?
False
Let j be (8 - 2) + 4*(1 + -2). Suppose 2 + 8 = 5*l. Is l less than j?
False
Let w = 7144/13 - 550. Let n = -0.8 - -0.7. Which is smaller: w or n?
w
Let n = 17 - 20. Let a be (-4)/(-12)*(3 + n). Suppose a*o + o = 4. Is o at least 4?
True
Suppose -4*r + 7*r - 69 = 0. Suppose 0 = 5*a + 58 - r. Is a equal to -8?
False
Let f = -5 + 7. Suppose u = -y - 4, -2*u - f + 0 = -4*y. Let m be 1/9 - (-3 + 3). Which is greater: m or y?
m
Let c = -24 - -26. Let g be 1/4 + (-58)/(-88). Let r = g - 8/33. Is c equal to r?
False
Let t be (20/15)/((-2)/12). Let z(p) = p**3 + 10*p**2 + 16*p. Let o be z(t). Which is smaller: o or 1?
o
Let k(h) = -h**3 + 6*h**2 + 2*h. Let y be k(6). Let z be 5/(-21)*y/4. Let b = -1 + -1. Which is bigger: z or b?
z
Let x be (-3 + 12)/((-6)/12). Let s be 3/(-6) + (-9)/x. Is s less than or equal to -2/185?
False
Let m be 31968/26082 - 2/21. Which is bigger: m or 1?
m
Let b(j) = -j**2 - 3*j - 2. Let g be b(0). Let d be 1 - (1 + (g - 0)). Which is bigger: d or 8/3?
8/3
Let m(i) = -9*i + 8. Let l be m(-2). Let u be (1/34)/((-39)/l). Let z(c) = c - 4. Let h be z(4). Which is smaller: u or h?
u
Let a(q) = -q**2 + 26*q - 104. Let m be a(21). Which is bigger: -0.68 or m?
m
Let p = 624 - 25586/41. Let g = -185 + 185. Which is smaller: p or g?
p
Suppose 3*q = -3*t - 162, -q - 4*q - 160 = 3*t. Which is bigger: -57 or t?
t
Suppose t + 6*t - 105 = 0. Let o = -15 + t. Is o smaller than -1?
False
Suppose -5*r - 8 = -4*y - 81, 37 = 2*r + y. Which is greater: r or 19?
19
Suppose -7*d + 2*d = -175. Let h = 24 - d. Which is greater: h or -12?
h
Suppose -545 = -16*y + 207. Suppose -6*n = -2*n - 184. Are y and n equal?
False
Let d = -20453/11360 - -1/2272. Let z = 0 - 0. Suppose 4*x + 8 + 0 = z. Which is greater: d or x?
d
Suppose 5*a + 3*a = 320. Suppose -3*z + l - a = 0, 3*z = z - 3*l - 34. Let g be 72/(-112) - 6/z. Is g < 1?
True
Let b(z) = -z + 2. Let g be b(2). Which is greater: -2/761 or g?
g
Suppose -6*j = -12*j + 30. Let u(c) = c**3 - 4*c**2 - 4*c - 2. Let w be u(j). Let k be (0 - w/(-3))*-14. Is k greater than or equal to -14?
True
Suppose -2*y - 13 = -1. Let c be 3464/(-6) - y/(-9). Let x = 15608/27 + c. Is x greater than 0?
True
Let c = 0.018 + 0.112. Let g = 0.11 + c. Which is smaller: g or -0.1?
-0.1
Suppose 5*p = -5*l + 250, -136 = -3*p + l - 6. Suppose -4*j + 5 = -9*j, 4*b + 5*j + p = 0. Suppose 0 = 4*t - 5*t - 11. Which is smaller: b or t?
t
Let c = 7 + -4. Let f(s) = -2*s + 15. Suppose -4*o = -29 + 1. Let a be f(o). Which is smaller: a or c?
a
Let t be 2/40 + (-83)/332. Do -82 and t have the same value?
False
Let p = 8888009/19 + -467948. Let b = 158 + p. Is 1 bigger than b?
True
Suppose 13 = -21*j + 8*j. Let g(z) = z**2 - 3*z - 3. Let x be g(4). Which is bigger: x or j?
x
Let d = 1/27 + -56/783. Let z = -113 - -114. Is d less than z?
True
Let y = 8 + -7.7. Let c be 1 - (6 - 12)/1. Which is bigger: c or y?
c
Suppose -x = -7*x + 48. Suppose 2*d + x = -2*r, d + 5*r = -0*r - 12. Which is greater: d or -16/7?
d
Suppose -4*i - 2 = -4*n + 6*n, 4*n - i = 5. Is 53 > n?
True
Let m(q) = q**3 + 5*q**2 - 5*q + 7. Let g be m(-6). Let u = 0 + g. Let n be (-1)/6 + u/2. Do -0.1 and n have different values?
True
Suppose 2*r - 2*w + 28 = 3*w, 2*r - 4*w = -24. Let t(z) = -3*z**2 - z**2 + 1 - 5 - z**3 + 0. Let a be t(r). Is a less than or equal to -3?
True
Let s(t) = -2*t**3 - 6*t**2 - 2*t - 6. Let b be s(-3). Suppose b = -z - z + 4. Are z and 6/11 unequal?
True
Let q be (-1)/(-2) + (-5)/10. Suppose -4*w - 2*z - 6 = q, w + 2*z + 2 + 7 = 0. Are w and -1/25 equal?
False
Let u = 65 - 60. Suppose -2*c = -u*r + 29, -5*c - r = -4*r + 25. Are -6/7 and c unequal?
True
Let z be ((-12)/(-8))/((19 - 4)/5)*0. Let r be 717/(-3105) - 2/(-9). Which is bigger: r or z?
z
Let l be (0/1 + -1)*(-15)/5. Suppose l*i - 2*s - 2*s + 13 = 0, 2*s - 45 = 5*i. Which is greater: i or 0.3?
0.3
Suppose 7*d - 22 - 20 = 0. Let z be (4 - d) + (2 - 3). Let s be (-1 - -5)/(11/(-6)). Which is smaller: s or z?
z
Let w = -48885 - -2101905/43. Which is smaller: -4 or w?
-4
Let b = -40 - -18. Let i = b + 41. Is i at most as big as 2?
False
Let d be (-2 - 6/(-5))*-5. Let b = -83 - -87. Suppose -b*n - n + d*v = -3, -2*n - 2*v = 6. Is n greater than or equal to -0.07?
False
Let d = 15 + -15.7. Let o = d - -0.8. Let a = -37 + 34. Which is smaller: o or a?
a
Let o = -3397/656709 - 2/1437. Which is bigger: 1 or o?
1
Let x be (720/(-980))/(2 + (-43)/14). Does x = 0?
False
Let d = 12 + -11. Let a be (-3)/(12/10) + (-84)/(-63). Is a at most d?
True
Suppose n - 196 = -6*n. Let i(h) = -h + 8. Let w be i(9). Which is smaller: n or w?
w
Let s = -212 + 849/4. Do -251 and s have different values?
True
Suppose 5*i + 2*a - 25 = -a, -2*a + 12 = i. Suppose -s = i*s. Suppose -u - 2*k = 2*u + 31, -4*u - 2*k - 42 = s. Which is greater: -12 or u?
u
Let u = -28 - -16. Let x = u + 17. Suppose -7 = -x*z + 3. Is 0 at most z?
True
Let j = -271.6 + -13.4. Is j < -2/3?
True
Let d = 20 + -19.75. Let o = -0.21 + d. Let j = 0.06 + o. Which is greater: j or -0.03?
j
Let b = -11.5 - -10.96. Let p = b - 0.46. Which is bigger: p or 79?
79
Let j(l) = l**3 + l**2 - 3*l - 2. Let t be j(-2). Let q = -1277/12 + 106. Which is bigger: t or q?
t
Let n be ((2 - 18)/(-4))/(4/(-246)). Let t be 2*((-243)/n - 1). Which is smaller: t or 0?
t
Let m(o) = -4*o - 6*o - 2 - 2 - 8*o. Let j be m(-1). Suppose -x = -h + j, -5*x - 2*h + h = 76. Which is smaller: x or -13?
x
Let k = -34 - -37. Let d = 24/7 - k. Is d >= -1?
True
Let f = -669/4 + 168. Let d = f - 1/4. Let r = -1 - -2. Is d equal to r?
False
Let q = 408/5 + -82. Let p = q + -1/10. Suppose -5*s = -20, -33*w + 30*w + 17 = 5*s. Is w smaller than p?
True
Let d be (89/(-445))/(3/(-10)). Which is greater: d or 488/5?
488/5
Let h = 6169 - 55583/9. Which is bigger: h or -8?
h
Let o(k) = k**2 - 17*k - 8. Let c be o(17). Let p be 9/6*c/12. Is -2 equal to p?
False
Let l be -1 + -1*1*-1. Let j be (-7 - 2670/(-492)) + (-68)/(-8) + -7. Is l greater than j?
True
Let k be (-2)/(-20) - 53/30. Is k bigger than 13?
False
Let u be 23/2*(-4 + 38). Suppose -4*z = u + 29. Let t be (-28)/z + (-3)/5. Is t at least 2?
False
Let a = 51/10 - 3059/590. Which is smaller: a or 0?
a
Suppose 6 = 3*d - 5*d, -4*u = 5*d + 195. Is -27 greater than u?
True
Suppose -16*s = 88 - 360. Which is smaller: 152/9 or s?
152/9
Let x be 3/((-3)/14) - 0. Suppose -12 + 56 = -2*s + 4*o, 0 = 3*s - 4*o + 60. Which is smaller: x or s?
s
Let x(d) = -6*d + 4. Let w(c) = -7*c + 3. Let l(y) = 5*w(y) - 6*x(y). Let s be l(10). Which is greater: s or 0?
s
Let n = -41797/2932 - -4/733. Which is smaller: n or -14?
n
Let c = -13 - -20.4. Let o = c - -2.6. Let k = o + -10. Which is smaller: