
True
Let t be (-1)/5*(1 + 1). Let i be 1/2*(18 - -2). Let l = 11 - i. Which is bigger: l or t?
l
Let k = 9.8 - 8.4. Which is smaller: k or 2/5?
2/5
Let l(o) = 2*o**2 + 32*o - 6. Let m be l(-17). Are 0 and m equal?
False
Suppose 0 = b - 2*b - 3. Let o = -6 - b. Is -1 at least as big as o?
True
Let s be (-4)/3 + 3/9. Let w be (-5)/3 + s + 3. Let j = 2 + -2. Is j at most w?
True
Suppose 6*a + 9 = 3*a. Let p = -2 - a. Is p at most as big as 1/7?
False
Suppose 4*g - 4 = 8. Suppose -4*q - 21 = 2*f - 3*f, 2*q + g*f + 7 = 0. Suppose 0 = -3*m + 3*b - 24, 0 = 5*m + 5*b - 2*b + 16. Is m greater than q?
False
Suppose -o - 3*j = -6, -18 - 6 = -4*o - 2*j. Suppose -14 = 3*s - 4*p, -s + 2*p = -o*s - 6. Is 2/11 equal to s?
False
Let y = 4 + -4. Let j = 2.2 + -2. Let d = j - y. Is -1/3 smaller than d?
True
Let a(o) = -20*o. Let b(t) = 7*t. Let f(l) = -6*a(l) - 17*b(l). Let n be f(0). Which is smaller: -1 or n?
-1
Let t(n) = 4*n - 12. Let a(q) = 3*q - 11. Let y(d) = 5*a(d) - 4*t(d). Let l be y(-6). Is -1 less than l?
False
Let y be (-2)/(-5) + 78/30. Let z = y + -7. Let l = z - -4. Which is smaller: l or 1?
l
Let m be 405/774 - (5/2)/5. Is m > 1?
False
Suppose -5*l = -l + 408. Let p = -2144/21 - l. Which is greater: 0 or p?
0
Let v = 1 + -0.7. Let w = 2.11 + -0.11. Is w > v?
True
Suppose -i - 3 = -v, -2*v - 14 = 5*i - 6*v. Let a = -4 - i. Is -2 at least a?
True
Suppose -5*c - 4*d + 5 = 0, 3*c + 0 - 10 = -d. Is c at least 4?
True
Let d be (4 + (-116)/32)/((-4)/(-16)). Suppose -2*j = -5*o + 10, -5*j + 4*o = -o - 5. Suppose -4*p + 12 = -2*k, j*p + k + 0 = 1. Is p greater than d?
False
Let b = -95 - -102.9. Let s = 8 - b. Is -3/4 <= s?
True
Let g = 2 + -2. Suppose g = -3*p - a + 14, 4*p = 2*p + 4*a + 14. Are 4 and p equal?
False
Let g(r) = r + 6. Let w be g(-7). Which is smaller: w or 1/76?
w
Let g = -1 - -1.2. Let p = 0.2 - g. Let y = 342 - 342.3. Is p > y?
True
Let s(m) = -m**3 - 18*m**2 - 33*m - 16. Let n be s(-16). Which is bigger: n or -2/35?
n
Let i(x) = -x**3 - x**2 + 2*x - 2. Let s be i(0). Is s less than or equal to -2?
True
Suppose 0*q + 3*q = 3. Let p be 2*((-413)/414 + 1). Let h = p - -1859/828. Does h = q?
False
Let y = 7.7 + -3.9. Let o = y + -0.8. Is o equal to -0.1?
False
Let g = 0.2 - 10.2. Let o = 10.1 + g. Which is greater: -1 or o?
o
Let w(k) be the second derivative of k**5/20 - 2*k**4/3 + 2*k. Suppose 0 = 2*j - y - y - 24, -5*j + 36 = y. Let v be w(j). Are v and 2/9 equal?
False
Suppose -4*p + 0*p + 16 = 0. Suppose -p*n = 4*y - 24, -15 = -5*n - 3*y + y. Is 1/12 greater than or equal to n?
False
Let l(g) = -g**2 - 2*g + 3. Let f be l(-6). Is f smaller than 2/7?
True
Suppose 0 = -3*n + 9, -7*k + 3*n = -2*k + 14. Let w(x) = -x + 1. Let l be w(4). Which is greater: l or k?
k
Let a be (-3)/(0 - 6/8). Suppose -z + a = z - 2*q, -2*q = 5*z + 18. Let b = 12 - 15. Is b <= z?
True
Suppose -5*h + r + 8 = 3*r, 2*h + r - 4 = 0. Let c be (2/(-10))/((-8)/(-10)). Which is bigger: h or c?
h
Suppose 0 = -4*g + 4*v - 136, g + 2*v + 38 = 1. Let x be g/110 - 2/11. Which is smaller: x or -2?
-2
Let t be (1 + -2 + 1)*1. Suppose t = n - 2*n. Is n greater than or equal to 2/7?
False
Let k = 1/208 + 203/1040. Let f be 3/(-2) - (-1)/2. Is f at least as big as k?
False
Let z be 2 + 4/6*-47. Let p = 29 + z. Which is smaller: 1 or p?
p
Let a = -10 - -43/4. Suppose 3 + 7 = 5*t. Is t less than or equal to a?
False
Let m be 3/(-6)*3/(-3). Let y(d) be the first derivative of d**2/2 + 4*d - 3. Let i be y(-3). Which is greater: i or m?
i
Let f be (-3)/(3*3/(-6)). Suppose 4*w + 9 = 5*i - f*i, i - 3 = -4*w. Suppose 0 = s - i*s + 2. Is s at most as big as 1?
True
Let w(k) = 2*k + 1. Let i be w(-4). Which is greater: -6 or i?
-6
Let g be (20/15)/(4/30). Which is smaller: g or 8?
8
Let z = -64/15 + -2/5. Which is bigger: -5 or z?
z
Let u = 20 - 18. Let t be ((-3)/(-4))/((-12)/(-28)). Is u at most t?
False
Let g be (-2)/8 + 5/4. Let x(z) = 7*z + 1. Let v be x(-1). Let d be -3 - 15/v*1. Which is bigger: g or d?
g
Suppose -10 - 2 = -4*f. Suppose f*u + 2*q + 2*q = -10, 2*q = -2*u - 4. Which is smaller: 3/4 or u?
3/4
Let o = 7/26 + -4/39. Which is smaller: 1 or o?
o
Let h(o) = -o**2 - 4*o - 3. Let p be h(-3). Suppose p = 4*t - 0*t - 40. Let j be 15/t*8/(-18). Is 3 equal to j?
False
Let l(v) = -v - 4. Let r be l(-5). Is r smaller than 1/22?
False
Suppose 7*c = 2*c + 15. Suppose 0 = 5*p - 15 - 0. Is p > c?
False
Let s = 0.04 - 0.04. Let b = -0.1 - s. Do 4 and b have different values?
True
Let s = 1 - 1.1. Let c = -0.3 - s. Let b = 7 - 6.9. Which is smaller: c or b?
c
Let d = 40 - 18. Suppose -2 + d = 4*c. Let j be (-11)/(-3) + 2/6. Is j not equal to c?
True
Let l(j) = -j**3 - j**2 - 2*j + 3. Let c be l(2). Suppose f + 17 - 5 = 0. Is f <= c?
False
Suppose 0 = k + k - 4*t + 2, -5*t = -k - 16. Suppose -h = -4*h - k. Which is greater: -4 or h?
h
Let y = 5 - -6. Which is greater: 8 or y?
y
Let q be (-2 + -1)*(-1)/3. Do q and -2/43 have the same value?
False
Suppose -4*z + 2 = z + k, -5*z = 5*k - 10. Let l be (-12)/(-9)*(-12)/56. Is z bigger than l?
True
Suppose 4 = -5*w + w. Let u = -7 + 7. Which is bigger: w or u?
u
Suppose 3*g + k + 8 = 0, g + 3*g = k - 13. Let t be (1 + 28/(-24))*g. Let i be -2 + 1 + 4/6. Which is smaller: i or t?
i
Let a = -40 - -40.1. Is a greater than -35?
True
Let l = -2 + 2.2. Let w = 448 + -447.97. Do l and w have the same value?
False
Let g be 2*(1/339)/((-2)/6). Do -1 and g have different values?
True
Let x(o) = o + 6. Let j be x(-5). Suppose 1 + j = -2*f. Which is smaller: f or -6/5?
-6/5
Let x be 5/(1 - 22/25). Let o = x + -42. Let z be 1*(-3 - -2)/(-1). Is z bigger than o?
True
Suppose 2*w = t - 319, w = 4*t - 0*w - 1262. Let z be (t/(-60))/((-6)/4). Is z > 3?
True
Let q be (950 - 0/(-3)) + -2. Let d = -1949/2 + q. Let l = d - -473/18. Which is greater: l or 0?
0
Suppose 1 = 4*r - 7. Suppose 2*x + 82 = 3*q, -3*q + 0*q - r*x = -62. Let p = q + -49/2. Is p greater than or equal to -1?
True
Let a = 0.6 + -0.69. Let j = -1.09 - a. Is -1 > j?
False
Let f be 4/(-10) - (-36)/15. Suppose -4 = -2*v - 2*m, -f*v + v - 3 = -4*m. Let l be 3/3*(-1 + v). Is 1 greater than l?
True
Suppose p + 4 = -3*p. Which is greater: 0 or p?
0
Let d be 52/20 - 4/(-10). Let m be d*-2*3/18. Is m at least 2?
False
Let d(o) = -o**2 - 11*o - 13. Let l be d(-9). Suppose 1 + l = 2*p - 4*i, -5*i = 5. Which is smaller: p or 2?
p
Let f = -17 - -18. Is 1 < f?
False
Suppose -6*y + 4*y + 12 = 0. Suppose -3*u - u + f = 0, 2*f = 2*u - y. Let w(z) = -z**3 + 7*z**2 - 5*z - 7. Let r be w(6). Is u less than r?
False
Let y be 1 + (2 - -1 - -49). Which is greater: y or 54?
54
Let s be (4/(-12))/((-1)/2). Let q = 9.9 + -10. Which is smaller: s or q?
q
Let u(p) = -p**2 - 7*p + 4. Let l = 5 - 12. Let i be u(l). Is 1 > i?
False
Let a = 9.15 - 0.15. Let i = a + -9.08. Is i smaller than 1/4?
True
Let w be (-6)/5 + (-2)/(-2). Let u = 1 + -1. Is u less than or equal to w?
False
Let i(g) = g + 12. Let l(x) = -2*x - 23. Let q(k) = 7*i(k) + 4*l(k). Let m be q(-7). Is -3 at least m?
False
Let y be 187/9 - (-3)/((-162)/(-12)). Is 20 greater than or equal to y?
False
Let c = -42/95 - -16/19. Is c at most -1/3?
False
Let u be (9 - (-3 - -8))*5/(-4). Let h(f) = -6*f**3 + f**2 + f - 1. Let b be h(1). Is b < u?
False
Let b be -1*0/((-9)/3). Let s = -1 - -2. Let w = 0 + s. Are w and b unequal?
True
Suppose -2*b = 1 - 3. Is -9 at least b?
False
Let n be ((-54)/(-5))/3*56. Let g = 201 - n. Suppose 0 = -5*p + f + f - 12, -8 = 5*p + 2*f. Is p smaller than g?
True
Let u(j) = j**2 - 5*j - 10. Let z be u(7). Which is bigger: -7 or z?
z
Suppose 4*s + 20 = -68. Is -23 smaller than s?
True
Let q = -13686/55 - -1236/5. Is q at least as big as -3?
True
Suppose -3*i - 24 = -0*i + 3*n, 0 = -2*i - n - 13. Let h = -19 - i. Is -14 at least h?
True
Let j = 39 + -39.43. Let m = 0.87 + -0.8. Let s = j - m. Which is greater: -1 or s?
s
Suppose -4*z - 34 = -2*p + 36, -2*p = 2*z - 52. Suppose 2*h + 5*v - 23 = 0, 2*h + p = -2*h + 5*v. Is -1 less than or equal to h?
True
Let q = -12 - -11. Which is bigger: 6 or q?
6
Let h be (-5)/2*(0 - 2). Suppose -h*n = -n. Let q = n + 2. Which is smaller: 1 or q?
1
Let u be 2/(-8)*16/6. Let m = 7 - 7.36. Let a = m - 0.14. Which is smaller: a or u?
u
Suppose p + 0 = -l - 2, 10 = 4*l - 2*p. Let z be (0/l)/(-1 + -1). Let