 Let f be g/(-20) - -3 - -2. Which is greater: -1 or f?
f
Let x = -1327 - -6612/5. Suppose -6 = t + r, -3*t - 11 = -t + r. Are t and x nonequal?
True
Let c(x) = -x**3 - 5*x**2 - 6*x - 2. Let d be c(-4). Let t(j) = -j**2 + 9*j - 8. Let i be t(d). Suppose 3*z + i = -2. Is z > -1?
False
Let q = 281/45 + -55/9. Let z = 49/30 - q. Which is greater: 1 or z?
z
Let i = -921 + 919. Which is smaller: i or -77/25?
-77/25
Let l be (3*-16)/((-48)/32). Let u be l/14 + 2/(-7). Is u less than 7?
True
Let d = -791 + 718. Is d at least as big as -73?
True
Let a be (140/21)/5 - 1. Let o = -164 + 242. Are o and a equal?
False
Suppose 0 = 8*t - 494 + 558. Suppose 2*o = -5*g - 13 - 28, 0 = o + 4*g + 28. Is t smaller than o?
False
Let v(l) = 30*l + 137. Let a be v(-6). Is a at least -38?
False
Suppose 4*n = 5*n - 4. Suppose -v - 2*k = 4, n*v + k - 5 = 7. Suppose 0 = 2*g - 6*g - v. Which is smaller: g or 2?
g
Suppose 2*q - 4 = -6. Suppose 4*k + 0*o - 16 = -4*o, 1 = o. Let t be (k/9)/((-4)/15). Are q and t equal?
False
Let m = -4 + -7. Let f(y) = 5*y + 128. Let t be f(-8). Let q be (-3)/m - 16/t. Is 0 at most q?
True
Let y = 53.009 + -53. Let g = 0.991 + y. Which is smaller: g or -3?
-3
Let w = 4 + -74. Let j be (-20)/70 - 34/w. Which is smaller: j or 1?
j
Let x = -3.68 + 38.68. Which is greater: x or -2.2?
x
Let g be (-618)/2 - ((-3)/(-3) + -4). Is -305 equal to g?
False
Let u = -48 + 47. Let a be (24/(-15) + (-1)/u)*-35. Are a and 20 unequal?
True
Let c be (1 - 4) + (-1 - -17). Suppose -c - 2 = -5*w. Suppose x + 0*x = w. Which is bigger: 0 or x?
x
Let i = -25 - -41. Suppose 0 = -c - 3*c + i. Let a be c/6 - (-8)/(-12). Is 5 greater than a?
True
Let g = 425 - 418. Which is bigger: g or 0?
g
Suppose -3*a - 2*k - 73 = 0, -23*a + k - 112 = -19*a. Suppose -4*z = -7 - 1. Let j be (-172)/6 - z/(-3). Which is smaller: a or j?
j
Suppose -b + 28 + 5 = 0. Let f be 44/b - (-112)/(-3). Let y = f - -25. Is -10 greater than y?
True
Let q = -5 + 5. Let z(l) = 2*l**3 - 3*l**2 - 7. Let k be z(3). Suppose -7*r + 12*r = -k. Is q at least as big as r?
True
Let d(p) = p**2 + 5*p + 4. Let x(v) = v + 9. Let u be x(-14). Let b be d(u). Let f = -6 - b. Are -11 and f unequal?
True
Let y(b) = -3*b - 2. Let l be y(-1). Let f be (-16)/(-28)*l/2. Is f smaller than 3?
True
Let p = -0.02 - -1.22. Let i = p + 0. Let m = 14 - 13. Is i != m?
True
Let q = -720/17 - -323983/7650. Which is greater: -1 or q?
q
Suppose -192 = -4*b - 4. Suppose -b = -3*s - 3*z - 5, s - z - 4 = 0. Let h be 2*(1 - s/2). Which is greater: -1 or h?
-1
Suppose -2297 = 12*d - 677. Are -136 and d unequal?
True
Let y = -178 + 192. Do y and -2 have the same value?
False
Suppose -4*m + 29 = j, 4*j - m + 14 = 5*j. Suppose -4*y - 45 = -5*n, -4*n - n - 4*y = -45. Is n less than j?
False
Let w = 77 - 77.73. Let o = w + -7.77. Are o and -0.1 equal?
False
Let i = 13978 - 601016/43. Which is greater: 0 or i?
i
Let i be 2/(-3)*30/(-4)*2. Which is smaller: 75/8 or i?
75/8
Suppose 12 = -j + 4*j. Let y be j/(-5)*245/(-14). Let n be (-143)/154 + 6/y. Which is smaller: 1 or n?
n
Suppose 0 = -2*y + 75 - 69. Let p be y/(12/(-28)) - (1 + -3). Let s be 0 + 14/(-4)*1. Which is smaller: s or p?
p
Let a(x) be the second derivative of -x**3/6 - 6*x**2 + x. Let d be a(-12). Let n = 3 - d. Is 4 at least as big as n?
True
Suppose -2*h + 34 = -3*u - 711, -2*h + 5*u = -735. Are h and 0.5 equal?
False
Suppose 2*u = 117 + 11. Let o be (-7 - u) + 1 + 2. Let a = o + 478/7. Is a less than 1?
True
Suppose -5*n = -6*b + b - 15, b = -3*n - 3. Which is smaller: -6 or n?
-6
Let j be -38*(-2 + 10884/784). Let l = -903/2 - j. Is l less than 0?
False
Let l(k) = k + 5. Let o be l(5). Let j be 6/(-2) + (13 - o). Let i be (-1)/2 + (-72)/176. Is i > j?
False
Let b be -1 - ((-5)/25)/((-3)/(-9)). Which is smaller: -3/4 or b?
-3/4
Let y = -6/2452385623 - -16306601127689787/1113383072842. Let n = -14646 + y. Let s = n - 6329/4086. Is -1 greater than s?
True
Let z be (-4 + (-13)/(-3))*0. Suppose 2*m = 6 - z, -3*w = -m + 87. Let b be ((-2)/(-26))/((-7)/w). Which is smaller: -1 or b?
-1
Let v be 27/(-36) - (-3)/4. Let w = v - -3. Suppose 5*k = w*k. Is k > 1.1?
False
Let g = -15 - -17. Let t(m) = -m**3 + m**2 - 3*m + 3. Let b be t(g). Suppose 3*p - 5*p = 4. Which is smaller: b or p?
b
Let k(d) = 3*d**3 + 16*d**2 + 9*d + 16. Let c be k(-5). Let z = 6 - 2. Suppose -2*m - 2 - z = 0. Is m greater than c?
True
Let p = 30 - 19. Let b = -4 + 4.2. Which is smaller: b or p?
b
Suppose 2*i - 5*i - 93 = 0. Let k = i + 56. Which is smaller: 26 or k?
k
Let f(b) = 8*b - 13. Let h be f(6). Let r = -36 + h. Which is greater: r or -6/11?
-6/11
Let n = 2 - 2.1. Let z = 11.136 + 1.404. Let r = z - 0.54. Which is greater: r or n?
r
Let z(y) = -7*y**2 + y - 1. Let l be z(1). Let k = 1749 - 1753. Which is greater: k or l?
k
Suppose 0 = u + 4*s + 12, -4*u + 15 = -8*s + 3*s. Are 12/55 and u unequal?
True
Let x = 82 + -6. Suppose 3*y = 2*u - 147, -3*u + 373 = 2*u - 2*y. Which is smaller: u or x?
u
Let q = 17 - 15. Suppose 0 = z - 3*o + 16, z - 3*o = -q*z - 72. Let l be (-37)/(-7) + 8/z. Is 5 at most as big as l?
True
Suppose 4*j - 12 = 3*a, -5*a - 5*j - 20 = -10*j. Let l be a/(-10) - (-130)/(-75). Are -1 and l unequal?
True
Let s = -51345/38 - -1351. Which is bigger: s or 0?
0
Let d = -5229/632 - 8/79. Is -7 equal to d?
False
Let m = -1309/3 - -857/2. Which is smaller: m or -8?
-8
Let d = 2027 + -14191/7. Which is greater: d or 5/117?
5/117
Let q = -9514 - -28547/3. Suppose 0 = -5*k + 2*k + 3. Which is smaller: k or q?
k
Let f be 80*(-3)/2*4/108. Are f and -4 non-equal?
True
Let c be (-7)/(-21)*24/20. Which is smaller: c or 201?
c
Let b = 164.4 - 166. Which is greater: -3/4 or b?
-3/4
Suppose -32*g = -35*g + 3*a - 135, 4*g = -5*a - 153. Is -380/9 at least as big as g?
False
Let a be ((-9)/3)/((-6)/(-4)). Let h be a/(-3) - 26/(-6). Let f(q) = -q + 17. Let y be f(12). Are h and y unequal?
False
Suppose -3*n - 15 = 2*n. Let c = 118 - 1064/9. Is n bigger than c?
False
Let p = -77.4 + 31.4. Which is bigger: 2/21 or p?
2/21
Let z = -129 + 233. Let i = 106 - z. Is i smaller than 2?
False
Let z = 0.55 + -0.5. Let s = -75.95 - -73. Let i = z - s. Which is smaller: -2/3 or i?
-2/3
Let o = 0 + -15. Let s be (o - -14) + (0 - 4). Is -13/3 at most as big as s?
False
Let r = -1257/4 - -322. Let n be (-2 - 2*6)*193/(-386). Which is greater: n or r?
r
Let d = 18 - 59/4. Let z(v) = v**3 - 24*v**2 + 44*v + 2. Let q be z(22). Is d less than or equal to q?
False
Let g = 9 - 9. Let m be (20/75)/((36/15)/(-2)). Which is smaller: g or m?
m
Let s be (0 - 152/12)*-3. Suppose -7*y - 101 = -3*r - 2*y, 2*r = -4*y + s. Let w = r - 26. Are w and 2 nonequal?
True
Let r = -1172 + 1467. Is 294 at most as big as r?
True
Suppose -7*l = 10*l + 1020. Is -61 at most l?
True
Let p = -81 + 147. Let s = p + -113. Is -46 equal to s?
False
Suppose 60*q - 754 = 47*q. Is q at most 514/9?
False
Suppose 4*c + 48 = -m, -4*m - 14 - 2 = 0. Suppose 2*o = 5*o + 81. Let n = -38 - o. Does n = c?
True
Let h be (-74)/12 + -3 + (-45)/(-18). Which is smaller: -2/7 or h?
h
Let w be (1 - 1100/1096)*426. Let y = w + -8709/2329. Let d = y + 1209/238. Are -1 and d nonequal?
True
Let x be 3*106/24 + 20/(-16). Which is greater: 14 or x?
14
Suppose -3*n = 6*d - 5*d - 34, d - 4*n - 62 = 0. Which is smaller: 223/5 or d?
223/5
Suppose 2*p - 7*p = 3*o - 20, 3*p + 22 = 5*o. Suppose 5*y + 2*j - 30 = 0, 3*y = o*j + 21 + 28. Is 6 > y?
False
Suppose 0 = -3*v - 15 + 42. Let h be (-4)/(-8) + (-30)/(-4). Which is smaller: h or v?
h
Let i(r) = -58*r - 105. Let c be i(6). Which is greater: -452 or c?
-452
Let w(u) = -u**3 - u**2 - u - 1. Let h be w(-1). Suppose 4*n = 5*a + 28, h*n - 5*n + 6 = a. Is 2 greater than or equal to a?
True
Let y = 7 + -604. Are y and -1 unequal?
True
Suppose 4*b = j + 12 - 5, -b + 10 = -3*j. Is b < -42?
False
Let o be (-20)/(-6) + 442/(-102). Is -10/169 bigger than o?
True
Let w be (-678)/(-8)*52/78. Is w < 57?
True
Suppose 0 = 23*n - 702 - 2564. Is 140 < n?
True
Suppose -3*r = -y + 156, 2*r + 2*r = 3*y - 203. Let f be 3/(-6)*1492/14. Let d = f - r. Is -9 smaller than d?
True
Suppose 0 = 11*j - 0*j + 11. Which is smaller: j or 519?
j
Let f be (8/(-2))/((-16)/12). Let r be f/1 + (8 - 12). Which is smaller: r or -4?
-4
Let p(f) = 12*f - 17 + 38 + 482*f**2 - 48