e
Let q be 11579/3*(-21)/(-112). Let c = q + -724. Let s = c - 3/16. Is s at least -0.1?
False
Let y(g) = -4*g + 4. Let f(j) = -3*j + 5. Let n(k) = -3*f(k) + 2*y(k). Let t be n(7). Suppose -w = a + 1 + 3, 5*w = -2*a - 17. Which is smaller: t or a?
a
Let j = -12 + 14. Which is smaller: 6/7 or j?
6/7
Let u = -7 + 8. Let j be (-1)/(-2)*6/(-1). Which is bigger: u or j?
u
Suppose 4*k - 2*k = 10. Suppose 0*s = k*s. Which is smaller: s or -1/2?
-1/2
Let l = -0.9 - 0.1. Let t(w) = w**2 - 3*w. Let u be t(3). Let x = u - -1. Which is smaller: x or l?
l
Let z = 1 + -2. Let m = 7 + -10. Let o = z - m. Is o less than 0.1?
False
Let m be (-2)/6 + 60/18. Let a(g) = g + 3. Let j be a(7). Suppose -4*o = -6 - j. Which is bigger: o or m?
o
Let v(m) = -m**2 + 12*m - 9. Let b be v(11). Suppose -b*f + 3 = -3*f. Is -2 smaller than f?
False
Let f be 4/10 + 36/(-15). Let n = -2 - f. Let k be n - (-6)/4*6. Is k at least 1?
True
Let v be -5 - (-2 + 2 - -2). Which is smaller: -1/18 or v?
v
Let m = -75 - -6. Which is smaller: m or 1?
m
Let s(d) = 3*d - 30. Let h be s(9). Let o be (-27)/4*1/3. Which is smaller: h or o?
h
Let g = 111/550 + -1/50. Are 1/3 and g equal?
False
Let s(k) = -k**3 - k + 5. Let c be s(0). Let m = -14 - -19. Is m bigger than c?
False
Let z be (-4)/(-18) + 120/(-54). Let f = z - -2. Suppose 5*j = 4*i + 29, -i - 27 + 11 = -3*j. Is f bigger than i?
True
Let q = -1.66 - -0.06. Let r = q + 0.6. Let p = 4.6 + -5. Which is bigger: r or p?
p
Let a = -17.8 + 19. Is 0.2 smaller than a?
True
Let b = -0.13 - 0.27. Which is smaller: b or 3?
b
Suppose 24 = j + 2*j. Suppose -3*q - q = -3*z - j, 3*z + 15 = -3*q. Let p(s) = s**3 - 3*s + 1. Let l be p(2). Is q at most l?
True
Suppose 3*q - 8*q = 0. Let x be (-11)/(121/(-34)) + (0 - 3). Which is greater: q or x?
x
Let i(z) = 2*z + 3. Let t be i(6). Let o = t + 0. Suppose f = -0*f + 3*v - o, 0 = -4*f + 5*v - 32. Which is smaller: 0 or f?
f
Let m be 3/(-4)*4/18. Does m = 0?
False
Let y(i) = -i**3 + 3*i**2 + 6*i - 3. Suppose 1 = f - 3, 3*b + f = 16. Let z be y(b). Are z and 4 unequal?
True
Let r(j) = -j**2 - 9*j + 5. Let o be r(-9). Suppose -5 = 5*z - 5*n, o*z + 4*n = n + 11. Which is bigger: z or 1/4?
z
Let f = -1046/7 + 149. Let o be 5/(-30) - (-5)/(-6). Is f >= o?
True
Let m = -5 - -7. Suppose 3*r + 3 + 6 = 0. Let n = r + 4. Which is bigger: n or m?
m
Suppose -3*x - 2 = v + 1, x - 10 = -4*v. Let j(h) = -2 + 0*h - 2*h + v. Let w be j(1). Is -1/2 bigger than w?
True
Let k = 151 - 154. Let j(w) = w. Let n be j(-2). Which is greater: k or n?
n
Suppose 0 = -2*f + f - r, 0 = 2*f + 4*r + 2. Which is smaller: -2 or f?
-2
Let c = -0.2 - -0.15. Let a = c - 0.15. Which is bigger: 1 or a?
1
Let v be ((-192)/20)/(-4)*5. Are 11 and v equal?
False
Let k(s) = -20*s + 1. Let c be k(-1). Suppose z + 5*b + c = -z, 3*b = 3*z - 21. Suppose -z*o = -5*o. Is 1 <= o?
False
Let t be 6/(-15) + (-104)/(-310) + 0. Are t and 1 nonequal?
True
Let o = -26 + 16. Let x be (-14)/(-21)*6/(-4). Let y be (o/3)/x + -3. Which is bigger: -4 or y?
y
Let y be (-7 - -2)*(-1)/(-1). Suppose 0*c = 2*q - c + 29, -2*q - 32 = -2*c. Let z(t) = t**2 + 13*t - 6. Let v be z(q). Which is smaller: y or v?
v
Suppose 0 = w + w. Let d be 2*(2 - (-12)/(-7)). Does d = w?
False
Suppose 24 = s + 3*s. Let j = s + -4. Which is smaller: j or -1?
-1
Let w = -83/3 + 28. Which is smaller: w or -2/15?
-2/15
Let v = 1.9 + -2. Let d = -6/19 + 250/551. Let o = d + 1/203. Which is greater: o or v?
o
Let b be ((4 - 2) + -3)*0. Let n be (-10)/(-30) - (-1)/(-21). Is b greater than n?
False
Suppose -5*x = -2*x - 3. Is 4/3 at least x?
True
Let g = 78 - 73. Which is greater: 9 or g?
9
Let g = 0 + 3. Suppose -g*j = 1 - 13. Suppose 3*a + j*n = -n + 6, 0 = a + 4*n - 2. Which is greater: a or 4?
4
Suppose 0 = -0*j - j - 3. Let i be (-6)/(-14) - (-3)/j. Let u = -13 + 13. Is i not equal to u?
True
Let b = 9.36 - 0.96. Let a = b + -9. Which is greater: a or -2/3?
a
Let u be (-21)/(-45)*(-2)/(-7). Let z = -11/30 - u. Let g = -4 - -6. Is z <= g?
True
Let j(y) = y**2 + 3*y - 1. Let t be j(-2). Let m(w) = -w**3 - 3*w**2 - w - 3. Let u be m(t). Which is smaller: u or 9/5?
u
Let o be (0/(-2 + 0))/(0 + 1). Which is smaller: o or -2/87?
-2/87
Let c = -10288/21 + 490. Are 1 and c nonequal?
True
Let r be (1/(-2 + 3))/(-1). Let z(c) be the first derivative of -c**3/3 + 9*c**2/2 - 3*c + 1. Let q be z(9). Is q at least as big as r?
False
Let d = -7 + 5. Let h = d + 3. Suppose 4*w = -x, 2*x - 3*x - w = 0. Is h > x?
True
Let x be ((-4)/(-3))/((-2)/6). Let v(m) = -m - 6. Let p be v(x). Let u be (p/(-12))/((-4)/16). Which is smaller: 0 or u?
u
Let p be (-1 - (-5)/3)*-3. Let y be -1 + 6/(-9) + 9/54. Which is smaller: y or p?
p
Let a be (-1)/4 - 18/(-8). Let d = -147 - -148. Which is bigger: a or d?
a
Let z(f) = -f + 1. Let a be z(1). Suppose -4*h + 14 = -2*j, -2*j - 13 = -3*h - a. Are -2/49 and h nonequal?
True
Suppose 10 = -o + 4. Let x be (8/o)/(16/(-8)). Let a be (-4)/(-15) - 2/(-5). Is x at most a?
True
Let z = 4 - 6. Let a be 3/(1*(-2)/z). Let b = -8 - -11. Are a and b non-equal?
False
Suppose 0 = -3*v - 4*v + 2*v. Which is greater: -6/25 or v?
v
Suppose -338 = u + 39. Let l = u - -14705/39. Is 0 less than or equal to l?
True
Let p be (-4)/(-6)*(11 + 1). Let h be (9/3)/((-6)/p). Which is smaller: -3 or h?
h
Suppose -2*q - 9 = 4*z - q, -5*q = -4*z - 27. Is -12/7 >= z?
True
Suppose -9 + 3 = -2*z. Suppose 5 = -y, h - 5*y - 23 = 3*h. Which is smaller: z or h?
h
Let g = -2/1961 - -45131/27454. Let a = -8/7 + g. Which is greater: 2 or a?
2
Suppose 7*p + 165 = 60. Which is greater: p or -17?
p
Suppose 3*v + k = 9, 3*v = -2*v - 4*k + 15. Suppose -d - 18 = -v*d. Suppose -d = 5*s - 4*m, -s - 4*m + m + 2 = 0. Is s < 2/7?
True
Let n be (-3 - 0) + (-171)/(-63). Is n at least 2?
False
Let d = 0.09 + 0.91. Which is smaller: d or 8?
d
Let a(i) = i + 0 - 1 + 0*i. Let n be a(3). Suppose -12*t - 3 = -51. Is t > n?
True
Let c be -2*97/(-16)*-1. Let i = 12 + c. Is 1 at most i?
False
Suppose -12 = 3*j + 4*p + 3, 0 = -p - 3. Which is greater: 1/69 or j?
1/69
Let n(u) = u**3 + 7*u**2 - 7*u + 8. Let d = -17 - -9. Let p be n(d). Which is bigger: p or 3/5?
3/5
Let m be 10/4*(-6)/10. Let o(c) = c**2 + 9*c. Let y be o(-9). Suppose h + 2 = -y. Is m at least as big as h?
True
Let z = 34 - 35. Suppose -4*m - 75 = m. Let j be 2/(-6) + m/9. Is j at most z?
True
Let r = 5.95 - 6. Let o = -3.05 - r. Let g = o + 2. Is 2/3 at most g?
False
Let u = -13 + 18. Let q = 5.2 - u. Is q greater than 1/4?
False
Let o be (2 - 1)/(1/8). Let q be 4/18*(-12)/o. Is q > -1?
True
Let q(h) = -h**3 + 8*h**2 - 4*h - 9. Let s be q(6). Which is smaller: s or 40?
s
Let u(k) be the first derivative of k**2/2 - 2*k + 1. Let c be u(0). Let s = -11 - -8. Is s greater than or equal to c?
False
Let u be (9/(-21))/((-3)/(-2)). Which is smaller: u or 1?
u
Suppose 3*z = -g + z - 18, 2*g = -3*z - 31. Let f = -7 - g. Let w(x) = -x + 8. Let v be w(6). Which is smaller: v or f?
f
Let g be ((-4)/(-1))/(6/(-12)). Which is bigger: g or 0?
0
Let t = 117 + -471/4. Let k be 1 + 1 - (2 + 1). Is t >= k?
True
Let c be 3/(-17)*(-4)/6. Let j = -9 - -8. Which is smaller: j or c?
j
Let u = -11 + 2. Let t be 5/4*u/30. Which is bigger: t or -1?
t
Let h be 1840/456 + -3 + -1. Is -1 smaller than h?
True
Let o = 3 - 2.9. Suppose 3*f + t + 2 = -4, 4*f + 13 = -3*t. Let k be f/(-6)*(-9)/(-6). Which is smaller: k or o?
o
Let r = 2.992 - -0.008. Which is smaller: 6/11 or r?
6/11
Let o = 3/2 + -13/8. Is 1 at most o?
False
Let r be 2/(-4)*-2*9. Suppose -6*s + 2*s = 12. Let p be 5*s/r - -1. Are p and -1 unequal?
True
Let t = 21 - 19. Suppose -t*f + 0*f - 24 = 0. Is 0 at most f?
False
Suppose 0 = 3*p - 9, -5*n - 2*p + 3*p = -77. Suppose -m + 2*y + y = n, 0 = y - 5. Let t = 224 + -2466/11. Which is bigger: t or m?
t
Suppose -4*f + 7 = -5. Suppose -f*s = s - 32. Suppose -3*k + 11 = -o, -3*o = -2*k + s + 4. Which is bigger: k or -1?
k
Suppose 2*b - 10 = -0. Suppose -2*k + 0*k = -3*n + 9, b*n - 4*k = 17. Which is greater: n or -2/9?
n
Let j be 4899/(-35) - 4/(-10). Suppose 5*t - 705 = -n - 4*n, -4*t - 276 = -2*n. Let v = n + j. Is v at most 1?
True
Let j be 21 - (5 - (-2 + 6)). Is 0.2 smaller than j?
True
Suppose 3 = k + 2*k, -2*t - 17 = k. Let j be -3*1*(-3)/t. Let v be 12/27*j/2. Which is greater: v or 1?
1
Let 