**2 - 42*q - 4. Is t(-10) a multiple of 22?
True
Suppose -52*y + 311 = -34529. Is 9 a factor of y?
False
Let l(s) = 48*s + 4. Let i = -17 + 18. Is 9 a factor of l(i)?
False
Let g(k) = k**3 - 7*k**2 + 6*k + 3. Let f be g(7). Suppose 2*r + f = 7*r. Is 2 a factor of r?
False
Suppose -4*h + 7 = -1. Let d = 46 - h. Let u = -22 + d. Is u a multiple of 5?
False
Let m(n) = -n - 5. Let h be m(-11). Let b(j) = 6*j**2 - 10*j - 5. Does 11 divide b(h)?
False
Let a(k) = -k**2 + k + 18. Let g(x) = -x + 6. Let s be g(6). Is 8 a factor of a(s)?
False
Let v = 1379 - 590. Does 25 divide v?
False
Is (-5 + -2 + 15)/((-1)/(-18)) a multiple of 4?
True
Suppose 4*l + 0*l - 4*h = 124, 4*l - 125 = 3*h. Suppose 82 = d + 7. Let u = d - l. Is u a multiple of 8?
False
Suppose -11*s + 2 = -9*s, -2*s = -3*h + 190. Does 4 divide h?
True
Let u be ((-684)/(-24))/(1/6). Suppose 0 = -4*k + u + 1077. Suppose -k = 4*d - 7*d. Is 13 a factor of d?
True
Let k = 0 + 2. Let g(s) = s**3 + 8*s**2 + 14*s - 7. Let x be g(-5). Is x/(-4)*148/k a multiple of 17?
False
Is ((-1)/(-8))/((-2)/(-12368)) a multiple of 22?
False
Is -15 + 792 - 6 - (3 - 1) a multiple of 26?
False
Suppose r - 30 = 6*r. Let o(u) = 11*u - 33. Let n(l) = -17*l + 50. Let b(s) = -5*n(s) - 8*o(s). Does 16 divide b(r)?
True
Let i = 12 + -12. Let h be i + -1 + (-2)/2. Is 10 a factor of 11*2 - (-4)/h?
True
Let b = -11 - -30. Suppose 43 = m - h + 4*h, -4*h - 46 = -2*m. Suppose 5*x - m = b. Is 3 a factor of x?
False
Suppose d + 834 = 2*s, 0 = s + 3*d + d - 426. Suppose -452 = 5*x + s. Is 10 a factor of (1 + -2)*x/6?
False
Suppose -32*h + 28*h + 4208 = 2*f, 0 = 3*h + 2*f - 3154. Is h a multiple of 31?
True
Is (-96)/30*5*129/(-2) a multiple of 93?
False
Suppose -2*p + 5*c = p - 268, -p - 2*c = -93. Suppose 2*n = -j + p, -3*n + 75 = 4*j - 54. Suppose -4*u - 3 = -n. Is 11 a factor of u?
True
Suppose -8659 = -23*f + 1461. Is f a multiple of 5?
True
Let j(m) = 18*m**2 - 7*m + 1. Does 13 divide j(5)?
True
Let o = 42 - 146. Is (-2 - o) + -7 + 3 + 2 a multiple of 25?
True
Let i(k) = 12 - 12*k + 2*k**2 - 3*k**2 + 7*k. Let r be i(-6). Does 24 divide (36/24)/(r/344)?
False
Let i(u) = 11*u**2 + 5*u + 4 + 5*u + u**3 - 4*u - 8. Let l be i(-7). Suppose -z + l = 4*z. Is z a multiple of 10?
True
Let p = -43 + 47. Suppose -g = -2 - p. Is 6 a factor of g?
True
Let n be 11984/42 - 2/6. Let f = 411 - n. Does 42 divide f?
True
Let p = -31 - -33. Suppose -p*g + 195 = g. Does 13 divide g?
True
Let y(p) be the second derivative of -25*p**3/6 - 12*p**2 - 3*p. Let v be y(-10). Let q = -121 + v. Is 18 a factor of q?
False
Let l(j) = j**2 + 4*j - 16. Let c be l(-7). Suppose -q = -2*r + 17, -3*r + c*q - q + 23 = 0. Let m = 19 - r. Is 3 a factor of m?
False
Let r(m) = m + 3. Let o be r(-3). Suppose o*n - 5*n = -160. Is n a multiple of 15?
False
Is ((-1)/((-3)/54))/(-5)*-90 a multiple of 8?
False
Suppose 2*v = -4*r + 26, -5*r + 17 = -3*r + 5*v. Suppose o - 55 = -n, 4*n = -r*o + 3*o + 217. Is 26 a factor of n?
True
Suppose 4*u = 4*p - 20, 6*p - 4*p - 8 = u. Suppose -p*i = -27 - 72. Is 11 a factor of i?
True
Let z = 34 - 31. Let m = 162 + -84. Suppose -18 = z*s - m. Is s a multiple of 5?
True
Let w = -2 - -8. Let y(h) = 2*h + 16. Let f be y(-7). Suppose -2*j = f*q - 174, 0*q = -3*q + w. Is j a multiple of 29?
False
Suppose l + 4*l + 78 = 4*v, 4*v = 2*l + 84. Let x = v + -23. Let z(b) = -8*b. Is z(x) a multiple of 3?
False
Suppose 0 = -7*i + 6990 + 6219. Is 13 a factor of i?
False
Let c = -77 + 337. Suppose 0 = -5*g - 3*o + 831, -2*o - 418 = -4*g + c. Is 21 a factor of g?
True
Let z(a) = -a + 10. Let s be z(7). Suppose 4*m = 4*u - 28, 0 = -u + s*u - 5*m - 14. Is u even?
False
Let b(i) = -12*i**3. Let f(x) = -4*x**3 + 3*x**2 - x**2 - 1 + 2*x**3. Let n be f(1). Is b(n) a multiple of 3?
True
Let x(q) = -q**2 - 12*q - 4. Let c be x(-12). Let h be (-8)/28 - c/14. Suppose h = 4*r - d - 91, 5*r - 130 = -d - 5. Does 8 divide r?
True
Let y be 17/((-10)/4 + 3). Let u = 9 + y. Is 23 a factor of u?
False
Suppose -5*w + 5*j - 3*j = -1930, -5*w = -j - 1925. Is 64 a factor of w?
True
Suppose i + p - 4*p - 879 = 0, 2*i = -p + 1765. Suppose 0 = -28*m + 25*m + i. Is m a multiple of 42?
True
Let a(i) be the second derivative of -i**7/2520 + i**6/90 - i**5/20 + i**4/2 - 6*i. Let t(c) be the third derivative of a(c). Does 3 divide t(5)?
True
Suppose 0 = -10*q + 5 + 25. Suppose 7*s = 11*s - 5*z - 86, 3*s - 66 = q*z. Is s a multiple of 6?
True
Let j = -647 - -951. Is 13 a factor of j?
False
Let q = -18 + 32. Is 2526/q - ((-30)/(-21) + -1) a multiple of 18?
True
Suppose -6*n + 1426 = -2708. Is n a multiple of 15?
False
Is (60/(-24))/((14/(-132))/7) a multiple of 33?
True
Let l be (-6)/(-5)*(-160)/(-12). Let a = -12 + l. Suppose 2*d + 10 + 4 = a*v, 5*d = -2*v + 25. Does 3 divide v?
False
Let y(u) = u**3 - 7*u**2 + u - 5. Let a be y(7). Is 1 - a/((-8)/44) a multiple of 6?
True
Let o be (18/(-15))/(6/80). Let z = o - -17. Suppose -3 = k + 5*r, r + 3 = z. Is k a multiple of 2?
False
Suppose -102*l + 104*l + 4*r = 390, 0 = l + 4*r - 197. Is l a multiple of 89?
False
Suppose v - 3*v = 0. Suppose 0 = -5*y - w - w + 356, -2*y + 2*w + 148 = v. Does 12 divide y?
True
Suppose 165 = x + n + 4*n, 4*n = 2*x - 400. Suppose 0 = -m + 2*v + x, 129 = 4*m - 3*v - 606. Suppose 0 = -6*s + 3*s + m. Is 15 a factor of s?
True
Suppose 2*o = 1 + 3. Let f be -1 + (o - 1) + -3. Is f/(-9) - 238/(-6) a multiple of 13?
False
Let c = 4822 + -555. Is c a multiple of 14?
False
Is (1/2)/((-9)/(-9972)) a multiple of 20?
False
Suppose -2*g + 1141 = 5*q, -g + 220 + 346 = 4*q. Does 12 divide g?
False
Let o be (-10 - -10)/(-1 + 3). Suppose o = -z - z + 110. Suppose -5*g + 55 = 5*l, -z = -5*l + 3*g + 2*g. Is 3 a factor of l?
False
Let c(m) = -m**3 + 8*m**2 + m - 3. Let a be c(8). Suppose 3*t = -4*r + a*r - 81, 71 = r - 5*t. Does 32 divide r?
True
Let f be (-14)/(-2) + (-8)/2. Suppose i - f = 3. Does 2 divide i?
True
Let j(u) = 2*u + 73. Let r(k) = 3*k + 109. Let f(x) = -7*j(x) + 5*r(x). Let y(m) = -m**2 + 6*m + 7. Let n be y(7). Does 10 divide f(n)?
False
Is 77 a factor of (-6)/(-10) - (-302457)/205?
False
Suppose -d = 0, c + 500 = 6*c - 4*d. Suppose -2*q + c = 3*q. Is 5 a factor of q?
True
Let u = -14 - -11. Let m(z) = -z**3 - 2*z**2 - z. Let o be m(u). Suppose -5*a + o = -2*a. Is a a multiple of 4?
True
Let l(m) = -m**3 - 4*m**2 + m - 6. Let f be l(-6). Suppose 11*w - 7*w = -f. Is 17 a factor of 93/3 + w/(-5)?
True
Suppose 19*t - 38255 = -16*t. Does 14 divide t?
False
Let q = 1530 + -760. Suppose 10*o = -o + q. Is o a multiple of 10?
True
Suppose 9*s = 4*s + 500. Does 100 divide s?
True
Let z(w) = w - 2. Let p(v) = -1. Let s(y) = 9*p(y) - 4*z(y). Is 2 a factor of s(-4)?
False
Suppose 0 = -0*x - 4*x - 12, 0 = 5*l + 4*x + 262. Let m = -45 - l. Does 5 divide m?
True
Let r be (6/2)/(-3)*0. Suppose 5*h - 4*v = -7, r*v - 19 = -4*h - 5*v. Does 12 divide (-30)/h*36/(-45)?
True
Let b(s) = -s**2 - 12*s + 22. Let j be b(-13). Let w(n) = -n**3 + 10*n**2 + 2*n - 14. Is 17 a factor of w(j)?
True
Let h(u) = 47*u - 38. Is 7 a factor of h(8)?
False
Suppose -4*p + 31 = -3*p - 3*k, 4*p - 98 = -k. Let c be p + ((-2)/(-1) - 1). Suppose 2*m + 35 = 5*d - 0*d, 0 = -4*d + 2*m + c. Is d a multiple of 5?
False
Suppose 6*r - 5104 = 356. Suppose -6*o + r = o. Does 26 divide o?
True
Let k = 1207 + -494. Is 7 a factor of k?
False
Let r = -13 - -16. Suppose r*u - 44 = 55. Is u a multiple of 7?
False
Suppose 5*n + 20 = 0, -5*t + 3 = 5*n + 8. Suppose -t*y + 80 + 229 = 0. Is 14 a factor of y?
False
Let f = -12 - -10. Is f + (218 - 3)/5 a multiple of 5?
False
Suppose 113 - 3 = -11*b. Let g(s) = -s**3 - 9*s**2 - 4*s - 9. Is 11 a factor of g(b)?
False
Let c(d) = 4*d**2 + 21*d + 94. Is c(-12) a multiple of 9?
False
Let o(d) = 5*d**2 + 20*d - 5. Is 7 a factor of o(5)?
False
Let v = 31 + -23. Let k = -6 + v. Suppose k*i - 5*i = -180. Is i a multiple of 15?
True
Suppose 5*l = 5*q + 1765, 7*l - 11*l = q - 1427. Is l a multiple of 23?
False
Let v(m) = 3*m - 10. Let p be v(4). Let w(u) = -6*u + 3. Let c be w(0). Suppose -p*l - l + 323 = -5*s, -5*l - c*s + 561 = 0. Is l a multiple of 25?
False
Does 10 divide 98 + -34 - (1 + -4 + 0)?
False
Let m(h) = 5*h**2 + 3*h - 1. Let a(f) = -19*f**2 - 13*f + 3. Let v(i) = 2*a(i) + 9*m(i). Let p = 12 + -10. Is 4 a factor of v(p)?
Fa