 - -4) a multiple of 21?
True
Suppose 2*x - 4*x = -118. Suppose 5*z + 171 = 2*w - 8, -39 = z - 2*w. Let a = z + x. Is a a multiple of 12?
True
Suppose k = -0*k + 3. Suppose -15 - k = -h. Is h a multiple of 6?
True
Let q(x) = 25*x**2 - 2*x - 1. Let z(r) = -26*r**2 + 3*r + 1. Let d(y) = 3*q(y) + 2*z(y). Is d(1) a multiple of 11?
True
Let c be 2 + (3 + -1)*-1. Suppose -n - 2 + c = 3*x, 4*n = -x - 8. Suppose h - 22 - 10 = x. Does 12 divide h?
False
Let u = -326 + 640. Suppose 0 = 2*q - y - 125, -3*q + 3*y + u = 2*q. Is 9 a factor of q?
False
Suppose 30 = k + 4*q, q + 201 = 5*k + 4*q. Is 14 a factor of k?
True
Suppose -93*g - 1370 = -98*g. Is g a multiple of 41?
False
Let g(y) = -2*y + 2. Let c be (-1 - (-3)/(-12))*4. Is 12 a factor of g(c)?
True
Suppose 0 = 6*s - s + 310. Let d = 158 + s. Is d a multiple of 24?
True
Let k = -13 + 18. Suppose 0*n + k*n = -5*y + 10, 0 = -3*y + 5*n + 22. Suppose -31 = y*r - 143. Does 16 divide r?
False
Let v(s) = -s - 4. Let d be v(-6). Suppose 10 = d*i - 26. Is i a multiple of 6?
True
Suppose 264 = -z - 3*z. Let b = -29 - z. Let c = -18 + b. Is 19 a factor of c?
True
Let l(r) be the second derivative of -2*r**3/3 - 2*r. Let z be l(-1). Does 3 divide 222/27 - z/18?
False
Let l be ((-3)/(-6) - 1)*2. Let x be (-6)/((l + -1)/(-2)). Let y = 14 - x. Is 13 a factor of y?
False
Let m(v) = 2*v + 124*v**2 - v - 91*v**2. Let z be (-2)/4*4/2. Is 16 a factor of m(z)?
True
Let m(u) = u**2 + u + 1. Let j(q) = 10*q**2 - 3*q - 5. Let o(k) = j(k) + 3*m(k). Let d(i) be the first derivative of o(i). Is d(1) a multiple of 13?
True
Let t(l) = l**3 + 6*l**2 - 2*l. Let z be (-2)/(-6) - (-10)/(-3). Let f be t(z). Let v = f + -16. Is v a multiple of 9?
False
Suppose 0 = 3*a - 3*k - 63, -2*k + 91 = 3*a + 2*k. Let h = -9 + a. Is 8 a factor of h?
True
Let c be 0/2 + 37 + -1. Suppose 36 = 2*m - 0*m. Let z = c - m. Is z a multiple of 9?
True
Let j = 14 + 232. Is 41 a factor of j?
True
Suppose 0*m = m. Let x(q) = 3 + 0 + 11 + q**2. Does 7 divide x(m)?
True
Let s = 0 + -11. Let a(u) = -u**3 + 5*u**2 + 5*u + 5. Let z(v) = 3*v**3 - 14*v**2 - 14*v - 14. Let c(f) = s*a(f) - 4*z(f). Is c(-2) a multiple of 11?
True
Let r(j) = 36*j**2 - 3*j - 3. Does 12 divide r(-1)?
True
Let c(b) = -b + 11. Let z be c(8). Let u be 90/((z/2)/1). Let j = u - 26. Is 14 a factor of j?
False
Suppose 0 = -2*z - 3*z + 15. Suppose -2*q + 4 = -z*m + 2, 0 = 4*m - 2*q. Is m a multiple of 2?
True
Let k(j) = j**2 - 2*j - 16. Is k(-4) a multiple of 8?
True
Suppose 8*b - 3*b - 130 = 0. Is 10 a factor of b?
False
Let g(l) = 3*l**2 + 6*l. Does 8 divide g(-4)?
True
Let i = 46 - 22. Does 6 divide i?
True
Suppose 0*w = -2*w. Suppose -4*k + 80 = 2*t - w*k, -5*t - 2*k = -208. Is t a multiple of 21?
True
Let v(l) = l**2 - l + 3. Is 13 a factor of v(4)?
False
Is 5 + (-3)/12*0 a multiple of 2?
False
Suppose 164 = a - z + 6*z, -4*a + 3*z + 771 = 0. Is a a multiple of 56?
False
Suppose -5*q + 2*q = 2*a - 335, q = -3*a + 513. Does 43 divide a?
True
Does 16 divide (-627)/(-18) - 6/(-36)?
False
Let m(y) be the first derivative of 4*y - 1/4*y**4 + 7/3*y**3 - 3 - 1/2*y**2. Is m(3) a multiple of 13?
False
Let f = -6 - -8. Suppose f*i + 2 = -5*u + 5, -4*i + 2*u + 18 = 0. Suppose 225 = i*k + k. Is k a multiple of 17?
False
Let i(d) = 4*d**2 - 21*d + 1. Is 10 a factor of i(7)?
True
Suppose -3*s + s + b = -293, s = -4*b + 124. Is 9 a factor of s?
True
Suppose 6*o = o + g + 503, 5*o - 495 = 5*g. Suppose 0*z - 4*d - o = -5*z, -4*d = -4. Is z a multiple of 10?
False
Suppose -5*s + 4*w + 135 = 3*w, 2*s - 3*w - 41 = 0. Suppose 0 = -0*d + 2*d - s. Is 7 a factor of d?
True
Let n(o) = o**3 - 6*o**2 - 4*o - 6. Is n(7) a multiple of 15?
True
Does 3 divide ((-6)/(-10))/(10/(-25))*-14?
True
Let x = -12 + 17. Suppose 0 = -x*s + 3 + 107. Is 11 a factor of s?
True
Let k be (-23)/(-5) + (-2)/(-5). Suppose -k*i - 3 = 7. Is 7 a factor of (-3)/((-22)/(-14) + i)?
True
Let x(n) = 7*n - 1 - 4*n - 3*n**3 - 4*n**3 - 2*n**2 + 8*n**3. Is x(2) a multiple of 5?
True
Does 6 divide -1*3 - (-19 - 8)?
True
Let s(z) = -z**2 - 8*z. Let y be s(-6). Is y*4 - 0/(-2) a multiple of 14?
False
Let t = 45 - -51. Is 16 a factor of t?
True
Let v be (-8)/(-10)*(-30)/(-12). Suppose v*u - 4*u + 6 = 0. Suppose -u*t + 29 = -10. Does 11 divide t?
False
Suppose 0 = -5*i + 119 + 46. Is 5 a factor of i?
False
Let x(q) = -29*q + 2. Let h be x(-2). Let f = h + -24. Is f a multiple of 18?
True
Suppose 3*l - 22 = 5*m, 0 = -m - 1 - 1. Suppose 0*q - 2*q + l = 0. Is 2 a factor of q?
True
Let v be (-2)/4*1*-4. Let p be 0 - 3*v*-1. Is (p/(-9))/((-4)/78) a multiple of 6?
False
Suppose -d + 4*g = -28, -d = 3*d + 5*g - 28. Suppose i - 2*l = -0*i - 13, -4*i - 2*l = d. Is (-108)/i + (-6)/(-15) a multiple of 9?
False
Suppose 4*n + 5*s = -16, 5*n = 3*n + 2*s - 8. Let g be n*(3 - 2 - 2). Suppose -14 = g*q - 78. Is q a multiple of 5?
False
Suppose -2*l = -6*l. Suppose 5 = 5*r + 6*q - 3*q, -5*q - 25 = l. Suppose -5*n + 0*m + 95 = r*m, -m = 3*n - 57. Does 19 divide n?
True
Suppose -5*x = -3*x + 2. Is 21 a factor of x/4 - 1065/(-20)?
False
Let g be (9/(-6))/(2/(-4)). Let x = g + 1. Suppose -4*l + 136 = x*v, 0 = -3*l + 6*l - 12. Is 12 a factor of v?
False
Let o(q) = -2 - 10 - 11*q + 0 - 3 - q**2. Does 9 divide o(-6)?
False
Let n(w) = w**3 - 3*w**2 + 2*w + 1. Let y be n(3). Let o = 5 - y. Is 152/12*(-3)/o a multiple of 14?
False
Let v(n) = 3*n**2 + 6*n - 11. Does 3 divide v(-4)?
False
Let d = -7 + 15. Let k = d - 6. Is 6 + 3/((-3)/k) a multiple of 2?
True
Suppose v + 5*c = -0*v + 9, 3 = 3*c. Let s = v + 2. Does 13 divide 3 - -4*69/s?
False
Let f(z) = -z**2 + 10*z - 1. Let s(c) = 2*c**2 - 21*c + 1. Let r(y) = -9*f(y) - 4*s(y). Does 4 divide r(7)?
True
Let p be (2/(-6))/(2/(-12)). Does 9 divide -18*(p - (-9)/(-3))?
True
Let f(v) = 39*v**2 + 9*v + 17. Does 15 divide f(-2)?
False
Let x be (-1)/(-5) + 22/(-10). Let l be -4*(18/(-4) - -3). Is x/(-6) - (-160)/l a multiple of 17?
False
Let z(o) = 110*o + 1. Let f be z(1). Suppose -4*c + 375 = c - 5*y, 0 = c + 3*y - 71. Let k = f - c. Does 19 divide k?
False
Let w = 5 - 2. Suppose 2*m - w*q + 10 = q, 0 = -m - 5*q + 30. Does 5 divide m?
True
Let v(r) = -7*r - 6. Let u be v(6). Does 24 divide (-2 - -17)*u/(-15)?
True
Let q = 7 + -8. Is 84/(-8)*(q + -1) a multiple of 7?
True
Let r(v) = v**3 + 6*v**2 + 2*v - 7. Let l be r(-5). Let a = l + -4. Is 2 a factor of a?
True
Let z(f) = -12*f**2 - 15*f - 2. Let a be (-10)/4*4/(-5). Let o(b) = -4*b**2 - 5*b - 1. Let j(v) = a*z(v) - 7*o(v). Does 22 divide j(-3)?
False
Let m(z) = z**3 + 7*z**2 - 4*z - 7. Let h be m(-6). Let a = 85 - h. Suppose x = -x + a. Does 16 divide x?
True
Let b(y) = -y**3 - 7*y**2 - 9*y - 4. Suppose 12 = -2*f - 3*x, -24 = 7*f - 3*f + 5*x. Is 11 a factor of b(f)?
False
Let l = -22 - -25. Suppose 4*x = -5*o + 155, 6*o - l*o + 203 = 5*x. Is x a multiple of 8?
True
Let m(l) = 3*l**2 + 4*l - 6. Is m(4) a multiple of 10?
False
Let d(i) = 40*i**3 + 2*i**2 - i. Is d(1) a multiple of 12?
False
Let s be 0/((-3)/(6/(-4))). Suppose -2*v + 2*u = 2*v - 32, 5*v - 5*u - 40 = s. Suppose -c + 36 = -v. Is 22 a factor of c?
True
Suppose 4*i + 510 = -i. Let a be (-1)/((-203)/i + -2). Suppose a = 4*v - 18. Does 10 divide v?
True
Suppose -4*s = -12 + 60. Let c = s + 22. Does 9 divide c?
False
Suppose -5*m + 30 = 5*b, 3*m - 18 = 2*m - 5*b. Suppose m*a = -a. Suppose -5*k + a*h + h + 112 = 0, -84 = -3*k - 5*h. Does 10 divide k?
False
Let i = -6 + 12. Let t(c) = c**3 - 6*c**2 + 3*c + 8. Is 9 a factor of t(i)?
False
Suppose 0*l - 25 = -5*z - 4*l, -z = l - 6. Let g(f) = 44*f**3 - 2*f + 2. Does 15 divide g(z)?
False
Let h = 91 - 59. Suppose -3*b = b - h. Is b a multiple of 2?
True
Suppose 0 = -4*f - 11 - 5, 0 = x - f - 4. Suppose x = -v + 4*v - 12. Is 10/4*(v - -12) a multiple of 17?
False
Suppose -2*p = 5*p - 231. Does 2 divide p?
False
Suppose 5*g + 299 = 819. Is 21 a factor of g?
False
Suppose -2*q = -7 - 71. Suppose -3*g + 3 = -5*m - 4, -3*g = 3*m - q. Is g a multiple of 8?
False
Let p = 78 - 42. Is 36 a factor of p?
True
Let h(m) = 2*m + 3 + 3*m**2 - 6*m - 1 - 2*m. Is h(4) a multiple of 16?
False
Suppose -3*y - 45 = -375. Does 10 divide y?
True
Is 10 a factor of 2/12 - (-9348)/72?
True
Suppose -34*m = -32*m - 204. Is 34 a factor of m?
True
Suppose 3*q + q - 4 = 0. Let k be (-39)/(-2) - q/(-2). Is (8/k)/