ppose 2*z - 3*d = -d + 318, -5*d = 20. Let g = 144 - z. Which is smaller: -2 or g?
g
Suppose 44*c = 33*c + 66. Suppose 2*i = 5*i - 12. Let s be (-39)/(-45) - i/c. Which is bigger: 9 or s?
9
Let p = 2106 - 1914. Which is smaller: 3/4 or p?
3/4
Let k = -38.51 + -0.49. Let w = 283.1 + -323.1. Let v = w - k. Is -25 bigger than v?
False
Suppose -5*f - 10 = 0, 5*w + 5*f - 2*f - 2004 = 0. Suppose 10*u + w - 122 = 0. Suppose 116 = -4*s - 0*c + 3*c, -s - 2*c - 18 = 0. Is u at least as big as s?
False
Let j be 0*(1 + (-6)/4). Suppose 2*y - 22 = -12. Suppose y*c + 0*d + 2*d + 4 = 0, -8 = -2*c + 4*d. Is j at least c?
True
Let i = 513347 - 513348. Let d(c) = 7*c - 5. Let q be d(4). Let w be ((-2)/5)/(q/(-5)). Which is greater: w or i?
w
Suppose -b = -2*g - 132, b - 126 = -0*b + 5*g. Let u be 32515/238 + 4/(-34). Is b bigger than u?
False
Let n = 4.1988 - 1.1588. Which is smaller: n or -24?
-24
Let l = 2.02409 - 0.02409. Let q = 11 + -2. Is l at least q?
False
Suppose -825 = 5*o - 2*r, -o = 2*o - 2*r + 499. Let q = -164 - o. Is q greater than 3/31?
False
Let i be 2/10 + (-84)/(-30). Suppose -c - 2*d = 7, -2*d + 0*d = -i*c + 11. Let t = 2/3023 - -8989/120920. Is t equal to c?
False
Suppose -4*w + 556 = -2*k, -w + 4*k + 124 + 22 = 0. Let t be (-3 - w/(-48))/((-2)/(-1)). Let q = -0.5 + 0.2. Are q and t non-equal?
True
Let h be (-1 + -1)/(40/(-148)) + (140 - 147). Is h bigger than -4241?
True
Let m(w) = -13*w + 42. Let k be m(-7). Suppose -k = 5*x - 13. Let q be (-2 - x/15) + 2/5. Is -2/51 > q?
False
Let k be 1/5 - 4/(-10). Let o = 11027/385595 - 2/77119. Which is smaller: o or k?
o
Let f = -11260 + 7749. Is 0.1 less than or equal to f?
False
Let r = 2126 + -2125.906. Is r > -1/38?
True
Let s be 36/(-20752)*-12*(-18)/648. Is s < 0?
True
Let c be ((-472)/(-16))/(30/(-480)). Which is smaller: c or -460?
c
Let q = -2796 - -3710. Is 915 > q?
True
Let y = -2593 + 2597. Is y at most 1/105?
False
Let s = -2333 - -2324. Are -346/41 and s equal?
False
Let n = -1709 + 2285. Which is smaller: 580 or n?
n
Let h = 2.8 - 2.7. Let o = 0.034 - 33.034. Let m = o + 33.1. Are h and m unequal?
False
Let b be (954/(-1))/(4/(-4)). Let y be b/(-14) - (10/14)/(-5). Is -67 equal to y?
False
Let v = -51365 + 51439.943. Let j = v - 75. Let d = -0.079 + -0.121. Is d at least j?
False
Let f(n) = -2*n**2 + 10*n - 24. Let m be f(3). Let l be 1 - 35 - (-10 - m). Which is bigger: l or -37?
l
Let v = 11543.961 - 11544. Let p = 0.09 + -5.09. Which is bigger: v or p?
v
Suppose -5*i - 4*m + 153969 = 0, 3*m = -2*i + 38809 + 22780. Is 30793 bigger than i?
False
Let b(w) = w**3 + 2*w + 7. Let f be b(0). Suppose 53 = f*s - 402. Let j = -36 + s. Which is bigger: j or 30?
30
Suppose 0 = 9*p + 1276 + 2873. Which is greater: p or -464?
p
Let k = -100 + 91. Let s(c) = -3*c - 7. Let z be s(k). Let t be 2/10 + 1356/z. Which is smaller: t or 69?
t
Suppose -2*z + 257 = 5*o, -3*o + 14 = 5. Suppose 4*k - z = 3*r, -13*k = -18*k - 10. Is r less than 1?
True
Let y(x) = 2*x - 17. Let h be y(11). Let i be 0*(6 - (0 + h)). Is i >= 5/24?
False
Let q be (-3)/5*5 + 289. Let c = q - 444. Which is smaller: c or -159?
-159
Let r = 0.61 + 4.39. Let t be (-35 - -2)*((-1287)/162 + 8). Which is greater: r or t?
r
Let z = -681 - -685. Let p = 157.18 + -157. Is z at most p?
False
Let m be 5028/(-8)*(-12)/(-18). Let g = 747 + m. Suppose -g = -5*q - y, 3*q - 111 = 5*y + 69. Is 64 <= q?
True
Let t be (6 - 5)/(3 + 1 + -1). Let h = -15 - -48. Let n be 138/h - (-2)/(-11). Which is smaller: n or t?
t
Let j be (30/42 - -1)/(201/1876). Do j and 131.4 have the same value?
False
Let j = -4/20187 + -115960853/20187. Let o = j + 5667. Let c = 76 + o. Which is smaller: 0 or c?
c
Let l(b) be the second derivative of -b**3/6 + 5*b**2/2 - b. Let x be l(4). Let m be ((-3)/(-9)*21)/(-1*x). Is m at least -8?
True
Let c = -0.0272 - -258.0272. Let r = -257.9 + c. Is r equal to 27?
False
Let s = -35.162 + 795.162. Which is smaller: -1/31 or s?
-1/31
Suppose 5*d = 3*x + 9, 6 = 3*d - 448*x + 446*x. Which is smaller: d or 5/2113?
d
Let r(o) = o**3 + 5*o**2 - 1. Let a be r(-5). Let y be 24/(-20)*(a - -16). Let d be ((-2088)/27)/4 - (-3 + (-16)/(-6)). Which is bigger: d or y?
y
Let k = -459769 + 3175624477/6907. Which is smaller: 0 or k?
k
Let l be (-82216)/(-6) - (-2184)/(-273). Is l != 13695?
True
Let c = 307 - 187. Suppose 0 = 4*b - 16*b - c. Is b greater than or equal to -13?
True
Let h = 401.1272 + -394.23. Let s = -0.1028 - h. Let b = -1243/15 + 83. Is b equal to s?
False
Let y = 2/274637 - -164782174/3570281. Which is bigger: 45 or y?
y
Let q(u) = -359*u**2. Let d be q(1). Let b(s) = -6*s**2 + 106*s + 320. Let f be b(-5). Is d at most f?
False
Let u = 531 + -333. Let w be (2/(-18))/((-6)/u). Suppose 0 = 3*l - 9. Is w equal to l?
False
Let x be (5/9 + 1943/261)*(-12)/72. Let c = -0.1 - -0.2. Which is smaller: x or c?
x
Let k(g) = 11 - 5*g + 5*g**2 + 1 + 22*g**3 - 21*g**3. Let b be k(-7). Suppose -2*t + 4*s - 8*s = 88, -5*s = -t - 65. Which is smaller: t or b?
b
Let z be (-750)/(-2) - -2 - (9 + -17)/(-8). Which is greater: z or 377?
377
Suppose -4*x - 12 = 0, 0 = -3*d + x + 25 + 221. Let j = 111 - d. Suppose 3*t = -7*t - j. Is -3 >= t?
True
Let r = -251.3 + 237.39. Let m = 1.91 + r. Is 2/13 at least m?
True
Suppose -4*h + 3144 = 2*i, -3*h - 21*i + 24*i + 2367 = 0. Let l = h - 32269/41. Which is greater: l or 1?
1
Let j be 0/2 + 17/(238/505358). Is j > 36096?
True
Let a be (4/60)/((-1)/(-3)). Let j(s) = -s**3 - 16*s**2 - 25*s - 60. Let v be j(-14). Let d = v + 103. Is a greater than or equal to d?
False
Let b be 4/(-90) - 13246/151515. Does -1 = b?
False
Let p(i) = -3*i - 38. Suppose -4*t = -q + t + 2, -3*q + t - 22 = 0. Let y be p(q). Which is smaller: y or -16?
-16
Suppose 49*w - 47*w + 1144 = 4*p, 3*w + 1704 = 3*p. Is -560 less than w?
False
Let s(p) = p**2 + 7*p - 14. Let k be s(-9). Let v = -4 + k. Let b be 21/(-15) + 2/5. Is v greater than b?
True
Let m be (-10 - -4)*(24/(-4) + 3). Suppose -75 = -m*p - 3. Suppose 2*c - 3 - 3 = 0. Is c <= p?
True
Let r = -0.001 - 0.107. Let o = 70.108 + r. Let t = -69.47 + o. Are 2/9 and t unequal?
True
Suppose -k + b + 2*b + 11 = 0, 2*b = 5*k - 29. Let p be k/1*(7 + -4 - -4). Suppose 0 = w + p - 24. Which is greater: w or 3?
3
Suppose 0*f - f + 2 = 0, -4*q - 3*f + 1462 = 0. Suppose 2*h - 9*h - 707 = -2*z, -5*z - h + 1823 = 0. Is z < q?
False
Let a be -17 - (-8003)/(-4) - 6. Is a > -2024?
True
Suppose -19*a = -3*a + 352. Let g = -34 - a. Are -32/3 and g equal?
False
Let h(q) = 5*q**2 - 10*q**2 - 5*q - 36 + 3*q**2. Let c be h(-6). Is -77 bigger than c?
True
Let z = -65 + 63.1. Let g = z - 3.7. Let h = -5.4 - g. Are h and -6 nonequal?
True
Suppose 3*w = -41 + 44. Suppose 21*i - w - 20 = 0. Let s be 2/(-4) + 14/32. Which is bigger: i or s?
i
Let k be (-26)/(-13) + -1 + 8. Is 71 at most as big as k?
False
Let d be (0 - 146/(-40)) + 114/190. Suppose -2*t = 5*t - 21. Which is bigger: t or d?
d
Suppose -56 = 4*s - 3*h, s + 27 = -2*h + 6*h. Which is greater: s or -0.1113?
-0.1113
Let a = -19408 + 19060. Is -3813/11 at least as big as a?
True
Let l be 898/(-18) - (-7 - (-3 + 259/(-63))). Let y = -2 + 6. Let v = y + -3. Which is bigger: l or v?
v
Let j = -56 - -610/11. Suppose 268 = 4*t - 2*a, 3*a - 190 = -3*t - a. Let n be -12*(-1 - t/(-60)). Which is smaller: j or n?
n
Let u(i) = 2*i**2 - 35*i - 14. Let d be u(18). Suppose -3*q - 3*b = -8*q + 1808, 5*q - d*b = 1804. Are 363 and q nonequal?
True
Let h = 6 + -26/3. Let j = -3 - h. Let u = -9304 - -18621/2. Is u equal to j?
False
Let r = -48.2 - -125.7. Let t = 82.4 - 5.4. Let q = t - r. Is 4 < q?
False
Let m = -103571 + 8803427/85. Is m greater than or equal to -1?
False
Suppose 2*m = -6, 0*m + 3*m = 4*t - 29. Suppose -19 + 9 = -t*r. Suppose 0 = -r*o - 4*f - 14, f - 4 = -7. Is o at least 0.02?
False
Let s be (-4)/14 + 442/(-70). Suppose 223 - 20 = -29*t. Are t and s equal?
False
Let a = 49.81 + -49. Let z = a + -2.81. Which is smaller: -0.29 or z?
z
Let z(o) be the first derivative of -o**2 + 9*o - 23. Let n be z(2). Suppose -24 = -n*y - 3*y. Which is smaller: 21/8 or y?
21/8
Let f be (2 + -3)/(0 - 2/884). Let w be ((-396)/55)/12 + f/(-5). Is w >= -88?
False
Let a be 3975/(-636)*((-2)/8 + (-95)/4). Is a < 149?
False
Let a be 9/30 - (-965)/(-2702). Suppose 4*z = 3*q + 35