*z + 43 = k. Is z a multiple of 3?
False
Let d(k) = 32*k**2 - 2*k - 7. Is 13 a factor of d(7)?
True
Let j(u) = -u**2 - 6*u + 10. Let h(q) = -4*q + 21. Let a be h(7). Let r be j(a). Suppose -91 = -r*x - 2*g + 89, 0 = -2*x + g + 127. Is 17 a factor of x?
False
Suppose 20*r - 5427 = 1453. Is 12 a factor of r?
False
Suppose a = -2*h + 10, -4*h + 20 = -a + 2*a. Suppose 121 = h*c + u, 7 + 18 = c + u. Is 12 a factor of c?
True
Let x = 4533 - 2112. Does 26 divide x?
False
Suppose 4*n + 48*n = 17472. Does 6 divide n?
True
Let t(j) = -4*j**2 - 2*j - 1. Let p be t(-1). Let h = 247 - 239. Let u = h - p. Is u a multiple of 4?
False
Suppose -4 = -c, -4*z + 65 = 3*c - 3. Suppose n - z = -2*k - 3*n, 5*k = n + 79. Suppose -4*r + 71 - k = 0. Is r a multiple of 14?
True
Suppose -2*j = c - 11, 3*j - 11*c = -7*c + 33. Is j a multiple of 7?
True
Let w = -123 + -25. Let x = -104 - w. Does 11 divide x?
True
Suppose 0 = -5*h - 2038 + 11878. Does 60 divide h?
False
Suppose 0 = -13*x + 9*x + 16. Let u(m) = 5*m**2 + 3*m - 11. Is 13 a factor of u(x)?
False
Let m(t) = -2*t**3 - 4*t**2 - 4*t - 3. Let l be m(-2). Suppose -g - 11 = 3*u, l*u = g - 0*u - 29. Does 8 divide 94/12 - g/(-24)?
True
Suppose 4*k = 2*l - 8204, 2*k + 3870 = 5*l - 16664. Is l a multiple of 158?
True
Is (-6942)/(-46) - ((-30)/23)/15 a multiple of 8?
False
Suppose 34*s - 760 = 30*s. Is 10 a factor of s?
True
Suppose -12*k + 13*k + 1923 = 4*w, 0 = 5*w + k - 2415. Does 2 divide w?
True
Let t(c) = 24*c**2 - c - 4. Let p(o) = 36*o**2 - 2*o - 6. Let s(a) = -5*p(a) + 8*t(a). Is s(2) a multiple of 6?
False
Let n be (-4)/1*(-3 - -2). Suppose -340 = -3*b + 2*b. Suppose -3*z = n*x - 286, 5*x = 2*z + 2*z - b. Is z a multiple of 30?
True
Let u be (3 - (4 + 0)) + 57. Suppose 3 = 3*i - 0, 5*i - 251 = -3*d. Let p = d - u. Is p a multiple of 26?
True
Suppose 8 + 8 = 4*b. Suppose g = b*g - 12. Suppose -6*q + q + 34 = g*c, -4*c = 2*q - 4. Does 6 divide q?
False
Suppose 158*n - 155*n = 7866. Is 14 a factor of n?
False
Suppose 5*p = 3*f - 2764, 0 = 5*f + 2*p + 3*p - 4580. Is 27 a factor of f?
True
Suppose 2*x - 28 - 16 = 0. Suppose 3 = -j + x. Is 10 a factor of j?
False
Let h be (-1 - 1)*(0 + -1). Suppose 2*w = -h*w. Suppose -2*d = -w*d - 70. Does 16 divide d?
False
Let p be (15/2)/((-3)/6). Suppose 16*u + 50 = 11*u. Let i = u - p. Does 2 divide i?
False
Let v = -4969 + 9389. Is v a multiple of 13?
True
Let k(d) = d**2 - 5*d. Let v be k(5). Suppose v = -z - 3*z. Suppose z = 2*w + 2*c - 76, w - 2*c = -8 + 46. Is w a multiple of 19?
True
Suppose 2*z = -50*z + 47476. Is z a multiple of 4?
False
Suppose -5*q = -3*b + 65 + 448, -3*q = 2*b - 342. Is 57 a factor of b?
True
Suppose 3*s - 4*s = -8. Let o = -4 + s. Suppose -o*v + 5*x + 236 = 0, 2*x + 169 - 49 = 2*v. Is 13 a factor of v?
False
Is (-9896)/(-3) + (-4)/6 a multiple of 14?
False
Let f(v) = 20*v + 3. Let z(j) be the third derivative of -5*j**4/6 - 2*j**3/3 - 10*j**2. Let m(c) = 6*f(c) + 5*z(c). Is m(3) a multiple of 29?
True
Let u be -570*-1*(-6)/(-5). Suppose 0 = -4*m + 1808 - u. Suppose -i + 244 = 3*i + 4*g, -5*i = -3*g - m. Does 13 divide i?
False
Let o(b) = -b**2 + 12*b + 8. Let g be o(7). Let y = 83 - g. Is 20 a factor of y?
True
Let l = 12771 + -6921. Is 150 a factor of l?
True
Is (-2)/7*3511270/(-412) a multiple of 59?
False
Suppose -5*o = -2*b - 130, b - 52 = -4*o + 39. Suppose -5*m - 2*d + 41 = 0, -2*m + 0*m + 3*d = -o. Does 10 divide ((-12)/m)/((-1)/27)?
False
Let a(v) = 4*v**2 + 8*v + 5. Is 5 a factor of a(-15)?
True
Let v = 21 - 14. Suppose 0 = -l - 0*l, 5*c - 235 = 2*l. Suppose 5*f + b = c, -v = -f + b - 0*b. Is 3 a factor of f?
True
Suppose -3*c = 5*i + c - 524, -c - 328 = -3*i. Suppose -2*n - 2*o = -188, -i + 592 = 5*n - 2*o. Does 12 divide n?
True
Let c = 10 - 9. Let f(r) = r**2 + 2*r + 6 + 5*r - 3*r - c. Does 5 divide f(-6)?
False
Let u = 29 - -321. Does 7 divide u?
True
Suppose -a - 8 = 5*w + 10, a - 2*w - 3 = 0. Is 26 a factor of a/12 - 2103/(-12)?
False
Let p be (252/(-30))/(3/(-10)). Does 43 divide p/3*624/32?
False
Let d be 4 + 3*54 + 1. Suppose -2*k = n - d, -228 + 564 = 4*k + 4*n. Is k a multiple of 12?
False
Let q(z) = z - 14. Let j be q(14). Suppose c - 30 + 2 = j. Is c a multiple of 28?
True
Suppose -2*c - 2*a = -2, 3 = -c - 0*c - 3*a. Suppose 2*j + 55 = t, -c*t + j + 0*j = -140. Is t a multiple of 15?
True
Suppose 7*x - 6*x = 7. Suppose 0 = -x*z - 38 + 255. Does 4 divide z?
False
Let v = 5 - 2. Suppose v*i - 27 = 6*i. Let h = -3 - i. Is h a multiple of 6?
True
Suppose 59*i = 73*i - 2464. Is i a multiple of 16?
True
Let u(k) be the first derivative of 4*k**2 + 2*k + 10. Is 3 a factor of u(2)?
True
Let g be -1*(2 + -5) - 72/(-6). Is 14 a factor of 0 - g/(-6)*(-96)/(-4)?
False
Let f = 289 + -47. Is f a multiple of 16?
False
Is 15 a factor of 423 + 4/(-12)*21?
False
Let m be -4 + (-4)/4*-166. Suppose -5*b - 12 = -m. Is 13 a factor of b?
False
Let m(f) = 4*f**3 - 8*f**2 - f + 16. Let b(d) = -d**3 - d**2 - 1. Let a(r) = -3*b(r) - m(r). Let k be a(11). Let n = k - -18. Is 16 a factor of n?
True
Let g = 1515 - -399. Is g a multiple of 29?
True
Let u = 11 + 4. Is 11 a factor of 115/3 + (-5)/u?
False
Suppose 0 = 5*s - 1166 - 639. Is 39 a factor of (-12)/14*(s - -3)/(-4)?
True
Suppose 0 = 2*a - 3*a. Suppose -2*k - 4*f + 278 = 72, -3*f = a. Is k a multiple of 24?
False
Suppose -3*h + 5*k + 8 = k, 5*k = 5*h - 15. Suppose -2*w = -3*w - 4*j + 22, -3*w + 2 = -h*j. Is w a multiple of 2?
True
Let a(k) = 9*k**2 + 11*k + 143. Is a(-9) a multiple of 84?
False
Suppose -6*q = -114 + 18. Suppose -q = -b + 23. Let x = 111 - b. Is 18 a factor of x?
True
Does 70 divide 2871 - 6/(-30)*-5?
True
Suppose t - r + 6 = 0, -4*t - r - 18 = -2*t. Let x = 58 + t. Does 5 divide x?
True
Let a(q) = 2*q**3 - 11*q**2 + 6*q - 8. Is a(9) a multiple of 5?
False
Suppose -1325 = -7*m - 401. Does 83 divide m?
False
Suppose 5*n - g - 1060 = 0, -5*g + 30 + 208 = n. Suppose 2*q - n = -q. Is q a multiple of 13?
False
Let c(h) be the first derivative of -5*h**2/2 - 17*h + 11. Let z be c(-5). Suppose 8*k - 3*k = -2*m + 26, -z = 4*m. Is 6 a factor of k?
True
Let s(c) = -c**2 - 5*c + 5. Suppose -7*w + k - 18 = -2*w, -2 = 3*w - 5*k. Is s(w) a multiple of 3?
True
Let v be (36/(-10))/(39/(-260)). Let c = -24 + v. Suppose c = -g + 2*g - 121. Does 16 divide g?
False
Let d = 2201 - 509. Does 6 divide d?
True
Let n(a) = 24*a**3 + 9*a**2 + 2*a - 4. Let f(y) = -12*y**3 - 5*y**2 - y + 2. Let g(m) = 5*f(m) + 3*n(m). Is g(1) even?
False
Let o = 1381 - 941. Is 44 a factor of o?
True
Let q(j) = 3*j**2 + 12*j. Is 36 a factor of q(-10)?
True
Let j = -17 - -28. Suppose 6*f - j*f + 150 = 0. Does 10 divide f?
True
Suppose 5*t - 17 = -4*k, -5*k - 3*t + 6 = -4*k. Suppose -n + 36 = 3*h + k*n, 0 = -5*h - 3*n + 49. Is 4 a factor of h?
True
Let f be -4 - ((-142 - -2) + 4). Suppose f = 8*z - 2*z. Is z a multiple of 11?
True
Let f = 758 + -447. Does 42 divide f?
False
Let v(d) = -5*d**3 - 6*d**2 - 10*d. Let b be v(-3). Suppose -4*f + 4*z + 315 - b = 0, -5*f = -2*z - 267. Does 5 divide f?
True
Suppose 0 = 3*u + 2*x - 165, -3*u + 5*x + 150 = 2*x. Is u a multiple of 6?
False
Let l(n) = -2*n + 14. Let q be l(7). Suppose q = 4*a + 169 + 115. Let j = -27 - a. Is j a multiple of 11?
True
Is (-182)/260*8/(-14)*480 a multiple of 8?
True
Suppose -2496 = -4*d + 2*v, d + 2*v - 642 = -2*v. Is 36 a factor of d?
False
Suppose 4*n - 44 = -2*s, 3*n - 4*s - 6 = 5. Suppose 0 = -f - 3, 0*q - 3*f = -q + 11. Suppose -n + q = -d. Is d a multiple of 7?
True
Suppose -2*g + 0*g = 0. Suppose -5*l + 11 + 19 = g. Suppose 5*m - 144 = l. Is m a multiple of 8?
False
Let x = 259 - 100. Does 18 divide x?
False
Suppose 0 = -10*m + 1339 + 3471. Is m a multiple of 26?
False
Let r(p) = p**3 - 9*p**2 + 12*p - 6. Let l be r(9). Suppose -3*n - 4*g = n - 140, 2*g = -3*n + l. Is 4 a factor of n?
True
Suppose -2*k + 67 = -t, 8*t - 3*t = -2*k + 37. Let r = k + -15. Is r a multiple of 6?
False
Let q(m) = 291*m**2 - 40*m - 118. Is q(-4) a multiple of 14?
False
Suppose -4*q + 6*q + 2*a = -2, -3*q + 5*a + 29 = 0. Suppose -4 = -q*y + 8. Suppose -28 = y*f - 192. Does 26 divide f?
False
Let m(y) = y**2 + 10*y + 12. Let q be m(-9). Suppose 0 = 5*c + 2*o - 109, -2*c - c + q*o + 57 = 0. Is c a multiple of 7?
True
Suppose -246 = 3*b - 3*o, -3*b - o = 3*o + 281. Let u = b + 148. I