 2. Let k be (-4)/(-18) - (-120)/(-54). Let h be x(k). Suppose 4*p = -4*n + h, 3*n - 5*p + 3*p = 8. Is 2 at least as big as n?
False
Let b = 9 - -3. Which is smaller: 13 or b?
b
Let j = -16 + 10. Let m = 5.9 + j. Is m greater than or equal to 0?
False
Suppose 0 = -5*h + 2*m + 10, 2*h = 3*m + 3 + 1. Suppose 2*b - 14 = 3*d - d, -h*b + 24 = -4*d. Let v be -1 + 1 - d/(-30). Which is smaller: v or -1?
-1
Let v = -0.25 + -0.05. Let j = 8 - 5. Let k = j + -3. Which is greater: k or v?
k
Suppose -2*k - 2*g = -6*g - 12, 3*k + 5*g = -15. Suppose -4*p - 2*u = -88, 5*p + 2*u - 146 + 34 = k. Let v be 16/p + 2/6. Which is bigger: v or 2?
2
Let d = -31/18 + 3/2. Let a be ((-9)/(-6))/((-2)/(-4)). Suppose 0 = -4*f + 2*q + 6, a*f - f + 3 = -q. Is f <= d?
False
Let z be 10/(-4)*8/170. Let h = 37 + -37. Which is smaller: h or z?
z
Let d(k) = -k**3 + 2*k**2 + 4*k - 3. Let p be d(3). Let i = -227 + 110. Let f be (6/i)/((-4)/(-12)). Is p at most as big as f?
False
Let z = 17 - 27. Let x be z/(-15)*(-18)/40. Is 0 < x?
False
Let c be (3 - 3)*(1 + 0). Let i be 7/3 + 2/3. Suppose -i*y = -6 - c. Is 0 less than y?
True
Let a be (1059/12)/(51/8). Let t = 422/17 + a. Let f = t - 39. Which is bigger: 0 or f?
0
Let n be 3*(10/(-18))/(-5). Is n < -5/8?
False
Suppose -5*y + 0*y - 5 = 0. Let r = y - -1. Let q be (-1)/3 - (-38)/78. Which is smaller: q or r?
r
Let g be ((-4)/(-3))/(105/(-45)). Which is smaller: -2 or g?
-2
Let m = -10.8 + 11. Let c = -1 - -1. Let h = c - m. Which is smaller: h or 1?
h
Let f = -0.63 + 0.6. Let b = f - 0.07. Is b <= 5?
True
Let u be 8/6*(-9)/(-6). Suppose u*j = 3*v - 2*j + 11, 4*v + 6 = j. Is v bigger than -6/19?
False
Let l = 2.4 - 12.4. Let k = l + 12. Let y = -1 + 2. Which is bigger: k or y?
k
Suppose h - 3*k = -0*h - 3, -h + 7 = 2*k. Suppose 15 + h = j + 3*b, -4 = -b. Suppose -4*d + j*d - 5*s + 5 = 0, 3*s - 4 = d. Is d less than or equal to 6?
True
Suppose l - 5*k = -4*l + 25, 3*l + 5*k + 17 = 0. Is -14 greater than l?
False
Let g = -6 + 12. Let v = -9 + g. Let y = -5 - v. Are 0.1 and y equal?
False
Let b = 3.48 - -2.36. Let n = b + 0.16. Let q = n + -6.01. Is q less than or equal to -1/3?
False
Suppose -2*h = -5*l, h - 4 = -h + 3*l. Suppose -r = -3*r + 4*n + 20, 4*r + h*n = 27. Suppose -4*f + b - 2*b = 4, -2*b - r = 4*f. Is 1/3 < f?
False
Let c be 3*(1 - (-87)/(-81)). Let w = 3 - 9. Let z = 3 + w. Are c and z nonequal?
True
Suppose -5*v + 8 = 3. Let y(h) = -h**3 + 12*h**2 + 11*h + 28. Let o be y(13). Which is greater: v or o?
o
Suppose 2*n - 8 = 0, 2 = -3*r + 5*r + n. Do 6/11 and r have the same value?
False
Let s(y) be the third derivative of -y**5/60 + y**4/24 + y**3/3 - 2*y**2. Let l be s(-2). Suppose 0 = -2*n + 4, 0*n = -m + n - 5. Which is smaller: l or m?
l
Let u = -5 + 5. Are -4 and u non-equal?
True
Let k = 4.1 + -0.1. Suppose 8*c = 11*c + 6. Which is smaller: c or k?
c
Let b = 0.3 + 0.2. Let v = -7.7 + 7. Let t = b + v. Is -2/9 less than t?
True
Suppose 3*h = 8*h - 5. Suppose 0*o + 3*t - 3 = 3*o, 0 = 2*t - 6. Let q be -2 + 3 - o/2. Which is smaller: h or q?
q
Let i = 275/1808 - -4/113. Is i at least as big as -1?
True
Let t(z) = z**3 + z**2 + 2*z - 3. Suppose 2*m = -y - y - 4, y = -3*m + 2. Let j be t(y). Let v = j - -237/4. Is 2 at most as big as v?
False
Suppose -4*r + r + 30 = 0. Let q be (56/(-12))/(-7) + (-25)/(-3). Do r and q have the same value?
False
Let f = -1.4 - -2. Let r = f + -1.6. Which is smaller: 2/9 or r?
r
Let x = 131/6 + -43/2. Let u(s) = s + 0*s**2 + 5*s**2 - 6*s**2. Let i be u(0). Which is smaller: x or i?
i
Let u = -6.2 - -6. Which is smaller: -2/3 or u?
-2/3
Suppose 3*b = -q - 11, -4*b + 2*b - 2*q = 6. Is b less than -3?
True
Let f be 2/(-5) + 16086/(-2860). Let b = -65/11 - f. Let m = b + -8/13. Which is greater: m or 1?
1
Suppose -5*a - 20 = 20. Let k = -5 - a. Suppose 1 = k*n - 2. Is -2/9 at most n?
True
Let z = -2 + 1. Let u be 0 + z/(-5 - 1). Which is greater: 0 or u?
u
Let p = -2 - -1. Let h be (-3)/(-20)*(-4 + 3). Are h and p equal?
False
Suppose 5*t + 3*r = 23 + 50, r = -5*t + 71. Let j = -13 + t. Which is smaller: j or -1/4?
-1/4
Let y be 16/(-32) - 142/4. Let j = 539/15 + y. Is 0 less than or equal to j?
False
Let z(q) = q**3 + 5*q**2 + 2*q. Let c be z(-4). Let t = 7 - c. Let i be (-1)/(2/4*t). Which is bigger: 3 or i?
3
Suppose -2 = i - 2*i. Suppose 0 = -3*s + 5*x + 9, 4*x + 3 = 3*s - i*s. Suppose -5*a = -2*g - s*g - 15, -3*a = -g - 1. Is a bigger than -1?
False
Suppose -r + 10 = -2*z, -r + 20 = -0*z - 4*z. Let n be 0 + -2 + 4*1. Suppose 1 = 5*t + n*s - 5, 3*t = -3*s. Is r bigger than t?
False
Let h be 4/6 + (-4)/6. Suppose -b = -h*b. Which is bigger: -2/3 or b?
b
Let f be (-39)/(-60) - 2/5. Let g(c) = c**2 - 7*c + 9. Let v be g(5). Which is smaller: v or f?
v
Suppose 16 = 12*g + 4. Are g and -1/15 unequal?
True
Let h be (2*1/(-2))/(4/8). Are h and -2 unequal?
False
Suppose c + 3*c = 12. Let s be (-3 + 1 + c)*0. Let h be 1*1*(-4)/(-26). Do s and h have different values?
True
Let c(q) = -q**2 - 17*q - 2. Let j be c(-15). Is j <= 28?
True
Let b = 10 + -11. Is 1/6 > b?
True
Let d(z) = z**2 - 3*z + 5. Let x be d(4). Let u(v) = v**2 - v + 7. Let i be u(0). Let m = i - x. Which is greater: 0 or m?
0
Let y be 42/3 - (2 + 1). Suppose -4*q = -3*z - y, 2*q - 2 = 2*z + 4. Are q and 5/4 equal?
False
Let p be 7/(-5) - 14/(-35). Is p < 1/11?
True
Suppose 7*z + 0 - 7 = 0. Which is smaller: z or 4/7?
4/7
Let g = 9 - 3. Let l be 8/102*g/(-4). Let b(w) = -w**3 - 2*w**2 - 2*w - 4. Let x be b(-2). Is l equal to x?
False
Let f = -0.5 - -0.6. Is -1/4 != f?
True
Let u(h) = h**3 + h**2 + h. Suppose 3*y = y. Suppose y = -0*r + r. Let d be u(r). Which is bigger: 1 or d?
1
Let z be (2/4)/(2/(-24)). Let v be z/8 + 133/28. Suppose -v*m + 6 = -3*h + 3, 0 = -5*h + 4*m - 5. Which is greater: -1/2 or h?
-1/2
Let z = 2504/77 - 234/7. Is -2 equal to z?
False
Let t = -1/49 + -43/294. Is 1 greater than or equal to t?
True
Let w(o) = o**2 - 6*o + 7. Let k be w(2). Let y = -2264/13 - -174. Is y <= k?
False
Let n be (1/(-6))/((-5)/(-3)). Let h = -9 - -12. Suppose 2*v = 5*v - h. Is n smaller than v?
True
Let p be (2/(-4))/((-40)/(-16)). Let v = -3/5 + p. Let q be -2 + 1 - (0 + 1). Is v greater than or equal to q?
True
Let k = 3 - 2. Let o(b) = b**3 - 4*b**2 - b + 2. Let p be o(4). Let h = 11/5 + p. Which is smaller: k or h?
h
Suppose 3*x = 8*x + 5. Let o = -3916/19 - -206. Which is smaller: o or x?
x
Let i(y) = 17*y - 33. Let h be i(2). Which is greater: h or 3/41?
h
Let f = 32 - 75. Let c = f + 130/3. Which is smaller: c or 0?
0
Let o = 6 - 2. Is 5/2 greater than or equal to o?
False
Let u = 1186034/6063871 - -2/95045. Let i = -114842/145 + 792. Let k = u + i. Which is smaller: k or 0?
0
Suppose 3 = 5*m + 8. Are m and 1/10 equal?
False
Let a be 0 - 1 - (-4)/1. Suppose -2*h - a = h. Which is smaller: 0 or h?
h
Let a = 3 + 0. Let q be (-9)/3*(-3)/6. Is q < a?
True
Suppose -5*k = 3*o - 186, 3*k + 3*o - 4*o - 106 = 0. Do 36 and k have different values?
False
Let t(h) = 3*h - 9. Let p be t(4). Do 1 and p have different values?
True
Suppose 2*p + 92 - 404 = -4*m, 6 = -2*m. Which is bigger: 161 or p?
p
Let h be 6/2 + 2*-1. Let d = 0.02 - -0.02. Let w = 0.36 + d. Which is bigger: h or w?
h
Let c = -0.37 + -0.03. Let o(a) = -a + 16. Let l be o(16). Which is bigger: l or c?
l
Suppose 6*s - 9 = 51. Is 10 at least s?
True
Let p be (0 + 0)*(-6 - -7). Suppose 4*b - 4 = 5*w - 2, 3*b + 6 = p. Is w equal to -3/4?
False
Suppose 3 = 4*p - 13. Let i be (-24)/18*(-30)/p. Let k(f) = -f + 11. Let g be k(i). Which is smaller: -1 or g?
-1
Let h = 14.1 - 34.3. Let o = -6.9 - h. Let g = -14 + o. Which is smaller: 2/3 or g?
g
Let t be (-9)/(-11) - (-2)/11. Suppose -p = -0*p - t. Suppose 2*j = p + 7. Is 4 at least as big as j?
True
Suppose 3*a = -1 - 2. Suppose 3*s - 30 = 2*p + 1, s - 1 = 3*p. Suppose -2*d + 5*l = 17, -5*l + s = -d - 3. Is d smaller than a?
False
Let a = -23 - -23.037. Which is smaller: a or 1?
a
Suppose 6*f - 2178 = 24*f. Are -120 and f equal?
False
Let r be 2 - 4 - (-3 + 1). Suppose -5*t + 0*y + 25 = -y, 0 = -2*y. Which is bigger: r or t?
t
Let k = -2.7 - 0.3. Let r = -3 - k. Which is bigger: -3 or r?
r
Let b be 12/(-30) - 124/(-10). Is b >= 14?
False
Let w(f) = 2*f**2 - 28*f - 3. Let o be w(14). Which is greater: o or -0.1?
-0.1
Let t = 0 + -1. 