a(l). Is -7/3 != m?
True
Let x(h) = 58*h**3 + 2*h**2 + h - 2. Let t be x(1). Let d = 74 - t. Let w be -5*(24/d)/4. Is w <= -7/8?
True
Let d = 7 + -4. Suppose -6*j + d*j + 9 = 3*a, j + 5*a - 15 = 0. Is j bigger than 6/29?
False
Suppose 19*i - 83805 = 45167. Is 6788 greater than or equal to i?
True
Let l(q) = -q**2 - 3*q. Let a be l(-2). Suppose 4*t = -r + 122, -3*r - 10*t = -6*t - 406. Let y = 865/6 - r. Which is greater: y or a?
y
Let j = 3072/1751 + -29/17. Suppose -4*m + 4*w + 12 = 0, 718*m - 721*m = -w - 5. Is j equal to m?
False
Let r = -4330 - -4349.93. Let g = -20 + r. Let s = g + 0.07. Is s smaller than 0?
False
Let w = 191 - 189. Suppose 34*c + 2*i - 1384 = 29*c, -571 = -w*c + 5*i. Is c smaller than 278?
False
Let z = -1812.975 + 1773. Let y = z + -0.025. Let l = -3.1 + 3.2. Which is greater: y or l?
l
Suppose 42*i - 2*i - 5 + 5 = 0. Let y = -6/89 + 479/5785. Which is smaller: i or y?
i
Suppose 8*b - 3691 = -739. Let x = b - 411. Which is smaller: x or -41?
x
Let d be (52236/(-108))/((-12)/(-9) + -1). Do d and -1451 have different values?
False
Let s = -9674 - -8120. Which is bigger: s or 0?
0
Suppose -5*o + 1806 + 3987 = -447. Is 1253 at least o?
True
Suppose 2100*i = 2105*i + 5. Is i at most as big as 1/1850?
True
Let c be (6/(-4))/(3 - (-343)/(-35)). Let p = 1029/884 + c. Which is smaller: p or 2?
p
Let o(x) = 2*x**2 + 6*x. Suppose -a - 12 + 7 = 0. Let i be o(a). Which is bigger: 22 or i?
22
Let a(s) = 0*s**2 - 15 - 16 + 0*s**2 + 15*s - 3*s**2. Let f(u) = -u**2 + u - 1. Let g(x) = -a(x) + 4*f(x). Let k be g(-13). Which is smaller: k or 1/53?
1/53
Let b be (12 + -13)*(-2)/(-1). Let a be (12 - 9) + (b - -2) + -2. Which is smaller: 8 or a?
a
Let q(y) = 58*y - 2368. Let g be q(75). Do 1980 and g have the same value?
False
Let k be (-24 - -17) + (-539)/1. Let b be (k/(-40))/((-18)/(-15)). Is b >= 1/3?
True
Let n = -6342.75 + 6343. Let v = 6.5 - 8.58. Let x = 0.08 + v. Is x >= n?
False
Suppose -11 = 5*r - 31, -i - 21 = -5*r. Suppose -h = -2, q + 2*h - 35 = -0*q. Let t = i + q. Do 30 and t have different values?
False
Let g(q) be the second derivative of q**4/3 - 13*q**3/6 - 19*q**2/2 + 11*q - 2. Let n be g(-6). Is 203 < n?
False
Let z(b) = b**3 + 19*b**2 - 19*b + 12. Let r be z(-20). Let v = 1226 - 6172/5. Which is smaller: v or r?
v
Let a be 15*1*(-10)/(-30). Suppose a*i - 25 = 5*d + 15, -4*d + i - 23 = 0. Let l be (-96)/18*18/8*d. Is 60 less than l?
False
Let t be 1*(3 + 0 + 58). Suppose 0 = 3*g - 16 + t. Which is greater: -12 or g?
-12
Let t be (2/4)/(1182/1576). Which is greater: t or -5454?
t
Let u = -27.1 - -21.6. Let w = 39/2 - 20. Is w less than u?
False
Let q be 3/6 - (-9)/(-6). Let h be ((-401)/12)/((-5)/(-50)). Let s = 333 + h. Which is bigger: q or s?
q
Suppose -f - 3*f = -4*o - 112, -o = -2*f + 56. Let m(y) = y - 26. Let u be m(f). Let q be u*-3*13/39. Which is greater: q or -4?
q
Let m(z) = -2*z**3 - 10*z**2 + 3*z + 19. Let b be m(-7). Suppose 2*w = b - 28. Let v = -329/4 + w. Which is bigger: -3/13 or v?
v
Let m be 627/9*3/142. Let n = -2/71 - m. Suppose -5*c + 9*c = -7*q - 22, 2 = 4*c - 5*q. Is n at least as big as c?
True
Let j = 0.146 + -41.646. Let g = j + 42. Let f = g + -0.56. Is f smaller than 0.06?
True
Let q(m) = m**3 + 7*m**2 - 103*m - 656. Let d be q(-6). Is d < 12?
True
Let j = -15 + -16. Let k = 179 - 207. Let c = k - j. Which is smaller: 2 or c?
2
Suppose 0 = -8*l + 5*m + 94, -2*m + 43 = -3*l + 6*l. Is l greater than 340/29?
True
Let c be -11 - (-1)/2*24. Does c = -45/439?
False
Let t = -1194.035 - -1194. Let v = 0.0621 - 2.0971. Let k = t - v. Is k less than -3?
False
Let p = -0.1928 + -0.6272. Is 2/9 >= p?
True
Let j = -844 + 845. Which is greater: j or -10/3439?
j
Let s = 198 + -343. Let y = s + 146. Is -1/13 greater than y?
False
Let a(p) = p**3 - 6*p**2 - 8*p - 2. Let b be a(7). Let g(z) = -z**3 - 8*z**2 + 11*z + 3. Let d be g(b). Let h be (-4)/d*(-5)/(-6). Which is bigger: h or 0?
h
Suppose -3*d = 3*b + 6, 2*d - 2 = 2*b + 6. Let z = 0.49 + -13.99. Let s = z - -14. Which is smaller: b or s?
b
Let y(n) = -15*n**2 + n - 2. Let r be y(-3). Let m = r - -549/4. Suppose 4975*i - 4844*i = -393. Is m > i?
True
Suppose 1367 - 34603 = -53*i - 310426. Do i and -5230 have the same value?
True
Let p be 6/(-10) - ((-38844)/(-60) - -6). Are -649 and p non-equal?
True
Let n be (40/(-340) - (-2320)/19737)/(1/(-3)). Is n less than or equal to 0?
False
Let y(u) = -u**3 + 11*u**2 - 109*u + 1004. Let k be y(9). Which is smaller: 165 or k?
165
Let p be 1410/(-564)*274/(-5). Is 131 equal to p?
False
Let q = -4 + 11. Let m = -6726 + 6718. Is m equal to q?
False
Suppose 5*g + 2*y = -77, -71 = 5*g - 75*y + 76*y. Is g less than 0.04?
True
Let d be (1 + 1)*(108/8 - 2). Suppose -5*l = -4*l - 3*f - d, -53 = -4*l - f. Let c be -3 + 39/9 + l/(-6). Is c less than -8/15?
True
Suppose 3*f - 257 = 3*j + 37, 2*j + 172 = -4*f. Let l be (-9)/12 - 734/8. Which is smaller: l or j?
j
Let o be (-877)/(-3) - 8/6. Let b be (5/20)/(o/(-12)). Let r(m) = -35*m - 245. Let k be r(-7). Is k >= b?
True
Let l be (2*(-1)/(-3))/(-169 + 171). Is l != -5.85?
True
Let c be (((-7856)/(-14))/1)/2. Let p = c + -980050/3493. Which is smaller: p or 1?
p
Let f(w) = -w**3 + 2*w**2 + 3*w - 1. Let l(n) = 0*n**2 + 9*n - 15*n - 1 + 4 - n**2. Let u be l(-6). Let c be f(u). Is c bigger than -1/17?
False
Let g(w) = 3*w + 20. Let m be 74/(-10) + (-12)/(-30). Let o be g(m). Let u = -534/7 + 74. Are u and o unequal?
True
Let d(p) be the first derivative of 7*p**2 - 13*p - 34. Let y be d(2). Suppose 0 = 2*l + w + 21, -2*l + w - y = 12. Which is smaller: -15 or l?
-15
Let q(r) = -r**3 - 3*r**2 + 61*r + 15. Let h be q(-11). Let w = -313 + h. Which is greater: w or 2/267?
2/267
Let i = -210 - -574. Let u be 35/i*(-24)/(-20). Which is bigger: -2/7 or u?
u
Let f = -422 + 338. Let j be (f/56)/((-493)/8 + -1). Which is smaller: j or 1?
j
Suppose 0 = -38*r + 53*r - 15. Let t = -3/3613 + 14935/581693. Are t and r equal?
False
Let g = 0.35 + -0.19. Let m = -3.86 + g. Let f = 4.1 + m. Is f at least as big as -1/4?
True
Let l be (-6 + 2343/234 - 4) + -1. Let z = -23171/390 + l. Which is smaller: -61 or z?
-61
Let t = 80/7 + -386/35. Suppose 5*v + 4 - 104 = 0. Let j = v + -21. Which is smaller: t or j?
j
Suppose -6 = 2*v, 0 = 5*t + 2*v + 2*v - 4398. Suppose -18*l = -27*l + t. Is 100 greater than or equal to l?
True
Let p = 19200239/828588 + 5/28572. Is 23 at most as big as p?
True
Let c(h) = 18*h + 90. Let a be c(-5). Let k be ((-2)/(-4))/((-2)/(-12)). Suppose -3*p - 3 = 4*l, 2*l - k*l = 2*p + 2. Is l less than or equal to a?
True
Let x = -552/54245 - 1/2855. Are x and 1 equal?
False
Let k be 17743182/(-276516) + (-2)/6. Let d = k - -2/7681. Is -64 not equal to d?
True
Let g = -600325/6834 + 12/1139. Let i(w) = 89*w**2 - 4*w + 3. Let f be i(1). Let o = g + f. Is o at most as big as 2/121?
False
Let h be ((-1)/27)/((-32)/1344). Is 0.065 at most h?
True
Suppose 3*p = 2*z - 21, 1 = p + 2. Let u be (8/(-12))/((-24)/z). Which is smaller: -1/350 or u?
-1/350
Let i be (0 - -1)/(3/(-3))*1. Is 48/331 <= i?
False
Suppose 2*q = 5*d - 3*d + 8, -2*q = -3*d - 11. Let p be (-3 + (-259)/14)/q. Is p < -22?
False
Let d = -81869 + 81868.6. Let i = 9 - 3. Let z be ((-4)/i)/(2/(-3)). Which is smaller: z or d?
d
Let r = 0.0875 + 267.9125. Let l = r - 268.24. Is 1 greater than l?
True
Suppose -5*n - 3*p + 57 = -p, -3*n = 5*p - 38. Let b be ((-21)/(-105))/((-14)/5 + 1). Let y = 25/63 + b. Is y >= n?
False
Let f(b) = 2*b**3 - 6*b**2 - 2*b - 24. Let s be f(4). Is -1/4294 greater than or equal to s?
False
Let f be (152/36 - 2) + -4. Let t = f + 40/9. Suppose -24 = -a - 20. Which is bigger: a or t?
a
Suppose -7 = u + 26. Let z = u - -49. Let g be (2/z)/((-3)/(-258)) + 2. Are g and 12 unequal?
True
Suppose -25*o = -30*o + 115. Suppose -6*t - 89 = -o. Suppose 27 = -2*n + v, -2*n + 21 = -3*n + 2*v. Is t less than or equal to n?
True
Let b = 0.184 + -0.08. Let i = 7/47 - -59/235. Are b and i nonequal?
True
Let z = 44 + -47. Let t = 2 + z. Is t at most as big as -5?
False
Let r = -1.32 + 838.32. Let u = -840 + r. Which is smaller: u or 2.6?
u
Suppose 22 = 3*f - 4*k, k + 7 = f - 0*f. Let w(j) = j**2 + 23*j - 100. Let a be 264/44*(-18)/4. Let n be w(a). Which is bigger: n or f?
n
Let c = 8 - 6. Let s be 23060/84 - 2/(-28)