et g = f + q. Is g a multiple of 10?
False
Let d be (((-12)/8)/(-1))/(6/32). Let w(l) = l**2 - 7*l - 4. Let u be w(d). Is 13 a factor of 11/(-44) + 225/u?
False
Let f = -16 - -19. Let t(w) be the first derivative of 3*w**4/4 - 2*w**3/3 + 3*w**2/2 - 24. Does 17 divide t(f)?
False
Let v = -75 + 57. Is (-15052)/(-18) - (32/v + 2) a multiple of 59?
False
Let l(g) = 4145*g**2 - 15*g + 10. Is 6 a factor of l(1)?
True
Let r be (4 - 6)*45/(-10). Suppose -4293 = r*y - 13725. Is y a multiple of 12?
False
Suppose f - 3*w = -4, -6*f = -5*f - 2*w. Suppose 2 = -3*c + f. Suppose -c*n + 11*n = 162. Is n a multiple of 6?
True
Suppose 0 = -f - 5*o + 1254, -3*f - 6154 = -8*f + 4*o. Is 41 a factor of f?
False
Let j(t) = 4*t + 5. Let u be j(0). Suppose -l - 6 = -5*k, -u*l - k = 34 - 4. Is (l + 74)/(2/3) a multiple of 34?
True
Does 298 divide 30496 - -1*(-3 + 50/5)?
False
Let p(u) = 20*u**2 - 8*u + 18. Suppose -a + 4*n + 4 = 0, 4*a = -3*n - 2*n + 16. Is p(a) a multiple of 34?
True
Let g = -440 + 623. Is 9 a factor of g?
False
Let j = 21 + -84. Suppose -5*l - 355 = -5*u, -12*u + 2*l - 146 = -14*u. Does 12 divide (u/(-10))/(j/420)?
True
Let t(x) = x**2 - 8*x + 69. Let g = -154 - -162. Is t(g) a multiple of 2?
False
Let i(l) = -8*l**2 - 4*l - 5. Let v(d) = -7*d - 1. Let u(w) = -13*w - 2. Let h(t) = -6*u(t) + 11*v(t). Let r(c) = 2*h(c) - i(c). Does 20 divide r(-3)?
False
Suppose 167 = 21*p + 62. Suppose -17*t + 1908 = -p*t. Is t a multiple of 10?
False
Let u = -2893 - -3820. Let x(j) = j**3 - j**2 - j + 57. Let b be x(0). Suppose 0 = 6*p - u - b. Is 41 a factor of p?
True
Let b be 14/(-20)*6 + (-16)/20. Is 5 a factor of (-1176)/(-30) + (-4)/b?
True
Suppose 0 = -4*b - 5*r + 5, 5*b - r + 45 = 3*r. Let n(x) = -x**3 + 2*x**2 + 3*x + 2. Let c be n(3). Is -21*(c + b) + 0 a multiple of 16?
False
Suppose -12 = -2*r + 3*q, -r = 20*q - 16*q - 28. Suppose j = -x + r, 2*j - 5*j - 12 = -x. Does 3 divide x?
True
Let u = -838 + 1248. Is 10 a factor of u?
True
Suppose 0 = 5*v + 5*i - 18155, -3*i + 0 + 18 = 0. Does 58 divide v?
False
Let y = -80 - -70. Let t be (-4)/y - 3/((-90)/3648). Suppose 4*q = 286 - t. Is 38 a factor of q?
False
Let k(x) = 3*x + 4 - 16 + 4 + 10 - 354*x**2. Let w be k(-1). Let s = -223 - w. Is 11 a factor of s?
True
Suppose -5*q + 3*q - 66 = -4*t, 0 = 3*t + 3*q - 72. Suppose -t = -12*o + 125. Does 3 divide o?
True
Does 87 divide (1 - 1103)/(-36 - 7758/(-216))?
True
Suppose 0 = 3*g - 3*y - 646 + 193, 0 = -4*y. Does 12 divide g?
False
Suppose -73*l - 660920 = -114*l. Does 26 divide l?
True
Let j be ((-2)/(12/(-906)))/(-1)*-2. Suppose j*v - 303*v = -1956. Does 48 divide v?
False
Suppose 4*s = 3*m + 151891, 15*m - 151884 = -4*s + 19*m. Is s a multiple of 15?
False
Let b(h) = 3*h**2 + 5*h + 4. Let w be b(-2). Suppose 0 = -7*n + w*n + 45. Suppose -k = -4*d + n, -3*d - 3*k + 7 = -38. Is d even?
True
Let v be (-242)/(-55) + 14/(-35). Suppose 0 = 5*x - x - 4, 0 = 3*h - v*x - 152. Is h a multiple of 4?
True
Let w = -18 + 17. Let y be ((-18)/27)/(w/(-3)). Is -4 + 4 + (-204)/y a multiple of 14?
False
Let h be ((-105)/(-10) + -3)/(2/4). Is 7 a factor of (-766)/(-10) - (-6)/h?
True
Let u be -29*44/8*2. Let w be -2 - (-3 - -4) - (u + 0). Is (-4)/(-6) - w/(-12) a multiple of 4?
False
Let k be (-15)/15 + 1*7. Let t be (-108)/36 + (-5)/((-5)/k). Suppose t*r = 3*v - 474 + 42, 2*v = r + 289. Is 29 a factor of v?
True
Let o(r) = 2*r**2 + 33*r + 133. Let z = -637 + 617. Is o(z) a multiple of 8?
False
Let r be 2*(58/87)/((-4)/(-9)). Let m(i) = 20*i**2 + 8. Is m(r) a multiple of 21?
False
Let t(b) = 2*b + 38 + 2*b - 5*b. Let j be 42/6*(-91)/(-49). Does 14 divide t(j)?
False
Suppose -2*j - 5*g = -142, -4*g - g = -20. Let t = j + -61. Suppose -2*u = -4*p + 13 + 5, t = p + 5*u + 1. Is 3 a factor of p?
False
Let l be (-10)/(-75) - 1144/30. Let f = l + 125. Let v = 168 - f. Is 27 a factor of v?
True
Let m(p) = -p**3 - 9*p**2 - 26*p + 5. Is 5 a factor of m(-20)?
True
Let s = 2414 - 1142. Suppose 16*m = s + 1768. Is m a multiple of 9?
False
Suppose -4*g = u - 0*u - 4, 0 = -3*u + 3*g + 12. Suppose -5*r - 14 = -u*o + 4, 4*r + 6 = -o. Does 30 divide (-2)/o - (-63 + -15)?
False
Let n = 844 - 840. Suppose 2472 - 287 = -p. Is p/(-20) - 1/n a multiple of 8?
False
Does 18 divide ((-13608)/15)/((-2 - -6) + (-62)/15)?
True
Suppose -31*d - 2544 = -32*d. Is 17 a factor of ((-34)/4)/((-24)/d)?
True
Let z(l) = 28*l + 5. Let x be z(0). Is 25 a factor of (x - -13)/(0 - 3/(-56))?
False
Let u(s) = -s**3 - 31*s**2 - 78*s - 57. Is u(-31) a multiple of 9?
False
Suppose 161*h - 824318 = 820297. Is 10 a factor of h?
False
Let a(y) = -11*y + 6*y - 9*y - y**2 - 18. Let g be a(-12). Suppose 3*o + 2*l = 85, 3*o + g*l - 87 = 3*l. Does 3 divide o?
True
Suppose -4*p - 675 = m - 6790, 3085 = 2*p - 5*m. Suppose 243*q + p = 244*q. Is 15 a factor of q?
True
Let g be (-3 - -7)*(3/(-2))/(-1). Suppose 0*t = g*t + 204. Is t/((-2)/(6 - 4)) a multiple of 6?
False
Suppose 7*n = -25 - 10. Is 37 a factor of (n + (-76)/(-8))*(175 - -3)?
False
Let s = -93 + 101. Suppose -s*t = -5*t - 399. Is 19 a factor of t?
True
Let o = 36362 - 22378. Does 71 divide o?
False
Suppose -5*r - 3 - 2 = 0. Is 14 a factor of -3 - -30 - (r - 6)?
False
Let n = 26025 - 15729. Does 12 divide n?
True
Let b = -641 - -1375. Does 61 divide b?
False
Let z be (-1012)/69 + 6/9. Let t = 47 + z. Is 8 a factor of t?
False
Is 15159/(((-30)/4 + 1)*1486/(-9659)) a multiple of 16?
False
Let d be ((-27)/(-6) - 4)*(-36)/(-3). Let h(z) = -z**2 + 7*z - 4. Let n be h(d). Suppose 0 = -5*k + n*k - g + 393, 524 = 4*k - g. Is 22 a factor of k?
False
Suppose 1961*f - 1883*f = 688272. Is f a multiple of 8?
True
Suppose 0 = -9*l + 107 - 44. Suppose -4*m + 2*w + 656 = 0, -5*m = -l*m + 2*w + 326. Is m a multiple of 2?
False
Let n be 1*(-30)/(-12)*60. Suppose y = 86 + n. Is 27 a factor of y?
False
Let b be 108/(-2)*((-8)/(-16))/(-1). Does 11 divide (4677/b - -5) + 2/(-9)?
False
Let y(j) = -7*j**3 - 31*j**2 - 25*j - 416. Is 17 a factor of y(-16)?
False
Let u = 550 + 2907. Is 11 a factor of u?
False
Let m(q) = -q**3 + 52*q**2 - 313*q - 10. Let x be m(7). Suppose 3*p - p - 1280 = 4*k, -x*p + 2530 = -2*k. Is 18 a factor of p?
True
Suppose -7*n = -16 - 145. Let q = -16 + n. Let b(m) = 17*m - 31. Does 22 divide b(q)?
True
Suppose 7*r - 2*r = 3*w - 29, -19 = -w + 4*r. Suppose -w*q - 2 = -14. Let g(k) = k**2 - 3*k + 6. Is g(q) a multiple of 8?
False
Let h = -2154 + 3513. Is h a multiple of 9?
True
Suppose 0 = 9*p - 7*p. Suppose -8*w + w = p. Suppose 5*t + 300 = -n + 997, w = -2*t - 2*n + 274. Does 12 divide t?
False
Suppose -h + 2*o = -44340, 5*h + 30*o - 221615 = 23*o. Does 143 divide h?
True
Suppose -4*f - q + 71 = 0, -95 = -5*f - 0*f + 5*q. Let s(n) = -16*n**2 + n**3 - 2*n**3 + 7 + f - 3*n. Is s(-16) a multiple of 20?
False
Let f(w) = w**2 - 11*w - 66. Let s be f(15). Does 26 divide (-1 + s + 11)/((-1)/(-22))?
False
Let t(d) = 6*d - 1. Let n(z) = -129*z + 44. Let j(x) = -n(x) - 6*t(x). Does 99 divide j(16)?
False
Is 11 a factor of 260616/((-56)/(-7)) + -5 + 13 + -3?
True
Let x(i) = -10 - 9*i**2 + 2*i**2 - i**3 - 153*i + 137*i. Suppose 5*b - 2 = 2*v, -5*v - 26 = -3*b - 2. Is x(v) a multiple of 9?
False
Let x(m) = 7*m + 14. Let s be x(-3). Is -3 + 25/7 - 2726/s a multiple of 10?
True
Let d = -1891 + 3739. Suppose 6*n - 34*n = -d. Is n a multiple of 11?
True
Let s(w) = -w**3 + 65*w**2 + 27*w + 2791. Is s(64) a multiple of 25?
False
Suppose 175 = v - 48. Let s = v + -55. Does 12 divide s?
True
Suppose -5*y = -4*b - 12, 22 = 5*y - 7*b + 8*b. Suppose -250 = -2*h - y*c, -3*c - 150 = -5*h + 4*h. Does 27 divide h?
True
Let i(m) = -m**3 - 3*m**2 + 4*m + 1. Let n be i(-4). Let r be 2*n/2 + 4. Suppose r*d - 171 = 154. Does 13 divide d?
True
Let z(l) = 15*l + 4. Let a be z(1). Suppose 16*q - 227 = -a. Suppose -12*j = -q*j + 60. Does 19 divide j?
False
Suppose 91 + 117 = -2*i + 2*v, 3*v + 112 = -i. Let a = -63 - i. Is a a multiple of 43?
True
Does 77 divide -4 + (-15)/(-4) - (1324895/(-44))/17?
True
Suppose -3*i + 891 = 4*r, 4*i - 2*r - 269 = 897. Let v = i + -94. Is v a multiple of 13?
False
Let a = 3256 + 1876. Suppose 0 = -5*m + h - 0*h + a, -2*h - 5129 = -5*m. Does 79 divide m?
True
Let k = 35032 - 33430. Is 90 a factor of k?
False
Let s(t) = -t**2 - 5*t - 19411. Let h be s(0). Is h/(-35) - -4 - (-4)/1