 71 a factor of c?
False
Let y = 707 + -1196. Let f = y - -768. Does 31 divide f?
True
Suppose -q = 3*q + 4, -2*z + 171 = 3*q. Let o = -36 - 0. Let g = o + z. Is g a multiple of 13?
False
Let g(c) = -c**2 - c - 1. Let q(z) = -3*z**2 + 5*z - 13. Let s(h) = -4*g(h) + q(h). Let v be s(-10). Suppose 2*n - 5 = n + 2*y, -v = y. Is 3 a factor of n?
True
Suppose -c - l + 107 = 0, 2*c + 4*l + l = 205. Is c a multiple of 10?
True
Let g be 5*-2*(15/6 + -3). Suppose -2*h - 3*k - 8 = -0*k, 0 = h - k - 6. Suppose g*o = h*o - m + 122, -3*o = 5*m - 142. Is o a multiple of 19?
False
Suppose 4*i - 74 = -2*x, -6*x + 5*x + 5*i = -16. Is 13 a factor of x?
False
Let j = -2 - 0. Let p be 872/4*(-1)/j. Let o = p + -22. Is o a multiple of 29?
True
Suppose 2*m - 2*k + 6 = 0, 0 = -4*m + k + 3. Suppose 4*n = -4*u - 276, -8*u - 338 = -3*u - m*n. Let i = u - -123. Is 11 a factor of i?
True
Let f be (-4 + 8)*1 - -26. Let n = -23 + f. Let q = n - -15. Is 11 a factor of q?
True
Let c = -324 + 379. Does 6 divide c?
False
Let f(g) be the first derivative of -g**3/3 + 3*g**2 + 5*g + 44. Is f(6) a multiple of 2?
False
Is 9 a factor of (-1*3)/(((-1)/108)/1)?
True
Let j be 0*((-6)/(-2) + -2). Suppose j = -4*d + 13 + 3. Suppose 3*k = d*k - 45. Is 15 a factor of k?
True
Suppose -5396 - 7717 = -9*p. Is p a multiple of 31?
True
Suppose -3*q - 33 = 45. Let b = -54 + 122. Let m = q + b. Is m a multiple of 9?
False
Suppose 0*h + h = 0. Let m be h*2*(-1)/(-4). Suppose -5*t - 13 - 12 = m, -2*s + 3*t + 55 = 0. Is 10 a factor of s?
True
Suppose b + 3*b = 168. Suppose -3*s - 3*d - 63 = 0, -5*d = -d + 20. Let t = s + b. Is 13 a factor of t?
True
Suppose 0 = -5*d - 4*j + 9, 4*j + 35 = 3*d - j. Suppose -3*n + 0*b + 19 = 2*b, 5*n - d*b = 15. Suppose 4*m - 33 = -n. Does 7 divide m?
True
Let h(c) = 2*c**3 + 85*c**2 + 25*c - 98. Is 44 a factor of h(-42)?
True
Suppose 3*s + 26 = -5*d, 0*d + 27 = -3*d + 2*s. Let v be 1*2 - d/7. Suppose w + v*m = 8, -3*m = -5*w + 42 + 16. Does 11 divide w?
True
Let g = 79 + -80. Is 19 a factor of (2180/(-14))/g + (-2)/(-7)?
False
Let n = 86 - 60. Let g(y) = y**2 + 6*y + 1. Let x be g(-4). Let z = x + n. Is 15 a factor of z?
False
Suppose 0 = -97*l + 1482 + 264. Does 18 divide l?
True
Let n be (-159)/(-33) + 2/11. Suppose 0*k - n*k + 200 = 0. Suppose -k = -4*x - x. Is 4 a factor of x?
True
Let w = 23 + -10. Let a = w + 19. Does 6 divide a?
False
Let i be ((-1)/2)/((-6)/24). Suppose -3*a = 0, -2*h + i*a = a - 154. Is 7 a factor of h?
True
Let j(r) = -r**2 - 18*r + 13. Let o be 6/18 + 31/(-3). Does 18 divide j(o)?
False
Let x(l) = -l**3 + 7*l**2 - l + 4. Let t be x(7). Let f = t - 86. Let u = f - -175. Does 22 divide u?
False
Let d(o) = 9*o**2 + 3*o - 4. Suppose -9 - 8 = -t. Suppose -16*m - 3 = -t*m. Is d(m) a multiple of 13?
False
Suppose -6*f + 11*f + 2*k - 1910 = 0, 4*f - 5*k = 1495. Is 10 a factor of f?
True
Let s(m) = -2*m**2 + 22*m + 18. Does 18 divide s(11)?
True
Suppose 2*n - 3*u = 16, 5*u = 4*n - 22 - 6. Suppose 70 = -n*o + 4*o. Does 16 divide o?
False
Let l(g) = -g**2 + g - 1. Let w(n) = -7*n**2 + 7*n + 10. Let h be ((-2)/(-2))/(6/(-36)). Let x(q) = h*l(q) + w(q). Is 8 a factor of x(0)?
True
Suppose 5*m - 5*w = -8*w + 55, -2*m + 31 = 3*w. Suppose -244 = m*g - 10*g. Is 20 a factor of g?
False
Let q(s) = -s**3 + 5*s**2 - s + 4. Let g = -99 + 103. Does 8 divide q(g)?
True
Suppose 7964 = -689*x + 700*x. Is x a multiple of 20?
False
Let t be ((-3)/3)/(3/(-189)). Let b be (-266)/t - 4/(-18). Does 6 divide 59/3 + b/6?
False
Suppose -25*t + 29*t - 12 = 0. Let g(i) = -i**2 + 8*i + 3. Let f be g(8). Suppose -f*c = t*h - 5*c - 33, -c = 0. Is 4 a factor of h?
False
Let h(m) be the second derivative of 3*m**5/4 + m**4/4 - m**3/3 + m**2 - 7*m. Is h(2) a multiple of 42?
False
Does 15 divide (1 - 91)/((12 + -4)/(-24))?
True
Suppose -150 = -5*x + 85. Suppose -28*u = -26*u - 178. Let h = u - x. Is 7 a factor of h?
True
Suppose -4*h + h = -o + 9, 10 = -5*h. Suppose 0 = 4*g - 0*g - 16. Suppose 0 = -o*z - 5*n + 11, g*z + 3*n - 11 = -0. Is 2 a factor of z?
True
Let m(x) = -221*x - 26. Is 21 a factor of m(-1)?
False
Suppose -8 = -7*z + 6. Suppose -9*x = -z*x - 231. Does 33 divide x?
True
Suppose -2*t - 19 = -27. Suppose 228 = -j + t*j - 3*n, 0 = 3*n - 12. Does 20 divide j?
True
Let y(w) = w**3 - 18*w**2 + 16*w + 15. Let p be y(17). Let c be 0/(2 + p - 1). Suppose c = 2*n - 7*n + 350. Does 27 divide n?
False
Let u(w) = -4*w**2 - 8*w - 6. Let h(m) = m**2 + 1. Let q(f) = -3*h(f) - u(f). Let r be q(-6). Is 2/(-6) + (-102)/r a multiple of 11?
True
Suppose 5 + 16 = 7*v. Suppose 0 = 2*j + v*j - 230. Is j a multiple of 3?
False
Let i = -238 + 296. Is 11 a factor of i?
False
Let s(x) = -7*x - 32. Let n be s(-5). Suppose -2*q - 3*a = -210, 3*a + 420 = q + n*q. Does 15 divide q?
True
Let i = 2471 - 1909. Is i a multiple of 10?
False
Let g(m) be the third derivative of -3*m**4/8 + 5*m**3/6 + 4*m**2. Let l(y) = -10*y + 6. Let k(d) = -5*g(d) + 4*l(d). Is 11 a factor of k(11)?
False
Let s(i) = 1. Suppose -3*j + 5*j - 2 = 0. Let h(b) = -2*b. Let v(x) = j*h(x) + 4*s(x). Does 8 divide v(-3)?
False
Suppose 5*f = 20, -d + 245 = 3*f - 442. Is 15 a factor of d?
True
Suppose 2*p - 16 = -26. Let k(r) = -37*r. Is k(p) a multiple of 37?
True
Let h be (1 + (-2)/4)*2280/19. Suppose -4*i - 4*o = -232, i + 3*o + 0*o - h = 0. Does 19 divide i?
True
Let y be 6/(-4) + (-360)/16. Let k = 29 + y. Suppose -k*r + 28 = 5*v - 187, -4*v = 4. Does 23 divide r?
False
Let r = 77 + -83. Is 9 a factor of 4 + (-366)/(-18) + (-4)/r?
False
Let i = 2384 - 1714. Does 10 divide i?
True
Suppose 10*k - 2452 = 1238. Is k a multiple of 8?
False
Let v(i) = 3*i - 20. Let t be v(0). Let f = -15 - t. Suppose -177 - 103 = -f*s. Does 28 divide s?
True
Let g(n) = n**2 - 5*n + 13. Let c be g(8). Let s = c + -31. Is s even?
True
Let c be 27/18*(3 - 1). Let v = c + -9. Is 804/18*v/(-4) a multiple of 20?
False
Let u be (-2)/(-3) - 20/(-6). Suppose 0 = -4*v - 5*w + 12, -9*w + u*w - 6 = -2*v. Suppose -v*j + 17 = -22. Is j a multiple of 5?
False
Suppose -7*z + 3*z - 4*o + 468 = 0, z + 3*o = 121. Is 5 a factor of z?
True
Suppose -2*s = 2*h - 0*h + 136, -s = -4*h - 287. Suppose -3*u = 3*u + 6. Does 8 divide u/7 - h/7?
False
Suppose -5*c = 5*l - 10, -2*l - 3 = -3*c + 8. Suppose 0 = -c*k + 79 + 281. Suppose 5*p = -0*p + k. Is p a multiple of 12?
True
Let y = 443 + -205. Does 34 divide y?
True
Let c be 2/12 + 2/(-12). Suppose 5*i + 2*q - 4 = 22, c = -4*q - 8. Is i even?
True
Let t(a) = -5*a**3 - 6*a**2 - 5*a - 47. Let l(h) = -4*h**3 - 5*h**2 - 4*h - 48. Let z(i) = -6*l(i) + 5*t(i). Is 10 a factor of z(0)?
False
Suppose -4*b + 4*r = 0, 2*b - b + 3*r = -4. Suppose -8*m = -79 + 15. Let i = m - b. Is i a multiple of 3?
True
Let c(j) = 6*j - 6 + 0*j**3 + 2 + j**3 - 2*j**2 - 3*j**2. Let q be c(4). Is 28/8*(q + -2) a multiple of 2?
False
Suppose 0 = 8*c + 343 - 95. Let j = c + 53. Is j a multiple of 4?
False
Let s be (-4 + 29)*(1 + -1 + 41). Suppose -67*h + s = -62*h. Does 32 divide h?
False
Suppose 2*c = -0*s + 3*s - 1216, 3*s + 3*c = 1236. Does 57 divide s?
False
Suppose 3*j + u = j - 76, 0 = -2*j - 4*u - 88. Is 9 a factor of (-1)/2 + (-774)/j?
False
Let t be 0 + -7 + 15/(-5). Let k = 76 - t. Is 14 a factor of k?
False
Suppose 0 = 5*w + 4*h + 1000, -4*w - h = -2*h + 821. Let d = w + 345. Is 28 a factor of d?
False
Let j be 10/(-3)*1908/(-10). Suppose 0 = 5*s + 66 - j. Does 14 divide s?
False
Is 1256 - ((-12)/(-6))/(3/(-12)) a multiple of 16?
True
Let x = 719 + 247. Does 50 divide x?
False
Let g = 2961 - 1651. Is g a multiple of 25?
False
Suppose 10*p = 3*p + 7714. Is 58 a factor of p?
True
Suppose -4*d = -4*v + 252, 3*d + 174 = 2*v + 43. Let k = 54 + v. Is 28 a factor of k?
True
Let h(l) = 2*l - 2. Let z be h(3). Let j(g) = 2*g**2 - 7*g + 5. Let c be j(z). Suppose 4*f = c*f - 60. Is f a multiple of 4?
True
Does 5 divide 5 + (0 + -5)*-4?
True
Suppose -31*u + 224 = -24*u. Suppose 0 = 9*t - u - 1147. Is 7 a factor of t?
False
Let m = -1217 + 1413. Is 4 a factor of m?
True
Let o be 14/4 + (-7)/14. Let p be ((-342)/10)/(1/(-5)). Suppose p = 5*a - 4*x, 3*x + 2*x = o*a - 113. Does 15 divide a?
False
Suppose 0*x - 4*x - o = -16, 0 = -4*o. Suppose -4*u = 0, -2*u + 464 = x*j - 0*u. Is j a multiple of 19?
False
Let h be -1 - (-6)/(-3)*-1. Let v(z) be the third derivati