*n + 109 + 167 = 2*j. Is j a multiple of 13?
False
Does 35 divide 2570656/2024 + 2/(-23)?
False
Let d(u) = -u**3 + 5*u + 929. Does 35 divide d(0)?
False
Suppose -37*h = -h - 35964. Does 9 divide h?
True
Let m = 3225 - 1905. Does 33 divide m?
True
Let u(h) = 202 - 85*h - 412 + 199. Is u(-1) a multiple of 16?
False
Let w(d) = -d - 9. Let o be w(-13). Suppose -2*t = -0*t + 2*j - 584, -o*t - 2*j + 1164 = 0. Suppose 0 = 2*k + 3*k - t. Does 14 divide k?
False
Suppose 7475 - 1787 = 9*c. Is c a multiple of 9?
False
Let s(a) = a**2 - 58*a + 48. Is 7 a factor of s(-19)?
False
Is (-3 - 0) + 7 + 1432 + 4 a multiple of 30?
True
Suppose -5*p - 3*i + 33 = 0, -2*p + p = -4*i - 2. Let u(r) = 13 + r**2 - 2*r - p*r + 7*r. Is 13 a factor of u(0)?
True
Let b = -672 - -1687. Is b a multiple of 15?
False
Is (5782/35)/(4/40) a multiple of 28?
True
Suppose -2*z - 2*z + 460 = 0. Let k be 24/5*(-50)/(-3). Let c = z - k. Is 12 a factor of c?
False
Is 5 a factor of (-6)/(-14) + (-4879)/(-49) + 5?
True
Suppose b - 61 = -67. Let z(f) = -6*f + 45. Is 9 a factor of z(b)?
True
Let f = 18 - -38. Let a = f - 33. Is 13 a factor of a?
False
Suppose -462 = 15*q - 17427. Is 87 a factor of q?
True
Let c = 5 + -11. Let o = 9 - c. Is o a multiple of 15?
True
Let f(r) = r**3 - 5*r**2 + r + 14. Suppose 2*d - d - 6 = 0. Let w be f(d). Is 32 a factor of 1218/w*4*1?
False
Is (8/5)/(12/30) + 142 a multiple of 6?
False
Let p = -1544 - -2994. Is 50 a factor of p?
True
Let b(h) = -h**3 + h. Let s be b(-1). Is 8 a factor of (0 - s) + 1 + 45?
False
Let x be 4 + 4/(-1) - -8. Let d be 541/4 + (-2)/x. Suppose -w + 6*w - d = 0. Does 9 divide w?
True
Let n(x) = x**2 - x - 2. Let d be n(3). Let r(q) = -q**2 + 3*q + 11. Does 3 divide r(d)?
False
Let w = 34 - 30. Is 27 a factor of (93/6 + -2)*w?
True
Let g = -28 + 75. Suppose -16 = -4*j, -k + 5*j = 46 + g. Let o = -25 - k. Is o a multiple of 8?
True
Suppose -4*j = -129 + 77. Suppose w + 148 = -5*q, 2*q - 14 = 3*q - 5*w. Let n = j - q. Is 9 a factor of n?
False
Let k(y) = 2*y - 32. Let f be k(-8). Let o = 73 + f. Is o a multiple of 6?
False
Suppose -5*i - 43 - 12 = -4*n, -2*i + 2*n = 20. Let j = 16 + i. Is 22 a factor of j/((-3)/(3 + -201))?
True
Suppose -11*p = -240 - 1003. Is 11 a factor of p?
False
Suppose -2*b - 194 = 2*w - 4*w, 3*b - 2*w + 291 = 0. Let l = b - -157. Is 20 a factor of l?
True
Let r(u) = -4*u**2 + 13*u + 38. Let n(f) = -f**2 + f + 1. Let a(x) = -5*n(x) + r(x). Does 11 divide a(-11)?
True
Let d = 1683 + -107. Does 16 divide d?
False
Let w(x) be the second derivative of 10*x**4/3 - x**3/2 + x**2 - 9*x. Does 26 divide w(2)?
True
Let c(r) = 2*r + 51. Let n be c(-22). Suppose 8*k = n*k + 55. Is 11 a factor of k?
True
Let l be (-9)/(-2) + (-1)/(-2). Suppose 20 = -6*b + l*b. Let f = 90 + b. Is f a multiple of 14?
True
Let r be 2/(-6) - -1 - (-468)/27. Is 9 a factor of r - ((-2 - 0) + 2)?
True
Suppose 2*i - 146 = 3*a, 4*i + 2*a - 304 = 5*a. Does 10 divide i?
False
Suppose 0 = 5*z - 12 + 47. Let o(r) = r**3 + 6*r**2 - 6*r + 14. Is o(z) a multiple of 7?
True
Is 15 a factor of ((-60)/7)/((-19)/((-19684)/(-8)))?
True
Suppose 0*u + 114 = 3*u. Suppose -13 + u = 5*y. Suppose y*c = 3*c + 44. Is 11 a factor of c?
True
Let d be 6/51 + 4170/102. Suppose q - d = -f, 4*f + q = -4*q + 162. Is 16 a factor of f?
False
Let c(r) = -7*r**2 + 3*r + 2. Let v be c(-3). Let m = 152 - v. Is 27 a factor of m?
False
Let i(l) = -5*l**3 - 2*l**2 + 1. Let r be 0 + -3 + 4/2. Let k be i(r). Suppose -z + k*z = 96. Is 32 a factor of z?
True
Let l(s) be the first derivative of 1 - 12*s**2 + 2 + s + 0*s + 19*s**3 + 13*s**2. Is 28 a factor of l(-1)?
True
Let a(h) = -9*h**2 - 17*h + 20. Let b(w) = 4*w**2 + 8*w - 10. Let c(i) = 3*a(i) + 7*b(i). Does 20 divide c(5)?
True
Let d = -25 - -11. Let z be 1482/91 + 4/d. Is 17 a factor of (z/10)/(12/510)?
True
Let c = -3 - 1. Let l(u) = 21*u**3 + 3*u**2 - 2*u + 1. Let q be l(1). Is q - (c/4 - -1) a multiple of 9?
False
Suppose -4*z + 22 = -6*z. Let q(s) = s**2 + 10*s - 6. Let n be q(z). Suppose -n*l - 23 + 199 = p, -l - 2*p = -28. Is 12 a factor of l?
True
Suppose -2*g - 395 = 3*g. Let m = 582 + -413. Let d = g + m. Is d a multiple of 15?
True
Suppose -28*o = 5126 - 18454. Is o a multiple of 14?
True
Suppose 63*u - 67795 = 34895. Is 25 a factor of u?
False
Let f(l) = 5*l**2 + 3*l - 1. Let c be f(2). Suppose 0*m - c = -5*m. Suppose m*z - 40 - 15 = 0. Is z a multiple of 4?
False
Let o(f) = -2*f**3 - f. Let k be o(1). Let n = 0 + -3. Does 6 divide 14 - n/(k + 6)?
False
Let n be 1/((-3)/(-279)*-1). Let r be 1 + n/(-3 - 0). Suppose -4*l + 3*l + r = 0. Does 18 divide l?
False
Suppose -5*z = c - 8017, -5*c + 6*z + 40139 = 4*z. Is (-1)/4 - c/(-92) a multiple of 29?
True
Let a = -44 + 36. Is (57/6)/((-4)/a) a multiple of 3?
False
Let p be (-5481)/45 - 8/(-10). Let c = -51 - p. Does 9 divide c?
False
Let j(y) = -5*y**2 + 4*y + 7. Let x be j(6). Let n = x - -270. Is n a multiple of 10?
False
Let n be (-25)/10 - 66/(-4). Suppose 266 + n = 4*j. Is 12 a factor of j?
False
Suppose 1381 = 9*c - 563. Does 24 divide c?
True
Let m = 1651 + -1291. Does 5 divide m?
True
Let d = -22 + 43. Let b = d + -13. Is 9 a factor of b/12 + (-88)/(-3)?
False
Suppose -m + 5*a + 8 - 14 = 0, -5 = -a. Is m a multiple of 4?
False
Let g be 2/(-10)*(-3 + -2). Does 4 divide 3/(g/20*4)?
False
Let n = 13 - 10. Suppose -2*a - n = a - z, 0 = -5*z. Does 5 divide -3 + 1 + 20 + a?
False
Suppose 0 = -0*x + 5*x + 15. Suppose -2*w + 2*h + 0*h = -8, 0 = -w + 3*h + 12. Does 16 divide 48 - x/9*w?
True
Let j = -276 + 297. Is j a multiple of 9?
False
Does 4 divide 2*(23 - -6) - 3?
False
Let s(z) = z**3 - 2*z**2 - z - 4. Let i be s(3). Let a(l) = 1 + 3*l**i + 1 + 3 + 6*l + 0*l. Is 10 a factor of a(-3)?
False
Suppose -3*k - 3*x + 366 = 0, -3*k + 4*x + 655 = 2*k. Let n = k + 80. Does 22 divide n?
False
Let b(h) = -h**3 + 12*h**2 + 17*h - 5. Suppose 2*p - 31 = 5*g - 0*g, 0 = -p + 4*g + 17. Is 7 a factor of b(p)?
False
Suppose 2*d - 2511 = 2*i + i, 0 = -5*d + 3*i + 6273. Is 57 a factor of d?
True
Let m = 113 + -109. Suppose 5*g - 1934 = m*q - 531, 3*q = -2*g + 552. Is 25 a factor of g?
False
Let p(x) = x**2 + 14*x + 34. Is p(-15) a multiple of 7?
True
Suppose 5*a + n - 763 = 0, -5*a = -0*n - 4*n - 773. Is a a multiple of 17?
True
Let d = -73 - -4. Let b = 125 + d. Is b a multiple of 28?
True
Let h = 85 - -1003. Is h a multiple of 8?
True
Let u(q) = 216*q**2 + q + 2. Is 11 a factor of u(-1)?
False
Suppose 0*a + 14 = a. Suppose -3*u + a = -u. Is 4 a factor of u?
False
Suppose -194 = -3*i - c, -102 = -5*i + 4*c + 193. Is 9 a factor of i?
True
Let g(z) = z**3 - z**2 + 3*z - 2. Let y be g(1). Does 23 divide y + 4 - 3 - -56?
False
Let t be ((-9)/12)/(1/(-4)). Let g(p) be the second derivative of 5*p**4/12 + p**3/2 + 2*p**2 - 2*p. Does 17 divide g(t)?
False
Let i(x) = x + 1. Let y be i(1). Let v be (92/(-2)*1)/y. Let s = 40 + v. Is 11 a factor of s?
False
Suppose 0 = 4*k - 8 - 8. Suppose v = -k + 146. Does 33 divide v?
False
Let r be (-4)/(-26) - 450/(-117). Suppose -g + m - 4*m + 17 = 0, r*g = -m + 46. Does 9 divide g?
False
Suppose -a + 14 = 2*a - 4*p, 4*a - 5*p - 18 = 0. Let o = a - 26. Let x = 66 + o. Is x a multiple of 11?
False
Let w(c) = -c**2 + 10*c + 9. Let r(n) = 2*n**2 - 10*n - 7. Let i(a) = -2*r(a) - 3*w(a). Suppose -u + 7 + 1 = 4*h, 0 = -3*u - 4*h. Is i(u) a multiple of 7?
False
Let f(j) be the second derivative of 3*j**5/5 + j**4/4 - j**3/2 + j**2/2 - 14*j. Is f(1) even?
False
Suppose 0 = -5*t + 75 - 20. Suppose -10*f - 165 = -t*f. Is 8 a factor of f?
False
Suppose -5*r = -21 + 1. Does 5 divide 15*(2 - r/16*4)?
True
Let o(k) = -35*k - 33. Is 26 a factor of o(-12)?
False
Suppose 4*m + 2*k = -856, -2*m - 3*k - 422 = k. Let a = m - -339. Is 25 a factor of a?
False
Suppose 9 = 2*f - u, 4*f = 2*f + 2*u + 14. Suppose -224 = -f*k + 2*d, -4*k - d - 9 + 457 = 0. Is 28 a factor of k?
True
Suppose -3*u - 6 = 0, 2*g - 3*g - 4*u = -165. Is 11 a factor of g?
False
Suppose -2*w - 1713 = -6465. Is w a multiple of 24?
True
Suppose -3*u = -4*j - 66 - 285, 4*u + 64 = -j. Let t = -6 - -5. Does 11 divide (-4)/4*(j + t)?
False
Let l = -15 - -53. Suppose 3*k = 4*b - l, 2*k = 5*b + 7*k - 30. Is b a multiple of 2?
True
Let q(u) = u**3 + 7*u**2 - 2*u - 1. Let x(l) = l**2 - l + 1. Let y(t) = q(t) - 5*x(t). Is y(2) 