p(d) + 3*v(d). Suppose 0*k - 5*k = -50. Is y(k) a multiple of 8?
False
Let d be -9 - 7/(28/(-16)). Let q be (-24)/d*30/(-4). Is 2/((-2)/(q/1)) a multiple of 14?
False
Suppose 4*q = 5*g - 2077, -3*g + 8*g - 2068 = q. Does 14 divide g?
False
Let l(d) = 17*d + 38. Suppose 2*p + 6 = -8*v + 4*v, 0 = p - 4*v - 27. Is 28 a factor of l(p)?
False
Let r(w) = 66*w**2 - 8*w - 8. Is 6 a factor of r(-1)?
True
Suppose 6*l = 7*l - 17. Suppose 2*w - 91 = l. Is w a multiple of 13?
False
Let v = -884 - -1521. Is v a multiple of 87?
False
Suppose 7*x = 2*x, -4*x = 2*b - 440. Suppose 2*h - h - 3*c = 56, -b = -3*h - 4*c. Is h a multiple of 34?
True
Let o(g) = -g**2 - g + 1. Let a(r) = 2*r**2 + 13*r + 3. Let m(i) = -a(i) - 3*o(i). Let c(u) be the first derivative of m(u). Is 10 a factor of c(10)?
True
Suppose 114 - 1414 = -4*q. Suppose -606 = -4*w - 5*c + 99, -2*w + 3*c = -q. Is w a multiple of 10?
True
Let n(v) = v**2 + 22*v - 43. Let j = 23 - 48. Is 8 a factor of n(j)?
True
Is 1744098/544 - (-2)/(-32) a multiple of 31?
False
Suppose 0 = 5*q - 4*b - 14, -2*q - 4*b + b + 1 = 0. Suppose -4*h + 108 = 2*j - 54, -3*h + 258 = 3*j. Suppose -41 = -q*r + j. Is 22 a factor of r?
True
Suppose 9*y = 5*o + 10*y - 720, 0 = -2*y. Is o a multiple of 35?
False
Let w(b) = 17*b - 54*b + 1 - 3 + 0. Let y be w(-5). Suppose 4*u - o - y = 0, -5*u + 0*o - o = -231. Is u a multiple of 12?
False
Does 31 divide (3/2)/((-9)/6180*-2)?
False
Let t(x) = -2*x**3 - 5*x**2 - 14*x. Does 6 divide t(-4)?
False
Let c = 7 - 28. Let i = 22 + c. Is 12 a factor of (i - 10)/(15/(-20))?
True
Let j = 35 + -33. Suppose -5*x - 2*r = -153, 2*x + j*x + r - 120 = 0. Is x a multiple of 9?
False
Let s(b) = b**3 + 15*b**2 + 14*b + 5. Let p be s(-14). Suppose 0 = p*q + 4*w - 151, 0 = -5*q - 2*w + w + 139. Does 9 divide q?
True
Suppose -2*y + 4*y + 4*z - 88 = 0, -5*y = -4*z - 248. Is 48 a factor of y?
True
Suppose -5*h - 38 = -t, -11 = -5*h - 1. Does 8 divide (t/(-7))/4*-7?
False
Let d = 6 - 6. Let w be d + (0 - (0 + 1)). Let l(a) = -20*a**3 - a**2 - a. Is 5 a factor of l(w)?
True
Let s(v) = -v**2 + v. Let q be s(0). Suppose q = 3*k - 3 - 12. Suppose -k*c + 58 = g, c + 209 = 5*g - c. Does 18 divide g?
False
Let w(n) = -48*n**2 + 54*n**2 + 111*n**2. Is 39 a factor of w(1)?
True
Let z(d) = -12 + 0 + 7 - 77*d. Does 9 divide z(-2)?
False
Suppose -d + 12 = -3*h - 8, 0 = 4*d + 4*h. Suppose 4*v - 6*v - d*g + 130 = 0, 3*g - 65 = -v. Is 25 a factor of v?
False
Let z = 25 + 23. Is z a multiple of 24?
True
Does 19 divide (-4627)/(-49) + 6/(-14)?
False
Let z = 401 - -1074. Does 25 divide z?
True
Let j be 42/9*9/6. Suppose 0 = 3*a - 5*u - 16, -3*a - 4*u = -1 + 3. Suppose -j*w = -a*w - 215. Is w a multiple of 12?
False
Let f = -114 - -119. Is 5 a factor of f?
True
Let k(q) = 6*q**2 + 4*q - 2. Let p be k(-2). Suppose 0 = -10*n + p*n - 96. Is n a multiple of 12?
True
Let l be (-8)/28 + 177/7. Let m = -75 - l. Let t = -60 - m. Does 10 divide t?
True
Suppose 22 = -6*j - 2. Let h = j - -8. Suppose -6 - 210 = -h*i. Does 11 divide i?
False
Let j(n) = -n + 10. Let h be j(8). Suppose k = h*k - 5*t - 5, 3*t + 9 = 0. Does 11 divide (-1 + -10)*(k + 9)?
True
Let d(x) = 44*x + 330. Is d(-7) a multiple of 11?
True
Suppose -15*p + 19*p - 9676 = -4*v, -2*v + 2*p + 4818 = 0. Is 17 a factor of v?
True
Let k = -27 - -33. Suppose 589 - 43 = k*o. Is 12 a factor of o?
False
Suppose 5*n = -j + 1653, 0 = n - j - 4*j - 315. Does 2 divide n?
True
Let f(d) = -d**2 + 20*d - 26. Is 10 a factor of f(8)?
True
Suppose 35*d + 19089 = 56*d. Does 9 divide d?
True
Let k be 6/(-2) - 78/12*-8. Suppose -5*t + 256 = -k. Is t a multiple of 11?
False
Let y = 12 - -6. Suppose 0*u + 4*i + y = 2*u, 0 = 2*u - i - 12. Suppose -u*a + 3 = -32. Is a a multiple of 2?
False
Let k be 2375/100 - (-3)/(-4). Suppose -4 = -9*s + k. Suppose -195 = -3*o + 3*t, -o + s*o = -2*t + 150. Is 16 a factor of o?
False
Let m = -19 + 21. Let i be 4440/54 + 2/(-9). Suppose m*v = -i + 256. Is 29 a factor of v?
True
Let j(v) = v + 5 + v - 3*v + 0*v. Is j(-3) even?
True
Suppose 4*t = -5*x + 2164, 12*t - 7*t = x - 456. Is 14 a factor of x?
False
Suppose -41*z = 8*z - 3430. Is z a multiple of 5?
True
Suppose -22 = -4*g + 2*g. Suppose -s - 2*c = -g, 2*s - 130 = -3*s + 5*c. Suppose -4*x + 5*x = s. Is 12 a factor of x?
False
Let l(u) = u**3 + 4*u**2 + 4*u + 7. Let s be l(-3). Let k be 58 - (0/s - 0). Suppose -4*n + 16 = 0, -n + k + 36 = 3*x. Does 15 divide x?
True
Suppose -5*c + 8 + 17 = 0. Let i(b) be the second derivative of b**4/12 + b**3/3 + 5*b**2/2 + b + 46. Is i(c) a multiple of 20?
True
Suppose 4*a = 22 + 78. Let o = 32 - a. Does 7 divide o?
True
Is 28 a factor of (-42)/(((-1)/8)/(23/69))?
True
Suppose 0 = -4*x - c + 2740, 3425 = 5*x - 13*c + 18*c. Does 30 divide x?
False
Let m(k) = 2*k**2 + 9*k + 14. Let g be m(-8). Suppose 84 = u + 2*x, 5*x = 3*u - g - 182. Is u a multiple of 7?
True
Let h be 98/((15/(-7) - -2)*2). Let i = 501 + h. Is 29 a factor of i?
False
Suppose -5*n - 406*h + 408*h + 6498 = 0, 0 = -2*n - 3*h + 2584. Is 59 a factor of n?
True
Let v = 3 + 1. Let u = v - -8. Is 7 a factor of 2/u - (-1768)/48?
False
Does 8 divide 2/(-12)*(-167 - (-6 - -13))?
False
Let q be (3/(-9))/(2/(-24)). Let v(a) = 3*a - 6. Let g be v(2). Suppose k - 7*y + 3*y - 6 = g, -2*y = q*k - 96. Does 11 divide k?
True
Let s be 519 + (-12)/((-9)/(-3)) + -3. Suppose -39*g + 35*g = -s. Is 8 a factor of g?
True
Is 3 a factor of (-2)/(110/(-33) + (2 - -1))?
True
Does 42 divide (6/(-12)*-2)/(6/2268)?
True
Suppose -2 = -2*y, 0*z - 18 = -4*z - 2*y. Suppose 2*g - 144 = -2*r, -z*r = -9*r + 4*g + 342. Does 35 divide r?
True
Let z = -11 - -43. Is z a multiple of 9?
False
Suppose 3*k + 4*c = 404, 2*k + 19*c = 16*c + 271. Is 6 a factor of k?
False
Suppose -4*k = -4*i - 47 - 13, -k + 33 = 5*i. Let u(z) = z**3 - 5*z**2 + 10*z + 0*z**3 - k*z - 4. Is 19 a factor of u(7)?
True
Let v = 806 + -536. Suppose -58 = -4*r + v. Is r a multiple of 41?
True
Let z(l) = l**3 + 6*l**2 + 6*l + 5. Let v be z(-5). Let d = 14 - v. Is d even?
True
Suppose 0*k = -3*k - 207. Let r = k - -108. Let p = r - 4. Does 23 divide p?
False
Suppose t + 4*p - 1 = 2, t - 3 = 4*p. Let i be 71 + 2*t/6. Suppose -i = -2*q - q. Is 10 a factor of q?
False
Let b be (8/5)/(24/2220). Suppose -3*x + 215 + b = 0. Is x a multiple of 11?
True
Let b(c) = c**3 - 4*c**2 + 3*c - 7. Let y be (-3 - 20/(-6)) + 34/6. Is b(y) a multiple of 5?
False
Suppose -5*v + 5*n + 42 = -53, 2*v = -n + 44. Let d = v + 127. Does 12 divide d?
False
Is 4 a factor of (62 - -2) + (0/(-1))/5?
True
Let f(n) = -n**2 - 11*n + 42. Suppose 0 = -2*v - 59 + 37. Is 11 a factor of f(v)?
False
Let s(k) = 2*k**2 - 51*k + 49. Does 35 divide s(42)?
True
Suppose 0 = 13*o - 19*o - 306. Is 21*-1*85/o a multiple of 11?
False
Does 31 divide (-5)/15 + (-1120)/(-12)?
True
Let p(r) = 11*r**3 - 3*r**2 + 2*r + 2. Let h be p(2). Suppose -4*o + 2*d + h = -8*o, -2*d + 10 = 0. Does 12 divide (0 - o/1) + 1?
True
Suppose -290*q = -288*q - 88. Is 22 a factor of q?
True
Let s(t) = -t + 3. Let k be s(0). Let j be (-7)/21*k*7. Let v(x) = x**2 + 2*x - 5. Is 30 a factor of v(j)?
True
Let j(y) be the third derivative of y**5/30 - 3*y**4/8 + 3*y**3 + 6*y**2. Is j(-6) a multiple of 20?
False
Let s = 4 - -1. Let r(z) = 3*z**2 - 2*z + 14. Does 13 divide r(s)?
False
Suppose -5*l + l = 0, 3*j + l = -15. Let u be 3 + j/10*2. Suppose -2*b = u*k + 3*k - 281, 4*k = -b + 136. Is 31 a factor of b?
False
Let z(f) = -f**3 + 51. Let c be z(0). Let g be ((-136)/(-6))/(2/3). Let u = c - g. Is u a multiple of 14?
False
Let r(f) = f**3 + 11*f**2 - 4*f + 10. Let k = 49 - 58. Is 44 a factor of r(k)?
False
Let j(r) = 8*r**2 + 22*r - 8. Let u(q) = 4*q**2 + 11*q - 4. Let i(x) = -4*j(x) + 9*u(x). Let s be i(8). Suppose -7*o + 3*o + s = 0. Is o a multiple of 20?
False
Let y be 4/16 - (-5)/(-4). Let o be 2/((-2)/29)*(-3)/3. Let h = o - y. Does 15 divide h?
True
Let r(i) = i**3 + 5*i**2 - 7*i - 3. Does 5 divide r(-4)?
False
Let y = 9 + -8. Suppose 2*p - 44 = -4*k, -p + 3 = y. Suppose 6*s + 112 = k*s. Does 17 divide s?
False
Suppose 0*h = 3*h - 129. Let b = h - 23. Is 3 a factor of b?
False
Let c = -2725 - -3562. Is 85 a factor of c?
False
Suppose 0 = -28*v + 75*v - 6392. Is 7 a factor of v?
False
Let a = -52 - -154. Is 6 a factor of a?
True
Suppose -4*g - 85 = -9*g. Sup