 z be 5 - 51/9 - (-103)/(-3). Let q = -39 - z. Which is bigger: q or -3?
-3
Let p = 4 - 6. Let n(y) = -y**3 - y**2 + 36*y + 105. Let j be n(-3). Is j less than p?
False
Let s = -107/5 + 2371/115. Let x be (0 + 4 + -3)/(-1). Which is bigger: s or x?
s
Let k(j) = j. Let m(w) = -6*w - 45. Let t(y) = 4*k(y) + m(y). Let c be t(-15). Do c and -15 have the same value?
True
Let s be (-17)/3 - 12/(-18). Let d be (-3)/((-3)/s)*1. Suppose -16 = 4*k - 4*g, 4*k = g - 5*g - 40. Which is smaller: k or d?
k
Suppose 0 = 4*b - 327 - 61. Is 97 < b?
False
Let h be ((-5)/(-20))/(1/(-4)). Suppose 0*t + 16 = 4*t. Suppose 0 = -a - t*a - 10. Which is greater: h or a?
h
Suppose -4*s + 50 - 12 = -v, 0 = -v + 5*s - 38. Let t = v + 32. Which is greater: -34/7 or t?
-34/7
Suppose 3*x + 512 = 11*x. Is 64 less than or equal to x?
True
Let t = 552 - 596. Which is greater: t or -43?
-43
Suppose t - 18 = -4*l, -4*l + 2*t = -0*t - 24. Suppose -20 = k - l*k. Suppose m = k*m + 48. Which is smaller: -13 or m?
-13
Let i(w) = 2*w**2 - 34*w + 81. Let f be i(14). Let o = 0.1 - 0.3. Which is greater: o or f?
o
Let s(v) = v**3 + 8*v**2 + 2*v + 16. Let p(i) = 2*i**3 + 16*i**2 + 5*i + 33. Let d(o) = 3*p(o) - 7*s(o). Let c be d(-8). Is c less than -20?
True
Suppose 5 = 5*q - 10. Suppose 4*w - 12 = 4*l - 0, -l - 2*w + q = 0. Let o be (-5)/(-10) - 105/10. Is l less than o?
False
Let b be ((-12)/(-130))/((-702)/135). Which is smaller: -2 or b?
-2
Let d be -1*(-3)/(6/14). Suppose 2*z + z - d = -4*r, -4*z + 8 = 4*r. Let x = -173 - -172.8. Which is smaller: x or r?
x
Let m = 23/21 - 16/21. Does m = 0.03?
False
Let f = 3051 + -33607/11. Which is greater: -5 or f?
f
Let s be (22/18 - 2/9)/3. Which is greater: s or 6/125?
s
Suppose u + 40 = 2*t - t, -5*t - 3*u + 184 = 0. Suppose -r + 9 = -2*l + t, 2*r + l = -33. Which is smaller: r or -20?
-20
Let s = -0.11 + 4.11. Let b = s + -3.94. Let j = b + -0.56. Is 0 less than j?
False
Let w(q) = q - 7. Let k be w(7). Let h = 9.8 + -10.89. Let y = -0.39 - h. Which is smaller: y or k?
k
Let k = -3.75 - -2.7. Let g = 1 + k. Suppose -5*q + 3 = 8. Which is greater: g or q?
g
Let w be (-323)/5 - (-16 + 656/40). Which is greater: w or -64?
-64
Let y = -16 + 20. Suppose 0*s - 24 = y*b - 2*s, 32 = -3*b + 5*s. Let u be b/10*10/(-14). Is u smaller than 4?
True
Let g = -32 - -48. Let f = -53 - -69. Is g equal to f?
True
Let n = 1714 + -1741. Is n < -32?
False
Let s = 60 + -43. Let b(g) = -g**3 + 18*g**2 - 17*g - 2. Let a be b(s). Let y be (7 + a)*1 + -4. Which is greater: 1/3 or y?
y
Let h = -20 - -18.4. Let k = 4.6 + h. Suppose 10*f + 4 = 6*f. Which is greater: f or k?
k
Let r = -220 + -156. Which is smaller: 1 or r?
r
Let k = -15 + 23. Let f = -1902 + 1914. Do f and k have the same value?
False
Let b be (-285)/(-150) + -5 + 0 + 3. Which is smaller: b or -1.85?
-1.85
Let n(i) = -i**3 + 5*i**2 - 25*i + 33. Let m be n(4). Let v be 3/(-20) + 16/40. Is v equal to m?
False
Suppose 2*y + 292 = -2*i, -5*y - 736 = -10*i + 12*i. Which is bigger: -0.1 or y?
-0.1
Let m(z) = -z - 12. Let o(l) = 2*l**2 + 8*l + 5. Let n be o(-5). Let s = n + -26. Let w be m(s). Is w <= 4/13?
True
Suppose 29*j + 576 = -207. Are j and -27 equal?
True
Let i = 645441/86 + -7505. Which is smaller: -1 or i?
-1
Let m = -80 - -70. Let v be m/2 + (-198)/(-22). Is v at most 6?
True
Let b be (54/30)/(2/(-10)). Which is greater: b or 7?
7
Let o be 4/(-22) + (-240)/(-594). Let j = 18 - 34. Let m be -2 + 5/((-20)/j). Which is smaller: o or m?
o
Let k be (-70840)/165 - (-4)/(-6). Which is smaller: k or -431?
-431
Let v = -75 - -76. Let k = -2.7 + 1.4. Let r = 1 + k. Which is bigger: r or v?
v
Suppose 13*h - 32 = -45. Is h not equal to 6/271?
True
Let u be (12/60)/((-36)/10). Is -1 <= u?
True
Let j be (9/27)/(-5 - 42/(-9)). Let g be (-252)/(-10) + (-2)/10. Let p be 2 + 2/(-22)*g. Is j at least p?
False
Suppose 3*i - 5*s + 42 = 0, -4*i - 39 = -i - 4*s. Let u = i + 14. Is u > 5?
False
Suppose 0 = 4*s + p + 132, p - 54 = 4*s + 70. Let d be (-8)/s + 118/8. Suppose 0 = 4*j + q + 3 - 9, -5*j - 5*q = -d. Is j smaller than 2?
True
Let v be 187/34*(27 + -1 + 2). Suppose 0 = -9*b - 10 + v. Is 11 <= b?
True
Let v = 1 - 5. Let y = -65 - -65. Suppose y = 4*c, -3*l + l + 2*c - 10 = 0. Which is greater: l or v?
v
Let k be 0 - 0 - (-1)/(-1). Let u = k - 2. Let r be (-2 - -1) + -1 - 36/45. Is u > r?
False
Let j(r) = -2*r**3 + 8*r**2 + r - 16. Let d be j(3). Which is smaller: 41/9 or d?
41/9
Let k = -6231/7 + 888. Let z = 2 - 4. Is k bigger than z?
False
Suppose -4*j = -79 + 11. Let l = 21 - j. Suppose d + 10 = -5*h, 2*d + 8 = -d - l*h. Which is greater: -3 or d?
d
Let m = -67.79 - -71.1. Let d = m + -0.71. Suppose -4*u + s - 4 = -3*s, 0 = -4*u - s - 4. Is d less than u?
False
Let x be (-194)/(-10) - (-18)/(-45). Suppose w - 3*b = x, 4*b = 3*w + 3*b - 17. Suppose t + 9 - 33 = 5*f, -f = w*t + 9. Is 2 less than t?
False
Suppose -887*q + 889*q = 256. Is q greater than 131?
False
Suppose -5*h = -h. Suppose -5*f + 7*f = 10. Suppose 0 = f*l + i - 0*i - 4, -2*i = 2*l. Is l less than or equal to h?
False
Let f be (-2079)/20020 - (-2)/(-8). Which is smaller: f or 0?
f
Let d be 397/207 + (-18)/81. Let i = 2/69 - d. Let z be 16/(-6) - (30/(-18))/(-5). Are i and z equal?
False
Let c = 1803.22 + -1802. Is 2/9 > c?
False
Let q(v) = -2*v**2 - 29*v + 7. Let y be q(-16). Is -39 at least as big as y?
True
Let n(a) = -2*a**3 - 3*a**2 - a - 6. Let k be n(3). Let m = -453/5 - k. Let t be (-3)/(-2) + -1 + 0. Is t <= m?
False
Suppose -3*t - 13 = -73. Suppose t*s + 60 = 14*s. Which is smaller: s or -6?
s
Let k = -0.3 - -14.3. Let s = -13.1 + k. Let d = s + -0.9. Which is greater: -6 or d?
d
Let x(o) = o**2 - 12*o + 5. Let b be x(12). Let k be (-72)/b + 12/30. Let n = -12 - k. Is n > 0?
True
Let x = 4.4 - 2.8. Let u = -2.3 + x. Let k = 30/13 + -116/39. Which is smaller: u or k?
u
Let s be (-5)/6 + (-970)/(-1164). Which is greater: s or 13/44?
13/44
Suppose 0 = w - 2*g - 9 - 23, w + 5*g = 46. Let n(i) = -5*i + 6. Let v be n(-6). Does w = v?
True
Suppose -2*m + t = 4*t, 14 = 3*m + t. Suppose 2*d = -m*d. Which is greater: -2/31 or d?
d
Let k = 438401/23115 - 1275/67. Let y = -3/23 - k. Which is greater: y or -1?
y
Let h(f) = f**3 + 4*f**2 - 6*f. Let m be h(-5). Suppose -6*c + 9*c + k - 26 = 0, -3*c = -3*k - 18. Suppose 3*d - c*d = m. Which is greater: 2/23 or d?
2/23
Suppose -2*s + 15 = -s + 2*h, s - h - 9 = 0. Suppose -3*n = -2 + s. Is n equal to -9/5?
False
Let o(x) = -x**3 - 6*x**2 + 2*x + 8. Let q be o(-6). Suppose 3*g + 9 - 12 = 0. Which is smaller: q or g?
q
Suppose -3*o = -9 - 102. Suppose -5*w + 139 + 46 = -5*n, -n = -4*w + 151. Is o < w?
True
Suppose 20 = 4*r + 4. Suppose 0 = -2*g + 3*v + 25, 5*g - 2*v - v - 49 = 0. Suppose -4*m + 5*s = g, 5*m - 2*s - s - 3 = 0. Which is smaller: m or r?
m
Let q = 2 + 5. Let g = 0.0436 + -1.0436. Do q and g have the same value?
False
Let b = 29/20 + -6/5. Is 26 smaller than b?
False
Let z(a) = -a**2 + 9*a + 2. Let d = 120 - 117. Let c be z(d). Is 18 < c?
True
Let i be 1*(2 + 1) - -2. Let o(w) = w**2 + 8*w - 6. Let q(c) = 3*c**2 + 17*c - 12. Let f(r) = 5*o(r) - 2*q(r). Let k be f(i). Which is smaller: k or -2/55?
k
Suppose -25*y + 24771 = 44*y. Which is greater: 360 or y?
360
Let u = -34.8 - -0.8. Let n = -34 - u. Is n bigger than 0.13?
False
Let t(h) = -3*h**3 + 3*h**2 - 4*h + 3. Let g be t(2). Suppose -7 = 2*r + 3*y, 14 = 5*r - 2*y - 16. Suppose -r*f = f + 85. Is g greater than f?
False
Let p = 3/8062 + 1902617/40310. Which is bigger: p or 47?
p
Let t(j) be the third derivative of j**6/120 - 2*j**5/15 + j**4/4 + 7*j**3/3 - 37*j**2. Let k be t(7). Is 11 at least as big as k?
True
Suppose 4*t - 484 = -5*r, -3*t - 5*r + 151 = -212. Let p = t + -73. Are 48 and p equal?
True
Let c = -3/182 - -2645/364. Suppose -16*p = -4*p - 84. Are c and p unequal?
True
Let r be (6/(-9))/(4/6). Let p be (2 - -1) + (r - 3). Let i be ((-2)/4*1)/p. Which is bigger: i or -1?
i
Let k(s) = s**3 + 5*s**2 - 10*s - 9. Let q be k(-6). Suppose m - 3 = 2*y, 5*y - 3*m + 0*m = -6. Let u be 15 + 0 + (y - -2). Is u <= q?
True
Let v be 78*(2/(-7) + (-20)/(-21)). Let n = 41 - v. Which is greater: -13 or n?
n
Let j = -85/114 - -3/38. Let q = -0.13 + 2.13. Is q at least j?
True
Suppose 2*x + 2*s + 0 = -4, 5*x = -3*s. Let z be 0*x/9 + 2. Let w be ((-3)/