i(-2). Which is smaller: q or d?
d
Suppose -2*v - 2*j = -230, 0 = -7*v + 3*v - 3*j + 464. Suppose -4*m + 2*i + v + 25 = 0, i = 4. Let p = 47186 + -141442/3. Does p = m?
False
Let w = -2065 + 2577.7. Which is smaller: 0 or w?
0
Let u(r) = 15*r**3 - 2*r**2 + 3*r - 2. Let b be u(1). Let w be 50/(-35) + (1 - 8/b). Is 2/83 less than or equal to w?
False
Suppose -f = 4, 238 = 4*y + 2*f - 1002. Let w = y + -209. Which is greater: 101 or w?
w
Let n = 183 - 190. Let u(c) = c**3 + 8*c**2 + 9*c + 34. Let m be u(n). Let k = -1/813 - -33335/1626. Is k less than or equal to m?
False
Suppose 10*h + 4 = 5*h + 3*b, h + b - 4 = 0. Suppose 10*v = v - 324. Let q = -37 - v. Are h and q nonequal?
True
Let n = -3380359/409 + 8265. Is n at most as big as 0?
False
Suppose -88 = 3*b - 97. Suppose -x = 4*c - 22, -32*x + 34*x = b*c + 11. Let r be 69/(13/2 + 1). Is x at least r?
True
Suppose 4*l = -0*l + 3*z - 11, -4*z + 8 = -2*l. Let x = -627741/446 - -2815/2. Let a = x - -428/2007. Is a > l?
True
Suppose -55*z = -47*z - 32. Is z equal to -0.063?
False
Let w = -59789770/11 + 5442957. Let s = -7515 + w. Let t = s + -3393/407. Which is smaller: t or -1?
-1
Let n = -7161 - -6893. Is n bigger than -258?
False
Let m = -2 - -22. Suppose 985*r - 6679 = 6959 + 10987. Which is smaller: r or m?
m
Let g(c) = -2*c**3 - 26*c**2 - 21*c + 19. Let v be g(-10). Let t = v + 371. Let s be 3/((-177)/(-2)) - 0. Which is greater: t or s?
s
Let a(x) = x**3 + 3*x**2 - 106*x + 727. Let b be a(10). Do b and -0.4 have different values?
True
Suppose -3*c - 4*x = -5*x, 4*c - x = 0. Let i be 206/136 - (30 + -26 - (-10)/(-4)). Which is smaller: i or c?
c
Suppose 37*d - 41*d - 3*t = -11152, -d + 2810 = -2*t. Are 2794 and d equal?
True
Let o = -718 + 718.0596. Let k = 0.9404 + o. Which is bigger: k or 298?
298
Let y(w) = -w**3 + 6*w**2 - 7*w + 1. Let o be y(5). Suppose 20*d + 8*d = 784. Suppose 4 = -4*j, 3*p - 5*j + 0*j = -d. Is p < o?
True
Suppose 3415 = 11*x + 12138. Do x and -794 have the same value?
False
Let b = 2892775 + -1692273776/585. Let z = b + 17/45. Which is bigger: z or 1?
1
Let w(u) = -6*u - 22. Let s be w(-4). Suppose 0 = -2*f - 4*i - 12 - 2, s*f - 3*i = 7. Are 9 and f equal?
False
Let q be (47700/(-51))/6 + 28/(-238). Is -156 at least as big as q?
True
Suppose -5*t - 140 = -5*g, -4*g = -1 + 9. Suppose -21*a - 5*h - 115 = -18*a, h = -5. Let m = t - a. Which is smaller: -7/9 or m?
-7/9
Let w be (-657)/(-135) - (-2)/15. Let c(o) = -o - 1. Let u(i) = -i**3 + 6*i**2 - 6*i - 15. Let b(y) = -5*c(y) + u(y). Let a be b(w). Which is smaller: a or 3?
3
Let v be 422/232 + (-4309)/4031 + 0 + 1. Which is smaller: -0.55 or v?
-0.55
Let r be -4 + 26/7 + 500/(-14). Let p be 3/(r/8) + (-29)/(-3). Which is greater: 8 or p?
p
Let p = -1.2525 + 1.32. Let d = -34.0675 + p. Which is bigger: d or -6?
-6
Let b(h) be the third derivative of -h**5/60 + h**4/24 + 17*h**3 + h**2 + 16*h. Let n be b(-9). Let j = -16 - -28. Are j and n non-equal?
False
Let h = -42142.55 - -43014. Let g = h - 871. Let i = -2.1 - -2. Which is smaller: g or i?
i
Let w be (-3 - 1) + (-38)/152 + 5. Let f(c) be the first derivative of c**4/4 + 11*c**3/3 + 9*c**2/2 - 8*c - 2. Let o be f(-10). Is w > o?
False
Suppose 0 = -24*t + 22*t + 3*p + 2772, -4*t + 3*p + 5550 = 0. Is t not equal to 1389?
False
Suppose 854 = -10*u - 3579 - 897. Which is bigger: -534 or u?
u
Suppose -32*s - 9 = 87. Which is greater: s or -215/104?
-215/104
Let w(z) = -3*z**3 + 2 - 6*z**2 - z - 1 + 2*z**3. Let c be w(-6). Suppose -9763*f + 3*v = -9762*f + 6, -f = 5*v - 26. Which is smaller: f or c?
f
Suppose -3*f - 949 = 4*g, -g - 57 = -56. Which is smaller: f or -313?
f
Let j = 32.5171 + -32.5. Let q = 0.3829 + j. Which is smaller: 47 or q?
q
Let u be 2*(2 - 3) - (-4 + 9). Let x(m) = 3*m**2 + 24*m. Let d be x(u). Is -21 at least as big as d?
True
Let v be 228/(-13) - (-1884)/(-4082). Suppose -5*h - 41 = t, -3*t + 4*h = t + 44. Which is smaller: v or t?
v
Let d be -25 - 210 - (-1 + (-4)/2). Let q = 160 + d. Which is smaller: q or -73?
-73
Suppose 5*p + 3*j + 560 = 0, -2*p + j = 158 + 77. Is -91 smaller than p?
False
Let q be 2/8 - 33/(-12). Suppose 2 = -a + q. Suppose 0*v = v + a. Is v < -9/8?
False
Let f be (3/(-4))/(41/(-369) - (-26)/(-9)). Is f greater than or equal to -1/80?
True
Let p(i) = -i**2 + 33*i - 180. Let s be p(6). Which is smaller: -112 or s?
-112
Suppose 0 = 139*y + 67156 - 62708. Let s = 325857/11 + -29655. Which is bigger: y or s?
s
Suppose -3*s + 6*t = 8*t - 11, -4*t - 33 = -5*s. Let m be ((-369)/205)/((-1)/s). Suppose 4*z - 46 = -2*r - 0*r, 3*z + r - 33 = 0. Which is bigger: m or z?
z
Let i = 168 + -94. Suppose -7*l + i = -640. Is 305/3 greater than or equal to l?
False
Let f be 12 + 28 + 85428/(-2135). Is 1 != f?
True
Let k be ((-1)/(1 + 3))/((-393)/(-1392792)). Which is smaller: -885 or k?
k
Let n be 1/(-3)*(-216)/180. Let c = 2553/29 - 88. Which is bigger: c or n?
n
Let o = 1 + -3. Let s be ((-10)/(-2) - (-720)/63)*27/(-135). Is o at least as big as s?
True
Let u = 1.7 + -0.9. Let f = -1.32 + u. Let y = f + 2.52. Is y > 2/7?
True
Let p be (-1 - (-330)/124) + (-155)/((-1240)/(-16)). Is 0.1 equal to p?
False
Let k(x) = -141*x - 704. Let y be k(-5). Which is bigger: -1/4322 or y?
y
Let x = 10542 + -9865. Which is bigger: x or 673?
x
Suppose 309*l - 311*l = 200. Let s = l - -39. Which is bigger: -435/7 or s?
s
Suppose 35*s + s = -21420. Let r be 2460/s - 6*(-8)/12. Which is smaller: -1 or r?
-1
Let l(t) = -2*t**3 + 9*t**2 + 53*t - 19. Let p be l(10). Which is smaller: p or 0?
p
Let q = 2.8625 - -0.5985. Let n = -0.301 + q. Is n bigger than 1?
True
Let s be 2/(-8) + (-228)/(-16). Let f be (-10)/(-14) - 4/s*-1. Let c be (f/9)/((-35)/30). Is -2/5 equal to c?
False
Let w = -0.32 - 3.68. Let k = w - -4.9. Let d = k - 1.9. Is 27 greater than d?
True
Let i(p) = -p**2 + p - 1. Let x be i(5). Suppose -93 = -9*z - 48. Suppose 2*y + 6*b + 38 = z*b, -3*b + 57 = -3*y. Which is smaller: y or x?
x
Let w(p) = 24*p**2 - 33*p - 165. Let n be w(-31). Let o be 60/(-33) + 2 + n/(-125037). Is 0 bigger than o?
True
Let b be (-7514)/136 - (-2)/8*-3. Let v = -60 - b. Let f be (2 - (v + 6))/2. Which is smaller: 3/10 or f?
f
Let u = -2032/5 + 16581/40. Let j be (-45)/((-180)/(-16)) + 11. Is u at least as big as j?
True
Let l = 93681308129/609 + -153828130. Let a = l + 265/7. Let t be ((-2)/(-5))/(252/630). Which is smaller: t or a?
a
Let r(m) = m**3 + 14*m**2 + 17*m + 783. Let h be r(-16). Is h > -38/319?
False
Suppose 5*s = -3*m + 100, s + 3 + 17 = m. Let b(n) = -n**2 + 14*n + 104. Let y be b(m). Is -170 at least as big as y?
True
Let b = -631 + 624. Let f be (b*(114/(-21) + 5))/29. Is f > 1?
False
Let k be (-1 + 4 + 1109)/((-1005)/67). Is k bigger than -73?
False
Let k = 2428 - 11. Is 2417 at most as big as k?
True
Suppose -40*f = -47*f - 294. Let v be (-574)/28 + (-1)/(-2). Let u be (-5)/(v/8)*-20. Which is smaller: f or u?
f
Suppose 2*k + 3*t - 8 = 0, -4*k + 7*k = t + 12. Suppose -k*j - 162 = -j. Are -2 and j nonequal?
True
Let f be (24/10)/((-2)/(-35)). Let k = 443 + -425. Suppose -5*x + 60 = h, 4*x = -15*h + k*h - 104. Is h at most as big as f?
True
Suppose 135 = 20*w - 15*w. Suppose -8*m + 5 = -w. Let p be ((-30)/(-75))/(m/(-5)). Is 0.86 at least p?
True
Suppose -u = y - 55, y + 11*u = 6*u + 27. Which is greater: y or 438/7?
438/7
Suppose 46*j + 61*j + 27285 = 0. Is -1281/5 greater than or equal to j?
False
Suppose 418 = -4*d + 3*v, d + 2345*v - 2347*v + 97 = 0. Let m = -120 - -11. Is d at most m?
True
Let z be (0/((-15)/5))/(-1 - 1). Suppose -13*j + 201 + 358 = z. Are 6 and j unequal?
True
Let x = 0.20997 + -0.08077. Are 0 and x unequal?
True
Let t = -19 - -346. Let g be t/12 - 4/16*-3. Which is greater: g or 1?
g
Suppose 4*c = 8, -q - 2*c = c + 47. Let n = -51 - q. Suppose 4 = -2*j + n. Do 3/7 and j have the same value?
False
Let f be (-3)/(-36)*3 - ((-80587)/52 + -6). Which is smaller: 1559 or f?
f
Let m(s) = 249*s**2 + 21*s + 41. Let f be m(-2). Is 996 greater than f?
True
Let h = -269.9547 - 0.0453. Let o = h - -270.2. Let c be 1/(-1) - 50/(-42). Which is smaller: o or c?
c
Let v(w) = -3*w**2 - 16*w - 66. Let x be v(12). Are x and -3449/5 nonequal?
True
Let c = 26423 - 26422.998. Let b = -0.2 - 0.8. Which is smaller: c or b?
b
Let p = -4413 - -3803. Is -608 at lea