 + 24 = 0, -3*l - 1 = -p*j + 14. Does 4 = j?
False
Suppose -3*p + 12 + 3 = 0. Suppose -p*j + 12 = -j. Is 4 < j?
False
Let v = 57 + -54. Suppose -v*d - 2*d = 115. Is -23 at most as big as d?
True
Suppose 0*w + 418 = 11*w. Let x be 4/w + 23/(-38). Let t = 3.04 + -3. Is t equal to x?
False
Let p be 386 - (2 + 9 + -9). Is 384 >= p?
True
Suppose 2*b - 16 = 2*i, -10*b - 5*i = -13*b + 18. Which is greater: 9 or b?
b
Let r(y) = -y**3 - 3*y**2 + 1. Let t = 12 - 15. Let q be r(t). Let f be 117/(-18) + (-3)/q. Is f greater than -9?
False
Suppose 6*h - 2*h - d = 118, d = -4*h + 122. Suppose 0 = 4*q - 2*f + h, -3*q = 4*f - f + 9. Suppose 0 = w + r + 11, 0 = -w - 2*r - 15. Is w not equal to q?
True
Let b(w) = 3*w + 1. Let r(z) = -z**2 - 31*z - 19. Let g(u) = -6*b(u) - r(u). Let j(p) = -p**2 + p. Let i be j(-3). Let c be g(i). Is -2 equal to c?
False
Suppose -37 - 11 = v. Let b = -68978/45 - -13360/9. Let p = v - b. Is p != 1?
True
Let x = 164 + -170. Is x at least as big as -41/8?
False
Suppose 4*p - 4*k = -8, -5*k + 52 = 5*p + 12. Let m = 1 - 0.8. Is m at least p?
False
Let j = -40552103241 + 9935303675583/245. Let a = j + -156659. Let z = a + -18/49. Which is smaller: z or 0?
z
Let q(n) = -n**3 + 37*n**2 - 71*n + 69. Let f be q(35). Which is smaller: -16/3 or f?
-16/3
Let f = 25848 + -35127434/1359. Which is bigger: 1 or f?
1
Let s = 2.97 + -3. Let w = s + -0.42. Let m = 0.05 - w. Which is greater: m or 1?
1
Suppose 0*y + t = 5*y - 4, 0 = -5*y + 5*t. Let l be y/2*(-12 - 2). Let k be ((-360)/(-25))/(-2) + 1/5. Does l = k?
True
Let l = -7728 - -1931. Let j = 5829.17 + l. Let u = j - 32. Is u greater than or equal to -2/7?
True
Let u = 0.218 + 0.782. Are u and -1/49 non-equal?
True
Let c = -40 + 33. Let r = 5.9 + c. Which is smaller: r or 0.1?
r
Suppose i + i = 3*p + 18, -i - p + 4 = 0. Let s be 1/(-3)*4/i. Let l(b) = b**3 + 10*b**2 + 2*b + 21. Let o be l(-10). Is s less than o?
True
Let n(k) = -2*k + 9. Let i be n(4). Suppose 5*f - 6 - 14 = 0. Suppose t - f = -i. Is t at most 0.1?
False
Let f = -30 + 29. Let m = 27 - 27.1. Let h = m - 1.9. Which is bigger: f or h?
f
Let k(q) be the third derivative of -q**5/30 + 5*q**4/12 + 4*q**3 - 25*q**2 + q. Let h be k(-3). Is -113/5 at least h?
True
Let u be 2/(-9) - (-114)/27. Suppose -5*z + 11 = u*a, -2*z - a + 2 = -z. Suppose z = -4*b + 7. Which is smaller: b or -1/7?
-1/7
Let q = -151/53 + 10687/477. Which is smaller: q or 20?
q
Let v = -171 + 77. Let o = 104 + v. Let d = 9 - 2. Do d and o have the same value?
False
Let o(q) = q + 1. Let y be o(-4). Let w be (-1)/(y/9) + 8. Let d = 15 + -4. Is d greater than w?
False
Let q = -6871/99 + 761/11. Let n = 2.5 + -2. Which is smaller: q or n?
q
Let x = 19.1 + -18.1. Which is smaller: -153 or x?
-153
Let c be -1 - 1/(1 + 0). Let l(x) = -1. Let b(i) = -i**3 - 8*i**2 + 10*i. Let y(m) = b(m) - 6*l(m). Let k be y(-9). Which is smaller: c or k?
k
Suppose -4*q + 2*f = 323 + 45, 5*f = -10. Let l = -72 - q. Is 22 equal to l?
False
Suppose 2*o + 110 = -4*d, -2*d + 3*d = -5*o - 302. Let n(f) = 61*f + 1. Let m be n(-1). Which is greater: o or m?
m
Let q = -755 + 756. Are 3/34 and q non-equal?
True
Let w = -1675 + 1826. Which is greater: w or 6?
w
Let z = -1038 - -1035. Suppose -c + 6 = 4*c + 3*t, -10 = 3*c - 5*t. Suppose c = 3*h - 5*h. Is h greater than z?
True
Let m be (-140)/126*(-2)/10*1. Which is smaller: m or 78?
m
Let z = 0.33 - 0.17. Let c = 1.66 - z. Let l = -2.5 + c. Which is smaller: l or -6?
-6
Suppose -6*a = 53 + 811. Is a > -2?
False
Let x = 21 + -37. Let s = x + 21. Suppose 0*b + 18 = -4*f + 3*b, 0 = -f + b - s. Which is smaller: f or -2?
f
Suppose -4*d - d + 4*c - 25 = 0, 0 = -d + c - 6. Let x be (-858)/(-440) + -1 + d. Are x and -1 unequal?
True
Let r be ((-3)/134)/((-9)/(-36) - 0). Let k be 4/(-14) - (-1406)/(-3752). Let i = k + r. Is i bigger than -1?
True
Let j be 1*3*(368/408)/(-23). Let u(h) = -2*h - 4. Let p be u(-3). Let a be p + -2 + 1 + -1. Are a and j equal?
False
Let z = -14 + 95. Which is smaller: z or 82?
z
Let c be (-5 + 147/30)/(5/(-50)). Is 7/16 greater than c?
False
Let o be 2 + (-24)/6 - -11. Which is bigger: 8 or o?
o
Suppose 17 = -5*t - 13. Let o(q) = q**3 - 5*q**2 - 6*q - 7. Let b = 10 - 4. Let v be o(b). Which is smaller: v or t?
v
Let y = -9 + -9. Let r(m) = -11*m - 10. Let q be r(-4). Let g be 27/9 + q/y. Is g less than 0?
False
Let g(r) = -r**3 + 10*r**2 - 10*r + 16. Let y be g(6). Which is greater: 96 or y?
y
Let o = 29 + -19. Suppose -2*u = 3*u - o. Is 3 < u?
False
Let i = 0.16 + 0.4. Let j = 0.31 - i. Is j >= -1/3?
True
Suppose -6*x = -x + 5. Let f = 29 - 15. Let a(z) = 5*z - 57. Let d be a(f). Which is smaller: x or d?
x
Let q = 55 + -54.6. Is -50 at most as big as q?
True
Let f = 96/7 - 27/2. Let l = -0.15 - 0.05. Which is smaller: f or l?
l
Let c(r) = 3*r - 18. Let u be c(8). Suppose 56 = 10*i - u*i. Which is greater: -1 or i?
i
Let t = -26.46 - -15.75. Let y = 0.29 - t. Which is bigger: y or 2?
y
Let w = 2/1533 - 2897/1022. Is -3 != w?
True
Let u(d) = -d**2 + 15*d + 8. Let v be u(15). Suppose 0 = -11*x + v*x - 24. Which is smaller: x or -6?
x
Suppose 3*a - 3 = 4*c, -2*c + 4*a - 3 - 1 = 0. Do -1/37 and c have the same value?
False
Let r = -1648 + 64264/39. Are 0 and r equal?
False
Let t be -1*2 + (34 - -1). Let m = -868 - -872. Let d be (-16)/t - m/22. Which is smaller: d or 1/5?
d
Let t be (-2 + 1615)/(24/9 - 3). Let o = t + 19451/4. Which is smaller: o or 23?
23
Let o be (-32)/(-1320)*(-4)/(24/15). Let x(l) = l**3 - 2*l**2 + 2*l - 3. Let u be x(2). Which is smaller: u or o?
o
Let s(l) = -l**3 + 2*l**2 + 4*l. Let z be s(3). Let b(q) = q**3 + 8*q**2 + 10*q + 2. Let p be b(-6). Let n = p - 13. Which is smaller: z or n?
n
Suppose b - 3 = 0, s + 2*b + 53 = 7*b. Let m = s + 77/2. Is m at least -1?
True
Let g be (-3)/2*(-17 - 20). Let h = -56 + g. Is h less than or equal to 0?
True
Suppose 2*d = -5*i - 48, -3*d + 52 = -5*d - 3*i. Let a = d + 30. Which is greater: 12/11 or a?
12/11
Let b = 13 + -19. Let p = 1.4 + -8.2. Let a = -7 - p. Is b at most as big as a?
True
Let k = 4 - 3. Let y(p) = 2*p + 4. Let i be y(-10). Let l be (6 + 4)*(-2)/i. Which is smaller: l or k?
k
Let r(x) = -x**3 + 9*x**2 - x + 11. Let a be r(9). Let j be (9/(-5))/((-108)/(-45) + -3). Which is greater: j or a?
j
Let r be ((-5)/15)/((-3)/36). Suppose 5*c + 39 = 4*k - k, -r*c - 4*k = 12. Let z be c/7*(-1)/2. Which is greater: -1 or z?
z
Let s = 12.3 + 1.7. Let c = s + 10. Let j = c - 22. Is 0 > j?
False
Let t(j) = -j - 7. Let n be t(-2). Let v be 6/(18/n)*-3. Is 6 bigger than v?
True
Let k = -61 - -182/3. Let h(w) = -5*w + 1. Let i be h(1). Let j be 2/(-3) - i/(-12). Is k smaller than j?
False
Let m be 6 + 20/(-2 - 3). Suppose m*g - 3 = 19. Is g at least 11?
True
Suppose 34*h - 7*h = 11583. Which is smaller: h or 1285/3?
1285/3
Let a(m) = -m**2 + 9*m + 17. Let k be a(9). Suppose -3*b - 53 = -k. Is b less than or equal to -8?
True
Let x = -8 - -23/3. Let f = 9 + -9.4. Which is smaller: x or f?
f
Suppose 0 = 4*u - 7 - 121. Suppose 5*i - 4*y = -7*y + u, 0 = 2*y + 2. Is i at least as big as 1?
True
Let r = -15.7 + 15.773. Let u = -0.373 + r. Are u and -4 equal?
False
Let g(z) = 4*z + 1. Let j be g(-1). Let t be 0 - -14 - j/(-3). Is 14 less than t?
False
Let u = -0.04 + -0.96. Let v = u - 0. Let d = 7 - 7.06. Is v at most d?
True
Let w(h) = h - 31. Let a be w(12). Let y = -45 - a. Let l = y - -2. Which is greater: -25 or l?
l
Let w = -12.1 - -1.1. Let o = -10.8 - w. Is o smaller than 4?
True
Let y = -167 + 164. Is y at least as big as 10?
False
Let t(x) = x**3 + 10*x**2 - x + 6. Let d be t(-10). Suppose -d = -4*s - 3*g + 7, g = -2*s + 9. Let z be s/33*(-9)/15. Is z less than 1?
True
Let w(v) = -32*v - 24. Let h be w(-3). Let i be h/(-612) - 65/1972*-2. Which is smaller: 0 or i?
i
Let n = 16 + 7. Let l = -26 + n. Is l bigger than -3?
False
Suppose -152 = -5*h - 2. Which is smaller: h or 315/11?
315/11
Suppose -100 = -6*w + 2*w. Let u be ((1/2)/((-28)/168))/((-2)/18). Which is bigger: w or u?
u
Let l be (1 - -1)*(-6)/(-44). Let p = -3/16 - -37/176. Let c = l - p. Is c greater than or equal to 0.1?
True
Suppose 0 = -28*l + 20*l + 48. Is l at most as big as 47/9?
False
Let w = 936/7 + -21514/161. Is w > 9?
False
Suppose -189 + 9 = -15*x. Which is smaller: x or 8?
8
Let i = 8 -