ich is smaller: -4 or w?
w
Let i = 95 + -62. Let v = -33.3 + i. Let u = -8.8 + 9. Are u and v nonequal?
True
Let r = 6 - -9. Is r >= 15?
True
Let w be (-1)/9*(-19 + 13). Is w smaller than 8.2?
True
Suppose -3 = 3*n, -4*f - 4*n + 20 = -0*n. Let j be ((6 - 8)/(-4))/((-1)/(-2)). Suppose 0 = h + f + j. Do -6 and h have the same value?
False
Let g be ((-6)/(-4))/(6/(-16)). Let v = -4763/3 + 1587. Which is smaller: g or v?
g
Let f = -1.9 - 0.1. Let r = 0.406 + 0.014. Let b = -0.62 + r. Which is smaller: f or b?
f
Let q = -34 + 18. Let c = -630997/36580 - 2/9145. Is q less than c?
False
Let s = 4.718 - 4.82. Is s greater than or equal to -1?
True
Suppose -c - 2*c = -q - 94, c - 2*q - 33 = 0. Let d = 69 - c. Are d and 38 non-equal?
False
Let y = -28 + 18. Let c = y + 16. Let r = c - 5.9. Is r bigger than 0.02?
True
Suppose 6 = 8*i - 7*i. Suppose -i*l = -l - 25. Let y be 6 - -1 - (1 - 0). Which is smaller: l or y?
l
Suppose 0 = 5*u - 8 - 7. Suppose -d - g - 1 = 0, 10 = u*d - 5*d - 4*g. Which is bigger: -2/7 or d?
d
Let t(g) = -g**2 + 9*g + 53. Let a be 62/4 + -2 + (-6)/(-12). Let o be t(a). Let v = -15 + -2. Is o less than v?
False
Let d be 12/(3 + 0) + -2. Suppose 3*r - d = 7. Let j = 3.3 - 3.3. Do r and j have the same value?
False
Let l = -29.86 + 26.16. Are l and -1 non-equal?
True
Let d = 14 - 13. Suppose 0 = l + 5*h + 23, 2*l - 3*h + 1 = -4*h. Which is bigger: d or l?
l
Suppose 4 = -3*x + 13. Let b(w) = 3*w**3 + 5*w**2 - 2*w + 1. Let p(v) = 4*v**3 + 4*v**2 - 3*v + 2. Let j(z) = -3*b(z) + 2*p(z). Let n be j(-7). Is n > x?
False
Let u(s) = -s**3 - 7*s**2 - 7*s + 4. Let b be u(-6). Let g(w) = -w**3 + 9*w**2 + 12*w - 8. Let p be g(b). Let k be 6/8 - p/32. Is -1 bigger than k?
False
Suppose 10*h - 4 = 5*h - 2*t, 0 = -4*h + t + 11. Let g = -7467 + 7471. Is g at least h?
True
Let p be (-8)/(-6) + (-2)/3. Let i(r) = -r**3 + 11*r + 2. Let y be i(0). Are y and p unequal?
True
Let a be (-114)/(-126) - (-2)/(-6). Let s = -3.1 - -2.1. Let x = s + 1.1. Are a and x equal?
False
Suppose 3*m - 4*b = 7*m + 208, m = -3*b - 48. Is m greater than or equal to 0.2?
False
Suppose -o + 6*o = 25. Suppose 6*j - 2*j = o*j. Is 0 >= j?
True
Let y be (-2 - -72)*(-230)/92. Do y and -175 have the same value?
True
Suppose 34 + 0 = 2*n - 2*r, 3*r - 6 = 0. Are n and 20 equal?
False
Suppose m + 7 = -5*r, -4*r - 5 = 4*m + 7. Which is bigger: -1 or m?
-1
Let c = 7/19 + 271/38. Is c at least 8?
False
Let x = -129.738 - 0.262. Let y = 101 + x. Do 0.1 and y have different values?
True
Suppose 0 = -3*w - 3*w + 342. Let u = 47 - -9. Which is smaller: u or w?
u
Let q(u) be the first derivative of u**2 - 2*u + 2. Let r be q(3). Suppose -g + 4*p = 1, -5*p + 14 + 3 = r*g. Is g less than 3?
False
Let m be 6/3*(4 + -6). Suppose -2*f - 5*a - 17 = -1, -3*f - a = -2. Which is smaller: f or m?
m
Let v = -3 - -6. Suppose v*j - 38 = 5*w, w = -6*j + 3*j + 50. Let p = 15 - j. Is p smaller than 0?
True
Let g be -2*(-1)/(3/(-72)) + 0. Let n = -36 - g. Are n and 10 equal?
False
Let g be 24/9*(-126)/(-4) + 0. Is g greater than or equal to 85?
False
Let h(j) = j**3 - 5*j**2 - j - 5. Let t be h(5). Let d be ((-16)/(-20))/(2/(-5)*-1). Suppose 0 = 2*n - 3*y + 14, y + 1 = -d*n - 21. Is t at most as big as n?
True
Let d = -271/7 - -8422/217. Which is bigger: d or -1?
d
Let x be ((-2)/2*94)/(-9). Let o = 694/63 - x. Let a(n) = n**2 - 9*n - 35. Let h be a(12). Is h < o?
False
Let w = 0.004 - 34.904. Let g = w + 31. Let a = g + 2.9. Is -4 >= a?
False
Suppose 183 = 2*p + 183. Is 1/117 < p?
False
Let r = -11 + 13. Let s be 13/r + (-9)/18. Suppose 0 = -s*l + l + 10. Which is bigger: l or 6/11?
l
Let g be (3 - -1)*(-2)/22. Suppose 0 = 3*k - k - 4. Suppose -5*m - 10 = 5*x, k*m = -2*m + 4*x + 8. Is m less than or equal to g?
False
Let v be (-2 + 2)/(-66 + 64). Are v and -3/685 unequal?
True
Let s = -0.014 - -0.594. Let h = s - 0.56. Which is greater: h or 2?
2
Let r = 17 - 15. Suppose 3*h = 4*n - r*n, -5*n = 5*h. Suppose -v - 4*j = 4*v + 2, -2*j + 4 = n. Is v less than or equal to -1?
True
Suppose -2*b + b = 76. Is -78 greater than or equal to b?
False
Let i(n) = n**2 + 8*n - 8. Let b(c) = 2*c**3 - 3*c + 1. Let r be b(2). Let w = 2 - r. Let m be i(w). Which is greater: 1/10 or m?
m
Let q = 2651/3 + -876. Let i = 49/6 - q. Is i equal to 2?
False
Let i = 44.9 + -45. Suppose -6 = 4*j + 5*c + 55, -3*j = 5*c + 47. Are j and i unequal?
True
Let k(r) = r**3 - 8*r**2 + 6*r + 4. Let t be k(6). Let o = -220 - -1102/5. Do o and t have different values?
True
Let h = -165 + 163.87. Let q = 1.13 + h. Is -105 bigger than q?
False
Suppose 161*m - 173*m + 20868 = 0. Which is bigger: m or 1740?
1740
Let l be 1/(-3) - (-368)/24. Let p(t) = t**2 + 5*t - 9. Let r be p(-7). Let h = r - -11. Which is smaller: l or h?
l
Let x(m) = -15 - 11*m - 2*m + 2*m - m**2 - 5*m. Let s be x(-15). Do 3/28 and s have different values?
True
Let d be (-148)/7 + 52/13. Are -16 and d non-equal?
True
Suppose -5*n = 12 + 8. Let w be (-4)/10*(-2)/n. Is 2/45 less than w?
False
Let z(x) = x**2 - 9*x - 10. Let c be z(10). Suppose -o - 2 + 3 = c. Let j be o/6 - (-15)/18. Is 3 greater than j?
True
Suppose 339*g - 18 = 321*g. Let c = -2/53 - 137/583. Which is bigger: c or g?
g
Let j(w) = 3*w**3 + 2*w**2 + 4. Let y(c) = -4*c**3 - 2*c**2 + c - 4. Let a(g) = -3*j(g) - 2*y(g). Let b be a(-3). Is 10 at most b?
True
Let g = -0.05 - -2.05. Let r = 31614 - 31676. Is g at least as big as r?
True
Let l be (-210)/36*(-16)/(-14). Let u = 66 - 74. Which is bigger: u or l?
l
Let u be 4*2/(-4) - 1. Let d = u + 25. Suppose -89 = -5*q + 21. Is d greater than or equal to q?
True
Suppose 3 + 6 = 3*t. Suppose 5*p - 2*n - 3*n = 1540, -5*n = 3*p - 948. Let w = p + -923/3. Which is smaller: t or w?
t
Let d = 18 + -16. Suppose -d*f + 2 = -20. Which is bigger: f or 12?
12
Let s(k) = -k + 11. Let y be s(11). Let p be (-144)/75 + 0 + 2. Which is greater: p or y?
p
Let p = 27660830084/583 + -47445710. Let h be 7509/(-231) - 5/(-70)*2. Let u = h - p. Which is bigger: u or 0?
0
Let o be 606/(-8) + 10/(-40). Let t be (2/6 - -1) + o/(-38). Is 3 at most as big as t?
True
Let w = -13 + 31. Let i = w + -17. Is -4/7 greater than or equal to i?
False
Let i(n) = -58*n - 11. Let b(k) = 39*k + 7. Let t(g) = 8*b(g) + 5*i(g). Let o be t(-1). Let j be ((-3)/9)/((-1)/o). Which is greater: -4 or j?
-4
Let r = 20 + -20.5. Let l = r + -15.5. Let g = 16.1 + l. Are g and -2/3 nonequal?
True
Let f be (-172)/8*(-8)/4. Suppose 5*r - f = -43. Which is smaller: -1/55 or r?
-1/55
Let o = -8 - -13. Suppose 4*r = -4, -k = -0*k + o*r - 2. Let p(g) = -g + 5. Let w be p(-4). Are w and k unequal?
True
Let d(f) = -272*f + 6. Let z be d(1). Are -264 and z unequal?
True
Suppose l - 1 = 0, k - 25 = -4*k - 5*l. Suppose 17 = k*h - 3. Suppose -3*s + 11 + 9 = -5*w, h*w - 5*s + 30 = 0. Which is greater: -3 or w?
w
Let b = -0.4 + 0.1. Let o = 31 + -23. Let x be (-46)/(-40) + (-6)/o. Is b at most x?
True
Suppose -220*y + 230*y + 80 = 0. Which is smaller: 0 or y?
y
Let h = -105 - -104. Which is smaller: h or -10/11?
h
Let u = -0.063 - 37.937. Let f = -57 - u. Are f and 0.1 nonequal?
True
Let w = 0 + 2. Let p be (272/120)/(20/25). Is w smaller than p?
True
Let w = 7.05 + -0.05. Let p = -7.3 + w. Let y be 7/(-42)*40/(-15). Which is bigger: p or y?
y
Let v = 461/4048 + -13/253. Let i be 0/(-2) + 2 + -2. Which is greater: i or v?
v
Let c be (13 - 15)/((-2)/6*2). Let y be (0 - c) + (14 - 5)/3. Is y greater than -2/317?
True
Let h(p) = 5*p - 7. Let z be h(-2). Do -34 and z have the same value?
False
Suppose 0 = 5*t - 4*t + 3. Let g = -1.9476 + 0.4476. Is g greater than t?
True
Let z(d) = d**2 - 7*d - 11. Let h be z(9). Suppose 10*q - 14 = 7*q - 2*w, -q = 2*w - 2. Is h greater than q?
True
Let h be 1 - (-3)/(3/16). Let u = h + -27. Is -10 < u?
False
Let r = -53885 - -1077191/20. Let o = r + 97/4. Let q be -2 - ((-392)/182 - (-2)/13). Which is bigger: o or q?
q
Suppose -517 = -9*x + 23. Which is smaller: 62 or x?
x
Let z(h) = h + 3. Let y be z(5). Let a be (-48)/(-168) - (-388)/14. Let s be (-8)/(-70) + y/a. Is s equal to 1?
False
Suppose 11*q = 15*q - 4*b - 88, -3*q + 5*b = -76. Which is greater: q or 5?
q
Suppose -561 - 789 = -6*h. Let s be ((-3)/36)/((h/40)/9). Let f be 1/(10/8)*5. Which is smaller: f or s?
s
Let i(h) = -21*h + 8. Let c be i(-2