tive of -25*m**4/12 + m**3/3 + 3*m**2/2 + 2*m. Let c(k) = -r(k) + 3*t(k). Is 11 a factor of c(1)?
False
Let m(y) = 7*y**2 - 13*y - 5. Let v(s) = 8*s**2 - 13*s - 5. Let a(j) = -7*m(j) + 6*v(j). Does 15 divide a(5)?
True
Let j(z) = -98*z + 3. Is 16 a factor of j(-1)?
False
Suppose g = 2*g + 1, -3*x - g = 55. Let s = -9 - x. Is 3 a factor of s?
True
Suppose -2*d + 2*j + 64 = 0, 0 = -2*d - 4*j + 47 + 47. Is 5 a factor of d?
False
Let b be (-5)/30 + 13/6. Let s(h) = -3*h - b + 0 + 3 + 2. Does 18 divide s(-5)?
True
Let q be (32/(-80))/((-1)/(-25)). Is q*(-3 + (-12)/10) a multiple of 14?
True
Let a be 20 - ((4 - 3) + -1). Let l = a - 13. Does 4 divide (5 + 1)/2 + l?
False
Suppose 3*h + 14 = -4*d + 34, -3*d + 15 = 4*h. Is 5 a factor of d?
True
Let r = -4 + 35. Is r a multiple of 9?
False
Let s(k) = -7*k - 3*k + 6*k - 4 - 2*k**3 - 4*k**2. Is 13 a factor of s(-3)?
True
Let w = 1 - -2. Let s = 14 - w. Is 11 a factor of s?
True
Suppose -13 - 47 = 5*t. Does 9 divide (-12)/(-4)*-1 - t?
True
Let a = 1 - -4. Suppose -4*r + 6 - 1 = -3*n, -a*r - 5*n + 15 = 0. Is 2 a factor of r?
True
Let a be (-4)/(-10) - 72/(-20). Suppose -4*b + 44 = 4*j, -a*b - j = -23 - 30. Does 7 divide b?
True
Let o be 0/2*1/2. Let n = o + 2. Suppose -20 = -4*d + n*d. Is d a multiple of 9?
False
Suppose 3*d = -2*d. Let j be (-2 + d + -8)/(-1). Is 13 a factor of (4/j)/((-2)/(-120))?
False
Let g = 413 + -181. Is g a multiple of 29?
True
Is (-2)/3*1140/(-40) a multiple of 3?
False
Let v(m) = -m**2 - 11*m - 13. Let k = 0 + 8. Let p be (-2 - -1) + -1*k. Is v(p) a multiple of 3?
False
Suppose -b - 2 + 1 = l, 3*b - 2*l = 7. Is 2 a factor of b - (-5)/((-10)/(-6))?
True
Suppose -d = -6*d + 20. Suppose k = -d*k + 150. Is 11 a factor of k?
False
Suppose -4*h - 30 = 5*t, 4*h = -h + 25. Let p = -2 - t. Is p a multiple of 4?
True
Let m(b) = -b**3 - 11*b**2 + 10*b - 12. Let g be m(-12). Suppose 0 = 4*a - 12, -x = 5*a - g - 39. Is x a multiple of 18?
True
Suppose -4*h + 2*q = 14, -13 = -h - 0*h - 5*q. Is (h/6)/((-4)/192) a multiple of 13?
False
Let b(a) = -17*a + 2. Let i(y) = 11*y - 1. Let v(g) = -5*b(g) - 7*i(g). Let o be (-2)/(-1*1*1). Does 13 divide v(o)?
True
Let j(m) = -m**3 + 6*m**2 - 5*m + 4. Is j(5) a multiple of 2?
True
Let c = 5 + 19. Is c a multiple of 6?
True
Let l(c) be the third derivative of -1/30*c**5 - c**2 + 1/40*c**6 + 0 + 0*c + 0*c**3 + 0*c**4. Does 13 divide l(2)?
False
Suppose 3*d + 3*d + 468 = 0. Let s = d + 119. Does 25 divide s?
False
Does 26 divide 1 + 153/(5 - 2)?
True
Suppose -5*x - 5*o + 90 + 40 = 0, -3*x + 4*o + 64 = 0. Is x a multiple of 4?
True
Let l(f) = -f**2 + 20*f + 25. Does 14 divide l(19)?
False
Let j(h) = 27*h**2 - h - 1. Let w(d) = d + 4. Let f be 23/(-5) - 4/10. Let g be w(f). Is j(g) a multiple of 13?
False
Suppose -5*h = 2*z - 38, -11 = -4*z + 5. Suppose -3*u + h = 3. Suppose 0*b + 71 = 4*r + 3*b, -3*b + u = -r. Does 7 divide r?
True
Let c(r) = 30*r**2 - 7*r + 5. Let t(o) = -29*o**2 + 8*o - 6. Let s(q) = 7*c(q) + 6*t(q). Is 18 a factor of s(-1)?
True
Let u(b) = 24*b + 4. Let t be u(8). Let p = -127 + t. Is p a multiple of 17?
False
Let w be -3*(-1)/3*2. Let h = 5 + -3. Is (-14)/h*w/(-1) a multiple of 14?
True
Let m = -17 + 19. Suppose -m*k - 5 = 2*l - 15, l = -1. Is k a multiple of 6?
True
Let m = 3 - -129. Does 12 divide m?
True
Let u(d) = -d**2 - 15*d + 6. Is 15 a factor of u(-6)?
True
Is (-8)/20 + (-487)/(-5) a multiple of 26?
False
Suppose z - 784 = -13*z. Is 8 a factor of z?
True
Suppose 4*g + 31 = -t, 9*t = -5*g + 4*t - 35. Let q = g + 33. Is q a multiple of 17?
False
Suppose -4*r + 4*d + 186 = 50, -109 = -4*r - 5*d. Let f = -10 + r. Does 6 divide f?
False
Let m(j) = 3 + 3*j + 0*j - 4*j. Does 8 divide m(-5)?
True
Suppose 68 = 4*v - 0*v. Let w = 29 - v. Does 5 divide w?
False
Suppose -5*t = -750 - 360. Is t a multiple of 37?
True
Let a = 57 + -39. Is a a multiple of 4?
False
Let g be 42*3/15*5. Does 5 divide (g/15)/((-2)/(-10))?
False
Let s be (-199)/(-4) - 1/(-4). Suppose 1 = o - 0, -5*i = 5*o - s. Does 3 divide i?
True
Let s(o) = -16*o. Let r be s(-3). Suppose -2*v + 2*k - r = -3*v, -240 = -5*v - 2*k. Does 16 divide v?
True
Let f(h) = -h**3 + 6*h**2 + 10*h - 4. Let w be f(7). Let z = w - 11. Is 6 a factor of z?
True
Suppose -5*w + 99 = 2*t - 0*w, -2*w = -10. Does 6 divide t/2 + 8/(-16)?
True
Let g(j) = j**2 - 3*j - 3. Let h be g(4). Suppose -s - h = -5. Suppose 0 = -w - s*w + 3*k + 198, -3*k = 2*w - 75. Is 13 a factor of w?
True
Let t = 38 + -72. Let c = -22 - t. Is c a multiple of 10?
False
Let u(v) = -12*v + 8. Let x be u(-6). Let o = 1 + x. Does 21 divide o?
False
Is 4 a factor of (-64)/(-24)*15/4?
False
Suppose -3 = 2*o - 7. Suppose 0 = -2*z - d - 0*d + 53, -43 = -o*z - 3*d. Does 9 divide z?
False
Let d(n) be the first derivative of -n**4/4 + n**3/3 + n**2/2 + 20*n - 6. Does 4 divide d(0)?
True
Suppose 3*b + 5 = -f + 3*f, 3 = f - 2*b. Let r(w) = 25*w - 2. Let n(c) = -675*c + 55. Let h(m) = 2*n(m) + 55*r(m). Is 9 a factor of h(f)?
False
Let k(w) = w**3 + 6*w**2 - 5*w + 6. Let c be k(-7). Let j be 2 + -3 - (0 + 2). Is ((-6)/c)/(j/(-48)) a multiple of 7?
False
Let n(g) = -6*g. Let u be ((-16)/(-10))/((-2)/10). Does 25 divide n(u)?
False
Let s(i) = -i**3 - 8*i**2 - 7*i - 8. Let o be s(-6). Let w be 4/(-18) - o/9. Does 17 divide ((-66)/w + 2)*-2?
False
Let h = -80 - -355. Does 25 divide h?
True
Suppose -2 = -x - 0, -90 = -4*d + 3*x. Is d a multiple of 24?
True
Let o(u) = 2*u + 3. Suppose j = 3*j + 22. Let a(m) = -9*m - 15. Let n(b) = j*o(b) - 2*a(b). Is 11 a factor of n(-8)?
False
Suppose -4*f - 3*d + 6*d + 495 = 0, 5*d = -4*f + 455. Suppose 3*j + f = 6*j. Suppose -j = -n - 0*n. Does 20 divide n?
True
Suppose -2*i - 4 = 0, 2*b + 4*i + 0 = -4. Suppose 4*d + 4*w = 6*d - 194, 10 = -b*w. Is d a multiple of 22?
False
Let t = -7 - -17. Is 5 a factor of t?
True
Let x = -1 + 16. Let w = x - 9. Is 3 a factor of w?
True
Let m be (-9)/3*-1 - 3. Suppose m = -2*s + 3*s - 46. Is s a multiple of 13?
False
Let i(b) = -4*b + 32. Is 14 a factor of i(-27)?
True
Let v be 2/(-2) - (-1 - 3). Let f = 12 - v. Does 3 divide f?
True
Let y be 1/((-3)/12) - -12. Let x(b) = -b**2 - 6*b - 6. Let c be x(-5). Does 15 divide c/(-2) + 316/y?
False
Let t be 0/(2*-2) - -2. Let g(n) = n**3 - 2*n**2 + n + 1. Is g(t) even?
False
Let d = 20 + -11. Is 9 a factor of d?
True
Let a(x) = 8*x + 24. Does 36 divide a(15)?
True
Suppose -5*k = -5*t + 110, 80 = 4*t + 5*k - k. Suppose 4*x = 5*x - t. Does 7 divide x?
True
Suppose -5*l + 42 + 3 = 0. Is (1 - 4)/(l/(-48)) a multiple of 8?
True
Suppose 4*g = -15 + 3. Let z(r) = 4 - 4 - 5*r - 2. Does 13 divide z(g)?
True
Suppose -4*d + 10 = 5*w, -d - 4*w = 3*d - 8. Is 6*(3 - d/(-1)) a multiple of 8?
False
Let i(n) be the second derivative of -2*n**2 + 4*n + 0 + 1/6*n**4 + 5/6*n**3. Is 8 a factor of i(-4)?
True
Suppose -2*n + 2 + 4 = 0. Suppose 2*i + h - n = 3, 3*i - 9 = -5*h. Suppose -i*b + 171 = 21. Is b a multiple of 17?
False
Suppose 3*r - 4*r - 5*p = 49, -p - 2 = 0. Let v be (-1)/(3/r) - -1. Let j = v + 2. Is 8 a factor of j?
True
Let q be (7 - 27)/(0 + 1). Is 19 a factor of (-1)/2*6*q?
False
Suppose -5*x + 4*p = -p - 405, -4*x + p + 336 = 0. Does 19 divide x?
False
Suppose -o - 25 = -6*o. Suppose 2*i + 1 - o = -w, -w = 3*i - 4. Suppose 3*z + 0*z - 81 = i. Does 16 divide z?
False
Suppose -37 = -c + 5*z + 24, -3*z + 69 = c. Is 14 a factor of c?
False
Let j = -38 - -56. Suppose -2*n - b - j = 3*b, 0 = 5*n + b. Suppose -a + n = -9. Is 10 a factor of a?
True
Let i(u) be the first derivative of -u**2 + 3*u + 5. Is 23 a factor of i(-10)?
True
Suppose u + 222 = -4*f + 3*u, -4*f - 243 = 5*u. Let l = f - -99. Is 15 a factor of l?
False
Let b(d) = -4*d - 9. Let s(p) = -13*p - 27. Let o(i) = 7*b(i) - 2*s(i). Let q be o(-6). Suppose -6*v = -3*v + 15, q*h - 2*v = 127. Does 19 divide h?
False
Let g(r) = 7*r**2 + 3*r + 1. Let p be g(-3). Suppose -3*k = -8*k + 30. Let u = p - k. Is 17 a factor of u?
False
Let j = 157 + 20. Does 17 divide j?
False
Let b be (18/27)/(1/3). Suppose -d = 3*i - 46, -5*d + 4*d = b*i - 44. Is d a multiple of 10?
True
Suppose -4*y - 2*u + 408 = -52, 10 = 5*u. Is 19 a factor of y?
True
Let i be (24/18)/(1/12). Suppose 2*w + w + i = y, 5*y + 3*w - 26 = 0. Let s(a) = -a**2 + 8*a + 4. Is s(y) a multiple of 9?
False
Let w = -3 - -8. Suppose -2*r = -4