*l + 17 = z. Is 4 a factor of z?
False
Suppose -6*g = -2*g - 8. Let m(u) = -u**3 - 8*u**2 + 12*u + 12. Let k be m(-9). Is (-18)/((k/g)/5) a multiple of 12?
True
Let n = -4 - -8. Suppose n = t, t = -u + 2*t + 17. Suppose 2*o - 69 = -3*o + 2*m, 2*m - u = -o. Is 15 a factor of o?
True
Let k = 23 - 12. Let m(h) = 4*h - 3. Let b be m(4). Let d = k + b. Is d a multiple of 9?
False
Let h be (-1)/(-3)*(6 + 0). Suppose -h*c + c = -16. Let s = -9 + c. Does 7 divide s?
True
Let o = -21 + 29. Suppose -3*s = 3*q - 42, -o*s = -3*s - 15. Is 11 a factor of q?
True
Let q = 39 - 25. Let m = 13 + q. Does 17 divide m?
False
Let l be -3*5*(-12)/(-9). Is (-1)/5 + (-484)/l a multiple of 12?
True
Let f(x) = -5*x - 1. Let z be f(5). Let t = z + -1. Does 18 divide (-939)/t + 2/9?
False
Let w be (-27)/(-6)*20/(-3). Let m be w/(-2)*(3 - 1). Does 11 divide (-1*2)/((-5)/m)?
False
Let q = -3 - -4. Let f(p) = 19*p**2 - q - p + 1. Is f(1) a multiple of 18?
True
Let s = -9 + 7. Let j(v) = 2 - 4 - 16*v - 18*v. Does 17 divide j(s)?
False
Suppose -u + 87 = -2*u. Let c = u + 137. Suppose d = i - 8, -4*i + c = -0*i + 2*d. Does 7 divide i?
False
Let z(s) = 4*s**2 - s - 2. Let m(q) = 3*q - 1. Let j be m(1). Does 12 divide z(j)?
True
Let t(c) = -c**2 - 10*c + 5. Let d(p) = -p**3 - 5*p**2 - 3*p - 6. Let o be d(-4). Does 5 divide t(o)?
True
Suppose -4*v + 4 = -52. Suppose 5*m + 4 = v. Suppose 0 = j - m - 2. Is j a multiple of 4?
True
Let p(j) be the first derivative of -8*j**2 - j - 1. Does 7 divide p(-1)?
False
Suppose 0*s = -2*s + 4. Suppose 5 - 43 = -s*j. Is j a multiple of 17?
False
Let y be -1 + (3/(-3) - -9). Suppose -y = -2*x + 3. Does 2 divide x?
False
Suppose 9*a - 5*a = 8. Suppose -3*z - a*z = -340. Is 15 a factor of z?
False
Suppose 4*p - 95 = -p. Suppose 2*h - 69 = p. Does 11 divide h?
True
Does 2 divide 62/10 - (-4)/(-20)?
True
Let x(c) = 15*c. Let o be (-2)/7 - 18/(-14). Let t be x(o). Suppose -2*a + 5*a - t = 0. Is a a multiple of 5?
True
Let b(t) = 11*t**2 + 8*t. Let i be b(-7). Is i/9 + (-4)/6 a multiple of 9?
False
Suppose -5*u = 3*a, 19 = 3*a - 5*u - 11. Let v be 2*4/((-8)/a). Let q(z) = -z**3 - 4*z**2 + 3*z - 6. Is q(v) a multiple of 2?
True
Does 24 divide (-518)/(-5) - 6/10?
False
Let n(p) = -3*p - 1. Let w be n(-1). Does 12 divide 2/w + -3 - -14?
True
Suppose -3*h + 4*h = 4. Suppose 152 = h*c + 48. Is c a multiple of 13?
True
Suppose 16 = 2*f - 10. Is -1*(-1 - f/1) a multiple of 11?
False
Let v = 166 - 88. Let f = 111 - v. Is 15 a factor of f?
False
Let d(i) = i**3 + 17. Is d(0) a multiple of 17?
True
Suppose -6*k + 4*k + 232 = -2*b, -470 = -4*k - 2*b. Is k a multiple of 8?
False
Suppose -b + 2*b = 16. Let a = b + -6. Is 5 a factor of a?
True
Let c(o) = o**2 + 11*o + 7. Is 2 a factor of c(-12)?
False
Let w(r) = -3*r**3 + 3*r**2 - 4*r + 3. Let p(b) = b**2 + b + 3. Let n be p(0). Let o be w(n). Let x = o + 111. Is x a multiple of 25?
False
Let d(n) = -n**2 - 4*n + 4. Let z = -11 + 16. Let q = z + -8. Is 5 a factor of d(q)?
False
Let k = -8 + 10. Suppose -k*u - 6 = 2*b - 60, u - 2 = 0. Is b a multiple of 13?
False
Let s = -8 + 5. Does 13 divide 26/(-4)*(s + 1)?
True
Let h = -22 - -40. Suppose h = k - 2. Is k a multiple of 20?
True
Suppose -3*c - 5 = t, -4*t - t = 25. Suppose c = 3*a - 3*m + 9, m + 18 = -2*a - m. Is 10 + (a + 0)/(-3) a multiple of 7?
False
Let t(j) be the third derivative of j**5/10 - j**4/12 + j**2. Let a be t(2). Is 328/a - (-2)/(-5) a multiple of 16?
True
Let y = 53 - 20. Is y a multiple of 7?
False
Suppose 2*h + 4*j - 4 = 0, 2*h + 3 = -h + 3*j. Suppose -s + 5*f - 10 = h, 0 = -s - f + 3*f - 4. Is 13 a factor of 13*2 + 0 + s?
True
Suppose 4*s = 2*s - 8. Let d = 3 - s. Is 3 a factor of d?
False
Let g(z) be the first derivative of z**5/20 - z**4/6 - z**3 + z**2/2 - 2*z + 1. Let a(v) be the first derivative of g(v). Is 27 a factor of a(5)?
False
Suppose -2*p - 327 = 539. Let z = p + 115. Does 6 divide 4/18 - z/27?
True
Suppose -14 = -3*x - w, 0 - 2 = -w. Suppose -j = -x*j + 231. Let u = j - 55. Does 11 divide u?
True
Suppose -3*x - 4*s = x - 4, -5*x - 3*s + 11 = 0. Suppose -3*j + 2*o = -50, 0 = -4*o - 0 - x. Does 5 divide j?
False
Suppose 2*c = -f + 64, f - 184 = -2*f - 2*c. Suppose 4*t - f = -4. Is 14 a factor of 200/t - 2/7?
True
Let l(k) = 3*k**2 + k + 4. Let a be 3*-1*(-6 + 7). Does 11 divide l(a)?
False
Suppose 5*m + 10 = b, 5*m + 4 = 2*b - 6. Suppose b*c - 12 = -4*c. Suppose 0 = 2*n - 25 - c. Is 9 a factor of n?
False
Suppose 2*t - 12 = -5*h + 3*h, -3*h = 4*t - 22. Suppose 0 = 3*i + t*y + 26, -2*i - 18 = -3*i + 4*y. Is i/(-1*(-2)/(-16)) a multiple of 16?
True
Suppose 4*w - 5 - 59 = 0. Let i = w - -2. Does 18 divide i?
True
Let p = -54 - -30. Let a = -7 - p. Is 14 a factor of a?
False
Is 4 a factor of ((-30)/(-4))/((-45)/(-60))?
False
Let o = -61 - -105. Let k = o - 9. Is 18 a factor of k?
False
Suppose -5*w + 388 = 3*z - 4*w, 382 = 3*z - 5*w. Is 11 a factor of z?
False
Let f(d) = d - 23. Let i be f(-7). Is (11/3)/((-10)/i) a multiple of 11?
True
Let k be 10/(-4)*30/25. Is 2*1 - (k - 0) a multiple of 3?
False
Let o be ((-16)/(-12))/((-2)/(-3)). Let h be (-56)/o*(1 - 2). Is h/8 + (-2)/4 a multiple of 3?
True
Let j be 5 - 0/(1*-3). Suppose j*h - 2*h = 4*v + 21, -3*h = 5*v + 6. Let q(s) = s**3 + 5*s**2 + 3*s - 3. Is 6 a factor of q(v)?
True
Let o = -111 + 187. Does 19 divide o?
True
Let t(p) = -p**3 - 7*p**2 - 4. Let d be t(-7). Let c be (1 + 0)/((-1)/d). Suppose -x - c*x = -130. Does 12 divide x?
False
Let q = 20 - 14. Let u = q - 4. Suppose 4*w = -4*l + 36, -20 = -5*l - u*w + 10. Does 2 divide l?
True
Let u(l) = l**3 - 5*l**2 + 3. Let z be u(5). Suppose f + 2*o = 16, -4*f - z*o + 6*o = -64. Does 8 divide f?
True
Suppose 3*f - 3*a - 318 = -4*a, -2*a = -6. Suppose -4*l + 165 = 3*b, 2*b - 4*b + f = l. Suppose 2*h + b = 5*s, -4*s = 3*h - 8*h - 34. Is s a multiple of 11?
True
Let t = 24 - 6. Is 9 a factor of t?
True
Let v(x) = -4*x - 6. Let i(p) = 3 - 9*p - 7 - 2 - 5. Let k(q) = -2*i(q) + 5*v(q). Is 3 a factor of k(-8)?
False
Let u = -5 - -7. Suppose 0 = 3*b - u*b - 4. Suppose -b*t + 87 + 1 = 0. Is t a multiple of 19?
False
Let i(o) = -o**2 + 5*o + 3. Let d be i(5). Let p = -2 + d. Let w(k) = 7*k. Does 3 divide w(p)?
False
Let u be ((-3)/(-6))/((-1)/70). Suppose x - 54 + 8 = -5*i, -5*i + 70 = -5*x. Does 10 divide (126/u)/((-3)/i)?
False
Suppose -3*b + 15 + 11 = 2*d, -4*d = 2*b - 44. Suppose d = -k + 2*k. Is 8 a factor of k?
False
Let c(h) = 8*h - 8. Is 6 a factor of c(4)?
True
Let w = 118 + -49. Is w a multiple of 18?
False
Let n(w) = -w**2 - 8*w + 4. Let o be ((-7)/2)/(1/2). Let h be n(o). Suppose -v - 126 = -5*q, -2*q + 43 = -5*v + h. Is q a multiple of 13?
True
Let h be (-1)/(-3) - (-898)/6. Suppose 5*u = -0*r + 2*r + h, 18 = u + 2*r. Is 11 a factor of u?
False
Suppose -4*u - u = -20. Let g = 10 + u. Is g a multiple of 14?
True
Let i(t) = t**3 + 4*t**2 - 5*t - 6. Let g be i(-5). Is 2 a factor of g/(-3) - -1 - 1?
True
Let y(f) be the second derivative of -f**4/12 - 3*f**3/2 - f**2 - 2*f. Does 9 divide y(-5)?
True
Suppose -178 = -5*h + 132. Does 31 divide h?
True
Let m(s) = 39*s + 2. Let w(n) = 19*n + 1. Let o(d) = 3*m(d) - 5*w(d). Does 7 divide o(1)?
False
Suppose 4*g + 7 = 147. Is g a multiple of 5?
True
Suppose 4 = -6*g + 5*g. Let l = 5 + 1. Let k = l - g. Is k a multiple of 5?
True
Let o be 1/(-4) + (-13)/(-4). Suppose -2*a + 56 = -2*x, o*a - 3*x - 60 = -6*x. Does 8 divide a?
True
Let j(d) = 5*d**2 - 28*d. Is 9 a factor of j(9)?
True
Let n = 3 + -1. Let t be -2*n/(-4) + 7. Is 5 a factor of (0 - -1)*-2 + t?
False
Let x(i) = -16*i + 2. Let m be x(2). Let g = -10 - m. Does 19 divide g?
False
Let q(j) = j**3 - 8*j**2 + 9*j - 8. Let l be q(7). Suppose n + l = -54. Is (8/(-24))/(2/n) a multiple of 6?
False
Let g(q) = q**3 - 4*q**2 - q + 5. Let y(k) = -6*k**2 - 4*k + 6. Let j(d) = 5*d**2 + 3*d - 5. Let v(l) = 4*j(l) + 3*y(l). Let p be v(-2). Is 24 a factor of g(p)?
False
Let x be (-2)/(-4) - 1289/(-2). Suppose 2*r + 3*d = -48, 9*r - 4*r + 2*d + 109 = 0. Does 12 divide (-4)/(-14) - x/r?
False
Let t be ((-188)/(-6))/(1/15). Suppose 2*r + t = 7*r. Suppose -5*a + r = -46. Is 28 a factor of a?
True
Suppose 5*u - 6*u = -65. Let i = -29 + u. Is i a multiple of 9?
True
Let l(b) = -67*b**3 + b. Let k be l(1). Is 9 a factor of 1 + k/(-2) + -1?
False
Let v(y) = 