z - 3 = 0. Let r be z/(9/3)*0. Suppose 2*d + r*d - 16 = 0. Is d a multiple of 4?
True
Let f = 44 + -18. Is 7 a factor of f?
False
Let g(o) = 5*o**2 - 9*o + 2. Let l(p) = p**2 + p. Let n(u) = -g(u) + 4*l(u). Does 34 divide n(9)?
True
Let t(o) = o**2 + 3*o - 2. Let p be 0 + 1 + (-42)/6. Does 4 divide t(p)?
True
Let w be 4/16*4 - -7. Suppose -w*h + 99 = -5*h. Is 18 a factor of h?
False
Let p be (-269)/(-3) + 3/9. Suppose -c - 54 = -3*t + 74, 0 = 2*t - 3*c - p. Does 16 divide t?
False
Suppose 5*q + 2*i + 2*i = 366, -4*i = -16. Is q a multiple of 7?
True
Suppose 7 + 9 = -2*l. Let r be 0 - -3 - (-24)/l. Let d = 9 - r. Is 3 a factor of d?
True
Let i(n) = 4*n**2 + 6*n - 3. Let z be i(4). Suppose 21 = -s + z. Is 21 a factor of s?
False
Suppose -5*z + 497 = -48. Is z a multiple of 3?
False
Suppose y = 4*m, 4*y - m + 45 = -0*m. Let p be (-117)/y - 1/(-4). Is p*(6/4 + -1) even?
False
Let j(p) = p - 6. Let v be j(0). Let i be ((-4)/v)/((-3)/(-9)). Suppose f = i*q - 22, -f + 4*f = -4*q + 34. Is q a multiple of 9?
False
Let t = 0 + 12. Suppose 4*d + 60 + t = 0. Is 12 a factor of (-436)/d + (-10)/45?
True
Let z = 3 - 1. Suppose z*r - 13 + 49 = 5*i, 0 = -3*r + 6. Let f = i + 10. Is 7 a factor of f?
False
Let k(i) = -i - 3. Let t be k(4). Let z be ((-42)/(-4))/((-3)/4). Is 4/z + (-86)/t a multiple of 5?
False
Let z(k) = 2*k**2 - 3*k. Let l be z(2). Let d(r) = 5 - r + 0*r - 4 - l. Is d(-10) a multiple of 9?
True
Let h be 230/25 - 2/10. Let d = h + 4. Is 13 a factor of d?
True
Is 5 a factor of (-37)/(-3) + 4/6?
False
Suppose b = 3*b. Let k(u) = u**3 - 16*u**2 + 5*u - 1. Let o be k(16). Suppose -3*f + 4*n = -o, b*n + 105 = 4*f - 5*n. Is f a multiple of 10?
False
Suppose -z - 3*r = -143, -z + 404 = 2*z + 4*r. Is 16 a factor of z?
True
Suppose 5*q - 3*j = -j - 58, 2*j + 42 = -5*q. Let y = -7 - q. Suppose 11 = 3*t - g, -y*t - 4*g + 6 = -10. Does 4 divide t?
True
Suppose 3*s - 4*s + 3*j + 141 = 0, 383 = 3*s - j. Is 27 a factor of s?
False
Suppose 3*p - 252 = -r + 3*r, -3*r = 5*p - 420. Does 13 divide (-1 - p)*(-6)/15?
False
Let h be -14 + 2 - 2/(-1). Let t = 16 + h. Does 6 divide t?
True
Let a(g) be the first derivative of g**5/20 - g**4/2 + 7*g**3/6 + g**2 - 2*g + 3. Let r(l) be the first derivative of a(l). Is 22 a factor of r(6)?
True
Let g(l) = 7*l**2 - 4*l + 7. Let t be g(-5). Let q = t - 139. Is q a multiple of 17?
False
Suppose 16 + 169 = 5*s. Suppose -5*r + 20 = -3*r. Suppose -r = c - s. Is c a multiple of 9?
True
Let q(o) = o - 6. Let p be (-31)/(-4) + (-2)/(-8). Let j be q(p). Suppose b - 6 = -j. Is b a multiple of 3?
False
Let c be (-4)/10 + (-102)/(-30). Suppose 2*z - 3 = c*z. Does 2 divide z/(-3) + 2 + 0?
False
Let b = 34 - 14. Suppose 5*z + b = 0, -6*r + 3*r + 226 = -4*z. Does 19 divide r?
False
Suppose -60 = -4*z - 0*z. Let n = 63 - z. Is 18 a factor of n?
False
Let m be (-10)/(-4)*36/15. Does 13 divide 75/m + (-2)/(-4)?
True
Let o(g) = 2*g**2 - 2*g - 2. Let w(z) = z - 5. Suppose -3*i - 2*i = -35. Let f be w(i). Is 2 a factor of o(f)?
True
Suppose -6*r = -4*r - 160. Is r a multiple of 20?
True
Suppose -t + 71 = -y, 2*t - 3*y = -0*t + 146. Suppose -2*q + t = -25. Is q a multiple of 19?
False
Suppose y = -2*v - 2*y + 59, -4*v + 110 = -2*y. Suppose 5*h + 8 = v. Suppose 2*i = -2*k + 24, 5*i + 2*k - 60 = h*k. Is 12 a factor of i?
True
Suppose 0 = -q + 3 - 30. Let c = 50 + q. Is c a multiple of 14?
False
Let x(q) = 11*q**3 - 28*q**2 - 16*q - 5. Let u(r) = -5*r**3 + 14*r**2 + 8*r + 3. Let d(w) = 13*u(w) + 6*x(w). Does 22 divide d(-13)?
False
Let n = -54 + 36. Let i = 12 + n. Is 20/i*(-54)/15 a multiple of 4?
True
Let b = -50 + 19. Let h = b - -60. Is h a multiple of 11?
False
Let p be -1 + (2 - -1 - -3). Suppose -5*q = -q - 24. Suppose 0 = -2*k + p*i + 20, 4*k + i - 30 = q*i. Is 4 a factor of k?
False
Let u(i) = -i + 6. Let b(y) = 2*y + 3. Let o be b(-6). Is 15 a factor of u(o)?
True
Let j be ((-4)/(-6))/((-2)/(-30)). Let a(q) = -q**2 + 11*q - 12. Let z be a(j). Let h(b) = -11*b. Does 11 divide h(z)?
True
Suppose 5*m - 6*m = 0. Suppose m*q + 36 = 3*q. Is 4 a factor of q?
True
Let r = -37 + 26. Let f(v) = -5*v**3 + v. Let t be f(-1). Is t/(-6)*(r - 1) a multiple of 4?
True
Suppose 4*x - 16 = 0, -4*m - x + 9 = -11. Suppose -h - 17 = 3*w - 65, -90 = -2*h - m*w. Does 13 divide h?
True
Is 1*-9*1/(-3) a multiple of 3?
True
Let s = 8 - 1. Is 2 a factor of s?
False
Suppose -6*r + 120 = -2*r. Is r a multiple of 6?
True
Let r(o) = 3*o**3 + 1. Let s be r(1). Let p(d) = d**3 - d**2 - 2*d - 1. Is p(s) a multiple of 8?
False
Let w(n) be the third derivative of 7*n**5/60 + n**4/12 + n**3/6 - n**2. Let r(t) = -4*t + 7. Let a be r(2). Is 3 a factor of w(a)?
True
Let v(y) = y - 4. Let r be v(4). Suppose -5*q + r*q + 10 = 0. Suppose 1 = -2*o + q*j + 19, -48 = -3*o - 4*j. Is o a multiple of 9?
False
Let g = -134 + 207. Does 29 divide g?
False
Let u be (-19)/(-5) - (-2)/10. Suppose u*o = 24 - 0. Is 4 a factor of o?
False
Suppose -5*u + u = -20. Suppose 0 = -0*v + u*v - 185. Is 10 a factor of v?
False
Suppose d + 8 + 14 = 0. Let i = d - -34. Does 6 divide i?
True
Suppose -7*s + 4*s - 48 = 0. Let w = -4 - s. Does 5 divide w?
False
Let b be (-9)/(-6) + (-11)/(-2). Suppose 3*f + 6 = 4*v, -5*f = -f - 5*v + b. Does 10 divide (-690)/(-35) - f/(-7)?
True
Suppose 0*w + 3*w - 5*f - 5 = 0, 4*w = -2*f - 2. Let q be (-3)/7 + (-750)/(-35). Suppose 2*s = -k - s + q, w = 5*k - s - 121. Is 21 a factor of k?
False
Suppose 4*c - 2*c = j + 5, -j = 4*c - 7. Is 2 a factor of 15/(-1 + -2)*j?
False
Suppose 0 = -3*t + 2*s + 16, 0 = -2*t - 5*s + 2*s - 11. Does 2 divide t?
True
Let y(f) = -4*f - 1. Suppose -4*q + 23 = -3*v, -3*q + 6*v = v - 31. Suppose q*u + u = -27. Is 12 a factor of y(u)?
False
Let c(x) = x**3 + 3*x**2 + 3. Let n be c(-3). Suppose 0 = -y + 3*p + n + 25, -3*y + p = -60. Is y a multiple of 5?
False
Let y = 234 + -138. Is 24 a factor of y?
True
Suppose 2*c = 6*c. Suppose -3*d - 2 + 5 = c. Let i = d - -21. Is 9 a factor of i?
False
Let s be -17 - (4 + -3)*-1. Is 9 a factor of (-4)/s + 105/12?
True
Let h be 0/1 + 8 + 1. Let a = 15 + h. Does 12 divide a?
True
Suppose -w + 3*w - 5*f + 20 = 0, 4*w + 8 = 2*f. Suppose w*m - 10 = -m. Is 8 a factor of m?
False
Suppose -3*f = 4*m + 2*f - 77, 59 = 3*m + 4*f. Does 10 divide m?
False
Suppose -51 - 229 = -5*d. Does 8 divide d?
True
Is (0 - -1) + 16 + 2 a multiple of 19?
True
Let x(o) = -o - 2. Let t be x(-4). Let n(p) = 15*p + 1. Is n(t) a multiple of 13?
False
Suppose 3*o - 20 = -4*g - 0*o, -o = -4. Let c = 111 - 107. Suppose -g*w - 2 = 0, 5*l - c*w - w = 85. Does 16 divide l?
True
Let x be (-4 - -8)/((-2)/8). Let j = x + 51. Does 13 divide j - (-1 + (2 - 0))?
False
Let l(a) = a**3 - 17*a**2 + 16*a + 12. Does 12 divide l(16)?
True
Suppose -j - j + 6 = 0. Suppose k = -i + 37, -2*k - 3*i = j*k - 177. Is k a multiple of 7?
False
Suppose -s + 2*s = -3*q + 259, 4*q - 1339 = -5*s. Does 47 divide s?
False
Suppose -4*c = -0*i + i - 32, -5*i = 2*c - 178. Is 12 a factor of i?
True
Is 2 a factor of -3 + 0 + 5 + 1?
False
Suppose 3*z = -7 + 1, z = -4*n + 10. Suppose 0 = 6*p - p - 5, 4*p + 26 = n*q. Is 8 a factor of q?
False
Let r = 60 + -13. Does 11 divide r?
False
Let s = -32 + 76. Is s a multiple of 11?
True
Suppose 12 = -3*w, -5*k + 0*k - 4*w + 249 = 0. Is k a multiple of 25?
False
Suppose -9 = -2*r + 3. Let b = 45 - r. Does 13 divide b?
True
Let i be 1/(((-4)/3)/(-4)). Suppose 0 = -0*k - i*k - 27. Let x(h) = -h + 2. Is 8 a factor of x(k)?
False
Let k(w) = -2*w - 8. Let m be k(-7). Suppose 2*g = -3*v - 0*g + 7, -2*g + 12 = 4*v. Let o = v + m. Does 10 divide o?
False
Suppose -4*q - 28 = -4*z, -z + 3 = -0*z + 3*q. Let t(m) = m**3 - 6*m**2 + 4*m - 3. Let l be t(z). Suppose 101 = 5*c + l. Is c a multiple of 8?
True
Let q(p) = -3*p**3 - 4*p - 8*p**2 + 2*p**2 + p**3 + p**3 + 8. Is 12 a factor of q(-6)?
False
Let z(p) = -p - 2. Let f = 0 + -7. Is 5 a factor of z(f)?
True
Suppose -5*d - 5*g = -19 - 21, d - 5*g + 4 = 0. Suppose -d*b - 50 = -422. Is b a multiple of 15?
False
Let n be 0 - 0 - (4 - 1). Let w(f) = -f**3 - 4*f**2 - 3*f + 3. Let s be w(n). Suppose 0 = 4*b + 4*a - 196, -3*b = a - s*a - 162. Is 18 a factor of b?
False
Suppose -12*r = -11*r - 13. Is r a multiple of 13?
True
Let w = -5 - -34. Does 5 divide w?
False
Let q = 81 + -22. Does 16 divide q?
False
Supp