 -v**3 + 13*v**2 + 4*v + 24. Does 17 divide n(13)?
False
Let t = -20 - -34. Is 11 a factor of 360/14 + 4/t?
False
Let l(p) = -p**2 + 3*p + 1. Let z be l(5). Let c = z - -9. Suppose -m = -2*r - 3*r - 54, -m - 3*r + 70 = c. Does 17 divide m?
False
Let k(g) = -3*g**2 - 2*g + 2*g**2 - 3*g. Let p be k(-4). Suppose p*m = 2*b - 6*b + 44, 0 = -m + b + 13. Is m a multiple of 12?
True
Suppose 2*l + 194 = 2*o, -o + 99 = -l - l. Is 16 a factor of o?
False
Let r(a) = 0*a + 26 + a - 24. Let z be r(0). Is -1*(z + -12)*1 a multiple of 10?
True
Suppose 3*w + w + 5*c - 315 = 0, 0 = 2*c - 6. Is 12 a factor of w?
False
Suppose -c - 15 = 4*l, -c + 18 = c - 4*l. Suppose -2*h - c = 1. Is (13 - (-3)/h) + 1 a multiple of 11?
True
Does 9 divide -2 + 15 + 0/(-1)?
False
Let g = 31 - 49. Let q = -6 - g. Let w = q - 0. Is 6 a factor of w?
True
Is 9 a factor of 3 + 144/3 - (-2 + -1)?
True
Let j(s) be the first derivative of s**3/3 + 9*s**2/2 - s - 1. Is j(-10) a multiple of 9?
True
Let h(x) = -x**2 - 5*x + 13. Let s be h(-10). Is 1 + 2 - (s + -5) a multiple of 16?
False
Let u = 4 + 12. Let k = 23 + u. Does 13 divide k?
True
Let s be (-42)/(-18) - 2/6. Let u = 122 - 53. Suppose -u = -v - s*v. Is v a multiple of 19?
False
Suppose -134 - 18 = -2*z. Does 19 divide z?
True
Suppose 4 = -m - 4*t, -5*m + 4 + 1 = -5*t. Suppose m*a - 138 = -3*a. Does 23 divide a?
True
Suppose -3*m + 83 = t, 0*m - 364 = -4*t - 4*m. Is 11 a factor of t?
False
Suppose -2*q + 144 + 80 = 0. Is q a multiple of 30?
False
Let c(b) = -b**2 - 21*b - 15. Let t be c(-11). Is 3 a factor of t/10 + 3/(-6)?
True
Suppose 0 = -f - 3*f - 148. Let c = -25 - f. Is 12 a factor of c?
True
Let s = 4 - -2. Suppose -c - s*z + 2*z = -44, 2*z = 0. Is c a multiple of 15?
False
Is 8 a factor of (104/(-5))/(96/20 - 5)?
True
Let z be 4/(-14) - 1104/(-42). Suppose 0 = 3*v - 74 + z. Is v a multiple of 16?
True
Let n(r) = 22*r + 2. Is n(4) a multiple of 8?
False
Suppose 2*i = o + 18, 5*i - 34 = -0*i - 3*o. Does 3 divide i?
False
Let t(q) be the first derivative of -1/3*q**3 + 1 - 5*q - 7/2*q**2. Is 6 a factor of t(-4)?
False
Let j be (-641)/(-4) + (-5)/20. Suppose v = -4*f + 116, -5*f - v = 4*v - j. Is f a multiple of 14?
True
Suppose 0 = 5*f - 8 - 12. Let y(o) = o + 2. Let z be y(f). Does 12 divide 47/3*z/2?
False
Suppose -3*i - 291 = 4*c, 2*i = c - 3*i + 67. Let z = c + 112. Is 35 a factor of z?
False
Is 9 a factor of 2/(-1*12/9)*-36?
True
Suppose -22 = u - 2*u - 2*s, -u = 5*s - 34. Let a be (15/6)/(1/2). Suppose 0 = -a*q + u + 56. Is 14 a factor of q?
True
Let w be 12/(-8)*(-8)/6. Suppose h - w*i = -2, -3*i - 39 = 3*h + 2*i. Let f(l) = -4*l - 5. Is f(h) a multiple of 18?
False
Does 28 divide ((9/6 - -3) + 1)*56?
True
Suppose r + 135 = 2*r. Is 43 a factor of r?
False
Let n(v) = 13*v - 2. Let q(f) = 7*f - 1. Let i(d) = -4*n(d) + 7*q(d). Let r be i(-1). Suppose 4*p + 100 = r*h, 2*h - 4*p - 70 = -h. Is 15 a factor of h?
True
Let t(y) = -3*y + 1. Let m be t(-2). Suppose p - 4 - m = 4*q, -2*p + 22 = -4*q. Is p a multiple of 9?
False
Let v(d) = 5*d**3 + 9*d**2 + 6. Let q(n) = 14*n**3 + 26*n**2 - n + 18. Let o(a) = -4*q(a) + 11*v(a). Let x be o(-6). Does 5 divide -5*2*(-3)/x?
True
Let k be -1*(-4)/6*6. Suppose -k*l + 48 + 67 = 5*s, 2*s = -5*l + 131. Is l a multiple of 25?
True
Let z(r) = -r + 10. Let h be z(8). Let c be (-1 + (-3)/h)*-2. Suppose d = c*n - 51, -2*n + 5 = d - 14. Is n a multiple of 6?
False
Is 10 a factor of 4/4 - 3 - -55?
False
Let n(i) = -i**3 + i**2 + 1. Let c(k) = -16*k**3 + 5*k**2 - k + 3. Let x(v) = -c(v) + 3*n(v). Does 12 divide x(1)?
True
Suppose 0*r + 76 = o - 2*r, -3*o - 2*r + 260 = 0. Is 28 a factor of o?
True
Let u(o) = o**3 + 11*o**2 - o + 7. Is u(-11) a multiple of 9?
True
Suppose 5*o = o - 972. Does 7 divide (3/(-9))/(3/o)?
False
Let n = 146 - -1. Suppose -n = -q - 10. Suppose 5*v + 26 - q = i, -3*i = -5*v + 103. Is v a multiple of 15?
False
Let l(x) = -x**2 + 4*x + 7. Let h be l(5). Suppose u = -3*k - 13, -5*k - h*u - 2 = 18. Is (21/2)/(-3)*k a multiple of 11?
False
Let h(g) = 5*g - 18. Let w be h(-10). Let v = -42 - w. Is 11 a factor of v?
False
Let j(o) = o**3 + 7*o**2 + 7*o + 6. Let h be j(-6). Let k(i) = i - 6. Let p be k(6). Suppose -4*b + p*b + 44 = h. Is b a multiple of 4?
False
Let c be -5*(3 + (-39)/15). Does 19 divide 66/2 - (c - -2)?
False
Suppose 4*s = -5*l - 0*l + 25, 4*l = -3*s + 19. Suppose 0 = -5*q + 4*a + 96 + 10, 82 = s*q + 2*a. Does 9 divide q?
True
Let u be (-58)/4*12/(-2). Let l(q) = -q**2 + 17*q + 13. Let z be l(14). Let c = u - z. Is c a multiple of 16?
True
Suppose 0 = -2*m + 5*m - 114. Does 8 divide m?
False
Let p = 161 + -231. Is p/(-20)*20/2 a multiple of 10?
False
Suppose 0 = 4*x - 290 - 86. Let a = -8 + 10. Is 6 a factor of a/6 + x/6?
False
Let r(t) be the second derivative of t**4/12 + 2*t**3/3 - 2*t**2 - 3*t. Does 5 divide r(-6)?
False
Let q(r) = 9*r**2 - r + 1. Is 19 a factor of q(-2)?
False
Let b = 3 - 1. Suppose 4*x - 5*p - 352 = 0, -p + 79 = 3*x - b*x. Suppose -4*o = -33 - x. Does 12 divide o?
False
Let p be 1 + (9/1)/3. Suppose p*n - 225 = -n. Does 15 divide n?
True
Is (-2 - -5)*(-3 + 24) a multiple of 9?
True
Let g(v) = 7*v + 9. Let c(r) = 22*r + 28. Let n(f) = 2*c(f) - 7*g(f). Is 20 a factor of n(-9)?
False
Let x(n) = -4*n**2 - 29*n + 28. Let v(y) = -y**2 - 7*y + 7. Let f(w) = 9*v(w) - 2*x(w). Does 6 divide f(-5)?
False
Suppose -4*f = -3*l + 61, 2*l + 3*f + 8 = 43. Suppose 3*g - 16 = -7. Suppose 2*k - 3*m - 22 = 0, -3*k + g*m = -l - 11. Does 4 divide k?
True
Let q be (3 + -5 - -3) + -5. Is 11 a factor of 110/(-2)*q/10?
True
Suppose -4*u - 10 = 2*h, 6*h - u - 30 = h. Let y = 41 - -19. Suppose -h*v = 4*b - 27, 3*v + y = 5*b + 4*v. Is 13 a factor of b?
True
Is 13 - -26 - -4*1 a multiple of 3?
False
Suppose 0*h = -4*h + 60. Does 4 divide h?
False
Let f = -114 + 217. Does 26 divide f?
False
Let m(k) = -7*k**3 - k**2 - 2*k - 2. Let x be m(-2). Suppose 0 = 2*d - 3*z - x, -3*d + 0*d = 3*z - 111. Suppose -d = g - 4*g. Is g a multiple of 11?
True
Let m(x) = x - 1. Suppose 0 = f - 1. Let z be m(f). Suppose z = 4*y + 14 - 70. Does 7 divide y?
True
Does 4 divide (40/(-14))/((-8)/28)?
False
Let z = 2 + -5. Does 22 divide 12*11*(-1)/z?
True
Let i(x) = x**2 + 4*x + 5. Let l be i(-4). Suppose l*j = -4*r + r + 10, -r + 4 = 2*j. Is (j + -1 - 0)*13 a multiple of 13?
True
Let o = 3 - 0. Suppose -a = -o*a + 2*r + 64, -3*a = -2*r - 91. Is a a multiple of 12?
False
Let c be (1 + 0)/(3/9). Suppose -c = 2*o - 59. Is 12 a factor of o?
False
Suppose -2*a + 0*r - r = -650, a = -r + 326. Is 36 a factor of a?
True
Let n(k) = 2*k**2 + 7*k - 7. Let p be n(-6). Let y = -13 + p. Does 5 divide y?
True
Suppose 2*o + b + 2 = 0, 10 = o + 2*o - 5*b. Suppose 2*l - 4*l = 2*h - 44, 2*h - 8 = o. Is 9 a factor of l?
True
Let o(j) be the third derivative of -j**5/60 - 7*j**4/24 + 2*j**3/3 + 2*j**2. Let q be o(-7). Suppose -q*m = -2*m - 10. Is 4 a factor of m?
False
Let q(l) = l**3 - 7*l**2 + 4*l - 1. Let b be q(6). Suppose -5*v = 5, 4*v = -2*m + v + 7. Let s = m - b. Does 18 divide s?
True
Let q = 87 - 59. Suppose q = 7*n - 3*n. Does 7 divide n?
True
Suppose 5*d + 3*q - 5 = 0, -2*d - 2*q = -7*q - 33. Suppose -5*y - d + 14 = 0. Does 2 divide y?
True
Let u(d) = -6*d**2 + 3*d + 2. Let z be u(-2). Let r = -12 - z. Suppose 0*s + 5*y + r = -s, 2*s - 4*y = 38. Does 8 divide s?
False
Let v(p) = 6*p + 4 + 6*p - 8. Is 16 a factor of v(3)?
True
Suppose -51 = 4*j + 1. Is (-74)/(-26) - 2/j a multiple of 3?
True
Does 20 divide (4/8 + 0)*104?
False
Let h = -216 + -366. Is 1/2 + h/(-12) a multiple of 21?
False
Let x(z) = 7*z + 3. Let c(m) = -7*m - 3. Let a(v) = -3*c(v) - 4*x(v). Does 9 divide a(-2)?
False
Suppose 4*l - 2*x = -82, 0*l + 25 = -l - 4*x. Does 9 divide (-750)/l + (-4)/(-14)?
True
Suppose -v + 1 = -2. Suppose 0 = w + v*w - 40. Does 9 divide w?
False
Let i(q) = 3*q - 17. Is 9 a factor of i(15)?
False
Let o(f) be the second derivative of f**3/3 + 5*f**2/2 + 3*f. Is 10 a factor of o(5)?
False
Suppose -3*l + 0 - 2 = 4*o, l + 7 = 5*o. Let h = l - -21. Does 12 divide h?
False
Suppose 205 = -7*f + 12*f. Does 6 divide f?
False
Let t = 10 - 7. Suppose 4*f - 8*f = t*g - 47, -g + 25 = -f. Does 7 divide g?
True
Suppose 0 = -3*t + 5*t - 240. Is t a multiple of 10?
True
Suppose 0*x + 192 = x. Suppose -y + 5*y = x. Suppose 3*u = 6*