21 + -16. Which is greater: -2 or p?
p
Let l be ((-14)/4)/((-2)/(-4)). Let i = 7 + l. Which is greater: i or -2?
i
Let i = 10/13 - 4/39. Let z = 8 + -5. Which is smaller: z or i?
i
Let o = 0.7 + 0.1. Let t = o + -0.9. Let q = -0.06 - 2.94. Is q < t?
True
Suppose -3*d - d + 32 = -2*i, -5*i - 54 = 3*d. Is -0.2 < i?
False
Let l = 3 - 54. Let r be l/(-108) + (-2)/9. Is r at most 2?
True
Suppose 4*x + 2 = 6*x, 3*a + 3*x - 3 = 0. Let s = a - -4. Let c(h) = -h**2 - 7*h + 5. Let q be c(-7). Which is greater: q or s?
q
Suppose 2*s - 2*h - 9 = 23, s = -2*h + 7. Suppose 2*w - s = -q, 4*w - w = -q + 14. Is 10 greater than q?
False
Suppose -y = -4*y. Let x = 6 - 6. Suppose x*m = -m. Are y and m nonequal?
False
Let j = 16 + -11. Suppose j*d + 2*q + 2*q = 7, 4*d + 3*q = 5. Let l = 42 + -44. Is l at most as big as d?
True
Let d(p) = -p - 6. Let n be d(0). Let f(l) = -l**2 - 2*l - 2. Suppose -2 = -i - 5, -i + 3 = -2*x. Let r be f(x). Which is smaller: n or r?
n
Let n = -33 + 47. Suppose -n = 2*w + 5*t, 5*w + 12 = -3*t + 2*t. Which is smaller: 2 or w?
w
Let q = -3576/7 - -510. Is q > -0.3?
False
Let n be 77/22 + (-4)/1. Which is smaller: n or 2?
n
Let k = 0 - -4. Suppose 2*a = 5*u + 31, -4*u - 35 = -k*a - 3*u. Suppose w + a = 5*w. Which is greater: 3 or w?
3
Suppose -3*c + 3 + 0 = 0. Is 1/4 != c?
True
Let t be 12/(-7) - 4/14. Let a be (7 - 1)/3 + t. Suppose b + 2*b = a. Is b at least as big as -1/5?
True
Let b(c) = 5*c**3 - 2*c**2 - c + 3. Let k(i) = -11*i**3 + 5*i**2 + 2*i - 7. Let v(n) = -9*b(n) - 4*k(n). Let h be v(-2). Which is bigger: h or -1/2?
-1/2
Let y(v) = 4*v - 7. Let f(t) = t. Let i(h) = -6*f(h) + y(h). Let s be i(-3). Which is greater: 3/7 or s?
3/7
Let s be (0 + 2)*(-12)/8. Let y = s + -2. Let n be (1/y + 1)/(-6). Is -1 >= n?
False
Suppose -3*m + m = z + 10, 2*z = -m - 11. Which is greater: -2 or m?
-2
Let b = 22.1 - 22. Which is smaller: b or -10?
-10
Let x(l) = -l + 6. Let b be x(7). Which is bigger: 0 or b?
0
Let j(c) = c + 7. Let u be j(-5). Suppose 15 = x + u*x. Which is smaller: x or 7?
x
Suppose -d + 5 = 2*p, -4*d + 4*p + 17 = -3. Suppose 2*q + 1 = d. Which is smaller: 3 or q?
q
Let k = 20 - 14. Let l be (-15)/(-126) - (-1)/k. Is l < 1?
True
Let y(o) = o**3 + 2*o**2 - 4*o. Let n be y(-3). Let h be (3 + -1)/((-2)/2). Let d be (n/h)/(5 - -1). Which is bigger: -1 or d?
d
Let a(g) = 16*g**2 - g - 2. Let i be a(-2). Is i less than 64?
False
Suppose 0 = -4*d + 4*d + 3*d. Let g be (-4)/(-3)*3/(-2). Which is greater: g or d?
d
Suppose 5*v = 4*h + 10, -5*v + h + 6 = -2*v. Let c be 3 + (2 - (4 - v)). Let x be 1/c*(-3 - -4). Which is smaller: -0.1 or x?
-0.1
Let v = 21 + -26. Is -7 smaller than v?
True
Let s be (-4020)/2070 + (-2 - (-8)/2). Do -1 and s have different values?
True
Suppose 5*a - 20 = 10*a. Is -1 at most as big as a?
False
Let y = 12/79 + -670/5451. Is 0 at most as big as y?
True
Let a be (-170)/(-50) + 4/(-10). Suppose -u + 0*u = a*l + 3, 15 = -2*l - 5*u. Which is bigger: l or 1?
1
Let w(k) = -2*k. Let b(x) = -3*x - 1. Let c(i) = 3*b(i) - 4*w(i). Let o be c(-6). Let h be (3/8)/(o/(-12)). Which is greater: -2 or h?
h
Suppose 8*c + 91 + 61 = 0. Are c and -37/2 equal?
False
Let s = -11/15 + 2/5. Let n be (1/4)/(9/(-36)). Do s and n have different values?
True
Let l = -5 + 7. Let s(c) = 4*c. Let r be s(1). Suppose 2*w - r = 3*u + 4, 8 = 2*w. Is u less than l?
True
Let o = -15/2 - -8. Which is bigger: 7 or o?
7
Suppose 0 = 2*h + 2 + 8. Is -9 >= h?
False
Let m = 2 - 7. Let s = m + 5. Let x be ((-9)/6)/((-3)/(-4)). Is x smaller than s?
True
Let y = 134.03 + -134. Which is smaller: y or 0?
0
Suppose -33 = 4*y + 19. Which is bigger: -12 or y?
-12
Let p = -2 + -6. Are -9 and p equal?
False
Suppose -2*j = -2*k + 8, -8*j - 20 = 2*k - 3*j. Let r = -1 - 0. Let b be (-2 + r)*2/(-6). Which is smaller: b or k?
k
Let g = 51 + -50.5. Is 0.02 <= g?
True
Let z(n) be the third derivative of 7/3*n**3 + 0 - 3*n**2 - 1/24*n**4 + 0*n. Let q be z(10). Are q and 4 non-equal?
False
Let t be (-3 - -7)/20 + 65/(-450). Is 1 smaller than t?
False
Let w(d) = -d**3 - 4*d**2 - 5*d - 4. Suppose 3*z - 2*g = -3, -4*z = 3*g + 11 + 10. Let s be w(z). Let y be (-2)/(-2) - 2 - s. Which is bigger: y or -8/3?
-8/3
Let p = 0 + 1. Let u be (1/(-12)*-3)/(10/16). Is p > u?
True
Suppose 3*h + 3*f - 18 = 0, -5*f - 10 = -4*h - 2*f. Suppose 0 = b + 4*z + 12, -2*z = -h*b + 2*b + 16. Let l be ((-2)/4)/((-2)/12). Is b less than or equal to l?
False
Suppose 2*a - 3*t - 25 = -9, 2*a + t = 8. Suppose 4*k + 5*l = 17 + 15, a*k - 2*l - 7 = 0. Let j = -16 - -20. Which is smaller: k or j?
k
Let w = -0.07 - 0.23. Let o = w - -0.4. Let a be (8/24)/((12/(-8))/3). Is a less than o?
True
Suppose -3*w + 10 = 2*n, -2*n = -5*n - 2*w + 10. Let m(z) = 1 + n - 4*z + 2*z. Let u be m(2). Is u at most as big as -1/3?
True
Suppose -2*l + 3*l = j, 2*j = -5*l + 28. Suppose -4*y - 8 = 2*h, -l*h + 2*y = -0*h - 14. Suppose -v = 5*w - 26, 2*v = h*w - w - 3. Does 2 = v?
False
Let l be -1 - ((-10)/2 + 2). Let i = 2/237 - -551/237. Which is smaller: l or i?
l
Let z be 2/(-3) + (-2)/(-6). Let a = -19 - -19. Is z smaller than a?
True
Let i be -4 - 6*1/(-2). Is -1/28 at most as big as i?
False
Suppose -12 = -9*s + 3*s. Are s and 4 unequal?
True
Let t = 24 - 12. Let v = t + -13. Do v and 1/44 have different values?
True
Let d be 2 - 0/(-2 + 3). Let s(z) = -1 - z**2 + 2*z**2 - 3*z**d + 3*z**2. Let r be s(2). Which is smaller: r or 2?
2
Let q = -2034/6325 - -2/1265. Which is smaller: q or 0?
q
Let s(t) = -t**3 + 3*t**2 - 3*t. Let q be s(2). Let i be q - ((2 - 3) + 0). Which is greater: 1/5 or i?
1/5
Let q = -10 + 4. Which is greater: -3 or q?
-3
Let w be (-9)/(-6) + 95/(-62). Let d = w + 36/155. Which is greater: d or 3?
3
Let z = -75/142 + 2/71. Is z bigger than 3/5?
False
Let r = -55 - -40. Which is greater: -12 or r?
-12
Suppose -4*c = -5*c - 4*w - 21, -5*c - 45 = 5*w. Which is bigger: 4/5 or c?
4/5
Let s = 10 - 11. Suppose 0 = h + q + 5, -3*q - 16 + 1 = 5*h. Is h less than s?
False
Let k = -5 + 3. Let d = 4.2 + -0.2. Let a = d + k. Is a at most as big as -1?
False
Let g be 1 - (-1 - 1007/(-15)). Let l = -65 - g. Which is smaller: l or -1?
-1
Let j = 411/455 - 11/13. Is j greater than 0?
True
Let t(r) = r - 2. Let z be t(-2). Let n(h) = -h**2 - 2*h + 4. Let k be n(z). Let y be (k/10)/(1/5). Which is greater: y or -1?
-1
Let k(p) = -p**2 - 6*p + 8. Let t be k(-7). Suppose 2*c + c - t = -y, -2*y + 2 = c. Let s be 1 + 1 + 20/(-9). Which is smaller: s or y?
s
Let w = -294 + 307.1. Let a = w + -13. Let o = 3.05 + -3. Is o > a?
False
Suppose 6*n + 4 = 2*n. Let x be (3 - 1)/(n*2). Let d = -45 + 313/7. Which is greater: x or d?
d
Let n(r) = r**3 + 8*r**2 + 7*r - 2. Let c be n(-7). Let x = c + 0. Let z be -2 + x + -1*1. Are -5 and z equal?
True
Let c(f) = f + 2. Let a be c(-5). Let r(k) = 6*k - 5. Let w(n) = n - 1. Let o(g) = -r(g) + 4*w(g). Let b be o(2). Is b at least a?
True
Let y be 7*(9/(-5) + 2). Let i = y - 9/5. Is -1/2 >= i?
False
Let b be -5*3/(-9) + (-3)/9. Let m be 4/(-18) - (-2)/9. Are m and b equal?
False
Let j be (4/6)/((-35)/(-21)). Which is smaller: -0.09 or j?
-0.09
Let c be (1/(-8))/((-1)/(-2)). Suppose -6 = -2*n - 0*n. Suppose 0 = -s - n*r - 12, -5 = 3*s + 3*r + 7. Is s at most as big as c?
False
Suppose -10 = -2*z + z + 2*w, -2*z - 3*w = 15. Which is greater: -18/11 or z?
z
Suppose -5 - 1 = 2*h. Let y = h - -2. Let i be 10/(-25)*5/9. Which is smaller: y or i?
y
Let c = 125 + -21. Is c greater than or equal to 104?
True
Let o be 18*(-2)/(-20) - 2. Let r(f) = f**3 + 5*f**2 + 3*f - 2. Let n be r(-3). Suppose -4*z - n = -3. Is z less than or equal to o?
True
Suppose 3*n + 1 + 14 = 0. Let v(y) = -y**2 + 2*y + 3. Let m be v(4). Are n and m equal?
True
Let j be 721/(-8) - (-1 + 3). Let x = 92 + j. Suppose -3*g + 12 = 0, -4*g = 2*t - 23 + 5. Is x greater than t?
False
Let q be (-11 - -14)*(-1 + 2). Which is smaller: q or 2?
2
Let d be (0 + -1 - -5)/(-2). Suppose -3*f = -4*f - 1. Which is smaller: d or f?
d
Suppose 0 = -3*b + 7*b - 4*a - 20, 0 = -b + 4*a + 8. Suppose -n - b*n = 15. Suppose -4*g + z + 2*z - 24 = 0, 5*g - 3*z = -27. Is n less than g?
False
Let s(t) = -t + 2. Let g be (0/(-1))/((-2)/1). Let j be s(g). Suppose j*v = -v - 3. Are v and 0 non-equal?
True
Let t(s) = 7*s**2 + 1. Let n be t(-1). Let r = n - 7. I