 19?
True
Let s(w) = -20*w**3 - w**2 + 1. Let q be s(-1). Suppose 4*i + q = 108. Suppose -2*v + k = -i, -v + 20 = -4*k - k. Is 5 a factor of v?
True
Suppose -3*p + 298 = z, 2*z - 2*p - 522 = 34. Is z a multiple of 52?
False
Suppose -2*z + 7*z - 15 = 0. Suppose 3*t + 2*y - 39 = -y, t - 3*y + z = 0. Does 3 divide t?
True
Let x(k) = -10*k + 6. Let b be x(6). Let p = b - -75. Is p a multiple of 7?
True
Is 5 a factor of 8/3*(-63)/(-6)?
False
Suppose -537 = -4*g - q, g - 133 = -5*q - 13. Is g a multiple of 27?
True
Let q(r) = 55*r**2 + 3*r - 2. Is q(2) a multiple of 16?
True
Suppose t + m - 165 = 0, -2*t + 318 = 2*m - 4*m. Does 11 divide t?
False
Let b be (-6)/9*(-6)/(-2). Let u = b - -11. Is u a multiple of 9?
True
Suppose g + 0*j + 4 = -j, 0 = -g - 4*j - 1. Let f(c) be the third derivative of -c**4/12 + 5*c**3/6 + c**2. Does 4 divide f(g)?
False
Suppose 0 = -3*a + n + 14, 2 = -5*a - 5*n + 12. Suppose 0 = -a*k + 3*k + 14. Is k a multiple of 5?
False
Let b(t) = t**2 + 5*t + 5. Let j be b(-5). Let g be ((-36)/10)/(1/j). Does 3 divide (g/8)/(6/(-16))?
True
Let r(o) = -o**3 + 7*o**2 + 11*o - 10. Is 13 a factor of r(7)?
False
Suppose -2*a = a + 54. Let g = -10 - a. Does 4 divide g?
True
Let o(y) be the first derivative of y**3/3 - y**2/2 - 6*y + 2. Let x be o(5). Is 6 a factor of (12 - 5)*12/x?
True
Let x(h) = h**3 - 12*h**2 + 10*h + 23. Does 4 divide x(11)?
True
Let c be 103/(-7) - 2/7. Does 2 divide 7/5 - c/25?
True
Let p = -6 + 18. Let j be (8/p)/((-4)/(-78)). Suppose q = -c + j, 3*c - 29 = -5*q + 16. Does 6 divide c?
False
Suppose -4*x + 2 = -u + 1, 0 = u + 1. Suppose -p + 18 + 6 = x. Is p a multiple of 16?
False
Let h = -6 + 14. Does 8 divide h?
True
Let d(p) = p**2 - 5*p - 10. Let i be d(7). Suppose 2*w - 23 = 3*j, 0 = -w + i*w + 3*j - 57. Is w a multiple of 10?
False
Suppose 3*k - 14 = -2*i + 1, 5*k + 4*i = 23. Let v(h) = h**3 - 6*h**2 - 2*h - 2. Is 13 a factor of v(k)?
False
Suppose 7*o = 6*o + 48. Is o a multiple of 25?
False
Suppose 0 = -3*l + 5*s + 624, 0*l = 3*l + s - 624. Is 15 a factor of l?
False
Let j(c) = -c**3 + 9*c**2 + 12*c - 15. Let y be j(10). Suppose -4*n = -5*v - 159, 2*n + n - y*v - 113 = 0. Is 23 a factor of n?
True
Let c(m) = m**3 - 2*m**2 - 2*m - 8. Let v be c(6). Suppose 2*b + 2*z - v + 22 = 0, -5*b = -4*z - 210. Does 23 divide b?
True
Let c = 103 + -93. Is c a multiple of 5?
True
Let g(f) = f**2 - 3*f - 6. Does 4 divide g(5)?
True
Suppose -z - 4*v - 3 = 0, -5*v - 5 = z - 0*v. Does 3 divide z?
False
Let y = -2 + 8. Suppose 63 = y*r - 3*r. Is 21 a factor of r?
True
Let w be 85/(-3)*(1 - 13). Suppose -5*r - w = -5*j, -2*j + 7*j - 3*r = 344. Suppose 2*s + 14 = j. Does 14 divide s?
True
Let o(j) be the first derivative of j**2 + j - 1. Let t be o(-2). Does 13 divide (((-78)/1)/t)/1?
True
Suppose 3*s - 5*b + 18 + 7 = 0, s = 3*b - 7. Let f(w) = -w + 4. Let o be f(s). Suppose -o = -4*p + 14. Is 6 a factor of p?
False
Let i = 83 + -77. Is i a multiple of 6?
True
Suppose 4 = 4*n - 0. Suppose n - 11 = 5*t. Is 11 a factor of -31*(2/t + 0)?
False
Suppose 0 = 2*g - 0*g - 6. Suppose g*n + 72 = 5*n. Does 18 divide n?
True
Let a = -42 - -66. Let z = -15 + a. Is z a multiple of 9?
True
Let f(k) = -2*k - 6. Let u be f(-4). Let a be (-2)/u + 7/1. Suppose 3*v + 5*g = a*v - 116, -v + 38 = -g. Does 14 divide v?
False
Let b be (-3)/(1 - (-10)/(-4)). Let w = 27 - -17. Suppose -b*o = t - 29, 5*t + 4 = -3*o + w. Is 9 a factor of o?
False
Let y = 4 - 1. Suppose -115 = -5*r - 0. Suppose s = y*g + g + r, g = -3. Is s a multiple of 11?
True
Let p(w) = -w + 2. Let s(i) = i. Let n be s(-3). Let g be p(n). Suppose -3 = 2*r - g*r + 3*j, 4*j = -4*r + 36. Is r a multiple of 2?
False
Let o = 16 - 6. Let n be (-2)/(-6) + 29/6*2. Let y = n + o. Is y a multiple of 10?
True
Let o(r) = -r**3 + 2*r**2 + r - 2. Let f be o(3). Let h = f + 32. Does 24 divide h?
True
Suppose -2*u = 3*u + 10. Is (-3 - u) + (-3 - -34) a multiple of 16?
False
Suppose -10 = -2*y - 0*y. Let s be -85*2/y*-1. Suppose 2*z - s = -4*h, -h + 3 = z - 4. Is h a multiple of 10?
True
Let a = -96 - -138. Does 8 divide a?
False
Let b(g) = -g. Suppose i = 5*i. Let n be b(i). Suppose 30 = 5*t - n*t. Does 6 divide t?
True
Let y = -75 + 97. Is 22 a factor of y?
True
Let i = 24 + -37. Let j(g) = -g**3 - 13*g**2 - 4*g - 3. Does 21 divide j(i)?
False
Suppose 2*q - 5*b - 675 = 0, 2*b - 1799 = -5*q - 97. Does 48 divide q?
False
Let i(d) = 2*d - 1. Let c be i(1). Let r be (-6)/(-15)*(-5)/c. Is 15 a factor of (-1 + -1)*15/r?
True
Let t(l) = -l**3 - 7*l**2 + l + 7. Let y be t(-7). Suppose -s + 3 = a, -a - 3 + y = 3*s. Is 45/a*(-16)/(-10) a multiple of 12?
True
Let w = 2 + -2. Let k be 3*1*(2 + w). Suppose -k*y = -3*y - 18. Does 6 divide y?
True
Let a = -69 - -136. Suppose a = 4*c + 19. Does 12 divide c?
True
Suppose -n - s - 9 = -3*s, 0 = 3*n + 3*s. Let h = n + 27. Is 24 a factor of h?
True
Let r(j) be the third derivative of -j**6/120 - j**5/12 - j**3/2 - 4*j**2. Is 10 a factor of r(-6)?
False
Let g(c) = 3*c - 14. Does 14 divide g(14)?
True
Suppose -3*m + 3 = -12. Suppose -32 = -y + m*y. Is 3 a factor of 2/8 + (-30)/y?
False
Let o = -14 - -27. Is o a multiple of 8?
False
Suppose 0 = 6*u - 2*u - 36. Let y(j) = j**2 - 7*j - 5. Is y(u) a multiple of 13?
True
Let x = 110 - 18. Does 30 divide x?
False
Suppose 5*r + 493 = 4*v, 5*v - 522 - 84 = -4*r. Let g = -72 + v. Suppose 198 = 4*m + g. Does 15 divide m?
False
Let k = 69 - 41. Suppose u - k - 21 = 0. Let i = u - 22. Is 9 a factor of i?
True
Is 6 a factor of (-299)/(-2) + (0 - 3/(-6))?
True
Suppose -2*i - 454 = -4*x, -427 = -4*x - i + 42. Is x a multiple of 13?
False
Let w = 17 + -26. Suppose 0 = -2*s - 1 + 3. Let k = s - w. Is k a multiple of 10?
True
Let t be (0 + 0)*1/(-2). Let a = t - 2. Does 11 divide (1 - 23)/(1 + a)?
True
Suppose 5*f + 726 = 2*b, 5*f - b = -2*b - 717. Let a = 252 + f. Does 27 divide a?
True
Let j be 34/(-8) + 2/8. Let m(s) = 2*s**2 + 4*s + 5. Does 17 divide m(j)?
False
Let r = 22 + -18. Let u(q) = q**2 + 2*q - 4. Is u(r) a multiple of 10?
True
Let o(v) = v**3 - 7*v**2 + 7*v - 2. Let b be o(6). Let t = 76 - b. Suppose 0 = -0*a - 4*a + t. Is 13 a factor of a?
False
Suppose 1258 = 6*s + 154. Is s a multiple of 21?
False
Suppose -4*l - 113 = -o - 455, -3*l + 245 = 5*o. Suppose 35 = 4*a - l. Does 21 divide a?
False
Let o(c) = -14*c - 2. Is 14 a factor of o(-2)?
False
Let w = -32 + 9. Let k = 15 + -28. Let c = k - w. Is 10 a factor of c?
True
Let y be 2/(-7) - 6/(-21). Suppose -4*q = -y*q. Does 13 divide -3 - q/(-2) - -24?
False
Let b be (-9)/(-5) - 4/(-20). Suppose -192 = -3*o + 4*r, 4*o + 6*r = r + 256. Does 16 divide ((-2)/(-4))/(b/o)?
True
Let x(z) = 11*z**2 + z. Does 2 divide x(-1)?
True
Let g = -54 - -6. Is 6 a factor of (1/(-2))/(2/g)?
True
Suppose 4*r - 2*q - 3 - 3 = 0, 0 = -4*q + 4. Is -4*(-2 + 1) + r a multiple of 6?
True
Suppose 0*m + 1 = m. Suppose -3 = -2*k + m. Suppose -k*b + 0*b = -22. Is 11 a factor of b?
True
Is -4 - (3 + -2)*-167 a multiple of 24?
False
Suppose -4*r + 4*y = -0*r + 24, 2*r - y + 13 = 0. Let o(f) = 2*f**3 - f**3 + 8*f**2 - 4 - 1 - 3*f + 7*f. Is o(r) a multiple of 16?
True
Let u be 6/(-9)*3 - -1. Let x = 5 + u. Is 3 a factor of x?
False
Let u(k) = 3*k**2. Let f(x) = -16*x**2 + x. Let c(t) = 6*f(t) + 33*u(t). Is c(-3) even?
False
Let a = 0 - -3. Suppose 36 + 39 = a*k. Is 8 a factor of k?
False
Let v(a) = a**2 + 4. Suppose 0 = -p + 4*k - 4, 5*p = k - 11 - 9. Let f be v(p). Suppose f + 16 = 3*s. Is 5 a factor of s?
False
Let t(m) = -m**2 + 3*m + 1. Let h(f) = 2*f**2 - 2*f - 1. Let p(n) = 5*h(n) + 4*t(n). Does 4 divide p(1)?
False
Let f(m) = -m**2 + m - 25. Let l be f(0). Let q = -22 - l. Is q a multiple of 3?
True
Let m = 2 - -1. Suppose t + t - 8 = 0. Suppose -m*b + a + 153 = 2*a, -t*b + 214 = -2*a. Does 14 divide b?
False
Is 2/(-8) - 169/(-4) a multiple of 21?
True
Suppose 7*x - 106 = 4*x + y, 2*x = 4*y + 84. Suppose o = -3*a + x, 3*a - o - 42 = -4*o. Does 5 divide a?
True
Let u be 39/(-2) - 3/(-6). Let q = 46 + u. Is 7 a factor of q?
False
Let v be ((-6)/(-4))/((-4)/(-104)). Suppose 4*f - v = 57. Is f a multiple of 9?
False
Suppose 0 = -2*k + 2 + 20. Is k a multiple of 4?
False
Let z(o) = -o**2 + 8*o + 5. Let g(c) = -c**3 + 6*c**2 + 8*c + 1. Let v be g(7). Is z(v) a multiple of 5?
True
Let t(v) = v - 2. Let b be t(8