3 + 6*y**2 + 8*y - 7. Let w(j) = j**3 - j**2 + j. Let n(q) = -h(q) + 2*w(q). Let t be n(-7). Is 2/29 < t?
False
Suppose -2*o + 0*o = 6. Let t be 4/(-12) + 34/3. Let s = 11 - t. Is s bigger than o?
True
Suppose -j = -j - 2*j. Which is smaller: j or -12/19?
-12/19
Let t = -1 + 4. Let j = -2.4 + t. Let s = -0.4 + j. Which is smaller: 2 or s?
s
Let s be (-1507)/165 + (-8)/2. Let h = -87/5 + 446/15. Let g = h + s. Which is greater: 0 or g?
0
Suppose 0*i + 4*i = 5*s - 10, -2*i - 3*s = -6. Let o be 2 - i - -1 - 1. Is o at most 4/7?
False
Let s be (-285)/(-18)*(-9)/10. Let x = s - -14. Which is greater: -1 or x?
x
Suppose 0 = -3*n - 6, -8 + 0 = -2*i + 2*n. Let q be (2/14)/(1/i). Suppose 0 = -4*m - 8. Which is greater: q or m?
q
Suppose 3*b = -2*b - 10. Is -3 > b?
False
Suppose -12 = t + 11*t. Which is smaller: t or 3/31?
t
Suppose -8*u + 4*u = 0. Suppose -4*r + n = -249 + 61, n = -5*r + 244. Let y be r/(-70) - 16/(-40). Is y at least as big as u?
False
Let l = 10.98 + -11. Do -2/11 and l have the same value?
False
Let n be 1/(5 - (2 + 0)). Let q(l) = -l**2 + l + 1. Let r(p) = 3*p**2 - 7*p - 6. Let c(x) = 5*q(x) + r(x). Let k be c(-1). Is n at least k?
True
Let h = 4 + -3.8. Let d = 0.7 - h. Let s = d + 0.5. Is 2/9 not equal to s?
True
Let v = 11 + -13. Let n be 1 + v/12 + -1. Do n and -1 have the same value?
False
Let q be 4/10 + (-1401)/15. Let g = 149 + q. Let l be (-2)/g + (-2)/8. Which is greater: 0 or l?
0
Let c = -13.1 - -13. Is c bigger than 9?
False
Let f be 6/(-15) - (-36)/290. Let c = -155/667 - f. Which is bigger: c or 0?
c
Suppose 0 = 3*k - 5*r + 6*r, 2*k - 14 = 4*r. Which is smaller: 30/13 or k?
k
Let s = 43149/17 + -2537. Let h be 132/459 + (-4)/(-6). Let r = s - h. Which is smaller: 1 or r?
r
Let d(s) = -s**2 - 10. Let m be d(-7). Which is greater: m or -58?
-58
Let w = -40 - -11. Is w greater than or equal to -30?
True
Let v = 11 + -6. Let c be v/(45/(-6))*3. Let j be 2*(-1)/(-4)*c. Which is bigger: -3 or j?
j
Let k(q) = q**3 + 2*q**2 + 3. Let j be k(-3). Are -9/2 and j nonequal?
True
Let m = 0.38 + -0.08. Let x = -251/4 - -63. Which is smaller: m or x?
x
Let v(z) be the second derivative of z**5/10 + z**4/6 + z**3/6 + 7*z. Suppose 3*q + 5 = -2*q. Let d be v(q). Are 2/11 and d equal?
False
Let o(l) = -l**3 + 5*l**2 - 4*l + 5. Let g be o(4). Let q(z) = z. Let y be q(4). Suppose -2*s - 4 = 3*v - 5*v, y*s = 3*v - 5. Is g <= v?
False
Suppose 4*w + h = 48, -2*w = 2*h + h - 34. Let u(j) = -j**2 + 9*j + 13. Let g be u(10). Suppose 0 = -4*l - g + w, 2*n = 3*l - 8. Is n less than -4/3?
False
Suppose -5*k + 4*b = 15, -2*k - 7 = k - 2*b. Let m be 1*((-1)/(-2) + 0). Is m smaller than k?
True
Suppose 7 = -4*m - 5. Which is greater: m or -2?
-2
Let k(v) = -3*v**3 - v**2 + v + 1. Let n be k(-1). Suppose -5*u + 25 = -5*a, -5*a + 3*u - n*u = 13. Let c = a + 3. Is c smaller than 1?
False
Let s be 12/(-6)*(-13)/(-2). Let q = s - -14. Which is smaller: 0 or q?
0
Let t = -112 - -1567/14. Suppose 4*p - 5 = -p. Is t at least p?
False
Let l = -49 - -50. Which is smaller: 8/19 or l?
8/19
Let q = 25/28 + -8/7. Let c = 5.8 + -6. Let g = 0 - c. Are q and g non-equal?
True
Suppose 5*q = 4*f + 2, 2*q + f = q - 5. Let i be -4*(-1)/(-4)*-3. Suppose 3*l - b + 6 = 0, -2*l + 5*b - 20 = -i. Is l less than or equal to q?
False
Suppose 0*v = -2*v + 6. Suppose -2*p - 8 = 2*i - i, 4*p + 24 = 2*i. Suppose i*y - 6 = d, 3*y + 0*d - 15 = v*d. Is 2 smaller than y?
False
Suppose 6*j - j = -4*p + 20, 0 = 3*p. Is 4 at least as big as j?
True
Let d = -0.03 + -3.97. Let j = d - -3.8. Which is bigger: 2/5 or j?
2/5
Suppose 0 = -5*w + 2*n + 579, -3*n - 225 = -2*w - 0*n. Is 117 bigger than w?
False
Let r = 263 + -7891/30. Is r not equal to 0?
True
Suppose y - 1 - 4 = -5*a, 10 = -3*a + 2*y. Suppose a*c = c. Which is bigger: c or -2?
c
Let x be (-2 + 3/2)*0. Suppose 3*g - 6 = 2*g + 5*z, 0 = z. Suppose -4*r - 10 = -5*j, 4*r - g*j + 6 = -3*j. Is r less than or equal to x?
True
Let r = -0.05 - 0.25. Let w = 0.8 + r. Let z = w + -0.5. Is -2 < z?
True
Let c be (-4 - 40)*(-2)/4. Let b = 11 - c. Which is greater: b or -10?
-10
Let g be 1*-1*(1 - -5). Let q be (-20)/15*g/4. Let u be (q/20)/(2/(-8)). Which is smaller: u or 2?
u
Let n = 28.87 + -29. Let i = -0.13 - n. Is i at most as big as 2?
True
Let g(s) = s**2 - s. Let p be g(-1). Let b be ((-2)/(-6))/(2/12). Let z = b + 1. Which is bigger: z or p?
z
Suppose 0 = -6*w + 4*w - 4. Let s = -2 + w. Which is smaller: s or -3?
s
Let y be 21/(-9) - (-2)/6. Let u be y/(-10) - (-38)/10. Are u and 0.1 unequal?
True
Let d = -120 - -2881/24. Let c = -59/264 + d. Is 0 less than c?
False
Let j = -17828/385 + 510/11. Which is bigger: j or 1?
1
Let p be 1/3 - (-1 + 78/45). Which is smaller: 1/3 or p?
p
Suppose 0 = -4*r - 2*r - 24. Are -16 and r nonequal?
True
Let s = -22 - 0. Let p = 22.2 + s. Let g = 0.2 - 0.1. Do g and p have the same value?
False
Suppose 40 = -3*k - 5*a, 18 - 3 = 2*k - 5*a. Is k > -6?
True
Suppose 7 - 25 = -3*i. Suppose -f - 2*f + i = 0. Which is smaller: 2/3 or f?
2/3
Let i(u) = -2*u - 2. Let l be ((-2)/5)/(1/5). Let z be i(l). Let a be 1 + 0 - (-2 + z). Which is smaller: a or 2/9?
2/9
Let x(w) = -w**2 - w + 9. Let l be x(0). Let g = l + -4. Suppose -2*u = -2*r + 10, g*u - 2*u + 3*r - 15 = 0. Which is bigger: 1 or u?
1
Let o = -0.3 + 0.2. Let p = o - -0.2. Let k be 0/(2 - (2 + 1)). Is p not equal to k?
True
Let p be 1/(-4)*(4 - 2). Is 0 >= p?
True
Let i be ((-6)/8)/(1/4). Let k(q) = q**3 + 2*q**2 + q. Let o be k(-2). Let f = -5 - o. Is i at least as big as f?
True
Let h = 2 + -12. Is -13 less than or equal to h?
True
Let a = -20.4 + 19. Let s = -1.2 - a. Is s bigger than 0.1?
True
Suppose 5 = -5*o, -o + 5*o + 14 = f. Let t be (3 - -7)*(-4)/f. Let c = 1 + t. Which is smaller: c or -4?
-4
Let u be 0 - (60/(-2))/3. Let x = 8 - u. Let z = -11/12 + 29/84. Which is smaller: x or z?
x
Let s be (14/4 + -4)/(7/(-2)). Are s and 2/7 unequal?
True
Let l = -86 + 93. Which is smaller: 5 or l?
5
Let n(h) = -h**2 - 6*h + 17. Let z be n(-8). Is 0.1 at most z?
True
Let q(r) = r + 22. Let i(a) = 2*a + 43. Let u(s) = 4*i(s) - 7*q(s). Let f be u(-6). Which is bigger: f or 11?
f
Let v(p) = -3*p**3 + 3*p**2 + 2*p - 1. Let b(h) = 10*h**3 - 10*h**2 - 7*h + 3. Let z(s) = -2*b(s) - 7*v(s). Let m be z(1). Are m and -1 equal?
False
Suppose 4*r + 6 = -3*y - 26, -31 = 4*y + 3*r. Let a be 2 + (-1)/1 + -2. Let c be (-3)/a*y/12. Which is bigger: 0 or c?
0
Let r(n) = 2*n + 2*n - 13*n + 3*n + n**3 - 5*n**2. Let m be r(6). Which is smaller: -4/5 or m?
-4/5
Let f(t) = t - 1. Let y be f(2). Let i = y + -3. Let o be (-1)/i*8/2. Which is greater: 1 or o?
o
Let o = -1 + 4. Let t = -3/2 - -11/6. Is o <= t?
False
Suppose 3*y + 4*z = 32, -z - z + 30 = 5*y. Suppose 17 - 9 = 2*l. Suppose k + 7 = -4*i, -2*i - 23 = -l*k - i. Is y less than k?
True
Let i = 300 + -299. Let t = -2.9 - -3. Let f = t - -0.4. Is f at least i?
False
Let b be -6 - -1 - (-444)/84. Which is greater: b or 4.7?
4.7
Let w be (1 - 0) + 1*2515. Let l be (w/180)/(2/12). Let r = l + -84. Which is smaller: r or 0?
r
Suppose 3*x - n + 2 = 0, x + 2*x - 6 = 3*n. Let q be -8*(x + 9/6). Is q smaller than 4?
False
Let h = 5 + -3. Suppose 5 = 3*l + 4*d, -l + 2*d = -0*d + 15. Let j be (-91)/(-105) - (-1)/l. Which is bigger: j or h?
h
Suppose -70 = 10*u - 3*u. Which is greater: -14 or u?
u
Let b be (-54)/(-10) + (-6)/15. Suppose 4*m + 12 = -n, b*m + 2*n = 2*m - 14. Is m greater than -2?
False
Suppose -2*r - 16 = -42. Suppose 5*b - r = -3. Which is greater: b or -1?
b
Let a = -25.4 + 25. Let j = 0.3 + -0.2. Is a at least j?
False
Suppose -6*r = -3*r + 6. Let w be (-3)/(3 + -6) + 1. Suppose o - 2*o + 5*b = 11, 2*o + 6 = w*b. Which is smaller: r or o?
r
Let o = 40 - 43. Let u be ((-1)/2)/((-1)/2). Let j = o + u. Is -4/7 < j?
False
Let u = 0.6 - 0.7. Which is greater: u or 1/12?
1/12
Let v(r) = -8*r**3 + 2*r**2. Let b be v(-1). Is b less than 2?
False
Let n be (-3 + 14/6)*3/(-7). Which is smaller: n or -2?
-2
Let w = 33 + -98/3. Let g be (-42)/(-8) - 2/8. Suppose -p - 4 = 4*u, u - 2*p = 6*u + g. Which is smaller: w or u?
u
Suppose 0 = -a + 5*x - 16, 4 - 20 = 4*a - 4*x. Let n(y) = -y - 6. Let b be n(-7). Let r be (-2 + 3 + a)*b. Is -1/5 at least r?
False
Suppose -2*y + 8 = -0. Suppose -r = -y*k - 3, 4*k + k + 3*r + 25 = 0. Which is 