 = -2*m, 0 = -4*u - 3*m + 15 + 39. Let g(h) = -h**2 + 10*h - 4. Let f be g(u). Let l be (-6)/(-21) + f/(-245). Which is bigger: 0 or l?
l
Let f = -1.97 - -2. Let y = 159 + -157. Which is smaller: f or y?
f
Let h = 0.62 + -1.25. Let q = h - -0.6. Which is smaller: q or -2/5?
-2/5
Suppose 0 = 2*q + 6*q - 80. Let w(v) be the first derivative of v**4/4 - 11*v**3/3 + 9*v**2/2 + 14*v + 1. Let p be w(q). Which is greater: 5/2 or p?
p
Suppose 0 = 4*z + 14 + 2. Let r = z + 12. Let h be (-2)/(-6) - r/(-12). Is h less than or equal to 1?
True
Let r(q) = q + 2. Let f be r(-5). Let a be 23/(-5)*(f + 4). Which is smaller: a or -6?
-6
Let s(x) = x**3 - 12*x**2 + 3*x - 27. Let r be s(12). Which is greater: 0 or r?
r
Let z = 1985 - 1984. Is z at least as big as -1/1272?
True
Let z(r) = r**2 + 4*r - 9. Let c be z(-5). Let s be c*(-2)/8 + 3. Suppose -s*b = 6 + 2. Is b >= -2?
True
Let c = -302 + 180. Let b = -122 - c. Do 6.5 and b have the same value?
False
Let p = 4 - 7. Suppose 4*c - 1 = d - 8, 19 = 2*c - 5*d. Is c at most p?
True
Let k = 27/16 + -393/176. Let u = 4 + -3.8. Which is greater: u or k?
u
Suppose 74*c + 3 = 71*c. Is c > 137?
False
Let j = 16 + -16.1. Which is smaller: 339 or j?
j
Suppose 5*o + 11 = -4. Let g = -6 + 12. Suppose 10 = 4*u + g. Which is smaller: o or u?
o
Let h(r) = -r**3 + 7*r**2 + 10*r + 17. Let a be h(8). Which is smaller: a or 28?
28
Let v be 1 + -1 - (0 - 8). Let z be v/(-18)*(-2)/(-12). Suppose 5*s - 30 = 5*m, -3*s + 5*s - m - 7 = 0. Is z less than s?
True
Let a be -1 + -3 - (1720/68)/(-5). Which is smaller: 0 or a?
0
Suppose 0 = -229*r + 238*r - 3366. Which is smaller: r or 747/2?
747/2
Let v = 389 + -1947/5. Which is greater: -580 or v?
v
Let s = -97 + 94. Is -1/97 at least s?
True
Let g = 7.83 + 0.17. Let a = g + -5.9. Let m = 11.9 + a. Is 2/7 >= m?
False
Suppose -w - 2*q = 4, 2*q = -4*w + w - 4. Suppose 2*y + 2*y + 17 = -3*i, 0 = -i + 5*y + 26. Which is greater: w or i?
i
Suppose -z + 2*f = 2 - 14, 0 = 5*z - 2*f - 36. Let n = 5 + 0. Let t = n - z. Which is greater: t or 1?
1
Let i be ((-38)/(-57))/(16/6). Let l be 20/12*(-4)/(-10). Which is greater: i or l?
l
Let t = 21 + -42. Is -20 >= t?
True
Let w be ((-24)/(-14))/((-176)/84 + 2). Let i be (22/(-36))/((-9)/w). Does i = -2?
False
Suppose -453 = -5*m + 3*x, 5*m = -7*x + 3*x + 446. Is 90 at most m?
True
Let s be 3/(-2) + 2*-1. Let u be ((-2)/4)/((-7)/140). Let g(d) = d**2 - 9*d - 13. Let w be g(u). Is w at most s?
False
Suppose 0 = -3*o + o + 6. Suppose o*j = 1 + 2. Which is greater: j or 12?
12
Let n be (20/(-56735))/((-17)/119). Is -1 at most n?
True
Let j(r) = 2*r**3 + 13*r**2 + 11*r + 19. Let o be j(-7). Are -109 and o non-equal?
True
Let t(d) = 2*d + 7. Let m be t(-3). Let u be 40/2 - (2 - m). Suppose -2*f - u = -11. Is f bigger than -5?
True
Let j = 6 - 10. Let s be (j/(-6))/((-2)/39). Is -13 smaller than s?
False
Let h(n) = n**2 - 2*n**2 + 2*n**2 - 7*n + 9. Let k be h(6). Let m be 14 + (5 - 4) - k. Are 12 and m equal?
True
Let x = -3 - 4. Let n = 7 + x. Suppose 3*r - 4*w + 10 = n, 6*r + 5*w = r - 75. Is -11 less than r?
True
Let t = -11336/7 - -1622. Let w(h) = h**3 + h**2 + h + 1. Let f(n) = -7*n**2 - 5*n - 4. Let o(k) = f(k) + 5*w(k). Let m be o(1). Is m >= t?
True
Let g = -2983 + 2910. Which is greater: -71 or g?
-71
Let t be 2/(24/(-1278))*-2. Let v = 140 - t. Which is bigger: v or -72?
-72
Let c = 1 - -12. Which is smaller: c or 21?
c
Let z = 506.1 + -506. Which is greater: -4/15 or z?
z
Let u be (-5)/(-10)*4*1. Suppose 4*s = 0, s = -u*c - s - 12. Let f be 15/(-95)*4/c. Which is greater: f or -1?
f
Let l be -2 + 4 - (2 + -6). Suppose l*o - 20 = -2*q + o, -3*o = 5*q - 12. Let s be 1/11 + 625/(-3850). Which is smaller: s or q?
s
Let m(u) = -21*u + 264. Let s be m(17). Do -95 and s have the same value?
False
Let n(a) = 2*a - 11. Let s be n(8). Suppose -3 = 15*z - 16*z. Suppose -9 = 3*c + 3*t, s*t = z*t - 4. Which is smaller: c or -2/13?
c
Let j(q) = -q**2 - 8*q - 1. Let r = -24 - -17. Let d be j(r). Suppose d*s = 8*s. Are -0.1 and s equal?
False
Suppose 4*g = 7*g - 111. Does 192/5 = g?
False
Let g = 220 + -877/4. Is -0.01 less than g?
True
Suppose -2*t - 26 = -3*t - 5*b, 2*t - 30 = b. Suppose -w + 9 = -2*h, -2*h = -4*h - 4*w + t. Which is smaller: h or -3/4?
h
Suppose -7 = s - 2*s. Let z(n) = n**2 - 12*n - 9. Let j be z(13). Suppose j*i = 6 + 14. Is s less than i?
False
Let s(x) = 5*x - 13. Let f be s(8). Let u be (-2)/3 - (-18)/f. Suppose 4*z + u = -4. Which is greater: -0.02 or z?
-0.02
Suppose 0 = -w + 4*w - 4*v - 11, w + 7 = -4*v. Let g be w/1*(-12)/(-3). Suppose -b + 25 = g*b. Which is bigger: b or 3?
b
Let a be 519/(-15) - 6/15. Let w = -38 - a. Is w smaller than -3?
False
Let k(i) = 3*i**3 - 3*i - 2. Let r be k(-1). Let f be 3 + -4 - (r/1)/2. Which is greater: -2/77 or f?
f
Let q be 134/3 + 0 + 6. Which is smaller: q or 52?
q
Let b(x) = -72*x**2 - x + 7*x + 140*x**2 - 67*x**2 + 8. Let l be b(-4). Is 55 < l?
False
Let w = -0.079 - 0.211. Let g = 1.71 - w. Let i be 1 + (1 - 32/18). Which is smaller: i or g?
i
Let a(o) = 3*o - 12. Let z be a(8). Let s be 2*(-2)/z*-3. Which is smaller: s or 2?
s
Suppose -57*d = -53*d - 4. Let o be 19919/(-65) - (-10)/(-25). Let x = -307 - o. Is d < x?
False
Suppose 3*z + 5*b = -2*z + 15, 0 = z - 3*b + 9. Let v = 8/63 - -37/1197. Which is smaller: v or z?
z
Let z = 443 - 414. Do -2 and z have the same value?
False
Suppose 3*o = -k - 44, 3*k + k = -2*o - 136. Let i = k - -35. Suppose -4 = 2*x, i*n + 2*n = 2*x + 4. Which is smaller: n or 10/7?
n
Let b(j) = -1. Let q(v) = 3*v - 47. Let k(m) = -b(m) + q(m). Let u be k(15). Which is greater: -2/123 or u?
-2/123
Let g be 0 + 0 + 2/41. Let p be (-75)/(-45)*((-21)/15 - -2). Is p <= g?
False
Suppose 0 = -4*j + 5*s, 4*j + 5*s - 2*s = -32. Let o be j + 9 - 410/102. Is o bigger than 0?
False
Suppose 4*n - 22 = 2*n. Suppose -4*q - z - z = 46, -4*q = -5*z + 25. Let d = q + n. Is 1 < d?
False
Let u be (-2)/(-8)*1904/(-140). Is -0.04 less than u?
False
Let j = -251/234 + -8/39. Which is smaller: j or 0?
j
Suppose 4 = -3*i - i. Let c = 3 + -8. Let b = i + c. Which is smaller: b or -8?
-8
Suppose 0*o + 14*o - 1372 = 0. Is 98 <= o?
True
Let q = -38161/48 + 795. Which is bigger: q or 1?
1
Let w(b) = -2*b - 2. Let a be w(-6). Let g = a - -97. Let o = -1607/15 + g. Which is smaller: 0 or o?
o
Let w = -7715 + 7711. Let z be 1/4*124/(-6). Is z < w?
True
Let o = 4.9 + 1. Let v = -6.4 + o. Let f be (-32)/55 - 6/(-15). Is v greater than f?
False
Let b(n) = -3*n**3 + 15*n**2. Let v be b(5). Is v != -11/47?
True
Let b(i) = 7*i + 21. Let w be b(6). Are w and 55 nonequal?
True
Let t = 149.9 - 150. Let p(q) = -q**2 + q + 5*q**3 + q**2. Let y be p(-1). Is y <= t?
True
Let g = 252 + -287. Is 22 != g?
True
Suppose 0 = -5*c - 0*c + 10. Suppose -3*r - 16 = -0*o - 2*o, 2*o - 5*r = 20. Suppose -o = -c*g + 13. Which is smaller: g or 10?
g
Let n be 6/8 + (-1 - (-3230)/3864). Let m = 1/69 - n. Is m <= 0?
True
Let b = 210370439/10 + -21017338. Let n = b - 19683. Let f = n - 23. Are 0 and f nonequal?
True
Suppose 6*a = -17*a. Let r be ((-2)/(-12)*4)/(-4). Which is smaller: r or a?
r
Suppose 0 = -2*w - 2*w. Let d be w + (-1 - -2 - 2). Let k = 6786 - 6789. Are d and k unequal?
True
Let b(d) = -4*d + 0*d**3 + d**3 + 43 + 5*d**2 - 48. Let o be b(-6). Are -17 and o non-equal?
False
Let d = -5.95 - 0.05. Let k = d - -6.4. Let n = -9803/2 + 4901. Is n equal to k?
False
Let z = 27.9 + 65.1. Which is bigger: -2 or z?
z
Let b = -289.1 - -289. Is 1.2 smaller than b?
False
Let w = 63 - 51. Let m = w - 9. Is m at most as big as 9?
True
Let n = 1107 + -1107.01. Are n and -4/15 equal?
False
Let l = -181 - -108. Suppose k = -2*t - 1 - 62, 4*k + 267 = -5*t. Is l > k?
False
Let g(z) = -17*z**2 + 28*z + 123. Let m be g(-6). Is m greater than -657?
False
Let n = -2755219/3892 + 164/973. Let c = n + 704. Which is smaller: c or -3?
c
Let d = -9.1219 - 0.1081. Let q = -0.23 - d. Are 2/3 and q unequal?
True
Suppose -m = 4*m + 10. Does -3 = m?
False
Let b(t) = -6*t - 9. Let u(i) = 5*i + 7. Let j(g) = -4*b(g) - 5*u(g). Let x(q) = -q + 10. Let h be x(5). Let r be j(h). Does r = -4?
True
Let m = 6.5267 - -0.0733. Which is greater: 2/9 or m?
m
Let w = 18 + -39/2. Suppose 2*v + 31 = g - 2*v, 0 = 5*v + 5. Let c = 24 - g. Which is greater: w or c?
w
L