12. Let v be d(-8). Is 16 a factor of 2*v/(-8) - 4?
False
Let q be ((-5)/(-2))/(2/4). Suppose 3*l - q*l + 48 = 0. Is 12 a factor of l?
True
Let f = 2 + 2. Suppose 5*o = -f*x + 13, -2*o - 4*x = -8*x - 22. Suppose 38 = o*u - 17. Does 9 divide u?
False
Is 10 a factor of ((1/1)/2)/((-1)/(-24))?
False
Does 7 divide (-220)/(-16) - (-3)/12?
True
Suppose -4*f + 111 + 161 = -4*u, -5*f + 349 = -2*u. Is 26 a factor of f?
False
Let z(p) = p**2 + 6*p - 7. Suppose -u + 33 = -4*d, -5*d + 6 = 3*u + 26. Let f be z(d). Suppose -2*k + f + 6 = 0. Is 3 a factor of k?
True
Let a = -35 - -63. Does 7 divide a?
True
Suppose -3*k + 80 + 155 = -4*h, -2*k + 3*h = -155. Is 17 a factor of k?
True
Suppose -v - 12 = 2*x, -2*x + 2*v - 16 = 8. Let t = x + 11. Suppose 3*i + t = 0, d = 3*i - 6*i + 14. Does 17 divide d?
True
Let t(j) be the first derivative of -j**3/3 + j**2/2 - 2*j + 1. Let x be t(4). Is x/2*36/(-14) a multiple of 7?
False
Let s(z) = z**3 - z**2 + z + 2. Let g be (-5 + 4)*0/(-2). Let w be s(g). Is w/(-12) - 127/(-6) a multiple of 17?
False
Let j = 11 + -23. Does 10 divide j/30 - (-174)/10?
False
Let a(v) = 6*v**2 - 1 + 0 + v**3 + 2*v**2 + 6*v. Let x be 6/(-1) + 1/(-1). Is a(x) a multiple of 3?
True
Let z(r) = r**2 + 3*r - 8. Suppose o = -3*o - 40. Is 14 a factor of z(o)?
False
Suppose -5 = -0*n - n. Let m = 5 + -2. Suppose -n*u - 44 = -r - u, r - m*u = 44. Does 15 divide r?
False
Let d(t) = 3*t + 2. Suppose -4*f + 7 = -2*f + 5*p, 9 = 3*p. Let h be d(f). Let n = h + 16. Is n a multiple of 6?
True
Let m = -1 - -1. Suppose -5*a + 0*a + 110 = m. Is a a multiple of 8?
False
Let i(p) = 60*p - 10. Let f = -9 + 2. Let j be i(f). Is (-1)/(-6) + j/(-12) a multiple of 18?
True
Suppose -231 + 31 = -5*d. Is 40 a factor of d?
True
Suppose 0 = -3*f + 81 + 111. Is 12 a factor of f?
False
Let w(b) = 4*b**2 + b + 2. Does 3 divide w(-1)?
False
Let d(c) = -20*c - 19. Let f(x) = 4*x + 4. Let t be 2/(-8) + (-21)/12. Let n(a) = t*d(a) - 11*f(a). Does 10 divide n(-4)?
True
Let g(x) = -x**2 + 1. Let v(z) = 2*z**2 - 3*z - 9. Let h(i) = g(i) + v(i). Suppose 0 = -3*o - 2 + 20. Is 5 a factor of h(o)?
True
Let k(w) = 9*w**3 - 9*w**2 - 14*w - 5. Let b(g) = 5*g**3 - 4*g**2 - 7*g - 2. Let o(i) = -7*b(i) + 4*k(i). Is o(9) a multiple of 9?
False
Let h(n) = 9*n**2 - 11*n + 9. Let m(d) = 5*d**2 - 6*d + 4. Suppose 2*u + 3 = -9. Let c(o) = u*h(o) + 11*m(o). Is 13 a factor of c(-7)?
True
Let p(s) = 3*s**2 + 1 - 12*s - 2*s**2 + 3*s**2 + s**3 - s. Is p(-6) a multiple of 4?
False
Suppose 0 = -4*c + c - 3*r - 15, -3*c - 27 = -3*r. Is 11 a factor of -3 - (-22 + c + 4)?
True
Let j(h) = h**2 - 7*h + 9. Let i be j(6). Let c = i + 119. Does 7 divide c/18 + 4/18?
True
Let o(i) = 2*i**2 + 6*i - 9. Let x be o(-8). Suppose -3*y - 2*q + x = 0, -2*y + 16 + 26 = -4*q. Does 23 divide y?
True
Suppose -4*d + 39 = -5*o, 5*o + 2*d + 30 = -3*d. Let m(q) = -6*q - 6. Let u be m(o). Suppose u = s + 2*s. Does 6 divide s?
True
Let r(c) = -c**2 - 6*c - 5. Let i be r(-5). Suppose 3*z = 5*w - 10 - 5, -3*z = i. Let j(x) = x**3 - 4*x**2 + 3*x + 3. Does 2 divide j(w)?
False
Let i(a) = 20*a**2 - a + 1. Let q = -3 + 4. Is 14 a factor of i(q)?
False
Let i(j) = -2*j + 2. Let k(q) = 3*q - 4. Let w(n) = 10*i(n) + 6*k(n). Does 4 divide w(-4)?
True
Let s = -17 + 25. Let g = 114 - s. Let t = g - 57. Does 17 divide t?
False
Let g(q) = 5*q**2 - q**3 + 2*q**2 + 3*q**2 - 7*q. Is g(9) a multiple of 11?
False
Let a(r) = 2*r + 15. Let x be a(-10). Let i = x - -16. Is 11 a factor of i?
True
Suppose 2*l + 3*q = 4*q - 6, -5*l + 2*q = 14. Let f = -15 + l. Let w = 0 - f. Is w a multiple of 15?
False
Let m(y) = -y**3 - y**2 - 7*y - 6. Let s be m(-6). Suppose 154 = 5*t - s. Suppose 2*u - v - t = -3*v, 5*u - 183 = -4*v. Is u a multiple of 16?
False
Suppose 5*l - 5*t - 235 = 0, 0 = -2*l + 6*l + 2*t - 188. Suppose 0*d + 4 = 4*d, -4*b + 3*d + 129 = 0. Let s = l - b. Is s a multiple of 7?
True
Let r be 8*((-3)/(-3) + 0). Let z be ((-20)/r)/(1/(-12)). Let v = z - 16. Does 10 divide v?
False
Suppose -149 = -15*q + 14*q. Is 15 a factor of q?
False
Let a = 2 - -6. Suppose -2*n + a + 4 = 0. Does 19 divide (-116)/(-6) + 4/n?
False
Does 7 divide 4*630/24*3/5?
True
Suppose 0*i + 5*i - 87 = -c, 3*c + 2*i = 248. Is 13 a factor of c?
False
Let y be 2/5 + 16/10. Suppose y*a + 2*a + 24 = 0. Let v = a - -10. Is 4 a factor of v?
True
Let n = 65 + -46. Does 10 divide n?
False
Let t(i) = i**2 - 6*i - 4. Let s be t(8). Is 6 a factor of ((-9)/2)/((-9)/s)?
True
Let w(p) = p**3 - 7*p**2 - 7*p - 6. Let q be w(8). Suppose -1 - q = -b. Suppose -18 = -b*t + 33. Does 17 divide t?
True
Suppose -10 = y - 2*y. Let d = y - 7. Suppose 5 = -3*o + 2, -x + 24 = -d*o. Does 7 divide x?
True
Suppose 3*b = -2*k + 8, 5*b + 3*k = -3 + 16. Suppose 0 = b*u - 0*u - 10. Suppose -4*d + 13 = 5*z, 4*d + 2*z = u*z + 5. Does 2 divide d?
True
Let a(d) = d - 8. Let f be a(11). Is (-1)/f - 209/(-33) a multiple of 3?
True
Let g = -94 + 119. Is g a multiple of 4?
False
Suppose -9*w + 101 = -277. Is w a multiple of 7?
True
Suppose 2*d + 4*v - 26 = 0, -5*d - 4*v + 24 + 11 = 0. Let t be (-1 - 2)/((-6)/4). Let c = d + t. Is c a multiple of 5?
True
Let m = -8 + 9. Does 14 divide ((-60)/9)/(m/(-3))?
False
Suppose 5*f - 3 = 2*f. Let p(w) = 23*w**3 - w**2 + 1. Let m be p(f). Suppose -g = -0*g - m. Does 14 divide g?
False
Let w = 230 + -25. Is w a multiple of 51?
False
Let b(m) = m**3 + 6*m**2 - 2*m + 8. Let q(j) = -j - 3. Let i be q(3). Is b(i) a multiple of 15?
False
Suppose 7*q - 2*q = 10. Suppose -q = -5*d + 58. Is d a multiple of 4?
True
Let t(u) = u + 3. Is t(6) a multiple of 3?
True
Is 22 a factor of 82 + -15 - (-2)/(-2)?
True
Let j = 4 + -1. Suppose j*n = h + 238, -2*n - h = n - 236. Suppose 2*q - n = -3*q + v, 0 = 2*q + 5*v - 37. Is q a multiple of 8?
True
Let d(s) = 122*s**2 - 4*s + 2. Is 16 a factor of d(1)?
False
Let v(c) = c**2 - 10*c + 12. Let l be v(9). Does 7 divide (l/5)/((-3)/(-75))?
False
Suppose 4*n = 2*a - 4*a + 4, -2*a - 4 = 0. Is 17 a factor of n/(360/177 - 2)?
False
Suppose 0*v + 3*v - 16 = -u, 5*u - 5 = 0. Does 5 divide v?
True
Suppose 5*l - 15 = 0, -3*a + 7*a + 2*l - 38 = 0. Let v(x) = -8 + 6*x - a*x + 0. Is 2 a factor of v(-6)?
True
Suppose 3*v = -5*n + 2*v + 362, -4*v = -5*n + 352. Is n a multiple of 8?
True
Suppose -4*a = a. Does 12 divide (3 + a)*52/6?
False
Suppose 3*f + f = -24. Let y be (f + 3)/3 + 11. Suppose -v + 3*k = -8, -2*v + 5*k = y - 27. Does 4 divide v?
False
Let x be (-6)/27 + 454/18. Suppose -2*z = -x + 1. Is 12 a factor of z?
True
Let k(l) = -37*l + 2. Is k(-2) a multiple of 10?
False
Let f = -34 + 124. Is 9 a factor of f?
True
Let d be (4 - -2)/((-4)/(-2)). Suppose -j - 4*x + 40 = 0, -d*j + 3 = -4*x - 101. Does 12 divide j?
True
Let i(y) = -8*y + 0 + 5 - 3. Let b be i(2). Let r = 0 - b. Is r a multiple of 14?
True
Let j = -15 + 20. Suppose 6*q - q + 5*x - 25 = 0, 0 = -j*q - 3*x + 29. Is q even?
False
Let g(p) = -p**2 + 15*p + 16. Is g(15) a multiple of 8?
True
Suppose 20 = 5*c - r - 3*r, 3*c - 12 = -4*r. Suppose 0*j + 105 = -3*j. Does 12 divide j/(-2) + 2/c?
False
Let b = 18 - 8. Is b a multiple of 5?
True
Suppose -5*p = -p - 192. Is 12 a factor of p?
True
Let x(f) = f**3 - 7*f**2 - 11*f - 3. Is x(9) a multiple of 20?
True
Suppose -b + 15 = 4*b. Let k be 8/12*b/2. Suppose -2*a + 0*a = 5*i - 19, k = -i. Does 7 divide a?
False
Suppose q + 3*o = 26 + 59, o = 2*q - 135. Let l be 5/1 - 2/2. Suppose l*p - q = -p. Is p a multiple of 14?
True
Is 906/15 - (-18)/(-45) a multiple of 15?
True
Suppose 64 - 301 = -3*v. Suppose -5*z + 21 = -v. Is z a multiple of 10?
True
Let k(q) = q**2 - q + 6. Let v be k(0). Let b = -5 + 7. Suppose -b*p + v*p - 16 = 0. Is p a multiple of 3?
False
Suppose 3*t - n = -0 + 5, t - 4*n = 20. Let a(m) = -m**3 + m**2 - m + 15. Is a(t) a multiple of 6?
False
Suppose -18 - 42 = -2*u. Does 10 divide u?
True
Suppose -m - 288 = -3*m. Suppose -135 - m = -3*k. Suppose -4*s = -s - k. Does 11 divide s?
False
Let n = -27 + 38. Suppose a - 4 = 0, -3*a = -m - 3*m + 8. Suppose 0*p = p + 3*i - 4, 2*p + m*i - n = 0. Is p a multiple of 5?
False
Let g(t) be the third derivative of 7*t**4/24 - t**3/3 - 5*t**2. Is 12 a factor of g(2)?
True
Suppose 0 = 2*k + c - 189, 0*k - 2*c - 390 = -4*k. Does 24 divide k?
True
Let o(x) = -x**2 + 5*x - 5. Let f be o(3). Let u(g) = 78*g**3 - g +