2. Let b = 15 - l. Let g(x) = x + 6. Let h be g(-3). Do h and b have different values?
False
Suppose -5*l + 0*l = -v - 21, -5*l = -2*v - 17. Let k be -1*(-3 + v) - 2. Are k and -3 non-equal?
False
Let a = 2/10663 + -330663/586465. Let h = -4/11 - a. Which is greater: h or -0.05?
h
Let y = 3.2 - 4.7. Is -0.1 equal to y?
False
Let o be 6/12 - 2/4. Which is bigger: 3/19 or o?
3/19
Suppose 1 = -5*g - 9. Let d be ((g - -4)/(-2))/(-1). Let x be (3/(-3))/(2/2). Which is smaller: x or d?
x
Let g = 41/69 + -6/23. Which is smaller: 18 or g?
g
Let n be 2/(-10) + (-5)/(-25). Let y be (39 - -2)/(606/10). Let p = -1/101 + y. Which is greater: n or p?
p
Suppose -3*h = -4*h. Suppose 5*k - 8 - 7 = h. Does 3 = k?
True
Let d(r) = -10*r + 1. Let s be d(1). Which is bigger: s or -3?
-3
Let d be -1 + -1 + 0 + 1. Let j be (-2 + 1)*(d + 2). Let z = j - -5. Does z = 4?
True
Let g = -57 - -35. Let d = -76 + 53. Is d not equal to g?
True
Let r = -1 + 2. Let i(n) = 3*n**3 - n. Let b be i(r). Which is bigger: 5 or b?
5
Let s be (-1 - -2) + 3/210*-94. Let x be (-38)/5*(-6)/(-112). Let r = x + s. Which is smaller: r or -2?
-2
Suppose -52 = -25*j + 24*j. Which is greater: 51 or j?
j
Let t(u) = -2*u - 7. Let h be t(-5). Let i be 3*(h - 1/3). Are i and 9 non-equal?
True
Let d(s) = -s**2 + 6*s - 4. Let w be d(4). Suppose 5*r = w*q + 258, -r - q + 44 = 2*q. Let v = 252/5 - r. Which is greater: -1 or v?
v
Suppose 4*n = -2 - 2. Is -11 greater than n?
False
Let n = 71 - 99. Is n at least as big as 2/7?
False
Let c be (-3)/51*22/(-77). Is -1 smaller than c?
True
Let p be 3 - 3186/636 - -2. Are 1 and p equal?
False
Let z be 8/44 + 8/22. Suppose -b + 2*c = -3*c + 23, -5*b - 23 = -2*c. Let k(w) = w**2 + 3*w + 1. Let p be k(b). Is z greater than or equal to p?
False
Let m(p) = 0 + 2*p**2 - 1 + p**2 - 2*p**2. Let i be m(3). Is 8 not equal to i?
False
Let n be (-2)/(3*6/(-27)). Let q be 1/(-2) - n/(-6). Let j = 10/21 - 8/7. Are q and j equal?
False
Let q be 24/54*(-6)/4. Let t = -3.7 + -4.3. Which is smaller: t or q?
t
Let n = -69 + 49. Let g be ((-16)/n)/(4/(-10)). Which is bigger: g or -1?
-1
Let i be (-9)/5*2/6. Let d = -209 + 629/3. Which is smaller: d or i?
i
Let b = -0.2 - -0.1. Let a = 1.6 + -1.6. Let j = a - b. Is -2 not equal to j?
True
Let v be (-52)/14 - (-7 - -5). Which is smaller: v or -1?
v
Let c(w) = w**2 - 8*w + 7. Let r be c(7). Suppose -f + 5 = -r*f. Suppose 2 + f = -g. Is g not equal to -7?
False
Suppose 2*j + 0*j = -8. Let i be 2/j*(-22)/143. Is 0 at least as big as i?
False
Let u = 143/5 + -28. Let h(q) = -q - 6. Let s be h(-6). Is s > u?
False
Let v = 3 + 0. Let s = -0.6 - 3.4. Let n = v + s. Is 2 at least n?
True
Let u = 3 + -3. Which is bigger: 2/13 or u?
2/13
Let u = 22 + -20. Suppose -u*n - 1 + 11 = 0. Suppose x = b - 6, -b = -0*b - 3*x - 6. Which is smaller: n or b?
n
Let s(t) = -t**3 - t + 14. Let j be s(0). Let b be (0 - -2)*4/j. Is b at most as big as 1?
True
Let a = -5 + 10. Let u = -5 + a. Which is smaller: u or 0.3?
u
Let u(w) = -2*w**2 - 2*w + 1. Let l be u(-3). Let q = -8 - l. Suppose -q*d + 4 = -8. Is d at most as big as 3?
False
Suppose -7*c + 5*c = 2. Is -2/245 bigger than c?
True
Let w = -10 + 6. Is w != -5?
True
Let l = -0.06 - 2.94. Let b = 48.9 - 46. Let o = b + l. Is o greater than or equal to -2?
True
Let s = 1 + 6. Suppose 4*b + 3 = s. Which is smaller: 1/2 or b?
1/2
Let n(z) = z**2 - z + 1. Suppose 0 = -0*m - 3*m. Let d be (m + (-2 - -2))/(-1). Let j be n(d). Is j bigger than 1?
False
Let u = -161 - -487/3. Which is smaller: u or 1/2?
1/2
Let u(t) = 2*t**2 - t. Let p be u(-1). Let g be (75/36 + -2)*p. Let b = -1 + 1. Is g < b?
False
Let m be (-4)/5 - (-2)/(-10). Is -1/2 at most as big as m?
False
Let j(r) be the first derivative of r**2/2 - 10*r - 1. Let z = -88 + 97. Let k be j(z). Which is greater: k or 1/3?
1/3
Let d = 37/2 + -20. Let n(x) = x. Let y be n(6). Suppose 4*h + 4*f + 26 = -y, -35 = 5*h + 4*f. Is h less than or equal to d?
True
Let i = 3.7 - -0.3. Let s = 0.16 + -1.16. Which is smaller: i or s?
s
Suppose f + 5 = 67. Let l be 741/(-15)*10/(-8). Let v = f - l. Which is smaller: v or 0?
0
Let d = -1/73 - 115/2263. Which is smaller: d or 1?
d
Let h(k) = -3*k**3 + 8*k**2 - 3*k + 2. Let x be h(3). Which is smaller: -19 or x?
-19
Let c = 6 + -6. Let b = 1 - c. Let g be (-5)/(-5) + 1/(-2). Which is smaller: g or b?
g
Let y = 68/3 - 23. Let p = 1 - 1. Are p and y nonequal?
True
Suppose 3*w = -5*i - 11, -5 = 5*i + w + 2. Let h = -3 + 6. Let s = h + -2.9. Which is smaller: i or s?
i
Suppose 0 = -l + 3*l - 14. Let n(k) = k - 7. Let x be n(l). Suppose -4*z - 3*q + 3 + 2 = 0, x = 4*z - 5*q - 45. Which is bigger: 6 or z?
6
Let v = -54 - -55. Which is bigger: v or -2/9?
v
Let l = -124 + 124. Let h = 3/4 + -1/2. Which is bigger: h or l?
h
Let l be 10/2*(-36)/15. Let w be (l/117)/((-2)/(-3)). Let i = -4 - -4. Which is bigger: w or i?
i
Let v(i) = -12*i - 3. Let n be v(0). Which is smaller: 1 or n?
n
Suppose 4*h = -i - 3*i - 8, 3*i + h - 2 = 0. Let g = 4 - i. Let l be (-2)/(-1*g) - 4. Is l > -1?
False
Suppose -4*q + 2*m = -3*m - 9, -4 = q + 5*m. Let w be (231/(-60) + q)*-2. Let b = w - 21/5. Is b > 2?
False
Let m be (3/(-4))/(15/10). Let z = -1.1 + 0.5. Which is smaller: m or z?
z
Let h = -4.8 + 3.8. Let j = -25 + 23.9. Let g = j - -1. Is g <= h?
False
Let h = -10/59 - -552/3953. Which is smaller: h or -1?
-1
Suppose -4*n = 2*p - 10, 2 = 4*n + 3*p - 9. Suppose -3*u - n*w + 6*w - 4 = 0, 4 = w. Suppose u*m + 0 = -4. Which is smaller: m or 0?
m
Suppose 2*y - 90 = -0*y. Let c be (-2)/y*(0 + -10). Which is greater: -2/11 or c?
c
Let g = 451/1602 - 1/267. Which is greater: g or -1?
g
Let x(k) = 2*k**2 + 33*k - 13. Let z be x(-10). Which is greater: z or -144?
z
Suppose 0 = -5*y + 3*p, -2*y - 3*y + 2*p + 5 = 0. Suppose 0 = 2*b - j + 28, 3*b - 2*b - y*j + 14 = 0. Which is smaller: -13 or b?
b
Let g = -6 - -6. Let v = -15 + 25. Let x = 10 - v. Is x smaller than g?
False
Let u = -0.1 - -0.11. Is u less than 0?
False
Suppose -6*h - 9 = -3*h. Which is bigger: -2 or h?
-2
Let i = 0.21 - 0.11. Is 2.7 at least as big as i?
True
Let z(m) = -m. Let o be z(0). Let f = -10 + 22. Let w = f - 13. Which is greater: o or w?
o
Let p = -1 - 0.2. Let m = p + 1.4. Is m greater than 2/13?
True
Let c be 9/(-6) - 9/(-2). Suppose 0 = -2*r + c*r - 4. Is r equal to 5?
False
Let k be (0 + 1)*3/1. Let b be k - 2 - (-14)/(-10). Which is bigger: b or 3?
3
Let b be 3 - 2 - 2/(-2). Suppose -5*a + 3 + b = 0. Suppose -v = -2*v + a. Is 1 <= v?
True
Suppose -2*m = j + 3, -3 = -6*m + 3*m. Suppose -4*b - 21 = -9. Which is greater: j or b?
b
Let s = -5.02 + 15.09. Let w = -10 + s. Which is bigger: w or -1?
w
Let f(h) = h**3 + 6*h**2 + 7*h + 5. Let o be f(-5). Let n(v) = v**2 + 2*v - 1. Let a be n(-5). Let w be a/(-49) + (0 - 0). Which is smaller: w or o?
o
Suppose -r - 5 = -2*q, -4*q - 4*r - 10 = -2*r. Suppose -f + 5*f = q. Let z = 347/5 + -69. Are z and f equal?
False
Let u be ((-2)/12)/((-3)/9). Which is smaller: u or 0.3?
0.3
Let p be ((-118)/(-75))/2 - 0. Let y = 3/25 - p. Is y at least -1?
True
Suppose s - 4 = -0. Let f = s - 4. Let i(j) = j**2 + 1. Let p be i(f). Is p at most 0?
False
Let y = -10.4 + -3.6. Let m = y - -16.4. Let q = m - 0.4. Is 2 less than or equal to q?
True
Let g be (-1)/(-10) - (-2 + 2). Let j = -63.9 - -50. Let s = j - -14. Is g < s?
False
Let m(q) = -4*q + 8. Let z be m(3). Which is smaller: z or -7?
-7
Suppose -32*z = -30*z - 4. Let n = 2 - 1. Is z at most n?
False
Let i(m) be the first derivative of -m**3/3 + 9*m**2/2 + 9*m + 3. Let r be i(10). Let g(c) = -c**3 - 6*c**2 - 1. Let k be g(-6). Is k at most r?
True
Let n = -35 + 100. Let b = n + -133. Let g = 275/4 + b. Which is greater: g or 2?
2
Let w = 69 - -1. Is 70 at least as big as w?
True
Let w = -1.5 + 2. Let u = -1 + w. Which is bigger: -1 or u?
u
Let j = -29.034 - -0.034. Let c = j + 41. Is c greater than 0?
True
Let b be (-1 + 3)/((-4)/(-10)). Suppose b*f + 4 = f. Is f less than or equal to -1/2?
True
Let o = -24 + 20. Which is greater: o or -14/5?
-14/5
Suppose 5*v - q = 30, -25 = -3*v + 3*q - q. Suppose -a - 4*i = 4 + 2, 0 = 3*a - i + v. Let k be (a - -2)*(-1)/3. Is -2/15 at least as big as k?
False
Let x(c) = -6*c**3 - c**2. Let f be x(-1). Suppose 3 = 5*r + 2*t + 1, -2*r - f = -5*t. Is -2/13 less 