l?
True
Let t be 1/(-2) + 1/2. Suppose 0*b + 5*b - 30 = t. Suppose 3*g - b*g = 0. Is g at most as big as 1?
True
Let x be ((-2)/3)/((-34)/255). Let o(l) = 2*l**3 - 3*l**2 + l - 2. Let v be o(2). Which is greater: x or v?
x
Suppose -5*v - 5 = 0, -3*x + 2*v = 2*x - 152. Let c = x + -123/4. Which is smaller: c or -0.2?
c
Let i(s) = -s**3 + 6*s**2 - 5*s + 3. Let r be i(5). Suppose 0 = 4*w + 2*k - 2, -w - k = r*w - 3. Is 1/5 at least w?
False
Let i = -125/3 - -41. Suppose -2*m - 3*p + 10 = 0, m - 2*m - 3*p + 11 = 0. Which is bigger: i or m?
i
Let h = 12/13 - 110/91. Suppose -2*i = -4*v + 2*i + 4, 3*v = -i + 3. Which is greater: v or h?
v
Let b be 12/(-9) - 2/(-6). Is b at most 0?
True
Suppose 5*p - 29 = -4. Suppose -4*c = 4*w + 8, p = w + 4. Which is smaller: 0 or c?
c
Let p be -3 + 1/(30/4233). Let y = p - 138. Is 0 at least as big as y?
False
Let l(z) = -z**3 + z**2 - z + 10. Let w be l(0). Suppose i - 10 + 1 = 0. Which is smaller: i or w?
i
Let x be 18/(-15)*(-25)/10. Suppose x*d - z = -2, -3*d + 4*d - 3*z - 2 = 0. Which is greater: d or -5/7?
-5/7
Let g = 6.1 - 6. Let r = -1.1 + g. Is r at most 2/3?
True
Let i = 23/4 + -17/4. Is i at most as big as 3?
True
Suppose -3*h = -t + 21, 4*t + 6*h = 5*h + 97. Suppose x = -3*s - 8, 3*s - t = 7*s + 4*x. Which is greater: s or -2?
s
Suppose 2*s - 4*b + 12 = 6*s, 3*s = 2*b + 4. Let t be (-2 + 1)*0/s. Which is smaller: t or -2/13?
-2/13
Let d(v) = v**3 + 2*v**2 - 4*v + 1. Suppose 5*k - 2*k = -9. Let x be d(k). Suppose 0 = -p - 2*n - 10, p + x*p - n = 5. Is 1 at most p?
False
Let f = -10 - -10. Are f and 0.3 unequal?
True
Suppose 3*w + 3 = 3*q, -4*q = 3*w - 5*w - 12. Suppose w*b = -0*k + 2*k + 16, -15 = -3*b. Let g = -5 + 8. Do k and g have the same value?
False
Let h = 4 + -4. Suppose -3*c + 4*i - 2 = -0*c, 4*c + 5*i + 44 = h. Let a = 9.1 + -9. Which is bigger: a or c?
a
Let j = -1/1413 + 193585/5652. Let l = 34 - j. Is 0 smaller than l?
False
Let r be (-10)/(-6)*(-2)/(-10). Suppose 3*g + 2*f = -2*f + 14, -2*g - f = -1. Let c be (2/4)/(1/g). Are c and r nonequal?
True
Suppose -g = -4*g - 3. Is 12 greater than or equal to g?
True
Let k = -1084/9 - -120. Suppose 0 = 4*w - 2*h - h + 3, w + 4 = 4*h. Which is smaller: k or w?
k
Let t = 6/5 - 43/40. Let d = -1 + 1. Do d and t have the same value?
False
Let y = 27 + -28. Which is smaller: y or -1/19?
y
Suppose 7*d + 42 = d. Is -7 at most d?
True
Suppose -c - 37 = -36. Which is smaller: -1.1 or c?
-1.1
Let c(g) = -g**2 + 19*g - 17. Let r be c(18). Which is smaller: 6/25 or r?
6/25
Let l(o) = o - 6. Let b be l(3). Is -5 less than b?
True
Let s = 1.9 - 2. Let l be 1/(3/(-45)*-3). Which is smaller: l or s?
s
Let s(v) = -v**3 - 3*v**2 + 3*v - 1. Let r be s(-4). Suppose j = r*j + 2. Which is bigger: 1/5 or j?
1/5
Let i be -3 + (-2)/(-4)*-14. Let s be (i/12)/(-5)*1. Which is greater: s or 0?
s
Let x(o) = -o + 10. Let b = -4 - -9. Let k be x(b). Is k > 1?
True
Let k be (-2 - (0 + 0))/2. Let a be (-1)/k*8/94. Let u = a + 19/329. Which is smaller: u or 0?
0
Let g = 2.1 - 0.1. Suppose 0 = 3*j + 8 - 2. Is g at most j?
False
Let c be 14/(-45) - (-2)/10. Let a be (-4)/4 + -1 + 2. Suppose 2*j - 5 + 3 = a. Is j bigger than c?
True
Let j be (-5 - -2)*2/3. Let y = -0.02 + -0.98. Which is smaller: j or y?
j
Suppose -h - 5*j + 1 = 2, 4*h - 4*j = 44. Let v(u) = -8*u - u + 6*u**2 - 5*u**2. Let b be v(h). Is b less than 2?
True
Suppose 0 = -5*y - 3*x - 395, -4*y + y - 3*x - 231 = 0. Is -82 at most as big as y?
True
Let x(z) = 7*z - 13. Let p be x(15). Is p equal to 92?
True
Let g(o) = o**2 + 3*o - 6. Let n be g(-5). Let f = -32 - -32. Is n at least as big as f?
True
Suppose 5 = 5*h - 10. Suppose 9 + 3 = h*m. Suppose -2*c = 2*r - 4*c + m, 5*c - 3 = -2*r. Is r greater than or equal to 1/5?
False
Let u(t) = t**3 - 9*t**2 - t + 10. Let y be u(9). Let g be y/(-3) - (-5)/33. Which is smaller: g or 1?
g
Let k(s) = -s**2 + 7*s + 10. Let c be k(7). Suppose 0 = u + u + c. Let h(j) = -4*j**2 + 2*j - 1. Let g be h(1). Does u = g?
False
Suppose -6*h = 2*h + 24. Suppose 3 = -v - 1. Is h not equal to v?
True
Let o = -10 - -12. Let n = -2.1 - -2. Is o < n?
False
Suppose -9*v - 7 = -7. Which is smaller: v or -3/5?
-3/5
Let b = -14 - -16. Suppose 8 = 2*y, 0*f = -f - 3*y + 15. Which is smaller: b or f?
b
Let i = -955/4 - -229. Is -11 <= i?
True
Let k(n) = -n**3 - 12*n**2 + n + 23. Let f be k(-12). Which is smaller: 12 or f?
f
Let r(c) = -c**2 - 17*c + 2. Let t be r(-18). Do -14 and t have the same value?
False
Let r = 13 - 14. Do r and -1/32 have different values?
True
Suppose 0 = -3*c + 11*c. Let i = -17765/404 + -28/101. Let k = i - -43. Is c bigger than k?
True
Let y(i) = -10*i - 2. Let r be y(-1). Let w be ((-2)/(-22))/(r/(-48)). Is w greater than or equal to -2?
True
Let d = -1 + -20. Which is smaller: d or -20?
d
Let r(q) = q**2 - 2*q + 1. Let h be r(4). Let w = h - 5. Suppose -o - d + 6 = -5*o, -w*o = -2*d + 8. Are o and 3/10 non-equal?
True
Let c = 4 + -8. Let u = 8.85 - -0.15. Let j = u + -11. Is j > c?
True
Suppose -3*u + 3 = -39. Is u at least 14?
True
Suppose -3*n = -5*n - 8. Let h be 1/(-2*2/n). Is -2/21 at most as big as h?
True
Let b = 17 - 120/7. Let h = -2/35 + b. Are 0 and h unequal?
True
Suppose -o + 3 = -0*o. Let i be o/((-5)/((-20)/(-18))). Which is bigger: 0.1 or i?
0.1
Let v = 5.11 - 0.11. Let o = -297 - -296. Which is smaller: o or v?
o
Let l(m) = m**2 + 9*m + 4. Let v be l(-8). Let q = -65 - -60. Is q smaller than v?
True
Let d(s) = -5*s**2 - 10*s - 17. Let c be d(-4). Is -57 at most as big as c?
True
Let s be 2 - 1*(-3 - -2). Suppose -s*d + 0 = 3. Is d greater than 3/7?
False
Let v = -6 - -5. Let z be (-4)/3 - 1/(-3). Let y be -2 + (-2 - z) - -2. Is v at least y?
True
Suppose c + 7 = l, -5*c - 2*l - 2*l - 44 = 0. Let p = 16 + c. Is p > 8?
False
Suppose 3*x + r = -0*r + 3, 0 = -5*x + 4*r + 5. Let j = -3 - -4. Is x >= j?
True
Let h(n) = -n**3 + 6*n**2 - 5*n + 1. Let z be h(5). Suppose -4 = c - 18. Let g = -152/11 + c. Which is greater: g or z?
z
Suppose -3 = 3*m - 0*m. Suppose 0*q + 5*q = 0. Which is smaller: q or m?
m
Let j = -33 + 41. Is j > 0.1?
True
Let k be (-1 - -2) + (-4 - -4). Suppose -4*w + 22 = 5*a, -2*w - 4 = -2*a - 3*a. Let c be 0/(2*a - 2). Which is greater: k or c?
k
Let p = 0.17 + -0.77. Is 0.1 at least p?
True
Suppose -4*n - n - 3*i - 74 = 0, 3*n = -4*i - 51. Let d(a) = -a**3 - a - 13. Let v be d(0). Is v != n?
False
Let r(c) = c**2 - 5*c - 4. Let x be r(6). Let y be x/11 + (-93)/(-33). Is y at least 3?
True
Let t be (9 + -6)*(-4)/30. Which is greater: 9 or t?
9
Suppose 2*q = -5*s - 9, -3*s - 3*q - 13 = 2*q. Which is bigger: 0 or s?
0
Let m = -745/2 + 372. Let u(q) = q - 1. Let d be u(1). Which is smaller: m or d?
m
Let t be (-2)/(-3)*72/28. Is t at most 3?
True
Suppose 5*a - 2 = -2*o - 12, 10 = -3*o - 5*a. Is 0.43 at most o?
False
Let c be (-2)/4 - 25/(-10). Let p = -2 + 4. Suppose 3*f = -c*g + 5*f + 10, -p*f = 4. Is g less than 3?
False
Let j be 4*3/(-9)*-3. Suppose -17 + 1 = j*z. Is z smaller than -4?
False
Suppose -36 = -2*n + 30. Is n < 32?
False
Let y = -22 - -14. Is y != -10?
True
Let g = 10 + -8. Suppose g = -u + 1. Is 0 greater than u?
True
Let f be ((-9)/(-18))/(2/288). Let j = f + -220/3. Is j equal to -2?
False
Let j = -9 - -14. Suppose -p = j*h - 19, -3*h + 32 = 5*p + 3. Suppose -h*i - 10 = -i. Which is greater: -4 or i?
-4
Let g(z) = z**3 - 7*z**2 + 7*z - 2. Let o(l) = l + 6. Let j be o(0). Let q be g(j). Let s be (-1)/1 + 7/2. Which is smaller: s or q?
s
Let s be (7 + 1)/(0 - -2). Suppose -s*b = -2*b. Is b greater than or equal to -1?
True
Suppose 0 = 9*i - 4 + 4. Is 3 greater than or equal to i?
True
Let o be 250/15*1*3. Let b be o/(-76) - (-15)/20. Let i = b + 3/19. Which is greater: i or 0?
i
Let c = 49 - 46. Are 4 and c nonequal?
True
Suppose 7 = -6*d + 1. Is d greater than or equal to 0.04?
False
Let g = -0.2 - 0. Which is smaller: 4 or g?
g
Let v = -0.33 - -2.33. Are 2 and v unequal?
False
Let d(o) = o - 5. Let j be d(3). Let a be 0 + (-1 + 0 - -5). Let l = a + -6. Is j equal to l?
True
Let l be 2*3/(-6)*-1. Is l <= -3/58?
False
Suppose 2*v - 10 = -0*v. Which is bigger: 3 or v?
v
Suppose 0 = -3*h - 3*c - 0*c - 42, 2*h + 27 = -3*c. Is -15 equal to h?
True
Let j(g) = 3*g - 8. Let k be j(4). Is k > 5?
False
Suppose -2*a + 8 = -2*i + 2, -4 = -4