 = a(g) - 5*m(g). Does 11 divide j(-2)?
False
Suppose 283 = 2*b + 3*f, 4 = -2*f - 2*f. Is 13 a factor of b?
True
Suppose -4*b + 166 + 278 = 0. Is 11 a factor of b?
False
Suppose 5*v - 2*w - 16 = -0*w, -24 = -4*v - 4*w. Let y be (3 + -2)/(2/v). Is 17 a factor of (y - 8)*17/(-3)?
True
Is 15 a factor of (1 + -31)*(-75)/30?
True
Let x(a) = 3*a**2 - 12*a - 2. Let y(z) = 7*z**2 - 25*z - 5. Let h(n) = -5*x(n) + 2*y(n). Is h(9) a multiple of 3?
True
Let b(c) = -10*c - 4. Let l(i) = -2*i**3 - 2*i**2 + i. Let r be l(1). Is b(r) a multiple of 14?
False
Let r(n) = -n**2 - 9*n + 1. Does 10 divide r(-7)?
False
Suppose 1 = 2*n - 3. Suppose 2*d - 3*g - 2 = -2*g, n = g. Suppose -4*x - 4 = -d*j, 5*x - 11 = 9. Does 7 divide j?
False
Let q(b) = b**2 + 2*b + 3. Let k be q(-3). Suppose p - 26 = -k. Does 20 divide p?
True
Is (-1 - (-4 + -498)) + -5 a multiple of 16?
True
Suppose -672 = -4*z - 3*g, -2*g + 672 = 4*z - 0*g. Is 56 a factor of z?
True
Does 19 divide 2*6/(-4) + 22?
True
Let q(x) = 2 - 36*x - 3 + 0 - 1. Is q(-2) a multiple of 14?
True
Suppose -5*j + 67 + 53 = 0. Is j a multiple of 8?
True
Let k(d) = -d**2 - 9*d + 2. Let g be k(-6). Does 2 divide g/(-6)*9/(-5)?
True
Suppose -25 = -6*p + 41. Does 5 divide p?
False
Suppose 4*r = r + 57. Let a = 36 - r. Is 17 a factor of a?
True
Let f be (54/24)/((-6)/(-32)). Does 11 divide f*2 + 0 + 2?
False
Let m(n) = n**2 - 8*n - 5. Let s be m(9). Let k = 66 + s. Suppose 4*l + l = k. Is 14 a factor of l?
True
Let h be 0 - (8 + (4 - 2)). Let b(k) = k**2 + 10*k + 13. Let i be b(h). Suppose 5*x - 2 = i. Does 3 divide x?
True
Suppose 3*l = 27 + 15. Is 14 a factor of l?
True
Let l(n) = 2*n + 6. Let h be 1 - -7 - (2 + 0). Is 8 a factor of l(h)?
False
Let i be -6*(-2 - (-10)/6). Let l be 0 - i/4*-2. Suppose 3*a = -5*s + 110, -s + l - 7 = -5*a. Is s a multiple of 16?
False
Let f = 169 + 27. Does 9 divide f?
False
Let l(h) = h**2 - h - 16. Is l(-7) a multiple of 8?
True
Let h(t) = 3*t**2 + 1 + 5 + 6*t - 10. Let f(a) = 21*a**2 + 42*a - 27. Let j(k) = -2*f(k) + 15*h(k). Is j(-5) a multiple of 17?
False
Let g = -55 + 91. Suppose g = 2*w - 26. Is w a multiple of 10?
False
Let o(m) = m**2 + 8*m - 8. Let x be o(-9). Is 18 a factor of 5*4 - (x + 1)?
True
Suppose 4*z - 24 = -0*z. Is z a multiple of 3?
True
Suppose -3*f + 0*f = -201. Suppose 3*v = -2*g + f, -5*g - 36 = -2*v - 2*g. Is v a multiple of 7?
True
Suppose -y + 68 = y. Is 17 a factor of y?
True
Let d = 0 + 128. Is d a multiple of 16?
True
Suppose -a + 0*a = -u + 32, 39 = 2*u + 3*a. Is u/(2 + (1 - 2)) a multiple of 9?
True
Let k(w) = -17*w - 9. Does 12 divide k(-4)?
False
Suppose 3*d = -15, d + 430 = 4*p - 7. Does 12 divide p?
True
Does 15 divide 540/(-2)*((-16)/24 + 0)?
True
Let u = -5 - -5. Let b = 3 + u. Suppose 5*g + 2*q + b*q = 20, 5*g = 3*q + 28. Does 5 divide g?
True
Let k(j) = j**2 + 120. Let d be k(0). Suppose 4*x = -x + d. Is x a multiple of 8?
True
Let c(w) = w**3 - w**2 + 74. Let z be c(0). Let x = z + -26. Is 16 a factor of x?
True
Does 12 divide -3*(12/3 - 320/12)?
False
Suppose 0 = 5*q + 21 + 79. Let h = 34 + q. Is 13 a factor of h - ((-2)/(-2) + 0)?
True
Let z(h) be the third derivative of -h**6/40 - h**5/15 - h**4/24 + h**3/3 - 2*h**2. Is z(-2) a multiple of 12?
True
Suppose 5*x + 9 = -1, -3*z + 15 = -3*x. Let p(i) = -i**z + 2*i**3 - 2*i - 5 + 5*i**2 + 3. Is 9 a factor of p(-4)?
False
Let d(v) = 54*v. Is 18 a factor of d(1)?
True
Suppose f + 6*y - 80 = y, 0 = -2*y - 10. Is f a multiple of 7?
True
Let s = -20 - -11. Does 2 divide (-25)/s + (-6)/(-27)?
False
Let i(l) = -3*l - 1. Suppose 2 - 11 = 3*v. Let j = v - -1. Does 2 divide i(j)?
False
Suppose 5*v + 2*p + 6 = 0, 0 = v + v + 2*p + 6. Suppose -s + 4*s - 132 = v. Let m = s - 26. Does 18 divide m?
True
Let g(u) = 2*u - 9. Let k be g(6). Suppose -r + k*r + 4 = 0. Is 2 + 21/(-6)*r a multiple of 4?
False
Let b be (-18)/(-4) - (-1)/2. Suppose 0 = -2*j + 3 + b. Suppose -n - z + 47 = 0, 0*n = 2*n + j*z - 88. Is n a multiple of 25?
True
Let l(b) = -2*b**3 - 8*b**2 + 15*b - 7. Does 55 divide l(-8)?
True
Let t = -18 - -13. Suppose -i - 110 = -5*j, -5*j = 2*i - 0*i - 95. Let m = j + t. Is m a multiple of 8?
True
Let v be 1/2 + (-14)/4. Let y be ((-2)/(-3))/((-2)/v). Does 16 divide (y - 4)*20/(-3)?
False
Let f be ((-24)/(-9))/4*3. Suppose 0 = 2*a + f*t - 22, 5*t - 4*t = -3*a + 29. Suppose a - 81 = -2*l. Is 16 a factor of l?
False
Is 35 a factor of (-5*(-15)/6)/(9/126)?
True
Let c(g) = -g**3 - 9*g**2 - 11*g - 1. Let m be c(-8). Suppose 2*y - j = -2*y + 19, -j = 3*y - m. Is 3 a factor of y?
True
Suppose 4*q - 5*m + 6*m = 29, q - 21 = -3*m. Suppose 16 = 5*n + q. Suppose -l - l = -2*s - 32, 3*s = -n*l + 22. Does 7 divide l?
True
Suppose 4*s + 2*f - 84 = 0, 0 = 2*f - 3*f - 4. Let t = s + -2. Does 21 divide t?
True
Suppose -4 = -3*u + 2. Suppose -2*l = u*l - i - 58, 0 = -5*l - 3*i + 64. Is 9 a factor of l?
False
Suppose 92 = 2*d - 28. Does 15 divide d?
True
Let j(s) = s**3 + 6*s**2 + 4*s. Let d = 3 - 0. Suppose 3*g + 2*q + 16 = 0, d*q = 2*g + 2 - 0. Does 16 divide j(g)?
True
Let z(a) be the first derivative of -a**4/4 - 8*a**3/3 + 9*a**2/2 + 6*a + 1. Let p be z(-9). Suppose 5*x + 6 = p*x. Is x a multiple of 2?
True
Let z = -4 + 5. Let v be z/1 + (-5 - -3). Does 12 divide 2/(v + -1)*-26?
False
Let k(i) = -i + 2. Let d be k(-4). Is (-16)/d*(2 - 17) a multiple of 20?
True
Let r = 0 + 1. Suppose c = -z - 25 - r, -4*z + 5*c - 95 = 0. Let t = -4 - z. Is t a multiple of 9?
False
Let b(q) = -q + 1 - 2 + 2*q + 2. Does 2 divide b(1)?
True
Suppose -2*l + 0*l = 6. Is (-2)/3 - 59/l a multiple of 8?
False
Let z(y) = y + 12. Let a be z(-6). Suppose k - 39 = 5*s + 3*k, 5*k - 15 = 0. Let c = a - s. Does 6 divide c?
False
Let x(z) be the second derivative of -z**3/6 - 3*z**2/2 + 4*z. Let i be x(-7). Suppose 48 = -0*c + i*c. Is c a multiple of 12?
True
Suppose -4*z = -5 - 7. Suppose -2*w + 34 = -z*t, 5*w - 3*t + 6*t - 127 = 0. Is w a multiple of 23?
True
Suppose -299 = -10*a + 201. Does 10 divide a?
True
Let r = 22 + 5. Is r a multiple of 3?
True
Let v = -5 - -2. Let t be -4*1 - (v - -3). Is 7 a factor of (t/(-6))/(6/63)?
True
Suppose 3*l - 53 = -5*i, -2*l + 3*l + 4 = 0. Let m(j) = -j**3 - 6*j**2 - j + 7. Let o be m(-6). Let r = i + o. Is 26 a factor of r?
True
Suppose -3*u + 12 = 0, -4*u + 3*u + 2 = -z. Suppose -z*m = -3*m + 24. Does 12 divide m?
True
Let n = -18 + 98. Is n a multiple of 5?
True
Suppose -6*d + 6 = -4*d. Let z(x) = x + 5. Let c be z(0). Suppose 0 = -d*u + 3, 4*u - u + c = h. Does 3 divide h?
False
Suppose -4*s + 32 = 2*n, 3*s - 31 = -0*n + 2*n. Suppose -s*a + 156 = -3*a. Is 17 a factor of a?
False
Let j = 10 - 8. Suppose 2*o + 2*r = 3 + 3, 24 = 3*o - j*r. Is 6 a factor of o?
True
Let g(n) = -n**2 - 9*n + 6. Is 7 a factor of g(-8)?
True
Let n be -10*(-2 - 6/(-4)). Let m(j) = 10 - n + j + 0. Does 7 divide m(6)?
False
Let a(y) = y**3 - 3*y**2 + 4*y - 3. Let h(i) = -i**2 - 15*i + 4*i + i**3 + 12*i**2 + 15. Let l be h(-12). Is 4 a factor of a(l)?
False
Let q(g) = g**2 - 8*g + 9. Suppose 5*u + y = 42, -4*u + 0*y + 2*y + 28 = 0. Let c be q(u). Is (-2)/2*c*-1 a multiple of 9?
True
Is 17 a factor of 63/49 + 4/(-14) + 180?
False
Suppose -16 = 4*u, -4*u - 56 = -x - 3*x. Is 10 a factor of x?
True
Let i(k) = -k**3 - 3*k**2 - 4*k + 2. Does 17 divide i(-4)?
True
Suppose 6 = 3*w, 47 = 2*j + 2*w - 41. Does 14 divide j?
True
Let o = 0 - -2. Suppose 2*d = 3*d - o. Suppose -d*a + 20 = 2*a. Is 3 a factor of a?
False
Let w(v) = v - 5. Let s be w(9). Suppose s*d = 12, 4*h - 5*h = -4*d - 23. Suppose 5*i - h = -0*i. Is 2 a factor of i?
False
Let b(z) = -z + 19. Let l = 10 + -19. Is 7 a factor of b(l)?
True
Let y(t) = 2*t**2 + 7*t + 6. Let j(b) = -4*b + 3*b - b - 6*b**3 + 2*b**2 + 0*b**2 + 1. Let v be j(1). Is y(v) a multiple of 7?
True
Suppose -2*r - 3*r = -2*p + 121, -4*p = 5*r + 103. Does 13 divide (-15)/12*(-1 + r)?
False
Let p = 2 + -7. Let o(b) = b**2 + 5*b + 6. Let f be o(p). Is 106/3 - (-4)/f a multiple of 18?
True
Suppose 4*n = -4*u - 10 + 46, 0 = -4*n - 16. Does 13 divide u?
True
Let c be (1 - 2 - -12) + 1. Let w be 25/(-4) + 3/c. Is 9/2*w/(-9) even?
False
Let w = 15 - -14. Let v = w - 24. Is 2 a factor of v?
False
Suppose -2*a - x + 1 = -4, 0 = -5*a + 5*x + 20. Is 1 + a - 1/1 a multiple of 3?
True
Let s = -1 + 2. Is s*(-80)/(-4 - 0) a multiple o