**2 + 9*u + 5. Let p(c) = 7*i(c) - 4*o(c). Is p(4) a multiple of 5?
False
Suppose -13*a - 10 = -18*a. Suppose 22 = 5*t + b, -2 = -2*t - a*b + 5*b. Is t a multiple of 2?
True
Let l = -14 + 17. Suppose 3 = -l*n - 4*s + 94, n - s = 28. Is n a multiple of 8?
False
Let o(f) = 21*f**2 - 2*f - 1. Let u be o(-2). Suppose -4*w + 117 = -u. Suppose -3*m = -3 - w. Is 9 a factor of m?
True
Suppose -2 = -5*u + 13. Suppose -2*i + i = -u*o + 119, 2*i + 74 = 2*o. Is o a multiple of 17?
False
Suppose 2*m - 2 = 4*g - 6, 0 = -m + g - 3. Let n = -6 + m. Is 3 a factor of (12/n)/(2/(-5))?
True
Suppose 0 = y + 2 - 4. Let d(c) = 4*c**2 - 1 + y + 5*c**3 - 6*c**3 + 4*c. Is d(3) a multiple of 22?
True
Let o(b) = -b**3 + 9*b**2 - 2*b + 9. Let z be o(9). Is 6 a factor of 24/z*(-108)/16?
True
Suppose -7 + 411 = 4*l - 4*b, 0 = -5*b - 10. Does 41 divide l?
False
Suppose -3*l + 3*a = 5*a + 5, 2*l = -3*a. Does 8 divide 21 - (2 + (-6 - l))?
False
Suppose 2*m = 2*a - 4, 5 = 3*a - 0*a - 2*m. Suppose 0 = 2*j + 5*k + 29, -k = j + 4 + 3. Is a/(-3 - j) + 19 a multiple of 18?
True
Let j = 66 - 50. Does 8 divide j?
True
Let h = -236 + 352. Suppose h = 5*y + 26. Does 6 divide y?
True
Suppose 3 + 67 = 2*w - 4*h, -3*h = -3*w + 111. Is 5 a factor of w?
False
Let l(v) = 3*v + 5. Let i be l(4). Let c = i + 9. Is 16 a factor of c?
False
Suppose -3*c + 16 - 4 = 0. Suppose 3*u - 108 = -c*y - u, y - u = 37. Is y a multiple of 16?
True
Let p = 138 + -132. Does 4 divide p?
False
Suppose -t - 207 = -6*t - y, 0 = t + 5*y - 27. Suppose -4*g + 2*g = -t. Does 21 divide g?
True
Suppose 77 + 391 = 4*q. Is q a multiple of 32?
False
Let u = 83 + -1. Let r = -25 + u. Suppose -r = -4*k + 31. Is 12 a factor of k?
False
Suppose -87 = -3*z + 15. Let u = -10 + z. Suppose -2*c = -6*c + u. Does 6 divide c?
True
Let r = -28 + 46. Is 765/r*(-6)/(-5) a multiple of 17?
True
Let q = -8 - -11. Suppose -q*u - 2 = -20. Is 7 a factor of 7/(9/u + -1)?
True
Let z(k) = k**2 + 4*k + 7. Let s be z(-5). Suppose 11*i - s*i = -57. Does 14 divide i?
False
Let q(g) = 3*g**2 + 5*g + 2. Let m(u) = -7*u**2 - 10*u - 5. Let n(i) = 4*m(i) + 9*q(i). Let o be n(4). Is (-31 + o)/(2/(-4)) a multiple of 20?
False
Is 11 a factor of -3 - 9/(27/(-138))?
False
Let v = 1 - -2. Is v even?
False
Let b = -39 - -94. Suppose 0 = 2*z - b - 21. Is 21 a factor of z?
False
Let y(a) = 10*a - 8. Is y(6) a multiple of 16?
False
Does 45 divide 1/(12/(-18)) + 363/2?
True
Suppose r - 2*r = 0. Let x = r + 18. Does 9 divide x?
True
Let m = -15 - -21. Let o = 9 + m. Let b = 25 - o. Does 5 divide b?
True
Suppose 5*t + 0*t + 75 = 0. Does 21 divide (-538)/(-10) - 3/t?
False
Suppose -3*q + 4*h = -160, 5*q = -h - 4*h + 220. Is q a multiple of 16?
True
Suppose -p + 6 = -76. Suppose g = 4*k + 16, 2*g - k - p = -3*k. Is 10 a factor of g?
False
Is 17 a factor of 616/18 - 40/180?
True
Is 7 a factor of 28 - (6/(-2) + (3 - 0))?
True
Let y = 522 + -369. Is y a multiple of 17?
True
Suppose 2*g - 14 = -2*o, -4*o = -6*o + 10. Suppose -g*x + 28 = 3*m - 6*m, 0 = 2*x - 4*m - 28. Is x a multiple of 3?
False
Suppose 2*p = -3*w - 47, 4*w - 124 = 5*p + 5*w. Let o be ((-1)/(-5))/((-5)/p). Is 3*(-8)/(-6)*o a multiple of 3?
False
Suppose -3*v + 0*v = 3*d - 18, -d = -4*v + 19. Suppose 2*z - 45 = 3*b + 28, v*b = -5. Does 21 divide z?
False
Let m(r) = 67*r**2 + r + 5. Is 11 a factor of m(2)?
True
Let i = 35 + -11. Suppose -72 - i = -3*g. Is 18 a factor of g?
False
Suppose 3*t + t - 896 = -3*g, g - 448 = -2*t. Is 32 a factor of t?
True
Suppose -5*o = -j - 3*j + 79, -4*j - 2*o = -86. Suppose -j = -5*n + 2*n. Suppose -f = -4 - n. Does 9 divide f?
False
Let d(o) = 36*o + 2. Let f be d(2). Suppose -u - u = -f. Let r = u - 16. Is r a multiple of 7?
True
Let a(b) = 7*b**3 + b**2 - b - 4. Let y(n) = 1. Let o(f) = a(f) + 4*y(f). Let t be o(1). Is ((-1 - 0) + t)*2 a multiple of 6?
True
Suppose 6*k - 4*j + 122 = 7*k, -98 = -k + 4*j. Does 10 divide k?
True
Let w be ((-6)/4)/(9/(-30)). Suppose -w*v = -4*v. Suppose v = 3*d - 10 - 2. Does 2 divide d?
True
Suppose r = 4*a - 3*r - 64, 0 = -3*a - 3*r + 18. Is a a multiple of 11?
True
Let i(h) = 38*h**2 + 2*h - 1. Let m be i(1). Let r = -23 + m. Is 8 a factor of r?
True
Suppose 0 = 2*j - 3*j + 30. Let n be (-1 + 2)/(2/j). Suppose -2*r + n = -19. Is r a multiple of 8?
False
Suppose 222 = -9*i + 762. Is i a multiple of 12?
True
Suppose 5*p = m + 10, -m = -0*p - 3*p. Is 3 a factor of m?
True
Let s = 27 + -25. Is s a multiple of 2?
True
Let q be 0/(3/(-1) - -4). Let s = 24 - q. Is 12 a factor of s?
True
Suppose 2*h - 6 + 0 = -5*f, 0 = 3*f + 2*h - 2. Suppose 5*m - 13 = f*b, 3*m = -b - 0*b + 10. Suppose -33 = -4*u + 3*v, -4*v = m*u - u - 22. Is u a multiple of 6?
False
Suppose -1 = -n - 4*p, -2 = 4*n - 3*p - 25. Suppose 1 + n = 3*r. Is 3 a factor of 66/8 - r/8?
False
Suppose -6 = b - 5*t, 2*b + 3*t - 6 = 5*b. Let l be ((-14)/(-5))/(b/(-45)). Let z = l + -89. Is z a multiple of 13?
False
Let r = 6 + -9. Does 6 divide (-53)/r - (-4)/(-6)?
False
Does 12 divide ((-81)/36)/((-2)/(-2 + 66))?
True
Let g be (-75)/5 + (0 - 3). Is 11 a factor of g/(-4)*84/9?
False
Let i = -1 - -43. Is 14 a factor of i?
True
Let s = -3 + 10. Let l = s + 9. Does 8 divide l?
True
Suppose 2*z + w = -2*w + 144, 3*z = -5*w + 217. Let l = z + -25. Does 22 divide l?
True
Suppose 0*u - 5*q = -u + 5, 0 = -2*q + 4. Suppose 5*d - 88 = -4*b, u = 4*d + b - 51. Does 5 divide d?
False
Let j = 227 + -159. Is j a multiple of 17?
True
Suppose 2*d = -0*d + 10. Suppose 0 = -0*j + d*j. Suppose j = 5*r + 25 - 100. Is r a multiple of 15?
True
Let f = 5 - -3. Let m = f - -1. Is 4 a factor of m?
False
Let j = 68 - -103. Is j a multiple of 28?
False
Suppose -2*l + 6*l = -2*o + 64, 58 = 2*o - 2*l. Does 10 divide o?
True
Suppose 15*m - 49 = 14*m. Does 7 divide m?
True
Let o be (-2)/8 + 184/(-32). Let v = 2 - o. Is v a multiple of 5?
False
Is 5/(1 - (-20)/(-22)) a multiple of 11?
True
Suppose 0 = -3*q - 9, -16 = -4*x + 4*q + 4. Let m(r) = 0 - x*r + 6 + 7*r - r**2 + 7*r. Is m(8) a multiple of 14?
False
Does 29 divide 7/(-21) - (-536)/6?
False
Let b(x) = x**2 - 6*x + 2. Let d be b(6). Let s(g) = -7*g + 4*g - g + d. Is s(-4) a multiple of 18?
True
Let h(a) = -4*a - 4. Let u(x) = -3*x + 2. Let b be u(-2). Suppose b + 1 = -3*p. Does 5 divide h(p)?
False
Let a be 68/(-6)*3/(-2). Suppose 0 = z - a - 23. Does 17 divide z?
False
Suppose 4*b - 3*b = 0, 4*z = -4*b + 244. Suppose -19 - z = -5*q. Is 6 a factor of q?
False
Suppose -7 = -2*g - 3. Suppose 0 = g*s - 94 + 22. Does 18 divide s?
True
Let n = -2 - -15. Is n a multiple of 13?
True
Let u(q) = q**2 - 9*q + 1. Is 3 a factor of u(10)?
False
Let g(m) = 2*m**2 - 1. Let h be g(-1). Let a be (2/(-6))/h*-6. Is 14 a factor of 1*-2 - (-32)/a?
True
Let v(k) = 3*k**3 - 4*k**2 + k. Is v(3) a multiple of 12?
True
Let f be ((-3)/(-2))/(1/(-2)). Let c = f + 7. Suppose c*w = 5*m + 44, 0*w + 5*m = -4*w + 4. Does 6 divide w?
True
Let b = -36 - -76. Does 40 divide b?
True
Suppose -3*j + 715 = u, -5 = 4*u + 15. Suppose 6*o - 2*o = -j. Let t = -42 - o. Is t a multiple of 10?
False
Let t(a) = -a**2 + 5*a + 8. Let u be t(6). Let j be u/4 + 21/14. Suppose -j*c - 112 = -6*c. Does 14 divide c?
True
Suppose 42*q = 44*q - 250. Is 23 a factor of q?
False
Let j be 3*12 - (-6)/2. Let v = 60 - j. Is v a multiple of 21?
True
Suppose 1261 = u - 5*v, -4*u + 5*v + 5634 - 665 = 0. Suppose -4*n - s + 5*s = -u, -4*n + 2*s = -1238. Suppose -t + n = 4*t. Does 16 divide t?
False
Let h = -3 + 9. Suppose -g + h*g = 0. Suppose g*m + 4*m = 48. Does 12 divide m?
True
Suppose 3*t - 19 = -5*n, -4*n + 2 = -t - t. Suppose 0 = -5*m + 5, -3*k - 3*m = -5 + 2. Suppose t = x - k*x. Is x even?
False
Suppose 7 + 4 = y. Suppose -y + 2 = -3*b. Suppose 0*k + 18 = k - b*a, 26 = k - 5*a. Is k a multiple of 6?
True
Let w(z) be the second derivative of z**4/12 + 5*z**3/6 + 4*z**2 - 2*z. Is w(-8) a multiple of 11?
False
Let v(i) = i**3 - 5*i**2 + 5*i - 1. Let l = 4 + 0. Let w be v(l). Does 11 divide (14/w)/((-3)/(-18))?
False
Let q = 11 + -8. Suppose 39 - 9 = 2*a + 4*w, -q*a + 35 = w. Let f = a - 6. Is f a multiple of 4?
False
Suppose -4*r = -345 + 33. Let p be 1/(-5) - r/(-15). Suppose p*s = 2*s + 126. Is s a multiple of 14?
True
Let x(p) = -5*p - 21. Let g be x(-14). Suppose -g + 15 = -2*t. Is t a multiple of 17?
True
Suppose -16 = 2*w + 4*