be (-2)/(-8)*6/10. Is f greater than or equal to b?
False
Suppose 3*m = 2*m + 5. Suppose 20 = m*q - 0. Suppose -q*j = -2*c - 18, 2*c + 23 = 4*j + j. Is -1/4 greater than c?
False
Let n = 133.4 - 135. Which is smaller: 2 or n?
n
Suppose -7 = i - 5*l, l + 13 = -0*i + 5*i. Let p(x) = -x - 9. Suppose 2*m - 1 = -19. Let g be p(m). Which is smaller: i or g?
g
Suppose 3*d - 1 = 5. Suppose k = -2*j, k - 6 = d*j - 2. Let q = 10 + -9. Which is greater: q or k?
k
Let h = -7 - -2. Let v = -19 - h. Which is smaller: v or -13?
v
Suppose -3*d + 2*d + 1 = 0. Suppose 15 = -m + d. Let l be (12/21)/((-20)/m). Is l at least as big as -6?
True
Suppose -12*y = -2*y + 710. Let a be -1 + -1 + 764/(-12). Let q = y - a. Is q less than -5?
True
Suppose m = -3*g + 14, 19 = m - 0*m + 4*g. Is m greater than or equal to 42?
False
Let u = 16 + -14. Suppose 0 = p + u - 3. Let d be (0 + p - 4) + -7. Which is smaller: d or -2?
d
Let u be (-4 + 3)*24/40. Is 9.8 less than u?
False
Suppose 27*d = 25*d + 4. Which is smaller: -7/24 or d?
-7/24
Let o be (-15)/20 + (-4)/(-16)*775. Is 192 <= o?
True
Let y = 712 + -4978/7. Let q(w) = -w + 2. Let o be q(0). Which is greater: o or y?
o
Let h(d) = -2*d + 9. Let q be h(0). Let a = 5 - q. Let m be 3/5 + a/20. Which is smaller: m or 1?
m
Suppose 2*g + 4*x = 6*g, 4*x = 0. Let f = -3035/594 + 56/11. Which is smaller: g or f?
f
Let n be -4 + (-3)/(9/(-33)) + 164. Is 166 not equal to n?
True
Let z = -10486/45 + 232. Let x = 7/9 - z. Is 2 less than x?
False
Let r = 8 + -3. Suppose 3*l = -r*f - 2*l + 195, f - 3*l - 39 = 0. Suppose 2*t + t = -f. Is t at most as big as -13?
True
Suppose 3*p - 23 = 2*z, 39 + 7 = 4*p + 5*z. Suppose p + 15 = b. Suppose 4*f + b = -0*f. Which is bigger: f or -4?
-4
Let q(v) = -7*v + 414. Let y be q(54). Let w(h) = -12*h - 2. Let f be w(-3). Which is smaller: f or y?
f
Suppose 2 - 86 = -7*w. Which is smaller: w or 105/8?
w
Let y be (-3)/((-5)/((-80)/(-6))). Let w(k) = -2*k - 7. Let c be w(-6). Suppose -s - s = 3*j - 15, c*j - 4*s = 47. Which is greater: y or j?
y
Let x = -9 + 40. Let w = -2.3 + 2.2. Is w > x?
False
Suppose 3*j = 3*j + j. Let z be (2/8)/(j + 2/(-8)). Let u = -483/5 + 96. Which is smaller: z or u?
z
Suppose o + 7 = -4*n - 6, 5*o - 5*n = 10. Let v be (2 - (-189)/(-132)) + 1. Let i = v - 9/11. Which is smaller: o or i?
o
Suppose -146 = -5*r - x + 1215, 5*r - 4*x - 1381 = 0. Do 273 and r have the same value?
True
Let s(g) = -479*g**3 + g**2 - g. Let u be s(1). Let w = u + 3827/8. Does w = 0?
False
Let n be -4 + (-3 - 1464/(-20)). Let w = -61 + n. Which is smaller: 4 or w?
4
Suppose 4*g = -5*d - 2, -3*g + 4*d - 16 = 1. Suppose 2*k - q = q + 6, -3*k + 1 = -q. Which is greater: k or g?
k
Let r = 264 - 655. Is -392 less than r?
True
Let h be (-50)/(-4)*(5 + -3). Let o = h + -25. Let n = -1 + 3. Is o at most as big as n?
True
Let g = 565 - 547. Which is smaller: g or 24?
g
Suppose 21*r = 167 - 41. Let n be (24/6 - 5) + r/16. Which is smaller: -1 or n?
-1
Let o(h) = 149*h - 745. Let y be o(5). Which is bigger: 2/2507 or y?
2/2507
Let w be (-935)/1173*(-9)/5. Which is bigger: w or -0.1?
w
Let d(r) = r**2 + 14*r - 120. Let z be d(-20). Is z < 0.224?
True
Let a = -802 + 1394. Let u = 16573/28 - a. Is u at most 0?
True
Suppose 3*n = 2*o - 24, -4*o = -o - 9. Let a be (-126)/20 + (-3)/15. Is a less than n?
True
Suppose 4*l + 16 - 4 = 0. Let i be (1/l)/(0 + 13). Which is greater: i or 1?
1
Let c(j) = -j**3 + 5*j**2 + 3*j - 7. Let r be c(5). Suppose 4*q - 6*q + r = 0. Which is greater: 0 or q?
q
Let t(n) = -4*n - 18. Let w be t(-6). Let v be (44/33 + (-2)/w)/1. Which is smaller: -1/109 or v?
-1/109
Let x(r) = r**2 - 21*r - 4. Let y be x(9). Let f be (-144)/y + 2/(-7). Let w = -2175/26 + 167/2. Is w < f?
True
Let o be 3 + 358/(-12) - (-17 - -13). Is -23 greater than o?
False
Let f = -145 + 183. Are 38 and f unequal?
False
Let y = -2049.9 + 2010. Which is smaller: y or 2/3?
y
Let y = 82 + -81. Which is smaller: -157 or y?
-157
Let x = -14 - -266. Is 250 smaller than x?
True
Let l = -1001 + 999. Let r(o) = -o**2 + 2*o + 5. Let z = 0 + 5. Let g be r(z). Which is bigger: l or g?
l
Let d(c) = -c**3 - c**2 + 1. Let r(h) = 4*h**3 + 2*h**2 - 3*h + 3. Let l(o) = -3*d(o) - r(o). Let t be l(2). Is t != 9?
True
Let q(y) = -9*y**2 - 6*y - 3. Let z be q(-2). Let d = -23 - z. Which is greater: d or 5?
5
Let s be 1*1/((-5)/(-25)). Suppose 3*u - 5*k + 5 = 0, 3*u - 4 = -s*k + k. Is -1 >= u?
False
Suppose p + 3 = -2*p. Let z(c) = 14*c**3 - 2*c**2 + c. Let q be z(1). Suppose -4*i - o = 4*o + q, 0 = -4*i + 5*o - 3. Which is smaller: i or p?
i
Suppose b + 624 = -3*c + 4*b, -413 = 2*c - b. Is c less than -206?
False
Let o(x) = -7*x - 4. Let p be o(-3). Suppose -p = -b + 2*z - 4*z, -z = 2*b - 22. Are 11 and b nonequal?
True
Let h be (-117)/(-27) + 4/6. Let u be h/(-140) - (1 + -1). Which is greater: 0 or u?
0
Suppose 2*k - s + 252 - 1360 = 0, k = -4*s + 563. Let u = -1089/2 + k. Which is bigger: 12 or u?
12
Suppose 24*d = 41*d - 85. Does -1 = d?
False
Let r = 8 - 1. Let m = 48 - 1106/23. Is m at most as big as r?
True
Let d(y) = 9*y**3 - 9*y**2 + 2*y + 6. Let x be d(4). Which is greater: x or -1/3?
x
Let d(x) = x**3 - 11*x**2 + 9*x + 12. Let h be d(10). Let i(o) = -o**3 - 7*o**2 - 10*o - 3. Let w be i(-4). Let q be 16/w - (-6 + 20/5). Does h = q?
False
Let f be (-65)/10 - (-21)/3. Which is bigger: f or -0.03?
f
Let t(b) = -b**2 + 24*b - 54. Let z be t(21). Which is greater: 2/15 or z?
z
Let o(j) = -512*j**2 + j. Let a be o(1). Let s be (2 - 1)/(a/14). Is -1 smaller than s?
True
Let r be (-16)/6 + 4/6. Let d = r + 2. Let v be (0 + (-4)/(-5))*(-28)/(-8680)*25. Is v smaller than d?
False
Let j be (-25)/60*8/(-1). Suppose 0 = 5*u - 5*v - 40, 0*u + 3*v + 38 = 5*u. Suppose -5*k - 6 = -u*k. Is k at most j?
True
Let q = 3709519058/1591795 - -2/318359. Let u = -81638/35 + q. Let x = u - 3/35. Which is bigger: x or -3?
x
Let j be 4/(-30)*(2 + 4)*80. Is j equal to -62?
False
Let s = -129 - -122. Which is smaller: -9 or s?
-9
Let c be 2/(-11) + 30/165. Let u = -634/471 - -2/157. Which is bigger: c or u?
c
Let b = -1/10503 + -209999/640683. Is b at most as big as 0?
True
Let x = 41.945 - -0.055. Let l = -42.05 + x. Which is bigger: -2/13 or l?
l
Let j(q) = q**2 + 3 + q - 2*q**2 - 4 + q**3. Let o be j(0). Let d be (24/(-30))/(630/75). Which is smaller: o or d?
o
Suppose 4*s - 2*s + 112 = -3*c, 5*s = 2*c - 242. Let d = s + 49. Is d < -9?
False
Let z = -38 + 40.7. Let l = z - 2.7. Which is greater: -0.14 or l?
l
Let c(u) = u**3 - 10*u**2 - 5*u + 25. Let d be c(10). Is d > -3?
False
Let h(m) = -4*m - 15. Let p be h(-9). Let o be (27/(-2))/(p/6). Let b = -59/21 + o. Is b less than -7?
False
Let b = 137.9 - 170. Let j = 32 + b. Is -2 at most j?
True
Let q be (-1)/(3 - 70/23). Suppose 5*z + 21 = -2*v, 4*v - 5 = -2*z - 7. Which is greater: q or v?
q
Let z be (3/9)/(1/(-39)). Suppose 4*a + 3*h + 6 = 0, 2*a - 5*h + 4 = -12. Let f = -4 - a. Which is smaller: z or f?
z
Let k = -1/169 - -385/7943. Which is smaller: k or 0?
0
Suppose 0 = -3*h - 42 - 12. Let x = 23 + -39. Is h greater than or equal to x?
False
Let t = 0 + 2. Suppose 4*k = 2*q + 33 - 9, -q + 23 = 3*k. Suppose 12 = i + 3*l, -t*i = -k*i - 3*l + 12. Is i at most 4/7?
True
Let v = -33536/26278473 - 2/18211. Which is smaller: 1 or v?
v
Let m(p) = 3*p + 1. Let n be m(2). Let z be 10/(-190)*(1 - n). Suppose 0 = q - 20 + 21. Is z > q?
True
Let o be (70/68 + (-2)/2)*-2. Let z = o + -44/119. Suppose 0 - 5 = c + u, 3 = c - u. Is c at most z?
True
Let x = -0.072 - 0.204. Let z = -0.176 - x. Let a = -1.4 + -0.6. Which is smaller: z or a?
a
Let h be (-2110)/(-14) + 6/21. Is 151 bigger than h?
False
Let f be (-6)/(21*2/238). Which is smaller: -45 or f?
-45
Let w be (-3798)/(-13968) - 6/16. Is w greater than 0?
False
Let g be (((-132)/18)/11)/((-4)/(-66)). Which is bigger: -14 or g?
g
Let m be (6332/70)/((-16)/20). Let u = 113 + m. Is -1 at most u?
True
Let c be 1 - (-1)/(1/8). Let u(d) = -4*d**2 - 4*d. Let t(n) = 5*n**2 + 3*n - 1. Let z(g) = -5*t(g) - 6*u(g). Let a be z(c). Which is bigger: a or 6?
6
Suppose 38*y + 49 = -11*y. Let q = -1/20 + -7/60. Is q <= y?
False
Suppose 4*h + t = 3*t + 40, 2*t + 24 = 2*h. Suppose h*k + 10 = 18*k. Are -6 and k unequal?
True
Let g = -34 - -43. Let z = 7 + 5. Which is greater: z or g?
z