 is smaller: u or a?
a
Let q(w) be the first derivative of -2*w**2 + 2*w - 2. Let z be q(-4). Suppose 0 = 5*y + 5*d - 80, y = -y + 3*d + 47. Which is greater: y or z?
y
Let h = -774.23 + -3.77. Let b = h - -777.9. Which is smaller: 0.092 or b?
b
Let z be 438 - (-8 + 8 + 1). Let r = 873/2 - z. Is r bigger than -3/101?
False
Let l = -13 - -12. Let q = l - 15. Let i be 6/q + 30/(-48). Which is bigger: i or 4/11?
4/11
Let r(f) = 45*f**2 + 142*f - 28. Let v be r(-5). Which is smaller: v or 389?
v
Suppose -21 - 9 = -6*l. Suppose l*k + 1492 = 3*j, 8*j = 7*j + 5*k + 514. Let g = -2941/6 + j. Is g >= -2?
True
Suppose 374 = 6*w + 5*w. Let u = 136 + -104. Which is bigger: w or u?
w
Let g = 119 - 116. Suppose 7 = -g*o - 2*c, -13*c = 4*o - 17*c - 4. Which is smaller: 53 or o?
o
Let q be ((-66)/(-4))/((-28)/(-56)). Let j = 12 + -16.8. Let p = 5.8 + j. Which is greater: q or p?
q
Let y be 93/(-54) + 1/2. Let z be (-9 - -14) + (-16 - -8). Let w(h) = -h**2 - 16*h - 40. Let d be w(z). Which is bigger: y or d?
d
Suppose -2597 = -324*b + 7123. Is -7 greater than b?
False
Suppose 3*t + 3*r + 195 = 0, 4*t = 5*r - 223 - 19. Let a = t - -86. Is 22 not equal to a?
True
Suppose -4*q + 41 = -11. Suppose z + 5 = -0*z - w, -4*z + 3*w = q. Let y = -5009/1446 + -26/723. Which is smaller: z or y?
z
Let u be -2 + (-26)/(2/(-1)). Let j(s) = s**3 + 6*s**2 + 5*s + 14. Let p be j(-5). Let n be u/p + (-2)/7. Do n and -21 have different values?
True
Let a be 36/(-8 - -4) + 3235/345. Which is smaller: 1 or a?
a
Let g(f) = 2*f**3 - 22*f**2 - 17*f + 187. Let t be g(11). Are -3/4112 and t nonequal?
True
Suppose -841 - 159 = -25*p. Let a be (-5)/((-10)/6) + 0. Suppose -p = -s + a*s. Is s less than or equal to -18?
True
Let r(f) = 8*f**2 - 77*f + 34. Let c be r(11). Do c and 152 have the same value?
False
Let f(b) be the third derivative of b**5/60 + b**4/24 - 2*b**3/3 + 17*b**2. Let p be f(-3). Let a be (3 - 2)/(-3 + p). Which is smaller: a or 2/71?
a
Suppose -34*w + 7*w + 405 = 0. Let y(n) = 4*n - 4. Let j be y(-3). Let r = w + j. Which is greater: r or -2/7?
-2/7
Let b be (-8)/40 + (1143/240 - 5). Let f = 113 + -112.8. Which is bigger: b or f?
f
Let s = 61 - 432/7. Suppose -b - 42 = q - 218, b - 868 = -5*q. Let f = q - 174. Is f greater than s?
False
Suppose -4*c - 18*h + 22*h + 1040 = 0, 0 = -5*h - 25. Suppose 1284 = 5*j - 2*r, -r - 770 = -3*j - 0*r. Is j not equal to c?
True
Let n be 4/14 - (-40)/(-140). Suppose n = 11*x - 27*x - 144. Is -15 smaller than x?
True
Suppose 1166 = 2*y + 6*h, 4*h - 855 = -3*y + 914. Is -3/5 not equal to y?
True
Let b = 0.05 - 1.05. Let q be 2 - (-6 - (-24355)/(-25)). Let n = -979 + q. Which is smaller: b or n?
b
Let h(i) = -i**2 - 10*i + 27. Let k be h(-12). Suppose -j = 6 - k. Let b be 1/(-11 - (-4 - j)). Which is bigger: -1 or b?
b
Let u(s) = 17*s + 514. Let t be u(-29). Which is bigger: 355/16 or t?
355/16
Let p = 0.99 - 0.99. Let z = -12.7 + -0.3. Let u = z - -13. Is u equal to p?
True
Let p = -4564 + 1168387/256. Let l = 3 + -2. Which is bigger: l or p?
l
Suppose -15*s + 5 + 25 = 0. Suppose -482 - 639 = -5*x - 3*j, 3*j - 443 = -s*x. Is x bigger than 225?
True
Let i = 0.58 - 7.58. Let g be (78/(-7))/(18/(-42)). Do g and i have different values?
True
Suppose 23*v + 5*v + 812 = 0. Let h(l) = -l**2 - 6*l + 10. Let x be h(-7). Suppose -60 = -d + x*d. Is v > d?
True
Let p be (-9)/1209*(4 - 5). Let f(b) = -3*b**2 - 13*b + 125. Let m be f(-9). Is m greater than or equal to p?
False
Let y be (27*5/75)/((-5)/25). Let l be 26/(-48) + -10 + (-99)/y. Which is greater: l or 0?
l
Let r(f) = f**2 + 6*f + 7. Let b be r(4). Let o = b + -43. Suppose -o*t = 3*x + 32, -29 = -t + 6*t + x. Is t equal to 2?
False
Suppose -666*s + 4628796 + 975594 = 0. Is s less than or equal to 8413?
False
Let o = -187.59 - -188. Let v = 15.41 - o. Is 3 not equal to v?
True
Let t(j) = -j**2 - 20*j + 14. Let a be t(-21). Let c = a - -7. Suppose 4*f - 5 - 15 = c. Which is smaller: f or 7?
f
Let r = -457 - -461. Suppose 0 = -2*p - r*o + 98, 4*p - 148 = 3*o + o. Which is smaller: p or 38?
38
Let h(d) = -50*d - 9. Let z be -4 + (-4)/((-8)/6). Let j be h(z). Let i(a) = a**3 - 8*a**2 - 10*a + 8. Let u be i(9). Which is greater: j or u?
j
Let o = 88352 - 15461596/175. Let l = -4 - -4. Do l and o have the same value?
False
Let h(j) = -22*j - 10. Let c be h(-7). Suppose c*a = 132*a - 48. Which is greater: -5 or a?
a
Let k(v) = -9*v**2 + 3*v + 6*v + 4*v + 7*v**2 + 28. Let m be k(8). Let g = -8 + 6. Is g < m?
True
Suppose 0 = 3*x + 4*t - 30, -x - 4*t = -5*t - 10. Let d = -2694 - -2709. Suppose v + d = -x. Which is smaller: v or -1?
v
Let h = -8.17 - 420.83. Which is greater: h or 3?
3
Let b be 3/(-15) + 11/5. Let g(w) = 2*w**3 - 2*w**2 + 4*w - 5. Let d be g(-3). Let h = d - -90. Do h and b have the same value?
False
Let b = 762850/1503 + -4568/9. Is b bigger than 4?
False
Let w = 43 - 118. Let r = w + 74.83. Which is greater: r or 1/3?
1/3
Let a(v) = 3*v + 16. Let q be a(3). Let i = -342 + 342. Is i at most q?
True
Let o be (-182)/(-221)*(-1)/2. Suppose 4*w = -n - 1 - 5, 2*n - 2*w + 12 = 0. Let r be (-7)/(-1) - (0 - n). Is o less than r?
True
Let m be (-8)/(-128)*22*55. Is 76 >= m?
True
Suppose 2*x = 5*h - 23, -4*x - 4 = 5*h - 33. Let s be -2 + (h - (-2 + 1)). Suppose s*m - 7 = -3. Is m at most as big as 2/119?
False
Let w = 91.87 + 59.21. Let u = -151 + w. Is 22 equal to u?
False
Suppose a - 3*a + 4*n = -6, 0 = -a + 3*n + 3. Suppose 0 = -4*z, x - 5*z + 130 = -4*x. Let m = a + x. Is -3 smaller than m?
False
Let m = 209 - 57. Let b = -145 + m. Do b and -0.1 have the same value?
False
Let d = -6522 - -6521.9549. Which is smaller: -4 or d?
-4
Let f = 90826768/877485 - 6314/61. Which is greater: f or 1?
1
Suppose 116 = 60*m + 56*m. Is 1/215 less than m?
True
Suppose -126*z + 127*z + 286 = -3*q, q + z + 96 = 0. Let u be -97 + (0 + 3)*1. Which is smaller: q or u?
q
Suppose 5*y + 226*a - 219*a = 4069, 5*y - 4061 = -3*a. Which is greater: 810 or y?
y
Let o be (2/(-60))/((-43)/2444077) - (-120)/100. Is o at least as big as 1895?
True
Suppose 36*c - 33*c = 18, -u + 4716 = 5*c. Is u at least as big as 4687?
False
Suppose 13 = -6*k + 13. Suppose 4*t + 2*r - 12 = k, 4*t - 24 = -0*t - 5*r. Are 51 and t unequal?
True
Let n = -19907478/595 + 33458. Let a = n + 55642/5355. Which is bigger: a or 10?
a
Suppose 9*s - 13*s = -2*c + 566, 3*c = 2*s + 837. Let q = 631 - c. Is q > 354?
False
Let o = 11 - -201. Let r = o - 210.99. Which is bigger: r or 2/3?
r
Let n(m) = m**3 + 22*m**2 - 38*m - 344. Let a be n(-23). Which is smaller: -3/1130 or a?
-3/1130
Let l = 0.1068 + 125.7932. Let c = l + -126. Is -0.6 greater than c?
False
Let c(i) = 5*i + 12. Let h(q) = 16*q + 3 + 22 - 7*q. Let j(o) = 7*c(o) - 4*h(o). Let m be j(-24). Are m and 8 equal?
True
Let j = 0.00027 - -0.09973. Does 3064 = j?
False
Let m be 2/(8/74)*-2 - 4. Suppose 3*l = -3*j - 111, -2*l + 5*l + 2*j = -112. Which is smaller: m or l?
m
Let i be 3039*(14*(-24)/(-252))/((-14)/1). Which is greater: -288 or i?
-288
Suppose 0 = -6*v + 2*v - 528. Let j = 2152 + -2285. Which is greater: v or j?
v
Suppose 0 = 18*q - 20*q. Let a be 1*(q + 0) + 0. Which is bigger: 3/278 or a?
3/278
Let p(y) = y**3. Let k be p(-2). Let c = 31 - 56. Let i = c - -15. Which is smaller: i or k?
i
Let d(r) = -r**2 - 11*r - 21. Let y(p) = p**3 - 16*p**2 + p - 21. Let t be y(16). Let u be d(t). Suppose 4*k - u = 35. Which is greater: -2 or k?
k
Let y be (5 + -6 - -3)*(-5)/(-2). Suppose -3*t - 21 = u - 2*u, 4*u + y*t = -1. Suppose 3*b - 3*w + u*w = 0, -2*b = -2*w - 8. Which is bigger: 9/4 or b?
9/4
Let b = 6151.2 + -6151. Is b equal to 542.3?
False
Let y = 294 + 114. Let h = y - 410. Is h >= -0.071?
False
Let p(n) = -8*n**2 - 130*n - 33. Let f be p(-16). Which is smaller: -2/4183 or f?
f
Suppose -4*t = -5*s - 20, 3*s - 5 = 7. Suppose -z + t = 4*z. Let p = 7870 - 39347/5. Is z >= p?
True
Let r = 25795/16 + -1613. Let y be (-306 - -322) + 16*-1. Which is smaller: y or r?
r
Let b = 35.9 - 36. Let h be (-18)/63 - 282/(-7). Let y = h + -118/3. Which is smaller: b or y?
b
Let o be (1 - 2)/((-1)/(-2283)). Is o at least -2283?
True
Let l be 2 - (-18)/60*-2. Let b = -89/60 + l. Which is smaller: b or 1?
b
Let o = -45 - -21. Let k = 53 + -26. Let v = o + k. Is v > -1?
True
Suppose -2*o - u - 173 = 0, -4*