n = -792 + g. Does 16 divide n?
True
Suppose -62 = s + 24*x - 22*x, -4*s + 5*x - 261 = 0. Let u = s + 752. Is 11 a factor of u?
False
Let l(n) = -4*n**3 - 30*n**2 - 6*n - 8. Let u be l(-7). Let i = 100 - u. Is 6 a factor of i?
False
Suppose -42 = -2*a - 24. Let f be 1 + -3 - (-2 - -4 - a). Suppose 0*k - k - 83 = -f*q, 4*q + 2*k - 72 = 0. Does 9 divide q?
False
Let j be 4 - 952/(-4 - 3). Is 66 a factor of 2 - 1 - -539 - (-139 + j)?
False
Suppose -2*k = -8, 5*v - 252 = 2*k - 5*k. Does 7 divide 84/14 - (-2 - v)?
True
Let v(z) = 3*z**2 - 279*z - 9018. Is 14 a factor of v(-145)?
False
Let z(p) = 2*p**2 + 8*p + 62. Let m be (-11)/(-1) - (15 - 15). Let u be (7/3 - 2)*(-429)/m. Is z(u) a multiple of 37?
True
Suppose 5*m - 1503 = v, 2*m - v = 6*m - 1197. Suppose 7*c - m = -3*c. Is c a multiple of 6?
True
Is 84 a factor of 349/(-1396) - 337/(-4)?
True
Suppose n = c - 1, 2 = c + n - 3*n. Let t(f) = -4*f - 30. Let b be t(-8). Suppose c*i - 130 = -b*i. Does 13 divide i?
True
Let q(a) = -a**3 - 17*a**2 - 22*a - 97. Let c be q(-16). Let k(r) = -134*r - 10. Does 16 divide k(c)?
False
Suppose -3*c + 20053 = b + 4*b, -26722 = -4*c + b. Is c a multiple of 120?
False
Suppose 4*q = 5*q - 4*n + 7, 8 = -q + 5*n. Is 5 a factor of 5*q/(-30)*18?
False
Suppose 2*a + r + 674 = 0, 2*a - 6*r + 668 = -4*r. Let c = -162 - a. Is c a multiple of 29?
True
Let q(z) = 160*z**2 - 6*z + 8. Let f be q(3). Suppose 20*w = 9*w - f. Let g = w - -199. Is 9 a factor of g?
False
Let r be 1*(-1 + -2) + 97. Let b be ((-3)/(-6))/(r/(-96) - -1). Let f = 2 + b. Is 13 a factor of f?
True
Let k = -666 + 669. Suppose -6299 = -k*l - 1469. Is 24 a factor of l?
False
Let y = 1549 - 108. Is y a multiple of 11?
True
Is 78 a factor of ((-36)/(-20))/(6 - (-785169)/(-130865))?
False
Let j(y) = y**3 + 28*y**2 + 16*y + 41. Let b be j(-28). Let p = b + 414. Is 3 a factor of p?
False
Suppose -4*i + 2*h = -7552, 5*i - 8462 - 964 = -h. Is 82 a factor of i?
True
Let l(i) = 40*i**2 - 9*i - 16. Let z be ((-24)/30)/(12/60). Is 32 a factor of l(z)?
False
Let b = 275 - 248. Suppose -25*k - 790 = -b*k. Is 79 a factor of k?
True
Let u be 33/(-77) - (-114)/21. Suppose 2*s + 666 = u*v - 860, -5*s + 289 = v. Is 11 a factor of v?
False
Let d(c) be the third derivative of c**4/24 - 5*c**3/6 + c**2. Let t be 147/(-98)*(-38)/3. Is d(t) a multiple of 7?
True
Is 22711/7 - (-228)/399 a multiple of 3?
False
Let l = -175545 - -253218. Is 62 a factor of l?
False
Suppose 42 = z + 6*z. Suppose 468 = -0*m - z*m. Does 13 divide 390/4*m/(-65)?
True
Let o = -783 + 592. Let l = -71 - o. Does 20 divide l?
True
Suppose 2*f = -3*b - 2, 3 = f + 2*f + 3*b. Let c(o) = 12*o**2 + 10*o - 25. Is 53 a factor of c(f)?
False
Let w = 471 - 487. Does 32 divide ((-1160)/w)/((-15)/(-10) + -1)?
False
Let l(x) = x**2 + 4*x - 8. Let q be l(-6). Suppose -k - k = q*d - 26, 2*d = 5*k - 17. Does 28 divide (-1)/((d/4)/(-66))?
False
Let m be (-159)/(-9) - ((-4)/2)/6. Let f(t) = -8 + 11*t**2 + 19 - 3*t - m + 2*t. Does 11 divide f(4)?
True
Suppose 3*f = r - 24, 5*r - 5*f - 55 = -3*f. Let u(b) = 2*b**2 + b - 34. Let w(q) = q**2 - 17. Let k(x) = 3*u(x) - 5*w(x). Is k(r) a multiple of 14?
False
Let w(i) = -3*i - 15. Let p be w(-8). Suppose 29 - 11 = -p*g. Let q = 10 + g. Is q a multiple of 4?
True
Let r = -15327 + 17500. Is 2 a factor of r?
False
Let y be ((-12)/(-15))/(-5*(-5)/250). Let v be (1410/5)/(-2 + 3). Let j = v - y. Is j a multiple of 24?
False
Suppose -7*p + 4650 = -32*p. Let h = 15 - p. Does 23 divide h?
False
Let f(r) = 5557*r**2 - 123*r + 124. Is f(1) a multiple of 20?
False
Let a be 1*(-1 + -3) - -8. Suppose -7*q = -h - 9*q + 467, -a*h + 2*q + 1908 = 0. Does 21 divide h?
False
Let t = 236 + -272. Is ((-4)/(-12))/(12/(-153))*t a multiple of 17?
True
Suppose -4*s = 2*u - 56, -77 = -3*u + 3*s - 11. Is 7 a factor of u?
False
Let p(q) = 7*q**2 - 6*q - 8. Let u(n) = -3*n**2 + 3*n + 4. Let b(o) = -2*p(o) - 5*u(o). Let r be b(4). Is 14 a factor of (-2*126)/(-3) + r?
True
Suppose -4*z = k + 682, 3*k - 14*z = -15*z - 2035. Let n = 716 + k. Does 10 divide n?
False
Let l be (-16)/6*(91/(-2) + -1). Let s be (-3 + 12)*1*l/(-6). Let d = -130 - s. Is 14 a factor of d?
True
Suppose k + 3*y + 12 = -0*k, 0 = k - 2*y - 8. Suppose k = -30*l + 32*l - 1158. Does 16 divide l/6 + (-3)/6?
True
Suppose 9*h - 6025 + 166 = 0. Let f = -165 + h. Suppose j + f = 10*j. Is 5 a factor of j?
False
Suppose 4*z + 15074 = 7*z + d, -5*z + 2*d + 25116 = 0. Does 8 divide z?
True
Suppose r + q + 1152 = 194, 5*r - 2*q = -4755. Let x = r - -1337. Is x a multiple of 32?
True
Let o(x) = -27*x**3 + 9*x**2 + 52*x - 19. Is o(-9) a multiple of 32?
False
Suppose -10 = 2*s - 72. Suppose 3*u - 5*q = -40, 5*u - 3*q + 25 = -s. Let p(i) = -i**3 - 9*i**2 + 5*i - 15. Is 5 a factor of p(u)?
True
Let t(n) = 32*n - 41. Let g(k) = -k**3 - 7*k**2 + 4. Let j be g(-7). Is t(j) a multiple of 29?
True
Suppose 14*h - 15065 = 38051. Is 14 a factor of h?
True
Let g be 3/5 - 94/(-10). Suppose -g*r - 106 = -856. Is 15 a factor of r?
True
Let l(c) = c - 1. Let p be l(2). Let d be 0 + 0/3 + (52 - 41). Is -5*(p - d - (-6)/(-2)) a multiple of 7?
False
Let j(a) be the third derivative of -85*a**4/24 + 2*a**3/3 - 12*a**2 - 2*a. Is j(-3) a multiple of 10?
False
Is (9/(-24))/(3/12)*22984/(-12) a multiple of 13?
True
Suppose 30*h + 13906 = 47*h. Is h a multiple of 39?
False
Suppose 22 = 5*x + 2*f, 21 = 3*x + 4*f + 5. Is (-2 + x)/(49/1078) a multiple of 44?
True
Let h be ((-1)/(-3)*-2)/(20/(-60)). Suppose -h*v - 540 = -7*v. Suppose -u - 12 = -v. Is 17 a factor of u?
False
Suppose -3*x - 1566 = -3*w, -w + 532 = -7*x + 4*x. Suppose -2 = n, -4*k + 7*k - w = 2*n. Let t = k - 25. Does 7 divide t?
False
Let d be -4 + 5 + -4 + -1. Let x be (-1 + 2)*(69 + d). Is 6 a factor of x - 6*1/(-2)?
False
Let p be 13 + (7/(-1) - -4). Suppose -p*q + 2 = -38. Suppose 2*g - 183 - 205 = -q*b, -b + 103 = -g. Is 17 a factor of b?
False
Let f(r) = 208*r**2 - 9*r + 9. Let h be f(1). Let c = 241 - h. Is c a multiple of 8?
False
Let c(m) = 68*m**2 + 31*m + 77. Is c(-7) a multiple of 28?
True
Let m(y) = -2*y**3 + 15*y**2 - 4*y - 14. Let g be m(6). Let a = 97 - g. Does 11 divide a?
False
Let u(x) = -1568*x + 7539. Is 383 a factor of u(-14)?
True
Suppose 4*p + 3*f = 6093, -5*f - 44 + 19 = 0. Suppose 3*v - p = 3*y, 0 = -4*v - y - y + 2042. Suppose -r = -7*r + v. Does 22 divide r?
False
Suppose -5*t + 0*t - 155 = 0. Let h = 120 + -162. Let k = t - h. Is k even?
False
Let i(m) = -2956*m**3 - 13*m**2 - 11*m - 1. Is i(-1) a multiple of 91?
False
Suppose -5254 - 18065 - 56105 = -32*y. Is 22 a factor of y?
False
Let n = -33 + 32. Let w be 4*n/20 + 1426/5. Let m = -104 + w. Does 17 divide m?
False
Let b = -106 - -355. Suppose 7*c - b = 248. Let i = c - 18. Is i a multiple of 15?
False
Let t be ((-60)/75)/((-2)/10) - -696. Is t + 45/12*4/3 a multiple of 47?
True
Suppose 5*k = -600 + 2045. Suppose 3*q = 5*h - k - 675, 0 = 4*h + 3*q - 755. Is h a multiple of 15?
False
Suppose 0 = -3*n + 4*n - 2*z - 1222, -5*z + 25 = 0. Is n a multiple of 22?
True
Let b(x) = -x**2 + 12*x - 10. Let i be b(8). Let o(p) = p**3 - 21*p**2 - 4*p - 28. Is 36 a factor of o(i)?
False
Let k(v) = -1149*v - 6275. Is k(-7) a multiple of 67?
False
Let z(k) = -2*k + 16. Let s be z(8). Suppose -2*r + 5*r + 12 = s, 2*r = t - 15. Is (-34)/(80/(-35) + 2/t) a multiple of 11?
False
Let w(a) = 4*a**2 - 14*a + 19. Let b be w(8). Suppose -i - 5*t - b = -37, -2*i - 5*t = 252. Let y = i - -209. Does 13 divide y?
False
Let v(i) = 101*i**2 + 22*i + 85. Does 20 divide v(-7)?
True
Let b(v) = -3170*v - 1245. Is 312 a factor of b(-9)?
False
Suppose 2*b - 72591 = -y, -41*b - 36297 = -42*b + y. Is b a multiple of 108?
False
Suppose 0 = 13*l - 5 - 34. Let k(r) = 4*r**2 + r - 8. Let a be k(4). Suppose m + l*m - 4*b = a, 4*m - 55 = 5*b. Does 10 divide m?
True
Let z = -33 + 33. Let k(t) = 2*t**3 + 114 + t - 47*t**2 + 18*t**2 + 92 + 28*t**2. Is 18 a factor of k(z)?
False
Is 8 a factor of ((-6)/90)/((-12)/(-40)) + 82680/27?
False
Let a(z) = 50*z**2 + 60*z - 228. Is a(4) a multiple of 7?
True
Let t = -9 - -18. Suppose 6*c - t*c = -723. Let s = -154 + c. Is 16 a factor of s?
False
Suppose 157*o - 168*o + 2123 = 0. Does 4 divide o/(0/((-24)/(-4)) + 1)?
False
Suppose 3*w - 3*f = f + 21, -9 = 2*w + 5*f. Is 50/(-15)*-7*w a multiple of