h + 11. Is 11 a factor of p(-10)?
False
Let c(a) = -3*a**2 + 4*a - 2. Let x(d) = -d. Let v be 1/(-2) - 0 - (-135)/(-10). Let k(j) = v*x(j) - 2*c(j). Is k(5) a multiple of 23?
True
Suppose 21500 = 3*h - 7228. Suppose -52*l + 71*l - h = 0. Does 24 divide l?
True
Let a = 146 - 253. Let l = 175 + a. Does 7 divide l?
False
Suppose -14*o + 91 = 35. Suppose 5*d - 2*f + 3*f - 138 = 0, -o*f - 42 = -2*d. Is d a multiple of 9?
True
Let d(k) = -k**2 - 13*k - 9. Let s = 22 - 34. Let p be d(s). Suppose p*m - 271 = -m - 3*l, 4*l = 20. Is m a multiple of 11?
False
Suppose 94*h - 65540 = -19*h. Does 20 divide h?
True
Let z = -3936 - -5153. Does 21 divide z?
False
Suppose 98 + 73 = 51*c - 645. Suppose 0*h - y + 37 = 3*h, -y + 63 = 5*h. Suppose -c*r = -h*r - 378. Is r a multiple of 18?
True
Suppose -4*a + 5*t + 31 = 0, -t + 11 = 2*a - 8. Suppose -a*m = -12*m + 2064. Is m a multiple of 6?
False
Suppose -8*v - 1020510 = -146*v. Does 17 divide v?
True
Suppose 0 = 23*k - 263 - 8247. Is 6 a factor of k?
False
Suppose -3*q - 5*p = 16, 0*p = q - 4*p + 28. Let s(x) = -x**2 - x + 2. Let v(c) = -c**3 - 18*c**2 + 3*c + 16. Let n(g) = -7*s(g) + v(g). Is 19 a factor of n(q)?
False
Let y(a) = a**3 + 7*a**2 + 7*a - 1. Let r be y(-6). Let s = r + 7. Suppose -2*d + 4*m + 180 = s, -3*d - 3*m + 275 = -8*m. Is 15 a factor of d?
False
Let t be (-3 - (-330)/70)*5159. Suppose 5*l + t = 11*l. Is l a multiple of 67?
True
Suppose -10*k + 1372 + 3319 = -4849. Is k a multiple of 7?
False
Suppose -4*d + 3286 = j, -6*j + 4*j + 8*d + 6556 = 0. Is 107 a factor of j?
False
Does 19 divide 1131 - (26/(-13))/((-1)/2*1)?
False
Let h(l) = -24*l**2 + 16*l - 14. Let o(y) = -24*y**2 + 16*y - 14. Let k(z) = -3*h(z) + 2*o(z). Let v be k(7). Is 1/5 - v/(-20)*2 a multiple of 20?
False
Let q be 2/(-1 - -3) + -13. Let w be (-8)/q*-3 - -23. Let t(a) = 2*a + 80. Is 11 a factor of t(w)?
False
Suppose 8592 = 2*v + 4*m + 1988, -3*m = -v + 3322. Is v a multiple of 68?
False
Let u = -44 + 44. Suppose -k + u*k = -27. Suppose -9*r = -108 + k. Does 6 divide r?
False
Let j be 2/20 - (-67694)/(-340). Let h = j - -759. Is h a multiple of 35?
True
Let f = 1649 + -159. Suppose 3*d = 790 + f. Is 15 a factor of d?
False
Let v(z) = -3*z**3 + 32*z**2 - 38*z + 32. Does 10 divide v(8)?
True
Let q be (2/(-10) - 60138/(-15)) + 1. Suppose -16*f + 6*f = -q. Does 16 divide f?
False
Let x be -3 + 0/1 - (-1 + 7). Let t be (-474)/14 + -2 + 1/(-7). Let c = x - t. Is 5 a factor of c?
False
Suppose -47857 = -141*n + 20810. Is 15 a factor of n?
False
Suppose o + o = 6. Suppose o*q + 144 = 7*q. Suppose -627 = 33*t - q*t. Does 19 divide t?
True
Suppose 7*p + k = 4*p - 6, -5*k + 18 = -p. Suppose r = -4*r + 80. Is r/24 + (-67)/p a multiple of 4?
False
Suppose -26*i + 627 = -7*i. Suppose 12*l - 14850 = -i*l. Is 22 a factor of l?
True
Let z = -626 + 260. Let f = z - -630. Is 88 a factor of f?
True
Is -4 + (-36)/(-6) + (-197802)/(-27) a multiple of 42?
False
Suppose -36 = -6*c - 12. Suppose 2*v = f - 104, -262 = -3*f - c*v + 90. Suppose l = f - 31. Is 33 a factor of l?
False
Let z(p) = 15*p**2 + 6. Let f(k) = -14*k**2 - k - 6. Let u(y) = -6*f(y) - 5*z(y). Is 5 a factor of u(-2)?
True
Let s be (-4)/14 - (57/21 - 3). Is 42282/189 - (2/(-7) - s) a multiple of 28?
True
Suppose 9*p + 576205 = -175475. Is 58 a factor of (-7)/2*p/504?
True
Suppose 5*i - 83 = -4*g, -3*i - 2*g = -2*i - 19. Let t(p) = 9*p**3 - 4*p**3 + 11 + 12*p**2 - 2 - 4*p**3 + i*p. Does 19 divide t(-8)?
False
Let v be (-36 + 35)*(294 + -1). Let a = 411 + v. Is a a multiple of 10?
False
Suppose 3 = o + d, 4*o + 5*d - 24 = -12. Suppose n + 3*m + 68 - 389 = 0, o*n - 975 = 3*m. Is 9 a factor of n?
True
Suppose 2*g - v = 50, 4*g - v - 137 = -39. Suppose g*j - 10*j = 1344. Does 26 divide j?
False
Let o(b) be the first derivative of 2*b**3 + b**2 + 16*b - 37. Is 13 a factor of o(-7)?
False
Suppose -413 = -16*s + 115. Suppose -k + s = 18. Does 3 divide k?
True
Let p be (-28)/12*-2*(-117)/(-6). Let o = -88 + p. Does 20 divide (158/3 - 1)*o?
False
Let w = 33059 + -19540. Is 24 a factor of w?
False
Let h = -61 - -62. Suppose j - h = 2*d, -2*d + 3 = -4*j + 13. Suppose -j*u + 7*u - 252 = 0. Is u a multiple of 5?
False
Let m be (-7)/(-7)*(68 + 1 + -2). Let d = 269 + m. Is 42 a factor of d?
True
Suppose 5*q + 10 = -4*u, -3*q - 6 = -10*u + 13*u. Is 866/6 + 5/(-15)*q a multiple of 6?
False
Let h be 1 - 44/36 - (-372)/(-27). Let p be 16 + h - (1 + 0). Let u(m) = 18*m - 1. Is 6 a factor of u(p)?
False
Suppose 355*w = 347*w + 17800. Let b = -1265 + w. Is b a multiple of 40?
True
Let v(z) = -z**3 - 6*z**2 - 2*z + 20. Let f be v(-5). Suppose 2*s - 4*y - 97 = f, -s - y + 66 = 0. Is 29 a factor of s?
False
Let s be 30/(12 + -6) + 473. Suppose 0 = -4*j - 16, -j + s = 3*z + j. Does 18 divide z?
True
Suppose -118 = -5*k + 62. Suppose -78*q + 64*q - 308 = 0. Let t = q + k. Does 2 divide t?
True
Let y(g) = g - 6*g - 172 + 144. Is 15 a factor of y(-27)?
False
Let a(s) = s**3 + 14*s**2 - 14*s + 23. Let b be a(-15). Suppose -5*l + b = -952. Does 64 divide l?
True
Suppose -u - a - 25 = -3*u, 3*u - 5*a - 55 = 0. Suppose -u*i = -1646 - 744. Is 8 a factor of i?
False
Let z be 9 + (2 - (-2 + 4)). Let i be (70/15 - 4)*z. Is 5 a factor of 4/i + 438/18 + 0?
True
Is 2 a factor of ((-475)/(-57))/(14/3276)?
True
Let n = 3 + -9. Let i be (-96)/42 - n/21. Is 136 - (5 + -1)/i a multiple of 12?
False
Let n = 8363 - -562. Is 85 a factor of n?
True
Let v(h) be the third derivative of -h**7/5040 + 7*h**6/120 - h**5/20 + 8*h**2. Let b(y) be the third derivative of v(y). Is 29 a factor of b(13)?
True
Suppose 7*l + 314 = -890. Let a = -52 - l. Does 12 divide a?
True
Let p(q) = q**3 + 6*q**2 + 12*q + 1. Let t be p(-4). Does 27 divide (-25)/t*-3 + 302/1?
True
Let z(y) be the first derivative of y**4/4 + 6*y**3 - 2*y**2 - 42*y - 170. Is 45 a factor of z(-13)?
True
Suppose 2*q - 39795 - 190718 = -5*j, 92202 = 2*j + 4*q. Is 54 a factor of j?
False
Let m(q) = -q + 15. Let o be m(12). Suppose -8*t + o*t + 10 = 0. Does 8 divide 0 + (-6)/t + 19?
True
Is 3*12/30 + (-4 - 203376/(-20)) a multiple of 46?
True
Let r be (1 + 306)*-1*(1 + -2). Let f = r - 208. Suppose 12*w - 11*w = f. Does 11 divide w?
True
Suppose -40505 = -0*n - 14*n + 112263. Is 62 a factor of n?
True
Suppose 6*a - 286882 = -47482. Is 8 a factor of ((-2)/5)/(5*(-7)/a)?
True
Suppose -2*u - 5*w - 3142 = 0, -w = -5*u - 0*w - 7909. Let c = -1126 - u. Does 13 divide c?
True
Suppose 3623*x = 3662*x - 20670. Is 105 a factor of x?
False
Let l = -6833 - -9910. Does 33 divide l?
False
Does 8 divide 17/((-765)/(-420))*(452 + 1)?
False
Suppose -5*f = 5*t - 16605, 49*t = -f + 53*t + 3321. Does 7 divide f?
False
Let u(h) = h**2 - 52*h + 211. Let b be u(47). Let q = 807 - b. Does 12 divide q?
False
Suppose -5*b + 6 = 36. Let x be 3/(-15) + (-656)/(-5). Is x + (0 - b/(-3)) a multiple of 16?
False
Suppose -119*t = 12979 - 142927. Is 78 a factor of t?
True
Suppose 0 = 6*g - 100 + 22. Let b(i) = i**3 - 12*i**2 - 9*i - 32. Let y be b(g). Suppose -24*f = -y*f - 640. Is f a multiple of 13?
False
Suppose -106*k - 346 = -108*k. Let n = 251 - k. Is n a multiple of 26?
True
Let l = -10 - -14. Let s = 201 + -198. Suppose -3*o + 435 = -3*r, l*o - s*r - 233 = 345. Is o a multiple of 14?
False
Let c = 19523 + -12778. Is 11 a factor of c?
False
Suppose 5*b + 0*b + s = 10, 4*b - s - 17 = 0. Suppose 0 = -h - h. Suppose -b*i + 3*d + 396 = h, -5*i + 192 + 470 = -3*d. Is i a multiple of 19?
True
Suppose 69*w - 187194 = 47613. Is w a multiple of 41?
True
Suppose 5*i - 4*i = -16. Let l = -9 - i. Does 5 divide 243/12 + (21/(-12))/l?
True
Suppose -9*c = 29*c. Is -1*(c - -1181)/(-1) + 2 a multiple of 13?
True
Let j(h) = -9*h + 62. Let b(l) = l + 1. Let f(c) = -b(c) - j(c). Is 9 a factor of f(9)?
True
Let v(l) = 33*l + 225. Let w be v(-7). Does 40 divide ((-52)/w)/((-2)/(-120))?
True
Let p be (-5 - (-19)/5)/(3/(-10)). Suppose -2*s = 0, 0 = -p*j + 2*j + 4*s - 340. Let n = -47 - j. Is n a multiple of 41?
True
Let p(l) = l**3 + 18*l**2 - 25*l + 2. Let h be p(-14). Let w = h + -754. Suppose 142 = -2*o + w. Does 24 divide o?
True
Let k be (-11)/(-5) + 2 - (-13)/(-65). Suppose -5*g - 317 = -6*g - 4*o, k*g - 2*o = 1304. Is g a multiple of 25?
True
Suppose 3*n + 16 - 10 = 0. Let y be ((1 + n)*0)/(-1). Suppose y = 2*b - 5*b + 42. 