)) + y. Which is smaller: u or -4?
u
Suppose -5 = 2*u - w, -7 = u + 4*w - 18. Let f = 6 + 26. Let r be 2/(-5) + f/30. Which is smaller: r or u?
u
Let f(l) = -l - 1. Let n be f(-3). Let x = 1 + n. Is 2 != x?
True
Let y be (6/2)/((-555)/(-52)). Let z = y - 3/37. Is -1 at most z?
True
Let z = 11 - 25/2. Suppose q - 3*s = -0*q - 9, 0 = -2*q - 5*s + 26. Suppose 2*t + q*t = -15. Which is smaller: z or t?
t
Let a = -2.27 - -2.2. Which is greater: 0 or a?
0
Let s(t) = -3*t**2 - 1. Let r be s(1). Suppose -5*k - 1 = -26. Suppose -7*x - 6 = -k*x. Which is greater: r or x?
x
Let w(m) = 3*m + 24. Let j be w(-8). Is -2 at most j?
True
Suppose -5*s - 20 = -5. Let o(g) = -g**3 + 4*g**2 - g - 3. Let k be o(3). Let r = k + s. Which is smaller: r or -2/9?
-2/9
Let m = -765 + 724.1. Let r = 37 + m. Let b = r + 4. Which is smaller: 2 or b?
b
Suppose 0 = r + 1, 4*f + 0 = 3*r + 7. Let v be f/(-5) + (-394)/30. Let m = 203/15 + v. Does 2/5 = m?
False
Let t(x) = x**2 - 4*x - 4. Let v be t(-3). Suppose 5*b - v = -7. Suppose l + b + 3 = 0. Which is bigger: -3 or l?
-3
Let g = -136.09 + 129. Let z = g - -7. Is z bigger than 2?
False
Let x = -0.02 - -1.02. Let a = -1.3 + 2.4. Let i = x - a. Do 1 and i have the same value?
False
Let y be ((-4)/(-12))/(7/(-6)). Suppose -2*a = -l + 4*l + 8, -2*l + 3*a = -12. Is y greater than or equal to l?
False
Let q = -7.1 + 6.9. Let p = 7 + -5. Suppose 0 = 4*c - 6 + p. Is c at least q?
True
Let h = 35 - 36. Which is bigger: h or -2?
h
Let b = 4 - 3. Is 0.3 > b?
False
Suppose 4*x - 2*h = 6, -x - 2*h - h = 9. Let n be x/(-1) - (4 - 3). Is n not equal to -3?
True
Let f be (((-20)/(-36))/5)/((-4)/(-8)). Is 1/6 at most as big as f?
True
Let d = -1/38 + -71/190. Let l be 1/(-2 + (-14)/(-6)). Suppose -l*o - 9 = 3*b, 2*b + 3*o + 10 = -0*o. Which is bigger: d or b?
b
Let b be 14 + -8 - 4/(-2). Is b < 8?
False
Let m be (2/35)/(180/(-225)). Which is greater: m or 0?
0
Let y = -3/535 - -39067/2140. Let r = -18 + y. Which is bigger: 5 or r?
5
Let z(y) = 2*y**2 + 3*y + 2. Let s be z(-2). Suppose c = s*c - 3*l - 15, 5*c = 4*l + 22. Suppose c*r = -3*r. Is r < -1/6?
False
Let m = 6 - 5. Let h = m - 0.9. Let i = 0.3 + -0.4. Which is greater: h or i?
h
Suppose 13*b = 17*b. Is 5/6 at least b?
True
Suppose 5*g - 2*v = 85, -2*g + 0*v = -4*v - 50. Let s = 14 - g. Which is bigger: 1 or s?
1
Let p = -3.3 - -3. Let z = -0.2 - p. Is z greater than or equal to -0.07?
True
Let b = -5 - -1. Let m = b - -5. Are m and 0 non-equal?
True
Let u be 6*(12/9)/4. Let l = u - 6. Let z(y) = -y**2 - 6*y - 6. Let x be z(l). Which is greater: x or 3?
3
Suppose 0 = -4*t - 12 - 0. Let d be t*(4/(-3))/1. Suppose 28 = d*m + 8. Which is bigger: 6 or m?
6
Let a be 0*(-4)/16 + 2. Suppose -15 = 5*t - 6*n + a*n, -3*t = 2*n + 9. Which is greater: t or 0?
0
Suppose 4*b - 3*w + 0*w = 6, 4*b + w = 14. Is b greater than or equal to -2/5?
True
Let f(x) = x**2 - 2*x. Let r be f(0). Is r less than or equal to -2/27?
False
Let x be ((-8)/(-2) - -1)/(-1). Let b(g) = -g - 4. Let y be b(x). Let q be 45/66 + y/(-2). Are q and 0 equal?
False
Let h be 2/(-10)*10/4. Let p be ((-4)/(-10))/((-3)/(-30)). Suppose p = -x - 3*l - 0, 2*l + 2 = 0. Are h and x unequal?
True
Let x(u) = 0*u**2 + 4*u + 2*u**2 + 2*u - 3*u**2 + 1. Let a be x(6). Which is smaller: a or 2?
a
Suppose 0 = q - 2 - 0, 2*a + 4*q = 0. Let t = 0 + -2. Is a <= t?
True
Suppose -3*d + 2 = -5*d. Suppose -s - 2 = -v, -3*v - 5*s = -4*v + 18. Is v at least as big as d?
False
Suppose -2*x + 3 = 29. Suppose 6*y + 42 = 3*y. Is x <= y?
False
Let y(u) = -u**3 - 12*u**2 + 18*u + 63. Let z be y(-13). Do z and 43 have the same value?
False
Let d = 27 + -2. Are d and 24 unequal?
True
Let r be 1/(-1)*(-3 - -23). Is -21 less than r?
True
Let f = -27 + 82/3. Let n(v) be the first derivative of -v**2/2 + v + 1. Let j be n(1). Is f smaller than j?
False
Let r be (-5)/(2 + 33/(-15)). Which is greater: 24 or r?
r
Let b be 4/6 + (-15)/9. Let i = 409447/5867295 - -4/16435. Let w = 3/119 + i. Which is smaller: b or w?
b
Let l be (-2)/3 - 2/(-3). Suppose l = 5*u - 3*u - 6. Are 11/6 and u unequal?
True
Suppose -7*d = -3*d + 132. Are d and -33 unequal?
False
Let a = 6.9192 - -0.0908. Let i = 7 - a. Is i >= -0.1?
True
Let h = -0.4 + 0.3. Let l be ((-119)/2)/(1/(-2)). Let d = l + -597/5. Is h equal to d?
False
Let o be 10/14 + 10/35. Let w be 0 - (-6)/189*1. Are o and w equal?
False
Suppose 0 = -s + 5*t - 10, 0 = -3*t + t + 4. Suppose 2*v + 2*a + 100 = s, -a + 2*a - 138 = 3*v. Let h = -283/6 - v. Is h > 1?
False
Let f = 21 + -20. Are f and -13 equal?
False
Let f be -1*1 + (-4 - -3). Suppose -3*g - z - 3 + 5 = 0, -4*g = 3*z - 1. Let w be (f/(-6))/(g/3). Are 0 and w non-equal?
True
Let s(b) = b. Let u be s(4). Let v(g) be the first derivative of -g**3/3 + 5*g**2/2 - 3*g - 2. Let j be v(u). Which is bigger: -3 or j?
j
Let d(z) = z**2 + 6*z. Let b be d(-8). Suppose -2*r + b = 4. Is r greater than or equal to 7?
False
Let d = 0.14 - 10.14. Is -2 at most d?
False
Let q = -1.2 + 1. Let o(d) = d**3 + d**2 + 2*d - 2. Let j be o(1). Is j less than or equal to q?
False
Let k(a) = -a - 2. Let z be k(-1). Suppose 2*v = 5*i - 8, i - 5*i - 2 = -v. Let j be 3 + z - (-22)/v. Which is smaller: j or 0?
0
Let j(v) = 2*v**3 - v**2 + v**3 - 4*v**3 + 6*v**3. Suppose -2*y + 3 = y. Let i be j(y). Which is smaller: 5 or i?
i
Suppose -3*a - 5*h = -20, -a + h = 5 - 1. Suppose -5*s + 10 = 0, a = 2*l - 3*s + 4*s - 4. Let q be l/(2 + 3/(-3)). Is q at least as big as -1/4?
True
Let s(b) = b**2 + 7*b - 8. Let g be s(-8). Which is bigger: 1/154 or g?
1/154
Let n = 27 - 7. Suppose j = 5*j - n. Suppose -3*t - t + g = -9, -5*t - j*g + 30 = 0. Is t < 0?
False
Let x = 67/423 + 3/47. Is x at least as big as 0?
True
Let a be -3*((-12)/(-10) + -1). Let m be (-2)/6 + 1 + (-240)/630. Which is smaller: a or m?
a
Suppose 3*l + 30 = 8*l. Suppose 5*v - 7 = -2*f, 0*v - v - 4*f + 5 = 0. Is l less than v?
False
Let i be 546/9 - (-2)/6. Suppose k = -x - i, 0*k = -3*x + 3*k - 177. Let t be x/8*(-1)/3. Is t less than or equal to 4?
True
Let v = 0.178 - 0.078. Let u = -2 + 2.1. Does u = v?
True
Let j = 3 - 6. Let p be (2/j)/(4/(-6)). Let o be (-2)/p + 44/16. Which is smaller: 1 or o?
o
Let h = 45 - 44. Suppose 2*i - 3 + 15 = 0. Let g be (-1)/h + (-4)/i. Is 1/3 at least as big as g?
True
Let c be 13/52*16/10. Let l = 2 - 1. Let p = 0 + l. Are p and c non-equal?
True
Let s = -0.16 - -0.08. Which is smaller: 2 or s?
s
Suppose -3*l - 2 = -8. Which is smaller: l or 0?
0
Let u = -3 - -8. Let c = 4.8 - u. Which is bigger: 0.2 or c?
0.2
Let a(g) = g**2 - 2*g - 9. Let d be a(4). Are d and -5/18 unequal?
True
Let t(s) = -2 + s**2 + 1 - 3 + s - 4*s. Let i be t(4). Is 1/5 less than i?
False
Suppose 2*g + 4 = -0*o + 2*o, -2*o = -5*g - 1. Let n be (-1 - -2 - 1) + 4. Is n greater than o?
True
Let a = -3.33 + 3. Let f = 0.03 + a. Let t = -0.5 - f. Does t = -1?
False
Let l = 13/66 + -4/11. Is 1 at least as big as l?
True
Let v be (-1)/31403*(-1)/(-5). Let b = 2480958/18998815 + v. Let j = -1/363 - b. Is j <= 1?
True
Let s = 0.4 + -0.47. Let g = -4.93 + s. Let a = g + 4.9. Which is greater: 0 or a?
0
Let i = 21 + -11. Let y be 2/(-5) + 4/i. Let a = 0 + -0.3. Is a > y?
False
Let z = 1.7 - -0.3. Let f be (((1 - -3) + -4)/(-3))/(-2). Is f greater than or equal to z?
False
Let k be -1 + 4*-1 + -2. Let s be ((-85)/(-12))/(-1) - 8/(-6). Do k and s have the same value?
False
Suppose 4*c - 2*c - 4 = 0. Suppose -5*y + 12 = -s, y - c*y = s. Let z(x) = x**3 - 5*x**2 + 2*x + 11. Let i be z(4). Which is greater: y or i?
i
Suppose 200 = 3*r - 9*a + 14*a, 5*a + 100 = 2*r. Is 60 > r?
False
Let h be 2 - (2 + (2 - 8/46)). Which is smaller: h or -2?
-2
Let w = 9 - 3. Let p(k) = k**2 - 6*k + 1. Let g be p(w). Let f be (2*-1)/(-2 - 0). Are g and f unequal?
False
Let g = -1283/7 + 183. Let r(v) = -v**2 - 2*v + 1. Let o be r(-3). Let l be -3*(0 - o/6). Which is greater: l or g?
g
Let i = -8 + 8.13. Let k = i - 0.03. Let x = -61/130 - 2/65. Which is smaller: x or k?
x
Let i = -101 - -103.15. Let l = i + -0.15. Is l at most 1?
False
Suppose 0 = -37*u + 38*u. Which is smaller: -2/5 or u?
-2/5
Let u = 5 - -5. Let a = u - -29. Let b = a + -119/3. Which is bigger: 1/4 or b?
1/4
Let i be (-4)/(-6)*-4*(-21)/14. Which is smaller: 3 or i?
3
Suppose -2*v = 1 - 9. Let s be (-4