tiple of 13?
True
Let r(a) = 2*a**2 - 12*a - 26. Is 29 a factor of r(-12)?
True
Suppose n - 4 = 0, 0 = 3*y - 0*n + 2*n - 638. Does 6 divide y?
True
Suppose 2*q + 14 = 9*q. Is (q/(-5))/(4*7/(-420)) a multiple of 5?
False
Suppose 3*s = 5*s - 1408. Does 16 divide s?
True
Suppose -3 = -i - 7. Let u be (-2)/i*7*2. Let n = -1 + u. Is n a multiple of 6?
True
Let w = -98 - -41. Let i(j) = j**3 + 10*j**2 + 10*j + 15. Let r be i(-6). Let g = w + r. Is 14 a factor of g?
True
Let u be 0 + (-2)/1*1. Let n be u/(-3) + 1236/36. Suppose -n = -3*s + 154. Is s a multiple of 18?
False
Suppose 65*v - 54*v - 209 = 0. Is 5 a factor of v?
False
Suppose 4*t = 26*t - 14960. Is t a multiple of 40?
True
Let n = -634 - -774. Is 10 a factor of n?
True
Let p(s) = -430*s - 3. Is 7 a factor of p(-1)?
True
Let l(q) = q**2 + 5*q - 8. Let v be l(-6). Suppose 5*m + c + 11 = 0, -3*c - 30 = -m - 29. Is v + (112/(-1))/m a multiple of 30?
False
Let i = 510 + -412. Is 3 a factor of i?
False
Let h(j) = 2*j**2 - 19*j + 48. Is 7 a factor of h(14)?
False
Suppose -s + 5*p + 740 = -0*s, 25 = -5*p. Is s a multiple of 14?
False
Suppose -293 - 11474 = -7*l. Does 14 divide l?
False
Suppose 0 = -2*m + 12*m - 2560. Suppose -4*c - w = -m, -c - 2*w = -37 - 27. Is 5 a factor of c?
False
Suppose v + 13 = 2*t, 3*v = -16*t + 13*t - 3. Let q = 9 - 4. Suppose q*s = -c + 100, 4*c = -t*s + 100 - 20. Is s a multiple of 8?
False
Let y = -49 - -73. Suppose -c + y = 9. Is c a multiple of 3?
True
Let t(c) = -c**2 + 22*c - 34. Let g be t(14). Suppose l - g - 26 = 0. Is 18 a factor of l?
False
Let g(k) = k**2 + 5*k + 7. Suppose -38 + 10 = 4*p. Is g(p) a multiple of 7?
True
Let y(x) = -x**3 + 54*x**2 + 18*x + 60. Is y(54) a multiple of 8?
True
Suppose 117 = 3*g - 102. Let a = -13 + 21. Let b = g - a. Is 29 a factor of b?
False
Let p be (4 - 3)*8 - 4. Suppose 0 = -4*n + p*q + 36, 4*q - 9 = -4*n + 3. Does 2 divide n?
True
Suppose -2*y + 1834 = y + 4*f, -y + 5*f + 586 = 0. Is y a multiple of 37?
False
Suppose 2*x = -x + 12. Let f be (x/(-3))/((-4)/9). Suppose 3*k - 5*u = 95, f*k = -u - u + 67. Is k a multiple of 16?
False
Is (615/12 - (0 - -1))*12 a multiple of 67?
True
Let z = -5 - -10. Suppose -11 = -2*j - 7. Suppose j*x - 3*w = -1, -z*x = -w - 3*w - 8. Is x a multiple of 2?
True
Let z = -1466 + 2878. Is 30 a factor of z?
False
Let y(c) = 4*c**2 - 6*c + 7. Let a be y(-5). Suppose 4*d + 4 = 0, -3*h - 4*d = -0*d - a. Is 6 a factor of h?
False
Suppose -5*k = -5*l + 457 - 72, 4*l - 3*k - 306 = 0. Is l a multiple of 15?
True
Suppose 61*y = 54*y + 973. Does 5 divide y?
False
Suppose -3*p + 10 = -f, 4*p = -2*f + 7 + 3. Suppose -188 = -p*z + 136. Is 22 a factor of z?
False
Let x be (-18)/(-5) + -2 - 28/(-70). Let l(m) = 39*m - 5. Is 13 a factor of l(x)?
False
Suppose 3*d + 2*l - 338 = 0, -2*d - 3*l + 87 + 130 = 0. Does 32 divide d?
False
Let o(n) = 46*n + 197. Is o(11) a multiple of 32?
False
Let l = 847 + -41. Is 31 a factor of l?
True
Suppose 6*h - 237 - 303 = 0. Suppose y = -g + 55, 0 = y - 4*g + 25 - h. Does 19 divide y?
True
Let d(u) be the first derivative of 8 + 9*u - 1/2*u**2. Is d(-4) a multiple of 10?
False
Let h(m) = 3*m**3 - 6*m - 4. Let q be h(-2). Let c(l) = -7*l - 34. Is 16 a factor of c(q)?
False
Suppose 4*c + 3*l - 52 = 8, 4*l - 16 = 0. Let n = 22 + c. Is n a multiple of 17?
True
Suppose -x = -4*a - 354, -3*a + 327 = x + 2*a. Let n = x + -210. Is 26 a factor of n?
False
Let h(i) = -i**2 - 5*i**2 - 12*i - 2*i**3 + 8 + 13*i - i**3. Does 14 divide h(-4)?
False
Does 6 divide (1 + 12)/(-6 - 183/(-30))?
False
Suppose j = -142 + 220. Is j a multiple of 26?
True
Let r(p) = 314*p**2 + 3*p + 1. Is 12 a factor of r(-1)?
True
Let g(k) = k + 16. Let n be g(-6). Suppose -11*b + 37 = -n*b. Is b a multiple of 11?
False
Let j be -1 - (-2 - (3 + 11)). Let t = j + -11. Suppose -3*o - 3*y = -0*o - 54, t*y + 36 = 2*o. Is o a multiple of 11?
False
Suppose 5*w - 8*k + 9*k = 851, -2*k - 678 = -4*w. Is w a multiple of 9?
False
Suppose 2*c - 19 = 5*c - h, -2*h = -8. Let m = c - 13. Let l = 30 + m. Is l a multiple of 3?
True
Let l = 79 - 111. Let z(x) = -x**2 + 5*x - 3. Let a be z(3). Does 7 divide (-8)/a*120/l?
False
Let m(k) = 2*k**2 - 8*k + 34. Does 14 divide m(17)?
True
Let n(d) = 2*d - 2. Let q be n(-4). Let w = q + 26. Is (-170)/(-8) - (-12)/w a multiple of 11?
True
Suppose -5*r + 236 = -4*r. Let k = r - 138. Is k a multiple of 17?
False
Let m(h) = h**2 + 3*h - 3. Suppose -4*v = -6*k + k + 47, -2*v - 27 = -3*k. Is 32 a factor of m(k)?
False
Let w(f) = -2*f - 6. Let a be (1/(-1))/(1/6). Let o be w(a). Suppose -y = 4*d - 17, -5*y = -3*d - 22 + o. Is d a multiple of 2?
False
Suppose -2*u = 2*u + 1300. Let y = u + 509. Does 46 divide y?
True
Let q be (-10 - 2)/3*-7. Suppose -5*h + 6*o = 3*o - 52, 3*o + q = 2*h. Is 6 a factor of h?
False
Let u = 13 + -3. Suppose -u = -r + 30. Is 20 a factor of r?
True
Does 17 divide (35/(-15))/((-1 + 11)/(-6330))?
False
Let r(n) be the first derivative of -111*n**4/2 - 2*n**3/3 + n**2/2 + 2*n - 14. Is r(-1) a multiple of 26?
False
Let r(c) = 0 + 3*c**2 - 2 + 73*c - 71*c - 3*c**3. Does 15 divide r(-2)?
True
Let s be -4 - (3 + (-4 - -14)). Let q = s - -25. Suppose -13*y = -q*y - 125. Is y a multiple of 25?
True
Let f(v) be the first derivative of 3*v**5/2 - v**4/12 + v**3/6 + 10*v - 2. Let c(j) be the first derivative of f(j). Does 6 divide c(1)?
True
Suppose -5 = 4*c - 17. Suppose -c*f - 39 = -5*v, -3*f - 27 = -4*v + v. Is 17 a factor of (2/(-5))/(v/(-1020))?
True
Let m(i) = -2*i + 4. Let a(f) = 2*f - 5. Let c(x) = x**3 + 5*x**2 - x - 1. Let q be c(-5). Let n(y) = q*a(y) + 5*m(y). Does 4 divide n(-6)?
True
Suppose 3*q - 578 = -5*g + 5*q, 3*q = g - 126. Does 16 divide g?
False
Is 31 a factor of 155/(-3*(-2)/3 - 1)?
True
Let z be (-7530)/135 + 4/(-18). Let h = 52 - z. Does 9 divide h?
True
Suppose -2*m = -3*l + 1 - 21, 4*m - 4*l - 32 = 0. Suppose 0 = -m*g - g + 435. Is g a multiple of 19?
False
Let o = -496 + 4018. Is o a multiple of 83?
False
Let l(i) = i + 28. Let q = -12 - -12. Let w be (1 - q)*(-70)/5. Is l(w) a multiple of 8?
False
Suppose 5*k - 4*k - 5 = 0, -3*x + 674 = -2*k. Is 12 a factor of x?
True
Suppose 14*v - 8631 = 7*v. Does 42 divide v?
False
Let u(b) = b**3 + 25*b**2 - 4*b - 24. Is u(8) a multiple of 18?
False
Let i(o) = o**3 + 4*o**2 - 7*o + 6. Let j be i(-8). Let f be (5 + -4)/((-2)/j). Suppose 3*n = -4*g + f, -4*n + 129 = 2*g + 3*g. Does 17 divide n?
False
Let j(y) = -y**3 - 2*y**2 + 18*y - 22. Is j(-6) a multiple of 4?
False
Let j(r) = -762*r**3 + 3*r**2 + 25*r + 23. Is 39 a factor of j(-1)?
False
Let p be 4 - -2*2*2/(-4). Suppose v = -p*v + 576. Does 13 divide v?
False
Suppose 3*y + 1 = 76. Let s = y + -23. Does 5 divide (6 - 8/s) + 6?
False
Suppose 2*l = s + 752, -2*l + 5*s + 1121 = l. Is 23 a factor of l?
False
Suppose -4347 - 2070 = -31*f. Is f a multiple of 21?
False
Let u(k) = -k**2 - 40*k - 47. Let z be u(-19). Suppose -3*h + w - 3*w + z = 0, -2*w - 2 = 0. Is 19 a factor of h?
False
Suppose -k + 1585 = 1297. Does 32 divide k?
True
Let k = -26 - -13. Let y = -8 - k. Let h(q) = q**3 - 5*q**2 + 7*q - 3. Is h(y) a multiple of 17?
False
Let f = 2315 + -75. Is 80 a factor of f?
True
Let q(w) = -w**3 + 28*w**2 + 4*w - 45. Does 23 divide q(28)?
False
Let r = 7 - 3. Suppose 4*j = 4*l + 400, 0 = -5*j - 2*l + r*l + 509. Does 37 divide j?
False
Suppose 10 + 4 = 7*k. Let u be k*9 - (-7 + 10). Suppose u*a + 64 = 19*a. Is 16 a factor of a?
True
Let o(n) = n**2 - 7*n - 61. Is 8 a factor of o(18)?
False
Suppose -16 = 6*k - 10*k. Suppose -k*r = 4, 3*s - 2*r - 17 = -3*r. Does 3 divide s?
True
Let f = 14 - 14. Suppose -2*o = 3*k + 1, 5*o + k - 26 + 9 = f. Is o a multiple of 2?
True
Let r(a) be the second derivative of -7*a**3/3 + 13*a**2 - 21*a. Is r(-7) a multiple of 15?
False
Let b(u) = 2*u**3 - u**2 + 5. Is b(4) a multiple of 13?
True
Is (-100595)/(-62) - -2*1/(-4) a multiple of 39?
False
Let b(o) = -129*o + 131. Is 16 a factor of b(-9)?
False
Let w = 677 + 1156. Does 13 divide w?
True
Suppose 5*w = -y - 17, -y + 4*w = 3*w - 7. Let n be (205/(-15))/((-1)/y). Let k = n - 28. Is k a multiple of 4?
False
Let z = -1493 - -1904. Is 9 a factor of z?
False
Suppose 0 = 7*x - 38 + 3. Suppose -3*g + 5*g + 2*v = 2, 2*v = g + 5. Is 5 a factor of 90/x + 0/g?
False
Suppose 3*p - 171 = -0*p. Let r(f)