et b = d - -368. Is -23 at least b?
False
Suppose 10*m = -77 + 7. Let q(h) = -h - 8 + 6*h + h**2 + h + 0*h. Let b be q(-6). Does b = m?
False
Let t be (10/4)/(165/42966*21). Which is greater: 283/9 or t?
283/9
Let j(m) = -14*m + 215. Suppose 0 = 5*q + 10, -2*q = 2*x - 0 - 16. Let g be j(x). Which is greater: g or 78?
78
Let r be (-45)/18*4/(-2). Suppose 3*i = 140 - r. Let z = i + -5. Is z at most 41?
True
Let u = 27.919 + -28.019. Do u and -4364 have the same value?
False
Let y(g) = -5*g - 17*g - g + 13 - 45 + g**2 - g. Let j be y(15). Which is smaller: j or 0?
j
Let q = 2/3715 - -2191/70585. Suppose -g + 5*f = 24, -17*f - 5 = 5*g - 19*f. Which is smaller: q or g?
q
Let c = 62579 + -62579. Let y(r) = r**3 - 5*r**2 + 3*r - 3. Let k be y(5). Let p = 48 - k. Is c greater than or equal to p?
False
Let l = 63/17 + -1006/221. Let c be 1941/5823 - (-1)/((-3)/4). Is c bigger than l?
False
Suppose 2*n - 53 = 97. Let i = n - 172. Are -99 and i non-equal?
True
Let n = -99 - 355. Let f = n - -454. Suppose 3*a = -2*q - 3*q + 16, 5*q = a + 8. Which is bigger: f or q?
q
Let c(s) = -s**2 - s - 2. Suppose -5*f + 17 - 41 = 4*t, 5*f + 16 = 4*t. Let h be c(t). Is h != 34?
True
Let p = 98290 - 393085/4. Let k = -23 - -41. Is p < k?
False
Let p be -4 - (3*(-2748)/72)/(3/14). Which is smaller: 531 or p?
p
Let h = 5327 - 5479. Is -154 smaller than h?
True
Let f = -53/280 - 24807/280. Which is smaller: -2/3 or f?
f
Let j(s) = -2*s**3 - 3*s**2 + s - 2. Let d be j(-3). Suppose 13*w + 110 = -59. Let h = d + w. Are h and 9 unequal?
False
Let j = 1562091/3170 - -17/634. Is 494 less than j?
False
Suppose 0 = 9*a - a - 208. Let t be 6/(-44) + 0/a. Let y = t - 17/198. Which is smaller: y or -0.6?
-0.6
Let l = 7680 + -10373. Which is smaller: -2692 or l?
l
Let j be ((-84876)/10571 - -8)/((-4)/(-2)). Is -1 greater than j?
False
Let w be (2 + -1)*((-232)/(-2760))/(-29). Let o be ((-4)/(-6))/((-14)/21). Does o = w?
False
Let p = 620 + -438. Let i be 4*105/p*(-4)/10. Which is greater: i or -1?
i
Suppose 14*u - 577 = 1377 + 874. Which is greater: 602/3 or u?
u
Let i = -1018.371 + 1030.4. Let b = i - 12.1. Is b greater than 2/5?
False
Let u = -2.204 + 2.3. Let r = u + -0.156. Let v = 0.1 + 0.1. Does r = v?
False
Let a = 1.38341 + -0.18341. Is a bigger than 539?
False
Suppose -2*u + 5*u = 153. Suppose j = -2*t + 17 + u, 0 = 4*t + 3*j - 134. Let l = 57 - t. Which is smaller: l or 21?
21
Let h(u) = -u**3 + 34*u**2 + 26*u - 69. Let l be h(35). Let k = l - -1157/3. Let r = 2.6 - 12.6. Is k less than r?
False
Suppose 157 = -20*x - 623. Suppose -l + 5*q = 36, -5*l = -2*q + 188 - 8. Is x at most as big as l?
True
Suppose 0 = -p - f, p + 3*p = 5*f - 18. Let h(g) be the third derivative of -g**5/60 + 2*g**4/3 - 3*g**3 + 2*g**2. Let o be h(15). Which is smaller: o or p?
o
Suppose -22*u - 12 - 54 = 0. Is -55/13 greater than u?
False
Suppose -5*v = -5*o + 40, 5*v - 3*o + 12 = -18. Let c be (12/(-9))/(7/v). Is -76 != c?
True
Let y = 29082/67 + -434. Let r be (-1 - -2)*(-116)/116. Which is smaller: y or r?
r
Let z = 10 - 34. Let c = z - -24.39. Let n = c + 0.01. Which is greater: 2/7 or n?
n
Let a be (1/((-6)/10))/(15/(-108)). Suppose a*c + 5*c = 2*c. Is 2/159 bigger than c?
True
Let h be (1*-1 - (-22)/33)*0. Suppose 0 = 4*l + 5 - 33. Suppose h = -x - c - 12, x + 3*c + 11 = -l. Which is bigger: x or -42/5?
-42/5
Let s = 9939.881 + -9927. Let k = s + 0.119. Does 0.1 = k?
False
Let h be -3*4/36 + 17. Let r be ((-17)/(-12))/((-325)/(-3900)). Is r at least h?
True
Let v = 73.97 - 74. Let b = 46.03 + v. Let i = b - 46.01. Is 2 < i?
False
Let g(x) = x**2 - x + 40. Let j be g(0). Let r be 9 + 6 + (-297)/(-12). Which is smaller: r or j?
r
Let p be ((-7 - (-2660)/147) + -8)*15. Which is bigger: p or 47?
47
Let u = -0.01 + 0.31. Let j = 400.86 + -1.86. Let z = j - 368. Is u bigger than z?
False
Let q = -4 - -1. Let z be 4/6 - 1/q. Which is greater: z or 2/21?
z
Let n = -325.12 - -326.12. Suppose -x + 9 = 4*t, -5*x - 5*t - 8 = -x. Which is greater: n or x?
n
Let j = -2837 + 764. Is j not equal to -2073?
False
Let v(w) = -4 + 70*w**2 + 63*w**2 - 143*w**2 - 16*w + w**3. Let u be v(12). Which is smaller: u or 91?
91
Suppose 8*p - h - 3 = 11*p, -3*p + 9 = -3*h. Which is smaller: p or -1/440?
-1/440
Suppose -2*l = 2*u + 1692, 5*l + 196 = -3*u - 4048. Do -5967/7 and l have different values?
True
Suppose -9*w + 23 = 14*w. Which is greater: 21/25 or w?
w
Let z(t) = -t**3 - 34*t**2 - 90*t + 26. Suppose -186 = 112*m - 106*m. Let l be z(m). Is l bigger than -66?
False
Suppose -5*s - 2*x + 7354 + 3629 = 0, 5*s + 5*x - 10995 = 0. Is s < 2192?
False
Let s(u) = 88*u + 15. Let d be s(-15). Let j be (1222/(-8))/((d/4)/5). Let g = -22/9 + j. Is g bigger than 1?
False
Let a = 199 + -200. Let v(c) = -6*c + 41. Let o be v(-6). Is o equal to a?
False
Suppose -2*t = 53*y - 48*y + 3393, 5*t = 4*y + 2721. Let d = y + 696. Is 109/7 smaller than d?
True
Let x = -291 + 291.07. Let b = -518 + 521. Which is smaller: b or x?
x
Let q = -251 - -255. Suppose -4*l + 8 = -3*v, 0 = -q*v - 2*l - 52 + 12. Let j = 1 + -2. Which is bigger: j or v?
j
Let p(z) = 7*z**2 + 128*z - 101. Let r be p(-19). Do r and -231 have the same value?
False
Let p(a) = 3*a**2 + 12*a + 24. Let j be p(-8). Let u = j - 122. Let l be (-2 + 2)/(-1 + u). Is l equal to 14/11?
False
Suppose -24*r - 10*r - 5394 = -28*r. Are -893 and r nonequal?
True
Let n = 22 - 22.17. Let y = 11.17 + n. Let t = y - 10.7. Is -6/5 less than t?
True
Let j = -1174 - -1805. Let p = 631.101 - j. Which is smaller: p or -0.3?
-0.3
Let g be (-9)/(-36)*0*5/(-15). Do g and 2/1793 have the same value?
False
Let b be 40/(-4) + -5 + 4 + 3. Let s be ((-136)/(-24) - 6)*(-6)/b. Let o = 2.73 + 0.07. Which is bigger: s or o?
o
Let g = -2309.78 + 2413. Let d = 11.642 - -91.358. Let v = d - g. Is v smaller than 1?
True
Let i = -162 + 806/5. Is 146/5 > i?
True
Let a = 252715/6 - 42331. Let n = a - -211. Are n and 3/20 unequal?
True
Let y be 4/32 - 925/(-10960). Let j = y - 3/137. Let g = 288 + -288. Is j less than g?
False
Let x = -2202 - -15405/7. Is 0.6 < x?
False
Let b = 0.0888 - 0.0888. Which is greater: -0.3565 or b?
b
Let g = 0.1 + -1.1. Let u = -57 + 158. Let n = 102.7 - u. Which is greater: n or g?
n
Let o be 0*(1 - (-16)/(-12)). Let l = 10/559 - -707/54223. Is o bigger than l?
False
Suppose -148*j + 18 = -145*j. Suppose -j*t = 18*t - 6*t. Let d be -3*(18/(-3))/(-2). Which is greater: d or t?
t
Let v(y) = y**2 + 3*y + 3. Let x be v(-3). Let w = -10374/11 + 947. Which is smaller: w or x?
x
Let u(f) = -2*f**3 + 7*f**2 - 5*f. Let d be u(3). Let q(t) = 9 - 8*t - 2*t**2 + t**2 - 20. Let w be q(d). Which is smaller: w or 2/109?
2/109
Let l(y) = -y**2 - 45. Let b = 290 + -283. Let h be l(b). Which is smaller: -95 or h?
-95
Suppose -94*o = -89*o - 288*o - 93390. Which is smaller: -311 or o?
o
Let w be 18/184*6/(-9). Let b = 159/322 + w. Suppose -5*c - 2*n = 2, -4 = 773*n - 769*n. Are b and c unequal?
True
Suppose 7 - 4 = l. Let y be 14/(-2) + l/(-12). Let x = y + 7. Which is greater: x or -1?
x
Let m = -197.08 + 1.08. Let b = m + 131. Is 1/4 < b?
False
Suppose -11*y + 5*y = 966. Let u be (9012/(-504))/(2/18). Let r = u - y. Is r greater than 0?
True
Let s = -992/819 - -31/18. Let h = -1/91 + s. Is 1 greater than or equal to h?
True
Let q be (-2 + -2)*(-38)/8. Let a = -4027 + 3679.9. Let w = a + 347. Is w greater than or equal to q?
False
Let s be 19651/557753 + (-4)/68. Which is bigger: s or 0?
0
Let c = 18828 - 18851. Let i(p) = -p + 2. Let k be i(3). Is k > c?
True
Let h = 1.69 + -179.69. Let g = -618 - -618.1. Which is greater: h or g?
g
Let v be 12/(-198) + 21740/(-660). Let n(b) = 78*b**2 - b - 1. Let o be n(-1). Let z = v + o. Is 47 less than or equal to z?
False
Let b = 251 + -1760/7. Let g = 1.475 - -0.125. Which is smaller: g or b?
b
Suppose -2*h = 4*z + 114, -142 = 5*z + 6*h - 4*h. Let c be 1601/13 - z/(-182). Let l be c/36 + (-2)/8. Which is smaller: 4 or l?
l
Suppose 0 = 5*k + 47 - 72. Suppose 0 = k*u - 8*u. Suppose -t - 15 + 42 = u. Do 27 and t have the same value?
True
Let v = 40/9 - 691/117. Is v less than -2/3?
True
Let v(l) = 5*l**3 + 70*l**2 + l - 11. Let p be v(-14). Is -318/13 greater than p?
True
Let q = 101.94 + 52.05. Let g = q + -154. Does 15 = g?
False
Let o = -271 - -276. Suppose -o*