12). Is 28 < b?
True
Let k = -423 + 424. Which is greater: k or 7?
7
Let a = 5.9 + -5.91. Let i = a - 0.39. Is i at least as big as 3?
False
Suppose 2*d - 14 = 2*w, 2*w - 5*d + 12 = -8. Let k be (22/(-55))/((3/w)/(-3)). Which is smaller: k or 5?
k
Let w be (-6)/(10*-1 - 0). Let u = 290.8 + -291. Which is smaller: w or u?
u
Suppose -2*q - 153 = 5*m + q, -5*q = m + 35. Are m and -30 unequal?
False
Suppose -5*c = -4*x - 2*c + 170, 5*x - 207 = c. Suppose x = -4*w - 0*w + 3*b, -2*w - 3*b - 25 = 0. Is w at most -9?
True
Let r(g) = 6*g - 1. Let k be r(1). Suppose 0 = -5*d - 4*v, 3*d - 6*v - 32 = -2*v. Suppose -d*i = i + k. Is i less than -2?
False
Let i = -43 + -3. Let m = -25 - i. Is m at most as big as 21?
True
Let p = 3.05 + -3. Let d = -0.226 - 3.774. Is p < d?
False
Let d = 301297/100 - 3013. Let o = d + 389/6300. Let i = 17 + -18. Are o and i unequal?
True
Let l be 5/(-70)*6*15/(-36). Are 1 and l unequal?
True
Let p be 19/(-200)*-63 + -6. Are 1 and p equal?
False
Let n(y) = y**3 - 11*y**2 - y + 19. Let v be n(9). Let m be v/20*20/(-8). Is m greater than or equal to 18?
True
Let d(g) = 968*g**2 + 27*g + 29. Let z be d(-1). Which is smaller: -1/2 or z?
-1/2
Let r = -0.058 - -0.258. Let d = -30 - -49. Which is greater: r or d?
d
Let u = -0.01 + 0.01. Let k = 25 + -22. Let q = k - u. Is 0.2 at most q?
True
Let x(z) = -2*z + 6. Let g(h) = -2*h + 5. Let l(s) = 5*g(s) - 6*x(s). Let m be l(6). Which is smaller: m or 2/37?
2/37
Let a = 43 - 40. Suppose a*s + 2*s - 50 = 0. Is 11 at most s?
False
Let z(v) = v**2 + 8*v - 7. Let a be z(-9). Suppose -10 + 46 = -a*d. Let w be 248/(-1278) + (-4)/d. Which is smaller: w or 1?
w
Let j = 9 - 3. Let i be 198/88*(-8)/(-3). Is j > i?
False
Let c = 4.74 + -4.82. Which is smaller: 13 or c?
c
Let d = 13 + -16. Let a(x) = x**3 + 2*x**2 - 5*x - 2. Let v be a(d). Which is smaller: 5 or v?
v
Let w(o) = 3*o**2 - 26 + 3*o - 23 + 47. Let t be w(-2). Which is bigger: 1 or t?
t
Let c = 0.17 + -1.17. Let k = 0.9 + c. Let z = 0 - 0.11. Is z less than or equal to k?
True
Let a be ((-10)/117 - -1) + 4 + -5. Let x = 4/13 + a. Is x equal to -2/11?
False
Let v = 20 + -16. Let w be -101 + 4*v/16. Let f = -701/7 - w. Is f greater than -1/3?
True
Let u(c) be the first derivative of -c**4/4 - 2*c**3 - c**2/2 + c + 1. Let w be u(-6). Let j be 11 + 3*(0 + -1). Is w > j?
False
Let p = -41 + 26. Let h be 3 + 2/9*p. Which is smaller: 0 or h?
h
Suppose 45*n + 101*n = -385 - 199. Let o be 321/21 + 4/(-14). Suppose -o = 4*l - 3. Which is bigger: l or n?
l
Let x = 39 + -12. Let b = 32 - x. Suppose -3*g = -b*g + 4, -2*g = -4*q - 44. Is -11 >= q?
False
Let i be (1/239)/((-44)/132). Which is smaller: i or 0?
i
Suppose -y + 2*k + 1 = 4*k, 1 = y - k. Let s = 225/28 + -33/4. Are y and s equal?
False
Let a be 40/26 + 1*-1. Let i(o) = -o**2 - 54*o + 496. Let j be i(-62). Is j at most a?
True
Suppose -3*z + 4*k - 3 = 9*k, -2 = 2*z - 2*k. Which is smaller: -1975 or z?
-1975
Let y be (-2)/12*-2*3/(-2). Which is smaller: y or -2/545?
y
Suppose 5*q - 2*q = 0, -176 = -2*x - 2*q. Does 88 = x?
True
Suppose 184 - 74 = -5*l. Suppose -1 + 11 = 5*d. Let u be d/(-6) + 204/(-9). Which is smaller: u or l?
u
Let m be (-1)/(-4)*2*6. Let o = 69 - 40. Suppose 2*u - o = 2*b - 3, -m*u + 11 = -b. Is b >= -15?
True
Let d be -3 - (-1 + -1 - -6). Let o = 102 + -102. Is d smaller than o?
True
Let g = -19 + 13. Let h be (6/12)/((-1)/g). Suppose -h*w = w. Which is smaller: -1/25 or w?
-1/25
Suppose -2*w + 0*s - s = 2, 0 = 3*w - 4*s + 14. Let u be 21/(-9) - (-8)/(-12). Let r be (w/(-6))/(u/(-45)). Which is smaller: 4 or r?
4
Let q be 3/(-10)*(-5705)/252. Let r = q - 20/3. Is -1 bigger than r?
False
Suppose 0*l - 7 = l. Let w be 125/(-35) + (-40)/28. Is l at least w?
False
Suppose 0 = 217*c - 221*c + 432. Is c >= 108?
True
Suppose -1820 = 34*a - 24*a. Is -179 > a?
True
Let z(s) = -112*s + 4. Let v be z(-3). Suppose 0*n = -5*n + v. Let u = n + -41. Is 28 at most as big as u?
False
Let y = -4.11 - -3.91. Let j = 21 + -21.9. Do j and y have different values?
True
Let s be 10/3*2/(-45). Let c be -3 + (45/9 - 2). Which is smaller: s or c?
s
Suppose 0 = -o + 2*o - 3*d + 9, -2*d = -2*o - 2. Suppose n = o*n - 5*n. Which is smaller: 1/51 or n?
n
Suppose 0*k + 3*k + 3 = 0. Let h be ((-3)/2 - k)*6. Let u = 3 + h. Which is greater: u or 1/2?
1/2
Let b = 1.84 + -2. Let r = -9.16 + 8. Let h = r - b. Is h at most 3/2?
True
Suppose 6 = 4*q - 6. Suppose q = -4*k - 1. Is 4 < k?
False
Let q = 5 + -8.1. Let g = q - -3.2. Suppose 0*v - 5*v = 0. Is v bigger than g?
False
Let j be (5/(-15) - -1)*150/20. Is j at least as big as -3/80?
True
Let b be (-114)/(-6) - (2 - 1). Let z = b - 15. Let n be z/(-2 + 28/8). Which is greater: 7/5 or n?
n
Let j(g) = -242*g + 484. Let f be j(2). Which is smaller: f or -56/51?
-56/51
Let x = -466 + 459.5. Which is smaller: x or 2?
x
Suppose 116*l = 121*l + 45. Let p be (1 + -69)/(l + 8). Is p not equal to 68?
False
Suppose 5*s = 62 - 57. Are s and 8/31 nonequal?
True
Let k = -1363/5 + 9521/35. Let t = 0 - 0.4. Which is greater: t or k?
t
Let o(i) = 66*i**2 + 2*i - 1. Let l be o(1). Let q = l + -63. Let c = 12 + -7. Is q at least c?
False
Let z be (12 - 15)*(-1)/3. Which is smaller: z or 22/15?
z
Suppose j = -4*j + 4285. Let c = j - 36849/43. Suppose m = 0, -6*d - m - 1 = -3*d + 2. Is c < d?
False
Suppose 3*k = 2*k + 5*v - 4, -4*k + 5*v = 1. Let j = 3.2 - 4. Let h = j + 0.9. Which is bigger: k or h?
k
Let s = 246.4 + 36.6. Is -2/7 < s?
True
Let f = 56283 - 18235717/324. Let d be 18/(-12) + (-122)/(-81). Let q = f - d. Which is greater: q or 1?
1
Suppose -2*y - 18 = -3*z + y, -3*y = 5*z - 38. Let w be z + -4 + -9 + -4. Does -10 = w?
True
Let g = 3/634 + -11735/1268. Let c = 8 + g. Which is smaller: -1/3 or c?
c
Let i = -195 - -493. Is 298 at least as big as i?
True
Suppose -14 = -2*j + 5*h, h + h = -4. Suppose -31*f + 32*f = j. Which is greater: f or 0?
f
Let d(w) = -w**3 - 11*w**2 - 11*w - 9. Let s(o) be the second derivative of -o**3/3 + 2*o**2 - o. Let z be s(7). Let q be d(z). Is 1 smaller than q?
False
Let g be 9808/56*(-4 - -11). Which is bigger: 1227 or g?
1227
Suppose 5*j = 15, x - 13 - 3 = j. Is x <= 11?
False
Let k be (-5)/(30/8) + 2/3. Which is smaller: k or 0?
k
Let a be 20/6*(-12)/4. Let m be ((-4)/a)/((-3)/60). Is -7 less than m?
False
Let d be (-11)/((-1734590)/(-4592)) - 0. Let u = d - 2/1213. Is -1 at most u?
True
Let s = 11 - 28. Let p = 17.1 + s. Which is greater: 0.39 or p?
0.39
Let r = 89/15768 - 3/292. Let m be (-103)/(3 + -1087 + 2 + 2). Let u = m - r. Which is smaller: u or 0?
0
Let k(p) = -p**3 + 4*p**2 - 3*p + 3. Let a be k(4). Suppose -5*c = -3*y + 34, 3*c + 22 = -0*c + y. Let s = c - a. Which is greater: -2/7 or s?
s
Let t(l) = -l**3 + 54*l**2 + 54*l + 49. Let s be t(55). Suppose -i + 1 = 0, 2*i - 30 = 4*u + 4*i. Which is smaller: s or u?
u
Let y be (9/219)/((-150)/36*-27). Is y at most as big as 1?
True
Let q = 358 - 11816/33. Suppose -3*o = o - 8. Let m be ((-4)/o + 2)/(-2). Which is bigger: q or m?
m
Let k = 68 - 50. Let a be (k/(-8))/(-9) + 57/252. Which is smaller: a or -1?
-1
Suppose -7*z + 3 = -4*z. Let l = 53783/91 - 591. Is l greater than z?
False
Let w be (-913)/(-825) - (-2)/(-2). Let l be 4/12 + 237/825. Let c = w + l. Which is smaller: c or 0?
0
Let a = 0.26 + -0.3. Let x = -2872/15 - -563/3. Let f = x + 17/5. Is a <= f?
False
Let t = -4 - -5. Let r be t*-1*46/(-2). Let y = 22 - r. Is 1/23 >= y?
True
Let t(k) = k**3 - 12*k**2 + 9*k - 5. Let w be t(11). Is w < -1?
True
Let n be (-51)/(-63) + (-22)/154. Which is smaller: -3 or n?
-3
Let z = -1.4 + 1.4. Let o = 60703 + -6920045/114. Let w = -6/19 - o. Which is smaller: z or w?
w
Let v(m) = -m - 6. Let h be v(-6). Let k = -1 + h. Let f be 0 + 198/(-1200) + 2/16. Which is smaller: f or k?
k
Let j be (46/4)/(3/6). Let a = j + -5. Let q be (-4)/a + (-15)/54. Do q and -1 have different values?
True
Let g be 12/(-26) + (-4888)/(-10816). Is -1 greater than g?
False
Let m = -833 - -570. Is -1313/5 < m?
False
Let r = 41/6 + -187/30. Let y = 3045 + -3045. Is y less than or equal to r?
True
Let v be (1 + 1)*(46 + -43). Does v = 170/31?
False
Let r = 341/9 + -38. Are r and -0.03 nonequal?
True
Let l = 249/232 + 3/58. Let x = 21831 + -873289/40. Let u = l + x. Which is smaller: u or 0?
u
Let n be (2