 = -6*a(y) - 11*j(y). Is r(7) a multiple of 5?
False
Let i(m) = -332*m**2 - 11*m + 168*m**2 + 6 + 163*m**2. Is i(-10) a multiple of 7?
False
Let t be (-70)/(2/(-12)*3). Let f be (-4)/(-12) - t/15. Does 25 divide 3/f*-50*3?
True
Is (13756/(-95) - -2)*(-210)/4 a multiple of 17?
True
Suppose -3*i - 5*c - 91 = 0, -5*i - 64 = -3*i + 4*c. Suppose 57 = -s + 4*b, -2*s + 0*b - 59 = 3*b. Let x = i - s. Is 4 a factor of x?
False
Suppose 3*l = 2*y + 33, 0 = -0*l - 5*l - 5*y + 80. Suppose 112 = l*k - 9*k. Suppose -372 = -4*u + k. Is 13 a factor of u?
False
Let g(z) = z**2 + z + 2. Let v be g(-2). Let b be (12/(-10))/(v/(-30)). Is 6 a factor of b/(-6) - (-62)/4?
False
Let g be -4 + (2 - -13) - 4. Suppose -2*z - 522 = -g*z - 2*w, -4*z + 420 = w. Is 24 a factor of z?
False
Suppose 2*v + 2*a - 2 + 0 = 0, -5*v + 4*a - 22 = 0. Let d(o) be the third derivative of -o**6/20 - o**5/15 - o**4/12 + o**3/6 - 11*o**2. Is 14 a factor of d(v)?
False
Let m = 5 - 13. Is 6 a factor of m/12 + (-1)/(-3)*104?
False
Let z = -379 + 1205. Suppose 11*j - z = 4*j. Is j a multiple of 26?
False
Let v(q) = 4*q**2 + 19*q - 21. Let x be v(-9). Let j = x + -117. Is 8 a factor of j?
False
Let l = -5510 + 9841. Is 68 a factor of l?
False
Suppose -1452 = -4*k + 532. Suppose -52*h = -56*h + k. Is h a multiple of 58?
False
Let d(x) = 1 + 1 - 5 - x + 5*x. Is 27 a factor of d(10)?
False
Let y = 104 - 58. Is 2 a factor of y?
True
Let n be 26 - ((9 - 1) + (-6 - -2)). Let k = -25 - -14. Let f = k + n. Is f a multiple of 5?
False
Let d(q) = q**2 - q - 11. Let t(n) = n**2 + 2*n + 6. Let a be t(3). Let z = a + -12. Does 13 divide d(z)?
False
Let t(g) = -21*g**2 - 47*g**3 + 3*g**3 + 7*g**2 + 13*g**2 - 1 - 2*g. Let y be t(-1). Suppose -5*x + 56 = f - y, 3*x = 2*f + 47. Is x a multiple of 6?
False
Let f(b) = -3*b**2 + 36*b - 12. Is 10 a factor of f(10)?
False
Suppose 3*g - 2*o - 1509 = -3*o, g - 510 = 2*o. Does 56 divide g?
True
Let i(q) = q**3 - 6*q**2 - 7*q + 3. Let c be i(7). Let s be 76/(-12) + 4/c. Let x(v) = 4*v**2 + 6*v - 1. Is x(s) a multiple of 23?
True
Suppose 16 = 3*f - 2*t, 2*f + t + 2*t + 11 = 0. Suppose -i + 102 = f*i. Suppose -j - 5*r = -i, -5*j + 2*r + 21 = -14. Is 9 a factor of j?
True
Let o(h) be the first derivative of 20*h**3/3 - h**2 + 4*h + 23. Is o(1) even?
True
Is 13 a factor of (1357/(-46))/(2/(-4))?
False
Is 3 a factor of 3/(3/(1 - -50))?
True
Let z(i) = 5*i**2 - 25*i + 184. Does 19 divide z(8)?
True
Suppose -527 + 1658 = 3*y. Is y a multiple of 29?
True
Let m(g) = g**3 - 9*g**2 + 6*g + 8. Let h be m(8). Let w(a) = 54*a + 9. Let p be w(h). Does 11 divide (-12)/(-78) + p/(-39)?
True
Let t = -20 - -16. Let w = 2 - t. Let v(j) = j**3 - 5*j**2 - 5*j + 6. Does 6 divide v(w)?
True
Let q(p) = -397*p + 23. Is 18 a factor of q(-2)?
False
Let i = 1071 + -998. Is i a multiple of 15?
False
Let h be (-4)/(-26) + (-7425)/351. Is (-6 - (-198)/h)/((-2)/14) a multiple of 12?
True
Is 9 a factor of 6825/20 - 9/324*9?
False
Let r(d) = 6*d + 4. Let f be r(-1). Is 30 a factor of ((-360)/(-2))/f*-1?
True
Let k(l) be the second derivative of 0 + 5/6*l**3 - 2*l + 3*l**2 + 1/12*l**4. Does 12 divide k(-6)?
True
Suppose 0 = 7*y - 3453 - 5290. Is y a multiple of 44?
False
Suppose -7566 = -16*n - 2414. Is 13 a factor of n?
False
Let t be (-49)/21 + (-2)/3. Is 13 a factor of -13 + 11 - ((-6)/t - 56)?
True
Suppose -k + p = 2*k - 77, 5*k - 5*p = 125. Suppose 28*a - k*a = 12. Suppose -250 = -a*u + u. Is u a multiple of 5?
True
Let w(c) = 45*c - 208. Does 13 divide w(6)?
False
Does 7 divide (-8810)/(-14) - 305/(-427)?
True
Is 15 a factor of (-60)/(-2)*(-407)/44*-2?
True
Suppose 0 = -17*w - 9219 + 31285. Is 118 a factor of w?
True
Suppose 0 = -3*l - 12, x - 3*l - 15 = -4*l. Does 11 divide x/38 + 107/2?
False
Let f(n) = 2*n**2 - 3. Let z be f(-5). Suppose 0*s + 4*s = 100. Let j = z - s. Does 5 divide j?
False
Suppose -17955 - 81871 = -71*b. Is 19 a factor of b?
True
Suppose 124 = 5*w + 4*g, 4 - 160 = -5*w + 4*g. Suppose 2*d - 58 = w. Suppose 0 = -4*t + 1 + d. Is t a multiple of 11?
True
Let t(n) = -16*n + 1. Let f be t(7). Let o = f - -45. Let a = 4 - o. Does 26 divide a?
False
Let c be (1 - -56) + 4 + -3. Suppose -p + 40 + c = 0. Is 11 a factor of p?
False
Let c(x) = -228*x - 559. Is c(-9) a multiple of 21?
False
Suppose -8*h + 52 = -4*h. Let i = -11 + h. Suppose -44 = -i*g - 10. Is 11 a factor of g?
False
Suppose -5*u + 42 = -2*o, 5*u - 11 = 5*o - 4*o. Let y = 32 - o. Is 7 a factor of y?
True
Let g(w) = -w**2 - 8*w - 5. Let y be g(-5). Let b = -5 + y. Suppose 4*m - 16 = 0, -b*o - 4*m = -3*o - 68. Is o a multiple of 26?
True
Let c(t) = 2*t - 18. Suppose -k - k = -3*y - 8, 16 = 5*y + 4*k. Let l be c(y). Let w = 27 - l. Is 15 a factor of w?
True
Let l(c) = -c**3 + 367. Is 17 a factor of l(0)?
False
Let x(v) be the first derivative of -13/2*v**2 + 4 + v. Is 9 a factor of x(-2)?
True
Suppose -4*t - 7 = 5. Let g(f) = -3*f - f - 16*f. Is g(t) a multiple of 20?
True
Suppose 0 = -2*j + 6, 2*j + 158 = -2*d + 620. Does 6 divide d?
True
Let i = 42 + -32. Suppose -5*q - 40 = -i*q. Does 2 divide q?
True
Let c = 470 - 665. Let s = c + 293. Does 49 divide s?
True
Suppose 13*f = 9*f - 2*k + 1930, 5*f - 5*k - 2375 = 0. Does 8 divide f?
True
Suppose 4*a - 2*c = 38, -17 = -a + 4*c - c. Suppose -43 - a = -3*x. Let l = x + 1. Is 9 a factor of l?
True
Let m(c) = -234*c + 16. Does 51 divide m(-2)?
False
Let d(z) = 15*z**2 - 3*z. Is d(6) a multiple of 15?
False
Let j(z) = -z**2 + 8*z + 13. Let n be j(11). Let k be 4/(-10) + (-48)/n. Suppose 0 = 5*r - 4*l - 24, -2*l = k*r - 0 - 6. Is 3 a factor of r?
False
Let b = 15 - -4. Let f = -27 + b. Does 13 divide ((-42)/f)/(4/48)?
False
Suppose 3*v = q + 17, -5*q - 33 = -v - v. Suppose -v*f + 6*m + 12 = 2*m, 0 = 5*m. Suppose 0*u - x = -u + 34, -110 = -f*u + 5*x. Is u a multiple of 15?
True
Let g be (56/12)/7*18. Suppose g = t + 6*r - r, 5*r + 2 = t. Suppose -84 = -t*h + 3*h. Does 21 divide h?
True
Let c = -22 + 44. Is c a multiple of 9?
False
Let b = -71 - -155. Is 42 a factor of b?
True
Let i = 21 + -19. Suppose 3*m - 137 = -q, 3*m - 131 = 4*q - i*q. Let p = -29 + m. Is p a multiple of 16?
True
Suppose 3*r + 4 = d, 1 = r - 4*d + 6. Is (53/r)/(-1) - (-9)/3 a multiple of 14?
True
Let y(n) = n - 4. Let l be y(4). Suppose i - 3*i + 14 = l. Does 6 divide (3 - 2)*(i - 1)?
True
Let s = 31 - 28. Suppose 5*z = 2*j + 313, -s*j + 11 = -3*z + 197. Is 7 a factor of z?
True
Let f = 62 + -17. Let i = f + -27. Suppose -3*s + i = -18. Does 12 divide s?
True
Let w(a) be the third derivative of -41*a**6/30 - a**5/60 - a**4/8 - a**3/6 - 33*a**2. Does 15 divide w(-1)?
True
Suppose -b + 2 + 14 = 0. Let v = b - -54. Does 14 divide v?
True
Let j = -523 + 1316. Is j a multiple of 13?
True
Let z = 923 + -707. Is z a multiple of 12?
True
Let q be (-18)/(2*4/4). Let y(x) = 3 + 7*x**3 - 4*x**3 - 2*x**3 - 21*x + 7*x**2. Is 10 a factor of y(q)?
True
Suppose -3*h = 6 - 51. Let j = h + -14. Is 10 a factor of -2 + 2 + j + 15?
False
Suppose -6*m + 11498 - 1976 = 0. Does 58 divide m?
False
Let z = -661 + 952. Is z a multiple of 10?
False
Let b(n) = -n**2 + 11*n + 17. Let f be b(11). Suppose 341 - f = 4*i. Is 22 a factor of i?
False
Let p(m) = -m**2 - 122. Let r be p(0). Let t = r + 192. Is 14 a factor of t?
True
Let i = -696 + 1068. Let n = i + -264. Is n a multiple of 9?
True
Suppose 0 = -5*z + 5, 3*z - 3 = 5*b. Let p be b/(0/4 - -3). Suppose -j = 2*h - 4*j - 75, -3*h + 3*j + 111 = p. Is 11 a factor of h?
False
Suppose 73 = 2*x - 29. Suppose 16*f = 17*f - x. Is f a multiple of 35?
False
Let j = 975 + -366. Does 21 divide j?
True
Suppose 3*m + 5*b = -10, 2*b = -2*m + m - 4. Suppose m = u - 17 - 148. Suppose l = -2*l + u. Is l a multiple of 15?
False
Let o(b) = b**3 + 10*b**2 + 7*b. Suppose -2*t - 26 = 3*f - 3*t, 0 = 2*f + 2*t + 12. Is o(f) a multiple of 16?
False
Let s(r) = -r**3 - 10*r**2 + 4*r - 23. Let d be 2/8*-42 + 2/(-4). Is 6 a factor of s(d)?
True
Suppose 7*r - 2838 - 1712 = 0. Is r a multiple of 10?
True
Is 18 a factor of -1 - 9/(99/(-7018))?
False
Let g = 12 - 22. Suppose 7*b = 5*b - 72. Let n = g - b. Is 18 a factor of n?
False
Let u = 24 - 5. Let y = u - 16. Suppose z = -5*j + 71, -y*j = -j + z - 29. Is 14 a factor of j?
True
Let b(m) = -m + 6. Let u be b(5). Let z = -4 - -15. Suppose 2*y - u = z. Is y a multiple o