75/357 - 524674112. Let z = q + 351. Which is greater: 0 or z?
0
Let o(d) = -d**3 + 2*d**2 + 17*d - 36. Let b be o(4). Is -10/347 greater than or equal to b?
False
Let x = 2586 - 2586. Which is bigger: -12/1547 or x?
x
Suppose 47*p + 64832 - 10292 = 11*p. Is -1515 equal to p?
True
Suppose -2*z + 5*u + 39 = -3*z, -5*u = -2*z + 12. Which is greater: 1 or z?
1
Let m = 67598 - 340446/5. Do m and -492 have different values?
True
Let x be (-4)/(-12 - -6 - -4). Suppose 16 + 8 = d + 4*q, q = -x*d + 34. Is 0.1 less than d?
True
Let z = 94 + -92. Suppose 5*a - 25 = -2*q, 0 = z*q + 3*a - a - 10. Which is greater: 36 or q?
36
Let u = -3919 - -3920. Is u at least as big as 2/471?
True
Let c be (2 + -3)*(2 + -424). Do c and 2525/6 have different values?
True
Let o(s) = -2*s + 3. Let b be o(-7). Suppose 3*a = -a - 5*d - b, a - 12 = 2*d. Let z be -4 - (592/(-100) + a). Is 0 at least z?
True
Let j be -38*((-9)/3)/((-36)/8 - -3). Which is greater: j or -80?
j
Suppose 0 = 8*d - 13*d - 15, -4*d + 8 = 4*j. Suppose -j + 98 = -5*x - u, -2*x - 4*u = 48. Which is smaller: -17 or x?
x
Let n = -5348 - -5348. Which is smaller: -2/8053 or n?
-2/8053
Let u(t) = -2*t**2 - 2*t + 72. Let w be u(-7). Let d be 265/(-1518) - (26/w + 2). Is d at least 1?
False
Suppose 2*c - 4762*k = -4764*k + 10, 3*c = 4*k - 48. Is -0.0974 < c?
False
Suppose -3*j = -13 + 7. Suppose -z + n = -6 + 1, j*z + n = 13. Are z and -4 unequal?
True
Suppose -4*a + 233*v = 237*v - 11656, 0 = 5*a - 2*v - 14521. Which is smaller: 2905 or a?
2905
Let i = -3622181/17 + 213157. Is i >= 87?
True
Suppose -2*m + 77 = -149. Let b = m - 5. Let z be (-2*(3 - 4))/b. Which is smaller: -1 or z?
-1
Suppose 2*f - 4*o = 5*f + 40, 3*o = 4*f + 20. Let h = f + 6. Let d be 8/h - 356/(-90). Which is greater: d or -1?
d
Suppose 2*y = 4*t + 138, 5*t - 3*t + 49 = -3*y. Suppose 3*k - c + 91 = 0, -9*k + 106 = -12*k - 2*c. Is t >= k?
True
Let t = -86/1679 + 144935/3124619. Which is greater: t or -1?
t
Let o = -15084 + 15085. Which is smaller: o or 4864?
o
Let b(u) = -u**3 - u**2 + 2*u + 2. Suppose 7 = -5*q + 4*o - 3, 0 = -2*q + 2*o - 4. Let j be b(q). Suppose -93*s + 91*s = -j. Which is smaller: s or 13/7?
s
Let r(v) = 47*v - 1355. Let q be r(-24). Which is greater: -2481 or q?
-2481
Let c be ((-4)/282)/(4/1506) - -3. Which is smaller: c or -2?
c
Let b be 6/(90/(-69)) + 5 + -1. Let s(y) = -24 - 4 - 12 + 7*y + 4. Let l be s(5). Are l and b equal?
False
Let y = -4799 + 5225. Is y bigger than 2/9?
True
Let x(p) be the third derivative of p**6/24 + p**3/6 + 2*p**2. Let o be x(-1). Let l be ((-2)/(-18)*(-3)/2)/((-2219)/33285). Which is bigger: l or o?
l
Let s = -1692 - -898. Let u = s - -568. Which is smaller: u or -0.1?
u
Let q(b) be the third derivative of -b**6/120 + 7*b**5/30 + 17*b**4/12 + 43*b**3/6 + 2*b**2 + 158. Let v be q(16). Is 69 <= v?
True
Suppose u + 25 = 4. Suppose 1340 = 7*w - 2503. Let c be -5 + u*(-129)/w. Is c != -1?
True
Let d be (-1325)/9 - (-172)/774. Are -1313/9 and d equal?
False
Let m(b) = b**3 - 106*b**2 - 1546*b - 117. Let d be m(119). Let j = 5374/15 + -357. Is j at least d?
False
Let l = -6632 + 6709. Is 8 equal to l?
False
Suppose -3*x + 3*d - 9 = 0, -2 = -2*x + 4*d + 2. Suppose -60 = -4*n - 44. Suppose 0 = -n*v - 17*r + 12*r - 47, 2*r + 6 = 0. Are v and x unequal?
False
Let i = -1029 - -1030. Is i greater than -48.7?
True
Suppose -3*i - 508 = 2*h, -2*h - 5*i - 480 = -9*i. Let z be 341/h + 3/8. Is -14/45 at least z?
True
Let n = 2795 - 2792. Which is smaller: 98/43 or n?
98/43
Let c(l) = 2*l + 42. Let n be c(-8). Let b = 155.92 + -156. Which is smaller: n or b?
b
Let x be ((-15)/(-10))/((-3)/(-8)). Let z(q) = 2*q**3 + 21*q**2 - 92*q - 682. Let n be z(-12). Which is greater: x or n?
x
Let l(n) = -n + 3. Let h be l(3). Suppose -3*s - 51 - 396 = h. Which is smaller: -148 or s?
s
Let p(g) = 8*g**2 + 1. Let z(h) = h**2 - 4*h + 3. Let a be z(2). Let c be p(a). Suppose 0 = -4*b - 4*t + 48, 2*b - 33 = -2*b + t. Is b bigger than c?
False
Suppose -8 = 3*i - 5*l, 2*i = -5*l + 3*l + 16. Suppose -35 - 1 = -i*v. Suppose 0 = 8*s - 9*s + v. Is s bigger than 8?
True
Suppose -4*w + 3 = 19. Let z(q) = 8*q**2 + 5*q + 7. Let d be z(w). Which is greater: d or 114?
d
Suppose 8506*q - 8528*q + 22 = 0. Is q at least as big as -2/199?
True
Let x = -2.186 + 1.96. Let v = -0.196 - x. Are 0.4 and v unequal?
True
Let b = 33.47 + -29.52. Which is smaller: b or -1?
-1
Let w = 366 - 369. Let g = -12 - -8. Is w greater than or equal to g?
True
Suppose 0 = w - 3*x - 1 + 15, -2*w = -4*x + 18. Let b = -89 + 61. Let y be (-1)/2*b/(-259). Which is smaller: w or y?
y
Let o = 9172 - 9171.76. Let d be (2/4)/(-2 + 0). Which is bigger: o or d?
o
Let t be ((-12)/10)/((-6)/(-15)). Let r be 4*(-1)/(t - 15). Let i(a) = 7*a - 13. Let s be i(2). Which is smaller: s or r?
r
Suppose -3*a + 3 = 21. Let o be 7 + a + 1 - 0. Is 5/19 less than o?
True
Let z = 24878189/9348 + -15/3116. Let a = z + -2702. Is -40 at least as big as a?
True
Let x = 395 + -394.829. Let k = -20/2439 - 793/2439. Is x equal to k?
False
Let r = 8370 - 8551. Do r and -1634/9 have the same value?
False
Suppose -27698 = 5*b - 16*b. Let w = b - 15241/6. Which is greater: -22 or w?
-22
Let b(p) = -p**3 - 30*p**2 - 82*p + 7. Let y be b(-27). Suppose -y = -2*m - 22. Which is smaller: m or 14/3?
14/3
Let j = 10/12063 - 487918/44231. Do -10 and j have the same value?
False
Suppose 3*i = w + 17839, -w + 5160 - 17053 = -2*i. Are i and 5947 unequal?
True
Suppose -6*m - 21 = 159. Let k be (-29 - m)/(21/333). Which is bigger: k or 17?
17
Let r = 6191/11 + -563. Let w(p) = 2*p**2 + 6*p + 1. Let u be w(-5). Suppose -u*l = -24*l - 45. Are r and l non-equal?
True
Suppose 0 = -j - 5*l + 15, 6*j - 3*l = j - 37. Let v be (-4)/(-12)*69 + j. Which is smaller: v or 186/11?
186/11
Let h = 104 + -100. Let j be 10*h/(-16)*2. Is 0.7 >= j?
True
Let i(c) = -c**3 + 85*c**2 - 605*c - 86. Let q be i(8). Let g = -5 - -2. Let k be (-28)/(-6) + 2/g. Which is smaller: q or k?
q
Let p be -11 + 5 + (-5 - -9). Let t be (-8)/p - (-4 + 81/(-15)). Which is greater: t or 0?
t
Let d = 1034584/281865 - 53/2967. Let b = -6781/44080 - -3/464. Let v = d - b. Which is smaller: v or 3?
3
Suppose -2*l = v - 2 - 6, -2*v = 3*l - 14. Let m be (l - 5) + -7 + 6/(-3). Let x be (-3)/m - (-81)/(-4). Do x and -20 have the same value?
True
Let k = 3529 + -3523.346. Let x = -0.046 - k. Let l = x + 6.7. Is l >= 1?
True
Let a = 24 + -44. Let h = 2726 + -2561.9. Let z = h - 164. Which is smaller: z or a?
a
Let b = -4251 - -4243. Is b smaller than -19?
False
Let v = -4227.92 + 4199. Is v > 2?
False
Let d = 15532 - 13846. Is 1686 at least d?
True
Let a be (3/(-6))/((-1)/(-10)). Suppose 0 = -2*s + 18 + 18. Let c be -1*5/25*(s - -4). Is c <= a?
False
Suppose 0 = -42*w + 48*w + 306. Suppose 2*u = -10, 0 = 4*i - i + 3*u + 168. Is i >= w?
True
Let s be 22 + (1 + -2)*(-49 + 48). Is 329/15 greater than or equal to s?
False
Let o = -0.0424 + -492.9576. Let m = 275 + o. Which is smaller: m or 1?
m
Let q(u) = 10*u**2 + 83*u - 163. Let t be q(-14). Is t not equal to 630?
True
Let t = -5776 + 5833. Which is smaller: t or 4.5?
4.5
Let n = 135.03 - 135.017. Is -1/15 less than or equal to n?
True
Let t be 28/224 + 9822/16 + 0. Let n = t + -640. Is n at most -21?
True
Suppose -109*y + 2871 = -111*y + z, z = -5. Does y = -1438?
True
Let v(i) = -337*i - 17761. Let l be v(-52). Let d be (-2)/(-6) + 2860/(-12). Is l != d?
True
Let b be -2 + (-1)/(-1)*2. Suppose -3*q - 2*p = 319, -5*q + b*q = -4*p + 539. Let a = -89 - q. Which is greater: a or 19?
19
Suppose 0 = -0*z - 3*z - 2*n + 142, 3*z - 130 = 4*n. Let p be 74/(-4)*15/6. Let w = z + p. Do w and 9/7 have the same value?
False
Let v = -600 + 7235/12. Let r = -149/12 + v. Which is smaller: -10 or r?
-10
Suppose -9*o = -26 - 1063. Suppose 0*s = -3*s - 297. Let m = s + o. Is 19 < m?
True
Suppose -387*x - 338*x = -160225. Let h = 590 - 368. Is h < x?
False
Let s = -54 + 59. Suppose h + s = 9. Which is smaller: h or 10?
h
Suppose -9*r + 281 = 5*v - 5*r, -5*r = 4*v - 223. Let i = 147 - v. Which is greater: 93 or i?
93
Let z = 0.0432 + -20.7432. Let v = z + 20.5. Are 39 and v unequal?
True
Suppose 4*n - 2*n + 12 = 0. Let w(y) = -15*y**2 - 4*y + 66. Let m be w(-2). Is m greater than or equal to n?
True
Let q = -140 + -21. Let c = 