+ 2. Let w be g(-2). Let l = w - -11. Are -2/5 and l equal?
False
Let s = 37 + -34. Which is smaller: s or -8?
-8
Let h(g) = g - 1. Suppose 4*i + 0*i - 8 = 0. Let q be h(i). Is 1/2 at most q?
True
Let x = 183/7 + -25. Do x and 1 have different values?
True
Let n = 10 - 5. Suppose 4*c - 17 = -n*v, 10 = -4*v + 5*c - 1. Let q = 3 - 3.4. Which is smaller: v or q?
q
Suppose -g - 2*z - 7 = 2*g, g + 3 = -z. Let i = 158 - 478/3. Which is greater: g or i?
g
Let c(z) be the second derivative of -z**5/60 - 5*z**4/24 - 5*z**3/6 + z**2/2 - 3*z. Let v(n) be the first derivative of c(n). Let g be v(-4). Is -2 != g?
True
Suppose -3 = w - 5, 3*w = -3*g. Let c = g - -2. Let u be -1*(-5 + 2)/(-3). Which is greater: c or u?
c
Let c be ((-6)/1)/(-3 - -1). Suppose -43 + c = 4*l. Which is smaller: l or -9?
l
Suppose t + 0*t + 4*h = 21, -2*h = -10. Suppose -16 = -5*v + 19. Let c be (4/8)/(v/(-2)). Which is greater: t or c?
t
Let f = 0.3 + 0.7. Let c = 11 + -3. Let i = 6 - c. Which is smaller: f or i?
i
Let i(g) = g - 13. Let r be i(13). Let y be r/(3 + -3 - 2). Are 1/20 and y non-equal?
True
Let s(i) = i**2 - i - 3. Let k be s(0). Let f(p) = p + 6. Let g be f(-9). Is k less than or equal to g?
True
Let z = -8.87 - -2.87. Let j = 628/7 + -90. Is z greater than or equal to j?
False
Let s = 25 - 15. Let i be (9/15)/(2/s). Suppose 2*o + 4*a = -0*o - 10, 3*o + 11 = -5*a. Is i != o?
False
Let l be 3/(-3)*-2 + (2 - -4). Is 9 less than or equal to l?
False
Let r(i) = i**2 - 11*i - 13. Let l be r(12). Which is greater: l or 6?
6
Suppose 0*i = i. Which is greater: i or -1/40?
i
Let u(g) = -14*g**2 - g - 1. Let p be u(-1). Let j be 1/(3/(-678)*p). Let h = -16 + j. Is -0.1 greater than h?
False
Let b = -3/151 + -263/1963. Is b smaller than -1?
False
Let t(m) = 9*m + 55. Let g be t(-6). Let u be (-2)/(-318 - -2)*2. Let o = 82/237 - u. Is g at most as big as o?
False
Let n = -76 - -53. Let w = n - -23.4. Is w bigger than -2?
True
Suppose 0 = -d - 45. Is d less than or equal to -45?
True
Let q(i) = 4*i**2 - i + 1. Let w be q(1). Suppose w = -3*o + 1. Which is smaller: o or -2/7?
o
Let w be 314/810 - 4/10. Which is bigger: -2 or w?
w
Let w(o) = -o**2 - o + 1. Let q be w(-2). Let v = -8 - -7.1. Let l = -1 - v. Are q and l nonequal?
True
Let t be ((-8)/(-10))/((-4)/(-10)). Let r be t + ((-4)/2 - 2). Is r <= -3?
False
Let m be (-2)/4 - (12/8 + 0). Which is greater: m or -3?
m
Let o = -1 + 0. Let q be -1 + o/((-1)/6). Suppose -v = 3*a - 5, -3*a - 5 = v - q*v. Which is greater: a or 2?
2
Let s = 0.204 + -1.194. Let i = 0.01 - s. Let m = -2 + i. Which is smaller: -1/3 or m?
m
Suppose -14 = 5*q + 36. Is q bigger than -10?
False
Suppose -l - 2*l = 0. Suppose -2*r = -2*h + r - 11, l = 5*h - 5*r + 15. Is h < 0?
False
Let f be ((-2)/14)/(2 - 3). Let u(h) = 4*h - 64. Let x be u(16). Is f at least x?
True
Let m = 6 - 5. Are 2 and m equal?
False
Let f = 2118254847/10042522 + -2/717323. Let d = f - 211. Which is greater: d or 0?
0
Let j = 15 - 27. Let w be ((-2)/j)/(7/21). Is 2 greater than w?
True
Let f = -2.11 - -305.11. Let u = f + -297.92. Let x = u + -0.08. Do 1 and x have the same value?
False
Let g be 6/(-4) + 1*(-3)/(-2). Is g at most as big as 9/20?
True
Let u = 72 - 32. Is u at least 39?
True
Suppose -5*r = 10 + 5. Let y be 1 - 0 - (r + 1). Which is smaller: y or 2?
2
Let q = 7 + -6.6. Let y = q + 0.6. Is -3 greater than y?
False
Let g = 19/48 + -11/24. Which is bigger: 0 or g?
0
Let o = 6 - 8. Which is smaller: o or 6?
o
Suppose 4*w + 5*h + 4 = 0, 0 - 24 = -3*w + 3*h. Suppose w*u = 16, 2*t + 4 + 0 = 4*u. Is 0 greater than t?
False
Let a be -12*(3/(-3))/2. Let m(w) = -w**2 - 7*w + 3. Let f be m(-7). Let j = f - a. Are -3 and j nonequal?
False
Let y = 5 + 1. Let k = y - 8. Let w = -1.9 - k. Which is bigger: 0.2 or w?
0.2
Let m(u) = -3*u - 2. Let t be m(-1). Is t not equal to -3/29?
True
Suppose j - 2*j = -1. Let x be 2 + 4 + 6564/(-44). Let k = 143 + x. Is k less than j?
True
Let u(a) = -52*a**2 + a - 1. Let l be u(1). Let d be l/(-17) + -9 + 6. Which is bigger: d or 0?
d
Let x be (-2)/3 - (-10)/6. Let y(i) = -i - 6. Let v be y(-6). Suppose v*k = -k - x. Are 0 and k equal?
False
Suppose 2 = 5*n - 2*f, 4*f + 0 = 4*n + 8. Suppose -2*c - 3*i + 0*i - 17 = 0, 2*c + n*i + 12 = 0. Is c greater than 3/7?
False
Let u be (1 + 0)*(-1)/2. Suppose -3 = -5*d + 7. Suppose -5*t + d = -3, -m = 3*t - 2. Is m != u?
True
Suppose -k = -2*k - 1. Let f = 27.11 - 27. Let d = f - 0.06. Is d equal to k?
False
Let r = -83 - -82.4. Let l(u) = -u**3 - u**2 - u - 1. Let t be l(-1). Does t = r?
False
Suppose 5*y - 18 = -2*v, -3*y + 0*v - 5*v = -26. Is -1 at least y?
False
Let k be 10/(-4)*176/(-40). Suppose 0 = 3*y - 8 + k. Which is smaller: y or -3?
-3
Let f be 13/(-2)*(-1 - -3). Is -14 at most f?
True
Let o = 92879086/407 - 228204. Let x = o + -12/37. Is x less than -1/3?
False
Let g = -1657/12 + 138. Let m = g + -1/4. Suppose 3*a + a - 16 = 4*x, 4*a = 3*x + 13. Are a and m unequal?
True
Suppose -3*d + 5 + 1 = -3*p, p = -5*d + 16. Let y be 39/(-42)*-2 - 1. Is y smaller than p?
True
Suppose 4*y + 1 = 5. Suppose 5*t - y + 16 = 4*c, 4*t + 6 = 2*c. Which is smaller: 3 or c?
3
Suppose 4*c - 31 = 5*j, -6*j - 21 = -3*j - 3*c. Let f be j/(-9) + (-104)/6. Is -17 at most f?
True
Let m = -0.1 + 5.1. Let i = 4 - m. Is i at least -0.19?
False
Suppose -2*m = 2*m - 12. Let t = -3.5 - -3. Let o = 0.5 - t. Which is smaller: m or o?
o
Let p(i) = i**3 + i**2 + 5. Let t be p(0). Suppose s + 3*s = t*j - 18, -4*s = 4*j. Is j less than or equal to 3/4?
False
Let v be (-46)/69 + (-2)/(-3). Suppose 4*b - p - 8 = 0, p + 3 = 3*b - 2. Suppose 5*s + 0*a + 2*a + 13 = 0, b*s + 23 = -5*a. Which is smaller: s or v?
s
Suppose 3*a - 4*h - 20 = 0, 2*a - 5 = 2*h + 5. Are a and -4 equal?
False
Suppose -9*b - 90 = 162. Is -30 < b?
True
Let m be 1*6/15 - 2/80. Is m less than 0?
False
Let a be (-5)/10 - 1/(2/(-21)). Do a and 9 have the same value?
False
Let o be 5/(-13 + 3)*0/2. Which is smaller: o or 10/7?
o
Let q be (-1)/(-3) - 40/60. Suppose 8*a - 3*a + 20 = 5*l, 2*a - 4*l = -18. Is q equal to a?
False
Let j be (-5)/((-15)/(-6))*(-6)/4. Suppose -2*k + 7 = g, 2*k - 2*g + 11 - 3 = 0. Is j greater than or equal to k?
True
Let v be 1 - 0 - (1 + -2). Suppose 3*o = 1 + v. Which is bigger: o or -2?
o
Let x be (-4)/(-14) - 114/(-42). Let j(w) = -w**2 - 5*w - 1. Let a(f) = -f - 4. Let v be a(0). Let o be j(v). Are o and x unequal?
False
Suppose 4*n + 8 = 2*n. Let o be 0*3/(1 + n). Let q = -151/3 + 51. Is o at most as big as q?
True
Let b(y) = -y + 11. Let a be b(10). Let l be (-1)/a*(-7)/(-14). Are -1 and l non-equal?
True
Let k(u) = -u**2 - 3*u + 1. Let s be k(-3). Let n be (-9)/6*(-4)/6. Are n and s equal?
True
Let z = 1 + -1. Let r = -212 - -9117/43. Let o = 40/129 + r. Which is bigger: o or z?
o
Suppose -j = 2*j - 3. Let m = -553/3 - -186. Which is bigger: j or m?
m
Let z = 0 - -2. Suppose -d - z = -5*c + 4, -1 = d. Let n be (c - 0)*(-3)/18. Which is bigger: n or 1?
1
Let i = 3 - 2. Let u be 3 + -3 + -1 + i. Let d be (2/6)/((-2)/6). Which is smaller: d or u?
d
Suppose 4*v - 20 = y - 5, -5*v - y = -12. Suppose -5*i = -4*s - 2 - 1, 0 = s - 5*i - v. Let x be (15/6 + -2)*s. Are -1 and x non-equal?
False
Let l be (3 + -5)*2/(-1). Which is smaller: l or 2?
2
Suppose -3*m + 2*m = -1. Let g be 8/(-6)*m/4. Does -2/3 = g?
False
Let m be (2/(-8))/(204/32 - 2). Are m and 1 equal?
False
Suppose -4*x + 6 + 11 = -h, -h - 1 = 0. Suppose -f + 3 = -4*f, 5*r - 4*f = x. Which is smaller: 1 or r?
r
Let y be ((-3)/(-4))/(2*2/(-352)). Which is smaller: -67 or y?
-67
Let w = 11.2 - 11. Let o(q) = -q**3 - 7*q**2 - 6*q + 3. Let r be o(-6). Suppose -5*x = -r*x + 3*k + 9, -2*x - 6 = 2*k. Which is bigger: x or w?
w
Let s(v) be the second derivative of v**3/6 + v**2/2 - 5*v. Let t be s(-2). Let g = 45 - 494/11. Is t at least as big as g?
False
Let d(c) = -c**2 - 2*c - 1. Let a be d(-2). Let i be (-2)/1*1/2. Is a less than i?
False
Let h = 2 + -1. Let n = 0.8 - h. Let l = -0.1 - -0.2. Is l less than or equal to n?
False
Let x = 15 - 8. Let n = -3 + x. Let l be n/(-18) - 26/126. Which is smaller: l or -1?
-1
Let c = 0.107 + -0.407. Which is smaller: 22 or c?
c
Suppose 0 = -5*k + h + 2*h - 14, -h = -k - 2. Suppose -2*i + 0*q - 5*q = -1, -5*i - 32 = q. Which is smaller: k or i?
i
Let n =