False
Suppose 3*b = 4*b + 4. Let d = b - -7. Is 2 a factor of (-1)/d - (-20)/6?
False
Let h be 30/9 - (-2)/(-6). Let k(d) = d**2 - d + 6. Let p be k(3). Is (p/(-10))/(h/(-10)) a multiple of 4?
True
Let j(i) = 2*i - i + i**2 + 0*i**2 - 7. Does 4 divide j(-5)?
False
Let x(p) = -21*p**3 - 1. Let a be 2*1*(-3)/6. Is 10 a factor of x(a)?
True
Let b(p) be the first derivative of -3*p**4/4 - p**3/3 - p**2/2 - p - 1. Let s be b(-1). Suppose 2*i = -l - 0*i + 55, 4*l - 190 = -s*i. Is 19 a factor of l?
False
Let q(f) be the third derivative of -f**4/6 - f**3 + 6*f**2. Let g = -5 + -1. Is q(g) a multiple of 18?
True
Suppose -4*f + 39 + 381 = 2*t, -2*t = -f + 105. Let g = -158 - -84. Let j = g + f. Does 18 divide j?
False
Let r = -4 - -1. Let g = r + 12. Does 3 divide g?
True
Let u(v) = v**2 + 5*v - 5. Let r be u(6). Suppose 0*g - 16 = -4*g. Suppose -2*h - 17 - 49 = -g*n, r = 4*n - 3*h. Does 7 divide n?
False
Let m = -8 - -2. Is (14/m - -2)*-6 even?
True
Let j(h) be the third derivative of h**6/120 + h**5/30 + h**4/24 - h**3/6 - h**2. Does 7 divide j(2)?
False
Does 21 divide (600/30)/(4/42)?
True
Suppose 3*a = -3, v = -v + 5*a + 29. Is v a multiple of 3?
True
Suppose -2*l + 4*l + 3*r = 211, 2*l + 4*r - 206 = 0. Is 23 a factor of l?
False
Suppose -5*j + 2 = 22. Is (-57)/(-12) + (-1)/j even?
False
Suppose 4*m + m + 6 = 4*s, -2*s - 8 = 3*m. Let q(z) = -2*z - 3 + 0*z - 5*z. Does 11 divide q(m)?
True
Suppose 0 = 2*h + h + 4*b - 8, 2*h - 2 = -b. Suppose h = -5*k + 3*k - 3*l + 75, -k + 35 = -l. Does 12 divide k?
True
Let a(d) = d**2 + d - 2. Let y be a(-3). Suppose y*w = 3*i - 90 - 60, 5*w - 15 = 0. Is 22 a factor of i?
False
Suppose 526 = 5*u - 4*r, -4*u = -5*r + r - 424. Is 18 a factor of 3 + u/(-1 + 3)?
True
Suppose -3*f - 70 - 56 = 0. Is (-4)/(-2 - f/22) a multiple of 11?
True
Let m = -6 - -14. Suppose -5*j = 22 + 3. Let k = m + j. Is k a multiple of 2?
False
Suppose -2*x + 305 = -j - 2*j, 4*x = -j + 645. Is 40 a factor of x?
True
Let p(h) = 6*h**3 - 9*h**2 - 4*h + 1. Let l(i) = i**3 - i**2. Let y(v) = -4*l(v) + p(v). Let x be y(4). Does 12 divide x - (-2 - 0) - 0?
False
Let o(k) = k**3 + k**2 - 3*k + 3. Let r be o(3). Let g = 50 - r. Is 10 a factor of g?
True
Suppose 4*r - 9*r + 230 = 0. Let h = 72 - r. Is 13 a factor of h?
True
Let d(t) = t**2 + 4*t - 2. Let b(f) = -f - 7. Let v be b(-9). Suppose 2 = v*g + 12. Is d(g) a multiple of 3?
True
Let h = -1 - 2. Let n(y) = y**3 + 4*y**2 + y - 1. Does 5 divide n(h)?
True
Let w(o) = -3*o**3 - 2*o**2 - 4*o + 1. Let r = -11 - -8. Let d be w(r). Suppose -g - g = -d. Is 19 a factor of g?
True
Suppose 0*w = -3*w + 318. Let a = w + -40. Does 22 divide a?
True
Suppose 3*o - 3*g = 15, o + 4*g + 15 = -0*o. Does 17 divide (9/(-6) + o)*-34?
True
Suppose -3*o - 8 = -o, 0 = 4*k - 3*o - 68. Does 7 divide k?
True
Let p(w) = -w**2 - 4*w + 2. Let m be p(-6). Is 12 a factor of (-4)/m + 58/5?
True
Let w(u) = -u**2 + 26*u + 16. Is 22 a factor of w(16)?
True
Is 11 a factor of ((-25)/3)/(3/(-9))?
False
Let g = -386 + 622. Suppose -g - 29 = -5*u. Is 15 a factor of u?
False
Let p(h) = -h**3 - 7*h**2 - 5*h - 1. Let t be p(-6). Let f(r) = -8 + r - 6*r + 2*r. Is f(t) a multiple of 13?
True
Let c(h) = 5*h. Let a be c(1). Let w(b) = -2*b**3 + 5*b**2 - b + 4. Let u be w(4). Is a/((-15)/u) + -1 a multiple of 5?
True
Is ((-147)/(-14))/(1/14) a multiple of 13?
False
Let j(r) be the second derivative of -5*r**3/2 - 3*r**2 + 3*r. Does 25 divide j(-4)?
False
Does 30 divide 113 - 0 - -1 - 0/(-29)?
False
Is 15 a factor of ((-3)/(-12))/((-9)/(-996))*3?
False
Suppose -11*y = -8*y - 558. Is y a multiple of 62?
True
Suppose 0 = 4*x - y - 695, -y = 3*y - 4. Is 50 a factor of x?
False
Let w(q) = -22*q - 1. Let m(c) = -c**3 + 5*c**2 - 1. Suppose -4*g = 5*v - 45, 32 - 2 = 2*v + 4*g. Let i be m(v). Is w(i) a multiple of 6?
False
Let s = -5 - 0. Let m be 336/10 + (-2)/s. Suppose m - 1 = v. Is 17 a factor of v?
False
Let x(l) = l**3 + 8*l**2 - 12*l - 11. Let w be x(-9). Suppose 0 = -c + 2*f + w, -f + 1 = c - 6*f. Does 13 divide c?
True
Suppose -4*t + 16 = 2*m, 13 + 1 = -t - 5*m. Let o = t + 26. Is 6 a factor of o?
False
Suppose 617 + 7 = 3*q. Is 52 a factor of q?
True
Suppose q + 2 - 5 = 0. Let m = q - -4. Does 5 divide m?
False
Suppose 2*t - 4*g - 310 = 0, 0*t + 3*g = -t + 170. Let y = t + -86. Does 11 divide y?
False
Let j(q) = 33*q. Is j(1) a multiple of 11?
True
Is 50/20 + (-1)/2 + 115 a multiple of 39?
True
Let o be (-24)/4 - (-1 - -1). Let l(j) = j**3 + 8*j**2 + 7*j - 6. Is l(o) a multiple of 5?
False
Let d(h) = 2 - 6*h - 21*h**2 - 14 - 6 + 3*h + 2*h**3. Let q(c) = c**3 - 10*c**2 - c - 9. Let k(a) = -4*d(a) + 9*q(a). Does 6 divide k(6)?
False
Suppose 2*j + 0 - 4 = -2*s, s + 6 = j. Is 4 a factor of j?
True
Is 10 a factor of -4 - (-82 + -2 - 0)?
True
Suppose -4*s + 2 = -30. Let u = 0 + 2. Let b = u + s. Is 10 a factor of b?
True
Let f(w) = -5*w**2. Let x(j) = 2*j**2. Let b(z) = -3*f(z) - 7*x(z). Let y(u) = -6*u**2 + 4*u - 3. Let v(a) = -3*b(a) - y(a). Is v(3) a multiple of 9?
True
Suppose -2*j + 19 = -j. Let o = -7 + j. Is 6 a factor of o?
True
Let z(f) = f**2 - 11*f - 9. Does 17 divide z(13)?
True
Let m(u) = 5*u**2. Does 16 divide m(-2)?
False
Suppose 0 + 6 = f. Suppose 3*j = -2*k + 62, 2*k - 82 = -4*j - 0*k. Let s = j - f. Is s a multiple of 7?
True
Let b be (-8)/(-6) - 4/(-6). Is 16 a factor of b*12/(-9)*-12?
True
Suppose -5*j = 5*g + 4 + 6, -2*g = j. Suppose 0 = t + g*t - 12, 4*u = t + 60. Suppose -6*p = -2*p - u. Is 4 a factor of p?
True
Let n(x) = -x**2 + 14*x + 1. Is n(7) a multiple of 10?
True
Suppose 2*b - 1 - 1 = 0. Is 2 a factor of 15/3 - (b - 0)?
True
Let k = -11 - -13. Suppose -k*g - 11 = -3*s, -s - 2*s = -4*g - 13. Is 3 a factor of s?
True
Let d(h) = -h**3 + 3*h**2 - h - 1. Let c be d(3). Let s = 4 + c. Suppose -3*j - 15 + 93 = s. Is j a multiple of 16?
False
Suppose -22 = 2*a + 4. Let t be -3 - a - (-3)/1. Suppose 3*o - 23 = t. Is o a multiple of 4?
True
Suppose 3*n + 360 = 3*p, -5*p - n + 104 = -514. Is p a multiple of 41?
True
Let p = 198 + -129. Is 20 a factor of p?
False
Suppose -f + 368 = 3*f. Suppose 0*b + b + f = 0. Is 23 a factor of 0 + (b/(-2))/2?
True
Suppose -4*f = -5*k - 33 + 112, -4*f + 35 = k. Is k a multiple of 5?
False
Suppose 0 = -4*c + 9*c + 45. Let w = 9 - c. Is 6 a factor of w?
True
Suppose -2 = 3*x + 1. Let g = 1 + x. Suppose g*s - 24 = -3*s. Is 4 a factor of s?
True
Suppose 30 = -5*x + t - 0*t, 0 = t - 5. Let l(d) = -d**2 - 5*d + 2. Let f be l(x). Suppose 2*v + 41 = 3*i - f*i, -5*i - 4*v + 135 = 0. Is i a multiple of 14?
False
Let n(v) = -v - 2. Let z be n(-5). Suppose -g - 35 = -2*d + 4*g, -z*d = -5*g - 50. Is 15 a factor of d?
True
Let i(z) = -z**3 + 4*z**2 - 4*z - 5. Let o(h) = 2*h - 3. Let v be o(4). Let c be i(v). Let g = -28 - c. Is g a multiple of 12?
False
Let c(i) = 85*i - 2. Is c(1) a multiple of 8?
False
Suppose 5*o - 63 + 813 = 0. Let p = o + 67. Let g = -45 - p. Is 19 a factor of g?
True
Let y(p) = -25*p**2 + 3*p. Let g(s) = 37*s**2 - 4*s. Let b(h) = 5*g(h) + 7*y(h). Is b(2) a multiple of 18?
False
Suppose l - z = 14, 0 = 3*z - 6 + 15. Suppose -5*v + l = -3*v - s, -5*s - 34 = -3*v. Does 3 divide v?
True
Suppose f = -3*u + 46, 0*f = 5*u + 2*f - 76. Is u a multiple of 8?
True
Does 20 divide 1 + 25/(-20) + (-1162)/(-8)?
False
Let d = -14 + 10. Let j(y) = -10*y + 5. Is j(d) a multiple of 15?
True
Let y be (-191)/3 - 2/6. Suppose -3*s + 187 = -83. Let n = y + s. Is 13 a factor of n?
True
Suppose 5*o = -5*i + 45, -o + 66 = 5*i - 3*o. Is i a multiple of 3?
True
Let a(y) = -5 - 2*y**2 - 2*y**2 + 6*y**2 + 4*y. Let x be a(5). Does 14 divide 2/1*x/5?
False
Suppose y = -4*l - 3*y + 40, -4 = 2*l - 4*y. Let i(n) be the first derivative of 2*n**3/3 - 4*n**2 + 1. Is i(l) a multiple of 12?
True
Let m = 35 - 20. Suppose 4*o + 2*n = -18, -1 = -o - 3*n - 3. Let v = o + m. Is v a multiple of 10?
True
Let x(p) be the third derivative of p**6/120 - p**5/30 - p**4/6 - p**3/3 - 4*p**2. Is 8 a factor of x(4)?
False
Let u(x) be the third derivative of x**5/60 + 5*x**4/24 - 7*x**3/6 - x**2. Let t be u(7). Suppose -4*b - 24 = -q, 2*q = -2*q - 3*b + t. Is q a multiple of 9?
False
Suppose 8 = -3*q + 20. Let m be ((-17)/4)/(1/q). Is 1 - 2 - (m - 1) a multiple of 10?
False
Suppose 4*m + 4*n = 76, 5*m + n - 151 + 36 = 0. Let j = m + -1. Do