et s(k) = k**3 + 5*k**2 + 5*k + 5. Let j be s(-4). Suppose z + 6 = 5*b, 3*b - j = 2. Which is greater: n or z?
n
Let a be ((-9)/(-12) - 1)/(196/16). Which is greater: -1 or a?
a
Let u = -0.2 - -0.4. Let p = 0 + u. Let m be 2/2*(4 - 1). Is p at most as big as m?
True
Suppose 3*w + 0*w = 12. Let r(p) = p**2 - 4*p - 2. Let g be r(w). Suppose -v = z - 2*v - 2, 5*v + 37 = -4*z. Is z greater than g?
False
Let d be 34*(3/(-3) + 3). Suppose -2*q - d = -q. Let m = -139/2 - q. Is -3 < m?
True
Let u be -1*(-2 - -11)/(-3). Suppose 4*w + u*l - 90 = -18, w + 4*l = 31. Suppose -2*j - z - w = 3*j, z = 0. Which is bigger: j or -5?
j
Let q be 7/14*(-3 + -1). Is q not equal to -14/11?
True
Let y = 59 + -42. Let v = y + -18. Let l = 3 - 2.5. Is l not equal to v?
True
Let o = 6.5 - 6.4. Which is smaller: o or -2/11?
-2/11
Suppose 0 = -2*n + 7*n - 25. Is n > 4?
True
Let q = -66 + 596/9. Which is smaller: q or 1?
q
Let f(a) = a**3 + 4*a**2 + 3*a. Let z be f(-2). Suppose 5 = -z*m - 3*m. Let y be 1*(2 + (m - 2)). Which is bigger: y or -4/7?
-4/7
Let f(k) = 3*k + 6. Let r be 4/(1*-2 + 1). Let t be f(r). Let l be ((-12)/40)/(t/5). Which is bigger: l or -2?
l
Let u(y) = -9*y**2 + 2*y - 8*y + 4*y + 1. Let n be u(1). Let p be (4/n)/(4/20). Which is greater: 0 or p?
0
Suppose -4*j - 4 + 16 = 0. Suppose 2*g - g - 2 = 0, 0 = -j*z - 4*g + 8. Let i be 1/1*(-4 - z). Are -5 and i non-equal?
True
Let q = 2/7 + -64/175. Does q = 1?
False
Suppose -5 = l, 5*a - 8 = l - 38. Is -8 at least as big as a?
False
Let q be -5 + (-2 - (-8 - -4)). Which is smaller: q or -2?
q
Let g(u) = u**3 + 8*u**2 + 14*u + 2. Let b be g(-6). Let m = -6 - b. Let f be 6/10*4/6. Is m at least as big as f?
True
Let d(g) = -3 - 3*g - 1 - g**2 - 3*g. Let q be d(-3). Suppose 3*s - 4 = q*s. Is s greater than or equal to -2?
True
Let o = -4 - -6. Suppose 0 = r + 5*a + 5, -r + 0*a = 2*a + o. Let b = 5 - 4.6. Which is bigger: b or r?
b
Suppose -3*t = -5*w + 7, -4*t - 10 = -2*w - t. Let d = -25/11 - -2. Is d >= w?
True
Let x be ((-12)/(-15))/((-4)/(-10)). Let o = x + -2. Which is bigger: o or -1?
o
Suppose -6 + 31 = 5*t. Let m = t - 3. Let h be (0 + -1 - -3)/2. Which is bigger: h or m?
m
Let x(m) = -m**3 - 7*m**2 - 6*m - 17. Let g be x(-6). Let c be 62/(-4) + (-1)/2. Is g != c?
True
Suppose -2*i + 70 = 3*b, -4*b + 2*i = 9 - 79. Suppose -2*d + 20 = -b. Does 20 = d?
True
Let b(s) = s**2 - 2*s - 8. Let a be b(4). Is -1/25 greater than or equal to a?
False
Let m = -0.22 + 0.12. Which is bigger: m or -1?
m
Let c(v) = 9*v**3 + v**2 + 2*v - 2. Let t be c(1). Is 10 < t?
False
Let o be 2/(-5)*(-2)/4. Let x = 64.2 + -64. Do o and x have the same value?
True
Let a = -19 + 19.2. Which is smaller: a or 3?
a
Suppose 4*q = -0*q + w + 48, 4 = -w. Is 10 less than or equal to q?
True
Let y be -1 + -1 - -1 - 2. Which is smaller: -1 or y?
y
Suppose 3*i + 4*b - 5 = 36, 2*i + 4*b = 30. Suppose 3*a - 15 = 15. Which is greater: i or a?
i
Let z = 6 - 4. Let x be (z/1)/(-1 - -2). Let u = -2 + x. Is 1 > u?
True
Suppose 47*l = 43*l + 48. Which is bigger: 11 or l?
l
Let l = -0.1 + -2.9. Let k = l - -2.2. Which is bigger: k or 0?
0
Let o = 0.13 - 3.13. Let a = 7 - 11. Let b = a - o. Which is bigger: b or -2/13?
-2/13
Let k = 1.42 - -0.58. Let a = 0.03 - 0.03. Is a < k?
True
Let t be (-3)/6 - (-10)/36. Is 0 equal to t?
False
Let p = 7 + 4. Let m be (-2)/(-20)*(p + -3). Which is bigger: 2 or m?
2
Let k be 64/(-60)*15/10. Which is smaller: -3 or k?
-3
Let z = -2 - -18. Let w be z/12*(-3)/(-2). Is w less than 4?
True
Let g be (-6)/10*6*(-100)/30. Suppose -j + 2 = -2. Suppose 0 = -j*r + 2*r + g. Which is greater: 5 or r?
r
Let u = 2/157 + 308/471. Let o = -209/7 + 17131/574. Let n = o + 85/246. Which is smaller: u or n?
n
Suppose -15*x = -16*x. Let v be (2 - (0 + 2))/(-1). Let s be (2 - 11/6) + v. Which is bigger: s or x?
s
Let s = 0.8 + -0.8. Let u = -5.81 - 0.19. Which is bigger: u or s?
s
Let t = -14 - -4. Let n = 10.1 + t. Does 11 = n?
False
Let v = -1.8 - 0.5. Let u = 1.3 + v. Is 1/2 >= u?
True
Let h(k) = k**3 + 9*k**2. Let n be h(-9). Which is smaller: 2/3 or n?
n
Let x be (-64*4/(-40))/((-1)/(-5)). Is x at most as big as 32?
True
Suppose a = 3*s - 14, -2*s + 0 + 4 = 2*a. Which is bigger: -4 or a?
a
Let l(v) = -v**3 + 7*v**2 + 7*v + 11. Let h be l(8). Let c be (10/(-8))/(1/(-4)). Which is smaller: c or h?
h
Let g = 178 + -177. Which is bigger: 1/27 or g?
g
Suppose 2*o + o - 21 = 0. Let u = o + -5. Suppose 2*z - 5*s + 6 = -0, 5*z - s - 8 = 0. Is u < z?
False
Suppose -3*s - 3 = 0, -1 = -4*h - s + 2*s. Let t(z) = z**2 + h - 1 + 3 - 3*z. Let v be t(2). Which is greater: v or 1?
1
Let d be ((-2)/1)/(-21 + 19). Which is smaller: d or 2?
d
Let q(g) = -g + 5. Let w be q(6). Let p be 2/(-1*(w - -3)). Is 2/7 at most p?
False
Suppose -2*z + 3*z + 4 = -5*u, 0 = 5*u - 2*z + 7. Let b(a) = 8*a**2 - a. Let o be b(u). Suppose -c + o = 2*c. Which is greater: c or -2?
c
Let y be (17/(-18) + 1)*4. Let z = -500 + 488. Which is smaller: y or z?
z
Let h(x) = -x - 14. Let i be h(-14). Suppose i = -s + 2*s + 6. Is -7 greater than or equal to s?
False
Let b = 6 - 2. Suppose t = -2*t + 2*z + 58, 68 = b*t - 5*z. Suppose -f - 4*o = -16, -3*f + 0*f + 2*o - t = 0. Which is smaller: -3 or f?
f
Let i = 46 + -20.5. Let c = -25 + i. Is 0 at least as big as c?
False
Let y be 10/(-4)*(-4)/25. Is -1 at most y?
True
Let o(j) = -j - 5. Let q be o(-6). Let s be ((-6)/(-24)*2)/(1/(-8)). Is q less than or equal to s?
False
Suppose 302 + 64 = 6*p. Which is greater: p or 60?
p
Suppose -k + 9*k = 304. Do k and 38 have the same value?
True
Let c = -8 - -15.1. Is 0 > c?
False
Let g(j) = j**2 + j + 3. Let v(x) = -x**3 - 6*x**2 + 7*x. Let h be v(-7). Let k be g(h). Let p be 0 - k/6*-1. Is 2 less than p?
False
Let t = -89 + 110. Is t greater than 21?
False
Let u = 1.05 - 1.15. Are u and 4.5 unequal?
True
Let m be ((-6)/8)/(2/(-16)). Let l be (-1)/m*2/2. Which is bigger: -1 or l?
l
Let d(z) = z**3 - 8*z**2 + 6*z + 7. Let l be d(7). Is l greater than or equal to 0?
True
Let i = -2.8 + 0. Let x = -2.7 - 0.3. Let g = i - x. Which is smaller: -2 or g?
-2
Suppose 2107 = -5*l - 4*j, 0 = l - 2*j + j + 425. Let k = -2611950119/6173433 + 2/881919. Let c = k - l. Is -1 smaller than c?
True
Suppose 0 = 4*u - 6*u + 4. Suppose -3*f = u*f + 10. Which is greater: 0.01 or f?
0.01
Let s = -4.07 - -0.07. Let i = s - -3.9. Do i and -1/4 have different values?
True
Suppose -3*q + 0*q = 0. Is -4/9 less than q?
True
Let d(n) = -n**3 - n**2 + 5*n + 4. Suppose -2*h + 25 = -5*m, -2*h = 5*m - 1 + 6. Let p be d(m). Which is smaller: p or 6?
6
Suppose r + 5 = -y + 1, 4*r - y + 31 = 0. Which is bigger: -9 or r?
r
Let d(i) = -3*i + 1. Let u be d(-4). Suppose -2*h + 3*h - 5*a - 10 = 0, -2*h + 3*a = -u. Suppose -h*t = -2*t. Is t <= 1/4?
True
Let c = -4 - -3. Let x be 47/(-20) + (-3)/(-4). Is x at least c?
False
Let i be 5/(10/(-1371)) - -1. Let k = i - -705. Let z = -21 + k. Is -1 less than or equal to z?
True
Let v(b) = b**3 - 13*b**2 + 11*b + 6. Let q be v(12). Let g be 26/(-6) - (-2)/(-3). Is q bigger than g?
False
Let t be (-1 - -4)/(-3) - 8/(-6). Let h be 1/(-3) - (-2)/6. Are t and h nonequal?
True
Let t(v) = -2*v - 1. Let o be t(-2). Suppose -2 = m + 3*s - 8, 10 = o*m + s. Is m greater than 2?
True
Let n be (-4)/10 + 4/10. Suppose n = -3*d + d. Let l be (d - -1) + (-105)/99. Do 0 and l have the same value?
False
Suppose 5*z = -2*q + 9 + 17, 2 = 2*q - z. Let s be 6 - (2 - (-1 + 1)). Suppose -u - s = q*u. Which is greater: u or 1/4?
1/4
Suppose -2 - 1 = -3*j. Let y be (0/(-2))/(j/(-1)). Let b = 59/110 - 3/22. Is b > y?
True
Let p = 7.09 + -0.09. Let r = -8 + p. Which is bigger: r or 4?
4
Suppose 0 = -2*t + 13 - 39. Let s = 11 + t. Is s <= -1?
True
Suppose 59 - 19 = 4*d. Are d and 10 non-equal?
False
Let s(d) = -d**2 + d + 12. Let h be s(0). Suppose 0*q + h = -2*q. Which is bigger: -7 or q?
q
Let z be -2 + 2 + (-2)/7. Let q = 0 - -3. Suppose -n + 1 = -2*w, -n + 2 = q*w - 4. Is w < z?
False
Let l = -4 + 5. Let v = 2 + -5. Let p = 2.8 + v. Is l greater than p?
True
Let b be (2/(-8))/(-1) - 12/42. Which is bigger: b or 0?
0
Let k = -7 + 0. Let v = 8 + k. Which is smaller: -2/3 or v?
-2/3
Suppose -5*s + 27 = -5*d + d, -12 = -4*s. Is -4 != d?
True
Suppose -13 = 5*w - 23. Are w and -1 equal?
False
Suppose 3*q - 3 = 4*d, -2*d - 