56))?
True
Suppose v + 2 - 4 = 0. Suppose -y + b = -19 - 41, 3*y = -v*b + 170. Suppose -42 = -4*w + y. Is 7 a factor of w?
False
Suppose 6*v - 72 = 126. Let w = v + -29. Suppose -67 = -5*q - g + 28, w*q = 4*g + 52. Does 7 divide q?
False
Suppose 2*p = -10, -c - p - 45 = -264. Suppose c = -9*l + 13*l. Is 8 a factor of l?
True
Suppose -s = 7 + 6. Let z(h) = -h**2 - 13*h - 2. Let x be z(s). Let b(w) = -46*w + 3. Does 19 divide b(x)?
True
Let c(g) = -24*g + 2220. Is c(0) a multiple of 53?
False
Suppose -y - 1558 = -p, -p - 8*y + 1566 = -11*y. Is 26 a factor of p?
False
Let q(n) = 4*n**2 + 3*n + 2. Let t be q(-5). Suppose i = 4*i + t. Let x = i + 49. Is 11 a factor of x?
False
Suppose 2*l = l + 2*q + 6, -8 = 2*q. Does 17 divide (-4)/(l*(-3)/(-102))?
True
Suppose 0*w = -5*w. Suppose -3*h + 5*f - 19 = -0, w = -5*f + 25. Suppose 81 = 2*j + 3*r + h*r, -3*j - 3*r = -117. Does 13 divide j?
False
Let k(s) = -9*s + 9. Let i be k(-7). Let q = 89 - i. Does 12 divide q?
False
Let b = 344 + 1038. Is b a multiple of 67?
False
Is (-2 + -67 - (-2)/2)/(-1) a multiple of 4?
True
Let j be (-1)/((-7)/(-6))*-7. Let k(s) = 2*s + 0*s + 0*s - 1 - 1. Does 4 divide k(j)?
False
Let f(h) = 9*h + 8. Let c be f(-6). Does 5 divide (-10)/(-25) + c/(-10)?
True
Let v(g) = -g**3 - 8*g**2 + 14*g - 1. Let w be v(-10). Let b = -35 + w. Is b a multiple of 4?
True
Does 103 divide 50/(-15)*-513 - 10?
False
Suppose -2*t + 12 = 2*t. Suppose -3*a = -t*n + 2*a - 25, -4*a = -3*n - 20. Suppose g - 2*g + 6 = n. Does 4 divide g?
False
Let d(z) = 6*z**3 + 7*z**2 - 76*z + 12. Is 24 a factor of d(6)?
True
Suppose -466 - 158 = -8*h. Is h + 2 + 0 + -3 a multiple of 26?
False
Let d = 3 + -1. Suppose -7*b = -d*b - 3165. Suppose 3*s - b = -5*k + s, -4*k - 5*s + 520 = 0. Does 35 divide k?
False
Let o = -29 - 1. Let m be (2 - 2502/(-39)) + (-4)/26. Let n = m + o. Is n a multiple of 9?
True
Suppose 5*w - 11 = 3*q, 3*q - 4*w + 2*w - 1 = 0. Let l be (-3 + 11)*(-8)/16. Is q - l*(-21)/(-1) a multiple of 13?
False
Let u = 102 + -102. Is 19 a factor of (u - (-24)/(-14))/((-13)/1729)?
True
Let g be 1/(-5) + 546/105. Let r be 2 - g/((-15)/12). Is 9 a factor of ((-9)/r - -2)*36?
True
Let z = 47 + -40. Suppose -z*n + 2*n + 150 = 0. Does 10 divide n?
True
Suppose 2*n + 2*n = -2*q + 660, -5*q + n + 1595 = 0. Does 20 divide q?
True
Suppose -23*v = -3*z - 24*v + 402, 0 = -4*z + 3*v + 536. Is 67 a factor of z?
True
Suppose 2*u + i - 22 = 0, 3*i - 16 = -4*u + 8*i. Is 2 a factor of u?
False
Let f(x) be the third derivative of x**5/15 + 17*x**4/24 - 5*x**3/6 - 30*x**2. Is f(-8) a multiple of 23?
True
Suppose -2*y + 3*y - 312 = -2*c, 5*c = y + 773. Suppose c = 5*s - 0*s. Is 26 a factor of s?
False
Suppose 4*h - 3*h = 3*x, 0 = 3*x - 5*h. Suppose x = 4*v + i + 64, -5*v - 136 + 56 = -2*i. Let a = v - -26. Does 2 divide a?
True
Suppose 2*p - 12 = p. Suppose -j = -0 - p. Let u = j - 1. Does 10 divide u?
False
Suppose 229 = o - r - 4*r, -3*r - 950 = -4*o. Is 31 a factor of o?
False
Let d be (7 - 3) + 0 - 2. Suppose -3*t + d = -3*r + 29, 2*t + 10 = 0. Suppose -2*m = 5*f - 5 - 91, r*f + 2*m - 76 = 0. Does 5 divide f?
True
Suppose -o + 17 = 4*b - 5, -o = b - 4. Suppose 3*n - b*n = -45. Is 8 a factor of n?
False
Suppose 592 = 1218*u - 1210*u. Is 2 a factor of u?
True
Suppose 5*o - 2*o = 0, x - 2*o = -3. Let b(f) be the first derivative of -3*f**2 + 3*f + 1. Is 7 a factor of b(x)?
True
Let l = 19 + -8. Let c = l + -15. Does 3 divide 11 + 3 + 0 + c?
False
Let w = -15 - -36. Suppose 3*n - w = -4*x, -n - 7*x + 7 = -3*x. Suppose -27 = 6*s - n*s. Does 9 divide s?
True
Let q(h) be the first derivative of 7*h**4/12 + h**3/6 - h**2 + 4. Let w(b) be the second derivative of q(b). Does 6 divide w(2)?
False
Suppose -13*k + 9*k - 2*z + 1506 = 0, -5*z = k - 363. Does 27 divide k?
True
Let g(o) be the first derivative of -o**4/4 + 10*o**3/3 + o**2/2 + 7*o - 8. Let n be g(10). Suppose 0 = 3*b + n - 197. Is 15 a factor of b?
True
Suppose -8*p - 370 = -4434. Is p a multiple of 22?
False
Let d be (8/(-2) + -15)/1. Let a = d - -18. Let w(t) = -46*t**3 + t**2 + t + 1. Does 9 divide w(a)?
False
Suppose 716 = 5*r - l, 4*r - 717 + 137 = -l. Let x = r + -96. Suppose 7*c - 6*c = x. Does 12 divide c?
True
Let p(s) = -26*s - 8. Let m be p(-8). Let x be (-3)/4 - m/32. Let g(i) = -5*i - 10. Does 10 divide g(x)?
False
Is (1 - -1128) + 18 + -13 a multiple of 63?
True
Suppose 4*f - 24 = -5*w + 3*w, -f + 28 = -5*w. Suppose f*c - 10*c = -6. Is 3 a factor of c?
True
Suppose 3*q - 963 + 99 = 0. Is q a multiple of 36?
True
Suppose -5*b + 73 = -122. Is b a multiple of 17?
False
Let t = 606 + -887. Let p = -122 - t. Suppose -a = 2*a - p. Does 16 divide a?
False
Let c = -55 - -77. Is c a multiple of 13?
False
Suppose 4*w = -w + 295. Suppose 2*z - 98 = -4*u, 4*u - w = 5*z + 46. Is 3 a factor of u?
False
Let h(u) = 3*u**2 - 18*u - 5. Suppose -2*b - 6 = -26. Is 32 a factor of h(b)?
False
Let b(g) = 3*g + 5. Let c(j) = -5*j - 11. Let n(l) = 11*b(l) + 6*c(l). Let y be n(5). Suppose y*m + 50 = 6*m. Is m a multiple of 5?
True
Let o = 17 + -17. Suppose o*s - 174 = -3*s. Suppose 3*y + 4 = s. Does 7 divide y?
False
Let l = -349 - -547. Let s = l - 110. Does 11 divide s?
True
Let h(o) = -o**3 - o**2 + 1. Let g(q) = -4*q**3 - 12*q**2 - q + 14. Let k(s) = -g(s) + 3*h(s). Is 16 a factor of k(-7)?
True
Let o(n) = -10 - 3*n - n**2 - 2*n + 4*n**2. Let h(s) = -s**2 + 34*s - 279. Let w be h(19). Is o(w) a multiple of 17?
True
Suppose 0 = 3*u - 1 + 7. Let r be 0 - (3 - (-2 - u)). Let j(n) = -n**3 + n**2 + 2*n - 3. Is 9 a factor of j(r)?
True
Suppose 5*n - 2*n = -4*q + 31, 3*n = -3*q + 33. Suppose -179 - n = -4*x. Is 8 a factor of x?
True
Let s be 28/(-21) + 76/(-6). Let r(i) = -7*i - 21. Does 11 divide r(s)?
True
Is -3 + 63/15 + (-14346)/(-45) a multiple of 7?
False
Suppose 78 = 3*l - v, -4*l - 2*v + 3*v + 104 = 0. Let d = l + -40. Let h = d + 19. Does 2 divide h?
False
Suppose -6*j + 3*j + 8 = 4*a, j = a - 9. Let f = -164 + 165. Suppose -3*t + 7 - f = 0, 0 = 2*r - a*t - 92. Is r a multiple of 27?
False
Let y be 356/7 + 1 + 30/(-35). Suppose -53*m + 4 = -y*m. Is m a multiple of 2?
True
Suppose 11490 = 5*b + 2*d, 41*d - 43*d = 2*b - 4590. Is b a multiple of 50?
True
Suppose 80*t - 4704 = 64*t. Is 7 a factor of t?
True
Let a be 4550/63 + 2 + 4/(-18). Suppose 269 = 7*l - a. Is l a multiple of 9?
False
Let y be 4545/117 + (-2)/(-13). Let x = y + 280. Is 38 a factor of x?
False
Let a(m) = 51*m**2 + 2*m + 4. Let b(r) = 52*r**2 + r + 4. Let u(f) = -3*a(f) + 4*b(f). Let d be u(2). Suppose -d = -22*q + 18*q. Is q a multiple of 12?
False
Suppose 37*b + 708 = 39*b. Does 29 divide b?
False
Let x = 16 + -6. Suppose a + 5 = c, -x = 2*c + 3*a + 5. Suppose -n - 2*n + 252 = c. Does 21 divide n?
True
Suppose -1 = -b, 3*g + 4*b - 849 = -131. Is 12 a factor of g?
False
Let l = 10 - 5. Suppose -l*v + 102 = -48. Is v a multiple of 5?
True
Let r(n) = -5*n + 4. Let l = -6 + 6. Suppose l*c - 5*c - 35 = 0. Does 13 divide r(c)?
True
Is 15 a factor of 2756/9 - 12/54?
False
Let n be 1/(-3) - 40/15. Let k be n/7 - (-76)/14. Is (-12)/(-20) + 312/k a multiple of 13?
False
Let c be (-3)/(-1) + (0 - 1)*21. Does 6 divide -5 + (-376)/(-72) + (-338)/c?
False
Suppose -2*x + 864 = x. Does 8 divide x?
True
Let y(j) = j**3 + 6*j**2 - 3*j - 8. Suppose s - 6*s = 30. Let n be y(s). Does 14 divide ((-28)/(-10))/(1/n)?
True
Let c = 19 - 14. Suppose -v = c*g - 27, 5*g - 7 - 8 = 5*v. Does 22 divide (66/g)/((-5)/(-25))?
True
Let r(a) = -a**2 - 11*a + 2. Let d be r(-12). Let t be (-6)/d - (-64)/10. Suppose -t*f = -5*w - 3*f + 311, w + 2*f = 51. Does 22 divide w?
False
Let j(p) = 56*p**2 - 2*p - 1. Suppose -1 = -c + 2*k, -2*c = 3*c + 3*k + 8. Let h be j(c). Let m = h - 17. Does 9 divide m?
False
Let l(i) = -231*i - 314. Is 28 a factor of l(-13)?
False
Let b = 50 - 24. Let z = b - -158. Suppose 0 = -5*h + z + 41. Does 18 divide h?
False
Suppose 0 = -10*x + 6*x + 120. Suppose -2 = -2*p - 0*o + 4*o, 4*p = -5*o + x. Suppose -2*d - 21 = -5*w - 3*d, p*w = -2*d + 22. Does 3 divide w?
False
Suppose -9*b + 9769 + 1499 = 0. Is 32 a factor of b?
False
Suppose 5*n - 5*k = 30, 4*n - 15 = n + 2*k. Suppose 3*c + n = 468. Is 21 a factor of c?
False
Suppose 0 = 4*s - 7*s + 24. Let z = -6 + s. Suppose z*m + 78 = 5*m. Does 13 divide m?
True
Let s = 307 + -17