t y(j) = 20*j**3 - 24*j**2 + 3*j - 50. Let h(f) = 17*t(f) - 6*y(f). Let b be h(8). Which is bigger: b or 2?
b
Let b = -13 - -13. Which is smaller: b or -3/11?
-3/11
Suppose -13*o - 77 = -77. Let j be (-3 + -1)/(26/(-3)). Which is bigger: j or o?
j
Suppose -j + 8 = 5*v + 30, -v + 130 = -3*j. Is j != -41?
True
Suppose -2*p - p = 0. Let t be (p - 1)/((-2)/2). Let d(m) = m + 2. Let w be d(0). Which is bigger: w or t?
w
Let r = -53 - -51. Which is bigger: -3/5 or r?
-3/5
Let d = -10 - -6. Let g = d + 0. Is g less than -2?
True
Let f = 0.36 - -0.04. Let u = f + -0.3. Let c be ((-9)/(-42))/((-6)/(-8)). Which is greater: u or c?
c
Let i = -19 - -19.3. Are -1 and i equal?
False
Let x be (-122)/14 + 10/(-35). Which is greater: -10 or x?
x
Let c be 2/3 + 12/(-18). Suppose 5*d + 4 = -1, n - 3*d - 7 = c. Are n and 3 non-equal?
True
Let p be 0 - (-12)/4 - 5. Which is smaller: p or 0?
p
Let a be 2/3 - 26/(-6). Suppose 5*r + 0 - a = 0. Is 2 greater than r?
True
Let a = 6 - -4. Suppose 3*k = -2*k - a. Suppose 15 = -4*d + 3. Which is smaller: d or k?
d
Suppose 8*n - 81 = 3*n - 2*z, n + 4*z - 27 = 0. Which is smaller: n or 17?
n
Let o = 0 - -2. Let h = -5 + o. Let q = 0 - 0. Which is smaller: h or q?
h
Suppose -4*o + 120 = -0*o. Let s be 1*(2 - o/14). Is 1 smaller than s?
False
Let t = -0.4 + 0.4. Let q = 0 + t. Suppose -2*a - 3*a = 15. Which is smaller: a or q?
a
Let y(k) = -k**3 + 28*k**2 - 28*k + 8. Let r be y(27). Is r at least as big as -19?
True
Let u(m) = -m**2 + 1 + 0*m - 2*m + 0*m**2. Let x be u(1). Is -1 less than x?
False
Let y(r) = -r - 3. Let h be y(0). Let u be (5 + h + 1)/3. Is -1 smaller than u?
True
Let i be (-10)/25*(-10)/26. Which is smaller: i or -7?
-7
Let h(i) = i**3 - i**2 - 40. Let k be h(0). Let b be (2/(-4))/((-6)/k). Which is bigger: b or -4?
b
Suppose -n = g - 2*n, 0 = 4*g - 2*n + 4. Let y be 1/g + 22/20. Let p = -0.2 + 0.3. Which is smaller: y or p?
p
Let i = 219 - 144. Let t be (-6)/10 + (-5)/i. Which is smaller: t or -2?
-2
Let h(z) = -z - 6. Let y be h(-8). Is 2 at least y?
True
Let u = 667 + -1993/3. Let d = -24 - -14. Let g be 2/5 - 16/d. Is g > u?
False
Suppose -7 = j + 2*i - 4, 7 = 3*j - 2*i. Let r = 1 + 1. Is r < j?
False
Let d = -5012/2223 - -8/247. Let x = d - -118/45. Is -1 smaller than x?
True
Let m = 36.1 - 34. Let w = 0.06 + 1.94. Let s = m - w. Which is greater: s or -2?
s
Let k = -180 + 144. Is -37 less than or equal to k?
True
Suppose 12 = -6*i + 6. Is i at least as big as -17?
True
Let i be (0 + 0)/(25 + -27). Which is smaller: i or 2/361?
i
Let h be (1 + -2)*(2 + -3). Let v(g) = g + 11. Let t be v(-7). Let k = -4 + t. Is k < h?
True
Let x be (-4)/24*-4 - 3/18. Is x less than 13?
True
Let f be 8/6*(-9)/(-6). Let v = f + -5. Which is smaller: v or 0?
v
Let q be ((-27)/6)/((-8)/16). Is 3 at most q?
True
Let p = 27 - 14. Let f = 18 - p. Suppose 4*j + 27 = -2*b + 5*b, 3*b - 2*j = 21. Is f greater than or equal to b?
True
Let p be (4 + -4)*2/4. Let h be (-3 - (-5)/2)*p. Suppose 0 = 3*f - 4*f. Is h > f?
False
Suppose 2*i + 3*i - 25 = 0. Suppose 2*r + 0 = h + 6, 0 = 2*r + i*h + 18. Are r and 6/11 unequal?
True
Suppose -4*m - 3 = 5. Let p be 6 + -5 + 5/(-2). Is m at most p?
True
Let b = -28 - -6. Is -21 smaller than b?
False
Let r be (-1*10/(-4))/(8/16). Suppose -4*x + 4*d + 0*d + 32 = 0, 0 = -x + 2*d + 10. Which is smaller: r or x?
r
Suppose 16 = -2*h + 6. Let c = h + 9. Is -2/5 greater than c?
False
Let h be (1 - 0) + 9/139. Let k = h - 4661/9730. Let b = -3/10 + k. Is 1 at least as big as b?
True
Let s be 2/4*(-2)/(-4). Let y(d) = 2*d**2 + d. Let z be y(-2). Suppose z*o - 1 = 5*o. Which is smaller: s or o?
s
Suppose 7 = d + 2*f, -4*f = d + 1 - 0. Suppose -d = 5*q - 5. Let w = -150 + 149. Is w <= q?
False
Let r(f) = -f**3 + 9*f**2 - 8*f - 6. Suppose 0 = p - y - 12, 0*p - 32 = -2*p + 4*y. Let m be r(p). Let k be m + (3/(-3) - -3). Which is bigger: k or -3?
-3
Let v(u) = -u**3 + 4*u**2 + 7*u - 1. Suppose 4*x - 2*b - 12 = 0, 2 = -2*x + b + 2*b. Let a be v(x). Let k be 4/12 - (-33)/a. Are 4 and k unequal?
False
Suppose m + 35 = -5*q - 4*m, -3*q - 2*m - 16 = 0. Suppose -y - 7 = 3*v, 3*v - 3 + 4 = 5*y. Is q < v?
False
Suppose 0 = -3*o - 2 + 11. Suppose 5*i - o*s - 8 = -4*s, -9 = -3*s. Is 4 at least as big as i?
True
Let p(o) = -o + 1. Let v be p(0). Let b be (-3 + 3)/(v - -1). Suppose b = -2*c - 10 - 4. Which is smaller: c or -8?
-8
Let c = 13 + -8. Suppose -6*v - 2 = -4*v. Is v greater than c?
False
Let k(h) = h**3 - 6*h**2 - 7. Let x be k(6). Which is bigger: x or -8?
x
Let w = 1 + 5. Suppose 7 = 5*r + 5*a - 8, 5*r + 2*a = w. Is 0 greater than or equal to r?
True
Let i be 32/(-6) + (3 - 1). Let m = i - -23/6. Let u(k) = k + 4. Let f be u(-3). Which is greater: m or f?
f
Let p(c) = -c**3 + 6*c**2 + 3*c + 23. Let x be p(7). Which is greater: x or -28/5?
x
Let x = -4.1 - -13.1. Is 7 at least as big as x?
False
Let m(t) = -8*t**2 - 3*t - 2. Let f be m(-2). Let y be (-4)/(-6) - f/(-21). Are y and -10 unequal?
True
Suppose -3*i - i + 60 = 0. Are i and 14 non-equal?
True
Let o = -20.32 - -20. Let t = o + 0.3. Let f = -0.7 - -0.6. Which is smaller: t or f?
f
Let a be (-4)/(-4) - 18/(-4)*-2. Is -10 bigger than a?
False
Let a = 3/140 - -57/140. Let x be (6 - (-332)/(-56))*4. Is x > a?
False
Let d = 12 + -7. Let t be (-3)/2*4/(-3). Suppose 2*s + t = -s + y, y - 2 = d*s. Is 0 bigger than s?
False
Let r = -0.3 + 4.3. Let y = 8 - r. Let l = -1.8 - -2.8. Which is greater: y or l?
y
Let o(i) = -i**3 - 6*i**2 + 6*i - 8. Let z(d) = -d - 1. Let l be z(6). Let k be o(l). Let w be (-1 + 0)*k - 0. Is w <= -2/5?
False
Let c = -27 - -85/3. Let p be (2/2 + -1)/(-1). Which is greater: c or p?
c
Let k = -29/6 + 4759/984. Is 0 <= k?
True
Let z = -3 - -6. Suppose z*m - 7 = -19. Is m at most as big as 1?
True
Let h(p) = -p**3 + p**2 + 3*p + 3. Let g be h(3). Is g < -5?
True
Let c(d) = d**3 - 3*d**2 - d. Let p(g) = -g**2 - 9*g + 3. Let s = 14 + -23. Let l be p(s). Let w be c(l). Is -2 at least as big as w?
True
Let z = 26 - 51/2. Do z and -0.6 have the same value?
False
Let t = -65 + 44. Is t smaller than -22?
False
Let q be 8/30*5/(-6). Let f(z) = z**2 - 1. Let h(d) = -d**3 + 8*d**2 + 6*d - 4. Let j(s) = -3*f(s) + h(s). Let c be j(6). Do q and c have different values?
True
Let l(f) = 7*f**2 - 6*f - 5. Let q(o) = -o**2 + 1. Let k(b) = -l(b) - 6*q(b). Let g be k(6). Is 0 less than g?
False
Let n = -171.2 - -188. Let v = 0.8 - n. Is 1 bigger than v?
True
Let l be (86/34 + 1)*15/(-30). Does -1 = l?
False
Let r = -9 + 4. Is r > -5?
False
Let m be -16 + (3 - -1) + -3. Let h = -8 - -7.9. Is h != m?
True
Let q be (-14)/63 + 48/(-27). Does -13/6 = q?
False
Let g be (3 + -2)*(-6)/(-108). Is g at least as big as 0?
True
Let b = 5 + -5.04. Let s = -0.05 + b. Let r = s - 5.91. Is 1 < r?
False
Suppose 0 = -10*v + 14*v - 36. Which is greater: v or 3?
v
Suppose -1 = 4*r + 99. Let y = 74/3 + r. Are y and -14 equal?
False
Let p be (-2 - 0)*-41 + -1. Let d = -46 + p. Suppose 5*g + d = g + 3*i, g - 2*i + 15 = 0. Which is bigger: -6 or g?
g
Let c = 3 + -3. Is c equal to 1?
False
Let s be 0 + 0 + -3 + -6. Let m = s - -5. Is m < -4?
False
Let s = 1316/9 + -146. Let p(o) = o**3 - 3*o**2 - 4*o + 5. Let z be p(4). Suppose -z*f + 4*m + 4 = -3*f, 4*m = -4. Which is smaller: f or s?
f
Let u(s) = s - 1. Let h be u(-2). Let j be (-4)/6*-3 + h. Let r = j - 0. Which is bigger: 2/5 or r?
2/5
Let w = 3.92 - -0.08. Let i = -3.5 + w. Let g = i + -3.5. Are 0.1 and g non-equal?
True
Let k = -394/21 + 5584/273. Which is smaller: 2 or k?
k
Let q be 6/15 - (-13)/5. Suppose 2*z = 4*p - 84, q*p - z - 4 - 60 = 0. Suppose -3 = 5*i + p. Is i at most -6?
False
Suppose 0 = -27*l - 1007 - 1099. Is -78 != l?
False
Let k = 0.6 + 0. Let m = k - 2.6. Is m <= 1?
True
Let z = -1 + 7. Suppose 0 = 5*d + 2*l + 11, 3*l + 8 = -5*d - z. Is d != -2?
True
Let m = -0.15 + 8.15. Let b = m + -8. Which is smaller: -0.1 or b?
-0.1
Let d = 3 - 3. Suppose d = 2*y - 3 - 7. Which is smaller: 7 or y?
y
Let o = 11 - 8. Is 0 less than or equal to o?
True
Let t = -13 - 53. Let l = t + 525/8. Let m be (-10)/6 - 2/(-3). Is m not equal to l?
True
Let f(b) = b - 2. Let o be f(-6). Which is greater: o or -9?
o
Let u be -3 - (-3)/(-39)*2797. Let k = u + 218. Which is greater: 0 or k?
0
Suppose -8 = -4*y + 4. Let c = y - 1. Let v = 