 -3*k**2 - 5*k + 12. Let l(m) = -9*r(m) - 4*t(m). Let u be l(8). Let p = u + 8. Is p a multiple of 4?
True
Suppose 0*u + 2*u - 2*a = 68, 0 = 3*a - 12. Suppose 4*w - 16 = -0*w. Suppose -y - w*v = -50 - 4, 0 = -y + 4*v + u. Does 19 divide y?
False
Suppose -4*k = -7*k - 33. Let i(s) = s**3 + 11*s**2 - s - 7. Let l be i(k). Is 2 a factor of 10/l + (-3)/(-6)?
False
Let l = 43 - -24. Is 27 a factor of l?
False
Suppose -2*t = -6*t + 8. Let i be 10/(-3)*(-3)/t. Suppose -3*j + 5*n + 17 = 0, -i*n = 3*j - 10 - 57. Does 7 divide j?
True
Suppose 0 = -3*r + 278 - 80. Is r a multiple of 9?
False
Let b(a) = -3*a**2 + 9*a + 4. Let f be b(-6). Let u = -90 - f. Is u a multiple of 20?
False
Let w = -13 + 27. Is w a multiple of 14?
True
Let m be -3*(-8)/12 - -3. Suppose 4*s + m*p + 355 = 8*s, s = -5*p + 95. Is 28 a factor of s?
False
Suppose -5*l = -4*f - 2*l + 363, -2 = 2*l. Is f a multiple of 10?
True
Is 102 + 3 + 7/(-1) a multiple of 14?
True
Let h be 4/10 - (-126)/(-15). Let i be h/(-28) - (-18)/(-14). Is 12 a factor of i - -4*4/1?
False
Let h be 3 - (-3 + (1 - 203)). Suppose -2*q - 3*j = -78, 0*q + 5*q + j - h = 0. Is 21 a factor of q?
True
Let m be 509/7 - (-4)/14. Let t be (-1)/3 + m/3. Suppose t = 3*o - o. Does 12 divide o?
True
Let k(m) = m**3 - m**2 - m - 2. Does 8 divide k(3)?
False
Let f = -2 + 7. Suppose -o + f*n - 3 = -23, -o + 20 = -4*n. Is o a multiple of 10?
True
Let n = 52 - 34. Does 6 divide n?
True
Let l(m) = -m - 5. Suppose 0 = -3*g - 3*c + 15, -2*g + c + 9 + 4 = 0. Let p be (3 - g)*14/6. Does 2 divide l(p)?
True
Suppose -3*t + 5*t = -6. Let y(h) = -h**3 - h**2 + 2*h - 1. Is 5 a factor of y(t)?
False
Let k be 4/(-6) + (-17)/(-3). Does 4 divide 1/(11/k - 2)?
False
Let m be 38/8*(-16)/(-4). Suppose -k + 5*j - 6 = -m, -92 = -5*k - 2*j. Is k a multiple of 12?
False
Let t be -4 + -2 + 4 + 0. Let r(i) = -27*i - 2. Is r(t) a multiple of 27?
False
Let j = 129 + -29. Does 15 divide j?
False
Suppose -18*t + 160 = -13*t. Is 8 a factor of t?
True
Let f = 55 - 34. Does 5 divide (-4)/((-24)/f)*2?
False
Is 17 a factor of 87 - (6/1 - 4)?
True
Let t(c) = -7*c + 1. Let l be t(1). Let d(g) = -2*g + 5. Is 17 a factor of d(l)?
True
Let h be 1/(-3) + (-26)/(-6). Suppose -4*a + 4 = -3*b + b, -3*a + 3 = h*b. Suppose b = 2*c - 3*y - 20, 5*c - 20 - 56 = y. Does 9 divide c?
False
Suppose 4*m = -4*j + 52, 0*j - 4*j - m = -37. Let c(x) = -x**3 + 10*x**2 - 5*x + 10. Is c(j) a multiple of 23?
False
Let i be (2 - 3)*188/(-2). Suppose i = -4*o + 14. Let w = 40 + o. Is w a multiple of 9?
False
Suppose 2*o + 2*o = 5*d + 481, 367 = 3*o - 5*d. Let s = o + 61. Suppose 5*u - 5*r = -0*r + s, -29 = -u - r. Does 16 divide u?
True
Let p = 116 + -64. Is 13 a factor of p?
True
Let u(v) = -2*v + 8. Let f(m) = -m**3 - m**2 - m - 10. Let x be f(0). Does 14 divide u(x)?
True
Suppose -3*d = -5*d + 46. Is d a multiple of 4?
False
Suppose -3*g + 52 = -2*g. Let z = 28 - g. Let p = z - -42. Is 9 a factor of p?
True
Suppose 2*q + 3*n = 191, -3*n + 94 = -0*q + q. Does 22 divide q?
False
Let i(p) = -p**3 - p**2 + p - 48. Let g be i(0). Let o(h) = 13*h - 5. Let y be o(6). Let m = g + y. Is m a multiple of 12?
False
Let f = 11 - 5. Suppose b + 155 = f*b. Does 12 divide b?
False
Let a be (-3*1)/(12/(-52)). Let o = a - 9. Is o a multiple of 4?
True
Suppose -2*f + 2 = -16. Suppose v - f = 1. Is v a multiple of 3?
False
Let t = 61 - 27. Is 30 a factor of t?
False
Let w = 403 - 647. Let y be w/(-6) - (-4)/(-6). Suppose 15 = 5*g - y. Does 11 divide g?
True
Let j(w) = -w**2 - 7*w - 5. Let a be j(-5). Suppose 2*h - a*h = -18. Does 6 divide h?
True
Suppose -4*h - 4*i = -3*h - 23, -5*i + 34 = 3*h. Suppose -h*j + j + 12 = 0. Suppose 3*g + j = 18. Does 2 divide g?
True
Suppose -14 = -5*f + 4*x, 2*f - x - 2*x = 7. Suppose -o - w + 3 = f*w, 35 = 5*o + 5*w. Is o a multiple of 9?
True
Is (-2)/(-6) - (-1240)/24 a multiple of 13?
True
Let s = 26 + -13. Let u = 34 - s. Is 5 a factor of u?
False
Suppose -4*d + 2 - 6 = 0. Let j be (-56)/(-1) - (-2)/d. Suppose -y - 4*p = y - j, 84 = 3*y + 3*p. Is 15 a factor of y?
False
Suppose 5*y + q - 18 = 0, 0 = -2*y + q + 3. Suppose -y*h + 8 = -31. Does 8 divide h?
False
Let z(v) = -20*v**2. Let j be z(-1). Let r be (-1)/(-4)*38*j. Is r/(-15)*(-3)/(-2) a multiple of 19?
True
Suppose 4*m = -4*w + 346 - 30, 0 = 5*m + w - 391. Suppose -4*f + f = -m. Is f a multiple of 26?
True
Let w = 9 - 4. Let h = -12 + w. Let v = -4 - h. Does 2 divide v?
False
Let z(f) = -8*f**2 + 10*f - 9. Let t be z(-9). Let p be (-1)/(-2 - t/375). Suppose -4*n + p = -11. Does 17 divide n?
True
Let q = -99 + 194. Is q a multiple of 19?
True
Let p = 8 + -2. Is 4 a factor of p?
False
Suppose -2*w - w + 30 = 0. Is w a multiple of 5?
True
Let q be 8*(-4)/(-2 + 1). Suppose s - l = 6*s - q, 4*l = -2*s + 20. Suppose -v + s = -0*v. Is v a multiple of 6?
True
Let w = 38 - 21. Suppose 49 = 4*o + q, -q = 2*o - 4*o + w. Is 11 a factor of o?
True
Let l be ((-12)/(-8))/((-1)/(-28)). Let f = -26 + l. Is f a multiple of 16?
True
Suppose -24 = 3*l - 2*k - 74, 5*k = -l + 11. Suppose -5*y - l = -7*y. Is y a multiple of 4?
True
Let r(d) = -d. Let y(z) = -4*z. Let s(x) = 12*r(x) + y(x). Let t = 0 - 1. Is s(t) a multiple of 16?
True
Let p be 3 - (0 - -1)*1. Let r be 5/p + (-2)/(-4). Suppose -k - 4*t + 40 = 0, -6*k + r*t - 84 = -9*k. Does 17 divide k?
False
Let w = 196 + -188. Is w a multiple of 7?
False
Suppose 4*w = -2*l - 8, w + 0 - 1 = -2*l. Suppose -24 = -2*s - l*s. Is 6 a factor of s?
True
Let p be 80/30 + 2/(-3). Let k(z) = z**2 + 3*z - 4. Let b be k(-6). Suppose r + b = p*r. Is r a multiple of 10?
False
Suppose -2*c + 1 - 14 = -5*t, -5*t = -25. Is c even?
True
Let a = -6 + 15. Suppose -2*f = -a + 1. Is 2 a factor of 2/f + 13/2?
False
Let o(t) = -4*t + 2. Suppose 2*d + 5 = -11. Is o(d) a multiple of 17?
True
Suppose -s + 4 = 3. Let u = s + 0. Let q = u + 12. Is 8 a factor of q?
False
Let s = -82 - -90. Is 2 a factor of s?
True
Suppose 0*h = h + 5. Let k = -1 - h. Suppose -x + k*a = x - 36, -5*x + 30 = 5*a. Is 5 a factor of x?
True
Suppose 5*s - 135 = -t, 14 = 3*t - 1. Let d = 6 + s. Does 19 divide d?
False
Let y be (-10)/25 + 22/5. Let h(g) = 5*g - 8. Is h(y) a multiple of 6?
True
Suppose j = -3 - 1. Does 3 divide (-140)/49*14/j?
False
Let d = -4 + 0. Let l(x) = -x**3 - 3*x**2 + x - 4. Is 5 a factor of l(d)?
False
Let w = 399 + -234. Is 33 a factor of w?
True
Suppose -y - 4*d - 23 = d, y + 3 = -d. Suppose -6*p + y*p + 356 = -5*m, 2*p = 5*m + 188. Suppose 0 = 3*q + 4*f - p, 2*q + 4*f = 32 + 20. Is 16 a factor of q?
True
Let x = -2 + 2. Let k(w) = w + 8. Is k(x) a multiple of 4?
True
Let m be ((-10)/15)/((-2)/6). Suppose m*b = 4*b - 12. Suppose -h + j - 6 = -2*h, j = h - b. Is h a multiple of 3?
True
Let z(b) = 46*b**3. Does 15 divide z(1)?
False
Let a = -2 + 9. Suppose 4*u = -a + 15. Is 2 a factor of u?
True
Suppose 3*s + 4*m + 32 = 7*s, -s = 2*m + 7. Suppose 3*h + 2*h = 4*v + 90, -2*v - 10 = 0. Suppose h = -s*q + 4*q. Is 8 a factor of q?
False
Is 12 a factor of (-43 - -1)*10/(-30)?
False
Let n(f) = -f**3 - 2*f**2 - f - 1. Let u be n(-4). Let i be 142/7 + (-10)/u. Let o = -3 + i. Is o a multiple of 12?
False
Suppose -3*o - 83 = -893. Is o a multiple of 30?
True
Suppose -2*k + 5*v + 93 = -k, 3*v = -15. Suppose -2*x + 37 = -4*d + 109, 3*d = 5*x + k. Is d a multiple of 16?
True
Let g = 13 + 31. Is g a multiple of 11?
True
Suppose 5*w = -4*u + 2*w + 3, 0 = -4*u - w + 1. Suppose u = -0*k - 5*k + 270. Suppose f = -2*f + k. Is 6 a factor of f?
True
Is 13 a factor of (9 + -10)/(2/(-110))?
False
Suppose -2*m - 4 = 0, -3*m + 133 = 5*j - 2*m. Is j a multiple of 27?
True
Suppose 2*j + 3*j = 5. Does 12 divide 13 + j + 8 + -5?
False
Suppose 0 = -a - 3 - 3. Let v = 8 - a. Suppose 0 = q + 2*o - 6*o - v, 20 = 5*q + 5*o. Is q a multiple of 6?
True
Let j = 8 - -5. Is 4 a factor of j?
False
Let r = -110 - -158. Is r a multiple of 9?
False
Let z be -1 - -1*(-1 + 7). Suppose 0*p + z*p = 70. Is p a multiple of 12?
False
Let x = -12 - -15. Suppose 3*u - 40 = k, -u + 3 = -4*k - x. Is 9 a factor of u?
False
Let w be 4/(-6) + (-158)/6. Let o = -28 + w. Let i = o - -77. Is 9 a factor of i?
False
Let a(f) = 5*f - 10. Let p = -17 + 28. Let c = 19 - p. Is a(c) a multiple of 11?
False
Let v(n) = n**3 - 7*n**2 + 2*n - 5. Is v(7) a multiple of 3?
True
Let u(x) 