Suppose -7*a + 16 = -3*a. Is a less than 7?
True
Let k be 0 + (1/(-1))/1. Let z(s) be the third derivative of -s**5/60 + 5*s**4/12 - 2*s**2. Let r be z(10). Is r less than k?
False
Let v be (-14)/21*(8 - 5). Let t be 0*2/4*-1. Let d = t + -2. Is d less than or equal to v?
True
Let m(b) = 3*b - 3. Let l be m(4). Suppose -63 = -14*q + 7*q. Is q greater than l?
False
Let n = 21.8 - 1.8. Let m = 21 - n. Do -0.6 and m have different values?
True
Suppose 0 = a + 2*a + 12. Let w be (-240)/42 - a/(-14). Let y = -3 - w. Is y less than 3?
False
Let n = 68 - 69. Which is greater: 1/11 or n?
1/11
Let g(w) = 2*w**2 + 5*w + 6. Let p be g(-4). Let v be 21/p + (-4)/6. Is v at most as big as 2?
True
Let y be (8/(-10))/((-3)/5). Suppose 2*g + g = 2*g. Is g equal to y?
False
Suppose y = 2*j - 5, 2*j + 2*y - 3 = -7. Which is bigger: j or 0?
j
Suppose -2*o + 63 = -11*o. Is o at least as big as -7?
True
Let x = 4 + 0. Suppose 3*p + 13 = -x*q, 3*p + p + 5*q = -16. Is -2/33 smaller than p?
True
Suppose 0 = 4*c + 16, 5*k - 3 = -3*c + 25. Suppose i = 2*p - 10, -6*p + 2*p = -4*i - 24. Suppose -p*y + 2 + 34 = 0. Is y less than k?
False
Let h be ((-6)/(-4))/((-4)/(-8)). Suppose -h*f - 4 = 2*i, 2*i = -3*f - 2*f. Which is smaller: -1 or f?
-1
Let g(q) = -q**2 - 15*q + 50. Let m be g(-18). Are m and -42/11 non-equal?
True
Let u(z) = -z**2 + 18*z - 3. Let i be u(14). Is i equal to 55?
False
Let r(w) = -w**3 + 2*w**2 - w. Let b be r(1). Let t = 37/9 + -425/99. Which is smaller: t or b?
t
Let d = -4 - 0. Let i = -4/19 + -10/133. Which is smaller: i or d?
d
Let p be 36/6*4/(-6). Suppose -3*r + 2 = -r. Which is bigger: r or p?
r
Suppose 0 = -5*q + 20, 4*i - q = i - 1. Suppose -i = -4*h + 3*h. Which is bigger: -4 or h?
h
Let v(i) = i**3 + 9. Let r be v(0). Let y be 8/(-39)*r/12. Which is greater: y or 0?
0
Let j = 85 + -763/9. Suppose 3*h = 4*v + 4, -2*v + 4*v = 2*h - 2. Is j >= v?
True
Suppose 3 = -3*f + d + 4*d, -4*f + 2*d = 4. Let l = 0.05 - 4.85. Let c = 5 + l. Which is smaller: f or c?
f
Let k = -0.098 + -10.802. Let r = k - -11. Which is greater: 0.15 or r?
0.15
Suppose -29 + 33 = 4*i. Is 1/2 at most i?
True
Suppose -3*b - 6 = -0. Let u = 10 + -6. Let x = u + -6. Is b at most x?
True
Suppose 0 = -3*q + 5*q - 4. Let t = 2/327 - -757/981. Which is greater: q or t?
q
Let q(g) = 2*g**2 + 3*g - 7. Let s(w) = -w + 1. Let k(r) = q(r) + 4*s(r). Let l be k(3). Let j be (-1)/(-4) + 9/l. Which is smaller: 0 or j?
0
Let w = 5 + 0. Suppose 0 = 4*m + 4*b - 5 - 3, 0 = -m - w*b + 14. Are 2/27 and m equal?
False
Let r be (-49)/28 - (-6)/8. Which is bigger: r or -2/77?
-2/77
Let d = 0.122 + 0.878. Do d and -67 have the same value?
False
Let m be 1*(-5)/(-6) + -1. Let h = -0.2 + 0. Let x = 0.3 + h. Is x bigger than m?
True
Let o be 4/5*25/10. Let f be 3*(5 + -3) + -3. Suppose 11 = h - 2*a, -o*h = h - f*a - 18. Which is bigger: h or 0?
h
Let l(a) = -a**3 - 5*a**2 - 4*a - 2. Let x be l(-4). Let k = -3 - x. Which is greater: k or 2?
2
Let y = -0.26 + -12.74. Let g = 13.1 + y. Let p = -0.1 - -0.1. Which is smaller: g or p?
p
Let d = 87 - 437/5. Which is smaller: d or 21?
d
Let z be (4/(-50))/((-2)/(-10)). Let m = 1679/3260 - -22/163. Let y = z + m. Which is greater: y or -0.3?
y
Suppose -3*j - 6 = -j. Let r = -2 - j. Suppose -3*g + 14 = 2, 0 = -4*u - 3*g + 4. Which is greater: r or u?
r
Suppose -3*f = 2*w + 27, -5*f - 3*w + w - 49 = 0. Which is bigger: f or -17?
f
Let i(k) = k**3 - 6*k**2 + 9*k - 1. Let d be i(4). Suppose d*p + 2*p + 5 = 0. Is -3 at most as big as p?
True
Let k(n) = 5*n**2 + 28*n - 38. Let q(p) = 3*p**2 + 19*p - 25. Let a(u) = -5*k(u) + 8*q(u). Let o be a(11). Is 9 < o?
False
Let s = 16 + -13. Let c be s - (-1)/((-1)/2). Is c greater than or equal to 5/3?
False
Let r(i) = -i - 4. Let n be r(-5). Let s be 5 - 4 - 10/12. Let y = s - 1/2. Do n and y have the same value?
False
Let c(x) = 2*x + 6. Let q be c(-4). Let u(t) = t**3 + 6*t**2 + 5. Let f be u(-6). Let p be ((-2)/f)/(4/q). Which is smaller: p or 0?
0
Suppose 2*m - 5*s + 17 = -10*s, m + 5*s = -21. Suppose 0 = -6*y + 2*y + m. Are -3/7 and y non-equal?
True
Let a(x) = -x**2 + 3. Let d be a(-3). Are -6 and d nonequal?
False
Let z(i) = -2*i - 4. Let c be z(-7). Suppose -5*a - 4*k + 2 = -c, 0 = -4*a - 3*k + 10. Suppose 2*o = o + a, 6 = 2*u + o. Which is bigger: u or 0?
u
Let q(u) = u**2 + 6*u - 2. Let r be q(-6). Let x = -2.3 + 1.3. Which is greater: x or r?
x
Let k = -7 - -7.06. Let t = -0.34 - k. Let j = -1.4 - t. Which is bigger: 4 or j?
4
Let t be (-10)/45 - (-32)/63. Let r(z) = z**3 + 19*z - 2*z**2 + 4*z**2 - 16*z - 2*z**3. Let y be r(3). Which is smaller: t or y?
y
Let t be ((3 + 93/(-36))*4)/(-1). Let p be 2*1/2 + -2. Is p equal to t?
False
Let x(g) = -5*g**2 + 8*g - 7 + 0*g**3 + g**3 - 3*g**2 + 0*g**3. Let u be x(7). Are u and -2/7 unequal?
True
Let w = 1.1 + 2.9. Let l = w + 0. Let t = l + -3.7. Is -2 >= t?
False
Suppose -2*r = -3*b + 31, b - 13 = 5*r + 58. Is r >= -14?
True
Suppose 0 = -5*n - 0*n - l - 14, -3*n + l = 10. Let j = -81 + 79. Which is smaller: j or n?
n
Let s(c) = 18*c**2 + 2*c + 1. Let d be s(-1). Let k be (-2)/((-18)/129) - -4. Let l = d - k. Is -1 < l?
False
Let i = -1 - -3. Which is smaller: 15/8 or i?
15/8
Let v(h) = -h + 11. Let f be v(8). Let x = 1 - f. Is x smaller than -2?
False
Suppose -4*w - 4*l + 0*l - 68 = 0, 0 = 4*w - l + 88. Let v be (7/w)/(1/5). Which is smaller: v or -2?
-2
Let d(i) = 5*i + 0 + i**2 + 0. Let s be d(-5). Let j = 1 - 1. Is s greater than j?
False
Let l be (-8)/6 - (-2)/3. Let i be 3/(9/(-6) - 0). Let b be 0 - (2 + (-3 - i)). Is b not equal to l?
True
Suppose t = -2*t. Suppose 2*f + t = 10. Suppose -3*m + 3*n = -2*n - 20, -m + f*n = -20. Is m greater than -3/7?
True
Let u be (-9)/(-6)*6/9. Suppose 4*w = u - 5. Is w >= 3/10?
False
Let o = -7 - -6.99. Let z = o + 1.01. Let v = -1.2 + z. Is -1 > v?
False
Let u = -45 - -54. Which is smaller: u or 38/5?
38/5
Let j be ((-2)/(-14))/(15/(-6) + 3). Suppose -10 = -9*g + 4*g. Suppose 3*u - g*u = 1. Which is bigger: j or u?
u
Let s = 142 - 141.9. Is s at most as big as -0.9?
False
Suppose 0 = 2*s + 3*s. Suppose -5*c - 3 + 23 = 0. Let l = -6 + c. Which is bigger: l or s?
s
Let k(p) = p**3 - 4*p**2 + p + 2. Let o be k(4). Suppose 2*m - o*m = 0. Is -2 > m?
False
Let n be (-6)/(-16)*(-4)/(-6). Let p = -7 + 7. Is n at least p?
True
Suppose 2*k - j - 5 = 5, 2*k + j = 10. Suppose -2*t + 321 = -k*t. Let a = -537/5 - t. Which is bigger: 1 or a?
1
Suppose -2*p = -2*q + 12, -18 = -2*q - 2*q + 2*p. Suppose u - 5 = -2*t + 6, 2*t = q*u - 9. Which is smaller: 13/3 or t?
t
Let q(a) = -2*a**3 - 31*a**2 - 15*a + 22. Let s be q(-15). Is 20 at least s?
False
Suppose -2*w = -1 + 3. Let a be ((-1)/(2 + -3))/w. Which is smaller: -2 or a?
-2
Let u = -32/5 + 133/20. Which is bigger: u or 0?
u
Let j = -0.923 + -0.077. Is -0.02 smaller than j?
False
Suppose 0 = -5*c - 5*r + 6 + 19, 0 = 2*c - r - 1. Let u(g) = g**3 - 2*g**2 + g - 3. Let t be u(c). Which is greater: -10 or t?
t
Let r be (-6)/(-2) + 3/24*66. Is 10 equal to r?
False
Let x(t) be the second derivative of -1/4*t**4 + 0 - t - 1/6*t**3 - 1/20*t**5 + 0*t**2. Let u be x(-1). Which is smaller: u or 2/7?
u
Suppose -5*h - 4 = -19. Suppose h*o - 10 = -2*o. Suppose -3*a = -3*m + 15, -3*m + 5*m = -a - o. Which is smaller: -1/4 or m?
-1/4
Let p be (-7)/21 + (-20)/(-6). Let s(u) = -u**2 - 7*u + 7. Let y be s(-6). Suppose -y + p = -5*i. Are 1 and i unequal?
True
Let t = -0.2 - -0.2. Let c = 6.3 + -1.3. Which is greater: t or c?
c
Let r = -106 + 59. Which is smaller: r or -46?
r
Suppose -8*p + 4*p - 40 = 0. Let n be p/15*6/(-20). Is 1 greater than n?
True
Let q(w) = w - 2. Let h be q(7). Suppose 8 = 3*d - 3*v - 1, -2*d - h*v = 29. Do 0.1 and d have different values?
True
Let g be (-4)/6 + 8/(-24). Suppose 0 = 4*m, -2 = -z - m - 4. Let c = z + g. Which is smaller: c or -2?
c
Let u be 1/(-5) + (-6)/(-30). Suppose u = q + 2*q. Which is smaller: q or -1/2?
-1/2
Let w = 0.1 - 0.5. Let a = w + 0.5. Which is smaller: a or -0.1?
-0.1
Suppose 4*t - 1 = 3*t. Let q = 12 + -11. Is q >= t?
True
Let m = 0.03 + -2.03. Let k = 2.6 + m. Let x = -2.6 + k. Do x and -2 have different values?
False
Suppose 5*p - 2*p + 19 = -2*o, p + 2*o + 5 = 0. Which is bigger: p or -8?
p
Suppose 0 = 5*n - 10*n - 990. Let d be 10/45 + (-64)/n. Suppose 