 u be p(-1). Let s be u*(-1)/(n/(-6)). Which is bigger: -3 or s?
s
Suppose -g + 46 = -3*g. Let z = 38 + g. Suppose -6*x + 11*x + z = 0. Are x and -3 equal?
True
Suppose m - g = -2*g + 3, m - 2*g + 9 = 0. Let s = 36 + -37. Is s != m?
False
Suppose -y + 4 = -2*q, 2 + 26 = -4*y - 3*q. Let b = y + 9. Let w(p) = p**2 + 4*p - 26. Let v be w(-8). Which is greater: b or v?
v
Suppose -86 = -3*o - 44. Is o less than 14?
False
Let g = -33/37 - 5126/185. Let h = 29 + g. Which is smaller: h or 3?
h
Let v = -116 - -116.3. Which is smaller: -1 or v?
-1
Let n = 266/65 + -48/13. Let l be -1 - 0 - (1 + -1). Which is smaller: l or n?
l
Let m = -143 + 283. Suppose -f = -5*f + m. Let v be (3/f)/(7/35). Is -0.1 less than v?
True
Let m be -12 + 9 - 9/(-2). Is m at most as big as 2?
True
Suppose 0 = p + 4*w + 19, 3*w + 6 = 2*p - 0*w. Let t(i) = -i**2 - 5*i - 5. Let s be t(-6). Let m(k) = k**2 + 10*k - 14. Let x be m(s). Is p smaller than x?
False
Suppose 2*b - 5 = 1. Suppose -3*s + 15 = -0*s. Which is bigger: s or b?
s
Let o = 428 + -222. Let b be (3 + o/(-66))*-3. Is -1 != b?
True
Let q be (-34360)/770 - 4/14. Let o = -45 - q. Which is greater: -1 or o?
o
Let c = -8 + 8. Let f = c - 0.4. Is 2 at most f?
False
Let l(p) = p**2 - 2*p - 3. Let a be l(4). Let y = 6 - a. Let c = -494/35 - -72/5. Is c at least as big as y?
False
Suppose 5*p - 12 + 2 = 0. Let l be 1*p*(-3)/12. Let j = 0.3 - -0.2. Is j equal to l?
False
Let q = 1/623 + -1880/6853. Is q > 0?
False
Let n(g) = -g**2 + 6*g - 4. Let l be n(6). Let y be l/6*(-3)/(-4). Which is greater: -2 or y?
y
Let n be 6/(-21) + 92/(-21). Which is smaller: n or -5?
-5
Let q(o) = o - 19. Let k be q(10). Let t = -9 - k. Is t greater than 2?
False
Let u = 0 + -6. Let k = -9 - u. Which is bigger: 1/3 or k?
1/3
Let c = -83 - -73.2. Let f = 10 + c. Which is greater: -0.1 or f?
f
Let q = -49/60 + 3/20. Which is bigger: 0 or q?
0
Let f be (-2)/2*(1 + 5). Suppose -4*d = -4*x + 1 + 71, 66 = -5*d - 3*x. Let m = d + 10. Which is greater: m or f?
m
Suppose 0 = -3*k - 3, 4*u - 9 = 4*k - 1. Let q = -49 + 69. Let h be (-2)/(-3) + q/(-21). Which is smaller: u or h?
h
Let h = 7.7 + -8. Let j = 0.4 + h. Suppose k - 1 = 2*m, -2*m + 5*m = -2*k + 2. Which is smaller: j or m?
m
Suppose 4*x - 5*n = -12, -10 = 3*x - n - 3*n. Do 4/3 and x have the same value?
False
Let j(l) = l**3 + 3*l**2 - 4*l - 1. Let y be j(-4). Let n be (y/(2/8))/(-1). Let w be -2 + 7*2/n. Which is greater: -1 or w?
w
Let v(f) = f - 7. Let c be v(11). Is c at least as big as 0?
True
Let g = 4 + -6. Suppose 1 = 2*q - 5*d, -4*d = -4*q + d - 3. Is g at least q?
True
Suppose 8 = -4*f + 20. Is 4 bigger than f?
True
Let o(m) = m**3 - 5*m**2 - 8*m + 2. Let f be 3*(-3 - 15/(-3)). Let j be o(f). Is -10 at least j?
True
Suppose -3*y = 2*y + 5. Is y less than -27/11?
False
Let w = -186/19 - -5071/190. Let h = -33/2 + w. Let z = -0.055 + -0.045. Which is smaller: z or h?
z
Let r be 1/(-4) - (-28)/(-80). Let a(w) = -w**2 - 5*w + 6. Suppose 2*v - 24 = 4*o, 2*o - 5*o = -2*v + 18. Let p be a(o). Which is greater: p or r?
p
Let y be 2 + -3 + 2 + 252. Let b = y + -2275/9. Is 1 bigger than b?
True
Let m = -1.2 - -5.2. Which is bigger: m or 0?
m
Let o(i) = 2*i**2 + 8*i - 6. Let k be o(-6). Which is bigger: 19 or k?
19
Suppose 5*p = -3*n + 77, 2*p = -n - n + 54. Which is greater: n or 30?
30
Let j = -28 - -27.98. Which is greater: j or 1?
1
Let u be (-6)/27 - (4 + (-164)/9). Is 29/2 greater than or equal to u?
True
Let k = -2 + 1. Is -1/3 smaller than k?
False
Suppose k + 2*t = 5, 5*k - 4*k + 9 = 5*t. Suppose r = -5*p + 6 - 29, p + k = r. Let s(h) = -h - 3. Let j be s(r). Are -1/6 and j equal?
False
Let k = 3802457/31270 - 5/6254. Let b = -122 + k. Let s = -5 - -3. Which is greater: b or s?
b
Let p be (-4 - -3) + 131/(-52). Let a = -465/13 - p. Let c = a - -32. Are -1/2 and c non-equal?
True
Let k(z) = -z**3 - 6*z**2 - 7*z - 36. Let v be k(-6). Let n(g) = -g**2 + 7*g - 6. Let l be n(4). Is v greater than or equal to l?
True
Let z = 3 + -7. Let v(t) = -3*t**2 + t - 1. Let j(o) = -7*o**2 + o - 1. Let p(s) = z*j(s) + 9*v(s). Let y be p(-6). Is 3/7 smaller than y?
True
Let u = -5 + 12. Suppose -4*k + u = -1. Let y = k - 2. Is 0 at most as big as y?
True
Let f be (-13)/195*-1*3. Let n = 0.05 + -2.01. Let q = n - 0.04. Which is greater: q or f?
f
Let g = -36 + 53. Which is bigger: 16 or g?
g
Let l(j) = -j**2 + 13*j + 13. Let m be l(14). Which is smaller: 1/8 or m?
m
Let p be (-6)/(-15) - (-6)/(-15). Let z = p - 1. Which is smaller: -1/4 or z?
z
Suppose 7*q - 2*q = 10. Suppose j - q*c + 13 = 2*c, j - 5*c + 17 = 0. Which is greater: 6 or j?
6
Suppose -3*u - 2*j - 37 = 0, u + 12 = 2*j - 11. Let o be (u/5)/((-3)/2). Suppose -f + 1 = -o*f. Which is smaller: f or 1/3?
f
Let q(f) = -24*f**2. Let z be q(-1). Let s be (0 + -2)*z/16. Suppose -s*j = -j. Is -1/2 smaller than j?
True
Let o = 0.52 + -0.3. Let b = o + 2.78. Is 3 less than or equal to b?
True
Let w = -6 + 14. Suppose 0 = j + 3*j - w. Is j at least 2?
True
Let k = 23 - 24. Is -4 smaller than k?
True
Let b(q) = -q**2 - 10*q + 8. Let i be b(-11). Let v = 1 - 2. Let n = -1 + v. Which is bigger: i or n?
n
Let w = 6 - 2. Which is smaller: w or 0.02?
0.02
Let b be ((1 - -2)/1)/((-15)/(-20)). Do 3 and b have different values?
True
Let d = 2 + -12. Let q = 16 + d. Let g be 14/q - (6 + -4). Which is bigger: g or -2?
g
Let l = 74 + -74. Is -3 greater than l?
False
Let q = -8.1 - -8. Is 8 equal to q?
False
Suppose 0 = 20*s - 17*s. Which is smaller: s or 3/26?
s
Suppose -4 = -16*g + 12*g. Which is smaller: g or 16/7?
g
Let h(a) = -a**2 - 6*a + 1. Let u be (-1 + 2)*(-5 + -1). Let w be h(u). Let o = w - 4. Is o < -3?
False
Let r = -33 - -31. Do r and -12/17 have different values?
True
Suppose -c + 2*c + n + 4 = 0, -4*c + 3*n = -12. Which is greater: 1/13 or c?
1/13
Let x(g) = -2*g**2 - 7. Let p(z) = 3*z**2 + 13. Let s(i) = -3*p(i) - 5*x(i). Let o be s(0). Let j be (0/1)/(o/(-2)). Is 2 > j?
True
Let i(l) = -2*l - 3. Let z be i(-2). Let g be (z/3)/(5/45). Which is smaller: g or 2?
2
Let v = -20 - -12. Let q = 7.97 + v. Let h = -0.23 - q. Is h bigger than 0?
False
Suppose -4 = 2*a + 2*o, 4*a = 3*a - 3*o - 12. Suppose 2*q - 3*g = g - 2, 0 = 5*q - g - 4. Let p = 3 - q. Which is bigger: a or p?
a
Let j = -1.6 - -1.4. Which is smaller: -1/4 or j?
-1/4
Let j be 93/240 + 2/(-10). Let s = -6 - -5. Are s and j unequal?
True
Let x = -8 + 7.79. Let q = 0.09 - x. Do q and 1/3 have the same value?
False
Let q be ((-128)/(-40))/(2/15). Suppose 4*k - q = -4*h, 4*h - k - 7 = -3. Is h < 2/3?
False
Let a(l) = -l**2 - 5*l - 3. Let p be a(-2). Let n be -10*(-4 - (-35)/10). Is p <= n?
True
Suppose 0 = -3*f + 4 - 1, n = -f + 2. Does -3/20 = n?
False
Let k = 0.11 - 12.11. Let u = -105 + 105. Which is smaller: u or k?
k
Let o = 174 - 110. Let z = -383/6 + o. Is z < 1?
True
Suppose 0*u + 2*u - 4*s - 104 = 0, -5*u + 315 = s. Is u at least 62?
True
Let b = 2/39 - -21/13. Which is smaller: 2 or b?
b
Let c = -0.07 + -0.63. Let d = c + 0.6. Let m = -9/8 + 7/8. Which is greater: m or d?
d
Let j = 11.8 - 11.9. Which is smaller: j or -23?
-23
Let n(c) be the third derivative of -c**5/4 - c**4/12 + 2*c**3/3 - 2*c**2. Let m be n(3). Let r = 2054/15 + m. Which is bigger: 0 or r?
0
Suppose -4*s = -5*w + 3443, -5*s + 3*w - 2050 = 2244. Let y be ((-2)/4)/(22/(-37684)). Let t = s + y. Is 0 not equal to t?
True
Let f(b) = b**2 + 2*b - 3. Let h be f(-3). Suppose -3*x - 27 = -4*r + 2*x, 3*r = -2*x + 26. Suppose h = -3*z - z - r. Which is smaller: z or -4?
-4
Let t be (-2)/3 - 102/(-18). Suppose -6 = t*x - 3*x - d, -2*x = -3*d + 14. Is -1 > x?
False
Let b = 118 - 59. Which is greater: 58 or b?
b
Let u = 138 + -80. Which is smaller: 57 or u?
57
Let i be 4*(-3 + 2 - -2). Let n be (-6)/4*i/(-6). Let g be 20/(-16) - n/(-4). Is g less than -4/5?
True
Suppose d = -0*d. Let c = 261884 + -2883208/11. Let g = c - -226. Is g > d?
True
Let a = -4 - 0. Let f = a + 4.6. Let h = 1.6 - f. Which is smaller: h or 5?
h
Let h = 12 - 13. Which is smaller: h or 1?
h
Let g = 30 + -31. Which is smaller: 2/7 or g?
g
Let x be ((-4)/(-2))/((-37)/5). Let h = x - -227/703. Is h at least as big as 0?
True
Let x(b) = -b**2 - 8*b + 1. Let n be x(-8). Let r be (0/(-3))/(-2 + n). Which is greater: r or -0.1?
r
Let h be ((-3)/145)/((-12)/105). L