n. Let m be -8 - (h - 1 - 0). Does -4 = m?
False
Let p(i) = -2*i + 3. Let b be p(1). Let j = 18 - 15. Suppose -j = 3*u - 3*x, 4*u - x - 1 + 2 = 0. Do b and u have the same value?
False
Let b = -0.0039 - 0.2961. Which is greater: 4 or b?
4
Let z = 0.1 + -0.2. Let u = 2597 + -7768/3. Which is smaller: u or z?
z
Suppose -11*l - 152 = -163. Let z = -538/3 + 181. Does l = z?
False
Let o be (11/(176/(-168)))/((-6)/16). Is o greater than or equal to 34?
False
Let r = -19492/17 + 2521991/2295. Let h = r + 143/3. Do -1 and h have different values?
True
Let s = -7 - -23. Let x = s + -18. Let c be 11/(-20) - (-2)/(-10). Which is bigger: c or x?
c
Let j be (846/376)/((-1)/(-20)). Is 45 less than j?
False
Let y = -440 + 68202/155. Let h = -191 - -190. Is y >= h?
True
Let k = -56 + 57. Suppose -k = s - 3*q, -5*q = 5*s - 4*s - 31. Is s at most 11?
True
Suppose -5*z - 14 = -3*i - 165, -5*i - 227 = 4*z. Which is bigger: i or 2/5?
2/5
Suppose -32*g = 8*g. Which is smaller: 9/190 or g?
g
Let i be (-1001)/1690 + (-4)/(-10). Let r = 79/130 - i. Which is smaller: 0 or r?
0
Let h = 21 + -23.3. Let k = -2.2 - h. Let t = -4 - -4.13. Which is bigger: k or t?
t
Let d = 89 + -96. Let j be (-2 - (-36)/15)*5. Let f(i) = -3*i - 1. Let b be f(j). Is d > b?
False
Suppose l = 3*z + 403, -4*l - z + 34 = -1539. Which is smaller: 395 or l?
l
Suppose 0 = -2*v - z + 85 - 14, 2*v + 2*z = 70. Suppose 2*o = -11*s + 6*s - 168, s + v = -o. Is s smaller than -30?
True
Let k be 0 + 1 - 21/28. Let q = 637 + -637.2. Are k and q nonequal?
True
Let l = 73 + -69. Let x be -8*(-3)/(-2)*l/3. Is x less than or equal to 0?
True
Let o(y) = -y + 5. Let p be o(-6). Suppose -5*q - 14 = 11, 4*w + 2*q - 26 = 0. Let a(d) = 7*d - 51. Let s be a(w). Is p less than or equal to s?
True
Suppose 0 = -4*m - 4 + 36. Let w = 7 - m. Let j = -37/288 + -3/32. Is j at least w?
True
Suppose 2*f - 13 - 7 = 0. Let x be ((-4)/(-25))/(f/(-50)). Which is smaller: 0 or x?
x
Let n be (-24)/(-20) - 4/20. Suppose 0 = -0*q + q + n. Which is greater: 2/101 or q?
2/101
Let l(t) = -t**2 - t. Let d be l(0). Suppose 2*p + p - 6 = d. Suppose -p*i + 10 = v - 32, -5*v - 105 = -5*i. Is i bigger than 22?
False
Let u = -0.17 - -0.04. Let v = 195.838 - 196. Let m = v + 0.162. Which is greater: m or u?
m
Let h = -6 - -7. Let g = h - 1.1. Let x = -23/38 + 2/19. Which is smaller: x or g?
x
Let s = 263 - 262.445. Let h = -0.055 + s. Which is bigger: -1 or h?
h
Let y(v) be the second derivative of -v**4/12 - 2*v**3/3 + 7*v**2/2 + 19*v. Let d be y(-6). Is 1 > d?
True
Suppose 12 = i + 5*z, 11 = 2*i - 6*z + 3*z. Let u = -0.1 - -0.2. Let r = 0.1 + u. Is i greater than or equal to r?
True
Let k(u) = u**2 - u + 2. Let r be k(2). Suppose 0*i - 2*l = -r*i - 34, -3*i = -5*l + 36. Let f be i/9 + (-4)/18. Is f greater than -3/10?
False
Let d = -0.048 + 28.048. Let v = 28.26 - d. Let m = -0.36 + v. Is -0.4 at most as big as m?
True
Suppose 2*h - 5329 = -5151. Is 91 > h?
True
Let g = 677/4 + -169. Let o = 1 + 0. Is g at least o?
False
Let u = -2001 - -2767. Is 765 <= u?
True
Let a be ((-6)/(-9))/(200/(-20820)). Which is smaller: a or -69?
a
Let m(o) = -o**2 + 8*o - 1. Let v be m(8). Is -24/25 <= v?
False
Let v = 10 - 5. Suppose v*h - 6*h = i + 1, -5*h = -3*i - 3. Is -1/17 at least i?
True
Let b = -6632 - -1644775/248. Let u = b - 1/8. Are 0 and u unequal?
True
Let l(b) = -b**2 + 5*b + 14. Let g be l(7). Suppose -3*o + 4*o = g. Suppose 4*t + 4 = -o. Is -3 <= t?
True
Suppose 5*u = -5*j, -2*j - 2 = 3*u - 4. Let g(a) = 3*a - 5*a + a**u + 6 + 7*a. Let i be g(-4). Which is greater: i or -1/5?
i
Suppose 0*w = -2*w. Let p be (-52)/16 - (-3)/(-4). Let f = p + w. Which is bigger: f or -5?
f
Let p be 5 - (275/66 + -2). Let s be (-1)/(-5) + (-36)/(-20). Which is smaller: p or s?
s
Let p be -1*3 + 3 + -3. Let j be (0*p/(-12))/(-2). Suppose q + 3*q - 32 = j. Which is greater: q or -0.1?
q
Let u = -42 - -43. Suppose -q = -8 + u. Is q less than 13?
True
Suppose -9*p - 112 = -121. Which is smaller: 22/41 or p?
22/41
Let t be -2*(-2)/4*1. Let s = -54 + 64. Suppose -7*i + 11 = -s. Which is smaller: i or t?
t
Suppose 5 = 4*q - 6*q + 3*b, -10 = 3*q - 5*b. Let u = -2 + 7. Suppose -u = -q*d + 5. Is d smaller than 15/8?
False
Let y = 23 + -20. Suppose 2*n = -5*b + 26, -b - n = -y*n - 10. Suppose 12 = -2*o - 5*g, -3*o - 2*g + b*g = -5. Is o greater than -3?
True
Let n = -14.5544 + -0.1756. Let l = 443 - 458. Let y = l - n. Which is smaller: y or 1?
y
Let v = -39 - -42.4. Let x = v - 3.8. Which is greater: -1 or x?
x
Let l be 10/(-25) - (-16)/90. Let g = 410 - 418. Which is smaller: l or g?
g
Let s(y) = y + 6. Let t be s(-5). Let v = -4929 + 34507/7. Is t greater than v?
True
Let m(b) = b**3 + 7*b**2 + 2*b + 5. Let w be m(-7). Let y be (0/1)/(1 - -1). Suppose -2*f - 41 = 5*k, k + 5*f - 1 = -y. Are k and w nonequal?
False
Let i = -68.091 - -0.091. Let u = i + 68.5. Suppose -2*f + 10 = -0. Is u at least f?
False
Suppose -6 = -2*k, -4*c + 12 = -2*c + 4*k. Suppose 4*a = c, -5*i - 2*a = -26 + 76. Is -10 at most i?
True
Let o = 24 - 23.78. Let d = -0.1 + o. Let g = -1.88 - d. Which is bigger: g or 0.3?
0.3
Let o = -8/249 - 4892/2739. Which is smaller: o or -1?
o
Let s(u) be the second derivative of -u**5/20 - u**4 + 2*u**3/3 + 3*u**2/2 - 38*u. Let z be s(-12). Is -44 greater than z?
True
Let y = -51.48 - -54. Let g = -2.5 + y. Does 2 = g?
False
Suppose -4*n - 2 = -f + 33, -133 = -5*f - n. Let p = f + -28. Let s(t) = -t**2 - 2*t + 3. Let i be s(-3). Are p and i unequal?
True
Let h = 1027 - 1598. Is h smaller than 2/5?
True
Let m be 1 + (-15)/(1/(-1)). Suppose -30 = -17*o + 12*o. Suppose 4*f - 66 = 2*c, -o*f + 2*f = 3*c - 61. Are f and m non-equal?
False
Let n(i) = -i - 8. Let l be n(-6). Let t be -1 + -1 + 10 + l. Let u be (-7)/(-8) - t/8. Which is bigger: u or -0.2?
u
Let v = -161/2 + 79. Let w be (38/6 - 1/3)/(-2). Let s be (-20)/(-45)*w/14. Is v greater than or equal to s?
False
Let b = 578 + -577. Is -3 greater than or equal to b?
False
Let d = 422 + -398. Which is smaller: 127/5 or d?
d
Let f be ((-2)/(-1886))/(13 + (-22 - -12)). Which is greater: -1 or f?
f
Suppose -2*q + 11 = -3*q. Let g be -4 - 10 - (-1 + 1*-1). Is g at most q?
True
Let r = 6 - 9. Suppose -1 = -3*t + 11. Let v be (27/6)/((-12)/t). Is v < r?
False
Let a be (8/(-14))/(10/5285). Is a at most as big as -908/3?
False
Suppose 2*o - 9 = -o. Suppose 0 = -3*c - 4*v - 4 - 11, 14 = c - 5*v. Is o equal to c?
False
Let v = -72 + 212. Which is smaller: -0.2 or v?
-0.2
Let a be 7/(-2)*(-14)/(-294). Which is greater: 38 or a?
38
Let n(s) = 1. Let f(m) = m**2 + 13*m - 16. Let j(b) = f(b) + 5*n(b). Let w be j(-14). Let z = -17 + 86/5. Is z smaller than w?
True
Let c be 9 + 0 + 997142/(-110770). Which is smaller: 1 or c?
c
Suppose 5 = -2*r + 1. Let h(j) = 3*j**2 + 1. Let o be h(r). Let u = 15 - o. Is u < 2?
False
Suppose 5*p - 23 = 22. Let h be 2/p + (-1)/(-9). Is h less than 37?
True
Suppose 0 = -10*g + 9 + 11. Is g <= -9?
False
Let f = -0.2 - -0.2. Let n = -778/9 + 86. Do f and n have different values?
True
Let i be (15837/2282)/(3180/(-42)). Let s = -45/652 - i. Let q = s + -324/265. Which is bigger: 1 or q?
1
Suppose 0*z - 7 = z + 3*m, 0 = 5*z - 3*m - 19. Suppose z = -i - i. Is i at least as big as -2/31?
False
Let v be (1 + (-8)/1)*(-5)/35. Is -1/1013 at least as big as v?
False
Let z = -2158/7 - -308. Which is greater: -20.3 or z?
z
Suppose -2*s = -6*z + z + 3, -s + 3 = 2*z. Let j = s - 16. Let y be 27/j + (1 - 0). Which is smaller: 0 or y?
y
Suppose 4*a - 3 = -d, 3*d + 25 = -0*a + 5*a. Let s(o) = o**2 + 4*o - 3. Let i be s(d). Let b be (-6)/3*i/4. Which is smaller: b or -1/8?
b
Let z be ((-4)/(-6))/((-3)/207). Let d = 985 + -1032. Which is smaller: z or d?
d
Suppose 3*v + 2*a = -269, 4*v - 9*v - 5*a = 440. Is v at least as big as -93?
True
Let d(l) = -l**2 - l + 1. Let z be d(-2). Let s(f) = -f**2 - 2*f + 4. Let u be s(-3). Let v be (z + (1 - 3))/u. Is 1 bigger than v?
True
Let j = -33 - -29. Which is greater: 11 or j?
11
Let c = 177 + -2833/16. Let k be ((-2)/3)/((-36)/(-810))*-5. Let p = k - 75. Is p greater than or equal to c?
True
Let t(g) = -g**3 + 2*g**2. Let v be t(2). Let f be (v/(2 - 0))/2. Is 3 greater than or equal to f?
True
Let o(k) = 2*k + 1. Suppose 0 = 4*w + 4, -3*w - 4 = -n - 0*n. Let q be o(n). Let z = q