*f**3 - 6*f**2 - f - 4. Let h be p(-3). Are h and -2/39 nonequal?
True
Let w = -140.8 - -141. Let p be 2/20 - (-4)/10. Is w at least p?
False
Suppose -5*h + 8 = -h. Let c be h/9 + 11/(-36). Let y be 21/(-15) - (-4)/10. Is c less than or equal to y?
False
Let o = -34 - -28. Which is greater: o or -8?
o
Let h = 9 - 0. Let k be -2 - ((-25)/h - -1). Let w = -3 - -3. Is k greater than w?
False
Let f(m) = -2*m**3 + 2*m**2 + 2*m - 3. Let q be f(1). Is q <= -2/269?
True
Let f(i) = 5*i**3 - 5*i - 5 + 2 - 6*i**2 - 6*i**3. Let l be f(-3). Which is smaller: -14 or l?
l
Let l(t) = t**3 - 7*t**2 + 6*t + 4. Let h be l(6). Let n be 46/40 + (-3)/h. Which is smaller: n or -0.3?
-0.3
Suppose -p - 21 = 5*l - 7, -p = -2*l. Let i be 4 - (1 - l) - 1. Are 0 and i equal?
True
Let l be (0 - -2) + (58 - 2/2). Is -0.1 not equal to l?
True
Let t = -3 - -38. Is 0.2 >= t?
False
Suppose c = -1 + 4. Let a be (-18)/c + (0 - -1). Let g(o) = -o**3 + 2*o**2 - 3*o + 2. Let i be g(2). Is i at least a?
True
Let x be ((-33)/9 + 1)*-9. Let z be 2/(x/(-10) - -2). Let p = z + 6. Which is bigger: p or 0?
p
Suppose -2*b - 12 = -0*b. Let o = b - -17. Are o and 11 unequal?
False
Let k = 13 + -11. Which is bigger: 3 or k?
3
Let v(b) = b**2 + 10*b + 13. Let a be v(-6). Is -9 at most as big as a?
False
Let d be 2/(-3) - (-7)/(-3) - -14. Which is smaller: 10 or d?
10
Let s = 256/3 + -86. Which is smaller: s or -2?
-2
Suppose -4*v + 4*q = 16, -4*q - 2 = -0*v - v. Is -6 <= v?
True
Let u be ((-12)/(-105))/(60/42). Which is smaller: -1 or u?
-1
Let r = -3 - -10. Suppose 0*s + s + r = 2*y, -4*y = 4*s - 20. Suppose 8 + 0 = 5*a - 3*g, 9 = 5*a - y*g. Is a bigger than 0.1?
True
Let t be (4/(-24))/((-226)/8). Let i = t - -150/113. Let y = 6 - 4. Is i at most y?
True
Let d = 2.9 + -3. Let p = d - 0.9. Is p less than or equal to -0.06?
True
Suppose y = -y + 4. Let g be (y/5)/((-1)/(-10)). Do g and 5 have different values?
True
Let w = -3 + -60. Let o be (-6)/w - 2/(-6). Let b(p) = -2*p + 3. Let x be b(2). Is x greater than or equal to o?
False
Suppose -5*r - 21 = -51. Let n be (-3)/r*0/(-2). Are n and -1 unequal?
True
Let g be 4/4 + (-9)/3. Let r be (g/(-8))/((-2)/8). Which is bigger: r or 2/9?
2/9
Suppose 5*m - 7*m = 5*v - 10, 3*v + 4*m - 6 = 0. Suppose v = -4*y - 18. Let j be ((-15)/(-6))/y*0. Are j and -1 nonequal?
True
Suppose -2*q = -8, -17 = -2*i - 2*q - 3. Suppose 2*j = -i*m - 3, 3*m + 5*j + 0 + 12 = 0. Is m < 1/4?
False
Let o be 0 + (888/495 - 2). Let f = 4/165 + o. Which is smaller: f or 1?
f
Let w be (1 - 8/6)/(-1). Let j = 10.01 + -10. Is w less than or equal to j?
False
Let d(l) = -l**2 - 13*l + 13. Let b be d(-14). Let a(r) = r**2 - r - 1. Let v be a(2). Let g be v - 2 - (-2 - -1). Is g not equal to b?
True
Let g = 7 - -1. Let r be g/28 - (-9)/(-7). Let j be r*(3 + (-74)/26). Which is greater: 1 or j?
1
Let o be (-1)/((-2)/4)*(-13)/(-637). Is o < -1?
False
Let q be 1/((-3)/(12*-1)). Suppose -g = -q*g + 5*h - 35, -3*g = -3*h + 39. Let i be ((-2)/4)/(g/18). Is 2 equal to i?
False
Let d = 38 + -34. Is d >= 3?
True
Suppose 78 = -4*p + 2*w, -5*w - 21 = p + p. Is -18 at most as big as p?
True
Let v be 0 + 1 + -1 + 3. Suppose 10 = v*a - 5. Which is greater: 4 or a?
a
Let o(d) = -d**2 - 3*d + 2. Let z be o(-3). Suppose -r = 4*p + 4*r + 2, p + 2*r + z = 0. Is p greater than or equal to 2?
True
Let m be 3*6/(-9) + (-163)/(-81). Which is bigger: 1 or m?
1
Let k(m) = m - 1. Let w be k(3). Let r(x) = 3*x - w - x**2 + 2*x**2 + 0*x**2 + 0. Let b be r(-3). Is b smaller than -4/5?
True
Let u = 1.1 + -1. Let j = -0.326 + 0.016. Let p = j - -0.11. Is u at least as big as p?
True
Let s = -3 - -3.4. Let i = -0.4 - -0.7. Let b = s - i. Is -0.1 at most as big as b?
True
Let s = 31 + -16. Suppose -3*b + s = 0, r + 3*r - 4*b + 24 = 0. Let k = 127 - 633/5. Which is smaller: r or k?
r
Suppose -3*b - 5*k - 25 = 0, -10 = b + 4*k + 10. Let n = -9/46 - 231/230. Which is smaller: b or n?
n
Let r = 3/65 + -411/455. Let z = -20 - -20. Which is greater: z or r?
z
Let s be (-40)/(-30) - (-194)/(-150). Is s < -1?
False
Suppose -4*j + 3*v = 5 - 49, -2*j + v + 22 = 0. Which is smaller: 10 or j?
10
Let f(o) = o**3 + 2*o**2 - 3*o - 2. Suppose -5*t - 19 = -4. Let j be f(t). Let i be (-3)/j*(-10)/(-6). Is 4 < i?
False
Let g be (8/(-102))/(24/(-36)). Is g not equal to -1?
True
Let d = 9 - 11.4. Which is smaller: d or 0?
d
Let z = -3 + 3.2. Suppose 0 = -o - 0*o - 4*v + 22, 5*v - 15 = 5*o. Which is bigger: z or o?
o
Let h be 8 - 2 - (-2 - -3). Let i = h - 5. Is -1 less than i?
True
Let u = 42 - 212/5. Suppose 0 = -h + 4*h. Suppose -j + h = 1. Which is smaller: j or u?
j
Let q = -3.6 - -1.6. Is 25 > q?
True
Let q be 16/252*3*3. Which is smaller: 2 or q?
q
Let b = -16 - -21. Let q = 6 + -16. Let k = q - -9. Which is smaller: b or k?
k
Suppose -3*p = 3*h - 7*p + 9, -4*h - 12 = 3*p. Let a = 3 + -6. Is a less than h?
False
Let g = 109/110 - 12/11. Is -1 > g?
False
Let d = 1 - 3. Suppose 4 = 2*q + 2*f, -3*q = f - 24 + 8. Let t(g) = -g**2 + 8*g - 10. Let l be t(q). Is d bigger than l?
True
Let j = 32 + -95/3. Is -1 != j?
True
Let y(g) = -g**3 - 9*g**2 - 8*g + 9. Let k be y(-8). Which is greater: 11 or k?
11
Suppose -70 = 4*d - 22. Let o be d/(-36) - (-2)/(-42). Which is smaller: 1 or o?
o
Let i = 7.9 + -4.9. Which is smaller: 9 or i?
i
Let k = 15 + -11. Let f = 1 + -2. Let x be 8 - 6 - 0/f. Is k <= x?
False
Suppose -2*g + 2*x = 0, -1 = 3*g - x - x. Let j be (g/(-3))/((-2)/(-18)). Let s be 16/15 - 2/j. Is s > -1?
True
Suppose -5*b = -15, 0 = 4*h - 6*h - 5*b + 53. Let z be 12*(2 - h/10). Is z less than -1?
False
Let l = -20.9 + 21. Which is smaller: 98 or l?
l
Suppose -2*j = -y - 4*y - 1179, -2*j = 2*y - 1200. Let q be (2 - j/288)*-4. Let p = q + 1/24. Do 0 and p have the same value?
False
Let p = -192/13 - -189/13. Which is smaller: 3 or p?
p
Let l(p) = p**3 - 5*p**2 - 4*p - 6. Let c be l(6). Is 8 greater than or equal to c?
True
Suppose 0 = -5*u + 28 + 32. Let c be (9/u)/((-1)/2). Which is smaller: c or -2?
-2
Let b(x) = 2*x**3 + 5*x**2 - 6*x + 3. Let a be b(-5). Let y be a/28 + 2/7. Is y at least 0?
False
Let b = 1218455712829/4012 + -303702815. Let i = b + 2/1003. Do i and 5 have the same value?
False
Let o = -3 + -1. Let m = o + 4. Suppose q - 3 = -m*q. Is 3 at most as big as q?
True
Let w = 2.5 - 1.5. Which is greater: 2 or w?
2
Suppose 0 = -p + 2*p + 1. Which is bigger: p or 1/16?
1/16
Let k(r) = -r + 8. Let q be k(9). Is 2/5 bigger than q?
True
Suppose -4*i + 2*r + 45 = 1, 5*r + 33 = 3*i. Suppose -2*v - 23 = -j, j + i = -3*v - 11. Let z be (-2)/(3/v*-1). Which is smaller: z or -5?
z
Let j be (0 - -1)/(-1*1). Let z be 1*14/(-6 + 7). Which is smaller: z or j?
j
Let x = 5 + -16. Let q = 6 - 14. Let v = q - x. Is 1 equal to v?
False
Let r be 2 + 24/(-15) + (-72)/200. Are 0 and r non-equal?
True
Suppose f - 136 = -f. Let s = -53719/6 - -8885. Let b = s + f. Which is greater: 0 or b?
0
Let d be (-41)/(-12) - 6/2. Let q = 1/6 - d. Which is greater: 1 or q?
1
Let s(i) = -7*i - 10. Let m be s(-6). Is 30 equal to m?
False
Let k = 493/5 - 98. Suppose z + 2*c + 6 = -0*z, 0 = z + c + 3. Is z smaller than k?
True
Suppose 2*h - 5 - 53 = 0. Suppose 4*r + 15 = -h. Let u = -15 - r. Is u bigger than -4?
False
Let f be 2/(1 + (-15)/5). Which is smaller: f or -3?
-3
Suppose -16 = -4*o, -v + 5*o = 16 - 0. Let b be (-6)/v*4/6. Is 2/17 >= b?
True
Let g(w) = 2*w**2 + w + 1. Let u be g(-1). Suppose 4*r = u*r. Let o = 107 + -2891/27. Is r greater than o?
True
Let j be (14/(-210))/(5/6). Which is bigger: -2/3 or j?
j
Let a = 23/39 + 1/13. Is 0 greater than a?
False
Let v(f) = f**2 + 24*f + 1. Let n be v(-24). Let i = 147/52 + -27/13. Which is bigger: n or i?
n
Let l(i) = i**2 + 4*i - 1. Let v be l(-4). Let o be 669/15*-1*-1. Let t = -45 + o. Is v > t?
False
Let k = -6 + 21. Let b = -15.2 + k. Let t = -117/4 + 29. Are t and b non-equal?
True
Let f be ((-2)/4)/(2/(-4)). Let p be 1*(f*-2)/(-1). Let u = -7 + 9. Is u >= p?
True
Let b = 11 - 26. Let u = 13 + b. Which is greater: u or -6?
u
Suppose 0 = -x - 4*x. Suppose -1 = 4*t - 13, -3*s - 3*t = -18. Suppose -m + x = s. Is -3 at least as big as m?
True
Let d be 616/(-6)*12/8. Let z = d + 1076/7. Is -1 not equal to z?
True
Let k = -5/3 + 1/6. Do 1/18 and k have different values?
True
Suppose 3*c - 8 = -2*l, c - 15 = 2