 + 5*r - 15 = -2*n. Suppose 0 = -5*h + 2*k - 2, n*h + 3*k = -2*k + 5. Suppose h*c + 4*c - 216 = 0. Is c a multiple of 14?
False
Let w(g) be the third derivative of g**6/120 + 2*g**5/15 + 7*g**4/24 + 5*g**3/3 - 3*g**2. Let p be w(-7). Is 4/20 - (-18)/p a multiple of 2?
True
Suppose 4*d + 2*w - 82 = 0, -3*w + 116 - 15 = 5*d. Suppose -8 = -2*x + d. Is 15 a factor of x?
True
Let d(x) = x**3 - 5*x**2 - 3*x + 10. Let l be d(5). Let w = 8 - l. Suppose -180 = -w*g + 9*g. Is 9 a factor of g?
True
Suppose 0 = y - 4*v - 344, 3*v + 12 = 6. Is 48 a factor of y?
True
Let o(x) = -4*x - 9. Let f be o(-4). Suppose f*b - 166 + 19 = 0. Is b even?
False
Let k = 740 - 442. Suppose d - k = -d. Does 20 divide d?
False
Let a = -18 - -32. Suppose -6*z + 92 - a = 0. Does 13 divide z?
True
Let l(a) be the third derivative of 0*a + 1/2*a**4 + 0 - 2*a**2 + a**3. Is 33 a factor of l(5)?
True
Let g = -148 - -273. Is g a multiple of 6?
False
Let x(o) = 74*o - 127. Is 3 a factor of x(5)?
True
Let u = -19 + 19. Suppose 3*t = 0, -w + 5*t + 82 = -u*w. Does 8 divide w?
False
Suppose 3*w + 2 = -13. Let c(f) = -3*f**3 + 10*f**2 - 12*f + 5. Let o(j) = -4*j**3 + 10*j**2 - 13*j + 4. Let l(g) = w*c(g) + 4*o(g). Does 5 divide l(-11)?
False
Let g = 35 + -59. Let u = -19 - g. Suppose 0 = u*f - 63 - 127. Does 10 divide f?
False
Let r(v) = v**2 - 11*v + 65. Does 35 divide r(26)?
True
Suppose -19*w + 890 = 3*p - 21*w, 5*p - 1474 = w. Is p a multiple of 21?
True
Let s = 81 + -114. Let g = s - -43. Does 2 divide g?
True
Let z(p) = -p**3 + 17*p**2 + 14*p + 10. Does 27 divide z(16)?
False
Let w be 3/(-12) + 165/(-12). Let i = w - -4. Let t = 33 + i. Is t a multiple of 11?
False
Let q be (100/24 - 2) + 2/(-12). Let b(l) = -l**3 + 5*l**2 - l + 1. Is b(q) a multiple of 11?
True
Suppose f = 2*c - 132, -2*c - 3*c - 5*f = -330. Suppose -32 = -4*x + 4*i + 104, 2*x - 4*i - c = 0. Is x a multiple of 5?
True
Suppose -27648 = -16*d - 16*d. Is d a multiple of 32?
True
Suppose 4 = 14*x - 402. Is 2 a factor of x?
False
Let x(j) = 4*j - 5. Let w be x(2). Suppose -w*c + 165 = -3*l, 0*c + 3*l + 47 = c. Does 9 divide c?
False
Suppose -2*m - 240 = -7*m. Let o = -45 + m. Is o a multiple of 2?
False
Suppose -5*s + 5*y - 25 = 0, -y - y - 8 = 4*s. Let n be -1*(s - 516) - -3. Is (-1)/4 + n/8 a multiple of 13?
True
Let i = 36 - 30. Suppose -3*j + i = -30. Is 2 a factor of j?
True
Let r be 216*(1 + (-5)/3). Let q(h) = -h**3 - 4*h**2 - 7*h + 10. Let s be q(-7). Let a = r + s. Is a a multiple of 22?
False
Suppose 2*a - 6*a = -4*w, -2*a - 2*w = -4. Let f be -4 + a + 1 + 2. Is 2 a factor of (-2 - f)/((-4)/18)?
False
Suppose -2*o + 96 = o. Let c be (9/12)/(4/o). Let b(u) = u**3 - 5*u**2 - 3*u + 3. Does 9 divide b(c)?
False
Let n(p) = -p**3 + 6*p**2 - 3*p + 2. Let c be n(5). Let h = c - 9. Suppose l = -4*y + 132, 4*l = h*y - 0*y - 80. Is y a multiple of 23?
False
Let w(i) = -3*i**2 - 11*i + 14. Let l be w(-4). Let t = -4 + 8. Suppose t*c = -c + l. Does 2 divide c?
True
Suppose 4*a + b = 249, 3*a - 13*b - 184 = -11*b. Does 3 divide a?
False
Let i(p) = p**2 + 5*p + 4. Let h = 7 - 11. Let f be i(h). Suppose f = -4*o - 3*l + 163, -4*o + l - 23 = -182. Is 20 a factor of o?
True
Let o(u) = -584*u**2 - 7*u - 9. Let x be o(-2). Is 12 a factor of (x/(-84))/((-6)/(-8))?
False
Suppose -q + 5*s + 601 + 312 = 0, -5*q + 2*s = -4657. Suppose 5*j - 1161 = -0*z + 3*z, 4*j - z = q. Is 26 a factor of j?
True
Let m = 736 + -444. Is m a multiple of 34?
False
Suppose -4*s + 468 + 192 = 0. Does 55 divide s?
True
Let z = 897 - 555. Suppose -19*t = -16*t - z. Is 19 a factor of t?
True
Let i(g) = -g**3 - 18*g**2 - 11*g + 12. Does 30 divide i(-18)?
True
Let o be (-2)/5 - 92/(-5). Let s be (0 + 7)/(35/(-10) + 4). Let r = o - s. Does 4 divide r?
True
Suppose -u = 3*k - 594, 4*k - 3*u - 434 - 371 = 0. Is k a multiple of 41?
False
Suppose -14*c = 8*c - 37378. Does 12 divide c?
False
Suppose 0 = -5*t - 3*a + 21, -5*t = -4*a - 8 - 34. Suppose -y = -t*y. Suppose 35 = 4*u - 5*d, 3*u - 4*d = -y*u + 26. Does 5 divide u?
True
Let y(b) = -61*b - 2. Let n(c) = -61*c - 3. Let k(j) = 5*n(j) - 6*y(j). Does 11 divide k(1)?
False
Suppose 5*h + 2*o - 1204 = 1723, -5*h + 2928 = 3*o. Does 39 divide h?
True
Suppose u + u = -3*f + 11, -3*u = -3*f - 9. Suppose 2*j + f = -2*m + 47, 3*m - 3*j - 39 = 0. Is 5 a factor of m?
False
Let j = -9 + 149. Suppose 4*g = 2*g + j. Is 52 a factor of g?
False
Let g = -1365 + 2238. Is 21 a factor of g?
False
Let l(i) = 19*i + 3. Let c be l(4). Suppose 3*b - o - 46 = 0, c = 5*b + 3*o - 7*o. Does 17 divide (-257)/(-5) + (-6)/b?
True
Let n(x) = x**3 + 10*x**2 + 8*x - 4. Let w be n(-9). Suppose -w*j - 5*v + 20 = -3*j, 4*j + 3*v - 68 = 0. Is 4 a factor of j?
True
Let b be (-4)/(-18) - 200/9. Let j(a) = 2*a - 19. Let x be j(-11). Let p = b - x. Is p a multiple of 19?
True
Let l(r) = -32*r + 1. Let x be (-2)/4 + (-49)/14. Let v be l(x). Suppose -6 - v = -5*p. Is 17 a factor of p?
False
Let j = 1496 - 229. Is 94 a factor of j?
False
Let g be (4/8)/(-1)*4. Let h be 15/(-13) - g/13. Does 6 divide (-3 - (4 + h))*-2?
True
Suppose -4*i + i + 219 = 0. Let a = i + 21. Is 33 a factor of a?
False
Let h = -16 - -11. Let k(v) = 2*v**2 + 6*v - 2. Let r(n) = 2*n**2 + 7*n - 3. Let l(a) = h*r(a) + 6*k(a). Is l(-5) a multiple of 16?
True
Let w(d) = -d - 8. Let a(u) = u + 8. Let i(o) = 5*a(o) + 6*w(o). Let y be i(-9). Is y - (2 + -4 - 7) a multiple of 3?
False
Let i be ((-138)/8)/(24/(-64)). Is (2 + -3 - -3) + i a multiple of 30?
False
Is 16 a factor of 77634/285 - (2/5 + 0)?
True
Let h = 273 + -148. Suppose -5*w + 0*l - 5*l = -h, -3*w = 5*l - 75. Is w a multiple of 25?
True
Let j(p) = -21*p**3 - p**2 - 3*p - 4. Let f be j(-2). Suppose 5*a + 3*w = 300, -2*a + w = a - f. Let m = -36 + a. Is 7 a factor of m?
True
Suppose -63 - 13 = -4*k + 5*q, 4*q = -3*k + 26. Let n = k - 20. Does 11 divide 4/12 - 220/n?
False
Let l = 312 - 190. Does 10 divide l?
False
Let a be (18/(-2))/(3*-1). Suppose -a*d = -0*d - 60. Does 18 divide d?
False
Suppose 2*n + 2*n + j = -23, 2*j + 4 = -n. Let m = n + 39. Let c = m - 25. Is 4 a factor of c?
True
Suppose 17*a - 10 = 12*a. Suppose -2*j = 3*s - 7, s + 3 = -a*j - 0. Does 4 divide s?
False
Suppose -173 = -4*q + 323. Suppose 3*y - 21 = 2*z, 0 = 8*y - 4*y - 2*z - 26. Suppose -2*o + y*r = -75, 3*o + 2*r - q = -2*r. Is o a multiple of 10?
True
Let j be 148/20 + 4/(-10). Let p be -5 + j + (3 - 1). Suppose 0 = 4*w + 4*v - 200, -2*w + 4*v = -p*w + 108. Does 23 divide w?
True
Let v(g) = -8*g - 8. Let i be v(-13). Let b = -55 + i. Suppose -5*f = -2*a - 17, -4*a + b = 5*f - 0*a. Does 4 divide f?
False
Let a = -11 + 14. Suppose 5*r + a*k - 123 = 0, 4*k + 151 = 2*r + 3*r. Does 15 divide r?
False
Suppose -8*v + 115*v = 63558. Is v a multiple of 54?
True
Let b be 130/(-14) + 2/7. Let y(o) be the third derivative of o**6/120 + o**5/6 + 7*o**4/24 + o**3/6 - 9*o**2 + 4*o. Does 5 divide y(b)?
False
Suppose m - 3 = -4*w + 4, w + 2 = m. Suppose -2*x = -m*x + 114. Is x a multiple of 23?
False
Suppose g - 6 + 0 = 0. Suppose 0 = 2*c + p - 167, 2*c - g*c + 3*p = -309. Let y = c - 22. Is 21 a factor of y?
False
Let z(c) = c - 5. Let i be z(6). Let o(q) = 3*q**3 + q**2 - 1. Let h be o(i). Is 25 a factor of (-4)/12 - (-76)/h?
True
Let z = 1241 - 23. Is 29 a factor of z?
True
Suppose -4*w - 235 = -3*d, -3*w + 190 = 2*d + w. Let v(q) = -q**3 + q**2 + q + 5. Let h be v(4). Let f = h + d. Is f a multiple of 16?
False
Let p(i) = 54*i**2 - i + 1. Let h be p(1). Is (h/5)/(9/30) a multiple of 6?
True
Suppose -y + 35 = 4*y - 5*m, 3*y - 4*m - 17 = 0. Is 18 a factor of (-1)/((-2)/y - (-542)/3102)?
False
Let k(u) = 1859*u**2 - 1. Is 15 a factor of k(1)?
False
Suppose -2*u = 3*u - 1000. Let h be 3/(-2)*u/(-6). Suppose 4*y - h = -y. Is y a multiple of 5?
True
Let a(o) = -144*o + 1245. Is a(7) a multiple of 6?
False
Let p(d) = 5*d - 13. Let n be p(4). Let s(k) = 0*k + n*k + 2 - 3. Is s(2) even?
False
Let s be (-10 - 92)*2/(-4). Suppose -3*g + 366 = s. Is g a multiple of 15?
True
Suppose 0*q - 3*q + 12 = 0. Suppose 3*k - 17 = q*s + 15, 2*k + 2*s + 2 = 0. Suppose k*z - 41 = -5. Is 9 a factor of z?
True
Let j(d) be the first derivative of -7 + 3*d**3 + 0*d - 1/2*d**2. Is 10 a factor of j(-1)?
True
Suppose 12*i - 15120 = -0*i. Suppose 16*p - 9*p - i = 0. Is p a multiple of 18?
True
Sup