be j(-4). Suppose -17*c - 6 = -16*c + 4*f, 4*f = 4. Let q be (c + 430/40)*(-300)/(-3). Which is smaller: q or l?
q
Let x be (1 - 60/48) + 2/49. Are x and 1 non-equal?
True
Let p = -49/4213 + -5677899/105325. Let c = -54 - p. Let k be ((-12)/(-18))/((-4)/6). Which is smaller: k or c?
k
Let z be (1 - 3)/((24/1434)/(-2)). Let q = 205 - z. Which is greater: -36 or q?
q
Let t = -32757/230 + 712/5. Suppose -3 = l, o + 2*l + 7 + 1 = 0. Let b be 17/(-35) + o/(-10). Are b and t unequal?
True
Suppose -5*z - 5*l = -0*z - 85, 0 = -3*z + l + 67. Let p = z + -21. Suppose -24 = -p*b + 8*b. Which is bigger: b or -15/4?
b
Let w be (1/2)/((-6)/(-12)). Let o(u) = -35*u + 3. Let a be o(-7). Let j = 21578/87 - a. Which is smaller: w or j?
j
Let s = -34 + 32. Let v be (3/s - -1) + (-408)/(-16). Suppose y + 71 = 3*k, 3*k + 3*y = 5*k - 52. Is v != k?
True
Let f be (-756)/(-630) - (-22692)/(-110). Which is smaller: f or -206?
-206
Suppose 28*b - 8*b = 0. Which is greater: -2/5777 or b?
b
Let u(z) = -27*z**2 - 12*z - 26. Let v be u(-2). Which is smaller: -78 or v?
v
Suppose 0 = 5*v - 10, -v = -n + 4*n - 380. Let j be 9/(n/4) - 7248/770. Let b = -42/5 - j. Which is bigger: b or -1/3?
b
Let d be 2/6*(-3871)/539. Is d <= -1?
True
Let k = 611 + -609. Let p = -7.6 - -1.6. Let o = 4 + p. Is o bigger than k?
False
Let k(x) = -3*x + 35. Let t be k(-30). Let l = -11 - t. Which is greater: -137 or l?
l
Let t = 4408 - 4439. Which is bigger: 0.08 or t?
0.08
Let p = 27 + -32. Let u be (p/(105/54))/(6/(-28)). Let l be (0 - -1)*26/2. Which is smaller: l or u?
u
Let l be (23/(-161))/(8/(-42))*(35 + 1). Which is greater: -8 or l?
l
Let a = -39 - -59. Suppose 0 = c - 2*t - 5, 4*c - 12*t + 7*t - a = 0. Let w = 2.6 - 2. Do w and c have different values?
True
Let v = 0.2 - -6.8. Suppose 2*p = -4*x - 1840, -5*p + 206 = -2*x - 738. Let y = x + 4619/10. Which is greater: y or v?
v
Let c = 0.1127 - -507.8873. Let m = c - 510. Which is bigger: m or 4?
4
Let x(c) = -146 - 2*c - 5*c + 4*c - 2*c. Let o be x(-29). Which is greater: -16/7 or o?
o
Suppose -6*n - 36 = -8*n. Suppose 24 + n = -3*z. Let k be 4/z - (-1)/((-35)/(-325)). Is k less than or equal to 17/2?
False
Let b be (-15)/(-2)*12/9. Suppose -2*l + 3 + 1 = 0. Suppose 0 = l*u - b - 28. Which is smaller: 20 or u?
u
Suppose -51 = 5*v + 4*w - 41, -3*v - w + 1 = 0. Which is greater: 1/100 or v?
v
Let l be (12/((-16)/(-4)) + -1)*36/(-3264). Does l = 0?
False
Let o = 4231 - 4242. Let u = -25 - -15. Is u smaller than o?
False
Let i = 12405 - 12404.9. Let x be -3 + (-147)/(-39)*1. Is i less than x?
True
Let p = -301819 - -933514/3. Is 9353 > p?
True
Let t be ((-40)/436)/(1*-2). Let d be ((-2)/1)/(476 - 474). Is d greater than or equal to t?
False
Let a = -2.727 - -13.897. Let q = a - 0.17. Which is bigger: q or 0.3?
q
Let c be 1/((-3)/(-6) + 45/(-86)). Let v = c + 45. Let s be 2 - ((-24)/(-39))/(-2). Is s equal to v?
False
Let y = 2914 + -2913.78. Which is bigger: y or -7?
y
Suppose 4083 = -3*p + 5*d, 51*d = p + 52*d + 1369. Let i = -1366 - p. Let q = 3471/155 + -111/5. Which is smaller: q or i?
i
Let q be (3 - 1)/(-6 - (-96)/15). Suppose -2*d + 2*n = -3*d + 4, -d = 3*n - q. Suppose -2 = -0*w + d*w. Is -1/3 < w?
False
Let z = 6148 - 1924322/313. Let w = z + 923/2504. Is w < -3?
False
Let l = 18/9389 - -25401/9389. Does 3 = l?
False
Suppose -2*j + 3 = 2*v + 7, -2*j = v + 5. Let h be -50 + (j/(-4))/((-4)/(-16)). Is h < -47?
False
Let x be (548/411)/((-12)/(-3735)). Do 408 and x have different values?
True
Let y(b) = -b**2 + 5*b + 11. Let n be y(4). Let i = -7 + n. Let k be i/(-20) - 48/(-220). Is 0.07 bigger than k?
True
Suppose -4*z - 3*r = -145, 4*z - 2*z - 77 = 3*r. Suppose 0 = -40*k + z*k - 15. Let x be 3*k/(-15) + (-1 - -3). Which is smaller: x or 7?
x
Let p = 0.2485 + -0.1985. Is p at least as big as -1503?
True
Let r be 4/(-78) + (-32325088)/(-146328). Is r >= 221?
False
Let v = 562 + -562.2. Let q = -101 + 607/6. Which is greater: v or q?
q
Let u = 135.8 - 86.8. Is -0.6 at least as big as u?
False
Suppose k - 15*y + 11*y = 8, -4*y - 88 = 3*k. Let u = 77 - 41. Suppose 2*j = 4*j + u. Is j greater than or equal to k?
True
Let r(x) be the third derivative of x**4/24 - 2*x**3/3 + 5*x**2. Let g be (-21)/(-5) - 8/40. Let k be r(g). Is k greater than 0?
False
Suppose 6*a + 30 = -0*a. Let y(g) = g**2 - 10*g - 9. Let r be y(10). Let d = 10 + r. Is d bigger than a?
True
Let h = 1954/7 + -810896/2905. Is -1/3 less than or equal to h?
True
Let g = 780 - 1061. Is g bigger than -283?
True
Suppose 16 = -86*k + 90*k, -2 = -2*l - k. Is l >= -3/1372?
False
Let q(m) = -m - 16. Let n be q(8). Let k be (n - 1)/5 - -17. Which is bigger: 5 or k?
k
Let s = -1.8325 - -0.7825. Which is greater: s or 12?
12
Let d be (-146)/(-73)*(123/25 + -3). Is d less than or equal to 4?
True
Suppose 0 = -28*r + 48 - 20. Let s be (-5 - 38/(-8))/r. Which is smaller: s or -379?
-379
Suppose -3*g - g = 0. Let r = 10348 + -10377. Which is smaller: g or r?
r
Let y be 5*(-13)/(325/(-15)). Suppose -y = -10*d + 17. Is 14/11 bigger than d?
False
Suppose -5*v = -4*o + 36, -3*v = 12*o - 17*o + 45. Suppose -4*s - 25 = 5*x - o*s, 2*s = -5*x + 10. Which is bigger: 8/25 or x?
8/25
Let a(h) = h**3 - 8*h**2 - 88*h + 143. Let x be a(14). Are x and 69 equal?
False
Let r = 0.465 + 185.535. Let l = r - 189. Does l = 10?
False
Let x = -25 + 29. Let i be -2*((-4)/6)/(x/3). Which is greater: -8/17 or i?
i
Let k = -2 - -4. Let x(d) = d**3 + 13*d**2 + d + 16. Let f be x(-13). Suppose -f - 3 = -3*n. Is n < k?
False
Suppose 0 = -165*f - 58*f. Is f <= -2/389?
False
Suppose 15056 - 130943 = -188*d + 206157. Are d and 6851/4 non-equal?
True
Let f be (-368)/(-1748) + (-1391)/19. Let t be -2 - (3*24 - -2). Is f > t?
True
Let b = 17.771 - 19.331. Does 14 = b?
False
Let n = -2121 + 2127. Is n greater than -86?
True
Let r = 166047/19 - 8733. Let x = r - 834/133. Is 2 at most as big as x?
False
Let k be 9*(-3)/(-9) - -24. Let n = 231 - 204. Is k less than n?
False
Let r = -15854 + 25299. Which is smaller: 0.1 or r?
0.1
Let h be (-27)/(-81) - 76/3. Let o be 15/h*5/(-9). Is o != -1?
True
Let t = -569/7 - -1630/21. Is -5 bigger than t?
False
Let x(h) = -350*h**3 + 5*h**2 + 9*h - 26. Let m be x(2). Which is bigger: m or -2789?
m
Let f = -254/21 - 16411/42. Let x = 399 + f. Let y = -7/3 - x. Which is smaller: y or 3?
y
Suppose 0 = -21*q - q + 4466. Let d = 202 - q. Is d < -1/161?
True
Suppose -49 = 5*r + 151. Let y = 600 - 614. Let x(d) = 26*d + 325. Let p be x(y). Which is greater: p or r?
p
Let g(d) = -6*d - 18. Let b be g(-3). Let z be 12/(-4) - (430/(-145) + b). Which is smaller: z or 1?
z
Let v be 19/((-13908)/(-4128)) + -4. Is v bigger than 2?
False
Let t = -21.91 + 22. Let m = t - 0.04. Let s = 0.2766 + -0.1766. Is m not equal to s?
True
Let o(n) = -n**3 - 45*n**2 + 45*n + 358. Let w be o(-46). Do w and 407 have the same value?
False
Let a = -237.2 - -235. Let r = -8.2 - a. Is 2.6 > r?
True
Let i = -12.642 - -12.542. Which is greater: 1.769 or i?
1.769
Suppose 4*y - 7 = 3*s, -y + 3*y = -s + 1. Let f be ((-21)/84 + s/4)*-46. Is 19 greater than or equal to f?
False
Let g be (6/4)/(57/31198). Let a = g - 823. Are -27/16 and a nonequal?
True
Let b = 6001/24 + -1139/8. Which is smaller: b or 107?
107
Let f be 1*(-16)/(-12) - (-4)/6. Suppose 3*d - f*q = q - 39, 0 = d + 4*q - 7. Which is smaller: -8 or d?
d
Let m = 3/13085 - -39126/562655. Let g(a) = a - 4. Let s be g(6). Let u = s + -3. Is u < m?
True
Let o(m) = -754*m**2 + 6*m + 2. Let f be o(-2). Let y = f - -305629/101. Which is smaller: y or 1?
y
Let a(b) be the second derivative of -b**4/12 - 3*b**3 + 28*b**2 - 2*b - 25. Let r be a(-21). Is -29/5 equal to r?
False
Let x(f) = -2*f + 6. Let z be x(2). Let s be (-1 - -19)*2/(3*z). Suppose 5*w - c = 2*c + 10, 3*c - 15 = 0. Which is smaller: s or w?
w
Let d = 113 + 30. Let s be (-1287)/(-6)*30/9. Suppose 0 = -322*x + 317*x + s. Are d and x unequal?
False
Let v be -3*((-394)/36 - (-64)/16). Let i = 869/42 - v. Is 1 <= i?
False
Suppose -5*t = 5*h, -6*h + 4*h - 5*t = -12. Does h = -101/33?
False
Let f be 5 + (-12)/(-2) - 0 - 321. Does -312 = f?
False
Suppose 3*z + 134 = -2*w, 5*w + z = -z - 346. Let q be 15/w*32/12. Which is greater: q or 0?
0
Suppose 3*b + 2*b = 10. Let f be ((5/6)/(45/567))/(78/8). Do b and f have the sa