ppose 3*c = -9, 4*u - c - 28 = -29. Is -1/728 equal to u?
False
Let u(a) = 8*a**2 + 5*a - 2. Let d(r) = 13*r + 12. Let v be d(-1). Let f be u(v). Is 68 < f?
False
Suppose -906*f + 860*f = -4232. Which is smaller: 93 or f?
f
Let d = 370 + -590. Let u = d + 99. Let k = 67 + u. Which is smaller: k or 0?
k
Suppose -h + 3*h = 3*j + 340, j + 4*h + 132 = 0. Let i = 200 + j. Which is smaller: 85 or i?
i
Let c be (96/(-51))/(2*-1). Let t = 44465 - 44463. Does t = c?
False
Let y be 4/(-6)*2*15/(-10). Suppose -a + 3*j - 4*j - 16 = 0, 6 = y*j. Let r = 49 + a. Which is greater: 32 or r?
32
Let r = -17.418 + -3.582. Let n = 8 + -6. Let o be n/6 - (-3)/9. Is r at most as big as o?
True
Let y be (-2)/(-11) + 105/(-33). Let p be y - 5/((-5)/3). Let r be 31/(317 + -7) - (-531)/(-10). Are r and p nonequal?
True
Let f = -12 - -17. Suppose -19539 = 689*s - 215*s - 5874 + 2451. Which is smaller: s or f?
s
Let v = 43 - 29. Suppose -v - 14 = -2*f. Let t(w) = -w**3 + 14*w**2 - 3*w + 22. Let m be t(f). Is -21 < m?
True
Let y be (-1416)/(-2596) + 17/(-11). Which is bigger: 42.65 or y?
42.65
Let u be ((-76)/285)/(((-3)/(-18))/(2/(-8))). Is u less than or equal to 2934?
True
Let d be (-1800)/(-2040) + 4/10 + (-192)/680. Are d and 4/21825 non-equal?
True
Let k = 672.57 + -672. Let m = -14 + 14.52. Let o = m - k. Does o = -5?
False
Let b = -6438 + 6438. Let m be (-1)/((-63)/(-12) - 1). Is m >= b?
False
Let w = 24537 + -24715. Which is greater: w or 24?
24
Suppose 0 = 4*i - 2*i - 18, -5*h + 5*i = -18595. Which is greater: 3731 or h?
3731
Suppose 4*v + 2 - 6 = 0. Let b be (1/(-3) + 910/21)*v. Is b at least 41?
True
Let z(w) = -154*w - 1. Let c be z(-1). Let m = -94064 + 1033023/11. Let k = m + c. Which is bigger: k or -0.02?
k
Let t(n) = -n**3 - n**2 + 2*n - 2. Let g be t(-3). Suppose g*i - 2730 = 3*i. Let r be 1/(-10) + 99/i. Are r and 1 non-equal?
True
Suppose 0 = 7*y + 147 - 154. Suppose r - t = y, 3*r - 1 = 7*r + t. Is r not equal to 2/197?
True
Let a(p) be the second derivative of -5*p**4/12 - 7*p**3/6 - 5*p**2/2 - 22*p + 2. Let y be a(-2). Which is smaller: 0.2 or y?
y
Let i(q) = q**3 + 8*q**2 + 11*q - 27. Let f be i(-8). Let j = 1151/10 + f. Is -1 greater than or equal to j?
False
Suppose -4*c + 8*c - 2*f - 258 = 0, 5*c = 2*f + 321. Suppose 0 = -h - c + 90. Do 30 and h have the same value?
False
Let l = 40229 + -40147. Is 44 equal to l?
False
Suppose 393 = -72*k - 401 - 70. Let t(h) = 3 + 11*h + 1 - h**2 + 0. Let s be t(12). Which is smaller: k or s?
k
Let q(c) = c**3 - 89*c**2 + 495*c + 17. Let v be q(6). Let t = 108/9709 - 2/133. Which is smaller: t or v?
v
Let q = -525 + 524.967. Let s = 0.003 + q. Does 11 = s?
False
Let h = 57 - 45. Let n be (1 - h/10) + (-10043)/(-415). Which is bigger: 27 or n?
27
Suppose -26*j - 558 + 532 = 0. Is -1/40009 <= j?
False
Let a = 0.02414 + 10.84386. Let k = -0.132 - a. Is k at least as big as 1/6?
False
Let f = 622 - -254. Let l be 4 + -4 + 22756/26. Let j = l - f. Is -1 >= j?
False
Let d = 978 - 985. Are d and -20 unequal?
True
Let c be 4/(-10) - (-2)/3. Let a = 156593.9 + -156594. Which is greater: c or a?
c
Let h = -190263/4595 - -6/919. Let r = 41 + h. Let v = 2.7 + -0.2. Which is greater: r or v?
v
Let f(u) = u**3 - 8*u**2 - 39*u + 256. Let k be f(8). Is k equal to -88?
False
Let n(y) = 19*y - 7. Let l be n(0). Let r be (-22)/l*273/741. Does 0 = r?
False
Suppose -2*x + 8834 = 32038. Is x at least as big as -11602?
True
Let j be (-20453)/26343 + 1 - 1312/5904. Is j < 1?
True
Let o be (-3)/((-35)/42*9)*510. Is 1430/7 at most o?
False
Let z(k) = 1811*k - 172. Let w be z(3). Is w <= 5261?
True
Suppose -4*x + 27 = 187. Let y be 30/(-4) + x/(-80). Let f be (-24)/(2 + 1) + -3 - -3. Which is smaller: y or f?
f
Let j be (-158*33/44)/((-6)/268). Let s = j + -2821171/533. Which is smaller: s or 1?
s
Let r(o) = 9*o**2 + 4*o + 6. Let c be r(-3). Let a = -79 + c. Suppose -u = 3*u + 24. Are u and a nonequal?
True
Let w be 5 - (-1 + 0 - 0). Suppose 0 = p - 4*p - w. Let r be ((-4)/(-2))/(5 - 7). Is r < p?
False
Suppose a + 3*q = -13, a + q + 23 = -4*a. Let m(v) = v**3 + 3*v**2 - 6*v - 9. Let d be m(a). Which is greater: d or -1/245?
-1/245
Let o = 0 + -22. Let z = 58 + o. Let h = 24 - z. Do h and -15 have different values?
True
Let t(x) = x - 7. Let b be t(-7). Let z be (b/(-4))/((-6)/12). Let m(n) = -n**2 - 3*n + 1331. Let l be m(35). Is l less than or equal to z?
False
Let k = -1913.369 + 1912. Let z = -0.369 - k. Let l be (-136)/12 - 2/3. Which is bigger: z or l?
z
Let l = 7955.9 + -7976.5745. Let j = l - 0.0255. Let k = -20 - j. Which is smaller: -0.5 or k?
-0.5
Let r(y) = -233*y + 1340. Let o be r(3). Which is greater: 639 or o?
o
Let t = 16065 + -16064.7751. Are t and 0.1 nonequal?
True
Let n = -791 + 794. Which is greater: 0.0058 or n?
n
Let q(v) = -405*v**3 + 2*v**2 + 4*v - 1. Let w(b) = 404*b**3 - 3*b**2 - 5*b + 2. Let d(l) = -3*q(l) - 2*w(l). Let n be d(-1). Is -406 != n?
False
Let z = 0.06 + 0.04. Suppose -p + 14*r - 9*r = -22, p = -4*r - 23. Are p and z equal?
False
Let s be ((-7)/(-1) - -51390) + 8. Suppose -18581 + s = 44*n. Do 747 and n have the same value?
False
Let s = -1/7725 + -674647/23175. Is s >= -29?
False
Let b = 499 + -26. Let f = b + -10409/22. Let z = 32649 + -32650. Which is greater: f or z?
f
Suppose 0 = -2*i + 3*v - 23, -2*v + 7*v - 41 = 4*i. Let f be ((-2)/294)/(i - (-45)/10). Suppose 0 = -5*o + 2*o. Is o > f?
True
Let r = -176 - -176. Suppose r = 2*t + 5*i - 27, -i = -0*t + 2*t - 7. Is t < 161?
True
Suppose -3*g = 3*k + 102, k = -2*g - 9 - 20. Let w(q) = 5*q - 31. Let p be w(5). Let n = k - p. Do -31 and n have different values?
True
Let j = 36691 + -36708. Which is greater: j or -192/11?
j
Let i be -8 + 160/24 - 2/3. Is 46 at most as big as i?
False
Let r(b) = 6*b + 75. Suppose 0 = 17*f - 105 + 20. Suppose a + 22 = f*c + 2, 3*a + 4*c + 41 = 0. Let q be r(a). Which is smaller: q or -16?
-16
Let f be (-443)/(-7) - ((-54)/63)/(-3). Let q(x) be the third derivative of -x**6/120 + 3*x**5/20 - x**4/4 + x**3 + 2*x**2. Let o be q(4). Is f greater than o?
True
Suppose -9*d + 30 = 4 + 17. Is d not equal to 1/1167?
True
Suppose 3*y = 2*j - 35819, 204*y = 200*y + 3*j - 47757. Which is smaller: y or -11944?
-11944
Suppose 102*y = -153*y + 84*y. Let c(w) = w - 4. Let a be c(6). Let z be 15/(-501)*a/5. Which is greater: y or z?
y
Let r = -6513 - -7938. Which is greater: r or 1422?
r
Let p = -47.987 + -0.013. Let r = 15 + p. Let k = r + 32.9. Which is smaller: -4 or k?
-4
Let c = -1131/11 - -103. Let a(h) be the third derivative of -h**4/6 + 13*h**3/6 - 48*h**2. Let v be a(3). Do c and v have different values?
True
Let g = 71.50671 - 0.08671. Let c = g - 71. Is c not equal to 2?
True
Suppose 2*u + 2*n + 1 = -9, -u + n + 3 = 0. Which is smaller: u or -1/1081?
u
Let b = -388 + 851. Let i = 463.7 - b. Which is smaller: 7 or i?
i
Let v(m) be the third derivative of m**6/120 + m**5/6 - 7*m**4/12 + m**3/6 + 10*m**2 + 2. Let k be v(-11). Are k and 0 equal?
False
Let l = 369 + -364.93. Let q = 4 - l. Let y = -13645/6 + 2275. Which is smaller: y or q?
q
Let t be -12179*4/(-28) - (-8 + 5)/21. Do t and 1741 have the same value?
False
Let b(k) = -65*k**3 + 2*k**2 - 1. Let v be b(1). Let l = 67 + v. Which is greater: -0.38 or l?
l
Suppose -35*r + 96*r + 4 = 63*r. Let h be (-74)/(-280) - (-2)/8. Which is smaller: r or h?
h
Let b = 2931/2 - 1464. Let y be 0 - (-2 - (0 + 60/(-39))). Is b greater than or equal to y?
True
Let x be 4/500*(-50)/(-60). Let a = -89/150 - x. Does a = -0.007?
False
Let m = -136 - -78. Let h(r) = -57*r**2 - 8*r + 7. Let i be h(1). Is i > m?
False
Suppose 4*q - 546 = 2*p, 0 = 2*q - 7*p + 2*p - 261. Suppose 14*f - 16 = q. Suppose 5*h + f = 3*a, -4 + 0 = -2*h - 3*a. Is -7/10 != h?
True
Let c(t) = t**3 + 15*t**2 - 32*t + 34. Let k be c(-17). Let a be 170995/(-170) + 2/(-4). Let z = 1006 + a. Which is greater: z or k?
k
Let m(b) = -b**2 - 34*b - 185. Let f be m(-7). Suppose -5*d = 3*t + 22, 2*d + 19 = f*t - d. Which is smaller: t or 4/299?
4/299
Let t(f) = 78*f - 20. Let v be 9/(684/296) - 8/(-76). Let s be t(v). Which is greater: 293 or s?
293
Let t(r) = r**2 + 368*r + 10601. Let w be t(-30). Which is smaller: w or 48?
48
Let k(q) = -103*q + 3193. Let p be k(31). Is 1/10978 > p?
True
Let r(t) be the third derivative of