z + 13. Is p/(-3) + (-8)/12 a multiple of 3?
True
Let u(z) = z. Let t be u(4). Suppose 0 = 3*n - t*p - 141, 4*n - 163 - 25 = 2*p. Does 12 divide n?
False
Let u(c) = 3*c + 16. Let g be u(-7). Let i = g - -63. Does 16 divide i?
False
Suppose 3 - 14 = -w. Let b = w - 6. Suppose -b*d + 49 = 14. Is 4 a factor of d?
False
Let r(y) = -36*y + 1. Let s = 0 + 4. Let h be r(s). Does 13 divide (-3)/(-12) - h/4?
False
Let b = -68 - 5. Let v = b + 113. Suppose 2*u - 10 = 4*a + 58, -u + 4*a = -v. Is 13 a factor of u?
False
Suppose 0 = -3*a + 8*a. Suppose a = 3*y - 15, -2*d + 5*y + 7 = -8. Is 6 a factor of d?
False
Let u(w) be the third derivative of w**4/24 - w**3/6 + w**2. Let f be u(-3). Does 16 divide (-63)/f - 4/(-16)?
True
Let f = -30 + 15. Let l = f + 9. Let d = 4 - l. Does 10 divide d?
True
Let o(t) = -t + 16. Let p be o(11). Suppose 2*y - 64 = -p*i + 4*y, -67 = -5*i + y. Is 7 a factor of i?
True
Suppose -2*c = -46 - 0. Does 5 divide c?
False
Let l(p) = -p**3 - 8*p**2 + 4*p - 1. Let y be -3 + 0/2 + -6. Is 9 a factor of l(y)?
False
Let y = 113 - 62. Suppose x + 22 = -0*x. Let z = y + x. Is z a multiple of 12?
False
Suppose 5*x = -2*l + 111, -2*x = -x - 3*l - 29. Suppose 37 = 3*j - x. Does 7 divide j?
False
Let p(b) = -b**3 + 8*b**2 - 5*b + 2. Let y be p(7). Suppose 0 = -4*l + 12 + y. Does 3 divide l?
False
Suppose 2*l + 2*d = 118, l + 4*l - 303 = 3*d. Does 15 divide l?
True
Suppose -4*r - 2*z = -132, z + 39 = 3*r - 2*r. Is r a multiple of 5?
True
Let n be 4/(-3) + (-26)/(-6). Suppose 2*b - 190 = -n*b. Is b a multiple of 14?
False
Is 72/(-1)*(-14)/21 a multiple of 3?
True
Let z(k) = k**3 - k**2 + 17. Let c be 0/(6/(1 - -1)). Let i be z(c). Suppose -t + g + i = 4*t, 3*g + 21 = 5*t. Is t a multiple of 2?
False
Suppose -c + 3*c + 13 = 3*q, -c + 10 = 4*q. Let z be -2 - (-2 - -2) - c. Suppose z = 5*x - 0*x - 50. Does 5 divide x?
True
Let o(n) = 4*n**2 - 17*n + 17. Is 4 a factor of o(7)?
False
Let w = -133 + 76. Is 22 a factor of -1 - (w/1 + 1)?
False
Suppose -f + 50 = 4*f. Does 3 divide f?
False
Suppose -5*u + 51 = m, 0*m - m + 2*u = -58. Is m a multiple of 14?
True
Suppose 0 = -3*n - 3*s - 15, -2*n + 3*s + 2 = -8. Suppose 3*k + 72 = 7*k. Is 8 a factor of (1 + 0 - n) + k?
False
Let v(c) = 3*c**2 - 13*c + 1. Let b(q) = -2*q**2 + 12*q - 2. Let m(k) = 4*b(k) + 3*v(k). Is 5 a factor of m(-10)?
True
Let s = 83 - 19. Suppose -2*o = -s + 16. Does 12 divide o?
True
Let g = 31 - -72. Is g a multiple of 22?
False
Let y = 6 - -72. Is 27 a factor of y?
False
Let t(q) = 32*q**3 + q**2 - 2*q + 1. Let f be t(1). Suppose 3*b + b = f. Suppose -16 = -g + b. Is g a multiple of 12?
True
Let g(j) = -j - 1. Let z(h) = -h**2 - 5*h + 3. Let i(f) = -5*g(f) - z(f). Is 15 a factor of i(-12)?
False
Let n be (0*2/(-6))/2. Let x(w) be the second derivative of w**4/12 + 3*w**2 + w. Does 6 divide x(n)?
True
Suppose 2*d - g - 225 = 0, 0*g = -5*d - g + 545. Is d a multiple of 10?
True
Let r(m) = -m**2 + 4. Let y be 1/2*(-3 + 3). Let g be r(y). Is 12 a factor of 66/g*(0 - -2)?
False
Suppose 0 = -5*x + 15, -3*p + 4*x + 9 = 6*x. Let l be (-3 + -1)*30/(-40). Let i = p + l. Does 4 divide i?
True
Let p = 67 - -15. Suppose -3*z = -p + 22. Does 20 divide z?
True
Let q(w) = -w**2 - 7*w - 4. Let r(s) = -s - 1. Let v(p) = -q(p) + r(p). Let t be v(-6). Suppose t*u + 43 = 4*u. Does 15 divide u?
False
Suppose -4 + 1 = -l. Suppose 4*t = l*t. Suppose -2*s = 3*b - 4, 5*b = 3*s - t*b - 44. Does 8 divide s?
True
Let z = -249 - -381. Is 26 a factor of z?
False
Suppose l + 1 = 3*t - 3, 4*l = 4*t - 16. Let m be (t - (0 + -2)) + 16. Let w = 29 - m. Is 4 a factor of w?
False
Let k(m) = 11*m + 6. Let j = 4 - 0. Is k(j) a multiple of 21?
False
Suppose -k + 12 = -0. Is (-8)/(-2) - (-8 - k) a multiple of 6?
True
Let j be (-1)/(-3) + (-8)/(-3). Let s(h) = -3*h. Let i be s(j). Let g = 23 - i. Is 16 a factor of g?
True
Let i(r) = 5*r**2 + r - 1. Let d = -1 + -1. Is i(d) a multiple of 9?
False
Let y = 23 + -16. Let w = y + -40. Is (-2)/(-8) - w/12 even?
False
Let b(z) be the third derivative of z**6/120 - z**5/60 - z**4/24 + 3*z**2. Does 11 divide b(3)?
False
Let h(q) = 10*q - 5. Let x(g) = g - 1. Let r(m) = 9*m - 6. Let i(s) = r(s) - 4*x(s). Let z(n) = -4*h(n) + 9*i(n). Does 22 divide z(4)?
True
Is 23 a factor of 50 + 3/(9/(-12))?
True
Let c = 3 - 1. Suppose -2*z + 6*z - 2*o = 2, -5*o - 13 = -c*z. Does 12 divide (-11)/(z*1/3)?
False
Does 10 divide ((-9)/((-225)/20))/(1/75)?
True
Let k(u) = 56*u**2 + u - 6 + 2*u**3 - 3*u**3 - 49*u**2. Is 21 a factor of k(6)?
False
Let d(y) = -2*y**3 - 4*y**2 - 4*y - 5. Is 18 a factor of d(-4)?
False
Let t(a) = -6*a**3 + 2*a**2 + a. Let c(d) = -d**2 + 4*d - 4. Let k be c(3). Let r be t(k). Suppose r = 3*b - 23. Does 10 divide b?
True
Suppose -5*h + y = -3*y - 9, 4*h = 5*y. Suppose -27 = -2*x - h*b + 30, -x - 2*b + 28 = 0. Does 13 divide x?
True
Is 482/15 + (-18)/135 a multiple of 13?
False
Let r(b) be the second derivative of b**4/4 + 2*b**3/3 + 5*b**2 + 3*b. Is r(-4) a multiple of 21?
True
Let i be 2/(-2 + 26/12). Let m = 30 - i. Is m a multiple of 9?
True
Suppose 2*j = -7*j + 684. Is 38 a factor of j?
True
Suppose 3*f + 5*d = 142, 0 = 4*f + 3*d - 111 - 60. Is f a multiple of 13?
True
Let j be (-3)/((-6)/26) + -1. Suppose 0 = -2*s + p + j, s + 4*p = -2*s + 7. Suppose -s*r = -2*r - 36. Does 6 divide r?
True
Suppose 0 = -4*c - 2*a + 168, -c + 51 = 5*a - 0*a. Is c a multiple of 34?
False
Suppose -4*c - c + 3 = -f, 0 = -2*f + 3*c + 1. Suppose -v + f*q - 20 = -3*v, -3 = q. Does 6 divide v?
False
Let y(j) = 17*j + 16. Is 10 a factor of y(2)?
True
Let f = -71 + 111. Is f a multiple of 18?
False
Let t be 2/(-2) - 0 - -7. Suppose f - t*f = -75. Is 6 a factor of f?
False
Let p(u) = 4*u**2 + 28*u + 6. Let x(z) = z**2 + 9*z + 2. Let t(r) = -2*p(r) + 7*x(r). Is 8 a factor of t(6)?
True
Is 2 a factor of (-90)/(-7) + 3 + (-60)/21?
False
Let y(w) be the second derivative of -w**6/360 - w**5/24 - w**4/12 - w**3/3 + 2*w. Let i(b) be the second derivative of y(b). Is 2 a factor of i(-3)?
True
Suppose 0*m = -m. Suppose m*g - 18 = -g. Suppose -9 - g = -3*v. Is v a multiple of 5?
False
Let f(y) = y**2 - 7*y - 4. Suppose g - 4 - 4 = 0. Let j be f(g). Suppose -j*k + 32 = a, -a - 5*k + 11 = -22. Is 14 a factor of a?
True
Does 28 divide (-756)/(-2)*3/(9/2)?
True
Let b(y) = -y**3 + 19*y**2 - 22*y - 9. Does 39 divide b(17)?
True
Suppose 4*o - 76 = -0*j + 4*j, -2*o - 5*j = -10. Suppose -2*q = -161 + o. Is 0 - (q + -1)/(-3) a multiple of 12?
True
Let x be (1 - -4)*(-6)/(-10). Suppose r - x - 21 = 0. Is r a multiple of 12?
True
Let p = 75 - 58. Does 2 divide p?
False
Let w(y) = 8*y**2 + 6*y + 2. Is 8 a factor of w(-3)?
True
Let n be (-2)/(-6) + (-55)/(-15). Suppose 4*h + 20 = -n. Is 8 a factor of 66/9 - 4/h?
True
Let h(r) = -r**3 - 8*r**2 - 7*r - 2. Let s be h(-7). Let j(g) = 10*g**2 + 2. Is 21 a factor of j(s)?
True
Let c = -161 + 255. Does 23 divide c?
False
Suppose -5*i = 5*k + 10, 4*i = 2*k - 4*k + 6. Let y(j) = -j**2 - 8*j - 3. Let h be y(k). Suppose -h*r + 5*v + 57 = 0, -r - 12 = 3*v + v. Is 8 a factor of r?
True
Let d(q) = -q**3 + 2*q + 1. Let z be d(2). Let n = z + 17. Is n a multiple of 7?
True
Suppose -3*g = -3 - 3. Suppose g*q = -q. Is -2 + 43 - q/1 a multiple of 16?
False
Suppose -2*u = 3*u - 665. Suppose 4*c + 4*i + 116 = -0*c, -5*c - u = i. Let q = -3 - c. Does 10 divide q?
False
Suppose 2*q + 87 = 3*q. Is 34 a factor of q?
False
Does 12 divide (4 - 1)*1*(-6 + 10)?
True
Suppose -21 = -g - 0*g. Is g a multiple of 3?
True
Let d = -7 + 8. Let g be ((-6)/4)/(d/(-2)). Suppose -g*j - 5*t + 26 = -2*j, 5*j = -3*t + 64. Does 11 divide j?
True
Is (-9)/(-6)*(-64)/(-6) a multiple of 4?
True
Does 5 divide ((-4)/(-10))/(4/600)?
True
Suppose -2*p + 4 = 4*b - 6, 0 = -4*p - 3*b + 15. Let q be (-7 + 1)/(2/p). Is 8 a factor of ((-3)/q)/((-1)/(-24))?
True
Let x = 58 + 2. Is x a multiple of 9?
False
Let j be (3/(-6))/(1/(-50)). Is j - (3 + -1 - 1) a multiple of 12?
True
Let r be (-4)/14 + 1614/14. Let o(c) = -2*c**2 + 11*c - 1. Let g be o(5). Suppose g*f - 86 = -3*b, -6*b + b - f + r = 0. Is b a multiple of 14?
False
Is 1 + (-709 - -1)/(-4) a multiple of 56?
False
Let b(p) = p**3 - 3*p**2 - 7*p + 5. Let w be b(4). Let x(r) = r**3 + 8*r**2 - 2*r - 9. Is 18 a factor of x(w)?
True
Is (-195)/(-20) - (-6)/(-8) a multiple of 2?