alse
Let i = 3 - -8. Let h = -17 + i. Let g be h/(-3) - 3 - 0. Is g at most -2/3?
True
Let z = -0.2 + 3.2. Let v be 735/(-828)*6/(-15). Let f = -1/46 + v. Is f <= z?
True
Let n = -0.6 + 0.9. Let g = 0.3 - n. Is 1/7 bigger than g?
True
Let l be (-476)/(-16) + (-2)/(-8). Let m be (l/8)/(1/8). Let r be (2/(-6))/((-25)/m). Which is greater: -1 or r?
r
Let u be 48/(-264) - (540/22)/(-3). Is 52/7 equal to u?
False
Let s = 196/333 + -30/37. Are -1 and s equal?
False
Let l be (-3)/(-4 + (7 - 4)). Suppose -l*o + 19 = 2*a, -5*a - 11 = 3*o - 36. Is 4 <= a?
False
Let v = 6.3 + -3.3. Which is smaller: -2 or v?
-2
Let x = -29 + 29.11. Let a = x - 0.03. Which is smaller: a or 0?
0
Suppose 0 = -0*j + 4*j + 4. Are j and 2/7 equal?
False
Let z be (5 - 3)*3/(-6). Let k(r) = 2*r**2 - r - 2. Let h be k(z). Is -3/14 != h?
True
Suppose 4*f + 0 = p + 2, 0 = 3*f - 3. Which is bigger: p or -2?
p
Let q = -2.7 + 1.7. Let s = -1 - -1.1. Which is smaller: s or q?
q
Let g = 5 + 4. Let q = g - 14. Let b be (-16)/3 + (-2)/(-6). Do q and b have the same value?
True
Suppose 3*o = -2*o + 5. Let n(f) = -f**3 - 5*f**2 + f + 4. Let r be n(-5). Is r at least o?
False
Let q be 8*(4 + (-2355)/590). Which is smaller: q or 0?
0
Suppose -2*g - 18 = -5*g. Is g smaller than 7?
True
Suppose -3*c - 35 = -8*c. Suppose f - 3*x = -10 + 2, -c = -4*f - x. Which is smaller: f or 2/21?
2/21
Let p(k) = -3*k + 1. Let l be p(1). Is -6/5 > l?
True
Let c be 4/22*(-1)/1. Is c greater than -5/12?
True
Let b = -0.33 - -0.53. Which is bigger: b or -0.18?
b
Suppose -2*h = -5*h - 2*d + 2, 4 = h + 4*d. Let k(z) = z + 19. Let u be k(-16). Suppose -u*q = 2*q + r + 15, 5*q + 35 = -5*r. Do h and q have the same value?
False
Let c = 1 - 1. Let a = 443 - 448. Is c at least a?
True
Let q = 8 + -6. Suppose t = -q + 4. Let s = 5/8 + -1/8. Is s > t?
False
Suppose 4*q = -0*q + 12. Let t = 16 - 7. Suppose -q*z - t = -0*z. Is -3 < z?
False
Let w = -86.3 + 88. Which is greater: -1/3 or w?
w
Let g = -2 - -3. Let v be (-1)/(6/(-9) + 1). Let r = v + g. Do -1 and r have different values?
True
Let y = 3.7 + -0.7. Let a = 0.39 + -0.09. Which is bigger: a or y?
y
Let m = -0.7 - -1.7. Let j = 0.1 - 1.1. Which is greater: j or m?
m
Suppose 0 = -3*k - 7 + 4. Let x(l) be the second derivative of -l**4/12 - 2*l**3/3 - l**2 + l. Let r be x(-3). Which is smaller: r or k?
k
Let m(l) = l**2 + l - 20. Let g be m(-9). Is 52 at least as big as g?
True
Let i = -7 + 10.2. Let u = i + -0.2. Let r = u - 2.9. Which is greater: r or 2?
2
Suppose 5*i + 0*i = 0. Let y(v) = -v**2 - 11*v - 12. Let o be y(-11). Let z = o - -62/5. Is i greater than z?
False
Let h be 10/775*-3*-5. Which is smaller: h or 1?
h
Let c be (9/2)/((-6)/(-8)). Suppose l + l = 5*k + 18, 3*k + 3*l = c. Let s(o) = -o**3 + 4*o**2 - 2*o - 3. Let r be s(3). Do k and r have the same value?
False
Let z = -13 - -19. Let t be z/(-4)*2/12. Suppose -5*q = 4*h + 19, -3*h = 5*q + 22 - 4. Is h bigger than t?
False
Let b be 70/(-392) - (-1)/(-4). Is -1 at least b?
False
Let q = -7 + 7. Is q < -2.1?
False
Let j = -6/269 - 424/5111. Is 1 at most j?
False
Suppose 2*c + 0*c = -4. Let i = 1 - -1. Let y be 0 - ((i - 0) + 1). Are c and y equal?
False
Let r be (-3)/(-6)*12*1. Let h be 3 - (-4 + 39/r). Is 4 <= h?
False
Suppose 8 = -4*w + 6*w. Suppose 0 = -0*i - w*i + 24. Suppose z - 4*z = i. Which is greater: -4/7 or z?
-4/7
Let b(d) = -3*d - 3. Let w be b(10). Let s be 40/99 - (-6)/w. Which is smaller: s or -1?
-1
Let a = -54 + 53. Let f = 735/11 - 67. Are a and f equal?
False
Let f = -3/2 + 19/10. Suppose 0*q - 3 = 3*q. Which is smaller: f or q?
q
Let o(s) = s**2 + 6*s + 4. Let a be o(-5). Suppose 2*r - 3*r + 4 = 0. Suppose 0 = -r*x - 4 - 0. Is a greater than x?
False
Suppose -3*z + 6 = 9. Is z < -7?
False
Suppose 0 = -4*t + 3*t + 155. Is t >= -0.1?
True
Let z = -22 - -7. Let g be (-51)/15 - 6/z. Which is smaller: -4 or g?
-4
Let u(o) = -o**3 + 5*o**2 - 3*o - 4. Let j be u(4). Is 0 bigger than j?
False
Let k be 1 - (-5)/(40/(-12)). Let o(i) = i - 1. Let j be o(6). Is k at most j?
True
Let o = 482/217 + -1485/527. Let t = -15/17 - o. Suppose -2 = 2*v - 0*v. Is v equal to t?
False
Let b = -13 + 12. Let j be b/2 + (-3)/(-2). Which is bigger: 2/9 or j?
j
Let l = -2 + 1.9. Let a = 0.23 - 11.23. Let p = -10 - a. Is l less than p?
True
Let z = -6 - -3. Let s = z + 2. Let p = s - -1.2. Is p at least as big as 1?
False
Let n = 0.033 + 0.017. Which is smaller: n or -2?
-2
Let c(m) = -m**3 - 5*m**2 - 5*m - 1. Let r(b) = b - 2. Let p be r(-2). Let l be c(p). Suppose -2*s = -l*k - s, -2*k = 2*s. Which is smaller: 1 or k?
k
Let k be (-62)/(-22) + 6/33. Let m(l) = l**2 - 6*l + 7. Let g be m(6). Let y = g + -5. Is y > k?
False
Let c = -1808/143 - -162/13. Let z = 0.2 + 0.1. Let n = z - 1.3. Is n bigger than c?
False
Suppose 0 = 2*y - a - 3 - 2, -17 = -4*y - 5*a. Do y and 0.2 have different values?
True
Let l = -3 - -1. Is l bigger than -2?
False
Suppose 4*z - 3*b + 2*b + 114 = 0, b = 2*z + 58. Let v = 53/2 + z. Let o = 0 - 2. Are v and o non-equal?
True
Let d = -726/19 - -10601/266. Let n = 1/7 - d. Which is smaller: -2 or n?
-2
Suppose -2*j - 6 = -4*j. Let s be -2 + 2 - 4 - -6. Is j != s?
True
Let x = 5/3 - 2. Suppose -f + 6*f - 20 = 0. Let l(c) = c**3 - 5*c**2 + 5*c - 4. Let a be l(f). Is x smaller than a?
True
Let o be 4/(96/(-33) + 2). Which is smaller: o or -4?
o
Let y be (-3)/(33/2)*1. Suppose -9*x + 5*x = 0. Which is smaller: x or y?
y
Let x be ((-20)/25)/((-4)/(-10)). Does 0.2 = x?
False
Let k be 4 + -4 + (-1 - -1). Suppose 0 = -2*f + 5*s + 8, -s + 0*s + 20 = 5*f. Suppose 3*u + 2 = f*u. Which is smaller: k or u?
k
Let d = -789/7 + 13455/119. Let o = -1 + 2. Which is greater: o or d?
o
Suppose -2*p - 3*b - 3 = p, -4 = -p + 4*b. Is p > 0?
False
Let u = 3232 - 54962/17. Let k = -130/187 - u. Which is smaller: -1 or k?
-1
Let b be 29/5 - 7/(-35). Is b smaller than 8?
True
Let p = 5383/3 + -1834. Let z = p - -40. Let u = -11.9 + 11.7. Which is greater: z or u?
z
Suppose -4*f - 5 = -0*f + p, -5*p = 4*f + 9. Suppose 0 = -6*b + b - 5. Is f greater than b?
False
Let l(s) = -s**3 + 9*s**2 - 10. Let y be l(9). Let v be (16/y)/((-4)/10). Is v smaller than 5?
True
Suppose f + 2*f = 9. Is -2/11 greater than f?
False
Let w = -0.01 - -0.11. Is w smaller than 0.7?
True
Let f = 2.1 + -2. Let w = -1.2 - 0.92. Let x = 0.12 + w. Is f < x?
False
Let k be 2/8*(-12)/15. Let g = 1.51 - 0.21. Let j = -0.3 + g. Does j = k?
False
Let c be (((-12)/(-10))/(96/60))/(-3). Let d(z) = z**3 + 7*z**2 + 6*z. Let o be d(-6). Is c > o?
False
Let n(v) = -39*v. Let b be n(2). Let x = -388/5 - b. Is x >= 1?
False
Let v = -0.12 + 0.02. Is 5 bigger than v?
True
Let z(d) = -d**2 - 8*d - 3. Let g(w) = -5*w**2. Let t be g(-1). Let i be z(t). Let r be -2*(-3)/i*14. Is 8 smaller than r?
False
Let l = 6/29 - -28/145. Suppose 3*q + 2*t = -8, 5*t + 7 = -0*q - q. Let g be 39/(-60) + q/(-5). Does l = g?
False
Let i(t) = t**3 - 7*t**2 - 11*t + 10. Let s be i(8). Let m be 36/(-28) - 4/s. Let g = -1 - m. Which is smaller: -1/4 or g?
-1/4
Let m be (-2)/(-3)*(12 - 0). Suppose 0 = n + 2 - m. Suppose 0 = -4*b - 2 + n. Is 1 at most as big as b?
True
Let a = -211 - -4643/22. Are a and -1 equal?
False
Let q = -2 + 3. Let m(x) = -x**3 - x**2 - x + 3. Let s be m(0). Let v be 6/9 + 1/s. Is q at least as big as v?
True
Let a = 49 - 51. Which is bigger: a or -9/5?
-9/5
Suppose 5*y - m = -13, 8*y + 22 = 4*y - 5*m. Let g(k) = 3*k + 1. Let s be g(-2). Let f(r) = r**2 + 6*r + 4. Let z be f(s). Is y at most z?
True
Let y = -3 - -13. Which is greater: y or -0.1?
y
Let s = 137 + -1232/9. Which is smaller: s or -1?
-1
Let h = -18 - -22. Which is smaller: h or 5?
h
Let s = -16 + 11. Let q = s - -1. Let v = -87 + 611/7. Which is bigger: q or v?
v
Let u be (-3 - (-24)/10)/(7/(-15)). Which is smaller: u or 0?
0
Suppose 3*m - 3*j - 9 = 0, -3*m - j - 2 = 1. Is m at least -4/49?
True
Let m = 157/2 + -77. Is m greater than or equal to -0.6?
True
Suppose -9*t - 36 = -6*t. Is -6 > t?
True
Let z be 5/2*12/10. Let s be (4/(-4) - z)*2. Do s and -7 have different values?
True
Let b = -44 + 44. Let l = -3/37 - -101/333. Is l at most b?
False
Let b = 1 + -4/3. Is -16 < b?
True
Let c = 4 - 6. Let h be c/(8/7) - -1. Suppose 0 = -10*b + 5 - 15. Which is greater: h or b?
h
Let y(d) = 3*d**2 - 3*d + 3