se 26 - w = -4*q. Is 7 a factor of q?
False
Let o(n) = -n**2 + n. Let v(m) = 4*m**2 + 3*m - 5. Let j(r) = 2*o(r) + v(r). Is j(-8) a multiple of 12?
False
Let s(o) = -5*o - 5. Let l be s(-6). Let f = l + -18. Is f a multiple of 5?
False
Let f be (-21)/(-28)*8/(-3). Is 29 a factor of -4*(2 + 64)/f?
False
Let l(t) = -5*t - 36. Suppose -136 - 68 = 12*y. Is 7 a factor of l(y)?
True
Suppose -24*x = -27*x + 12. Suppose 2*l - 90 = -x*r, 0*r + 3*r - 15 = 0. Is 24 a factor of l?
False
Let q = 1 - -5. Let a(t) = 5*t + 30. Does 30 divide a(q)?
True
Let t(o) be the first derivative of -o**6/120 - o**5/5 - o**4/24 - o**3/2 - o**2 - 2. Let c(h) be the second derivative of t(h). Is c(-12) a multiple of 9?
True
Suppose a = -2*j + 1, -5*a + 5*j + 5 + 15 = 0. Let d = -3 + a. Suppose 8 = -k + 3*l - 0*l, d = -k + l. Is k a multiple of 2?
True
Suppose 7 = 2*b - 25. Let d = b - -11. Is 17 a factor of d?
False
Let s = 93 + 19. Suppose -c - 4*b - 16 = -2*c, 5*c = 4*b + s. Is c a multiple of 9?
False
Suppose 0*v + 220 = 5*v. Suppose 2 = 3*w - 325. Suppose -w = -4*k - 3*r, -2*r + v = -4*k + 158. Does 7 divide k?
True
Suppose 2*z - 2*n = 16, -3*n + 7*n + 26 = 2*z. Suppose -z = -0*c + 3*c. Is 4/4 - 16/c a multiple of 15?
False
Let q = 87 - 42. Suppose 30 = -44*n + q*n. Is n a multiple of 5?
True
Let j(s) = 427*s**2 - s - 2. Let k be j(2). Suppose 3*h - 4*q = -h + k, -1722 = -4*h - 2*q. Is 4/10 - h/(-15) a multiple of 9?
False
Let o(h) = h + 2. Let d be o(3). Let k be -19*(d - (-3 + 7)). Let n = k - -23. Does 4 divide n?
True
Suppose 4*k - 72 = 568. Suppose 0 = -4*r + 260 + k. Is r a multiple of 21?
True
Let f(l) = -131*l**3 - l**2 - 3*l - 3. Is f(-1) a multiple of 5?
True
Does 7 divide ((-5213)/65)/(2/(-40))?
False
Does 29 divide (3/(-6 + -3))/(2/(-738))?
False
Let s(m) = 278*m**3 - m**2 + m - 1. Does 10 divide s(1)?
False
Let d(g) = -g**2 - 33*g - 59. Let h be d(-21). Let c = h - 58. Does 24 divide c?
False
Suppose 0 = 5*n - 10*n + 860. Is n a multiple of 43?
True
Suppose -5 = -5*d, -5*m + 0*d = -d + 1. Suppose m*b - 3*b = -2*v - 151, 0 = -4*v - 8. Does 16 divide b?
False
Let g(m) = -2*m**3 - m + 3. Let k be g(-2). Is 20 a factor of (-118)/(-6) + 7/k?
True
Let q = -78 + 78. Suppose 3*z + 15 = 0, q = -8*k + 3*k + z + 500. Is 16 a factor of k?
False
Suppose -j = -w - 44, 4*j + 2*w + w - 169 = 0. Let o = j + 117. Does 20 divide o?
True
Suppose -9*y + 1008 = -189. Is 5 a factor of y?
False
Let p be (2 + 0)*(261 + -11). Suppose 5*m = -5*m + p. Does 5 divide m?
True
Suppose g - 1080 = -4*g. Suppose -q + 663 = r + 2*r, -r - 2*q = -g. Is 1/4 - r/(-8) a multiple of 11?
False
Let v be -1 - -2 - -2*1. Let s(k) = -5*k**3 - 2*k**2 + 13*k - 1. Let n(d) = -3*d**3 - d**2 + 7*d - 1. Let w(z) = -7*n(z) + 4*s(z). Is w(v) a multiple of 15?
True
Let c(t) = -4*t**3 + 4*t**2 - 7*t + 4. Let g(v) = 0*v**3 + 8 + 8*v**2 - 6*v**3 + v**3 - 2*v**3 - 14*v. Let j(r) = 5*c(r) - 3*g(r). Is j(4) a multiple of 6?
True
Let f = 2003 + -1073. Does 44 divide f?
False
Let p be 56/(-5)*45/(-18). Let c = p - -52. Is c a multiple of 25?
False
Let q(d) = d**3 + 7*d**2 + 9*d + 6. Let c be q(-6). Let a be 2*((-20)/(-1) - (3 - 3)). Let z = a + c. Is z a multiple of 7?
True
Is 7 a factor of (5 + 2 + 1)/((-7)/(-294))?
True
Suppose 0 = -6*u + 4*u + 4, -3*u + 39 = z. Suppose -z = 4*t - 93. Does 3 divide t?
True
Suppose 5*d + 30 = 5*l, 2*l - 23 = -2*l + 3*d. Suppose -3*x = -10 - 2, n + l*x - 96 = 0. Does 15 divide n?
False
Suppose -184*u + 190*u - 15120 = 0. Does 18 divide u?
True
Suppose -4*f = -8, 0 = -j - 3*f + 6 - 0. Suppose 0*p + 4*v + 218 = 5*p, j = 4*v - 12. Is 14 a factor of p?
False
Let w(g) be the first derivative of g**3 + 17*g**2/2 + 2*g - 24. Is 22 a factor of w(-8)?
False
Let x(m) be the first derivative of -m**3/3 - 10*m**2 + 19*m + 34. Is 16 a factor of x(-19)?
False
Suppose v = 3 - 12. Let r(y) = -10*y - 20. Is 10 a factor of r(v)?
True
Is 18 a factor of 42392/112 + (-1)/2?
True
Let u be 28/42*((-70)/(-4) + -1). Let p(j) = 2*j + 1. Is p(u) a multiple of 15?
False
Suppose -2*b - 3*s + 0*s = 9, 5*b - 20 = s. Suppose 685 = 2*d - 5*n, b*d + 3*n + 345 = 4*d. Suppose -d = -o - 4*o. Is o a multiple of 22?
True
Let i = -521 + 694. Does 3 divide i?
False
Let u(b) = -b**3 - 8*b**2 - 4*b + 4. Suppose 3*t + 26 = -19. Let d = t - -7. Is u(d) a multiple of 12?
True
Suppose -8*h = -11 - 5. Suppose 6*l - h*l = -4*d + 360, -l + 2*d = -84. Is l a multiple of 19?
False
Suppose -10 = -5*g + 5. Let p = 43 + g. Is 11 a factor of p?
False
Let z = -27 - -29. Suppose -60 = -z*x - x. Is 20 a factor of x?
True
Let d(q) = 12*q + 83. Does 11 divide d(-6)?
True
Suppose -7*m + 2*m + 15785 = 0. Is 11 a factor of m?
True
Suppose -12*c = -10759 - 5945. Is 30 a factor of c?
False
Suppose 0 = 3*w + 2*m, -2*w + 5*m = 3*w + 25. Is 30 a factor of (-2192)/24*(1/w - 1)?
False
Suppose 9*g - 34*g + 2500 = 0. Does 11 divide g?
False
Suppose 5*c + m = 777, 4*c + 4*m - 624 = 2*m. Is c a multiple of 15?
False
Let o(t) = 4*t**2 + 13*t + 2. Let n be o(-12). Suppose 3*b - 49 = n. Is b a multiple of 27?
False
Let c = -538 - -952. Is c a multiple of 17?
False
Suppose -o + 335 = f, -3*f = -0*o + 5*o - 1015. Is f a multiple of 55?
True
Let n be -4 + (1 - -1) - 1. Does 5 divide (n + 0)*13/(-3)?
False
Let n be 1/(-2) + (-86)/4. Let d = n - -64. Suppose 4*z + 4*r - r - 82 = 0, 0 = 2*z + 2*r - d. Is z a multiple of 6?
False
Suppose 4167 + 12993 = 12*k. Is k a multiple of 26?
True
Let b(q) = -q**3 + 7*q**2 - 3*q - 10. Let k be b(6). Suppose 3*n + 261 = 3*p, -2*n + 73 + k = p. Is p a multiple of 3?
False
Let l(c) = -c**2 - 2*c - 14. Let a be l(7). Let x be 14/a - 706/(-11). Suppose 0 = 4*i - 156 - x. Is i a multiple of 20?
False
Let k(j) = 87*j**3 + 2*j**2 - 1. Let h be 1*(4/(-4) + 2). Does 22 divide k(h)?
True
Let p = 1 + 2. Suppose -9*m = -4*m - 40. Suppose -5*j - 8 = r - 2, p*r + 2*j - m = 0. Is 2 a factor of r?
True
Let o be ((-16)/10)/((-4)/30). Suppose 19 = w + 3*r - 19, -r + 218 = 5*w. Let f = w - o. Is f a multiple of 16?
True
Let m be ((-2)/(-6))/((-11)/(-33)). Let r(b) = -b**3 - 2*b**2 - 3*b - 4. Let w(s) = -s**3 - s. Let o(p) = m*r(p) - 2*w(p). Is 8 a factor of o(4)?
True
Let h(z) = 3*z**2 + 13*z + 14. Is 28 a factor of h(-9)?
True
Suppose -2*k = -5*i - 0*k + 18, -3*i - 4*k = -16. Suppose 5*p - 5 = i*p. Suppose -4*a + 41 = 4*o - 15, 52 = p*a - 4*o. Does 5 divide a?
False
Let b be 4/(28/(-3)) - (-456)/(-14). Does 7 divide -1 - -60 - b/(-11)?
True
Let a = -255 - -775. Is a a multiple of 56?
False
Let z = 9 + -4. Suppose -3*j = -4*l + 267, z*l - j - 2*j = 336. Is l a multiple of 17?
False
Does 10 divide (-4 - 0)*(-825)/66?
True
Suppose 5*l + 3*m - 54 = 4, 4*m - 40 = -4*l. Let w be 2*(0 + l) + 3. Is 12 a factor of w/1 + 0 + 1?
False
Let k(a) = 13*a**2 + 3*a + 16. Let z be k(-6). Suppose 3*y - 524 = z. Suppose 0 = 2*j + 4*j - y. Is 12 a factor of j?
False
Let j(g) = 142*g - 36. Is 8 a factor of j(6)?
True
Let h(w) = -w**2 + 26*w - 45. Let x be h(17). Suppose -3*l + 4*l - x = 0. Is 36 a factor of l?
True
Let o(h) = -31*h + 341. Does 62 divide o(-13)?
True
Suppose 0 = -4*z - z + 5250. Is z a multiple of 25?
True
Suppose -4*p = -2*p - 2. Let v(f) = 49*f**2 + 2*f - 1. Let s be v(p). Suppose -4*j - 3*q = 2*q - s, 70 = 4*j - 5*q. Is 15 a factor of j?
True
Let h = -121 + 269. Does 23 divide h?
False
Let z be 3/15 + 84/30. Let k be (-112)/z*171/(-76). Does 17 divide 1*k/(-4)*-1?
False
Does 29 divide ((-18)/5)/(207/(-20010))?
True
Let m(d) = 20*d - 4. Let b(u) = -2 - 3 + 3*u + 4 + 2*u. Let p(r) = -9*b(r) + 2*m(r). Is 6 a factor of p(-1)?
True
Suppose 9*m - 3853 = -1513. Is 20 a factor of m?
True
Suppose -8*q + 6*q + 178 = 0. Is 10 a factor of q?
False
Suppose 3*v - 222 = 360. Let j = 446 - v. Suppose -3*m + 0*m = -5*c + j, -4*m - 256 = -5*c. Is 12 a factor of c?
True
Does 2 divide (-266)/(-4) + 34/68?
False
Let h = 872 - 584. Is 16 a factor of h?
True
Let c(x) = -68*x - 299. Does 11 divide c(-16)?
False
Let m(g) = 10*g**2 + 50*g + 157. Does 55 divide m(-17)?
False
Let q be ((-40)/(-25))/((-12)/(-30)). Is q/(-6) - (-5050)/15 a multiple of 42?
True
Let z(r) = -11*r - 294. Is z(-48) a multiple of 6?
True
Let j = -2 + 16. Let x = 26 - j. Suppose 2*m - 100 = -x. Does 11 divide m?
True
Let s(x) = -8*x + 12*x + 2*x**2 - 5 - 3*x + 12*x. Is 22 a factor of s(5)?
True
Let d