1 = 1. Which is greater: y or l?
y
Let c = -2.16 + 1.16. Which is smaller: 6 or c?
c
Let p = -25 + 40. Suppose -6*j = -j + p. Is -2 less than j?
False
Suppose -3*d + 5*l - 5 = -0*d, 0 = -5*l + 5. Is d >= 0.3?
False
Let j(m) = m**3 - 8*m**2 + 5*m - 4. Let h be j(7). Let s(k) = -2*k**3 + 4*k**2 - 2*k + 7. Let p be s(3). Which is bigger: h or p?
p
Let l = -301/18 + 33/2. Which is smaller: l or -3?
-3
Suppose 3*a - 2*a - 6 = 0. Suppose a*v - 2*v + 2 = -2*t, 0 = v - 3*t - 3. Which is greater: -1 or v?
v
Let z be (-2)/(-12)*(-15)/10. Which is greater: z or -4?
z
Suppose 0 = -3*x + x + 4. Let q be (1 + (x - 2))/(-1). Does q = -2?
False
Let l(d) = -3*d - 18. Let n be l(-6). Which is greater: -9/28 or n?
n
Let b(a) = a**3 - 6*a**2 + 5*a + 5. Let s be b(5). Suppose -6*z + 188 = 176. Is s > z?
True
Let i = -17 + 155/9. Suppose -3*g + c + 3 = -5*g, 5*c + 15 = -5*g. Suppose 4*b = -g - 4. Which is smaller: b or i?
b
Let i = -58 - -59. Let f = 2.91 + -3. Are i and f unequal?
True
Suppose 5*z + 10 = 5*v, -6*v - 17 = -5*z - 10*v. Let f = -2/475 - 908/9975. Which is bigger: f or z?
z
Let s be 2*(1 + (-5)/2). Let a = 2 + s. Is -1 greater than or equal to a?
True
Let q(t) = -5*t**2 + t + 6. Let w(j) = -j**2 + 1. Let b(i) = q(i) - 4*w(i). Let h be b(2). Do h and -2/9 have different values?
True
Let s(l) = l**3 - 4*l**2 + 4*l - 4. Let y be s(4). Let m = -14 + y. Is 2 < m?
False
Suppose 3*o + 4 + 20 = 0. Let l = -7 - o. Do -2 and l have the same value?
False
Let j = -1586 + 1589.188. Let d = j + -0.138. Let u = 0.05 - d. Is 0.1 less than or equal to u?
False
Let p(h) = h**3 + 4*h**2 - 5*h + 7. Let d be p(-5). Which is smaller: 5 or d?
5
Suppose 15 = -a - 4*p - 2, -p = -a + 8. Suppose b + 4 = a*b. Suppose -b*g + g = -2. Which is smaller: g or 3?
g
Let w = -0.03 - -0.14. Is w at most -0.1?
False
Suppose 10 = -5*o - 5. Suppose r + 1 + 1 = 0. Is r < o?
False
Let x = 828 - 885.7. Let q = -62 - x. Let h = q - -4. Which is bigger: h or -2?
h
Let l be (-9)/34 - 5/(-20). Is l > 0?
False
Let l = -8044/342345 + 2/3935. Which is greater: 0 or l?
0
Let b = -2 - -6. Suppose 2*h - 4 = -2*o - 0*o, -2*o + 10 = -b*h. Let a be 5/10 + 1/(-2). Is h less than or equal to a?
True
Suppose -45 = 3*s - i + 18, 2*s + 46 = 2*i. Let v be (-1 - 4)*(-12)/s. Let x = 1 - 2. Which is greater: x or v?
x
Let h = 9 + -4. Let d = -3 + 2. Let n = 4 - d. Does n = h?
True
Let f be (3 - (-4)/(-102)) + -3. Which is greater: -0.1 or f?
f
Let l = 1 + 5. Let k = 5 - l. Let a(m) = m**3 - m**2 + m + 4. Let s be a(0). Is k less than or equal to s?
True
Suppose -2*a - 2 = s - 1, -25 = 5*s. Suppose 2*u - 3 = 2*q - 5*q, 2*q = -a*u + 8. Which is smaller: u or 10?
u
Let j be 5/(-20)*193*1. Let i = j - -48. Do -1 and i have different values?
True
Suppose 5*m + 16 + 44 = 0. Is -14 <= m?
True
Suppose -5*u = -0 - 5. Which is bigger: -2/27 or u?
u
Let m(b) = b**3 + 6*b**2 + 6*b - 1. Let n be m(-5). Let t = -4 - n. Suppose -5*v + 8 = -t. Is v <= 2?
True
Let n(g) = -g**3 + 3*g**2 + 3 + 2*g + g + 2. Let b be n(4). Let h = -58/7 + 8. Which is smaller: b or h?
h
Let n be (2/(-3))/((-5)/15). Let t = 0 + 1. Is t not equal to n?
True
Let d = 2.9 - 3. Is -13 greater than d?
False
Let l = -265 - -636. Let p = l - 1129/3. Let x = p - -5. Which is smaller: x or -1?
-1
Suppose 32 = 4*a - 0. Suppose 0 = -3*k + 4*k - a. Suppose 0*l - 4*l = k. Is -2 at least as big as l?
True
Suppose 4*j + 5 = -h + 4*h, -2*j + 5*h = 13. Which is bigger: -3/20 or j?
j
Suppose -20*a + 18*a = -80. Is a bigger than 39?
True
Let d(l) = 2*l**2 + 3*l - 6. Let x = -1 - -5. Let s be d(x). Let c = s - 116/3. Is c != -0.1?
True
Let t = -2036 + 4233/2. Let r = 88 - t. Let d = r - 71/10. Which is smaller: -1 or d?
-1
Let o be (-10)/(-35) - (-437)/(-1505). Let d = -413/3655 + o. Which is greater: d or -1?
d
Let g be (4/8)/((-6)/(-37)). Let y = 15/4 - g. Let c = -4 + 5. Is y smaller than c?
True
Let l(k) = -k**3 + 5*k**2 + 2. Let g be l(5). Suppose 3*n = -g*w + 2 + 8, 0 = w - 3*n + 4. Suppose 9 + 6 = 5*b - 2*s, -4*b + s = -9. Is b bigger than w?
False
Let u = 36 - 36. Which is greater: u or -4/5?
u
Let q = -29 + 64. Let i be 3 + 0 + (-95)/q. Suppose 0 = -4*j + 6 - 2. Is j greater than i?
True
Let x(r) be the first derivative of r**4/4 - 5*r**3/3 - 6*r - 3. Let c be x(5). Let m be -4*(2 + c/4). Which is greater: 0 or m?
0
Suppose 3*i + i = -40. Let l be (-42)/1*i/(-54). Let z = l + 68/9. Which is bigger: z or 0?
0
Let a be 4/3*(-45)/(-10). Which is smaller: 7 or a?
a
Suppose 3*j = 4 - 34. Let o be -2*(j/4 + 2). Let n be o + (0 - 0 - 1). Is n equal to 2/5?
False
Suppose 0 = -3*q - 3*b - 9, 3*q - 5*q + 8 = -5*b. Is q greater than 1/28?
False
Let l be 2*(10/(-16) + 1). Suppose -5*p + 3*p = -5*q + 2, p - 3*q + 2 = 0. Suppose -4*m + 3*o + p = 0, 4*o = m + 3*m - 4. Is m > l?
True
Suppose -2*j - 12 = j. Let y be 46/(-63) + j/(-14). Which is greater: 0 or y?
0
Suppose 5*l + 4*q + 30 = 0, 8*q - 5 = 9*q. Let p be (2/(-4))/((-1)/28). Let h be -2 + p/3 - 2. Do h and l have different values?
True
Let z(j) = 3*j**2 + 1. Let y be z(-1). Suppose -h + 2 = y. Let v = -1 - 2. Is v > h?
False
Let n = 78.3 - 78. Are 0 and n equal?
False
Let s be 5/7 - 16/(-56). Let t = -58 + 581/10. Which is greater: s or t?
s
Let l be ((-1)/((-2)/(-9)))/(-3). Do l and 0.2 have different values?
True
Let i be -3 + 5 + 1 + 10/1. Which is greater: 25/2 or i?
i
Let y(n) = n + 1. Let x(z) = 6*z + 11. Let i = 9 - 4. Let b(j) = i*y(j) - x(j). Let o be b(-10). Is o at least as big as 2?
True
Suppose -6*k - 20 = -k. Let t be 3 + k - (1 + -14). Suppose 0 = -5*s - t - 8. Is s equal to -4?
True
Let b be ((-51)/(-15) + -3)*(-20)/(-8). Let v be (2 + 0)*(-43 - 0). Let x = -428/5 - v. Which is greater: x or b?
b
Let o(r) = r**2 - 11*r + 9. Let m be o(10). Let h = 0.1 + -0.2. Is m greater than h?
False
Let s(u) = -u - 8. Let r be s(-6). Let o be 1/((-4)/((-8)/r)). Is o less than or equal to -1/6?
True
Let w = -8 - -8.03. Let f = -0.03 + w. Is -2 smaller than f?
True
Let s = 27 + -26.6. Which is smaller: s or 0.5?
s
Suppose 2*s + 9 = -3*x, -3*x + s + 2*s - 9 = 0. Let g = x + -3. Is -6 less than g?
False
Let a(f) = 3*f - 1. Let c be a(-3). Let m = c + 11. Is 1/3 >= m?
False
Let t = 10 + -14. Is t > -6?
True
Let y be (-5)/(15/(-24))*2. Suppose 2*j = -2*j - 4*g - 16, j - 3*g - y = 0. Let u be j/2*(-16)/22. Is 0 != u?
True
Let l = -97551 - -880150/9. Let y = l - 243. Is y equal to -2?
False
Suppose -15 = -3*c - 9. Let z = -2 + 2. Let k be (-2)/((z + -2)/2). Are k and c equal?
True
Suppose -2*r = 5*r - 133. Is 19 smaller than r?
False
Let g = 1011/7 - 144. Let s be 1/5 + (-2)/10. Which is smaller: g or s?
s
Suppose -6 = -2*g - 0*g. Let y = 2 - g. Is -1 less than y?
False
Let f = -15 + 7. Which is smaller: f or -3?
f
Suppose 2*q + 2*z + 4 = -4, 0 = 4*z + 20. Suppose x + 4*x - 3 = -3*j, 1 = j. Let y = x + q. Is y greater than 1/2?
True
Let z = 5 - 8. Let j = 3 + z. Let m(s) = -s**2 + 6*s - 5. Let v be m(5). Do v and j have the same value?
True
Let p(o) = -o**2 + 3*o + 19. Let q be p(4). Does 16 = q?
False
Suppose -5*c = -3*c + 14. Let i be 3/(-2 + c/(-2)). Which is smaller: i or 1?
1
Suppose -p - 11 = -0*p. Let u be p + 8 + 4/2. Do 0 and u have the same value?
False
Suppose 4*w - 4 - 12 = 2*c, 18 = -c + 4*w. Suppose 5*q + 2*p - 46 = 0, 7*q = c*q + 5*p + 60. Let g be (3/q)/((-9)/24). Which is bigger: g or -2?
g
Let q be ((-4)/10)/(24/20). Let m(w) be the first derivative of -w**4/4 + w**3/3 + w**2/2 - w - 1. Let r be m(1). Which is smaller: q or r?
q
Suppose 3*f = 4*f - 11. Is 34/3 > f?
True
Let b be (-4)/((-24)/33) + -1 + -1. Is b at least as big as 0.1?
True
Let i be (-8)/(-6)*(2 - -22). Are i and 32 unequal?
False
Let n = -0.9 + 5.9. Let y = 10 - n. Let r = -6 + y. Which is smaller: -2/7 or r?
r
Let j = 37 + -36.8. Is 3/8 bigger than j?
True
Let y(a) = 4*a + 1. Let b be y(1). Suppose -b*n = -4*q + 11, 8 = 4*q - 6*n + 2*n. Which is greater: q or -6?
q
Let j = -31 + 47. Suppose u + 2 - 4 = 0, -5*i = -2*u - j. Is i less than or equal to 4?
True
Let u(c) be the third derivative of 1/24*c**4 + 1/3*c**3 + c**2 + 0 + 0*c. Let f be u(-4). Is -3 at least as big as f?
False
Suppose 5*h - 13 - 7 = 0. Suppose 4*v + 0*v = -h. Suppose 1 = 5*m + 6. Is m less than or equal to v?
True
Let z = 6 + -9. Let t = -42 - -40. Is z greater than or eq