Let y be ((-3)/2)/(4*(-4)/(-32)). Let b be y*(-1*2 + (-95)/(-50)). Which is smaller: b or -1?
-1
Let f = -33 - -11. Let q be (f/99)/(2/6). Let n = 18 - 19. Which is smaller: q or n?
n
Let u(c) = 19*c + 2. Let i be u(2). Let n be (22/(-8))/((-5)/i). Suppose 2*m - n = -4*d, 4*m - 4*d + 0*d = -16. Is 1 bigger than m?
False
Suppose -4*w + 2*y - 10 = 0, 0 = 5*y - 0*y - 5. Let c = w + -1. Let r be 30/45 - (-5)/c. Are 2/9 and r equal?
False
Let f = -108 - -109. Are 11.7 and f equal?
False
Let b = -592/35 - -86/5. Suppose 0 = -y - y - 2*h + 14, 0 = -y - 5*h + 27. Do b and y have the same value?
False
Let o(g) = g**2 - 9*g + 5. Let i be o(7). Let v = i + 14. Which is bigger: v or 6?
6
Let m be -2 + (11 - 3 - 4). Let g be (m - 3)*(-2)/8. Let b = -0.18 + 0.1. Is g at least b?
True
Let r = -3 - -17/5. Suppose -2*n + 13 = 5*o, -2*o + 98*n + 1 = 103*n. Is o bigger than r?
True
Let m = 153 - 164.3. Let j = 10 + m. Which is smaller: j or -2?
-2
Suppose k - 12 = -11. Suppose 5*v = -5*s - 7 + 2, -4*v - 2*s - 4 = 0. Let d be 1/((-1)/(v/(-3))). Which is bigger: d or k?
k
Let b = 351 - 2462/7. Let j be 1 + (-1)/(-2)*-4. Let s be (-3 - -6) + (-5 - j). Does s = b?
False
Let l = 20 + -10. Let k = 182 - 178. Is k > l?
False
Let l(x) = 3*x + 21. Let i be (0 - 5) + 3/(-1). Let a be l(i). Let v be 9 - (-1 + 6 + a). Is v <= 7?
True
Let u = 7 + -6. Suppose -u = 2*n - 3. Which is smaller: 0 or n?
0
Suppose 4*z + z = 10. Suppose z*j + 3*s = 4 - 19, -5*j = -3*s + 90. Do j and 0 have the same value?
False
Let f = 603 + -15683/26. Is 0 >= f?
True
Let z(k) = 3*k**2 - 10*k + 21. Let u be z(5). Do 2 and u have the same value?
False
Let l be 2/(-16) + (-42449)/(-136). Is 312 <= l?
True
Let b be -1 + (-2 - (-4)/(-4)). Let d be ((-3)/b)/((-10)/(-392)). Let c = d - 2509/85. Which is smaller: c or 1?
c
Suppose 2*b - 74 = 2*x, -5*b - 3*x + 137 = -48. Which is smaller: b or 3/5?
3/5
Let n = -1121 - -1121. Is 1/2425 bigger than n?
True
Let g be -22*((-14)/4 + 2). Suppose g = -j + 4*j. Is j less than 9?
False
Let q = 4 + -3.9. Let x = -0.02 - q. Suppose -2*h - 5*j + 3*j + 4 = 0, -3*h = 2*j - 5. Is h bigger than x?
True
Let h be ((-102)/4)/(6/(-12)). Suppose -50 = 2*v + 2*v - 2*m, 4*v - m = -h. Is -13 bigger than v?
False
Let j be (126/(-27))/(4/(-6)). Let r be (-12)/10*(-10)/3. Suppose h - r = -j. Which is smaller: 1 or h?
h
Suppose -2*a - 2*a = -40. Let i = -8 + a. Let j be (8/(-30))/i*-9. Which is bigger: 1 or j?
j
Let o = 165 + -165.885. Let z = -0.045 + o. Let l = z + 0.23. Which is bigger: -1 or l?
l
Let f = -495 - -495. Which is smaller: f or -21/16?
-21/16
Suppose -33*o = 5*o + 342. Which is smaller: -103/10 or o?
-103/10
Let l(w) = -w**3 + 10*w**2 - 12*w - 67. Let j be l(6). Let h = -2886/7 + 418. Which is smaller: h or j?
j
Suppose -2*t + 6 = t. Let n be 6/3*(-1)/(1 - t). Which is smaller: n or 6/7?
6/7
Let x be ((-50)/(-4))/5 - 1. Let c = x + -47/32. Are c and -0.1 unequal?
True
Let b = 22 + 30. Let u = b - 51. Which is smaller: 2/15 or u?
2/15
Let j be (6/9 - (-1)/3)/5. Which is smaller: j or 1/2?
j
Let k(u) = -4*u**2 + 2*u - 2. Let i be k(2). Let j be 35/i*(-8)/(-30). Let b(g) = g**3 - 2*g**2 - 3*g. Let s be b(3). Which is smaller: j or s?
j
Let f be (21/(-6) - (-3)/6)/1. Let y be f/12 + 73/4. Is 17 equal to y?
False
Suppose 15*g + 85 + 170 = 0. Is 3 at least as big as g?
True
Let a = 2643 - 2642. Is 24/37 at most a?
True
Let c be (-1152)/840 + (-3)/7. Which is smaller: -1 or c?
c
Let m(o) = -o**2 + 2*o + 4. Let x be (-16)/(-3) + 3/(-9). Let p be m(x). Suppose 3*s + 6*n = 3*n - 39, 3*n - 9 = s. Are s and p nonequal?
True
Let j = -1/499 + 12977/1497. Which is bigger: j or 8?
j
Let y = 78 - 102. Let t = y + 41. Which is bigger: -1 or t?
t
Let d(b) be the first derivative of -b**3/3 + 7*b**2 + 13*b - 22. Let q be d(17). Which is bigger: -37 or q?
-37
Let h = 1253 + -2699. Which is smaller: h or -1445?
h
Let n be (126/(-280))/(2/(-10)). Is -1.6 >= n?
False
Let o be (-10)/2*12/(-10). Let q = -33 - -45. Let i = o - q. Is i greater than -6?
False
Let f = 27 - 62. Let q be 11/f - 2/7. Let s = 62 - 62. Which is greater: s or q?
s
Suppose 0 = -a - 5*x - 8, -4*a - 3*x - 15 = 34. Let l(u) = -u**2 + 6*u - 21. Suppose -2*j + 2 = r, -2*j - 8 - 10 = -4*r. Let w be l(r). Is w greater than a?
False
Let q be (18/(-30))/((-1)/5). Suppose -5*p + q = -12. Suppose 2*v - 14 = 5*i + 4, -2*v = -p*i - 14. Are 3 and i non-equal?
True
Let o(k) = -3*k + 30. Let s be o(12). Let g = -38/7 - s. Let z(w) = -w**3 - 4*w**2. Let a be z(-4). Which is smaller: g or a?
a
Let s be 28/35 + (-1863)/(-15). Suppose 11*g + s = 6*g. Let x = g - -26. Is 3 at least as big as x?
True
Let u = -35 + 39. Let f be (-6)/u + 30/12 - 1. Are -1/28 and f equal?
False
Let w = 3 - -6. Let l = -5 - w. Let n = l + 13. Which is smaller: 3 or n?
n
Suppose 4*p - 2*p = 5*p. Which is smaller: p or 2/285?
p
Let c be ((-49)/(-2))/(2/(-4)). Is -51 smaller than c?
True
Let j = 233 - 189. Do 216/5 and j have the same value?
False
Let y = -0.0655 + 0.1655. Is y smaller than 384?
True
Let o(v) be the third derivative of -5*v**4/24 - 2*v**3 + 2*v**2. Let j be o(-11). Suppose 4 = 4*m + y + 63, -3*m - j = y. Do m and -17 have the same value?
False
Let d(n) = 19*n**2 + 124*n - 124. Let l be d(1). Let p(m) = 21*m - 1. Let u be p(1). Is l less than u?
True
Let n be 6/(-24) - (-3)/12. Which is smaller: 2/137 or n?
n
Let k = -190167/1496 + -1035/136. Which is smaller: -136 or k?
-136
Suppose 5*v - 2*b = -4*b - 76, 3*v - b = -50. Let f(n) = -28*n - 2421. Let q be f(-86). Is v bigger than q?
False
Let a = 823/5 - 165. Is -3.02 smaller than a?
True
Let g = -35833 + 50775382/1417. Let v = g - -208393/89271. Let o = 18/7 - v. Which is bigger: o or -2?
o
Let r = -1 - 0. Let l = -781/455 - -106/65. Is l less than or equal to r?
False
Suppose 154*v = 153*v + 1. Which is bigger: v or -9?
v
Let t = 61235/14 + -1227953/210. Let u = -1474 - t. Let m be 1 - 2 - (1 + -2). Is u greater than m?
False
Suppose -p + 38*d - 41*d = 24, 3*d - 24 = 3*p. Is p smaller than -12?
False
Let c = -10 - -3. Let z be c/(-21) - 11/51. Let o = -6 + 5.9. Are z and o nonequal?
True
Let u = 3 + -3. Let d = 1837681/12 + -153008. Let x = -132 + d. Is u less than x?
True
Let n = -5 - -0.3. Let z = 22874 - 22874.2. Is z greater than n?
True
Let g = 1640357/230 + -7132. Let t = -2/23 + g. Let s = -1 - -2. Is s at least t?
True
Let x(m) = 18*m + 14. Let n be x(5). Let v be n/(-14) + 3/7. Which is smaller: v or -33/4?
-33/4
Let j = -1634 - -1630. Let l(p) = -3*p + 1. Let d be l(2). Is d greater than j?
False
Let q = -20 - -35. Suppose 6*s - q = s. Suppose -9 = s*g - 66. Which is smaller: g or 20?
g
Let l = -2/391 - -4305/782. Suppose -2*q + 11 + 3 = 0. Is q at least l?
True
Suppose 8*j + 3 = 5*j. Let a(l) = l**2 - 4*l - 4. Let r be a(4). Let v be 54/r*(-2)/(-12). Which is bigger: v or j?
j
Suppose 225 = 5*l + 10*l. Suppose -48 + l = -3*y. Does y = 2?
False
Let g = -4 + 3. Let k be (-7 + 7)/(-6) + (-18)/13. Are g and k equal?
False
Let g = 3.835 - 0.235. Which is smaller: g or 2?
2
Let o = 346 - 2071/6. Suppose 0 = 5*y - 2*y. Does o = y?
False
Let k(a) = 31*a + 559. Let m be k(-18). Is m at least as big as 2/3667?
True
Let f = 13 - 42. Let w = f - -28.9. Which is greater: 1 or w?
1
Let l = -0.45 - 2.65. Let z = l + 2.1. Is z greater than or equal to 12?
False
Let m = 32.031 + -0.031. Let p = -32.1 + m. Is 6/5 greater than or equal to p?
True
Let v(r) = r**3 - 11*r**2 + 10*r + 24. Let d be v(10). Is 114/5 smaller than d?
True
Let c = 5 + -2. Suppose 5*b - c*b = 40. Let d be 5*(3 + (-68)/b). Which is greater: -1 or d?
-1
Suppose -2*o - 5*c = 17, -4*o - 3*c - 4 = c. Suppose o*k + 30 = 2. Which is smaller: -6 or k?
k
Let u = -32 + 31. Let g(k) = 5*k**2 - 10*k - 6. Let b be g(-8). Let s = -4331/11 + b. Is s smaller than u?
False
Let t = -87.6 + 91.6. Which is bigger: t or 73?
73
Suppose 2*b = -2*h - 10, 2*h + 10 = -3*b - 0. Let j be (-76)/28 - -3 - 19392/30338. Let q = 2/197 - j. Which is bigger: q or b?
q
Let j = -673/5814 - -13/102. Is j at least 1?
False
Suppose -2*w + 6*w + 5*j - 144 = 0, 0 = -3*w - j + 108. Let y be (-3)/2*60/w. Let h = -11.1 + 11. Which is smaller: h or y?
y
Let y = 141 - 90. Is y bigger than 52?
False
Let j be 2*10/4 + 1. Let r(x) = x**2 - x. Let a(h) = h**3 - 12*h**2 + 4*h + 5. 