a multiple of 15?
True
Suppose 2*i - 2*b - 6 = 0, 4*i - 3*b = 2*i + 5. Suppose 0 = -o - i*p + 29, -6*o + 78 = -4*o + 3*p. Is 21 a factor of o?
False
Let t be (-6)/(-21) - 12/(-7). Suppose -2*p - t*p = -12. Does 9 divide (p + 0)*(9 + -1)?
False
Let n(g) = -g**2 + 10*g - 9. Is n(8) a multiple of 3?
False
Suppose 0*v - 20 = 5*v, -5*m = -5*v - 550. Is m a multiple of 27?
False
Suppose -3*m - 17 = -704. Does 23 divide m?
False
Suppose -10*u = -411 - 489. Is 15 a factor of u?
True
Let j(i) = 18*i + 1. Let z be j(1). Suppose z = 2*w - 3*s, 6*w - 4*s - 36 = 2*w. Is w a multiple of 3?
False
Suppose -78 = -3*l + 72. Is 25 a factor of l?
True
Suppose -166 + 1609 = 4*l + 3*i, 2*i = 2. Is 15 a factor of l?
True
Let w = 7 + -38. Let h = 80 + w. Suppose -2*z = -2*v + 76, 6 = -v + 2*z + h. Does 11 divide v?
True
Let t = 104 + 61. Is t a multiple of 13?
False
Suppose -307 = -3*y - 4*d + 2*d, -3*d - 84 = -y. Let o be y/4 + (-1)/(-4). Let g = -1 + o. Is g a multiple of 12?
True
Let t = -260 - -182. Is 5 a factor of t/4*(-6)/9?
False
Suppose -3*x + 88 = -2*x. Suppose -9*v - x = -11*v. Is 11 a factor of v?
True
Let y(b) = -8*b**3 - b**2 - 13*b - 4. Let w(g) = 12*g**3 + 2*g**2 + 19*g + 6. Let j(k) = -5*w(k) - 7*y(k). Is j(-2) a multiple of 13?
True
Suppose 2*d - 8 = 3*d. Let i = -5 - d. Does 2 divide i?
False
Let c be 286 + (6/(-2) - -2). Let t be (-1)/4 - c/(-20). Is 262/t - (-4)/14 a multiple of 10?
False
Let z = 16 + -10. Suppose -9 = k - 123. Suppose z*w = 3*w + k. Is 19 a factor of w?
True
Suppose 3*a + 24 = 99. Is a a multiple of 9?
False
Suppose -214 = -4*f - 5*p, -3*f + 2*p + 228 = f. Does 28 divide f?
True
Let p(i) = 29*i - 1. Let h be p(3). Let a(l) = l**3 - 6*l**2 + 12*l - 32. Let x be a(5). Suppose 4*y + 146 = 5*c, -x*y + y = -3*c + h. Is 12 a factor of c?
False
Let c(a) = -a**3 + 4*a**2 - 3*a. Let z be c(2). Let u = z + 0. Suppose -u*g + 4 = -g. Is g even?
True
Is 4 a factor of (-4)/(-2 - (-105)/55)?
True
Suppose 75 - 17 = a. Is 29 a factor of a?
True
Let a = -2 - -8. Suppose -8*w + 90 = -a*w. Is 12 a factor of w?
False
Let s(c) = -c**3 + 6*c**2 + 3*c - 8. Is 16 a factor of s(5)?
True
Suppose -2*q - 3 = -3*a + 6, q + 5*a = 15. Is 6 a factor of 15 + (1 + q)*-3?
True
Suppose 70 = 2*n - 22. Is n a multiple of 12?
False
Let d be (-9)/(-6)*4*17. Suppose 2*j = -4*s - 0*s - 16, -4*s - 30 = -5*j. Suppose p - 157 = -5*h, -h - j*h + 2*p + d = 0. Does 16 divide h?
True
Let s(z) = 4*z**2 + z. Let p be s(1). Let n(k) = -24*k - 4 + p*k + 2. Is 18 a factor of n(-2)?
True
Let d(w) = 3*w - 34. Is d(18) a multiple of 9?
False
Let j = -23 - -79. Suppose 2*g = 2*n + j, 3*g + 5*n = 4*g - 12. Is 16 a factor of g?
True
Let s be -4 + (-2 + -2 - -12). Suppose -s*w + 90 = 5*v, -3*w = -5*v - 10 - 75. Is w a multiple of 25?
True
Let t(n) = -n. Let w(y) = -27*y + 1. Let f(i) = 4*t(i) - w(i). Is 11 a factor of f(1)?
True
Let b be (-242)/(1 + (-9)/3). Suppose b - 43 = 3*u. Is u a multiple of 14?
False
Let s be (-4)/10 + 504/(-40). Let y = -4 - s. Is y a multiple of 2?
False
Let g(i) = i**2 + 8*i - 1. Let b = 13 - 21. Let h be g(b). Is 92/(-12)*(h - 2) a multiple of 9?
False
Suppose 0 = -2*p - 5 + 15. Suppose -p*s + s + 96 = 0. Is 11 a factor of s?
False
Let f(c) = c**2 - 12*c + 1. Let x be f(6). Let v = x - -52. Does 14 divide v?
False
Is 98/(-21)*(-6)/4 even?
False
Let f(r) be the first derivative of -r**2/2 + 11*r - 6. Is f(-13) a multiple of 12?
True
Let b(t) = -3*t + 2. Let i be b(-2). Let p(k) = -k + 11. Is 2 a factor of p(i)?
False
Let g(j) = j**2 - 6*j + 3. Let y be g(7). Suppose 30 = -5*p - u - u, 0 = 2*u + 10. Let w = p + y. Does 4 divide w?
False
Let u(o) = 2*o**2 + 3*o - 2. Let x be u(1). Suppose 9*d - 36 = x*d. Does 3 divide d?
True
Suppose 0 = 5*k + 621 + 124. Let r = k + 215. Does 22 divide r?
True
Suppose 0 = -3*f - 0*f - 582. Let m = f + 138. Let x = m + 95. Is 19 a factor of x?
False
Let l = 29 + -6. Let r = 22 + l. Suppose -2*g = -5*g + r. Is g a multiple of 15?
True
Let o(j) = -1 - 6 + 2 + 2*j. Suppose 5*i - 15 = 10. Is o(i) a multiple of 2?
False
Suppose 2 = -2*a + 4*u, -2*a = -3*a + 4*u - 7. Suppose 3*c - a*v - 80 = 0, v + 3 - 5 = 0. Is c a multiple of 10?
True
Suppose -5*j = a - 16, 0 = -2*a - 2*a + 4*j - 8. Is 0/a - (-19 - 0) a multiple of 19?
True
Suppose 5*h - 58 + 447 = 2*b, 526 = 3*b + 4*h. Does 9 divide b?
False
Let n(w) = 2*w**2 - 5*w + 2. Let m be n(3). Let d(z) = 0*z + 4*z + m - 3*z. Is 4 a factor of d(0)?
False
Let t(q) be the second derivative of -q**3/3 + q. Let o be t(-1). Suppose -o*w + 144 = 50. Does 17 divide w?
False
Let j be (2/(-6))/(1/(-12)). Suppose 0 = j*c - 2*c - 38. Suppose -3*y = -3*t + 2 - 8, -2*y = 3*t - c. Is t a multiple of 3?
True
Let c = 5 + -3. Suppose -c*b - b = -75. Does 25 divide b?
True
Suppose -u + 15 + 19 = 0. Is 34 a factor of u?
True
Suppose 0 = -2*k - 2*k + 96. Let z = -8 + 20. Suppose 2*y - k = z. Is y a multiple of 9?
True
Suppose -u + 2*u - 25 = 0. Is 25 a factor of u?
True
Let x(r) = -r**3 - r**2 + r + 1. Let p be x(-1). Suppose p*y = -3*y. Suppose -4*j - j + 140 = y. Is j a multiple of 14?
True
Let g = 3 + -4. Let l be (-1)/(0 - -1) + g. Is 15 a factor of (-1)/(-2) - 59/l?
True
Suppose -u + 10 = u. Suppose -u*x = -m - 52, 4*x = -4*m + 32 + 24. Is x a multiple of 5?
False
Does 12 divide 1 - (-2 - (-4 - -49))?
True
Let g(m) be the third derivative of -m**7/2520 + m**6/120 - m**5/120 - m**4/24 + 3*m**2. Let k(p) be the second derivative of g(p). Is 4 a factor of k(3)?
True
Let m be 6*((-120)/(-9))/5. Suppose -q - 3 = -m. Does 5 divide q?
False
Let j = -72 - -102. Is 10 a factor of j?
True
Let p(d) = -d**3 - 3*d**2 + 4*d + 5. Let z be p(-4). Let v be (-1 - (0 - z))*1. Does 9 divide 12/7*42/v?
True
Let z(q) be the first derivative of -q**2/2 + 2*q - 4. Let v be z(-8). Let u = v + -7. Is u a multiple of 2?
False
Let l be (-2)/7 - 1388/(-7). Suppose 4*y = z - l, 3*y + 121 = -3*z - 35. Is 17 a factor of 8*(y/(-8) - 2)?
True
Let a = -98 - -298. Is 21 a factor of a?
False
Let n = 12 + -16. Let r = 18 + n. Does 7 divide r?
True
Suppose -4*i + 8*i - 28 = 0. Is 4 a factor of i?
False
Let v = -50 - -76. Suppose a - v = 4. Is a a multiple of 10?
True
Let i(k) = k**2 + 7*k + 8. Suppose -z = -4*d + 14, -5*d + 6 - 14 = 3*z. Let p be i(z). Is p/(-6) + (-111)/(-9) a multiple of 12?
True
Let m be (-2)/((-6)/(-3))*0. Suppose -8 = -4*j - m*j. Suppose 0 = -4*d + d - 15, 3*d + 97 = j*n. Is n a multiple of 25?
False
Suppose i + 0*i - 4*r = -150, -4*r = 4*i + 520. Let m = i + 200. Does 25 divide m?
False
Suppose -m + 7 = -8. Does 5 divide m?
True
Let t be (-1 + 4)*1 - -2. Suppose 3*g - 2*o + 11 = 0, 6*o - o - 15 = -t*g. Let a = 3 + g. Does 2 divide a?
True
Suppose 5*p - 2*q - 6 = 1, 0 = -3*q + 12. Suppose p + 3 = 2*y. Suppose y + 6 = 3*m. Does 3 divide m?
True
Let v(y) = -y**3 + 13*y**2 - 12*y - 14. Let l be v(12). Let k = 17 + l. Is k a multiple of 3?
True
Let o(p) = 3*p + 2 + 8 - 4*p + 3*p. Does 24 divide o(7)?
True
Suppose -u + 59 = 4*w, w + 206 - 4 = 4*u. Does 13 divide u?
False
Let x(u) be the third derivative of u**5/60 + u**4/2 + 3*u**3/2 + 5*u**2. Is 4 a factor of x(-12)?
False
Let c(n) = -n**2 - 5*n + 4. Let h be c(-6). Let q be 1 + h - (-33 - -1). Suppose 20 = w + l, q = 3*w - l - 21. Does 9 divide w?
True
Let v(i) be the second derivative of 1/2*i**3 - 1/20*i**5 + 7/12*i**4 - 3/2*i**2 + 2*i + 0. Does 6 divide v(7)?
True
Suppose -2*b + 6*b = 8, j - 2*b = 29. Suppose 4*w = 34 - 26. Suppose -d = 2*h - 19, -3*d - w*h - j = -78. Is 6 a factor of d?
False
Let f(w) = -37*w + 15. Is 42 a factor of f(-3)?
True
Suppose -6 = 2*i - 82. Does 17 divide i?
False
Is (38 - (0 - 0)) + 1 a multiple of 14?
False
Suppose 3*h - 4*l = -9*l + 7, 2*h + 5*l = 3. Suppose -h*n + 6*u + 214 = u, 49 = n + u. Suppose -4*s + s + 3*v = -n, 5*v - 25 = 0. Does 22 divide s?
True
Suppose -3 - 7 = -2*d. Suppose 47 = 5*q - 4*c - 9, -65 = -d*q - 5*c. Does 4 divide q?
True
Suppose -3*k + 218 + 47 = 4*d, k = -5. Is d a multiple of 14?
True
Let l = 3 + 25. Does 14 divide l?
True
Is 43 a factor of 2367/11 - 4/22?
True
Suppose d - 3*b = 1 - 3, -3*d = -3*b - 6. Is d a multiple of 3?
False
Let t(f) = f**3 - 8*f**2 - 13*f + 10. Let o be t(9). Let u be (-2 - o/4)*-88. Is 13 a factor of u/(-15) + 6/(-15)?
True
Let j(o) = o - 1. Let n be j(1). Suppose -5*v + 23 - 8 = n. Suppose