v) + 5*d(v). Does 4 divide c(7)?
True
Suppose 22*m = 1314 + 29046. Does 115 divide m?
True
Let v be (-1)/(-4) + (-1635)/60. Does 9 divide (v/(-2))/((-15)/(-20))?
True
Let c(j) = 45*j**3 - 2*j**2 + 3*j. Does 25 divide c(2)?
False
Suppose f = 4*y + 32, y - 18 = 5*f - 121. Let q = f + -18. Suppose -5*p = n + 10, -2*n + 3*n = q*p + 11. Is 5 a factor of n?
True
Let b = -52 + 62. Does 10 divide 402/b - 1/5?
True
Suppose 5*b - 3*b = -4*l + 6, -4*l = -3*b - 31. Let t be 363/77 + l/14. Suppose t*u + 2 - 187 = 5*r, 124 = 4*u + 4*r. Is u a multiple of 9?
False
Suppose -4*v - p + 40 = 0, 0 = 2*p + 2*p - 16. Let o(r) = -r**3 + 7*r**2 + 19*r + 26. Does 5 divide o(v)?
True
Is 11 a factor of (12/36)/(3/3267)*2?
True
Let y = -686 - -1086. Is 36 a factor of y?
False
Let f(p) = -3*p**2 + 10*p + 18. Let a(n) = 7*n**2 - 21*n - 36. Let i(g) = -2*a(g) - 5*f(g). Does 5 divide i(12)?
True
Suppose 0 = -3*n - 3*z - 1 + 4, 2*z = -5*n + 11. Suppose -j = n*j + 128. Let f = j + 64. Is 6 a factor of f?
False
Suppose 5*m - 21 = -1. Suppose -2*n = -m*i + 2*i - 88, 2*i + 10 = 0. Does 6 divide n?
False
Let c(k) = -3*k**3 + 2*k - 1. Let r be c(1). Let s be 5/(-20) + (-66)/(-8). Let b = r + s. Does 6 divide b?
True
Let v = 58 - 53. Let r(q) = 2*q**2 + 2*q - 2. Let y be r(-2). Suppose 5*f - 144 = y*w - 0*w, -f = v*w - 18. Does 14 divide f?
True
Suppose -6376 = -4*z - 2*b, 5*b = 7 - 17. Is 11 a factor of z?
True
Suppose -4*g + 320 = -3*j + j, 5*g - 400 = -j. Is g a multiple of 8?
True
Let t(f) = 5*f + 13 + 15*f + 2*f. Let c be t(-5). Let b = -61 - c. Is 9 a factor of b?
True
Suppose -280 = -p + 2*x - 98, 0 = 3*p - 4*x - 536. Suppose 7*t = 5*t + p. Suppose 4*j - 226 + t = b, -3*j + 116 = 2*b. Is 12 a factor of j?
True
Let j = 1 + -3. Let z = 10 - j. Let r(x) = -x + 15. Is r(z) even?
False
Let g be -291*(6/(-9))/1. Suppose -5*h + g + 651 = 0. Does 13 divide h?
True
Let p be (-30)/(-3)*4/10. Suppose 0 = -p*c + 3*c + 15. Is 6 a factor of ((-6)/15)/((-1)/c)?
True
Suppose 5*x - 288 + 64 = -2*d, -3*d = x - 349. Is d a multiple of 14?
False
Let m(i) = i**3 + 3*i**2 - 11*i + 2. Let r be m(-5). Let x(k) = 5*k - 12. Does 23 divide x(r)?
True
Suppose 2*p - 490 = 3*q - 68, 4*q = 16. Does 31 divide p?
True
Does 44 divide ((-774)/126 + 7)*154/1?
True
Is 51 a factor of (108/2)/((-55)/(-935))?
True
Let s be (4/(-12))/(1/(-399)). Suppose 2*r + 4*y = 6*y + 42, 5*r = -2*y + s. Does 16 divide (20/r)/((-2)/(-110))?
False
Let d(n) = -6*n**3 - 7 - n**2 + 16 + 4*n**2 + 5*n. Does 25 divide d(-2)?
False
Suppose -m = -5*s + 196, -2*s + 87 = 3*m + 12. Let h = 67 - s. Let v = h + -9. Is v a multiple of 8?
False
Is 921*3 - (-111 + 102) a multiple of 28?
True
Suppose -18*v = -17626 - 10436. Is v a multiple of 40?
False
Suppose -7*m + 3*m + 24 = 0. Suppose 0 = -f - 5*d + 125, -4*d = -2*f - f + 356. Suppose -f = m*i - 9*i. Is 20 a factor of i?
True
Suppose -646 = 6*t - 3790. Is 15 a factor of t?
False
Let x be 0*(4 + 44/(-12)). Suppose x = 4*c + c - 3*f - 41, 5*c - 39 = 2*f. Is 7 a factor of c?
True
Suppose 2*p + 5*l - 5278 = 0, -5*p + 5318 = -3*p - 5*l. Is 10 a factor of p?
False
Let c(j) = 2*j + 13. Let q be c(-7). Let k = 28 + q. Let t = k - 17. Is t a multiple of 6?
False
Suppose 4*d = d - 4*h + 28, 40 = 5*d + 5*h. Suppose 4*l - d = 136. Does 7 divide l?
True
Suppose -19*s = -2993 + 485. Is s a multiple of 43?
False
Let u(v) = 10 + 6*v + 5*v + 0 - 15*v + v**2. Does 10 divide u(-6)?
True
Suppose -2*u = 3*u + 435. Let y = 123 + u. Is 9 a factor of y?
True
Suppose -3*r = -13*r + 2080. Does 13 divide r?
True
Let d(m) = m**3 - 5*m**2 - 8. Let a be d(6). Suppose -2*l + a + 10 = 0. Suppose 0 = -3*j + 5 + l. Is 4 a factor of j?
True
Suppose 0 = 4*r + 21*r - 8000. Does 32 divide r?
True
Let g(y) = -2*y**2 + 58*y - 143. Does 7 divide g(25)?
False
Let d be 5/1 + -36 + 3. Does 6 divide 56*(d/(-8) - 2)?
True
Suppose 1989 + 3807 = 28*p. Is 2 a factor of p?
False
Let a(t) = t**3 - 8*t**2 + 2*t + 6. Suppose 5*f + 28 = 9*f. Let z be a(f). Let k = 17 - z. Does 24 divide k?
False
Suppose -2*n - 5 = -9. Suppose -n*d = -6*d - 20. Is 14 a factor of (43 + d)/(2 - 1)?
False
Suppose 3*u - 7 = 5. Suppose 2*h + 2*x + 11 - 731 = 0, -u*x - 1080 = -3*h. Is h a multiple of 18?
True
Suppose 0 = -3*b - 9, j - 144 = 4*j + 2*b. Let r = 100 + j. Is r a multiple of 18?
True
Let s(a) = 416*a**2 + 2*a + 2. Is 13 a factor of s(-1)?
True
Let q = -16 + 6. Let i be 14/(-7) + (-2 - q). Let y(o) = o**2 + 6*o - 12. Does 12 divide y(i)?
True
Let s be 4*6 + 1 - 0. Suppose -4*b = -2*p - 3*b + 88, -5*p + b + 220 = 0. Let i = p - s. Is 19 a factor of i?
True
Let g(a) = 5*a**2 + 19*a + 77. Is 7 a factor of g(-13)?
False
Suppose -3*m + 0*m = 0, 0 = 4*g + 4*m - 216. Does 54 divide g?
True
Suppose 36*y - 635 = 31*y. Let i = -55 + y. Suppose -2*x - 3 = -3*x, i = 3*s + 2*x. Does 15 divide s?
False
Let c be (1/(-1) - -11)/1. Let t be 8/112 + 10074/84. Suppose -c*g - t = -14*g. Does 15 divide g?
True
Let m = -12 - -14. Suppose -4 = -x, -260 = -m*b - 0*x - x. Does 33 divide b?
False
Suppose -8*t + 3 = -29. Suppose 118 = 3*j - 0*j - m, 3*m - 166 = -t*j. Is j a multiple of 20?
True
Is 7 a factor of 2/4*8 - (-3655)/5?
True
Let q(x) = x**2 + 12*x + 15. Suppose -3*z - u - 20 = 0, 0*z - 3*u + 24 = -5*z. Let y be (z/(-2) + -25)/2. Is 2 a factor of q(y)?
True
Let a(c) = c**3 + 3*c + 1062. Let z be a(0). Suppose 12*u - 3*u - z = 0. Is 21 a factor of u?
False
Suppose 5*g + 323 = 3*v, 3*v + 0*g = 4*g + 319. Does 28 divide v - (-1 - 9/(-3))?
False
Let g(z) = -z - 11. Let p be g(0). Let d(m) = -12*m + 1. Let r(w) = w**2 + w. Let x(l) = d(l) - r(l). Is 12 a factor of x(p)?
False
Let u = 1868 + -1321. Is u a multiple of 53?
False
Suppose -3*z = 5*c - 922, 11*z - 14*z = 4*c - 740. Does 13 divide c?
True
Let l = -4 + 9. Let q(g) = -2*g**3 - 3*g**2 + 5*g + 4. Let k(s) = 4*s**3 + 7*s**2 - 11*s - 9. Let y(p) = l*q(p) + 2*k(p). Does 2 divide y(-2)?
True
Suppose 6 = 2*a - 3*n - 7, -5*n = -3*a + 18. Suppose -4*j - a = 25. Let g = -3 - j. Is g a multiple of 2?
True
Let h(i) = -91*i + 625. Let f be h(7). Let s = 0 - 2. Is 6 a factor of -3*s/(-12)*f?
True
Let z be ((-36)/(-6))/(9/6). Suppose -w + z = -74. Does 39 divide w?
True
Let z(g) = g**3 + 44*g**2 - 17*g - 18. Is z(-44) a multiple of 10?
True
Let d = 111 + 412. Is 87 a factor of d?
False
Let j(s) be the third derivative of -19*s**4/24 + 2*s**3 + 2*s**2. Let l be j(-7). Let m = l - 75. Is m a multiple of 17?
False
Let x(n) = -274*n - 21. Let a(w) = -55*w - 4. Let b(r) = -11*a(r) + 2*x(r). Let p be 0 - 1/(-4*(-1)/(-8)). Is b(p) a multiple of 29?
True
Suppose -4*m + 22300 = -14*g + 10*g, -2*g = -4*m + 22294. Is 18 a factor of m?
False
Suppose 4*w - 16 = -3*n, 2*n + 4*w = -0*n + 16. Suppose -109*x + 105*x + 892 = n. Is 54 a factor of x?
False
Let t = -23 + 41. Let h be 14/(-63) - (-58)/t. Suppose 0*p - 37 = -p - h*s, -85 = -2*p + 5*s. Does 16 divide p?
False
Let w(r) = 4*r - 5. Is 16 a factor of w(6)?
False
Suppose -219 = -5*s + 166. Suppose 0*t + 20 = t - 2*f, 4*t - s = 5*f. Does 5 divide t?
False
Let p(i) = 2*i**2 - 9*i + 12. Let d be p(4). Does 15 divide (-84)/(-8)*12*d/18?
False
Suppose 2*x + 0 = 42. Suppose x*p - 24*p = -45. Suppose 16*i = p*i + 17. Is i a multiple of 17?
True
Suppose -12 = 29*k - 32*k. Suppose k*p - 24 = 4. Is p a multiple of 3?
False
Let o(s) = 13*s + 34*s - 4*s + 8*s. Is 22 a factor of o(2)?
False
Let r = -14 + 10. Let h(u) = 36*u + 32. Let o be h(-3). Let g = r - o. Does 24 divide g?
True
Suppose -2*d = 9*i - 7*i - 660, 0 = -d + 2. Suppose -1228 = -6*k - i. Is k a multiple of 10?
True
Let k(p) = 10*p**3 + 2*p**2 + 2*p - 6. Let q be k(4). Suppose 406 = 18*r - q. Is r a multiple of 30?
True
Let s = 4 + -5. Let t be 10*((-105)/(-6) + s). Suppose 6*j - t = j. Is 14 a factor of j?
False
Let n be 74/(-6) - 2/3. Let y(b) = b**2 + 17*b - 11. Let s be y(n). Let l = -30 - s. Is 11 a factor of l?
True
Let d = 117 + 63. Suppose 396 = 9*s - d. Does 16 divide s?
True
Let i = 220 + -20. Is 40 a factor of i?
True
Suppose -11 - 4 = -3*u. Suppose o + 5*i + 28 = 0, -3*o + u*i = -3 + 7. Let h = o + 19. Does 7 divide h?
False
Is ((-128)/(-12))/16 + 12738/9 a multiple of 6?
True
Let f = -15 - -25. Let h be (-27)/(-45) + 484/f. Suppose 5*d - h - 26 = 0. Does 5 divide d?
True
Suppose 23500 + 42544 = 38*g. Does 74 divide g?
False
Let w = 