188, 5*z = -4*q + 147 + 73. Is q a multiple of 21?
False
Let o = -7 + 2. Is 2 - 114/(o - -2) a multiple of 13?
False
Suppose 78 = -5*o + 13. Let z = o - -4. Let p = z - -13. Is 2 a factor of p?
True
Let a(i) = i**2 + 4*i + 4. Is a(-8) a multiple of 10?
False
Let d = -20 + 33. Does 13 divide d?
True
Let v = 25 - -1. Does 13 divide v?
True
Suppose -5*i = -87 - 68. Does 10 divide i - (-1 - (-3 - -1))?
True
Let r = 41 - -3. Let y = -26 + r. Is y a multiple of 9?
True
Does 20 divide -1 + -2 + 79 + 3?
False
Suppose -2*l = -4, -4*g - 2*l = -4 - 4. Let z(c) = 14*c**2 - c + 1. Let t be z(g). Suppose -u - t = -3*u. Is 7 a factor of u?
True
Suppose 0 = 2*l - 5*d - 278, 4 = d + 2. Is 29 a factor of l?
False
Let o = 39 - 27. Suppose -t - 3*u = -0*t - o, -4*u - 22 = -5*t. Does 3 divide t?
True
Let l = 25 + 27. Suppose g + l = 5*g. Is g a multiple of 11?
False
Suppose k = -3*q - 2*q + 34, 3*k + 3*q = 42. Is k a multiple of 9?
True
Suppose -x - x + h = -17, -4*h - 33 = -3*x. Let d be -2*1 - (-14)/x. Is (-6)/(d + 3) - -13 a multiple of 3?
False
Suppose 12 = -0*i + 4*i. Is i a multiple of 3?
True
Is (1/1)/((-13)/(-78)) a multiple of 3?
True
Let g = 108 + -71. Is g a multiple of 22?
False
Suppose -5*t + 0*t + 130 = -5*q, -5*t + 114 = 3*q. Does 9 divide t?
False
Let n(s) be the third derivative of s**6/120 + 39*s**3/2 + 2*s**2. Let v be n(0). Suppose -5*g = -2*g - v. Does 20 divide g?
False
Suppose 20 + 382 = z. Is 67 a factor of z?
True
Suppose 57 = -2*n + 237. Is n a multiple of 18?
True
Suppose 0*q = 5*q + 95. Let g = -10 - q. Is g a multiple of 3?
True
Let r(i) = i**3 + 10*i**2 + 8*i - 10. Let t be r(-9). Does 12 divide 4*t*(-21)/6?
False
Let o(b) = -b**3 + 6*b**2 + 8*b - 1. Let k be o(7). Suppose 2*h = 32 + k. Is h a multiple of 19?
True
Is 105/(-6)*(-8)/10 a multiple of 7?
True
Let x(p) = p**2 + 4*p + 2. Let z be x(-4). Let q = z - -1. Suppose -q*l = -4*l + 18. Is 8 a factor of l?
False
Let v(l) = 8*l - 4. Let s be (-27)/(-5) + 4/(-10). Is v(s) a multiple of 12?
True
Suppose -2*l + 9 = 1. Suppose g = -2*g + r - 77, 0 = -l*g + 5*r - 88. Does 18 divide g/(-4)*(-48)/(-18)?
True
Let a be (-2)/(-8) + (-7)/28. Suppose a*h = -h + 10. Does 6 divide h?
False
Let b(y) = y**3 + 20*y**2 - 44*y + 17. Is 3 a factor of b(-22)?
False
Let t(a) = a**2 + a - 6. Let h be t(-5). Suppose -3*p + 40 = -h. Is 6 a factor of p?
True
Let g(b) = -2*b**2 + 2*b + 27. Let t(u) = u**2 - u - 13. Let m(d) = 3*g(d) + 7*t(d). Does 18 divide m(9)?
False
Suppose -2*s - 3*s + 25 = 0. Let h = s + 1. Is h a multiple of 3?
True
Let r = -21 + 32. Let c = r - 6. Suppose -3*g = c*b + 21 - 85, -12 = -4*g. Is b a multiple of 4?
False
Suppose -3*n = -g - 2*g - 45, 4*g + 20 = 0. Is n a multiple of 3?
False
Let u = 3 + -15. Let q = u - -60. Is q a multiple of 16?
True
Suppose 2*i + 5*b - 116 + 4 = 0, -2*i + 96 = -3*b. Does 9 divide i?
False
Is (2 - 13)*2/(-1) a multiple of 13?
False
Let r = -18 + -32. Is 6 a factor of r/(-8) - 2/8?
True
Suppose -3*h + 5*c = -5*h + 25, 4*h = c + 17. Suppose 2*i = -2*i, a + h*i = 50. Is 19 a factor of a?
False
Let j = -13 - -44. Let v = j + -10. Is 21 a factor of v?
True
Suppose -2*d + 746 = 4*f, 5*f - 2*f + 2*d = 560. Does 28 divide f?
False
Suppose 2*h + 612 = 6*h. Does 18 divide h?
False
Let z = 6 - -16. Does 11 divide z?
True
Let f be (4/(-12))/(2/6). Let o(u) = 56*u + 1. Let p be o(f). Let t = -34 - p. Is t a multiple of 11?
False
Suppose 14 = 4*y + 2. Suppose 287 = y*d + 4*d. Is 16 a factor of d?
False
Suppose 4*r + 2 = 6. Let o be r + 4 + -2 + 0. Suppose 0 = o*u - 150 + 9. Is 16 a factor of u?
False
Let k(z) be the first derivative of 5*z**2/2 - 10*z - 3. Does 10 divide k(6)?
True
Let v(q) = -3*q - 2. Is 4 a factor of v(-2)?
True
Is 25 a factor of -94*7/((-42)/9)?
False
Let y = 95 - 35. Does 15 divide y?
True
Let h(x) be the third derivative of -x**6/120 + x**5/15 + x**4/8 - x**3/2 + 2*x**2. Suppose 0 = -v - 2*r - 1, r = 4*v + 11 - 25. Is h(v) a multiple of 14?
False
Let z be (-2)/2 + 8/2. Suppose z*t - 3*q - 9 = 0, -3*t + 4*q + 3 = -9. Suppose t = 4*u - u - 33. Does 11 divide u?
True
Is (8/(-10))/(19/(-570)) + 4 a multiple of 28?
True
Suppose 0 = -4*b + 5*b - 9. Suppose -32 = -p + b. Is 8 a factor of p?
False
Let y = -53 - -77. Suppose 4*n + 12 = -8. Let o = y + n. Is o a multiple of 16?
False
Suppose -2*r + 3*r + 558 = 5*d, 0 = -5*d - r + 562. Is d a multiple of 20?
False
Let m(y) = -y. Let b(r) = 9*r - 1. Let q(o) = 6*b(o) + 51*m(o). Let l(t) = -t**2 - 9*t - 7. Let h be l(-7). Is 13 a factor of q(h)?
False
Suppose -a - 14 = -4*f, -5*a + f = -3*a. Is a a multiple of 2?
True
Let z(p) = p**3 - 8*p**2 - 2*p + 10. Let h be z(8). Let y(s) = -s**3 - 8*s**2 - 5*s - 4. Let t be y(h). Let v = t + 79. Is v a multiple of 11?
True
Let o(y) = -y**3 - 4*y**2 - y. Let j be o(-4). Suppose j*x - x - 141 = 0. Is 19 a factor of x?
False
Let s(m) = 3*m - 3. Let h be s(2). Suppose 1 = -4*k - h, 5*w - k = 101. Does 10 divide w?
True
Suppose 4*y - 79 = 145. Is 9 a factor of y?
False
Suppose -4*a = a - 20. Suppose 0 = -3*g + a*g + 9. Is 4 a factor of 4/6 + (-66)/g?
True
Let y = 132 - 92. Let w = 58 - y. Is w a multiple of 5?
False
Let u(c) = -25*c - 5. Let w(v) = 3 + 16*v + 22*v + 5. Let o(h) = -8*u(h) - 5*w(h). Is o(2) a multiple of 10?
True
Suppose -p + 0*p + 4 = 0. Suppose 35 = -3*n - 3*i + 5, -48 = 5*n + p*i. Let o = -4 - n. Is o a multiple of 2?
True
Let p be (-10)/(-12) + (-1)/(-6). Suppose -4*j + 0 = 3*n - p, 2 = 2*n + 3*j. Let w(r) = r**3 + 4*r**2 - 6*r. Does 2 divide w(n)?
False
Let n(j) = -2*j. Does 27 divide n(-17)?
False
Let j = 15 - -11. Does 13 divide j?
True
Suppose -r - 2*r = -45. Let n = 27 - r. Does 4 divide n?
True
Suppose 600 = 2*f + f. Is f a multiple of 38?
False
Is 20 a factor of (-16)/96 + (-470)/(-12)?
False
Let f(n) = -n**3 - 4*n**2 + 6*n + 7. Let v be f(-5). Suppose v = -l + 13. Is l a multiple of 11?
True
Suppose 4*s = -4*q, s - q + 4 = 3*s. Let b(n) = n**3 + 11*n**2 + 13*n + 12. Let c be b(-8). Suppose 9*t - c = s*t. Is t a multiple of 13?
False
Suppose -2 = -s + 3*s. Is 21 a factor of (-13 - (s - -2))*-3?
True
Suppose 0 = -2*p + 10. Suppose 0 = -4*c + 4*h - 14 + 34, -23 = -p*c + 4*h. Is c a multiple of 2?
False
Let x(s) be the third derivative of s**6/60 - s**4/24 + s**3/3 - 2*s**2. Is x(2) a multiple of 16?
True
Let t be ((-4)/(-6))/(3/(-54)). Let l be (-3)/t + 161/(-4). Let p = -21 - l. Is p a multiple of 9?
False
Let g = 2 + -1. Suppose 0*c = 3*c - 18. Does 9 divide (c/10)/(g/15)?
True
Suppose y = -y + 26. Let a = 28 - y. Is a a multiple of 15?
True
Suppose 0*r + 3*r - 6 = 3*m, m = 3. Suppose 228 = -r*i + 63. Let x = 78 + i. Is 16 a factor of x?
False
Suppose 5 = -q - 5*g, -3 + 2 = -5*q + g. Suppose q = -i + 4*u - 5, 0*i + 2*u - 19 = -5*i. Suppose y + 4*t - 6 = -i, -3*y - 2*t + 9 = 0. Does 2 divide y?
False
Suppose -3*l - 5*w + 328 = 80, 5*w = 2*l - 157. Suppose -4*s + l = -267. Suppose o = 4*k - s + 13, -o = 2. Is 11 a factor of k?
False
Let f(j) = 218*j + 1. Does 40 divide f(1)?
False
Let z(u) = -u**2 - u + 1. Let w be z(2). Let c = w - -14. Does 4 divide c?
False
Let d(k) = -9*k + 17. Is d(-9) a multiple of 19?
False
Suppose 17 = 4*w + 4*z + 5, 0 = -2*w - z + 3. Suppose -x + w*x + 4 = 2*a, -5*a + 3*x = -10. Suppose a*v + 2*v = 12. Is 3 a factor of v?
True
Let z(l) = -l - 2. Let u be z(-3). Let f be (1/u)/1 - -6. Let p = f + -1. Does 3 divide p?
True
Suppose -16*l + 25*l = 2610. Does 29 divide l?
True
Let w(c) = 2*c**2 - 9*c + 2. Let a(d) = -d**2 + 5*d - 1. Let h(y) = 5*a(y) + 3*w(y). Is h(5) a multiple of 8?
True
Suppose 0 = 2*s - 24 - 16. Is 10 a factor of s?
True
Suppose 0 = -l + 3*v + 327, -2*v + 1356 = 4*l + 2*v. Does 48 divide l?
True
Suppose -3*y + 11 + 8 = 5*t, -2*y = 4*t - 14. Suppose -28 = -t*s - 0*s. Suppose -z = z - s. Is z a multiple of 7?
True
Suppose -2*q - 3*n + 7 = 0, -4*q + 3*n = n - 38. Suppose 4*b + q - 36 = 0. Does 2 divide b?
False
Suppose -5*c + 137 = -223. Is 12 a factor of c?
True
Let n(t) = -t**3 + 5*t**2 + 5*t + 8. Let k be n(6). Suppose 5*a - 237 = -4*j + k*a, 2*j = 4*a + 102. Is j a multiple of 19?
True
Let u(w) = w**2 + 9*w + 10. Let v be u(-8). Suppose -2*l = -l. Suppose l = -6*d + v*d + 104. Is d a multiple of 13?
True
Suppose 0*x = 4*x - 24. Let d = 8 - x. Suppose 14 = -0*p + d*p. Does 4 divide p?
False
Let l = -182 - 