 first derivative of 7*a**3 - a**2 - a + 5. Does 13 divide r(-1)?
False
Let d(s) = s**2 - 7*s + 4. Let u be d(7). Suppose -3*h + 0*h + u*b = -337, 4*h = b + 471. Is 17 a factor of h?
True
Suppose -10*l = -5*l. Suppose 23*m - 18*m - 1205 = l. Does 16 divide m?
False
Let u(b) = 84*b**2 + 7*b + 3. Does 55 divide u(4)?
True
Suppose 0*x - 4*w = x - 12, -5*w = 3*x - 22. Let c be 6/(4 + -6) + (49 - 4). Suppose 0*z + 4*z + c = m, -x*z = -2*m + 76. Is m a multiple of 17?
True
Let l(d) = 2820*d**3 + 2*d**2 - 4*d + 2. Let u be l(1). Suppose -3*h - 7*h + u = 0. Is 47 a factor of h?
True
Let x = -3 - -6. Suppose -f + 46 = x*b + f, -5*b + f = -55. Suppose -112 = -5*v - b. Does 10 divide v?
True
Let k(w) = w**3 + 8*w**2 - w - 5. Let q be k(-8). Suppose -2*p - 2 = -3*p, -q*y = -2*p + 25. Let h = 19 + y. Is h a multiple of 6?
True
Let u(p) = -374*p - 27. Let f be u(-12). Is f/27 + 4/(-18) a multiple of 10?
False
Suppose 29*r - 4*u = 28*r + 318, 2*u = 2*r - 642. Is r a multiple of 7?
True
Suppose 4*u = 16, 0*u + 8 = 5*m - 3*u. Is (24/20)/(m/50) a multiple of 7?
False
Suppose -t = -5*c + 5120, 24*c - t - 3074 = 21*c. Does 33 divide c?
True
Suppose 5*v = 2*v - 15, -585 = -5*u - v. Let f be (-6 + 2)*142/8. Let d = u + f. Is d a multiple of 27?
False
Let o(f) = -f - 9. Let j(l) = -l**2 + 7*l - 3. Let g be j(8). Let b be o(g). Suppose 0 = -b*z + 90 + 54. Is 18 a factor of z?
True
Let y(v) = -17*v - 35. Let i(p) = -34*p - 72. Let d(r) = 4*i(r) - 7*y(r). Is 21 a factor of d(-5)?
True
Let q(s) = -456*s + 4. Let x be q(-1). Suppose 0 = 3*p + p + m - 444, 4*p - x = -5*m. Does 22 divide p?
True
Let b(g) be the first derivative of -5*g**2/2 - 6*g - 12. Does 15 divide b(-9)?
False
Let n = -231 + 544. Let w = n + -221. Is w a multiple of 4?
True
Let q = -23 + 25. Suppose -i = -2*o + i + 190, 4*o - 356 = -q*i. Is o a multiple of 13?
True
Suppose -3*n - 2 = -2*n, 0 = -f + 3*n + 436. Suppose -3*k = -f - 50. Is k a multiple of 32?
True
Let m be -3 + (-22)/(-6) - (-187)/3. Is 6/(-21) + (-3)/(m/(-741)) a multiple of 30?
False
Let x = 68 - 36. Is ((-1992)/x)/(3/(-8)) a multiple of 37?
False
Let y(p) = -2*p + 6. Let x be y(6). Let o(r) = -26*r**2 - r**3 - 38*r**2 + 0*r**3 + 3 - 3*r + 58*r**2. Is o(x) a multiple of 7?
True
Suppose -q + 4*q = 39. Let d(h) be the third derivative of h**5/60 - 7*h**4/24 - h**3 - h**2 + 10. Is d(q) a multiple of 24?
True
Let u = 322 + 16. Is u a multiple of 26?
True
Let l be -7 + (4 - -4) + -3. Does 12 divide -350*(l/20 + (-8)/20)?
False
Let s(i) = 13*i**3 - 4*i**2 + i - 4. Let g be s(4). Let l be (g/10)/((-1)/(-5)). Suppose -4*q - h + 369 = 0, -2*q + 4*h = 2*q - l. Is 27 a factor of q?
False
Let x(r) = -4*r - 2. Let n(l) = l + 1. Let y(o) = -17*n(o) - 6*x(o). Let a be y(10). Suppose 9 = f + 2*s - 7, 5*f = 5*s + a. Is 10 a factor of f?
False
Let o = -446 - -506. Does 60 divide o?
True
Let v = -21 + 57. Let z = -31 + v. Suppose o - z*o + 148 = 0. Is o a multiple of 17?
False
Let s(t) = t**2 - 7*t + 7. Let n be ((-12)/(-10))/((-27)/(-180)). Is s(n) a multiple of 9?
False
Suppose 5*y = -4*x + 22, 5*x - 5 = 4*y + 2. Suppose -5*o - 28 = -n, -38 + 6 = -5*n - y*o. Is n even?
True
Suppose -16240 = -24*u - 928. Does 69 divide u?
False
Let z be -14 + 29 - (-10)/(-2). Suppose 17*p = z*p + 280. Is p a multiple of 20?
True
Let b(q) = 31*q + 239. Does 10 divide b(21)?
True
Suppose -7*g + 3 = -8*g, -2*g = -y + 737. Does 51 divide y?
False
Suppose -7*k + 239 + 27 = 0. Let m(q) = -k*q - 2 + 43*q + 1. Does 3 divide m(2)?
True
Let q(h) = -h**3 - 10*h**2 + 11*h + 16. Is 8 a factor of q(-11)?
True
Suppose 535 = -3*v - 212. Let q = -144 - v. Is 21 a factor of q?
True
Let a(s) = s**3 + 23*s**2 - 11*s + 54. Is a(-22) a multiple of 15?
True
Let b = -310 + 438. Is b a multiple of 4?
True
Let b(y) = -6 + y**2 + 3 + 0 - 6 + 8*y. Let l be b(-8). Is 15 a factor of 72/(-28)*(2 + l)?
False
Is 10 a factor of -145*(-2)/4*(-18 + 26)?
True
Let m = 774 + -435. Does 44 divide m?
False
Suppose -64*h - 224 = -65*h. Is h a multiple of 14?
True
Suppose 3*r = 4*r - 5, 5*r - 205 = -4*c. Let f = c - 19. Does 6 divide f?
False
Suppose -9*v - 39 - 15 = 0. Let z be (4/(-6))/(v/54). Suppose 0 = 3*c - z, 2*o - 2*c = -2*o + 284. Is o a multiple of 36?
True
Let r(k) = -3*k + 9*k**3 + 2*k + 0 + 2 - 24*k**2 + 21*k**2. Let c be r(2). Suppose -2*i = -c + 20. Is 10 a factor of i?
True
Let r(l) = -34*l**3 - l - 1. Suppose -3*p = -4*p + 4. Suppose 2 = -p*y - 2. Is 27 a factor of r(y)?
False
Let q = 304 + 2504. Is q a multiple of 16?
False
Let f = -17 + 31. Let n = -26 + f. Is 28/8 + n/8 a multiple of 2?
True
Suppose -2 = -3*v + 7, 0 = -5*k - 3*v + 29. Suppose -5*s + 2*y + 1361 = 0, -k*s + 1082 = -0*y - 5*y. Is 13 a factor of s?
True
Let a(j) = j**3 + 12*j**2 + j + 21. Let g be a(-12). Suppose -8*o = -g*o + 46. Does 16 divide o?
False
Let h be ((1/(-3))/1)/((-20)/15780). Let m = -2 + h. Is m a multiple of 18?
False
Let m(a) = 2*a**2 + 72*a - 29. Does 25 divide m(-49)?
False
Let w(o) = o**2 + 13*o - 7. Let u be w(-10). Let l = 76 + u. Is 9 a factor of l?
False
Is -1 - ((-27658)/15 + (-20)/150) a multiple of 97?
True
Suppose -4*z + 17554 = -2*l, -513*l + 6 = -515*l. Is z a multiple of 41?
True
Let i = 3845 + -2369. Is i a multiple of 23?
False
Let l = 31 + -32. Is (1/8)/l - 1925/(-40) a multiple of 24?
True
Suppose 0 = 2*n - 5*i - 47, 4*n + 4*i = 3 + 133. Is n a multiple of 5?
False
Let l be (4 - -1)*(-25)/(-25). Suppose -2*z - l*a + 14 = 0, 5*z + 5*a = z + 48. Is 9 a factor of z?
False
Let i = 35 - 119. Let v = i - -162. Is v a multiple of 26?
True
Is 4/(-3)*(-2 - 70/4) a multiple of 5?
False
Let i = 29 + -29. Suppose i = 4*p - 70 - 78. Does 37 divide p?
True
Suppose -4*n = -6*n - 680. Let l = n + 535. Does 45 divide l?
False
Let g(m) = m**3 + 9*m**2 - 11*m - 8. Let t be g(-10). Suppose -2*n + 4 = -3*n - 5*r, -t*n + 47 = -r. Does 3 divide n?
True
Let l be (-1)/2 - (3 - (-707)/(-14)). Suppose x = -3*i + 28, -4*x - i = -2*i - l. Does 5 divide x?
False
Let r(q) = -11*q + q - q - 4*q - 6 - 2*q**2. Is 4 a factor of r(-6)?
True
Let m(c) = 42*c + 104. Is m(13) a multiple of 31?
False
Let j = -1118 - -1222. Is 4 a factor of j?
True
Suppose 4*u + 12 = 3*b, -u + 5 = b + 1. Suppose 2*j - 4 = -u. Suppose 0 = -0*f - j*f + 66. Is f a multiple of 19?
False
Let n be 8/20 + 69/15. Suppose 4*x + 4*l = -0*x, -l = 2*x - n. Suppose -10 = -5*f + 5, 4*f + 98 = x*q. Is q a multiple of 8?
False
Let l be 6/33 - ((-6323)/11 + 1). Suppose -4*p = -0*p - 2*b - l, 2*p = 4*b + 290. Does 13 divide p?
True
Let f be ((-330)/4)/(3/(-8)). Suppose -2*s - 10 = -0*s, -5*a = -5*s - f. Is a a multiple of 19?
False
Let f be 3 - (49 - 0)*(-1 + 0). Suppose 0 = -2*i + f + 198. Is i a multiple of 25?
True
Let o(s) = -s**3 - 1. Let h(q) = 3*q**3 + 3*q**2 + 3*q + 5. Suppose 0 = 3*b + 6. Let r(i) = b*o(i) - h(i). Is 6 a factor of r(-3)?
True
Let b(c) = 4*c + 18. Let f be b(-5). Let r be 1*3 + -1*2. Is 13 a factor of (r + f)*-1 - -47?
False
Is 43 a factor of (1945 - 0) + 89 + -99?
True
Let d(o) = -o**3 - 6*o**2 + 37*o + 5. Is d(-10) a multiple of 7?
True
Let v(w) = 19*w**2 - 44*w + 296. Is 47 a factor of v(7)?
False
Let g(p) be the third derivative of 13*p**5/60 - p**4/12 - p**3/2 - 16*p**2. Is g(3) a multiple of 36?
True
Is ((-7104)/(-185))/(3*2/500) a multiple of 128?
True
Let d = 447 + -387. Does 30 divide d?
True
Let k(j) = 3*j**3 + j**2 - j - 1. Let y be k(-1). Let f be -3 + (y + 10 - -3). Suppose 30 = f*h - 3*h. Is 6 a factor of h?
True
Suppose -5*y - 2*h + 1055 = 0, 4*y - 2*h = 7*y - 637. Does 6 divide y?
False
Is (-62836)/(-42) - (-14)/(-147) a multiple of 68?
True
Let u(j) be the first derivative of j**3/3 + j**2 - 9*j + 2. Let a be u(6). Suppose 4*w - a = 5*x - 5, 2*w - 14 = 4*x. Does 11 divide w?
True
Let z = -96 + 269. Does 19 divide z?
False
Let f = 59 - -79. Let k = f - -186. Does 18 divide k?
True
Let l be 0/((-5 + 2)/(-3)). Suppose 5*b - 229 - 156 = l. Is 19 a factor of b?
False
Let i = 30 - 23. Let k(u) = -u**3 - 4*u**2 + 9*u - 8. Let c be k(i). Is 33 a factor of c/8*1*-2?
False
Let d(q) = 7*q**2 - 7*q - 6. Let h be d(-5). Let o = -106 + h. Is o a multiple of 14?
True
Let p(q) = q**3 - 3*q**2 + 38*q - 29. Does 73 divide p(11)?
False
Suppose z = -3*g - 5, -4*g + 4*z + 25 = -z. Suppose 3*i + 9 = 0, -4*l - 4*i + 2*i + 350 = g. Is 8 a factor of l