) = -6*u(d) - x(d). Let i be n(3). Which is bigger: 2/45 or i?
2/45
Suppose -6 = b - 8. Suppose -b*k = q - 3, 0 = 3*k - q - 1 - 1. Is k at most as big as -4/17?
False
Let t be 12/(-6)*(-1)/15. Let g = -5 - -3. Let u be 18/(-24) + (-1)/g. Is u greater than t?
False
Let q(m) = 5*m**3 - 4*m**3 - 2*m**2 + 1 - 3*m**2. Let f be q(5). Are -4/21 and f unequal?
True
Let x be 41 + -48 - 2138/(-306). Which is smaller: 1/3 or x?
x
Let n be (-1365)/3 - (1 + -2). Let j = -4078/9 - n. Which is smaller: j or 2?
j
Suppose 0 = 6*y + 6*y - 12. Let f be (-9)/2*(y + -11). Are f and 45 equal?
True
Let v = -1605 + 1603. Let q be 5/(-2) - (-2)/(-4). Are q and v unequal?
True
Let f(h) = 10*h - 126. Let c be f(13). Let t be (6/(-14))/((-3)/33). Is t less than or equal to c?
False
Suppose 0 = 5*t - 6*t + 20. Which is bigger: -7 or t?
t
Let h = -165.1 - -165. Is 6 greater than h?
True
Let b = 299 + -287.2. Which is smaller: b or 0?
0
Let j be ((-7)/7)/(2/8). Let v be (j + (-12)/(-3))/4. Suppose -n + 25 = -3*z - 2*z, -5*z - n - 25 = v. Which is smaller: z or -6?
-6
Suppose 4*r - 84 = -4*z, -2*r + 4*r + 22 = 2*z. Let a be (-140)/(-8) + 6/(-4). Is z >= a?
True
Suppose 3*p = 5*y - 60, 2*p + 61*y + 53 = 60*y. Are p and -19 nonequal?
True
Let s = 0.06 + 0.05. Let y = s - 0.15. Let j = 0.14 + y. Which is smaller: j or 5?
j
Let b(g) = -5*g - 1. Let x be b(2). Let k = 1077 + -5446/5. Which is greater: k or x?
x
Suppose 0 = j - 2*j - 4. Let f be (-48)/18*(-6)/(-4). Let c = -2 + f. Which is smaller: j or c?
c
Let t = 257 + -244. Which is smaller: -6 or t?
-6
Suppose 0 = -5*x - 4*c - 24, 0*x - 3*x - 7 = -5*c. Let f be 31 - (3 - x/8*-6). Is f greater than or equal to 30?
True
Let j = -2 - -9. Suppose 0 = -3*z - 0*z + 36. Suppose 5*k = 2*b - 11, -5*k - z = 3*b - 41. Which is bigger: j or b?
b
Suppose 2*r - 5*g = 825, 5*r + 2*g = -3*g + 2115. Let w be 4/6*10/(r/9). Is -1 at least w?
False
Let d(g) be the second derivative of -g**5/20 - 5*g**4/12 + g**3/6 - 7*g**2/2 - 23*g. Let c be d(-5). Which is greater: c or -37/3?
c
Suppose -5*r - 4*u = 8, -5*u + 31 = -6*r + 2*r. Which is bigger: -5/2 or r?
-5/2
Let c = -37.46 + 38.6. Is c bigger than -2?
True
Let w be 10/4 + (-99)/(-30). Is 5 not equal to w?
True
Let s be ((-34)/(-30))/(-4*(-18)/240). Is 3 less than s?
True
Let x be 9/(-7) - (-2)/7. Let r = 1 - x. Let j = 1659 + -1658. Is j >= r?
False
Let s be (7 - (-124)/(-18))*843/2. Which is greater: s or 46?
s
Let o = -0.1666 + -0.4534. Which is smaller: -2/29 or o?
o
Suppose 4*i + k = -5, 3*i - 6 = -4*k - 0*k. Let d = -0.1872 - -7.1872. Which is smaller: i or d?
i
Let y be (296/(-24) - -13)*(-3)/(-8). Which is smaller: y or 67?
y
Let r = -557 - -33976/61. Are r and -1 non-equal?
True
Suppose -7*z = -20*z - 208. Which is smaller: z or -14?
z
Let v be 4/(-14) - (675/63 - 6). Which is smaller: 3 or v?
v
Let x be 2/(2 - 0) - 18. Let u = x - -21. Let b(g) = g**2 + g - 7. Let s be b(-4). Which is bigger: u or s?
s
Let v = -284 - -1990/7. Let b = 18/25 + -464/575. Which is smaller: v or b?
b
Suppose -a = -r - 0*a + 10, -r + 22 = -5*a. Let d(p) = -p**2 - 9*p - 9. Let c be d(-10). Let k = -12 - c. Is r greater than k?
False
Suppose 5*k - m = -1, k + 5*m + 29 - 8 = 0. Let c = 157 - 3295/21. Which is smaller: k or c?
k
Let f = -198 + 2577/13. Let i = 2/13 - f. Suppose 4*b - 4 + 4 = 0. Is b bigger than i?
True
Let i = 150 + -150. Is i at most as big as 69?
True
Let z = -202.99 + 202. Let b = -0.98 - z. Which is bigger: b or 2?
2
Let f = -3.3 - -2.9. Let n = -1 - -1. Does n = f?
False
Suppose 2*v + 19 = x, 0 = v + 2*v + x + 31. Let j = 13 + v. Suppose r + 28 = -j*r. Which is smaller: -8 or r?
-8
Suppose 165 = 5*x - 5*r - 55, 5*x - 3*r - 212 = 0. Let n be (-66)/85 + 1 + (-16)/x. Do n and 1 have the same value?
False
Let o(q) = 13*q**2 - 11*q - 8. Let g be o(-7). Let t = 46639235/66069 + 65/7341. Let i = g - t. Is i at least as big as 0?
True
Let x be ((-50)/175)/((-1)/182). Which is smaller: 50 or x?
50
Let m be (182/(-56))/(-2 - 7/(-4)). Which is bigger: m or 7?
m
Let h = -0.56 + 0.7. Let j = h - 0.24. Which is bigger: -16 or j?
j
Let v = -104 - -96. Which is greater: v or -3?
-3
Let f = 1 + -1. Let h be 8 + -6 + 0 + f. Suppose -2*j + 2 = 5*t, 0 = -h*t - t. Do j and 2 have different values?
True
Let w(o) = -2*o**2 + o + 3. Let c be w(2). Let p = -3 + c. Let f be p/27 - (-12)/54. Does f = 2/15?
False
Let y = 0.2636 + -5.2576. Let r = y + -0.006. Is -2/13 != r?
True
Let a = -32309 + 32314. Suppose -5*c + 2*j = 650, 390 = -0*c - 3*c - 3*j. Let n = -648/5 - c. Is a less than n?
False
Let l = 56/3 + -1046/57. Suppose 5*b + 4*h = -1, -3*b + 2*h - 10 = -5. Is l > b?
True
Let n(i) = 3*i. Let q(h) = -6*h. Let m(o) = -5*n(o) - 3*q(o). Let z be m(-1). Let v = -631/4 - -155. Is z less than or equal to v?
True
Suppose -3*a + g = 0, -g + 6 = g. Is -2/387 != a?
True
Let u(o) = -4*o - 14. Suppose 3*i - 9 = q - 2, 4*i = 3*q + 21. Let l be u(q). Is 15 equal to l?
False
Let x = -20/19 + 18/19. Let o(v) = 29*v + 812. Let d be o(-28). Which is bigger: d or x?
d
Let n be (-252)/(-99)*(-5)/(-20). Which is smaller: 0 or n?
0
Let k = 0.14 + -6.14. Let v be 3240/21 - (-4 + 8). Let s = v + -150. Which is smaller: s or k?
k
Suppose -40*t + 3471 = -t. Which is bigger: 353/4 or t?
t
Let w be ((-2)/(-2) - 1)*-1. Let l = -78 - -123. Let o = l + -46. Which is smaller: o or w?
o
Let s be 20*(3 - 20/8). Is 12 <= s?
False
Let b = 10180 - 4132. Let t be b/(-40) + (-4)/5. Let v be t/4*(-1)/(-10). Is -5 greater than v?
False
Let y(q) = -q**2 - 4*q + 6. Let l = -1 - 4. Let j be y(l). Let a(v) = -v**3 - 17*v**2 + v + 20. Let h be a(-17). Is h > j?
True
Let g = 1158 - 1172. Which is greater: g or -23?
g
Suppose 0 = -2*z + 5 + 5, -5*z - 81 = -2*a. Is a equal to 54?
False
Suppose -23 = -5*l - p - p, -3*l = 3*p - 12. Suppose 0 = -3*n + l*n - 8. Let r be n/2*3/6. Which is greater: r or -1/3?
r
Let o = 9795 - 9792. Let r = 706903/9 + -78626. Let s = r - -83. Which is smaller: o or s?
s
Suppose -52*w + 42 = -22 + 12. Suppose v = 5*v + 4. Let f be 0/(((-2)/v)/1). Which is greater: w or f?
w
Let p(y) = -y**3 + 15*y**2 + 17*y - 14. Let s be p(16). Let o be 4/(-2)*24/(-6). Suppose 5*f - m - 17 = 0, 5*m = m - o. Which is bigger: f or s?
f
Let v = -2 + 6. Let a = v - 4. Suppose 4*b + b - 2*i - 10 = a, i = 0. Is 1/2 smaller than b?
True
Let x be (-3)/(3 - 6)*-1. Let j = 147363/80 + -1842. Is x not equal to j?
True
Let x be -5 + 8 + -1 - (2 - -2). Let t be (-5)/7*2*x/10. Which is greater: t or -1?
t
Suppose 0 = 3*i - i. Suppose 2*u - h - 2*h - 22 = i, 4*h = -16. Is 6 at least u?
True
Let t = -0.0113 - -0.1013. Let f = 4 + -4.1. Let o = 0.1 + f. Are t and o equal?
False
Suppose 6*i + 2 - 2 = 0. Suppose -p = -i*p - 0*p. Is 2/59 <= p?
False
Let q(m) = m**3 - 9*m**2 + 9*m - 7. Let h be q(8). Is h less than -6/19?
False
Let r = -68 - -25. Let t = r + 47. Is 28/11 > t?
False
Let w = 168829/57 + -2962. Does w = 1?
False
Suppose w - 3*w = 144. Which is bigger: w or -4?
-4
Let z(o) = -23*o**2 - 104*o + 54. Let b be z(-5). Suppose -5*k = -2*w + 3*w - 8, -3*k - 3*w = -12. Let m be (-2)/8*k/(-6). Is m at most b?
False
Suppose -36*o + 45 = -41*o. Is -4 >= o?
True
Let j = -1682 + 1754. Is j greater than 215/3?
True
Let y be 2/4*(-6)/17. Let w(d) = 14*d - 12. Let n be w(2). Let g = n + -16. Which is greater: g or y?
g
Let o = -563 - -521. Are -38 and o equal?
False
Let c = 0.1 - -0.1. Let i = 22 + -61. Let t = i + 43. Which is greater: t or c?
t
Let q be -3 + 16996619/19 - 0. Let h = q + -894239. Let j = -317 + h. Which is greater: j or 1?
1
Suppose -5*u + 1022 = 2*u. Let k = u - 1024/7. Is k not equal to -2?
True
Let n = -1113 + 1113. Is n smaller than -1/45?
False
Let r = 572/7 + -647/14. Which is smaller: 35 or r?
35
Let i be 35/(-24)*(-21)/(-280). Is -1 <= i?
True
Let o be -2*1 - (19 + -11). Let s = o - -11. Let j = 1486/11 - 135. Which is bigger: s or j?
s
Let t be -2*1*(19 + -18). Let l be -187 + (t - -4) + -5. Let k be (-100)/l + (-2)/4. Is k <= -1?
False
Let k(d) = -117*d - 8. Let n be k(-2). Is n != 225?
True
Suppose -5*g = -3*g + 28. Let f = g + 13. Is f <= -1/54?
True
Let g be 676/1183 - (-3078)/28. Are g and 112 equal?
False
Let x(s) be the third derivative of -s**5/60 + 5*s**4/24 - 5*s**3/6 - 3*s**2. Suppose 5 = g + 1. Let o be x(g). Are o and 2 unequal?
T