 - 6*p - 9. Let l be y(11). Let z = l - -301. Does 35 divide z?
True
Let n(o) = -o**2 - 12*o - 6. Let d be (-3 + (-10)/(-4))*4. Let u be 22/(-4) - d/(-4). Is 10 a factor of n(u)?
True
Let n(g) = -3*g**2 - 6*g + 7. Let l(i) = 6*i**2 + 11*i - 13. Let t(f) = 4*l(f) + 7*n(f). Is t(3) a multiple of 6?
True
Does 29 divide 684 + 0 + (18 - 23)?
False
Let y = 31 + -33. Does 44 divide 5 + -1 + (y - -2) + 172?
True
Let v be (36 + 4)/(2/8). Suppose a - 3*a - 5*g + v = 0, -5*a + 400 = 2*g. Does 8 divide a?
True
Suppose -16*p - 30 = -17*p. Is p a multiple of 3?
True
Let l be (-93)/12 + (-2)/8. Let t be 6/(-3 - 12/l). Let m(x) = -x**3 - x**2 - x. Is 13 a factor of m(t)?
True
Let u(r) = 582*r - 24. Does 30 divide u(2)?
True
Suppose -2*z = -0*z - 18. Let d be 645/20 - (-2)/(-8). Suppose z*x - 11*x + d = 0. Is 15 a factor of x?
False
Let o be (8 - 10 - 2/(-1))/(-1). Suppose -3*x = -2*w + 340, -5*w + 2*x + 274 + 576 = o. Is w a multiple of 10?
True
Let z = -125 + 345. Is z a multiple of 20?
True
Let u(h) = 2*h + 1. Let p be 0 + (-4 - -3) + 3. Let k be u(p). Suppose 2*n - k*x - 45 = -0*n, 3*x = n - 25. Is n a multiple of 7?
False
Let w = 42 + -14. Let h(m) = -m + 10. Let f be h(5). Suppose f*c - c = w. Is c a multiple of 3?
False
Let g be (3/(4 + -7))/(3/150). Does 23 divide (-45)/12 - 4/16 - g?
True
Suppose -t + 25 = 4*t. Suppose -5*v - 355 = -5*b, 5*v = -b - t + 52. Is 20 a factor of b?
False
Suppose 236 + 688 = 7*m. Is 12 a factor of m?
True
Let n(g) = g**2 + 26*g - 108. Is n(-38) a multiple of 20?
False
Suppose 11*m - 878 = 508. Does 63 divide m?
True
Suppose 20*y + 3 = 21*y. Suppose 0*d + 45 = y*d. Is d even?
False
Suppose -5*l + 5 = -5. Is 2/l + 10 + 25 a multiple of 25?
False
Let f = -240 + 259. Does 19 divide f?
True
Suppose p = 3*m - p + 7, -5*m = -2*p + 5. Let w = -1 + m. Let i = w - -5. Is i a multiple of 5?
True
Is 10164/252*3*2 a multiple of 44?
False
Suppose 10*y - 14 - 6 = 0. Suppose -y*s - 136 = -t, 2*s + 563 = 3*t + 147. Does 11 divide t?
False
Let w = 86 + -84. Does 9 divide 3*175/30*w?
False
Let v = 6457 - 3688. Is 71 a factor of v?
True
Suppose 2 = i - 1. Suppose -3*j + 6 = -3*f, -i*f = -2*j - 0*j + 4. Is 3/j*(3 + 55) a multiple of 24?
False
Let l = -97 + 307. Does 17 divide l?
False
Let v = -23 - -24. Suppose 3*z + 5 + v = 0. Let a = z + 12. Is a a multiple of 4?
False
Let v(q) = 5*q**3 + 2*q**3 - 7*q**3 - q**3 - 6*q**2 + 2*q - 7. Let s be v(-7). Is (-1)/(1/s*-1) a multiple of 12?
False
Suppose -54596 = -54*h + 20680. Does 5 divide h?
False
Let y(v) be the third derivative of -v**6/120 - v**4/24 + 7*v**3/6 - 14*v**2. Is 7 a factor of y(0)?
True
Let n(i) = -i**2 - 5*i + 4. Let d be n(0). Let j = d - 0. Does 3 divide j?
False
Suppose 2*g + 176 = 2*v, -3*v - 4*g + 280 = -3*g. Does 3 divide (5/(-40)*4)/((-2)/v)?
False
Does 11 divide (-19 - -10) + 230 + 10?
True
Suppose -2*u - 11 = 4*i - 3, 0 = u + i - 1. Suppose -u*p - 48 = -8*p. Is p a multiple of 24?
True
Let j = -70 + 75. Suppose -11*n = -j*n - 480. Does 31 divide n?
False
Let l(s) = -2*s + 1. Let h be l(0). Let d(g) = -19*g - 1. Let x be d(h). Is (-7)/(((-16)/x)/(-4)) a multiple of 5?
True
Let f be ((-9)/(-2) - 1) + 1/(-2). Is 20 a factor of f - 1 - (-98 - (-1 - 0))?
False
Suppose -2*p - 5*g + 9 = -63, 5*p - 146 = -4*g. Let h = 36 - p. Suppose 7*f - h*f + 30 = 0. Is 10 a factor of f?
True
Suppose -28*w - 7*w = -14105. Is w a multiple of 15?
False
Suppose 13*c + 5908 = 27*c. Is 28 a factor of c?
False
Let m(l) = -l + 9. Let o be m(7). Suppose 0 = -o*s + 7*s + 150. Let z = s - -46. Does 8 divide z?
True
Let v(k) = 3*k + 24. Let p be v(-5). Does 10 divide -5*(-8)/60 + 381/p?
False
Suppose -71 = y - 407. Does 13 divide y?
False
Let z(d) = -d**2 - 7*d + 5. Let x be z(-5). Let u be 51/x - 3/(-5). Suppose -u*l = -0*l - 180. Is 18 a factor of l?
False
Let d(t) = -8*t**2 - 16*t + 17. Let o(m) = -7*m**2 - 15*m + 16. Let a(s) = 6*d(s) - 7*o(s). Let q be a(-10). Suppose -3*x - 24 + 72 = q. Is 16 a factor of x?
True
Let m = 30 - 36. Is 12 a factor of (135/m)/(-5)*4?
False
Let p = -15 + 15. Suppose d = -p + 1. Does 3 divide (4 - 2)*2*d?
False
Let j(b) = b**3 - b**2 - 2*b + 3. Let z be j(2). Suppose 3*g + z*c - 107 = -c, 4 = -c. Does 24 divide g?
False
Suppose 12*x - 14*x = 18. Let w = 8 + 1. Does 8 divide (-6)/x - (-75)/w?
False
Does 11 divide 44/(-1*1/(-4))?
True
Let h(c) = c**3 + 9*c**2. Is 4 a factor of h(-5)?
True
Let d(i) = -3*i + 8. Suppose -b = 5*b - 18. Let y be d(b). Does 27 divide (-73)/y - 20/5?
False
Let o(b) be the third derivative of b**6/120 + 3*b**5/20 - b**4/2 - 13*b**3/6 - 50*b**2. Suppose -3*i + 0 - 30 = 0. Is 2 a factor of o(i)?
False
Let y(g) = -g**2 - 16*g - 25. Suppose -4*i = s + s + 20, -5*s = -3*i + 63. Is 7 a factor of y(s)?
False
Let f(o) = 106*o - 102. Is f(5) a multiple of 50?
False
Suppose 6*j - 4*j - 160 = 0. Suppose -26 = 2*t + j. Let i = 107 + t. Is i a multiple of 11?
False
Suppose 7*w - 5*w = 0. Suppose -s - 2*y + w*y = -63, 0 = 5*y. Is 31 a factor of s?
False
Suppose 1265 = 6*w - 1735. Is w a multiple of 25?
True
Let w(n) be the first derivative of 4*n**4 + 2*n**3/3 + n**2/2 - n - 9. Is w(1) a multiple of 6?
True
Suppose 23*p - 39*p + 8064 = 0. Does 93 divide p?
False
Suppose -73*p + 125158 = -111800. Is 90 a factor of p?
False
Let o = -118 - -124. Is 29 a factor of o/(-10) - (10716/(-30))/2?
False
Let n = 1 - -1. Suppose -n*i = 3*i - 10. Is 30*((-4)/3 + i) a multiple of 14?
False
Let j(f) = -f**3 - 2*f**2 - 5*f - 9. Does 17 divide j(-6)?
False
Suppose -5*q - 891 = -2*q. Does 5 divide 7/35 + q/(-15)?
True
Let s(w) = 35*w - 22. Let y be s(6). Suppose -y + 584 = 4*z. Does 50 divide z?
False
Let p = 7 + -2. Suppose -p*y + 91 = 4*k - 139, 3*k - 176 = -2*y. Is 20 a factor of k?
True
Suppose 1 + 2 = 3*s. Is 2 - (2 + s + 1*-75) a multiple of 26?
False
Let h(u) = u**3 - 8*u**2 + 6*u + 13. Let m be h(7). Let g(j) = 5*j**2 + 3*j - 12. Does 9 divide g(m)?
False
Let m(g) be the first derivative of -g**3/3 + 33*g**2/2 + g + 2. Does 23 divide m(28)?
False
Let t = -2235 + 6234. Does 43 divide t?
True
Let j = 17 - -27. Let k(n) = n**3 - 12*n**2 + 5*n + 24. Let a be k(12). Let t = a - j. Is t a multiple of 8?
True
Let u(n) = -6*n**2 + 4*n + 8. Let k(c) = -11*c**2 + 7*c + 15. Let z(s) = -3*k(s) + 5*u(s). Let y = 7 - 11. Does 13 divide z(y)?
False
Suppose 38*h - 39*h + 46 = 0. Suppose h*u = 42*u + 348. Is u a multiple of 17?
False
Suppose -14*w + 31*w = 9452. Does 14 divide w?
False
Suppose j - 1315 = 2*v - 294, 2*v + 3083 = 3*j. Does 38 divide j?
False
Suppose -t - 3 - 15 = 0. Let q = t - -68. Is 14 a factor of q?
False
Suppose q - 90 = -3*d, -3*q + 36 + 2 = d. Does 2 divide d?
False
Let z(q) = -22*q + 2091. Does 41 divide z(0)?
True
Let r be (8/(-3))/((-6)/9). Suppose -r*k + 3*k - 21 = 0. Is 21 a factor of -10 + 10 - (0 + k)?
True
Let q be 4*(-45)/(-100) - (-1)/5. Suppose -b + 59 = q. Is b a multiple of 19?
True
Suppose 5*z = -2*p + 9596, 3*z + 5*p - 5750 = -0*z. Is z a multiple of 15?
True
Let s(d) be the first derivative of -d**2/2 - 5*d + 1. Let m be s(-8). Suppose -1 - 5 = -m*t. Does 2 divide t?
True
Let y = 1784 + -1039. Suppose 4*m + 57 - y = 0. Let v = m + -122. Does 25 divide v?
True
Is 25 a factor of 2760/6 - (-3 - -13)?
True
Let g = 552 - 216. Is 28 a factor of g?
True
Let v(h) = 24*h + 1. Let u(z) = -z + 14. Let w be u(10). Let b be v(w). Suppose q + 157 = -0*s + 5*s, -3*s + 2*q = -b. Is s a multiple of 17?
False
Suppose -2*r = -4*k - 272, -4*r + 509 = 6*k - 7*k. Is r a multiple of 10?
False
Let y = -1409 + 2374. Does 10 divide y?
False
Let r be (6/(-2))/(5/60). Suppose 4*y - 6 = -2, 0 = -3*q + 3*y + 3. Does 6 divide (q/4)/((-1)/r)?
True
Let x(z) = -2*z + 25. Let g be x(10). Suppose 4*o = -5*c + 755, -785 = -g*c + 5*o - 3*o. Does 9 divide c?
False
Let t = -1228 + 2320. Does 26 divide t?
True
Let q(k) = 4*k + 4. Let v be q(5). Suppose 9*h + h = -90. Let s = v - h. Is s a multiple of 15?
False
Suppose 1 + 7 = 4*o. Suppose -o*s = -90 - 102. Is 6 a factor of s?
True
Suppose 0 = -4*j + 4*u + 3352, 3*u + 16 = 13. Does 27 divide j?
True
Let d(n) be the third derivative of n**5/60 - n**4/12 + n**3/3 + n**2. Let u be d(-6). Let c = 96 - u. Is 23 a factor of c?
True
Let b = 1281 - 855. Suppose -510 - b = -6*l. Is 39 a factor of l?
True
Suppose -444*f = -436*f - 12288. Does 48 divid