 z be w(-6). Is 1/4 bigger than z?
True
Let r(n) = -7*n - 14. Let z be r(-5). Is z >= 22?
False
Let c = -21/20 + 271/220. Is c at most as big as 0.9?
True
Let k = 78 + -92. Which is smaller: k or -16?
-16
Let c be -1*(-5 - (2 + 2)). Which is smaller: 6 or c?
6
Let b(g) = -g**3 + 3*g**2 - 2*g + 1. Let i be b(1). Let a be (2 - 4)/(-1 - i). Let h = 24 + -23. Are h and a equal?
True
Let j = -77/18 + 1201/306. Is 1 at most as big as j?
False
Let t(d) = -d**2 - 6*d + 1. Let r be t(-6). Let k be -8*r*(-9)/(-12). Which is smaller: k or -7?
-7
Let a be (-6)/(-45)*(-6)/(-2). Suppose -2*w + w = -3. Suppose w*b + 0*b = 3. Which is smaller: a or b?
a
Let u be (7/3)/(7/6). Let m(x) = -x**3 - 7*x**2 - 6*x + 3. Let d be m(-6). Is d at most u?
False
Let l be ((-5)/(-2) - -1)*-2. Let x(b) = -b**2 + b - 1. Let z(n) = n**3 + 4*n**2 - 4*n + 2. Let v(u) = 2*x(u) - z(u). Let c be v(l). Does c = 4?
False
Let p be (4 - 6)*(1 - -9). Are p and -22 nonequal?
True
Let v(g) = -g**3 - g**2 + g + 1. Let t be v(-1). Suppose -i = -3 + 1, t = h + 4*i - 12. Which is smaller: h or 2?
2
Suppose -11 = 5*j + 3*v, 2*j - 6*j = 5*v + 1. Let q = 35 + -21. Let i = -17 + q. Is j less than or equal to i?
True
Let m = 156 - 148. Is 8 greater than or equal to m?
True
Let s be 4/(-14) - 3/1491*-128. Is 1 greater than s?
True
Let h(r) = r - 5. Let c be h(8). Let p = -3 + 2.8. Which is greater: c or p?
c
Let s = 15 - 61/4. Is 1 equal to s?
False
Suppose 0*t + 24 = -4*t. Let v be 61/(-7) + t/21. Let c be -2 + 3*(-3)/v. Which is smaller: c or -2?
-2
Let c be 354588/410 + (-8)/10. Let g = c - 864. Which is smaller: -1 or g?
-1
Let v = 0.31 + -0.21. Let k = 0.32 - 0.3. Which is bigger: v or k?
v
Let y be (1 - 0)/(2/6). Suppose 5*r + 4*u - 33 = 1, 5*r = -y*u + 38. Let o be r/2 - (-2 - -3). Is 5 at least o?
True
Let v = 22 + -22. Which is greater: v or -9?
v
Suppose 0 = 4*t - c + 34, -3*c - c + 32 = -3*t. Let y(h) = -h**2 - 8*h + 2. Let p be y(t). Let j = -2 - -3. Is j equal to p?
False
Let q be (-8)/6*(0 - (-117)/2). Is -79 bigger than q?
False
Let r be ((-20)/(-45))/(-2)*(-8)/(-6). Do 0 and r have the same value?
False
Let o be (-6)/(-5) - 4/20. Is -1/8 > o?
False
Let b(q) = q - 8. Let x be b(11). Which is smaller: x or -0.1?
-0.1
Let t = -366 + 257. Are t and -110 non-equal?
True
Let f(u) = -u**2 + 6*u - 7. Let l be f(5). Let m(g) = -g**2 + 6*g. Let r be m(6). Suppose -5*j + 3*z = r, -z - 27 = 5*j - 7. Is l not equal to j?
True
Let d(a) = a**3 - 3*a**2 - 3*a + 3. Let v be d(3). Which is smaller: -4 or v?
v
Let r(o) = -2*o**2 + 4*o. Let i be r(-5). Let g be i/25 - (-2)/(-10). Let b be -1*-1*(-4 - -1). Is b < g?
False
Let b(z) = -4*z**3 + 2*z**2 - 2*z + 1. Let p be b(1). Let w = p - -4. Is w smaller than 1?
False
Suppose -3*u + 35 + 2 = 5*g, 3*u + 4*g = 38. Is 13 bigger than u?
False
Suppose -5*i - 2*b - 2*b - 13 = 0, -3*i = -4*b + 27. Is i smaller than -4?
True
Let r be (-4 - (-630)/125) + -1. Which is bigger: r or 0?
r
Let g be 3*2/3*3/51. Which is smaller: -0.01 or g?
-0.01
Let i be (-9)/(-40)*28/(-42). Is -1 at least as big as i?
False
Let b = -11 - -23/2. Let l be (-2)/9 + 2/9. Let i be 2 + -1*2 - l. Is i greater than b?
False
Suppose -5*r = -5*y - 50, 2*y - r = -0*r - 18. Let b be y*15/(-6)*2. Let p = 119/3 - b. Is p at least as big as 2?
False
Suppose 5*d - 1 + 11 = 0. Let i be d/4*(-1 + 1). Let a = -2 - -3. Is a >= i?
True
Let x = 62 - 247/4. Do x and -0.1 have the same value?
False
Let k(q) = -q**3 - 4*q**2 + 6. Let l be k(-5). Suppose -4*m - l = 5*f, 2*m - 5*m - 21 = 3*f. Is m > -4?
False
Let u be (2/(-15))/((-1)/(-3)). Suppose -3*n + 0*n = 3*p + 12, -4*n = -5*p + 25. Let g be (-2)/(p/1 - 3). Which is bigger: u or g?
g
Suppose -143 = -4*f - 139. Do f and 2/11 have the same value?
False
Let b = -1.99 + 2.1. Let o = -1.07 + 1.17. Is o != b?
True
Let j be ((-1)/(-6))/((-2)/(-3)). Suppose 5*a + 8 = a. Is a at least j?
False
Let s(z) = z**2 - 5*z + 4. Let y be s(5). Suppose -3*u = -5 - y. Which is greater: 6 or u?
6
Let r(z) = -z**3 - z**2 + 4. Let i be r(-2). Is 7 >= i?
False
Let i = -3 - -6. Let q = 0.5 + -2.5. Is i <= q?
False
Let x(n) = 48*n**2 + 2*n + 1. Suppose -4*h + w - 4 = 0, 3*h - 2 = 5*h + w. Let t be x(h). Let j = -332/7 + t. Is j bigger than -0.2?
False
Let d = -2 + 2.1. Let g = -0.2 + d. Let a = -4.2 - -4. Are a and g non-equal?
True
Let m(z) = z**3 + 4*z**2 - 5*z - 4. Let v be m(-5). Let f be v*2*(-4)/16. Is 7/5 != f?
True
Suppose 0 = 16*c - 9*c - 252. Are 71/2 and c unequal?
True
Let g be (-18)/(-8) - (-13)/(-52). Which is bigger: 11/14 or g?
g
Let o = -41.82 - 0.18. Let f = o + 41.81. Let p = f + 0.09. Is -3 equal to p?
False
Let m(d) = -d**3 - 3*d**2 - d + 2. Let w be -1*(-11 - (2 + -4)). Suppose -9*x - w = -6*x. Let l be m(x). Is l at most as big as 6?
True
Let d = 0.11 + -0.11. Is -8 at most d?
True
Let k(l) = l - 4. Let v be k(5). Let z be (-179)/3*150/440. Let s = -210/11 - z. Which is smaller: v or s?
v
Let w(a) be the first derivative of -1/2*a**2 + 2 + 4/3*a**3 - a. Let j be w(-1). Which is greater: j or -1?
j
Let y(o) = -o**2 - 4*o + 2. Let g be y(-4). Do -3 and g have different values?
True
Suppose o + 3*n + 0 = -7, 2*o = 5*n + 19. Let b be 3*(16/(-18))/o. Suppose r + 4 = l + 2*r, -r = 5*l - 4. Is b greater than or equal to l?
False
Let j = -83 + 87. Is 49/9 not equal to j?
True
Let b = 6 + -6. Let g be (-6)/(-51)*(1 - b). Is -1 smaller than g?
True
Let s = -25865/54 + 479. Is s >= 1?
False
Let n = -14 - -7. Let u(f) be the first derivative of f**3/3 + 3*f**2 - 10*f - 1. Let q be u(n). Is q at least -1?
False
Let h = -32 - -68. Which is smaller: 2/5 or h?
2/5
Let l be 1 + -1 - (3 + -1). Let n(h) = -h**3 + 15*h**2 + 4. Let x be n(15). Suppose x*s + 10 = -y, -4*y + 19 = -3*s + y. Which is smaller: l or s?
s
Let x = 0.1 + 0. Let o be -1*(-3 + 3) + 3. Suppose o*q = 2*q - 4*m + 8, -2*m = -4*q - 4. Which is bigger: q or x?
x
Let n = -211/7 - -30. Which is greater: n or 0?
0
Let h = 2 - -3. Suppose 0*n = -h*v + 2*n - 16, -3*n = -9. Let r = 1 + v. Which is smaller: r or -1/2?
r
Let y(b) = b**2 - 8*b. Let n be y(8). Let c be ((-2)/5)/((-7)/35). Which is bigger: c or n?
c
Suppose 3*u = -x - 80, -2*u - 68 + 15 = x. Let p be (9/u)/(14/6). Which is greater: p or -1?
p
Let i = 31 - 30.97. Is -0.2 less than or equal to i?
True
Let t(a) = a - 6. Let l be t(6). Which is smaller: l or -2/55?
-2/55
Let l = 2 + -6. Let x be 2/(-8) - 1/l. Which is greater: x or 3/4?
3/4
Suppose 3*y = -5*i + 13 - 31, -4 = -y. Do 5 and i have different values?
True
Suppose 5*y = -2*c + 13, -4*c + 4*y = -2*c - 4. Which is bigger: 28/9 or c?
c
Let y be (-12)/105 - (-4)/(-14). Let n = 0.309 + -0.109. Are y and n non-equal?
True
Let r = -4 + 3. Let v = r + -1. Is -1 at most v?
False
Let j = 0.5 - 10.5. Let f = 10 + j. Is f at least as big as -2?
True
Suppose 9*u + 5 = 4*u. Does -1 = u?
True
Let k = -119 - -159. Is 41 at least as big as k?
True
Let l = 4 + -15. Let k = l - -17. Which is bigger: k or 1?
k
Let f be 3/5 + 4/10. Let p be f*2*4/(-40). Which is bigger: 0 or p?
0
Let h = 7801 - 7759.21. Let x = -48.8 + h. Let u = x + 7. Are -1/3 and u unequal?
True
Let i(s) = -5*s**3 - 9*s**2 + 7*s + 13. Let a(j) = -11*j**3 - 18*j**2 + 14*j + 27. Let b(v) = 6*a(v) - 13*i(v). Let l be b(8). Is l < -4/9?
False
Suppose -26*t = -28*t. Are t and -2/21 unequal?
True
Suppose -3*c - 4*j + 15 = 0, -2*c = j - 4 - 6. Suppose c - 2 = t. Which is smaller: t or 5?
t
Let g(m) = -5*m**3 - 2*m**2 - m + 1. Let j be g(-1). Let v be (-237)/18 - j/(-30). Is v != -0.1?
True
Suppose -2*g - 2*g - 4 = 0. Is 0 <= g?
False
Let v(c) = 6 + 3*c - 2*c**3 - 5 + c**3 + 2*c**2. Let i be v(3). Is -1/3 at most i?
True
Let o = -236/9 + 3032/117. Which is bigger: o or -2/9?
-2/9
Suppose 2*f + 4*f = 24. Which is bigger: f or -3?
f
Suppose m + g + 0*g - 5 = 0, 5*g - 19 = -3*m. Which is smaller: 11/5 or m?
11/5
Let t = -19.271 + 0.271. Suppose 3*y - 5 = -d, 2*y + 4 = -2*d + 3*y. Which is bigger: t or d?
d
Let i = -1/19 - 16/57. Which is bigger: -1 or i?
i
Let x be (30/20)/(6/8). Suppose -3*q + z = 1, -3*q + 2*z = x*q. Which is smaller: q or -4/7?
q
Let k(b) = -b**3 + b**2 - b - 32. Let h be k(0). Let v be 6/(-14)*h/(-48). Which is smaller: 1 or v?
v
Suppose -13 + 1 = -6*s. Is 2 <= s?
True
Let j = 5911/6 - 38489/30. Let z = -101437/340 - j. Let u = 22/17 