 = -r*i + 1. Is p a multiple of 3?
False
Let z be (82/(-4))/(1/(-2)). Suppose l + m = 2*m + z, 5*l - 190 = 2*m. Is 12 a factor of l?
True
Let y(s) = -s**2 + 9*s - 9. Let z be y(6). Let b be 309/z - 2/(-3). Suppose 7*x - b = 2*x. Does 5 divide x?
False
Suppose -5*h + 62 = -48. Does 11 divide h?
True
Let o = 243 + -165. Is 11 a factor of o?
False
Suppose 17*m - 15*m = -w + 528, 0 = -3*w. Is 33 a factor of m?
True
Let n(i) = i**3 + 3*i**2 - i + 4. Let a be n(-4). Let w = 29 + a. Is 1 - (1 - (w - 2)) a multiple of 10?
False
Let s = 12 + 4. Is s a multiple of 10?
False
Let w(f) be the third derivative of -f**4/24 + 4*f**3/3 - 2*f**2. Let z be w(6). Suppose -z*k + r = -4*k + 20, -5*r = -2*k + 8. Is k a multiple of 9?
True
Let x(n) = n**3 + 17*n**2 - 4*n + 25. Suppose -3*p - 97 = 5*w, -3*p - 55 = 2*w - 9. Does 19 divide x(w)?
False
Let u(a) = 20*a**3 + a. Let q be u(1). Let m = q + -14. Is 7 a factor of m?
True
Let z be (1 - (-49)/(-5))*-5. Suppose 0*x = 4*x - z. Does 11 divide x?
True
Let a(m) = -m**3 - 5*m**2 + m - 1. Suppose 0 = 3*f - 35 - 19. Suppose 4*n + f = n. Is a(n) a multiple of 19?
False
Let d be 4/6 - (-2)/(-3). Suppose d = x + 2*x. Does 10 divide (-1 - x) + 11 + 0?
True
Suppose 4*i = -3*x + 2*i + 51, -2*x - 5*i = -34. Does 17 divide x?
True
Let f = 254 - 142. Suppose 0*r - 4*r + f = 0. Suppose -3*n + 20 = -r. Does 7 divide n?
False
Let x(g) = 3*g**3 + 11 - 4*g**3 + 5*g - 2*g**2 + g - 4. Is 15 a factor of x(-5)?
False
Let s(h) = 2*h**2 - 4*h - 8*h**2 - 4*h**2 + 0*h**3 - h**3 - 2. Let f be s(-10). Let p = f + 1. Does 16 divide p?
False
Let f = 15 - 14. Is 32 + (1/(-1) - f) a multiple of 10?
True
Let x(z) = z**2 - 8*z - 5. Let p be x(9). Suppose -b - p = -3*b. Suppose 2*a = 2*d - 24, 3*a - 45 = -b*d - 1. Is 8 a factor of d?
True
Let p(b) = 2*b - 9. Does 6 divide p(8)?
False
Suppose -s - 28 = -k, 2*k + 134 = 7*k - 2*s. Is 4 a factor of k?
False
Let h(i) = i**2 + 2*i. Let x be h(-2). Suppose 0 = -x*y + 2*y. Suppose y*n - 160 = -5*n. Is n a multiple of 13?
False
Suppose -2*n - 2*n = -20. Suppose -5*x + 64 = -3*t - t, -2*x - n*t = -52. Is 7 a factor of x?
False
Suppose 0*f - 2*f = -8. Suppose -a + f*t - 108 = -5*a, -31 = -a + 3*t. Is 11 a factor of a?
False
Suppose 0 = 3*u - 4*p - 107, p = -5*u + 6*p + 170. Suppose 4*b - u = 19. Does 12 divide b?
True
Let z = -56 - -31. Is ((-11)/5 - -1)*z a multiple of 15?
True
Let s(c) = -9*c**2 - 8*c. Let n(o) = 3*o**2 + 3*o. Let h(l) = -11*n(l) - 4*s(l). Is 10 a factor of h(2)?
True
Let o(j) = 20*j - 4. Is 4 a factor of o(2)?
True
Suppose -4*i + 319 = -97. Suppose i = -p + 3*p. Let f = p + -30. Is f a multiple of 11?
True
Let a = 14 - 10. Suppose 2*s + a = 54. Is s a multiple of 8?
False
Suppose 0 = 8*v - 743 + 167. Does 18 divide v?
True
Suppose 91 = 4*l - n, l - n + 6*n = 49. Does 12 divide l?
True
Suppose -3*a + 155 = -4*f, 5*a + 52 - 303 = 3*f. Let q = 71 - a. Does 22 divide q?
True
Suppose -5*a = 7 - 17. Suppose -a*l = 3*l - 245. Is l a multiple of 22?
False
Let x(n) = -n**3 - 5*n**2 + 19*n - 4. Is x(-8) a multiple of 9?
True
Suppose 4*n - 3*j - 20 = 0, j = 5*n - 2*j - 22. Suppose n*z = 4*z - 86. Is 14 a factor of z?
False
Let x(o) be the first derivative of 5*o + 2 + 1/4*o**4 + 4/3*o**3 + 0*o**2. Does 3 divide x(-4)?
False
Let q = 27 - 21. Is 9 a factor of (-1)/((-3)/q) + 9?
False
Let t be -73 + -3*3/(-9). Let v = -8 - t. Is v a multiple of 23?
False
Let c(f) = f + 4. Let x be (-4)/(-14) + 99/21. Suppose 2*z + 3 = -3*v + 3*z, 0 = 2*v - x*z + 15. Is 4 a factor of c(v)?
True
Let x(n) = n**3 - 14*n**2 + 12*n + 11. Let q be x(13). Suppose -4*y - m - 36 = 0, -3*y = -4*m + 32 + 14. Let c = q - y. Is c a multiple of 3?
False
Let r(m) = -5*m**3 + 3*m + 3. Let o(f) = 6*f**3 - 3*f - 3. Let x(p) = -2*p + 10. Let k be x(7). Let b(a) = k*r(a) - 3*o(a). Is b(3) a multiple of 21?
True
Suppose 4*c + 13 = -35. Let g be (16/c)/(2/3). Does 4 divide -2 + g/((-4)/26)?
False
Let b(n) = -n**2 + 4*n + 0*n**2 - 10 - 2*n. Let m(o) = 2*o**2 - 5*o + 21. Let k(v) = -9*b(v) - 4*m(v). Is k(-6) a multiple of 8?
False
Suppose -5*z - 3*t = -688, z - 73 = -3*t + 55. Does 4 divide z?
True
Suppose -5*k + 1073 = -3*l + 275, 3*k = -3*l + 498. Is k a multiple of 28?
False
Suppose 0 = -4*s + r + 87, -6*r + 30 = 2*s - 2*r. Is s a multiple of 7?
True
Is 3 + 0 - (-37)/1 a multiple of 20?
True
Suppose -t + y + 7 = 20, -y + 37 = -4*t. Let x = t + 105. Is 26 a factor of x?
False
Let l = 93 - 66. Let s = l + -13. Is 7 a factor of s?
True
Let r(p) = -p + 14. Is 24 a factor of r(-10)?
True
Is 9 a factor of (-1)/10*4 + (-184)/(-10)?
True
Let v = 54 + -27. Is 9 a factor of v?
True
Suppose -2*r = 2*o - 84, 6*r - r - 194 = 3*o. Does 40 divide r?
True
Let d be (4/3)/((-2)/6). Is 6 a factor of (-35)/d + (-1)/(-4)?
False
Suppose -21 = -4*r + 7. Suppose 0*z = -z + r. Is 7 a factor of z?
True
Does 9 divide (1 - 1) + (33 - -5) + 2?
False
Let g = -2 - -5. Suppose -g*h - z + 5 = 0, 0 = 2*z - 5*z - 12. Suppose -5*p + 55 = -3*p - h*n, -4*p + 100 = -4*n. Is p a multiple of 10?
True
Let w = 17 + -9. Let m = -3 + w. Suppose -2*b = 4, 2*k + m*b = -k + 47. Is k a multiple of 19?
True
Let k(g) be the first derivative of g**3/3 + 7*g**2/2 + 11*g - 2. Does 14 divide k(-8)?
False
Is 125 + 3 + 3/((-2)/(-2)) a multiple of 15?
False
Let h(o) = -4*o**2 - 2*o - 4. Let x(m) be the first derivative of -2*m**3/3 - m**2/2 - 2*m + 2. Let i(w) = -3*h(w) + 5*x(w). Is 8 a factor of i(-2)?
True
Let q(a) = -2*a - 3*a**2 - 3 - a**2 - a**3 - 3*a + 0*a**2. Let h be q(-3). Let t(p) = 4*p - 3. Does 6 divide t(h)?
False
Let m(s) = -6*s + 3. Is 5 a factor of m(-2)?
True
Let y(k) = -41*k - 2. Let n be y(-2). Suppose 2*h - n = -2*h. Is h a multiple of 16?
False
Suppose 0 = -2*w - 35 + 109. Does 37 divide w?
True
Suppose -5*y = r - 78, 4*y = 4*r + 10 + 38. Let f be y/3 + (0 - -3). Is f*15/3 + 0 a multiple of 20?
True
Suppose 8 = -0*d + 2*d. Suppose 3*w - d*w = -10. Is 7 a factor of w?
False
Is ((-8)/4)/2*-30 a multiple of 14?
False
Suppose 2*i - 2 - 2 = 0. Let j be 1/i*(29 + -3). Suppose -3*s + 3 + 8 = 5*d, 0 = -s + 3*d + j. Is s a multiple of 4?
False
Let t = 5 - 18. Suppose -2*v + 43 = -3*c + 13, 12 = 3*c. Let m = v + t. Is m a multiple of 5?
False
Let s(f) = -8*f**3 + f**2 + f. Let z be s(-1). Suppose i = 3*i - z. Is 24 a factor of 26 - i*2/(-4)?
False
Let q be 776/(-16) - 1/(-2). Let g = -30 - q. Let u = g + -10. Is u a multiple of 3?
False
Suppose 0 = -5*p + 10 + 50. Let y(h) = 6*h. Is 18 a factor of y(p)?
True
Let s(j) be the first derivative of 2*j**3/3 + j**2/2 + 2*j + 2. Is s(2) a multiple of 9?
False
Suppose -165 = -0*s - 3*s. Does 10 divide s?
False
Suppose -5*a = -a - 16. Suppose a*b - 119 - 17 = 0. Does 13 divide b?
False
Let z(c) = 3*c + 3. Let p be z(4). Let h be p/(-2)*80/(-25). Suppose 2*g - 2 = -t - t, 4*t - h = g. Is 3 a factor of t?
False
Let m(j) = 26*j**2 - 5*j + 7. Let r(s) = -53*s**2 + 11*s - 15. Let d(o) = 13*m(o) + 6*r(o). Is d(-1) a multiple of 10?
True
Let y = -196 - -205. Let n(a) be the second derivative of 2*a**3/3 - 7*a**2/2 + a. Is 18 a factor of n(y)?
False
Let p = 1 + 41. Suppose -y + p = y. Is 7 a factor of y?
True
Let y = 11 - 7. Suppose -y*o - 3*f = -107, 21 = o + 4*f - 22. Does 13 divide o?
False
Suppose 0 = -6*a + a. Suppose -4*k - 68 = 4*n, a = 3*k - 3*n + 8*n + 57. Is 14 a factor of (-194)/(-7) - 4/k?
True
Let d = -235 - -401. Let t = d + -79. Does 12 divide ((-1)/3)/((-1)/t)?
False
Let a(l) = 2*l**3 - 2*l**2 + 3*l - 3. Let v(h) = h**3 - 5*h**2 - 6*h + 5. Let f be v(6). Let k = f + -3. Is 10 a factor of a(k)?
False
Suppose 5*v - 6 = -f - 27, v + 25 = 5*f. Let j be (v/5)/(2/(-72)). Let r = -12 + j. Is r a multiple of 24?
True
Let q = -5 + 50. Let i = 75 - q. Is 8 a factor of i?
False
Let n(u) = -u**3 - 6*u**2 - 6*u - 11. Is 2 a factor of n(-6)?
False
Let m = 227 + -122. Is m a multiple of 7?
True
Suppose -3*p - 1111 = -5*o, -5*p + 911 = 10*o - 6*o. Is 8 a factor of o?
True
Suppose -3*t = -o - 14, -3*o = 4 + 2. Suppose t*c = -5*r - 26, 4*c + r - 4*r + 10 = 0. Let p = 8 - c. Does 5 divide p?
False
Let t(i) = i**3 + 8*i**2 + 7*i + 2. Let u be t(-7). Suppose -u*y = 3*y. Suppose y = 2*g - h - 33 - 27, 0 = -2*g - 5*h + 48. Is 17 a factor of g?
False
Let s = 8 + -7. Let g(q) = 6*q. Is g(s) a multiple of 2?
True
Let t be ((-5)/5)/((-2)/6). Suppose 5*j = -t + 3