(-20)/(-4)). Let v = u + 30. Is 10 a factor of v?
False
Let i(n) = n**2 - 8*n - 8. Let r be i(9). Is (0 - r)*61/(-1) a multiple of 17?
False
Suppose -4 = 5*y - 3154. Suppose y = m + 4*m. Suppose -r - 2*r + m = 0. Is 21 a factor of r?
True
Suppose -2*q = 0, -4*o + 156 = -10*q + 5*q. Suppose -k - k - 3*r - o = 0, -4*k - r - 83 = 0. Let d = k + 35. Does 5 divide d?
False
Suppose 0 = b + 4*b + o + 1, 4*b - 4 = 4*o. Suppose -3*a - 3 = -5*s + 13, a - 2*s + 7 = b. Suppose 0 = 2*m + m + 9, a*p + m - 75 = 0. Does 13 divide p?
True
Let p be (3/(-4))/(2/(-72)). Suppose -45 = 2*j - 3*j. Let l = j - p. Is 7 a factor of l?
False
Suppose -5*z - 3*p + 426 = -5*p, -99 = -z + 5*p. Is z a multiple of 21?
True
Let s(p) = -224*p**2 - p - 2. Let j be s(-2). Let m be (3/(-2))/(21/j). Suppose -3*h - 16 = -m. Is 16 a factor of h?
True
Let l(c) = c**2 + 4*c + 7. Is 4 a factor of l(-5)?
True
Suppose 0 = -2*t + j + 6 + 18, -5*t + 59 = -3*j. Let r(y) = -2*y + 1. Let x be r(8). Let c = t - x. Does 14 divide c?
True
Let q = 60 + -42. Let v = -8 + q. Is v a multiple of 5?
True
Suppose 0 = 3*f - 243 - 537. Suppose -3*k + 4*o = 92 - f, -5*o + 245 = 5*k. Does 18 divide k?
False
Let i(h) = 49*h + 1. Let l be i(-1). Let g = l - -71. Does 23 divide g?
True
Let g = -31 - -20. Suppose 2*w - 252 = 6*w. Let j = g - w. Does 16 divide j?
False
Suppose -3*r = 4*w - 334, -2*w - r = 2*w - 338. Let o = -58 + w. Is o a multiple of 14?
False
Suppose 0 = y - 5*y + 68. Let c(q) = -10*q**2 - 9*q. Let s(n) = 30*n**2 + 26*n. Let o(d) = y*c(d) + 6*s(d). Does 17 divide o(-2)?
True
Let v = -5 + 10. Suppose 0 = -v*n + 5*g - 2*g + 231, 4*g - 156 = -3*n. Is 8 a factor of n?
True
Is (-7)/((-21)/(-10))*-9 a multiple of 5?
True
Does 12 divide (-81)/6*8/(-3)?
True
Let l(a) = 3*a**3 - 4*a**2 - 6*a + 7. Is 27 a factor of l(4)?
False
Suppose -5*c + g - 18 = -3*c, -4*g + 12 = -2*c. Let y(r) = -r**2 - 10*r + 5. Let z be y(c). Let t(x) = 10*x + 2. Is 26 a factor of t(z)?
True
Let j(l) be the first derivative of 4*l**3/3 - 5*l**2/2 - 2*l + 4. Is 14 a factor of j(4)?
True
Let o be ((-2)/3)/((-4)/42). Suppose -48 = -n - 2*n. Does 7 divide (o/4)/(2/n)?
True
Let w be (3/(-1))/(9/(-12)). Suppose 0 = -w*v - l + 47, 3*v - 2*l = 2*l + 59. Is 11 a factor of v?
False
Suppose 0 = -6*s + s - 35. Let z(j) = -14*j - 3. Let b be z(s). Suppose -6*v + b = -v. Does 8 divide v?
False
Let f be 1/2*(-4 + 6). Let r(p) be the first derivative of p**3 + p**2 - p - 1. Is 2 a factor of r(f)?
True
Is 3 a factor of (2/6)/((-3)/(-99))?
False
Suppose 3*v + 2*v = 15, a - 2*v = 0. Let t be 33/a + 2/(-4). Suppose 4*z = t*u + 168, 4*u - 60 = 4*z - 228. Is z a multiple of 17?
False
Let g(o) = -8*o. Suppose -19 - 5 = 4*p + 3*a, -14 = 2*p + 2*a. Is 8 a factor of g(p)?
True
Let b be 2/7 - 24/(-14). Suppose b*j + 5*t = 5*j - 104, 0 = 4*t - 20. Does 23 divide j?
False
Let t(v) = -5*v + 2. Suppose 0*a = -a + 6. Let y = 4 - a. Is t(y) a multiple of 12?
True
Suppose t - 49 = 59. Let q = -55 + t. Is 12 a factor of q?
False
Suppose y - 26 = -5*m + 3*m, -5*y = -2*m - 94. Is 9 a factor of y?
False
Let b(q) = q**3 + q**2 - q + 88. Let p be b(0). Suppose -64 = -2*c + p. Does 19 divide c?
True
Let f(t) = t**2 + 7*t - 2. Let h be (8/10)/(-1)*10. Is f(h) a multiple of 4?
False
Is ((-2)/(-3))/(1/24) a multiple of 6?
False
Let b = -32 - -62. Is 6 a factor of b?
True
Does 3 divide (-5)/(5/(-4)) + 2?
True
Suppose 0 = 2*k - 58 + 16. Let s = k + 11. Does 16 divide s?
True
Suppose -4*z + 20 = -4*l, 3*z + 4*l + 20 = -0*z. Suppose z = -u - 0*u - 54. Let d = -33 - u. Is d a multiple of 15?
False
Let n be 154/55 + (-2)/(-10). Suppose 0 = x - n*i - 16, -2*x - 4*i - 8 + 40 = 0. Is x a multiple of 16?
True
Suppose -4*d + 13 = 1. Let x = 1 + d. Is 4 a factor of x?
True
Let b(u) = 3*u**2 + u. Let z be b(-1). Suppose -z*k = -0*k + 6. Let y(x) = x**2 - x - 1. Is 9 a factor of y(k)?
False
Suppose 4*b = 2*d + 3*d + 316, 5*b + 2*d = 428. Does 14 divide b?
True
Let o = 38 + -10. Is 7 a factor of o?
True
Suppose -5*o + 274 + 236 = 0. Is 15 a factor of o?
False
Suppose 0 = d - 4*d + 18. Is (12/8)/(d/56) a multiple of 14?
True
Let r = -1 + 7. Is 20/r*21/2 a multiple of 13?
False
Let s(i) = 20*i**2 + i - 1. Let z = -8 - -13. Let f = -4 + z. Is s(f) a multiple of 10?
True
Let g(c) be the second derivative of c**4/2 + c**3/2 - c**2 + 5*c. Is 19 a factor of g(2)?
False
Suppose 4*t = -5*a + 136, -2*a + 4*t = 3*t - 57. Is 14 a factor of a?
True
Let b = -289 + 409. Is 31 a factor of b?
False
Let b be 2/3 + 968/6. Let i = b + -116. Is 23 a factor of i?
True
Let g(y) = 3*y**2 + 5*y - 4. Is 33 a factor of g(-7)?
False
Suppose -4*u + 419 = 2*k - 131, -5*u = 5*k - 1370. Is k a multiple of 13?
True
Let l be 1 + 2*17/(-2). Let f = -5 - l. Is f a multiple of 7?
False
Let c be -3*(24/(-4) - 3). Let l = c - 11. Is l a multiple of 8?
True
Let m be (-7)/42 + (-31)/(-6). Suppose -4*v + m = -91. Is v a multiple of 9?
False
Is 4 a factor of ((-270)/(-12))/((-1)/(-2))?
False
Suppose 0*y + 17 = 3*s + 5*y, -3*y - 1 = -s. Suppose 0 = f - s*f + 6. Suppose -f*c = 4*h - 10, 0 = -c + h + 5 + 12. Is 13 a factor of c?
True
Suppose -2*g + 5*a = -0*a - 28, 0 = -4*g + 2*a + 88. Suppose g = 5*v - v. Let t = -2 + v. Is t a multiple of 2?
True
Let v = 108 + -44. Is 8 a factor of v?
True
Let v be (-3)/(-9) - 20/6. Let a be 2/3*v + 2. Let w = a + 5. Is w even?
False
Let t be -6 - -1 - (-1 - 3*-1). Let k(z) be the second derivative of -2*z**3/3 - z**2/2 - z. Is 11 a factor of k(t)?
False
Let k(r) = -r + 13. Let x be k(13). Is (x + (-2)/(-5))*40 a multiple of 8?
True
Suppose 0 = -5*v + 2*s + 27, 4*v + 3*s - 17 = -0*v. Suppose 0 = -4*p - 2*c + 128, -v*c = 2*p - 63 - 9. Is 8 a factor of p?
False
Suppose -21 = -4*z + 11. Is (8/z)/(2/62) a multiple of 9?
False
Is 92/4 + 2 - -3 a multiple of 14?
True
Let m(y) be the second derivative of y**4/12 - y**3/3 - 3*y**2/2 + 2*y. Let r be m(3). Suppose r = -2*a + 26 + 30. Is 11 a factor of a?
False
Suppose 5 = 4*j - 3*n, -5*j + 10*j - 4*n = 5. Does 5 divide j?
True
Let u(m) = 5*m**2 + 12*m - 31. Is 21 a factor of u(5)?
False
Let m = 4 - -3. Let x = m + -5. Does 2 divide 5/x*(-4)/(-5)?
True
Let q = -7 + 30. Is q a multiple of 12?
False
Suppose 4*r - 44 = -4*c - 0, 68 = 3*c - 4*r. Is 4 a factor of c?
True
Suppose -v - 5*g - 16 = 0, 4*v = -0*g - 4*g + 16. Suppose -2*y - 3 - v = 0. Does 5 divide (y/12)/((-1)/26)?
False
Suppose -8*c + 34 = 3*k - 3*c, 4*k + 2*c = 22. Suppose -6 = -l - z - 2, 0 = 3*z - k. Suppose -l*u + 28 = u. Does 6 divide u?
False
Let w = 14 + -27. Let o = 21 + w. Is 8 a factor of o?
True
Let x = 21 - 12. Is x a multiple of 9?
True
Let o(j) = -j + 1. Let t be o(-4). Suppose -t = -k, -5*d - 70 = -2*k + 4*k. Is d*(-3 + 4/2) a multiple of 16?
True
Suppose -10 = 2*q, 3*f + 16 = -2*q - 0*q. Let n(r) = -r**3 - r**2. Let o be n(f). Suppose -o*u = 8, 2*p + 5*u = 27 - 7. Is 15 a factor of p?
True
Let v = -17 + 310. Is 9 a factor of v?
False
Let p(u) = -17*u**2 - u - 4. Let f(l) = -l**2 + 1. Suppose 2*w + 3 = -w. Let k(b) = w*p(b) - 4*f(b). Does 11 divide k(1)?
True
Does 17 divide (-1 - (-15)/6)*70/3?
False
Suppose a + 3*y = 139, 2*y + 62 + 67 = a. Suppose 4*g - a = 107. Is 18 a factor of g?
False
Let x be 3 + (-2)/(-2 - 0). Suppose -x*a = -55 + 15. Is 10 a factor of a?
True
Let c = 17 + -15. Suppose 31 = c*r + 2*r - 5*l, 0 = r - 5*l + 11. Does 14 divide r?
True
Suppose -5 = -5*d, -5*x + 2*d = 6*d - 234. Is x a multiple of 10?
False
Let q be (-1 + 2)*(2 + 1). Suppose 2*o - 29 = o - q*u, 4*o + 3*u = 161. Does 17 divide o?
False
Suppose 0*s + 5*s - 20 = 0. Suppose -s*u + 39 = -13. Is 13 a factor of u?
True
Let t(p) = 2*p**2 - 4*p - 2. Suppose 21 = 3*j - 4*q - 0*q, 21 = 3*j - 2*q. Let a = 11 - j. Does 7 divide t(a)?
True
Let m = 0 - -9. Is (-66)/m*9/(-2) a multiple of 11?
True
Suppose 12*s - 517 = 7*s - l, 4*l - 404 = -4*s. Does 52 divide s?
True
Let a(u) = -9*u - 2. Does 15 divide a(-7)?
False
Let c(a) = a**3 - 5*a**2 + a - 1. Let h be c(5). Suppose -224 = -4*b + 3*g, 0 = -h*b - 0*b - 4*g + 196. Is 21 a factor of b?
False
Let m(y) = 10*y**2 + 2*y**2 + 0 - 4*y + 3 - 4*y**2. Let g be m(3). Suppose 11 = -2*b + g. Is 13 a factor of b?
True
Suppose 2*c + 4*p = 170, 2*c + 3*p = 6*p + 177. Let h = c + -35. Is 13 a factor of h?
True
Suppose 12 = -0*f + 2*f. Is 2 a factor of (-5)/(-30) + 17/f?
Fal