multiple of 6?
False
Suppose -6*z = -7*z + 1. Let a = z + 16. Does 9 divide a?
False
Let c be 6 - 2 - 2/1. Suppose -4*h - c*z + z = -191, 4*z = -4. Is h a multiple of 16?
True
Suppose 0 = x + 5*p - 73, -x - 4*p + 386 = 4*x. Is 24 a factor of x?
False
Suppose 3*p = 7*p - 512. Does 10 divide p?
False
Suppose 0 = 2*j - 96 + 20. Let s = j + -6. Is 16 a factor of s?
True
Let t = -5 - 2. Let x(u) = -u + 9. Is 16 a factor of x(t)?
True
Let k(x) = -x**3 - 4*x**2 - 2*x - 1. Let n be k(-4). Let y be 2/n + (-12)/(-7). Suppose 0 = d + y*d - 12. Does 4 divide d?
True
Suppose 53 = 5*j - 27. Suppose 2*p - 6*p = -j. Suppose p*v = -v + 2*f + 91, 56 = 4*v + 4*f. Is 5 a factor of v?
False
Let j(d) = -4*d + 2. Let w(z) = -3*z**2 + z + 1. Let n be w(-1). Is 14 a factor of j(n)?
True
Let s be 4/(-8)*(0 - 0). Suppose -w = 2*a - 0*w, -2*a - 3*w - 8 = s. Does 17 divide (72/21)/(a/21)?
False
Suppose 0 = -3*d - 2*o + 17, 4*o = -3*d + 4*d - 1. Suppose -3*a + 4*c + 16 = 0, 2*a + 3*c = d*c + 14. Does 5 divide a?
False
Let h = 33 - 19. Suppose 2*d - h = -0*d. Suppose -d = -r + 28. Does 15 divide r?
False
Let v(o) = -4*o - 6. Let t be v(-3). Let f(d) = 2*d. Is f(t) a multiple of 4?
True
Let o be 104/6*6/(-4). Let f = 47 + o. Suppose -3*c + f = -66. Is 12 a factor of c?
False
Suppose -3*c = -6*u + 2*u + 51, -37 = -3*u + 2*c. Is 9 a factor of u?
True
Is 188/14 - (-54)/(-126) a multiple of 4?
False
Let n = -3 + 8. Suppose j - n*j + 548 = 0. Suppose -j = -5*p + t, 2*t - 23 = p - 2*p. Does 9 divide p?
True
Let u be 0 + (-1 - -2)*-3. Let m(n) = -39*n + 3. Let g be m(u). Suppose p - g = -4*p. Is 12 a factor of p?
True
Let m(y) = y**3 - y**2 + 5. Suppose -2*o = 2*o. Let a be m(o). Suppose 2*w - 2*k - 88 + 36 = 0, -a*w + 2*k = -145. Is 20 a factor of w?
False
Let v(i) = 9*i + 14. Let z be v(12). Let c = z + -75. Is 8 a factor of c?
False
Let o(j) = -j**3 - 4*j**2 - 3*j + 4. Let a be o(-3). Suppose 4*t - p - 47 = 0, t = -a*p + 9 + 7. Is 8 a factor of t?
False
Suppose -5*t - g + 224 = 0, t + 3*g - 17 - 39 = 0. Suppose -3*q = -4*i - 5*q + t, q + 26 = 2*i. Is i a multiple of 12?
True
Let t(a) = -a + 2. Let d be t(4). Let q(y) = -2*y**3 + y**2 + y**3 + 0*y**2 + 1 + 0 + 3*y. Is 7 a factor of q(d)?
True
Suppose -2*r - 68 = -6*r. Is r a multiple of 6?
False
Let l(w) = -3*w - 8. Let c(s) = -4*s - 12. Let y(g) = 5*c(g) - 7*l(g). Let k be y(9). Let j(b) = 6*b - 4. Does 13 divide j(k)?
True
Let j(z) = -41*z**2 + z + 1. Let d(s) = -s + 5. Let k be d(6). Let r be j(k). Let y = -29 - r. Does 6 divide y?
True
Suppose -s - 55 = -4*o, s + 0*s = 1. Is o a multiple of 14?
True
Let g be 6/5 - 1/5. Let l be 3*(g + -9) + -1. Does 12 divide (-2)/(2/l) - 1?
True
Let b be ((-34)/(-4))/((-6)/(-12)). Let c = 26 + b. Is 13 a factor of c?
False
Suppose 0 = 5*g - 709 + 49. Is 37 a factor of g?
False
Let g = 1 - 4. Let k(s) = s. Let j(u) = -3*u**2 - 9*u - 3. Let o(z) = -j(z) - 4*k(z). Is 15 a factor of o(g)?
True
Is 19 a factor of (-2)/(-4) - 1859/(-22)?
False
Let j = 51 + -25. Does 13 divide j?
True
Let b = -10 - -6. Let a be (-10)/(-4) - 2/b. Suppose 3*c - 29 = -4*y, 4*c = -2*y + a*c + 15. Does 6 divide y?
False
Let z be (5/2)/(1/2). Let x(k) = k**3 - 3*k**2 + 2*k + 1. Let l be x(2). Suppose -z*w + l + 34 = 0. Is w a multiple of 3?
False
Suppose q + 3*q = 32. Suppose 4*v - 200 = q*v. Let h = -30 - v. Is 10 a factor of h?
True
Let r = -15 + -9. Does 12 divide (-500)/(-14) - r/84?
True
Let q = -8 + 11. Is 12 a factor of (-327)/(-9) - 1/q?
True
Let r = 37 + -28. Is 6 a factor of r?
False
Suppose -19*w = -21*w + 164. Does 15 divide w?
False
Let c(f) be the third derivative of f**5/12 - f**4/24 - 2*f**3/3 + 5*f**2. Is 9 a factor of c(-3)?
False
Suppose 2*y = -0*y - 24. Let p be (1 + -1 - 2) + y. Let c = 18 - p. Does 12 divide c?
False
Let g = 18 + 28. Suppose 4*j = -2 + g. Does 11 divide j?
True
Does 9 divide (3 - 2)/(4/176)?
False
Suppose 7*z = -7*z + 3388. Does 22 divide z?
True
Let l = -3 - -4. Let t be 4 + (l - 0) + -1. Suppose 0 = 2*z - 8, -t*s + 20 = -2*z - z. Is s a multiple of 5?
False
Does 11 divide (-22)/4*(-13)/(52/24)?
True
Suppose 0 = -5*d + 22 - 2. Suppose 0 = d*l - 3*a + 4*a - 41, 12 = l + 2*a. Does 5 divide l?
True
Let g(h) = 8*h - 2 + 2 - 1 - h**2. Let i(l) = l**3 - 9*l**2 + 8*l + 6. Let y be i(8). Is 6 a factor of g(y)?
False
Let f(x) = 207*x**2 - x + 4. Let y be f(4). Is y/66 + 4/(-22) a multiple of 14?
False
Suppose 4*d - 5*s - 69 = 0, 4*d + s = 4*s + 75. Is 20 a factor of d?
False
Suppose -2*x - 5 = -7*x. Let c be ((1 - -2) + 0)/x. Let a = c - 0. Is a even?
False
Let f = 8 + -4. Suppose f*k - 21 = 31. Does 13 divide k?
True
Let z(b) = b**3 + 3*b**2 - 5*b - 6. Let s be 27/(-6) - (-1)/2. Let w be z(s). Let l(a) = -21*a + 1. Is 15 a factor of l(w)?
False
Let q(b) = b + 15. Is q(9) a multiple of 24?
True
Let i(c) = -3*c - 3. Let m be i(-6). Suppose 3*s + 2*s - m = 0. Is s even?
False
Let a = 1 + 36. Suppose -13 - a = -5*o + 5*s, -56 = -5*o + 3*s. Is o a multiple of 7?
False
Let r(o) = o**2 + 4*o - 4. Let j be r(-5). Let v(g) = g**2 - g - 1. Let y(b) = 7*b**2 - 5*b - 9. Let z(t) = j*y(t) - 6*v(t). Is 10 a factor of z(5)?
False
Suppose 0 = -3*n - 2*n + 4*v + 16, -v + 1 = 0. Suppose n*k - 180 = 52. Does 15 divide k?
False
Let w(c) = 2*c - 1. Let y = 3 - 0. Let t be w(y). Suppose -i = 2*j - 3*i - 36, -4*j + t*i = -70. Is 7 a factor of j?
False
Let y(d) = 11*d + 25. Does 11 divide y(13)?
False
Suppose 2*v + 46 - 84 = 0. Is v a multiple of 19?
True
Let r be 2/(-6) + (-57)/(-9). Let l(b) = -1 - b**3 - r*b**2 + b**2 + 2*b**3 + 0*b**2 + 2*b. Does 8 divide l(5)?
False
Let o be (-2)/1 + 26/(-2). Let c = o - -24. Does 5 divide c?
False
Is 7 a factor of (14/7)/((-4)/(-30))?
False
Let j(n) = 4*n**3 + 6*n + 3*n**2 - n**3 + 3 - 4*n**3. Let u be j(5). Let p = u - -28. Is p a multiple of 11?
True
Is 17 a factor of 36/(0 - (-9)/12)?
False
Suppose v - 28 = -3. Is v a multiple of 10?
False
Let a(c) = c**3 + 3*c**2 - 1. Let s be a(-3). Let f = 23 + s. Is f a multiple of 15?
False
Suppose -3*m = -5*g - 45 - 24, -15 = -5*m. Let o = 54 + g. Does 15 divide o?
False
Let m be ((-8)/10)/((-12)/30). Suppose 0 = 5*g + y - 21 - 65, -4*g + 66 = -m*y. Is g a multiple of 10?
False
Let g(l) = l**3 + 2*l**2 - 4*l + 2. Let a be g(-4). Let q = a - -60. Is 17 a factor of q?
False
Let r be 2 + (2 - -1) + -2. Suppose 0 = 2*h - 4, -12 = -r*n - 0*n - 3*h. Is 2 a factor of n?
True
Suppose 15*q = 18*q + 273. Let y = -23 - q. Is y a multiple of 28?
False
Suppose 3*s - 71 = -2*y, 6*y - 3*y - 99 = -2*s. Is 8 a factor of y?
False
Suppose 5*u - 83 - 52 = 0. Is 8 a factor of u?
False
Let o(g) = -8*g - 7. Is o(-3) a multiple of 12?
False
Is 4/(-30) - (-2134)/30 a multiple of 20?
False
Suppose 0 = -3*u + u + 10. Let k(h) = 3*h + 0*h + 0*h - 4*h + u. Does 7 divide k(-9)?
True
Let q be (1/2)/(1/110). Let a = q - 33. Is 9 a factor of a?
False
Does 5 divide 81/3 + (2 - 1) + -3?
True
Suppose 9 - 2 = -t. Let h(v) = -4*v + v + 2*v + 9. Does 16 divide h(t)?
True
Let w = 6 - 6. Suppose 3*h + j - 63 = -0*h, -h + j + 21 = w. Does 7 divide h?
True
Let c be 5 + 0 + 2/(-1). Suppose 0*t + 2*t = -4*w + 88, c*t = -4*w + 92. Is 10 a factor of w?
True
Let x = 510 - 321. Is 9 a factor of x?
True
Suppose 4*v - 12 + 36 = 0. Let z(x) = x**2 + x + 2. Let q be z(v). Suppose 0*t = -4*t + q. Is t a multiple of 6?
False
Let t(v) = -v**3 - 6*v**2 - 7*v - 5. Is t(-6) a multiple of 13?
False
Let j(g) = 31*g - 32. Does 12 divide j(4)?
False
Let a = 31 + -19. Is a a multiple of 3?
True
Suppose -9*r + 64 = -5*r. Is r a multiple of 8?
True
Let r be 6/(-2) + (-35)/7. Let j be ((-10)/(-8))/((-2)/r). Suppose 2*b - 68 = j*z, -3*z = -4*b + 2*z + 146. Does 13 divide b?
True
Let z = -99 + 198. Does 9 divide z?
True
Suppose 5*f + 8 = 3*f. Is 9 a factor of (22/f)/(9/(-18))?
False
Is 17 a factor of (-34)/20*-4*10?
True
Suppose 2*p = 7*p - 3*b + 213, 0 = -2*p - b - 94. Let i = -23 - p. Does 22 divide i?
True
Let i = 12 - 9. Suppose 2*y = -i*b + 125, -3*y = -2*b + 2*y + 58. Does 16 divide b?
False
Let o = 6 + -1. Suppose o*f + 43 = 123. Is 8 a factor of f?
True
Let u(v) = 2*v - 4. Let w be u(3). Let i = w - -1. Suppose 0*f = -i*f + 81. Is f a multiple of 14?
False
Let t = -6 + 44. Is 5 a factor of t*-1*1/(-2)?
False
Let d(f) = -f**2 - f + 8. Let x be d(0). Suppose 0 = r - 3*r - x. Let j(h) = h**