9*h = -4*h. Let p be -612 - 3/9*h. Is (-2)/8 + p/(-16) a multiple of 19?
True
Let f be 2 - 1 - (-4 + -4). Let l(i) = 7 + 3*i + 0*i - 2*i. Is l(f) a multiple of 14?
False
Let u(w) = 6*w**2 + 2*w - 4. Let b(g) = 2*g**2 + g - 1. Let j(t) = 7*b(t) - 2*u(t). Does 3 divide j(-2)?
True
Let o be (-1*3)/(6/(-44)). Let a = -11 + o. Does 3 divide a?
False
Suppose -6*l + 3*l + 11 = -v, 3*v = -4*l - 7. Let o(a) be the second derivative of a**4/3 - a**3/6 - 10*a. Does 7 divide o(l)?
True
Is (-6)/9*15*-2 a multiple of 14?
False
Let a = 27 - 1. Suppose 3*k = -5 + a. Let l(f) = -f**2 + 10*f - 9. Is 12 a factor of l(k)?
True
Suppose 2*d + 0*d = -3*f + 126, 5*d - 2*f = 334. Does 11 divide d?
True
Let x(z) = -555*z - 9. Let n be x(-9). Suppose -2*u - u - n = 0. Is 23 a factor of (-4)/(-18) + u/(-54)?
False
Suppose -53 = -5*b - 8. Let t = 23 - b. Is 14 a factor of t?
True
Let q(o) = 2*o**3 + 0*o**3 - 3*o**2 - o**3 + 5*o**2. Let y be q(-2). Suppose -5*v + 40 + 120 = y. Is v a multiple of 10?
False
Let s(j) = -j**2 + 2*j + 2. Suppose -4*l = -l - 12. Let d be s(l). Is 22 a factor of 3/(d/(-118)) - 1?
False
Let l = 20 + -7. Let u = l - -3. Is 16 a factor of u?
True
Suppose 259 = 4*w + z - 500, 3*w + z - 570 = 0. Is w a multiple of 27?
True
Let w = 123 - 72. Is 17 a factor of w?
True
Let i = -8 + 12. Let t(l) = 2*l + 4. Does 12 divide t(i)?
True
Let q(h) = 3*h - 8. Is q(7) a multiple of 13?
True
Let r be -112*(-8)/(-2) + 0. Let b be 4/2*5*-2. Is 2/(-5) + r/b a multiple of 11?
True
Suppose -1 = j, -3*i + 3*j = -2 - 1. Suppose -u + 27 = 5*h - i*u, 0 = 5*h + 5*u - 15. Is h a multiple of 2?
True
Let y = 0 + 13. Let l(i) = -2*i + 12. Let s be l(4). Suppose y + 23 = s*v. Does 3 divide v?
True
Let n = 12 - 7. Let r = n + -1. Suppose -2*h - 4*c + 36 = 0, -h = -7*c + r*c + 7. Is h a multiple of 8?
True
Suppose 0*q + 6 = q. Suppose 3*k - q - 15 = 0. Let n(c) = 5*c - 9. Is n(k) a multiple of 13?
True
Let i = 145 + -53. Is i a multiple of 22?
False
Suppose -1736 = -8*i + i. Does 31 divide i?
True
Let v = 55 + -44. Is v a multiple of 8?
False
Suppose 90 - 24 = -2*i. Suppose -5*q + 7 = 2. Is -2 + -1 - i - q a multiple of 8?
False
Let l be (-6)/8 - (-30)/8. Suppose -t + 2*t - l = 0. Suppose 0 = -t*r - 15 + 54. Is 13 a factor of r?
True
Suppose -3*i - p + 480 = -6*p, 5*i = -5*p + 800. Is 20 a factor of i?
True
Let k(v) = 7*v**2 - 15*v - 2. Let w(z) = 8*z**2 - 16*z - 2. Let f(d) = -7*k(d) + 6*w(d). Let m(p) = p**2 - 11*p - 18. Let q be m(13). Does 5 divide f(q)?
True
Let n be ((-3)/(-9))/(1/21). Let j = n - -14. Is 21 a factor of j?
True
Let z(t) = t**2 + 3*t + 8. Does 26 divide z(-6)?
True
Suppose 0 = -n + 2*w + 97, -4*n + w + 0*w = -381. Is 19 a factor of n?
True
Let t = 58 + -26. Let d = -17 + t. Is 15 a factor of d?
True
Suppose -4 = o - 2. Suppose 4*s = 4*z + 3*s + 121, z = 3*s - 33. Is 2/4*o*z a multiple of 15?
True
Let h(g) = g**3 - 5*g**2 + 8*g - 6. Suppose -4*v + 4*b = -4, v - 4*b = -14 + 3. Suppose d - 1 = 0, -2*d - 2*d + 29 = v*i. Does 11 divide h(i)?
False
Is 20 a factor of (-1)/(-1) - (-23 + 1)?
False
Let d = 11 - 7. Suppose d*p = l - 5*l + 104, 114 = 5*p + l. Is p a multiple of 11?
True
Let k(f) = -f + 2. Let l be k(-3). Let o(c) = 0 - 2*c - 5*c + 5*c - l. Is o(-5) a multiple of 2?
False
Let v(o) = o + 4. Let u be v(0). Suppose -u*f = -f - c - 9, 0 = f - 4*c + 8. Suppose -5*d + 6*m - 3*m + 95 = 0, f*d = 5*m + 63. Is d a multiple of 17?
False
Let v(p) = -p + 1. Let x be v(-3). Suppose -28 = 3*b - x*b. Is b a multiple of 11?
False
Let h(s) = 2*s**3 - s**2 - 2*s + 2. Let j be h(1). Is 3 a factor of j*1/(2/30)?
True
Suppose 4 = -j, -4 - 10 = -5*c + j. Suppose g = -c*g + 18. Is 3 a factor of g?
True
Is -1*(-17 + -2) - (1 + -1) a multiple of 3?
False
Let l = -2 - 0. Let i be 4 - (0 + l)*-1. Suppose c - 52 + i = 0. Does 19 divide c?
False
Let v = 12 - 8. Let n be (-50)/(-18) + v/18. Suppose 81 = 4*c + 3*m, n = 2*c - 5*m - 18. Does 9 divide c?
True
Is ((-1)/(-4))/((-1)/(-236)) a multiple of 13?
False
Let z = 1 - 10. Is 18 a factor of (-6)/9*7*z?
False
Suppose -3*q = w - 5*w - 17, q = -5*w - 7. Is 5 - q - (-1 - 34) a multiple of 13?
False
Let b(s) be the first derivative of 46*s**3/3 - s - 5. Is b(-1) a multiple of 13?
False
Suppose -54 = -2*u + 54. Suppose -4*t + v = -130, -3*t + 41 = -2*v - u. Is 15 a factor of t?
False
Suppose 21 = 5*y - 24. Is y a multiple of 3?
True
Is (-5)/(20/(-8)) + (39 - 6) a multiple of 7?
True
Let o(s) = 7*s**2 - 2*s - 2. Suppose b + 3 + 0 = 0. Let t = -1 - b. Does 22 divide o(t)?
True
Let i(z) = -z**3 + 6*z**2 + 8*z - 10. Let s be i(7). Let j = 9 + s. Does 3 divide 3*1/j*8?
False
Let y = 79 - -97. Is 22 a factor of y?
True
Let g(c) be the third derivative of -c**6/120 + c**5/12 + c**4/24 - 5*c**3/6 + 2*c**2. Let f be g(5). Suppose 3*m - 24 = -f*m. Does 8 divide m?
True
Suppose 9*a - 30 = 4*a. Let k = a - -3. Is 9 a factor of k?
True
Suppose 3*x - 10*x + 280 = 0. Is x a multiple of 22?
False
Let f(h) = h + 10. Let b be f(-7). Suppose 0 = 5*q + b*n - 330, -2*q = -4*n - 23 - 83. Is q a multiple of 13?
False
Suppose r - 370 = -3*d + 155, -d + 2*r + 182 = 0. Suppose 5*j = 3*p + d, 0 = 2*j - 2*p - 0*p - 72. Is 13 a factor of j?
False
Suppose 3*g + 0*g - 5*x = 37, -4*g = -2*x - 26. Let t be 10/(-15) + g/(-3). Is 12 a factor of ((0 - -1) + t)*-24?
True
Suppose 0 = 2*c - 5*c + 60. Is 20 a factor of c?
True
Suppose -b + 4*n - n + 9 = 0, 0 = b + 4*n + 5. Let m = b - -25. Does 16 divide m?
False
Let h = 36 - 31. Does 3 divide h?
False
Let x(g) = 10*g**2 - 24*g**3 + 3*g**2 - 6 - 10*g + 23*g**3. Is 18 a factor of x(12)?
True
Suppose 220 = -2*o + 4*o. Is 8 a factor of o/7 - (-4)/14?
True
Let w(f) = -f**3 - 2*f**2 - 3. Let b be w(-3). Does 22 divide (12/(-8))/(b/(-112))?
False
Suppose 17 + 27 = 4*a. Suppose 2*c - 1 = a. Is c a multiple of 6?
True
Suppose 0 = f + f - 56. Let i = 41 - f. Does 12 divide i?
False
Let g = 149 - 72. Does 35 divide g?
False
Let x(p) = 12 - 2 + p + 2. Let f(v) = 8*v - 1. Let h be f(-1). Is x(h) a multiple of 3?
True
Let k(q) = -q**2 - q + 43. Let m be 0*1/(-2)*-1. Is k(m) a multiple of 24?
False
Let g be (-2)/2*-2*1. Suppose 5*x - g*y = -4, 5*y - 8 = -4*x + y. Suppose x = -5*i - 11 + 156. Does 15 divide i?
False
Let z be 4/(-18) - (-14)/(-18). Let i be (z - 1) + (-1 - -6). Suppose -i*r = -0*r - d - 55, d = -4*r + 85. Is r a multiple of 7?
False
Let k = -4 - -4. Suppose -2*j + 4*j + 8 = k, -3*j - 8 = -x. Does 2 divide (18/x - -2)*-2?
False
Let b = 263 + -113. Is 37 a factor of b?
False
Let l = -1 - 0. Let x = 3 - l. Suppose 6*t - 62 = 3*t - x*v, 5*t + 4*v - 90 = 0. Is 13 a factor of t?
False
Is 14 a factor of -2 + (-32)/(-20) + 512/5?
False
Suppose -2*b = -10, 2*i = -2*i - b + 369. Does 13 divide i?
True
Let o = 29 - -28. Does 8 divide o?
False
Suppose 2*x + x + 24 = 0. Let y = 4 + x. Is 9 a factor of 2/y + 185/10?
True
Is 22 a factor of ((-18)/(-21))/(12/3444)?
False
Let m = 206 + -50. Is 39 a factor of m?
True
Suppose 3*m + 57 = -u + 166, 111 = 3*m + 3*u. Is m a multiple of 12?
True
Let j(w) = w + 7. Let l be ((-1)/(2/(-6)))/(-1). Is j(l) a multiple of 2?
True
Let s(u) = 5*u**2 - 3*u - 4. Let i(f) = 2*f + 4. Let l be i(4). Suppose 5*r - l = r. Does 10 divide s(r)?
False
Suppose -77 + 10 = a. Let i = a + 135. Does 17 divide i?
True
Let p(j) = 2*j + 69. Does 17 divide p(0)?
False
Suppose 0 = 3*o + 2*o - 80. Suppose 2*w + o = 58. Is 4 a factor of 1*w/3*1?
False
Let f be ((-5)/(-4))/((-6)/(-96)). Let s = f - 2. Is 12 a factor of s?
False
Let a(l) = -12*l**3 - 2*l**2 - l. Suppose 1 = 3*y + h, -2*y - 4 = -0*y - 4*h. Suppose 5 = q - 3*j, -j + 1 = -3*q - y. Is a(q) a multiple of 5?
False
Suppose 4*u + 5 = 5*u. Suppose 0 = u*a - 5*d - 40, -2*a + 6 - 20 = 4*d. Is 14 a factor of 95/a - 2/3?
False
Suppose 3*d + 65 = -2*d. Let a = -41 + 23. Let b = d - a. Is 4 a factor of b?
False
Let u = -43 + 91. Is u a multiple of 26?
False
Let u(q) = 11*q**2 - 15. Let z(d) = 7*d**2 - 10. Let t(f) = -5*u(f) + 8*z(f). Let v be 7*(0 + (-2)/(-2)). Is t(v) a multiple of 19?
False
Let b be (-1 - 0)/((-4)/24). Suppose 2*m - 2 = 0, 3*m - 28 = -y + b*m. Does 11 divide y?
False
Let d(w) be the second derivative of -w**3/2 - 11*w**2/2 - 8*w. Does 4 divide d(-11)?
False
Suppose -6 = -3*z - 0*z. Suppose z*c = -f + 19, -f = 2*f + 5*c - 54. Is 5 a factor of f?
False
Is 24 a fa