t w be o(x). Is w bigger than 4?
False
Let n(o) = o**2 + 13*o - 98. Let c be n(16). Which is smaller: c or 368?
c
Suppose 0 = -17*z + 14*z - 39. Is z not equal to -17?
True
Let v(n) = -n**2 + 12*n - 11. Let d be v(11). Which is greater: 22/53 or d?
22/53
Let l = 693.343 + -679.3. Let q = -14 + l. Which is smaller: 0 or q?
0
Let h = 610 - 610. Is h bigger than 1/13?
False
Let d(f) = -f**3 + 20*f**2 - 36*f. Let a be d(18). Is 5/71 at least as big as a?
True
Let d be (84/18 - 5)/(2/12). Let n be (d/(2/(-1)))/(3/(-9)). Which is bigger: n or -1?
-1
Suppose 44*p - 8 = 52*p. Is p at most -2/343?
True
Let t = 10 + 0. Let m be ((-1)/t)/(-4 - -3). Let v = -13 - -13. Which is bigger: m or v?
m
Let a be (-4)/(-14) - (-6 + 870/7). Let b be a/20 + 4/60*6. Which is smaller: -5 or b?
b
Let c be (-2)/((-16)/(-290)) + 0. Let p = 36 + c. Is -2 greater than p?
False
Suppose 0 = -3*y + y + 22. Which is smaller: y or 20?
y
Let q be ((-21)/21)/((-218)/(-26)). Which is bigger: 1 or q?
1
Let j = 52 - 75.1. Let l = j + 2.1. Are l and 1 non-equal?
True
Let x = 2.5 - 1.556. Let s = x - -0.056. Is 6 at least as big as s?
True
Let n = 141.78 - 143. Let d = n + 1.12. Suppose q + 0*q + 7 = 0. Which is bigger: d or q?
d
Let d = 0.076 - 1.076. Which is bigger: 135 or d?
135
Let y = 25 - 35. Let n = y - -44. Let r = 35.1 - n. Is 1 smaller than r?
True
Let w = -123 - -152. Let v be 3 + 14/(-6) + w/(-3). Is v > -9?
False
Suppose -3*z - 3 = -2*o + 2*z, 4*o + 5*z - 21 = 0. Suppose p = -o + 5. Which is greater: 2/11 or p?
p
Let a be 2 + 1*10 - 1. Let z = 171 + -158. Which is greater: a or z?
z
Let q = -40 + 34. Let j = -37 + 30. Which is smaller: j or q?
j
Let c = 18 - 27. Let g be 1/(-3) - 3/c. Which is greater: 9/10 or g?
9/10
Let y(j) = j**3 + 3*j**2 + 3*j - 1. Let r be y(-3). Let c be r/(2*(-3 + 2)). Let h be ((-8)/5)/((-2)/c). Which is smaller: 5 or h?
h
Let h = -245 - -255. Let a = 15 + -13. Suppose 4*v - 5*z = 24, a*v + 4*z + 2 - 40 = 0. Which is greater: h or v?
v
Let r be 4*(20/8 + 1). Suppose -5*s - 20 = 0, -4*g + 5*s - 2 = -r. Let a be (10/3)/(g/6). Which is smaller: a or -7?
a
Let o be 1/7 - 60/28. Let z be (-2 - o)*(-3 - -2). Suppose -6*w + 3*w + 9 = z. Is w at least as big as -0.1?
True
Let f be 283/(-495) + 4 + 324/(-90). Is f < -1?
False
Let a(s) = -s**3 - 8*s**2 - 6*s + 6. Let j be a(-7). Let k be (j - (-2 - -1))/((-57)/19). Let b = 7/6 + -37/24. Which is smaller: k or b?
b
Let j = 6631 + -12905/2. Is 180 > j?
True
Let y = 2.7 - 3.2. Let f = -8.5 + y. Which is smaller: 1 or f?
f
Suppose 5*i + 172 + 48 = -2*j, 5*j = -2*i - 67. Let d = 309 - 338. Let s = d - i. Is s less than 18?
True
Let k be (91/(-21) - -4)*3*7. Do -110/13 and k have different values?
True
Let h = -196 - -171. Does h = -25?
True
Suppose -11*v + 79*v - 68 = 0. Let k be (6/(-33))/(36/(-778)). Let j = k + -42/11. Which is smaller: j or v?
j
Let d = -9 + -8. Let l be 2/4 - 627/38. Which is greater: l or d?
l
Let g(w) = 2*w - 9. Let n be g(5). Suppose 4*h - n = -25. Let s be (3 - (-14)/h)*6. Is s less than 2?
False
Suppose 4*j - 403 = 1. Let q = -103 + j. Which is smaller: -8 or q?
-8
Let h be (-13)/((-13650)/497424) - (-2)/14. Let b = 474 - h. Which is smaller: b or -1?
-1
Let j(k) be the third derivative of 0 - 3*k**2 + 1/6*k**3 + 1/24*k**4 + 0*k. Let q be j(-4). Which is smaller: q or 0.1?
q
Let w = -23/66 - 5/33. Let t = -8 + 12. Suppose -5*m = -4*b + 5, 2*b + 3*m = t*m + 1. Is b less than w?
False
Let l(u) = -u**3 + 4*u**2 + 7*u + 2. Let g be l(5). Suppose -3*a - g = a. Which is bigger: 2/5 or a?
2/5
Suppose 8*x - 14 = 2. Suppose 39 - 1 = 3*v + h, 5*h = -x*v + 21. Which is bigger: 12 or v?
v
Let b = 69 + -60. Let t = b + -8. Which is bigger: t or -1/9?
t
Suppose q - 210 = -4*q. Suppose -43*k = -q*k + 1. Is 0 at least as big as k?
True
Let j be 14/(-8) + 7/(-28). Let m be (j - 6/(-4))*-2. Let l be (1/m - 2)*3. Which is bigger: -1 or l?
-1
Let g = 2.24 + -3.24. Is g bigger than -7?
True
Suppose 4*l + 3 = -f - 23, 0 = -4*f + l - 19. Let m be 2 - 5 - f/6. Suppose 0 = -5*j - 3*u - 13 - 12, j + 5 = 3*u. Is m less than or equal to j?
False
Let n be ((-2)/3)/((-10)/(-15)). Let z = n + 1. Is 4/51 greater than or equal to z?
True
Let a = -44 - -71. Suppose -22*x = -a*x - 5. Which is bigger: -11/8 or x?
x
Suppose -o - 1 = -g, -3*g - o + 6*o - 5 = 0. Suppose g = 7*j - 6*j. Let b = -11 + 17. Which is greater: j or b?
b
Suppose -2*r + 2 = -0. Let u = -175 + 1924/11. Is r at least u?
True
Let v = 230.9 + -217. Let o = -14 + v. Let d be (4 + -3)*(0 - -3). Which is bigger: o or d?
d
Let j = -0.02 - 34.98. Which is smaller: j or -3/2?
j
Let s(u) = -u**2 + 10*u - 11. Let b be s(6). Suppose -b = -4*k + 3. Is 12 at least as big as k?
True
Suppose -4*l - 184 = 4*a, -a - 128 = 2*a - 2*l. Let v be 2*a/(-48) - 0. Are v and 2 nonequal?
True
Let z = -91 + 101. Let i be (68/(-12))/(1/(-9)). Suppose 4*q - i = 5*n - 0*n, 0 = -2*q - 3*n + 9. Are q and z unequal?
True
Let p = -2.8 + -3.2. Let c = 68.1 + -68. Which is smaller: p or c?
p
Let b be (2434/(-10))/1 + (-396)/660. Are b and -244 nonequal?
False
Let m = 17 + -33. Let x = m + 15.3. Let h = -0.6 - x. Is -1 < h?
True
Let f = -30 + 46. Suppose f = 4*j - 2*j. Let t be (-3)/6*j/10. Which is smaller: t or 0?
t
Let a = -10162/21 - -484. Let l = 179 - 178. Which is smaller: l or a?
a
Let l be ((-2)/2)/((-2)/(-6)). Let i be (-16 - l/(-3))*-4. Let w be (-1)/(-5) + i/(-140). Which is greater: 1 or w?
1
Suppose 0 = 6*m - 5*m + 9. Let f = -109 + 100. Are f and m nonequal?
False
Suppose v - 36 = -v. Let a be 166/(-18) + 4/v. Let r = a + 8. Is r greater than 3/16?
False
Suppose 4*w - 3 = -r + 3*w, 0 = -2*r + 5*w + 41. Let v = 69 - 76. Let h = v + r. Which is smaller: 2/29 or h?
2/29
Suppose -50*g + 40 = -42*g. Is 1 at most g?
True
Let c = 590.92 - 591. Which is smaller: c or -39?
-39
Let d = -20 + 4. Let k be (-4796)/242 - 1/(-11)*-2. Which is smaller: k or d?
k
Suppose 12*v = 8*v - 208. Are v and -261/5 non-equal?
True
Let o = 1827905/287 + -6369. Which is smaller: o or 2?
o
Let p = -1 + 1. Let g = 3287/45 + -73. Which is bigger: g or p?
g
Let l = 9 - 23. Let q = 23 + l. Let c be (-3)/(-9)*q/(-12). Which is bigger: 0 or c?
0
Let w = -51 + 54. Suppose w*s + 23 = 8. Which is smaller: -4 or s?
s
Let n(f) = -9*f**3 + f**2 - f. Let y be n(1). Let h = -11 - y. Let a(s) = -s**3 - 3*s**2 - 3*s - 3. Let m be a(h). Which is smaller: 2/31 or m?
m
Suppose -2*r + 8 = -0. Suppose 0 = 2*z + r*z. Let j be (-2)/6 + 6/72. Which is smaller: j or z?
j
Let j(z) = 157*z + 611. Let r be j(-4). Is 2/67 greater than or equal to r?
True
Let m = -43/56 + -5/14. Is -2 equal to m?
False
Let q = -67.95 - -68. Is -5 >= q?
False
Suppose 3*k = -3*n + 6, 0 = -n + 4*k + 24 + 3. Suppose -2*f + 11 = n. Is f at least as big as 7?
False
Let t = -4 - -12. Suppose t*g = 7*g. Is -1/66 > g?
False
Suppose 0*j - 5*j = -20. Let z = -9 + j. Let u be ((-70)/8)/z*-4. Do u and -6 have the same value?
False
Suppose -5*p + c - 5 = 0, -3*p + 3*c - 15 = p. Let o = 0.0487 - 46.0487. Which is greater: o or p?
p
Let r be 2/(-12)*8*(-3)/26. Is 11 >= r?
True
Let f(d) = 2*d**2 - 13*d + 28. Let h be f(4). Suppose -15 = -5*k, -43 = -4*j - 0*j - 5*k. Is h smaller than j?
False
Suppose -2*r + 3*p = 3*r - 34, 2*p = -6. Let v be (-4)/((-8)/(-1)) + 13/2. Is r smaller than v?
True
Let a = -3.62 + -0.38. Let y = a - -3.9. Is y greater than 1/20?
False
Let o be (-20)/(3/((-6)/4)). Suppose 0 = -5*d - 2*i - 16, 4*d + i = -2*i - o. Let s be -2 + (d - -2) + 12. Which is bigger: -0.2 or s?
s
Let w = -1551 + 1550. Which is bigger: 24/49 or w?
24/49
Let c = 0.286 - 33.286. Is 0 greater than c?
True
Suppose -2*i + j - 2*j = -17, -5*j = 3*i - 36. Suppose 2*n - 3 = i, 4*x - 3*n - 473 = 0. Is x greater than 123?
False
Suppose 4*w + 121 = 73. Is w less than 4?
True
Let r = 272 - 257. Which is smaller: 108/7 or r?
r
Let z = -7038 - -21578/3. Let a = -152 + z. Is a >= 4?
False
Let j(p) = -p + 38. Let d be j(4). Which is greater: d or 0?
d
Let p = 0.04 - -11.96. Let h = 11.7 - p. Let m = 0.2 + h. Is m <= -14?
False
Let d = -16.07 - -16. Let t = -2.93 + d. Let c = 14 - 14.3. Is c smaller than t?
False
Suppose -14*u + 19*u - 10 = 0. Let d be 2*(-2)/(-8)*u*11. Which is smaller: 34/3 or d?
d
Let z be (6/75)/(1/5). Let n = 86.1 - 91. Let g = n + 4.5. Which is smaller: g 