 a multiple of 5?
False
Let l(q) = -18*q - 6. Is 42 a factor of l(-9)?
False
Let k be 2 + (-3)/(-1) - 2. Suppose -q + 7 = k. Let o = 9 - q. Is 3 a factor of o?
False
Let p(o) = o**2 - 13*o - 8. Let t be p(10). Let b = -72 - t. Let q = 60 + b. Does 13 divide q?
True
Let n be ((1*12)/(-2))/1. Is (34 - n/(-3)) + 0 a multiple of 16?
True
Suppose 2*b = -b. Let p(h) = 4*h + 12. Let j be p(0). Suppose t + t - j = b. Is 4 a factor of t?
False
Is (1 - (-10)/8)*(-128)/(-24) a multiple of 3?
True
Suppose u + 4*u - 5*g - 425 = 0, -2*u = -g - 165. Is 28/(-35)*(0 - u) a multiple of 22?
False
Suppose f + 0 = -3*c + 17, -3*c = 5*f - 25. Suppose f*q - 18 = 26. Suppose q = 5*n - 8. Is 3 a factor of n?
True
Suppose 4*p - 5*k + 19 = p, -4*k + 28 = 4*p. Is 14 a factor of (13 + p)/((-2)/(-4))?
False
Let f(l) = -l + 4. Suppose -19 = -4*w + 21. Let u be f(w). Let o = u - -9. Does 3 divide o?
True
Let l = -18 + 21. Suppose 31 = 2*w - l*s - 22, -29 = -w + s. Is 12 a factor of w?
False
Is (-264)/2*(-6)/8 a multiple of 33?
True
Suppose -5*c = 17 - 2. Is (c - -5)*15/2 a multiple of 15?
True
Let a = 123 + -50. Is 5 a factor of a?
False
Let d = 2 + -4. Let v(z) = z**3 + 4*z**2 + 6*z. Let x(l) = l**3 + 3*l**2 + 4*l. Let b(r) = 5*v(r) - 7*x(r). Is b(d) a multiple of 8?
True
Let k(z) = 30*z - 1. Let h(i) = -i + 1. Let n(p) = h(p) - k(p). Is n(-1) a multiple of 21?
False
Let q(y) be the third derivative of -y**5/60 + y**4/12 + 5*y**3/6 - 2*y**2. Let c be q(6). Let g = c - -39. Does 10 divide g?
True
Suppose -5*h - 12 = 13. Let f = 8 + h. Suppose f + 4 = t. Does 3 divide t?
False
Suppose 0 = -2*k + 55 + 61. Is k a multiple of 15?
False
Let v(h) be the third derivative of -h**4 - 2*h**3/3 + 2*h**2. Let d be v(-3). Suppose 2*m - d + 20 = 0. Does 10 divide m?
False
Let s be ((-1)/3)/((-1)/(-6)). Is 7 a factor of (-87)/(-12) - s/(-8)?
True
Suppose 0 = -5*d - 0*d - 5. Let q = 5 + d. Suppose h - q*h + 33 = 0. Is h a multiple of 11?
True
Suppose 3*d = -y + 180, 3*y = -2*d + 3 + 110. Suppose -4*c - 555 = d. Let w = -110 - c. Does 22 divide w?
True
Suppose 2*v - 2*h = 166, 2*v + v - 5*h - 255 = 0. Is 16 a factor of v?
True
Let l be 1 - (-3 - 4)*1. Let j be 2/l + 2/(-8). Suppose j*r = -3*b + 2*r + 102, -4*r - 60 = -2*b. Is b a multiple of 18?
True
Let d(z) = 5*z**2 - 5*z + 6. Suppose 2*o - 12 = 4*c, 3*o = 5*o + c - 7. Let w be d(o). Suppose 3*u = -5*m + w, 4*m + 129 = 5*u + 6*m. Is u a multiple of 7?
False
Suppose -215 = 17*d - 742. Is d a multiple of 13?
False
Suppose 341 + 19 = 2*b. Is b a multiple of 20?
True
Let y(a) = -a**3 + 7*a**2 - 5*a - 3. Let f be y(6). Let s(k) = 12 + 2*k - 12 - 3*k**2 + k**3. Is 6 a factor of s(f)?
True
Suppose -a = c - 12 - 93, -415 = -4*a - 5*c. Does 31 divide a?
False
Suppose -3*r + 21 + 2 = 2*f, 3*f = 3*r - 3. Is (144/(-28))/(f/(-42)) a multiple of 21?
False
Suppose -i + 3*u - u + 2 = 0, 0 = 4*i + 2*u + 2. Suppose 3*a = -i*a + 6. Suppose a*c = -2*c + 60. Is c a multiple of 6?
False
Let x be (-6)/10 - 198/(-30). Let c(y) = -15*y. Let g be c(x). Is 9 a factor of g/(-4) - 4/(-8)?
False
Let i = 41 - -36. Is i a multiple of 22?
False
Is 87*3 - (-15)/(10/2) a multiple of 24?
True
Suppose n - 13 = -3*j, 8 + 2 = 4*n - 2*j. Suppose -3*m - 18 = -n*m. Is 626/m + 6/27 a multiple of 14?
False
Let s = 714 + -269. Let h be (-2)/12 - s/(-6). Suppose 0 = 2*c + 4*d - h, -3*d - 123 = -5*c + 10. Is 10 a factor of c?
False
Is 12 a factor of (-48)/(-14)*(-2 - -9)?
True
Let z = 12 + -3. Let v(w) = -w**2 + 12*w - 8. Let q be v(z). Suppose q = 4*c - 5*u - 84, 0 = -4*c - 2*u + 138. Does 10 divide c?
False
Suppose -b - 126 = -5*s, -4*s + 5*b = -53 - 52. Is 13 a factor of s?
False
Let p = 15 + -9. Let r be (-48)/(-10)*(-20)/p. Let h = 31 + r. Does 4 divide h?
False
Let r = 155 - 92. Does 21 divide r?
True
Let m(f) = 2*f**2 - 3*f + 3. Suppose -4*y = 5*i + 18, -4*i - 2*y - 3*y - 9 = 0. Is 31 a factor of m(i)?
True
Let s be -2 + 0 + (-38)/(-1). Suppose 0 = 4*b + 2*m - 246, 4*b + m - 207 - s = 0. Is 21 a factor of b?
False
Let m = -40 - -7. Let o = m + 89. Does 33 divide o?
False
Let l = -3 - -10. Suppose -4*f - 279 = -l*f. Does 24 divide f?
False
Suppose 4*d - 18 = -5*w, 2*d - 3*d = -2*w + 2. Suppose 106 = 5*i - i - w*b, -2*i = 5*b - 47. Is i a multiple of 8?
False
Suppose 4*v - 4*q + 20 = 48, 20 = -5*q. Suppose -27 + 102 = v*p. Is 9 a factor of p?
False
Suppose 0 = -3*a - 2*c - 4 + 26, -a - 21 = -5*c. Suppose -2*w + 3 = q, a*q - q = -3*w. Let p = 4 - q. Is 3 a factor of p?
False
Suppose 3*x - 50 = -5*f, x + f - 4 = 12. Does 15 divide x?
True
Let w(z) = -19*z + 9. Let h be w(-4). Let s = h + -28. Is s a multiple of 22?
False
Let y(k) = 0*k**3 + k**3 - 4*k + 4*k + 7*k**2 + 4. Let q be y(-6). Is 63/5 - (-16)/q a multiple of 13?
True
Let u = -3 - -3. Suppose -q - 4 = -u*q. Does 15 divide (2/q)/(3/(-180))?
True
Suppose n - 4*b - 7 = 75, 4*b = -5*n + 458. Is 15 a factor of n?
True
Suppose 3*w + 2*w - 635 = 0. Does 16 divide w?
False
Suppose -5*s + 720 = f, -3*f - 2*f = 0. Is s a multiple of 17?
False
Let g(t) = -t**3 - 5*t**2 - 3*t + 1. Let x be g(-4). Let j(k) = -9*k - 2. Let q be j(x). Suppose -5 + q = h. Is h a multiple of 9?
False
Suppose 2*m - 3*s = 14, 5*m - 2*m + 4*s = -13. Is m/5 - 436/(-20) a multiple of 11?
True
Suppose 2*z = 7*z. Suppose z = b - 3*b + 40. Does 14 divide b?
False
Suppose -28 = -0*g - 4*g. Let y = 622 + -422. Is (-2)/g - y/(-14) a multiple of 8?
False
Let y(x) = -3*x - 7. Let c(u) = -7*u - 15. Let t(q) = 6*c(q) - 13*y(q). Is t(-4) a multiple of 13?
True
Let q = 9 - 7. Suppose 0 = q*i + 2*i - 5*x - 153, 5*i - 4*x = 180. Is 10 a factor of i?
False
Let z(i) = 2*i**3 + 2*i**2 + 3*i + 25. Is z(5) a multiple of 20?
True
Let g = 17 + -11. Is 5 a factor of g?
False
Suppose 5*z - 59 = -4*x, -2*z - 58 = -3*x - 3*z. Does 21 divide x?
True
Suppose -m = -2*t + 77, -5*t + 0*m - 4*m = -212. Suppose -6*i + t = 4*y - 2*i, -2*i = 0. Does 10 divide y?
True
Let v be 16/6 + 3/9. Suppose 4*x = -g + 4, -v*g + 2*x = -3*x - 46. Is 7 a factor of g?
False
Let x = -18 + 12. Let h(j) = -j**3 - 4*j**2 + 9*j + 2. Does 10 divide h(x)?
True
Suppose -v + i + 15 = 0, -5*i + 0*i + 15 = v. Is v a multiple of 4?
False
Suppose -67 = -5*n + 308. Is 20 a factor of n?
False
Suppose 0 = -b - 4*l + 16, 5*b - 16 = -4*l - 0*l. Suppose -w + b*w = -67. Is w a multiple of 21?
False
Let j = 4 - 0. Suppose j = -4*w, w + 73 + 178 = 5*y. Is y a multiple of 16?
False
Suppose 5*v - f + 0*f - 27 = 0, 2*f = -v + 12. Let s(k) = k - 6. Let j be s(v). Is j + 0 + 1*16 a multiple of 8?
True
Let w = 5 - -2. Let v(o) = 6*o - 6. Is v(w) a multiple of 10?
False
Suppose -75 = -15*s + 10*s. Is s a multiple of 15?
True
Suppose -3*g + 61 = 1. Is g a multiple of 4?
True
Let k = -1 + 3. Let x = k + 7. Is 12 a factor of (-24)/((-4)/(48/x))?
False
Let t(y) = -y**3 + 3*y**2 + y + 7. Let v be t(6). Let m = v - -179. Suppose -5*f - 24 = -m. Is f a multiple of 12?
True
Suppose 4*s - 6*s + 540 = 0. Suppose -46 = 4*b - s. Is 20 a factor of b?
False
Let a(i) = i**3 + 10*i**2 + 6*i - 7. Let w be a(-9). Let j be 5/w + 23/4. Suppose j*g = 5*g + 5. Does 3 divide g?
False
Suppose -3*b - 165 = -8*b. Is b a multiple of 29?
False
Suppose -d = -4*z + 9 + 9, -4*z + 2*d + 20 = 0. Let s(k) = 5 + 3*k - 4*k + 11*k. Is 15 a factor of s(z)?
True
Suppose 0*o = -2*o + 8. Suppose -3*w = -o*w + 23. Does 23 divide w?
True
Suppose -2*p - 8 = -j, -4*p = 6*j - 2*j + 4. Is 2 a factor of j?
True
Let o(k) = -k**2 + 5*k + 188. Is 9 a factor of o(0)?
False
Suppose 5*j + 2*g - 7*g = 20, -2*j + 4*g + 16 = 0. Is (-12 - -45) + (j - 3) a multiple of 15?
True
Does 34 divide 231/((15/(-6))/(-5))?
False
Let d = 84 + -32. Does 16 divide d?
False
Let h(s) = 5*s**2 + 6*s + 6. Does 9 divide h(-3)?
False
Let q = 168 + -149. Is 2 a factor of q?
False
Let h(d) = d**2 + 5*d + 3. Let v be h(-9). Let u = -19 + v. Is u a multiple of 18?
False
Suppose y = -2*y + 126. Let l be (2/(-5))/((-4)/(-240)). Let j = l + y. Is 7 a factor of j?
False
Let n = 3 + 25. Is n a multiple of 14?
True
Let g(h) = 0*h - 3*h**2 - 4 + 2*h - 6*h - h**3. Let j be g(-4). Let x = j - 19. Is 7 a factor of x?
False
Let k = 9 + -9. Suppose -8 + k = -4*l. Suppose -86 = -4*x - 3*q, l*q - 84 = -4*x - 0*x. Does 10 divide x?
True
Suppose 0 = -p + 11 + 20. Suppose 0 = 5*v - 4 - p. Let h = 18 - v. Does 11 divide h?
True
Let 