 + (-852)/33. Let t = d - -27. Is t equal to 2?
False
Let k(h) = h**3 - 12*h**2 - 2*h + 14. Suppose 29 = 3*r - 7. Let y be k(r). Which is greater: y or -11?
y
Let q be 1/4 - (-28)/16. Suppose -3*o = q*g + 2, -5*o = -0*g - 3*g - 22. Suppose -2*x = -2*s - 8, -s + 7 = o*x - 4. Is -1 != s?
True
Suppose 2*l + 5*f = 11, -3*l - 1 = 2*f - 12. Suppose -l*t + 2*t = 0. Let q = 106 + -956/9. Which is smaller: q or t?
q
Suppose 1 = -4*n + 21, -2*g + 4*n = 108. Which is smaller: g or -45?
-45
Let y(i) = i**2 + 2*i + 6. Let b be y(0). Which is greater: 8 or b?
8
Suppose -g + 3*b + 21 = 3*g, -g + 5*b = 16. Which is greater: g or 7?
g
Let a(d) = -5*d + 1. Let b(p) = 4*p. Suppose 2*g - g = -4. Let k(j) = g*b(j) - 3*a(j). Let c be k(-4). Which is greater: 2 or c?
2
Let l(v) = -v**2 + 2*v - 4. Let r be l(3). Let t = r - -6. Is -1 > t?
False
Suppose -8 = -4*t + 16. Let q = t + -5. Does q = 1?
True
Let i(j) = -2*j**3 + j**2 - 2*j + 1. Let y be i(1). Let x be 3*(2/3)/y. Are -1 and x nonequal?
False
Let g = -1.88 + -0.02. Let z = g - -2. Suppose 0 = 2*j + 2*j + 20. Is j <= z?
True
Let i(q) = -q**3 + 7*q**2 + 9*q - 11. Let r be i(8). Suppose 4 = -4*j - 12. Which is greater: r or j?
r
Let d = -0.61 + 0.71. Does -0.006 = d?
False
Let l = 0.13 - 0.03. Let b = 1.99 - 2. Let c = 0.41 + b. Is l greater than or equal to c?
False
Let y = 3 + -4. Let n(h) = -h + 5. Let i be n(6). Let w be (-7)/(-2)*i/(-14). Which is greater: y or w?
w
Suppose 5*p = 3*p - 98. Let t be (-14)/p - (-54)/7. Which is smaller: t or 7?
7
Let z(l) = 2*l + 2. Let u be z(2). Suppose 4*v = 2*g + u, v = 4*v + 6. Is -7 at least as big as g?
True
Suppose -j + 20 = -2*c - 14, j + 3*c - 49 = 0. Let v be 6/(-10) + 184/j. Which is bigger: v or 2?
v
Suppose 3*a = -0*a - 21. Let o = a + 4. Are o and -2 equal?
False
Suppose 0 = q - 4*o - 1, q + 5*o - 10 = -0*o. Let g = 6 - q. Suppose 4*b + 3*x = -2, -x = 3*b - g - 0. Are b and 1 equal?
True
Let x(l) = -1 - l**2 + 2 - 1 - 4*l. Let k be x(-4). Suppose k = -2*a + 4*z + 24, 0 = -3*a - 0*z - z + 1. Which is smaller: 3/2 or a?
3/2
Let s = 109/2 - 53. Is -11 greater than or equal to s?
False
Suppose -3*z - 18 = -0*z. Let m be 3/9*z/8. Which is greater: 0 or m?
0
Let c = -581/48 + 73/6. Is c > 1?
False
Let m be (-6)/5*60/297. Do 1 and m have the same value?
False
Suppose -11 = -3*d + 4. Suppose -5*t = -t - 5*q + 35, -2*q + 31 = -d*t. Is t less than or equal to -3?
True
Let q(b) = b**3 + 4*b**2 + 4*b + 4. Let k be q(-3). Suppose -2*g = -2*p + 46, -4*p - 107 = 4*g - 3*p. Let v be g/8 - 3/(-1). Which is bigger: v or k?
k
Let f = 23.91 - 24. Which is greater: -1/3 or f?
f
Let g be -1*(-166)/(-24) - (-3)/12. Is -6 greater than or equal to g?
True
Let j(s) = -s**2 - 14*s + 12. Let w be j(-15). Is -3 greater than w?
False
Let q(n) = -n**3 + 3*n**2 + 5*n - 7. Let y be q(5). Let x be 1/2*y/536. Let a = 75/268 + x. Which is bigger: a or 1?
1
Let y = -3.2 + 3.1. Which is greater: y or 2?
2
Let o = -31557965552679/350 + 90165524621. Let m = o - -91244. Let h = m + -3/50. Which is bigger: h or 1?
1
Let v = 6 - 4. Which is smaller: v or 1/4?
1/4
Let h = 0.003 + -0.133. Does 2/5 = h?
False
Let g = -21 - -19. Let k = 0.4 - 0.7. Which is bigger: k or g?
k
Let g = -27/2 - -14. Which is greater: g or 2?
2
Let i be (297/(-44))/(1/4). Let k = i + 11. Is k less than -16?
False
Let n be (2 + -3 - -5)*2. Let k = -56 + 63. Which is smaller: n or k?
k
Let u(i) = -2*i - 5. Let b be u(-3). Let z = -64/5 + 66/5. Which is bigger: z or b?
b
Let n = -7 - -8. Let d = -3 + n. Are -2 and d nonequal?
False
Let l = 104.994 + -105. Is l at least as big as 2/7?
False
Suppose 0 = -2*i, 2*j - 7*j + 4*i + 5 = 0. Let z = j - 0. Let g be (3/2)/((-390)/40). Does g = z?
False
Let r be (2 - (1 - -1))/2. Which is smaller: -1 or r?
-1
Let t be (-1)/(-3) + 61/(-3). Let i be (-112)/t*5/2. Suppose 4*h - 2 = i. Is h greater than or equal to 2/3?
True
Suppose -7*k - 108 = -2*k + 3*r, -k = 2*r + 16. Let v be (-27)/k + (-1)/8. Which is smaller: v or -4/25?
-4/25
Let v(d) = -d**3 - 9*d**2 + 10*d - 5. Let o be v(-10). Is -4 equal to o?
False
Let g = 61/102 + -9/34. Let y = 12 + -25/2. Which is greater: y or g?
g
Let c(y) be the first derivative of -y**4/4 + 2*y**3 + 9*y + 5. Let q be c(6). Is 10 greater than q?
True
Let l = -0.7 - 0.3. Let h = 0.03 + 1.37. Let d = 0.4 - h. Is l greater than d?
False
Suppose 4*u - 3*u = -8. Is u smaller than -5?
True
Suppose 2*l + 10 = 2*h, 1 = 5*l + h + 2. Let f be (-2)/(-48) + l/(-3). Let v be (-1 + 0)*((2 - 7) + 4). Which is greater: v or f?
v
Let l = 0.06 - 0.07. Let v = l + -2.99. Is 0.2 at least as big as v?
True
Let x be (-30)/(-2) + -3 + -3. Let y be 7/(-4) + x/12. Which is bigger: y or 1/3?
1/3
Let d = -2 - -1.9. Let w = -0.14 - -0.14. Is w <= d?
False
Suppose -5*t + 4*q + 222 = 0, -174 = -4*t + 3*q - q. Is t at most as big as 42?
True
Suppose 37*t = 35*t + 24. Is 16 greater than or equal to t?
True
Let r be 2/(-3) - 44952/126. Let f = 358 + r. Which is bigger: 0 or f?
f
Let b be (1 - -2) + 0 + 4 + -5. Which is bigger: b or 9?
9
Let w(y) = y**3 - y**2 - 1. Let c be w(0). Is c at most as big as 1?
True
Let d = -1377/5 - -288. Let w = d + -13. Which is smaller: 0 or w?
w
Suppose -54*c + 51*c = 0. Which is smaller: 1/3 or c?
c
Let b = 873/2 - -3007/10. Let u = b + -757. Let g = u - -97/5. Which is smaller: -1 or g?
-1
Let a = 962/9 - 5249/63. Let i = -24 + a. Suppose 4*m + 14 = 5*b, -5 = -m + 2*m - 2*b. Which is greater: m or i?
i
Let d = 34 + -45. Are -11 and d unequal?
False
Let f be ((-13)/(130/250))/(0 - 1). Let d(w) = -w**2 + 12*w - 7. Let s be d(8). Is f at most as big as s?
True
Let s(r) = -3*r - 13. Let x be s(-9). Suppose -5*u = -20, 5*u - u = -5*z - x. Let t be (-1 - -3) + -9 + 0. Is t != z?
True
Let l = 7 - 10. Let g be -2 + 1/(l/(-10)). Which is smaller: 1 or g?
1
Let h = -2 - -27. Is 23 at most as big as h?
True
Let i = -19 - -19. Which is smaller: -2/7 or i?
-2/7
Let w(i) = 7*i - 25. Let b(r) = 10*r - 37. Let p(q) = 5*b(q) - 7*w(q). Let a be p(9). Which is bigger: a or -2?
a
Suppose -4*h + 6*h = 8. Suppose 4*c + c + 10 = -p, 1 = h*c - p. Let w be c - (-39)/18 - 1. Which is smaller: w or 1?
w
Let z = 45195/59 + -766. Which is bigger: 1 or z?
1
Suppose 17 = 5*p - 3. Suppose p = -0*g + 4*g. Let a be 1/(-6) + (-1)/(-6). Is a at least as big as g?
False
Let l be -1 - (-14)/(-20) - -2. Let j = 12 - 20. Let u be (-3)/(-9) + j/6. Is l <= u?
False
Let b(m) = -26*m + 1. Let y be b(1). Let l = y + 37. Suppose -2*k = k + l. Are k and -2 equal?
False
Let p = -5 + 9. Let z be (-11)/22*-2*3. Is p >= z?
True
Let s(m) = m**3 - 4*m**2 - 4*m - 1. Let z be s(5). Let h(g) = -g**2 + 4*g - 2. Let n be h(z). Is -2 equal to n?
True
Let w = -8 - -55. Are 47 and w equal?
True
Suppose -4*b + 2 + 15 = 5*n, -4 = -b - n. Does 3 = b?
True
Let x = 43.1 + -41. Let z = 2 - x. Which is greater: z or 6/5?
6/5
Let k = 0.06 + -7.06. Let q = k - -7.1. Let y = 0.1 - 0. Is y less than q?
False
Let x = 0.006 + 4.994. Is x < 0.3?
False
Let f(p) = -2*p**2 - 7*p - 4. Let k be f(-4). Is -8 at least k?
True
Let i be (6/(-64))/((-9)/4). Which is greater: 1 or i?
1
Let u(v) = v**3 + 12*v**2 + 11*v - 4. Let n be u(-11). Let f be (0 + n)*(-1)/6. Which is smaller: f or 1?
f
Suppose 11 + 1 = -3*c. Let p = c + 11. Suppose -l + 5*f = f, l - p = -3*f. Is l >= 4?
True
Let n = 17 - 16.9. Which is bigger: n or 2?
2
Let t be ((-132)/(-30))/(2/10). Let r be ((-5)/(-20))/(t/(-8)). Which is bigger: r or 0?
0
Let m = 0.1 + -0.1. Suppose 0 = 13*h - 12*h + 11. Let l be (h - -5)*(-2)/4. Which is bigger: l or m?
l
Let z = 5.1 - 5. Let v = z + 1.4. Let r = -0.5 + v. Which is smaller: r or -1?
-1
Suppose 0 = -q - 2*q + 3. Let a = q + 0. Let p be (-12)/(-9)*-3*a. Which is bigger: -2 or p?
-2
Suppose -5*d + 27 = -13. Let a = d + -15/2. Let m(g) = g**3 + 2. Let l be m(0). Which is greater: a or l?
l
Let v = 4 + -3. Let x be (v/(-3))/(1/3). Is 4/9 < x?
False
Suppose 5*m = -0*m. Let p be -1 + m - (-8)/6. Are p and -1/3 nonequal?
True
Let t be 2/(-3) + (-20)/(-3). Suppose 7*a = t*a + 1. Are -4/13 and a equal?
False
Let p(i) be the first derivative of i**5/120 - i**4/12 - i**3 + 1. Let w(g) be the third derivative of p(g). Let r be w(3). Which is smaller: r or 2?
r
Suppose -6*g + 5*g = 4. Are g and -42/11 unequal?
True
Suppose -4*j - z = -5, -5*z - 