se -4*m = -2 + 2. Suppose m = -5*r + 154 + 1. Is 11 a factor of r?
False
Suppose -4*n - 1480 = -2*q - 2*n, -2*q + 4*n + 1470 = 0. Is q a multiple of 38?
False
Let s(i) = -50*i + 1. Let v = 0 - -4. Suppose a + 5*b - 21 = 2*a, 2*b - v = -4*a. Is 16 a factor of s(a)?
False
Let r(w) = 4*w**2 - 9*w + 27. Does 57 divide r(6)?
False
Let n(r) = -r**3 + 17*r**2 - 21*r - 21. Let g be n(15). Suppose -5*t - 34 = -g. Does 8 divide t?
True
Let o(y) be the third derivative of -1/3*y**4 + 0 + 0*y + 8*y**2 - 1/6*y**3. Is 11 a factor of o(-6)?
False
Does 47 divide -1 - 1183/(-7 + 0)?
False
Suppose -12*s + 12974 - 2546 = 0. Is s a multiple of 13?
False
Let j be -3 - -42*3/(-6). Let g = 37 + j. Is 7 a factor of 2/4 - g/(-2)?
True
Let s = 7 - 7. Suppose -7*u + s*u = -119. Does 3 divide u?
False
Let t(r) = -r**2 - 9*r + 27. Let l be t(3). Let b = 200 - 121. Let a = b - l. Does 11 divide a?
True
Let r = 34 + 176. Does 15 divide r?
True
Let s(m) = -133*m + 1116. Does 7 divide s(0)?
False
Does 119 divide -5 + -1 + (4 - 8) + 3580?
True
Let s = -80 - -36. Let k = 100 + s. Is 8 a factor of k?
True
Let l(c) = 215*c + 256. Does 58 divide l(6)?
False
Suppose 0 = o - 4*k - 363, 27*o - 31*o + 1392 = -4*k. Does 7 divide o?
True
Let d(j) be the second derivative of -j**5/20 + j**4/3 - j**3/3 - 2*j**2 + 4*j. Let i be d(3). Is 3 - (2 + i + -16) a multiple of 6?
True
Let s = 49 + -42. Suppose -3*t - u = -340, 0 = -3*u + s + 5. Is t a multiple of 14?
True
Let g be ((-13)/2)/((-1)/(-2)). Let u = -9 - g. Does 13 divide u - 2 - 280/(-8)?
False
Suppose -j = 7 - 3, -35 = -3*u + 5*j. Suppose 4*y + 0*b = u*b + 326, -88 = -y - 2*b. Is 11 a factor of y?
False
Does 13 divide (-22 + 2)*42/24*-13?
True
Suppose -4*k + 2912 = 3*n - 994, 977 = k + n. Does 39 divide k?
True
Suppose -2*z - 2 = -122. Is z a multiple of 3?
True
Let o be 302 + (-1 - 0)/(-1). Suppose b = 2*b + o. Is 8 a factor of b/(-12) - (-2)/(-8)?
False
Let s(f) be the second derivative of f**5/60 + f**4/3 + 5*f**3/3 - 3*f**2/2 + 4*f. Let k(q) be the first derivative of s(q). Is k(-10) a multiple of 10?
True
Is 2/(30/1071) + 6/(-15) a multiple of 2?
False
Suppose 3*n - 17 = -5. Let w be (n + 0 - 4)/1. Suppose -l = -u + 43, 3*u + l - 2*l - 131 = w. Is u a multiple of 11?
True
Suppose 3*h + 3*j - 199 = 749, -5*h + 1584 = 4*j. Suppose 2*b = v - 3*v + 122, -5*b - 2*v + h = 0. Is 13 a factor of b?
False
Let f(t) = 9*t - t + 16 - 10*t. Let m be f(0). Suppose 4*c - 5*z - 149 = -0*z, 3*z = -c + m. Does 14 divide c?
False
Let b(z) = z**2 - 10*z - 9. Let t be (-1295)/148 - (1 + -2)/(-4). Does 9 divide b(t)?
True
Let z(g) = 8*g - 2*g**2 - 6 - g + g**2. Let p be z(7). Does 26 divide 43/(p/(-2) - 2)?
False
Let r be (1/4)/(22/264). Suppose 5*s = r*b - 77, 2*b - 81 = -b + 3*s. Is 5 a factor of b?
False
Let k(i) = 2*i**2 + 73*i + 123. Is k(-35) a multiple of 9?
True
Let r be 8/(-52) + 9606/78. Suppose -r = -2*a + 33. Does 13 divide a?
True
Suppose i = -5*t + 1595, t - 39 = -5*i + 280. Is t a multiple of 15?
False
Let k(l) = -1. Let p(u) = -37*u - 38. Let j(y) = 6*k(y) - p(y). Is 36 a factor of j(4)?
True
Let k(s) = s**3 + 10*s**2 + 13*s - 12. Let o(u) = u - 1. Let y(l) = -k(l) + 4*o(l). Let r be y(-9). Is 24 a factor of r/28 + (-1452)/(-14)?
False
Let d(a) be the first derivative of 1/3*a**3 + 2 + a**2 + 45*a. Is d(0) a multiple of 15?
True
Let l be (3*(-8)/3)/(-1). Let x be l/6 + 20/30. Suppose -2*r + r - x*t = -80, -t - 233 = -3*r. Does 13 divide r?
True
Let q(u) = 2*u + 6. Let f be q(-7). Let s(x) = x + 12. Does 3 divide s(f)?
False
Let x be 1/((-6)/(-698)) + 11/(-33). Suppose -3*v = -z - x, -4*z = v - z - 42. Is 8 a factor of v?
False
Suppose -10*y + 7*y = -567. Let x = -78 + y. Is 14 a factor of x?
False
Let q(r) = 6*r - 151. Is 5 a factor of q(31)?
True
Let k = 2258 + -1404. Is k a multiple of 14?
True
Let c be (2/(-3))/(8/(-36)). Does 9 divide 68 + c*6/9?
False
Let h(b) = 7*b**2 - 4*b - 5. Let m(y) = -y - 14. Let v be m(-11). Is 21 a factor of h(v)?
False
Suppose -2*a + 4*j = 2*a, 4*j + 27 = -5*a. Let d = a + 3. Suppose d*f + 14 = f. Does 14 divide f?
True
Let l be (-3)/(-12) + 27/(-12). Let c be ((-1)/l)/(4/40). Suppose -r + c*r - 96 = 0. Is r a multiple of 12?
True
Let f be (-2)/3*24/(-16). Let p(w) = 87*w + 2. Is 14 a factor of p(f)?
False
Let r = -1964 + 2444. Is r a multiple of 2?
True
Suppose -6*d + 930 = -474. Is d a multiple of 9?
True
Suppose 480 = -563*u + 566*u. Does 10 divide u?
True
Let p = 19 + -19. Suppose 7*f - 2*f + n = 255, -5*f + 5*n + 285 = p. Does 13 divide f?
True
Let h = -12 + 11. Let v be 96/10 + (-6)/(-15). Let u = h + v. Does 4 divide u?
False
Let w(m) = -m**3 + 13*m**2 + 2*m + 28. Let l(z) = 2*z**3 - 25*z**2 - 5*z - 55. Let q(f) = 4*l(f) + 7*w(f). Does 4 divide q(10)?
True
Let w = 150 - 135. Suppose -16*x + 77 = -w*x. Does 7 divide x?
True
Let j(h) be the first derivative of -3*h**2 - h - 2. Let s be j(-3). Suppose -q + 19 = 3*d, -q = -4*q - d + s. Is q a multiple of 4?
True
Let b = -43 - -71. Suppose b = z - 121. Suppose 3*w - z = -y, 3*y - y = 5*w - 263. Is w a multiple of 23?
False
Suppose -5*n - 75 = -5*i - 25, 0 = -4*i - 8. Let m be 3/n*2*0. Let g = m + 12. Is g a multiple of 5?
False
Suppose -2*g + 7 = h, 4*g + 4*h - 7 = 5. Suppose -180 = -g*c + c. Does 12 divide c?
True
Suppose -4*y + 1150 = -1554. Suppose 0 = 8*f - 2244 + y. Does 28 divide f?
True
Let b be 17/((-16)/(-24) + 1/(-6)). Suppose -5*z + 7*z = b. Does 2 divide z?
False
Suppose 6 = 2*r - 0*r. Suppose 0 = 5*i - 0*q - q - 14, -2*i = r*q - 9. Suppose -4*z - m = 37 - 99, -i*z + 2*m + 52 = 0. Is z a multiple of 14?
False
Let q = 31 + -29. Suppose o = 2*p - 54, -q*p - p + 81 = -o. Does 5 divide p?
False
Let u be 9215/20 + 3/(-4). Suppose -g - 5*i = -u, 2*g - 2*i = 3*i + 935. Suppose 5*m + 165 - g = 0. Is 15 a factor of m?
True
Let i(w) = -70*w + 735. Is i(-33) a multiple of 15?
True
Let o be (6/5)/((-51)/(-170)). Suppose o*m + 251 = 5*h + m, -4*m = 8. Is 5 a factor of h?
False
Is 27 a factor of 43/((626/52 - 7) + -5)?
False
Suppose -35*j - 28*j + 191079 = 0. Does 9 divide j?
True
Let f = -12 - -15. Let v(g) = 2*g - 4. Let o be v(f). Suppose 68 = l - 3*x + o*x, 5*x = -4*l + 290. Does 14 divide l?
True
Let x(b) = -5*b. Let t(m) = m - 4. Let z be t(7). Let n be x(z). Let l = 3 - n. Is 12 a factor of l?
False
Let i = 14 - 14. Suppose -o + 9 + 14 = i. Suppose 0 = 3*d + x + 4*x - 97, 2*d = 5*x + o. Is d a multiple of 8?
True
Suppose 3*q + 595 = 1909. Is 32 a factor of q?
False
Is 36/5 + -7 - 398/(-10) a multiple of 5?
True
Suppose 0 = -12*s + s + 1100. Suppose 4*p = -3*v + 149, -v - v = 2*p - s. Is 30 a factor of v?
False
Let s(q) = 25*q**3 + 2*q**2 - q + 1. Let d be 48/27 + (-4)/(-18). Does 16 divide s(d)?
False
Suppose 2*c - v + 274 = 0, -c = 3*v + 68 + 55. Suppose 0 = -4*a + 125 - 53. Does 6 divide c/a*32/(-10)?
True
Let y be (112/6)/((-6)/(-333)). Is -3*(y/(-12))/7 a multiple of 9?
False
Let i(d) = 2*d**3 + 25*d**2 + 9*d - 30. Let g(h) = -h**3 - 12*h**2 - 5*h + 15. Let s(n) = 5*g(n) + 3*i(n). Let y be s(-15). Is y*(-16)/12*1 a multiple of 17?
False
Let z(k) = -k**3 - 12*k**2 + 8*k + 7. Let i be 65/(-5) + 1 - 1. Does 24 divide z(i)?
True
Is ((-10)/(-4))/(-5) + 1647/18 a multiple of 7?
True
Suppose -2*f + 319 = -1. Suppose 7*y - 2*y - 278 = -3*l, -5*l = -3*y + f. Let q = y + 5. Does 20 divide q?
True
Suppose -t + 4*h = -1240, 4*t + 22*h - 24*h = 4988. Is 14 a factor of t?
False
Let r(b) = -b**3 + 5*b**2 + b - 5. Let t be r(6). Let y = t + 53. Suppose 2*u - 2 = y. Is 9 a factor of u?
False
Let r = -32 + 34. Suppose -908 = -4*n + y, -y - r*y + 1152 = 5*n. Is n a multiple of 32?
False
Let s be 20/110 + (-9)/(-11) - -2. Let o(a) = -4*a - 7 + 8*a**2 + 3*a - 3*a**2. Does 8 divide o(s)?
False
Suppose 5*p = -3*n + 1491, 2*p - 3*n - 649 = -61. Is 13 a factor of p?
False
Is 60 a factor of (65481/(-292))/(46/24 - 2)?
False
Suppose 6*q - 704 = -2*r + 8*q, -2*q = -2. Does 26 divide r?
False
Suppose 2*i = 10 + 2. Let d(m) = 5*m + 0 - 6 + 0 - 2*m. Does 4 divide d(i)?
True
Is 290/((-4)/(-10) - 44/160) a multiple of 58?
True
Suppose -39*o + 36*o = 3. Is 14 a factor of o/(-3) - 562/(-6)?
False
Let p be (-7 + 548/12)*-3*1. Let k = p + 172. Is 14 a factor of k?
True
Suppose 9*p - 1812 - 4812 = 0. Is 10 a factor of p?
False
Let m(b) be the third derivative of b**4/24 + 7*b*