+ 0*b + 3*f + 15 = 0. Is x(b) a multiple of 18?
False
Suppose 4*i - x + 4 = -6*x, 0 = 4*i + x - 12. Suppose -2*a + 90 = i*o, -5*o + 4*a + a + 75 = 0. Does 8 divide o?
False
Let k(d) = d**2 + 3*d. Let w be k(-4). Suppose -h - 4*z = -6*h + 213, w = -2*z. Is 17 a factor of h?
False
Let l = 12 - -32. Is l a multiple of 41?
False
Let s be (-4)/10 - 48/30. Let r(c) = -c**2 - 3*c - 2. Let a be r(s). Suppose 5*y - y - 156 = a. Is 14 a factor of y?
False
Suppose 4 = 2*f - 4*g - 18, -2*g = -2*f + 16. Let l(j) = -j**2 + 8*j + 2. Is l(f) a multiple of 17?
True
Suppose -2*m + 0*s + 22 = -3*s, -s + 21 = m. Let z = m - 11. Is 3 a factor of z?
True
Suppose 2*p = 3*n + 112, 2*p - 2*n - 56 = p. Suppose 3*z - l - p = -0*z, 3*z + 5*l - 80 = 0. Does 12 divide z?
False
Let f = 9 - -45. Is 8 a factor of f?
False
Let b = -7 + 12. Suppose 15 + 30 = b*q. Is q a multiple of 5?
False
Let q(b) = b + 9. Let u be q(0). Let x = u - 5. Is 4 a factor of x?
True
Suppose 3*w - 15 = -0. Suppose w*q + 55 = 175. Is q a multiple of 12?
True
Suppose 3*q - 11 = -2. Is q even?
False
Let g = -2 + -1. Let a = -6 - g. Is (-6)/9*a*5 a multiple of 5?
True
Let x(j) = -j - 3. Let y be x(-4). Does 6 divide (-1 + y/(-4))*-12?
False
Suppose -5*z + 1 + 9 = 0, -54 = -2*t + 5*z. Is t a multiple of 8?
True
Suppose p - g - 32 = -5*g, -4*p + 162 = -g. Suppose 5*r - p = 9*r. Does 15 divide 6 - r - (2 + -1)?
True
Let n(m) = m**3 - 12*m**2 + 12*m + 14. Does 5 divide n(11)?
True
Let a = 3 + 0. Suppose -2*x + 32 + 80 = 3*k, -a*x = 4*k - 150. Is 12 a factor of k?
True
Suppose 3*h = -2*h + 20, j - 2*h - 8 = 0. Does 7 divide j - (3 - (2 - 1))?
True
Suppose 9*o = 11*o - 12. Suppose -2*n + 5*n = 2*g - 12, o = g - n. Is g a multiple of 3?
True
Let b(t) = 4*t**2 + 6*t + 4. Does 8 divide b(-2)?
True
Let y(d) = -d**3 - 3*d**2 - 3*d - 4. Let q(o) = 2*o - 1. Let g be q(-1). Is 3 a factor of y(g)?
False
Suppose 46 = 2*r - 8. Suppose 0 = -5*v + 13 + r. Does 5 divide v?
False
Suppose -4*i - 292 = -4*g, 0 = -3*i - 2*i + 15. Let q = -40 + g. Does 16 divide q?
False
Suppose 3*z - 114 = -2*i + 82, 5*z - 91 = -i. Is i a multiple of 9?
False
Suppose 0*o = 4*o. Suppose o = -5*q + 3*q + 12. Is 3 a factor of q?
True
Suppose -5 = -5*z + 355. Does 8 divide z?
True
Let d = 92 - 64. Does 8 divide d?
False
Suppose 0 = -0*s - s. Suppose i - 5*q - 17 = s, -3*i + q = -40 - 67. Is i a multiple of 17?
False
Suppose 3*m - 9 = 0, 0 = 3*w - 0*w - 3*m - 231. Is (1 - 4)/((-6)/w) a multiple of 10?
True
Let p(u) be the third derivative of 49*u**4/24 + u**3/6 - 8*u**2. Is 10 a factor of p(1)?
True
Is 5 a factor of ((-3)/3)/((-2)/20)?
True
Let c = 3 + -5. Let b be (11/c)/(2/(-4)). Suppose -5*x - 3*q + b = -4*x, -5*q + 45 = 3*x. Is x a multiple of 20?
True
Suppose -2*k - 4*y + 13 + 3 = 0, -3*k = -3*y + 12. Suppose -i + 4 - 2 = k. Suppose -5 - i = -o. Does 2 divide o?
False
Suppose -7*b + 151 = -80. Is b a multiple of 11?
True
Let k = -50 + 135. Does 34 divide k?
False
Let g(l) = l**2 - 5*l - 10. Let w be g(7). Let v = 12 - w. Does 8 divide v?
True
Let v(r) = r - 3. Let d(o) = 8*o**3 - 2*o + 1. Let p be d(1). Is v(p) a multiple of 2?
True
Let i = 8 + 60. Is 17 a factor of i?
True
Let w = -1 + -2. Is (-7 - 32)*2/w a multiple of 13?
True
Let p = -37 + 70. Is p a multiple of 12?
False
Suppose -2*u = 2*u - 12. Suppose 0 = u*j - 6*j. Suppose j = -3*p + 17 + 16. Does 11 divide p?
True
Let i(s) = 18*s + 2. Let z be i(-3). Let p = 91 + z. Suppose 0 = y + 4*h - p, -2*y + 2*h + 50 = 3*h. Does 13 divide y?
False
Suppose 0*k - 192 = -4*k. Is k a multiple of 16?
True
Let r(d) = d**2 + 3*d - 9. Let q be r(-7). Is q - ((-2 - 3) + 2) a multiple of 7?
False
Suppose 0*w = -4*w + 16. Let j = 22 - w. Is 9 a factor of j?
True
Suppose -315 = -0*q - 5*q. Does 17 divide q?
False
Let i(v) be the second derivative of -v**4/12 - 3*v**3/2 - v**2 + v. Is 7 a factor of i(-7)?
False
Suppose 5*w = 4*l - 8 - 53, -l - w = -4. Let n be (-2)/l + (-218)/(-9). Suppose 0*b = 2*b - n. Is 9 a factor of b?
False
Is 1722/154 + (-2)/11 a multiple of 11?
True
Suppose -97 = -3*p + 191. Suppose p = 4*m - 2*z, 0*m - z = m - 24. Is 12 a factor of m?
True
Suppose -l - 5*x + 11 = -1, 2*x = -5*l + 60. Is 12 a factor of l?
True
Let q(i) = i**3 + 7*i**2 - 10*i - 10. Let k be q(-8). Suppose n - k*n = -120. Suppose 3*u = -0*u + n. Is 5 a factor of u?
False
Let f(x) = -x**2 - 27*x + 6. Is 16 a factor of f(-16)?
False
Suppose -2 = -2*h - 10, 0 = 3*j - 2*h - 101. Suppose 0 = -4*r + 29 + j. Is r a multiple of 15?
True
Suppose y - l - 135 = 0, 4*y - 3*l - 2*l - 539 = 0. Suppose -69 = -2*x + a, 5*a - y = -3*x - 0*x. Is 16 a factor of x?
False
Let t = 30 + -15. Suppose 5*v = -t, 14 = -h + 2*h - 3*v. Suppose 13 - 83 = -h*u. Does 6 divide u?
False
Suppose -3*l = -33 + 6. Is 7 a factor of l?
False
Suppose 2*h + 20 - 157 = 5*o, -3*h - 4*o + 171 = 0. Is h a multiple of 17?
False
Is 0 - 6/(-2) - -156 a multiple of 25?
False
Suppose w - 5 = -5*r, 3 - 4 = -5*w - r. Suppose 0 = -q - w*q + j + 46, -3*q + 4*j = -139. Does 15 divide q?
True
Let x(q) = 20*q**3 + q - 1. Let p be x(1). Suppose -3*h - h = -p. Suppose 3*n + 0*m = -m + 66, 5*m - 110 = -h*n. Is 12 a factor of n?
False
Let j = -5 + 10. Suppose -d + j*d = 144. Is 12 a factor of d?
True
Let s(q) = 4*q - 2. Let z = -8 + 13. Is s(z) a multiple of 18?
True
Let i = 340 - 148. Suppose 0 = -4*x + 5*y - 3*y + i, -3*x + 3*y = -141. Does 34 divide x?
False
Let u = 59 - 41. Is 18 a factor of u?
True
Let p = 7 + 37. Suppose 0 = -4*k - 2*w + p, 6*k - 3*k - 32 = -2*w. Let r = 44 - k. Is 20 a factor of r?
False
Let s(p) = 5*p - 4. Let z be (-4)/(-14) - (-78)/21. Suppose 0*g - 16 = -z*g. Does 10 divide s(g)?
False
Let g(p) be the second derivative of p**5/20 - p**4/2 + 5*p**3/6 - 3*p**2/2 + p. Let s be g(6). Let b = -10 + s. Does 6 divide b?
False
Suppose 4*n - 27 = -3*q, q + n + 0 - 8 = 0. Let l be -2*(8/(-4) + -9). Suppose q*a - l = 18. Is 7 a factor of a?
False
Let q(f) = f**3 + 8*f**2 + 7*f + 4. Let j = 0 + -7. Is 4 a factor of q(j)?
True
Let p(t) = -2*t + 144. Is p(0) a multiple of 24?
True
Suppose -3*c = -2*d - 41, -c - 58 = 5*d + 70. Let t = d - -51. Is t a multiple of 13?
True
Suppose -3*w - 2*w = 0. Suppose w = 7*y - 3*y - 144. Is 18 a factor of y?
True
Let k = -95 - -52. Let m = -25 - k. Is 18 a factor of m?
True
Let h = -3 + 9. Suppose 65 = -b + h*b. Does 6 divide b?
False
Let b = 33 - 21. Is 3 - (-1)/(1/b) a multiple of 3?
True
Does 17 divide 8393/99 - 2/(-9)?
True
Suppose 7*n - 3*n - 208 = 0. Does 13 divide n?
True
Let q be (9/12)/(2/16). Does 9 divide 69/q + 3/(-6)?
False
Suppose -4*l + 14 = 2. Suppose 2*p - 3*p = -3*v + 52, 5*v - 84 = l*p. Is 11 a factor of v?
False
Suppose 5*s + 4*k = 240, -k + 4*k = -15. Does 12 divide s?
False
Let c(m) = m**3 + m - 1. Let s be c(0). Let p = s - -4. Does 12 divide (-8)/(p/(9/(-2)))?
True
Suppose 5*i - 51 - 12 = -3*n, 0 = -4*i - 3*n + 51. Suppose -2*c - i = 2*c. Is 46/8 - c/(-4) even?
False
Let p(q) = q**2 + 4*q + 1. Let d be p(-3). Let h(g) be the third derivative of -7*g**4/8 + g**3/3 + g**2. Does 22 divide h(d)?
True
Suppose -4*p + 73 = -5*m, 0*p = -2*p + 2*m + 34. Is p a multiple of 7?
False
Let m be (-1 + 1*8)/(-1). Let i = 10 + m. Suppose k - i*k = -22. Is k a multiple of 11?
True
Let q be (-7)/(1*(-2)/(-2)). Let h = 10 + q. Suppose h*c = 3*u - u + 56, 5*c - 4*u = 96. Does 9 divide c?
False
Suppose -5*v + 114 = -1. Let x = v - 2. Is x a multiple of 21?
True
Let p(v) = v**2 + 2*v - 2. Let u be p(-3). Let c(j) be the first derivative of 23*j**4/2 - 2*j**3/3 + j**2/2 + 1. Does 15 divide c(u)?
True
Let m(f) be the second derivative of f**5/20 + 2*f**4/3 + f**3/3 - 7*f**2/2 - 3*f. Does 18 divide m(-6)?
False
Suppose 13 = -i + 5. Let f(m) = m**2 + 10*m + 12. Let s be f(i). Is 7 a factor of 7 - -1 - s/2?
False
Let x(a) = -a**2 + 9*a + 12. Is 4 a factor of x(9)?
True
Let s = 11 + -5. Let m(g) = -g. Let r be m(s). Is (2/r)/((-2)/174) a multiple of 10?
False
Let z(k) = -k**2 + 8*k + 10. Let q be z(9). Is 23 a factor of (0 + q)*138/6?
True
Suppose -k = 3*s + s + 12, 0 = -2*k + 2*s + 16. Does 2 divide k?
True
Suppose 0 = -5*i + 8*i - 75. Suppose 0*y = 5*y - i. Does 5 divide y?
True
Suppose 0 = -2*p - v - 3, -3*p - 4*v - 27 = -7*v. Let g(n) = 19*n + 16. Let a(d) = -6*d - 5. Let b(u) = 7*a(u) + 2*g(u). Is 13 a factor of b(p)?
True
Is 