+ 5*h + 3 - 8 = 0, -3*h - 17 = -k. Let s(u) = u**2 - 3*u - 3. Is 7 a factor of s(k)?
True
Let w = 94 + -17. Does 14 divide w?
False
Let t = 22 - 14. Is t a multiple of 8?
True
Suppose 14*s = 12*s + 72. Is 12 a factor of s?
True
Let y(b) = 14*b - 3 + 6*b - 3*b + 0. Is y(3) a multiple of 24?
True
Let h = -2 + -6. Let s = 11 + h. Suppose -5*w + 42 = -s*y, 6 = -w + 4*w + 3*y. Is 4 a factor of w?
False
Suppose 0 = 2*a + 4, -x + a - 50 = -5*x. Let v = x - 6. Is 5 a factor of v?
False
Suppose 5*x - x + 148 = 0. Let u = -15 - x. Is u a multiple of 11?
True
Suppose -3*g = -4*i - 5, -g = 3*g + 4. Let d be (4/2)/(0 - i). Does 4 divide 3 + -1 + (11 - d)?
True
Suppose -8*i = -2*i - 126. Is 7 a factor of i?
True
Suppose 2*q - 26 = -0*q. Let b = q - 5. Is b a multiple of 4?
True
Suppose 2*h = -3*x - 2*x - 117, 2*x = h + 54. Does 5 divide (-4)/(-6) + h/(-6)?
True
Let x = -118 + 79. Let u = -17 - x. Does 11 divide u?
True
Let x(n) = -n**2 + 13*n + 14. Let l be x(11). Suppose -l + 8 = -4*j + 4*g, 20 = 5*g. Does 8 divide j?
False
Suppose 0*r + 3*r - 18 = 0. Suppose 9 = 5*f - r. Suppose k - 10 = -3*k + f*c, -3*k + 2 = -5*c. Is 3 a factor of k?
False
Let n(a) = a**3 - 14*a**2 - 14*a + 5. Is 4 a factor of n(15)?
True
Let c = 357 - 147. Is c a multiple of 14?
True
Suppose 2*m - 10 = -2*s + m, -5*s - 2*m = -23. Let k be -3*s/(-18)*4. Suppose 33 = -0*j + j + k*x, -3*x + 29 = j. Does 11 divide j?
False
Suppose 15 = 4*d - 41. Does 4 divide 170/d - (-3)/(-21)?
True
Let a(f) = -f**2 - 4*f + 6. Let z be a(-5). Suppose 0 = -5*q + 4 + z, 4*g = -3*q + 31. Is 5 a factor of g?
False
Let p(o) = o**2 + 7*o - 15. Suppose 4*s - 4*m + 36 = 0, 4*s - m + 46 = -2*m. Does 29 divide p(s)?
True
Does 4 divide -3*(2 + (-22)/6)?
False
Suppose -4*s + 8*s + 132 = 0. Suppose -4*o = -253 + 41. Let z = s + o. Is 10 a factor of z?
True
Suppose 0 = -d - 3*d - 132. Is (16/24)/((-2)/d) a multiple of 11?
True
Is -78*(8 + (0 - 4) - 6) a multiple of 27?
False
Is 32 - -3*6/9 a multiple of 17?
True
Let s(o) = -6*o + 2. Let x be s(-8). Let z = -28 + x. Is 12 a factor of z?
False
Let y be (-5)/(-2)*(-8)/(-10). Suppose 3*t = -y*t + 105. Is t a multiple of 9?
False
Suppose 132*c + 56 = 134*c. Is 5 a factor of c?
False
Suppose 0 = n - 1 + 5, 3*j - 145 = -2*n. Suppose z + j = 2*w, w - 11 - 13 = 2*z. Does 13 divide w?
True
Let g(s) = 229*s**2 + 3*s - 4. Is g(1) a multiple of 38?
True
Suppose -10 = 2*y - 4*c, -5*y + c = -0*c - 11. Suppose y*x + x - 16 = 0. Does 7 divide (-4)/(-6)*78/x?
False
Let j(u) = u**3 - u**2 - 2*u - 2. Let c be j(-3). Let b = 48 + c. Does 7 divide b?
False
Let t(h) = -3*h**3 + 2*h**2 + 2*h - 1. Let b(o) = 8*o**3 - 7*o**2 - 5*o + 4. Let c(f) = 4*b(f) + 11*t(f). Let i be c(-6). Let s = i - -13. Is 3 a factor of s?
True
Let i(j) be the third derivative of j**6/120 + j**5/20 - j**4/8 - j**3/2 - 2*j**2. Let n be i(-3). Suppose n + 15 = 3*d. Is 7 a factor of d?
True
Suppose 4 = -5*i - 2*w - 2*w, 0 = 2*i + 2*w + 2. Suppose -3*k + i*k + 138 = 0. Does 14 divide k?
False
Does 12 divide 24/6 - (-15 - 1)?
False
Suppose -10*g - 55 = -15*g. Is g even?
False
Suppose -3*a - 4 + 1 = 0. Let o(c) = -3*c**2 + c. Let k be o(a). Is 5 a factor of 4/((-16)/5)*k?
True
Let u(j) be the second derivative of 2*j**2 + 4*j + 0 - 11/6*j**3. Does 16 divide u(-3)?
False
Let j(i) = i**3 - 8*i**2 + 7*i + 1. Suppose -z + 6*z = 25, -2*b + 3*z = 3. Let h be j(b). Let s = h - -42. Is 13 a factor of s?
True
Let i = -6 - -13. Suppose -i*d + 108 = -3*d. Is d a multiple of 9?
True
Let z(r) = -r + 11. Let f be z(5). Suppose 0 = 3*v + f, 0 = -4*n - n - v + 513. Is n/4 - (-1)/4 a multiple of 13?
True
Suppose -119 - 63 = -7*f. Does 26 divide f?
True
Let p = 3 + -6. Let t(s) = 2*s**2 + s - 4. Is t(p) a multiple of 11?
True
Suppose -5*o = -l - 55, 0*o + 2*l - 34 = -2*o. Let h = o - 6. Is h a multiple of 4?
False
Let h(t) = -t**3 - 6*t**2 + 11*t + 11. Is 17 a factor of h(-8)?
True
Let i = 0 + 4. Suppose 25 = 5*p + t + 3*t, -i*p = -4*t - 20. Is 16 a factor of 30 + 1 - (-5)/p?
True
Suppose 11 = -5*x + 1. Does 3 divide (3 + -6)*x - -2?
False
Suppose -56 = 7*p - 8*p. Is p a multiple of 21?
False
Suppose -2*p + 6*p = 5*x + 1560, 3*x - 373 = -p. Is 11 a factor of p?
True
Suppose 0 = -n + 4*n - 267. Is n a multiple of 17?
False
Is (-4 + 0)*-5*(-2)/(-4) a multiple of 2?
True
Let s be 4/3 - (-2)/(-6). Let p(j) = -4*j**3 - j + 1. Let h be p(s). Is 4/(-6)*66/h a multiple of 11?
True
Let v(p) = 94*p**2 + 3*p + 2. Is v(-1) a multiple of 31?
True
Let l be 1/2 - 69/(-2). Suppose -1 = -2*g + l. Is (-3)/(g/(-8))*18 a multiple of 12?
True
Let u(f) = -f**2 - 2*f + 97. Is 20 a factor of u(0)?
False
Suppose 0*h = -3*h - s + 54, 0 = h - 5*s - 18. Is 18 a factor of h?
True
Let b be 15/((-9)/(-2) - 3). Let s = 14 - b. Is s a multiple of 4?
True
Let v(n) = -n**3 + 9*n**2 - 4*n + 7. Is v(6) a multiple of 27?
False
Let l = -15 + 29. Let a(w) = -w**2 + 18*w. Is 16 a factor of a(l)?
False
Suppose 5*u - 173 + 138 = 0. Is u a multiple of 5?
False
Let z(g) = g**3 + 7*g**2 - 6*g + 6. Let o be z(4). Let a = -95 + o. Is a a multiple of 21?
True
Let j(a) = 5*a**3 - 2*a**2 - 3*a + 2. Let w be j(2). Let i be (-744)/(-15) - (-2)/5. Let f = i - w. Does 8 divide f?
False
Suppose 5*z - 16 = 4*t, -5*z + 2*t + 15 = -3*t. Suppose -o + 6 - 1 = 3*y, z*o - 5*y = 88. Does 3 divide o?
False
Let u = 50 + 35. Is u a multiple of 18?
False
Let s(x) = -x**2 + 9*x - 8. Let v be s(8). Suppose -5*a = -v - 5. Suppose -2*u + 5 = 4*z - a, -6 = -2*u - 5*z. Is u a multiple of 2?
False
Suppose -2*p + 162 = -2*r - 0*r, p - 4*r - 72 = 0. Suppose 4*u + 2*a - 16 = 3*u, -3*u + 3*a = -p. Does 12 divide u?
True
Suppose -r = -3 - 0. Suppose -r*m + 3 = 0, 5*w + 2*m - 3*m = 19. Is 3 a factor of w?
False
Suppose -54 = -4*n + 2*i, -n - 4*i + 30 = 3. Is n a multiple of 7?
False
Suppose 11*y - 12*y = -21. Does 7 divide y?
True
Suppose 3 = -4*c + 11. Let m(v) = v**2 - c*v - 4 + 4. Is 3 a factor of m(3)?
True
Suppose l = 3*d - 12, 3*l + 0*d - 4 = d. Suppose -4*u + l*a - 9 = 0, 5*u + 6 + 9 = 5*a. Suppose -3*k + u*o + 30 = -4*o, 3*k + 3*o - 9 = 0. Does 6 divide k?
True
Let u = 0 - 0. Does 5 divide -7*1*(-2 + u)?
False
Does 3 divide 8 - (-8 + -4)/(-4)?
False
Let z be (-12)/8 - 5/(-2). Suppose -2*l = -3 + z, -3*l - 21 = -3*y. Is 4 a factor of y?
True
Suppose -r - 1 = -15. Is r a multiple of 7?
True
Let s(h) = -h**2 + 8*h - 1. Suppose -4*m = -m - 9. Let n = 1 + m. Is 5 a factor of s(n)?
True
Let g be (3/(-2) + 1)*0. Let j be (2 - 0)*(g + 1). Suppose -j*v + 5*w = -5*v + 14, 4*v - 17 = -5*w. Is 2 a factor of v?
False
Let s = -12 + 10. Does 18 divide s + (60 - 3 - 1)?
True
Let y = 76 - 40. Suppose 2*i + 3*g = -2*i + y, -4*g + 22 = i. Does 6 divide i?
True
Let u = 12 + 39. Does 17 divide u?
True
Suppose 3*r - 5*h - 1086 = 0, 5*r - 3*h = 310 + 1484. Is r a multiple of 36?
False
Suppose 4*u = -u - f + 260, -2*u = -2*f - 92. Is 27 a factor of u?
False
Let w(j) = j**3 + 3*j**2 - 4*j + 7. Let p be w(-5). Let z = p - -42. Is z a multiple of 13?
False
Let p = -4 - -8. Let o = 62 - 44. Is 13 a factor of 2*(o/p - -2)?
True
Let c(l) = -16*l - 1. Let d be c(-1). Let o be 2/6 + (-65)/d. Does 8 divide (-2)/o - (-63)/6?
False
Let b(g) = -8*g - 4. Let l be b(-4). Suppose 0 = 3*z + 2*d - 21, 3*z = -d + l - 4. Is 7 a factor of z?
False
Let m = -97 - -177. Does 14 divide m?
False
Let t(a) = -a**3 - 4*a**2 + 6*a + 1. Is 32 a factor of t(-7)?
False
Let j(y) = 3*y + 50. Does 25 divide j(0)?
True
Let h = -15 - -28. Suppose x - 5*d - 660 = -4*x, x = -2*d + 147. Suppose 5*q = x + h. Is 15 a factor of q?
True
Does 3 divide -2 + 16/4 - -3?
False
Suppose 4*b - 351 = -55. Suppose -4*v - 71 = q, 5*v - v - 2*q + b = 0. Let t = v + 27. Is t a multiple of 8?
False
Let z = -44 - -127. Is z a multiple of 26?
False
Let p = 8 - 6. Suppose 3*o - p - 4 = 0. Suppose 17 = y - 5*t, -32 - 2 = -3*y - o*t. Is 12 a factor of y?
True
Let o(v) = 12*v + 12*v - 3*v + 1. Is o(1) a multiple of 11?
True
Let m be 75/12 + 3/(-12). Suppose -86 = -m*y + 5*y. Is 21 a factor of y?
False
Does 3 divide 84*((-2)/(-12) - 1/(-3))?
True
Suppose 0 = -4*d - 25 + 9, -4*o = 5*d - 64. Is 9 a factor of (1 - 0)*-3 + o?
True
Suppose 4*j + 7 + 1 = 2*d, 5*j + 2*d = -1. Let w = 3 - 5. Does 4 divide ((-42)/w)/3 - j?
True
Suppose 4*z - 6*w - 108 = -2*w, -3*z + w + 85 = 0. Is z a multiple of 6?
Fals