ose 8*f = 7*f + 82. Is 26 a factor of f?
False
Suppose -3*q + d = 5*d - 432, -3*d = 3*q - 429. Does 29 divide q?
False
Let c(r) = r**2 - 3*r + 2. Does 9 divide c(-5)?
False
Let u(s) = 45*s**2 - 17*s - 20. Let f(z) = -15*z**2 + 6*z + 7. Let j(w) = -17*f(w) - 6*u(w). Let l be j(1). Let a = 24 + l. Is a a multiple of 7?
False
Suppose -280 = 4*o + 2*u, 4*u = -5*o - u - 340. Let z = -14 - o. Does 15 divide z?
False
Let i(u) be the third derivative of u**5/20 + u**4/24 - u**3/6 - 2*u**2. Let z be i(1). Suppose 3*f = 2*t + 32, z*f + 0*t = -3*t + 57. Is 7 a factor of f?
True
Let i(v) = 20*v**2 + v + 1. Let r be i(-1). Let s = 31 - r. Let t = s - 5. Is t a multiple of 6?
True
Let a be 1 - -4*1*-2. Suppose 0*s + 42 = 2*s. Let t = a + s. Is 14 a factor of t?
True
Suppose 6*k - 205 = 191. Is 18 a factor of k?
False
Let i(n) = n + 10. Let p be i(-7). Suppose 6*o = p*o. Suppose -4*x + 108 = -g + 2*g, o = -5*x - 3*g + 128. Is 17 a factor of x?
False
Let x(i) = i**3 + 6*i**2 + i. Let h be x(-6). Let z(j) = j**3 + 5*j**2 - 12*j - 3. Does 18 divide z(h)?
False
Let q = 6 - 3. Let g(w) be the third derivative of w**6/120 - w**5/20 + w**3/3 + 2*w**2. Does 2 divide g(q)?
True
Let a be (2 + 0)*(-4 - 1). Is 11 a factor of ((-6)/10 - 1)*a?
False
Let x = -58 + 94. Is x a multiple of 18?
True
Let a(l) = 7*l - 29*l + 2*l**2 + 12*l. Is a(6) a multiple of 3?
True
Let m(n) = -2*n**2 + n + 45. Let o(w) = w**2 - 1. Let y(c) = m(c) + 3*o(c). Is y(0) a multiple of 14?
True
Suppose -7*k - 53 = -298. Is 5 a factor of k?
True
Let v be 2/3 + (-30)/(-9). Suppose v*r - 40 = -0*r. Does 6 divide r?
False
Suppose 0 = -4*s + 5*h - h + 268, 4*s + 5*h - 268 = 0. Is 11 a factor of s?
False
Let f(i) = -i**2 - 3*i + 4. Does 4 divide f(-3)?
True
Let n be (-2)/8 - (-68)/16. Suppose c + 9 = n*c. Suppose -6 - 44 = -c*z - 4*r, -r = 5*z - 72. Is 12 a factor of z?
False
Is 6 a factor of (26/6 + -1)*3?
False
Suppose 0*s + s + n - 150 = 0, 2*s + 5*n - 312 = 0. Suppose 2*q + 82 + 4 = 3*h, 0 = -5*h + 2*q + s. Is h a multiple of 14?
False
Let b(i) = -i - 4. Is b(-7) a multiple of 3?
True
Let g be 1*-5*(0 + 1). Let j(f) = -6*f + 4. Is 17 a factor of j(g)?
True
Let u be (-5)/4*-4*3. Suppose u = g - 7. Is 13 a factor of g?
False
Suppose -k + 0*q - 30 = 3*q, 2*q = 5*k + 133. Let t be 38*((-10)/4 + 2). Let n = t - k. Is n a multiple of 4?
True
Let d = -85 - -446. Does 50 divide d?
False
Let x = -11 + 15. Suppose q = -x*q + 250. Does 25 divide q?
True
Let t = 2 + 5. Is t a multiple of 3?
False
Suppose 0*g + 2*g - 32 = 0. Let w = 0 + g. Is w a multiple of 8?
True
Suppose 0 = 5*c, 0*x + 10 = -5*x + c. Let s be (x + 4)/(1/3). Suppose -s*f + 118 = -f + p, f + 4*p - 16 = 0. Does 12 divide f?
True
Let m(y) = -y**2 + 4*y + 5. Is m(4) a multiple of 4?
False
Let y(f) = 4*f**2 + 47*f + 1. Let p(g) = g**2 + 12*g. Let l(h) = -9*p(h) + 2*y(h). Is 17 a factor of l(-10)?
False
Let d(s) be the second derivative of 9*s**5/10 - s**4/12 - s**3/6 + s**2/2 - s. Is 7 a factor of d(1)?
False
Let f(r) = 189*r + 15. Is f(1) a multiple of 12?
True
Let b(r) = 8*r - 4. Is b(2) a multiple of 6?
True
Suppose 5*w = 5*m, 0*m + 3*m - 2*w = 2. Let o be (-7)/(-2) - 1/m. Suppose -o*p - 87 = -5*y, -2*y - 5*p - 18 = -59. Is y a multiple of 9?
True
Suppose -3*c - 9 = -6. Does 12 divide 83 + c - (-7 - -5)?
True
Suppose 0 = 2*t + t - 42. Suppose 2*f - 4*p = -12 + 4, -f - 16 = -5*p. Suppose 4*q = 3*d - 34, 0*d = d - f*q - t. Does 8 divide d?
False
Let l(f) = -f + 1. Let j be l(-4). Suppose 0*p - p = y - 19, -j*p + 3*y = -111. Is 7 a factor of p?
True
Let j(f) = -f**2 - 6*f + 10. Let a be j(-7). Let q(w) = 3*w**2 - 4*w**3 + 0*w**2 + 4*w + 3*w**3. Does 6 divide q(a)?
True
Suppose -5*o + 17 + 8 = 0. Let u be 48/10 - (-1)/o. Suppose 3*p + 66 = u*j + 165, -4*j + 66 = 2*p. Is p a multiple of 9?
False
Let j = -579 + 813. Is j a multiple of 13?
True
Let b(d) = -2*d - 12. Let o be b(-8). Suppose k - o*f = 25, -4*f - 5 = 2*k + 5. Suppose -4*v - k*x = -13, 3*v - 2*x - 9 = 18. Is 6 a factor of v?
False
Is 17 a factor of 65555/133 + (-2)/(-19)?
True
Let f(y) = -y + 1. Let n be f(1). Let i(d) = d**2 - d + 8. Is i(n) a multiple of 4?
True
Suppose 6 = -y + 5*v, -4*y + v + 2 = -12. Does 12 divide 38 + y/10*5?
False
Suppose 0 = 5*r + 2*w - 144 - 16, -4*r + 128 = -3*w. Does 8 divide r?
True
Let m = -9 - -16. Let y be ((-6)/m)/(2/(-28)). Let h = y + 10. Does 11 divide h?
True
Let q(s) be the second derivative of s**4/12 + s**3/2 + 2*s**2 + s. Let c be q(-6). Suppose -2*a + 5*h = -3*a + c, 2*a - 3*h = 31. Is a a multiple of 7?
False
Let r(c) = 2*c**2 + 27*c + 2. Is 9 a factor of r(-15)?
False
Let g be (-4 + 0)*(-2)/2. Suppose -9 - 243 = -g*r. Does 13 divide r?
False
Is 194/10 + 2/(-5) a multiple of 5?
False
Let t(r) = 4*r**2 - r. Let i be t(1). Suppose -i*c = 2*c - 55. Is c a multiple of 8?
False
Let g(r) = r**3 + r**2 + r + 65. Is 14 a factor of g(0)?
False
Suppose -5*g - 20 = -j - 3*g, -4*j = g - 80. Does 10 divide j?
True
Let p(u) be the third derivative of -u**6/120 + 7*u**5/30 + u**4/8 - 7*u**3/2 + 2*u**2. Does 7 divide p(14)?
True
Let t(s) = -14*s - 9. Is 40 a factor of t(-21)?
False
Suppose 641 = 5*m + 4*u, -4*u - 59 = -2*m + 175. Is 25 a factor of m?
True
Let l = 5 - -13. Does 6 divide l?
True
Suppose -3*a + 115 + 659 = -3*d, d = -2*a + 513. Suppose -r - 259 = -4*j + j, -3*j + 2*r + a = 0. Is 13 a factor of j?
False
Suppose 5*b + 623 = 13. Let x = -37 - b. Is 27 a factor of x?
False
Suppose 18 = -2*o - o. Let j(r) = -r**3 - 6*r**2 - 5*r - 5. Is 7 a factor of j(o)?
False
Let x(l) = -l**2 + l - 1. Let u(m) = -6*m**2 - 4*m - 4. Let j(k) = u(k) - 5*x(k). Let i be j(-6). Suppose 5*h = 0, 4*d - i = -4*h + 45. Does 10 divide d?
False
Let t = -10 - -19. Is t a multiple of 3?
True
Let h(u) = u**2 - 7*u + 4. Let t be h(7). Suppose t*s = 3*s + 11. Is s even?
False
Let c(s) = s + 4. Let m be c(0). Suppose -2*n = y - 0*n - 1, 4 = m*y + n. Suppose 4*o - 35 - y = 0. Is 5 a factor of o?
False
Let m be 3/18 - (-47)/6. Is 273/6 + 4/m a multiple of 23?
True
Let b(z) = -z**2 - 16*z - 21. Is b(-14) a multiple of 2?
False
Let u = 6 + -1. Suppose -135 = -0*r - u*r. Does 9 divide r?
True
Suppose 7*a - 5*y = 2*a + 355, 2*a + 5*y = 107. Suppose -11 + 1 = 5*j, -a = -4*s - j. Does 5 divide s?
False
Suppose 2*u + 2*u = 208. Does 26 divide u?
True
Suppose -y + 59 = p - 3, -2*p + 127 = -y. Is p a multiple of 21?
True
Let g(h) = h**3 + h**2 - 5*h + 2. Suppose 5*l - 5*r = 10, r = l - 2*l + 4. Let d be g(l). Let y = d - 7. Does 16 divide y?
True
Does 19 divide (-415)/(-15)*-1*-3?
False
Let u(p) = -p**2 + 3*p. Let w be u(5). Let s be (-8)/10*w/4. Does 16 divide (-33 + -3)*s/(-3)?
False
Does 8 divide (-456)/(-28) + 4/(-14)?
True
Let n(q) = -42*q**3 + 2*q**2 + 2*q + 1. Let r(o) = -o - 1. Let t be r(4). Let x = t + 4. Does 18 divide n(x)?
False
Suppose 0*q - 16 = -4*q. Suppose -u + 5 = q. Let c = u - -5. Is 6 a factor of c?
True
Let m(l) = 11*l**2 + l. Let v be m(1). Let o = v - 6. Is (126/12)/(o/8) a multiple of 14?
True
Suppose 6*q - 414 = 282. Is 29 a factor of q?
True
Is 3 a factor of ((-10)/6)/(1/(-15))?
False
Suppose -4*s + 5*s - 4 = 0. Suppose -2*v - 7*o + 3*o + 22 = 0, -3*v - s*o + 25 = 0. Suppose -v*a + 15 = -0*a. Is 2 a factor of a?
False
Let g(q) = 3*q**3 + 2*q**2 + q + 1. Let c be g(-2). Let r = -10 + 0. Let k = r - c. Is 3 a factor of k?
False
Let j(c) = -3*c**3 - 9*c**2 + 5*c - 6. Let p(g) = 2*g**3 + 8*g**2 - 5*g + 5. Let o(h) = -3*j(h) - 4*p(h). Let x = -1 + 6. Does 6 divide o(x)?
False
Let a(l) be the third derivative of -5/6*l**3 - 1/12*l**4 + 0*l + 0 + 3*l**2 + 1/60*l**5. Is a(7) a multiple of 15?
True
Suppose 3*d = 0, 0 = -4*a - 0*d - d + 92. Is a a multiple of 5?
False
Let u(s) = s**2 + s + 3. Let r = 0 + -10. Let g = r - -7. Is u(g) a multiple of 9?
True
Let r(o) = o**3 + 10*o**2 - o + 2. Does 3 divide r(-10)?
True
Let g(i) = 2 + 2*i - 4 - 2. Let w be g(3). Suppose w*b + u - 38 = 0, -5*b - u + 95 = -4*u. Does 19 divide b?
True
Is -6*16/4*-1 a multiple of 12?
True
Suppose 0*v - 2*v + 6 = 0. Suppose 2*r + 17 = -v*w, -r = -0*r - 4*w - 8. Let f(x) = -6*x - 6. Does 9 divide f(r)?
True
Let i(f) = 8*f - 3. Let u(y) = -9*y + 2. Let h(k) = -5*i(k) - 4*u(k). Let z = -50 - -45. Is 27 a factor of h(z)?
True
Let o(h) = 4*h**2 + 1 + h - 5*h**2 + 0 + h**3 + 5*h**2. Is 34 a factor of o(4)?
F