 a, -2*z - 4 = 0. Does 3 divide a?
False
Suppose 2 = -2*d - 0*d. Let i(m) = -m - m**2 - 6*m**3 - 11*m**3 + m. Does 8 divide i(d)?
True
Does 4 divide (-34)/(2/(1/(-1)))?
False
Let r be 4/(-10)*-10*1. Does 3 divide 15/2 + 2/r?
False
Suppose 27*r - 30*r + 291 = 0. Is r a multiple of 31?
False
Let f(h) = -14*h**3 - h**2 - 1. Is 12 a factor of f(-1)?
True
Suppose 3*p - 108 = 156. Is 22 a factor of p?
True
Suppose -465 = 4*k - 9*k. Suppose -5*i = -k + 3. Is 9 a factor of i?
True
Suppose -108 = -2*p + 2*w, -141 = -3*p - 0*w - 4*w. Is p a multiple of 47?
False
Suppose 0*k - 65 = p - 5*k, 0 = 5*p + 4*k + 470. Let q = -55 - p. Does 15 divide q?
False
Suppose 12 + 15 = 3*z. Is z a multiple of 9?
True
Suppose -192 - 168 = -5*h. Let u be (4/(-1))/(1/8). Let v = u + h. Does 14 divide v?
False
Let b = 24 + 20. Let v = b + -22. Is v a multiple of 22?
True
Let p = 63 - -157. Is p a multiple of 20?
True
Suppose -3*d + 229 = c - 0*c, 0 = -2*d - 2*c + 150. Is 11 a factor of d?
True
Suppose s - 20 = -3*s. Suppose 3*a - 18 = s*a. Let k = a + 33. Is k a multiple of 8?
True
Let z(o) = -o**3 - 4*o**2 + 4. Let k be z(-4). Is 2*13*2/k a multiple of 13?
True
Let i be ((-20)/(-35))/(4/14). Is 4 a factor of (-8)/(-2*(i + -1))?
True
Let k be (4 - 1)*(-4)/(-6). Suppose -5*h + 8 = -k*j, 0 = -5*h - 4*j + 7 + 7. Suppose -2*w - 2*w + 48 = 3*n, 53 = 3*w - h*n. Does 5 divide w?
True
Suppose 2*j = -3*j + 410. Let m = -46 + j. Is m a multiple of 12?
True
Let z(m) = m**2 + 7*m + 5. Let w be z(-6). Let y = w - -42. Is y a multiple of 16?
False
Suppose -3*r + n - 5 = -7*r, 0 = -r + 2*n - 1. Let q(s) = 2 + 1 - 4 + 32*s. Is q(r) a multiple of 10?
False
Let c(w) = -w**3 - 4*w**2 - 4*w. Does 3 divide c(-3)?
True
Let u(l) = l**3 + 22*l**2 - 3*l - 10. Is 14 a factor of u(-22)?
True
Let a = 4 + 6. Is a a multiple of 4?
False
Let y be (-150)/(-54) - 2/(-9). Suppose -2*f - f - 9 = 0, 3*p + y*f = -24. Does 4 divide 1*7 - (p + 4)?
True
Suppose 5*v - 90 = -5*y, -4*y = -3*v - 3 - 41. Suppose -y*m + 19*m - 340 = 0. Is m a multiple of 23?
False
Suppose -5*l - 48 = -13*l. Does 5 divide l?
False
Let h(b) = 41*b**3 + b. Let t be h(1). Let s(d) = d**2 + 4*d. Let l be s(-4). Suppose l*v = 2*v - t. Is v a multiple of 20?
False
Let x = -99 + 139. Does 4 divide x?
True
Suppose -4*r + 2 - 34 = 0. Let c = 6 + 0. Is (r/c)/((-4)/12) a multiple of 2?
True
Suppose 0 = 5*m - 29 + 9. Suppose m = -3*j + 43. Does 5 divide j?
False
Let y(b) = b**2 + 9*b + 3. Suppose -28 - 17 = 5*f. Let k be y(f). Suppose -1 = 3*n + 3*m - 31, k*m + 30 = 2*n. Is n a multiple of 12?
True
Let q(r) = 4*r - 12. Is q(8) a multiple of 10?
True
Suppose 0 = -4*s - 164 + 784. Suppose -10 = 2*k, -2*k + s = 2*a - k. Does 20 divide a?
True
Let u be 1/4 + 117/12. Suppose -u = 2*a + 2. Let j = 2 - a. Does 4 divide j?
True
Suppose -2*i = -s - 65, i + 3 = -4*s + 49. Does 17 divide i?
True
Is (-3)/1*(-9 + 6) a multiple of 4?
False
Suppose -25 = -w - 3*k, -3 = -2*k + 3*k. Is 17 a factor of w?
True
Let n(y) be the first derivative of 5*y**2/2 - y - 1. Does 4 divide n(1)?
True
Suppose -5*m = 15, 4*z = 9*z + 2*m - 219. Is 12 a factor of z?
False
Let h = 6 + -4. Let y be h/2 - (-84)/2. Let d = 72 - y. Is 10 a factor of d?
False
Suppose -m + 3*x + 27 = 6*x, 4*x = -2*m + 44. Is m a multiple of 3?
True
Suppose 2*q = -1 + 5. Let u(k) = 5*k**3 + 4*k**2 - 3*k. Is 17 a factor of u(q)?
False
Let o be (-3 - -1)/(4/(-142)). Let q = o - 17. Is q a multiple of 20?
False
Let z(y) = -4*y - 4*y + 3 - 2. Let m be z(-1). Let u = m + -4. Is u a multiple of 5?
True
Suppose 4*x = x + 12. Suppose -30 = -g - x*g. Does 6 divide g?
True
Let g(k) be the second derivative of k**3/2 - 3*k**2/2 - 2*k. Does 4 divide g(5)?
True
Let s(w) = 2*w**3 - 16*w**2 - 9*w + 35. Let f(r) = r**3 - 8*r**2 - 4*r + 18. Let u(n) = -5*f(n) + 3*s(n). Is u(9) a multiple of 11?
True
Suppose -3*o + a = -93 - 65, 0 = 3*o - 4*a - 146. Is 3 a factor of -2*1*o/(-12)?
True
Let h(c) = 7*c**2 - 14*c - 2. Let t(m) = 4*m**2 - 7*m - 1. Let o(s) = 3*h(s) - 5*t(s). Let y be o(8). Let q = -1 + y. Is 6 a factor of q?
True
Let t be 1/(-3) - 2/(-6). Suppose t = 3*o - o - 32. Does 16 divide o?
True
Suppose 5*t = -12 - 3. Let b be t/5 - 4/10. Is b/(2/36*-1) a multiple of 9?
True
Suppose 28*f + 174 = 30*f. Does 6 divide f?
False
Let o = 228 + -158. Does 35 divide o?
True
Let k(x) = -8*x - 7. Let b(v) = -v. Let t(q) = -6*b(q) + k(q). Does 9 divide t(-8)?
True
Suppose 1 = -2*a + 23. Is a a multiple of 11?
True
Let s = -18 + 20. Suppose 355 = -s*g + 7*g. Is g a multiple of 19?
False
Let p(n) = 9*n - 3. Suppose 5*g - 2 = 28. Does 12 divide p(g)?
False
Let g = -55 + 123. Let o = 134 - g. Is o a multiple of 17?
False
Let d(a) = -a + 9. Let f be d(6). Let r be 2/(-6) + 808/12. Suppose f*q = 5*k + 66, 0 = -2*q + 4*k - 25 + r. Does 14 divide q?
False
Let t be (-18)/8 - (-2)/8. Let x be 2 + (t + 3 - 1). Is (x/(-6))/(4/(-516)) a multiple of 17?
False
Suppose -29 = -2*z - 5. Does 9 divide (z/(-7))/(2/(-21))?
True
Suppose -3*s - 1 = 4*m, s - 6*m = -2*m + 21. Is s even?
False
Suppose -14*p = -12*p - 86. Is 9 a factor of p?
False
Let q(d) = d**2 + 2*d + 3. Is q(10) a multiple of 15?
False
Let d = -2 + 8. Suppose -d*u = -u - 65. Does 13 divide u?
True
Let x(t) = t**3 + 3*t**2 + t - 4. Does 3 divide x(2)?
True
Suppose -4*d + 285 = 93. Is d a multiple of 21?
False
Suppose 5*z = -2*v + 62 + 420, 0 = 4*v - 2*z - 964. Let j = v + -162. Does 13 divide j?
False
Is ((-14)/(-4))/(22/(-12) + 2) a multiple of 6?
False
Suppose 3*f - 29 = -4*c + 14, 5*c = -5*f + 55. Is 740/25 + 4/c a multiple of 15?
True
Let d = 3 + -5. Does 5 divide d/(-6) + 116/12?
True
Let u(f) = -2*f**2 - f + 5*f**2 - 2*f**2. Does 3 divide u(3)?
True
Suppose -180 = -2*s - s. Does 30 divide s?
True
Let t(k) = -k**2 - 6*k - 6. Let n be t(-4). Suppose n*b + 8 = -5*j, j + 2 - 6 = b. Let x = 4 + j. Is 2 a factor of x?
True
Let a = 50 + 20. Is 25 a factor of a?
False
Does 24 divide -2 + (-11)/(-4) + 14355/60?
True
Suppose 0 = -4*y + 6 + 2. Suppose 0 = -y*w + w. Suppose g - 5*t + w = 16, -4*t + 4 = 2*g. Is 3 a factor of g?
True
Let q(d) = -d**3 + 16*d**2 - 15*d + 15. Does 15 divide q(15)?
True
Suppose f + 62 = -2*q, -q = 7*f - 2*f + 337. Let b be (1 + 3)/((-8)/f). Is b - (-2 - (0 - 2)) a multiple of 12?
False
Suppose -7*j + 44 = -6*j. Is 4 a factor of (-8)/28 + j/7?
False
Let k(a) = -45*a + 2. Let r be k(-4). Let w = 62 - r. Is 11 a factor of ((-6)/15)/(2/w)?
False
Suppose p = -3*s - 7, s = 6*s - 5. Does 14 divide 12/((-34)/p + -3)?
False
Let d = -40 - -74. Is 17 a factor of d?
True
Suppose 73 + 8 = 3*t. Does 5 divide t?
False
Let t = 12 - -5. Is t a multiple of 11?
False
Let a(b) = b. Let f be a(-4). Let y = -2 - f. Suppose 4*d = y*w + 198, 6*w = d + w - 72. Is d a multiple of 17?
False
Let a(c) be the third derivative of -c**5/60 + 13*c**4/24 - c**3/2 - 6*c**2. Is 9 a factor of a(12)?
True
Suppose -4*u + 282 = 2. Let r be (-475)/10 + (-2)/4. Let q = r + u. Does 16 divide q?
False
Suppose -5*o + 9*o = 144. Is 6 a factor of o?
True
Let x = 7 + -9. Let b be (x + 15)*(-2 + 3). Suppose -b + 85 = 2*j. Is 16 a factor of j?
False
Let g(m) = m**2 - 5*m. Let t be g(5). Suppose 4*u - 12 = t, h - 3*u - 38 = -2*u. Suppose 2*l - 5*f = h, 0*f + 55 = 5*l - 3*f. Is l a multiple of 4?
True
Suppose 182 = 4*c + 14. Is 14 a factor of c?
True
Suppose -5*a + 2*a - 24 = 0. Is 22 a factor of 10/a*1*-20?
False
Suppose 0 = -2*v - v - 96. Let i = v + 45. Is 6 a factor of i?
False
Let u(z) = -z**2 - 7*z. Let t be u(-7). Suppose t = -p - 3*p + 8. Is 9 a factor of 1/(1/p) + 22?
False
Let j = 5 + -3. Suppose -j*x - 55 = -7*x. Let p = x + 5. Does 8 divide p?
True
Let k be (1 - -22) + -2 + 2. Suppose k = n + 2*v, -n - 5*v = 4*n - 120. Is 10 a factor of n?
False
Let c be -7 + 6 - (1 + -2). Suppose c = -4*i + g + 68, -68 = -4*i - 4*g + g. Is i a multiple of 17?
True
Suppose -4*j - 2*x = -78, -x = 5*j - 0*x - 105. Is 11 a factor of j?
True
Let t be -1*(0 - -1)/1. Let p be (t + 2)/(1/3). Suppose -5*o = f - 31, 3*o + p*f - 14 = 7*f. Is o a multiple of 5?
False
Suppose -9 = 3*v, 3*o + 0*v - 2*v - 96 = 0. Does 5 divide o?
True
Let g(x) = x**2 - x + 1. Let m be g(-1). Let j be 19*(-1)/(-4)*4. Suppose p - j = m. Is p a multiple of 11?
True
Suppose -518 = -6*p - 14. Does 19 divide p?
False
Suppose 3*b + 3*b = 702. Does 39 divide 