0.0353 - -6.9453. Let i = w + -6.5. Which is smaller: i or m?
i
Let d be (-15)/40 - 8901/71784*-3. Which is greater: 0 or d?
0
Let a(u) = -3*u + 13. Let x(m) = m**2 + 11*m - 18. Let d be x(-13). Let o be ((96/(-9))/4)/(d/(-12)). Let p be a(o). Is 3/2 >= p?
True
Let j = -17 + 2. Let n = j + 227. Let o be (-1)/(1/(8/n) - 3). Are o and -1 nonequal?
True
Suppose g + 2 + 4 = 0. Let j(d) = d**3 + 5*d**2 - 2*d. Let v be j(g). Let h(m) = -m**2 - 10*m. Let q be h(-12). Is q greater than v?
False
Let l(v) = -v**3 - 4*v**2 - 10*v - 8. Let r be l(-6). Let o = r - 59. Suppose -83 = -j - 3*d, 9*j - 84*d - 591 = -85*d. Is o greater than or equal to j?
True
Suppose -223 - 73 = 2*j + 3*x, 5*j + 3*x = -731. Do -143 and j have the same value?
False
Let t(a) = a**2 + 5*a - 5. Let x be t(2). Suppose 2*o = 5*o - x. Suppose 3*v - o*p - 5 = 4, 3 = -p. Which is bigger: v or -0.4?
v
Let g = 0 + -6. Suppose 64 - 15 = -2*q - o, -3*o = 3*q + 75. Let d be (4 + q/6)*1/(-2). Is d > g?
True
Suppose -6*a + 4*a + 6*g - 1126 = 0, -3*a - g = 1649. Are a and -571 nonequal?
True
Suppose 0 = 14*m + 15 - 1. Let o be (-1)/(m/3)*(-10)/15. Let k be o + -1 - -2 - 5/1. Is -4 equal to k?
False
Let p = 711 - 840. Which is smaller: -1168/9 or p?
-1168/9
Let x(s) = s - 1. Let o be x(-3). Let l(p) = -6*p + 73. Let f(d) = 5*d - 63. Let n(h) = 7*f(h) + 6*l(h). Let t be n(o). Is 2/259 at most t?
True
Let k(s) = s + 3. Let u be k(-11). Let v be 14/4*144/252. Suppose r - 17 = v*d, 2*d = -6*r + 4*r - 20. Which is smaller: u or d?
d
Let l be 5/((-140)/442) - (3 - 6). Let a = l - -58/7. Let s(z) = 2*z + 6. Let r be s(-6). Which is bigger: r or a?
a
Let l be 0*8/72 + -14. Which is smaller: l or -27?
-27
Let g be (-26)/(-11 - 2) - 19. Which is smaller: g or -205/12?
-205/12
Let a = -2210 - -2234. Which is greater: a or 162?
162
Suppose 0 = -r - q - 20, -4*r = -2*q + 16 + 34. Let i be -2 - r*(-60)/(-99). Let v be (-2)/24 + (-7954)/(-984). Are v and i non-equal?
True
Let b be 275/(-20)*(-4)/(-10)*-2. Suppose o - 5*m - b = -2*m, o + 3*m = -7. Suppose -2*w - 5*q + 7 = -9, 32 = 4*w - o*q. Is 5 at least as big as w?
False
Let g = -577/5 + 115. Let y = -1.188 - -2.188. Is y < g?
False
Let f be 552/(-1540) - -5*12/210. Suppose 0 = 3*c - 31 + 7. Let m = 9 - c. Which is smaller: f or m?
f
Let k be 12/(-40)*(-2 + 16). Let d(o) = -13*o - 67. Let w be d(-8). Suppose 1 = -4*f - 3*c, -5*c + w = -3*f - 0*c. Is f < k?
False
Suppose -3*f - 2*i + 1403 = 0, -570 = -2*f + 2*i + 342. Is f at least 464?
False
Let j = 199 + -441. Let w = 11906 + -11907. Which is greater: j or w?
w
Let m = 49 + -69. Let o = 20 + m. Let t be 5 - (-1216)/(-180) - 24/54. Which is greater: t or o?
o
Let b(y) = y**2 - 3*y - 1. Let q(r) = -2*r**2 - 3*r + 33. Let c(u) = -4*b(u) - q(u). Let s be c(4). Which is smaller: s or 2/491?
s
Let u = -25.21 + 26.21. Let n = 30.948 - -0.052. Let l = -21 + n. Is u at least l?
False
Let g = -20339 - -1621. Are -0.1 and g non-equal?
True
Let f = 212 - 210. Suppose -2*i - 38 = -4*m, 0 = 2*m - 4*i + f - 30. Which is smaller: m or -1?
-1
Let z = 1 + -1.16. Let a be (-2)/(-9) - (1734/(-216) + 9). Which is bigger: a or z?
z
Let v be 10132/36 - 20/(-36). Which is greater: v or 1.2?
v
Suppose 4*d + 68875 = 5*r, -25 = -84*d + 89*d. Is 13771 greater than r?
False
Let t = 15832501/1500 + -10555. Is 0 less than t?
True
Let s = -12735.61 + -141.39. Let f = s - -12870.989. Let c = -0.011 - f. Which is greater: c or -0.1?
c
Let m = 3751.9 + -3752. Which is bigger: 0.988 or m?
0.988
Let j = 100 + -99.902. Let p = -21 - -21.117. Let f = p - 1.117. Which is smaller: f or j?
f
Let f(c) = c**3 - 3*c**2 - 3*c + 16. Let d be f(3). Suppose -33*q + 26*q - d = 0. Are q and -165 equal?
False
Let c = -38566 + 1195413/31. Is c at most as big as -3?
True
Suppose 7*x + 49 = -35. Let v = x + 16. Suppose 0 = -u + 3*z + v, 28 = 3*u - z + 8. Which is smaller: 5 or u?
5
Let x(w) be the first derivative of w**3/3 - w**2 - 36*w - 7. Let t(m) = 23*m - 189. Let i be t(8). Let l be x(i). Is -1.06 at most as big as l?
True
Let v be (10/15)/((-8)/18)*(-174)/(-27). Suppose 4*p + 20 = -16. Which is greater: p or v?
p
Suppose 0 = -2*u + 4*y + 4 + 6, -3*y - 4 = -5*u. Let g be (-14)/(-7) + -2 + -1 + u. Let d be ((-8)/40)/(g/26). Are d and 0.1 equal?
False
Let a = -88 - -44. Let z = 4706 - 13984/3. Let u = a + z. Which is smaller: -5 or u?
-5
Let w = -733.9 + 500. Let o = w - -234. Is -0.115 < o?
True
Let b(f) = f**3 - 9*f**2 + 12*f - 7. Let d be b(8). Let l = 0.20762 - 11.20762. Which is smaller: d or l?
l
Suppose -84*y + 76*y + 16 = 0. Suppose c - 2*r + 581 = -y*c, 4*r + 808 = -4*c. Does c = -196?
False
Suppose -187020 + 27388 = -12*b - 10*b. Which is smaller: b or 7254?
7254
Let p be ((-3)/(36/5932))/((-1)/3). Is 1484 at least p?
True
Let r(u) = -u**2 - 130*u - 2927. Let b be r(-29). Is 81/43 at least b?
False
Let n(p) = -p**3 - 7*p**2 - 6*p - 7. Let g be n(-6). Let o be (g - -1)/(-1)*11/6. Which is smaller: o or 186/17?
186/17
Let k = -23 - -23.4. Let y = k + 3.9. Let l = y - 4.2. Which is smaller: -5/2 or l?
-5/2
Let b = 193541/109 - 1775. Which is greater: 2 or b?
2
Let m = 128.9422 + 0.0578. Let r = m + -142. Is r >= -1/3?
False
Suppose 4*a + 8*i = 944, -2*i + 201 - 917 = -3*a. Is 226 < a?
True
Let m = 5833565 + -5818263.989. Let j = m - 15319. Let a = -18 - j. Is -1 bigger than a?
False
Let n be 1 - ((-1486)/26 - -1). Let s = 57 - n. Let b(g) = g**2 + 7*g + 1. Let d be b(-7). Which is bigger: d or s?
d
Let h(z) = -z**3 - 27*z**2 + z + 32. Let p be h(-27). Suppose y - p*y - 4*l = 4, -5*l - 13 = -3*y. Let w be 3/(-2)*16/(-36). Is w equal to y?
False
Let j = -1160464/1128365 + -4/32239. Suppose -4*p = 6 - 2. Are p and j non-equal?
True
Suppose 0 = 4*d + q + 4*q - 12, -3*d - 3*q + 9 = 0. Let x be (-12)/(0 + -3) - (7 - d). Which is greater: x or -4/77?
x
Let d = 1882 - 2705. Let k = 807 + d. Let u be ((-28)/6)/(2/6). Which is greater: k or u?
u
Let r = 687 - 754. Let y = 33/14 + -127/42. Which is bigger: r or y?
y
Let z = -25599509 + 1894330663/74. Let p = z - -446. Suppose 9*c = -0*c - 8*c. Is c > p?
False
Let z = -58198 + 29236. Let u be ((-6)/z)/(8/(-48)). Which is smaller: 1 or u?
u
Let j = 223 + -284.6. Let n = 4.6 + j. Is n > -3?
False
Let z = -24 - -23. Let o be 652/28 + (-6)/21. Suppose 2*c + 39 = o. Is c <= z?
True
Let r = 2.5 - 2. Suppose 4*a - 5*a - 2*b - 504 = 0, 5*b + 2007 = -4*a. Let m = -495 - a. Do r and m have the same value?
False
Let g = -53 - 158. Let x = -212.5 - g. Is x greater than 0.5?
False
Let b(z) = -2*z**2 - 13*z - 4. Let p be b(-6). Suppose 3*m - x - 17 = 0, m - x - p = 3. Suppose 3*o - s + 4*s = -18, s - m = 5*o. Is 3 at most o?
False
Let z(x) = 4*x**2 - 55*x - 233. Let b be z(17). Is -494/43 > b?
True
Let z = -844 + 843. Which is greater: z or 1073?
1073
Let p(f) = -6*f**3 + f**2 - 3*f + 3. Let w(u) = -u**3 - 6*u**2 - 6*u + 9. Let d be w(-4). Let b be p(d). Is 0 at most as big as b?
False
Suppose z = 3*m + 12, 0 = -2*z + 3*z + 3*m + 6. Let a = -5 + z. Let o be (-4)/(-8 - (-92)/11). Which is smaller: a or o?
o
Let d be ((-100)/(-300))/(1 + 7/(-3)). Suppose 2*k = k + 4*r - 14, 5*k - 5*r + 10 = 0. Suppose -k*v = 22 - 4. Do v and d have different values?
True
Let h(k) be the third derivative of -k**6/120 + 7*k**5/30 - 11*k**4/12 - 25*k**3/6 + 5*k**2 + 2*k. Let c be h(12). Let y = 1.2 - -0.2. Does y = c?
False
Let l = -0.1 + 1.8. Let q be ((-21)/9 + 2)*(9 - 8)*-3. Is q greater than l?
False
Suppose -y + 5*h = 215, -952*h + 380 = -2*y - 947*h. Let j(v) = -2*v**3 + 3*v**2 + 2*v - 1. Let m be j(5). Is y >= m?
True
Let k(h) = h**2 - 3*h + 10. Let i be k(3). Suppose -3*a = 2*u + 12, -u = -2*a - 5 - i. Suppose 3*z + 9 = -2*d - 8, -d + 4*z - 3 = 0. Which is greater: a or d?
a
Let z = 2/349 + -431/14309. Let d be 8/22*-1 + 236/649. Is d >= z?
True
Let x = 27420 - 26537. Which is bigger: x or 884?
884
Suppose 521 = 3*n - 2*w, -w = 10*n - 13*n + 517. Suppose 6*d - n = 15*d. Are d and -19 nonequal?
False
Let l be ((-16)/(-30))/(2/100)*-6. Let q = 95 + l. Let d = q - -59. Are -9 and d non-equal?
True
Suppose -s = -2*h + h - 10, 3*s + 5*h = -10. Suppose 4*b + 3*x - 172 = s, -2*b + 3*x + 75 = 0. Is 40 < b?
True
Suppose -5 = -2*p + 1. Suppose -2*r = -p*w + 2*w + 303, w - 5*r = 318. Suppose -216 = -2*f - 2*f - 3*l, 5*f - w = 2*l. Is 58 smaller 