, -16 = 2*p + 2*d. Is 20 a factor of p/18 + (-244)/(-6)?
True
Let y(u) = -2*u - 9. Let f be y(-6). Let s be f/(-12) - (-13)/4. Suppose 0 = -s*h + 5*a + 15, 4*h - 4*a - 20 = 0. Is 5 a factor of h?
True
Let j(r) = 2*r**2 + r. Let y be j(1). Let p = -2 + y. Let b(h) = 40*h + 1. Does 12 divide b(p)?
False
Let i = -13 - -56. Is 22 a factor of i?
False
Let t = 136 - 82. Let w = -14 + t. Is 10 a factor of w?
True
Let i(j) = 11*j**3 + 4*j**2 - 3*j. Let x be i(2). Suppose 3*h - x = 4. Is 17 a factor of h?
True
Suppose -3*l = q + 2*l - 213, -q - 2*l = -210. Suppose -q = -3*j + 32. Suppose -2*d = 2*d - j. Does 20 divide d?
True
Let z be (1 - -2) + -15 + -4. Let c = 22 + z. Is c a multiple of 6?
True
Suppose -16 + 106 = 3*t. Let b = 6 + -3. Suppose -u + 5*f = -2*u + 40, 3*f = b*u - t. Is 7 a factor of u?
False
Let j = 46 + 22. Is 17 a factor of j?
True
Let k(h) = -7*h + 2 - 1 + 1. Suppose -w + 2*u = -6, 2*u = 3*u + 4. Is 16 a factor of k(w)?
True
Let n(h) = 2*h - 5. Let l be n(4). Suppose -l*v + 3 = -2*v. Does 12 divide 1 + (0 - v) - -14?
True
Suppose 4*r = -4*l - 8, 0 = 2*r - 2*l + 3*l + 2. Let m = 20 + r. Suppose 3*z - m = -5. Is z a multiple of 5?
True
Suppose 5*n + 0 = 5. Does 16 divide 2*(n + 37/2)?
False
Let u be (-6)/(-24) + (-247)/(-4). Suppose -h = 2*n - 17, -4*h = -3*n - u + 16. Does 3 divide h?
False
Let d = -297 + 194. Let v = -40 - d. Is 21 a factor of v?
True
Let i(o) = 5*o + 2. Let c be (-10)/(-6) + (-5)/(-15). Is i(c) a multiple of 6?
True
Let l(y) = 8*y. Let x(m) = -8*m - 1. Let c(r) = -3*l(r) - 4*x(r). Is 18 a factor of c(4)?
True
Let q(p) = p**3 - p**2 + 4*p. Is q(3) a multiple of 6?
True
Let i(a) = -a**2 - 8*a - 9. Let d be i(-5). Is 84/(-7)*d/(-4) a multiple of 6?
True
Let v(s) = s**3 - 6*s**2 - s + 4. Let x be v(6). Let o = 0 - x. Suppose 0 = 2*f + o*y + 2*y + 8, -y - 11 = -4*f. Does 2 divide f?
True
Let r(k) = -k**3 + 5*k + 3. Let c be ((-18)/(-12))/(1/(-2)). Is r(c) a multiple of 5?
True
Suppose 5*y - 187 = 278. Does 14 divide y?
False
Let k(b) = b**3 + b**2 - b. Let n be k(0). Suppose 2*s = 4 - n. Suppose -s*c = 2*m - 5*m + 114, 5*c + 190 = 5*m. Does 17 divide m?
False
Let j be (5 + 1)*(-6)/9. Is (-18)/j*6/9 a multiple of 3?
True
Suppose 2*u - 7 = -3. Let f = u + 7. Let k = 14 - f. Is 2 a factor of k?
False
Let d be (31/3)/(1/3). Suppose -3*u + 2*p - 4*p - 45 = 0, -5*u - 59 = -2*p. Let s = d + u. Is 9 a factor of s?
True
Suppose 2*o - 103 = 3*a - 6*a, -4*a = -o - 119. Is 23 a factor of a?
False
Let n be (-1520)/36 + 4/18. Is (6/9)/((-4)/n) a multiple of 5?
False
Suppose 5*y + 4*j - 722 = 0, -3*j - 320 + 22 = -2*y. Is 22 a factor of y?
False
Let i(t) = t**3 - 5*t**2 + t - 3. Let w be i(5). Suppose 3*f + 9 = -w*b - 0*f, -5*b + 6 = -2*f. Suppose b = 3*q - 48 - 6. Is q a multiple of 13?
False
Let k be 3/(-4)*(0 + 8). Let a(h) = -3*h**2 + 4*h + 11. Let d(l) = l**2 - 1. Let b(z) = a(z) + 4*d(z). Is 19 a factor of b(k)?
True
Let v = 134 + -60. Let d = v + -14. Does 30 divide d?
True
Suppose -2*o - 11 = -3*o. Suppose -15 - o = -h. Let d = -15 + h. Is 5 a factor of d?
False
Suppose -j + 5 = 3*z - 3*j, 3*j - 10 = z. Suppose -2*a - 4*l = -71 + 25, -5*l - z = 0. Suppose -40 - a = -5*o. Does 8 divide o?
False
Let h(m) = 9*m. Suppose q + 2*q - 2*b - 1 = 0, 0 = -3*q + 3*b. Is h(q) a multiple of 3?
True
Is 13 a factor of 3/(-6)*0 + 2 + 71?
False
Let x(j) = -15*j - 2. Let d be x(-2). Let w = d - -10. Suppose 122 = 5*c - 3*s, -4*c + 138 = -3*s + w. Is c a multiple of 18?
False
Suppose -5*l = -5*h - 155, -3*h - 118 = -3*l - 5*h. Is 9 a factor of l?
True
Suppose 482 = 3*r + 4*u, 0*u = -4*r + 2*u + 672. Is 15 a factor of r?
False
Let o = 5 - 2. Let j(q) = q**2 + 8*q. Let a be j(-11). Suppose 0 = -6*k + o*k + a. Is k a multiple of 11?
True
Is 8 a factor of (-5 - -2)/(3/(-40))?
True
Let q(x) = -x + 3. Let k be q(-4). Let m(v) = 1 + 2*v - v + 0*v + 5. Does 5 divide m(k)?
False
Let x = 53 + 1. Suppose 0 = 4*t - 106 - x. Is 14 a factor of t?
False
Let h(d) = -d**3 - 4*d**2 - 4*d - 7. Suppose p = 4*j - 3*p + 12, 3*p = -6. Does 10 divide h(j)?
False
Suppose 5*h - 3*k - 543 = 0, -3*h = -0*h - 5*k - 329. Suppose -h = -5*r + r. Is r a multiple of 9?
True
Let b(w) = 249*w**3 - w. Let u be b(1). Suppose 4*h - 752 = -u. Let d = 183 - h. Is d a multiple of 19?
True
Suppose -34 = 4*s - 102. Let l = 9 - s. Is 8 a factor of 6/(-4) + (-76)/l?
True
Let t(i) = i**2 - 10*i + 8. Let v be t(6). Let y = 3 - v. Is 6 a factor of y?
False
Let i = 6 - 3. Suppose 3*z - 4*v - 9 = 0, 3*z + i*v - 5 = 4. Suppose g - 100 = -z*g. Does 20 divide g?
False
Suppose -i + 79 = -2*m - 43, 0 = -3*i - 4*m + 326. Is 19 a factor of i?
True
Is 4/2 + 36/1 a multiple of 5?
False
Let l be (-1 + 3/6)*-200. Let f be (-32)/(-6) - (-6)/9. Suppose -5*u + l = -a + f*a, 2*a - 52 = u. Is 19 a factor of a?
False
Let v = -33 - -56. Is v a multiple of 23?
True
Suppose -2*u = -4*u. Suppose u = -m - 2*q + 11, 2*m - 5*q - 2 + 7 = 0. Is 5 a factor of m?
True
Is 13 a factor of 39*(68/12 - 4)?
True
Let b = -36 - -45. Is 2 a factor of b?
False
Is (-1)/((1/(-3))/(25 - 2)) a multiple of 5?
False
Let t be (-1 + 2 - 1)/(-3). Suppose t = -3*c - 4*u - 77, 5*c - 3*c = -3*u - 53. Let s = c + 38. Is s a multiple of 10?
False
Suppose 5*j - 3*t = 32, t - 5*t + 4 = 0. Suppose 41 = 3*a - j. Is 11 a factor of a?
False
Let d = 177 - 93. Does 4 divide d?
True
Suppose -6*d + 3*d + 42 = 0. Is d a multiple of 7?
True
Suppose 3*b = 2*b - 1. Let y(g) = -3*g - 1. Is y(b) even?
True
Let n be (128/2)/(2*1). Let r = -2 + 12. Let k = n - r. Is k a multiple of 10?
False
Let x(u) = u**2 + 11*u + 3. Let i be x(-11). Suppose 0 = i*f - 50 - 37. Let v = f + -7. Is 15 a factor of v?
False
Suppose 2*r - 1 = 5. Suppose 4 = 7*q - r*q. Let s(z) = 6*z**2 - 2*z + 1. Does 5 divide s(q)?
True
Suppose y = 5*y - 420. Is 15 a factor of y?
True
Suppose 2 = -2*g - 2. Does 17 divide (g/3)/(4/(-114))?
False
Suppose 0 = -5*f - 2*v + 1223, 134 = 3*f - 2*v - 587. Does 9 divide f?
True
Let a(r) = -2*r + 4. Suppose 3*y = -12, 4*k - 19 = 4*y + 1. Suppose -k = -4*s - 17. Is 6 a factor of a(s)?
True
Suppose 4*l + 188 = 2*p, 351 = 4*p + 4*l + 11. Is p a multiple of 22?
True
Is -2 + (16 - (-3 + 5)) a multiple of 12?
True
Let g(h) be the third derivative of h**4/12 - h**3/2 - 2*h**2. Let n be g(4). Suppose -s + 14 = -n. Is s a multiple of 8?
False
Let u(a) = -a**3 - 2*a**2 + 2*a + 1. Let n be u(-3). Let q(s) = -2 - 4*s - 2 + 0*s - n*s. Is q(-6) a multiple of 22?
True
Let m(n) = 7*n**2 + 4*n + 1. Is m(4) a multiple of 27?
False
Let q(f) = f**3 - 3*f**2 - 3*f. Let k be q(4). Let t be 4*(27/6 + -1). Let a = k + t. Does 9 divide a?
True
Suppose 5*u - 731 + 249 = 2*h, 0 = -4*u - h + 396. Suppose -5*y - 14 = -s, 5*s + 3*y = u - 28. Is 7 a factor of s?
True
Suppose 17 = 5*s - 3. Let u(q) = -q**3 + 5*q**2 + 4*q - 2. Let g be u(s). Is 4/(-14) + g/7 a multiple of 3?
False
Suppose y - 9 = 3*k, 16 + 4 = 2*y - 5*k. Is 5 a factor of y?
True
Suppose d = 2 - 0, d + 238 = 3*o. Is 5 a factor of o?
True
Let k(i) = i**3 + 13*i**2 - 19*i - 6. Is 16 a factor of k(-14)?
True
Let f(o) = 3*o**2 - 19*o + 7. Is f(10) a multiple of 9?
True
Let x = 6 + -4. Suppose 35 = -x*m + 7*m - 5*n, 10 = -2*n. Suppose g - 19 = 4*p, -2*g - m*p + 29 = -19. Is g a multiple of 10?
False
Suppose -v + 5*f = -63, 0 = -7*v + 3*v - 5*f + 352. Suppose -2*g = 5*p - 121, 0*p + 2*g + 29 = p. Let q = v - p. Does 20 divide q?
False
Suppose -4*h - 284 = -4*z, 4*z - z - 188 = -2*h. Suppose 0 = 2*f - 3*f - d + 54, 2*d = f - z. Does 17 divide f?
False
Suppose -g - 8*c + 3*c + 268 = 0, -c = g - 252. Suppose g = 3*l - 5*h, 8*h = 5*l + 5*h - 392. Is l a multiple of 21?
False
Let v = -4 - -15. Is 3 a factor of v?
False
Suppose -4*g - 31 + 91 = 0. Is g a multiple of 6?
False
Let a be ((-1)/(-4))/((-1)/(-12)). Suppose a*h = -5*f - 193, -3*h - 5*f + 2*f - 183 = 0. Let z = -23 - h. Is z a multiple of 11?
True
Let c(b) = -b**2 - 7*b + 4. Let r be c(-7). Let t be r/3*33/(-2). Let y = t + 43. Is 13 a factor of y?
False
Let j = -3 + 2. Is 9 a factor of (8/(-12))/(j/27)?
True
Let u be 3/(-3) + 4 + -1. Suppose 0 = d + 2*d - 45. Suppose -4*j + 102 = u*h, -h - 2*h = -j + d. Does 8 divide j?
True
Let n = 203 - 357. Is n/(-8) + (-6)/(-8) a multiple of 14?
False
Suppose -2*t + 5*t = 9. Let w(p) = -3 + 15*p**2 - 8*p**2 + t - p**3 - p. Is 15 a factor 