+ 16. Let l(v) = -2*v + 5. Let m(w) = -17*l(w) + 6*p(w). Let q be m(9). Let x(k) = k + 8. Let j be x(q). Which is smaller: 3 or j?
j
Suppose 5*h = c + 510, 3*c = -2*h - 0*c + 204. Suppose -5*o + 962 = h. Let j = 1894/11 - o. Is -1 greater than or equal to j?
False
Let y = -911/9 - -101. Let z be (-2)/(-4) + 31/(-124). Which is greater: z or y?
z
Let p = 0.06 - 1.06. Let a = p - 0. Let l = -6.3 + 6. Which is smaller: l or a?
a
Let j be (35/(-5))/((-2)/4). Suppose 2*n + 10 = -2*k - 2*n, j = -2*k - 5*n. Which is smaller: k or 4?
k
Let a = -0.16 + 1.16. Which is greater: a or 0.2?
a
Suppose -3*g = 5*u - 8, 3*g + 0*u + u = 4. Which is greater: g or -0.51?
g
Let t be (-1)/(-7) - (-105)/(-49). Which is smaller: -1/2 or t?
t
Let u(f) be the first derivative of f**4/4 - 4*f**3/3 - 3*f**2 + 3*f - 2. Let h be u(5). Let c = h + 3. Which is smaller: 0.2 or c?
0.2
Let d be (-4)/2*1/(-3). Let v = d - 1/6. Suppose -16*x + 58*x = 84. Which is smaller: v or x?
v
Let g = 16 - 10. Are 6 and g unequal?
False
Let v = -967/11 + 88. Is -1 less than v?
True
Suppose 0 = -2*f + a - 9, 4*f + 4 = -a + 1. Suppose -h + 1 = -1. Suppose 5*q - t + 15 = t, 4*t = h*q + 6. Is f greater than q?
True
Let r = 19/2 - 9. Let s = -0.33 + 0.03. Let l = s - -0.6. Which is smaller: l or r?
l
Let g(p) = -3*p + 44. Let r be g(14). Which is greater: 5/2 or r?
5/2
Let k = 2 - 2.04. Let m = k + 1.04. Let v = -9 - -8.8. Is m at least as big as v?
True
Let d = 2 - -1. Let i(q) = 2*q**d + 6*q + 0 + 5 + 6*q**2 - q**3. Let w be i(-5). Is w at most as big as 0?
True
Suppose -9 = g - 29. Suppose -4*m - 4 = g. Is -5 less than m?
False
Let t = -228 + 237. Which is smaller: 0 or t?
0
Let n(g) = g - 2 + g**3 + 4*g**2 + 5 + g. Let a be n(-3). Suppose -2*t = 3*l - a, 0 = 3*t - 6*t. Which is smaller: l or 3?
l
Let x be 2/(-7) + (-60)/(-14). Suppose 2*d + 3*v + 3 = d, 5*d + x*v + 4 = 0. Let z be (-12)/20 + (-2)/(-70). Which is smaller: z or d?
z
Let m = -0.974 + -0.036. Let p = -0.01 - m. Is p != -6?
True
Suppose -1 + 7 = -2*a + 2*u, 0 = a + 3*u - 13. Let k = -18 - -34. Which is smaller: a or k?
a
Let k = 6 + -7. Suppose 0*p = -2*p. Suppose 0 = h - p*h. Which is bigger: h or k?
h
Suppose -3*h = 2*h - 5*q - 10, 5*h + 18 = -2*q. Let b be 1 + 13/(-4) - h. Does b = -1?
False
Let n be (-12)/(-21) + 8/(-28). Is n smaller than 2/5?
True
Let l be 1 - (1 + (-4)/2). Suppose -10 = 28*z - 33*z. Are z and l nonequal?
False
Let f = -30 - -59/2. Let n = 2.4 - 3. Let s = -0.4 + n. Is f <= s?
False
Let u = -11 - 1. Let f be 4*(-2)/u*2. Is 1 at least as big as f?
False
Let w(z) = 3*z**3 - z**2 - 2*z - 2. Let r be w(-1). Let k be r + ((-1260)/32)/(-9). Suppose 5*p + 10 = -2*l, -5*l - 25 = 5*p - p. Which is smaller: k or p?
p
Let f be 2/(6/3) - -1. Suppose 0 = 4*x + f + 2. Let a be 3 + -2 + (0 - x). Which is bigger: 4 or a?
4
Let l be (-4)/3*(-645)/12. Let m = l + -73. Which is greater: -2 or m?
m
Suppose -3*p = 5*d - 13, 3*d - 11 = -5*p - 0*p. Which is smaller: p or -6?
-6
Suppose -33 = -i - 2*i. Which is smaller: i or 14?
i
Let u = -21 + 21. Which is bigger: u or 1/3?
1/3
Let z be 2*1 - (-87)/(-15). Suppose -22*a - 6 = -20*a. Which is bigger: a or z?
a
Suppose -3*n - 16 = 5*n. Which is greater: n or -8?
n
Suppose -3*a - 41 = -14. Let k(w) = -3*w**2 + 5 + 4 + 4*w**2 + 10*w. Let v be k(a). Is v less than 0?
False
Let y(w) = -w. Let u be y(-4). Let j be (u - 5)*(-1214)/14. Let b = -87 + j. Which is bigger: b or 0?
0
Suppose 4*i + 3 = i. Let r be (-5 - -3)/((-5)/i). Which is greater: r or 0?
0
Let r = 20 + -35. Let y = 20 + r. Is y greater than or equal to 1?
True
Let n = -61 - -10. Which is greater: 1 or n?
1
Suppose -2*b - p + 1 = -5, -2 = 3*b - 4*p. Suppose -y = b*y - 9. Let v be (-2)/(8/12*-1). Is y > v?
False
Let i = -10 + 21. Which is greater: 9 or i?
i
Suppose 4*t - 3*q = 2, t - 2*t = 4*q + 9. Is 4/13 at least t?
True
Let c = -109/3 + 36. Is c at most 27?
True
Suppose -t = 2*t - 15. Suppose 3*y - 20 = -2*y. Which is bigger: y or t?
t
Let k be ((-2)/7)/(21/49). Let w(l) = l**3 - 6*l**2 - l + 2. Let u be w(6). Let s be u/18 - 6/(-27). Is s less than k?
False
Let p be 2/(-7) - (-2)/7. Suppose m = -3*r - 3*m + 9, 0 = -r - 3*m + 3. Suppose 3*k = -4*c - r, 2 + 2 = 5*c - 4*k. Do c and p have the same value?
True
Let v = -1 + -1. Let z = v - -2.2. Let u be 2 - 6*(-16)/(-60). Which is smaller: z or u?
z
Let k = -399 + 9977/25. Which is smaller: 0 or k?
0
Let v = 0 - 0.2. Let c = 0.072 + 4.128. Let g = v + c. Do g and 0.1 have different values?
True
Let p(g) = -2*g**2 - 11*g - 8. Let c be p(-4). Is 2 bigger than c?
False
Let z(k) = 2*k - 9. Let x be z(9). Let i be (x - 4)*1/(-1). Which is smaller: -4 or i?
i
Let v be (-2)/8*(2 + 1). Let r(c) = 5*c - 14. Let m be r(5). Let l = -11 + m. Which is smaller: v or l?
v
Suppose 7 = -2*m - 2*v - 25, -2*v = 4*m + 54. Let b = -303 - -293. Which is smaller: b or m?
m
Let i = 10 + -15. Let b = -7 - i. Suppose -2*f = 2*m + 4, -f + 6*m + 3 = 2*m. Which is smaller: f or b?
b
Let d = 27.95 + -28. Is -4 != d?
True
Suppose -6*o + 2*t = -o - 24, 5*o = -3*t + 14. Suppose -4*y - 24 - 8 = o*v, 0 = 4*y - 5*v - 4. Does -4 = y?
True
Let u = 34319/5446 - 34/389. Let j = 33/7 - u. Is j bigger than -1?
False
Let u = -2 + 1. Suppose 7*n - 30 = -3*n. Is u > n?
False
Let y(t) = -t + 4. Let b be y(-3). Suppose -n - 3 = -12. Which is greater: b or n?
n
Suppose -1 - 15 = -2*g. Let a = g + -8. Let l = -28 - -138/5. Which is smaller: l or a?
l
Let w(c) = c**2 + 14*c - 14. Let o(g) = g**3 - 2*g**2 - 3*g - 5. Let f be o(-2). Let y be w(f). Is 0 greater than y?
False
Suppose 4*p - 3*f = 17, -2 = 4*p - f - 13. Which is smaller: 1 or p?
1
Let m be (-4)/6*(-9)/6. Let q = -4 - -3. Let c be 3/(-2)*(-3 - q). Is c less than m?
False
Let z be 6/9 + (-3873)/396. Let a = z - -70/11. Does a = -4?
False
Let w = -0.14 + 7.14. Let j = 5.87 - -0.13. Let i = w - j. Are 6 and i non-equal?
True
Let w be 2/7 - (-24)/14. Suppose w*n - n + 1 = 0. Which is smaller: n or 1?
n
Suppose 0 = 3*k + 10 - 4. Let y = 25 + -103/4. Is y <= k?
False
Suppose -3*x - 5 = z + 1, 5*x - 41 = 4*z. Let k(b) = b**2 + 9*b. Let d be k(z). Which is smaller: 4/7 or d?
d
Let m be ((-2)/4)/((-3)/12). Suppose m*p - 3*p = -2. Let v(d) = d**3 + 4*d**2 - 5*d + 3. Let l be v(-5). Does p = l?
False
Let m(w) = w + 7. Let d be m(-5). Let z be ((-3)/d)/(1/(-2)). Suppose 0 = -0*a - z*a. Is -2/3 at most a?
True
Let o = -21 + 19. Is o smaller than -2?
False
Let l = -5 - -3. Let u = 6 - 3. Let s = -1 + u. Which is smaller: l or s?
l
Let h = 10 + -6. Suppose o - 15 = x, -4*o - 3*x = -6*x - 57. Suppose a - h*q + o = 0, a - 3 = -5*q + 21. Is 3 at most as big as a?
True
Let f(i) = 2*i**2 - 2*i - 1. Let w be f(-1). Suppose -5*p = -2*p + w. Is -1 not equal to p?
False
Let c be (1 - (-42)/(-39)) + 1. Is c <= 1?
True
Suppose 4*n + 10 = m, 5*m - n = 2*n + 33. Which is bigger: m or 8?
8
Suppose 0 = -0*r - 2*r - 4. Let a be (-112)/(-49) + r/7. Which is smaller: a or 1?
1
Let i be ((27/12)/3)/(-24). Let r(f) = f**3 + f**2 - 2*f - 1. Let u be r(-2). Which is greater: i or u?
i
Let y be 68/(-20) - -4 - 86/(-90). Which is greater: y or 1?
y
Let i be 59770/24 - (-5 - -4). Let v = -2489 + i. Let y = v - 8/3. Is y > 0?
False
Let x be -5*(94/30 + -3). Suppose a - 8 = 3*y, 5*a + 2*y + 0*y + 11 = 0. Which is smaller: x or a?
a
Let j(r) = -r**2 - 7*r - 9. Let v be j(-6). Let w be (0 + v)*8/(-60). Let h be ((-3)/9)/((-2)/6). Which is smaller: w or h?
w
Let v be 1*(-1 + -2) + -10. Let a = 23 + v. Suppose -y + 15 = -2*y - 3*q, 4*y - 2*q - a = 0. Is y not equal to -1/5?
True
Let h(y) = 13*y**3 - y**2 + y - 1. Let q be h(1). Let m = 26 + q. Let p = -149/4 + m. Are 2 and p equal?
False
Suppose 58 = 5*q - 3*o, q + 2*q + 3*o = 54. Which is smaller: 27/2 or q?
27/2
Let w = -73 - -121. Let o = w + -27. Are 21 and o unequal?
False
Let w = 2 + -3. Let n = 3/28 + -149/84. Which is greater: w or n?
w
Let o = -7.43 - -7. Let d = 0.03 + o. Let n = 0.3 + d. Are n and 2 equal?
False
Suppose 3*s = 4*s. Is -10/7 greater than s?
False
Let m = 1 - 0. Let b = 17 - 8. Let w be 4/(-6)*b/(-30). Which is bigger: m or w?
m
Let t be ((-7)/56)/(5/4). Is t greater than or equal to 0?
False
Let n(a) = -a**3 + 5*a**2 + 6*a - 6. Let p be n(5). Let y be 3/(-2)*p/(-9). Which is smaller: 2 or y?
2
Let n(f) = f**3 + 4*f**2 + 1. Suppose 