uppose f = -6*g + g. Which is greater: g or 0?
0
Let w(k) = k**3 + 3*k**2 - 4*k + 3. Let n be w(-4). Let t be 0/(0 - n/1). Which is smaller: t or -1/6?
-1/6
Let b = 1519/5 - 305. Let v = b - -67/60. Is v < 1?
True
Let k = 384 - 1519/4. Suppose t + 10 = 3*s, 0 = 3*t - 2*s - 5. Is k < t?
True
Suppose 48 = -2*v + 6*v. Suppose 3*j + 2*j - 4*w + v = 0, 5*j = -w - 22. Let x be (j/(-22) - 0)/1. Is x greater than 1?
False
Let q be (-11 + 7)*(-1)/2. Suppose -q*l + 61 = -7. Suppose 3*w - 2*w = 5*s + 39, 0 = -2*s + 5*w - l. Is s greater than -6?
False
Suppose 1 = 5*s - 2*v - 5, 3*s = -4*v + 14. Suppose 4*b - 2*b - 6 = 0. Suppose -2 = -2*y - 5*h - 9, -b*h - 1 = -s*y. Which is bigger: 1/5 or y?
1/5
Let h be 4/(-1) + (-24)/(-8). Let u be (-2)/(-2)*(-1 + -1). Which is greater: u or h?
h
Let o(l) = -6*l + 22. Let g be o(4). Is g at least 13?
False
Suppose 0 = o + 4, 3*n + 32 = 2*o - 7*o. Which is smaller: n or -3?
n
Let l = -15 + 23. Suppose -t + l = t. Suppose -16 = -t*o - 4*v + 16, 28 = 5*o - v. Which is greater: o or 7?
7
Let f = 3.31 - 0.21. Let v = -3 + f. Let b be (-2)/3 + 1 + 0. Is v > b?
False
Suppose 6*b + 10 = 4*z + b, -b - 2 = 4*z. Let c be (-1997)/30 + 1/6. Let w = -66 - c. Which is bigger: z or w?
w
Let h(x) = 11*x**2 + x - 1. Let k be h(1). Let s = 16 - k. Let j(t) = t - 3. Let u be j(s). Is 2 less than u?
False
Let m(z) = -7*z + 9. Let p be m(4). Let k = -26 - p. Which is smaller: -9 or k?
-9
Let p = 0.21 + -22.21. Let q = 22.1 + p. Which is smaller: q or 1?
q
Let m(w) = w**3 - w**2 - w - 3. Let i be m(2). Is i smaller than -1/28?
True
Let g(o) = o**2 + 6*o + 8. Let f be g(-2). Is f at most 2/59?
True
Suppose -2*p + 8 - 3 = c, -5*p + 29 = -3*c. Let i be -2*p*6/16. Let n be (-1)/(-4) + 18/(-8). Which is bigger: n or i?
n
Let r be 24/(-14)*2/6. Let a = -20 + 18.6. Let n = -0.4 - a. Which is smaller: n or r?
r
Suppose 5*l - 3*c = 62, 4*l - c + 3 = 47. Let p be 4/l + (-12)/30. Suppose -4*v - 16 = -p*v. Which is bigger: v or -2?
-2
Let v(s) = s**2 + 6*s - 5. Suppose -3*h = r + 3, r - 3 + 1 = 2*h. Let k be 1 - (h - 0) - 8. Let a be v(k). Is -4 bigger than a?
True
Let o(y) = -y**3 - 10*y**2 - 8*y + 11. Let a be o(-9). Let f be 70/120 + a/(-8). Is f greater than -4?
True
Let g = -8.8 - -10. Let h = 0.8 + g. Which is smaller: h or -2/5?
-2/5
Let i be (-14)/((6/(-5))/(-3)). Let o = i + 24. Let j = 7 + o. Which is smaller: -6 or j?
-6
Let i = -6 - -6. Is 17/4 less than or equal to i?
False
Let t be 9/(-78)*4/1. Let y = 25/26 + t. Which is smaller: 0 or y?
0
Let i be (2/(-2) + 0)/(-1). Let g = 45 + -227/5. Is g < i?
True
Let d be (-6)/21 + (-6)/(-21). Suppose 0 = x - d*x. Does x = 1/5?
False
Suppose 0*l + 3*l + p = -17, 0 = 4*l + 2*p + 22. Let w = 8 + l. Let o = w - 2. Is -2/3 at least as big as o?
False
Suppose 7*v + v - 288 = 0. Which is smaller: -1 or v?
-1
Let o = 0.54 + 0.06. Let m = 0.4 + o. Let d = 1 - 0. Is m < d?
False
Let n be 1*2 - (2 + 12/(-8)). Is n less than 1?
False
Suppose -s - 4*s = -15. Suppose 3*i = 3 + s. Suppose i*y - 4 = -2*y. Which is bigger: y or -3/11?
y
Suppose c + 8 = 2*a, -a + c = -3*a + 4. Is a bigger than 2?
True
Let d be -2 - -3 - (1 - 2). Let x = 20 + -17. Is d >= x?
False
Let d(q) = 3*q + 10. Let p be d(-3). Let c be 4/(-3) + (1 - 0). Is p at most as big as c?
False
Let s be 2*(1 + -14) - (15 - 14). Is -27 bigger than s?
False
Let a be 91/5 + 1/(-5). Suppose -68 = 5*o - a. Let m be 3 - (78/o)/(-3). Which is bigger: 0 or m?
m
Let x be 1*(0 + -1 - -6). Let q = -3 + x. Let v be q/4 - 7/(-2). Is v at least 5/2?
True
Let k(q) = -5*q. Let l be k(-1). Suppose -3*w = -4*i + 1 + 11, -l*w = -i + 20. Which is smaller: 1/8 or i?
i
Let r be 0*4/16 - -2*10. Is r bigger than 21?
False
Let j be -4 + -3 + 3 + 17/4. Let w be 4 + 0 + (2 - 1). Suppose 10 = w*h - 10*h. Does h = j?
False
Suppose 2*h = 5*a + 166, -4*h = -a - 0*a - 44. Are a and -32 nonequal?
False
Let u = -7/22 + 16/33. Let k = u + 1/12. Let b = 0 + 0. Which is greater: k or b?
k
Let t = -13 + 15. Let w be 2/3 - (-7)/3. Do t and w have the same value?
False
Let y = 171 - 1537/9. Suppose 5*s - 2*w - 3 = -15, 0 = -3*s - 5*w - 32. Which is greater: y or s?
y
Suppose 17*s = 12*s + 35. Is 6 not equal to s?
True
Let x = 7 - 6. Let p be (x/(-46))/((-3)/(-12)). Which is greater: 1 or p?
1
Let s = 491/357 - 25/17. Suppose 3*y = -1 + 4. Which is greater: y or s?
y
Let t = -13 + -10. Are t and -23 equal?
True
Let i be 13/4 - 7/28. Suppose 3*c + 2*n = -i*n + 31, 5*n = 2*c + 21. Suppose -c*f - 5 = 3*f. Is -2 < f?
True
Suppose -2*h = 4*h + 36. Is h less than -34/5?
False
Let g = 8 + -6. Suppose g*z - 12 + 4 = 0. Suppose z - 12 = -4*r. Do r and 2 have the same value?
True
Let y = 73/28 + 9/14. Is 3 > y?
False
Let l be (-12)/(-9) - ((-32)/12 - -3). Let x = -6390/13 - -492. Which is smaller: x or l?
x
Let g(a) = a - 6. Let j be g(4). Is -3/4 at most j?
False
Let o(a) be the first derivative of -a**4/4 + 2*a**3 - 3*a**2 + 5*a + 1. Let f be o(5). Is f greater than or equal to 0?
True
Let n be (-8 - -6)/(4/(-14)). Let z be (0 + -1)/(n/(-4)). Does z = 1?
False
Let t be (-1)/(3 + (-4)/2). Let m be 1 + t*1/2. Is m bigger than -6?
True
Let z be 10/255*6/16. Is 1 at most z?
False
Let g(u) = 18*u + 13. Let a be g(3). Is 0 greater than a?
False
Suppose -8 = i + 3*i. Let w be (i + 2/4)*2. Let j be 5*(-1)/2*(-164)/(-205). Is w bigger than j?
False
Let x be (-3)/9*(0 - -2). Which is bigger: x or -1?
x
Let g(j) = -6*j - 3. Let l be g(-2). Let d be (-11)/12 - (-6)/l. Let t = -3 + 2. Which is smaller: d or t?
t
Let k = -743/135 + 1/270. Which is greater: k or -6?
k
Let j be (2/6)/((-4)/(-24)). Suppose 3*k - j*k + 4 = 0. Suppose 4*a = -2*v - 12, 2*a + 4*v = -a - 4. Is a at most k?
True
Let o = 1/41 - -239/287. Let n = -5 + 3. Let f = n - -2. Do f and o have the same value?
False
Let r be -1 - 2/(4/(-6)). Let b(t) = -t**2 - 8*t + 2. Let k be b(-6). Let w be k/(-10) - (-1 + -1). Which is smaller: w or r?
w
Let q(j) = j**3 + 8*j**2 - 3*j + 3. Let r be q(-7). Let u be 9/(-42)*6124/18. Let b = r + u. Which is bigger: b or 1?
1
Let l = -25.4 - -25. Which is bigger: l or 0.5?
0.5
Let a = 4/509 - -12172/5599. Which is smaller: a or 2?
2
Let q = -2.1 + 3.9. Let z = 0.2 + q. Is -2/3 > z?
False
Let t(u) = -u**3 + 11*u**2 - 4*u + 9. Let a be t(11). Let y be (-28)/a - (-8)/(-10). Is y not equal to 0?
False
Let m = 6.02 + -0.02. Let d = m + -6.01. Let t = 1.99 - d. Is 1 less than or equal to t?
True
Let v = 1/35 - -29/210. Is -1 equal to v?
False
Let a = -0.32 + 0.13. Let l = -3.81 + a. Are 0.1 and l equal?
False
Suppose 4*r + 18 = -5*j, -j - r + 0*r = 4. Is -3 at least as big as j?
False
Suppose 0*q = -4*q + 24. Let f = 68/11 - q. Let x(b) = b**2 - 3*b. Let h be x(3). Do f and h have the same value?
False
Let y be 4/(-12)*(0 - 12). Suppose -y*f + v = 6, 0 = -2*f + 2*v - 4 - 2. Let l = -43/102 - -3/34. Which is greater: l or f?
l
Let y = -26 - -48. Which is smaller: y or 0.3?
0.3
Let d be ((-54)/(-72))/((-18)/28). Which is greater: d or -2?
d
Suppose -23 - 32 = -5*i. Suppose -m - i = 2*z, 45 = -7*m + 2*m - 5*z. Is m greater than -8?
True
Let k(u) = u**3 + 13*u**2 + 21*u - 15. Let t be k(-11). Which is greater: 4 or t?
4
Let k be (-3 - -1)*(-1)/2. Let b be -2 + 2 - (-2)/(-27). Which is smaller: b or k?
b
Suppose 3*z - a = 44, z + 2*a = -4*z + 77. Is z > 16?
False
Let g = -19/71 + 1357/3479. Let w = -453/98 + g. Let t = w + 4. Which is smaller: -1 or t?
-1
Let z(a) = -a**2 - 8*a - 3. Let w be z(-7). Suppose 1 + 3 = -w*k. Is k at least 3/7?
False
Let x = -7 - -6.94. Is 0 at least as big as x?
True
Let k(j) = -j**2 - 3*j. Suppose -4*c - 36 = 4*m, 0 = -0*c - 3*c + 3*m + 3. Let g be k(c). Let u = 5 - 8. Which is bigger: u or g?
u
Suppose 7*r + 1 - 29 = 0. Which is greater: -0.2 or r?
r
Suppose 2*l - 6 = -0. Let a be 2*(9/l)/(-3). Let p = -3 - a. Is 0 bigger than p?
True
Let y = 239/610 + 1/122. Which is smaller: 9 or y?
y
Let t = -0.5 + 0.4. Let l = 0.37 - -0.03. Which is smaller: t or l?
t
Let t = 0 + 1. Let v be ((-1)/10)/((-2)/2428). Let h = v - 121. Is t >= h?
True
Suppose -2*u - 2*q - 1 = 9, 0 = -5*q - 25. Let y be 24/3 - (1 - -1). Suppose -m - 1 = -t + 4, -2*m - y = 2*t. Which is bigger: t or u?
t
Let p = 2/119 - 127/476. Is p <= -5?
False
Let l = -6.85 - 0.15. Let p = l - -6. Is -0.2 < p?
False
Let r be 1 - (3 - 0/(-2)).