/(-800) + 1). Let j = 6197 - y. Are j and -1 non-equal?
True
Let m(p) = 8*p**2 - 8 + 7*p**3 - 5*p**3 - 5*p - 3*p**3. Let q be m(6). Let o = q + -35. Is 2/109 smaller than o?
False
Let g be ((-214818)/(-27))/(4/6). Let f = 11797 - g. Is -138 less than f?
True
Let d(p) = -p**2 + 16*p - 19. Let v be d(7). Let x(j) = 22 - v - 5*j + 4*j + 3*j. Let b be x(9). Are -6 and b non-equal?
True
Let h be (-1586)/22 - 65/(-715). Is h bigger than 2/101?
False
Let v be (0 - -3 - -1106) + (-2 - -2 - 2). Which is smaller: v or 1105?
1105
Let j = -4 + 2. Let c = -65935/626202 - -1/32958. Which is smaller: j or c?
j
Let i(h) = -h + 5. Let o be i(-2). Let j be 1*-5 - (67 + o). Let t = j + 18. Is t > -62?
True
Suppose 14*u = -1 - 13. Let t(m) = -m + 8. Let r be t(5). Suppose -5 = 3*d + k - 2, r*d - 3*k - 9 = 0. Which is greater: u or d?
d
Suppose -66*p - 2*d = -63*p - 3, 15 = 3*p - 2*d. Let o = 0.038 - 0.04. Is p equal to o?
False
Suppose -2*q - 3*n + 4 = 1, -2*q + 9 = 5*n. Let b be (2 - 1)*(q + 5 + -2). Is 1/46 > b?
True
Let d(r) = 56*r + 1519. Let u be d(-27). Let j = 29912/9 + -3316. Which is smaller: j or u?
u
Let b be 9423/(-2862) - 4/8*-6. Which is smaller: 1 or b?
b
Let f be ((-2)/(-4))/((-5)/(-90)). Suppose 12 = p + f. Suppose -2*k - p = 5*t, 8 = -2*k - 0*k. Which is smaller: t or 6/29?
6/29
Let j = 3774/7 + -584844/1085. Which is smaller: 2 or j?
j
Suppose 0 = -5*r + 4*r + 4*r. Let c be ((-1 - r)/(-9 - -10))/1. Do c and 1/31 have different values?
True
Let g(k) = -k**3 - 27*k**2 + 27*k - 22. Let m be g(-28). Let a(f) = -5*f**2 + 3*f - 3. Let j be a(3). Let y be (-253)/j + 6/(-39). Are m and y non-equal?
True
Suppose k + 8*k = -1440. Let s = k - -159. Do -13/10 and s have different values?
True
Let x = -100 - -19. Let b be (12/(-20))/(x/30). Let u = -18 - -11. Do b and u have different values?
True
Let n be (-15525)/4239 + 5/15*9. Is n bigger than -1?
True
Let m(f) = -56*f + 409. Let b be m(5). Which is bigger: b or 123?
b
Let r = 13689.478 + -13689. Which is greater: -2/7 or r?
r
Let j = -8771 - -8780. Is -231 less than j?
True
Let f = 6.465 - 1.465. Is f >= -5?
True
Let u be ((-6)/360*-339)/(-2 - -3). Let r = 341 + -1678/5. Let w = u - r. Is w at least -4?
True
Let i be 120114/1782 - 1/((-9)/(-2)). Let m = 67 - i. Let r be 2/(-8)*4/6. Is m at most as big as r?
True
Let r be 4/(-18) + 254/9. Let k = 52 - r. Let u be (-16)/k - 2/(-3). Is 2/87 less than u?
False
Let v = -173.35 + 174. Let r = 0.45 - v. Let i = -0.5 + 0.3. Is i greater than r?
False
Let c(z) = 614*z + 2999. Let q be c(-5). Which is smaller: -85 or q?
-85
Let i = 402 - 2697. Let g be (1 - 5/3)*i/30. Suppose 5*v + 60 = t - 6*t, -4*t - 3*v = g. Which is smaller: t or -12?
t
Let t be 5906280/(-13944) - (0 + 4/(-7)). Which is greater: -2957/7 or t?
-2957/7
Let i = -10 - 47. Let w = -92 - i. Let p = -34.8 - w. Is p bigger than 14?
False
Suppose 3*j + 96 = -o + 4*j, j + 399 = -4*o. Let l = o + 87. Let b(c) = -c**2 - 17*c + 10. Let h be b(l). Is 69 at most as big as h?
True
Let g = -20792 - -20791. Let b = 3629 - 47209/13. Is b <= g?
True
Let p = -5694 - -11413/2. Is p bigger than -4.1?
True
Suppose -m = 5*u - 22, -u + 2*u - 2*m = 0. Let a be (15/3 + 1)/((-102)/(-136)). Suppose -u*x + x + 7 = -o, 0 = 4*o - 2*x + a. Is o greater than -8/11?
False
Let p(r) = -r**3 - 7*r**2 + 438*r + 48. Let u be p(18). Which is bigger: -1.4 or u?
-1.4
Let r = -328 + 323. Let p be (r - (-138)/27)/((-4)/6). Is p at most -2.4?
False
Let p(t) be the second derivative of t**4/12 - 11*t**3/6 + 17*t**2 - 2*t. Let k be p(4). Which is bigger: 23/5 or k?
k
Let q be (6 + -9)*(2 - 3). Let v be (-32)/(-24)*q/8. Let j = 2/621 - 683/19251. Is v at most as big as j?
False
Let a be 0/(-4) + 0 + (-3)/378. Let j = -143/2142 - a. Suppose 3 = -3*o + 6*o. Which is bigger: j or o?
o
Let d = -8094 - -8030. Is d <= -174?
False
Suppose -504*f - 15 = -507*f, 4*f - 20 = 2*g. Which is bigger: g or -178?
g
Suppose 0 = -35*z + 87*z + 1820. Are z and -786/23 equal?
False
Suppose 0 = -3*n - 5*y, -4*y + 4 - 16 = 0. Let s(x) = -x - 2. Let j be s(n). Let c = 2 + -9. Is c smaller than j?
False
Suppose 0*c - 11*c + 22 = 0. Suppose -3 = 3*b + p, c*b - 39*p + 42*p = -2. Is 6/71 at most as big as b?
False
Let c be 1/(-4)*0*-1. Suppose -m - 4*d + 59 = c, 4*m + d - 80 = 96. Do 46 and m have the same value?
False
Let m be -3*(-10)/(-12)*6/(-30)*514. Is 251 less than m?
True
Let h(f) = 6*f**2 - 17*f - 24. Let w(n) = -5*n**2 + 16*n + 25. Let v(a) = 4*h(a) + 5*w(a). Let l be v(14). Which is bigger: l or -1/125?
l
Let o = 90 - -18. Let v be (-99)/o + (-4)/(-6). Let a = -29 + 28.95. Which is smaller: a or v?
v
Let g(b) = -2*b**3 - 33*b**2 - 8*b + 18. Let w be g(-17). Let h = -4869/11 + w. Is h > 1?
False
Let j = -4.4 + 4. Let i = 4359.97 - 4360. Which is smaller: i or j?
j
Let n be (-183)/12 - (-2 + (-55)/(-20)). Let f(t) = t**2 + 17*t + 199. Let p be f(n). Which is greater: 184 or p?
184
Let c(x) = -3*x + 42. Let i be c(13). Let t be (738/(-60) - 0) + i. Which is greater: t or -10?
t
Let w = -988 + 997. Let c be (-22 - -28)*(-2)/(-12). Which is greater: c or w?
w
Let v(t) = -2*t**3 - 27*t - 2. Let x be v(7). Which is smaller: x or -3509/4?
-3509/4
Let r = 18044 - 18044.499. Let s = 25 - 26. Is r bigger than s?
True
Suppose b = 3*b. Let g be 5 + -16 + (-12304)/(-1104). Are b and g equal?
False
Let p = 7193 - 6866. Is 325 at most p?
True
Let z be 2772/24*(0 + -2). Let o be 0 - z/39 - 6. Let l(b) = -b**2 + 3*b. Let y be l(3). Is o greater than y?
False
Let g = 1758 - 14313/8. Is g equal to 2?
False
Suppose 1642*j - 1793*j = 151. Which is smaller: j or -87/257?
j
Let q = -10 + 13. Suppose -3*x = -3*b + 3, -2*b = 5*x + q - 5. Let k be 2 + (-3 - (-301)/287). Which is smaller: x or k?
x
Suppose -4*q = 11*m - 15*m - 24, -5*q + 21 = -2*m. Suppose 10*s - 2*g = 8*s - 50, 5*s = -q*g - 149. Which is smaller: -31 or s?
-31
Suppose -4*c + 4*m - 4396 = 0, 0 = -5*c + 91*m - 96*m - 5535. Is c < -1109?
False
Let j(d) = d**3 - 10*d**2 - 5*d - 2. Let n be j(6). Let x be -165 + (28/8 - 2)*-8. Is x <= n?
True
Let u(w) = 2*w**3 - 16*w**2 + w - 17. Let b be u(8). Let o be 3/b*3*-68. Which is greater: 66 or o?
o
Let y(n) = n**2 - 13*n + 18. Let x(h) = -h**3 + 13*h**2 - 21*h - 7. Let r be x(11). Suppose 6 = -3*c - r*d + 51, 5*d - 37 = -2*c. Let b be y(c). Is -2 >= b?
True
Suppose 4*j + 21 = 3*z, -2*z + 3*j = -104 + 88. Which is greater: z or -2/3035?
-2/3035
Let f = -24 + 55. Suppose 0 = 21*g - 32 - f. Suppose -3*j + g*n = 3 - 0, -4*n + 11 = 3*j. Which is bigger: j or 2?
2
Let g = 437 - 440. Let u be (g - -1)*(-6)/78. Do u and -29 have different values?
True
Let w = 0.05 + 223.95. Let y = 392 - w. Which is smaller: y or 0?
0
Let q(u) = -u**2 + 5*u - 2. Suppose -7*z + 13 = -8. Let j be q(z). Let p(w) = w**3 - 2*w**2 - 8*w + 5. Let v be p(j). Is 11/3 smaller than v?
True
Let k = -4587 + 5479. Which is bigger: k or 2?
k
Let u = 27 - 30. Let x be (-2*4/u)/((-65)/26). Are x and 0 equal?
False
Let b(q) = -8*q + 7. Let j be b(4). Suppose -81*x = -78*x + 87. Let d = x - j. Is d at most -30/7?
False
Let r(t) = -t**3 - 6*t**2 - 2*t - 7. Let m be r(-6). Suppose -m*c - 245 = -735. Is 97 < c?
True
Let o(k) = -69*k**3 - k**2 - 3*k - 3. Let h be o(-1). Let a = h - 78. Suppose -3*t - 29 - 7 = 0. Are t and a equal?
False
Let g = -1015/31758 + 1/474. Let u(d) = -4*d + 37. Let p be u(8). Suppose 0 = -11*j + 6*j - p. Is g <= j?
False
Let x(r) = r**3 - 8*r**2 - 9*r + 1. Let z(g) = -g**3 - 13*g**2 - 19*g - 5. Let m be z(-12). Let a = -70 + m. Let y be x(a). Is -3/37 not equal to y?
True
Let r = -198 - -486. Let b = r + -280. Is -12 <= b?
True
Let k(o) = -o**3 + o**2 + 10*o - 30. Let d be 16/24*(-21)/(-2). Let v be k(d). Is -255 < v?
True
Let j = -550385/4 + 138772. Which is greater: 1176 or j?
1176
Suppose 4560 - 1557 = 6*a - 1713. Which is greater: 2 or a?
a
Let b(j) = -2*j + 8. Let q be b(4). Let l = -5759/88 - -131/2. Let c = l - 2/11. Is q less than or equal to c?
False
Suppose -48*d = -14*d - 2346. Suppose d = -2*g + 7. Is g greater than or equal to -3?
False
Suppose -4*s + 5*q - 801 = 515, q - 329 = s. Let b = 326 + s. Is -70/27 smaller than b?
False
Let k be (-899)/258 + -3 + -6. Let d = 25/2 + k. Is 0 bigger than d?
False
Let f = 487 - 4069. Is f < -3581?
True
Let x = -25.6 - -25.862. Let v = x - 0.262