t r = -14 + 24. Suppose y = 4*s + 5*y - 20, 4*s + r = 2*y. Which is greater: 8 or s?
8
Let q = 152939/7 + -21528. Let z = 321 - q. Which is bigger: 2 or z?
2
Let c(d) = -d**2 - 12*d - 9. Let z(v) = 4*v + 14. Let n be z(-6). Let p be c(n). Does p = 11?
True
Let m be ((-6)/(-5))/(2/10). Let r = -11 + m. Let n = r - -3. Which is smaller: n or -1?
n
Let f = -6/473 - -2437/5676. Which is bigger: f or 0?
f
Suppose -u + 2 + 5 = 0. Let y = -1 + u. Which is bigger: 7 or y?
7
Let a = -25 + 14. Let c = a - -12. Is c less than 1?
False
Let b be (-1 - -1) + 100/3. Let v = b + -33. Which is bigger: v or 0?
v
Let l be 2 - (3/(-1))/(-3). Let p be 0/l*(-7 + 6). Is -1 at most p?
True
Let z(l) = 34*l + 1. Let i be z(-1). Which is bigger: 0.1 or i?
0.1
Let m be (-1)/7*(-6 - -759). Let c = 108 + m. Which is smaller: 1 or c?
c
Let q(x) = -x**3 - 10*x**2 - x - 14. Let c be 1*3*(-5)/(-3). Suppose 0 = -v + c*k + 5, -2*k - 10 - 6 = v. Let l be q(v). Are l and -2 non-equal?
True
Suppose 2*h = -2*m - h - 17, m + 19 = -5*h. Are m and -2 nonequal?
True
Let b = -88/5 + 127/20. Let f = b - -11. Which is smaller: f or 0.1?
f
Let h = -673/5 - -135. Suppose 22 = -3*d - 5*c, -3*d - d = 2*c + 6. Are h and d nonequal?
True
Let c be 6/9 - (-1174)/(-6). Let u = c + 1367/7. Suppose -4*r - 10 - 6 = -4*b, 5*r + 30 = -5*b. Which is smaller: u or b?
b
Let r be (18/4*1)/(2/(-4)). Is r smaller than -9?
False
Let l = -139 - -1530/11. Let u be (-2)/(6/9)*-1. Let s be 0/(u + 1 + -3). Which is greater: l or s?
l
Suppose 3*k + 20 = 8*k. Suppose 0*c = 5*c - 35. Let i = c - k. Is i less than 3?
False
Let b = 0.02 - -1.24. Let g = b + -0.26. Suppose -2*h - 25 = -9. Is h at least as big as g?
False
Suppose 2*x + 2*y = -6, 2*y - 12 = 5*x + 38. Let v be ((-1)/(-4))/(6/x). Suppose 0 = -q + 3*q. Is v less than or equal to q?
True
Let p = 11621 - 58287/5. Let v = -1289/35 - p. Which is bigger: v or -1?
v
Let z(j) = j**2 + 8*j + 7. Let w be z(-8). Suppose -2*y = -1 - 7, -7 = -p - y. Is p >= w?
False
Suppose -18 = 5*a + z + 12, 2*a = 5*z - 39. Which is bigger: a or -2?
-2
Let x = -8.2 - -6.8. Is -1 greater than x?
True
Let f = -2/255 - 32/255. Which is greater: -1/4 or f?
f
Let p(k) = -k - 1. Let j(z) = 4*z + 9. Let f(b) = -j(b) - 6*p(b). Let o be f(2). Let n = -26 + 211/8. Is o at most n?
False
Let a = -112 + 110. Do -13/9 and a have different values?
True
Let i(l) = -l**2 - 11*l + 3. Let t be i(-8). Let u be 2/(-6) - 1425/t. Let b = u - -53. Which is bigger: b or -1?
b
Suppose -2*h + 4 - 14 = 0. Let x be 1/(-5) + 4/h. Let l = 15 + -17. Which is bigger: l or x?
x
Let f = -49 + 53. Is f at most 25/7?
False
Suppose o = -0 + 1, -4*o + 3 = -d. Which is smaller: d or 7/11?
7/11
Let p = -6 - -8. Let b = 12 - 11. Is p at most as big as b?
False
Let b = -83 - -48. Which is smaller: -1 or b?
b
Let w be 4/28 + 202/7. Are w and 26 equal?
False
Let g = -4 - -5. Let h be (-1 + g)/(1 - 0). Suppose 2*l - 2 = -h. Is -1/4 less than l?
True
Let s = 1.43 - 1.77. Is s less than -2?
False
Let g = -0.3 - -0.7. Let t = g + -0.3. Is 2 not equal to t?
True
Let x be 2*2/(2 - 4). Let i be (-48)/21 - x/7. Let z be 2/3*3/i. Are -1 and z unequal?
False
Let c be -1 + (2 - (28 - 4)). Let v = c - -21. Is v less than -4?
False
Let t be (-2)/(-8) - (-9)/(-4). Suppose -14*j + 13*j - 3 = 0. Which is smaller: j or t?
j
Let o(p) = -p**2 - 7*p - 7. Suppose 0 = 2*v - 3*k + 7, -3*v - k - 2 - 14 = 0. Let s be o(v). Let w be -3*(-3 + (3 - 1)). Do s and w have the same value?
True
Let d = 197 - 178. Is 18 > d?
False
Suppose 3*r - 9 = 21. Suppose 0*z - 5*z = -r. Is z bigger than 3?
False
Let y(r) be the first derivative of 3*r**2/2 + r - 3. Let q be y(1). Let n = q + -4. Are -2/19 and n unequal?
True
Let y be (18/(-4) + -3)*10/6. Do -14 and y have the same value?
False
Let w be 2/2 + (-16)/14. Let v = 18 + -19. Is w < v?
False
Let c = 10 + -1. Let o = c + -9.4. Is 2/11 less than o?
False
Let o(h) = -2*h + 1. Let i be o(4). Let f = 6 + i. Are -1 and f nonequal?
False
Let v be 1/(0 - 2/4). Suppose -158 = -3*x - t, 3*x - 194 = -5*t - 52. Let f be (-1)/3 + (-45)/x. Which is greater: f or v?
f
Let h be (-1)/5 + (0 - 0). Let i be ((-7)/(-42))/((-2)/(-4)). Which is greater: h or i?
i
Let x = 4/69 - -337/138. Suppose 2*u + 26 = 5*u + 5*g, 2*u - g = 0. Which is bigger: x or u?
x
Suppose -2*k = 2*k + 56. Let h(p) = -p - 7. Let a be h(7). Are k and a nonequal?
False
Let k = -0.7 + -0.3. Let o = 2 + k. Let j = 1.2 - o. Is -1 smaller than j?
True
Let v be (-2 + 6/4)/((-18)/(-9)). Are -1 and v equal?
False
Let o = -0.21 - 22.79. Let g = 23.4 + o. Is g bigger than -2?
True
Let o = 0 - -13. Let g = o + -13.1. Do g and -19 have different values?
True
Let n be ((-8)/(-40))/((-2)/26). Are -3 and n equal?
False
Suppose 0 = -4*n - 8, 6*o - 68 = 2*o - 4*n. Suppose -o = -3*q + 4*m, -4*q - 2*m - 5 = -1. Suppose q = -x + 2*x. Which is greater: x or -3?
x
Suppose 14 = -x - 2. Let i be -3*(x/(-12))/(-1). Is i not equal to 4?
False
Let z be ((-8)/(-6))/(-2)*-24. Let u be 84/z + (-2)/8. Which is smaller: u or 6?
u
Suppose z = -z + 2. Let x = 128107/4180 + -576/19. Let s = -3/20 + x. Which is greater: z or s?
z
Suppose 2*x + 28 = -0*x + 3*d, 0 = -3*x - 4*d - 42. Let a = 11 + x. Is -3 at most as big as a?
True
Suppose 13 = -a + 36. Let r = -24 + a. Is r > -1?
False
Let o = 0.1 - 3.1. Suppose 0*s - s + 1 = 0. Let t be (s/(-4))/(6/(-8)). Is t > o?
True
Let x = 0.4 - 0.28. Let m = 0.78 + -0.8. Let t = m + x. Is t < 1/2?
True
Let u be 3/(-2)*16/(-2460). Let s = 623/820 - u. Suppose 5*y = 4*f + 21, 3*y - 8 = 5*f + 2. Which is smaller: f or s?
s
Let c be 15/36 - 1/6. Suppose -3*r + 3*f = 9, 5*f - 28 = -r - 1. Suppose 7 = -5*d + r. Which is bigger: c or d?
c
Let u = -0.4 - -0.49. Let h = 1.09 - u. Is 1 bigger than h?
False
Let v(n) = n - 13. Let d be v(11). Let j be 1 + (-3)/(-3)*d. Is j > -5/3?
True
Suppose -6*l = -3*l - 15. Do 32/9 and l have the same value?
False
Suppose -3*j + 6*j = -3. Let y = 3 + -7. Let n be (-18)/(-12) + y/2. Are j and n non-equal?
True
Suppose 3 + 1 = -l. Let u be l/2 + (-64)/(-28). Which is greater: 3 or u?
3
Suppose 0 = -4*r - r. Suppose 4*b - n - 116 = -41, 3*n + 63 = 3*b. Let q = 18 - b. Is r greater than q?
False
Let m = 0 - 0.07. Let k = -0.17 - m. Are k and -0.1 unequal?
False
Let x = 1652/11 + -150. Suppose -4*a + 16 = -0*a. Suppose a = -y + 3. Do y and x have different values?
True
Suppose 2 = u - 0*u + p, -2*p = -4*u - 10. Let z be (-62)/(-2) - (-3 - u). Let d = z + -98/3. Is 0.2 at least d?
False
Suppose -3*o - 7 + 1 = 0. Is o less than -2?
False
Let v(j) = -6*j - 6. Let c(b) = -b + 1. Let s(z) = 4*c(z) - v(z). Let p be s(-9). Is p smaller than -9?
False
Let a(c) = -c**3 - 7*c - c**2 - 3*c**2 - c**2 - 4. Let w be a(-4). Suppose 4*r - w = -q, 5*r + 2 + 1 = 2*q. Which is smaller: r or 0?
0
Let w = 4505/359001 - 7/1017. Which is greater: w or -1?
w
Let r = 0 - -0.1. Let n = -1.4 - 14.6. Let q = -16 - n. Is r not equal to q?
True
Let c = 10.098 + 0.002. Let j = c + -10. Let a = 8 + -7.7. Is j bigger than a?
False
Suppose -5*z = -5*d + 5, -3*d + d = -z - 1. Which is bigger: -2/3 or d?
d
Let m = 1 - -1. Suppose 0 = -m*y - 4 + 12. Is 3 != y?
True
Let l = 5 + -5. Suppose -3*r + 3 + 0 = l. Let v be (-7)/(-9) - (2 + -1). Is v at most as big as r?
True
Let x = -15/14 + 11/14. Let y = -0.06 + -2.94. Let q = -3 - y. Which is greater: x or q?
q
Let c be 4/6 - (-1893)/(-180). Let b = c - -41/4. Do b and -4 have the same value?
False
Suppose 13 = 5*r + 3*h - 18, -5*h + 17 = 4*r. Is 12 bigger than r?
True
Suppose o = h + 3*h - 24, 0 = -5*o + h - 25. Let u be o + 5 - (-4)/(-6). Which is smaller: u or -2/3?
-2/3
Suppose 5*i - 8 = i. Is 1 not equal to i?
True
Suppose -4*a = -3*a - 2*g - 4, -4*a + g + 2 = 0. Let p be (-3)/(-3) + (a - 1). Suppose -7*w + 0 = 7. Is p at least as big as w?
True
Let o(x) = -x**3 - 21*x**2 - x - 20. Let d be o(-21). Are -2/187 and d nonequal?
True
Let t = 2 - 0. Let f be t/30 + (-3)/(-9). Let n(d) = -d**3 + 2*d**2 - d + 2. Let a be n(2). Which is smaller: f or a?
a
Suppose 4*o + 4*w - 36 = 0, -5*o + 2*w + 0*w + 10 = 0. Let k = o + -8. Is k not equal to -16/3?
True
Let j(f) = -9*f - 1. Let g be j(-1). Suppose -13*h - 4 = -14*h. Let b = g - h. Is 4 at least b?
True
Let v be (-7)/(-21)*(0 - 9). Suppose k + 6 = -2*o, 3*k - 7*o - 15 = -2*o. Le