8. Is 43 a factor of z(10)?
True
Suppose -20*i + 4240 = -12*i. Is 97 a factor of i?
False
Let k(r) = 3*r**2 + 2*r - 60. Is k(13) a multiple of 11?
True
Does 38 divide 94/(-282) - (-1160)/6?
False
Let h(p) = -27*p - 29. Does 3 divide h(-5)?
False
Suppose -7 = 3*y - 13. Suppose 92 + 88 = -y*k. Is (-7485)/k + (-1)/6 a multiple of 15?
False
Let q be 1 + 6/(-4)*16/(-6). Is (-2375)/(-20) + q/4 a multiple of 44?
False
Suppose f + 2*f - 4*d - 2265 = 0, 0 = 5*f - d - 3775. Does 32 divide f?
False
Suppose -2*p - 59 = -2*f - 1985, 3*f - 947 = -p. Is p a multiple of 12?
False
Suppose 0 = 8*g - 108 - 972. Is 5 a factor of g?
True
Let d(x) = 14*x**2 + 8*x - 20. Is d(15) a multiple of 27?
False
Let a(j) = -28 - 23 + 34 + 2*j**2 - 7*j. Does 16 divide a(7)?
True
Let n(o) = o + 1. Let q be n(2). Suppose 5*y - q*x - 1110 + 411 = 0, -2*y + 3*x + 285 = 0. Does 14 divide y?
False
Let h = 103 - -20. Does 19 divide h?
False
Let m(c) = c + 2 + 5 + 5 - 2*c. Let k be m(7). Suppose -2*v = 2*z - 48, 126 = k*z + 2*v - 0*v. Is z a multiple of 13?
True
Suppose -5*w + 31 = 1. Let m be 32 + (0 - (-4 + w)). Suppose 2*h + 2*k + 18 = 6*h, 3*h = -4*k + m. Is h even?
True
Let k(m) = m**3 + 29*m**2 - 8*m + 92. Does 6 divide k(-29)?
True
Let n(w) = -7*w**2 + 14*w - 4. Let g(k) = 10*k**2 - 21*k + 6. Let j(o) = -5*g(o) - 7*n(o). Let s be j(7). Is (41/2 + s)*2 a multiple of 26?
False
Suppose 0 = -5*h - 0*a - 2*a + 11, 4*a - 4 = -4*h. Let u = h + -1. Suppose 17 = -s - 5*j + 6, u*s - 14 = -j. Is 3 a factor of s?
True
Suppose 12 = -11*n + 14*n. Suppose z + s - 86 = 0, 0 = -3*z + n*z - 4*s - 111. Does 13 divide z?
True
Let d = 296 + -264. Is 32 a factor of d?
True
Let t(y) = 16*y - 121. Is 11 a factor of t(21)?
False
Let d = 22 + -23. Let n(h) = -168*h**3 - 2*h - 3. Is n(d) a multiple of 13?
False
Let o(t) = t + 10. Let s be o(-6). Suppose -2*q - 4*p + 250 = p, 4*p - 500 = -s*q. Does 39 divide q?
False
Let q = 17 + -22. Let n(y) = -y. Is 4 a factor of n(q)?
False
Suppose 3*b = 5*j - 898, 7*j - 3*b = 4*j + 534. Is j a multiple of 12?
False
Suppose -7*v + 702 = -1706. Is v a multiple of 43?
True
Suppose -2*r - 3*x - 94 = 0, 4*x - 101 = 3*r + 23. Let h = r + 62. Let j = h - 1. Is j a multiple of 17?
True
Let a(d) = 20*d + 2. Let r be a(-6). Let l = 73 + r. Is (l + 1/(-1))*-1 a multiple of 23?
True
Let s = 11 - 6. Let t(n) = 219*n**2 - 2*n - 1. Let a be t(-1). Suppose 0*q + s*q = a. Is 11 a factor of q?
True
Let g(f) = f**2 + 13*f - 6. Is g(14) a multiple of 31?
True
Suppose -5*c + 1185 = -4*u, c - 3*u + 979 = 5*c. Suppose -179 - c = -6*s. Is 10 a factor of s?
True
Suppose 4*q = -4*x + 1084, -5*x + 133 = 2*q - 424. Is 7 a factor of q?
True
Let n = 726 + -292. Is n a multiple of 14?
True
Suppose -3*z - 4*f - 23 = 0, -5*f - 28 = -z + 4*z. Does 32 divide ((-192)/80)/(((-3)/(-160))/z)?
True
Let h(p) = -69*p - 436. Does 4 divide h(-7)?
False
Does 14 divide 122 + -5 + 8 + -10?
False
Let d(l) = -15*l + 14 - 6*l + 10*l. Is d(-6) a multiple of 10?
True
Is 24/(25/(-10) + 4) even?
True
Let w(f) be the second derivative of -f**5/20 + f**4/12 - f**3/6 + 9*f**2/2 + 5*f. Let g be w(0). Suppose -g = -r - 5*s, 3*s = s - 10. Is 23 a factor of r?
False
Suppose -v = -k + v - 234, -1118 = 5*k + 3*v. Is (3 - 0)*(-2)/(12/k) a multiple of 11?
False
Suppose 4*x + 2*m = 3606, 74*x + 3603 = 78*x + m. Is x a multiple of 36?
True
Let y(n) = -n**3 - 6*n**2 - 70*n + 12. Is y(-8) a multiple of 20?
True
Let l(v) = v + 11. Let n be l(-9). Suppose 3*u - 3*w - n*w - 149 = 0, w = -4*u + 237. Let i = 117 - u. Is i a multiple of 30?
False
Let k(v) = v**2 - v + 3. Let n be k(2). Does 10 divide -2 - n/(-2)*12?
False
Suppose 0 = -p - 0*h - 4*h + 89, p = 5*h + 107. Let y = p + -75. Is y a multiple of 4?
False
Suppose 11*k = 7*k + d + 165, 2*d = 3*k - 120. Is 3 a factor of k?
True
Suppose -2*d + 11 = 1. Suppose 3*w + d*g - 136 = 0, -5*w = 17*g - 15*g - 252. Is 13 a factor of w?
True
Suppose 3*i - 24 = 5*i. Let r = 6 - i. Is 3 a factor of r?
True
Does 9 divide (-1 + 28/14)*1422?
True
Let s be ((-1)/(-2)*-2)/1. Let j(x) = 4*x**2 - 2*x - 1. Let q be j(s). Does 6 divide q/(10/6) - -22?
False
Let g be 2 - (-1*(-1 - -2) + 1). Suppose g*m - 252 = -4*m. Does 4 divide m?
False
Let f = -4 - -25. Let y = -102 - -101. Is f + 2 + 2 + y a multiple of 5?
False
Suppose -25 = -2*v + 7*v. Let f = v - -5. Does 18 divide 20/1 - (2 + f)?
True
Suppose 135*d - 414 = 133*d. Does 9 divide d?
True
Suppose -18 = -3*f - 0*s - 3*s, -3*s + 9 = 0. Suppose 0 = -5*i - f - 7, -3*q + 4*i = -17. Suppose 0 = q*o - o - 76. Does 18 divide o?
False
Let y(g) be the second derivative of g**3/6 + 17*g**2/2 + g. Let l be ((-1)/3)/(13/195). Is y(l) a multiple of 12?
True
Let u be ((-52)/(-12))/((-125)/(-30) + -4). Suppose -3*m = -5*w, w + m + 10 = 2. Is u/w*(3 + -6) a multiple of 16?
False
Suppose -14 - 2 = -4*d. Suppose -380 = -r - d*r. Does 10 divide r?
False
Let f = 199 - 292. Is 3 a factor of ((-31)/f)/((-1)/(-21))?
False
Suppose -5*l = 2*x - 12, x + 8 = -x. Is ((-60)/(-21))/(l/28) a multiple of 3?
False
Does 29 divide 1671 - 5/(-10)*10?
False
Let w = 11 - 5. Let i(o) = 4*o - 20. Let j be i(w). Suppose -u + j*u - 147 = 3*d, -d = -2. Does 23 divide u?
False
Let d be ((-2)/8)/((-1)/4). Let z be d + 2 + 0/(-2). Suppose -60 = -2*w - x - 0*x, -81 = -3*w + z*x. Is 8 a factor of w?
False
Let x(c) = -20*c**2 + 65*c + 56. Let r(i) = 7*i**2 - 22*i - 19. Let p(t) = -17*r(t) - 6*x(t). Does 31 divide p(22)?
False
Is 30 a factor of (-3 - (-15)/6)*-780?
True
Let k = 65 - 78. Let u = k + 111. Is u a multiple of 13?
False
Let n(w) = 4*w**2 - 8*w + 48. Is 45 a factor of n(-21)?
True
Let h(z) = 34*z - 3. Suppose 6*r - 4 - 2 = 0. Does 8 divide h(r)?
False
Suppose r - 55 - 41 = 0. Is 6 a factor of r/40*(-10)/(-3)?
False
Is (-2864)/(-10) - 104/(-65) a multiple of 8?
True
Let m = 605 - 590. Is 3 a factor of m?
True
Suppose 10*c - 2990 = -3*c. Is c a multiple of 13?
False
Suppose w - 416 + 272 = 0. Is w a multiple of 36?
True
Let c = 358 - 214. Does 9 divide c?
True
Let p = 640 + -518. Is 4 a factor of p?
False
Let x(q) be the third derivative of 7*q**5/20 + q**4/6 + q**3/3 + 4*q**2. Does 17 divide x(-2)?
False
Let j(m) = 154*m**2 + 32*m + 69. Is j(-2) a multiple of 69?
True
Let c(j) = j**3 + j**2 - 7*j - 16. Is 11 a factor of c(5)?
True
Let v = 403 - 359. Is v a multiple of 4?
True
Suppose 148 + 1310 = 18*q. Is q a multiple of 27?
True
Suppose 2*c - 538 = -3*z, 5*z - 717 = z - 3*c. Is 4 a factor of z?
True
Let w = -36 + 81. Suppose -a + 4*q = -3*a + 4, -3*a + 5*q = 38. Is 17 a factor of (-2)/(a/w) - -2?
True
Suppose -3*l + 82 = -5*k, -2*l + k + 21 = -22. Let f = l - -16. Is 20 a factor of f + (-3)/(6 - 3)?
False
Let i be 10/25*105/3. Let b = 31 - i. Is 3 a factor of b?
False
Let u = -768 + 832. Is u a multiple of 4?
True
Suppose -5*n - 132 = f - 1004, 2*n = -3*f + 341. Does 7 divide n?
True
Let k(r) = 0*r**2 + 334*r - r**2 + 70 - 311*r. Is 5 a factor of k(25)?
True
Suppose -3*t + 1 - 7 = 0, 2*a = 4*t + 466. Does 5 divide a?
False
Suppose 3*f = 5*o - 1, 17 = -3*o + 4*o + 5*f. Let b be 1/o*14/7. Suppose 2*h = 27 - b. Is h a multiple of 13?
True
Let g = 45 + -26. Let l = g + 4. Is 4 a factor of l?
False
Let x be (2 - 56/10 - -3)*-5. Suppose -x*f - 4*o = 40 - 147, -5*f + 2*o = -213. Is f a multiple of 4?
False
Let q(c) = c**3 + 3*c**2 - 57*c + 256. Is q(5) a multiple of 9?
True
Suppose -8 = 4*n, 3475 = 5*v - 4*v - 3*n. Does 135 divide v?
False
Let n = -64 - -156. Is n a multiple of 46?
True
Let q = -1181 - -1512. Is q a multiple of 13?
False
Suppose -3*z + 3*o - 438 = 5*o, -5*o - 15 = 0. Let m = -69 - z. Is m a multiple of 8?
False
Let q(h) = -h**2 + 25*h + 4. Let v be q(20). Suppose -2*o + 84 + v = 0. Does 34 divide o?
False
Is ((-384)/(-6))/(-8)*-181 a multiple of 14?
False
Suppose -13 = -2*h + 13. Suppose h*d - 1316 = 6*d. Is d a multiple of 32?
False
Let u = 0 + 7. Let s be -2 + u/((-14)/(-12)). Suppose -2*j - 16 = -s*j. Is j a multiple of 4?
True
Let a be 6*1/3*52. Let x = 408 - a. Suppose 0 = -3*l - l + x. Is l a multiple of 19?
True
Let f be 83*2 + (-2)/(-2). Let x = -118 + f. Does 7 divide x?
True
Let u = -10 + 8. Let f be (-1)/u*20/5. Suppose 5*m = 2*v + 172, 2*m - f*v = m + 36. Is m a multiple of 7?
False
Is 10 a factor of 5 + 11/(22/5026)?
False
Let f be ((-3)/(-2))/((-6)/8). Let r(m) = -