-r**3 + 4*r**2 + 4*r + 7. Let t be h(5). Suppose -2*j - t*j = -8. Suppose 34 + 2 = j*z. Is z a multiple of 9?
True
Let q = 65 + -22. Does 13 divide q?
False
Let o = -41 - 6. Let n = -29 - o. Does 15 divide n?
False
Suppose -230 = -2*s - 84. Suppose -242 = -5*l + s. Is 19 a factor of l?
False
Let h(y) = y**3 + 3*y**2 - 3*y. Suppose 3*c = 4*l + 7, -5*l = 30 - 10. Is 3 a factor of h(c)?
True
Let i(n) = 3*n**3 + 3 - 3*n**2 + 11*n**2 - 2*n**3. Is i(-7) a multiple of 21?
False
Let f(i) = 3*i - 6. Let p(w) = -w + 2. Let z(o) = 3*f(o) + 8*p(o). Let u be z(3). Is u - (-6)/9*3 a multiple of 2?
False
Let q(f) = -f**2 - 9*f + 12. Let m be q(-10). Let z(n) = n**3 + 2*n - 2. Is 10 a factor of z(m)?
True
Let g(n) be the first derivative of n**4 + 2*n**2 - 3*n + 1. Let w be g(2). Let a = -15 + w. Is 22 a factor of a?
True
Is 13 a factor of (-2)/7 + 2562/49?
True
Let h(z) = z**2 - z - 11. Is 9 a factor of h(-7)?
True
Suppose 3*v - 4 = 5. Suppose -v*g + 2*b - 6*b + 11 = 0, -g = 4*b - 1. Is g a multiple of 2?
False
Let y be (-4)/((-4)/(-2)) + 6. Suppose -5*j = -j - y. Is 1 + -2 - (-8 - j) a multiple of 4?
True
Suppose -9 = -2*c + 1. Suppose -5*w - 5*z + 10 = 0, -2*w + 4*w = c*z + 25. Does 3 divide w?
False
Let b = 6 + -2. Suppose q = -4*s + 319, 162 = 2*s - 0*q - 2*q. Suppose h = -b*h + s. Is h a multiple of 16?
True
Suppose -12 = -3*c - 0*c. Suppose -b = -c*b + 9. Does 12 divide (-105)/(-9) + 1/b?
True
Let y(z) = 4 - 2 - z - 5*z + 3*z. Let r(i) = -i**2 + 6*i - 7. Let o be r(5). Is y(o) a multiple of 4?
True
Let c = -94 - -140. Does 23 divide c?
True
Suppose 0*z = 2*z - 24. Suppose 3*l - z = -4*u, -9 = -3*u - 2*l - 0. Suppose -u*i = -5*i - g + 42, -i + 21 = g. Is 11 a factor of i?
False
Let m = 25 - 18. Let r be 2/m - (-14)/(-49). Suppose -g = -r*g - 19. Is g a multiple of 7?
False
Suppose 96 = 3*u + 2*m, 3*u + 0*m - 81 = 3*m. Is u a multiple of 6?
True
Suppose 0 = 6*j - 16 - 134. Is 9 a factor of j?
False
Suppose 90 = -j + 4*j. Does 7 divide j?
False
Suppose 0 = d + 2 - 4. Is d a multiple of 2?
True
Suppose 5*m - r = 30, -2*m + 45 = 2*m - 5*r. Suppose -2*d - m*j = -50, 29 = 3*d - 3*j - 4. Does 5 divide d?
True
Let l = 50 + 53. Let q = l - 56. Does 16 divide q?
False
Suppose 0 = -4*f - r + 47, -4*f + 15 + 36 = -3*r. Is 12 a factor of f?
True
Let t(b) = -b**2 + b + 3. Let r(y) = -4*y**2 + 4*y + 10. Let z(q) = -2*r(q) + 7*t(q). Let k be z(2). Suppose 0 = k*v - 7 - 17. Is v a multiple of 4?
True
Let h(y) = -y**2 - 7*y - 5. Let b be h(-5). Suppose b*p = -5*n + 20, 5*n + 5*p = 3*n + 20. Suppose -4*m = -40 - n. Does 6 divide m?
False
Let k(c) be the first derivative of c**4/4 + c**3/6 - 3*c**2/2 + 2*c - 1. Let p(d) be the first derivative of k(d). Is 13 a factor of p(-4)?
False
Suppose 35 = 2*v + 3*x - 52, 5*v = -5*x + 225. Suppose 0*s = -2*s + v. Suppose -6*h + 4*h + s = 0. Does 6 divide h?
True
Suppose 37 - 217 = -3*x. Does 15 divide x?
True
Suppose 4*s + 2*z - 264 = -4, 3*z + 122 = 2*s. Is 17 a factor of s?
False
Let o(f) = f**3 - 5*f**2 + 6*f - 3. Let t(k) = -k**2 - k. Let h(q) = -o(q) - 2*t(q). Is h(6) a multiple of 15?
True
Suppose -3*n = w - 5, 0 = -4*w + 2*n - 6*n + 52. Let i be (-2 - 1)/(-1*1). Let c = i + w. Is 10 a factor of c?
True
Is (-2)/13 + (-1338)/(-78) a multiple of 7?
False
Let k(z) = 2*z + 7. Let d be k(5). Is d + (1 - (2 + 0)) a multiple of 8?
True
Let d(m) be the first derivative of m**7/840 + m**6/180 - m**5/60 + 2*m**3/3 + 1. Let n(b) be the third derivative of d(b). Is 4 a factor of n(-2)?
True
Let v(i) = -i**2 - 4*i + 5. Let n be v(-6). Let z be (-2)/n + 24/14. Suppose h = l - 25, 0 = -z*l + 2*h + 3*h + 47. Does 13 divide l?
True
Let c = 120 + -86. Is 21 a factor of c?
False
Is 5*((-4)/(-4) + 6) a multiple of 7?
True
Let w(i) = -i - 1. Let r(j) = 16*j + 4. Let t(p) = r(p) + 5*w(p). Is t(1) a multiple of 5?
True
Let k be 1/2*-6 + 5. Suppose -k*i + 0*i + 2*x = -30, -x - 51 = -3*i. Is 9 a factor of i?
True
Suppose -4*h + 43 = 5*n + 6, -2*h = n - 11. Suppose -5 = -2*l + n. Let k(d) = d**3 - 4*d**2 - 4*d + 7. Does 10 divide k(l)?
False
Suppose n - 16 = -4*y - 4*n, -3*y + 4*n = -43. Does 13 divide 133/y - (-2)/9?
False
Suppose -2*n = -0*n + 12. Let c(o) = -o**2 - 7*o - 2. Does 3 divide c(n)?
False
Suppose 9 = 2*o - 5. Let t(r) = 9*r - 7. Let b be t(o). Let d = b - 34. Is d a multiple of 11?
True
Let u = 42 - 42. Let v(r) = 3*r - 40. Let y(m) = 5*m - 80. Let z(i) = 7*v(i) - 4*y(i). Is 20 a factor of z(u)?
True
Suppose 5*u + 6 = 3*s - 0, 4*s - 3*u - 8 = 0. Does 13 divide (-18 - -5)*(-2)/s?
True
Let t = 3 - 0. Let s(r) = 2*r + 5. Let w be s(4). Let v = w - t. Does 7 divide v?
False
Let h be (-1)/(-6) - (-359)/6. Suppose 0 = 4*k + 2*j - h, 26 = k - 3*j - 2*j. Is 11 a factor of k?
False
Let s(h) = -45*h. Is 25 a factor of s(-1)?
False
Does 12 divide (24/(-14))/(2/(-14))?
True
Let w(c) = 4*c**3 - c**2 - 2*c. Suppose n - 4*r = 6, -6*n + 4*r + 10 = -3*n. Let q be w(n). Is 10 a factor of (5/4)/(3/q)?
True
Let x(o) = 6*o + 3 + 6*o**2 - 3*o - o**3 + 3. Is x(5) a multiple of 23?
True
Is 3 a factor of (6 + -8)/((-1)/3)?
True
Let y(p) = -p**2 - 8*p - 7. Let v be y(-7). Suppose v = 5*k + 2*o - 174, 0 = k + 2*k + o - 104. Does 9 divide k?
False
Let c(w) = 3. Let r(v) = -v - 16. Let z be (-9)/6 + (-2)/4. Let l(y) = z*r(y) - 11*c(y). Is 2 a factor of l(2)?
False
Let p(o) = -23*o + 36. Is 20 a factor of p(-6)?
False
Let v(b) = -b + 1. Let h be v(1). Suppose i - 15 = -h*i. Does 6 divide i?
False
Let f = 35 - 17. Is f a multiple of 6?
True
Suppose 0 = -k - 1 + 5. Suppose -2*v = r + 6, -k*r + 0*v - 2*v = -6. Suppose -2*m = -34 - r. Does 19 divide m?
True
Let y be (-4 + 3)/(3/(-258)). Suppose -14*t = -12*t - y. Is 30 a factor of t?
False
Let n(o) = -3 + 0*o - 2*o + 0*o. Let m be n(-2). Is 3 a factor of 2/m - (-14)/2?
True
Let a = 31 + 49. Suppose 0 = 2*r - 7*r + a. Suppose 0 = -j + v + r, 8 = 5*j - 3*j + 4*v. Is j a multiple of 5?
False
Suppose 2*q - 5 = 3*q, 2*q = -5*a + 715. Let c = 69 + -64. Suppose 0 = -c*m + 5 + a. Does 10 divide m?
True
Suppose p - 4*p + 24 = 0. Let a(t) = -t**2 + 11*t - 9. Let g be a(p). Let x = 23 - g. Is 4 a factor of x?
True
Let k be (-7 - -5) + 3 + -1. Suppose -j + 2*j - 21 = k. Is j a multiple of 6?
False
Suppose -3*z + 19 - 31 = 0. Let l = z + 13. Is 3 a factor of l?
True
Let g(x) be the second derivative of -x**4/12 + 3*x**3/2 + 3*x**2 + x. Suppose -2*i + 14 = 4*p - 2*p, 35 = 5*i - 5*p. Is g(i) a multiple of 10?
True
Let f be 124/3 + (-2)/6. Suppose -7*a + 2*a - 95 = 0. Let g = a + f. Does 11 divide g?
True
Let c(h) = -h + 8. Let l be c(7). Is 13 a factor of ((-4)/(-6))/(l/39)?
True
Let v(k) = 35*k - 57. Is v(5) a multiple of 45?
False
Let v be 2/3 - 519/9. Let t = 81 + v. Is t a multiple of 11?
False
Suppose -11 = 4*l - 179. Does 6 divide l?
True
Suppose 3*u = 9, -4*u = 6*z - z + 13. Let c be 134/(-4)*(z + 3). Suppose 3*q - t - c = 4*t, -55 = -5*q - 3*t. Is q a multiple of 7?
True
Let q = 22 - -12. Is q a multiple of 19?
False
Suppose -4*h + 6 + 14 = 0. Let x be ((-12)/h)/(8/(-20)). Does 7 divide 2/x - 114/(-9)?
False
Does 27 divide (-4)/(-10) - (4 - 2232/20)?
True
Let u(i) = -3*i - 2. Let b be u(-2). Suppose b*c + 10 - 50 = 0. Does 4 divide c?
False
Suppose 0 = -2*f + 4*p + 88, 0*f - 4*f - 3*p = -143. Is 9 a factor of f?
False
Suppose -5*v = -3*v - 88. Does 31 divide v?
False
Let l(a) = 3*a**2 - 3*a - 3. Let d be l(-6). Suppose 2*y - d = 5*c, 0*c + 3*c = -4*y + 207. Suppose -4 + y = 5*t. Does 5 divide t?
True
Let d(b) = b**3 + 5*b**2 + 6*b + 5. Let w be d(-4). Is 9 a factor of w + (19/1 - -2)?
True
Suppose -i - 3*a + 15 = -29, 2*a + 2 = 0. Does 13 divide i?
False
Let t(p) = -p**2 + 9*p - 2. Let g be t(7). Suppose -633 = -3*a + g. Suppose 0 = -9*z + 4*z + a. Is z a multiple of 15?
False
Let a be (-2)/3*6/(-2). Let s be (-3 + a)*7*-2. Does 3 divide 102/14 - 4/s?
False
Let i(o) = -o**2 + 5. Let v be i(0). Suppose -4*a = -3*s + 22, v*s = 3*s - a. Let n(g) = 4*g - 3. Does 5 divide n(s)?
True
Suppose 3*y + 3 = 0, -n + 4*y = -0*n - 9. Suppose -31 = -3*v - n*x, 0*v - 13 = -4*v - x. Suppose -4*z + 15 = v*h - 57, 5*h - 235 = z. Is 23 a factor of h?
True
Let v(b) = -b**2 - 5*b + 8. Suppose 0 = 5*w - 4*g + 6 + 12, g = -3. Let l be v(w). Suppose 7 = p + l. Is p a multiple of 2?
False
Let b be (-1919)/(-9) - 8/36. Suppose 5*z = -j + b, z - 41 - 16