*g. Suppose -3*d = -5*l + 19, d = -j*d - 3*l + g. Is d a multiple of 2?
True
Let w = 47 - 8. Does 17 divide w?
False
Suppose -z + 2*c + 9 = -0*c, 0 = -3*z + 4*c + 19. Let b = 8 + z. Does 3 divide b?
True
Suppose 0 = k - 5 + 3. Does 2 divide k?
True
Let v(h) = h**2 + 10*h + 9. Let x be v(-9). Suppose x = -2*j + 5 + 7. Is (-8)/(j/(-9) + 0) a multiple of 8?
False
Suppose 55 + 1121 = 7*x. Does 7 divide x?
True
Let q be -4 + -3*(2 + -3). Let u be -3 - (41*-2 + q). Suppose 5*d = d + u. Is 10 a factor of d?
True
Suppose -h + 14 = -4*f, 2*h = 3*f + 3 + 5. Is (-9)/(4 + -1)*h a multiple of 6?
True
Let t be (14 - 3/3)*-1. Let s(h) = -3*h - 18. Is s(t) a multiple of 7?
True
Is (-1)/(-2) + (-116)/(-8) a multiple of 5?
True
Let s(z) = -z**3 - 4*z**2 - 6*z + 5. Is 22 a factor of s(-5)?
False
Let n(x) be the second derivative of -x**4/12 - 3*x**3/2 - 2*x**2 + x. Let i be n(-7). Is 6 a factor of 2 - (1 + i/(-2))?
True
Suppose 0 = -0*d + d - 19. Is (-1 - -2) + d + -2 a multiple of 7?
False
Suppose 4 = 5*k - 46. Is k a multiple of 5?
True
Let c(a) = 4*a + 4. Let i be c(-4). Let d be 8/(2*-1)*i. Suppose -y - d = -5*y. Is y a multiple of 10?
False
Suppose -3*z = -4*z + 4. Suppose 7*q = z*q + 12. Is q a multiple of 2?
True
Let n be ((-3)/(-3))/(1/3). Let s = 8 - 5. Suppose n*h + 4*x = 33, -2*h + s*x + 25 = 3. Is h a multiple of 11?
True
Suppose 4*b - 3*b + 4 = 0. Let z = b - -6. Does 2 divide z?
True
Let t(a) = 2*a**2 + 2*a - 1. Let x be t(1). Let s(l) = -l**3 + 3*l**2 + 3*l + 3. Does 9 divide s(x)?
False
Suppose -5*d + 472 = -38. Is d a multiple of 17?
True
Let q = 30 + 2. Suppose -4*w = -q - 48. Is 13 a factor of w?
False
Let i(v) = v**3 + 8*v**2 - 4. Is 10 a factor of i(-5)?
False
Suppose -4*f = 4*v + 4, -3*v - f = 4 - 3. Let i be (-6)/1*1/(-2). Suppose v = u - i*u + 6. Is 3 a factor of u?
True
Let t be (-4 - 0)*(0 + -1). Suppose t*i - 6 = i. Suppose -33 = -3*d + 4*a, 0 = -3*d - i*d + a + 38. Is d a multiple of 4?
False
Suppose 3*u - 190 = -4*g, 3 - 8 = g. Does 14 divide u?
True
Suppose 2*n - 43 = -3*n + 3*q, -4 = -q. Is 2 a factor of n?
False
Let u(m) = 6*m**2 - 6 + 2 - 4*m**2 + 1. Is u(4) a multiple of 6?
False
Suppose -f = -5*a + 167, 0 = 5*a - 4*f - 0*f - 158. Is 12 a factor of a?
False
Let j(g) = -g + 12. Suppose -3*y + 13 + 14 = 0. Let q be j(y). Is ((-1)/(-1) + 0)*q even?
False
Suppose 0 = -4*a - 3*r + 4*r - 79, -4*r - 24 = a. Let f = -11 - a. Suppose 5*d + 45 = 2*b, -5*b - 4*d + 54 + f = 0. Is 15 a factor of b?
True
Let i be ((-10)/2)/((-1)/1). Suppose i*x - 27 = 4*v - 2, -25 = -5*x + v. Suppose x*z + 3*f - 227 - 32 = 0, -4*f - 114 = -2*z. Does 16 divide z?
False
Suppose 3*a = -2*y - 1, 0*a = -3*a - 5*y - 16. Suppose p + 2*g = 2*p - 22, 3*p = -a*g + 102. Is 16 a factor of p?
False
Let u(o) = -o**3 + 6*o**2 + 2*o - 6. Let n be u(6). Let h be (3 - n)/(-3) - -6. Suppose -t = 5*x - 22, 3*t + 16 = h*t - 4*x. Does 3 divide t?
False
Let v = 167 - 87. Let a = 152 - v. Is 18 a factor of a?
True
Let o(n) = -2*n**2 + 2 + 0*n + 3 + n**3 + 4*n. Is o(4) a multiple of 14?
False
Suppose -3*l + 0*s - 43 = 4*s, -s + 14 = -2*l. Let j be 0 - (-16 - 6/3). Let c = l + j. Does 9 divide c?
True
Suppose 15 + 0 = 5*u. Suppose 5*k + 3*g = 80, -2*g - 48 = -u*k - 0*k. Suppose -4*d + k + 56 = 0. Is 9 a factor of d?
True
Suppose -2*y + 0 + 8 = 0. Suppose -54 - 10 = -y*x. Does 8 divide x?
True
Let g(q) = 3*q**2 - 6*q - 31. Is g(10) a multiple of 13?
False
Let s = 4 + -1. Suppose -3*v + 4*v - s = 0. Is v a multiple of 2?
False
Is (1/(-3))/(5/(-225)) a multiple of 13?
False
Let l(p) = 3*p - 7 - 3*p + 5 - p. Is l(-7) a multiple of 5?
True
Suppose n = 4*s + 74, s - 130 = 3*n - 5*n. Is 11 a factor of n?
True
Let d = 40 - -71. Is d a multiple of 21?
False
Let u be (-8)/20 - 13/5. Is 1*4/(-6)*u even?
True
Let m = 33 - 58. Let a = -32 + -7. Let g = m - a. Is g a multiple of 13?
False
Let i = 12 + -6. Is 2 a factor of i?
True
Let u be (-325)/10*(-16)/5. Suppose 24 = -5*y + u. Is 8 a factor of y?
True
Let m be (-522)/(-33) + (-2)/(-11). Suppose 0 = a + 4*t - 71, -a - 5*t + m = -54. Does 25 divide a?
True
Let y = -22 - -35. Let u = y + -5. Suppose u = -2*o + 22. Is o a multiple of 3?
False
Let f(u) be the first derivative of -u**3/3 + u + 2. Let x(i) = -2*i**2 + 3. Let b(w) = -5*f(w) + 2*x(w). Is b(5) a multiple of 26?
True
Let q(f) = f**2 + 9*f + 2. Let p be q(-9). Let z be (0 - 0/(-2)) + p. Suppose 48 = z*t + 8. Is 17 a factor of t?
False
Let s = 9 + -7. Does 15 divide 12*(8/s - 1)?
False
Suppose 4*d = 105 + 95. Suppose q + 4*q - d = 0. Is 5 a factor of q?
True
Let s be 1*(-2 - (-20 - 1)). Suppose 4*r + 5*g - s = 0, 0*r + 42 = 2*r - 4*g. Is r a multiple of 3?
False
Let j be (2 + 0 - 3)/(-1). Suppose j = -z - 0*z - 2*s, -15 = 3*s. Is 9 a factor of z?
True
Let r be 106/((-7)/(7/2)). Let v = 102 + r. Does 22 divide v?
False
Let b = 439 - 279. Is 32 a factor of b?
True
Suppose 11 - 3 = 4*z. Let t be 6/(-4) - 27/z. Let x = 1 - t. Is 6 a factor of x?
False
Is 2/14 + 1194/21 a multiple of 9?
False
Suppose -g + 14 = 3*c, -6 = -0*g - g + 5*c. Is g a multiple of 2?
False
Is 10 a factor of 4 - (-12)/4*392/6?
True
Suppose 2*g - 67 = -11. Does 4 divide (-22)/5*(-70)/g?
False
Let k(r) = 2*r**2 - 4*r + 3. Let m be k(2). Suppose 223 - 16 = m*l. Does 23 divide l?
True
Let o(g) = -g**2 + 6*g - 1. Let f be o(5). Let l(m) = -2*m + 10. Let x be l(0). Does 13 divide (-416)/(-40)*x/f?
True
Suppose s - 4*p - 50 = 0, -3*s - p = -2*s - 60. Is s a multiple of 5?
False
Let b(v) = -2*v**2 + v - 2. Let f(y) = y**3 + 3*y**2 - y + 3. Let x(d) = 3*b(d) + 2*f(d). Let a be x(1). Suppose 20 = a*n - 52. Is 12 a factor of n?
True
Let b(g) = -g**3 + 14*g**2 - 12*g + 2. Does 15 divide b(13)?
True
Suppose q - 26 - 19 = 0. Does 9 divide q?
True
Suppose 0 = 3*z + 56 - 194. Is z a multiple of 16?
False
Let k be (-2)/8 - 27/(-12). Does 2 divide (k/6)/((-10)/(-150))?
False
Let a = 27 + -8. Suppose 5*x - f - 8 = 5, -2*x + 5*f + a = 0. Is 2 a factor of -2 - (-7)/x*2?
False
Let c(t) = t**3 - 5*t**2 + 7*t - 4. Let p be c(4). Suppose -116 = -2*k + 5*m, k - 48 = 2*m + p. Is 17 a factor of k?
False
Suppose -5*i = -4*j - 368, 3*i - 6*i + 4*j + 216 = 0. Does 14 divide i?
False
Let n = -22 + 104. Suppose n + 18 = 5*r. Is 7 a factor of r?
False
Is 288/(-54)*(-15)/4 a multiple of 20?
True
Let u be -26 - (0 + -1*2). Let g = u - -53. Is 12 a factor of g?
False
Let x(y) = 2*y**3 + 6. Does 14 divide x(4)?
False
Let r = 46 + 39. Does 21 divide r?
False
Let s(o) = 20*o**3 + o - 1. Let x be s(1). Let t = 7 + x. Is t a multiple of 9?
True
Suppose -5 = -3*w - 2*o, 3*w + 5 = 2*w - 2*o. Suppose -c = -4*c - 4*q + 16, 0 = 3*c - 4*q - 56. Let z = c - w. Does 3 divide z?
False
Let d(m) = -m**2 + 4*m + 1. Suppose -31 - 19 = 5*h. Let i be (-26)/h - (-8)/20. Is 2 a factor of d(i)?
True
Let x = -5 + 7. Suppose x*v = -v - 153. Is 10 a factor of (0 - v)/3 - 0?
False
Let v(r) = -2*r**2 + 8*r - 5. Let j be v(6). Suppose -2*n = -16 + 50. Let k = n - j. Is k a multiple of 6?
True
Let k(f) be the second derivative of f**5/20 - f**4/4 - f**3/6 - f**2/2 + f. Let b be 138/30 + 3/(-5). Does 4 divide k(b)?
False
Let z(q) = 96*q - 16. Is 20 a factor of z(2)?
False
Suppose -2*a = 10, -a = f + 2*a + 12. Let v be 135/3 + (2 - f). Suppose -v = -4*j + 28. Does 10 divide j?
False
Suppose 17*h = 16*h. Suppose -5*k - 100 = -2*x - h*k, -4*x + 256 = 4*k. Is 31 a factor of x?
False
Let x(b) = 2*b**2 + 7*b + 7. Let p be x(-6). Let i = 61 - p. Is i a multiple of 15?
False
Let z be (-3)/4 + 55/20. Suppose -z*v + 83 = 31. Is v a multiple of 13?
True
Suppose 0 = 2*w + 5*h - 15, -w + 3*w - 19 = -h. Is 19*1 - w/(-5) a multiple of 7?
True
Let p(h) be the third derivative of 0*h - 1/6*h**4 + 4/3*h**3 + 0 + 4*h**2. Is p(-8) a multiple of 16?
False
Is 25 a factor of (14/(-21))/((-6)/675)?
True
Let j(i) = -5*i - 1. Let n be 1/(-2) + 15/6. Let k = -4 + n. Is 5 a factor of j(k)?
False
Let n(g) = -35*g - 7. Let v be n(-6). Suppose -5*a = -v + 23. Is a a multiple of 12?
True
Let k = 12 - 11. Is k - (-4 - 1 - -2) a multiple of 4?
True
Let l(k) = -k**2. Let z be l(1). Is 8 a factor of -60*2*z/5?
True
Let w = 1 - -7. Let m be 36/w + 1/(-2). Suppose 103 = m*i - 3*p, 0*i - i - 3*p + 22 = 0. Does 11 divide i?
False
Let q be (-9)/((-2 - -1) + 2). Let r = q + 0. Let s = r + 14. Is s even?
False
Suppose -4*y - 42