at least u?
True
Let h be (-3)/(-6)*6*1. Suppose -4*q + 2*j + h*j - 101 = 0, -q + 5*j = 29. Let y = q + 171/7. Which is smaller: 2/7 or y?
2/7
Let n = -8317/9 + 925. Is n equal to 1?
False
Let a = 361/238 - 2/119. Let u be 23/5 - 4/(-10). Suppose -u*s + 0*s = -15. Which is greater: s or a?
s
Let b(w) = -w**3 - w**2 + 1. Let i be b(-4). Let d = i - 103/2. Suppose 0 = -0*o - 4*o - 12. Does d = o?
False
Let y(l) = 2*l**2 - 17*l + 19. Let w be y(6). Which is greater: -12 or w?
w
Let x = -22.7 + 21. Let r = -0.3 + x. Let o = 3.1 - 3. Is o < r?
False
Suppose 5*w + 22 = -3*q + 3*w, 2*q + 28 = -4*w. Let o(p) = -2*p**2 - 3*p - 2. Let k be o(-2). Let y be 2/(-7) - (q - k). Which is greater: y or 0?
0
Let i be (2/(-3))/(8/(-3)). Which is smaller: 1 or i?
i
Let y = 440899 + -220449651/500. Let a = y + 1/500. Is 0 at least a?
True
Let x = 57 - 78. Which is bigger: x or -19?
-19
Let z = -187.9 + 188. Let j(g) = -g**3 - 5*g**2 + 5*g - 7. Let o be j(-6). Is o bigger than z?
False
Let f = -17 + 21. Which is smaller: 2 or f?
2
Let q = -9 + 24. Suppose 0*s - 6 = 4*t - 2*s, 2*t = -5*s + q. Are t and -2 non-equal?
True
Let g = 350 - 202. Let f be (-2 - -3)/((-2)/g). Let n = f - -155/2. Is n bigger than 5?
False
Let z = 0.8 + 0.2. Let d = -1.46 + 1.5. Which is smaller: d or z?
d
Let s be (-3)/(-6)*(3 + -1). Let k be (s + 4/(-10))*5. Which is smaller: 4 or k?
k
Let l be (6 - 2)/(-4)*0. Suppose l = k - 2*k. Which is greater: 1 or k?
1
Let r = 1 + -1. Let l = 6/61 - 303/1220. Which is smaller: r or l?
l
Suppose 4*h = 3*x - 9, -4*x - 26 = -3*h + 4*h. Let f = -8 - h. Let n = 4 + -3.9. Is n equal to f?
False
Let i = 0.4 - -0.6. Let f(a) = a**2 + 5*a - 3. Let l be f(-5). Is l bigger than i?
False
Let h = 0.9 - -0.1. Let j be 3 + 0 + (-24)/6. Let g be (-7)/(-28) + j/(-4). Which is greater: g or h?
h
Let r(s) = -s + 3. Let t be r(4). Let p = t - 4. Is -6 less than p?
True
Let i be (-1)/4 + (-123)/(-60). Suppose -33 = -4*l - 0*a - 5*a, -5*l - a + 15 = 0. Is i equal to l?
False
Let p = -4 + 6. Let x = 21 + -20. Which is smaller: x or p?
x
Let s(p) be the third derivative of -p**4/24 + p**3/3 + 2*p**2. Let z be s(0). Suppose -z*f + 10 = 3*f - 3*t, -t = 0. Do f and -1 have the same value?
False
Let d = 24 - 5. Suppose 5*z + d = -2*i, -7 = 5*i - 0*i - z. Is i at least as big as 0.1?
False
Let o(s) = -s**2 + 8*s - 13. Let u be o(6). Which is smaller: u or 6/37?
u
Let j be (8/32)/((-2)/(-8)). Let l be j/3 - (-30)/(-171). Is 0 at least as big as l?
False
Let m be (12/(-16) - (-23)/(-12))*15. Which is greater: m or -39?
-39
Suppose -5*h + h = -20. Is h at most 5?
True
Let j be 1/2*8/62. Suppose -o + 3 = l, 5*o - 4*l = -3 - 18. Which is greater: o or j?
j
Let j = -8.91 - -9. Let a = 0.06 - j. Let k = -8.03 - a. Which is greater: 0 or k?
0
Let r = 6 - 5. Let z be (-10)/(-8) - 2/(-8). Which is smaller: r or z?
r
Suppose 2*z + 10 = 0, 3*r - 4*z = 20 + 3. Let w be 3*(r - (-16)/(-2)). Let h = w + 43/2. Is 0 at least h?
False
Let a be (6/7)/((-3)/(-14)). Suppose 0*s = 2*s - 3*v, 2*s = 2*v - a. Which is greater: -4 or s?
-4
Let c = -38 + 37.7. Let r be (0 - 2/80) + -1. Let k = 5/8 + r. Are c and k non-equal?
True
Let j = -1342/7 - -192. Is j <= -1/4?
False
Let b(u) = -u**3 + 7*u**2 - 6*u + 3. Let j be b(6). Suppose 2 = j*c - 2*c. Are 0 and c equal?
False
Let c = 2/805 - 171/4025. Is 1 less than or equal to c?
False
Let l be 6/(-45) - (-78)/(-90). Is l less than or equal to -2/51?
True
Suppose 5*u = 2*s - 34, -5*s + 71 + 14 = 3*u. Suppose -s = -j - 3. Suppose -3*k + j = -7. Which is greater: 6 or k?
k
Suppose 13 = -u + w - 0, 2*w - 39 = 3*u. Which is bigger: u or 1?
1
Let h(g) = -g**3 - 5*g**2 - g + 13. Let w be h(-4). Let j = 5 + -3. Which is greater: j or w?
j
Suppose -1 = 2*o + x - 7, -10 = 5*x. Suppose 5 = 3*f + r - 8, 0 = 4*f + 3*r - 19. Suppose 0 = 2*t + 5*b - 16, f*t + 2*b - 4*b - 8 = 0. Is o less than t?
False
Suppose 0 = -l - 4*n - 21, l - 3*n - 3 = 11. Let o be 1/(-2)*(0 - 10). Suppose -s + o = -4*w - 1, 3*s = 5*w + 11. Is w <= l?
True
Suppose 3*t - 6 = 6. Let y = -13 + t. Is y smaller than 0?
True
Suppose -5*i + 2 + 13 = 0. Let p be (i + -4)*(1 - -1). Suppose -3*u + 3 = 6. Which is greater: p or u?
u
Let q = -19 - -19.1. Let h = -2.1 - -2. Which is smaller: q or h?
h
Let v be (-2)/(-1)*(-2)/(-12)*3. Which is bigger: v or 1/39?
v
Let z be (18/(-15))/(4/(-10)). Suppose -z*i + 20 = 2*y + 5, 15 = i + 4*y. Let v be ((-8)/(-6))/((-32)/(-72)). Is v greater than i?
False
Let z(i) = -i**2 - 2*i. Let x be z(-3). Let n be -10*1/(-2) + 0. Let t be (-3)/(-24) + n/(-8). Are x and t non-equal?
True
Let h = 2 - 2. Let i be h/(-2) + (-4)/10. Which is smaller: -1 or i?
-1
Let v = -82 - -86. Is 9 greater than v?
True
Let u = -181/696 - 10/87. Let b = 7/24 - u. Let l = 10/3 + -47/15. Are b and l non-equal?
True
Let k = 19 - 19. Is k not equal to -2.3?
True
Let r(m) = -m**3 - 32*m**2 - 2*m - 55. Let y be r(-32). Is 2 < y?
True
Let g(f) = -f**3 - 6*f**2 - 6*f - 7. Let i be -1*(1 + 6 + -2). Let x be g(i). Let p be (3/4)/(15/(-12)). Is x at least as big as p?
False
Let q(b) be the third derivative of b**6/120 - b**5/30 - b**2. Let u be q(1). Let j be u/2 + (-10)/(-12). Which is greater: 0 or j?
j
Let b = -125/2 - -59. Let y = 10 + -15. Is y equal to b?
False
Let j be (0 - -3)/(3/(-8)). Let c = j + 0. Let k be 14/(-12)*c/98. Which is bigger: k or 1?
1
Let o = 635 - 635.2. Let g = 0.6 + -2.6. Let u = g - -1.8. Are u and o non-equal?
False
Let a = -1 + 3. Suppose -a*h + 3 = -3. Suppose 4*g - h - 1 = 0. Which is smaller: -1 or g?
-1
Let b = -3 - -5. Let h = b - 11. Let m(g) = g - 2. Let y be m(-6). Which is smaller: y or h?
h
Let g be 2/((-6)/(-3)) - 2. Let l = -1 - g. Is l > 2?
False
Suppose -2*o - 8 = 2*o. Let g be (-9)/(-6) - 27/(-6). Let u be ((-1)/g)/((-2)/4). Which is smaller: o or u?
o
Suppose -3*b + 5*v - 25 = 0, -8 + 3 = -3*b - v. Suppose b = -6*l + l. Which is greater: -2/3 or l?
l
Let q = -0.9 - -1.8. Let z = -0.8 + q. Let h = 0.1 - 0.3. Which is smaller: h or z?
h
Suppose -3*r + 2*c - 5*c = -12, -c + 4 = 3*r. Which is greater: r or 1?
1
Let r(n) = -n**3 - 10*n**2 + 10*n - 9. Let d be r(-11). Let x be 35/5*d/7. Suppose -5*z - 4*j + 1 = 0, -x*z = -3*z + 2*j + 3. Which is smaller: 2/3 or z?
2/3
Suppose 2 = -4*b + 14. Let f = 4 - b. Suppose -t - 8 = -4*j, -4*j + 2*t + f + 3 = 0. Is 2 at most j?
True
Let y(z) = z + 5. Let j = -6 - -6. Let v be y(j). Suppose i - 3*o = -v, 2*i - 3*i = 5*o + 5. Is -5 at most i?
True
Let x be (2/(-5))/(-1 - (-2)/15). Is 0 greater than x?
False
Suppose -2*i - 2*i = 12. Let x be i*(-3)/(-15) + 1. Which is greater: 0.1 or x?
x
Let a = -12 - -8. Does a = -5?
False
Let r = -1/252 + -5/36. Let l = 36 + -16. Suppose -2 = -b - 6, 5*b + l = 5*h. Which is smaller: r or h?
r
Let j be (2/6)/(8/6). Let f = -28 - -27. Is j smaller than f?
False
Let m(u) = -3*u - 20. Let c be m(-6). Is c smaller than 0?
True
Let r = -1 + 0. Let x be 2/(1 - 7/(-2)). Is r at least as big as x?
False
Let g(v) = -v + 2. Suppose -p + 2*y - 14 = 0, 0*y - 4*y = -20. Let d be g(p). Do d and 1/4 have the same value?
False
Let v be 19/(-9) - (-3 + 1). Does 1 = v?
False
Let k be 1*-5*(-12)/15. Suppose k*q = 4 - 0. Let i(x) = x**3 + 3*x**2 - 2. Let y be i(-2). Do q and y have the same value?
False
Let p be 1 + (-9)/(-3 + 0). Suppose -p*j - 12 = -4*x, -2*j = 4*x + 2*j - 28. Let h be (-4)/5*x/(-26). Is -1 greater than h?
False
Suppose 0 = 3*p + 12, 4*t - 3*t - 9 = 3*p. Let r be 2/t - (-308)/525. Is 0 smaller than r?
False
Let k(f) = -f. Let w be (-194)/(-22) - (-2)/11. Let p be k(w). Let i be (-22)/18 + (-2)/p. Is 0 less than or equal to i?
False
Suppose 3*y = v + 5 - 26, -53 = -v - 5*y. Let j be 28/v*45/50. Let z = j - 4/11. Which is smaller: z or -0.1?
-0.1
Let m be (0 - -1)/(5/30). Suppose -5*l + 1 = m. Let x be l/(-3)*15/(-20). Is 0 smaller than x?
False
Let x be (-34)/(-85) + 4/(-10). Is x at least -10/7?
True
Let a = 2073/395 - -12/79. Is 5 at most as big as a?
True
Let a(j) = j**3 + 6*j**2 - 6*j + 8. Let w be a(-7). Let v(i) = -4*i**2 - i + 1. Let r be v(w). Let x be (-1 - 0) + (-5)/r. Which is greater: -0.1 or x?
x
Let b(y) = y**3 + 11*y**2 + 9*y - 11. Let l be b(-10). Let z = l + 2. Let m = -65 + 66. Is z at most as big as m?
True
Let z = 2 - 5. Suppose 10 = -0*r + 5*r. Suppose l = -5*a - 14, 7*a - r*l 