0. Suppose -3*z = -4*n - r, 3*z - 4*n = n + 121. Does 23 divide z?
False
Let w be 20/((-27)/(-12) - 2). Suppose 0*x + w = 4*x. Is 10 a factor of x?
True
Let m(o) = -2*o**2 - 14*o + 6. Let x(p) = -p - 10. Let u be x(0). Let t be m(u). Let w = -28 - t. Is w a multiple of 11?
False
Let u(o) = o**2 - o - 3. Let l be u(3). Let w = l - -11. Does 7 divide w?
True
Let p be (-237)/(-33) - 4/22. Let t(x) be the third derivative of x**4/12 - x**3 - x**2. Is 5 a factor of t(p)?
False
Let d = -15 + 48. Is 22 a factor of d?
False
Suppose 0 = -n - 4*p + 1, -3*n - p = -n - 9. Suppose n*w + 3*k = 7*k + 40, -2*w = -4*k - 4. Let f = 1 + w. Does 13 divide f?
True
Suppose 32 = -2*a + 3*a. Suppose -3*o + a = -o. Is 8 a factor of o?
True
Let d = -11 + 5. Does 10 divide 22/(-4)*d/3?
False
Suppose 2*b + 170 = 4*o, -7*b + 3*b + 140 = 4*o. Does 10 divide o?
True
Let j(g) = -8*g. Let a be j(-9). Suppose 5*i - 18 - a = 0. Is 6 a factor of i?
True
Let p(o) = o**3 - 4*o**2 - 8*o. Let t be p(6). Suppose -t = -3*v - 9. Suppose 4*x + 0*g + v*g = 106, 2*g = 5*x - 149. Is 10 a factor of x?
False
Let y be -24 - 1*1/(-1). Suppose -m = -5*u - 61, -2*m = -5*u - 32 - 30. Let j = u - y. Is 9 a factor of j?
False
Suppose -5*s = 3*c - 24, -4*s + 5 = -c - 4. Let f(g) = g**2 - g + 2. Is 4 a factor of f(c)?
True
Suppose 2*r - 84 = r - 4*o, 4*o = 3*r - 316. Does 7 divide r?
False
Let t(a) be the third derivative of -a**6/120 - a**5/30 + a**4/8 + a**3/2 + a**2. Let i be t(-5). Suppose -3*j + 3 = -i. Does 12 divide j?
False
Let g be (-5 + 2)/(9/(-21)). Suppose 3*h + 212 = g*h. Does 26 divide h?
False
Suppose -4*s = p - s - 39, -p + 49 = 5*s. Let l = -4 + p. Does 14 divide l?
False
Let r be ((-14)/(-8))/((-2)/(-24)). Let n be (51/3)/((-1)/1). Let d = r - n. Is 15 a factor of d?
False
Let u(b) = -b**3 + 6*b**2 + 12*b + 14. Is 49 a factor of u(7)?
True
Suppose -3*q - 3 = -0. Let t be 72/6*(-30)/(-9). Does 16 divide 1*t - (q + -1)?
False
Suppose 7*m = 4*m + 24. Suppose m = 5*q - 3*q. Is 3 a factor of q?
False
Let q(z) = -z - 1. Let b(y) = 10*y - 4. Let t(d) = -b(d) + 4*q(d). Does 14 divide t(-1)?
True
Let x be 3 - (4 - 7 - -23). Let o = 37 + x. Is 17 a factor of o?
False
Let d = -80 + 118. Does 19 divide d?
True
Suppose 60 = -5*t + 2*d, 0*t - t = d + 5. Let o be t*(-1 + (-1)/(-2)). Suppose v + o = 2*v. Does 2 divide v?
False
Let l(i) = -i**3 - 4*i**2 + 3*i - 10. Is l(-6) a multiple of 16?
False
Let h(a) = -a + 28. Is h(13) a multiple of 11?
False
Let c(k) = k**2 - 13*k + 8. Let w be c(13). Suppose s + w - 53 = 0. Is s a multiple of 15?
True
Let g(a) = 4*a**2 - 2*a**2 - 2*a + 5*a**2 - 3. Let s be g(3). Suppose -h - 3*h + 2*x = -s, 6 = -2*x. Is 5 a factor of h?
False
Let s(r) = -r**2 - 9*r. Let k(j) = -7*j**2 + j - 1. Let x be k(1). Is 13 a factor of s(x)?
False
Let o = 3 - 0. Suppose -h = o*h - 176. Does 22 divide h?
True
Let g = 237 + -117. Is g a multiple of 15?
True
Is 9 a factor of 24/18*3 - -5?
True
Let s(j) = j**2 - 3*j - 8. Let o be s(5). Suppose -5*d = 0, o*m - 79 - 41 = 4*d. Is m a multiple of 20?
True
Let c(x) = x**2 + 5*x. Let v be c(-5). Suppose v*d + d = -20. Let l = d - -32. Is l a multiple of 9?
False
Let b(m) = -4*m + 4*m + m + 15. Does 12 divide b(13)?
False
Suppose -4*v + 84 = -g, 105 = 5*v - 4*g + 9*g. Is v a multiple of 3?
True
Let y(m) = -m**3 + 4*m**2 + 6*m - 3. Let t be y(5). Is 4 + -2 + t/2 even?
False
Let a(k) = -k**3 + 2*k**2 + k + 52. Is 13 a factor of a(0)?
True
Suppose 0 = 3*m - 6. Suppose -m*x + 60 = 3*x. Is 6 a factor of x?
True
Let p(s) = -4*s + 3. Let l be p(2). Let o be (4 + l)/(2/(-16)). Let j = o - 3. Is j even?
False
Let h(g) = g**2 - g - 14. Is 4 a factor of h(5)?
False
Let n be 2/(-7) + 37/7. Let a = -3 + n. Suppose -5*q + a + 120 = -2*v, -q + v = -22. Does 19 divide q?
False
Let n(a) = a**2 + 6*a + 4. Let q be -3*3/(-9) + -8. Is 11 a factor of n(q)?
True
Let p be (-8)/52 + (-106)/(-13). Suppose -p = -2*y, -5*c - 2*y = -6*y - 109. Is 11 a factor of c?
False
Suppose h = 4*u, 0 = -2*u - 0*u + 5*h. Suppose -k = -u + 16. Let w = 0 - k. Is 8 a factor of w?
True
Suppose 2*i - 44 = -p, -206 = -5*p - 7*i + 4*i. Suppose 0*y - 2*z = 2*y + p, 72 = -4*y - 2*z. Let c = y + 31. Is c a multiple of 5?
True
Let k(c) = -c**2 - 9*c - 7. Let y be k(-6). Let n = y + -8. Is 3 a factor of n?
True
Let m = -2 + 17. Suppose 2*v - 5*v + m = 0. Does 2 divide v?
False
Let a(i) be the third derivative of i**8/5040 - i**5/60 - 4*i**2. Let b(j) be the third derivative of a(j). Is b(-1) even?
True
Let y(l) = -l**3 - l - 10. Is y(-4) a multiple of 4?
False
Let v = 4 + 0. Suppose -v*l = -9*l. Suppose -3*t + l*t = 3*m - 51, 0 = -3*t + 5*m + 75. Does 20 divide t?
True
Suppose 8*o - 95 - 153 = 0. Is o a multiple of 10?
False
Let t = 167 + -93. Suppose -3*k = -k - 52. Suppose t - k = 2*s. Is 11 a factor of s?
False
Let n = 1 - 72. Let f = n + 99. Does 14 divide f?
True
Suppose 3*o - 1 = 5. Suppose 3*h - 10 = -o*h. Suppose 2*y + 0*j = 4*j + 30, -5*y + h*j + 99 = 0. Is y a multiple of 13?
False
Does 2 divide 4/18 + 284/18 + -1?
False
Let l(a) be the first derivative of a**3/3 + 3*a**2/2 + 4*a + 1. Let u = 25 + -29. Is l(u) a multiple of 4?
True
Let i(r) = 5*r - 9. Let t be -2 + 2*18/4. Does 16 divide i(t)?
False
Let s(c) = c**3 - 21*c**2 + 24*c. Does 19 divide s(20)?
False
Is 5/((-5)/2) + (34 - -10) a multiple of 7?
True
Let p(q) = 2*q**2 - 6*q - 9. Let d be p(6). Let i = -22 + d. Does 5 divide i?
True
Suppose 5*c = 4*d + 182 - 69, 4*c - d = 86. Is c a multiple of 7?
True
Let b(a) = -2*a**3 - 7*a**2 - a - 3. Does 10 divide b(-5)?
False
Let f = 189 + -59. Is 26 a factor of f?
True
Let o(d) = d**3 - 3*d**2 + d + 2. Let g be o(2). Let s(i) = i + 2. Let y be s(g). Suppose 22 + 2 = y*x. Does 4 divide x?
True
Let z = -10 + 19. Suppose 0 = -5*g - 4 + z. Suppose -2*r - g = -61. Does 15 divide r?
True
Is -9*((-39)/13 + 4/(-2)) a multiple of 16?
False
Suppose -3*p = 3 + 6. Let d be (-544)/(-40) - (-2)/5. Let m = d + p. Does 11 divide m?
True
Let y(w) be the third derivative of -w**5/60 - w**4/24 + w**3/6 + 3*w**2. Let p(f) = -4*f**2 - 4*f - 4. Let l(i) = -p(i) + 3*y(i). Is 6 a factor of l(0)?
False
Let x(a) = 5*a - 5. Suppose 12 - 3 = -3*s. Let c be ((-4)/s)/((-7)/(-21)). Is x(c) a multiple of 6?
False
Is 4 a factor of -3 + 5 + -3 - -7?
False
Suppose 0 = x - 5*f + 3*f - 22, 3*x - 69 = 5*f. Does 21 divide x?
False
Let u(r) = 44*r - 1. Let n be ((-2)/(-6) + 0)*-3. Let h be u(n). Let k = 63 + h. Is k a multiple of 9?
True
Suppose 0 = -b - b - 48. Let y be (1/(-1)*b)/1. Suppose 5*f + q - y = 5, 2*q - 22 = -4*f. Does 4 divide f?
False
Let c(m) = 4*m + 72. Is 9 a factor of c(16)?
False
Let r(m) = -72*m - 52. Is 20 a factor of r(-3)?
False
Suppose -r = -4*r + 21. Let v(b) = 2*b**2 - 8*b + 6. Let z(i) = -2*i**2 + 7*i - 6. Let p(f) = 4*v(f) + 3*z(f). Is 10 a factor of p(r)?
False
Let t = 14 - -14. Does 8 divide t?
False
Let x(k) = -k**3 - k**2 + 6. Is 6 a factor of x(0)?
True
Suppose 99 + 25 = 2*k. Is 31 a factor of k?
True
Let i = 34 - 21. Does 13 divide i?
True
Let s = 55 + -37. Does 9 divide s?
True
Let a(x) = 2*x**3 - 4*x**2 + 3*x - 2. Let g be a(2). Suppose -2*w - 148 = -g*u, -3*u - 5*w = -92 - 32. Is 10 a factor of u?
False
Let s = 0 + 5. Suppose s*l = -0*l + 15. Does 3 divide l?
True
Suppose 0 = -4*s + 8, 0 = 5*u - 4*s + 113 + 45. Let t = u - -42. Is 6 a factor of t?
True
Suppose j + 11 = -3*c - 2*c, -j + 16 = -4*c. Let v(s) = -5 - 11*s + 5*s - 5 + j*s. Does 8 divide v(-9)?
True
Let i(z) = 106*z**2 - z. Does 17 divide i(1)?
False
Suppose -3*j - 2*j + 4*d + 315 = 0, -j + 3*d + 52 = 0. Is 33 a factor of j?
False
Suppose 0 = q - 3*v - 16, q + v = 3*q - 12. Suppose -i = q*g - 18, 2*i - g = 3*g. Is 11 a factor of 198/27*i/4?
True
Let x(k) = k + 2. Let l be x(-4). Is 200/(-6)*3/l a multiple of 18?
False
Let t = 180 - 26. Suppose -p - t = p. Is (p/7)/(1*-1) a multiple of 4?
False
Let b = -3 + -6. Let x(v) = -v**3 - 9*v**2 - 2*v + 2. Does 9 divide x(b)?
False
Let k(w) = w**3 + 2*w**2 - 4*w + 1. Let y be k(-3). Let c = y - 1. Suppose c*s - 48 = -s. Is s a multiple of 10?
False
Let t(k) = 18*k - 1. Suppose 2*s + 0*s + 4*o = -12, 5*s - 30 = 5*o. Is 11 a factor of t(s)?
False
Suppose 4*d - 52 = -0*d. Is 13 a factor of d?
True
Suppose 4*v + 28 = -4*o, -3*o - 5 - 14 = v. Let p = o - -8. Is 0 + 16 + 0 + p a multiple of 1