/(-254)). Let i = o - -3/34. Let j = -2/23 + -19/46. Is i at least as big as j?
True
Let w(t) = 8*t - 21. Let h be w(-7). Let c be ((-132)/h)/(2 - 13/7). Which is greater: 9 or c?
c
Let y(x) = -x**3 - 2*x**2 + 6*x + 2. Let w be 3 - (2 + 12/3). Let f be y(w). Let u = 2/21 + -25/42. Which is greater: u or f?
u
Suppose 2*w + 34 = q - 76, 0 = -4*w + 3*q - 222. Is w bigger than -163/3?
True
Let t = 3 - 7. Let j be (-8)/70 + 16/40. Which is smaller: t or j?
t
Suppose -5*d = 2*q - 166, 3*q - 3*d = -0*d + 228. Let o = -697/9 + q. Is -1 greater than o?
False
Let x = 77 - 78. Which is greater: x or 0.31?
0.31
Let s be ((-8 - -7)*2)/(-1 - -10). Are -0.116 and s equal?
False
Let x = -3249107/18570 + -4/3095. Let b = -175 - x. Let p be (-48)/(-30)*-5 + 8. Is p <= b?
False
Let h(f) = -11*f**3 - 16*f**2 + 17*f + 62. Let v(x) = -4*x**3 - 5*x**2 + 6*x + 21. Let d(y) = -3*h(y) + 8*v(y). Let a be d(-8). Is 3 smaller than a?
True
Suppose -41*r + 1316 = 6*r. Let i = 16860/43 + -392. Let b = -66/215 - i. Which is smaller: b or r?
b
Let h be 164/14 + 10/35. Let f be 9/h + (-6)/8. Let d be f + (-3 - 45/(-14)). Is d less than -1?
False
Let b(q) = 2*q**2 - 2*q - 1. Let x be b(-2). Let n be 2/x + 560/(-176). Let g = n - 7. Is -9 > g?
True
Let m be -2 + (-3 - 132/(-28)). Is -3/76 at least m?
True
Suppose -3*i + 6 = -15. Suppose 170 = i*w + 3*w. Which is bigger: w or 18?
18
Let q = -98 - -32. Let n = -68 - q. Is 9 at least n?
True
Let x be 0 - 3 - ((-279)/54 - -2). Let z = -19 - -13. Which is bigger: z or x?
x
Let i = -14.04 - -14. Let b = i + 0. Let g = b - -0.04. Which is greater: -0.1 or g?
g
Suppose 0 = -8*w + 13*w - 5. Suppose 0 = -5*t + 5 + 5. Suppose 0 = v + 2*c - c, t = 4*v + 3*c. Is v > w?
True
Let n = -334597/100 - -3346. Is n equal to 1/2?
False
Let q = 1/104 + 1141/312. Suppose 0 = 4*z + 4*d - 24, -4*z = -2*d - d - 10. Is q > z?
False
Let t(p) = -3*p - 2. Let w be t(-2). Suppose 0 = 3*h - 2*z - 21, -5*h + w*h - 4*z = 7. Suppose 0 = 2*j + 3*l, -l = h*j + 3*l. Is 1/20 bigger than j?
True
Let n = 0.7276 + 0.2724. Which is smaller: n or -265?
-265
Let y(v) = 8*v**2 + 2*v - 1. Let s be y(1). Let h = 10 - s. Let u be 3/(-9) + (-4 - 290/(-66)). Is u >= h?
False
Suppose 83*q = -3*d + 88*q - 17, 0 = -4*d + 2*q - 18. Let i(a) = -a**3 + a**2 + a - 1. Let v be i(2). Is d less than or equal to v?
True
Let y be (7896/(-18) + -10)*(-3)/6. Is y less than 223?
False
Let b = -59 + 70. Let f be (-4)/3*b/(-1628). Do f and 0 have the same value?
False
Let f = 0.41 + 4.59. Which is greater: -14 or f?
f
Let s = -2 + 8. Suppose -s*c - 2*v = -c + 70, -c = -4*v - 8. Which is smaller: -13 or c?
-13
Suppose 5*c = 10*c. Does -3/14 = c?
False
Suppose -5*d - 5 = 5*k, 2*d - d = -5*k - 13. Let u be ((-2)/k)/((-6)/54). Are -1 and u equal?
False
Let o(w) = -2*w**2 + 5*w + 10. Let k be o(-2). Is k smaller than 0.41?
True
Let m(b) = -7*b**3 - 6*b**2 + 3*b + 29. Let c(y) = 8*y**3 + 8*y**2 - 4*y - 30. Let s(l) = 6*c(l) + 7*m(l). Let a be s(6). Which is smaller: 7 or a?
a
Let n = -318 - -6140/19. Is n less than 6?
True
Let a be (-3 + -3)/(9/6). Let y = 2 - 2. Suppose 4*k + 18 = 2*o, 0 = 4*k - y*o - o + 19. Is k > a?
False
Suppose -35 = 8*q - 3*q. Let u = q + 12. Suppose 5*b = u*g + 25, g - 9 = -b - 4. Which is greater: g or 3/10?
3/10
Suppose 0 = -5*p - n + 10, 4*n + 11 = -2*p - p. Let u be (-4)/p + (-6 - -5). Which is bigger: -0.1 or u?
-0.1
Suppose -2*d = 2*d - 16, -5*c = d + 241. Let x = 46 + c. Which is smaller: -2 or x?
x
Let y be (-30)/4*24/(-30). Suppose 4*x = 4*h - 32, -h - 3*x - 4 = -0*x. Do y and h have the same value?
False
Let r = -172 + 173.45. Let s = -1.15 + r. Do s and 32 have the same value?
False
Suppose -2*u + 7*u - 8108 = 3*q, -2*u + 3256 = 2*q. Let j be (-752)/u + 6/14. Is j at least 0?
False
Let m = -763/11 + 8321/44. Which is greater: m or 119?
m
Let y = -37/1132 + 47785/93956. Let d = y - -2/83. Do d and -1/3 have the same value?
False
Let r(u) be the first derivative of -1/2*u**2 + 10*u + 3. Let i be r(9). Is i <= -4/13?
False
Suppose 0*v + 4*p - 60 = 2*v, 4*v - 2*p = -90. Let g = v + 30. Suppose g - 1 = 3*b. Which is smaller: b or 5?
b
Let q be ((-2)/(-4))/(1/(-4)). Let y be q/(-6) + (-2)/6. Suppose -4 = -3*t + 2. Do y and t have the same value?
False
Let i(r) = 4*r + 50. Let d be i(-18). Let u be d/228 - (2/12)/1. Which is smaller: 1 or u?
u
Let o = -0.306 - -0.006. Is -2/105 greater than o?
True
Suppose 11*u + 3*u + 20 = -6*u. Let r = 337/36 + -100/9. Are r and u non-equal?
True
Let d = -1854 - -454231/245. Let h = d - 503/3185. Is -17 at least h?
False
Let c(b) = b - 1. Let v be c(-8). Let s = v - -31. Suppose s = 6*h - 4*h. Is h > 11?
False
Let u(x) = 6*x - 12. Let o be u(1). Let g(f) = f**3 + 7*f**2 + 8*f + 5. Let w be g(o). Is w greater than or equal to -72/13?
False
Let g = -1.407 - -2.307. Is -8/9 bigger than g?
False
Suppose -3*d - 19 = 4*s + 3, -3*s + 3*d = 6. Let b = 5 - 3. Let t be -3 - (b + -2 + 2). Is s greater than t?
True
Let d be -1 + 1 + (-1)/(-3). Suppose 5*c - 5*q = 5, 5*c + 0*q = 3*q + 5. Is c less than d?
False
Let n(j) = 8*j**2 + 1. Let i be n(-1). Suppose -y = -4*t + 11, -2*t + y = -6*t + 5. Suppose 3*c = 2*s + 18, t*c + s + 0 - 19 = 0. Is c at most i?
True
Let f be ((-3)/(-2) + -4)*(-12)/(-10). Let v = f - -37. Do 34 and v have different values?
False
Suppose -5*r = -10*r. Let l be 7/((-2058)/(-276)) + -3 + 2. Which is smaller: l or r?
l
Suppose 919 = 13*l + 100. Suppose 3*i + 6*i + l = 0. Which is smaller: i or -6?
i
Let l = -11.5 - -11. Let k = l - -1.2. Let w = k - 2.7. Is 0.2 not equal to w?
True
Let x = 0.164 - 2.164. Which is smaller: 74 or x?
x
Let o be 18/(-63)*(-1 + -20). Suppose -o*s + 9 - 3 = 0. Which is bigger: 3/23 or s?
s
Let j = -40319/140 - -288. Which is greater: j or 0?
j
Suppose -6*y = -3*y + 18. Let w = -1726/303 - -3/101. Is w != y?
True
Let n be 3 + (8/(-10))/(5/25). Which is greater: n or -1/95?
-1/95
Suppose -7*q - 24 = -3*q. Let c be ((-4)/q*174/4)/1. Is 28 at most c?
True
Let p be (3 + -2)*2*9/18. Let l be 5 - (-96)/30 - p/5. Is l equal to 28/3?
False
Let p be 4 + 1*1063/195. Let q be (-114)/10 - (-3 + 1). Let r = q + p. Which is smaller: -1 or r?
-1
Let c(o) = 4*o - 1. Let n be c(4). Let p be 1/(3 + (-48)/n). Let g be -7 + 1 + (-6 - p). Is g less than or equal to -0.1?
True
Let z be -5 + ((-289)/(-65) - (-2)/13). Which is smaller: z or 142?
z
Let a be 18*((-8)/(-80) - 51/10). Is -90 >= a?
True
Suppose w + 38 = -25. Suppose 0*u + u = 33. Let n be (2 + w/u)*-1. Which is smaller: 0 or n?
n
Let n = -192 - -219. Is n at most as big as 29?
True
Let b(m) = -m**2 + 13*m + 21. Let n be b(17). Is -49 smaller than n?
True
Let d(h) = -h**3 - 12*h**2 - 24*h - 41. Let j be d(-10). Is j greater than 3/22?
False
Suppose -3*x - u + 190 = -0*u, -x - u + 60 = 0. Let q be -2*((-157)/5 + (-3)/5). Are q and x non-equal?
True
Let k be 6 - (-5 - 194/(-18)). Let q = 1/21 + 3/35. Is k != q?
True
Let a = 0.024 - 0.364. Let m = 0.35 + a. Which is bigger: 1/2 or m?
1/2
Suppose 5*o = -30 + 135. Suppose 0 = o*l - 18*l. Let n = -1.1 + -14.9. Does n = l?
False
Suppose 3*r - 5*a - 1486 = 0, -4*r - 3*a - a + 1928 = 0. Let j = -4391/9 + r. Do j and -1 have different values?
True
Let i = -1363 - -5449/4. Which is smaller: -0.22 or i?
i
Let t = -208 - -90. Let o = t + 123. Which is bigger: o or 13?
13
Let y = -11.5 - 2.5. Let k = 0.248 - 0.348. Which is smaller: k or y?
y
Let l(x) = 7*x**2 + 1. Let c be l(1). Let z be (1*9/(-84))/(15/c). Is z at most as big as 0?
True
Suppose -4*r - 50 = b, 2*b + r = -45 - 34. Let s = 27 + b. Let o = 11 + s. Which is smaller: 1 or o?
o
Let s = -35 - -1510/43. Is s at most 1?
True
Let y = -11.67 + 0.67. Let b = -0.2 - -0.1. Let q = -0.9 + b. Which is greater: q or y?
q
Let n be 91/(-58) + 9/6. Let q(p) = 15*p - 181. Let b be q(12). Which is smaller: b or n?
b
Let c = 1.5 - -14.5. Let b = c + -16. Let j be 1/(-12)*72/(-27). Which is greater: b or j?
j
Let v = 130.57 + -130. Let c = 0.2 + 0.3. Let b = v - c. Which is greater: 0 or b?
b
Let z be 2/7*((-2961)/72)/(-47). Do z and 3/59 have the same value?
False
Suppose -v = -4*w + 783, 0 = 36*w - 38*w + v + 393. Are w and 4 equal?
False
Suppose y = 6*y. Suppose y = -2*s - 9 + 7. Do s and -33 have different values?
True
Let n(l) = -l**2 + 3*l + 45. Let g be n(9). Is g > -3?
Fals