 5*c + 18. Does 5 divide x?
False
Let a(t) = -t**3 - 13*t**2 - 6*t - 51. Does 26 divide a(-13)?
False
Let y(u) = 4*u + 16. Let q(d) = -6*d - 24. Let f(j) = -j**2 - 5*j + 1. Let c be f(-4). Let p(s) = c*q(s) + 7*y(s). Is p(-12) a multiple of 6?
False
Suppose -3*y + 984 = -4*i, 0 = y + 2*i - 370 + 52. Does 36 divide y?
True
Let g be (1/(-2))/(4/(-40)). Suppose -5*l + 175 = g*z, 4*l + z = -l + 155. Is l a multiple of 20?
False
Let w(d) = -4*d**2 - 4 + 3*d - d**2 - 5*d + d**3. Does 19 divide w(6)?
False
Let q be (-3)/5 + (-10)/(500/(-2530)). Let o(i) = 2*i**2 + 3*i - 2. Let x be o(-5). Let f = q - x. Is 5 a factor of f?
False
Let j(r) = 3*r - 13. Let l be j(5). Let t(w) = 70*w + 4. Is 9 a factor of t(l)?
True
Let h be (-2)/((-4)/950) - -4. Suppose -h - 225 = -4*r. Is (12/(-16))/((-2)/r) a multiple of 33?
True
Let d(r) = r. Let h be d(5). Is (h - 0) + -3 + 65 a multiple of 24?
False
Suppose -3832 = -27*c + 7589. Is 12 a factor of c?
False
Suppose 6 = -5*z + 4*k + 36, 0 = -3*z - 2*k - 4. Suppose 5*o - 2*f - 201 = -40, 0 = z*o - 3*f - 71. Let h = o + 1. Is h a multiple of 32?
True
Let t be (-1200)/(-9)*(-120)/(-50). Suppose 49*n - t = 47*n. Is n a multiple of 5?
True
Suppose 71*t = -14*t + 47005. Does 13 divide t?
False
Let y(s) = 12 + 8 + 2*s**2 - 19 + 6 - 6*s. Suppose 2 = r - 3. Does 27 divide y(r)?
True
Let a = 11 + 529. Is 60 a factor of a?
True
Suppose -2*b - 3*w = -1047 - 913, 0 = -3*w. Does 14 divide b?
True
Let o(s) = 3*s**2 + s + 2. Let l be o(-4). Suppose -2*c + l = -v + 2*v, -4*v + 236 = -5*c. Is v a multiple of 27?
True
Let h = -72 - -109. Suppose -h*l - 992 = -41*l. Is 15 a factor of l?
False
Let x(r) = 44*r + 1076. Is x(-7) a multiple of 24?
True
Let j = 633 - 254. Suppose -501 = -10*w + j. Is w a multiple of 11?
True
Let x(i) = -3*i**2 - 9*i - 6. Let f be x(-7). Let v = -38 - f. Is 4 a factor of v?
True
Is 43 a factor of 0 + 3 + (-26 - -238)?
True
Let h(p) = -p**2 - 20*p - 26. Let q be h(-9). Let m = q + 11. Is 14 a factor of m?
True
Suppose 18*z - 36134 = 25246. Does 55 divide z?
True
Suppose 5*o = 2*o + 9. Suppose 4*n - 1005 = o*m - 4*m, 3*n = -2*m + 750. Is 18 a factor of n?
True
Let g(m) = 11*m**2 - 4*m + 5. Does 4 divide g(3)?
True
Let v = 27 + -41. Let n = v + 16. Suppose -4*g = t - 61, 2*g = t - n*g - 53. Does 19 divide t?
True
Let i be (-3)/(-3)*(-89)/(-1). Let p = i + 4. Is p a multiple of 15?
False
Let u = -67 + 85. Suppose -2*d = u*d - 1760. Is 4 a factor of d?
True
Let r(v) = 2*v - 12. Let s be r(-5). Let a = s + 53. Suppose -3*c - a = -4*c - 5*g, 4*g - 44 = -2*c. Is 4 a factor of c?
True
Let m(d) = -38*d + 32. Let h be m(-5). Let z = h - 139. Is 25 a factor of z?
False
Let z = 15 - 36. Let n = 47 + z. Is 21 a factor of n?
False
Suppose -3*r + 34 + 2 = 0. Suppose r*l = 5*l + 910. Does 10 divide l?
True
Is 3 a factor of (33 - 27)/(124/(-68) + 2)?
False
Suppose -2*q = -3*c + 71, -4*q + 88 = 7*c - 3*c. Suppose -90 = -c*d + 18*d. Is 4 a factor of d?
False
Let p(s) = 2*s**2 - 8*s - 6. Let f(g) = g - 4. Let q be f(10). Is 6 a factor of p(q)?
True
Let r(d) be the first derivative of -d**7/840 - d**6/30 + d**5/10 - d**4/24 - 2*d**3/3 + 3. Let g(p) be the third derivative of r(p). Is 12 a factor of g(-13)?
True
Let v = -22 - -57. Suppose 7*z - 217 = v. Is z a multiple of 4?
True
Suppose -12 = 2*y - 3*y. Suppose 0 = y*t - 9*t - 12. Suppose t*z = -w + 116, 2*w = 2*z + z - 87. Is z a multiple of 15?
False
Let f = 75 + -68. Suppose r - 42 = -f. Does 5 divide r?
True
Let u(y) be the second derivative of -5*y**3/2 + 2*y. Does 3 divide u(-1)?
True
Let u(g) = g**3 + 11*g**2 + 4. Let n be u(-9). Let p = 274 - n. Is p a multiple of 14?
False
Does 3 divide (7 + -25)*(-2 + (-21)/6)?
True
Let a(f) = -f**2 - 12*f - 7. Let v be a(-11). Suppose v*z = -z + 200. Is z a multiple of 10?
True
Is (-1)/6 + ((-263204)/24)/(-29) a multiple of 13?
False
Let a(q) = q**3 + 19*q**2 + 17*q - 22. Let z be a(-18). Does 9 divide 3 + (-3 - z) + 15?
False
Let h(d) = 61*d + 67. Is 38 a factor of h(7)?
True
Does 39 divide 7 - 0 - ((-14686)/7 - 1)?
True
Let v be (0 + -4)/(40/15 + -4). Does 20 divide 3/(v/1)*35?
False
Suppose -4*h - 59 = -3*h. Let l = 416 - 286. Let n = l + h. Does 21 divide n?
False
Suppose 0 = -b + 2 + 2. Suppose -2*k + 436 = 3*r - 501, 4 = -4*r. Does 11 divide (6/b)/(15/k)?
False
Let p(t) = -t**2 + 20*t - 64. Let w be p(15). Suppose -57 + 343 = w*q. Is q a multiple of 2?
True
Let g be (-1 + 4)*4/6. Suppose -w + g*m + 1 = 0, 0 = -7*w + 3*w - 2*m - 36. Is (20/6)/(w/(-63)) a multiple of 8?
False
Suppose -4*o = -2*i - 4416, 1090 = 5*o - 4*o - 4*i. Is o a multiple of 14?
True
Is (-2)/17 - ((-77168)/119)/4 a multiple of 16?
False
Let t(m) = -m**3 + 11*m**2 - 9*m - 8. Let x be t(9). Suppose 4*z = 3 + x. Is 19 a factor of z?
True
Let r = 633 + -330. Does 14 divide r?
False
Suppose -17 = -z + 4*w, -4*z + 4*w + 12 = 2*w. Is 18 a factor of 0 + (1 - -46 - z)?
False
Let z = -157 - -227. Suppose z = x - 2*r, 2*x - 2*r = -5*r + 105. Is 11 a factor of x?
False
Let c = -17 + 50. Suppose -2*n + n = -c. Is 17 a factor of n?
False
Let b = 419 - 327. Does 4 divide b?
True
Let r be ((-4)/(-6))/(2/6)*-2. Does 11 divide (-128)/(-6) + r*2/(-12)?
True
Let y = -5 + 4. Let b be -13*y*(-2 - -4). Suppose -5*m - b = -0*c - c, 188 = 4*c + m. Is c a multiple of 23?
True
Suppose -4 = 2*r + 2. Let h be -25*r/((-9)/(-21)). Suppose -3*c + 2*o = -h, 9*c = 4*c - 4*o + 255. Is 18 a factor of c?
False
Let a(x) = 3*x**2 - 3*x + 6. Let p(g) = 2*g**3 - g**2 - 2*g - 2. Let f be p(2). Is 17 a factor of a(f)?
False
Suppose -2*q - 5*s + 376 = 0, 0 = -2*q + 4*s + 329 + 47. Is q a multiple of 9?
False
Let p be ((-208)/6)/(4/12). Let j = -59 - p. Does 10 divide j?
False
Let m(a) = -1. Let z(p) = -5*p + 11. Let t(n) = -44*m(n) - 4*z(n). Is 9 a factor of t(4)?
False
Let u be -1*3/(-18) - (-411)/18. Suppose u + 57 = 4*j. Is j a multiple of 3?
False
Suppose 0*p + 73 = -3*h + p, h + 4*p = -46. Let y = -16 - h. Suppose -q = o + o + 6, 0 = -2*o - y. Is 4 a factor of q?
True
Let m be (18/72)/((-3)/4)*12. Does 9 divide 262/5 + m/10?
False
Let r = 263 - -26. Suppose -6*z + r = -359. Is 36 a factor of z?
True
Let c(t) be the second derivative of t**5/20 - 7*t**4/6 - 3*t**3/2 + t**2 - 6*t. Is c(15) a multiple of 35?
False
Let d be -9 + 3/(0 + 3). Let b be -1*(-4)/d*0. Suppose -9 = 3*r, b*z - 2*r = 5*z - 429. Is z a multiple of 29?
True
Suppose -h = 47 - 205. Let q = h - 81. Is q a multiple of 10?
False
Suppose b + 4 = 3. Let p be (b/(-2))/((-2)/(-72)). Suppose q + 0 = p. Does 6 divide q?
True
Let z(k) = -10*k**2 - k - 4. Let p be 4/(-14) - (-270)/63. Let r be z(p). Let u = -95 - r. Is u a multiple of 18?
False
Let v(a) = 6*a**2 - 54*a + 36. Is 3 a factor of v(12)?
True
Let p be -3 + (4 - (3 - 5)). Suppose p*s - 56 - 28 = 0. Is (s/(-10))/((-4)/20) a multiple of 7?
True
Suppose -2 = -p, -w + 5*p - 1214 = -3*w. Is w a multiple of 82?
False
Let y(v) = v**3 - 9*v**2 + 4*v - 4. Let j be y(6). Let f be (222/(-8))/(18/(-96)). Let b = f + j. Is 20 a factor of b?
True
Does 8 divide -1 - -184 - 7 - -8?
True
Let j = -9 - -19. Let m = -207 + 207. Suppose j = 2*f, m*f + 2*f = 4*z - 110. Is z a multiple of 15?
True
Let i(g) = -15*g - 4. Let q be i(-2). Suppose 0 = -5*t + 94 + q. Suppose 3*k - t = 36. Is k a multiple of 13?
False
Let m = 1935 + -1111. Is 21 a factor of m?
False
Suppose -1149 = 14*u - 10613. Does 52 divide u?
True
Let f(v) = -v**3 - 5*v**2 + 5*v + 2. Let z be f(-7). Suppose 2*c - 55 - z = -3*l, 0 = -4*l. Is c a multiple of 12?
True
Let k be 15/(30/(-14) - -2). Let s = -65 - k. Does 8 divide s?
True
Let i(t) = -t**3 - 51*t**2 + 79*t - 48. Is i(-54) a multiple of 14?
False
Suppose 0 = -5*j + 2*s + 3489, j - 272 = 4*s + 433. Does 9 divide j?
False
Let i(k) = 4 + 3*k**3 - k + 2*k**2 - k + 0. Suppose 4*q + 5*s = -7, q + 3*s = -3*q - 1. Does 10 divide i(q)?
False
Suppose -19*b - 1990 + 16240 = 0. Does 6 divide b?
True
Let y = 11 + -15. Let u be (1/(-2))/(20/(-24))*-5. Is 2*(-12)/y - u a multiple of 3?
True
Let u = -161 + 53. Let q = u - -164. Is 28 a factor of q?
True
Suppose -8*u = -4*u. Suppose 2*p - 17 - 1 = u. Is 6 a factor of p?
False
Does 19 divide 100/80 - (-4555)/4?
True
Suppose 6*y + 35 = 4*y + o, -4*y + 3*o = 75. Let i = y - -8. Let m(w) = -w**3 - 6*w**2 + 4*w - 10. Is m(i) a multiple of 9?
False
Let r(y