 Let l be c(4). Suppose 0*w = 2*w - 3*q, -44 = -4*w - l*q. Let s be 1/(-99)*-3*w. Which is smaller: -1 or s?
-1
Let q be (-20)/(-30)*1410/4. Let u be 5/(q + 0)*1. Which is smaller: u or 0?
0
Let q be (-4)/(-16)*(-2 + 2). Let b = 1/1489 + -4510/64027. Do b and q have the same value?
False
Let h be (1/(5/885))/(12/8). Suppose 11*r + h = -91. Which is greater: r or -77/4?
r
Suppose 5*g - c + 3 = 0, -201 + 213 = g + 4*c. Which is greater: 2/4279 or g?
2/4279
Let a be (-3300)/540 - (-1)/9 - -1270. Is 1265 at least as big as a?
True
Suppose 0 = 4*l + 4*y + 5524, -l + 2*y + 667 = 2069. Which is smaller: -1384 or l?
l
Let d be 383*(-3 - 124/(-8))*(-16)/(-40). Is d at most 0.1?
False
Suppose -87*x = 156 + 3846. Which is bigger: -50 or x?
x
Suppose -368*y + 257 = -111. Is 13461 <= y?
False
Let g = -15.324 + -0.936. Let k = -4.74 + g. Is 9 smaller than k?
False
Let p be (0 - 98/52)/(((-665)/38)/(-35)). Let f = 3 + -7. Is p at least as big as f?
True
Let m = 151/3 - 4678/93. Let c be 10/(-25) + (-568)/(-20). Let k be (4 + 0)*7/c. Is k at most m?
False
Let n(u) = 2*u + u - 6*u**3 + 2 - 1. Let l be n(-2). Let m(d) = -28*d - 40. Let j be m(-3). Is l > j?
False
Let k = 25214 + -25213. Is 2138 at most k?
False
Let x be (5/10)/(0 - -4 - 3)*-242. Let n be -1*3*(-12)/(-18) - 119. Do x and n have the same value?
True
Let y = -73.9 - 22.1. Let d = y + 100.6. Is -1/3 smaller than d?
True
Suppose 0 = -55*y + 54*y - 1. Let w = 1850227/261 + -7089. Does w = y?
False
Let o be (1*-1)/(4 + 215/(-54)). Let t be 68/(-24)*o/234. Is 2 at most t?
False
Let j be 1*6/119*7. Let r = 17.19 + -17.13. Which is bigger: r or j?
j
Let a = 926/15 + -82504/1335. Let u = a - -743/1780. Let p = 3/5 - u. Which is greater: 2/11 or p?
p
Let p = -189307/17 - -11130. Let d be (7199/7582)/(1/(-6)). Let r = d - p. Which is bigger: -1 or r?
r
Let y = -304 + 362. Suppose -y*b + 741 = -55*b. Which is greater: b or 246?
b
Let v = 5487812563/86 - 63812879. Let l = 1105 + v. Which is greater: l or 1?
1
Let r(p) = 2*p**2 + 21*p + 7. Let q = 195 - 276. Let h = q + 71. Let s be r(h). Which is smaller: s or -3/2?
s
Let n be (-95118)/1528*40/(-6)*12/(-15). Is n not equal to -332?
False
Suppose -45 = 211*r - 200*r - 56. Let v = 6981 - 2143169/307. Is v < r?
True
Let l(k) = 6*k - 38. Let r be l(6). Let q be (19 - 20)/(r - (-2)/2). Suppose d = -0*d + q. Which is bigger: d or 3/37?
d
Suppose 0*v = 7*v + 322. Let d be 124/6*(-69)/v. Which is bigger: d or 28?
d
Let l(z) = z**3 - 31*z**2 - 32*z + 19. Let p be l(32). Is p < 89/5?
False
Let c(z) = -142*z + 1969. Let f be c(17). Which is smaller: -3125/7 or f?
-3125/7
Suppose -3*o + 161 = 182. Let h(x) = x**2 + 4*x + 4. Let m be h(-3). Let v(b) = -12*b**2 + 2*b - 1. Let k be v(m). Which is bigger: o or k?
o
Let g be 12/(-30) + (-102)/(-80) + -1. Let m = -0.658 + -0.342. Which is bigger: m or g?
g
Let w be 11355/50 + 13/(-130). Is 195 less than w?
True
Let n be (-22 - (-2811)/51) + -1 + -2. Do n and 29 have the same value?
False
Let w = 44.3 - 39.98. Which is smaller: w or 0.3?
0.3
Let f = 7608 + -7586. Is -64 bigger than f?
False
Let j(x) = 2*x**3 + 105*x**2 + 54*x + 57. Let q be j(-52). Which is bigger: -669/14 or q?
q
Let l = 4431 - 2931. Suppose 45*i = -15*i + l. Which is greater: -0.4 or i?
i
Suppose -775*q + 82*q + 186417 = 0. Let s be 2684/10 + (-2)/5. Is s at most as big as q?
True
Let n be (-2926)/(-147) - 460/23. Which is bigger: -1 or n?
n
Let j(i) = 180*i + 348. Let o be j(-2). Which is greater: o or -496/39?
o
Let w = 608423/1105 - 2753/5. Let n = -2155 + 2154. Is n less than or equal to w?
True
Suppose -7*m - 1276 = -36*m. Suppose m = 10*q - 66. Let j = 20 + -7. Which is smaller: j or q?
q
Let j = -2394 + 2369. Which is greater: j or -11?
-11
Let d be (-12 - -1) + 9 + 2. Let k = 2 + -13. Let j be k + 17 + (0 - 1). Which is smaller: j or d?
d
Let w be 8/((-80)/(-18)) - (-5)/(-125)*-5. Which is smaller: 222/143 or w?
222/143
Let r(b) = 2*b**2 + 11*b + 1. Let w = -34 - -28. Let n be r(w). Which is bigger: n or 6?
n
Let n = -11214 - -11205.117. Let v = n - -0.183. Let z = v - -6.7. Is z bigger than -4?
True
Let h be -3 + 15/6*(-8)/(-10). Let y = 11.04 - 11.002. Which is greater: h or y?
y
Let o(s) = 8*s**3 - 21*s**2 - 40*s + 10. Let f be o(-2). Which is greater: -62 or f?
f
Let c = 244 - 233. Suppose 323 - 15 = -c*b. Do -88/3 and b have the same value?
False
Let q be -10*(-8)/160 + 346/4. Is q < 94?
True
Let v = -13279 - -13413. Which is greater: v or 142?
142
Let g(d) be the third derivative of -17*d**5/60 + 7*d**4/24 - d**3/3 - 185*d**2. Let m be g(5). Is -392 >= m?
True
Let v = 61.8391 - -0.1209. Let f = v - 63. Let a = -0.04 - f. Which is greater: a or 0.1?
a
Let m = -43 - -11462. Is 11419 greater than or equal to m?
True
Let a = -250 - 6572. Is -6823 less than a?
True
Let n(l) be the third derivative of 157*l**4/24 - 11*l**3 - 183*l**2. Let j be n(-2). Do -380 and j have the same value?
True
Let p(h) = -7*h**2 - 9*h + 2. Let l be p(-3). Let g = l - -2. Let n be g/80*10/(-8). Is n smaller than 2?
True
Let i be (-11)/(-308)*-7 - (-2)/8. Let t = -668 + 962. Let v be (-80)/t + (-6)/(-18). Is i < v?
True
Let s = -15941 - -15941.0726. Which is smaller: s or 0.2?
s
Let c be (-438)/(-4)*((-4578)/(-84) - 29). Which is smaller: 1/3 or c?
1/3
Let x(w) = w**3 + 9*w**2 + 7*w - 6. Let f be x(-8). Let o be ((-9 + 46/5)*2)/(1/(-40)). Which is smaller: f or o?
o
Let y(j) = -j**3 - 10*j**2 - 18*j. Let q(d) = -2*d**2 + d + 20. Let g be q(4). Let z be y(g). Suppose 0 = x + 25 - z. Which is smaller: x or -2?
x
Let t(p) = p**2 - 13*p + 13. Let v be t(12). Suppose -27 = -5*s + 3*w - 0*w, -26 = -5*s + 4*w. Let a be s/(-35)*(-4)/(-12). Is a at least as big as v?
False
Let z = -9906 - -9905. Let q = 4399 + -118787/27. Which is smaller: q or z?
z
Let a(h) = 54*h - 1350. Let t be a(25). Let m be (-340)/2016 + 5/30. Is t != m?
True
Suppose 5*k - 7*k = 8, -3 = -r - 2*k. Suppose r*d = 10*d - 35. Is -41 < d?
True
Let d = -56 - -173. Let r = d - 94. Which is smaller: r or -5?
-5
Suppose -2*g + 28 = 148. Let b = g - -36. Let f be (-16)/b + (-16)/42. Which is smaller: -0.44 or f?
-0.44
Let s be 28356/2560 - (-462)/(-42). Which is bigger: -1 or s?
s
Let z = 8 + -11. Let k = 1.785 - -0.215. Let b = z + k. Which is bigger: 21 or b?
21
Let f(c) = -288*c + 3059. Let a be f(26). Is a >= -4430?
True
Suppose -t = 4*h + 51, h - 16*t + 11*t = 3. Let s be 6 - (-5 - h)*(-4)/(-7). Is 0 at most as big as s?
True
Let i = 33 + -39. Let p be -2 - (i/(-10))/(2/(-10)). Is p smaller than 6/17?
False
Let z(v) = 22*v - 2*v**3 - 21*v - v**2 + v**3 - 2. Let a be z(-2). Suppose -15 = -a*y - 3*y, -4*s + 5*y = 25. Is -1/7 less than s?
True
Let z = 103.02 - 0.02. Let v = z + -26. Let a = v + -77. Is a less than 0.04?
True
Let g = -17479 - -17478. Is g greater than -133/205?
False
Let g be 2 - (-2 + 4 - 4). Let p be 0 + (10 - 110/(-11)). Suppose 5*s + v = -30, -p = 4*s - 2*v + g. Is s < -7?
False
Let d = 9 - 6. Suppose 4*s = 4*b - 12, 0 = 3*s + 2*b + 2*b - 26. Let t = s - d. Which is greater: t or -12/11?
t
Let j = 2594 + -2554. Which is greater: 57 or j?
57
Suppose -5*n + 10 = -0*n + 5*j, 0 = -4*j + 8. Which is smaller: 10/533 or n?
n
Let h be (12/21)/(18/126). Suppose 3*f - h*j - 297 = -34, 4*f + j = 319. Are f and 82 nonequal?
True
Let m = -158 - -159. Let r be (1/m)/(-3) + (-3)/(-15). Let v = 11/14 - 2/7. Which is smaller: v or r?
r
Let v = -29 + 27. Let b be v/282*(9 + -12). Let m be 4 + (6/5)/(14/(-35)). Are m and b unequal?
True
Suppose 147*r - 146*r = 21. Suppose 26*o = r*o - 5. Let h be (6/(-56))/(3/48). Which is smaller: o or h?
h
Suppose j - m + 9 = 44, 3*m + 169 = 5*j. Let z be 2 + 2 + (j/(-7))/8. Which is smaller: 0.2 or z?
0.2
Let m(w) = w**3 + 26*w**2 - 60*w - 10. Let n be m(3). Is n greater than or equal to 1648/23?
False
Let y = 1280 + -1274.47. Let l = 5.13 - y. Which is greater: -13 or l?
l
Let h = 7.9 - 98.9. Let a = h - -44. Let c be (-4 + 2)*(-4)/(-28). Is a <= c?
True
Suppose -13*a + 160 = 27*a. Let p be (931/(-105))/(-1) + -5. Which is greater: a or p?
a
Let s(x) = -10*x**2 - 5*x - 3. Let m be s(-3). Let y = 0.098298 + 0.001702. Which is greater: m or y?
y
Let s = -264243809/3497 - -75563. Is 0 > s?
False
Suppose -2*p + 5*s = -23, -5 = -2*p + 5*s - 6*s. Suppose 10 = 5*k - 5*u - 20, p*k =