2/(-4)). Which is smaller: u or m?
u
Let d = 12 - 9. Suppose 33 = -5*s + 8, -s = -d*j - 1. Are 0 and j equal?
False
Suppose 3 = g - 3. Is 6 at least g?
True
Let v = 3/25 + 12/25. Let p = 0.22 - -0.08. Let z = p - 0.3. Which is smaller: v or z?
z
Suppose 3*y - 14 = -4*y. Let a = -1 - 1. Is a equal to y?
False
Let y = -0.26 - -0.35. Let v = -3 - -11/4. Is v at most as big as y?
True
Suppose 0 = -0*g - 2*g + 6. Which is smaller: g or -2?
-2
Let z be (-3)/54*39/(-5). Let h = 899/10 - 90. Let v = z + h. Is 0 less than v?
True
Let a be 21/2*(10 + -8). Suppose a = 2*t - 5*b, 2*t - 3*t + 9 = -2*b. Which is bigger: t or 1?
t
Let p(i) = 2*i + 9. Let r be p(-6). Suppose 0 = j - c + 5, 0*j + 2*j + c = 2. Let a be r*2/(-21)*j. Is a bigger than -1?
True
Suppose -l + 2 = -2*l. Let q be (4/(-14))/(3/7). Do l and q have the same value?
False
Suppose 0 = y - 5*y + 8. Let f = -1 + y. Let x(c) = -c**2 - 2*c. Let z be x(-1). Is z at least as big as f?
True
Let m be (-2)/(-4)*(1 + -15). Let u = -17 + 9. Which is greater: m or u?
m
Suppose -q + 5*a - 4 = 0, -3*q + 2*a - 5*a + 42 = 0. Which is greater: q or 12?
12
Suppose -5*n + 4*k = 8, 8 + 2 = 2*n + 5*k. Let c(f) = -f**2 + 3*f + 5. Suppose -8 = -j - j. Let m be c(j). Which is greater: n or m?
m
Suppose 1 = -4*m - 11. Let v(a) = a**2 - a + 8*a + 4 - 3*a. Let u be v(m). Are 1 and u unequal?
False
Let o = 0.13 - 0.83. Let n = o - -0.8. Is n bigger than 6?
False
Let f(y) = -71*y**2 + 1. Let w be f(-1). Let g be 3/(-2 - w/(-4)). Let h(m) = m**3 + 8*m**2 + 7*m - 1. Let d be h(-7). Which is smaller: g or d?
d
Let f = -161 + 268. Is f at most as big as 1?
False
Suppose 2*d + 5 + 1 = 0. Let x be ((-10)/(-5))/(40/d). Let l = x - -19/60. Is l bigger than 1?
False
Suppose 5*l - 38 = 4*d, -8 - 12 = -4*l - 2*d. Let i(s) = -s**2 + 5*s + 6. Let j be i(l). Let w = 47 + -48. Are j and w non-equal?
True
Let m(d) = -d**3 + 9*d**2 + 9*d + 12. Let s be m(10). Suppose 3*v + 2 = v. Is s <= v?
False
Let l = -1 + 2. Let w = 1 - -1. Which is bigger: l or w?
w
Let h = -12 + 10. Which is smaller: h or -6/5?
h
Suppose 3*y + 2*g - 11 = g, 3*g = 2*y. Suppose u - 8 = -3*b, 3*u - y*b - 12 = -0*u. Which is greater: u or 3?
u
Suppose -14*a = -18*a - 20. Is -1 != a?
True
Suppose 0 = -2*s - 0*s - 6. Let w(r) = r**2 + 5*r + 6. Let m be w(s). Which is bigger: 3/7 or m?
3/7
Let t(z) = -z**3 - 8*z**2 + 9*z - 1. Let h be t(-9). Which is smaller: 2/55 or h?
h
Let o = -10/17 + -4/51. Which is bigger: o or -0.7?
o
Let g be ((-8)/(-3))/(7/168). Let n = g + -319/5. Let j(k) = k + 5. Let x be j(-5). Which is bigger: x or n?
n
Let q be (-1)/(-4) - 14/(-8). Let d be (-1*q/(-1))/6. Suppose 4*i = 5*c + 12, 2*i - 1 = 4*c + 5. Which is greater: c or d?
d
Suppose -2*a + a = 0. Let x = 2/301 + -656/8127. Is a smaller than x?
False
Let a(o) = -o - 1. Suppose -2*y - 3 - 1 = 0. Let k be a(y). Suppose 1 = -x, x + 2 - 1 = -5*b. Are k and b unequal?
True
Let u be ((-26)/(-39))/(10/(-3)). Which is bigger: -3 or u?
u
Let w be 6/(-2) + (7 - 7). Suppose -4*b + 16 = 2*f, -2*f + 2*b = -6*f + 2. Which is smaller: w or f?
w
Suppose 2*x = -o + 2, 4*x + 2*o + o = 4. Is x at most as big as 3/11?
False
Let w be -8*(-1)/(-2)*-2. Let k be (-52)/w - -1*2. Is k greater than -5?
True
Suppose 0 = 2*j - 3 - 1. Suppose 6 = -2*a - 18. Let f = a + 15. Which is bigger: j or f?
f
Let y be (25 - -1)*(-10)/8. Let i = -33 - y. Let c = -140 - -139. Is c != i?
True
Let d = -4 - -9. Suppose 3*h + 9 = 4*r, 2*h + d*r + 4 = 21. Suppose 6*c - h = 5*c. Are 2 and c unequal?
True
Let b = 5 + -5. Suppose -24 = -5*a + 2*a + 3*d, 0 = 5*d + 20. Let k be (-1 - -6)*a/10. Is b greater than or equal to k?
False
Let s = -4.1 + 4. Does s = -0.42?
False
Suppose 0 = -k + 9 - 1. Which is smaller: 9 or k?
k
Let o = 6 + -4. Suppose 8 = 5*f - 22. Suppose f*a = -6 - 0. Is o not equal to a?
True
Let a = 0.6 - 2.33. Which is smaller: a or -0.1?
a
Suppose -39 = 4*p - p. Which is smaller: -12 or p?
p
Suppose -3 = 2*h - 3*o - 17, 3*o - 6 = 0. Suppose -y - 4*y + h = 0. Let b be 4 - (1 - (1 - 1)). Which is smaller: b or y?
y
Suppose -6*x + 9 = -63. Which is bigger: 10 or x?
x
Let d = 402110/7 + -57586. Let k = -142 - d. Which is smaller: 5 or k?
k
Suppose -3*n = 2*k + 4, 2*k + 1 = 9. Let j = -5 - -9. Let s = n + j. Is 2/7 less than s?
False
Let w be 1/2*-6 - -15. Suppose 0 = -3*l - 4*c + 2, 4 - w = 2*c. Let k be 4/(-3*l/9). Is k > -1/3?
False
Let i be (-4)/(-10)*137/(-14). Let u = 21/5 + i. Is 2/7 greater than or equal to u?
True
Let v = -1.99 - -0.29. Let w = v + 1.9. Which is smaller: 7 or w?
w
Let o = -1/22 - 81/154. Let f = 5/21 + o. Let q be 1/2*(-2)/6. Are q and f equal?
False
Let w = -7 - -11. Let v = -3 - -3. Suppose -3*f + v*h = h + 5, 0 = -2*f + h. Which is bigger: f or w?
w
Let v(r) = -r + 3. Let l be v(5). Is l greater than or equal to -5?
True
Let h = -2.074 + -0.026. Let y = -2 - h. Let k = 44.1 - 44. Is y < k?
False
Let s be 5*-1*(-2)/(-35). Which is greater: s or 1?
1
Let v = -124 - -124. Let i be (4/(-42))/((-1)/3). Is i bigger than v?
True
Let z = -57 + 96. Is 37 greater than or equal to z?
False
Suppose o - 5 = -2*r, r + o = 4*o - 1. Let h(f) = 2 - 1 + 1 - 2*f - 2*f**r. Let t be h(-2). Are t and 1/2 nonequal?
True
Suppose -4*f = -31 - 9. Let b be f/4 - (-6)/(-12). Is 0.2 at least as big as b?
False
Let m be 8/(-2) - 14586/(-3760). Let c = m + -1/235. Does -1 = c?
False
Suppose -2*w = 2*s + 6, 0*s + s + 13 = 4*w. Suppose -h + 0 = w. Let n = h - 0. Are n and -2 non-equal?
False
Let u = -13859/29 + 478. Let t be 289/290 - 4/(-10). Let l = t + u. Are 2 and l equal?
False
Let w be (3/12*-2)/(-2). Is -8 equal to w?
False
Suppose 0 = -2*v + v. Let q(c) = c**3 - c**2 + 12. Let g be q(0). Suppose v = -x - 3*x + g. Which is smaller: 2 or x?
2
Let k = -373/12 + 31. Is 1 > k?
True
Let j = -2 + 3. Let h be (1 - 1)*j*-1. Suppose h*n = -5*n + 5. Are 0 and n nonequal?
True
Let o be (-8)/20 - 702/(-5). Let y be (-4)/(-18) + o/18. Let p be ((-2)/6)/(y/6). Which is smaller: p or 0?
p
Let d = 3/1267 - -353487/2534. Let h = 137 - d. Is h <= -2?
True
Let u be 1 + (-3)/((-9)/(-2)). Let v = -0.3 - -0.3. Let w = -0.2 + v. Which is greater: u or w?
u
Suppose 4*x + 15 = -5*f, -x = -2*f - 0*x - 19. Let w(l) = l**3 + 8*l**2 + 7*l + 5. Let s be w(f). Suppose -6 = 2*r + 4*y, r + 2 + s = -4*y. Does r = -2/7?
False
Let t = -34772/7 - -4854. Let h = 114 + t. Which is bigger: h or 2?
2
Suppose -6*h - 15 = -21. Which is greater: h or 3/28?
h
Let h(l) = 5*l**2 - 4*l**2 - 5 - 3*l + 0. Let y be h(4). Are y and -2 unequal?
True
Let f be 3/(-16)*22/33. Let u(m) = -m**3 - m**2 + 4*m + 3. Let j be u(-2). Is f equal to j?
False
Let m(v) = v**2 - 8*v - 5. Let x be m(9). Let t be (48/11)/x - 2. Are t and 0 non-equal?
True
Let l = 21 + -13. Let x(s) = s**2 - 10*s - 31. Let t be x(12). Let f = l + t. Do f and -3/8 have the same value?
False
Let h = 26 + -36. Is h < -44/5?
True
Let u(f) = f**3 - 5*f**2 + f - 5. Let w be u(5). Suppose 0 = -w*r + r + 18. Let j be 2*-1*(-3)/r. Which is bigger: -1 or j?
j
Let b = -55 + 28. Let n be 2/(-5) + b/(-30). Let r = 1.2 + -0.2. Which is smaller: n or r?
n
Suppose -i = -g - 3*i, 0 = -4*g + 4*i. Is g at most as big as 5/14?
True
Let f be (-1 - 30/(-36))*-17. Are f and 3 equal?
False
Suppose -5*u + 15 = -0*u. Suppose -5*f + u*m - 3 - 1 = 0, 2*f = -4*m - 12. Is -1 smaller than f?
False
Suppose -8*a = -13*a - 45. Are -9 and a nonequal?
False
Suppose 17 = 3*l - 4*g, l = 3*g + 6 + 3. Suppose -l = 6*j - j + 2*m, -19 = -3*j + 4*m. Suppose n + 4*o = 18, -5*n + 8*n = 3*o - 6. Is j smaller than n?
True
Suppose 0 = -4*k + 20 + 40. Suppose k = 4*x - 25. Is x > 9?
True
Suppose -5*b + 4 = -6. Let p be b/7 + 36/(-28). Which is smaller: -1/5 or p?
p
Let i(f) = -f**2 + 1. Let u(c) be the third derivative of c**6/120 + 7*c**5/60 + 7*c**4/24 + 7*c**3/6 + 2*c**2. Let o be u(-6). Let k be i(o). Is k < -1/3?
False
Let i = -32 - -33. Let y = -0.2 + 0.3. Which is greater: i or y?
i
Let f = 2/139207 - 71691627/1531277. Let n = f + 47. Let h = -71 + 70. Which is greater: h or n?
n
Let m = 11 + -21/2. Let d be ((-1)/5)/((-21)/15). Is d > m?
False
Let t = -4 + 6. Let k = -1 + t. Which is greater: -1 or k?
k
Suppose v - 8 + 2 = 2*s, -2*v + 17 = -5*s. Is v < -3?
True
Let i(r) = -r + 2. Let y be i(1). Which is greater: y or -2?
y
Suppose 55 = 3*g - 107. Do