q + 50 = 2*q. Let d(a) = a - 12. Let n be d(q). Let l be (4 - 4) + (-16)/n. Is l smaller than -2/5?
False
Suppose 5*a + 490 = 5*o, 0 = -5*o + 2*a - 4*a + 497. Let s = -1189/12 + o. Which is greater: -1 or s?
s
Suppose -5*o + 1869 = -5*g - 2*o, 4*g + 2*o + 1482 = 0. Let m = 668 + g. Let c = -4141/14 + m. Is -1 <= c?
True
Let x = -45 - -45. Which is bigger: 9/11 or x?
9/11
Let w be ((-2)/4)/((-1)/34). Let j be 2*-1 + w/7. Let s = -195 + 195. Is s not equal to j?
True
Suppose 1 = -2*f - 3. Let d be (-1 + 1)/f + -1. Let s be (1 - -1)*(-1)/9. Which is smaller: s or d?
d
Let h(g) = 2*g**2 + 7*g - 9. Let j be h(6). Let k = j - 947/9. Are k and 1 unequal?
True
Suppose -5 = 5*q + 5*a, 0*q + 2 = -2*q - 3*a. Let z be (2 + 0)*(-2)/4. Let n be (z/(-3))/(q/2). Is 0 > n?
True
Let j be (5 - (2 - 0)) + 0. Suppose y + 5*g - 5 = j*g, 7 = 5*y + 4*g. Are -1/2 and y equal?
False
Suppose -4*f = -5*f - 5, 5*p + 2*f + 240 = 0. Is -134/3 equal to p?
False
Suppose -19 = 3*p + 23. Let g = 13 + p. Which is bigger: g or -2?
g
Let w = -778/105 - -50/7. Which is smaller: w or -1?
-1
Let j = 8 + -5. Let o = j - 3. Let d(i) = i**3 + 9*i**2 - i - 8. Let n be d(-9). Is n < o?
False
Let z(o) = -139*o**3 + o**2. Let g be z(1). Is -138 greater than g?
False
Let h = -1.5 - -0.2. Let c = 1.4 + h. Which is smaller: c or -4/11?
-4/11
Let z = -2.2 + 2. Let b = -33 + 19. Let q = b - -13. Is z >= q?
True
Let w(f) be the second derivative of f**5/20 + f**4/3 - f**3/3 - f**2 - 2*f. Let u be w(-4). Let i be (u/(-30))/(-1*1). Is 1 at most as big as i?
False
Let j be ((-6)/27)/((-6)/(-9)). Which is greater: 2/11 or j?
2/11
Let z(n) = -5*n + 15. Let i(o) = 4*o - 9. Let v(m) = m + 1. Let d(w) = i(w) - v(w). Let h(l) = 8*d(l) + 5*z(l). Let y be h(-5). Is y at least as big as 2?
False
Let o = 0.01 + 2.09. Let y = o - 2. Is y >= 0.1?
True
Suppose -24 = -3*p - 9*p. Is p at least as big as 0?
True
Let o = 7/44 + 12/11. Which is greater: 0 or o?
o
Let b(q) = 3*q**2 + 47*q - 19. Let v be b(-16). Is -38/11 less than v?
True
Let k be (-490)/125 - (-4)/1. Is -1 less than or equal to k?
True
Let i(p) = p**3 - 18*p**2 - 19*p + 1. Let f be i(19). Which is bigger: f or -23?
f
Let z = -0.3 - 0.7. Let m = 1.3 + z. Let o = 2 + -2. Do m and o have the same value?
False
Let w = -10 + 13. Is w at most as big as -1/16?
False
Let y = 11.67 + -12. Which is smaller: y or 0.1?
y
Let z(a) = -a + 8. Let h be z(9). Let i = 69/1184 + -1/37. Let o = i - 69/160. Is o not equal to h?
True
Suppose -4*n + 4 = -0. Let w = n + 0. Let k be 6/(-15) - w*-1. Is k <= -0.1?
False
Suppose -4*i + 2 = -2*s + 12, -3*s = 4*i - 15. Let a be (-4 - -2) + i + 0. Let k be (-20)/6*3/a. Is k >= 5?
True
Let g(j) = j**2 - 10*j + 10. Let c be g(7). Which is bigger: c or -12?
c
Suppose -2*c + 3*w - 45 = 0, -3*w + 81 = 4*c + 198. Is c greater than or equal to -24?
False
Let j be (-4 - -2)/(86 - 4). Which is bigger: j or 0?
0
Let l = 221 + -5081/23. Which is bigger: l or -1?
l
Let j = -14 + 6. Let f be (-5)/(-2)*j/(-20). Is 1 less than f?
False
Let w = -0.023 + 0.023. Which is smaller: 1.05 or w?
w
Let t(l) = l**3 - 6*l**2 - 2*l + 4. Let j be t(6). Which is bigger: -9 or j?
j
Suppose 0 = -0*d + d + 1. Which is smaller: -1/6 or d?
d
Let o = -17 - -4. Is -0.1 less than o?
False
Let z = -50/3 - -17. Suppose 4 = -4*m + 16, -m + 23 = 5*k. Suppose 3*l + 16 = 2*l - 4*s, -20 = -k*l + 5*s. Is z less than or equal to l?
False
Let s be (-2 + 1 + -2)*-1. Suppose -s*w = -5*w - 5*q + 1, -5*q - 8 = -w. Let u be 1/(-3 - (-11)/w). Is u less than 3?
True
Let i = -1.7 + 1.6. Which is bigger: -1/3 or i?
i
Suppose 5*u = 1 - 36. Let h = -5 - u. Which is smaller: 0 or h?
0
Let a = -0.18 + 0.17. Which is smaller: -1 or a?
-1
Let m(r) = 3*r**2 + 11*r. Let p(k) = 0*k - 8*k**2 - 22*k - 10*k. Let y(n) = 11*m(n) + 4*p(n). Let i be y(7). Which is smaller: 1 or i?
i
Let y(k) = 28*k**3 - k - 1. Let s be y(-1). Let c = s - -30. Suppose -3*u + 11 = -1. Which is smaller: c or u?
c
Let i(t) = t**2 + 3*t - 12. Let a be i(-5). Is -1 > a?
True
Let q = 110.53 + -109. Let i = -16.4 + 18. Let k = i - q. Is k less than or equal to -0.1?
False
Let c be (4/14 - (-3108)/(-1274)) + 1. Which is greater: -2 or c?
c
Let b(s) = -3*s + 3*s - 4 - s. Let d be b(4). Is -7 less than d?
False
Suppose 16 = -2*q - 4*o, q = 3*q - 5*o - 11. Is -16/5 < q?
True
Let l be (-9)/(-63)*(-1 + 0). Which is smaller: 1 or l?
l
Let p be (-31 + -3)*4/(-8). Are 17 and p equal?
True
Let b = 4 + -8. Let a = 649/7 - 93. Which is smaller: b or a?
b
Let v(h) = -h**3 + 2*h**2 - h. Let u be v(0). Let x(s) = s - 1. Let c(l) = -3. Let o(r) = -c(r) - x(r). Let a be o(4). Is u equal to a?
True
Let l = 375 - 2603/7. Let n = 536/175 - l. Which is smaller: n or 1?
n
Let h = 198 - 195. Let c(d) = d. Suppose 4*y - 5 = 2*y - s, -3*y + 21 = -3*s. Let v be c(y). Are v and h nonequal?
True
Let u(d) be the third derivative of -d**6/120 + 7*d**5/60 + 7*d**4/24 + d**3 - 4*d**2. Let s be u(8). Is s < -1/2?
True
Let w = 9 - 21. Which is smaller: w or -10?
w
Let c = 2.4 - 1.4. Is 1 > c?
False
Let n = -3 + 5. Suppose n*g - 4*g = 0. Suppose g = -6*q + 2*q. Which is smaller: 1 or q?
q
Let a(p) = p**3 + 6*p**2 + p + 2. Let t be a(-6). Is -1 at least as big as t?
True
Let f = 18 + -9. Let s(j) = j**2 - 8*j - 9. Let k be s(f). Which is greater: 2/7 or k?
2/7
Let g = -6 - -13. Let u be (-132)/(-21) - 1 - 40/140. Is u not equal to g?
True
Suppose 2*m - 2*p + 13 = 7, -5*p = -3*m - 19. Which is greater: -6 or m?
m
Let b = 644207/42 - 15339. Let g = b - -1/14. Suppose 4*c - i = -8, i + 4 = -c - c. Which is greater: c or g?
g
Let n = -57 + 35. Let f be 15/n + 4/22. Are f and -0.3 nonequal?
True
Let v(z) = -3*z + 2*z + 0 + 1. Let o be 6/5 - 1/5. Let t be v(o). Which is smaller: -1 or t?
-1
Let y be (-8)/20 - 44/(-10). Suppose 4*s + 5*d = -8, 4*d = -y*s - 0*d - 4. Let n be 4/(-18) - 145/(-45). Is n > s?
False
Let h = 43/2 - 21. Suppose 4*p - 1 = -5*n + 7, -10 = -2*n - 5*p. Suppose 3*j - 6 = 0, 4*c + j + n = 18. Which is smaller: c or h?
h
Suppose -5*u + 6*u = 1. Let l = -58/33 + 10622/7095. Let h = l + -6/43. Is h greater than u?
False
Suppose 0 = 4*q - 3*w - 2, 2*q + 0 = -w - 4. Is -2/31 at most q?
False
Let y = 7 - 8. Which is smaller: y or -2?
-2
Let k(z) = 18*z - 2. Let q be k(-5). Let f = q + 826/9. Which is bigger: f or -0.1?
-0.1
Let p = -178.13 - -177. Let x = 0.03 + p. Let i = x + 1. Which is smaller: -0.2 or i?
-0.2
Let c = 32 - 38. Is -5 greater than c?
True
Let m = 28 - 29. Let l = 217/5 - 43. Which is greater: l or m?
l
Let p = -30 - -37. Which is smaller: p or 14?
p
Let f = 1 + -1.1. Let r = f + 0. Let w = r - 0. Which is greater: w or -3?
w
Let d be (-12)/(-3) + 0/(-1). Let g = 25 - 25. Suppose g = d*a + 5 - 13. Is a > 1?
True
Let j = -8 + 5. Let l be (-4 - j)*(-6)/11. Is l > 1?
False
Let t = 8/189 - 5/27. Let s(r) = r + 1. Let y be s(-2). Is y smaller than t?
True
Let f = -0.07 + -3.93. Let x = f + 3. Let s = 5/6 - 13/12. Which is greater: s or x?
s
Suppose -7*t - 4 = -9*t + 2*c, 3*t + 3*c + 12 = 0. Let w = 3 - 2. Which is smaller: t or w?
t
Let n = 16 - 13. Suppose -3*r + n - 6 = 0. Is r > -1?
False
Suppose 3*i + 15 = 3*c, i + 2*i - 1 = -c. Let z be -3 - -1 - 18/(-8). Is z at least i?
True
Suppose 4*w - 3*u + 48 = 0, -2*w + 0*u - 26 = -2*u. Is w not equal to -8?
True
Suppose 4*r = t + 6*r - 8, -5*r = t + 7. Is -1 > t?
False
Let n be 221/52 + 1/(-4). Let i(h) = -h - 6. Let r be i(n). Is r less than or equal to -10?
True
Let k(h) = h - 6. Let l be k(9). Suppose 2 = 2*z, l*v - 3 = -3*z + 3. Let r be (1 - 3) + -2 + v. Which is smaller: -1 or r?
r
Let v = 120992/175 + -19536/25. Let w = v + 90. Is w > 1?
False
Suppose 2*i - 9 + 1 = 0. Suppose -x - 48 = -i*x. Suppose 5*c + 3*j + 1 = -x, -2*c + 18 = -5*j. Is 0.2 at least c?
True
Let z(c) = c**3 - 6*c**2 - 8*c + 2. Let g be z(7). Which is smaller: -4 or g?
g
Let m be (-2)/((-3)/((-9)/6)). Are -1 and m equal?
True
Let r(c) = -c - 1 - 2 + 7. Let h = -2 - -6. Let d be r(h). Is d less than -0.4?
False
Let q be 3/(-6) - (-2)/4. Suppose 3*l = -q*l. Is -2/9 not equal to l?
True
Let l = 17 + -10. Which is bigger: -1 or l?
l
Suppose 5*j + 40 = 5*b, j + j = -b + 8. Suppose 3*n = -5*o - 30, 5*o + 29 + 1 = -2*n. Let v be o*(2/4 - 2). Which is bigger: v or b?
v
Let d(w) = -w**2 - 2*w - 2. Let j(x) = 3*x**2 + 6*x + 6