t t(w) = -6*w + 10. Let a(q) = -7*p(q) - 6*t(q). Suppose -4*x = -21 - 7. Is a(x) a multiple of 4?
False
Is (0 - -4*16)/1 a multiple of 7?
False
Let h = -165 - -213. Is h a multiple of 16?
True
Let i(r) = -r + 5. Is i(-13) a multiple of 6?
True
Suppose 0 = 7*d - 4*d - 111. Is 37 a factor of d?
True
Suppose -3*w + w + 12 = 0. Let u = w + -1. Is 3 a factor of u?
False
Let t = 495 + -226. Does 27 divide t?
False
Let r(a) = 7*a. Let h be ((-9 + 3)/(-3))/2. Let v be r(h). Let z = v + -4. Is 2 a factor of z?
False
Let a(h) = -5*h**3 + h**2 - h. Does 13 divide a(-3)?
False
Let a = -38 - -61. Does 5 divide a?
False
Let g = -28 + 15. Let o = g + 21. Is 4 a factor of o?
True
Let r(k) = 4*k + 1. Let z be r(1). Let s(m) = -2 - z*m - m**2 + 8 + 0*m**2. Does 5 divide s(-5)?
False
Suppose -6 = -5*q + 3*n, -3*q + 0*n = -4*n + 3. Suppose 4*r = -5*o + 66, -q*r + 4*r - 23 = 2*o. Is r a multiple of 8?
False
Let t = 14 - 12. Does 2 divide t?
True
Suppose 18 = 2*v + 2*p, p = 5*v - 3*p. Suppose -f + 9*b - 4*b = -12, -v*f + 78 = -5*b. Is 8 a factor of f?
False
Suppose 0 = -2*b + 72 + 50. Does 13 divide b?
False
Let a be -2*((-9)/(-3))/(-3). Let p = 4 + 23. Suppose -c - p = -a*r, -c + 3 = 4. Does 5 divide r?
False
Let h be 2/(1 + -2)*-3. Suppose j + h + 0 = 0. Does 15 divide 31 - (j/(-3))/2?
True
Let t(i) = 7*i**3 - 2*i. Let f be t(2). Suppose -y = y - f. Does 13 divide y?
True
Let f(u) = u - 9. Let v be f(11). Suppose 0 = x - v - 38. Does 10 divide x?
True
Suppose 0 = -4*s + 2 + 10. Suppose 0 = -x + 3*r, x + 60 = -s*x - 3*r. Let d(h) = h**3 + 13*h**2 + 10*h - 11. Is d(x) a multiple of 13?
True
Suppose -27 = 3*g - 0*g. Let k(a) be the second derivative of -a**4/12 - 3*a**3/2 + 13*a**2/2 + 2*a. Is 13 a factor of k(g)?
True
Let u = 20 + -77. Let x = -13 - u. Is 12 a factor of x?
False
Let b(l) = -l**3 + 10*l**2 - 17*l + 13. Is 4 a factor of b(8)?
False
Suppose 2*x + 2*r - 26 = 0, -3*x = 3*r - 4*r - 27. Let i be (-1 + x)/((-12)/(-8)). Suppose -3*k - 77 = 2*v - i*v, 2*k = -6. Is v a multiple of 8?
False
Suppose 3*d = 5*x - 320 - 265, -4*d = -5*x + 580. Does 15 divide x?
True
Suppose -30 - 84 = -3*a. Is a a multiple of 15?
False
Let z(b) = -2*b - 1. Let k be z(-2). Let m = 18 - k. Does 6 divide m?
False
Suppose 0 = -u - 1, -3*o + 2*o + 215 = -3*u. Does 45 divide o?
False
Let d(o) = o - 2. Let j be d(0). Let u be (1 + -2)/((-3)/9). Is (4/j)/(u/(-33)) a multiple of 13?
False
Let j = 51 + 81. Suppose -3*o + 5*x + 194 = 0, -4*x + 0*x - j = -2*o. Suppose 0 = 4*p + 6*f - 4*f - o, p = 3*f + 18. Is 9 a factor of p?
False
Suppose 57 = -0*p + p. Is 23 a factor of p?
False
Let j(o) = 8*o**3 + 7*o - 7. Is 23 a factor of j(3)?
True
Let b = 0 - -7. Suppose -7*h + 2*h + 4*t = b, h = -t + 4. Let y = h + 2. Is y a multiple of 2?
False
Suppose -2*i + 1 = -3. Suppose -t + 209 = -i*u - 3*u, 0 = -u - 4*t - 25. Let l = u + 77. Is 18 a factor of l?
True
Let s(h) = 41*h**3 - h**2 - 3*h - 1. Is s(2) a multiple of 14?
False
Suppose 0 = -5*l - 4*f + 300, -5*l = 3*f - 54 - 251. Is l a multiple of 16?
True
Let c be (-69)/4 + 30/(-40). Let k = 20 - c. Is k a multiple of 13?
False
Suppose 55 - 6 = w. Let a = w + -29. Does 10 divide a?
True
Let y be (-6)/((-2)/(-12)*-2). Suppose -3*m + y = -21. Does 13 divide m?
True
Let f be (-159)/(-9) + 1/3. Let u be (-1)/2 - f/4. Does 10 divide (u*4)/(-1*1)?
True
Let h be (-5)/(-2)*(-24)/(-15). Suppose h*k = 30 + 50. Does 13 divide k?
False
Suppose 0 = -2*d - 34 - 0. Suppose -2*j - 48 = 2*s, -s - 2*s = j + 80. Let c = d - s. Is 11 a factor of c?
True
Let j(m) = -m - 2. Let g be j(-4). Suppose -g*p - 5 + 39 = 0. Is p a multiple of 17?
True
Let k(f) = -f - 1. Let m be k(-3). Let l be (m - 3 - -1)/1. Suppose -3*r + 1 + 2 = l, -5*g + 52 = 2*r. Does 4 divide g?
False
Suppose 4*t = -0*t + 8. Let g(n) = 5*n. Is 6 a factor of g(t)?
False
Let i(a) = a**2 - 16*a + 9. Let b be i(15). Let q(f) = f**2 - 9*f. Let m(y) = -y**2 + 10*y. Let x(s) = 6*m(s) + 7*q(s). Is 15 a factor of x(b)?
False
Let k(o) = o**3 - 7*o**2 - 7*o - 6. Suppose -2*u = -1 - 3. Let a(b) = -b**3 - b - 1. Let x(q) = u*a(q) + k(q). Does 10 divide x(-6)?
True
Let b(j) be the third derivative of -j**2 - 1/6*j**3 + 0*j - 47/24*j**4 + 0. Is 16 a factor of b(-1)?
False
Let w = -149 - -248. Does 9 divide w?
True
Let j = 41 + -1. Is j a multiple of 10?
True
Suppose 3*a = -5*z - 208, 50 + 47 = -2*a + 5*z. Let k = a + 109. Is k a multiple of 24?
True
Suppose 8 = -2*t + 5*t + 2*f, -2*f = -3*t + 4. Suppose -4 = t*c, -38 = -2*o + c + 12. Is 12 a factor of o?
True
Does 16 divide (14/(-6) - 1)/((-16)/600)?
False
Suppose z + 0 = 3. Let j(w) = 3*w + 3. Is 5 a factor of j(z)?
False
Suppose -l = -4*l + 96. Suppose l = -4*k + 5*k. Suppose 217 - k = 5*m. Is m a multiple of 13?
False
Suppose -4*i + 10*i = 1110. Is i a multiple of 20?
False
Let x(d) = 7*d**2 + 2*d + 1. Does 5 divide x(-2)?
True
Suppose -11*h = 5*h - 2160. Does 9 divide h?
True
Let q(w) = -9. Let n(x) = x - 26. Let v(c) = 4*n(c) - 11*q(c). Does 7 divide v(3)?
True
Let p(c) = -4 + 5 - c**2 - 5*c - c**3 - 4*c**2. Does 13 divide p(-5)?
True
Let q(i) = -i**3 - 6*i**2 - 6*i - 1. Let s be q(-5). Suppose 0 = -0*l + s*l - 236. Is l a multiple of 21?
False
Suppose 0 = 2*y + 4, z + 0*z = -2*y + 196. Is 11 a factor of z?
False
Let z = 25 + -7. Suppose i = -i + z. Is 3 a factor of i?
True
Let d(n) = 5*n - 5. Let r be d(6). Suppose -5*g = r + 5. Let c = g + 11. Is 4 a factor of c?
False
Suppose 5*n = 3*n + 4. Does 13 divide (-48)/(-2) + (4 - n)?
True
Suppose -69 = -13*u + 10*u. Does 23 divide u?
True
Suppose 2*h - 3*h = 0. Suppose h = 2*z + 2*l - 20, l = -3*z - l + 27. Is z a multiple of 4?
False
Let c be 1 + -2 + -2 - -2. Let h be 0 - 1 - c*3. Is (-3 - 1)*(h - 3) even?
True
Does 26 divide (-1)/(-2) - 69/(-2)?
False
Let m be (-7)/4 + 9/(-36). Does 10 divide (-4)/m*-1 - -52?
True
Let a(j) = -10*j**3 + j**2. Suppose -3*r = -r - 8. Let y be r/(-14) + (-15)/21. Is a(y) a multiple of 11?
True
Does 6 divide 5870/60 + 2/12?
False
Let t = 154 - 126. Is t a multiple of 14?
True
Let p(m) = -1. Let q(t) = 1 + 1 - 4 + t. Let b(z) = 10*p(z) - 2*q(z). Is 4 a factor of b(-5)?
True
Let y(q) = 4*q**2. Is 10 a factor of y(-5)?
True
Let c(t) = t**3 - 3*t**2 + t + 4. Let v be c(3). Let l = -7 + v. Suppose 0 = 4*q + 3*j - 62, q + 5*j = -l*q + 24. Does 13 divide q?
False
Let h be 0 + 103 + -3 + 6. Suppose -2*a + r + 41 = 0, 0 = 5*a - r + 2*r - h. Is a a multiple of 14?
False
Let v(k) = -k + 1. Suppose 2*l + 0*l = -18. Does 5 divide v(l)?
True
Let d = 10 - -25. Is 6 a factor of d?
False
Suppose 3*t - 24 = 3. Is 7 a factor of t?
False
Let j = 389 + -264. Does 25 divide j?
True
Suppose 0 = -5*r + 4*i - 158 + 500, 3*r - 195 = -i. Is r a multiple of 22?
True
Let x be (9/(-6) - -1)*-2. Suppose -r + x = -2. Suppose r = a - 6. Is 9 a factor of a?
True
Let q(d) = -2*d**2 - 4*d - 3. Let n be q(-2). Let f be (1/n)/((-1)/3). Is f/(1*1/4) even?
True
Suppose -33*k = -36*k + 111. Is 6 a factor of k?
False
Let f be (-2)/3*(1 - 4). Suppose -k - f*h = -20 + 60, -k - 3*h = 39. Does 10 divide (-3)/((-75)/k + -2)?
False
Suppose 4*q = 7*q. Suppose -w + 2 + 22 = q. Is w a multiple of 8?
True
Suppose 0 = v - 3*v + 10. Suppose -194 - 185 = -v*o + 2*z, -5*o = -z - 382. Is 28 a factor of o?
False
Let t be 0*((-2)/(-4) + 0). Let r(g) = g**2 - 3*g - 7. Let c be r(4). Is 12 a factor of (0 - c) + t + 14?
False
Let h(p) = p**3 - 6*p**2 + 4*p + 5. Let n be h(5). Suppose -139 = -5*w - 2*j, n = -4*w - 4*j + 59 + 57. Is 9 a factor of w?
True
Let g be (-20)/(-2)*5/10. Suppose -g*y + 66 = -4*c, -2*c - 5 + 37 = 4*y. Does 6 divide y?
False
Does 17 divide 5 - (4 - 0) - -95?
False
Let m = -5 - -21. Is 5 a factor of m?
False
Suppose 0 = h - 4*h + 9. Suppose c - h*c = 4. Is 6*((-4)/3)/c a multiple of 4?
True
Let r(f) = f**3 - 6*f**2 + 2*f - 8. Let o be r(6). Suppose -3*i + 17 = -o. Suppose 20 = i*j - 5*j. Is j a multiple of 10?
True
Suppose -2*z = -4*z + 10. Let j = z - 7. Let k = j + 25. Does 20 divide k?
False
Suppose 5*v = v + 8. Let f(h) = -h**3 + 3*h**2 - h + 1. Let z be f(v). Suppose 0 = z*o - 53 + 5. Is o a multiple of 14?
False
Let j(w) = -15*w**3. Is j(-1) a multiple of 5?
True
Let s be -2 + 0 + 0 + 4. Is 6 a factor of 6/(-1 + 3/s)?
True
Suppose 3*o - 2*k = 5*o - 28, -5*k = -5*o + 70. Let v = o - 23. Does 9 divide (-1)/(-3) - 159/v?
