actor of z?
False
Let q(p) = 2*p**2 - 30*p - 14. Is q(16) a multiple of 16?
False
Suppose -2*u + 3*v = -0*u - 19, 5*v + 35 = 5*u. Suppose 2*b = -3*n + 137, u*b - 353 = -3*b - 4*n. Does 22 divide b?
False
Let c(g) be the second derivative of -2*g**3 - 6*g**2 - 6*g. Is c(-6) a multiple of 30?
True
Suppose 3*c - 22 = 2. Suppose 4*i = v - 22, 21 = v + 5*i + c. Is 5 a factor of v?
False
Let l(z) = z**2 - 2. Is l(-6) a multiple of 17?
True
Let b(q) = q**3 - 2*q**2 + 3*q - 1. Let r be b(2). Suppose 2*x - 7 = r. Is 12 a factor of 386/12 + (-1)/x?
False
Suppose -5*s + s - m + 45 = 0, -3*s - 3*m = -27. Let i = s - 4. Does 3 divide ((-20)/(-16))/(2/i)?
False
Let k(n) = 7*n - 1. Let y be k(1). Let h(u) = -u - 1 + y*u**2 + u**3 + 4 + 2. Is 11 a factor of h(-6)?
True
Let x(m) = -m + 4. Let v be x(0). Suppose 4 = 3*r - v*b - 31, 3*r - 2*b - 43 = 0. Is r a multiple of 12?
False
Suppose -224 = -2*j - 2*j. Let b = j - 16. Does 20 divide b?
True
Is (36/63)/((-4)/(-182)) a multiple of 13?
True
Let d = -205 + 395. Is d a multiple of 18?
False
Let p(u) = -u**2 - 27*u - 6. Is 38 a factor of p(-15)?
False
Suppose -4 - 19 = -a + 4*l, -l - 5 = 0. Suppose 4*c = -0*c - a*p + 110, 0 = 3*c + 2*p - 83. Is c a multiple of 29?
True
Suppose -5*t + 701 = -329. Is t a multiple of 23?
False
Let h be (-20)/(-6)*12/10. Suppose -3*c = -3*n, 5*c = -h*n + 14 + 22. Suppose c*y - 5*d - 75 = -2*d, -3*y + 60 = -d. Does 8 divide y?
False
Suppose 10*j = -j + 2464. Is 32 a factor of j?
True
Let v = -6 + 5. Let z = -1 - v. Suppose 2*c - 4*w = -10, z = 4*c - 5*w - 0*w + 5. Is c a multiple of 2?
False
Let i(q) = -26*q - 39. Is 11 a factor of i(-7)?
True
Let y be 1/4 + 33/12. Suppose -18 = -y*m - 3. Is m a multiple of 5?
True
Let o be ((-52)/6)/(2/(-3)). Suppose -o - 157 = -5*x. Is 17 a factor of x?
True
Let q(h) = -h**3 + h**2 + h + 5. Let c(u) = u + 4. Let a be c(-4). Is 5 a factor of q(a)?
True
Let m(n) = -n**2 - 4*n + 2. Let q be m(-5). Let y = q - -20. Does 17 divide y?
True
Suppose -l - g - 870 = -6*l, 10 = 2*g. Does 25 divide l?
True
Let c = 0 + 14. Is 7 a factor of c?
True
Let k = -16 + 5. Let x = -6 - k. Does 2 divide x?
False
Let x be (-6)/9*1*3. Is 19 a factor of (x/(-5))/((-9)/(-495))?
False
Suppose -4*r + 6*r = -n - 6, -3*r - 4*n = 14. Let m = r + 2. Suppose g + 4*g - 175 = m. Is 12 a factor of g?
False
Suppose -3*z = -2*z - 3*g - 13, -2*g = -2*z + 14. Suppose 0*j = -z*j + 64. Is j a multiple of 8?
True
Suppose -2*z + 59 = -z. Suppose -2*t - 5*r + z = 0, -4*t + 4*r + 38 = -38. Is 17 a factor of t?
False
Suppose 409 = 5*m - 4*p, -3*p - 27 - 57 = -m. Is 27 a factor of m?
True
Let j = 163 + -131. Is 8 a factor of j?
True
Let x be ((-4)/(-12))/(2/18). Suppose x*w - 3*z = 60, -20 = -3*w - z + 40. Let t = w + 2. Is 11 a factor of t?
True
Suppose -38 + 136 = -f. Let q be (-392)/6 - 2/3. Let k = q - f. Is k a multiple of 16?
True
Let j = 22 + -39. Does 6 divide (0 - (j - -3)) + -2?
True
Suppose -2*l - 3 = -3*l. Suppose j = -0 + l. Suppose 2*x - 3*x = -j*k + 69, 0 = 5*k - 5*x - 105. Does 13 divide k?
False
Let l = -17 + 29. Is 6 a factor of l?
True
Suppose -3*w + 0*w = -5*h + 119, 56 = 2*h - 4*w. Is 10 a factor of h?
False
Is 12 a factor of 1*3/6 + 190/4?
True
Let x(w) = -w**3 - w**2 - 3*w + 1. Suppose 4*o = 20, -4*i + 3 = o + 2*o. Is x(i) a multiple of 14?
True
Let q = 174 + -89. Is q a multiple of 10?
False
Suppose 0 = r + 5, 2*r - 4*r = 2*k - 118. Let h = k - 36. Does 14 divide h?
True
Let a be (-3)/(1/((-3)/(-3))). Is (-12)/(-1) - (1 + a) a multiple of 5?
False
Suppose -3*c = 3*p + 2*c + 13, 0 = 5*p + 2*c + 9. Does 10 divide p/((-2)/54*1)?
False
Let p(j) = 2*j**2 - j + 12. Let m be p(-9). Suppose 2*a - m = -45. Is 16 a factor of a?
False
Suppose 30 = p + 3*i, -2*p = 3*p + 3*i - 198. Does 14 divide p?
True
Let w(n) = -107*n - 1. Is 15 a factor of w(-1)?
False
Suppose 2*a + v = -21, -3*a = -3*v + 3 + 42. Let c = -3 - a. Does 4 divide c?
False
Let v = 2 - -2. Suppose 3*n = 2*k - 28, -80 = -v*k + k - 5*n. Is k a multiple of 20?
True
Let d be 21/9 - 2/(-3). Suppose -39 = -4*c + d*g - 4*g, 5*c = -3*g + 47. Is 36/c*(-40)/(-12) a multiple of 7?
False
Suppose i = -0*i + 4. Suppose i + 6 = 4*m - 2*f, -5*m + 45 = 4*f. Is ((-4)/m - 2)*-10 a multiple of 14?
True
Let q be ((-30)/(-9))/((-6)/(-9)). Suppose 4*p - 3 - q = 0. Let j = p + 2. Is j a multiple of 4?
True
Let s be 3*-2*4/(-8). Suppose 2*l - s = 17. Is 10 a factor of l?
True
Suppose -6*w = -w - 3*c - 207, 0 = w - 3*c - 51. Suppose 6*p = 3*p + w. Is p a multiple of 8?
False
Let o = 11 - 16. Let r = 7 + o. Let w = r + 3. Is 4 a factor of w?
False
Let y(k) = 2*k**2 + 30*k - 25. Let d(a) = -a**2 - 15*a + 12. Let u(m) = -5*d(m) - 2*y(m). Does 4 divide u(-17)?
True
Let p = -322 - -508. Let y = p + -132. Is y a multiple of 11?
False
Let c(s) = -6*s + 27. Is c(-14) a multiple of 37?
True
Let r(g) = g + 6. Let w be r(6). Let o(f) = 4*f - 6. Is 21 a factor of o(w)?
True
Let m be (-38)/(-6) + 1/(-3). Suppose -2*n + 4 = -m. Suppose -3*z - n*i + 4 = -0*z, 3*z - 5*i = 44. Is 8 a factor of z?
True
Suppose c + 3*c = 16. Suppose 4*x + 4*s = -c, -5*s + 13 = -2*x - 2*x. Does 12 divide ((-4)/(-6))/(x/(-51))?
False
Let w(f) = 15*f + 13. Let h be w(8). Let t = 196 - h. Is 27 a factor of t?
False
Suppose -34 = -3*t + 20. Does 20 divide (-242)/(-6) - (-12)/t?
False
Suppose -2*b + 385 = -5*w, -3*b + 6*b + 3*w - 525 = 0. Does 36 divide b?
True
Let b(z) = -2*z + 8. Let q be b(7). Let h(t) = t**2 - 6*t - 6. Let l be h(q). Let u = l - 46. Is u a multiple of 10?
True
Let s be -5*(3 - (-17)/(-5)). Suppose 0 = -s*f + 1 + 5. Is f a multiple of 2?
False
Let p(d) = -d**3 + 4*d**2 - 2*d + 1. Suppose -3*o - 5*h = 6, 0 = 6*o - o - 2*h + 10. Let k be (o/4)/(4/(-24)). Is p(k) a multiple of 3?
False
Let r = 57 - -47. Is 12 a factor of r?
False
Let t = 16 - -41. Is 12 a factor of t?
False
Let j(a) = -6*a. Let t be j(-3). Suppose -t = -5*l + 177. Is 11 a factor of l?
False
Let u be 1 + -1*(-10)/(-2). Let z be 102/u*4/(-6). Is 10 a factor of 1/((-1)/(-2 - z))?
False
Let s(x) = -4 + 11 - 3 - 2*x - 5*x. Is 12 a factor of s(-6)?
False
Suppose -42 = -s + 5*o, -5*o + 95 - 11 = 2*s. Let m(x) = x**3 + 7*x**2 - x - 5. Let w be m(-7). Suppose w*i = -i + s. Is i a multiple of 8?
False
Let q(m) = 7*m + 9. Let s be q(-7). Let d = s + -7. Let y = d - -102. Does 19 divide y?
False
Suppose h - 80 = -0*h. Is h a multiple of 14?
False
Let a(n) = -n + 26. Does 10 divide a(6)?
True
Suppose 14 = -2*f + k, 5*k = -4*f - 0*k - 14. Let n = 8 + f. Suppose 3*t - 50 = n*t. Does 25 divide t?
True
Suppose -3*j = 3*t - 8*t + 15, 4*t + 2*j - 12 = 0. Suppose 0 = -t*y + 4 - 1. Does 9 divide 3/(-9)*(y - 58)?
False
Let u(q) = 35*q**2 + 1. Is 16 a factor of u(-3)?
False
Let j(m) = m**2 + 3*m + 14. Is j(-6) a multiple of 8?
True
Let p(v) = -5*v - 2. Let m be p(-5). Suppose 161 = 2*o + m. Is o a multiple of 26?
False
Let g = -34 + 62. Let o = 0 - -4. Suppose 4*d - g = -o*k, 4*k - d - 39 - 9 = 0. Is 7 a factor of k?
False
Suppose -4*l + 2 = 3*o - 7, o - l = 3. Suppose -4*s + 14 = 2*q, 0 = o*s - 4*s - 3*q - 4. Suppose 9 + s = 2*x. Is 5 a factor of x?
False
Is (-12)/6*(-2 + 402/(-4)) a multiple of 41?
True
Let t(g) = -g. Let k(z) = z**3 + 4*z**2 + 2. Let s be k(-4). Let f be t(s). Does 4 divide (8*1)/(4 + f)?
True
Does 7 divide (3/1)/(6/28)?
True
Suppose 2*b = i - 78, 2*i - 5*b = 100 + 53. Does 29 divide i?
False
Suppose 4*x - 1 + 9 = 0. Is -5*(248/10)/x a multiple of 16?
False
Suppose -59 = -4*c + 381. Does 22 divide c?
True
Let f(c) = 14*c**2 - 2*c + 3. Let l(u) = -u**3 - 5*u**2 + u + 7. Let i be l(-5). Is f(i) a multiple of 14?
False
Let s = -96 - -190. Is 24 a factor of s?
False
Is (-35 - 1)*72/(-32) a multiple of 27?
True
Suppose 474 + 286 = 5*l. Suppose -5*v = -153 - l. Is 23 a factor of v?
False
Suppose 3 = -k - 0*k - f, -3*k - f - 19 = 0. Is (6/4)/((-6)/k) a multiple of 2?
True
Let f = -1 + -5. Let j(h) be the third derivative of h**5/60 + h**4/8 - h**3/3 - 3*h**2. Is 8 a factor of j(f)?
True
Let g(b) = 2*b**2 + 1. Suppose 5 = -6*l + 23. Does 3 divide g(l)?
False
Let x be (2 + -3)/((-1)/(-2)). Is x/(-7) + 244/28 a multiple of 9?
True
Suppose -x = 4*h - 25, x + 53 = 6*x + 2*h. Suppose -4*z = -2*m - 2*m, -2*z - m = -x. Is z*2/6 + 41 a multiple of 21?
True
Suppose 56 = 2*a - 4*d, 5*a - 81 - 20 = -3*d. Suppose 3*v + 34