 - 5*y + 212 = 0. Does 15 divide h?
False
Let o = 7 - -2. Suppose 2*z = a - 7, -o = -a + 3*z + z. Suppose 5*i - 2*i = -y + 20, 0 = -a*i + 2*y + 48. Is i a multiple of 6?
False
Let c = -1354 + 2194. Is 70 a factor of c?
True
Let m be 1*(-7)/((-7)/(-10)). Does 36 divide (-26)/(3 - m/(-3))?
False
Let u(s) = s**3 - 6*s**2 - 7*s + 5. Let y be u(7). Suppose -o + y*d + 39 = 0, -d = o + 4*d + 1. Does 12 divide o?
False
Let f be (2 - 1) + (-20)/(-4). Let h(x) = x**3 - 3*x**2 - 8*x + 2. Let w be h(f). Does 31 divide w/(-6*1/(-9))?
True
Suppose -8*l + 9 = -5*l. Suppose 0 = c - 5, 2*m - 3*c = -m + l. Is 2 a factor of m?
True
Let w(r) = -r**2 + 3*r + 9. Let u(j) = j**2 - 4*j - 8. Let t(a) = -4*u(a) - 3*w(a). Suppose -3*f + 4*z = -4 - 7, 3*z = 3. Is 5 a factor of t(f)?
True
Let j = 32 + 30. Suppose -2*g + 23 = -q + 2*q, 0 = -2*q + 4*g + j. Is 16 a factor of q?
False
Suppose 4*k - 2*k = -2*m + 20, -3*m = -3*k - 48. Let f(t) = 2*t**2 - 22*t - 10. Is f(m) a multiple of 14?
True
Is 206640/189 - 10/(-6) a multiple of 73?
True
Let g(x) = 3*x + 20. Let p be g(-5). Suppose 5*k = -26 + 6, -p*s + 3*k + 62 = 0. Is s a multiple of 7?
False
Let i = 320 + -46. Does 7 divide i?
False
Suppose 116*g - 3440 = 96*g. Is 43 a factor of g?
True
Let u(l) = 5*l - 10. Let i(n) = 4*n - 9. Let t(f) = 6*i(f) - 5*u(f). Let j be t(-6). Let p(y) = 5*y**3 - 2*y**2 - 2. Is p(j) a multiple of 6?
True
Let f = 697 - 374. Is f a multiple of 17?
True
Let p(i) = 190*i**2 + 5*i + 6. Let u be p(-2). Suppose u = 18*h - 4*h. Does 15 divide h?
False
Let x(o) = 3*o**2 - 14*o - 1. Let n be x(12). Suppose -2*z + n - 11 = 0. Is z a multiple of 21?
True
Let x(i) be the third derivative of -i**4/24 + 16*i**3/3 + 3*i**2. Let h be x(0). Let w = -17 + h. Is 9 a factor of w?
False
Suppose 0 = -3*j - 3*n - 69, -68 = 4*j - 0*n - 4*n. Let b be 2*-2*(-285)/j. Let o = b - -132. Is 13 a factor of o?
False
Let l = -1680 - -2530. Is l a multiple of 23?
False
Let h(l) be the third derivative of 7*l**5/60 + l**4/12 - 43*l**3/6 - 13*l**2. Is h(6) a multiple of 15?
False
Let o be 3015/(-30)*(-2)/1. Let n = 299 - o. Is n a multiple of 49?
True
Suppose -155 = 3*x + 55. Let f = -16 - x. Does 8 divide f?
False
Let y be 40/(-70) - (-172)/7. Let c = y + -15. Suppose c*r - 50 = 4*r. Is 3 a factor of r?
False
Suppose 2*p - 252 = 52. Let t = 336 + -250. Let j = p - t. Is j a multiple of 22?
True
Suppose 0 = -u + k - 2*k, 0 = -4*u + 3*k + 21. Let o be 0/(u - 6) + 4. Suppose -o*l - l = -540. Is l a multiple of 12?
True
Let f(v) = -v**2 + 4*v + 23. Let p be f(7). Suppose c = 4*c + p*r - 255, 4*c + r = 335. Is c a multiple of 5?
False
Let d be ((-36)/(-24))/((-6)/(-136)). Suppose -60 = -d*n + 38*n. Does 18 divide ((-48)/10)/(2/n)?
True
Suppose -5*z + 806 = f, -6*z = -z + 4*f - 794. Is 3 a factor of z?
True
Let g be 1/(-7) - 114/(-14). Let j = g + 87. Let d = j - 43. Is d a multiple of 13?
True
Let m = 0 + 27. Suppose -d + 4*j = -1, 3*d = -2*j - 12 - m. Is (d/(-22))/((-1)/(-14)) a multiple of 7?
True
Let x(h) = 5*h - 39. Let o be x(21). Let m be (-374)/10 + 6/15. Let a = o + m. Does 18 divide a?
False
Suppose -4*u - 416 = -4*l, 2*l - 247 + 69 = -4*u. Let o be (-2 + 1)/((-1)/53). Let i = l - o. Is 12 a factor of i?
False
Let l(h) = -h**3 + 14*h**2 - 6*h - 15. Let j = 9 - -4. Let y be l(j). Suppose -4*p + 8 = 0, -3*r + y - 14 = -5*p. Is r a multiple of 8?
True
Let r = 13 - 9. Suppose -p = r - 6. Does 4 divide (-297)/(-22) - 1/p?
False
Let z(f) = 535*f - 91. Is z(9) a multiple of 13?
False
Let c(l) = -2. Let f(z) = -19*z + 8. Let s(q) = 14*c(q) + 2*f(q). Is s(-4) a multiple of 40?
False
Let u be (4/3)/(24/(-108)). Let i = -17 + u. Let b = 8 - i. Is b a multiple of 10?
False
Suppose i + 4*i + 120 = 5*x, 3*x - i - 64 = 0. Suppose y + y - 72 = -3*n, -x = -5*n. Does 6 divide y?
True
Let u(i) = 5*i - 4. Let n be u(-5). Let d = 54 - n. Does 9 divide (-33)/(-22) - d/(-2)?
False
Suppose -2*a - x = -1111, -5*x + 0 = 15. Is 9 a factor of a?
False
Suppose -3*t + 8 = -2*l, -6*t + 5*l = -t - 10. Suppose 0*o = 4*o - t*d - 280, -3*o = -d - 212. Let p = o + 21. Is p a multiple of 23?
True
Let z(f) = f**3 - 3*f**2 - 7. Let d be z(7). Suppose 4*x - 4 = 3*x. Suppose 0 = x*b - b - d. Is 21 a factor of b?
True
Let v(h) = 4*h - 12. Let j be v(16). Is 2/(-13) + 1048/j a multiple of 16?
False
Does 4 divide (-42)/(-63) - 10/6 - -81?
True
Let i = 4 + -69. Let o = 19 - i. Suppose -4*t + 4*c + 86 = 14, 2*c = 5*t - o. Does 12 divide t?
False
Suppose 0 = 4*f - i - 2184, 2*f + 3*i - 1092 = -i. Suppose 6*y = -24 + f. Is 29 a factor of y?
True
Suppose -6 = -3*f + 2*f. Let w be 4 + (3 - f - -1). Is w - (3 + -3 + -6) a multiple of 6?
False
Let m(i) = -367*i - 636. Does 87 divide m(-6)?
True
Suppose -11*b - 128 = -3978. Is 4 a factor of b?
False
Suppose w = 3*c - 7*c - 19, -3*w = -3*c + 27. Is (-1891)/(-8) + w/((-88)/(-3)) a multiple of 14?
False
Suppose 5*w = w - 12. Let p(h) = -h**2 - 6*h - 7. Does 2 divide p(w)?
True
Suppose -3*j + 21 = -3*l, -j + 2*j = -l + 1. Suppose -2*s = 2*s + 5*i + 26, 2*i + j = 0. Does 6 divide (-5 + -7)/(s/6)?
True
Suppose 0*q - 19*q = -190. Is 7 a factor of (q/(-5) - 3) + 68?
True
Let v(t) = -41*t + 18. Let x be v(-2). Suppose 2*d - 2*i = 6, 0 = -5*d + 4*i - 0*i + 17. Let u = d + x. Is u a multiple of 15?
True
Suppose 3 + 17 = -5*k. Let w be k/10 + (-12)/(-30). Suppose -2*c = -w*c - 14. Is c a multiple of 5?
False
Suppose 2 - 23 = -3*g - 3*k, 0 = -5*g + 4*k - 1. Let q be (-3)/(-2)*(0 - 2). Is (2 - g)/(q/177) a multiple of 15?
False
Suppose -2*r = -5*r - 5*l + 47, 0 = -r + 3*l + 11. Let c = -8 + r. Suppose -4*t - 100 = -c*t. Does 9 divide t?
False
Suppose 1 = -2*a + 11, 4*a - 1228 = -4*y. Does 19 divide y?
False
Let i = -22 + 18. Does 16 divide -1 - 2 - (i + -93)?
False
Let d = 32 - 32. Suppose d = 4*s - 21 + 5. Suppose -s*n - r - r = -84, -3*n - 5*r = -70. Is n a multiple of 10?
True
Suppose -47*b + 41*b - 18 = 0. Let l(s) be the third derivative of s**5/5 - s**4/12 - 2*s**3/3 - s**2. Is l(b) a multiple of 28?
False
Let c = -165 + 400. Let v be -84*-1*(-1 - 1). Let p = c + v. Is p a multiple of 14?
False
Let u(c) = -11*c**3 + c**2 - c - 2. Let d be u(-2). Suppose -3*p = 5*x - 176, 0 = 3*x - 5*p - 0*p - d. Is x a multiple of 34?
True
Suppose -y + 22 - 19 = 0. Suppose y*p = -0*a + 2*a + 141, -3*p - 2*a + 141 = 0. Is p a multiple of 25?
False
Let a be 456/(-16)*88/(-6). Let q = -289 + a. Suppose 0 = -h - 2*h + q. Does 13 divide h?
False
Let j(u) = 2*u**2 - 4*u + 1. Suppose 0*g + 30 = 3*g. Suppose 2*c = -g, 0*c - 23 = -2*k + 3*c. Does 17 divide j(k)?
True
Let w = 5 - 5. Suppose b + b - 120 = w. Is 12 a factor of b?
True
Let d(t) be the second derivative of t**5/20 + t**4/2 - 4*t**3/3 + 13*t**2/2 - 3*t. Suppose 2*z - 12 + 34 = -2*q, 5*z + 48 = -4*q. Is 3 a factor of d(q)?
False
Let b(u) = -u**3 + 9*u**2 + 8*u + 11. Let s(v) = -4*v**3 + 28*v**2 + 23*v + 34. Let q = -2 - 5. Let z(n) = q*b(n) + 2*s(n). Is 5 a factor of z(-6)?
True
Let k = -31 + 51. Does 20 divide k?
True
Let k = -101 + 497. Is k a multiple of 12?
True
Suppose -5*u + 28 = -2*f, -2*u - f = 3*f + 8. Suppose -6*j + j = u*r - 515, 4*r = 3*j - 309. Is j a multiple of 7?
False
Let q be -2*(-35)/(-20)*4/(-7). Suppose -3*g - 560 = -4*x, -4*x - 5*g = -q*x - 280. Is x a multiple of 20?
True
Suppose -5*p + 510 = -3*z, -4*p + 4*z + 395 = -z. Suppose -4*g - g + p = 0. Is g a multiple of 11?
False
Suppose 3*s + r = -18, -4*s - 4 = -3*r + 7. Let c(a) = -a + 3. Let g be c(s). Is (84/g)/((-2)/(-4)) a multiple of 11?
False
Let i be 320/(-6)*(-9)/(-6). Does 10 divide (152/(-5))/(32/i)?
False
Suppose 2*d = 5*w + 1367, 0 = -2*d - 3*w + 1229 + 178. Is 8 a factor of d?
True
Let o be (-1 - -4)*4/(-12) - -44. Suppose -o = -y + 3*u - 8*u, 5*y = -4*u + 320. Is y a multiple of 34?
True
Let c(r) = -17*r - 66. Let b be -1*((-1)/(-2))/((-3)/(-42)). Does 17 divide c(b)?
False
Let u be -3 + (6 - -1)*3. Suppose -2*i = -5*i + 3*l - 42, -i - u = l. Let x = i + 38. Does 14 divide x?
False
Suppose -10*i - 198 = -13*i. Is 6 a factor of i?
True
Let q = -90 - -339. Let s = q - 71. Is 20 a factor of s?
False
Let w = 365 + -205. Is w a multiple of 8?
True
Let j(r) = -2*r - 4. Let k be j(-4). Let h(d) = -d. Let m be h(-2). Is 21 a factor of k/2*53/m?
False
Let x(h) = -h**3 - 9*h**2 + 12*h - 1. Let q(r) = -r**3 - 10*r**2 + 13*