n = -n + 525. Let c be 2/(-3) + (-193)/n. Let l = c + -8/5. Does l = -1?
False
Let x = 7 - 2. Suppose -6 = x*c - 2*c. Let y be c/3 + (-5)/(-3). Which is smaller: y or -1/5?
-1/5
Suppose -l - 7 = 2*b, -2*l - 7 = -2*b + 7. Let c(u) = 10*u + 1. Let y be c(-1). Let i be -1 + y/(-3) - 9. Is l bigger than i?
False
Let a(j) = -3*j - 6. Let d be a(7). Let f be (2 + 6 + -2)*90/(-20). Are d and f equal?
True
Suppose 5*b - 2*m - 2*m = 472, 3*b - 282 = 2*m. Suppose 0 = 5*p - 2*d + 3*d - 214, -2*d = 2*p - b. Is 41 at least p?
False
Suppose 8*n + 17 + 375 = 0. Let g = -58 - n. Which is greater: -8 or g?
-8
Let r = 72.2 + -63. Let x = 0.2 - r. Let n = -9 - x. Are -0.2 and n nonequal?
True
Let l = -1.8 - -10.8. Let v = 118.8 + -110. Let y = l - v. Which is bigger: y or 0.1?
y
Suppose 166*v = 141*v + 25. Which is smaller: v or -22/47?
-22/47
Let n(p) = 5*p**2 - 34*p + 27. Let i be n(9). Which is greater: 124 or i?
i
Let v be 3/((-198)/(-119)) + -1*2. Let o = v + -3/22. Which is greater: o or -25?
o
Let i = 127 - 126. Is -2/5 less than or equal to i?
True
Let l(x) = -x**3 - 9*x**2 + x + 11. Let y be 2/6 - (-174)/18. Suppose -3*g - y = 17. Let v be l(g). Which is bigger: v or 5?
5
Let j be (-3)/(90/4)*(-18)/(-288). Which is smaller: j or -1?
-1
Suppose -2*t - 138 = -113*q + 117*q, 2*q = 2*t + 150. Is 3 < t?
False
Let d = 896/195 + -3/260. Is d >= 5?
False
Let n = -20 + -32. Let o = n + 990/19. Which is smaller: o or -3?
-3
Suppose -4*v + 2*m = -160, -5*v + 5*m = -159 - 46. Let y = 30 - v. Is -8 > y?
True
Let p = 11 + -5. Let f = p + -5.95. Let m = f + 0.05. Which is smaller: m or -1?
-1
Suppose 13*a - 7*a = 966. Does a = 161?
True
Let i be 41/1148 + (1 - 3/4). Which is smaller: i or 0.2?
0.2
Let h = 25 + -11. Let b = h - 9.96. Let r = -0.04 + b. Which is smaller: -2 or r?
-2
Let f = 5779883017/301020 + -556830/29. Let a = -10/173 - f. Is a at least -1?
True
Let d = 0.4 - -0.62. Let r = d - 0.02. Let q = -0.06 + 0.46. Is r at least as big as q?
True
Let d be (-8)/(-44) + -3 + 31248/77. Is d <= 402?
False
Let u = -361/18700 + -2/187. Which is bigger: u or -1?
u
Suppose -15 = -x - 4*k + 3*k, 0 = -3*x - k + 43. Suppose 12*f - x*f = -28. Let t be f/(-21) + (-1)/(-2). Are t and 1 unequal?
True
Suppose -5*j = 5*p + 25, -2*j - 2*j - 20 = 3*p. Let v(a) = a + 11. Let z be v(-8). Suppose -5*q - z*y = -0*y + 12, -3*y - 3 = 2*q. Is q != j?
True
Let c = 378/2231 + -8/97. Let b(a) = -a - 1. Let y(u) = 3*u + 10. Let d(f) = 4*b(f) + y(f). Let z be d(7). Which is greater: c or z?
c
Let a = -3/4 + 119/148. Let j(m) = 1 - 1 + m. Let g be j(0). Is a != g?
True
Let w be (3/(-5))/(15/(-150)). Let d be (-2)/16*w - (-11)/4. Which is smaller: 1 or d?
1
Let b be 12/4*(-2)/4*2. Which is smaller: 0.9 or b?
b
Let z(g) = -6*g**2 + 2. Let t be z(-2). Let j = 27 + t. Let v = 7 + -2. Is j smaller than v?
False
Let u be ((-6)/4)/(2/(-4)). Suppose u*a - 2*a = 5*l + 27, -3*a = -2*l - 133. Let k = a + -32. Is k greater than or equal to 15?
True
Let u(r) = -2*r**2 + 6*r. Let g be u(3). Which is smaller: 8 or g?
g
Let i = -4 + 8. Let k be 2 - i - (-5 - -3). Are k and -1/2 equal?
False
Let f = -9.4 - -1.1. Let o = 8 + f. Let n = o - -1.3. Is -0.2 < n?
True
Let h = -2/19 - 176/133. Which is smaller: h or 0?
h
Let s = -918 + 918. Is -0.24 not equal to s?
True
Let l(t) = 11*t - 61. Let c be l(6). Let o(p) = 0 + 6 - 1 - 3*p. Let i be o(c). Is 0 <= i?
False
Let d = 0.0798 + -0.1028. Which is smaller: -10 or d?
-10
Let v = -16.06 + 16. Let x = 78 + -79. Is v at most x?
False
Let r be 208/(-24) + 8 + 542/(-6). Which is smaller: -1182/13 or r?
r
Let c(w) = w**3 + 6*w**2 + w - 97. Let k be c(0). Which is greater: k or -3?
-3
Let o = -659 - -664. Is -33 > o?
False
Suppose 2*m + 3*m = -5*p + 30, 0 = 3*p - 3*m - 36. Let b be ((-2)/(-9))/((-12)/p). Do -1 and b have different values?
True
Let n = 1.34 + -1.04. Which is greater: -89 or n?
n
Suppose 2*n + 5*x = 3*n + 11, -2*n + 5*x - 7 = 0. Let r be (6/9)/(n/(-27)). Let l(f) = -3*f**2 - 143*f - 98. Let o be l(-47). Which is greater: r or o?
o
Let y = -736 - -843. Is y at least 110?
False
Let q = 27 - 24. Suppose -3*n + 4*v + 24 = n, -v - 8 = -q*n. Let m = -6 + 8. Is n <= m?
True
Let r = -61 + 14. Let c be r/(-9) + 12/(-54). Which is smaller: -8 or c?
-8
Let q = 3067/5553 - -2/617. Let j = -22/3 - -64/9. Let c = q + j. Are -1 and c equal?
False
Let t = 159 - 798/5. Suppose -m - 21 = 2*m. Let b(q) = -q**2 - 7*q - 1. Let p be b(m). Which is smaller: p or t?
p
Suppose -188*g - 80 = -193*g. Is 15 not equal to g?
True
Let y = -121 + 22. Which is smaller: y or -100?
-100
Let s(q) = -q**3 + q**2 - q + 9. Suppose -3*g - 12 = 3*b, -5*g + 3*b + 8 = -4. Let k be s(g). Is k equal to 10?
False
Let x = -0.08 + -11.92. Let o = x - -3. Which is greater: 0 or o?
0
Let x = -34 - -27. Let y be 16/7 - (4 - (-26)/x). Which is smaller: 4 or y?
y
Let n = 251 + -252. Are n and 1/336 equal?
False
Let v = 532/3 + -3718/21. Let s(h) = h**2 + 5*h. Let a be s(-5). Suppose a*q + q - 1 = 0. Is v at most as big as q?
True
Let s be (-141)/145 + (8 - 7). Let h = s - 463/1015. Which is smaller: -0.2 or h?
h
Let f = 1165 + -1166. Which is smaller: -18/431 or f?
f
Let d = -414.833 - -415. Is d smaller than 2?
True
Let n(x) = 6*x**2 - 37*x + 6. Let g be n(2). Are g and -3 unequal?
True
Suppose -4*q = -9*q + 15. Suppose -q = -10*c + 7*c. Let l = -242 - -2666/11. Is c bigger than l?
True
Let z = 1197 + -16731/14. Is 0.1 at least z?
False
Let z = 247119/7 - 35148. Let x(i) = -17*i**2 + 2*i + 4. Let j be x(-3). Let n = j + z. Which is bigger: -0.01 or n?
-0.01
Let p = -5 + 9. Let t = -18 - -15. Let n = -2.9 - t. Is n < p?
True
Let p be (30/20)/((-2)/(-4)). Let q be -2*(p + (-28)/8). Let f be -2 + (-4 - (-220)/32). Which is greater: q or f?
q
Let p = -4 + 4. Let a(j) = -2*j + 7. Let y be a(0). Let f be (-2)/y - (-9)/7. Which is bigger: f or p?
f
Let y be (3/3)/1*1. Let f be (9/10)/(y/2). Let c = 32/15 - f. Which is smaller: c or -6?
-6
Let n(x) = 2*x - 6. Let j be n(7). Let c be ((-6)/j)/(2/348). Let q = c + 6521/50. Which is smaller: q or -1?
-1
Let w be (-2)/7 + 24/126. Suppose 4*y - 2*z = 14, 5*y - 17 = 3*y + 3*z. Is w > y?
False
Let t = 7473 + -7461. Let f = -4138/3 + 1391. Which is bigger: f or t?
t
Let o be 0 - 516 - (-1 + -1). Let s = o + 17988/35. Which is smaller: 1 or s?
s
Let n be 4/(-6)*(-18)/3. Let w be ((4 - n) + 2)/2. Which is smaller: -3 or w?
-3
Let h = -9/4 + 7/4. Let j(d) be the third derivative of -d**6/60 - d**5/15 + d**4/24 + d**3/6 - 11*d**2. Let c be j(-2). Which is greater: h or c?
h
Let a(n) = -n**2 - 3*n - 1. Let h be a(-2). Which is smaller: h or -10/119?
-10/119
Let o = -5 - -5.1. Let x = -15073/3 + 4975. Let r = 2806/57 + x. Which is smaller: r or o?
r
Let x(m) be the second derivative of -m**3/6 - m**2 + 3*m. Let q be x(-3). Let i = -435/92 - -126/23. Which is greater: q or i?
q
Let f = -1177 - -1185.99. Let t = f - -0.01. Let k = t - 9.02. Which is greater: 1 or k?
1
Let s(t) = -28*t**2 + 11*t - 7. Let p be s(8). Let k = p - -17071/10. Let n = 323/70 + k. Is 1 <= n?
False
Let v be -5 - (-10 - (-12 - -2)). Which is bigger: -102 or v?
v
Let a be 5 - (-92)/(-20) - 2/5. Which is smaller: a or -3/62?
-3/62
Let j be (-1 - 6)*(-1 + 0). Suppose -5*y - 19*x + 15*x + 27 = 0, 5*y = -2*x + 31. Do y and j have different values?
False
Let p(s) = -s**3 - 5*s**2 + s + 5. Let t be p(-5). Let u be (7*(-264)/18326)/((-4)/14). Which is smaller: u or t?
t
Let t be 0/2 - (-1 + 1). Suppose q + t = -4. Let a = q + -3. Is -7 at most a?
True
Let t = -3.1 - -3. Let w(m) = m + 12. Let c be w(-11). Let j be c/(-2) - 2/4. Which is smaller: t or j?
j
Suppose 2*z - 3 = 13. Let j be (12/z)/((-3)/8). Let b be (3/2)/(10/(-4) + 2). Are j and b unequal?
True
Let w = 3 - 0. Suppose -4*u + 6 = 2*k - 0*k, -w*k = -5*u + 2. Is 4/7 smaller than k?
True
Let f(j) = -31*j**3 + 2*j + 1. Let m be f(-1). Let y be m/(-21) + 1 + -1. Let w = -42 + 40. Is w != y?
True
Let f(k) = k**3 + k**2. Let m be f(0). Let z be (9/52)/((-6)/4). Is z less than m?
True
Let c = 37 - 46. Let f = 8 + c. Is f at most as big as -8/7?
False
Suppose 6*r - 68 + 20 = 0. Let g be 12/r*6/9. Which is smaller: 4 or g?
g
Suppose 2*o + 5*u - 15 - 7 = 0, o + u - 5 = 0. Is 6 less than or equal to o?
False
Let z = -1868 - -1732.3. Let d = 136 + z. Are -0.4 an