igger: -1 or b?
-1
Let w = -2 + 4. Let g be w/(-4)*0*-1. Let t be (-8)/46*2/(-4). Is t at least as big as g?
True
Suppose -9*q - 108 + 36 = 0. Which is smaller: q or -33/4?
-33/4
Let l = -4 - -3.6. Let q = l + -5.6. Let x = q - -8. Is -1 < x?
True
Let o = 3 - 3.02. Let b = -2.02 - o. Let m = -203 - -407/2. Are b and m nonequal?
True
Let p = 1877 + -63813/34. Is 0 at least as big as p?
False
Let k be -31*2/(-2)*2. Is k at most 62?
True
Let k(m) = m**2 - 7*m - 13. Let i be k(9). Suppose -a + 4 = -i*a. Is -1/2 > a?
True
Let q = 8.09 + -0.09. Let n = q - 6. Which is bigger: n or 0?
n
Let q = -54 - -590/11. Which is smaller: q or 1?
q
Let r(x) = -x**3 - 7*x**2 - 6*x + 1. Let a be r(-6). Suppose s - 1 = -0. Suppose -2*y = -3*y + s. Is a >= y?
True
Let n = -298 + 288. Suppose -h - 2 = 8. Do n and h have different values?
False
Let z = 8 + 14. Which is bigger: 0 or z?
z
Suppose -3*l - 28 = 2*k, 0*k + 5*k = -4*l - 28. Let n be ((-1)/(-20))/(l/16). Let w = n - -11/15. Is w not equal to 0.4?
True
Let m be 1631/(-1960) + (-4)/(-14). Let v = m + -1/40. Let h be 4*(-3)/6*1. Is h != v?
True
Let w = 3 + -1. Let x(l) be the third derivative of -l**5/60 + 13*l**4/24 - 11*l**3/6 + 4*l**2. Let g be x(12). Which is smaller: w or g?
g
Let t be (-2)/(-2 - -1) - -2. Suppose t*h = h. Is 5 not equal to h?
True
Suppose 4*t = t + 3. Is 14/9 at most as big as t?
False
Let v = -3 - -2. Let p = 508/91 + -80/13. Which is bigger: p or v?
p
Let r be (24/60)/(8/(-50)). Is -3 at most r?
True
Let s be (12/10)/((-4)/(-10)). Let h(u) = -4*u**s + 5*u**3 - u**2 - u**2. Let n be h(2). Is n bigger than 0?
False
Suppose 4*l - 10 + 6 = 0. Is -2/15 at most as big as l?
True
Let g(k) = -k**2 + 2. Let b be g(0). Let f be b - (-1)/(1/(-69)). Let d = -337/5 - f. Which is bigger: d or 1?
1
Let v = 52.97 - 53. Let p = 0 - -2. Let h = 2 - p. Do h and v have the same value?
False
Let g be (0/3*1)/(-2). Let c(o) = o**2 + 2. Let h be c(g). Let d be (h/5)/(1/(-5)). Which is greater: d or -1/2?
-1/2
Suppose -r - 3*l = -0*r, 0 = -2*r + 5*l. Suppose -p - 4*q - 30 = 0, -5*p = 2*q + 2*q + 70. Let b be p/12*20/(-25). Which is smaller: r or b?
r
Let h = 7 - 1. Let m(x) = x**3 + 9*x**2 - 13*x. Let p be m(-9). Let k be 4/(-26) - (-603)/p. Are h and k unequal?
True
Suppose 0*f - 2*f = -2. Suppose -f = 2*n - 9. Which is smaller: 5 or n?
n
Let y = 7 - 3. Let r = -3.93 + -0.07. Let v = r + y. Is 3 > v?
True
Let u = -49 - -248/5. Let g be 0/(-4 - -2 - 0). Do u and g have different values?
True
Let b = 6 - 6.02. Let x = 13.2 + -13. Is b at most x?
True
Let x(a) = -10*a - 7. Let i be x(-4). Is 33 greater than or equal to i?
True
Let v be (3/9)/(36/8). Let h = -41/54 - v. Which is bigger: h or -2?
h
Suppose 0 = -57*i + 59*i. Which is smaller: 4 or i?
i
Suppose 3*a + a = 20. Suppose -5*f = -2*g + g + 9, g - a = f. Which is bigger: -2/7 or f?
-2/7
Let f = 310/9 + -4027/117. Which is smaller: f or 1?
f
Let u be 2/5 + (-48)/20. Let i be (-3)/(-6)*(u + -2). Which is smaller: i or -2/3?
i
Let d = 27539/717 - 18/239. Let c = d + -38. Let a = -0.269 - 0.731. Is a at most c?
True
Let p = 6 - 8. Let i be -9*((-39)/9 - -4). Let y be (i/5)/(2/2). Is y != p?
True
Let m be 34/6 + 2/6. Suppose -l = -0*l - m. Which is greater: 7 or l?
7
Let f = 633/5 + -127. Let q = 160 + -160. Is f less than q?
True
Suppose 0*a = -a + 2. Suppose -3*v - a = -2*v. Is -1 >= v?
True
Suppose -2*f = 10 - 14. Suppose 0 = f*t + 3*t. Which is smaller: t or -2/9?
-2/9
Let s = -245 + 6369/26. Which is smaller: 0 or s?
s
Let f be 315/308 + (2 - (-33)/(-12)). Is f greater than or equal to -1?
True
Let k(p) be the first derivative of -1 - p + p**2 + 1/3*p**3. Let b be k(-2). Which is bigger: b or 2/7?
2/7
Let r = 42431/22220 - 1/2020. Is r bigger than 3?
False
Let d(w) = -w**2 - 3*w + 6. Let q be d(-10). Let y = 190/3 + q. Which is smaller: 0 or y?
y
Let r be (4/(-4))/(2/(-4)). Suppose r = -2*n - 2. Are n and -3 unequal?
True
Let s = 33 + -26. Are s and 10 nonequal?
True
Let l = -32.7 + 31. Which is greater: 1/3 or l?
1/3
Suppose -7 - 1 = 2*i. Let b be 2/i - 17/(-26). Which is smaller: b or -1?
-1
Let d be (-10)/(-25) + 47/(-5). Let t(j) = j**3 + 9*j**2 - j - 13. Let s be t(d). Is -4 greater than s?
False
Suppose -r + 5*r - 32 = 0. Are 12 and r unequal?
True
Let j be (-1)/2 - (-1)/2. Suppose j = 5*q - 2*q. Let k = 848/3 + -283. Does q = k?
False
Let f = 158 - -46. Let c = 342 - f. Let a = c - 1244/9. Which is bigger: -0.3 or a?
a
Suppose 0 = -4*d - 5*i + 65 + 24, 5*i - 37 = -2*d. Let u = -17 + d. Suppose u = 4*f + 1. Is 1 smaller than f?
True
Let a = -1 - -0.97. Let k = a + 0.53. Let h = k + -0.7. Which is smaller: h or 0.1?
h
Let i = -6.75 + -0.25. Let n = -11 - -18. Let k = i + n. Which is greater: k or 6?
6
Let h = -297 - -6829/23. Are 0 and h equal?
False
Let f = -27 - -29. Which is bigger: f or -5?
f
Let b be 0 - (-1 - (-1 - -1)). Let r(m) = -m**3 - 15*m**2 - m - 10. Let n be r(-15). Are n and b non-equal?
True
Let g = 42 + -31. Which is smaller: 9 or g?
9
Let b be (0 + -1)/((-123)/111). Let t = 3361/410 + b. Let h = t - 17/2. Is h not equal to 1?
True
Let a = -6/70229 - -16293518/4564885. Let k = 23/13 - a. Is k greater than -2?
True
Let w = -21.9 + 22. Which is greater: w or 8?
8
Let i = -24 - -15. Which is smaller: i or -7?
i
Let q(x) = 6*x**3 + x**2 - x. Suppose -h + 2*y + 26 = -3*y, 5*h + 3*y + 10 = 0. Let a be q(h). Let n be (10/(-4))/(2/(-4)). Is a greater than or equal to n?
True
Let z(c) = c**2 + 3*c. Let o be z(0). Is -3/7 at most o?
True
Let s = -22273/43 - -518. Is s greater than -1?
True
Suppose 3*a - 4*s - 4 = 0, -4*a + 2 = -3*s - 1. Let u(w) = w**2 + w + 6. Let x be u(a). Suppose 0 = 2*v - 0*v - x. Which is bigger: 1 or v?
v
Let t = 2.099 - -0.001. Let u = t + -2. Let b = 1 - 0. Is u greater than b?
False
Let o = 4.3 - 4. Let n = o + -0.1. Which is greater: 3 or n?
3
Let j = 105 + -105. Which is smaller: j or 3/2?
j
Suppose 0 = 17*g - 13*g - 16. Suppose 4*l - g = -0. Are 2/11 and l non-equal?
True
Let r = 110 + -108. Are r and 18/23 non-equal?
True
Suppose 46 = -4*i + 5*i. Is i <= 45?
False
Let h(p) be the second derivative of p**4/12 - p**3/3 + 3*p. Let x be h(3). Is 4 at most as big as x?
False
Let q(y) = y + 8. Let b be q(-7). Let h be -2 + -6 + b/(-1). Let f be (-1)/(-4)*(h - -5). Which is smaller: 1/10 or f?
f
Let g be (60/(-450))/((-13)/(-3)). Suppose 0*h - 5*s = 2*h + 18, 0 = -h - 3*s - 11. Is h at least as big as g?
True
Let d = -60 + 63. Which is smaller: d or 5?
d
Suppose 157 + 35 = 8*c. Is 25 less than c?
False
Suppose -2*u = -2*s - 6, 4*s - 5*u + 1 + 15 = 0. Let k be (s - 1)/(2 + -1). Suppose v = -y - 2, 4*v - 1 = -k*y - y. Is v < 3/8?
False
Let p = 20.86 - -0.14. Let t = -13 + p. Let v = t - 8.1. Is -2/7 >= v?
False
Let j(y) = -y**3 + 2*y - 2. Let r be j(2). Which is greater: r or -23/4?
-23/4
Let x = 40 - 42. Is x less than or equal to 6?
True
Let c = 35/2 + -17. Is 1 < c?
False
Let j(g) = -g**2 + 7*g - 2. Let q be j(6). Suppose -3*z = 3, 0 = -5*l + q*z + 14. Suppose -l*n = -3*n. Which is smaller: n or 1?
n
Suppose -5*h - 4*p + 40 = -9*p, 0 = 4*p + 12. Suppose 3*t = 6*c - 2*c - 50, -h*t = -5*c + 75. Which is bigger: t or -9?
-9
Let j(r) = -r - 18. Let f be j(8). Let a = 23 + f. Is -5 at most as big as a?
True
Let w(x) = -x**3 + 6*x**2 + 7*x - 2. Let a = 14 + -7. Let t be w(a). Let c = -3 + -1. Is t >= c?
True
Suppose -8*w + 7*w = 0. Is w smaller than -1/9?
False
Let c = 10.87 + -11. Let o = c - -0.03. Is -1 > o?
False
Let t be (-1)/1 + 3*7. Let w be t/630*(-6)/(-2). Let z = -2 + 3. Is w at most as big as z?
True
Let b(s) = -3*s**2 + s. Let n be b(-1). Let z = n - -4. Suppose -3*t - 12 + 3 = z. Does t = 1?
False
Let s = 0 + 1. Let c = 22312 + -178943/8. Let d = c - -56. Is d equal to s?
False
Let q be ((-4)/(-6))/(4/(-6)). Let u(v) be the second derivative of -v**3/3 + v. Let r be u(q). Is 0 < r?
True
Let v = -24 + 31. Let i = 4 - -2. Which is smaller: i or v?
i
Suppose -61 = -4*r + 247. Suppose 4*q = 5*d + r, -3*d - q - 53 = -0*q. Let k be d/60 + (-3)/(-15). Do 0 and k have the same value?
False
Suppose 54 = 5*m - 61. Does m = 24?
False
Let z(c) = -c + 16. Let y = 1 - -10. Let w be z(y). Is 5 not equal to w?
False
Let o = -3873/17 - -228. Are -1 and o non-equal?
True
Let k = -1 + 4. Suppose 8 = 4*m + 20, -k*m = 4*h - 15. S