. Let v(d) = -19*d**2 - 5*d - 3. Let c(o) = -o**2 - o - 1. Let n(y) = 4*c(y) - v(y). Is n(p) a multiple of 5?
True
Suppose 0 = 59*i - 57*i + 76. Let x = 74 + i. Is 6 a factor of x?
True
Let v = -32 + 59. Let c = -39 - -113. Let y = c - v. Is y a multiple of 13?
False
Suppose 119*q + 474 = 122*q. Does 5 divide q?
False
Let a(j) = j**3 + j + 1. Let f(u) = -4*u**3 + 8*u**2 - 13*u - 14. Let n(k) = -5*a(k) - f(k). Is 8 a factor of n(-9)?
False
Let h(f) be the second derivative of 5*f**3/3 - 4*f**2 - 9*f. Let x be h(2). Suppose x*n - 7*n = 35. Does 3 divide n?
False
Let k(f) = 65*f + 7. Let z(v) = 32*v + 3. Let x(r) = -2*k(r) + 5*z(r). Is 6 a factor of x(1)?
False
Let a(n) = 71*n + 3. Let d be a(-6). Suppose 92*g - 90 = 86*g. Is 21 a factor of 6/g + d/(-5)?
False
Let q(n) = 9 - 3*n + 3*n - n. Let f(t) = -4*t + 28. Let l(j) = -2*f(j) + 7*q(j). Is 11 a factor of l(16)?
False
Suppose -7597 + 58189 = 62*m. Is 16 a factor of m?
True
Let b(n) = n**2 - 6*n + 5. Let z be b(4). Let o be (-13)/(-39) - (-46)/z. Let k = -3 - o. Is k a multiple of 9?
False
Suppose n = -5*j + 23, 7*n - 4*n = 5*j - 11. Suppose -3*q + h = -8*q + 6, 8 = -4*q - j*h. Suppose -71 = -5*x - t - t, -q = t. Is 9 a factor of x?
False
Suppose 21 = 5*q - 4*q - 3*b, 3*q - 4*b = 43. Suppose 0 = q*r - 6*r. Is 10 a factor of 0 - -2 - r - -58?
True
Does 19 divide ((-5 + 1)/(-1))/(3/114)?
True
Suppose -66*z + 1100 = -64*z. Is z a multiple of 9?
False
Suppose -21*t + 11232 = 11*t. Is t a multiple of 15?
False
Let t(b) be the second derivative of -b**5/20 + 17*b**4/12 - 4*b**3/3 - 13*b**2 + 11*b. Is 38 a factor of t(15)?
True
Suppose 42 + 298 = 2*y. Suppose -2*t + 3*d + 80 = d, 4*t - 2*d = y. Is t a multiple of 7?
False
Let i(f) = -2*f**2 + 33*f - 13. Let p(l) = 4*l**2 - 65*l + 25. Let y(d) = 5*i(d) + 3*p(d). Does 14 divide y(16)?
True
Let c(h) = h**3 - 2*h**2 - 7*h - 4. Let m be c(6). Suppose m = 10*n - 2. Is n a multiple of 2?
True
Suppose -56*r + 64*r - 30672 = 0. Does 73 divide r?
False
Suppose 33 = -t + 3. Let j = t + 43. Does 9 divide j?
False
Is (2*1075/(-30))/(2/(-6)) a multiple of 36?
False
Let f(m) = -m**2 - 6*m + 166. Let y be f(-16). Let c(d) = -4*d + 11. Let x(j) = 2*j - 5. Let r(l) = 4*c(l) + 10*x(l). Does 14 divide r(y)?
False
Let v be (75 - -5) + 2/(-2). Let m = 47 + v. Suppose h = -5*h + m. Does 6 divide h?
False
Suppose -q - 10 = -5*o, q - 10 = 3*q. Let j be o*(-2 + -3)/(-1). Suppose -x - 2*x + 3*c + 84 = 0, -j*x + c = -120. Is x a multiple of 15?
False
Is 12 a factor of (6 - 2 - (-30)/(-12))*152?
True
Suppose -6*g + 5*z + 11 = -2*g, 0 = -2*g + 4*z + 10. Let n be (3*g)/((-4)/4). Suppose -55 = -n*o - 0*o + 2*m, -3*m = -2*o + 35. Does 8 divide o?
False
Let h(s) = 74 - 3*s - 54 - 2*s. Does 7 divide h(-10)?
True
Suppose 0 = -5*k + 2*k. Suppose 0*w + 4 = 2*w, k = 2*m + 5*w - 18. Suppose -y = m*y - 50. Is 3 a factor of y?
False
Suppose 0 = 2*w - 1 - 15. Let n = -5 + w. Is n a multiple of 3?
True
Suppose -3*a = -232 - 293. Is 7 a factor of a?
True
Let x be 2/3 - 7504/(-12). Suppose 221 = -9*p + x. Does 6 divide p?
False
Let u(j) = j**2 - 8*j + 9. Let d be 1*(6 - (-2 - -1)). Is 2 a factor of u(d)?
True
Let q = -17 - -164. Is q a multiple of 20?
False
Suppose -4*w + 3*j + 4 = -7, 0 = w + 2*j. Does 11 divide (264/(-18))/(2*w/(-36))?
True
Let n = -62 - -95. Let m be (-6)/n + 8466/(-22). Does 3 divide m/(-30) + (-2)/(-12)?
False
Let h = 136 - 233. Let n = -108 + 62. Let k = n - h. Is k a multiple of 17?
True
Suppose -l - 7 = 1. Let o = 10 + l. Suppose -4*p - 5*g + 370 = 0, 448 = 7*p - o*p - g. Is 30 a factor of p?
True
Let q = -959 - -2009. Is 30 a factor of q?
True
Let h be 0/(-1)*(-3 - -4). Suppose b + 4*b - 170 = h. Is b a multiple of 17?
True
Let p = -35 - -32. Is 6 a factor of (-4 - p)*(-69 - -3)?
True
Suppose 9*c + 36 - 396 = 0. Is c a multiple of 5?
True
Suppose 3*m = -9, -4*m + 205 = 4*d - 359. Is 30 a factor of (-1 - (-2)/(-8))/((-3)/d)?
True
Let l = 2 + 3. Let r(k) = k**3 + k**2 - 9*k + 5. Let w(f) = f**3 - 8*f + 4. Let n(c) = -4*r(c) + 5*w(c). Is 5 a factor of n(l)?
True
Suppose -7 = 4*n - 31. Suppose i + 11 = -3*b, n*b + 5 = b - 5*i. Let f = 11 - b. Is f a multiple of 16?
True
Suppose -3*i + 24 = q - 10, 15 = 5*i. Let v = q - 5. Does 20 divide v?
True
Suppose v + v - 1020 = 0. Suppose 2*b = -4*b + v. Is b a multiple of 11?
False
Let a(t) = t - 7. Let q(s) = 2*s - 7. Let x(h) = 4*a(h) - 3*q(h). Let g be x(-5). Suppose -y = g*n - 48, -n - 4 = 2*y - 20. Is n a multiple of 4?
True
Suppose -z = -31 - 7. Suppose 34*g - z*g + 292 = 0. Does 36 divide g?
False
Let d = 1676 + -688. Is d a multiple of 38?
True
Let t(f) = 52*f**2 - 2*f + 6. Let d be t(2). Let v = -19 + d. Is v a multiple of 18?
False
Suppose -4*p - a - 6 + 16 = 0, 16 = 5*p + 3*a. Suppose -2*g = 5*q - 10, 0 = -p*q + 5*q + g - 5. Suppose x = -q + 19. Is 19 a factor of x?
True
Does 10 divide 3/2*19/(627/6160)?
True
Let w = 50 - 37. Suppose -w*h - 378 = -16*h. Is h a multiple of 38?
False
Does 30 divide 445 - (-3 - (-4 + (1 - -5)))?
True
Let m(p) = -p**3 + 7*p**2 + 9*p - 4. Let x(a) = a**3 + a**2 - a - 1. Let z(w) = -m(w) - 2*x(w). Let k be z(-8). Does 8 divide (-1 - (k + 3)) + 11?
False
Suppose 0 = -35*f - 1763 + 8203. Is 29 a factor of f?
False
Suppose 2045 = 3*r - 1627. Suppose -3*w + r = 6*w. Does 17 divide w?
True
Is 18 a factor of (-15)/(-20) - (-7626)/8?
True
Let k(t) = -69*t**2 + 2*t - 1. Let l(d) = 35*d**2 - d + 1. Let s(g) = -4*k(g) - 7*l(g). Let h be s(-2). Let w = h + -68. Is w a multiple of 16?
False
Let r = -25 + 231. Does 35 divide r?
False
Does 9 divide 2*((-6)/(-36))/((-3)/(-2007))?
False
Suppose -2*t + 898 = 4*v, -5*v + t = -10*v + 1115. Let x = v + -79. Does 33 divide x?
False
Let k = -47 - -53. Does 19 divide ((-3)/k + -1)*880/(-6)?
False
Let m be 1/(10/(-25)) + 1/(-2). Is 14 a factor of (0 + 20/m)/((-12)/126)?
True
Let z(o) = o**3 - o**2 - o - 15. Let v be z(0). Let d = v - -8. Let l(m) = -2*m - 5. Does 6 divide l(d)?
False
Suppose 0 = 5*s - 3*b - 12, 3*b + 20 = -2*b. Let v be ((-21)/(-6))/(-7)*s. Suppose v*u + 34 = u. Is 12 a factor of u?
False
Let g(z) = 2*z**3 - 53*z**2 - 20*z - 54. Is g(27) a multiple of 8?
False
Let y(r) = -35*r**3 + 11*r**2 - 8*r - 3. Let j(h) = -23*h**3 + 7*h**2 - 5*h - 2. Let n(f) = -8*j(f) + 5*y(f). Does 8 divide n(1)?
False
Let d be (-8)/6 + 48/9. Suppose -d*j + 282 = 3*l, j - 2*l - 3*l - 59 = 0. Is 10 a factor of j?
False
Let p(y) = -3*y**3 + 39*y**2 + 12*y - 15. Does 33 divide p(12)?
True
Let y(r) = -11*r**3 - r**2 + r + 1. Let h be y(-1). Suppose -59*i + 504 = -68*i. Let o = h - i. Is 14 a factor of o?
False
Let t(r) = 2*r - 31. Let j be t(18). Is 21 a factor of ((-42)/j)/(-4 + 138/35)?
True
Let g(v) = -2*v - 16. Let b be g(-9). Suppose 160 = b*y + 2*y - 4*z, 5*z - 210 = -5*y. Is y a multiple of 21?
False
Suppose -3*x = 2*l + 5, -5*x + 3 + 18 = -4*l. Let f(n) = -51*n + 6. Is 21 a factor of f(l)?
True
Let h = -16 + 72. Let s be (-36)/(-8)*(2 + h). Suppose -q - 18 + 117 = -5*y, 3*q + 3*y = s. Does 26 divide q?
False
Let u(o) = o**2 - 7. Let q be u(-6). Let i = 5 + q. Suppose -c - 4*x = -i, 5*c - 167 + 18 = x. Does 15 divide c?
True
Let b = -20 + 21. Let v be 39/b - (-8)/(-2). Suppose 2*z + v - 150 = -k, 4*z = 3*k - 305. Is k a multiple of 34?
False
Let l(y) be the third derivative of y**5/60 - y**4/24 + y**3/6 + 16*y**2. Is 7 a factor of l(5)?
True
Let y(z) = -8*z**3 - 7*z**2 + 9*z - 12. Let m(g) = g**2 - g + 1. Let c(o) = 18*m(o) + 2*y(o). Is c(-2) a multiple of 46?
True
Let f(b) = 19*b**2 + 7*b + 6. Let k be f(-4). Suppose 0 = -s + 2, 4*c - k = 5*s - 10*s. Does 17 divide c?
True
Let j(h) = 12*h - 61 + 61. Let p be j(2). Suppose -66 = -3*w + p. Is w a multiple of 10?
True
Suppose 5*o = 1314 + 9466. Is o a multiple of 82?
False
Suppose 2*t + 3*t = 490. Suppose 869*a - 854*a = 45. Suppose d + t = a*d. Is 30 a factor of d?
False
Let o = 195 + -33. Is 62 a factor of o?
False
Is (3 - (80/5)/8)*173 a multiple of 2?
False
Let t(k) be the first derivative of k**3/3 + k**2/2 + 5*k - 5. Let x be t(0). Suppose 19 = x*h - 131. Does 10 divide h?
True
Let m(n) = 5*n**2 + 10*n - 48. Is 12 a factor of m(-8)?
True
Let o(f) = -f + 8. Let k be o(6). Suppose -k*x = 3*i - 298, -2*x = x - 15. Suppose 5*p - i = -p. Is 5 a factor of p?
False
Let i(z) = 9*z + 2. Let p be (3*-1)/((-78)/364). Is 17 a fac