f(z) = z + 6. Let b be f(-6). Suppose -2*o - 3*p = -b*p - 23, 3*p = u*o - 1. Is o at least 4?
True
Suppose 7 + 1 = -k - 2*n, -4 = n. Is k at least 0?
True
Suppose 30 = -2*r - 4*r. Is -6 != r?
True
Let h be (137/2)/(18/(-20)). Let c = -76 - h. Is c <= -1?
False
Let a = 4 + -2. Let r = a + -3. Let d be 2*(2/10)/1. Is r < d?
True
Suppose -5*x + x = 16. Let t = -1 - x. Is 4 equal to t?
False
Let w be 95/25 - (-1)/5. Suppose 5*m - w = m. Let u(r) = r + 2. Let o be u(-2). Is m <= o?
False
Let w = -0.07 - 0.23. Let l = 0.1 + -0.1. Which is bigger: w or l?
l
Suppose -4*c - c = -2*s + 7, 0 = -3*s + c + 4. Let k be 22/(-231) - 6/(-14). Which is smaller: s or k?
k
Suppose 16 = 2*y + 2*y, -k - 5 = -y. Which is greater: 0 or k?
0
Suppose 20 = 5*q + 5*n, -5*q + 2*q - 5*n + 22 = 0. Let s = 10 + q. Let j be 4/18 - (-7)/s. Is j less than or equal to 1/4?
False
Suppose 5*y = 1253 - 493. Suppose -4*w + y = 32. Let n be -1 - (-3)/(w/8). Which is smaller: 1 or n?
n
Let a be (1 + -4 + 5)*15. Which is smaller: a or 31?
a
Let w = -12 + 12. Suppose -3*m + 5*t + 6 + 4 = w, -20 = -5*t. Is m smaller than 9?
False
Let t = -340/63 - -46/9. Do -5 and t have the same value?
False
Suppose -20*a = -15*a - 185. Which is smaller: 2 or a?
2
Let b be 4/(-3)*9/(-6). Suppose -1 = -3*f + 5*n + 12, 3*f + 1 = -b*n. Are f and -2/7 unequal?
True
Let b = -130.9 + 131. Let c = 59 - 237/4. Which is smaller: b or c?
c
Let p be 152/70 + 2/5. Which is greater: p or 4?
4
Suppose 4*b = b - 6. Let r = 5 - 8. Let v = b - r. Is v less than or equal to 1?
True
Let r be -3 + (3 - -4) + -4. Which is greater: r or -6?
r
Suppose 0 = 5*n - 5*b + 25, 4*b = 5*n - 4*n + 5. Which is bigger: n or -2?
-2
Let u be 6*(-2)/16*(-2)/(-12). Let l = -1 + 2. Is u at most as big as l?
True
Let j = -6.6 - 0.4. Let y = -0.03 - -6.03. Let m = j + y. Is m >= -0.4?
False
Let r = 2.1 + 0.9. Suppose l + 4*i + 4 = 5*l, 3*l - 4*i = -1. Suppose -4*z + l*f + 6 = 0, 4*f = -2*z - 0*f - 10. Which is smaller: r or z?
z
Suppose -4 + 10 = 3*s. Suppose -l - 2*n = 13, -5*l + 7*n = s*n - 10. Is -1 equal to l?
False
Suppose 2*w + 1 = 3*t + 10, 2*t = -5*w - 6. Suppose w*x - 12 = -2*x. Suppose -x = -0*p + 3*p. Is -3 at least p?
False
Let q be 4/10 + 39/15. Suppose -q*j + 12 = -0*j. Let z = j + -6. Do 0 and z have the same value?
False
Let z = 7 - 6. Let m be (3/(-6))/((-14)/(-3956)). Let a = m + 141. Is a not equal to z?
True
Suppose -8 = -4*g + 12. Suppose -3*v - g = -2. Suppose -9*f + 6 = -7*f. Which is bigger: f or v?
f
Let s be 20 - (-2 + (-2)/(-1)). Suppose 3*z + s = -z. Is -6 smaller than z?
True
Let o = 14 - 30. Let u = o - -19. Which is smaller: -1 or u?
-1
Let d be 6/60*(-5)/4*2. Let b = 0 - -1. Is b not equal to d?
True
Suppose -2*j + 0*j = w + 20, 0 = -w + 5*j + 15. Let v be (9/6 + -2)*w. Let r(l) = 2*l. Let b be r(2). Is b equal to v?
False
Let b = -47.974 + 48. Which is bigger: b or 2/5?
2/5
Suppose 3*z - 66 + 219 = 0. Do z and -52 have the same value?
False
Suppose -2 = 2*m, h + 0*m = -m - 14. Let f = h + 13. Do -2/19 and f have the same value?
False
Let k = -2 + 2.3. Let z(o) = -2*o**3 + 7*o**2 - 8. Let w be z(6). Let y = w + 1314/7. Is k greater than y?
True
Suppose 27 = 7*a + 97. Is -14 at least a?
False
Suppose i - 2 = 116. Let d = i - 828/7. Let j(f) = f + 4. Let s be j(-5). Which is bigger: s or d?
d
Let x = 75 - 45. Suppose -j + 3*j + 4*m - x = 0, -5*j + m + 20 = 0. Do 7 and j have the same value?
False
Let m = 2.97 - -0.03. Let s = 2.1 - m. Let p = 1 + s. Which is greater: p or 2?
2
Let f = 1 + 0. Suppose 14 + 7 = 3*i. Is i at least f?
True
Suppose 3*m = 2*j + 123, -3*j + 8*j - 15 = 0. Does 43 = m?
True
Let m(l) = l**2 + 5*l + 5. Let o be m(-4). Let y(k) = k**2 - 5*k. Let p be y(5). Which is smaller: p or o?
p
Suppose -y + 4*y = 5*q + 5, q = 5*y + 21. Suppose -1 = m + 1. Which is smaller: m or q?
q
Let d(i) = -i**2 - 3*i - 2. Let o be d(-3). Let z be (o/1)/(1 - -1). Let u be -1 + 2 + z - 0. Which is bigger: u or 2?
2
Let m be 2/(33/3 - 1). Let x = 8 + -5. Suppose f = -x*f - 4. Is f greater than m?
False
Suppose -3*h - 2*a + 16 = 0, -2*h = -0*a + 5*a - 29. Is h > 17/6?
False
Suppose 2*s = -3*x + 2, -2*s = -x + 3*s - 5. Which is smaller: 2/7 or x?
x
Let b = -1.34 - -0.14. Let i = -0.2 - b. Let r = -61/3 + 20. Are r and i unequal?
True
Let k(z) = -2*z**2 - z - 64. Let l be k(0). Is l less than or equal to -65?
False
Let u = -86 - -604/7. Let j(i) = -2*i**3 - 10*i**2 - 3*i - 14. Let q be j(-5). Which is bigger: u or q?
q
Let a = 33.05 + -38. Let h = a - 0.05. Which is smaller: h or -2/5?
h
Let i = 59/12 - 17/3. Let m be (-2)/(-5) - 48/20. Which is smaller: m or i?
m
Let v = 109 + -109.1. Is 24/7 > v?
True
Let d be (0 + 8/6)/2. Is d >= 0?
True
Let l = 0.1 + 5.9. Let y = 7 - l. Which is smaller: -0.1 or y?
-0.1
Let w = 9 - 4.4. Let h = -1.6 + w. Is h greater than or equal to 3?
True
Let r = -12.1 + 11. Let g = r + 1.2. Is 0.4 > g?
True
Suppose 4*l + u + 15 = 0, 5*u = 5*l + 4*u + 21. Is l less than -4?
False
Let x = -483 - -848. Let g = -3/23872 + -130651411/358080. Let i = x + g. Is -1 less than i?
True
Let p = -2 + 1.6. Suppose 2*b = -5*x - 31, 0 = -b - 0*b + 3*x + 12. Let a = b + 4. Which is smaller: a or p?
p
Let w be 3 - (4 + 3 + -4). Is w bigger than 12/13?
False
Let c = 0.4632 + -19.5932. Let b = 19 + c. Let m = b - -0.2. Which is smaller: -1/4 or m?
-1/4
Let b = -12 + 16. Let l(h) = -h**2 + 5*h - 5. Let y be l(b). Is 0 <= y?
False
Suppose 0 = g + 3*i + 3, 0 = -4*g - 2*i - 4 + 2. Suppose -3*j - 5*s + s + 9 = 0, -j - 3*s + 8 = 0. Which is greater: j or g?
g
Let z(x) = 9 + x + 3 + 2. Let a be z(-11). Are 2 and a non-equal?
True
Let z(o) = -o + 10. Let n be z(0). Let r(d) = -d**2 + 9*d + 7. Let g be r(n). Let q = g + 2. Are q and 0 equal?
False
Let h = 32/9 + -206/63. Which is smaller: -0.12 or h?
-0.12
Let a = 1.7 - -0.3. Which is smaller: 3 or a?
a
Let y(q) = 6*q + 28. Let u be y(9). Is u at least 81?
True
Suppose -2*j - g + 5 = 3*j, -3*j + 3 = -2*g. Is 2/249 less than j?
True
Let b = 20 + 17. Let m = b - 106/3. Which is smaller: m or 3?
m
Let f be (30/9)/(6/9). Suppose 2*x + 4*v - 14 = 0, -f*v + 14 = -x - 0. Is x smaller than 3?
True
Let w = 0.1 + 0. Let j = -415 - -413. Is w less than j?
False
Let l = -4/11 + 39/77. Let z = -1 - 0. Let y be 2/(-4) + z/(-10). Is y <= l?
True
Let s = -20 + 19. Which is greater: s or -2/37?
-2/37
Let k be (0 + (-4)/(-6))*6. Suppose 5*g - v - 6 = 0, 4*g - k*v = -0*v + 8. Let d be g/(-4) + (-25)/(-20). Which is smaller: -2/29 or d?
-2/29
Let f = 31 + -277/9. Let n be 4/(-14) + 4/14. Which is bigger: n or f?
f
Let s be ((-12)/14)/((-1)/28). Suppose -2 - 2 = -2*i + 4*d, 5 = i + d. Let g be i/6 - 22/s. Which is greater: g or -1?
g
Let p(a) = 2*a - 3. Let s be p(4). Suppose 0 = s*d + 15 - 0. Which is bigger: -2 or d?
-2
Suppose 7 = 2*f + 3. Let q be (-1)/((-2)/(2 + 0)). Let o = 1 - q. Is f equal to o?
False
Let o(h) = h**3 + 12*h**2 + 11*h + 9. Suppose -2*k + 5*k + 20 = -i, 4*i + 4*k = -56. Let u be o(i). Are 9 and u equal?
True
Let b = -2.62 + 2.3. Which is bigger: -0.1 or b?
-0.1
Let y = -3 + 1. Let b be (0 + (2 - 4))*1. Let t = 0 + b. Is y not equal to t?
False
Suppose -18*i = -14*i - 4. Is 1/78 smaller than i?
True
Let k(u) = u + 2. Let z be k(-7). Let a(h) = -h**2 - 5*h. Let q be a(z). Let m = 0 + 1. Is q at most m?
True
Let c be (1 + (-2)/(-4))/3. Let m be 2/5 + (-12)/30. Suppose m = 2*l - 3*l. Is c smaller than l?
False
Suppose -7*z + 2*z = -4*x + 22, 2*z + 7 = x. Let m be x + (0 - 132/45). Is 1 <= m?
False
Let k(q) = -5*q**3 - 2*q**2 - q + 4. Let g be k(-2). Is 1 not equal to g?
True
Let y = -0.91 + 0.9. Let s = 0 - y. Let k = s - 0.01. Which is bigger: k or -5?
k
Let y = 7 + -7.01. Let v = y + 0.11. Do v and -2/5 have different values?
True
Suppose 3*t + p = 2*p + 38, -2*t + p = -27. Is 14 > t?
True
Let j(f) = f**2 + 6*f - 7. Let v be j(-7). Let y be 8/3*(-9)/(-30). Which is smaller: y or v?
v
Suppose -4*j + 5 = -z, 3*j + 2*j - 3*z = 15. Which is smaller: j or 4/83?
j
Suppose -17 = -3*t + 1. Suppose -t*q - 10 = -q. Are -12/7 and q unequal?
True
Let i = -16 + 17. Is i greater than or equal to -1/15?
True
Let g be 3 + 27/(4 + -1). Let x be 3*(-8)/g + 11. Is x <= 8?
False
Let u(q) be the first derivative of -q**4/4 + q**3/3 + q**2 - 2*q + 1. Let g be u(2). Let n(k) = -3*k**2 - k + 1.