= -165, -5*z + h = -h - 159. Is 17 a factor of z?
False
Let k be (3 - (5 - 2))/1. Suppose k = -0*x - 4*x + 84. Does 21 divide x?
True
Let v = -4 - -7. Suppose -2*b + 13 = v. Suppose g - b*q = -4*g + 65, -4*q - 13 = -g. Does 5 divide g?
False
Let l(w) = w**2 + 7*w - 14. Does 16 divide l(-13)?
True
Suppose 2 = 5*s - 8. Let m be s/(-5) - 174/(-10). Let p = m + -4. Does 5 divide p?
False
Let h(r) be the third derivative of r**4/3 - r**3/2 + 2*r**2. Let a = -6 - -11. Is 16 a factor of h(a)?
False
Let p(m) = -m**3 + 6*m**2 + 2*m + 5. Is 17 a factor of p(6)?
True
Let f(u) = u**2 - 8*u. Is f(9) a multiple of 3?
True
Let y(g) = g**3 + 2*g. Let u(q) = q**3 - q**2 + 3*q. Let t(b) = -3*u(b) + 4*y(b). Let a = -6 + 8. Is t(a) a multiple of 8?
False
Let l(w) = -w**2 + 7*w - 7. Let c be l(5). Suppose -c*m + 3 = -2*m. Let q = 24 - m. Is q a multiple of 11?
False
Suppose -106 = -9*x + 7*x. Does 14 divide x?
False
Suppose 5*x + 20 = -r, -3*x - 9 = r + 5. Let y(v) = -3*v + 3*v + 4*v + 2*v**2. Does 2 divide y(x)?
True
Suppose 3*o = 2*o + 6. Is 4 a factor of 62/o + 10/15?
False
Let u(l) = -l**2 - 13*l + 6. Let m be u(-14). Let h be (-85)/4 - 2/(-8). Is 3 a factor of 2/m - h/4?
False
Let w be 0/(0 + 2 - 0). Let m(r) = r**2 + r + 7. Is m(w) even?
False
Does 3 divide ((-1218)/145)/(2*3/(-40))?
False
Suppose 10 = -g - 4*g, -5*k = g - 13. Suppose 2*y = 2*b + 18, 0 = -4*y + k*y + 4*b + 12. Is 3 a factor of y?
False
Suppose -g - 1018 = 5*j, j + 0*j + 3*g + 198 = 0. Let x = 316 + j. Suppose 4*i - 60 - 37 = -o, 0 = -4*i - 4*o + x. Is i a multiple of 10?
False
Let k(m) = m**2 - m. Is 7 a factor of k(8)?
True
Suppose -4*s = 5*p - 525, -89 + 404 = 3*p + 2*s. Let u(o) = 4*o**2 + 2*o + 1. Let y be u(-1). Suppose 0 = -4*a - y*d + p, 3*d + 25 = 10. Is a a multiple of 15?
True
Let c(x) = -5*x. Let p be c(1). Let m be p - -3 - (0 + 30). Let n = -23 - m. Does 9 divide n?
True
Let x(p) = -p**3 + 5*p**2 - p - 6. Let m be x(5). Let v be (-9)/(-27) + m/(-3). Suppose 0 = v*y - 69 - 79. Is 20 a factor of y?
False
Let s = -19 - -32. Does 13 divide s?
True
Let m(d) = 2*d - 3. Let o be m(0). Let p(y) = 2*y**2 - 2*y - 3*y**2 + 3*y**2 - 4. Is p(o) a multiple of 10?
True
Let r = 6 - 1. Suppose r*q = -0 + 15. Let s = q - -5. Is s a multiple of 4?
True
Let b(g) = -2*g + 1. Let s be b(-3). Let a = 14 + s. Let d = a + -15. Does 6 divide d?
True
Let h = -7 + 13. Is h even?
True
Suppose 0 = -2*q - 0*q + 74. Suppose -q = -3*z - 7. Suppose s = -s + z, -4*w + 103 = -5*s. Is w a multiple of 16?
True
Let k = 3 - 1. Let i(m) = -11*m + 15 - 9*m**2 + k*m**3 - m**3 + 2 - 5. Does 2 divide i(10)?
True
Suppose f + 4*f = 0. Suppose 0*x + 2*x - 32 = f. Is 16 a factor of x?
True
Let v = -9 - -6. Let y be 15/v - (-4)/2. Does 12 divide ((-81)/6)/(y/8)?
True
Let d(g) = -5*g**2 + 3. Let k be d(3). Is (-3)/7 + (-858)/k a multiple of 20?
True
Let s(x) = -x + 6. Let u be s(3). Suppose 5*a + q = -4*q - 20, 4*q + 16 = u*a. Does 11 divide 0/(-1) - (-11 - a)?
True
Suppose -5*q + 10 + 0 = 0. Let c be 0 - -17 - q/2. Let g = 47 - c. Is 13 a factor of g?
False
Let y = 7 + -6. Is -7 + 50 - (-1 + y) a multiple of 15?
False
Let q(m) = 2*m**2 - 2*m - 4. Let o be 5/(20/8)*-1. Is q(o) a multiple of 8?
True
Let g(w) = -w**3 - 9*w**2 + 5*w + 20. Is 16 a factor of g(-10)?
False
Is 15 a factor of (5 - 1) + (-710)/(-10)?
True
Let j(x) = x**3 + 7*x**2 - 5*x - 9. Is 13 a factor of j(-4)?
False
Let x = -35 - -21. Is (-678)/(-21) - (-4)/x a multiple of 16?
True
Let s = -259 - -399. Let j = s + -63. Does 19 divide j?
False
Let s(z) = z**2 - 2. Does 4 divide s(-4)?
False
Let n(q) = 3*q**3 - q**2. Let l be n(1). Does 9 divide (-6)/(1/((-3)/l))?
True
Let w = -41 - 1. Let s be (-720)/(-64)*(-32)/6. Let g = w - s. Does 8 divide g?
False
Let s(r) = 40*r. Let k be s(1). Suppose -k = 6*x - x. Let f = x - -23. Does 11 divide f?
False
Let g(u) = -47*u - 2. Is g(-1) a multiple of 6?
False
Let p = 65 + 225. Is p a multiple of 16?
False
Let k(i) = -i**3 + 7*i**2 - 2*i - 8. Let u be k(7). Let t = 50 + u. Is 12 a factor of t?
False
Suppose -j = -2*j + 3, 3*z - 3*j - 156 = 0. Let d = -2 - z. Let u = d - -81. Does 8 divide u?
True
Let a(x) = 83*x**2 - 4*x - 3. Is a(-1) a multiple of 24?
False
Is -3*(-6)/(-9)*(5 + -185) a multiple of 36?
True
Let q(x) = 3*x - 2. Is q(2) a multiple of 2?
True
Is 28 a factor of 5/2 + (-2835)/(-14)?
False
Let b(s) = 75*s**3 - 2*s**2 + s. Is b(1) a multiple of 37?
True
Let f(o) = -o**3 + 8*o**2 + 3*o - 8. Is f(8) a multiple of 15?
False
Let j = 28 + -26. Suppose j*f + 26 + 4 = 4*h, h + 5*f = 13. Is h a multiple of 4?
True
Suppose 0 = 4*z + 3*g + 25, 19 - 4 = -5*g. Let v be (-18)/z + (-5)/(-10). Suppose -26 + 86 = v*b. Is 6 a factor of b?
True
Let v = 12 - 3. Suppose v = w + 2. Does 6 divide w?
False
Suppose 17 = 3*f - 13. Let s be 1/((f/6)/5). Does 11 divide (s/(-2))/((-3)/28)?
False
Suppose 0 = r + f - 86, 0 = 5*r + 5*f - 2*f - 440. Is r a multiple of 20?
False
Suppose a - 6*x = -3*x + 35, 0 = -3*a + 3*x + 81. Is 23 a factor of a?
True
Let s(f) = f**2 + 8*f + 4. Let h be s(-8). Suppose 3*m = 2 + h. Is 20 - (0 + (1 - m)) a multiple of 11?
False
Suppose t + 6*m + 33 = 3*m, -5*t - 132 = 4*m. Suppose -70 = 4*c + c. Let r = c - t. Is 4 a factor of r?
False
Suppose 0*r = -3*r + 12. Suppose 6*x - 2*i = 2*x + 46, 2*x = r*i + 38. Is x a multiple of 9?
True
Let k = 241 + -70. Does 9 divide k?
True
Suppose -6*h + 721 = h. Is 9 a factor of h?
False
Let f = 3 - 1. Suppose -3*y = -f*y - 2. Suppose u + 5*h - 68 = -y*u, -h = 4*u - 68. Does 8 divide u?
True
Suppose 0 = 4*a - 16, -3*t + a = 26 - 70. Is t a multiple of 8?
True
Let m = -2 - 8. Suppose o = -0*o - 3*q + 33, -4*o + 118 = -2*q. Is (-2)/m - (-594)/o a multiple of 8?
False
Suppose f = -4*p + 68, -f + 2*f + 60 = 4*p. Suppose p = 2*i - 14. Does 8 divide 16/6*i/5?
True
Suppose -3*p - 2*p + 10 = 0. Let k = 7 - p. Suppose 2*y = f + 10, 0 = -3*y + k*f + 12 + 3. Is 5 a factor of y?
True
Let k be (-1 - 8)*(-2)/(-6). Is 37/3 - 2/k a multiple of 10?
False
Suppose 86 = t + 16. Let m be 2 - t - 6/2. Let z = 106 + m. Does 11 divide z?
False
Let a(k) be the second derivative of k**5/20 - 2*k**4/3 + k**3/6 + 3*k**2/2 - k. Is a(8) a multiple of 11?
True
Let y = 479 - 317. Does 24 divide y?
False
Suppose -3 = -z - 0. Suppose -3 = -2*m + z. Let a = m - 0. Does 2 divide a?
False
Does 7 divide 2 + 14 + -1*2?
True
Suppose -3*h - 4 = 5*a, -4*a = -h + 8 + 2. Suppose h*l = 2*f + 24, -f + 6*f + 12 = -l. Does 4 divide l?
True
Let m = -190 + 348. Is m a multiple of 32?
False
Let d(k) = k**2 - 2*k + 10. Is d(8) a multiple of 6?
False
Suppose 3*h = -43 + 214. Let j(d) = -6*d + 2. Let z be j(6). Let p = h + z. Is 20 a factor of p?
False
Let i be 3*5 - (-4)/(-2). Let t be (-1 - i)*(-2)/4. Suppose -81 = -3*s - 5*l, -t*s + 108 = -3*s - 4*l. Does 12 divide s?
False
Let m be (-4)/(-10) - 92/(-20). Suppose -4*y - 3*d = 8 - 88, -y + m*d - 3 = 0. Is y a multiple of 12?
False
Let g(z) = -11 + 2 + z**2 - 2*z + 10*z. Let p be g(-9). Suppose -4*b + p*b + 104 = 0. Does 13 divide b?
True
Suppose -15 = -2*v + 9. Suppose -a + 0*a - 3*x - 2 = 0, 0 = -2*a - 4*x - v. Let m = 48 + a. Is m a multiple of 17?
True
Let c be (-3 + 26/8)*452. Suppose 0 = -4*i - 5 + c. Is i a multiple of 9?
True
Let p be (-3 - 86/4)*-4. Suppose -4*f + p = l - 3*l, -2*l = -6. Is f a multiple of 14?
False
Suppose -4*a + 580 = o + 112, -468 = -4*a + 4*o. Suppose -v - 111 = -q, -3*q + 4*q - 123 = -3*v. Suppose -9 = 3*k, 4*y + 3*k - a = q. Is y a multiple of 20?
True
Let z(v) = 6*v. Let a be z(1). Suppose 0 = 3*y - 4*d + 13, 5*d = 2*y + 2*d + 10. Let b = a - y. Does 4 divide b?
False
Let q(c) = c - 9. Let h be q(10). Suppose 4*a = 3*v + 6, 5*a - 2*v = -h + 5. Suppose -i - i + 8 = a. Is i a multiple of 4?
True
Let b be 5/3 - (-1)/3. Suppose 19 = -b*j - 5*k, -3*j + 4*k + 35 = 2*j. Suppose j*o = 7 + 2. Is o a multiple of 2?
False
Let u = -102 - -143. Is 17 a factor of u?
False
Let d(p) = -p**2 + 9*p + 2. Let i be d(9). Suppose i*v + 4 = 3*v. Suppose -5*m - v = -119. Does 8 divide m?
False
Suppose -4*c + 34 = 2*d, -2*d = c + d + 4. Does 7 divide c?
False
Let h be (63/7)/(1 - 2). Let c = h + 14. Suppose -222 = -c*r - 27. Is r a multiple of 21?
False
Let z = -25 - -46. Is 21 a factor of z?
True
Suppose -2*d = -7*d + 20. Does 7 divide ((-14)/d - -3)*-26?
False
Suppose -4*