e -n + 5*s - 11 - 1 = 0, -n - 2*s = -16. Suppose -7*i + n*i - 28 = 0. Is i a multiple of 10?
False
Let b(h) = h**3 + 8*h**2 + 2*h + 7. Let a(t) = t**2 - 10*t + 15. Let w be a(7). Is 11 a factor of b(w)?
False
Let v(u) = -141*u + 44. Is v(-4) a multiple of 38?
True
Suppose 3*x + 161 = l, -2*l - 4*x + 262 = -30. Let b be l/36 - 4/18. Suppose -b*z + 3*z = -12. Does 11 divide z?
False
Let y be (1 + -2 - 2) + 16. Let f(k) = -k**2 + 13*k. Let b be f(y). Suppose -l + 6*l + v - 250 = b, 3*v = 2*l - 117. Is 17 a factor of l?
True
Let u be (-2)/(-5) + (-486)/(-10). Suppose t - 132 = 4*c, 77 = -4*c - 3*t - 71. Let r = c + u. Is 8 a factor of r?
False
Let a(f) = -f**3 + 15*f**2 + 18*f + 53. Is a(16) a multiple of 36?
False
Let z(v) = -3*v + 18. Let y be z(12). Let i be 2 + (-16)/10 - (-744)/(-10). Let d = y - i. Is 11 a factor of d?
False
Let k = -18 - 1. Let n = 7 - k. Does 13 divide n?
True
Let h(f) be the second derivative of f**4/6 + f**3/6 + 11*f**2/2 - 5*f. Let z be h(-4). Let p = z + -23. Is 16 a factor of p?
True
Let h(n) = -n**3 + 9*n**2 - 6*n + 8. Let r be h(6). Suppose -m + 3*m = -y + 32, -4*y = 5*m - r. Is 4 a factor of m?
True
Let a(b) = -b**3 + 15*b**2 + b - 8. Is a(5) a multiple of 19?
True
Let f(u) = -2*u - 6. Suppose q + 9 = -3*n, -q + 6 = q. Let b be f(n). Suppose 0*v - 24 = -b*v. Does 6 divide v?
True
Let t be 4/(3 - 3/3). Suppose 4*k - 14 = -t. Suppose -3*r = -5*n - 124, -5*r + k*n - 78 = -258. Is 7 a factor of r?
False
Suppose -5103 = -107*m + 103288. Does 15 divide m?
False
Let i(q) = q + 5. Let a be i(-2). Suppose -a*s + 130 = -s. Is 13 a factor of s?
True
Let s(t) = -25*t**3 + 3*t**2 + 17*t + 67. Does 13 divide s(-6)?
True
Let f(a) = a**2 - 9*a + 19. Let v be f(8). Let u be (-4)/(-8)*(v - 3). Suppose -3*o - 171 = -3*g - 8*o, o + 228 = u*g. Is g a multiple of 19?
True
Let l(c) = -c**3 + 28*c**2 - 5*c - 29. Does 33 divide l(27)?
False
Suppose 4*r = 2*u + 6, -2*u + 4*u + 2*r = 12. Let h be ((-372)/10)/((-4)/10). Suppose -b - 26 = -y - u*b, -b + h = 3*y. Is y a multiple of 22?
False
Let p(u) = 344*u - 245. Does 25 divide p(5)?
True
Let d = 729 + -391. Is d a multiple of 16?
False
Suppose -4*i = 2*y - 1106, 5*y = 6*i - 7*i + 2756. Is y a multiple of 19?
True
Let s(t) = -t**3 - 18*t**2 - 35*t - 31. Is s(-16) even?
False
Is 25 a factor of 138 + -148 + 0 + 1010?
True
Let y(n) = 2*n**2 + 6*n - 12. Let c = -2 - -9. Does 36 divide y(c)?
False
Let p(a) = a**3 + 15*a**2 + 8*a - 30. Suppose -15 = -3*u - i - 49, -2*u - 46 = -4*i. Is p(u) a multiple of 34?
True
Let p = -368 - -496. Does 4 divide p?
True
Suppose 4*k + 5*u = u + 24, k = 5*u - 18. Suppose -3*w - k*w = 5*v - 265, -2*v = -2*w + 94. Is 15 a factor of w?
False
Let r be 26/(-7) - (-4)/(-14). Suppose j = 11*j + 60. Is 7 a factor of j*r/((-24)/(-21))?
True
Suppose -8 = 2*p + 24. Let r = p - -28. Suppose r = q - 16. Is 7 a factor of q?
True
Let j(u) be the first derivative of -5*u**4/4 - u**3/3 + 2. Let m be j(-1). Suppose 3*t + c = -t + 23, m*c = -t - 13. Is 7 a factor of t?
True
Suppose -1542 = -14*q - 492. Is 6 a factor of q?
False
Let m = -11 - -13. Let r be 32/(((-20)/(-6))/5). Suppose m*w - r = -w. Is 8 a factor of w?
True
Let t = -1 - -1. Let g = t + -6. Does 4 divide g/27 - (-546)/27?
True
Let l(k) = -288*k + 21. Is l(-3) a multiple of 15?
True
Let j(z) be the first derivative of z**5/4 - z**4/24 - z**3/3 + 4*z**2 + 6. Let l(v) be the second derivative of j(v). Is l(-2) a multiple of 20?
True
Does 7 divide (-2)/(-11)*-3 - (-37296)/132?
False
Let i = -155 - -215. Is i a multiple of 2?
True
Suppose -2*f + 25 = 5*j, 4*j - f = -6 + 13. Suppose -12 + 44 = 4*m - 5*w, -3*w = -j*m + 21. Suppose -m*t - 12 = -78. Is 11 a factor of t?
True
Let z = -170 - 58. Let c = -133 - z. Is 20 a factor of c?
False
Let a = 315 + -190. Let h = -313 - -383. Let m = a - h. Is m a multiple of 19?
False
Suppose 3*y + 4*r - 1518 + 319 = 0, -2*y + 786 = -4*r. Does 11 divide y?
False
Suppose -46*y + 25*y = -1827. Is 3 a factor of y?
True
Let k(i) = -3*i**3 + i**2 + 3*i + 1. Let w be k(-2). Suppose -t = w - 7. Does 10 divide 64/6 + t/24?
True
Let z(t) = 6*t - 79. Let c(l) = -6*l + 78. Let v(d) = 6*c(d) + 5*z(d). Does 15 divide v(-19)?
False
Let i(c) = c**2 - c - 1. Let z be i(5). Suppose 0 = -2*d - 7 + z. Let j = 0 + d. Is j a multiple of 3?
True
Let j(s) = 300*s**2 + 3*s + 13. Does 45 divide j(-2)?
False
Let t(q) = 8*q**3 - 5*q**2 - 12. Does 11 divide t(4)?
False
Let k = -15 - -15. Suppose -7*y - 31 + 136 = k. Is 4/6 + 170/y a multiple of 5?
False
Let f = 11 + -2. Let h be 2/f - (-136)/36. Suppose 4*n - 3 = q, h*q + 0*q + 2*n = 24. Is q a multiple of 4?
False
Let g(n) = n**2 + 30*n - 15. Let s be g(-10). Let m = s + 335. Is 12 a factor of m?
True
Let m = 2913 + -1737. Is m a multiple of 98?
True
Let a(z) = 9*z**2 + 5*z**3 + 0*z**3 + 16*z - 6*z**3 - 12. Is 4 a factor of a(10)?
True
Let x(f) = 507*f**2 - 4*f + 20. Does 17 divide x(2)?
True
Let o(d) = 8*d**2 - 2*d + 1. Let i be o(1). Let a(g) = 18 - 2*g + 8*g**2 - i*g**2 + g. Is a(8) a multiple of 15?
False
Suppose -4*j = 4 + 8, 3*c = -5*j + 231. Does 13 divide c?
False
Suppose -3*w + 5 = -4. Suppose 0 = -37*v + 9*v + 56. Suppose -w*b - v*b - 2*r = -103, 5*b = 4*r + 109. Is b a multiple of 7?
True
Suppose 14*t + 2*h = 17*t - 2476, 5*h = -10. Does 4 divide t?
True
Let o(k) = -9*k - 34. Does 5 divide o(-8)?
False
Is (-13426)/(-8) - 20/80 a multiple of 69?
False
Is (-8)/((-16)/49)*80/2 a multiple of 14?
True
Suppose 5*u - 33 = 17. Suppose 2*h - 6 = u. Let r = h - -22. Is 5 a factor of r?
True
Let j(d) = d**3 + 12*d**2 - 17*d + 4. Suppose -3*k - 4 = -k. Let z be ((-13)/4)/(k/(-8)). Is j(z) a multiple of 17?
False
Let g = 1379 - 960. Is g a multiple of 33?
False
Suppose -1871 = -2*n + 5*x, -5*n - 20*x + 16*x + 4727 = 0. Is 64 a factor of n?
False
Let z = 10 + -3. Let f = z + -4. Is 3 a factor of f?
True
Suppose -5*u + 2554 = 4*i, 0 = -2*i + u + 805 + 465. Is i a multiple of 12?
True
Let c be (-2)/(-5) + (-2298)/(-30). Let a be (-14)/c + 552/11. Suppose -48 = -2*y + a. Is y a multiple of 14?
False
Let a(t) = -25*t + 4. Suppose 8*h = -7*h - 30. Is a(h) a multiple of 27?
True
Let c(i) = -51*i + 21. Let s be c(-5). Let n = s - 114. Is n a multiple of 14?
False
Suppose -23*d = -24*d + 123. Is d a multiple of 4?
False
Let w be ((-19)/(-38))/(2/24). Suppose 0 = -2*x + 5*x - c - 3, 0 = 3*x + 2*c + w. Suppose x = 8*a - 10*a + 28. Is a a multiple of 9?
False
Let h = -21 - -103. Does 14 divide (2 - 4) + h + -4 + 6?
False
Suppose -4*m - 3*b - 25 = -139, -124 = -4*m + 2*b. Let s = 49 + m. Is s a multiple of 17?
False
Let s be 9 + 0/(-4)*2/4. Suppose -j = s*j - 1890. Is j a multiple of 27?
True
Let o be 34/(-51)*(-18)/(-4). Is 5 a factor of (-86)/(-6) - 2/o?
True
Let n = 52 - -334. Is 34 a factor of n?
False
Let g(a) be the third derivative of a**7/2520 + 7*a**6/720 + a**5/12 + a**4/12 - 6*a**2. Let h(t) be the second derivative of g(t). Is 18 a factor of h(-8)?
True
Let u(j) = -j**3 - 3*j**2 - 8*j - 45. Is 9 a factor of u(-5)?
True
Let o(j) = j**3 - 12*j**2 + 14*j + 27. Is 10 a factor of o(11)?
True
Let f(y) = -y**2 + 3*y + 1. Let v be f(0). Is 68/v + 16/(-4) a multiple of 13?
False
Suppose -q = 0, 41*j = 42*j + 4*q - 115. Is j a multiple of 5?
True
Suppose -16 = 5*x - 26. Suppose 0 = x*u + 5*l - 75, -3*u + 120 = 2*l + 13. Is 18 a factor of u?
False
Suppose 0 = -f + 6*f + 2*o - 395, -3*o - 316 = -4*f. Let a = 2 + f. Suppose p - 2*r = a, -2*p + 186 = -0*p + 2*r. Does 19 divide p?
False
Let i(j) = -3*j**2 - 3*j - 6. Let a be i(-7). Is 17 a factor of (-9 + a)*(-1)/3?
False
Let j(u) = 207*u + 13. Let f be j(2). Suppose -23*b = -16*b - f. Does 11 divide b?
False
Let a(j) = 46*j - 96. Is a(4) a multiple of 2?
True
Let x = 458 + -386. Is 18 a factor of x?
True
Let p(u) = 36 + 8 + 10 - 7 + 2*u. Does 25 divide p(-11)?
True
Suppose -2*q - 17 = -5*b + 11, 0 = 2*q - 2. Does 3 divide 3 + (81/b - (-3)/6)?
False
Let o be -28 - 1 - 3 - -4. Let s = 3 - o. Is s a multiple of 31?
True
Let r = 5527 + -2818. Does 53 divide r?
False
Let c = -302 - -120. Let h = 274 + c. Is 14 a factor of h?
False
Suppose 5*z + 187 = 3*m, -4*m - 3*z + 292 = z. Let v = -21 + m. Is v a multiple of 16?
True
Does 22 divide (1256/5)/((-58)/(-145))?
False
Let r = 475 - 317. Suppose -3*y + r - 23 = 0. Does 9 divide y?
True
Sup