 j. Is b a multiple of 11?
True
Let z(a) = 2*a**2 - 5*a - 4. Let k be z(-6). Let d = -12 + k. Suppose -3*h - 4*f = -d, -3*f = 4*h - f - 98. Does 9 divide h?
False
Let y(b) = -19*b + 3. Is y(-3) a multiple of 10?
True
Suppose 29 = 2*r - 11. Is r a multiple of 5?
True
Let p(c) = -c**3 + 8*c**2 + 3*c + 8. Let x be p(6). Suppose x + 22 = 4*j. Is 10 a factor of j?
True
Let f be (-6)/4*(-26)/3. Let x = f + -8. Is 5 a factor of x?
True
Suppose 0 = 3*j - 8*j + 150. Suppose 4*l - j = 138. Does 21 divide l?
True
Let z = 13 - -14. Does 9 divide z?
True
Suppose -5*o + 52 = -q, 0*o + 4*q = 4*o - 32. Is 2 a factor of o?
False
Suppose 0 = 2*h, d - 4*h - h + 45 = 0. Does 3 divide (-58)/(-5) - 18/d?
True
Let u = 19 + -13. Let i = 8 - u. Is 0 - ((-2)/i + -14) a multiple of 9?
False
Suppose -27*t - 20 = -32*t. Let r(b) = 3*b - 3 + 0 - 1. Is r(t) a multiple of 3?
False
Let k be (-4)/14 - (-24)/(-14). Let q be k + 2 + -2 + 4. Suppose 85 = q*c + 3*c. Is 11 a factor of c?
False
Let n be 106/(-9) - (-2)/(-9). Is 76/3 + 4/n a multiple of 13?
False
Suppose -k + 2*k + 4 = 4*x, k + 4*x + 4 = 0. Does 27 divide 3*k*(-75)/18?
False
Suppose 0 = -5*k - 2*s + 33, -4 + 26 = 2*k + 3*s. Suppose -4*c + 3 = -k. Suppose -2*v + 10 = 2*x, c*v + 3*x - 10 = -0*v. Is v even?
False
Let f(u) = 2*u**2 + 5*u + 6. Let w be f(-4). Suppose 2*v + 3*v = -2*p + 26, -2*v + 3*p + w = 0. Suppose d = 4*r + v + 11, r = 5*d - 47. Is d a multiple of 3?
True
Let c(l) = 7*l - 1. Let u be c(1). Let j(n) = -n**3 + n**2 + n + 1. Let o(q) = -3*q**3 - 3*q**2 + 11*q + 8. Let i(a) = -4*j(a) + o(a). Is 10 a factor of i(u)?
True
Suppose 2*i + 5 + 7 = 5*r, i = -r + 1. Suppose 9 = -r*v - 1, v + 3 = -c. Is (c/(-6))/((-1)/9) a multiple of 3?
True
Suppose 336 + 28 = 7*s. Is 8 a factor of s?
False
Let i(w) = -5*w + 10. Does 15 divide i(-10)?
True
Let d = 29 - -81. Is 22 a factor of d?
True
Let m be (-3 + 4)/(3/(-39)). Let a = 22 + m. Is a a multiple of 5?
False
Let j = 4 + -2. Suppose 0 = -g + 2*m - 6*m + 1, j*g = -m + 2. Suppose -f + 6 = g. Is f a multiple of 3?
False
Let a = -7 - 14. Let k = 43 + a. Is k a multiple of 10?
False
Let x be (-2)/((-6)/261) + -2. Let c be 61/(1 + -3 + 1). Let n = x + c. Is n a multiple of 8?
True
Suppose 0*b - 94 = -2*b + 4*q, 4*b - 173 = 5*q. Is 14 a factor of b?
False
Let n(b) = -2*b**2 - 6*b - 4. Let s be n(-4). Is (-5)/2*s/2 a multiple of 14?
False
Suppose -3*x + 316 - 82 = 0. Suppose -c = c + x. Let q = -23 - c. Does 8 divide q?
True
Suppose 0*p = 4*p - 56. Is p a multiple of 4?
False
Suppose 4*d + 110 = 2*n + 6*d, -5*n - 3*d + 277 = 0. Does 11 divide n?
False
Let g = -46 + -18. Let v = g - -44. Let w = v - -32. Does 5 divide w?
False
Let u(r) = r**2 + 9*r - 8. Let n = -5 - 6. Is 14 a factor of u(n)?
True
Let c(q) = -q - 1. Let l be c(-7). Suppose h + 0 = 4. Let w = l - h. Is w a multiple of 2?
True
Suppose -c - 9 = -y, -2*y + 15 = -c + 2*y. Let v = c - -40. Does 10 divide v?
False
Suppose 3*i = 65 - 11. Let s = 29 + -40. Let b = i + s. Does 3 divide b?
False
Suppose -5*m = -4*y - y - 310, 0 = -2*y - 6. Is m a multiple of 10?
False
Suppose -2*d + 18 = -3*u - 3*d, -1 = -2*u - 5*d. Let p(i) = -i**3 - 8*i**2 + 8*i + 5. Let b be p(u). Does 12 divide 1/((-3)/(1 + b))?
False
Suppose -2*n + 4 = -8. Suppose -2*h - n = -20. Is h a multiple of 5?
False
Let x(y) = 3*y**3 - 5*y**2 + 6*y - 11. Let g(k) = 4*k**3 - 5*k**2 + 5*k - 11. Let h(f) = -2*g(f) + 3*x(f). Is h(5) a multiple of 19?
False
Suppose 2*j = 2*u + 8 + 16, -5*j = 5*u + 20. Let h be (12/(-16))/(2/u). Suppose -4*a + 3*a = 2*p - 19, 2*p - 41 = -h*a. Is 11 a factor of a?
True
Let c = -18 - -28. Does 10 divide c?
True
Let c = -236 + 417. Is 13 a factor of c?
False
Let x(l) = -l**3 - 3*l - 3. Let q be (-1)/(-3) - (-39)/(-9). Is x(q) a multiple of 20?
False
Let h be 122/(-18) - 2/9. Let b(u) = u**3 + 9*u**2 + 7*u - 2. Is 20 a factor of b(h)?
False
Suppose 4*o = 9*o. Suppose o = -m + 11 + 4. Is 5 a factor of m?
True
Let p = 225 - 145. Does 14 divide p?
False
Let g = 10 - 8. Suppose g*s = 5*h - 15, 5*h + 2*s + 3*s - 15 = 0. Suppose -12 = t + h*t, 0 = 2*v - 3*t - 21. Is v a multiple of 6?
True
Let t be -1 - (-3)/(2 + -1). Suppose 7 = 3*s + i, -t*s - 3*i + 10 = -5*i. Is (-1 + (-52)/(-6))*s a multiple of 23?
True
Let a be (-1)/1*(-3 - -2). Let y = 5 - a. Does 2 divide y?
True
Suppose -5*t = -318 - 1112. Does 13 divide t?
True
Suppose -3*w - w + 390 = -v, -481 = -5*w - 2*v. Does 6 divide w?
False
Let o(z) = -3*z - 6. Let l be o(-3). Suppose -l*h + 2*h = -22. Does 15 divide h?
False
Suppose 3*n = -3*t + 21, n - 6*n + 35 = -3*t. Suppose 0 = -v - 5 + n. Suppose v*k - 22 = -5*c, -k - 7 = -c + 3. Does 2 divide c?
True
Suppose 6 = 2*i - 3*i. Let y(x) = -x**2 - 4*x + 1. Let v(q) = 2*q**2 + 7*q - 1. Let w(h) = 2*v(h) + 5*y(h). Is 3 a factor of w(i)?
True
Let b = 95 + -73. Is 9 a factor of b?
False
Suppose -u - 3*w + 100 = 0, -2*u + 4*u + w - 195 = 0. Let b = -67 + u. Does 10 divide b?
True
Let r = -5 + 7. Is (-336)/(-18) - r/(-6) a multiple of 19?
True
Suppose 2*m - 352 = 5*b + 56, -3*m - b = -629. Does 11 divide m?
True
Let c(w) = -37*w - 21. Let m(y) = 9*y + 5. Let l(j) = 2*c(j) + 9*m(j). Is 16 a factor of l(8)?
False
Let q = 8 + -3. Suppose 0 = d - 0*d - q. Suppose 0 = d*s - r - 35, -2*r - 16 = -6. Is 6 a factor of s?
True
Does 32 divide (12 - -3)*(-96)/(-15)?
True
Is ((-5)/(-15))/((-4)/(-72)) a multiple of 6?
True
Suppose 4*k = 5*k - 77. Suppose 0 = 5*y - 43 - k. Is 10 a factor of y?
False
Suppose -4*w = -2*l - 20 + 70, -5*l + 3*w = -90. Is 7 a factor of l?
False
Suppose -2*g + 14 = 2*p, 3*g = -2*p + p + 13. Suppose -5*w = -83 + g. Does 12 divide w?
False
Is 5 a factor of 77 + (80/50 - 2/(-5))?
False
Let t be (5/4)/((-2)/168). Let w be ((-4)/3)/((-10)/t). Is 4 a factor of (-108)/w + (-2)/(-7)?
True
Suppose -2*r - 10 = 5*f, f - 8 = 4*r + 5*f. Let h(c) = c**2 + c - 5. Let k be h(r). Is 18 a factor of (-2 + 24/(-15))*k?
True
Let d(n) = -n**2 - 5*n + 8. Let v(r) = r. Let s be v(-6). Let h be d(s). Suppose -23 = -h*p + 55. Is p a multiple of 13?
True
Let p(g) = -3 + g - 2 + 0. Let c be p(5). Is 52 + (4 + -3 - c) a multiple of 14?
False
Let b = 154 - 95. Does 15 divide b?
False
Suppose 2*c - 9 = 31. Does 5 divide c?
True
Let g(t) = 38*t. Let w = 2 - 11. Let d be 12/(-42) - w/7. Does 16 divide g(d)?
False
Let p(w) = -2*w - 8. Let b(y) be the third derivative of y**4/12 - y**3/3 + y**2. Let f be b(-2). Does 2 divide p(f)?
True
Let d = 10 + -6. Suppose -5*p = -71 - d. Does 11 divide p?
False
Suppose -2 = 2*d - 10. Let t be d/4 + 10/2. Suppose -t*n = -3*n - 33. Is 4 a factor of n?
False
Let m(y) = -y**2 + 9*y - 8. Suppose 7 = 6*l - 5*l. Is m(l) a multiple of 3?
True
Let o(u) = -u**3 + 9*u**2 - 3*u - 6. Let w be o(6). Suppose 3*r = -0*r + w. Is r a multiple of 11?
False
Let a be 2 + (-2 + 5 - -7). Let z = 20 - a. Is z a multiple of 3?
False
Let z = -320 + 512. Is 32 a factor of z?
True
Let g(c) = c**3 - 8*c**2 - 10*c + 7. Let b be g(9). Does 7 divide -3 - (-11 + b/(-2))?
True
Suppose 8*c - 2*c - 114 = 0. Is c a multiple of 14?
False
Let g(b) = 13*b + 3. Let d be g(5). Let k = -38 + d. Does 10 divide k?
True
Suppose -2*w - 3*q = -29, -4*w - 3*q + 24 = -43. Is 7 a factor of w?
False
Suppose -9*m - 48 + 246 = 0. Is m a multiple of 11?
True
Let m(i) = 33*i - 6. Is m(2) a multiple of 9?
False
Is 3/(-9) + (-3619)/(-21) a multiple of 20?
False
Suppose -7*w + 330 = -4*w. Is 8 a factor of w?
False
Suppose s + r = 113, -4*s - 3*r + 720 = 266. Suppose 0 = -3*k + s - 16. Does 6 divide -2 - -2*k/3?
False
Suppose -4*d - 8*d = -828. Does 23 divide d?
True
Let m(w) be the second derivative of -w**5/20 - w**4/4 - w**3/3 - 4*w**2 - 9*w. Is m(-5) a multiple of 8?
False
Let i(g) = -g**3 + g**2 - 7. Suppose -5*z = -3*y + 15, y = 6*y - 4*z - 12. Let s be i(y). Let a(h) = -4*h + 1. Does 11 divide a(s)?
False
Let g(a) be the second derivative of 23*a**5/20 + a**3/6 - 2*a. Is 15 a factor of g(1)?
False
Does 18 divide 4/14 - 1/((-14)/1536)?
False
Let g = 6 - 1. Let i be 10*(g + -2)/(-3). Let z = 13 + i. Is 3 a factor of z?
True
Let i = -27 - -45. Suppose 6*q - 3*q = i. Does 2 divide q?
True
Is ((-4)/(-4))/(((-4)/127)/(-4)) a multiple of 38?
False
Let j = 8 - 5. Suppose 0 = -7*q + 4*q - 3*d + 93, -j*d = 9. Suppose 5*w - 21 - q = 0. Is 8 a factor of w?
False
Let q = 14 + -9. Suppose 4*