= -a*i - 3*i - 3. Which is greater: i or -2?
i
Let x = -8.49 + -2.47. Let k = x + 11. Which is smaller: k or 0.1?
k
Suppose -2 = 2*u - 4. Let o be (-2)/(-70) - 8/(-20). Is o greater than u?
False
Let w = -61 + 57. Is -4 <= w?
True
Let g(a) = -4*a - 1. Let s be g(0). Which is bigger: s or -2/69?
-2/69
Let r = -48 + 36. Which is smaller: r or -10?
r
Suppose -5*d + 27 = -13. Let u = d + -8. Is u at least -3?
True
Suppose -3*l + 7*l = -8. Let a = 2 + l. Let h = 129 - 901/7. Which is bigger: h or a?
h
Let f = 3.1 - 3. Let r = -2.5 - -2.4. Which is smaller: r or f?
r
Let g be 1/8*4*4/(-22). Is g smaller than 0?
True
Let p be (-20)/(-8)*1/(-7). Which is greater: p or 0?
0
Let r = 4 + -4. Suppose r = -f + 4, 0 = 4*v + f - 5 + 1. Let g be (-12)/(-8)*(-1)/3. Which is bigger: v or g?
v
Let j(l) = -2*l**2 - 11*l + 9. Let b(d) = d**2 + 5*d - 4. Let k(y) = -9*b(y) - 4*j(y). Let z be k(-1). Is -1 greater than or equal to z?
False
Let k = -40151/18 + 4331/2. Let r = -65 - k. Are r and -1 nonequal?
True
Suppose 0 = -2*n + 40 - 16. Let y(l) = l**2 - 3*l - 6. Let z be y(-3). Is z smaller than n?
False
Let n = -8 + 12. Let s be (n/6)/((-20)/(-6)). Which is bigger: s or 0?
s
Let v be ((-27)/9)/(-1*1). Let a be ((-15)/(-3))/(-3 - -6). Which is smaller: a or v?
a
Let r be (-20)/225*3/(-2). Let l be 2*1/(-2)*-3. Let j be 0/(l*(0 + 1)). Is j at most as big as r?
True
Let k be (-104)/(-10) - 100/(-20). Which is smaller: 15 or k?
15
Suppose -11 = 4*q + 5*d, 2*d - 1 = -0*q - q. Is q at most 0.2?
True
Suppose 2*v + 336 = 6*v. Let i be v/(-8)*2/(-3). Which is smaller: i or 6?
6
Let r be (-4)/22 - (-24)/374. Suppose 0 = 4*l - 0*l. Let s = l - 0. Is r at most as big as s?
True
Let v = 80 - 72.7. Let l = -7 + v. Which is smaller: l or -2/7?
-2/7
Suppose 0 = 3*r - 41 - 1. Let q = r + -8. Is 6 > q?
False
Let k = -60.9 - -61. Which is smaller: k or -1/2?
-1/2
Let h = 3 + -5. Let d = -0.07 + -0.03. Let j = d - 0. Which is smaller: j or h?
h
Let y be (147/51)/(-1) - -3. Is -1 bigger than y?
False
Let d be ((-112)/(-20) - -3) + (-6 - -5). Does 1/4 = d?
False
Let q = 795971/8 - 99619. Let j = 123 + q. Is j equal to -1?
False
Let t(h) = -h**3 + 4*h**2 - 2*h. Let c be t(3). Suppose -20 = 3*b - q, 34 = -5*b - c*q + 5*q. Let w(g) = -g - 7. Let u be w(b). Is -1 > u?
False
Suppose l = -0*l. Let u = -7 + 8. Let r be (u/6)/((-3)/12). Which is bigger: r or l?
l
Let h = -688 + 1469/2. Let a = -43 + h. Which is bigger: a or 4?
4
Suppose -2*g = -6*g + 240. Let k be g/(-2)*(-21)/(-9). Let h be (-25)/k*8/10. Is 1 > h?
True
Let s = -565 - -507.7. Let u = 55 + s. Let a = u - -0.3. Is a != -2?
False
Let w = 28 - 18. Suppose o - 55 = -4*o - 5*a, 2*o - 14 = 2*a. Is o at least as big as w?
False
Let u be (-2)/(-14) - 243/(-63). Let v(c) be the first derivative of -c**2 + 5*c - 1. Let b be v(u). Which is bigger: -2 or b?
-2
Let h = 3 + -2. Let o be 3/(-3) + 2*1. Is o greater than or equal to h?
True
Suppose -2*n + 91 = -3*f, 4*n - 68 = 2*f - 2. Let g = 28 + f. Is -12 smaller than g?
True
Let s(j) = -j - 13. Let w be s(-7). Let z be -1 + ((-32)/w)/4. Which is greater: z or 1?
1
Let r(w) = -w**3 + 6*w**2 + w - 3. Let c be r(6). Let p be (3 - 2)*(-1)/c. Let y = 7 + -22/3. Is y >= p?
True
Suppose 2*q + 25 = -5*p - 25, 0 = 4*p + 3*q + 47. Is -9 <= p?
True
Let o(l) = l**2 + 8*l + 1. Let r be o(-8). Let g = 83/6 + -14. Which is smaller: r or g?
g
Let j = -12.7 + 14.7. Are 6 and j equal?
False
Let s be 12/(-8)*2/(-3). Let g be -2 + -4*9/(-15). Is g > s?
False
Let s = -23 + 14. Is s < 2/5?
True
Suppose -j + 6*j = -2*f + 14, -3*f = 2*j + 1. Let b be -2 + 14/4*2. Which is smaller: j or b?
j
Let j be 1540/25 + (-6)/(-15). Does j = 61?
False
Let t = 0 + -1. Let u = t - -1.1. Let v = u - 0.3. Is v smaller than -0.1?
True
Let v(d) = d + 3. Let g be v(5). Let i = -7 + g. Is -1/7 at most i?
True
Suppose -4*w = -2*w. Suppose -i - 9 = -5*d, i + w = -2*d - 2. Is d bigger than 2?
False
Suppose -4*p = -3*c - 2, 5 = p + 3*c - 3. Let m = 1.3 + -2.3. Which is smaller: m or p?
m
Let q be 2/(-10) + 40/(-50). Which is greater: q or 2/29?
2/29
Let z = 1 - 0. Suppose -c + 3 = -3. Let j = 7 - c. Is j bigger than z?
False
Let o(d) = -d**3 - 11*d**2 - 11*d - 13. Let u be o(-10). Which is smaller: -6 or u?
-6
Suppose 0*g = -4*g + 12. Suppose -c = -g*c. Which is greater: -2/3 or c?
c
Let k(a) = -3 - 2*a - 2 - 1 + 4. Let u be k(0). Are -1 and u equal?
False
Let w = 2 - 1. Let q = 3 - 4. Which is greater: w or q?
w
Let x(w) be the second derivative of 3*w - 1/6*w**3 + 0 - 1/2*w**2. Let m be x(-1). Is m less than 0?
False
Let q = 6 - 2. Suppose 6 + 19 = 4*j + 5*x, -q*j + x - 5 = 0. Let n be j - (0 + (-2 - -7)). Is -4 at least as big as n?
True
Let g(h) be the second derivative of h**4/12 + h**3 + 5*h**2/2 - 6*h. Let o be g(-5). Which is bigger: 1/5 or o?
1/5
Let d = 7 - -6. Suppose 5*u - d = 12. Is 2 at least as big as u?
False
Let o = 2/731 + 1440/8041. Is o bigger than 1?
False
Let w be (-2)/(-5) - (-10)/(-25). Let j = 1 - w. Let g be 10/(-30) + 8/42. Is g at least as big as j?
False
Suppose 0 = -3*t - 4*c + 15 - 6, -4*c + 3 = t. Is t at least 2?
True
Let d(t) = -t**3 + 5*t**2 + 4*t - 4. Let b be d(5). Let m = b - 10. Suppose j = m*j. Is 1 at most j?
False
Let a(s) = -s**3 - 2*s**2 - 3*s - 2. Let p be a(-1). Which is bigger: p or 2/79?
2/79
Let u = -1.6 + 1.7. Is -1/9 greater than or equal to u?
False
Let y = -4/9 - -11/45. Is -2/17 at least as big as y?
True
Suppose -2*n + 3 = n. Which is smaller: n or -2/47?
-2/47
Let q be 16/40 - 32/30. Are 0 and q equal?
False
Suppose 4*z - 24 = -4*x, -z + 5*x - 3*x = 9. Let y be 2 + -2 + -1 + z. Do -1/5 and y have the same value?
False
Let u = -14/9 - 35/18. Which is greater: u or -3?
-3
Let g = -8 + 12. Suppose 2*l - g = -2. Which is bigger: l or -0.3?
l
Suppose 2*v - q = 3*v - 1, -2*q = v. Suppose 0 = 4*f - 4, -3*f = -3*d - 7*f + 4. Suppose -v*c = 4*y - 4, c - 3*y = -d*c - 3. Is -4/7 at least c?
False
Let n be (24/(-176))/((-3)/(-4)). Suppose 3*u = 2*u - 11. Let h = -11 - u. Which is greater: n or h?
h
Let v be (-2)/(-2) + (0 - 0). Let x = 1 + v. Suppose x*r - 4 = -4*i + r, -2*r = 0. Which is greater: i or -1?
i
Suppose 0 = r - 0 - 6. Suppose -a = -3*v + 11, -2*v - 5*a + 18 = -3*a. Which is greater: v or r?
r
Let h = -8 - -2. Let s be 3/h*2 - -2. Which is greater: 0 or s?
s
Let w(h) = h**2 - 12*h + 5. Let n be w(11). Is -11 greater than or equal to n?
False
Let s = 17468/3635 - 4/727. Which is bigger: 4 or s?
s
Suppose 0 = 3*p - 3*o - 4 - 8, p + o = 6. Suppose 3*x - 5*s - 6 = 5*x, -p*s = -10. Which is smaller: -9 or x?
-9
Let r = 8 - 4. Let t be (-2)/r*(-3 - -3). Let a be t*(10/(-4) - -3). Is 0 at most a?
True
Let u = 53 + -51. Suppose 0 = -0*b - 3*b. Which is greater: u or b?
u
Let k = -5 + 4. Let u = 5 - k. Which is smaller: 4 or u?
4
Let d be (-3*6/9)/(-2). Is 1 less than or equal to d?
True
Let k = -0.23 + 4.03. Let y = -4 + k. Which is smaller: 0 or y?
y
Suppose z - 2*o + 6 = -4*o, 5*z + 3*o + 9 = 0. Suppose 2*d + z*r + 3 = -r, -3*r - 9 = -5*d. Suppose d = 2*x - 0*x. Is x <= 1?
True
Suppose -5*q = 3*x + 67 - 16, -28 = 2*q + 5*x. Let k = q + 0. Let g = k + 9. Is g != 1/6?
True
Let h = -5 + 2. Let i = -16 - -19. Let k(v) = -v**3 + 3*v**2 + v - 5. Let y be k(i). Are y and h nonequal?
True
Let u = 18 - 11. Let j = u + -6. Is 1/5 less than or equal to j?
True
Let s be 126/26 + 20/130. Suppose -l = 1 - s. Let h(c) = -c**2 - 8*c - 4. Let u be h(-7). Which is greater: l or u?
l
Let u(s) = s - 1. Let p be u(9). Suppose -p = -5*a - 3. Is -2 >= a?
False
Let q be 2/(-4) + 23/(-2). Let o be 8/(-28) + q/7. Let v be ((-6)/4)/(9/12). Is o equal to v?
True
Let u be 28/7 - (1 + -3). Suppose z = u*z - 5. Is z at least as big as 5/7?
True
Let g be (-24)/(-2) - (-1 + 2). Let m = g - 8. Is m != 4?
True
Suppose 4*o - 1 = b, -2*b - 3 = 5*o - 1. Let x(g) = 4*g. Let l be x(b). Is l greater than -3?
False
Suppose 5*j + 0*j = 45. Suppose 1 = 4*x + j. Let n be (-8)/3 + 2/(-6). Is n != x?
True
Let n = -2.32 - -2.4. Let r = 1.08 - n. Which is smaller: r or 9?
r
Let s = 25 - 30. Let j be 1 + 1 + (-4)/32. Let q = -61/24 + j. Which is smaller: q or s?
s
Suppose -k + 4*j + 16 = 0, k - 2*j = -j + 4. Which is smaller: k or -1?
-1
Let j(w) = w**3 - 8*w**2 + 10*w - 16. Let h be j(7). Suppose 0 = -p - 5*o + 14, 0*p + 6 = 4*p - 