6. Let l = -280 - -281. Which is smaller: l or j?
l
Suppose 0*i = i - 2. Suppose 79*u - 74*u + w = 46, 0 = 4*u - w - 35. Is i >= u?
False
Let d(s) = s**3 - 9*s**2 - s + 11. Suppose 7*p + 36 = 11*p. Let f be d(p). Is f greater than 10/13?
True
Let l = 1028 - 1052. Does l = -21?
False
Let w(t) = -t**2 - 23*t - 183. Let g be w(-13). Which is smaller: -50 or g?
g
Let k(p) = -9*p + 6. Let o(q) = -q + 4. Let d be o(1). Let b be k(d). Does -20 = b?
False
Suppose 113 = 2*u + 29. Which is greater: u or 130/3?
130/3
Suppose 5*b - 33 = 62. Let d = b + -13. Let q = 2 - 3. Which is smaller: d or q?
q
Let s(z) = -6*z + 3. Suppose -5*j - 10 = -15. Let t be s(j). Is t at least -8?
True
Suppose -d = 5*a + 29, -5*d - 47 = 2*a + 29. Let w(g) = -g**3 - 3*g**2. Let q be w(-3). Suppose 4*n + 0*n = 2*m + 40, q = -3*n + 9. Is m greater than d?
False
Let i be ((-22)/(-66))/((-3)/11). Is i greater than 0?
False
Let b = 0 - -2. Let l = 852 + -851.97. Is b bigger than l?
True
Suppose 4*u - 4*q - 20 = 0, 2*u - 3*q + 2*q - 11 = 0. Let j be 3/1*u/(-72). Are j and 1 equal?
False
Let a = 2351.55 - 2341. Which is greater: -2/3 or a?
a
Let h(d) be the third derivative of d**6/120 + d**5/60 + d**4/24 + 3*d**3/2 + 2*d**2. Let t be h(0). Which is smaller: 11 or t?
t
Suppose 0*n - 7 = -n. Suppose -2*w + y + n = 0, -2*w + w + 4*y = -7. Does 2 = w?
False
Suppose -135*j + 537 - 3102 = 0. Suppose -2*h - 2*a = h - 12, 3*h + 3 = 3*a. Which is smaller: h or j?
j
Let n = -29 - -27. Let x = -221 + 221. Which is smaller: x or n?
n
Let l be (-3)/(-2) - 19/(-38). Is 28/9 smaller than l?
False
Let f be 0*((-9)/(-3) + -2). Suppose f = -r - 4*r. Let y be 1*2 - (0 - 1). Which is bigger: y or r?
y
Let w = 1/567 - 446/2835. Which is smaller: w or 0?
w
Suppose 4*g - 5*m = -45 + 2, -44 = 4*g - 4*m. Let n(c) = 31*c**2 - 12*c + 2 - 18*c**2 - 12 - 14*c**2. Let z be n(g). Is -10 >= z?
True
Suppose -5*s - 3*t = 574, 2*s + 137 = t - 97. Let c = 179 + s. Let y be 2/(-9) - 112/c. Which is bigger: 1 or y?
1
Let z be (-30)/9 - (-1)/3. Let d = z + -2. Suppose -92 = 3*k - 74. Is d less than k?
False
Let v(w) = w**3 + 9*w**2 + 6*w - 71. Let l be v(-6). Which is smaller: l or 4/539?
4/539
Let j be (100/(-45) - -2)/((-4)/78). Let v = -62/15 + j. Is 0 at most v?
True
Suppose 2*p - 18 = -4*w, 0 = -p + 3*w - w + 9. Let n(r) = -r**2 + 9*r + 2. Let q be n(p). Let g = q + -4. Which is smaller: 1 or g?
g
Let v = 1.4 + -5.9. Let t = v + 4.5. Is t != 1/4?
True
Let v = 704 + -1403/2. Let o(k) = -k**2 - 5*k + 8. Let w be o(-6). Which is greater: v or w?
v
Let m(c) = 2*c**3 + 142*c**2 + c + 55. Let l be m(-71). Suppose 0 = -2*i - 43 + 9. Which is bigger: i or l?
l
Let u(o) = o**2 + 6*o - 10. Suppose -2*l + 2*x = 8, x - 19 = 3*l + 5*x. Let g be u(l). Let w be (-2)/9 + g/54. Which is smaller: 0 or w?
w
Suppose -8*g - 132 = 14*g. Do -0.13 and g have the same value?
False
Let t be 465/5*(-2)/6. Let x = t - -63/2. Is x != 1?
True
Suppose 7*d = 4*d + 60. Suppose -5*a - 4*u = 25, 0 = -u - 3*u - d. Is 2/35 greater than or equal to a?
True
Suppose 0 = 5*y, -y + 40 = -3*k + 7*k. Let o be k/25 - 24/10. Is -30/13 less than o?
True
Let i = -739/986 + 29/34. Is i <= 0.4?
True
Let o(q) = q**3 - 10*q**2 - 7*q - 12. Let l be o(10). Is -83 > l?
False
Let v(i) = -i + 7. Let f be v(0). Suppose 72 = 3*c + 4*z, f*z - 2*z = -3*c + 75. Let x = c - 19. Which is smaller: 2 or x?
x
Let i(d) = -d**3 + 3*d**2 + 5*d - 3. Let h be 0 - -3 - (19 + -19). Let j be i(h). Is 7 at least j?
False
Let c be (22/20)/((-6)/12). Let s(m) be the third derivative of -m**4/12 + m**3/2 + 2*m**2. Let j be s(3). Which is smaller: c or j?
j
Let o = -373 + 376. Which is smaller: o or 3/7?
3/7
Let q = -1268 - -1308. Which is bigger: 432/11 or q?
q
Suppose 17*p - 18*p + 86 = 0. Let s = p - 87. Is 1/107 greater than or equal to s?
True
Let y be 3*(39/9 + -3). Let j = 2 - y. Let v be 3*2*j/(-20). Does v = 0?
False
Let f = -47/12 - -15/4. Suppose -2*v + b = 1, -4*v + 5*b + 1 = -0*b. Which is smaller: f or v?
v
Let z = 7 - -2. Let b be (-1)/(-3)*z/(-24). Are 0 and b nonequal?
True
Let g = -173 - -180. Is 8 equal to g?
False
Suppose -5*c = 9*x - 12*x - 15, 4*c + 5*x - 49 = 0. Is 7 bigger than c?
True
Let x = 33/4 + -7. Let w = -1/4 - x. Which is smaller: 3/4 or w?
w
Let d = 2291/4 - 573. Which is smaller: -39 or d?
-39
Let t be 1 + (-2)/(-2) - -14. Let u be (-4)/14 + t/7. Which is smaller: 21 or u?
u
Let x(z) = -z**2 + 10*z - 17. Let o be x(9). Let y be (o/(-12))/(35/(-15)). Which is smaller: 1 or y?
y
Let s be (-33)/27 - (-2)/9. Let r be (1 + -2 + s)/(-15). Do 1 and r have different values?
True
Let t be (0 + (4 - 0))*(-250)/(-1140). Is t at least 2?
False
Let o = -449/6 + 72. Let j be (1 - 2) + 4/(-2). Is j not equal to o?
True
Let x(s) = -2*s + 6. Let k be x(-6). Let t = 1298 + -1281. Which is greater: t or k?
k
Let o be ((-1216)/672)/(((-4)/(-30))/(-1)). Are o and 14 equal?
False
Let j be 123 + (-12)/(-3 + 6) + -4. Is 112 >= j?
False
Let z = -7 + 7. Let i = z + 6. Is -1 smaller than i?
True
Suppose 4*c = 5*h - 462 - 937, 3*h = 5*c + 842. Let d be 62/h*1*6/1. Let j(n) = -n**2 - 6*n - 6. Let l be j(-4). Is d < l?
True
Suppose 28 = 2*o - 8. Let z be 655/o - 12/(-18). Let b = 75/2 - z. Is 0 <= b?
True
Let p = 15 + -17. Let x be p/8 - 291/(-2456). Let v = -2/307 - x. Does 1 = v?
False
Suppose -27 = -2*f - f. Let o be f/(-21) - (-10)/7. Let u(c) = c**2 + 6*c - 7. Let w be u(-7). Is w != o?
True
Let b be (5 + -6)*4*-2. Let k(l) = -3*l - b - 4*l + 6*l. Let s be k(-9). Is 1 at most as big as s?
True
Let b = 0.2 - 0.1. Let q = 24 - 27. Let f be (-1)/4 - 0/q. Is b at most as big as f?
False
Suppose 4*q - g = 7, -q - 5*g + 31 = 3. Let w be 125/(-240) - (-1)/q. Suppose -3*p - 2*p + 4 = -4*y, -3*y - 4*p = 3. Which is smaller: w or y?
y
Let w be -4*((-7)/2 + 2). Let q = 0.34 + -0.36. Let d = -0.08 + q. Do w and d have the same value?
False
Let l(f) = -f + 1. Let b(i) = -3*i + 30. Let x(c) = -b(c) + 5*l(c). Let g be x(-8). Which is greater: g or 1?
1
Suppose -133 = 12*t + 7*t. Let w = 83 - 44. Let i be w/(-63) + (-2)/t. Which is smaller: -2/7 or i?
i
Let h(s) = -s - 3. Let o be h(-11). Let d be (o/5)/((-5)/25). Let q be d/18*30/(-140). Which is smaller: -1 or q?
-1
Let k = 127 + -505/4. Let w = -69.9 + 69.9. Which is bigger: w or k?
k
Let p(g) = -3*g**2 - 4*g - 3*g + 4*g**2 - 4 + 10. Let w be p(9). Is 24 > w?
False
Let w(c) = -c - 7. Let h be w(-6). Let k = -0.0121 - 10.8679. Let o = k + -0.12. Is h equal to o?
False
Let b be 357/14*16/(-10). Let o = b - -41. Let n = 4 - 3. Is n bigger than o?
True
Let o be (-31)/68 + 1/(-4). Let a be ((-40)/(-16) - 5)*4/10. Which is greater: o or a?
o
Let q(l) = -l**3 + 16*l + 2*l - 16*l - 28. Let t be q(0). Is -28 bigger than t?
False
Let o be (-18 + 23)*6/5. Let r be ((-2)/6)/(2/o*-1). Which is smaller: r or -14/31?
-14/31
Suppose -3*b - 84 - 53 = m, 3 = 3*m. Let v = b - -137/3. Let r be 4 + 1 + 4/(-1). Which is smaller: v or r?
v
Let n = -70 - -71.3. Let v = -36.97 + 36. Let k = 0.03 - v. Is k greater than or equal to n?
False
Let h(s) = -s**3 + 10*s**2 + 11*s + 8. Let i be h(11). Let x be (-4)/(-6)*9 + -3. Suppose i = -x*w + w. Is -4 not equal to w?
False
Let l(z) = -z**3 + 28*z**2 + 57*z + 89. Let q be l(30). Is -2 greater than or equal to q?
False
Let o(u) = -u**2 - 5*u - 18. Let d be o(-4). Let h = 314 - 988/3. Is d at least h?
True
Let l be -15 - -5 - 1*-5. Is -0.2 greater than l?
True
Let h be 6/(-716)*56/(-420). Are h and 0 unequal?
True
Suppose 5*x - 10 = 2*f, 0 = -f + 5*x - 10. Suppose v = -f*v. Are -24 and v nonequal?
True
Let y(i) = i - 2. Let n be y(-2). Let z be -3 + (-4)/n - 4. Let j be (-6)/z*(1 + 0). Which is bigger: j or 2/13?
j
Let h = -50 - -52. Suppose -h*q - 3 - 1 = 0. Let t = -1740/7 - -248. Does q = t?
False
Let t(d) = 7*d + 10. Let s(v) = -6*v - 9. Let r(c) = -6*s(c) - 5*t(c). Let i be r(-6). Let m be 84/(-56)*(-18)/(-12). Which is greater: m or i?
i
Let g be 18/12 + 3/2. Suppose 2*f - 6 = -g*y + 14, 18 = y - 5*f. Suppose -5*s + s + 32 = -4*o, -34 = -4*s + 2*o. Which is smaller: y or s?
y
Let x be (-6)/(30/5)*(1 + 190). Is -190 smaller than x?
False
Suppose -35 - 17 = 2*o. Suppose 3 = 3*f, -4*m + 2*f - 162 = -0*f. Let y = o - m. Is 14 > y?
False
Let r = 70 + -203/3. Suppose 0 = -0*a - 3*a + 9. Is r at most as big as a?
True
Suppose