3). Is -1/2 at least as big as u?
False
Let j(p) = p**3 + 15*p**2 + 15*p + 20. Let o be j(-14). Let r = -7 + o. Let y = -8 - -6. Which is greater: r or y?
r
Let v = -10 - -9.6. Let p = 3 - 2.4. Let b = v + p. Is b greater than 1?
False
Let g = 2 - 2.04. Let h = g - -7.04. Let a = 6 - h. Is -1 >= a?
True
Let r be (-1 + 1)/(-2 - -4). Suppose r = 4*z + 2 + 10. Are z and -3 nonequal?
False
Suppose 3*w = 6*w - 9. Is w <= 0?
False
Let h be ((-10)/(-4))/((-2)/(-4)). Suppose -3*k + 4 = -5*k - 2*o, 2*k - 8 = 4*o. Suppose 5*s - s - 16 = k. Which is bigger: h or s?
h
Let u = 33 - 12. Let j = u - 27. Are j and -4 equal?
False
Suppose 2*t = 15 - 15. Is -2/97 > t?
False
Suppose -2*v - 2*v = -4. Which is smaller: -1/6 or v?
-1/6
Suppose -g = -4*q - 20, 2*g - 28 = -2*g + 3*q. Suppose g*u + 3 + 5 = 0. Let c be (((-2)/u)/(-1))/3. Which is bigger: c or 0?
0
Let i be 5/(-12) - (-2)/3. Let y be -2 + 1 + 2 + -1. Let n(s) = -s**2 - 1. Let m be n(y). Is i at most m?
False
Let f = 6 - 19.9. Let a = f - -17. Let x = -3 + a. Do x and 0.2 have the same value?
False
Let z = -829/28576 - 2/893. Is z at least as big as 1?
False
Let d = -13/14 - -933/70. Let n = 12 - d. Suppose 0*h = -2*h + 2. Is h < n?
False
Let b be ((-36)/45)/((-6)/10). Suppose 0 = 2*s, 20 = 4*f + f + 5*s. Let p be f/6 - (-8)/6. Is b at most p?
True
Let k be ((-24)/(-40))/(3/2). Which is greater: k or -1?
k
Let v = 4.9 + -4. Let t = -1.1 + v. Is 0 at least t?
True
Suppose 0 = -2*o - 2*o + 8. Let p be (1 - 9/12)*o. Is p at least as big as -0.3?
True
Suppose 2*f + f = 6. Let v = 12/11 + -40/77. Is f <= v?
False
Let u = 1.6 + -7.6. Let r = u + 2. Let c = r - -4. Are 0.1 and c equal?
False
Let r = -6/53 - -184/689. Is r less than or equal to -1?
False
Suppose 2*s = s. Is -2/95 greater than s?
False
Let b = -2.2 - 2.8. Which is bigger: -1 or b?
-1
Suppose -o + 6*o - 40 = 0. Let v be (-52)/(-6) - 2/(-6). Which is bigger: o or v?
v
Let j = -6.6 + 0.6. Let s = 5 + j. Is s < -0.2?
True
Suppose -4*n + 8 + 4 = 4*l, -2*n + 6 = 0. Let t be -1*9/(-6)*-2. Let x = 3 + t. Is x > l?
False
Let u be (-3)/(-12)*6*-2. Let i be 7/u - 2/3. Is -5 smaller than i?
True
Let b = 31 + -64. Let u = b - -33.13. Is u <= -1?
False
Suppose -16 = -3*q - 1. Which is smaller: q or 0.3?
0.3
Suppose -65 = 2*i + 3*i - 5*l, -56 = 4*i - 5*l. Suppose 2*h + b = -21, 51 = -2*h - 2*b + 25. Does i = h?
False
Let b(g) be the second derivative of -g**5/20 - 5*g**4/12 - 2*g**3/3 - g**2 - 10*g. Let u be b(-4). Which is smaller: -6/11 or u?
u
Suppose 2*d - r - 2 = -0*d, 4 = -4*d - 2*r. Let u(l) = l**2. Let y be u(d). Let s = -1 - y. Which is smaller: -2 or s?
-2
Let n be (-1)/(0 + 1)*-1. Is 9/5 equal to n?
False
Let d = -8 + 6. Suppose 2*h - 5*v + 22 = 1, -5 = 5*h - 3*v. Let w = d + h. Which is greater: -2/5 or w?
w
Let m = 0.14 - 0.34. Are -2 and m nonequal?
True
Let y be (-15)/9*6/8. Which is bigger: y or 2?
2
Suppose 2*x - 5*x + 8 = 2*n, 5*n - 5 = -5*x. Which is greater: 1 or x?
x
Suppose -34 + 15 = -k. Let q = k - 18. Which is smaller: q or 3?
q
Let y = -0.15 + -0.05. Are 0.3 and y unequal?
True
Let p(o) = -o**2 + 4*o - 1. Let a be p(4). Is -1/7 at most a?
False
Let g(b) = b**3 - 9*b**2 + b. Let k be g(9). Let h(q) = q**3 + 3*q**2 - 3*q - 2. Let v be h(-3). Is k >= v?
True
Suppose -3*a = -2*w + 2, 3 = 2*a + 3*w + 26. Let s = 0 - a. Let z = s - 5. Which is greater: 1/4 or z?
1/4
Let b be -3 - (3 + -3 + -2). Suppose 2*g - 4*r = -r + 23, 3*r + 27 = 3*g. Let s be 3/(-18) - 2/g. Is b greater than or equal to s?
False
Let u = 1 + -1.2. Let t = 3.8 - u. Let y = t + -4. Are -2 and y unequal?
True
Let a = 21 - -1. Let d be a/(-52) + (-2)/(-4). Is d < 1?
True
Let h = -6 - -11. Suppose 0 = h*y - 5*g - 10 + 25, 0 = y - 5*g + 15. Which is greater: y or 2?
2
Let r = 6753/5 - 1343. Which is greater: r or 8?
8
Let c be (-22)/5 - (3 + -7). Is 5 at most c?
False
Let u = -370 + 10732/29. Which is smaller: u or -1?
-1
Let t = 39.1 - 43. Let r = t + 4. Let o = -0.1 - r. Which is greater: 1 or o?
1
Let v be -3*1 - 305/(-105). Let n(i) = 3*i - 7. Let j be n(2). Which is smaller: v or j?
j
Let i be 4/18 + (-1933)/(-9). Let k be -3 + 643/(-3) + 0. Let h = k + i. Is -1 bigger than h?
True
Let n = 11 - 11. Is 1 not equal to n?
True
Let w = -15.07 - -15. Let k = w + -1.93. Which is greater: k or 2?
2
Let v = 1 + -2. Let r be 2/16 + 0/(-1). Is v != r?
True
Let q = 25/14 - 9/7. Suppose 6*p = 2*p. Is p at least q?
False
Let g be ((-1)/1)/((-2)/6*1). Are g and 2 unequal?
True
Suppose 0 = -5*v - 5 + 15. Suppose h + v*h = 6. Let j be h + (-3)/(2 - 1). Is j at least -2?
True
Suppose -4*a + 5*a - 1 = 3*t, 4*a + 2*t + 10 = 0. Suppose -3*v + 0*v - 6 = 0. Do v and a have different values?
False
Let u = 21 + -15. Suppose z + 1 = -2*n, -z - 4 = -u*z - n. Let t be ((-8)/14)/2 - 0. Is t != z?
True
Let u be (-6)/(-9) - 22/69. Let b = u + 50/253. Which is bigger: 2 or b?
2
Suppose -2 = 2*s + 14. Is -5 greater than or equal to s?
True
Let h be (-3)/6 + 2/(-4). Are -1/9 and h equal?
False
Let x(a) = -a**2 - 4*a + 4. Let t be x(-5). Let s be (-40)/(-18) + -1 + 1 + -2. Which is smaller: s or t?
t
Suppose -k = k - 6. Suppose 4*a - k*a = -2. Is -4 at most a?
True
Let s(l) = -l**3 + 14*l**2 - 2. Let v be s(14). Which is smaller: v or 0?
v
Let g be (2 - 1)*5/(-35). Let z = g + -9/35. Suppose -2 = -k, 2*x + 9 + 1 = 5*k. Is z bigger than x?
False
Let v = 5 - 4. Let h = v - 3. Let o = 2/19 + -25/57. Which is smaller: h or o?
h
Let z be 4/(-8) + 0/(-1). Let y = 2.9 - 3. Is y less than or equal to z?
False
Let w be 10/(-4)*(-108)/45. Suppose 6 = 3*i, i - w = -2*t - 0. Which is greater: 1 or t?
t
Let c(t) = -3*t. Let x be c(-2). Suppose -2*w + x = -0. Let d(y) = 3*y**3 - y + 1. Let o be d(1). Is o greater than or equal to w?
True
Let t(y) = -y**3 - 6*y**2. Let l be t(-6). Let c(o) = o**2 + 2*o + 1. Let j be c(-2). Let u = l + j. Do 1 and u have the same value?
True
Suppose -5*h - x + 3*x = 12, -h - 3*x - 16 = 0. Let w = 6 + h. Suppose w*a = -a. Is -1 bigger than a?
False
Let r(g) = -38*g**3 - 2*g**2 - 3*g - 2. Let t be r(-1). Which is smaller: t or 38?
t
Let h be 7/(-10)*40/(-70). Is h not equal to 1?
True
Let o be -1 - (-1)/(3/4). Let t be (-3)/2*56/(-6). Let s be -1 + (1 - 4/t). Is s at least o?
False
Let w = 2 + -10. Is -8 equal to w?
True
Let n(d) = d**3 + d**2 + d + 1. Let m be n(0). Let z be 0 + m - 28/30. Is z equal to 1?
False
Let p be (-2)/6 - 22/6. Let z be (-12)/63 + p/6. Suppose 0*y + 2 = -2*y. Which is bigger: z or y?
z
Let g(c) = -c**2 + 4*c. Let f be g(3). Are f and 1 nonequal?
True
Let q(y) = 1 - 2*y - y**2 + 0*y**2 - y + 2*y. Let n(i) = i - 4. Let g be n(2). Let a be q(g). Is a bigger than -1?
False
Let s = 0.3 - 0.3. Let j = 0.3 - s. Let y = j + -0.4. Is 2 equal to y?
False
Let s = 321/4624 - 2/289. Which is greater: -1 or s?
s
Let n(z) = 4*z + 4. Let w be n(0). Which is greater: -11 or w?
w
Let h = -3/16 - -31/80. Suppose 0 = l + 4*l. Suppose -2*m = 2*d - m - 1, -d + 2*m - 2 = l. Does h = d?
False
Let b be 4/3 - -1 - 1. Suppose -j = -2*j + 10. Let d be (-6)/j + (-18)/(-30). Is b smaller than d?
False
Let j = 2.7 + 3.6. Let g = j - 6. Is g at most 0.07?
False
Let a be (-125)/(-30) - (-2)/6. Which is smaller: 5 or a?
a
Suppose 5*s + 2*n = 0, 8*n = 4*s + 3*n. Suppose -r - 2 = x, 2*x + 3 = r - 13. Let o be 20/(-21) - 4/x. Is s < o?
False
Suppose 2*b + 6 = 2*p - 4, -2*p - 5*b - 25 = 0. Let r = -397/1827 + -1/203. Which is smaller: r or p?
r
Let w = -113 + 219/2. Let p be -8 + 2 + (4 - 2). Is p at most w?
True
Let y = -66 + -12. Let m = y + 151/2. Is -4 < m?
True
Let d = -3.9 - -4.9. Which is bigger: d or 13?
13
Let g = -28.9 + 29. Is g bigger than 5?
False
Let a be (-3)/(-1 + (-2)/4). Let z be (-1 - 0)*(0 + -11). Let j = z + -8. Is j equal to a?
False
Let b be (-28020)/1302*(-24)/(-10). Let q = -362/7 - b. Which is smaller: -1 or q?
-1
Let u be 305/(-80) - (-3 - 1). Which is bigger: 0 or u?
u
Let a(u) = u**3 - 2*u**2 + 4*u - 13. Let x be a(3). Is 7 bigger than x?
False
Suppose 3 = -i + 15. Let b be i/(-28)*16/6. Which is smaller: b or 0?
b
Suppose 4*q + 15 = 2*p + 3*p, -q = 5*p - 15. Let s = -3 + 4. Let b be 2 - ((-3)/(-2) + s). Which is bigger: q or b?
q
Let w = 7 - 10. Let a = w + 6. Let j be ((3 - a)/1)/(-2). Which is smaller: -1 or j?
-1
Suppose -6*r + 40 + 32 = 0. Which is greater: r or 