gger than -1?
True
Let l(w) = -2*w**2 + 14*w - 15. Let v be l(6). Is -3 at least as big as v?
True
Let b be ((-2)/2)/((-2)/(-1)). Suppose -12 = r + 3*y - 4, 2*r = y + 12. Suppose -2*k = -r*k. Which is bigger: k or b?
k
Let u = -154 - -619/4. Which is smaller: 4/7 or u?
4/7
Let x = 3 - 4. Let d = 588 - 218. Let q = d - 2594/7. Which is smaller: q or x?
x
Let f = -5.11 - -0.11. Let k = f - -3. Let d = k + 2.3. Which is smaller: d or 0.1?
0.1
Let y = -1.1 - -0.5. Let c = -0.9 - y. Is -0.1 > c?
True
Let d(k) = -k**2 - 2*k - 1. Let x be d(-1). Suppose 0 = -x*y + 4*y. Which is smaller: -0.2 or y?
-0.2
Let w = 6 - 2. Suppose b + w = a, 3*a - 5*a = 3*b - 8. Is 1 greater than or equal to b?
True
Suppose -3*s = -j - 12, 2*j = 6*j + 12. Suppose -s*f - 14 = 1. Is f < -5?
False
Suppose 0 = 7*n - 93 - 40. Do n and 22 have the same value?
False
Let s = 8 + -7.7. Suppose 0 = -r + 2*h - 3, -2*r = 2*r + 3*h - 21. Let u be (4/(-6))/(2/r). Which is smaller: u or s?
u
Suppose k = -0 + 4. Suppose 0*b - 4 = -k*b. Does 4/5 = b?
False
Suppose -4*m - 5*h = 5, 0 = h - 0 + 5. Suppose 1214 = m*b + 3*c, -2*b + 726 = b + 3*c. Let q = -2437/10 + b. Does q = -1?
False
Let u(c) = c - 7. Let i be u(9). Is i equal to -4?
False
Let c = 38 + -151/4. Is 0.11 equal to c?
False
Suppose -w - 4*w = 30. Let c = w + 6. Which is bigger: c or -2?
c
Let u be 2/10 + 8102/(-10). Let w be 849/u - 2/(-4). Let s = w - -4/27. Which is smaller: s or 4?
s
Suppose 16*t - 14 = 18*t. Let b(o) = -o**2 + o - 2. Let i be b(-2). Which is greater: i or t?
t
Let j(a) = -a**2 + 12*a - 6. Let m be j(8). Suppose 0 = -s + 3*w + 12, -5*w = 2*s - 0*w - 79. Do m and s have the same value?
False
Suppose 4*j = 5*b + 45, -5*b - 2*j = 2*j + 5. Let p = b - -8. Let o be 1 - -4*2/(-4). Is p != o?
True
Let s = 1057 + -7372/7. Let c = 35328 - 989285/28. Let v = s + c. Which is bigger: 0 or v?
v
Suppose 8*u = 11*u + 51. Which is smaller: u or -16?
u
Let r = -2774/11 - -252. Which is greater: r or -1/10?
-1/10
Let b = 58.1 - 62. Let f = 3.92 - -0.08. Let q = f + b. Does -1 = q?
False
Let z = -49 - -195/4. Which is smaller: -0.48 or z?
-0.48
Let b be (-3)/(-2 - 1) - -6. Suppose p - b = -4. Let d = p - 14/5. Which is smaller: d or 1?
d
Let d be 0 + -4 + 2 - 2. Let o(c) = -c**2 - 2*c + 0*c - c. Let r be o(d). Is r greater than or equal to -5?
True
Suppose 3*c - 3 = 4*o, -3*c + o = -0*c - 12. Let x = 13 + -7. Is x less than c?
False
Let o = 1.1 - 0.2. Let a = o + 0.1. Let q = -0.09 - -0.19. Are q and a equal?
False
Let h(t) = t**3 + 2*t**2 - 2*t - 3. Let v be h(-2). Which is bigger: 4/11 or v?
v
Let j = -0.8 - 6.3. Let u = -1.2 - j. Let l = u - 0.9. Which is smaller: -0.1 or l?
-0.1
Let g = -15.3 + -0.7. Let n = 16.9 + g. Let j = 0.8 - n. Are j and -4/7 non-equal?
True
Let i be -2 + 2 + 2 - -12. Let f be i/6 + (0 - 2). Which is smaller: -1 or f?
-1
Let o be (1 - (0 + 0))/1. Let z be 2 - 4/(o - 0). Let y be 1 - 29/9 - z. Which is greater: 1 or y?
1
Let b be (-16)/(-20) - 54/5. Let g be 4/b - (-3)/15. Is g greater than 0?
False
Let r be 6/27 - 158/(-18). Suppose 6*q = q - 3*a - r, -6 = 4*q + 2*a. Let o = -29 + 28. Which is greater: o or q?
q
Let l = 6/101 + 148/909. Suppose -2*b = z - 3, 21 = -b - 2*z + 6*z. Are b and l equal?
False
Let o = 52 + -25. Does 26 = o?
False
Suppose -5*q + 5*j = 55, -4*j + 3*j - 31 = 5*q. Let o = -7 - q. Let s = 122 - 614/5. Which is greater: o or s?
o
Let r = 5 - 11. Let d = r + 0. Which is greater: -7 or d?
d
Let v be (0 + -6)/(-1 + 2). Let n = v - -2. Does n = -2?
False
Let r be 2 + -1 - 2/(-2). Suppose 2 = -r*w - 4. Let a be (-4 - w)*(-1 + 0). Which is greater: a or 0?
a
Let j = -0.06 - 10.94. Let l = -214.9 + 215. Is j less than or equal to l?
True
Let o be 26/130 + (-4)/(-5). Is o at most 1/114?
False
Suppose 20 = 5*c - 2*l, -5*c + 10*c + 3*l = -5. Let v = 0 - c. Let p be (-5 + 3)/(v*1). Is p at most -1?
False
Let o = 9535/8 - 1190. Which is bigger: 1 or o?
o
Suppose -2*t = 2 - 2. Which is bigger: -4/5 or t?
t
Let z = -1.2 + 0.2. Let r = 0.2 - 0.11. Which is smaller: z or r?
z
Let x be 22/(-8) + (-9)/(-12). Let a be ((-1)/6)/(x/(-3)). Which is smaller: a or 0?
a
Let o = -12/97 - -3524/3395. Let g = -122/135 - 8/27. Let t = o + g. Which is bigger: 1 or t?
1
Let s(x) = -4*x**3 + 2*x + 1. Let i be s(-1). Let a be -3 - (1*-6)/i. Which is smaller: a or -2?
-2
Let s = 3.3 - 2.3. Which is smaller: 26 or s?
s
Let q(v) = 5*v**2 - 2*v + 1. Let x be q(1). Let u = 8 - x. Is u at least as big as 4?
True
Let i = 33 - 55. Let f be (-3 + -1)*(-1)/i. Let o = -16/15 - -2/3. Which is bigger: o or f?
f
Suppose -3*q - 12 = 2*s, -s - 4*s - 4*q - 16 = 0. Let l = -2/95 - 89/285. Which is smaller: s or l?
l
Suppose 5*d = d - 16, 2*d + 4 = 4*w. Which is smaller: -2/19 or w?
w
Let r = 12 + -12.08. Let y = 0.02 - r. Which is greater: -6 or y?
y
Let d be 3 + 23 + (0 - 3). Is 23 at most d?
True
Let h(n) = n**3 + 7*n**2 - n - 1. Let k be h(-7). Let f be 72/48 + (-18)/(-4). Is k <= f?
True
Let q(c) = -c**2 - 5*c + 4. Let o be q(-3). Let l(p) = p**2 - 4*p - 6. Let t be l(o). Let n be (t/(-22))/3 - -1. Which is bigger: n or -1?
n
Suppose 0 = i + 2*i - 126. Let p be i/(-4)*(-8)/(-18). Let u = p - -16/3. Are u and -1 non-equal?
True
Suppose 9*o - 7*o - 8 = 5*u, 3*u + 20 = 5*o. Let w(p) = -p**2 - 6*p - 3. Let z be w(-4). Suppose 2*h - z*q - 2 - 3 = 0, 26 = -o*h - 2*q. Is -5 greater than h?
False
Let h = -1.06 + 1. Let z = -0.3 - -1.24. Let t = h - z. Which is bigger: t or 0.1?
0.1
Suppose 4*n = 3*n + 9. Let d be (15/n)/(4/(-3)). Which is greater: d or 0?
0
Suppose 0*h - 4*h = -3*a + 32, 0 = -5*h - a - 21. Let i = -1 + 6. Let j = i + h. Is j equal to 0?
True
Let i = 8.8 - 8.6. Is 2/19 < i?
True
Let q be 23 + (1 - 2/(-2)). Let n be 4/10*q/15. Let u = -1.1 + 1. Are u and n equal?
False
Let i = 0.3 + -0.4. Let b = -0.254 + 0.054. Which is bigger: i or b?
i
Suppose 0 = 2*u - 5*u. Is -2/113 bigger than u?
False
Let h = 473/14 - 63/2. Let j = h - 17/7. Do -1 and j have different values?
True
Let u(g) = -g**2 - g + 2. Let d be u(0). Suppose 0 + 2 = d*n. Is -0.2 greater than or equal to n?
False
Suppose -1 = p - 0. Which is bigger: -8/5 or p?
p
Let q(a) = -2*a**2 - 2*a. Let p be q(-2). Suppose t + 4*b = 5 - 1, 5*t = b - 1. Suppose -h + t*h - 3 = 0. Which is smaller: p or h?
p
Let l be (-1 + 20)/((-2)/(-2)). Let x = -3 + l. Suppose 6*f + 5*m = 2*f - x, 0 = -5*m - 20. Is f greater than or equal to -1/5?
True
Suppose -1 = -a - 0. Suppose 0 = -4*l - 2*r - 14, 5*r - a + 21 = 5*l. Let d be (2 - 0)/((-24)/(-4)). Is l > d?
False
Let u(h) = -h + 2. Let g be u(-3). Suppose -4*q = -l - 0*q - 12, 15 = -2*l + g*q. Suppose -3*r + l*r + 6 = 0. Which is smaller: 1 or r?
1
Let t be 1*-1 + (-30)/(-48). Suppose 0 = -2*r + j + 7, -3*r - 4*j = 2*r + 15. Do t and r have the same value?
False
Suppose -d + 8 = 3*a, -2*a - 3*a + 40 = -5*d. Suppose 0 = -a*p - 5 - 3. Is p at least as big as -1?
False
Let y be ((-6)/(-4) - 2)*-12. Let l = -4 + y. Suppose 2*p - p = l. Is 1 greater than p?
False
Let p(b) = -b**3 - 11*b**2 + 13*b + 10. Let v be p(-12). Let m be 1/(v/(-2)*1). Is -1/15 >= m?
False
Let l = 21 + -30. Let k = l + 11. Which is bigger: -6 or k?
k
Let v = 1.6 + -4.6. Is 1 at least as big as v?
True
Let g = 22.01 - 22. Is -2/3 greater than or equal to g?
False
Let s = 8 - 6. Let i be ((-1)/s + 2)*-4. Which is bigger: i or -5?
-5
Suppose -36 = 8*c + 4. Let q(r) = -5*r**3 + r - 4. Let w(g) = 11*g**3 - g**2 - g + 9. Let j(d) = 9*q(d) + 4*w(d). Let n be j(c). Is 2/9 less than n?
False
Let j(k) = -k + 6. Let m be j(5). Let y be (-209)/(-528) - m/3. Which is smaller: 0 or y?
0
Let a = 17 + -14. Let f = a - 3. Is f at most as big as 0?
True
Let q = -13 - -20. Let p = -2 + q. Which is greater: p or 3?
p
Let b = 61 - 58. Which is greater: b or 12?
12
Let y(o) = -o**3 - 4*o**2 - o + 4. Let i be y(-4). Which is smaller: i or 7?
7
Let g = -0.057 - -25.057. Let t = g + -25.7. Which is greater: -1/4 or t?
-1/4
Let a = -3 + 2. Let p be a + -1 - (-3 + 2). Let q be (((-12)/(-10))/3)/p. Which is smaller: q or 1?
q
Suppose -3*m - m + 16 = 0. Let k be 14/18 - m/(-18). Let x be (1/3)/(6/(-4)). Is x smaller than k?
True
Suppose -3*m + 1 = -3*w + w, -2*m + 1 = -w. Suppose 0 = 4*c - 0*c - 40. Let j be 5/c*(0 - 0). Are w and j nonequal?
True
Let a = -0.32 + 0.12. Let r = 1.4 + 0.6. Is