aller: -38/25 or l?
-38/25
Suppose -9*a = -5*a. Let j be (-1722)/(-429) + (-36)/9. Is j at most a?
False
Let v(n) be the second derivative of -n**4/12 - 29*n**3/6 + 19*n**2 - 24*n. Let c be v(-30). Do c and 9 have the same value?
False
Suppose 113*a + 1 = 114*a. Which is smaller: -14/15 or a?
-14/15
Let w = -78/17 - -2903/629. Let q be (-5)/2*1*-2. Suppose 2*y - 4*v - 2 + 12 = 0, 0 = q*y - 3*v + 4. Is w at least y?
False
Let z = -0.1 + 0.13. Let o = z - -0.12. Let k be (-29)/((-1305)/(-525)) - -12. Which is bigger: k or o?
k
Suppose 0 = 2*o - 6*o - 176. Let b = o - -21. Which is smaller: -24 or b?
-24
Suppose 11 = -4*k - 5. Let n = 3569 - 2326. Let b = n - 13703/11. Are b and k unequal?
True
Let p = -20 + 57. Let t = -37.03 + p. Let l = 0.12 + t. Does l = 2?
False
Suppose -3*d = -3*g + 354, -468 = 35*g - 39*g + 3*d. Let v be (-229)/(-2) - 2/4. Is g greater than or equal to v?
True
Let k be (-5)/(-3) - 4/(-12). Suppose -46 = k*g - 4*m, 31 + 31 = -2*g - 4*m. Let f be 4/g*(-9)/(-3). Which is smaller: -1 or f?
-1
Let b(n) = -n**3 - 5*n**2 - 7*n. Let s be b(-5). Let w be (-159)/420 - (-15)/s. Suppose 9 = -3*r, -2*t - 13 = -2*r + 7*r. Are w and t equal?
False
Let k = 0.06 - 0.55. Let w = -0.49 - k. Which is smaller: 0.62 or w?
w
Suppose 329 = -4*w + 321. Which is greater: w or -0.115?
-0.115
Suppose b = 4*g - 0*b - 27, 3 = g - b. Suppose 3*o - 5*q - 66 = o, -o = 5*q - 18. Suppose 2*k = -2*k + o. Which is smaller: g or k?
k
Suppose 5*l - 12 = 4*w - 56, 4*w + l - 68 = 0. Let s(z) = z + 6. Let t be s(0). Suppose 0 = 4*b + t*j - 4*j - 70, 82 = 5*b - 3*j. Is w > b?
False
Suppose 7*a - 6*a - 2 = 0. Suppose 0 = a*f - 2*p + 20, 4*f + 3*p + 18 = f. Is -50/7 != f?
True
Let v = 858.695 - 859. Which is smaller: v or 2/9?
v
Let r = 0.001 - -82.999. Let g = -50 + r. Which is smaller: g or 0?
0
Suppose -4*o = 4*o. Suppose o = l - 6 + 9. Is l smaller than -4?
False
Let c be (-35)/112*((-132)/(-15))/(-2). Are 2 and c equal?
False
Let s(a) = -a**3 + 8*a**2 + 2*a - 19. Let o be s(8). Let d be -3 + o*6*4/(-20). Which is bigger: 2 or d?
2
Suppose 5*c - 5*y + 360 = -50, 5*c - 3*y + 408 = 0. Is -81 <= c?
True
Let f be (3/(-2))/(59983/(-4994) + 12). Which is bigger: 137 or f?
137
Let v = -0.16 + -2.84. Let b = 0 + -7. Let s = b - v. Which is smaller: 0 or s?
s
Suppose 0 = 2*u - 2*d - 7 - 1, 0 = 2*u + 2*d + 4. Let i be u*(-2)/(-9) - (-906)/54. Is i equal to 16?
False
Let k = -3 + 1. Let l be 3003/(-140) + 2/10. Let i = l + 83/4. Is i less than k?
False
Let g be (-162)/1755*(-1325)/16. Let j = 61/8 - g. Which is smaller: -1 or j?
-1
Let v be (4 - -2)/(-3) + 12. Let w be (12 - v)*(-3)/(-58). Which is bigger: w or -1?
w
Let j = -1069/5 - -181. Is -33 > j?
False
Let c(z) = z**3 - 9*z**2 + 2*z - 13. Let h be 25/3 - (-2)/3. Let i be c(h). Let r(j) = -j**3 + 4*j**2 - 5*j + 5. Let s be r(2). Is s greater than or equal to i?
False
Let p = 0.41 + 0.09. Let d = -107/339 - 2/113. Which is bigger: d or p?
p
Let t = 0.0614 + -0.0614. Which is bigger: 1.29 or t?
1.29
Suppose -4*b + 4*k = 0, 5*b + 11*k = 9*k + 28. Let r = 3 + 0. Suppose 5 - r = y. Is b at least y?
True
Let k(u) = 2*u**3 - 1. Let h be k(1). Suppose 4*s = o + s + 12, 4*s = 4*o + 24. Let b be (o/18)/((-40)/16). Is b bigger than h?
False
Let y(s) be the second derivative of -s**4/12 - 2*s**3 - 7*s**2 + 13*s. Let b be y(-11). Which is smaller: b or -6?
-6
Let d = -2080 - -1697. Is -380 > d?
True
Let a = -186/11 + 7823/462. Which is smaller: 1 or a?
a
Let u be (-24)/(-66)*(-19)/(-76). Which is greater: u or -55?
u
Let u = 1492/112063 + 2/6861. Is 0 >= u?
False
Suppose -4*u + 20 = 0, y = 2*y - u - 58. Is y less than or equal to 64?
True
Suppose 5*l + 65 = 5*b, -13*b + 17*b + 5*l - 70 = 0. Is 43/3 != b?
True
Let p be 4/(-2) + (-38)/(-20). Let c = 153.5 + -3.5. Let w = c + -149.9. Are p and w non-equal?
True
Let r(o) = 2*o + 3. Let h be r(-2). Let a be 2/(-6) + (-5 - (-1874)/348). Which is smaller: a or h?
h
Suppose 5*c - 11 = 3*a, 0 = 3*a - 4*a + 3. Let i = 31 + -43. Let k = i - -17. Which is greater: c or k?
k
Let s(d) = -d**2 + 10*d - 6. Let i be s(8). Let q = i - -1. Suppose 0 = -4*f + 21 + q. Is f at least 8?
True
Let p(b) be the second derivative of -6*b**2 - 1/2*b**3 + 0 - b. Let m be p(-5). Is m less than or equal to 3?
True
Let q be 0 + 206/80 - 15/40. Which is smaller: 3 or q?
q
Suppose 5*m - 30 = 7*m. Let w = m - -24. Is 7 at most as big as w?
True
Let i(r) = -7*r + 19. Let z be i(6). Let v(q) = -q**2 - 21*q + 13. Let o be v(z). Are -33 and o unequal?
False
Let i be 225823/(-25085) - (-18)/2. Is i greater than -1/2?
True
Let v = 498 - 499.1. Which is bigger: v or 31?
31
Let o be 3/46*(-36)/(-189). Which is bigger: o or -1?
o
Let y = 5161.273 - 5191.2. Let a = y + -0.073. Let d = 29.8 + a. Is d greater than 1.2?
False
Suppose 5 = 16*i - 17*i, c = -2*i + 107. Which is greater: 122 or c?
122
Let i = 9 + 24. Suppose i = 4*s - 19. Let p be 18/(-6) + -1*s. Which is smaller: p or -15?
p
Suppose 4*m + 2 = m - 5*z, 0 = 4*m - 3*z - 36. Suppose 0 = 3*b + p + 14, 2*p - 6 = 4*b + m. Let a = -157 - -152. Are a and b unequal?
True
Let q(g) = g + 1. Let r be q(5). Does 48 = r?
False
Let k be 222/(-6) - (-2 + 5). Let w be (-50)/k*12/(-33). Let b = -2 + 2. Which is bigger: w or b?
b
Suppose 0 = -k + 3*k - 10, 0 = -3*u + 5*k - 37. Let c be 1*u/8*0. Suppose 5*b - 5*n + n + 40 = c, 5*b + 65 = -n. Do -12 and b have the same value?
True
Suppose 0 = -x + r + 58, x = 3*r - 4 + 52. Which is smaller: x or 65?
x
Suppose 4*d + 3 = -21. Let l = 740 - 741. Which is bigger: d or l?
l
Suppose -2*b - 2*f - 26 = 0, -4 + 78 = -5*b - 2*f. Let u = b + 15. Let a = -15 - u. Is a at least -14?
True
Suppose -2*f + 3*k - 10 + 1 = 0, -4*f = 3*k + 9. Let j be (-2)/(5/(-2) - f). Let m = -30 - -25. Does j = m?
False
Let k be 2 - (3/(-5) + 5868/2280). Is k equal to 0?
False
Let n(q) = -q**2 + 5*q + 42. Let o be n(9). Let u be 0*(-2)/(-24)*o. Which is smaller: u or -4/73?
-4/73
Let j(a) = 6*a + 21. Let o be j(-11). Let u be (-37)/(-39) + 60/o. Which is smaller: u or -0.1?
u
Let l = 323 + -323. Which is smaller: 62 or l?
l
Let y be -28 + (-8)/((-48)/(-42)). Let o(l) = -13*l + 4. Let q be o(3). Is q equal to y?
True
Suppose 2*o + 26 + 10 = 0. Let n = 21 + o. Let a be (-1)/8*(n + -1). Which is bigger: -1 or a?
a
Let o = 145 - 213. Which is greater: o or -70?
o
Let s(p) = -p**2 - 13*p + 65. Let w be s(10). Are -165 and w non-equal?
False
Let r be (-11817)/93 - 30/(-465). Is r not equal to -129?
True
Let z be 1/(-15)*-2 + 61/(-120). Suppose 3*a + 4*c = -2*a - 28, -4*c - 16 = 2*a. Let t = a - -4. Which is bigger: z or t?
t
Let f be 350/40*(-11)/5*-2. Is 39 at least f?
True
Let f = 0.042 + -4.042. Let c = 877 + -2663/3. Let h = c + 131/12. Which is bigger: f or h?
h
Let x(w) = -w**3 - 5*w**2 - 3*w + 9. Let h be x(-4). Let k = -4.1 - -4. Is h at least k?
True
Suppose 46 - 165 = 7*m. Let n be -15 + (2 - -3)/(-5). Is n at least m?
True
Let w be 42 + (3 - (0 + 2)). Suppose -4*n + 5*n - w = -3*q, 3*q - 3*n = 39. Let j = q - 10. Is 3 equal to j?
False
Let y = -869.2 - -972. Let g = 103 - y. Let h = 8.2 - 9. Is h less than g?
True
Suppose -4*c + w = -w + 4, 0 = -2*c - 4*w - 2. Let g be c/(-2)*(-6 - -1). Suppose 4*b - 2*d + 14 = 0, 6 = d + 3. Which is smaller: b or g?
g
Let v = 260 + -87. Which is bigger: -3 or v?
v
Let g(p) = p**3 - 9*p**2 - 10*p - 13. Suppose -y - 4*y + 5 = 0. Suppose -29 - y = -3*o. Let d be g(o). Which is bigger: d or -14?
d
Let k be 126/4*(-72)/(-27). Let i be 0 + (-69)/k + (-2)/(-8). Which is smaller: 0 or i?
i
Let t(g) = 12 + 0*g - 2*g - 1. Let c be t(9). Which is greater: c or -4?
-4
Suppose -x = -9*x - 1120. Which is greater: -138 or x?
-138
Let q = -6 - -5. Let y = 14482/7 + -2074. Let l = -75/14 - y. Which is smaller: l or q?
q
Let y = -15 + 4. Let z = y - -58. Is 0 > z?
False
Suppose 3*u + 12 = 5*f - 72, 2*u = -4*f + 76. Do 12 and f have the same value?
False
Let n(q) = -q**2 - q + 10. Let z be n(3). Suppose -4*y = -4*w + 100, w + y - 25 = 5*y. Let i be (-5)/w + z/(-60). Is i smaller than -1?
False
Suppose -2*x = -r - 3*r + 330, -r - 3 = 0. Let t be 3/(-12) + x/(-12). Let i = 11 - t. Which is smaller: i or -7/4?
i
Suppose 0 = 5*r - 3*c - 548, 2*r + 3*c + 52 = 288. Is r at most as big as 112?
True
Let f be 6/(-24) - 13/(-4). Suppose 7 = -v - 6*w + w, 