j + -168. Suppose -p = -6*s + 3*s. Does 11 divide s?
False
Suppose -4*q + 0*j + 28 = -4*j, q = -3*j - 13. Let c be 70/2 + (-2)/q. Suppose u - 2*g + 1 = 9, 0 = 3*u - g - c. Does 7 divide u?
False
Let m = -117 + 181. Let s = m + -43. Is 7 a factor of s?
True
Let f be 6*2/18*3. Suppose 4*s - 4*c + 26 = -2*c, -4*s - 4*c - 20 = 0. Is 4 a factor of ((-4)/s)/(f/24)?
True
Is 18 a factor of (-6)/(-2*3/18)?
True
Let j(x) = 10*x**3 + x**2 + 1. Let r be j(2). Suppose 2*d - 3*c - 35 = -2*c, 4*d - r = -3*c. Is 11 a factor of d?
False
Let r = 114 - 39. Is 5 a factor of r?
True
Let z(u) = 7*u**2 - 7*u - 17. Let g(l) = 15*l**2 - 14*l - 35. Let o(s) = -6*g(s) + 13*z(s). Does 2 divide o(9)?
False
Let c = 3 + -3. Suppose c = 4*o + 2*p - 12, 5*o + 5*p - 20 = -0*o. Let v(x) = 4*x**2 - 2. Is v(o) a multiple of 7?
True
Let x be 2/(-3) - (-1)/(-3). Let m = x + 5. Is m a multiple of 2?
True
Let d = -18 + 32. Suppose -2*y + 4*j = -3*y - 4, 2*y = 3*j + d. Let h = y + -1. Is h even?
False
Let k = 1 + 1. Let j be (k + 8/(-1))/2. Let c(q) = -2*q**3 - 3*q**2 - 3*q + 1. Is 13 a factor of c(j)?
False
Let u(p) = -p**3 - 17*p**2 - 2*p - 14. Is u(-17) a multiple of 6?
False
Suppose 2*z - 5*m + 3*m + 12 = 0, -4*m = -z. Does 8 divide 0 - 172/(z/2)?
False
Suppose -54*z + 56*z = 10. Does 2 divide z?
False
Suppose 4*g + 8 + 12 = 2*t, -2 = g. Suppose 0 = -2*c + t*c + 4. Does 6 divide 2 + c + (4 - -1)?
True
Let k(q) = q**3 + 5*q**2 + 4*q + 4. Let a be k(-4). Suppose -16 = 3*n + 4*i, 2*n - 4*i - 4 = -3*i. Suppose -a*s + 65 - 21 = n. Is s a multiple of 11?
True
Let a = 1 + 1. Suppose i - 5 - a = 0. Is 3 a factor of i?
False
Let i(n) = n - 1. Let y be i(6). Suppose 3*v + 3*g - 50 = g, -4*g = -y*v + 120. Suppose 0 = -3*k + 7 + v. Does 5 divide k?
False
Let s(q) = -4*q**2 + 3*q**2 - 5 - 1 - 12*q - 2. Is s(-10) a multiple of 4?
True
Let d(h) = -h**2 - 9*h - 6. Suppose 10*s - 5*s + 40 = 0. Let v be d(s). Suppose -2*r = l - 31, -5*l = v*r - 4*r + 49. Does 17 divide r?
True
Suppose 17 + 6 = 4*o + 3*q, -11 = -3*o + 4*q. Suppose o + 1 = -b. Is b/(-9)*(-18)/(-2) a multiple of 6?
True
Suppose -2*n - 2*n + 25 = -x, 0 = 5*n - 25. Let j be (0 - -6)/((-2)/x). Suppose 2*t - 9 = j. Is t a multiple of 10?
False
Suppose -33 = -0*t - t. Is 11 a factor of t?
True
Let m be -2*2/(-4) - 94. Let y = m - -161. Let d = -26 + y. Is 14 a factor of d?
True
Let o = 82 + -41. Let h = o + -27. Suppose k + 0*v = 4*v - 3, 4*v = 2*k - h. Is k a multiple of 16?
False
Suppose 4*d - 160 = 104. Is d a multiple of 6?
True
Suppose 5*j - k - 145 = k, 0 = -5*k. Does 2 divide j?
False
Suppose -2*p - 4*j = -276, -2*p + 537 = 2*p + 3*j. Does 11 divide p?
True
Let v = 6 - 5. Let m(o) = -2 + v + 16*o - 2*o - o. Is m(1) a multiple of 6?
True
Let y = 9 - -48. Does 19 divide y?
True
Suppose -8*o = -3*o + 15. Let z(b) = -b**3 - 4*b**2 - 3*b. Let w be z(o). Suppose 4*y + w*y - 96 = 0. Is y a multiple of 14?
False
Is 230 - (0/3)/4 a multiple of 46?
True
Let z be (-8)/(-5) + 6/15. Let n be (7 - 3) + 3 - z. Suppose 2*s - 4*y - 128 + 40 = 0, 0 = n*s - 4*y - 214. Does 18 divide s?
False
Suppose -54 = -5*b + 26. Is 8 a factor of b?
True
Let h = 10 - 6. Suppose -12 - 8 = -h*f. Suppose -20 = -f*v + 10. Does 3 divide v?
True
Suppose -4*w + w - 12 = 0, -128 = -4*g + 2*w. Is 11 a factor of g?
False
Let a = -21 - -51. Is 2 a factor of a?
True
Suppose -11*c = -5*c - 108. Is 7 a factor of c?
False
Let v = 23 + 43. Does 22 divide v?
True
Suppose 20 = -3*k - d, 2*k - 4*d + 3*d = -15. Is 4 a factor of 2*((-1 - k) + -2)?
True
Does 25 divide 12/3 - 46*-1?
True
Suppose 2*n = -4*b - 142, -4*b + 0*n + 5*n - 121 = 0. Let z = b - -54. Is z a multiple of 5?
True
Suppose 0 = -5*g + 43 + 62. Does 7 divide g?
True
Let o(u) = 3*u - 1. Let n be o(-5). Let t = n + -10. Let v = t - -46. Does 8 divide v?
False
Let t = -10 - -14. Let m(b) = 20*b - 2. Let w be m(t). Suppose -w = -8*i + 5*i. Does 10 divide i?
False
Let c be 2 + -3 + 42 + 1. Does 8 divide -3*(2 + c/(-9))?
True
Let q(w) = -7*w - 2. Is 4 a factor of q(-2)?
True
Suppose 120 = 4*h + k, 3*h - k = -h + 112. Let m be 4*(2 + (-99)/(-12)). Let r = m - h. Is r a multiple of 8?
False
Let k be 100/(-30)*3/(-2). Let r = 10 - k. Suppose -30 = -r*p - 0. Does 3 divide p?
True
Suppose 0 = 4*u - 2*u - 8. Suppose 0 = -2*b + 3*m - 10, 0 = -u*m + 3*m + 4. Does 11 divide b*(-27 + 1)*-1?
False
Let i = 19 - -10. Is 29 a factor of i?
True
Suppose -9*z - 2*z + 440 = 0. Does 8 divide z?
True
Does 17 divide (-17)/(3*4/(-72))?
True
Suppose -5 = q + 3*c, 2*q + 3*c + 1 + 0 = 0. Suppose -i + 0*i + 56 = 3*r, q*r = -2*i + 76. Does 10 divide r?
False
Suppose -2*q = -v, 4*v + 4*q + q - 13 = 0. Suppose -5*k + g = 23 - 96, -v*k - 4*g + 16 = 0. Suppose 3*h = k + 34. Is 16 a factor of h?
True
Let n = 98 - 62. Is n a multiple of 6?
True
Let v(z) = -z + 2. Let n(t) = -3*t. Let y be n(3). Let b be 3/y*0*-1. Is 2 a factor of v(b)?
True
Suppose -5*x + 3*x - 4*u + 42 = 0, -5*x + 2*u + 93 = 0. Let n be 2 - (-2 - 12/(-2)). Is x - n - (-2 + -1) a multiple of 12?
True
Let l = 220 + -198. Is l a multiple of 2?
True
Suppose 3*n - 221 = -10*n. Is n a multiple of 17?
True
Suppose -4*t + 3*t + 3*d = -21, 0 = -3*t - 5*d - 7. Suppose 4*o - 2 = t. Suppose 0*j + 8 = o*j. Is 4 a factor of j?
True
Let i(k) = -3*k - 2. Let j be i(-2). Suppose 4*h + 2 + 14 = 0, -4*z - 4*h - 4 = 0. Suppose -69 = -z*l + 4*x, 2*x - 63 = -3*l + j*x. Is 7 a factor of l?
False
Let h = -50 + 15. Let d = -14 - h. Is d a multiple of 19?
False
Let u(i) be the first derivative of i**3/3 + 3*i**2 - 8*i - 1. Let w be u(-7). Is (-1)/w*(1 + 6) a multiple of 7?
True
Let g = -12 + 2. Let u = g - -52. Suppose i + u = 4*i. Is 14 a factor of i?
True
Suppose 4*j + 4*m = 3*m + 142, -3*j + 3*m + 114 = 0. Let f = -8 + 22. Let z = j - f. Is z a multiple of 14?
False
Suppose -2*y + 258 = 3*w, -w = -3*y + w + 374. Is y a multiple of 18?
True
Let n = 201 - 81. Suppose -3*b + n = 2*b. Is 12 a factor of b?
True
Suppose 2*n + 4*v = 136, -5*n - v - v + 364 = 0. Does 13 divide n?
False
Let a(y) = -y**3 + 10*y**2 - 2*y - 3. Let w be a(9). Let f(z) = -z**3 - 3*z**2 + 6*z. Let q be f(-5). Does 6 divide ((-8)/q)/((-2)/w)?
True
Suppose 0 = 4*b - 71 - 29. Is b a multiple of 17?
False
Suppose 13*b - 455 = -0*b. Is b even?
False
Let k = -5 + 2. Let l(s) = -6*s - 4. Is 14 a factor of l(k)?
True
Let t(c) = -c + 2. Is 4 a factor of t(-7)?
False
Suppose 0 = -0*p + p. Suppose 18 = -p*z + z. Does 4 divide z?
False
Suppose c + 4*x - 13 = -0*x, x + 2 = -2*c. Let g be -3 - (c + 3 + -8). Let k = g - -15. Is 15 a factor of k?
False
Let m be (60/(-9))/((-2)/6). Suppose 8 = -3*f + m. Does 2 divide f?
True
Let i be ((-38)/(-10) + -3)*-10. Is 4 a factor of 16/(-10)*20/i?
True
Let x(u) = u**3 + 21*u**2 + 17*u - 12. Is 4 a factor of x(-20)?
True
Let t(r) = r - 1 - 7*r + 22*r + 14*r. Let j be t(1). Let c = j + -8. Does 7 divide c?
True
Suppose p - 4 = 4. Let k(z) = z**3 - 7*z**2 - 9*z. Let v be k(p). Is ((-6)/(-9))/(v/(-132)) a multiple of 7?
False
Let p(a) = 2*a**2 + 3*a + 4. Is 3 a factor of p(-3)?
False
Is 5/15*(169 + -2 - 2) a multiple of 11?
True
Let w be (-6)/27 - 22/(-18). Is -3 - (w*-6 - 1) a multiple of 2?
True
Suppose 0*z = -2*z + 10. Suppose z*r = -49 + 149. Is r a multiple of 4?
True
Suppose 0 = -3*n + 96 + 36. Is 12 a factor of n?
False
Let y(c) = 4*c + 5. Let p be y(-8). Is 18 a factor of (2 + 32/(-12))*p?
True
Let p(u) = u**3 + 2*u**2 - 2*u + 3. Let k be p(-5). Suppose -8*m = -3*m + 205. Let x = m - k. Does 9 divide x?
False
Suppose -2*c + 35 = 3*c. Suppose 2*p - c*p = -35. Is p a multiple of 7?
True
Let g(d) = -33*d - 1. Does 10 divide g(-7)?
True
Let r = -7 + 10. Suppose -p = -0*p - r. Suppose z = p*z - 14. Does 6 divide z?
False
Suppose 3*z - a - 450 = 4*a, -4*a + 632 = 4*z. Is z a multiple of 31?
True
Let x be 6/(-21) - (-300)/(-28). Let s(b) = b**2 + 4*b + 13. Is 25 a factor of s(x)?
False
Let n(d) = d**2 - 2*d - 6. Let u be n(7). Suppose -3*w = -2*a - u, 3*w - a - 6 - 22 = 0. Is 5 a factor of w?
False
Let r be -3*((-1)/(-1) + -2). Does 21 divide (-4 + r)/(2/(-84))?
True
Suppose 9*d - d = 40. Does 3 divide d?
False
Let c = 12 + -29. Let b = c + 43. Is 18 a factor of b?
False
Suppose a = -4*w - 3*a + 4, 0 = -4*w - a + 7. Suppose w*y = -2*y + 44. Let t = -8 + y. Is t even?
False
Let p = 7 + -14. Let z(x) = -x**2 - 7*x + 8. I