b?
False
Let q be (33/9)/(2/(-6)). Let y(m) = -m**2 - 9*m + 13. Let p be y(q). Let c(h) = h**2 + 5*h - 15. Does 21 divide c(p)?
True
Suppose 3*f = -5*u - 23, -3*u + f = -0*f + 11. Let b = u + 6. Suppose -b*v + 11 = -35. Is v a multiple of 23?
True
Suppose -2*z + 4*z + 5*h - 18 = 0, 2*z + h - 10 = 0. Suppose 3*j = z*l - 233, -4*l - 5*j + j = -212. Is 14 a factor of l?
True
Suppose -3*i = 2*i - 5, -4*v - 4*i = -100. Let m = 18 - v. Does 6 divide (m/(-8))/((-9)/(-72))?
True
Let o = -59 + 55. Does 11 divide (o/(-8))/(2/428)?
False
Suppose 6*y + 3*y + 891 = 0. Let o = y + 195. Is 16 a factor of o?
True
Is (-36)/(-108) + (-4198)/(-6) a multiple of 25?
True
Suppose 2*u + 0*u + 4*t = 18, 0 = 2*t - 4. Suppose -2*s + 42 = -4*l, u = 2*l + 15. Does 11 divide s?
True
Suppose 5 = -5*n - 4*u + 981, 0 = -2*n - u + 391. Is n a multiple of 28?
True
Let n = 26 + -13. Let m be (0 + (4 - 1))*n. Let o = 69 - m. Does 5 divide o?
True
Let h(b) = b**2 + 5*b - 6. Let s be 6/(-3)*(-9)/(-2). Does 8 divide h(s)?
False
Let m = 13719 - 9536. Is 89 a factor of m?
True
Suppose -5 - 7 = -2*i. Let m(h) = 14*h + 12 - 20*h + 12*h. Does 12 divide m(i)?
True
Let x = -108 - -103. Is (-13)/x - 24/40 a multiple of 2?
True
Let o be (1/2)/((-3)/(-480)). Suppose -8*b + o = -4*b. Is 8 a factor of 2/b - (-318)/20?
True
Let y = 216 - 174. Does 6 divide y?
True
Let s(h) = -11*h + 228. Does 7 divide s(12)?
False
Is 8 a factor of (1*-35)/((-9)/18)?
False
Suppose 7*k = 8*k - 119. Let p = k - 45. Does 7 divide p?
False
Let y be (-27)/((-20)/(-8) + -1). Is 8 a factor of (-120)/(-9)*(0 - y/5)?
True
Suppose -160 = -m - 4*m. Suppose m = -4*b - 0. Is 25 a factor of (-1)/(-2) + (-396)/b?
True
Let y(p) = p**2 - 6*p + 5. Suppose -5 + 0 = -j. Let t be y(j). Suppose t*d = -d + 25. Is 8 a factor of d?
False
Let m be -4 - (0 + 1 + -3*1). Let d = 6 - m. Is d a multiple of 8?
True
Let b be (-1*-13*5)/(2/10). Suppose 2*h - 2*v - b = 23, 4*h - 5*v = 694. Is 44 a factor of h?
True
Let b = -824 + 1424. Suppose -6*c = -c - b. Is c a multiple of 16?
False
Let o = -10 + 30. Let u = o + -18. Does 18 divide (-610)/(-8) + u/(-8)?
False
Let v = -439 - -895. Does 76 divide v?
True
Suppose 0 = -5*c + 952 - 242. Is 22 a factor of c?
False
Let x(i) = 2*i**2 - 2*i + 6. Is 47 a factor of x(21)?
True
Suppose 3*z + 12756 = 3*i, -2*z - 2388 = -3*i + 10366. Is 26 a factor of i?
False
Is 63 a factor of 910 - ((-10)/(-6))/((-70)/(-252))?
False
Let d(a) = -4*a**2 + 5*a**2 - 21 + a**3 + 26. Let r be d(0). Suppose 5*u - 315 = -r*i, 3*i - i = -4*u + 128. Is 23 a factor of i?
False
Let f = 1250 + -650. Is f a multiple of 50?
True
Let j(q) = -q - 1. Let l(v) = -22*v - 12. Let u(f) = -12*j(f) + l(f). Is u(-3) a multiple of 12?
False
Suppose 3*f = 7*f - 8. Suppose f*v + 63 = 5*s - 22, 2*s - 5*v - 55 = 0. Suppose -3*c + 4*c = s. Is c a multiple of 6?
False
Suppose -2*x = -11 + 1. Suppose 1 - x = -v. Suppose -3*z + 0*z - v*j + 32 = 0, 0 = 2*z - 4*j + 12. Is z a multiple of 3?
False
Let k be -6 + (-3 + 7)*1. Let p be (-24)/(k - 45/(-24)). Suppose 5*y = -3*m + y + p, y - 3 = 0. Is 15 a factor of m?
True
Let q be (-1)/3 + ((-1930)/15)/(-2). Suppose p = 3*p - q. Is 4 a factor of p?
True
Let w(y) = y**2 - 13*y + 5. Let t be w(13). Suppose 0 = t*x - 4*q - 26, -2*x - 6 = -3*x + q. Is 24 a factor of 1/x*96*1?
True
Suppose 126 = 3*n - 336. Does 40 divide n?
False
Let k(t) = -91*t + 446. Is 29 a factor of k(-41)?
False
Let d(j) = j**3 + 8*j**2 + j + 9. Suppose -2*i = -3*p - 17, 23 = i - 3*p + 7. Let x(s) = -10*s + 3. Let l be x(i). Is 11 a factor of d(l)?
False
Suppose b - 4*b + 1008 = 0. Suppose 5*n - n = m + b, 399 = 5*n + 4*m. Suppose -31 = 4*o - n. Does 8 divide o?
False
Let r(n) = 2*n**3 + 0*n + 3*n**3 + 2*n - 2*n**2 - 6*n**3. Let s be r(-3). Is 2 - (s + 40)/(-1) a multiple of 12?
False
Let u(m) = 2*m - 7. Let a be u(9). Suppose -9*w - 216 = -a*w. Does 12 divide w?
True
Is 5/(-6) + 1 - (-91385)/42 a multiple of 41?
False
Suppose 3*a = 4*d + 496, -5*d = 2*a - 7*a + 835. Is a a multiple of 20?
False
Let x = -417 - -463. Does 2 divide x?
True
Let d(b) = 3 - 22 + 2 + 9*b - 3*b. Does 8 divide d(7)?
False
Let h(d) = 6*d**3 - d**2 - 17*d + 54. Is 39 a factor of h(3)?
True
Let m(d) = -3*d - 3. Let z be m(3). Let y = 11 + z. Let x = y - -7. Is x a multiple of 3?
True
Suppose -9*a - 10*a = -4769. Is 37 a factor of a?
False
Let x = 19 - 15. Does 4 divide 23/x + (-12)/16?
False
Suppose 1319 = 4*f + 5*t, -4*f + 1329 = 3*t - 0*t. Suppose -5*x + v = -f, x + 3*v - 76 = v. Is x a multiple of 17?
True
Let v(u) be the third derivative of u**5/60 + 5*u**4/24 - 2*u**3 + 22*u**2. Is v(-8) a multiple of 6?
True
Suppose -3*i + 222 = -0*v + 2*v, -3*v - 4*i + 332 = 0. Does 18 divide v?
True
Let k be (-11 + 12)*(1 + 1). Suppose -k*c + 6 = -c. Is (-1 - -11)*3/c even?
False
Let c = 20 + -18. Let t(k) = -11 - c*k - 7*k + k - 2*k. Is 27 a factor of t(-6)?
False
Suppose 4*i - 5456 = -12*m + 8*m, 8 = 2*i. Is m a multiple of 7?
False
Let g = -7 - -112. Suppose -g = -t - 5*l, 170 + 115 = 3*t + 5*l. Is t a multiple of 5?
True
Does 26 divide 15/(-4 + -1) + (140 - 7)?
True
Is 43 a factor of (-13320)/(-5) - 46/(-23)?
True
Let s = 52 - 40. Suppose -13*z + 45 = -s*z. Does 9 divide z?
True
Let s = -47 + 49. Suppose 153 = s*y - 99. Does 21 divide y?
True
Let r(z) = -2*z + 30. Let f be r(14). Suppose -f*x = -9*x + 371. Let b = x - 32. Does 20 divide b?
False
Suppose 7*t + 2448 = 31*t. Does 34 divide t?
True
Let n(s) = 2*s**2 + 4*s - 3. Let m be n(-3). Suppose -o - m*o - 148 = -4*k, -3*k = o - 131. Is k a multiple of 21?
True
Let h(r) = 2*r + 18. Let y be h(-8). Suppose -3*u + 82 = n - u, -y*n + 192 = -3*u. Does 29 divide n?
False
Let m(y) = y**3 + 2*y - 2. Let n be m(4). Is n/(-189)*-345 + 4/18 a multiple of 21?
False
Suppose -72*z + 36 = -70*z. Suppose 15*q + 276 = z*q. Is 8 a factor of q?
False
Let o = -36 + 38. Suppose 0 = -2*p + p - o, g - 164 = -3*p. Let y = -91 + g. Does 21 divide y?
False
Suppose -b + 4*b + 0*b = 0. Suppose 9*g - g - 1560 = b. Is 13 a factor of g?
True
Let f(h) = h**2 + h - 13. Does 11 divide f(12)?
True
Let d be (-1 - 1)*2/(-2). Suppose -d*t - t = -4*i - 315, -5*t - 3*i = -496. Does 17 divide t?
False
Let w = -19 - 36. Let o = w - -1087. Does 9 divide o/30 - (-6)/10?
False
Let v(h) = h**2 + h + 27. Does 14 divide v(-13)?
False
Suppose 0 = -3*s + s - 5*d + 20, -4*s + d + 62 = 0. Suppose -65 = -s*j + 10*j. Is 10 a factor of j?
False
Let l(s) = -s**3 - 9*s**2 - 5*s + 26. Is 37 a factor of l(-12)?
True
Suppose 7*v - 570 = -395. Does 6 divide v?
False
Suppose 3*n + 6*s - 1917 = 8*s, -n - 4*s = -653. Does 17 divide n?
False
Let k = -2163 - -3436. Does 19 divide k?
True
Let f be (-5 - 168/(-7)) + (2 - 1). Suppose 5*j = 5*m - 8*m + 537, -5*m + f = 0. Is j a multiple of 35?
True
Suppose -2*y + 1288 = 2*p, -4*y - 1526 = -3*p + 420. Is 34 a factor of p?
True
Suppose 0*o + 368 = 2*d + 3*o, d = 2*o + 184. Is 16 a factor of d?
False
Let r = 21 + -12. Let a = -8 + 14. Let k = r - a. Does 3 divide k?
True
Let o = 148 - 37. Is o a multiple of 9?
False
Suppose 145*r = 141*r + 1920. Is 15 a factor of r?
True
Suppose 2*h = -4*c + 2558, 4*c - 7*c = -3*h - 1923. Does 32 divide c?
True
Let r(g) = 4*g**2 - g - 24. Is 33 a factor of r(7)?
True
Let f be 9 + -5 + 272/2. Let o = f - 96. Does 20 divide o?
False
Let l be (11 + -1)*(-364)/(-8). Suppose -3*b = 149 - l. Is 34 a factor of b?
True
Is (-5)/(-4)*16/40*342 a multiple of 20?
False
Let b = -76 + 496. Does 21 divide b?
True
Let c = -25 + 31. Let z = c - -134. Is 20 a factor of z?
True
Let n be ((14/(-3))/(-7))/(2/(-69)). Suppose 60 = a + a. Let t = a + n. Is t even?
False
Suppose j - 4*m - 16 = 0, 3*j = 6*j - 2*m - 78. Let c be 2 + -1 + (2 - -4). Suppose -c*q - j = -8*q. Does 10 divide q?
False
Suppose 0 = -k + 3*q - 77, -3*k - 5*q - 67 - 150 = 0. Let p = 103 + k. Is p a multiple of 26?
False
Suppose -3*z + 4*q = -31, -4*z + 52 - 12 = -5*q. Suppose -5*v = -z*x - 285, -5*x + 3 + 252 = 5*v. Does 15 divide v?
False
Let n(w) be the first derivative of w**3/3 + 5*w**2/2 - 43*w - 37. Does 3 divide n(-11)?
False
Suppose c - 4*l - 97 - 126 = 0, 0 = 5*c - 2*l - 1205. Does 9 divide c?
True
Let v be 2*83*(-2)/(-1). Suppose 4*f - 212 - v = 0. Suppose -5*l - 210 = -4*q + 98, -2*q - 2*l + f = 0. Is q a multiple of 23?
False
Let f = 946 - 540. Is f