20)/g + 2. Is z > -566?
True
Let d = -675 - 356. Is d less than 0.1?
True
Suppose 5*d - 179 = 2*j - 56, 0 = d + 3*j - 11. Let b = -8 - -8. Let y = 0.2 + b. Which is bigger: y or d?
d
Suppose -3*g = -493 - 539. Suppose -343*f + 1 = -g*f. Which is bigger: -7/8 or f?
-7/8
Suppose 8*s = 6*s. Suppose -i = 5*p + 1702, s = -2*p - 13*i + 11*i - 676. Is -340 at least p?
True
Suppose -4*t = 4*n + 24, -5*t - 16 - 2 = -n. Let x be 3197/n + -2 + (-17)/(-34). Let z = x - -6363/4. Which is greater: z or -8?
-8
Let a(w) = 3*w**2 + w - 1. Suppose 0 = 4*t - 3*s + 7, -s - 23 = t - 6*s. Let r be a(t). Let v = 71 - 68. Is v greater than or equal to r?
False
Suppose -9 = -2*z - 3*z + x, z = 5*x + 21. Suppose -m + 4 = z. Let f be m/(-5) + (-4)/(-10)*-1. Is 2/11 <= f?
False
Let d be (1 + 0 + -2)/(8/320). Let o = 29 + d. Is -16 less than o?
True
Let b(r) = -r**2 + 13*r - 21. Let l be b(7). Suppose -2*u + 2 = 3*y + l, -2*u + 21 = -5*y. Let k = -2386/4151 - -2/593. Is k bigger than u?
True
Let p be ((-661201)/351254 - -2) + (-32)/272. Is p < 1?
True
Let v = -806547/137 - -5887. Which is smaller: v or -1?
-1
Suppose -s + 107 = 39. Suppose -5*m - s = 2*u, -3*u = 2*u + 3*m + 132. Let a = 28 + u. Is a at least as big as 3?
True
Suppose -2*u - 3*g = -4*g - 425, -3 = -g. Suppose 216*i - u*i - 4 = 0. Suppose i*r = 2, -114 - 89 = -2*d + 5*r. Are 103 and d nonequal?
True
Let h(m) be the first derivative of -m**3/3 + 5*m**2 - 8*m - 10. Let n be h(9). Let c = 6 - n. Which is smaller: c or -2?
-2
Let i be 4*1094 + (-240)/150*5. Is 4368 smaller than i?
False
Suppose 224*t - 219*t = -k + 10, -2*k + 6 = 3*t. Which is bigger: t or 59/56?
t
Suppose -92 = -9*h + 133. Let l be (2 + -6)*(1 - h/20). Is -4/143 less than or equal to l?
True
Let w(f) be the first derivative of f**3/3 - 3*f**2/2 - 21*f - 80. Let v be w(6). Let d = 0 - -3. Which is smaller: v or d?
v
Let d = 4552 - 4552. Let w = -155293/87 + 1785. Which is smaller: w or d?
d
Let l = 73325 - 73333. Let i(v) = 36*v + 1. Let s be i(-1). Which is smaller: s or l?
s
Let l = -662 - -391. Let g = 273 + l. Is g less than 0.21?
False
Suppose -7*g + 467 - 131 = 0. Let f be g/2 + (-3 - -4). Suppose f = 5*k - 55. Do k and 18 have different values?
True
Let h(y) = -y**3 - 36*y**2 + 36*y - 32. Let w be h(-37). Suppose -w*p - 77 = 2*a, 0 = -3*p - 0*a - 2*a - 47. Which is smaller: p or -18?
-18
Let n be ((-2)/(-132))/((-1)/28). Let o(q) = 13770*q + 110159. Let z be o(-8). Which is smaller: n or z?
z
Let d(s) = s**3 + 27*s**2 + 147*s - 30. Let q be d(-8). Is 222/23 <= q?
True
Let g(x) = -x**2 + 2*x - 1. Let j be g(2). Suppose 3*f + l - 3*l - 83 = 0, -4*l = -4*f + 108. Let o = -28 + f. Is o < j?
False
Let h = -4083 + 3132.5. Let x = -951 - h. Which is bigger: x or -0.1?
-0.1
Let w(g) = 2*g**3 - 2*g**2 + g. Let s be w(1). Let j(t) = t**3 - 2*t**2 + 8*t - 10. Let f be j(7). Let d = f + -259. Do s and d have different values?
True
Let u = 82109/9 - 9123. Suppose -3*a - 89 = -2*h + 75, 3*h - 246 = -3*a. Suppose -h = 4*c - 0*l + l, c - 4*l = -12. Are u and c unequal?
True
Suppose 2 = -5*x + 17, 5*x - 170 = -5*z. Let o = 2 - -30. Suppose o = -n + 2*n. Which is bigger: n or z?
n
Let l = 2729/880209 + -2/1683. Let g = l - -418/54915. Let w(q) = -q**3 + 12*q**2 + 66*q + 7. Let c be w(-4). Which is smaller: c or g?
c
Let h = -226 + 207.7. Let d = h + 18.22. Do 0 and d have the same value?
False
Let k = -13890 - -13889.9542. Is k bigger than 7?
False
Let l(z) = z**2 + 56*z + 134. Let a be l(-54). Let c be (4/12)/((-2)/6). Let d be 0 + c/(12/a). Is -3 less than or equal to d?
True
Suppose 4*t + 62 = 86. Suppose -t*g - 9*g = -g. Which is bigger: 2/1219 or g?
2/1219
Let c = -477569823/4426 - -107901. Which is smaller: c or -1?
-1
Let k be (-13)/(1 - 476/474). Let o = -301935/98 + k. Let m = -11 + 11. Which is smaller: o or m?
m
Let x(u) = 10*u - 117. Let y be x(14). Suppose y*k = -3*k. Let r = -10/373 - -2296/57815. Which is smaller: r or k?
k
Let x = 2885 - 2884. Which is smaller: -3/10867 or x?
-3/10867
Let w be ((-6)/(-136))/((-302343)/7750 + 39). Which is bigger: w or -5?
w
Let f = -65 - 102. Let n = -166 - f. Is 2/19 bigger than n?
False
Let d = 203 + -155. Let k = 37 - 35. Let b(o) = 10*o**2 + 2*o + 2. Let w be b(k). Does w = d?
False
Let r be 4/(-46) - (-9222)/(-1334) - 445/140. Which is bigger: r or -11?
r
Let q = 0.063 - 0.113. Let u = 0.1 + 1.8. Let c = 1.9 - u. Which is bigger: c or q?
c
Let p = -1.662 + 958.662. Let m = p + -957.4. Let a = 0 - 0.1. Are m and a equal?
False
Let u = -9413268647/24785 + 379797. Which is bigger: 0 or u?
0
Suppose u = -2*t - 1702, t - 6808 = -3*u + 7*u. Let f = u + 10151/6. Which is smaller: -11 or f?
-11
Let j be (-1)/(1/(-758)) - 2. Suppose 0*z = 14*z + j. Is -53 at least as big as z?
True
Let i = 0.01 - 8.01. Let k = -0.1081 - 0.0819. Are k and i equal?
False
Let b = 9.16 - 409.16. Let t = -395 - b. Which is greater: -13 or t?
t
Let p(g) = -g**3 + 14*g**2 - 12*g - 11. Let h be p(13). Suppose 3*u - 5 = -h*u. Which is smaller: u or -2/243?
-2/243
Let o(n) = -2*n**3 - 3*n + 20. Let q be o(4). Let p = q - -117. Which is bigger: -43/10 or p?
p
Let q(c) be the second derivative of 5*c**3/3 - 141*c**2/2 - 25*c - 2. Let i be q(16). Let k = -16 + 34. Is k at least as big as i?
False
Let t be -3*(49/21 - 7 - -6). Suppose 2*i = 4*j - 120, -5*j - i - 71 = -207. Suppose -3*a + 14 = -j. Is t equal to a?
False
Let a(q) = 21*q**2 - q**3 + 41*q**2 - 1 - 75*q**2 + 38*q**2. Let x be a(25). Which is smaller: x or 1/116?
x
Suppose 3*a + 22 = -y + 5*y, 5*a - 5*y = -40. Let x(g) = g**3 + 10*g**2 + 6. Let h be x(a). Let i be h/(-10) + 444/840. Which is greater: 1 or i?
1
Suppose -c + 141 - 393 = 0. Let q be (-6)/(-10) - c/(-525). Let v = 42/275 + q. Which is bigger: v or 1?
1
Let t be (-2)/((-4)/(-10)) - 10/5. Suppose 0 = 2*x - 4*u - 62, -u = -x + 30 + 2. Suppose d - 2*q = -7*q - 21, 4*d = -3*q - x. Which is smaller: d or t?
t
Let p(s) = -359*s - 82. Let r be p(-2). Which is bigger: r or 635?
r
Let h be (2 + 640)*6/(-297)*34. Let v = 441 + h. Suppose 0 = 2*x + 5*z + 17, 3*x - 4*x = z + 4. Which is smaller: v or x?
x
Suppose -28 + 79 = l. Suppose -4*k - z = -l, -5*z = -k + 4*k - 51. Suppose -k*o = -4*o + 376. Which is smaller: o or -46?
o
Let k be -9 - -4 - (-21 + 37)/(2/(-59)). Which is greater: k or 473?
473
Suppose -34*q = -2832 + 2832. Let v = 43/10 - 7419/1730. Which is bigger: q or v?
v
Let y(i) = 3*i**2 - 59*i + 189. Let l be y(13). Is -88 greater than or equal to l?
False
Let l be -5 - 15189/(-3318) - (-6)/14. Which is greater: l or 0.4?
0.4
Let j = -92 - -157. Suppose 0 = -13*r + 247 + j. Which is smaller: r or 2?
2
Suppose 45 = 3*o + 4*g, -11*g + 285 = -3*o + 7*g. Let f = -2.5 + 1.4. Is f > o?
True
Let l = 0.024 - -31.976. Let g = -38.9 + l. Let p = g - -0.9. Are p and -1 non-equal?
True
Let f = -901 + 1020. Which is smaller: f or 30?
30
Suppose -2*l + 2*w = 0, w - 1 = 3. Let r(o) = o**3 - 6*o**2 + 8*o + 1. Let z be r(l). Which is greater: z or 11?
11
Let n = 0.2864 + 156.7136. Which is greater: n or -27?
n
Suppose -4*t - 212 = 728. Let f = t + 236. Is -17/39 <= f?
True
Let u be ((-2)/(-764))/((-2)/4). Let w be 13 + (-14 + 15 - 15). Is u at most w?
False
Let s = 860/1537 - 26/53. Let u = -6.96 + 7. Is u smaller than s?
True
Suppose 5*k + 40955 = 5*l, 2*k + 23*l = 27*l - 16366. Is k less than or equal to -8199?
True
Suppose -4*l + 4 = -16. Suppose -4*h + 7 = -l*h. Let r be -5*(-6)/h + 4. Is 0.38 at least as big as r?
True
Suppose -95*z - 25748 = 2277. Which is bigger: z or -293?
-293
Let u(g) = 1515*g + 21. Let r be u(7). Suppose -2*t - r = -7*t + 4*x, -x - 4 = 0. Let o = -112469/53 + t. Is 0 at most o?
False
Let c(w) = -12*w**2 + w + 1. Let p be c(-1). Let x be (59*1 - -1) + (p - -13). Let u = -63 + x. Is u at most as big as -8/7?
True
Let x be (27/(-10503))/(-1*(-2)/488590). Let h = x - -628. Is 1 <= h?
False
Let a = -3.36 - -4.98. Let r = a + -1.82. Is r less than -2/1121?
True
Let q = 410.8 + -411. Which is smaller: 0.0753 or q?
q
Suppose -i + 11*h - 14*h + 327 = 0, -666 = -2*i - 3*h. Let n = i + -340. Is -2/35 at least n?
True
Let h be ((-25)/(-10))/(24885/70). Which is smaller: h or 1?
h
Let f be 9*(-2 + (-70)/(-42)). Let x(l) = -l**3 - 4*l**2 - 3*l. Let u be x(-2). Which is smaller: f or u?
f
Let l = -26.714 + 12.714. Ar