-2)/(-9) - 10/(16200/(-333)). Let i = -8/45 + u. Let q = -25 - -99/4. Are q and i non-equal?
True
Let c(o) = 3*o**2 + 2*o - 18. Let v be c(-6). Suppose v = 9*g - 6*g. Let t = 85 + -60. Which is greater: g or t?
g
Let a = -287 + 416. Let h = -129 + a. Let r = -3440/171 + 182/9. Which is smaller: r or h?
h
Let z(q) = -9*q**2 - 315*q. Let u be z(-35). Let v = 659/1634 - 3/86. Which is smaller: u or v?
u
Suppose -x = 2*x. Suppose x = -0*c - 2*c + 92. Suppose 5*r - 46 = 184. Is r at most as big as c?
True
Let o = -3450 + 3403. Let h = -85 + 37. Which is greater: o or h?
o
Let f = -1868792 - -9310757/5. Let u = f + 6687. Which is smaller: u or 47?
u
Let t = -390.2 - 111.8. Let h = 502.3 + t. Which is smaller: h or -87?
-87
Suppose 5*k + 21*k - 15*k - 11 = 0. Is k less than or equal to 1/11553?
False
Let a = -205 - -91. Let u = a - -98. Let w(i) = -4*i + 3. Let x be w(5). Which is greater: x or u?
u
Let l be (4 - -2)/((-1)/6). Let s = 1351 + -1390. Which is bigger: s or l?
l
Let j = -6312 - -6313. Do j and 20/749 have different values?
True
Let a = -19.3 + 20.7. Which is greater: a or -0.72?
a
Let q be (-2)/1 + (-55)/(-28). Suppose -60*k + 43*k + 10013 = 0. Let b = k - 590. Which is bigger: b or q?
q
Let a(b) be the first derivative of b**5/60 - 5*b**4/8 + 14*b**3/3 + 29. Let s(n) be the third derivative of a(n). Let v be s(8). Is v <= -1/29?
False
Let u = -19199/178080 - -1/1120. Let f = 11578/103827 + u. Is f equal to 0?
False
Let c = 66/103 + -12268/19467. Is 0 greater than c?
False
Let x = -298.5 - -281. Let b = x + 17.6. Which is greater: 7 or b?
7
Suppose -4*t - t - 4*m + 100 = 0, 0 = -t + 3*m + 20. Suppose 0*h - o - 17 = -2*h, 2*o - t = -5*h. Let w = -8 + 13. Are h and w unequal?
True
Suppose 0 = 5*v - 168 - 107. Let z = 12553 - 12554. Which is smaller: z or v?
z
Suppose 7*g = 1367 - 142. Suppose g = -9*p + 688. Let d = -57 + p. Is -3/41 at least as big as d?
False
Let q(h) = 2*h - 161. Let w(z) = -z + 157. Let d(r) = -6*q(r) - 5*w(r). Let t be d(26). Is t <= 6/209?
True
Let o = -7.5 - -191.5. Let z = -184.1 + o. Which is smaller: z or -49?
-49
Let b = 336157/352 - -1709/160. Let c = b + -966. Which is greater: c or 1?
1
Let w be (2/3 - 2)/(-2). Let x = 1562 - 1688. Is w less than x?
False
Let c = -2.8 - -3. Let g be (-8)/(-4)*1/46. Which is smaller: g or c?
g
Let z = 492 - 2407. Which is bigger: -0.1 or z?
-0.1
Let t be (-142513)/(-21)*3 - 7. Do -1/2 and t have different values?
True
Let k = -5701 + 4724. Is -977 != k?
False
Let f = 291/13286 - 2/73. Let i = -15/26 - f. Which is greater: -9 or i?
i
Let t be 8/(-24)*(-18)/(-7)*3. Let f(y) = -6*y - 10 - y**3 + y**3 - y**3 + 8 + 7*y**2. Let s be f(6). Do t and s have different values?
True
Suppose b - 4 = -1. Suppose 2*t + b = 13. Suppose 2 = -3*l + t*l. Which is greater: 4 or l?
4
Let i = 207.5 - 193. Let z = 15.5 - i. Which is smaller: -1/98 or z?
-1/98
Suppose -27*w = -349 + 1996. Let j = 1297/5 - 1609/5. Do w and j have different values?
True
Let k = -15 - -138. Let b = 148 - k. Which is bigger: b or 0.4?
b
Let o = 10.1 + -21.1. Let h = o - 33. Let y = h + 47. Which is smaller: y or -1/14?
-1/14
Suppose -z - 5*s = 19, 0 = 2*z + s + 140 - 138. Suppose -3*f = 2*f + 1040. Let r be f/606 - (-3)/9. Which is greater: r or z?
z
Suppose 855 = 5*a - 0*a. Let b = -131474 - -1444335/11. Let s = a + b. Is s smaller than -2?
False
Let i = -15192 - -15696. Are i and 507 equal?
False
Let f = -104 - -197. Let n be 4/(-10) + f/(-5) + 3. Is n at least -50/3?
True
Suppose -36406 = 43*f - 34815. Which is bigger: f or 37?
37
Let r = -111 - -50. Let d = -74 - r. Let b = -0.06 - -0.06. Is d equal to b?
False
Let l be (-38)/56 - (144/56 - 3). Is l less than 49/6?
True
Let b be (10/(-6))/(1/(-3)). Let g be (-436)/(-545) + 2/(20/3242). Suppose 0 = 9*k - g + 397. Which is smaller: k or b?
k
Let g = 1.6 - 2. Let l = 1.4 + g. Suppose -4*s = r + 2, -3*s + r - 6 + 8 = 0. Is l smaller than s?
False
Suppose c + 12 = 3*j, 38*j = 33*j - 4*c - 31. Let n = -52/3 + 56/3. Let z = n + -19/12. Which is smaller: j or z?
z
Let y = 101 - 50. Suppose 13 = -r + y. Let m be (r/4)/((-3)/(-6)). Which is greater: 20 or m?
20
Let g(l) = l**3 + 15*l**2 + 41*l - 2. Let u be g(-17). Let p = 1755045346/49 + -35815975. Let i = p + u. Do 1 and i have different values?
True
Let s = 4 + -1. Suppose -28*m = 13*m + 287. Let j be (3/m)/(75/(-350)). Which is bigger: s or j?
s
Let j = -89 + 98. Suppose 10*r - 66 = j*r. Let x = -64 + r. Is -1/3 > x?
False
Let f = 19304573/2396 - 8057. Which is smaller: 1/9 or f?
f
Let c(k) = k**2 + 3*k + 4. Let m be c(-3). Let i be 8/100 - (460/(-250))/2. Suppose -s = -i + m. Are s and -3 equal?
True
Let k = 19 - 14. Suppose 0 = 4*d - k*u + 16, -3*u = -d + 2*u - 4. Suppose 17*m + 1 + 33 = 0. Is m bigger than d?
True
Let f = -5118031/2772 - -113/1386. Are -1847 and f unequal?
True
Let s(k) = k**3 + 8*k**2 - 20*k - 29. Let b be s(-12). Suppose -4067 - 2887 = 19*v. Is v < b?
True
Let k be (4 - 2*986) + -1. Let d = k - -5956/3. Is 17 less than d?
False
Let l be (-240)/189 - (7 + 188/(-28)). Let m = 2.9 - 5.8. Let n = 3 + m. Is l greater than n?
False
Let g = -1.31603 + 0.31603. Let w be 50*(-1 - 1/(-2)). Which is bigger: w or g?
g
Let s be 1*(-1151 + 12) - 2. Which is bigger: s or -1136?
-1136
Let v = 62.21 - -972.79. Is v smaller than -2?
False
Let h be ((-3)/(-18)*3 + (-180)/40)/(-22). Which is smaller: h or 172?
h
Let s(x) = 23*x - 464. Let z be s(15). Which is greater: z or 2?
2
Suppose 12*c = 3*n + 16*c - 29, -3*n + 2*c - 1 = 0. Is n < 4?
True
Let k = -126526 - -1393022/11. Let n be (-3)/4 - 3239763/(-28644). Let u = k - n. Which is greater: -1/4 or u?
u
Let t = 66.6 + 31.4. Let c = -98 + t. Let m be (17/(-2))/(1/6). Does c = m?
False
Let s = -3/97 + 233/1261. Let r = -48.42 - -47.42. Which is bigger: s or r?
s
Let a = 207.28033 + 0.01967. Which is bigger: -1 or a?
a
Suppose -1694 = -4*l - 6. Is l > 422?
False
Let h = -1477.9 - -1474. Which is bigger: h or -4?
h
Let v = -9 + 11. Suppose -v*h - h - 186 = -3*y, -4 = h. Suppose -77*r = 132 - 365 - 4156. Which is bigger: y or r?
y
Let q be 4/(-48) + 2783755/(-780). Is q > -3569?
False
Let y be 12/(-40) + 1652/6040. Let v(p) = p**3 + 7*p**2 - 7*p + 7. Let q be v(-8). Which is smaller: y or q?
q
Let v = -184 - -187. Suppose 666 = 4*w + u, -43 = -w + v*u + 117. Which is bigger: 167 or w?
167
Let a = -42.1 - -42.2. Let i = a + -0.1. Are 81 and i non-equal?
True
Let j = 8813 + -6110. Let t be j/85 - (-1)/5. Is 30 smaller than t?
True
Suppose -u + 2*t = 9, 5*t + 43 = -5*u - 32. Let i(h) = -h + 14. Let z be i(u). Let l = z - 26. Which is bigger: l or -2/99?
l
Suppose 4*s - 5*b = 2, 2*s = 7*s - b - 13. Let o be (-3)/(s - 16/5). Let y be 34*((-20)/8)/(-5). Is o smaller than y?
True
Suppose -41*b - 3429 - 4156 = 0. Is -186 smaller than b?
True
Let m = -145/6 - -5647/234. Do m and 0 have different values?
True
Let s = -3085635 + 897922007/291. Let h = -3/97 - s. Which is smaller: h or -7?
h
Let d(q) = q**3 + q**2 + 2*q + 14. Suppose -2*v - 5*b + 10 = 0, -b = 2*v + v - 2. Let j be d(v). Suppose -2*m = -38 + j. Do 14 and m have different values?
True
Let n be (-36)/10*1/3*-20. Suppose 20*h + 264 = n*h. Let p be 81/h + (5/2 - 4). Are p and 1 equal?
False
Let u = -2742 - -1938596/707. Which is smaller: -1 or u?
-1
Let m be 3860/260 + 1 + (-11)/13. Let c be ((-10)/15)/(2 - 25/m). Is c greater than or equal to -15/14?
False
Let z(g) be the first derivative of -g**3/3 - 7*g**2/2 - 9*g + 26. Let k be z(-5). Let a = 17 - 190/11. Which is bigger: a or k?
k
Let q = -57 - -61. Suppose 7*m = 2*x + 9*m + 10, 0 = -3*x - q*m - 18. Is x not equal to 1?
True
Let p(n) = 6*n + 2. Let k be p(-2). Let t be (-10)/k*2/(-8). Let s = 0.2 - 0.3. Which is smaller: t or s?
t
Let a = -3.9544 - -0.9544. Are a and 0.101 unequal?
True
Let t be (6/12)/(3/24). Suppose -3 = u + s - 46, -t*u - 5*s + 170 = 0. Suppose 2*g + f - 97 = -0*f, g + 2*f = 56. Is g equal to u?
False
Let b be 6 - ((-2)/(-17) - (-6 + 2030/(-85))). Which is smaller: b or -25?
-25
Let w(j) = j**3 - 4*j + 4. Let d be w(0). Suppose -3*x - 3*y - 249 = 0, -3*x - y = -d*x - 83. Which is smaller: x or -85?
-85
Let v = 33 - 18. Suppose -47 = -8*d - v. Let f be d/(-6)*-3*1. Is 1 at most as big as f?
True
Let k = 1523/9 + -169. Let d = -0.56 - -0.27. Let p