10. Let s be 1*(0/(-2) + y). Is -15/17 >= s?
True
Let k be 8/664*1/(-11). Let c = 997/913 + k. Let t be (52/(-156))/(1/(-6)). Which is smaller: c or t?
c
Let z(l) = l**2 + 3*l + 6. Let m be z(-4). Let p be (42 - 24 - 28) + 448/22. Is p at most m?
False
Suppose 3*b - 3*r + 108 = 0, b + 34 = 2*r - 3. Let a = b - -35. Let n be 550/1614 - (-5)/(-15). Does a = n?
False
Suppose 4*d + 5*k - 310 = 0, 0 = -3*d - 3*k + 133 + 101. Suppose 111*b - 114*b + 237 = -4*w, 0 = -3*b + 2*w + 237. Which is greater: b or d?
d
Let l be ((-132)/(-275))/(34/(-5)). Let n = -9969/340 - l. Let y = -29 - n. Are y and 0.1 equal?
False
Let m = 172 - 172. Suppose -3*f = -o + 24, -f = -o - o + 23. Let s = o - 13. Which is bigger: m or s?
m
Let l(k) = 2*k**3 - 182*k**2 + 21*k - 910. Let s be l(91). Is s bigger than 999?
True
Let y be 7 + (-44289)/11077 + -3. Is y greater than or equal to -1?
True
Let l be (-16)/6*(-23)/(1380/495). Suppose -3*r + h = 1, -r - h + 19 = l. Do -3/34 and r have the same value?
False
Let s = -6 + 5.988. Let n = 189 + -186. Suppose 7 = 2*i + o, -n*i + 22*o = 26*o - 23. Is s greater than i?
False
Suppose 9970 = -2*c + 4*u + 1236, -5*c + 4*u = 21817. Let h be 7/c*(-7)/1. Is h greater than or equal to 0?
True
Let y be (-16)/30 + 1/3. Let q(f) = -11*f**2 - 48*f - 15. Let w(b) = -b**2 - 11*b - 22. Let x be w(-2). Let j be q(x). Is y not equal to j?
True
Suppose -d = -2*h - 586 + 266, -3*d + h + 960 = 0. Is 322 at least d?
True
Let p be 0/14 + -1*(0 - 0). Suppose p = -5*z + 43 - 43. Is 60/13 at least z?
True
Suppose 2*y = -22, -y - 8 = -4*b + b. Let s = -4 - -3.94. Let x = -1.86 - s. Which is smaller: x or b?
x
Suppose 7*i - 3458 = -13615. Is i smaller than -1447?
True
Let g(j) = -26*j - 11. Let c be g(-1). Suppose -7*n + 6 = -c. Suppose 0 = 2*z + 4*k - 4, 3*z - 1 = 2*k + 5. Does z = n?
False
Let t = -5 - -4.8. Let w = -9763/12958 - -230/341. Which is greater: w or t?
w
Let g(p) = 5*p**2 + 9*p. Let x(v) = v**2 + v. Let a(z) = g(z) - 6*x(z). Let j be a(3). Let y be (-2)/((j + (1 - 4))*9). Are 1 and y non-equal?
True
Let w = -21198/7 - -3028. Are -1/89 and w non-equal?
True
Let n(h) = -2*h**3 - 3*h - 176. Let d = 68 + -68. Let c be n(d). Which is smaller: -177 or c?
-177
Let l(b) = b**3 - 18*b**2 + 7*b + 14. Let y be l(17). Let f = y + 149. Do f and 18 have the same value?
False
Let m be -1 + 140/24 - (-1)/6. Suppose n - 2*x - x + 18 = 0, -2*n = m*x - 19. Let y be n/(-1*(-27)/12). Is 3 less than y?
False
Let m = 601 - 348. Let l = m - 253.1. Is -98/5 at most as big as l?
True
Let g = -16349 - -16526. Which is greater: g or 16?
g
Let i be ((-6)/(-12)*1 + 0)*(-8)/14. Is 1005 < i?
False
Suppose 0 = 2*j + 3*f + 5, 3*f + 14 - 15 = -5*j. Suppose -17 = j*n - 5*w - 6, 0 = -3*n + 2*w. Is n > -0.082?
True
Let q be (416/(-20) - -20)/(2/(-200)). Is 109 less than q?
False
Suppose 2*f - 606 = -3*r - r, -5*r = -3*f - 741. Let s = -155 + r. Is s less than -5?
False
Let v = -1620023 + 1046534461/646. Let d = v - -39/38. Which is smaller: d or 0?
0
Let s = 102661/2 + -50284. Is s > 1048?
False
Let w(b) = b**2 - 4*b - 7. Let s(c) = -c**3 - 4*c**2 + 5. Let z be s(-4). Let y be w(z). Is 0.01 < y?
False
Let i = -2.045 + 0.045. Let p(c) = -c**3 - 3*c**2 - 2. Let z be p(-5). Let h be ((-3)/(-1))/(z/32). Is i > h?
False
Let i(z) = -397*z + 2385. Let j be i(6). Is 67.6 smaller than j?
False
Let g(a) = 2*a**2 + 25*a - 218. Let j be g(-16). Let k be 0/(3 + -1) + 1. Which is smaller: k or j?
j
Suppose -439*j = -432*j. Which is bigger: j or -1/8576?
j
Let i = -0.3 - -1.3. Let q = -467112.48 - -467113. Which is smaller: i or q?
q
Suppose -14*q = -119543 + 27927. Is q >= 6543?
True
Let y = 0.0766 + -612.0766. Let s = y - -613. Let l be (-2)/(-2) + 20/(-22). Which is bigger: s or l?
s
Let u be 0/8*(-33)/264. Do -17/462 and u have the same value?
False
Suppose 0 = -184*q + 207*q - 8625. Let k = -365 + q. Which is greater: k or 6?
k
Suppose -15*o = -37*o + 88. Suppose o*r + g = 6, -4*r = 2*g + 2 - 10. Which is smaller: -1/320 or r?
-1/320
Let y be 5/(25/4) - (-798)/665. Which is greater: y or -56?
y
Suppose o + 3*q = 0, 2*q = 5*o + q. Suppose o = 3*d + 10 - 7. Let t be d + (-10)/15*-3. Is t < 4/17?
False
Let w be (-3)/(7/2 + -2). Let k = -332544 - -332543.9. Which is smaller: w or k?
w
Let r = -9873.7 - -9874. Which is greater: 15/86 or r?
r
Suppose 3*j + 3*u = 0, 0*j - 5*j = -2*u - 21. Suppose -j*z + 4 = -z. Let m be 3/180*(z - (-10)/(-3)). Which is smaller: m or 1?
m
Let l = 1824463241/4357 + -418743. Is l smaller than -1?
False
Let a be 138 + -13 + 27 - -11. Which is smaller: a or 178?
a
Let t(r) = -3*r + 148. Let c be t(6). Let p = c - 130. Which is smaller: -9/10 or p?
-9/10
Let s be (-9270)/660*(-28)/42*111*2. Is s at least as big as 2078?
True
Let o = -50 + 6197/124. Which is bigger: o or -0.4?
o
Let l = 446/863 - -53899/284790. Let r = l + -1/165. Suppose -2971 = 5*v - 2966. Do v and r have different values?
True
Let p be (17 + -13)/(-1 + 2) + -85. Let r be -39*((-15)/p)/(-5)*3. Which is greater: r or -3?
r
Suppose -2*p = 2*p + 5*b - 27, 2*b - 12 = -2*p. Suppose -46 = -v + p*w - 13, v = 5*w + 39. Let u = -16172 - -16194. Which is smaller: u or v?
u
Let m = 0.63 + -66.63. Let a = m - -68. Which is smaller: -2/27 or a?
-2/27
Suppose -14*a + 351 = 309. Let k(c) = -8*c + 7. Let j(q) = -8*q + 6. Let t(f) = 6*j(f) - 5*k(f). Let v be t(-1). Which is smaller: v or a?
a
Let c be ((-5)/((-25)/184))/((-106)/(-795)). Which is greater: 1 or c?
c
Suppose -631 + 85 = -3*r - 4*y, 3*r - 3*y = 546. Suppose -64 = r*x - 178*x. Which is bigger: x or 5?
5
Let h = -44.48 - -44.28. Which is bigger: 0.0179 or h?
0.0179
Let c be (-4)/2 + 3 - -1. Suppose 0 = 2*q + q, -2 = 2*w - c*q. Let a be 85/108 + w + (-29)/(-116). Which is smaller: a or 0?
0
Suppose 5*p = -p - 99*p + 288540. Is 2746 at most as big as p?
True
Let n(h) = 35*h**3 + 2*h**2 + 4*h + 2. Let v be n(-1). Let z = -197 - v. Which is smaller: z or -163?
-163
Suppose -74 = t - 2*f, -3*t = f - 2*f + 217. Let h be 49/(-35)*(-1)/(14/t). Which is smaller: -6 or h?
h
Let h = -100.6 + 103. Let m = h - 7. Let n = 4.4 + m. Which is smaller: n or 12?
n
Let z be ((-25)/(-10) + -3)/(3/(-3918)). Let b = -680 + z. Does b = -16?
False
Let q = -3181 - -3097. Which is smaller: q or -675/8?
-675/8
Let c = -4717.0148 - -4717. Are 2/9 and c equal?
False
Let i(u) be the second derivative of u**3/2 - 13*u**2/2 + 34*u. Let s be i(5). Suppose s*p = 6*p - 3*v - 130, 0 = -5*p - v + 172. Which is smaller: p or 32?
32
Suppose 2*h = -2*w + 52, 4*w - 92 = -8*h + 10*h. Suppose w = -6*c + 3*c. Is c >= -7?
False
Let u(g) = g**3 + 20*g**2 + 32*g - 7. Let q be u(-18). Let l = 83 + -44. Suppose 3*p = -0*p + 5*h - l, -5*p = 5*h + q. Which is greater: p or -16?
p
Let r be 12*11/69894*9/(-4 - -1). Does r = -1?
False
Let g(z) = 159*z**2 - 30*z + 4. Let q be g(-4). Suppose -75*i - q = -17*i. Is i less than -46?
False
Let l = 12902 + -12901.74. Is -21 <= l?
True
Suppose -4*z + m = 40, 6*z - 4*m = 9*z + 11. Let c(r) = r**3 + 14*r**2 + 42*r + 19. Let f be c(z). Is 45 less than f?
True
Let p = 1737/157 + -559301/47885. Let z = -1/61 - p. Which is smaller: 0 or z?
0
Let l = -438112107/2872 + 152546. Which is greater: l or 1?
1
Let d(c) = c**3 - 8*c**2 + 7*c - 1. Let g be d(6). Which is smaller: g or 15?
g
Let i be 1253*1/(-628) - -2. Suppose -5 = 21*n - 26*n, -2 + 4 = -2*h + 2*n. Which is greater: h or i?
i
Let r be 207/115 + 6/(-4). Let d = -888/5 + 178. Which is smaller: d or r?
r
Let x = 30 - 89. Let s = -2/7475 + 14968/67275. Which is greater: x or s?
s
Let o = -207309/11 - -18846. Let d = -7.6 - -8. Let p = 2.4 - d. Which is greater: o or p?
p
Suppose -1 = -y + 2*y. Let l(q) = q**3 - 3*q**2 + 2. Let z be l(3). Let g be (-1)/58*(0 + z). Is g greater than y?
True
Let i = 135 + -130. Suppose -5*h + 7*h = -8, 4*h = -3*p - 13. Which is smaller: i or p?
p
Let o be ((-1122)/(-4))/(11/4 - 2). Let m = o + -300. Is m at least as big as 75?
False
Suppose -57*a + 156 = -45*a. Let m = a - -16. Which is smaller: m or 10?
10
Suppose -20*m = -4*m - 5*m - 11. Is -42/389 greater than or equal to m?
False
Let v(k) = k**2 + 13*k + 1262. Let u be v(0). Is u greater than or equal to 1262?
True
Suppose -186 = 584*q + 398. Are q and 4/2985 unequal?
True
Let u = 31 + 13. Let c = -161 - -206. Which is smaller: u o