actor of q?
False
Suppose 0 = 5*p - 77 + 2. Does 15 divide p?
True
Suppose -2*t - t = 57. Let p = t - -35. Does 10 divide p?
False
Suppose o = 7 - 4, -2*g = 4*o - 16. Suppose -5*n + 70 = -g*x + 2, 2*x = -3*n + 28. Does 12 divide n?
True
Let i be 1/1 + (0 - 2). Let v(n) be the third derivative of -9*n**6/20 - n**5/60 + n**4/24 + n**3/6 - n**2. Does 21 divide v(i)?
False
Let d(v) = v**2 - v - 1. Let u(t) = -7*t**2 + 1. Let q(c) = 6*d(c) + u(c). Let f be q(-5). Suppose i - 8 - 35 = f. Does 14 divide i?
False
Let m(i) = -17*i + 1. Is m(-3) a multiple of 10?
False
Suppose 2*k - n - 4 = 3*k, 2*n - 16 = 2*k. Let m be (6/(-4))/(k/20). Suppose -5*x + 108 = -2*x - m*o, -o = 0. Is x a multiple of 16?
False
Suppose d - 3 = -0*d. Suppose a + 0 - 75 = 0. Suppose d*q + 2*q = a. Is 11 a factor of q?
False
Suppose -4*x = -2*x + 3*y - 87, 80 = 2*x - 4*y. Suppose -3*h - x = -3*n - 0*n, -2*h = n - 8. Is n a multiple of 4?
True
Suppose -4*d + 471 = 5*r, 3*r + 5*d - 228 - 65 = 0. Is r a multiple of 13?
True
Suppose -4*u + u + 378 = 0. Does 27 divide u?
False
Suppose 5*c = -2*y, 0*y = -5*y + c + 54. Suppose 3*n = -14 - y. Let r(j) = j**2 + 5*j - 1. Is r(n) a multiple of 12?
False
Is 10 a factor of ((-494)/65)/((-2)/5)?
False
Let c(k) = k**2 - 15*k - 11. Let l be c(16). Let d(f) = f**2 - 1. Is 12 a factor of d(l)?
True
Let h(o) = o**2 - 6*o - 3. Let u be h(6). Let p = 5 + u. Suppose 3*d - 62 = f, -p*d + 21 = -f - 19. Is 9 a factor of d?
False
Let q = 51 + 49. Is 25 a factor of q?
True
Suppose -h = -5 + 1. Suppose h*j = -5*b - 116, j + 8 = -j. Does 6 divide (-5)/b - 46/(-8)?
True
Let o(a) be the first derivative of 4*a**3/3 - a**2/2 + 2*a - 4. Is 8 a factor of o(2)?
True
Let t = 13 + 19. Does 16 divide t?
True
Let t(j) = -j**3 - 5*j**2 + 5*j + 3. Let g be t(-8). Suppose -g = -5*c - 45. Is c a multiple of 15?
False
Suppose -5*w - 5*a + 3 = -22, 0 = -w + 2*a - 10. Suppose -5*r = -w*r - 680. Is r/(-6)*(-9)/6 a multiple of 17?
True
Suppose -212 = -4*k - 16. Suppose 11 = 3*r - k. Does 20 divide r?
True
Let o(p) be the first derivative of 1/2*p**4 - 2/3*p**3 + 0*p**2 + 2 + 2*p. Does 16 divide o(3)?
False
Let s(t) = t - 5. Let j be s(10). Suppose 30 - 5 = -j*m, -5*v + 4*m = -215. Does 13 divide v?
True
Suppose g - 4*g = -348. Is 29 a factor of g?
True
Let o be 2/(-10) - 56/(-5). Let m = o - -1. Does 6 divide m?
True
Let k(t) = 2 + 3*t**3 + t**3 + 1 + 3*t - 5*t. Does 9 divide k(2)?
False
Suppose 3*j - 2 - 4 = 0. Suppose -k = 4*x - 52, 0 = -5*k + j*x + x + 145. Is k a multiple of 21?
False
Let u be 0 + -2 - 5*-7. Let v be (2 + -3)*(2 - 0). Let b = u - v. Is b a multiple of 24?
False
Suppose -4*d = -2*j - 0*d + 100, 4*j - d = 172. Is 21 a factor of j?
True
Suppose -3*s + 3*q = 15, 5*s - 12 + 46 = 2*q. Let i = s + 33. Is i a multiple of 6?
False
Let h = -8 + 14. Suppose 0 = 5*a - 3*a - h. Suppose -4*s + 42 = a*q, 2*q + 0*s - 28 = -3*s. Is 12 a factor of q?
False
Let l(n) = -7*n**2 + n + 6. Let c(g) be the second derivative of -g**4/3 + g**3/6 + 3*g**2/2 - 2*g. Let t(h) = 5*c(h) - 3*l(h). Is 21 a factor of t(-6)?
True
Suppose -5*j + 6 = -2*j. Suppose u - j*u - 4*t = -46, -4*u - 2*t + 128 = 0. Is u a multiple of 15?
True
Let f(z) be the second derivative of -13*z**6/720 + z**5/120 - z**4/6 + z. Let h(p) be the third derivative of f(p). Is h(-2) a multiple of 14?
False
Let i = -3 - -4. Let f be (-13)/i*(-12 + 1). Suppose -2*y - f = -5*j, 0 = 2*j - y - 14 - 44. Is 8 a factor of j?
False
Does 5 divide (-548)/(-60) + 2/(-15)?
False
Suppose -2*x = -73 - 17. Suppose 0 = -2*q + 37 + x. Is 20 a factor of q?
False
Suppose 0*j - 5*j = -210. Is 14 a factor of j?
True
Let b = -46 - -49. Is 3 a factor of b?
True
Suppose 228 = 4*q + 92. Is q a multiple of 8?
False
Let m(k) = 4*k - 1. Let f be m(1). Does 4 divide (f/(-6))/(1/(-18))?
False
Let a be (-2 - -1)/(2/6). Let k be 0*2*a/6. Is 6 a factor of (k - -12)*(-40)/(-32)?
False
Suppose -t + 50 = 2*x, t + x + 122 = 4*t. Is t a multiple of 14?
True
Let o = 3 + -5. Let x be (-3)/o + 2/4. Is 4 a factor of (-117)/(-15) - x/(-10)?
True
Let q = 20 - -11. Suppose 2*g + 3 - q = -2*d, 4*g - 3*d = 84. Is g a multiple of 4?
False
Let a(h) = -12*h + 6. Let w be a(5). Let d = w - -102. Is 12 a factor of d?
True
Suppose 10*s - 6*s = 0. Is (177 - s)/3 - 0 a multiple of 10?
False
Suppose -o + 4*o = 27. Suppose g = 5*j - 13, 2*g - j - o = 2*j. Is g a multiple of 12?
True
Suppose -c + 111 = 2*f - 0*c, 3*f - 5*c = 173. Let j be -3*(-2)/(-12)*-362. Suppose -5*w + j = f. Is w a multiple of 25?
True
Let l = 1 - 1. Let u(n) = 2*n - 2. Let c be u(3). Suppose 2*h + z + c*z - 26 = l, 3*h - z - 22 = 0. Does 8 divide h?
True
Let d = 438 - 298. Let m(k) = 2*k**2 - k + 1. Let p be m(1). Suppose 0 = -p*q - 3*q + d. Does 14 divide q?
True
Let i(n) = -n**3 + 1 - 2*n**2 + 0*n + 0 - n. Let s be i(-2). Let f = s + 3. Is f a multiple of 4?
False
Suppose -5*j + 133 = -3*z, 3*j + 3*z - 80 = 19. Suppose 83 = 4*a - j. Does 16 divide a?
False
Let k = -60 + 84. Let u = k - 12. Is u a multiple of 10?
False
Let b(m) = -4*m - 6. Let r be b(-6). Let h be 2/(-9) - (-868)/r. Let j = 68 - h. Does 10 divide j?
True
Suppose 0 = -4*q + 8*q - 504. Suppose 8*m - q = 3*m + 3*d, 5*m = 5*d + 130. Is 12 a factor of m?
True
Let s = -22 - -65. Is 6 a factor of s?
False
Suppose -10*r + 340 = -5*r. Does 29 divide r?
False
Let g(s) = s + 40. Let i be g(0). Suppose -q = q - i. Let j = -6 + q. Is j a multiple of 6?
False
Suppose 0 = -5*j + u + 44 - 10, -4 = u. Suppose 0 = 2*s - 46 - j. Is s a multiple of 9?
False
Suppose 2*c - 9*c + 49 = 0. Is 7 a factor of c?
True
Let t = 2 + -26. Let o(y) = -7*y**3 - 2*y**2 - 3*y. Let n be o(-2). Let s = n + t. Is 12 a factor of s?
False
Let r = 14 + 34. Is 12 a factor of r?
True
Let i be 0/(2 + -2 - 2). Suppose i = 4*a - 27 - 45. Does 3 divide a?
True
Suppose 5*d = -2*f - 2*f + 3, -3 = 4*d + 5*f. Let q = 6 - d. Suppose -q*i + 0*i = -9. Does 3 divide i?
True
Suppose 5*b + 4*s = 3*s + 23, 3 = -3*b + 5*s. Suppose 5 + 7 = b*n. Suppose 2*a = -i - n*i + 106, 3*a - 39 = -i. Is 12 a factor of i?
True
Let o(s) be the third derivative of -s**6/120 + 7*s**3 - 3*s**2. Does 18 divide o(0)?
False
Let f = 31 + -19. Let t be (-2)/8 + 6/(-8). Does 4 divide (20/f)/(t/(-6))?
False
Let a = 91 - -52. Does 23 divide a?
False
Let b = 113 - 21. Does 9 divide b?
False
Let v = 18 + -6. Does 6 divide v?
True
Let p(q) = 2*q**2 - 4*q + 2. Let s be p(4). Suppose -3*r + 17 = 5*v, -2*r - s = -3*v - v. Does 2 divide v?
True
Let d(h) = -h**3 + h**2. Let k be d(1). Suppose k = -4*s + 64 + 40. Is s a multiple of 9?
False
Let u be 4/6 + (-448)/(-12). Let c be u + (5 - 3) + -1. Suppose 0 = -o - 3*w + c, -o + 1 + 26 = -3*w. Is o a multiple of 19?
False
Let j(o) = o**2 + o - 1. Let g(h) = 5*h**2 - 6*h + 2. Let l(v) = -g(v) + 4*j(v). Does 15 divide l(7)?
True
Suppose 4*g - 3 + 2 = 3*f, 13 = -3*f - 2*g. Let b(j) = -2*j**2 - 4*j. Let s be b(f). Let i(x) = -x - 1. Is i(s) a multiple of 2?
False
Let a(l) = -l**3 - 6*l**2 - 10*l - 7. Is 11 a factor of a(-6)?
False
Let u = 3 - 0. Let y be 22/((-2)/18*-2). Suppose 0 = -5*a - 3*x - 36 + y, u*x = 2*a - 21. Does 12 divide a?
True
Let c be (219/(-2))/((-3)/10). Suppose -c = 9*h - 14*h. Is 19 a factor of h?
False
Let c = -18 - -18. Is 15 a factor of 30 + c*(-4)/(-8)?
True
Let n = 22 - 16. Suppose -2*d + 4*u + 8 = 0, 2*d - n = 2*u - 2. Suppose -5*m + 29 + 31 = d. Is m a multiple of 12?
True
Suppose q - 18 = 1. Is 15 a factor of q?
False
Suppose k = 4*v + 36 - 128, -5*k + 115 = 5*v. Does 14 divide v?
False
Let r(t) = 15*t - 11. Is r(6) a multiple of 17?
False
Let p(n) = n**3 - 4*n**2 + 4. Let v be p(4). Suppose 45 = v*b + b. Is 8 a factor of b?
False
Is 3/36*-3 - 2025/(-20) a multiple of 5?
False
Suppose 0 = -3*p - 3*h - 21, p - 4*h = -3 + 16. Is ((-4)/p)/((-6)/(-108)) a multiple of 12?
True
Let r(l) = 5*l**2 + 4*l + 4 + 3*l**2 - 13*l + l**3. Let c be r(-9). Suppose -5*w - c*t = -2*t - 194, 34 = w - 2*t. Is 19 a factor of w?
True
Suppose -4*g + 7*g - 12 = 0. Let s(i) = 8*i - 6. Is s(g) a multiple of 13?
True
Let l be (-1)/4 + (-2)/(-8). Let w = l - 9. Let r(k) = -2*k. Is r(w) a multiple of 7?
False
Suppose 5*c - 1057 - 133 = 0. Let f = c + -162. Is f a multiple of 19?
True
Suppose 3*g - 5*g = -2, g - 721 = -5*u. Suppose 0*p = -3*p + u. Is 3 a factor of 2/3 - p/(-9)?
True
Sup