b equal?
False
Let i = 2.3 + -0.8. Is i greater than -2/3?
True
Let d = 4.06 - 0.06. Let a = -0.025 + 23.025. Let k = a + -22.5. Is k greater than or equal to d?
False
Suppose 0 = -2*i - 5*v + 73, i - 4*v + 3*v = 19. Let q = i + -22. Let o be 4/8*q + -3. Do -3 and o have the same value?
False
Let k(r) = r**3 + 4*r**2 - 4. Let g be k(-4). Let y(w) = w**2 + 7*w - 15. Let s(m) = -m + 1. Let f(t) = 3*s(t) + y(t). Let o be f(g). Is -12 smaller than o?
False
Suppose 0 = -3*x - 128 - 13. Is x bigger than -49?
True
Let j be (3/(-5))/(143/220). Suppose -3*u + 7 = 13. Is j at most as big as u?
False
Suppose -a + 5 + 1 = 0. Let y be 10/(a/15 - 0). Is y less than 2?
False
Let c = -468 + 467. Which is smaller: c or -1/106?
c
Let q = -23.992 - 0.008. Let z = 14.76 + 0.24. Let b = q + z. Which is bigger: -1 or b?
-1
Let t be 2/6 - 68/51. Let v be t/(-3) + (-12)/144. Let c = -1.6 - -0.6. Which is smaller: v or c?
c
Let k = 477637/218 + -2191. Is k greater than -2?
True
Let p = 1386 - 5789/4. Let n = p - -61. Is n less than 5?
True
Let n(u) = -6*u - 17. Let z be n(-4). Suppose 0*a - z = -a. Is 7 > a?
False
Let h = -5 + 4. Suppose 41 + 83 = 4*l - 3*m, -4*l + 152 = 4*m. Let r be (-4)/(-18) - l/18. Which is greater: r or h?
h
Let f = 216 - 215. Is -1.09 != f?
True
Let a be 3/(-28)*(-1310)/(-15). Let z = a - -9963/1064. Let k = 161/1368 - z. Is k equal to -1?
False
Let y be 15867/(-7) - (-6)/(-21). Let a = y + 115621/51. Is 1 at least as big as a?
True
Let h = -74 + 88. Suppose -12*v = -h*v + 84. Which is bigger: 40 or v?
v
Suppose -2*g + 4 = -8. Let p be ((-4)/6)/(g/684). Let c be (-1)/(-2) - (-46)/p. Is c != 0?
True
Let z(o) = -o**3 + 19*o**2 + 20*o - 13. Let a be z(20). Let f be -2*3/9*(7 + a). Which is greater: f or 28/9?
f
Suppose 0 = 16*m - 2196 + 1220. Which is smaller: m or 417/7?
417/7
Let q = -4.14 - -0.14. Let z = q + 2. Which is bigger: -11 or z?
z
Let v(y) = -y. Suppose -2*u + 4*l + 6 = l, 0 = -4*u + 5*l + 12. Let z be v(u). Which is smaller: -8/5 or z?
z
Let o = 583 - 5239/9. Let x = -22/45 + o. Which is smaller: x or 4/3?
x
Let w be ((-7273)/(-728))/(-1) + 10. Which is smaller: 1 or w?
w
Suppose n = 4*n - 3*y + 9, -4*y + 22 = n. Suppose -n = 2*a + 24. Suppose 7*v - 2*v = -55. Which is bigger: a or v?
v
Let x = 219 + -220. Let o = 3.2 - 5.2. Which is smaller: o or x?
o
Suppose -h + 18 - 17 = 0. Let f be (2/4 - h)*-2. Which is smaller: 4 or f?
f
Let n be (-59)/(-3) + 2/(-3). Suppose 63 = -n*o + 22*o. Let y = 21 - o. Which is smaller: 0.5 or y?
y
Let b(m) = m**2 - 8*m - 66. Let i be b(13). Is -1 >= i?
True
Suppose -2 = g + 122. Let x = 135 + g. Let p(n) = n**2 + 1. Let l be p(3). Which is smaller: l or x?
l
Let w = -930 + 929. Which is bigger: 1/1124 or w?
1/1124
Suppose 0 = 8*z - z - 301. Is z at most 48?
True
Suppose 2*o + 72 = -2*o. Let k = 11 + o. Is -1/5 at least as big as k?
True
Let f = 0.22 + 1.78. Which is smaller: f or 0.004?
0.004
Let u be (-358)/(((-48)/(-6))/4). Is u bigger than -179?
False
Let g = -310 - -310.2. Which is smaller: -1.28 or g?
-1.28
Let d = -4 - -2. Let r(j) = 3*j + 8. Let l(s) = s. Let x(b) = 2*l(b) - r(b). Let h be x(-5). Which is greater: d or h?
d
Suppose -i = 0, t + 0*t + 2*i - 27 = 0. Let w = 47 - t. Let r = w - 8. Is r at least 12?
True
Let o(l) = 8*l**2 - 17*l + 23. Let c(n) = -3*n**2 + 6*n - 8. Let u(q) = 11*c(q) + 4*o(q). Let z be u(0). Are z and 9/2 unequal?
True
Suppose 0 = -15*o - 18 - 12. Let r be (-11 + 11)*(o + 0 + 3). Is r >= -8/15?
True
Let z = -135 + 161. Which is greater: z or -2?
z
Let x = 33.11 - 33.1. Is -0.09 bigger than x?
False
Suppose 4*v + 0*v = 5*p - 44, 3*p - 2*v = 26. Let w be 14 - ((-8)/2 + 20 + -13). Which is greater: p or w?
w
Let b = 17.15 - 17. Let d = 0.05 - b. Is d greater than 0.03?
False
Let q = -63 - -63. Suppose 4*n = -2 - 10, 0 = 5*o + 5*n + 270. Is o at least as big as q?
False
Let y = -3/140 - -197/6580. Is 0 bigger than y?
False
Let m(s) = s**3 - 14*s**2 + 38*s + 20. Let i be m(10). Which is bigger: i or -2/439?
i
Suppose -2*i + 176 = o, 3*o - 5*i - 71 - 479 = 0. Are 180 and o unequal?
False
Let j be 2/6 - (-22)/(-3). Suppose 0 = 2*d + d. Let r be j/(-2) + -4 + d. Is r > 0.1?
False
Suppose -4*w - w + 105 = 4*u, -u + 4*w = -21. Let i = 6 - u. Which is smaller: i or -20?
-20
Let v be 2 + 2 - (-5 - -6). Suppose 0 = -2*g + 5*g + 3, 0 = v*i - g - 4. Let q = 0.3 + -0.1. Which is bigger: q or i?
i
Suppose -d + 381 = 4*d - b, 292 = 4*d - 4*b. Which is bigger: 6 or d?
d
Suppose 5*o = 15 - 0, 0 = p + 4*o - 12. Is p != -4/87?
True
Suppose -8 = -13*h - 8. Is 2/107 equal to h?
False
Let p = 29 + -59/2. Let a(t) = t**2 - 7*t - 13. Let o be a(9). Let x be (-1 + o)/(2 + -4). Which is smaller: p or x?
x
Let s(f) = f**2 + 8*f. Suppose 16 = 5*d + 61. Let i be s(d). Let x be 6/i*4/40. Is x not equal to 1?
True
Let g = 3.5 - 3.86. Let h = g - -0.56. Which is bigger: h or 0.8?
0.8
Let y = 16 - 28. Let r = -249 - -236. Are r and y equal?
False
Let q = 1.638 + -0.638. Which is smaller: -1463/4 or q?
-1463/4
Suppose 6*w = -5*w - 1738. Which is bigger: w or -157?
-157
Let x(p) = -5*p + 2. Let h be x(-4). Let m = -25 + h. Which is bigger: m or 1?
1
Let d = -55 + 54.95. Let t = -0.3 + 0.25. Let x = t - d. Which is smaller: -13 or x?
-13
Let j be 11 - (9 + 0 + -4). Let c be 0 + (-5)/((-3405)/j). Which is bigger: 1 or c?
1
Let y = -521 + 1018. Which is smaller: 498 or y?
y
Let q(s) = 2*s - 5. Let x be q(4). Suppose -2*j + 5*u + 8 = 1, -j = -x*u - 4. Let m be 2 + (-52)/16 + j. Which is bigger: m or 1?
1
Let g be (-2)/(-6)*0/10. Let c be g + (-4 - -3) + 2. Which is smaller: c or 5/6?
5/6
Let t = -14 + 12. Let s = 2 + t. Let b be (s - 3)/((-39)/26). Is b greater than 8/11?
True
Let c = 47 + -53. Which is smaller: -11 or c?
-11
Let f = -68/369 - -1/9. Which is bigger: f or -1?
f
Let h = 2774 - 163672/59. Let g = -129703/203845 + 93/691. Let y = h - g. Is y smaller than -1/2?
False
Let t = 1440 + -1440. Is 3/41 equal to t?
False
Let s(a) = a**3 + 9*a**2 - 10*a + 2. Let v be s(-10). Suppose 0*x + 20 = -v*x. Let c be 3 + (46/x - -3). Which is smaller: 0 or c?
0
Suppose -400 = -26*m - 24*m. Suppose 0*r - 17 = -2*q - 3*r, 5*q = 5*r + 30. Is m less than or equal to q?
False
Suppose 0 = 2*j + 2*j - 4. Let a be 2/4*5 + 301/(-344). Which is smaller: a or j?
j
Let x = 14/9 + -19/18. Let b(t) = t**3 - t**2 - t - 2. Let h be b(0). Let f be ((-37)/9 - -4)/(h/(-3)). Is f at least x?
False
Let k = -3 + 2.9. Suppose 63*b = 410 + 157. Is b less than or equal to k?
False
Suppose -4*f + 11 = 5*j, 2*j = f - 21 + 2. Let z be ((-30)/f - -4)/(-3). Does 2 = z?
False
Let k(g) = g**3 + 8*g**2 + 6*g - 16. Let t be k(-7). Is t at most 30?
True
Let r = -5 - -4.95. Let b = r - 0.05. Let a = 125 - 140. Which is smaller: b or a?
a
Suppose 0 = 43*p - 38*p + 20. Let t be 12 + -8 + p*(-27)/2. Is t greater than 2/3?
True
Suppose -2*g - g = 0. Let s(d) = -d - 8. Let r be s(-10). Is g bigger than r?
False
Let s(b) = -12*b - 33. Let a be s(-3). Let k = -45.95 - -44. Let d = k - 0.05. Which is bigger: a or d?
a
Suppose -4*n + 120 = 4*d, 5*d = 4*n - 93 - 36. Suppose 5*y + n = -49. Let z be -3 + 2 - 28/y. Which is bigger: -1 or z?
z
Suppose 8 = 3*f - 2*y, -4*f + 2*y = -y - 9. Let w(r) = r**2 + 3*r - 43. Let v be w(f). Is 6/5 bigger than v?
False
Let b = -71 - -71. Let h = -9 + 15. Let x be h/39 - (-42)/(-104). Which is bigger: b or x?
b
Let r(w) = 3*w - 5. Let a(h) = -h + 3. Let l(v) = 5*a(v) + 3*r(v). Let x be l(1). Let d = -30 + x. Which is bigger: d or 0.1?
0.1
Let x(u) = u**3 - 7*u**2 + 15*u - 7. Let j be x(5). Suppose 0 = -a - j + 12. Which is bigger: a or -14/3?
-14/3
Let s(i) = 11*i - 14. Let w(c) = -4*c + 5. Let g(q) = 3*s(q) + 8*w(q). Let z be g(6). Let y be -1*(-3 + 2) - 14/(-4). Is y <= z?
False
Let j = 663 - 508. Which is bigger: j or 2/5?
j
Let s be 1 - (-2)/((-2)/1). Let z be -3 + s + 8 + -4. Which is greater: z or 0.4?
z
Let o = -601 + 600.9. Is o at most as big as -1526?
False
Let w(y) = y**3 - 22*y**2 + 70*y - 97. Let b be w(22). Is b less than 0?
False
Let n(t) = -14*t + 28. Let p be n(-13). Let y be ((-108)/(-16))/9*(-4)/p. Which is bigger: -1 or y?
y
Suppose 5*y - 24*m = -28*m - 1, -2*m + 4 = 4*y. Is 28 at least as big as y?
True
Let w = 48 + -46.5. Let d = w + -2.5. Suppose -3*v - 4*o = 10, 0 = -3*o + 6*o + 12. Which is greater