an g?
False
Let v(y) = -1 - 4*y**3 + y - 2*y**2 + 1 + 6*y**3. Let a be v(1). Which is greater: a or 2?
2
Let b = 16 - 16.9. Let q = 1 + b. Is q at least as big as 0.1?
True
Suppose -y = -q, -4*q + 0*y - 25 = y. Let j(g) = -g**3 - 4*g**2 + 5*g - 2. Let l be j(q). Is -4 at least as big as l?
False
Let v be (-2)/(2 - (-130)/(-66)). Let s be (4/v)/(1/(-2)). Let y = 6/11 + s. Is 0 < y?
True
Suppose -v - 20 = -5*v. Suppose v*k + 63 = h, -4*h + 12 = -0*h. Is k greater than -11?
False
Let k = -4 + -5. Let d = 1 - 8. Let u = k - d. Is -2/9 greater than or equal to u?
True
Suppose 0 = o - 0 + 14. Is -1 greater than or equal to o?
True
Let k = -14 + 14.02. Which is smaller: k or -1?
-1
Let o be 0*(-2)/4*-1. Let l = -2911/7 - -415. Which is smaller: l or o?
l
Let h = 3/4 + -5/12. Let j(p) = p**2 - 9*p + 2. Let m be j(10). Let r = 11 - m. Which is bigger: h or r?
h
Let z be (-237)/(-6) - 3/(-6). Suppose 4*w + 12 = -z. Is -13 not equal to w?
False
Let v(q) = q**3 + 2*q + 1. Let b be v(-1). Suppose 0 = 2*w + 5 + 3. Let j be (-2 + 5)*w/6. Does j = b?
True
Let j = -30 - -49. Is j at most as big as 19?
True
Let v = 9/2 - 4. Which is greater: v or 1?
1
Suppose r + r + 22 = x, 0 = -x - 4*r - 2. Is 15 > x?
True
Let w(s) = s + 5. Let m be w(-5). Suppose 5*t - 5 = -3*j - 2*j, m = t - 5. Is -4 > j?
False
Let x(n) = n**3 - 2*n. Let z be x(0). Do 3/23 and z have the same value?
False
Let y be 2/(-8) - (-65901)/(-140). Let w = -471 - y. Let o = -137/105 + w. Which is smaller: 0 or o?
o
Let c = -0.18 + -2.82. Are 2/25 and c unequal?
True
Suppose p - 1 = -0*p, 27 = 2*a - 5*p. Let q = a - 8. Which is smaller: 9 or q?
q
Let t(n) = -n**3 - 8*n**2 + 12*n + 26. Let x be t(-9). Suppose 0*a - 2*a + 2 = 0. Let v be (-1)/(a*-3) - 1. Is v less than x?
False
Suppose l = 5*l + 4. Let r be (1 - l)/((-12)/(-30)). Suppose 0 = r*g - v - 0*v + 1, -g - 3*v - 13 = 0. Is g != -1?
False
Suppose -3 = y + 2, 5*x + 4*y - 120 = 0. Is 30 != x?
True
Let h(j) = j**2 + 6*j - 2. Let b be h(-6). Let t = 6 - 8. Are t and b unequal?
False
Let i(n) = -5*n + 4*n + 2*n. Let q be i(0). Let r be (q - 0)/(6/(-6)). Which is smaller: r or -2/11?
-2/11
Let r be (11/66)/((-3)/(-4)). Let b = -5/7 + 13/28. Which is bigger: b or r?
r
Suppose 11*w = 2 + 9. Let u be (-2)/(-4)*(-1)/(-2). Are w and u equal?
False
Let g = -3 + 3.4. Let r = g + -1.4. Let s be (-1)/5 + 23/15. Which is greater: r or s?
s
Let v = 1640/7 + -246. Which is bigger: -11 or v?
-11
Let c be (-2 + 2)/2 + 3. Suppose 4*w - w + 7 = -p, 11 = w - c*p. Let j be 14/(-98) + (-13)/(-42). Is w smaller than j?
True
Suppose -2*l = 3*l + 10. Is -2 less than or equal to l?
True
Let s(l) be the third derivative of -1/8*l**4 + 2*l**2 + 0*l + 1/2*l**3 + 1/60*l**5 + 0. Let k be s(2). Which is bigger: k or 0?
k
Let u = 0.12 + 2.88. Let b be (1/4)/(6/(-18)). Which is smaller: u or b?
b
Let m be ((-2)/(-2)*-2)/(-2). Suppose 4*r + 9 = -0*g - 5*g, 2*r = 3*g + m. Which is greater: g or 2/11?
2/11
Let w = 52 - 209/4. Let j = -7 + 6.7. Let t = -1.3 - j. Is w at most as big as t?
False
Let a = -24 - -23.94. Is 0.2 smaller than a?
False
Let y be 18/(-27) - (-279)/(-2). Let b = y - -139. Which is smaller: 0 or b?
b
Let d be ((-3)/(-2))/((-6)/(-12)). Let p(s) = s - 2. Let c be p(10). Suppose c = d*k + k. Is k at most 0.2?
False
Let g = -8 - -19. Let f be -5*1*g/(-44). Is f at most 2?
True
Let f be (-3 + 2)*(-2 - 0). Let o = 12 + -9. Suppose o*z + f = -4. Which is greater: 0 or z?
0
Let l = 0 + 0.2. Is l smaller than -1/2?
False
Let a = 20 - 2. Let d = -22 + a. Let w = -8 - -6. Is d less than or equal to w?
True
Let p = 17 - 8. Let a be 1*-1 - p/(-9). Do -3/5 and a have the same value?
False
Let s be ((-68)/(-7))/2 - 4/1. Is 2 != s?
True
Suppose t = -2*t - 3. Is -1/28 < t?
False
Let l(i) = 3*i**2 + 30*i + 1. Let s be l(-10). Let n be (4/42*-3)/4. Which is greater: n or s?
s
Let p = -0.3 - -1. Let f = 0.6 - p. Let h = 88/3 - 29. Is h less than f?
False
Let j = -1 + 5. Let m = j + -2. Suppose m*f = 7 - 3. Is 1 >= f?
False
Let b(x) = -x + 8. Let j be b(8). Which is smaller: -14 or j?
-14
Let x be (-2)/(-20)*-2*-21. Let c = x + -19/5. Let w be ((-2)/(-4))/(1/2). Which is bigger: c or w?
w
Suppose -s - 99 = -4*s + u, -2*u - 134 = -4*s. Let h = 10 - s. Let k = h - -87/4. Is -1 at least k?
False
Let x = -0.92 - 0.08. Which is greater: x or -12/11?
x
Let s = 43 + -603/14. Let g = s + -3/7. Is g at most as big as 1?
True
Let y(p) = p**3 + 3*p**2 - 4*p + 1. Let b be y(-4). Let h be b*2*(-2)/8. Which is smaller: 0 or h?
h
Let i(h) = h**3 - h**2 - 2*h - 20. Let g be i(0). Let b = g - -21. Is 0.07 greater than or equal to b?
False
Let a(o) = -o**3 + 4*o**2 + 7*o - 6. Let h be a(5). Suppose -h*v - 5*m + 2 = -18, -m = -5*v - 4. Is v <= -1?
False
Let v be (-82)/8 - 3/(-12). Let w = v + 7. Is -3/2 at most w?
False
Let m = 0 - -20. Do m and -1/4 have the same value?
False
Suppose -4*c = 3*k + 19, 0*c = 3*c - 3*k + 30. Which is smaller: c or -5?
c
Let d = 0.6 - 3.6. Which is bigger: -16 or d?
d
Let q = -3 - -8. Which is bigger: q or 8?
8
Let w = -2.1 - -2. Let d = -5.02 + 5. Let p = d + 2.02. Do w and p have different values?
True
Suppose c = -5*r + 24, 3*c = -r - 2 + 4. Suppose -4*p - 1 = -r. Let k = -24 - -118/5. Is k greater than or equal to p?
False
Suppose 2*s - 7*s - 275 = 0. Let l be 2/11 + (-155)/s. Suppose u + 13 = 4*n, -4*n + 14 = -2*u + 4. Is n greater than l?
True
Let z = 11 + -11. Is -3 greater than or equal to z?
False
Let i = -9 - -10. Let g = i - 5. Is -4 > g?
False
Let k(a) = -a**2 - 3*a - 2. Let w be k(-2). Suppose -5*m - 10 = -w*m. Is -1 at least m?
True
Let q = 12 - 9. Suppose -5*p + q*p = -6. Is 3 >= p?
True
Suppose -3*q + 0*q = -12, -2*h - q + 12 = 0. Let t be -3 + h - (-1)/(-2). Is t at least 0?
True
Let m = 1337374/11 - 121762. Let g = -182 - m. Which is greater: g or 2?
2
Let m be (-2)/(-3)*33/2. Let w = -5 + m. Let h be w/27 - (-4)/63. Which is smaller: h or -2/9?
-2/9
Let n(j) = j**3 + 3*j**2 - 2*j - 2. Let a be n(-3). Let r be ((-5)/4)/1*-4. Which is greater: r or a?
r
Let l be ((-1)/(-21))/((-51)/9). Which is smaller: l or 0?
l
Let c(w) = w**2 + 9*w - 6. Let y be c(-5). Is -27 > y?
False
Let j = 1705 - 11960/7. Are -5 and j non-equal?
True
Suppose 0*x + 4*x - 8 = 0. Which is smaller: x or 3?
x
Let a = -0.8 - -0.8. Let y = 2 - a. Is -2/7 greater than or equal to y?
False
Let q = -0.22 + -1.78. Is 0.8 bigger than q?
True
Let t = 2.14 + -0.14. Is 2 at most t?
True
Let b be 1 + -2 + 17/9. Let c = -5/9 + b. Which is smaller: 0 or c?
0
Let c = 0.49 + -0.19. Let d = -4.6 + 5. Let g = d - c. Do 6/11 and g have the same value?
False
Let r = 12.8 - 13.8. Let a = -1 - -4. Is r < a?
True
Suppose -2 = 4*w - c, 8 = 4*c - 0*c. Let v be ((-66)/20 + 3)*168. Let f = v - -50. Which is bigger: f or w?
w
Let c be (2/(-8))/((-6)/16). Let o = 5 + -1. Let n be 3/o + 2/8. Is n less than c?
False
Suppose 1 = -x + 2. Which is bigger: 2/5 or x?
x
Let y be ((-2)/(-1))/4 - 4/40. Which is greater: y or -35?
y
Let w = -17 - -17.02. Let y be (-52)/(-12) + 2/(-6). Let t be (1/y)/(2/(-4)). Are t and w non-equal?
True
Let h = -16 + 15. Which is bigger: h or -0.4?
-0.4
Let r = -2354409271/86 + 27377463. Let a = 611 - r. Let z = a + 23/129. Is 1 < z?
False
Suppose -15 = -x - 4*x. Suppose 5*i = -3*y - 13 + x, -2*i = 3*y + 13. Let m = 3 - 7. Is m smaller than y?
False
Let w(k) = k**3 - 2*k**2 - 2*k - 3. Let a be w(3). Let x be 21/(-3 + a)*-1. Let t = -6 + x. Which is smaller: t or 0.1?
0.1
Let u be (1/((-24)/(-38)))/((-5)/10). Is -4 less than or equal to u?
True
Let n = -11 + 10. Let c = -9 - n. Which is smaller: -9 or c?
-9
Let y = -2 - 1. Let s = 18/17 - 125/102. Which is greater: s or y?
s
Let v = -13.9 + 15. Let x = v - 0.7. Let c = -1.4 + x. Which is smaller: 2/7 or c?
c
Suppose -l - 5*d + 4 = 0, 0 = -4*l + 3*d - 5*d + 52. Suppose 5*s + 6 = -l. Are s and -2 unequal?
True
Suppose -3*h = 2*h + 1090. Let o = 2396/11 + h. Which is smaller: 0 or o?
o
Let y(q) = -q**2 + 4*q - 4. Let m be y(4). Let o = 0 + m. Is o at least -4?
True
Suppose -5*u + 5*b + 36 = -149, -5*u + 2*b = -200. Suppose -5*v + 12 = u. Is -5 equal to v?
False
Suppose 0 = p + 3*b - 12, -5*p - 9 = 2*b - 4. Let x be 0 + 4/(12/(-15)). Is x at most as big as p?
True
Let z = 13.6 - 14. Is z at least as big as 1?
False
Let w = -7 + 5. Let g = -1