s smaller: 2/17 or v?
v
Let z be 2/10*2/1. Let w(y) = -y**2 - 9*y + 9. Let g be w(-10). Is z <= g?
False
Let x = 18 + -27. Let j(w) = w**2 + 11*w + 13. Let u be j(x). Which is smaller: -2 or u?
u
Let v be (-1)/(-4) + 14/8. Suppose 0 = -3*s + 2*t - 3, -3*t + 1 + v = -4*s. Does s = 0.1?
False
Let b = -7 + 9. Let m = b - 1. Is 1/3 equal to m?
False
Let i be (-35)/12*(-3)/15. Let y = -1/4 + i. Suppose -6*z = -2*z + 4. Which is bigger: y or z?
y
Let t = -4 - -4.05. Let m = 0.55 + t. Let l = m + 0.4. Which is smaller: l or 3?
l
Let w = 18 - 10. Let x(j) = -2*j + 16. Let p be x(w). Which is bigger: -1 or p?
p
Let o = 0.1 - 0.2. Let f = -0.1 - o. Let g = 1.1 + -1.4. Is f equal to g?
False
Let z(x) = x**3 - 2*x**2 - x - 3. Let d be z(3). Suppose 4*h = -q + d, 0 = -6*h + h - 4*q + 1. Is 0 at least as big as h?
False
Let g(i) = i**3 - 3*i**2 + i - 2. Let r be g(3). Which is bigger: r or -3?
r
Let r be 8/(-28) - (-16)/7. Let p = 12 - 14. Which is greater: r or p?
r
Suppose -4*d = 2*o + 570, -5*d + 2*d = 4*o + 1135. Let s = -3111/11 - o. Let c = -19/44 + s. Does 1 = c?
False
Let o be (-8)/14 - 402/(-777). Is o smaller than 1?
True
Suppose -5*f - 29 = -9. Let s be ((-8)/(-12))/(f/6). Is s equal to -3/4?
False
Let p = 0.8 - -1.2. Which is bigger: p or 0.1?
p
Let i be 298762/(-24) + (-12)/18. Let w = i - -12434. Let b = w + 46/3. Which is smaller: b or 0?
0
Let b = -1 - -11. Let c be (-1 - b/(-6))*6. Suppose -5*r = -g - 5, c*r - 2*g = -7*g - 25. Which is bigger: -3/5 or r?
r
Let s be 90/(-21) + 4/14. Suppose -4 + 3 = y. Let q be 2 - (-1 + y - -4). Is s less than or equal to q?
True
Let f = 27 + -15. Let u = f + -13. Let x be (5/(10/(-4)))/5. Are x and u non-equal?
True
Let k(r) = -r + 1. Let h be k(-8). Suppose 2*i - 1 - h = 0. Suppose 0 = -5*w - 3*c + c + 2, -i*w = 3*c - 3. Which is bigger: 5/7 or w?
5/7
Let i(o) = -3*o. Let v be i(-1). Suppose 0*p + 4 = -p. Let h = p + 8. Which is smaller: h or v?
v
Let c = 1.2 - 1.7. Let r = c - -0.8. Suppose 3*l + 9 = -p, 4*l - 2*p = 1 - 3. Which is bigger: l or r?
r
Let r be 2/(-4) + (-48)/(-93). Which is greater: r or 1?
1
Let s(y) = y**2 - 8. Let o be s(-3). Let c = 0 + 0. Which is smaller: c or o?
c
Let o be ((-13)/(-2) + 0)*2. Let b be 1/(-5 - 22/(-4)) - 1. Which is smaller: b or o?
b
Let o = 5 - 10. Let f = 13 - 13. Which is smaller: f or o?
o
Let o = -20 - -20. Let n = -2 - -3. Let q be (n/6 + 0)/(-1). Which is greater: q or o?
o
Let d(u) = -u**3 + 10*u**2 - 7*u - 11. Let r be d(9). Suppose 3*i + 4*c + 19 + 4 = 0, c = -2*i - r. Is 2 equal to i?
False
Let s = -84 - -117. Is s less than or equal to 32?
False
Let c be 8*(15/3 + -2). Suppose -j + c = -4*j + 3*n, 4*j + 3*n = -39. Let p be (2/(-6))/((-3)/j). Which is bigger: -5/6 or p?
-5/6
Let y(v) = -v**3 - 6*v**2 - 5*v + 2. Let j be y(-4). Is j greater than -10?
False
Let d = -27.2 + 23. Let v = d - -4. Let g = -0.2 + 0. Is v at most as big as g?
True
Let c = -21 + 20. Which is smaller: 1/31 or c?
c
Suppose 0 = -3*i - 4*i - 7. Is -2/5 at most i?
False
Let t(b) = -2*b**3 - 3*b**2 - b - 2. Let q be t(-2). Which is bigger: 0 or q?
q
Suppose 0 = -5*h - 3*z - 13 - 7, 0 = -h - 3*z - 16. Which is smaller: 8 or h?
h
Let j be -12*(2 + 16/(-6)). Let g(o) = -5 + 3*o + 7*o - 9*o. Let k be g(j). Which is greater: 4 or k?
4
Let n = 2 + -7. Let d = 3 + n. Is d at most as big as 0?
True
Suppose -s = -4*d - 5, 0 = -4*s - 13 + 1. Which is greater: -3/2 or d?
-3/2
Let r(j) be the first derivative of j**4/4 + j**3/3 + 2*j - 1. Let x be 0/(2*(-1)/1). Let i be r(x). Is 2 != i?
False
Let d = -5 + 9. Suppose -3*b = -d*v + 1, 5*b + 3*v - 2*v - 29 = 0. Suppose -r + b*t = 8, -3*r - 4*t + 14 = -0*r. Which is smaller: r or 2/3?
2/3
Suppose -4*m - 15 = -5*a, a = 2*a - 3. Suppose -3*s + m*s + 11 = 2*t, 0 = 3*t + 6. Does 6 = s?
False
Let n = -17 - -25. Suppose 10 = 3*j - 5*d, 3*d - n - 15 = -4*j. Is j equal to 0?
False
Suppose 0 = -4*k - 0*k + 28. Which is bigger: 3 or k?
k
Let r be 0 - (-3 + 1*-10). Is r smaller than 12?
False
Suppose 2*y + 5*a - 9 = 8, -13 = 2*y - 5*a. Suppose 5*l + 1 = 6. Let v be (l/2)/(2/(-4)). Which is smaller: y or v?
v
Suppose 5 = 3*h + 2. Which is smaller: -88 or h?
-88
Let s be 2/(-6) - (0 - 0). Let y be (-8)/(-28) - 4/14. Which is smaller: s or y?
s
Let w(s) = -s**3 + 5*s**2 + 2*s - 11. Let x be w(5). Is x at most as big as -3/8?
True
Let f = 21 - 21. Which is bigger: f or 3/8?
3/8
Let l be 15*(12/(-5) + 3). Let f be (6/8)/(l/6). Is f equal to 0.1?
False
Let y = 0.5 + -1.5. Which is smaller: 12 or y?
y
Let p = -4 - -2. Let g(z) = z**2 - 4*z + 2. Let u be g(4). Suppose 0 = 5*q + 4*w + 9, 5*q - u*w + 2 = w. Are p and q unequal?
True
Let q(b) = b**3 - 5*b**2 + 3*b + 4. Let y be 4/(-14) - (-69)/21. Let k be q(y). Let z(s) = -s**3 - 6*s**2 - 4*s + 4. Let n be z(k). Which is bigger: 1/7 or n?
1/7
Let l be (6/(-1) - -2) + 1140/286. Does 0 = l?
False
Let p(t) be the second derivative of t**5/20 - 3*t**4/4 + 5*t**3/3 - 11*t**2/2 + t. Let u be p(8). Which is bigger: 6 or u?
6
Let o be (-36)/5 - 2/(-10). Let g(r) = r + 7. Let m be g(o). Is m at most 1?
True
Suppose -x = -q + 1, -3*x + 5*q - 3*q = 2. Let g = -2/309 + 941/2163. Which is smaller: g or x?
x
Let x = -23.99 - 0.01. Let r = x + 34. Let c = r - 9.9. Is c < -0.5?
False
Suppose -5*a + 0*a = -5. Are a and 16 unequal?
True
Let p(y) = y**2 - 10*y - 7. Let f be p(11). Is f at most 5?
True
Let m be (11/11)/(1 - 2). Which is greater: 2/31 or m?
2/31
Let p = -2.044 + 0.044. Which is smaller: -1 or p?
p
Let r = -39 - -38. Are -16/7 and r unequal?
True
Let r = 0.0261 - -2.0039. Let g = 0.03 - r. Let s = -0.5 + 0.4. Which is smaller: g or s?
g
Suppose -3*o = -4 + 1. Let f = 2/17 + -31/119. Let w = f + 25/77. Is w <= o?
True
Let x be 10/3 - (-8)/12. Suppose 9*b = x*b - 15. Which is smaller: b or -4?
-4
Let i be 1*(-7 + 8 + -4) + -12. Is -15 equal to i?
True
Let t = 5 + -5. Is 3 >= t?
True
Let m = 291 + -566. Let o be m/(-420) - 3/4. Which is greater: o or 0?
0
Suppose 4*u + 12 = 2*k, 3*k - 54 = -2*k - 2*u. Let v be (-2 - -4)*k + 0. Suppose 5 + v = 5*f, 5*j = 4*f - 25. Is j at most -1/6?
True
Suppose 4*w + 1 = 3*m, -m - 2 = m - 4*w. Let d = m - 7. Which is greater: d or -3?
-3
Let u = 8 - 3. Suppose 5 = i + t, 2*i + 4*t - 11 = u. Let b = 158/51 + -30/17. Which is bigger: b or i?
i
Let t(x) = -x**2 + x**3 - x**2 - 9 - x**2 - 6*x**2 + 9*x. Suppose 4*n - 48 = -3*i + 7*i, -3*n - 2*i = -16. Let b be t(n). Is 0 greater than b?
True
Let y be 5*-1 - (3 + -2). Let n = 4.2 - 3.2. Which is smaller: y or n?
y
Suppose 160 = -5*o + 2*h + 2*h, 160 = -5*o + h. Is o bigger than -31?
False
Suppose -3*i - 2 - 13 = 0. Let q = 4 + -3. Which is smaller: q or i?
i
Suppose -5*q = -4*g - 7 - 2, 2*g = 5*q - 7. Is q at least as big as 4/23?
True
Suppose 3*d + 27 = 4*f, 5*f - 28 = -0*f - 2*d. Let o(s) = -s**2 + 5*s + 5. Let w be o(5). Which is greater: w or f?
f
Let y = 1431/7 - 205. Are y and -2 unequal?
True
Let o be ((-2)/5)/((-18)/15). Suppose 5*j + 3 = 2*j. Let x(d) = d**2 + d. Let h be x(j). Which is smaller: o or h?
h
Let f = 18 + -32. Which is bigger: -15 or f?
f
Let t be ((-4)/16)/(-1)*-5. Which is smaller: t or -2?
-2
Let r = -0.6 + 0.57. Is r bigger than 0.1?
False
Suppose 2 = -g - 18. Let n = g + 81/4. Which is smaller: -1 or n?
-1
Suppose 0 = -2*n + 4*x + 4 - 0, 5*x = -5*n + 40. Let v be n/(-9)*(-10)/12. Let t = v - 47/36. Which is smaller: 0 or t?
t
Let m be 1*(-3 + (-4)/2). Let d = m + 6. Which is greater: -2/5 or d?
d
Let r(u) = 11*u**3 - u**2 + 2*u. Let j be r(1). Is 13 not equal to j?
True
Suppose 0 = -3*m + 7*m + 24. Let f be ((-2)/m)/((-1)/3). Is f less than -1?
False
Let b = 0 + -1. Let h = b + 0.6. Let s = h + 0.4. Which is smaller: s or 2/7?
s
Suppose 1 + 3 = -4*z. Is z < -1/2?
True
Let q = 32 - 97/3. Which is smaller: 16 or q?
q
Let m be (-4 - -3)*3*2. Let c be m - 6/((-2)/1). Which is bigger: c or -2?
-2
Suppose -5*k - 1 = -4*k. Let z be (0 + k)*(-5)/(-25). Suppose -3 = -d - p, 6 + 3 = -d + 5*p. Which is smaller: d or z?
z
Let a = 0.054 + -0.154. Let b = 0.05 + 0. Is b < a?
False
Let b be (0 - -2)/(1/14*-4). Which is smaller: b or 3?
b
Suppose -4*o - 5*s + 1098 = 0, -8*o + 4*s + 1352 = -3*o. Let c = -3532/13 + o. Which is smaller: 0 or c?
0
Let o be (0 - 4) + (1 - -14). Which is greater: 13 or o?
13
Let z(b) = b**3 - 2*b**2 - b + 2. Le