Let h be (-8)/156*3*5. Let d be (2/1)/(-2)*-1. Suppose 5 = -5*p + l, p - 3*l = 2*p + d. Which is smaller: h or p?
p
Suppose -2*c + 1 = -3*c. Let a be 1/(2/(-3 + c)). Suppose d + 17 = -3*x - 4, -7 = x. Does a = d?
False
Let a be (((-135)/6)/(-9))/((-14)/18512). Let p = 3314 + a. Are 8 and p nonequal?
True
Let l = -10438 - -10437. Which is greater: l or 22/405?
22/405
Let q = -2 - -2.025. Let w = 8047.125 - 8047. Let m = q - w. Which is smaller: -7 or m?
-7
Suppose -189 + 501 = 2*p + 3*b, 0 = 2*p - b - 296. Let j = 268 - p. Is 118 equal to j?
True
Let r = -1189 - -1861. Let k be (-2)/13 + r/(-26). Are -129/5 and k unequal?
True
Suppose 6*s + s = -5*s. Let g(v) = -15*v + 3. Let w(u) = -23*u + 5. Let c(f) = 8*g(f) - 5*w(f). Let j be c(s). Which is bigger: -7/6 or j?
j
Suppose -6*a + 16*a + 140 = 0. Let u(d) = d**2 + 16*d + 27. Let k be u(a). Let b be k/9 - (-2)/6. Which is smaller: b or 1/15?
1/15
Let m(v) = 8*v**3 - v**2 + 1. Let c be m(-1). Let i be (c/(-24))/((-14)/45). Which is bigger: i or 0?
0
Let d = -18116 - -10604. Which is bigger: d or -7511?
-7511
Suppose -m + 5*x + 19 = 0, 2*m + 218 = -x + 212. Which is smaller: m or 2/2407?
m
Let n(c) = 11*c**2 - 4*c + 6. Let v be n(-3). Suppose 3*j + 150 = -2*j - 2*f, -4*j - v = f. Is -17 equal to j?
False
Let a = 16 + -71. Let z = 5.106 + -60.046. Let d = a - z. Is d bigger than 0?
False
Suppose 519 = 4*k - 31*t, -5*k + 150 = -t - 763. Which is smaller: k or 145?
145
Let l be (6 + 11 - 10) + -44. Suppose -2*s = 4*p + 140, -63 - 107 = 5*p + 5*s. Which is greater: p or l?
p
Let u = 86 - 51. Let h be 2/(-123)*21/u. Which is smaller: 0 or h?
h
Let u = 0.00514 - -0.0683. Which is bigger: u or 0.1?
0.1
Let r = 1473 - 1472. Which is bigger: r or 9/31?
r
Let n be (-1)/(-2)*(-109 + -1). Suppose -2*i = 14, 0*j - 5*j = 4*i + 283. Which is smaller: n or j?
n
Let m be (8/2 - 9/3)*(104 - -3). Which is smaller: m or -2/39?
-2/39
Let d be (-1617)/(-7) + 2/(-4)*0. Let u = -4619/20 + d. Suppose 0 = 4*i - 5*l + 29, -3*l + 13 = i + i. Are u and i equal?
False
Let c be 1/42*(-2 - (-180)/81). Suppose -1 = -175*m - 1. Which is smaller: m or c?
m
Suppose -2*l = 6*l - 32. Let n be 242/(-28)*16 - l/(-14). Let x be 4 - 1*n/(-39). Is -1 < x?
True
Let w = 2/1439 + -41030/530991. Is w not equal to 0?
True
Let t = 301 - 319. Let w be (-8)/t - 4648/(-2016). Are -14 and w non-equal?
True
Suppose -f + 1056 = 7*f. Let q be 1*2 - f/33. Let d be (17/(-9) + 2)/1. Is d <= q?
False
Suppose -37730 = -132*n + 146*n. Which is smaller: -2694 or n?
n
Suppose -550 - 322 = -4*o. Let z = -68 + o. Let i be (-10)/(-26)*(-12)/z. Is i bigger than 1?
False
Let b = -23024 + 21452. Is b greater than -1573?
True
Let k be (-2)/34*2 - (-44390476)/311610. Let h = k - 427/3. Which is bigger: h or 0?
h
Suppose 11*a - 22*a = -66. Suppose 5*t = -z + 29, -t - t = -4*z + a. Let x(o) = -o**3 + 7*o**2 - 7*o + 7. Let b be x(6). Which is smaller: b or t?
b
Suppose -f + 3*p = 0, -4*f + 5*f + 2*p = 0. Is f less than -2/175?
False
Let x(l) = l**3 - 5*l**2 - 2*l + 4. Let n be x(5). Let p be n/8 + 31/4 + -5. Suppose 2*h + 50 = -p*j, -j - 3*h - 27 - 2 = 0. Are j and -23 nonequal?
False
Let p be (51/357)/(1/889). Is 120 less than or equal to p?
True
Let s = -2668/5 + 540. Let j(y) = 11*y + 84. Let i(q) = 5*q**2 + 19*q + 5. Let k be i(-3). Let r be j(k). Which is greater: r or s?
r
Let s(c) = -14*c**2 + 4*c**2 + 3 - 3 - c**3. Let p be s(-10). Let a be (-18 + 208336/11571)*14/2. Which is smaller: p or a?
p
Suppose 0 = 2*z - 4*q + 212, 32 = -3*z + 4*q - 280. Suppose -9*c + 117 = 1008. Is c > z?
True
Suppose 0 = 10*c - 34*c + 24. Suppose k = -4*t + c, 8*t - 3*t + 4*k = 15. Which is bigger: t or 5/122?
5/122
Suppose -2*u = 4*u - 6. Suppose 5*v + 21 = u. Let m be (1/2)/(3*v/(-24)). Is m not equal to 2/81?
True
Let d(m) = 5*m**2 - 9*m - 4. Let p = -219 + 223. Let z be d(p). Which is smaller: 42 or z?
z
Let n = 713 + -708. Which is greater: 11/5 or n?
n
Let r(i) be the first derivative of i**4/4 - 7*i**3/3 + 19*i**2/2 - 44*i - 116. Let h be r(5). Is h smaller than -192?
False
Let t(q) = 4*q**2 + 17*q - 3. Let a be t(-5). Which is smaller: a or 11?
11
Suppose -2*l = 9*l. Suppose 3*x = -2*x + 2*p + 15, l = -3*x + 2*p + 9. Suppose x*u - 17 = 13. Is 11 >= u?
True
Let m(b) = b**2 + 7*b + 14. Let u be m(-5). Suppose 0 = 4*p + 2*h + 10 + 6, -5*p = -u*h - 6. Suppose 0 = 3*w + w - 16. Do w and p have the same value?
False
Let s = -2007/7 + 287. Suppose -4*m + 7 = v - 0*v, -13 = -5*v + 2*m. Are v and s nonequal?
True
Let g = -3264 + 35905/11. Which is smaller: g or 82?
g
Let b(s) = -3*s - 2 - 2*s - 15*s**2 + 0*s - 16*s. Let r be b(2). Is r at least as big as -105?
True
Let p(h) = h**3 - 67*h**2 + 344*h - 128. Let v be p(61). Which is smaller: v or -1469?
v
Suppose 5*p - 96 = -i, 3*i - p = p + 220. Let j = i - 73. Suppose -j*k = 49 - 34. Which is greater: -33/7 or k?
-33/7
Let k be (76/(-16) + 1)*4. Suppose -35*l = 29*l + 35*l + 1188. Is k less than or equal to l?
True
Let h = -1020 + 1022. Which is bigger: 54.1 or h?
54.1
Suppose 21*u - 34 = 20*u. Let m be u/(-119) + (-27)/(-21). Which is smaller: 10/9 or m?
m
Let h be 48/(((-6)/(-44))/((-615)/2132)). Is h at least -103?
True
Let t = -0.541 - 203.459. Let c = -201 - t. Do c and 20 have the same value?
False
Let t be 408/10*((-1360)/(-24))/17. Let z = t - 138. Which is smaller: z or -26?
-26
Let n be 12/18 - (3/(-36) + 1730/(-40)). Let m(y) = y**2 + 3*y + 6. Let v be m(-8). Which is smaller: n or v?
n
Let b be ((-2307250)/(-6875))/(2/(-3)*3/(-5)). Are b and 839 unequal?
False
Suppose -1 = x - 3*u + 6, -5*x - 23 = -3*u. Let o be (5/21)/(x/48*2). Let b = 2 + -4. Is o at least as big as b?
True
Let o be -3*15/9 - 35295240/(-7059000). Is 1 != o?
True
Let n = 168/2071 + -10349459/8284. Is -1248 greater than n?
True
Let k = 4277 - 29941/7. Which is smaller: k or -10/23?
-10/23
Let w = 81582 + -81680. Let z be (2 - 1) + (2 - 4). Which is smaller: w or z?
w
Let b be (((-1)/(-2))/((-130)/(-12) - 11))/1. Suppose -3*n - 3*x + 1035 = -45, -4*x + 369 = n. Let t be n/(-770) + b/(-6). Is -2 > t?
False
Let o(y) = -622*y + 3. Let c be o(-2). Let s = 46851/10 + -771053/130. Let h = s + c. Which is greater: h or 0?
h
Let b be 28/49 - 496/(-14). Let k = b + -38. Suppose o + h = -2*h, -h + 20 = -3*o. Is k >= o?
True
Let r = 15064 - 14760. Let x(q) = -149*q + 6. Let f be x(-2). Is r != f?
False
Let d = 4247/2547 - 2/2547. Is d > 3/7?
True
Let f be 1/3 + (-1037)/24*-2. Let q = f - 87. Is q >= -17?
True
Let v be 464/844596*9/2. Is -1 at most v?
True
Let n(k) = 4*k**2 + 10*k - 76. Let z(j) = -2*j**2 - 5*j + 37. Let y(a) = -2*n(a) - 5*z(a). Let l be y(-5). Is l bigger than -5?
False
Let a = 0.1554 + -0.3054. Which is smaller: -71 or a?
-71
Let w(m) be the second derivative of m**5/20 + 5*m**4/6 + 3*m**3/2 - 17*m**2/2 + 11*m. Let c be w(-9). Which is greater: c or -15?
-15
Suppose -5*u + 33 = 23. Suppose 4*t = -p - 4, 2*t + u = -p + 2*p. Let o(h) = 4*h**2 - 24*h - 74. Let r be o(-3). Which is smaller: r or t?
t
Suppose -x = 5*r - 10826, 94*x - 10822 = -5*r + 92*x. Is r at most as big as 2165?
False
Let z be ((300 - 0)/2)/((-1758)/(-5860)). Is z >= 500?
True
Let j = 1.637 - -0.043. Let v = j + -18.78. Let t = v + 17. Is -0.1 smaller than t?
False
Let d = -133/939 + -60/313. Is -0.08227 equal to d?
False
Let v be 1/(-6) + (266/(-12))/(-19). Is 1/547 <= v?
True
Let z = 3534.2 - 3613. Which is bigger: 7 or z?
7
Let n = -5/288199 - -7587126989/6628577. Suppose 2*v + 3*v + 4590 = -4*s, 1147 = -s - v. Let y = s + n. Which is smaller: 1 or y?
y
Let z be (-1045)/(-30) - 9/18. Let d = -30 - -63. Which is smaller: d or z?
d
Let z(r) = r**2 - 13*r. Let v be z(13). Suppose v = -5*h + y + 14, 0 = -2*h + y + 8. Let c be (-1305)/(-117) + h*1/(-13). Which is greater: 12 or c?
12
Let f = -175.852 + 176. Let n = f - -0.252. Is 7 greater than or equal to n?
True
Let m be ((-174351)/1780 - 4/5)*(-20)/295. Which is greater: 6 or m?
m
Suppose 446*a - 448*a = -12, 2*q + 2*a + 16998 = 0. Which is smaller: q or -8504?
q
Let b be (6 + -4 - -4)*23/3. Let l = b + -34. Suppose 4*w - l = z, -z - 3 = -3*w + 7. Which is bigger: w or 4?
4
Let j = -3.2 + 1.2. Let i = -550 + 527.7. Let a = i + 22. Which is bigger: a or j?
a
Suppose -14*l + 9*l = -15. Let r = l + -9. Let a be (-6)/(-9*(-3)/45). Is a 