1) a multiple of 20?
True
Let d(x) = 2*x - 9. Let f be d(6). Let g be (-1)/2*f*-2. Suppose 10 = 5*j, -g*j - 33 - 51 = -5*p. Does 5 divide p?
False
Suppose 5*m + 5 = 10. Let u be 3*6/9*m. Suppose 5*q - u*f - 343 = 0, 3*f - 205 = -3*q + 4*f. Is 14 a factor of q?
False
Suppose 0 = -9*f + 10*f + 14. Let c(h) = -2*h - 25. Let z be c(f). Suppose y + z*y - 120 = 0. Is y a multiple of 7?
False
Let j = 29 - 27. Suppose 3*w + 3*y = -12, -j*w + 5*y + 19 = -1. Suppose 0 = 4*z - w*h + 2*h - 58, 4*z - 57 = -3*h. Is 4 a factor of z?
False
Suppose 6*h - 186 = 3*h + c, -302 = -5*h - c. Let y = 14 + h. Does 15 divide y?
True
Let n = -54 - -86. Suppose n + 16 = 4*c. Suppose 0 = -3*t + 5*t - c. Is 2 a factor of t?
True
Suppose 14*m + 18 = 5*m. Let z(d) = 1 + d - 5*d**3 - d + 3*d. Does 17 divide z(m)?
False
Suppose 3*v = -6, -3*q - v = 2*v - 1023. Is q a multiple of 49?
True
Let k(w) = 4*w**2 - w + 13. Does 47 divide k(4)?
False
Let r = 7 + 3. Suppose r = t + t. Is t a multiple of 5?
True
Suppose 0 = -a + 6*a - 360. Let v = 233 - 111. Let h = v - a. Does 24 divide h?
False
Let h(u) be the second derivative of 0 + 1/12*u**4 - 5/6*u**3 - 6*u**2 + 6*u. Is h(10) a multiple of 19?
True
Suppose p - t = 204, 5*p - 992 = -t - t. Is p a multiple of 10?
True
Let o be (-7 + 1)*(-7)/14. Suppose 0 + 10 = 5*i + o*x, 0 = -2*i + 4*x + 4. Suppose 0 = -0*n - i*n + 90. Is 19 a factor of n?
False
Let h = -126 - -183. Suppose 3*a + h - 150 = 0. Let d = a - 6. Is d a multiple of 9?
False
Let z(c) = 2*c**2 + 2*c + 5. Suppose -5*m = -13 + 3. Suppose -4*r + 1 = 5*g + 5, -r = g + m. Is 20 a factor of z(r)?
False
Let a(m) = -m**2 - 18*m + 21. Is a(-9) a multiple of 6?
True
Let x(a) be the third derivative of 2*a**5/15 + a**4/24 + a**3/6 + 5*a**2. Let j be x(2). Let w = j - 25. Is 10 a factor of w?
True
Suppose 4*f - 5034 - 4566 = 0. Is 5 a factor of f?
True
Let k = 216 + -145. Let a = k + -35. Is 9 a factor of a?
True
Let f be (204/(-12))/((-2)/10). Suppose -8*a + 261 = f. Does 3 divide a?
False
Suppose -o + 8 = -4*j, 4*j + 0 + 8 = -5*o. Suppose o = -w + 3*s + 111, 5*w - 3*s + 76 = 583. Does 12 divide w?
False
Suppose 0 = 4*t - 4*b - 44, 4 - 53 = -5*t + 3*b. Let s = t - -4. Does 5 divide s?
False
Suppose 8*r + 56 = 4*r. Does 12 divide 14/(1/(-2) + r/(-21))?
True
Suppose 31 = -5*g + 11. Let o be (18/g - -2)*8. Is (-148)/o - 4/10 a multiple of 2?
False
Let r = 64 - 61. Suppose -2*s = -2*t + 270, -2*t - 5*s - 115 = -r*t. Is 20 a factor of t?
True
Let m(o) be the second derivative of -37*o**5/20 + o**4/12 - o**3/2 - 3*o**2/2 + 7*o. Is m(-1) a multiple of 19?
True
Let m be (-96)/64 + ((-22)/4)/(-1). Suppose 0 = -m*h - h + 1410. Is 35 a factor of h?
False
Suppose -i + 36 = i. Suppose -22*l + i*l = -640. Let s = -91 + l. Is 23 a factor of s?
True
Let h(g) = 13*g**2 + 2*g + 18. Does 76 divide h(-7)?
False
Suppose 12*o = -5*o + 19227. Does 14 divide o?
False
Let k(n) = -n**3 + 8*n**2 - 12*n - 7. Let l be k(6). Let p = -19 - l. Is (-50)/2*(-13 - p) a multiple of 25?
True
Let h = -611 + 1052. Is h a multiple of 21?
True
Let k = 8 - 18. Let m = -7 - k. Suppose 5*y + 4*c = 70, -m*y + 2*c - 14 = -4*y. Does 10 divide y?
False
Let w(f) = f**3 - 30*f. Is 14 a factor of w(-4)?
True
Suppose 732 + 1662 = 3*o. Is o a multiple of 38?
True
Suppose 554 = 2*y - 8*v + 12*v, 0 = -y - 5*v + 283. Is 31 a factor of y?
False
Let v = -44 + 46. Suppose -d - 503 = -5*x, 3*d = -4*x - v*d + 414. Is x a multiple of 38?
False
Let c = -18 + 40. Suppose -c = -i - x, -28 = -i - 3*x + 2. Is 6 a factor of i?
True
Suppose -5*l - z = -223, -3*z = 4*l - 7*z - 188. Does 3 divide l?
True
Suppose -17 + 1 = -4*b. Suppose 0 = -v + b - 1. Suppose -2*q = -v*q + 60. Does 20 divide q?
True
Let k be ((-1)/((-10)/205))/((-2)/(-4)). Let m = k + 194. Is m a multiple of 36?
False
Suppose -4*k + 3*y = 12, 10*y - 20 = -3*k + 5*y. Is 4 a factor of 3 - ((k/(-3) - 4) + 3)?
True
Suppose 0 = 9*n - 316 + 64. Is 5 a factor of (-8)/n + (-222)/(-42)?
True
Let x = 221 - 149. Suppose 291 = 3*w + x. Suppose -4*r = -w - 119. Does 16 divide r?
True
Suppose -3*l - 71 = 30*x - 29*x, -4*x - 284 = 3*l. Let o = -6 - 11. Let s = o - x. Is s a multiple of 18?
True
Let s be -26 - -1 - (-14 + 11). Let f = -14 - s. Is 290/f - 1/4 a multiple of 9?
True
Let y be 1/(1/2) + 2. Suppose -3*x + 22 - y = 0. Suppose 60 = 8*j - x*j. Is 10 a factor of j?
True
Suppose 2*x + 39 = 3*n + x, 4*n = -3*x + 65. Let a(d) = 29*d + d**3 + 13*d**2 - 2*d**3 - 4*d - 9*d - 14. Is 4 a factor of a(n)?
False
Suppose -3*k = j + 634, 701 = -2*k - 5*j + 261. Let w be (-1191)/4 + (-1)/4. Let s = k - w. Is s a multiple of 19?
False
Let c be (3 - 3)/(4/2). Suppose -5*s + 810 = -c*s. Does 27 divide s?
True
Suppose -l + 3*l - 4*s = 618, -s = l - 309. Does 16 divide l?
False
Suppose 0 = -2*o + 431 - 375. Does 5 divide o?
False
Suppose 0 = -0*m + 3*m - 12. Suppose -4*n - m*b + 28 = 0, 2*n + 7*b - 2*b = 5. Is n a multiple of 10?
True
Is (((-1701)/(-6))/(-9))/(2/(-8)) a multiple of 21?
True
Let w be (101/2)/((-7)/14). Let v = 63 - w. Is 41 a factor of v?
True
Let z be 26 + ((-9)/(-3))/1. Suppose -5*d + 136 = -z. Does 11 divide d?
True
Let q = 23 + -19. Suppose 2*r + q*v = 6*r + 32, 3*r + 4*v + 52 = 0. Let g = 19 + r. Is g a multiple of 7?
True
Let d(n) = 4*n**2 - 8*n + 1. Let r = -2 - -1. Let l(g) = g**2 - g + 1. Let c(m) = r*d(m) + 3*l(m). Is 4 a factor of c(4)?
False
Let d be 3/(-9) - (-614)/6. Let n be (40/12)/((-4)/d). Let p = -39 - n. Is p a multiple of 23?
True
Suppose -30*g + 12 = -8958. Does 16 divide g?
False
Let d(h) = 3*h - 36. Let y be d(12). Is 68 a factor of 1*(34 + y)*(66 - 64)?
True
Let h(a) = 76*a + 164. Is 28 a factor of h(17)?
True
Let b(v) = 10*v + 12. Let o = 18 - 12. Does 39 divide b(o)?
False
Let s(j) = j**3 + 6*j**2 - 31*j - 17. Is 15 a factor of s(-9)?
False
Let h(x) be the third derivative of -x**6/120 + x**5/15 + x**4/8 + x**3 - 14*x**2. Does 6 divide h(3)?
True
Let b be 0/(-1 - 0 - -2) - -9. Is 23 a factor of 19*3*24/b?
False
Suppose -39*s = -36*s - 801. Suppose 2*g - 6*g = -16. Suppose g*p = p + s. Does 16 divide p?
False
Suppose 12 = -3*b + 42. Suppose -y = 8 - b. Suppose 4*q - 108 = 3*i, -3*q - 5*i = -y*i - 60. Is q a multiple of 7?
False
Let d(o) = -2*o + 15. Let w be d(6). Suppose 0 + 6 = w*t. Suppose -j - t*j = -186. Is j a multiple of 28?
False
Suppose 6*k + 440 = 2*d + 2*k, 433 = 2*d + 3*k. Is d a multiple of 4?
False
Suppose -3*u - 2*u = -75. Is (-20)/u*(1 + -55) a multiple of 32?
False
Suppose o + 5*v - 25 = 0, 4*v - 16 - 4 = 0. Suppose o*y - 168 = -y. Is 12 a factor of y?
True
Suppose 0*g - b + 77 = 4*g, 47 = 4*g - 5*b. Let h be g/27 + 32/6. Is 7 a factor of -3 + 60/(h/3)?
False
Suppose 0 = 6*h + 24 + 6. Let p(d) = 5 + 5 - 2*d - 5. Is 5 a factor of p(h)?
True
Is 4/6 - (-79982)/87 a multiple of 20?
True
Suppose -g = 2*z - 195, -5*g + 1143 - 123 = z. Suppose -2*f - 7*t + g = -2*t, 0 = 2*t - 2. Does 5 divide f?
True
Suppose 13*k = 18*k - 1925. Is k a multiple of 11?
True
Suppose -984 = -3*f + 5*n, -3*f + 562 + 401 = 2*n. Is 19 a factor of f?
True
Let g = 61 - 138. Let f = 140 + g. Is 48 a factor of f?
False
Suppose 3*v = -17*v + 320. Is v a multiple of 14?
False
Is 19 a factor of ((-19)/3)/(19/(-3363))?
True
Suppose 3*b - 440 = 5*k, k - 4*k - 235 = 4*b. Let a = -64 - k. Is 8 a factor of a?
False
Suppose -136*o + 154*o = 32814. Does 19 divide o?
False
Suppose 0*f = -5*f + 2100. Is 19 a factor of 96/(-44) + 2 + f/11?
True
Suppose 3*u + 4*v = -13, -v - 1 = -u + 4. Let a = -1 - u. Is 11 a factor of (-67 + 5)*a/4?
False
Let m(w) = w**3 - 2*w**2 - 5*w + 9. Let b be m(3). Suppose -412 = -3*q + b*s + 254, 3*s = q - 218. Does 14 divide q?
True
Suppose 230 = -5*f - 200. Let m = 19 + f. Let s = m - -128. Is 16 a factor of s?
False
Suppose -u - 761 = -3*s, -3*u = s - 0*u - 237. Suppose t = -c + 52, s = 3*c + 2*c - 3*t. Is 21 a factor of c?
False
Let o(s) = s - 7. Let h be o(9). Suppose 3*v = -7*g + 3*g - 16, h*g + 8 = -4*v. Let p(d) = -7*d - 4. Is 8 a factor of p(g)?
True
Let l(g) = g**3 - 8*g**2 + g - 5. Let h be l(8). Suppose z - 5*w - 83 = 0, 2*z - 2*w = -h*w + 177. Is 22 a factor of z?
True
Suppose -3*u + 7*u + 18 = -r, 2*r + 15 = -u. Let b be (r/2)/(6/(-4)). Suppose -b*z + 6*z = 108. Is z a multiple of 9?
True
Let l(f) = -287*f**3 + 5*f**2 + 4*f - 8. Is l(-2) a multiple of 20?
True