21/5. Suppose b*r = o + 25, 6*r = o + r + 29. Let n be 3/o - ((-10036)/(-24))/13. Is n smaller than -34?
False
Let w = -5 + 15. Let p = 1128 - 1115. Let c = p - w. Is c bigger than -0.6?
True
Let a(t) = 225*t + 20. Let d be a(-5). Let c be 2/(-17) + 5616/d. Suppose -2*r - 4 = 6. Which is bigger: c or r?
r
Let c = 15118 + -15118. Is c less than or equal to 109.6?
True
Let x = 0.1748 + -0.3748. Which is bigger: x or -123?
x
Let p(y) = 258*y + 2146. Let u be p(-9). Is -188 greater than u?
False
Suppose -19*s + 4710 = -20*s. Which is greater: -4711 or s?
s
Let b = -13 + 10. Let l be b/8*784/(-294). Let h = 141/136 - 23/24. Which is bigger: l or h?
l
Suppose -87*k + 92*k + j + 369 = 0, -k - 5*j - 93 = 0. Is k bigger than -83?
True
Let b be ((-1690)/2964)/(4 + 10/(-2) - -3). Let v be (2/(-76))/((-3)/4). Let g = b + v. Is g < -1?
False
Let a be ((-2)/4)/(3 - (-183)/(-60)). Let v be ((-1)/5)/((-2)/a) + 2. Let g be (-2)/7 + (v - (-166)/(-7)). Which is smaller: g or -20?
g
Suppose 3*d + 5*a - 27 = 0, 7*a = -4*d + 2*a + 31. Suppose -95 = 5*h - z, 2*h - 2 = h - d*z. Let n = 20 + h. Which is smaller: 15/14 or n?
15/14
Let w be (121/66)/((-8)/(-2640)). Is w greater than or equal to 605?
True
Let s = -7060 - -7046.518. Is s less than -1?
True
Let o(x) = -7*x**2 + 39*x + 20. Let p(m) = 4*m**2 - 20*m - 10. Let h(l) = -6*o(l) - 11*p(l). Let b be h(-8). Which is smaller: -25 or b?
b
Suppose 0 = -2*c - 4*i - 2760, -734*c + 4173 = -737*c + 5*i. Which is smaller: c or -1/3?
c
Let u be 216907/(-1736) - (-40)/(-28). Is 1 > u?
True
Let u(z) = 84*z**2 - 5*z + 6. Let d be u(1). Let r(g) = -86*g**2 - 7*g + d*g**2 + 1 - 12*g + 5*g. Let x be r(-14). Is x less than or equal to 5/18?
False
Let w = -853 + 447. Let m = -226 - w. Let y be (6/(-10))/(12/m). Which is smaller: y or -11?
-11
Let f = -171.56 - -230.56. Which is smaller: f or 3/4?
3/4
Suppose h + 8 - 10 = 0. Let y(q) = 5*q**2 - 6*q + 9. Let v be y(h). Let f = 16 - v. Is f smaller than -1/49?
True
Let j = 100703/12 + -8392. Let y(s) = -s**2 + 5*s + 5. Let n be y(6). Let x be n*1/(-2)*-2. Are x and j equal?
False
Suppose -3*l - 2*n - 3*n = -3, -5*l = 4*n - 5. Is l > 2/1527?
True
Suppose 32*q - 36*q = -32. Let l be q/(-8)*4/2. Let v be (-2 - l) + 7/259. Is v less than or equal to -1?
False
Let f = -12 - -34/3. Let t = -2413486/7 - -344005. Let r = 777 + t. Which is bigger: r or f?
f
Suppose 3*h + 5*p = -128, 53 = -5*h + 3*p - 149. Let f = -31225/7 + 4420. Is h greater than f?
False
Let n(x) = -3*x**2 - 14*x - 31. Let m be n(-11). Let s = m + 261. Let i = -25 - -45. Which is greater: i or s?
s
Let g be (11 - (-426)/(-36)) + 5/(90/(-1569)). Which is smaller: g or -72?
g
Let k = 169.704 + -3.804. Let x = k - 166. Is 3 less than x?
False
Let k be 2 - (1/3 - (-17)/3). Let b be 75/287 - (-11)/(154/k). Suppose 2*f = -6, -4*a - a - 8 = f. Which is smaller: b or a?
a
Let u = -29.39 - -31.1. Let n = -1.27 + u. Which is smaller: n or 0?
0
Suppose 3*j + 24 = -4*c + 33, 3*j = -2*c + 3. Let m be j/(-4)*(10 - (5 + 5)). Is m not equal to 0.7?
True
Let p = -1571011/27 + 58176. Is -9 >= p?
True
Let b = -93 - -95. Let z be b/8 - (357/(-28) + -4). Let l = 43 - z. Which is smaller: 24 or l?
24
Suppose -5*z + 3*b = -80, 5*z = -12*b + 10*b + 105. Suppose -5*x = -3*v, 3*x - z*v = -15*v + 11. Which is greater: x or -15/7?
-15/7
Let k = 4.22 + 337.78. Let o = k - 341.904. Which is smaller: o or -2?
-2
Let c(d) = -d**2 - 12*d - 1. Suppose -4*h + 0*h + 108 = 0. Let k = -39 + h. Let q be c(k). Which is smaller: 1/31 or q?
q
Suppose -h = -3*o + 2*h - 21, h = -4*o - 13. Let c be 15/51*7*o/(-210). Which is bigger: c or -3?
c
Let h = 14 + -20. Let i(p) = p**2 + 4*p - 10. Let w be i(h). Let d be -22 + -2 - (3 - w). Are d and -26 nonequal?
True
Let t(p) be the first derivative of -p**4/4 + p**2/2 + p - 5. Let o be t(-1). Suppose 6 = -7*n - o. Which is smaller: 0 or n?
n
Let x = -3618.859 - -3619. Which is smaller: x or -6?
-6
Let c be -2 + (-24)/(-20) + 1296/1640. Do c and 5 have the same value?
False
Let v be ((-8)/1008)/(12/(-58) - 0). Let s = 1/108 + v. Let n = -31.9 + 32. Which is bigger: s or n?
n
Suppose -n - 11 = -142. Let z = n - 66. Do z and 64 have the same value?
False
Let i be 7/(588/215) - 1/7. Suppose -2*v = 168 - 170. Is i equal to v?
False
Let y be -6 + 2 + 0*(-1)/3. Let r = 14 + -11. Let a be r/(1*(-7)/6). Does a = y?
False
Let s(v) = 2904*v**3 + v**2 + 21*v - 23. Let y be s(1). Is y > 2903?
False
Let m = 70 + -69. Let y be (12/(-8604))/(m - (-2)/(-3)). Which is smaller: 0 or y?
y
Let f(o) = 2*o**2 + 2*o - 1. Let i be f(2). Let g = 15593 + -15593.32. Is g less than or equal to i?
True
Let k(c) = -28*c**2 - 943*c + 50. Let y be k(-34). Let h(l) = 85*l. Let p be h(-3). Is p > y?
True
Let r = 15833 + -15832.61. Is r <= 37/4?
True
Let a = 269 - 257. Let p be (-56)/48 + 6/a. Is -25 equal to p?
False
Let l be -3 + 6 - 350/135. Let d(o) = o**3 + 7*o**2 - 62*o - 25. Let s be d(-12). Is s greater than l?
False
Let z be 0*(-1 - 6/(-4)). Let k(x) = x**2 - 5*x - 133. Let q be k(14). Let o be (-30)/25*(190/30 + q). Do o and z have different values?
True
Let m = 578/2121 + 4/303. Is 149 smaller than m?
False
Suppose -2*r = 50 + 44. Let g(q) = -29*q**2 + 161*q + 33. Let y be g(6). Which is greater: y or r?
y
Let y = -37.2 + -7.8. Let m = 45.2 + y. Let b be 89/(-34) - (-20)/8. Is b bigger than m?
False
Let h be (-16)/((-3)/279*2). Suppose 3*m = -0*m + h. Is m equal to 247?
False
Let p(l) be the second derivative of -3*l**3/2 + 69*l**2/2 - 171*l. Let d be p(8). Is -26/9 at least d?
True
Suppose 909*q = 911*q + 2212. Which is smaller: -1103 or q?
q
Suppose 0 = -20*k + 7 + 393. Let g be (2 + -6)*((-2275)/k)/7. Which is greater: -2 or g?
g
Suppose 5*u - 4*q - 23 = 0, 15*u - 4*q - 32 = 19*u. Which is smaller: 0.273 or u?
u
Let q = 20 - -16. Let x = 1.6946 + -4.6946. Which is smaller: x or q?
x
Suppose -26*k = -2*h - 27*k + 611, -h - 4*k + 302 = 0. Which is greater: h or 302?
h
Let m be ((-6)/8)/((-102)/(-22)). Let b be 44 - (-8 - -31 - -20). Is m at least b?
False
Let f be ((-58)/(-145))/(565/300 + -1). Is f at least 1?
False
Let l = 36.70088 + -0.15088. Which is bigger: 0 or l?
l
Suppose 4*n = -5*q + 40024, 2*q + 4189 = -n + 20195. Is q greater than or equal to 8000?
True
Let r = -76 + 95. Let n be r/(-4) + 5/20. Let a = 5 - 9. Is n equal to a?
False
Suppose 1893 + 8562 = -17*m. Let t = 155592/253 + m. Which is greater: 0 or t?
0
Let j(u) = 7*u - 37. Let t(i) = 3*i - 19. Let a(w) = 2*j(w) - 5*t(w). Let k be a(14). Suppose b + 4*p = 35, k*p = 2*p - 20. Is 52 smaller than b?
False
Let p be (2688/189)/(1/6). Let b = -80 + p. Which is bigger: 4 or b?
b
Let g = -1.6 - 1.72. Let r = g + 3.38. Which is bigger: r or -8?
r
Let k be 6042/86640 - (-3 - 366/(-120)). Suppose -5 = 3*q - o, 4*q + o = -4 + 9. Which is smaller: k or q?
q
Suppose -4*o = 2*a - 74, -34 = -4*o + 2*o - 2*a. Suppose 2*x = -4*v + o, 4*x - 2*x + v = 32. Let f = x + -808/45. Which is smaller: 0 or f?
0
Let q(m) = -8*m**2 + 28*m - 51. Let y be q(15). Let a = -18621/13 - y. Is -1 at most a?
False
Let j = 7454 - 59549/8. Are -2 and j unequal?
True
Suppose -115 = -7*x - 80. Suppose 49*d = x*l + 45*d + 426, -4*d + 16 = 0. Which is smaller: -83 or l?
-83
Suppose 2*o + 3*w + 6 = w, 3*w = 6. Let b be 2/(-5) - (607/o + -2). Are 123 and b equal?
True
Let c = -9806.091 + 10432.77. Let p = c + -626. Let f = p + 0.021. Which is smaller: f or -5?
-5
Let x(z) = z + 8*z + 4*z + 6*z - 17 - z**2. Let v be x(18). Let s be -9 - -16 - 4/v. Which is smaller: 6 or s?
s
Let u be 4 - 2 - (125 + -124). Is 122/171 equal to u?
False
Let q be 3 - 3*(-180)/(-297) - (-2)/(-11). Is -17/72 != q?
True
Let i be (-1086)/60 + (-2)/(-20). Let v be ((-2)/(-1))/(8/388). Let z = v + -116. Is i < z?
False
Let p = -8.87312 - 0.12688. Is 1129 less than p?
False
Let w = 0.107 + 0.14. Let a = -17.247 + w. Is a less than -1.1?
True
Let n be (-18)/3 - (-12 - -8). Let z be 8/14 - 576/(-21). Let j be (-69)/z + (-6)/(-8). Which is greater: n or j?
j
Let a be (6 - 9) + 0 + 3. Suppose k - 48 + 31 = a. Suppose k - 16 = -b. Which is smaller: b or 9?
b
Let j(a) = -2*a**3 - 11*a**2 - 9*a + 1. Let o be j(-1). Are 96/217 and o non-equal?
True
Let w = -1391923352281/424 + 3282835793. Let m = w - -2302. Which is greater: m or -1?
m
Let s be ((-69)/138)/(