*c - 12. Is q(-10) even?
False
Let o(x) = -2*x - 1. Let f be o(-8). Suppose f*n = 20*n - 140. Does 14 divide n?
True
Let w(t) = 38*t + 9. Let v(q) = 76*q + 17. Let u(m) = 6*v(m) - 11*w(m). Suppose 15 - 12 = 3*o. Is u(o) a multiple of 9?
False
Let p = 4 - 3. Let o(d) = d**2 + 2*d + 11. Let a be o(0). Suppose -a = -2*v - p. Is 4 a factor of v?
False
Let a = 19 - 16. Suppose 195 = -2*j - a*j. Let v = 78 + j. Does 8 divide v?
False
Suppose 0 = 3*k + 5*h - 5689, 7*h - 10*h = -5*k + 9493. Is 7 a factor of k?
False
Let f = 1360 + -745. Is f a multiple of 41?
True
Suppose 8*h - 736 = 384. Is 20 a factor of h?
True
Suppose 3*t + 63 = 5*q, -3*q = -6*t + t - 25. Suppose q = 5*z, -3*l - 3*z = -2*z - 339. Is l a multiple of 16?
True
Suppose 0 = -5*a - a + 2112. Does 44 divide a?
True
Suppose 5*l = 8*l - 30. Is (1 + 0)*(l + (11 - 5)) a multiple of 11?
False
Is -2 - (4 + -1)*-1 - -647 a multiple of 4?
True
Let o = -89 - -17. Is 16 a factor of 350/12 + 12/o?
False
Let l(x) = -x**2 + x + 1. Let n be l(1). Suppose -2*y + 16 = 3*u - n, -5*y + 38 = 3*u. Let m(r) = 11*r - 3. Is m(y) a multiple of 12?
False
Let n(v) = v**3 - 5*v**2 + 4. Let s be n(5). Suppose 59 = 4*d - z - 4*z, s*z + 45 = 3*d. Suppose -3*t + d = -7. Is t a multiple of 3?
True
Suppose s + 4*s - 3*b + 45 = 0, 3*s - 4*b + 27 = 0. Does 22 divide 18/(-15)*420/s?
False
Suppose -5*p - 160 = -9*p. Suppose -2*y = n - 3*n - p, 24 = y + 3*n. Let d = 58 + y. Does 28 divide d?
False
Suppose -3*r + 2 = -3*u - 1, 0 = 4*r - 2*u. Is r*3/(-6)*98 a multiple of 19?
False
Let k(b) = 2*b**2 - 4*b - 11. Let c be k(10). Let t = c - 14. Is 20 a factor of t?
False
Let f(o) = o**2 - 3. Let q be f(3). Suppose 140 = q*s + s. Is s a multiple of 10?
True
Suppose 10*m = 5*m + 370. Let f be 4/3 - 2/6. Is (-1 - 2) + m + f a multiple of 27?
False
Is 16 a factor of (5 - 11) + (-76)/(-2)?
True
Let z(s) = -3*s + 245. Is z(19) a multiple of 16?
False
Let r be (4 - 5)/2*0. Let v(b) = 3*b + 2. Let m(w) = 4*w + 1. Let f(u) = -2*m(u) + 3*v(u). Is 2 a factor of f(r)?
True
Let v(r) = r**2 - 7*r + 24. Is 98 a factor of v(15)?
False
Let x(f) = 7*f**2 + 43*f - 549. Does 14 divide x(12)?
False
Suppose 50 = -h + 256. Suppose -2*c + 128 = -4*w, 2*w - h = -5*c + c. Is c a multiple of 8?
False
Let s(l) = -11*l - 84. Does 13 divide s(-10)?
True
Let y = -4 - -4. Suppose 5*h - 2*k - 18 - 5 = y, -4*h = -5*k - 32. Is 5 a factor of (-10)/(-15) + 55/h?
False
Suppose -21 = -4*y + y. Let d(f) = 9*f + 18. Is 31 a factor of d(y)?
False
Let p(j) = -j**2 + 9*j - 12. Let i be p(7). Suppose -2*k - k = 4*b - 829, b = i*k - 538. Does 13 divide k?
False
Let g(q) = -4*q - 13. Suppose 47 = 4*k - 7*k + 2*i, 0 = -5*k + 2*i - 73. Let y be g(k). Suppose 5*t - 2*t - y = 0. Does 13 divide t?
True
Let f(g) = 5*g**3 + g**2 + 2*g - 1. Let b be f(2). Let r = b - 9. Is 13 a factor of r?
False
Let y = -119 - -124. Is 5 a factor of (326/y)/2 + 54/135?
False
Let j(y) = -17*y. Let w = 6 + 1. Suppose 3*r + 3 + 2 = 4*z, -4*z - r - w = 0. Is j(z) a multiple of 17?
True
Let o be (9/(-9))/(1/(-4)). Suppose o*c = -4*v + 288, 3*v - 45 = 4*c + 164. Is v a multiple of 18?
False
Let q = 100 + -55. Let s = q + -36. Is 6 a factor of s?
False
Let v(r) = r**3 - 4*r**2 - 9*r - 7. Let n be v(8). Let j be n + (3 - 0) + 0. Suppose 0*x - 4*x = -j. Does 15 divide x?
True
Let k(c) = 44*c - 3. Let a(r) = 11*r - 1. Let d(i) = 9*a(i) - 2*k(i). Let f(q) = -q**2 + 7*q + 13. Let p be f(8). Is 28 a factor of d(p)?
False
Suppose 3*s = -2*s. Suppose s*k - 2*k - 4 = 0. Does 4 divide 2*(-2 + (-9)/k)?
False
Suppose 5*s - 5744 = 3*w, -4*s = 3*w + 544 - 5150. Does 25 divide s?
True
Suppose -5 = 4*o + 3*q + 2, 4*o = q + 13. Suppose -3*d + c = -d - 17, o*c + 22 = 2*d. Is d a multiple of 4?
False
Suppose -18 = -4*g + 2. Suppose -z = g + 1. Let c = z - -15. Is c a multiple of 9?
True
Suppose -3*h + 6 = -2*y, -3*y - 2*h + 3 = -1. Suppose y = -5*j + 5, -4*c - 5*j = -3*j - 86. Does 14 divide c?
False
Suppose -3*m + 0*m = -m. Let w = 18 - -66. Let j = w + m. Is j a multiple of 28?
True
Let v(j) = 6*j**3 - 3*j**2 + 5*j + 4. Let m be v(-3). Does 32 divide (12/5)/((-15)/m)?
True
Let f(g) = g**2 + 8*g - 16. Let r(l) = l + 1. Let o(z) = -f(z) - 6*r(z). Is 19 a factor of o(-11)?
False
Let l be 4 + 5/(15/6). Suppose 0 = -l*k + 4*k + 144. Is 18 a factor of k?
True
Suppose 5*p = -25, -3*p - 171 = o - 4*o. Is o a multiple of 26?
True
Suppose 162*l - 432 = 154*l. Is 2 a factor of l?
True
Let m = 93 - -453. Is (m/63)/(2/21) a multiple of 17?
False
Let w be (1/(-2) + 1)*0. Suppose w = 4*n - 0*n. Is (3 - 5)*(n - 24) a multiple of 16?
True
Let f(h) = 135*h - 32. Is 8 a factor of f(1)?
False
Let x = -2 + 10. Is 6*4/(x/9) a multiple of 27?
True
Suppose 10*b - 4*r - 696 = 8*b, -5*b + 4*r + 1746 = 0. Does 19 divide b?
False
Suppose 4*x = s + 25 + 11, -s + 12 = 2*x. Suppose -6*d + 2*d - i = -10, 3*d = -5*i - 1. Suppose a + x = d*a. Is a a multiple of 2?
True
Let w(z) = -z**2 - 7*z + 42. Let o be w(-9). Let t(m) = -m - 1. Let p be t(7). Let j = o + p. Is 8 a factor of j?
True
Let v(z) = -z**3 + 12*z**2 - 7*z + 2. Let k = 30 - 25. Suppose n - k = 6. Is v(n) a multiple of 23?
True
Suppose -36*o = -13230 - 6354. Is 16 a factor of o?
True
Let r = 105 - 211. Let u = r + 182. Suppose -u - 12 = -4*j. Is j a multiple of 11?
True
Suppose -4 - 4 = 4*l. Let o(y) = 4*y**2 + 3*y + 1. Let g be o(l). Suppose -7 = -n + g. Does 6 divide n?
True
Suppose 6*g = 3366 + 4890. Is g a multiple of 18?
False
Suppose -22400 = -4*w - 16*w. Is w a multiple of 14?
True
Let y be (28/6 - 2)*-39. Let u = 26 + y. Let b = 129 + u. Does 13 divide b?
False
Suppose 0 = -3*f + 3*a + 8343, 2*a = -236*f + 235*f + 2787. Is f a multiple of 7?
False
Is 11 - (5 - -16) - -226 a multiple of 8?
True
Suppose -5*k + 55 + 2 = -4*a, -4*k = -4*a - 44. Is 5 a factor of k?
False
Let g(w) = 2*w + 5*w**2 - 1 - 4*w**2 + 3*w**2 + 55*w**2. Does 20 divide g(1)?
True
Let q(b) = -b**2 - 9*b - 6. Let k be q(-8). Suppose 4*x + k*h = 8*x - 664, -3*x - 5*h + 524 = 0. Does 14 divide x?
True
Let x(h) = -7*h**3 + 6*h**2 + 11*h - 2. Let i(a) = -8*a**3 + 6*a**2 + 11*a - 1. Let u(w) = -6*i(w) + 7*x(w). Does 13 divide u(7)?
False
Let s = 190 + -22. Suppose -3*k = 5*k - s. Is 5 a factor of k?
False
Let g = 4118 - 1518. Does 52 divide g?
True
Let b(g) = g**3 + 26*g**2 - 30*g + 5. Does 5 divide b(-26)?
True
Let m(f) = -f**3 + 7*f**2 - 6*f + 5. Let p be m(4). Suppose 2*z = 0, 4*z - p = -b + 16. Does 9 divide b?
True
Suppose 3*h + 3*s = -s - 1, s + 16 = -3*h. Let r be h + -70 + 1 + -1. Let f = 124 + r. Is 8 a factor of f?
False
Let u = 1386 - 505. Does 34 divide u?
False
Let r = 51 + -48. Suppose -3*c - r*t + t + 115 = 0, 3*t - 120 = -3*c. Does 4 divide c?
False
Let g(j) = -j + 1. Let p be g(-2). Suppose 18 = 3*h - 5*z, -5*z - 15 = 3*h - p. Is 15 a factor of h*-3 + (-585)/(-9)?
False
Suppose -4*w + 1658 = -g, 0 = 16*w - 19*w + 3*g + 1248. Does 6 divide w?
True
Suppose 2*n + o - 53 = 0, -4*n + 6*o + 76 = 2*o. Suppose -3*c - 4 - 2 = 0, n = 2*x + 2*c. Is x a multiple of 4?
False
Suppose 0 = 5*m - 3*d - 62, 2*m + 5*d = -0*m. Suppose -m = 3*k + 4*x - 38, -2*k - 5*x + 28 = 0. Suppose -v = -3*u - 12, -5*u - k = -v - 0*u. Does 7 divide v?
False
Let p = -74 - -880. Does 31 divide p?
True
Let h(d) be the third derivative of 0*d + 1/24*d**4 + 1/15*d**5 + 1/6*d**3 + 0 + 3*d**2. Is h(2) a multiple of 7?
False
Suppose 0 = d + 5, 4*r = -0*r + d + 41. Suppose -3 = 2*v - r. Suppose -v*l = 3*y - l - 138, -2*y + 105 = -3*l. Is 12 a factor of y?
True
Suppose 0 = j - 5*j + 2200. Does 55 divide j?
True
Let u(b) = -4*b**2 + 2*b + 1. Let f be u(-1). Let g be 4 + (f - -2 - -5). Suppose 4*q - 6 - g = 0. Does 2 divide q?
False
Suppose 9*v + 1355 = 5*q + 5*v, 4*v - 1315 = -5*q. Does 75 divide q?
False
Let t(i) be the first derivative of -i**3/3 - 9*i**2/2 - 6*i - 118. Let c be (0 + 1)/(2/(-12)). Does 6 divide t(c)?
True
Let q(b) = 24*b**2 + 21*b + 5. Is q(-5) a multiple of 50?
True
Let t(y) = -3*y - 17. Let h be t(-5). Let s be 1 - (-3 - h) - -3. Suppose 2*r + 0*n = s*n + 27, -2*r - 3*n + 19 = 0. Is 3 a factor of r?
False
Let p(w) = -8*w + 9. Let s be p(-5). Let o = s - 25. Is o a multiple of 5?
False
Let x(l) = 2*l + 10. Let n be x(-3). Suppose 5*t - 36 = n*t. Is 4 a factor of t?
True
Suppose -4*w - 928 = -4496. Is w a multiple of 39?
False
Supp