+ 18. Suppose 6*v - 18*v = g*v. Is -9/10 smaller than v?
True
Let k = -28253.8 + 28254. Suppose -86 = 5*j + 5*b + 109, 5*b - 64 = 2*j. Which is smaller: j or k?
j
Let g = -161 + 162. Let k = -0.39 - 0.03. Let a = 0.22 + k. Which is bigger: a or g?
g
Let x = -7584 - -9552. Is 1968 at most as big as x?
True
Let p = -7/258 - 6/43. Let h = 322 - 170. Let k = 154 - h. Is p at least as big as k?
False
Let f = -85 + 55. Suppose 5*i - 4*h = 94, -3*i + 4*h + 43 = -15. Let n = i - 47. Do n and f have the same value?
False
Suppose 40*x + 35460 = -5*x. Let m = 823 + x. Is 143/4 at least as big as m?
True
Suppose 0 = 2*t - 4*p - 502, -2*t - p - 2*p + 488 = 0. Suppose -126 = 4*v + o + t, -4*v + 2*o - 382 = 0. Let m = v + 97. Which is smaller: 9 or m?
m
Suppose j - 4*j = -4*u - 113, -2*u = j - 31. Let s = 37 - j. Suppose s = r, -r = -2*c + 3*r - 8. Is c <= 2/79?
True
Let h = 269 + -185. Let p = h + -98. Let f(d) = d + 14. Let q be f(p). Which is greater: q or -4/43?
q
Suppose 66 - 124 + 58 = 14*j. Which is bigger: -7/1642 or j?
j
Suppose 390 - 635 = -2*w + 397. Which is smaller: 363 or w?
w
Let n(w) = w**2 + 13*w + 109. Let u be n(-6). Suppose -5*k - 4 = 2*p - 2, 5*p + 5 = 2*k. Which is smaller: u or p?
p
Let t be 396/36 - (-5608)/(-900) - 5. Is t equal to 0?
False
Let y(t) = t**2 + 8*t + 7. Suppose 5*g + 50 = 3*h, 5*h + 14 = 5*g + 74. Let b be y(g). Which is greater: b or -6/19?
b
Let y = -18201 - -18253. Let k(f) = 2*f**3 + f**2 - 5*f + 3. Suppose 16 = 4*t + 4*i, -6*i - 14 = -3*t - 11*i. Let l be k(t). Do y and l have the same value?
False
Suppose -7*a + 8*a + 3*b - 4787 = 0, 2*b - 14319 = -3*a. Is a greater than 4769?
False
Let a = -66141153/5236 - -12632. Is a smaller than 0?
True
Let k(c) = 22*c**3 - 6*c**2 + 5*c. Let t be k(1). Suppose t*p = -25 + 25. Which is smaller: 35 or p?
p
Let d(x) = -16*x**2 + 24*x**2 + 1 - 9*x**2. Let q be d(2). Let r = 35 - q. Does r = 38?
True
Let i = 19833 - 19123.44. Let v = i + -715. Is 1 at most v?
False
Let b be 9/12 - 39765/60. Let j = b - -661. Are j and -3/28 equal?
False
Let l = 668 + -666. Suppose l*p + 738 = -7*p. Is -81 bigger than p?
True
Let t be (-2)/(-9) - (2254/(-9))/(-2). Let h be (t/(-75))/(-1*2/(-12)). Suppose 9 + h = -g. Which is smaller: -21 or g?
-21
Suppose 5*r - 4*c - 151 = -559, -3*r - 4*c = 232. Which is greater: -102 or r?
r
Let a = -12 + 3. Let c = a + 4. Suppose 3*d + 299*r = 297*r - 10, -3*d - 38 = -5*r. Which is smaller: d or c?
d
Let k(q) = -44*q**3 - 2*q - 1. Let i be k(-1). Let t be 19 - 135/(-39 + 34). Is i <= t?
True
Let y(o) = -o**3 - 10*o**2 + 10*o - 6. Let d be y(-11). Let u be (-890)/(-110) + (-2)/22. Let z be (-10)/d + 2 + u. Is -0.07 > z?
False
Let u be (-32)/14 + (19 - 21). Let x(b) = -b**2 + 3*b + 9. Let a be x(4). Let w be (-1)/(a/(-15)*-1). Is u != w?
True
Let t = -18 - -5. Let f = -10.4 + 10.43. Is f at most as big as t?
False
Let t = 57277.193 - 57396. Let n = 0.193 - t. Let m = n - 118.4. Is m smaller than -1?
False
Suppose -821 = -30*f - 311. Which is smaller: f or -221?
-221
Let y = 226570/57 - 772565111/194370. Let o = y - -1/682. Which is bigger: 3/26 or o?
o
Let a be 1/(-238)*(-3 + 11). Suppose 1589*p = 1625*p. Is p bigger than a?
True
Suppose -42*m = -45*m + 378. Let n = -128 + m. Which is smaller: n or 2/29?
n
Suppose 2*t = 5*w - 192 + 57, 0 = 4*t - 5*w + 265. Let i(p) = 2*p**2 - 30*p - 263. Let z be i(20). Is t less than or equal to z?
True
Let l = -24 + 27.3. Let r = l - 7.8. Let n = -4.4 - r. Which is greater: -14 or n?
n
Let q(p) = -p**3 + 2*p**2 + 1. Let j be q(0). Let u(a) = -2*a**3 - 2 - 8*a**2 + 6*a + 3*a - j - 1. Let r be u(-5). Which is smaller: -2/57 or r?
-2/57
Let o = -84 + 75. Let l = -33 + 25. Let d = l - o. Which is smaller: d or 0.05?
0.05
Let c(y) = y - 8. Let o be c(14). Let p(g) = -g**2 + 7*g + 3. Let l be p(o). Suppose -2*s - l = -11. Which is bigger: s or -3/23?
s
Let k = 135 + -105. Let l be 2/(66/k - 5). Which is greater: 4/9 or l?
4/9
Let k = 129 + 88. Let a = 9.1 - 8.1. Which is greater: k or a?
k
Let c = 381 - 192. Let n = c - 941/5. Which is smaller: 2 or n?
n
Suppose 13*w + 36*w + 50 = -w. Let u = 180962/145 + -1248. Which is smaller: w or u?
w
Suppose -195 - 1110 = 30*c - 195. Which is smaller: 153 or c?
c
Let p = -261.9515 - 0.0485. Let v = -260 - p. Let x = 7 - 28. Which is bigger: x or v?
v
Let q(r) be the second derivative of r**5/20 + r**4/4 - 5*r**3/6 + 3*r**2/2 + 5*r. Let l be q(-5). Let a = 35 + l. Is a at most 14?
True
Let n = 137/3 - 46. Let r = 0.11351 - 0.20951. Which is smaller: r or n?
n
Suppose -2*o + 7*o = 5*w - 30, 4*o = -12. Let p be (w - (-138)/(-42))*(-21)/3651. Is p at most as big as 0?
False
Let i = 0.9555 + -1.0555. Which is smaller: -242 or i?
-242
Let o be 6/8*52/(-1). Suppose 16*k - 27 = 7*k. Suppose 11*c - 10*c - 118 = 3*u, k*c + 26 = -u. Which is greater: u or o?
u
Let l = 158 - 155. Suppose -z = 3*a - 162, 174 = l*a - 0*z + 5*z. Is 53 at least a?
True
Suppose -3*c = -h - 7, -4*h + 9*h + 3*c = 19. Suppose 3*r + 0*l - 123 = -5*l, h*l = 2*r - 98. Is 44 less than or equal to r?
True
Let v = -36551 + 36551.1. Which is smaller: v or -21/379?
-21/379
Let z = -48.967 + 1.037. Let f = z + -1.07. Let x = -49.08 - f. Is -4 at most as big as x?
True
Let g = -197 + 380. Suppose -4*s + f + 152 = -0*f, -5*s + 3*f = -g. Is s bigger than 37?
True
Suppose -2*q = m + 7, 11*m = 5*q + 7*m - 15. Let f be (-10 - (-426)/42)/(-2 + 1). Is f equal to q?
False
Suppose 5*j + 5 = -0*j. Let y be (-1740)/(-2320)*(-16)/(-666). Which is bigger: j or y?
y
Let m = -36.15 - -35.15. Is 10/287 less than m?
False
Suppose 3*d - 2*d - r - 112 = 0, 2*d = -4*r + 230. Let a be ((-12995)/(-1610))/(7/98). Is d at most as big as a?
True
Let z(v) = v**3 - 80*v**2 + 156*v + 192. Let t be z(78). Is 200 greater than or equal to t?
True
Let t = 13.6 + -1.6. Suppose -4*i - 10 = -10. Suppose -s - 2*s + 3 = i. Does s = t?
False
Let f be ((5979/3 - 1) + 0)*4598/(-726). Is -12616 <= f?
True
Let g = -7088/40257 - -12/71. Which is smaller: 2 or g?
g
Suppose -y + 3 = -0. Suppose -11 = -n + 2*d, 4*d + 20 = -5*n - d. Let j be ((y + -4)*-9)/n. Is 9 at most as big as j?
True
Let v(c) = -2*c**3 - 39*c**2 + 16*c - 59. Let x be v(-20). Let n be (-4)/16*(1 - x). Which is bigger: n or 2?
n
Let c = 135 + -133. Suppose -8 = -6*x - c. Are 2/99 and x equal?
False
Let o = -9.792 - -4.155. Let k = -0.094 - -0.157. Let u = k - o. Is -1 smaller than u?
True
Let q(i) = i**2 + 5*i - 1. Let t be q(-5). Let p = -18312/209 - -958/11. Which is bigger: t or p?
p
Suppose -f = 5*k - 70, -f = -3*k + 4*k - 14. Suppose -6*p = k - 38. Let v be p/(-10) + (-18)/30. Which is greater: v or -58?
v
Let q be ((-2 - -1) + 0)*(-340 + 338). Is q not equal to 38/37?
True
Let c = -4673 - -4781. Which is smaller: c or -56?
-56
Let q = 15209.88 + -15209. Which is greater: 6 or q?
6
Let t(w) = w**2 + 2*w - 15. Let y be t(4). Suppose -11*d - 44 = -y*d. Is -23 greater than or equal to d?
False
Suppose -2*a - 3*g = -0*a - 10, -2*a + 2*g = -10. Suppose 16*d + a*j - 2 = 19*d, 5 = 5*j. Let v be -2 + (-618)/(-159) + -2. Which is smaller: d or v?
v
Let c be 6 + (-23405)/3345 + 1. Suppose 15 = -5*x + 10. Which is greater: c or x?
c
Suppose 4*l + 2*b - 40 = 0, b + 0 = 2. Suppose p - 9 = 3*y, p - 32 - l = -5*y. Which is smaller: 18 or p?
18
Suppose 5*u = 6*u - 3319. Let r = u - 33143/10. Let k = r - 189/20. Is k bigger than -4?
False
Let m = 77.05 - 77. Let q = 374 - 321. Is q greater than m?
True
Let v = 95/21 + -8011/1743. Let c = 11401/415 + v. Is 1 < c?
True
Let o(d) = -8589*d - 1901. Let z be o(-3). Which is smaller: 23867 or z?
z
Let c(y) = -y**3 + 8*y**2 - 76*y + 685. Let o be c(19). Which is smaller: o or 1/3?
o
Let z = -225.66 + 225.8. Which is greater: -2/213 or z?
z
Let v = 0.2097 + 24.7903. Is v bigger than 38?
False
Let g = -273 - -245. Is g less than -0.1?
True
Let v = -71.6195 + -0.1805. Are -3 and v unequal?
True
Let g(t) = -4*t - 13. Let q(a) = -4*a - 12. Let p(x) = -5*g(x) + 4*q(x). Let n be p(-5). Let v(s) = 4*s + 7. Let l be v(n). Is l not equal to 6?
True
Let w = -7137 + 7137. Are -99/94 and w non-equal?
True
Let n(h) = -h**3 - 8*h**2 + h + 15. Suppose -2*m = 8 + 8. Let o be n(m). Let d(j) = -j**2 - 14*j - 8. Let f be d(-13). Is f equal to o?
False
Let h = -195131/15456 + -1/15456. Is h >= -14?
True
