 -10 - -10. Suppose 2*n = -u*n. Is n smaller than -1?
False
Let k = 0 + -0.3. Let j = -0.2 + k. Which is greater: 2 or j?
2
Suppose 3*w + 4*k - 5 - 3 = 0, 2*w + 23 = 3*k. Is w at least as big as -4?
True
Let k(q) = q**2 + 15*q - 21. Let a be k(-17). Is 27/2 at most as big as a?
False
Suppose 5*p - 40 = -3*t, -3*t + 0*p + 25 = 2*p. Suppose -4*j - t*n = -4, -2*j = -4*j + 3*n + 2. Let k be ((8/2)/(-2))/(-21). Are k and j nonequal?
True
Let d be (-2)/(((-1)/(-36))/(-1)). Let f be 2*-4*(-3)/d. Is 0 bigger than f?
False
Let g be (-1 + 1)*(2 - 1). Is g < -1/5?
False
Let k = 0.14 + -2.14. Is k <= 0.08?
True
Let o(g) = g**2 + 2*g - 1. Let i be o(1). Let t be 2/i + -2 + 2. Let n be (3 - 156/27) + 3. Which is smaller: n or t?
n
Let y(t) = t**3 + 4*t**2 - 2*t - 6. Let m be y(-2). Which is bigger: 36/5 or m?
36/5
Let j = 2 - 3. Let p = 1 - j. Let y = 2.1 - 2. Is p greater than y?
True
Suppose -5*z + 8*z = 9. Let n be (9/z)/(2/(-2)). Do n and -9/5 have different values?
True
Let j be ((-2)/(-20))/(6/1035). Let f = j - 17. Is f >= -2.1?
True
Let s = 115/4 + -7943/276. Let a(h) = -h**3 - 3*h**2 - 2*h - 5. Let r be a(-3). Is r greater than or equal to s?
True
Suppose -7*r = -13*r + 162. Is r > 28?
False
Let t be ((-6)/(-15))/1*5. Suppose 0*q + t*q + 14 = 0. Let r(h) = h**3 + 6*h**2 - 8*h - 7. Let a be r(q). Which is bigger: 1 or a?
1
Suppose 0*b = -3*b + 6. Suppose -3*h + 5 = -b*h. Suppose 3*f + 3 = -3*t, 0 = -f + h*f - 5*t - 32. Is 3 bigger than f?
False
Let r = 0.3 - 1.3. Let w = -3 - -2.95. Let j = w - -0.05. Is j equal to r?
False
Let v be (-122)/(-396) + 10/(-15). Let f = -175/1606 - 2/73. Let r = f - v. Is r less than 2?
True
Let i(l) = l**2 + l - 2. Let v be i(-3). Let o be (-8)/28 + (1 - (-5)/(-7)). Suppose v*y + u = o, 0 = 2*y - 3*u + u. Which is smaller: y or -1?
-1
Let j(p) = 2*p + 11. Let r be j(-6). Let v be (r - 1)*6/4. Is -3 < v?
False
Let c = -263 + 1319/5. Is 1 less than or equal to c?
False
Let i be ((-12)/(-4))/(-3)*0. Is i > -1/4?
True
Suppose 4*n - 7 - 9 = 0. Suppose 2*y = n*y - 2. Let u be 1 + (y - 1) - 1. Which is bigger: 1/5 or u?
1/5
Let d = -12356/333 + 332/9. Is d less than -1?
False
Let v = 0.59 + -0.09. Let b = -0.3 + v. Which is greater: b or 0.4?
0.4
Suppose -3*s + 15 = -p, 3*s - 5*s + 20 = -4*p. Do 2 and s have different values?
True
Suppose 2 - 5 = -k. Let n be (9/24)/(k/(-2)). Let z = -203/3 - -67. Which is greater: n or z?
n
Suppose -20 = 3*l - 50. Suppose t = 6*t - l. Let s(j) = -j + 2. Let r be s(t). Is r < -1/8?
False
Let y be (-55)/30 - (-3 - -2). Let v = y - -23/42. Is v equal to 22?
False
Let j = -94/3 + 32. Which is smaller: j or 11?
j
Let m be (1/3)/(-3 - -2). Let t be -3 - (4 + (1 - 7)). Is t at least m?
False
Let d(n) = -3*n**2 - 7*n + 13. Let h(g) = -7*g**2 - 15*g + 25. Let t(a) = -5*d(a) + 2*h(a). Let v be t(-7). Which is bigger: v or -6/13?
-6/13
Let z = 3 - 3. Suppose z = -5*v - 4*r + 4, -2*v + 3*v + r = 0. Is v <= 3?
False
Let c be 2/(-6)*(-21)/(-28). Let g be (-9)/15*10/(-4). Which is smaller: c or g?
c
Suppose 0 = -5*l - 15. Let w(f) = -4*f - 1. Let q(m) = m. Let a(k) = 6*q(k) + w(k). Let r be a(-1). Is r smaller than l?
False
Let i = -1100 - -2139/2. Let g = -31 - i. Does 5/3 = g?
False
Let w = 1.3 + -0.3. Let j = w + -1. Which is bigger: -1/4 or j?
j
Let i = 3 + -9. Suppose 5*z + v = -32, -3*z - v - 24 = -4. Does i = z?
True
Let t(h) = h**3 - 7*h**2 + 5*h + 5. Let r be t(6). Which is smaller: -18 or r?
-18
Let g(t) = -t**2 + 10*t - 3. Let h be g(10). Is -5 >= h?
False
Let h = 0.38 - -0.02. Which is greater: h or -1?
h
Let g = -5 + 6. Suppose 0 = -0*w + 3*w - 12. Let a be ((-3)/w - -1)*2. Are a and g unequal?
True
Let m = 37 + -47. Let q = -13 - -4. Is m at least as big as q?
False
Let r be 10 - ((-8)/(-2) + -2). Suppose -2 = f - r. Let u be (-6)/(-4)*(4 - f). Is u at least as big as -3?
True
Suppose -8 - 4 = 3*n - 3*a, 0 = -2*n + a - 4. Let k(m) = -m + 7. Let r be k(5). Let t be r + 22/(-8) + 0. Which is smaller: n or t?
t
Let s be 1 - 4/(-2 - -1). Suppose s*v + 9 = 2*l + 2, 6 = -v + 5*l. Is -1/5 > v?
True
Suppose 5*k - 2 = -o, k + 6*o + 11 = 2*o. Suppose 0 = 3*r + k + 2. Which is bigger: -0.1 or r?
-0.1
Suppose -c = -2*m + 27, -6*m = -2*m - 3*c - 51. Let t = m - 14. Let h(k) = k**2 - 6*k. Let d be h(6). Which is greater: d or t?
t
Let m = -28 + 43. Suppose 2*p + p = m. Which is smaller: p or 6?
p
Let b = 607117/34495 - 1/6899. Let o = b + -18. Is 4/5 not equal to o?
True
Let n(u) = -u**3 + u**2 + u + 2. Let s be n(2). Let l be 1/6*(5 - s). Let j(p) = p**2 + 7*p + 1. Let m be j(-7). Is l equal to m?
False
Let y be 2/12 - 7/(42/4). Which is bigger: 8 or y?
8
Suppose 5*j + 5 = -5*u, -5*j + 3*u = -3*j - 18. Let m be (1/(-3))/((-1)/j). Which is smaller: 2/15 or m?
2/15
Suppose 5 = 8*d - 35. Are 2 and d equal?
False
Suppose 0 = 3*f - 0 - 15. Is f <= 7?
True
Let m = -8 - -5. Let v = m - -2. Does 2/11 = v?
False
Let h = -12 - -11.75. Let d = h + 0.15. Let n = 137/5 - 27. Which is smaller: n or d?
d
Let a = 35 - 36.1. Which is greater: -1/3 or a?
-1/3
Let s(o) be the first derivative of o**2/2 - o - 3. Let l be s(2). Do l and 1 have the same value?
True
Suppose -13*w - 36 = -31*w. Suppose -3*o - 2*m + m + 5 = 0, -8 = 4*o + 5*m. Do w and o have the same value?
False
Suppose a + 0*a - 5 = 0. Let m(w) = w**3 - 5*w**2 + w - 6. Let s be m(a). Which is smaller: s or -2/11?
s
Let o = 0.19 - -0.11. Let f = -30.1 + 27. Let c = -3 - f. Which is bigger: c or o?
o
Let l = 10 + -3. Suppose -2*k - 4 = 0, 0 = -3*v + l*v - 2*k + 8. Do v and -1 have the same value?
False
Let a = 67/4 - 17. Is -2 greater than a?
False
Let h = -111 - -110. Which is smaller: h or -1/34?
h
Suppose 0 = -2*w - 3 + 1. Is -5/6 less than or equal to w?
False
Let g = -932/5 + 187. Let i be 2/6 + (-7)/(-15). Let d = i + -21/20. Are g and d nonequal?
True
Let y = -229/3335 + -23/58. Let q = -3/46 - y. Is -2 < q?
True
Let n = 2 - -1. Let u = 0 + n. Let x = 11 - 7. Which is smaller: x or u?
u
Let c(s) be the second derivative of s**2 - 1/12*s**4 - 5/6*s**3 + 0 - 2*s. Let t be c(-5). Which is smaller: t or 2/3?
2/3
Suppose 5*x - 7 = w, 0 = 4*x - w + 4*w - 17. Let r be (-3)/(-4) + (-9)/(-20). Which is greater: x or r?
x
Let p(g) = -5*g - 2. Let v(x) = -x - 1. Let k(i) = p(i) - 3*v(i). Let b be k(1). Which is greater: b or 0.06?
0.06
Let y = -0.095 + -0.005. Is y less than or equal to 0.048?
True
Suppose -5*h = -4*a - 3, -h + 4*a = -6 - 1. Which is smaller: h or 1/3?
h
Suppose -g - 2*g - 11 = 2*z, 0 = 3*g + 3. Let q = -14 + 10. Do z and q have the same value?
True
Suppose 4*n - a + 31 = -0*a, -2*n - 2*a = 28. Is -11 != n?
True
Let d = 22 + -22. Which is smaller: -2 or d?
-2
Suppose 20 = -3*m - m. Let f = m + 21/4. Which is smaller: 7 or f?
f
Suppose 5*a = -3 - 12. Let s = 4 + a. Suppose 0*o = -o + s. Which is bigger: 0 or o?
o
Suppose -4*m - 26 = d + 7, 5*d = 5*m + 10. Which is smaller: m or -5?
m
Let t = 31/108 + -1/27. Which is smaller: 0.3 or t?
t
Suppose 8*b - 32 = 8. Is b equal to 6?
False
Suppose 0 = 2*f + f - x - 707, 494 = 2*f + 5*x. Let w = -2131/9 + f. Is w greater than or equal to 0?
True
Let m(i) = -i + 3. Let t be m(3). Suppose t = 2*c - x + 65, -5*c + 3*x - 127 = -c. Let w = -65/2 - c. Which is smaller: 3 or w?
w
Let d be (-68)/12 + 2/3. Let p = 4 + d. Suppose -u + 4 - 5 = 0. Are p and u nonequal?
False
Let b = 46 - 45. Is b less than 3/8?
False
Let y(n) = -35*n**2 + 2*n. Let x be y(1). Let q = x + 21. Which is bigger: q or -13?
q
Let n = 18 - 27.9. Let s = -10 - n. Which is smaller: s or 1?
s
Let p be 2/(-2)*(-20)/(-24). Which is smaller: p or 0?
p
Let t = 0.308 + -0.008. Is t greater than or equal to 0.1?
True
Let r(x) = -2*x + 3. Let v be r(4). Let l be ((-2)/v + 0)*1. Suppose -i + 4*i - 3 = 0. Which is greater: l or i?
i
Let u = 13 - 9. Let y be (((-3)/(-4))/1)/3. Which is smaller: u or y?
y
Let v = -58 + 62.7. Let m = 2.7 - v. Which is smaller: -6 or m?
-6
Let d = -91/12 - -3343/444. Is 1 at least as big as d?
True
Let c be (-1 - 168/(-27)) + 2/(-9). Do 5 and c have the same value?
True
Let p(u) = u**3 + 8*u**2 + 6*u - 3. Let z be p(-7). Suppose 5*a + 1 - 7 = -z*l, a = -3*l - 1. Is l bigger than -2?
True
Let w = -34/7 - -367/77. Is w <= -1?
False
Let c = -1.29 + 0.79. Let b = -0.2 - -0.1. Which is smaller: b or c?
c
Suppose -2*g = 5*z - 11, 