ative of -u**5/60 + u**4/3 + 2*u**3/3 + 3*u**2. Is 13 a factor of y(4)?
False
Let q = -2 + 20. Suppose 3*o - q = -j, -2 = -4*j - 3*o + 25. Suppose -g - j*a = -10 - 2, 4*g = 4*a + 32. Does 8 divide g?
False
Suppose 4*w - w - 9 = 0. Suppose -9 = -p + w. Does 12 divide p?
True
Let n = 511 + -318. Does 22 divide n?
False
Let m(s) = -s**2 - 5*s - 1. Let l be m(-4). Let w(a) = a + 7*a**2 + 3*a - a**2 - l*a. Is 11 a factor of w(-2)?
True
Let u = 5 + 145. Suppose 3*f + 30 = w, 5*w = 2*f - 5*f + u. Does 16 divide w?
False
Let o be ((-6)/(-10))/((-3)/(-15)). Let g be -1 + (o - (3 - 2)). Is 7 a factor of -2 - g/((-2)/30)?
False
Suppose -5*q = 4*j - 84, 2*j = -0*j - 2*q + 42. Is j*(1 - (1 - 1)) a multiple of 8?
False
Let l = -57 - -143. Let y = 131 - l. Suppose y = 3*u + 3*t, -16 + 103 = 5*u + t. Does 18 divide u?
True
Suppose -2*c = c - 12. Suppose -c*l + 5*o + 30 + 32 = 0, -3*o - 19 = -l. Is l a multiple of 6?
False
Suppose 5*j = 3*j + 30. Is 5 a factor of j?
True
Suppose -5*b + 135 = -95. Suppose 3*o = o + b. Is 6 a factor of o?
False
Let n(q) = q**3 + 8*q**2 - 11*q - 5. Let p(f) = -f + 7. Let d be p(7). Suppose d*z - 3*z = 27. Is 7 a factor of n(z)?
False
Let k(z) be the first derivative of -7*z**2 + 4. Is 11 a factor of k(-3)?
False
Suppose 5*s = -5*d + 70, -5*s = 4*d - 0*d - 51. Does 19 divide d?
True
Suppose 3*s - 3*h - 25 = -4, -s + 15 = -5*h. Suppose -2*g + 5*g + 3 = 3*r, -4*g = -s*r + 6. Suppose 5*l = 3*t + 33, r*l - 3*t = -0*l + 6. Is 3 a factor of l?
True
Let n(u) = -88*u**3 - 2*u - 1. Let d be n(-1). Suppose d = 4*j - 3. Does 14 divide j?
False
Let a(h) = h**3 + 4*h**2 + h + 2. Let f be a(-4). Is 21 a factor of f/(-1*2/73)?
False
Let i be 1/3 - (-8)/3. Does 32 divide i + (-3 - -97) + 3?
False
Let t(i) = -35*i - 5. Suppose 10 = -2*q - 3*q. Is 15 a factor of t(q)?
False
Suppose -2*t + 98 = -370. Is t a multiple of 18?
True
Is 10 a factor of (11/((-22)/(-156)))/2?
False
Suppose 14*n - 20 = 13*n. Suppose 4*g - 12 = n. Is 4 a factor of g?
True
Let m = 1 - -8. Suppose 5*g = m*g - 176. Does 22 divide g?
True
Suppose -3*f + 71 = 2*b - 4*f, 5*b - 179 = 2*f. Is 12 a factor of b?
False
Suppose 0 = -s + 2*s - 4. Let f = s - 2. Does 13 divide (-1)/f - (-114)/4?
False
Suppose -3*g = 11 - 2. Let u = 3 + g. Is (2/(-4) + u)*-68 a multiple of 13?
False
Suppose 4*n + 103 + 57 = 0. Let s = n + 80. Is s a multiple of 12?
False
Is -2 + (-7)/((-28)/184) a multiple of 11?
True
Let k = -7 + -2. Let i = k + 42. Does 12 divide i?
False
Let q be (2/(-4))/((-3)/558). Suppose 0*s + q = 3*s. Is s a multiple of 11?
False
Let u = -35 + 45. Does 5 divide u?
True
Let j(y) = 2*y + 9. Does 13 divide j(2)?
True
Suppose 14 = -0*y - y. Is 12 a factor of (-21)/y*(-28)/(-3)?
False
Let b(h) be the third derivative of h**5/12 + h**4/8 - h**3/2 + 12*h**2. Let j(s) = s**3 + 4*s**2 + 2*s - 1. Let l be j(-3). Is b(l) a multiple of 12?
False
Let r be 0 - (-72 + (1 - 1)). Let u = 7 + r. Let w = u + -49. Does 15 divide w?
True
Let c = 4 - -2. Does 3 divide c?
True
Let p = -5 - -9. Let w = p + -2. Is w/4 + 9/2 even?
False
Suppose 5*a - y = -2*y - 53, -3*a - 5*y = 23. Let k = a - -23. Is 10 a factor of k?
False
Let d(s) = 2*s + 29. Is 24 a factor of d(15)?
False
Suppose -2*y = 4*j + y - 165, j + 2*y = 40. Is 6 a factor of j?
True
Let r(p) = p**3 - 8*p - 7. Let m be r(7). Suppose 3*g = 4*q - m, g = 6*g. Does 25 divide q?
False
Let p be 4 - (1 - (-3 - -2)). Suppose -p*x + 117 = x. Does 21 divide x?
False
Suppose 20 = -2*h - 3*h. Does 9 divide 1 + -1 - 96/h?
False
Let h(t) = -t**3 - t**2 + 3*t + 4. Is h(-2) a multiple of 2?
True
Suppose 0 - 30 = 5*s. Let q(d) be the first derivative of d**3/3 + 3*d**2 + 7*d + 2. Is 6 a factor of q(s)?
False
Suppose -2*i = -7*i. Let v(r) = r + i*r - 6*r. Does 5 divide v(-1)?
True
Suppose 3*v + 120 = 7*v. Is v a multiple of 15?
True
Let o(w) = -22*w - 52. Is o(-10) a multiple of 26?
False
Suppose -t = 2*t. Suppose -5*d = -20 - t. Does 2 divide d?
True
Suppose u - 60 = -2*u. Suppose -5*v - u = -100. Is v a multiple of 16?
True
Let b be 50/40 - (-2)/(-8). Let k = b + -8. Let a = 10 + k. Is 3 a factor of a?
True
Is (0 - -1) + 5 + 32 a multiple of 19?
True
Suppose -7*b - 5 = -8*b. Suppose 0 = -b*p + 3*p + 12. Does 3 divide p?
True
Suppose -3*r + 366 = 2*d, 3*d + 419 = 5*r - 172. Does 6 divide r?
True
Suppose 3*y = -0*f - 5*f - 6, 5*y = -3*f - 10. Suppose -b - a = -5*b + 13, f = -5*b - 5*a - 15. Suppose 2*j + b*q = 6, -q - 2*q = 4*j - 16. Does 7 divide j?
True
Let a = -4 - -9. Suppose 11 + 4 = a*p. Suppose -4*k + 94 = -p*w, -3*k - w + 102 = k. Does 17 divide k?
False
Let j(g) = 2*g**2 + 5*g - 2. Let h be j(-6). Suppose 0*t - h = -2*t. Is 12 a factor of t?
False
Suppose 5*o - v = -6*v + 40, o + 4*v = 23. Let z be (2/4)/(2/24). Let x = z - o. Is x a multiple of 3?
True
Does 10 divide (5 - 7)*29/(-2)?
False
Let v(q) be the first derivative of 7*q**2/2 - 7*q - 3. Is v(8) a multiple of 16?
False
Suppose n = -4*z + 12, -z + 2*z = 4*n + 20. Suppose 0 = -2*j + z*j + 10. Let k = 2 - j. Is k a multiple of 7?
True
Let v(p) = 3*p**2 - 4*p + 2. Let c be v(2). Let d = 10 - c. Suppose -d*x + x + 24 = 0. Does 4 divide x?
True
Is (-1)/(1/((-85)/1)) a multiple of 24?
False
Suppose 0 = 2*b + 4*h - 34, 2*b + 3*h = -b + 57. Suppose 65 = 5*a - 180. Suppose a = 5*t - b. Is 7 a factor of t?
True
Suppose 0 = 5*f - 2*f - 2*b + 57, 3*b + 42 = -3*f. Let p = f - 5. Let w = p + 45. Is w a multiple of 8?
False
Suppose 4*c - 2 = 6*c. Let k = c + 6. Is 5 a factor of k?
True
Let t be -2 - (-7)/((-21)/(-12)). Let c = 4 + t. Is c a multiple of 6?
True
Suppose f - 6*j - 92 = -j, 3*f - 298 = 4*j. Is 34 a factor of f?
True
Let y(r) = 2*r**2 + 3*r + 4. Let j be y(5). Suppose 2*l - 3*d - j = 0, 3*l = 5*l + 3*d - 87. Is l a multiple of 11?
False
Suppose -8*f + 4*f + 48 = 0. Does 2 divide f?
True
Suppose 5*s - 61 = 2*g, s + 6 - 27 = -4*g. Suppose 5*q - s = 12. Suppose 5*r - q*w - 27 = 73, -5*w = 5*r - 80. Is 18 a factor of r?
True
Suppose -h = 3 - 6. Suppose -5*g + 99 = 2*y, -h*y - g = 2*y - 190. Is 24 a factor of y?
False
Let v be ((-8)/(-6))/(14/21). Suppose -2*r = 5*z - 23, -8*z - v*r + 20 = -4*z. Suppose 0 = -z*n + 2*n + 15. Is n a multiple of 15?
True
Suppose 0*r - 2*r = -4*a + 98, -4*a + 59 = -r. Let h = r + 23. Let l = h + 22. Is 3 a factor of l?
True
Does 18 divide 72 + (1 - 3 - -2)?
True
Let r = 10 - 5. Suppose 0*o - r*o + 60 = 0. Is o a multiple of 3?
True
Suppose 23 + 1 = 3*s. Is s a multiple of 3?
False
Suppose 0 = -5*v - 4*x + 123 + 181, 16 = -4*x. Suppose v = -3*f + 4*b, 3*b = -3*f - 0*b - 36. Does 3 divide 18/(-4)*f/24?
True
Let h(y) = -y**3 + 7*y**2 - 2*y + 6. Let x be h(6). Let c = -18 + x. Is c a multiple of 9?
False
Suppose 7*z - 156 = z. Is 20 a factor of z?
False
Let w be 0 + -15 + (9 - 12). Does 3 divide w/(-4)*12/9?
True
Suppose 0*t + 2*t + 59 = 3*u, t = 3*u - 22. Let k = 53 + t. Is 16 a factor of k?
True
Let x(h) = -h**3 - 6*h**2 - 8*h - 9. Let j be x(-5). Let z(n) = 2*n**2 + 2*n - 1. Let d be z(-2). Does 2 divide (1/d)/(j/54)?
False
Let f be (-1 + 13)*8/3. Suppose -14 = -5*t - 2*r, 3*t - 8*t + 4*r + f = 0. Suppose -7*v + 120 = -t*v. Is v a multiple of 13?
False
Let d(y) = 3*y + 0*y - 2 - 4*y. Let s be d(2). Let h(a) = -4*a + 3. Does 7 divide h(s)?
False
Suppose -2*u + 3*b + 39 = 0, 3*u + 0*b - 50 = -4*b. Is 18 a factor of u?
True
Does 3 divide (1 + 0)/((-2)/(-18))?
True
Let s be (-6)/12 + (-17)/2. Let p(k) = k + 11. Is p(s) a multiple of 2?
True
Is (18/5)/((-12)/(-60)) a multiple of 11?
False
Let a(j) = 4*j. Let c be (-7 - (1 + -2))/(-2). Let t be a(c). Does 16 divide t/6*(-1 - -17)?
True
Let v(p) = -1. Let l(w) = -19*w + 1. Let j(i) = l(i) + 5*v(i). Is 20 a factor of j(-3)?
False
Let q = -79 - -163. Is q a multiple of 42?
True
Suppose -3*y - 8 = -5*y. Suppose 2*m + 0 = -y. Is 19 a factor of 2 - m/(6/51)?
True
Let j be (12/(-8))/((-3)/(-4)). Let z(a) = 5*a**2 - 2. Is z(j) a multiple of 18?
True
Does 17 divide (-9)/15*(-1 + -84)?
True
Suppose -400 = b - 11*b. Does 4 divide b?
True
Let m(f) = f**3 - 17*f**2 + 38*f - 21. Is m(15) a multiple of 33?
True
Let p(f) be the second derivative of 0 + 1/2*f**4 + 1/2*f**2 + 1/3*f**3 + 5*f + 1/20*f**5. Is p(-4) a multiple of 10?
False
Let y(a) = a**2 + 3*a - 10. Is 9 a factor of y(4)?
True
Does 19 divide -2 + 5 + 70 + -3?
False
Let s(j) be the thi