et z = 468 - 271. Suppose 5*q + 2*f = 2*q + z, -2*f = -8. Suppose 2*d - 2 - 40 = 4*t, 4*t - q = -5*d. Is 15 a factor of d?
True
Let g = -5 + 5. Let p = g - -5. Suppose -20 = -p*b - 0*b. Is b a multiple of 3?
False
Suppose -3*j + 495 = 2*j. Suppose 131 + j = 5*f. Suppose -3*u - 19 = -f. Is u a multiple of 9?
True
Let l(r) = -r + 11. Let t be l(7). Suppose 3 = -t*g + 19. Is g a multiple of 3?
False
Let z be -1 - (-8 - 2 - 2). Let l = -6 + z. Suppose 5*w = 4*p + 58, -4*w + l*p = 4*p - 42. Is w a multiple of 9?
False
Let k(u) = 4*u**2 + 2*u + 8. Let h be k(6). Suppose 4*t = 4*y - h, -3*t + 5*t - 170 = -5*y. Is y a multiple of 12?
True
Suppose 3*l = -2*j + 339, -j - j = -3*l - 345. Let c = j - 93. Does 26 divide c?
True
Let g(j) = 89*j - 3. Let q be g(15). Is 4/(-26) + q/39 a multiple of 17?
True
Let w be -2*(-3)/2 + -3. Suppose w = -0*a + 5*a - 590. Let u = -64 + a. Is 17 a factor of u?
False
Let b = -96 - -118. Does 2 divide b?
True
Let l(k) = -5*k - 9. Is l(-6) a multiple of 10?
False
Let r(z) = -z**2 - 2*z + 4. Let x be r(-4). Is -6*(-1)/(x/(-26)) a multiple of 15?
False
Let f(n) be the second derivative of n**5/10 + n**4/4 - n**3/2 + 3*n**2/2 + n. Let c be f(2). Let l = c + 3. Is 11 a factor of l?
False
Is (-52)/(0 + -1) - 2 a multiple of 11?
False
Let q = -2 - -6. Suppose -q*t = 27 - 179. Is 19 a factor of t?
True
Let x(r) = 2*r - 8. Does 2 divide x(5)?
True
Let t = -40 - -60. Is (216/t)/(1/5) a multiple of 11?
False
Let x(t) = 8*t. Let u be x(-1). Let h = u + 52. Is h a multiple of 22?
True
Let d(w) = -27*w - 39. Does 3 divide d(-3)?
True
Suppose -a - 3*r = -74, a + 3*r = -3*a + 305. Does 7 divide a?
True
Suppose 0 = 4*j - k - 23, -2*j + 2*k = -10 - 0. Suppose -100 = -j*v + v. Does 10 divide v?
True
Suppose -24 = 3*d - 9, -65 = -5*k + 2*d. Let l = k + -7. Suppose -l*c - c + 85 = 0. Is c a multiple of 13?
False
Is 48/(-14)*8/4*-21 a multiple of 8?
True
Let t be 2/1 + 5 - 0. Let q(c) = c**2 - 6*c + 3. Is 5 a factor of q(t)?
True
Let v = -18 - -10. Let d(m) = -m - 4. Is d(v) a multiple of 4?
True
Let g(a) = a + 26. Let n(x) = -6*x - 131. Let j(p) = 11*g(p) + 2*n(p). Let l be j(0). Suppose 0 = -v - f + l, -4*v = 5*f - 78 - 23. Does 9 divide v?
False
Suppose -c = 2*c - 9. Suppose 4*l + 5*w - 32 = 0, 5*l + c*w + 8 = 35. Suppose 72 = 6*j - l*j. Does 12 divide j?
True
Let u(v) = -v**3 - 5*v**2 + 8*v + 4. Let z be u(-6). Let b = z + 52. Does 29 divide b?
False
Suppose 23*p - 21*p - 140 = 0. Is 6 a factor of p?
False
Suppose -4*k = v - 25, 6*k - 4*v + 5 = 3*k. Suppose -k*o = -6*o + 12. Is o a multiple of 4?
True
Suppose 0 = 2*u + 7*t - 3*t - 184, -3*u + 268 = 2*t. Is u a multiple of 11?
True
Let q(r) = -r**2 - 7*r + 3. Let d be q(-5). Suppose 4*a - 93 = -d. Is a a multiple of 18?
False
Let c(w) = -w**3 - 2*w**2 - 1. Is c(-5) a multiple of 17?
False
Let z = -2 + 6. Let o(c) = z + 5*c**2 + 0*c**2 - 4*c**2 - c**3 + 2*c - 3*c**2. Does 10 divide o(-4)?
False
Suppose 14 = 4*l - 5*t + 3*t, 2*l + t - 17 = 0. Is 6 a factor of l?
True
Let i = -3 - -7. Suppose 0 = -5*f + i + 11. Let p = 14 - f. Is 5 a factor of p?
False
Suppose -4*y - 45 = y. Let w be (-69)/(-9) - 3/y. Is 9 a factor of (-465)/(-27) - w/36?
False
Let f(a) be the third derivative of a**5/60 + a**4/8 - a**3/3 - 2*a**2. Is f(-6) a multiple of 16?
True
Let n be 3*(-6)/(-9)*29. Let a = n + -32. Is a a multiple of 26?
True
Suppose -j - 3 = -2*p, 4*p - 11 = j - 4*j. Suppose 3*a + 5*x - 65 = 0, -p*a - 5*x + 19 + 21 = 0. Does 17 divide a?
False
Suppose 0 = t - 5*t + 304. Suppose 8*g - 4*g = t. Is 17 a factor of g?
False
Let p be 3*(9 - (-1 - -1)). Suppose 1 - p = -x. Is x a multiple of 13?
True
Let o(v) = 3*v**3 + v**2 - 2*v + 1. Does 6 divide o(2)?
False
Let w = -13 - -18. Suppose -2*u - 2*y + 380 = 0, 4*u = 3*y - 0*y + 725. Suppose 0*a - w*a = -u. Does 15 divide a?
False
Let d = 8 - 6. Suppose d*m - 6*f + 3*f - 1 = 0, -5*f - 3 = -3*m. Is 19 a factor of m + 7 + (-38)/(-2)?
False
Let a = 193 - -2. Suppose 4*r = 0, -3*r = -5*f + 2*r + a. Does 13 divide f?
True
Suppose -2 = -2*a + 2. Let c(f) = f**2 + 4*f - 11. Let i be c(-11). Suppose -a*o = o - i. Is o a multiple of 11?
True
Let p = -341 + 556. Is p a multiple of 43?
True
Let j(o) = 2*o + 5. Is 15 a factor of j(6)?
False
Let c(d) be the first derivative of d**4/4 + d**2/2 + 8*d + 5. Is c(0) a multiple of 4?
True
Suppose 108 = n + n. Is n a multiple of 8?
False
Suppose -3*b - 6*w + 2*w + 34 = 0, -3*w + 12 = 0. Suppose -j + 8 = -i, j - b*j = -i - 24. Suppose 2*c - 32 = 2*n - j*n, -5*n = -4*c + 100. Does 10 divide c?
True
Is 32 a factor of ((-5560)/(-15))/4*(-6)/(-4)?
False
Suppose -4*d + 0*x = -5*x - 195, -3*x = 2*d - 103. Suppose 5*p = -0*p + d. Is p a multiple of 4?
False
Suppose -o - 9 - 7 = 0. Is (-27)/(-12)*o/(-3) a multiple of 12?
True
Is 3 a factor of 43*(-3)/(-9) + (-12)/9?
False
Let z(w) = -w**3 + 3*w**2 + 13*w + 4. Does 19 divide z(5)?
True
Let d = -132 + 238. Does 22 divide d?
False
Suppose b + 8 = 3*b. Let m(k) = -k**2 + 9*k + 4. Let x(l) = -l**2 + 9*l + 3. Let p(h) = -2*m(h) + 3*x(h). Is p(b) a multiple of 11?
False
Let n be (-5)/10 + 86/(-4). Is 11 a factor of (n/4)/((-2)/4)?
True
Let t = -9 - -15. Let i(c) = -c**3 - 4*c**2 - 3*c + 1. Let u be i(-3). Is 4 a factor of t/(-9)*(-13 + u)?
True
Suppose 2*a - 5*a = 0. Suppose a = -b + 1 + 3. Is b a multiple of 4?
True
Let i be (-7)/(-2)*(-4 + -2). Is 7 a factor of (-195)/i - 2/7?
False
Suppose 0 = -22*w + 27*w - 375. Is 15 a factor of w?
True
Suppose -3*o - 2*v + 2 = -0, -2*o - 2*v - 2 = 0. Suppose o*a - 14 = -3*w - 2, 5*w = -5*a + 25. Suppose w = -0*z + 4*z. Is 2 a factor of z?
True
Let c(p) = -p**2 + 12*p - 3. Is 7 a factor of c(7)?
False
Suppose a + 0*a + 19 = 3*q, 20 = 4*q + 4*a. Let t(v) = -v**2 + 8*v. Does 12 divide t(q)?
True
Let q(p) = 2*p**2 - 4*p - 3. Let l = 17 - 7. Let n be ((-18)/15)/((-3)/l). Is 13 a factor of q(n)?
True
Let y(f) = 68*f**2. Let s be y(-1). Suppose 2*j = -s + 190. Suppose 5*d = -j + 181. Does 12 divide d?
True
Let k(o) be the second derivative of 0 + 2*o - 1/3*o**3 - 1/2*o**2. Is k(-6) a multiple of 8?
False
Let n = 9 - 13. Let u = 10 + n. Suppose -l - 233 = -u*l - 2*z, l - z = 48. Is l a multiple of 13?
False
Let u = -83 - -121. Is 3 a factor of u?
False
Suppose 0*p - 288 = 4*p. Let r = p - -111. Is r a multiple of 13?
True
Let q = 290 - 74. Is q a multiple of 54?
True
Let g be (-27)/4 + (-2)/8. Let z(r) = -r + 8. Is z(g) a multiple of 5?
True
Suppose 5*c - 4*j = -0*j + 150, 4*j - 58 = -3*c. Let q be ((-14)/(-21))/(2/6). Suppose 32 = q*z - c. Is z a multiple of 19?
False
Let u be (6 + -1)*24/(-10). Let q = 27 + u. Does 7 divide q?
False
Let b(m) = -9*m - 1. Let k(h) = -3*h + 8. Let q be k(4). Does 25 divide b(q)?
False
Let j be (-2 + 26)*4/8. Suppose -j = -r + 34. Is r a multiple of 13?
False
Suppose -6*k - 45 = -11*k. Suppose k + 22 = g. Is 12 a factor of g?
False
Let x(d) = -d**2 + 21*d - 8. Is 13 a factor of x(11)?
False
Let s(v) = -14*v - 5. Let q(t) = t + 1. Let x = 1 - 5. Let g(l) = x*q(l) - s(l). Is g(1) a multiple of 11?
True
Suppose -9 = -6*u + 3*u. Does 2 divide u?
False
Let x(n) = -n + 7. Let l be x(4). Suppose -l*h - 2*h - 5*v - 70 = 0, 2*h + 3 = 3*v. Does 16 divide (48/h)/((-1)/6)?
True
Let f be 1/(2/2)*1. Let l(c) = 4*c**2 + c. Is 5 a factor of l(f)?
True
Let r(t) = 41*t**2 + 1. Does 14 divide r(-1)?
True
Let z = 12 - 4. Suppose -j - 3*j + z = 0. Is (-13*j)/(2*-1) a multiple of 13?
True
Suppose 124*b - 121*b = 465. Is b a multiple of 6?
False
Suppose 3*i + 3*s = 6, 3*i = -2*i + 5*s - 10. Suppose -4*j + 2*p + 80 = 24, -3*p = i. Is 9 a factor of j?
False
Let r(h) = -h**2 - 10*h + 14. Does 11 divide r(-6)?
False
Is 3 a factor of ((-34)/(-4 - -2))/1?
False
Suppose -5*n + 11 + 4 = 5*l, 0 = -5*n - 25. Let w(x) = -2 - l + 2 + 2*x. Does 4 divide w(7)?
False
Suppose -9*h - 5*s = -4*h - 1350, 770 = 3*h - 5*s. Does 19 divide h?
False
Suppose 0 = -2*s - 4*u - 18, 3*s + 6 = -s - 2*u. Is 19 a factor of (-220)/(-4) + 2*s?
True
Suppose 0 = -5*v + 1 - 6. Does 16 divide 2 + (-14)/v + 0?
True
Suppose 3*z = 3*m - 2*m - 12, 0 = -4*m + 4*z + 64. Is m a multiple of 9?
True
Suppose -4*h + 52 = -4*t, 8*t - 3*h + 55 = 4*t. Let w = t + 56. Is 16 a factor of w?
False
Suppose 2 + 2 = -4*p. Let z = p - -5. Is z a multiple of 4?
True
Does 30 divide (67/(-2))/((-2)/4)?
False
Is (-1