3 = 0. Does 26 divide x?
False
Suppose 28*z - 29*z + 1227 = 0. Does 5 divide z?
False
Let c = -4 + 30. Suppose 1 = -l, -6*l = -4*w - 7*l + 7. Suppose 2*s - 4*k = 14, -w*s = -4*s + k + c. Is s a multiple of 3?
True
Let c(j) = -j**2 + 2*j + 11. Let d be c(0). Let n = d - 2. Is 4 a factor of n?
False
Suppose 5*o = o + 3*s + 3960, o + 4*s - 990 = 0. Is o a multiple of 11?
True
Let l be 4*(0 - (-5)/4). Let p be -1*0*l/(-25). Suppose -2*f = 4*v - 36, f + 3*f + 5*v - 66 = p. Does 6 divide f?
False
Let t(a) = 2*a**2 - 6*a - 12. Let x(c) = -2*c + 60. Let d be x(25). Is t(d) a multiple of 16?
True
Let l(t) = -4*t + 25. Let q(h) = -4*h + 24. Let p be (6/1)/((-5)/5). Let o(d) = p*q(d) + 5*l(d). Is 4 a factor of o(8)?
False
Let v be (-308)/16 - -12*6/(-96). Let a(f) = f**2 - 7*f - 4. Let p be a(7). Is v/(-5) - 4/p a multiple of 5?
True
Let a be -12 - (-7)/(35/20). Let i(x) = -x**3 - 5*x**2 + 11*x + 12. Is i(a) a multiple of 13?
False
Suppose -4*d + l + 415 = 0, -l - 310 = -6*d + 3*d. Is 15 a factor of d?
True
Let f(u) = 3*u**2 + 23*u - 3. Let a be f(-8). Suppose -9*g = -a*g - 12. Is 3 a factor of g?
True
Let j be 4/((-15)/(-3) + -3) - -24. Suppose 24*b = j*b - 90. Is b a multiple of 45?
True
Suppose -2066 = 8*g - 6858. Is 45 a factor of g?
False
Let t be -2 + 5 - (15 - 12). Suppose -7 = -5*i + 8. Suppose -80 = -5*r - t*r + i*z, -64 = -4*r - z. Is r a multiple of 16?
True
Let l = 40 - 33. Suppose l*b + 30 = 9*b. Does 12 divide b?
False
Let k(i) = 3*i**2 + 6*i + 22. Let l(x) = x**2 + 2*x + 7. Let q(s) = -2*k(s) + 7*l(s). Does 34 divide q(7)?
True
Suppose -7*q + 5 + 9 = 0. Suppose 4*m + q*w - 220 = -0*w, 2*w = m - 50. Does 27 divide m?
True
Let o = -3 - -8. Does 29 divide 1 + 0 - o*-6?
False
Suppose -5*n - 578 = -3*y, 5*y = -4*n - n + 910. Suppose -y = -3*d + 150. Is d a multiple of 28?
True
Is (-14)/(12/6) + 1013 a multiple of 40?
False
Suppose -5*r = -5*j + 30, 4*r - 30 = -2*j + 12. Let t = j - -10. Is t a multiple of 3?
True
Let i(l) = l**3 + l**2 + l. Let g(y) = -2*y**3 + 3*y**2 + 2*y + 5. Let j(b) = g(b) + 3*i(b). Let f be j(-5). Suppose 19 = f*w - 6. Is 5 a factor of w?
True
Let g be ((-4)/20)/(4/(-140)). Let a(y) = 5*y**2 - 8*y - 15. Does 29 divide a(g)?
True
Is 4/36 + (8944/9)/2 a multiple of 11?
False
Suppose 4*f - 3*h = -7*h + 8, -3*f = h - 12. Let r(o) = -o**3 + 7*o**2 - 8*o + 5. Is r(f) a multiple of 3?
True
Let c be 72 - (0 + -3) - (1 - -2). Suppose 0 = -5*h + c - 7. Is h a multiple of 3?
False
Let s(o) = o**3 + 11*o**2 + 7*o - 24. Let k be s(-10). Suppose k*h - 333 = 291. Is 13 a factor of h?
True
Let i(u) = 14*u**3 - u**2 - u + 12. Is i(3) a multiple of 42?
True
Suppose 23*v = 946 + 756. Does 6 divide v?
False
Let d be (-3 - 7/(-3))*-3. Suppose -3*k + 15 = i + 2*k, d*i - 3*k - 4 = 0. Let z = i - -3. Does 4 divide z?
True
Suppose -162 = -4*x + 2*i - 4*i, -5*i = 3*x - 139. Suppose 0 = 12*k - x - 94. Does 6 divide k?
False
Let v = -102 - -182. Suppose 9*k - 595 = v. Does 5 divide k?
True
Let a be (-2)/(-3 + (-20)/(-8)). Suppose -3*o + o - 2*k = -60, -a*o + 120 = k. Is 5 a factor of o?
True
Let s(n) = -2*n**2 - 26*n + 9. Let f be s(-11). Let z = 1 - -1. Suppose -52 = -r + 4*w, r - w - f = z*w. Does 28 divide r?
True
Is (-20 + -2 + 4)*(-27950)/258 a multiple of 10?
True
Let z(u) = -1 + u**3 + 11*u - 11 - u**2 - 5*u**2. Let r be z(6). Suppose r = 5*j - 2*j. Is j a multiple of 3?
True
Let b(a) = a - 8. Let o be b(15). Is 5 a factor of o + 35 + 1 + 1?
False
Let g(n) = 39*n - 40. Let y be g(16). Suppose y = 11*o - 7*o. Is o a multiple of 8?
False
Let m(d) be the first derivative of -d**3/3 + 7*d**2/2 + 4*d - 1. Let b be m(7). Suppose 0 = 5*t - b*t - 85. Is 23 a factor of t?
False
Let n = -4 - -103. Let v = 27 - 92. Let h = v + n. Is 6 a factor of h?
False
Suppose -6 = 2*h + 3*v, -h + 5*v + 23 = -0*h. Suppose 2*u = h*z + z + 144, 0 = 3*u + z - 188. Is 4 a factor of u?
True
Let h = 28 - 1. Let c = -62 + 9. Let r = h - c. Is 16 a factor of r?
True
Let o = 475 - 240. Is 29 a factor of o?
False
Suppose -4*j = -3*j. Suppose j*u - 110 = -2*u. Let h = u - -5. Is 11 a factor of h?
False
Let k = 30 + -42. Let f = 21 + k. Does 6 divide f?
False
Let s = -13 - -15. Suppose 4*u + 58 = s*l, 0*l + 115 = 5*l + 5*u. Does 10 divide l?
False
Let c(t) be the second derivative of -11*t**3/6 + 3*t**2 + 3*t. Let o be c(-6). Suppose -3*r + 15 = h - r, -4*h + o = -4*r. Does 11 divide h?
False
Let u(g) = g**3 + 5*g**2 + 6*g + 18. Let j be u(-4). Let i = 26 + j. Is i a multiple of 12?
True
Let i(z) = -z**2 + 5*z - 1. Let r be i(6). Let l = r + -1. Let p(f) = -2*f - 8. Is 4 a factor of p(l)?
True
Suppose 0 = 2*u - 13*b + 14*b - 382, -3*b = 5*u - 957. Does 7 divide u?
True
Let t = 1192 + -792. Does 40 divide t?
True
Suppose 5*v - 130 = -5. Let q = v + -22. Is q a multiple of 3?
True
Let y(d) = 100*d - 144. Does 75 divide y(6)?
False
Suppose -5*o = -64 - 621. Let f = o + -59. Is f a multiple of 26?
True
Let q(y) = -65*y - 5. Let j be q(-3). Suppose j = -6*k + 11*k. Is k a multiple of 10?
False
Let r(v) = -12*v**3 + 6*v**2 + 5*v - 4. Is r(-4) a multiple of 24?
True
Let c(y) = -91*y**3 - y**2 + 2*y + 3. Is 11 a factor of c(-1)?
False
Let w(a) = -125*a - 10. Does 17 divide w(-4)?
False
Suppose -5*u = -0*u - 4*s - 20, 3*s + 15 = u. Suppose 6*p - 7*p + 30 = u. Is 10 a factor of p?
True
Let q(o) = 24*o**2 + 4*o - 3. Suppose -23*k + 12 = -19*k. Does 32 divide q(k)?
False
Let p(y) = y**3 + 3*y**2 - 30*y + 9. Let o be p(-10). Let w = -211 - o. Is 15 a factor of w?
True
Suppose -2*y + 564 = 5*j - 4, -5*j - 4*y + 576 = 0. Is 4 a factor of (j/12)/(2/3)?
False
Suppose 0 = p + 9 + 1. Let z = p - -18. Is z a multiple of 5?
False
Let p(q) = -3*q**2 - 7*q - 9. Let s(f) = 4*f**2 + 6*f + 10. Let b(i) = 3*p(i) + 2*s(i). Let g be b(-8). Let a = 6 - g. Is 2 a factor of a?
False
Suppose 3*a = 3*t - 225, 2*t = t + 4*a + 81. Let z = t + 17. Does 10 divide z?
True
Let d(k) = k - 4. Let c be (-1)/(-4 - -3) - -1. Suppose -c*a + 12 = -a. Is 4 a factor of d(a)?
True
Suppose 4*w + 8 = 0, 5*w + 51 = 4*z - 3. Let h = 0 - 0. Let k = z - h. Is 11 a factor of k?
True
Is 44/6*(-7)/(56/(-576)) a multiple of 38?
False
Suppose -2*j = 3*y + 7, 0 = -7*y + 2*y - 25. Suppose -3*p - 6*m + m = -25, 3*p = j*m - 20. Suppose p = -5*f + f + 176. Is f a multiple of 22?
True
Let r(h) = -h**3 - 8*h**2 + 5*h - 6. Let c(w) = 7*w - 8. Let y(g) = 22*g - 25. Let n(z) = -7*c(z) + 2*y(z). Let q be n(3). Is 15 a factor of r(q)?
True
Let m be (-116)/(-14) + (-6)/21. Let w(k) = 47*k + m - 7 + 0. Is 15 a factor of w(1)?
False
Suppose 4*j - 9 = 3. Suppose 0 = -j*c - 3*r + r + 371, -4*r + 258 = 2*c. Is 12 a factor of c?
False
Let i(j) = 15*j + 6. Suppose 9 + 21 = 4*a - 2*z, 27 = 3*a - 3*z. Does 24 divide i(a)?
True
Let k(t) = -t**3 - 26*t**2 - 4. Let h be k(-26). Is 11 a factor of (260/(-8))/(2/h)?
False
Suppose -32*g - 65208 = -84*g. Is 28 a factor of g?
False
Let k(u) = -20*u + 29. Let t be k(-17). Is 11 a factor of (-2)/(-8) + (t/12 - 1)?
False
Let b = 136 + 201. Let t = -211 + b. Does 15 divide t?
False
Let x(b) = -b**2 + 13*b + 2. Suppose -8 = -m - 0. Is 14 a factor of x(m)?
True
Let c be 836/6 + (-2)/(-3). Let z(i) = 5*i + 43. Let d be z(-8). Suppose m + d*m + 2*k - c = 0, 2*k = -5*m + 176. Does 7 divide m?
False
Let h be (-3)/9 - 3356/(-6). Let x = h + -394. Does 54 divide x?
False
Let h = -61 - -32. Suppose -384 + 28 = -4*n - 2*m, 4*n - 384 = 5*m. Let i = h + n. Is i a multiple of 17?
False
Is 54 a factor of 6/(-3) - (-3118 - -79)?
False
Suppose -3*l + 245 = 4*v - 0*l, 4*l = 12. Is 6 a factor of v?
False
Let s = -537 - -1694. Does 16 divide s?
False
Let y(t) = -1 + 4 - 2*t - 3*t**2 + 5*t**2. Let b be y(5). Let j = b - -17. Is 20 a factor of j?
True
Let j be (-1)/3 - 88/33. Let w(p) = -p - 3. Let n be w(j). Suppose -3*m = -k - 145, m = -n*m - 4*k + 44. Is 10 a factor of m?
False
Let z be (-30)/(-12)*(-12)/(-10). Suppose 62 - 206 = -z*q. Is q a multiple of 16?
True
Suppose -3*k = 4*h - 46 - 0, 2*k = -2*h + 28. Let u(a) = 13*a**2 - 4*a + 4. Let j(z) = -28*z**2 + 7*z - 8. Let n(v) = 6*j(v) + 13*u(v). Does 4 divide n(k)?
True
Suppose 2 = 4*w - 6, 4*w = -4*g + 168. Suppose -b = -5*k + g, 3*k + 3*b = 4*b + 22. Is k even?
False
Suppose -7*l + 7 + 14 = 0. Suppose 2*j = -z, -2*j + l*j + 15 = z. Does 10 divide z?
True
Suppose -4*m + 135 = 3*w - 1