ltiple of 11?
False
Let k = -284 + 480. Suppose -14*w + k = -10*w. Does 49 divide w?
True
Let w(x) be the second derivative of x**3/6 + 33*x**2/2 + 11*x. Is 12 a factor of w(-20)?
False
Suppose 0 = -151*s + 158*s - 10906. Is 19 a factor of s?
True
Let m(x) = -x**2 + 4*x - 11. Let g(i) = 6*i**2 - 21*i + 54. Suppose 4*w - 8 = -52. Let a(s) = w*m(s) - 2*g(s). Is 2 a factor of a(0)?
False
Suppose -6*c + 0*c + 12 = 0. Suppose 0 = c*y - 0*y - 138. Is 39 a factor of y?
False
Suppose 5*g - 25 = 0, -5*g = a - 4*a + 7631. Is a a multiple of 88?
True
Suppose 4*u - 10*f = -8*f + 48, 0 = -2*u + 5*f + 8. Suppose -3*a = n + u - 60, 3*a = 2*n + 52. Is a a multiple of 16?
True
Let a = 34 + -30. Suppose r = -5*i - 24, -5*r - a*i = -3*i. Is 17 a factor of (-126)/4*(r - 3)?
False
Let u(r) = 108*r**2 + 1. Let m = -45 + 44. Is u(m) a multiple of 13?
False
Let v = -325 + 223. Let c = 217 + v. Is c a multiple of 29?
False
Let b be -9*(-4)/12 - 62. Let i = -17 - b. Is 14 a factor of i?
True
Is 842*(6 + -7)*-1 a multiple of 33?
False
Suppose -q = -2082 + 26392. Does 18 divide 4/(-30) - q/75?
True
Let k = 248 - 224. Is 2 a factor of k?
True
Let d(i) be the third derivative of i**4/24 + 13*i**3/6 - 4*i**2. Let l = 3 - 10. Does 6 divide d(l)?
True
Let z(b) = -b**3 + 7*b**2 + 8*b + 10. Let l be z(9). Let v = -122 - l. Is (v/(-15))/(1/5) a multiple of 12?
False
Suppose 4 = -2*v + 5*s - 11, 3*s = 4*v - 5. Suppose v*t + z - 267 = 0, -2*t + 93 = -0*t + 5*z. Does 29 divide t?
False
Suppose -4*l = a - 321, -3*a - l + 578 = -385. Is a a multiple of 45?
False
Let w(d) be the second derivative of 7*d**4/12 - d**3/3 + 14*d**2 - 3*d. Is 22 a factor of w(4)?
True
Suppose -6*x + 9 = -x - b, -2*x + 8 = 4*b. Suppose x*o - 5*o + 523 = -4*v, 2*v - 330 = -2*o. Does 13 divide o?
True
Let h be (-49 - (1 + 0))/2. Let y(b) = -b**3 - 8*b**2 - 7*b - 4. Let f be y(-7). Let i = f - h. Is i a multiple of 21?
True
Is 21 a factor of ((-384)/2)/(-6)*63/12?
True
Suppose 7*g - 447 = 386. Let d = g + -84. Is d a multiple of 35?
True
Suppose w + 51 = 3*q, -w = q - 2*w - 17. Let j = q + -6. Let m = j - 7. Is m even?
True
Suppose 4*v = 3*p + 2 - 16, -2*v = -p + 6. Let l be ((-1)/(-1))/((-11)/(-44)). Suppose -l*m + 88 = -p*m. Is m a multiple of 22?
True
Does 22 divide (-3)/(-2) + (-2)/24*-14682?
False
Let z(g) be the third derivative of g**6/120 - 4*g**5/15 + 5*g**4/8 + 5*g**3/2 + 2*g**2. Suppose -4*d - 15 = -l - 6*d, 45 = 3*l + 5*d. Does 5 divide z(l)?
True
Suppose 0 = 4*b + 76 - 12. Let d = 1 - b. Let h = 2 + d. Is h a multiple of 6?
False
Let g(f) = 2*f**2 + 2*f - 28. Is g(-11) a multiple of 16?
True
Let n be (54/(-24))/(-9) - (-35)/4. Suppose 3 = 2*j - n. Is 6 a factor of j?
True
Let y be (-753)/(-6) + 3/6. Let j = y + -15. Suppose 2*m = -5*s + j, s + 72 = m - 2*s. Is 21 a factor of m?
True
Suppose 10*g - 957 = 373. Is 19 a factor of g?
True
Suppose 0 = 3*i + 5*k - 6, 0 = -2*k - 0 - 6. Suppose 0 = i*p - 22 - 188. Does 15 divide p?
True
Is 462/(-1155) + (-1)/(10/(-1984)) a multiple of 18?
True
Does 12 divide (-1720)/120*(-3)/1?
False
Does 35 divide 8/(-36)*3*-1470?
True
Let r = -353 - -753. Does 16 divide r?
True
Let a(l) = -2*l - 1. Let m be a(-1). Is (306/(-24))/(m/(-4)) a multiple of 13?
False
Let n(k) = -13*k + 5. Let q be n(-5). Suppose -4*i + q = -26. Is i a multiple of 13?
False
Suppose u = 5*w + 5 + 9, -20 = 5*u + 5*w. Let p be u*(-3 + 0 - -2). Is 3 a factor of 14/(2/p) + -3?
False
Let c(q) = q**2 + 16*q + 12. Let s be c(-16). Suppose 10*p = s*p - 544. Does 23 divide p?
False
Let m(h) = 3*h + 26. Let b(o) = o + 13. Let v(y) = 5*b(y) - 3*m(y). Does 9 divide v(-10)?
True
Does 105 divide ((106120/(-12))/5)/(22/(-33))?
False
Suppose 3*s + 4*j = 8, 0 = -5*s - 5*j + 11 - 1. Suppose -5*k - 15 = s, 4*u + 3*k - 126 = 5*k. Is (168/u)/(2/15) a multiple of 14?
True
Let i = -473 + 869. Is i a multiple of 12?
True
Let a(z) = 13*z**2 + 60*z + 11. Is 10 a factor of a(7)?
False
Let t(h) = 2*h**2 + 26*h. Does 19 divide t(-19)?
True
Let n = 737 - 293. Is 5 a factor of n?
False
Suppose 5*l = -2*y + 2028 - 194, -2*y + 736 = 2*l. Suppose 4*n - l = 914. Is 26 a factor of n?
False
Suppose 2*c + 3*c = 15. Suppose o + 507 = 5*y, -313 = -c*y - 2*o + 7*o. Does 30 divide y?
False
Let i = 2 + 0. Suppose -i*m + 4*o + 44 = 0, 0 = 5*m + o - 61 - 104. Is 8 a factor of m?
True
Suppose -6*a - 8 = -3*s - 2*a, s = 4*a. Suppose -7*f - 23 = -58. Suppose -5*i - 272 = -4*v, -v - s*i = -f*i - 68. Does 12 divide v?
False
Suppose -q = -0*q. Suppose s = f + 11, q = -5*s - 5*f + 2*f + 15. Suppose 0 = p - 5 - s. Is 2 a factor of p?
False
Suppose c = 5*n + 347, -368 = -2*c - 5*n + 356. Is 62 a factor of c?
False
Suppose 3*a - 339 = -15. Let v = 150 + -147. Suppose 0*l = v*l - a. Is 9 a factor of l?
True
Let i be (2 + 13)/(3 + -2). Suppose -5*b - 30 = -5*u, -b + 0 = 4*u + 1. Let d = b + i. Is 9 a factor of d?
False
Let d(z) = -4*z**3 - 38*z**2 - 2*z + 16. Is 7 a factor of d(-10)?
False
Suppose -5*z + z = -u + 116, -2*u = -2*z - 214. Is u a multiple of 26?
True
Let m = 1 - 3. Let x(k) = -k**3 + k**2 + 4*k + 3. Is 2 a factor of x(m)?
False
Let h(w) = -w - 2. Let t be h(-2). Suppose t = m + 3*m + 84. Let q = m + 43. Is 11 a factor of q?
True
Let p = 156 + -276. Let y = -63 - p. Is y a multiple of 7?
False
Let c(s) = s**2 - 23*s - 27. Let m(n) = 2*n**2 - 24*n - 28. Let z(q) = -4*c(q) + 3*m(q). Is 7 a factor of z(-10)?
False
Let n(j) = j - j - 3*j - j**3 + 0*j**3 + 6*j**2 + 5. Let w be n(5). Let a(q) = q**2 - 16*q + 22. Is 3 a factor of a(w)?
False
Let w(l) = 6*l**2 - 9*l + 6. Let h be w(6). Suppose -3*o + h = -o. Suppose 6*a - 3*a - o = 0. Is a a multiple of 14?
True
Let p(x) = -19*x - 139. Is p(-11) a multiple of 5?
True
Let m(f) = -42*f + 18. Is m(-6) a multiple of 15?
True
Let j = 772 - -29. Does 47 divide j?
False
Let w(g) = -15*g**2 + g - 1. Let n be (-6)/(-9)*6/4. Let y be w(n). Is (486/y)/((-3)/10) a multiple of 36?
True
Suppose -223*a = -219*a - 9580. Is 11 a factor of a?
False
Let w = 7 + -47. Let d be w + -1 + (-1 - -1). Let y = -15 - d. Is 13 a factor of y?
True
Let v(a) = -a**2 - 2*a + 3. Let u be v(-3). Suppose u*j - 4*j = -16. Suppose j*g - c - 218 = 0, -g - c = -0*c - 57. Is g a multiple of 13?
False
Suppose -2*g = 36 - 276. Suppose -34*a = -39*a + g. Is a a multiple of 12?
True
Let l(g) = -441*g + 26. Is l(-10) a multiple of 13?
False
Suppose 4*m - 3 = 25. Suppose -m*l = -5*l - 8. Suppose l*w = 268 + 12. Is w a multiple of 19?
False
Suppose -8 + 20 = 4*p. Is 2 a factor of p?
False
Suppose s = 2*s, -4*s - 152 = 4*t. Let q = t + 19. Let j = q - -37. Is j a multiple of 9?
True
Suppose -6545 = 8*n - 25*n. Does 11 divide n?
True
Let b(m) = -12*m + 6. Let a be b(3). Is 38 a factor of 1490/a*(-2 + (-1 - 0))?
False
Let p = 6 + -11. Let g = -1 - p. Suppose -g*r + 68 + 134 = 2*v, 2*v = 10. Is r a multiple of 12?
True
Let z(m) = 4*m - 3. Let b be z(2). Let c(s) = s**3 - 17*s**2 + 12*s - 25. Let d be c(17). Suppose d = b*l + 29. Is l a multiple of 10?
True
Let s(d) = -d**2 - 19*d - 18. Let w be (-68)/4 - (0 + 1). Let a be s(w). Suppose -b + 5 = -m - 9, a = -b - m + 10. Is b a multiple of 6?
True
Suppose j + 4*c - 67 = 0, -3*j + 6*c + 201 = c. Suppose -d = -35 - j. Is d a multiple of 17?
True
Let n(m) = -9*m. Let c be (-32)/(-40)*5/2. Suppose -3*q - 3*d = 3, c*q - 9*d + 4*d = -23. Is n(q) a multiple of 12?
True
Let w(t) = 20*t + 6. Let z be w(-4). Let k be 12/(-60) + z/5. Does 8 divide (32/6)/(-4)*k?
False
Let n(h) = -h**2 - 9*h - 1. Suppose -8*x = -6*x. Suppose x = 7*v - 11*v - 32. Does 3 divide n(v)?
False
Let z(n) = n**3 + 8*n**2 + 5*n - 9. Let d be z(-7). Suppose 0 = -d*g + 96 - 31. Is 10 a factor of g?
False
Let a be 5831/56 - (-1)/(-8). Suppose -a = -4*t + 4*p, 0*t - t + 5*p + 22 = 0. Is t a multiple of 18?
False
Does 54 divide (-1125)/(-30)*(-108)/(-15)?
True
Let p = 1 - -3. Suppose -628 = -p*o + 2*g, -4*o = -0*o + g - 616. Suppose -5*h + y + 55 = -90, -y = 5*h - o. Does 15 divide h?
True
Suppose -3*s - 9 = 5*j, s - 3 = -6. Suppose j = 2*v - v - 83. Is 14 a factor of v?
False
Let h = 901 - 533. Does 7 divide h?
False
Suppose 1 = 2*w - w. Suppose -2*h - w = -3. Is (-2)/(h/((-11)/2)) a multiple of 4?
False
Suppose 11*r - 1104 = 7*r + 4*d, 0 = 5*r + 3*d - 1372. Is r a multiple of 9?
False
Let w(q) = -2*q**2 - 10*q + 24. Let a be w(-6). Sup