= -1?
False
Suppose 0 = 5*a - 51 - 44. Is a >= 14?
True
Let o be ((-21)/(-350))/(237/(-4)). Let h = -19764/13825 - o. Is h > 0?
False
Let v = -8 + 13. Suppose 2*m - x - 272 + 62 = 0, -3*m - v*x = -315. Let s = m + -423/4. Which is smaller: s or -1?
-1
Let m be (-2 - 0)/((-40)/284). Let g = 74/5 - m. Do g and 2 have the same value?
False
Let y(l) = 5*l**3 - 2*l**2 - l. Let n be y(-2). Let i = 18/221 - 51362/1105. Let r = i - n. Which is bigger: r or 1?
1
Let s be (-78)/24 - (-3 + 1). Do -1 and s have different values?
True
Let f = 2 + 4. Let m = 8 - f. Let q(n) = -n**3 + 3*n**2 - 3*n + 2. Let x be q(m). Is 1 at most as big as x?
False
Let n = -19 - -32. Suppose 5*y - 22 = 2*f, 4*f + y + 9 = -n. Let o be (2/f)/((-6)/(-9)). Is o <= 0?
True
Suppose 30*b - 1 = 31*b. Which is smaller: b or -3/8?
b
Let l(u) = u**3 - 7*u**2 + u - 6. Let n(b) = -2*b**2 + 2*b + 1. Let i be n(-2). Let w = -4 - i. Let v be l(w). Is v equal to -2/7?
False
Let w be (2 + 4)/(-6 + 9). Suppose 2*y = -2*b + 2 - 4, -3*y = -5*b + 3. Let v = 2 + y. Is v less than or equal to w?
True
Let w = -0.1 - -0.01. Are 0 and w unequal?
True
Let b be 0/(-3) + 1 - -1. Suppose -9 = -3*x + 2*r + 2*r, -4*x + 12 = b*r. Suppose -4*j = -3*h - 14, 2*j + 4*h - 8 = 5*h. Is j not equal to x?
True
Let k be 15*8/(-18)*(-4)/(-24). Which is smaller: k or 0?
k
Let m = 103.6 - 103. Is m greater than or equal to 1?
False
Let a = -19 - -14. Suppose -r - 3*r - 26 = -2*w, -4*r - 15 = -w. Let i = 7 - w. Which is smaller: i or a?
a
Let l = 24.02 + -24. Is 0 greater than or equal to l?
False
Let x = -4 + 1. Let k = x - -3. Which is smaller: 1/8 or k?
k
Suppose -3*l = 25 - 70. Suppose -2*f - 12 + 40 = 0. Are l and f nonequal?
True
Suppose -d - 2*f - 8 = -3, 3*d + 5*f = -13. Let w be -3*(d + 2 + -2). Let x = -1 + w. Is 2 less than or equal to x?
True
Let r be -1 + 4/(-8) + (-444)/8. Which is smaller: r or -58?
-58
Suppose -2*h - 2*h + 8 = 0. Let p = 0.3 - 0.6. Let u = p - -1.3. Which is smaller: h or u?
u
Let i be (-5 + 6)*6/14. Which is greater: -1 or i?
i
Let u(b) = -b**2 + 9*b - 22. Let q be u(7). Which is greater: 2 or q?
2
Let a = 4 + -2. Let y = 17 - 16. Let p be y - (-1 - (-4 + a)). Which is greater: p or -3/7?
p
Let a = 0.03 - 0.23. Let i be (12/15)/(4/10). Suppose 4*b - 2*b = i. Is b > a?
True
Let i = -0.026 - -2.126. Let b = i + -1.9. Which is bigger: 0 or b?
b
Let t be (0 - 0 - -1) + 14. Suppose 0*c - 5*c = -t. Suppose -h + c*h = 0. Which is smaller: -3/4 or h?
-3/4
Let v(x) = -x**3 + x**2 - x - 1. Let j be v(1). Let s = -10 - -7. Is j > s?
True
Let x = -98461 - -12701381/129. Let i = x + 2/129. Which is greater: i or 1/4?
1/4
Let l be (-14)/(-63) - (-34)/9. Suppose 0*y = -2*y + 5*s + 6, -28 = -l*y + 2*s. Let n = -8 + y. Which is smaller: n or 2?
n
Let g(v) = v**3 - 3*v**2 - 6*v + 6. Let o be g(4). Let h be 3/((5 + o)/3). Let d = 3 - h. Which is bigger: -4/9 or d?
d
Let w be (8/(-130))/(9/(-45)). Which is smaller: w or 1?
w
Let j be 1/(-4) - 85/(-20). Suppose -4*s + 26 = -0*m + 5*m, -j*s = -16. Let a be m/(-2)*(-2)/(-10). Which is greater: a or -1?
a
Suppose 25*g - 27*g = -74. Is 37 at most as big as g?
True
Let o be -15*14/16 - 0. Let w = -111/64072 - 12968855/993116. Let q = o - w. Which is smaller: -1 or q?
-1
Suppose 3 = 2*l - 1. Suppose -18 = l*j - 42. Suppose 0 = -5*c - 8 - j. Is -4 greater than or equal to c?
True
Suppose -g - 2 - 1 = 4*a, 2*a - 9 = 3*g. Which is greater: -4 or g?
g
Suppose 5*u - 17 = 3*r - 0*r, 0 = r - 2*u + 7. Let d be 28/13 - (-6)/(-39). Let q = d + r. Are 2 and q nonequal?
True
Let f be 12*-2*(-12)/(-16). Let i be ((-1)/(-3))/(6/f). Let d = -17/3 + 6. Is d >= i?
True
Let g(u) = -u**3 - u + 1. Let y be g(0). Let v = -1 + y. Let d be (-4)/14 - (-6)/21. Is v at least d?
True
Let w = 2.7 - 1.71. Let p = w - -0.01. Which is bigger: 3 or p?
3
Let v be (-2)/(-7) + 788/(-14). Are -2 and v unequal?
True
Suppose 17*u = 13*u - 16. Suppose 4*t = t - 9. Which is bigger: u or t?
t
Suppose 0 = -5*p + 3*n + 3, 5*n = 4*p + p - 5. Which is greater: -8/11 or p?
p
Suppose -4 = -3*d + 2. Let k be (-2)/10*(-2)/d. Is 1 at least k?
True
Let s = -8 + 6. Let j = 0 + s. Let t = 9 + -8. Is j at least t?
False
Suppose 0 = -2*b + 3 + 1. Suppose 0 = -4*o - 4*s - 8, -o + 5*o = b*s + 4. Is -4/13 > o?
False
Let v = -2.9 - -2. Let g = -0.6 - v. Let z = 0 - g. Which is greater: z or 0.2?
0.2
Let o = -41/3 - -14. Which is bigger: -17 or o?
o
Let b be 2 + -2 + (-3)/2. Is b greater than -1?
False
Let m = 0.3 - 1.3. Let p = 33 - -9. Let y be 8/6*9/p. Is y smaller than m?
False
Let j be (-28)/(-5) + (-4)/(-10). Let z = j - 7. Suppose 4*s - 5 = 4*q + 35, 5*s - 20 = -5*q. Is s at least as big as z?
True
Let z = 10 - 4. Let d be (z/(-10))/(2/(-10)). Let q = -7 + 11. Is q at least d?
True
Let y = -46 - -47.9. Let w = y + -6.9. Is 1 greater than w?
True
Let y be 4/(-24) + 35/(-6). Let n(w) = w**3 + 7*w**2 + 5*w - 5. Let d be n(y). Which is greater: 1/3 or d?
d
Let n be (-365)/(-10) + 6/(-4). Let o be (-8)/10 - 7/n. Which is greater: -3/2 or o?
o
Let h(o) = o + 2. Let u be h(-2). Suppose -y + 2*a = 1, -4*y + 5*a - 4 = -u. Is y less than -3/8?
True
Let p be 13/(-36) - 7/(-27 + -1). Which is greater: p or 1?
1
Suppose 15 = -9*b + 4*b + 2*v, -3 = -2*b - v. Do -1/5 and b have the same value?
False
Let k = 7 - 11. Suppose 2*w = 3*c - w + 6, 3*c + 3*w + 24 = 0. Is c equal to k?
False
Let c = 2 - 1.9. Let d = -0.19 + 0.17. Which is smaller: d or c?
d
Let z(a) = -2*a**2 - 12*a - 4. Let b be z(-5). Which is bigger: 0.1 or b?
b
Let p be 70/4*32/40. Is p != 13?
True
Let m be 2*1 + -16 + 13. Which is smaller: 1 or m?
m
Suppose 5*u - 32 - 98 = 0. Let n be u/(-12) + (-5)/(-30). Is n less than -2?
False
Let q be 9/(-1209)*(-127)/3. Let y = 5/31 - q. Is y < 0?
True
Let j(w) = -w**2 - 5*w - 4. Let n be j(-5). Suppose 0 = -3*u - 5*o + 32, u + 6*o = 2*o + 20. Let i = n + u. Is 0 > i?
False
Suppose 46 = -3*y - 143. Let i be (-28)/y*(-2)/4. Which is smaller: i or 0?
i
Let f = 3 - 3.6. Let g = 4.6 + f. Are g and 2/7 non-equal?
True
Let g(d) = -d**3 - 9*d**2 + d + 10. Let k be g(-9). Which is smaller: k or 8/5?
k
Let c = 7 + -7.2. Let s = -1.96 + -0.04. Let o = s + 0. Is o at least as big as c?
False
Let l(i) = -i**3 + 8*i**2 + 2. Let z(c) = c**3 + 4*c**2 - 3*c - 4. Let p be z(-4). Let y be l(p). Let q be (-2)/6 - 10/(-3). Which is greater: y or q?
q
Let b = -2 - -4. Let h(n) = n**2 - 14*n + 19. Let l be h(13). Suppose -4*g + l = -2. Is g > b?
False
Suppose -4*t - 29 = -5. Let k be (9/t)/(2/(-4)). Let f be 1/k*(-4 - -3). Which is bigger: f or -1?
f
Suppose 0 = -2*a - 2*a - 5*p - 4, 0 = 4*a + 4*p + 4. Let l = a + 3. Suppose -6 = 3*n, -l*n - n - 2 = -4*c. Which is smaller: -1/4 or c?
c
Suppose 3*h + 4 = -5*f + 7*h, 3*h - 3 = 0. Is 2 at least as big as f?
True
Let c(q) = q. Let s be c(-1). Let g = s - -3. Is g less than 2?
False
Let d = 9.2 + -18.1. Let q = 0.08 - 9.08. Let i = d - q. Which is smaller: i or -0.1?
-0.1
Let r = -6367/5 - -1144. Let v be (-6)/27 - (-2318)/(-18). Let z = r - v. Which is smaller: z or 1?
z
Let p be (3/(-90))/((-76)/(-348)). Let b = -1/19 - p. Which is smaller: 0 or b?
0
Let r(h) = h**3 + h**2 - 4*h - 3. Let j be r(-2). Which is bigger: -1 or j?
j
Let w = 2 - 0. Suppose 0 = -w*d + 2. Let s be 2 + (-5 - -1 - d). Is -3 at most as big as s?
True
Let m(s) = -s**3 - s**2 + 2. Let c be m(-2). Suppose -4*p = w - 1, 3*p + 25 = 5*w - 3. Is w greater than or equal to c?
False
Suppose -35 = 5*d + 4*w, d + d + 1 = w. Let y = d + 3. Which is smaller: y or 1?
y
Let n = -2 + 0. Let w = n - -1.9. Which is smaller: 0.1 or w?
w
Let j be (-1)/(-5)*-2*9/18. Is -5 greater than j?
False
Suppose 2*j - r = -13, j - r - 4*r + 11 = 0. Let h be 4/j + 24/45. Let l = 3 - 4. Which is greater: l or h?
h
Suppose -2*g - 2 - 2 = 0. Let m = 6 + -4. Suppose m*p = 6*p + 12. Which is greater: p or g?
g
Let i(g) = -4*g**3 + 4*g**2 - 5*g + 3. Let c be i(2). Is -22 >= c?
True
Let o be (-124)/670 - (-1)/5. Is o greater than or equal to 0?
True
Suppose -3*t + 4*t = 10. Let x(h) = h**2 + 7*h - 13. Let l be x(-9). Suppose 2*p - 5*a - 31 = -6, -l*p = -2*a - t. Are p and -2/17 nonequal?
True
Suppose 92 = -s + q, s + 2*q + 108 = 7*q. Is -88 at least s?
True
Let p = -2.9 - -12. Let w = p - 1.1. Is w > 2/3?
True
Let t = 6 + -4. Suppose 2*u = -3*u. Let c = 1 + u. Which