 = -m - 4*d - 2. Let i(u) = u**2 - 1. Let c be i(m). Let f be (3/6)/c*0. Are 0 and f equal?
True
Let x = -12277/31 + 396. Is x greater than or equal to -1?
True
Let c be ((-3)/4)/(2/(-8)). Suppose 90 = 30*l - 12*l. Which is bigger: l or c?
l
Let o be -5 + (0 - (-6)/2). Let w(r) = -6*r**2 - 6*r - 2. Let y be w(o). Which is smaller: -13 or y?
y
Let a = -2 - -4. Let s be 1 - 1/((-7)/(-5)). Is a less than s?
False
Let g be 15/17 - 2/(-17). Let q = 1 + -1. Suppose -3*f = -q*n + 4*n - 8, -2*f = 2*n - 4. Is f greater than g?
False
Let b = -2546 - -43296/17. Which is smaller: 1 or b?
b
Let v = -21979648 - -1318811269/60. Let b = -2155/4 + v. Let l = b + -12/5. Does l = -2?
False
Let t = -41 - -38. Let y = 2.1 + 0.7. Let v = t + y. Is -2/13 > v?
True
Let w = 0.05 - -1.95. Let y = -4 + w. Is y bigger than 0.3?
False
Let g = 26 - 26. Which is bigger: 1 or g?
1
Let o be (-3 + (-64)/(-20))*1. Let r = -1.2 - -0.2. Is o >= r?
True
Let n be (-16)/(-15) + (-4)/6. Is n < 6.6?
True
Suppose -a + 17 = 3*d + 5, -8 = -2*d. Which is smaller: 2/3 or a?
a
Let x = -5.44 - -1.04. Is x != 2/3?
True
Let z be 5/(-2)*4/(-6). Suppose 45*i - 52*i + 7 = 0. Which is bigger: z or i?
z
Suppose p + 11 = 3*x + 1, -3*x = -15. Suppose 0 = -4*v - p*l + 18, 4*v + l + l = 12. Let f be (3 - v) + (-1 - -3). Is f less than 2?
False
Let v(g) = -2*g - 6. Let p be v(-4). Which is smaller: 16 or p?
p
Suppose -4*t + 5 = -0*t + 5*i, -2*i = -5*t + 31. Suppose t*y - 25 = 3*v, 4*v + 4*y = -0*v + 20. Let p be (12/(-9))/(92/(-6)). Is p < v?
False
Let d(b) = 2*b - 1. Let y be d(-4). Let x = -6 - y. Let t = 0 - x. Are t and -4 non-equal?
True
Let g(s) = -2*s**3 - 5*s**2 + 3*s + 6. Let r(d) = -3*d**3 - 10*d**2 + 5*d + 11. Let h(k) = -5*g(k) + 3*r(k). Let x be h(5). Does x = 3?
True
Let v = 13 - 8. Suppose -28 = x + v*j, -2*x = -3*x - 3*j - 18. Is -2 at least as big as x?
True
Let i = -5 + -1. Are i and -7 nonequal?
True
Let q(s) = -s. Let h be q(-1). Suppose -3*p = -v - v - 17, 2*v + 8 = 0. Let r = p + -1. Is r > h?
True
Let c be 1 + 0/(1 + 2). Let d(w) = 15*w + 1. Let q be d(1). Let n be (2/(-16))/(12/q). Is n less than c?
True
Suppose -15*t + 3 = -12*t. Which is smaller: 0 or t?
0
Let q = 0.7 + -0.3. Let h = q + 0.2. Let w = -1.4 - h. Which is smaller: -1 or w?
w
Let y = -4 + 7. Suppose -4*p = -y*p. Suppose -c = -p*c. Is 0 greater than c?
False
Suppose 0 = -w - 3*p - 9, 0 = 2*w - w - 3*p - 9. Suppose -4*l + 190 = 2*a, -a - l + 99 = -0*l. Let i = a - 723/7. Which is bigger: w or i?
w
Let c be 2/(-15)*(-30)/6. Which is smaller: c or -5?
-5
Suppose 3*u - 5*u - 4*i - 22 = 0, 7 = 3*u - 2*i. Let s be 54/(-12) - (u - 1). Let q = -4 - s. Which is smaller: q or -3?
-3
Suppose -4*z = -2*z. Which is bigger: 1/16 or z?
1/16
Suppose 0 = -3*v + 7*v + 40. Let u be (-4)/v - 16/(-60). Which is smaller: 1 or u?
u
Let w = 5 + -6. Is w <= 1?
True
Let h be -2 + 0 - (8 - 9). Is 9 greater than h?
True
Let z(o) = 8*o**2 + 2*o + 4. Let f be z(-3). Let k be (4/f)/((-2)/10). Is k equal to 1?
False
Let q be -3 + (-2)/(10/(-25)). Suppose 0 = 2*y - y. Suppose -5*t - 5 = y, -5*n + 4*t = -2*n - 7. Which is greater: n or q?
q
Let n = 4 + -5. Is -2/7 < n?
False
Let r be (((-245)/15)/7)/((-1)/15). Does r = 35?
True
Let n be (2 - 3)*3/(-1). Suppose n*i + 20 - 52 = -4*d, -d - 4*i = -21. Suppose -4*m + q - 5 = 12, m = d*q - 28. Is 0 < m?
False
Let i(x) = -3*x + 6. Let s be i(5). Let m be ((-210)/(-112))/((-1)/4). Is s less than m?
True
Suppose 6*n = 9 - 3. Is n greater than or equal to 43?
False
Let a = -1.8 + 2. Let b = 41 + -44.8. Let o = b + 4. Is o less than or equal to a?
True
Suppose -3*x - 2*s - 8 = x, s = 0. Let k(y) = -y - 1 - y + 3 + 6. Let a be k(6). Which is bigger: a or x?
x
Let w(u) = u**3 + 11*u**2 + 10*u + 9. Let v be w(-10). Let p(q) = 0*q + q**3 - 10*q**2 - 1 + 7*q + 2*q. Let k be p(v). Does -0.1 = k?
False
Let r be (-6)/(-10) - (-9)/15. Which is smaller: 2 or r?
r
Let a = 276 - 268. Let b(j) = 8*j**2 - j. Let d be b(-1). Is d < a?
False
Let f(y) = 3*y + 0 + 2 - 4*y. Let p be f(2). Which is smaller: 0.12 or p?
p
Let n = -125/16 + 5/16. Is n >= -8?
True
Let o = -5/42 - -53/42. Which is bigger: o or 2?
2
Let k = -11 + 15. Suppose -k*l = -0*l - 40. Suppose 0 = 2*b + 2*t + l, -3*b - 25 = -8*b + 5*t. Which is bigger: 1/5 or b?
1/5
Let r be (-15)/10*(5/3 + 1). Which is greater: -8/3 or r?
-8/3
Let m be (24/10)/(1/(-5)). Let r be ((-1)/(-4))/(9/m). Is -1 greater than r?
False
Let n = -83.1 - -77. Let s = n + 6. Is s > 0.05?
False
Suppose 0 = t - 5*t - 2*u, u = -2. Suppose -5*o + 20 = 5*n, 2*n = -o - 2*o + 6. Let l be 2/3 + n/(-9). Is t at least as big as l?
True
Suppose 5*v = 5*s, 6*s = 3*s + 6. Suppose 0 = -l - n - 1, -2*n - 2*n - v = 2*l. Let r be 2 + (1 - l/(-1)). Are 2 and r non-equal?
False
Let k = 50 + -47.9. Let g = 1 - -1. Let v = k - g. Which is bigger: -2/3 or v?
v
Let s(b) = -b + 5. Let w be s(-7). Let u be (3/2)/(w/(-128)). Let q = 11 + u. Is -6 <= q?
True
Let m(a) = a**3 - 11*a**2 - a + 9. Let n be m(11). Let r be (-3 - (2 + n)) + 2. Which is bigger: r or -5/6?
-5/6
Let j = 169 - 339. Let l be (-2)/5 + (-88)/j. Which is greater: l or -1?
l
Let b = 3.9 - 2. Let n = -1.99 + -0.01. Let l = n + b. Which is greater: l or -3?
l
Let v(i) = i + 1. Let l(z) = 3*z + 3. Let g(r) = -l(r) + 4*v(r). Let h be g(3). Suppose -x + 2*p = -h*x + 25, 3*x = -5*p + 40. Is x greater than or equal to 4?
True
Suppose -5*g = -460 + 10. Let a be 2/6 - g/27. Suppose 0 = h - 2*w + 12, w = -1 + 6. Which is smaller: a or h?
a
Let b = 14 - 13.97. Is b >= 2/7?
False
Let d(j) = j**3 - 8*j**2 + 6*j + 5. Let w be d(7). Let n be (2 + -5)*w/(-14). Is n <= 3?
True
Let n = -2 + -4. Let c(s) = s**2 + 6*s - 2. Let x be c(n). Let k be (-1)/(-4)*-3 - 0. Which is smaller: x or k?
x
Let b = 13742/341 - 444/11. Let u be 28/6 + 16/(-24). Suppose u*p - 2*p + 2 = 0. Is b smaller than p?
False
Let y be (-12)/(-5)*30/4. Let q = y + -15. Suppose -2*t + 6 = -0. Is t at least as big as q?
True
Let f = -1 - 15. Is -16 not equal to f?
False
Let r(i) = i**3 + 4*i**2 - 2*i - 7. Let q be r(-4). Is q < 2/63?
False
Let s = -4.1 - -4. Let h = s - 4.9. Is 2/3 < h?
False
Let k = 22 - 31. Let q(o) = o**2 + o - 1. Let x be q(1). Is k at least as big as x?
False
Let f = -23 + 23. Which is greater: f or -9/11?
f
Let u(n) = -n**2 - 9*n - 8. Let x be u(-8). Is -2/29 at most x?
True
Let r be 1 - (-1)/2*-8. Which is smaller: -7/3 or r?
r
Let g = 118 - 350/3. Which is greater: -1/5 or g?
g
Suppose -4*x - 5*w + 145 = 0, 101 = 3*x - 2*w - 2*w. Let h = x - 106/3. Which is bigger: -1/4 or h?
-1/4
Suppose -2*o - 2 + 0 = 0. Suppose 0 = -4*j - 2*z - 2, -2*z = -3*j + 16. Let s be j/11*(1 - 2). Which is greater: o or s?
s
Let k = 1619866 + -124731984/77. Let b = 442/11 + k. Let i = 346/35 - b. Are -1 and i unequal?
True
Suppose 5*m - 11 = -i, -i + 3 + 7 = 4*m. Is i greater than 4?
True
Suppose -6*i = 31 - 1. Is -6 at least as big as i?
False
Let n be 0*(-24)/32*2/3. Is n <= -0.04?
False
Let n be 24/7 + (-2 - -3). Let b = n + -355/77. Is b at most as big as 0.1?
True
Suppose -f + 4*n + 231 = 0, -5*f + 663 = 2*n - 580. Let l = f - 2225/9. Does l = -1?
False
Let i = 174 - 154. Is 22 != i?
True
Let z(p) = p**2 + 4. Let j be z(0). Suppose -8 = -5*g - 4*o, -j*o = -5*g - 11 + 3. Do g and -2/31 have the same value?
False
Let u be (-2)/(-6) - 2/6. Suppose -3*f = -o - 347, -3*f + 4*o - 2*o + 349 = u. Let c = 463/4 - f. Is 0 >= c?
False
Let o be (-188)/(-520) + 10/(-25). Which is bigger: o or 1?
1
Let x(b) = -b**3 + 7*b**2 + 1. Let v be x(7). Suppose 4 = -0*t - t. Let l be ((-20)/285)/(t/6). Which is greater: l or v?
v
Let w be (-1)/3 - 11/3. Which is bigger: -13/4 or w?
-13/4
Let g(q) be the third derivative of q**5/60 - q**4/24 + q**3/6 + 2*q**2. Let f be g(0). Which is greater: -2/15 or f?
f
Let b = -13 - -17. Let f(k) = 4*k - 14. Let m be f(b). Is 1 smaller than m?
True
Let t = 0.06 - -0.14. Is t != -7?
True
Suppose 6 = -3*y - 0. Let s = 364/5 - 74. Which is bigger: y or s?
s
Let a = -0.9 - -1.2. Is a greater than or equal to -0.1?
True
Let j = -0.03 + 1.03. Let o = j - 0. Suppose -5 - 1 = 2*c. Which is smaller: c or o?
c
Suppose 5 = 3*u - 1. Suppose -3*d = u*d + 15. Is d at least -3?
True
Let r(q) = q**3 + 2*q**2 - 3*q - 3. Let l be r(-2). Suppose 0 = 3*n + l + 3. Let y be (-24)/11 + n/(-1). Is -2 g