 multiple of 35?
False
Suppose 2*a = 5*d + 1118, -a + 1158 = a + 5*d. Is (-18)/3 - (19 - a) a multiple of 34?
True
Let d = 34590 - 26157. Is d a multiple of 2?
False
Let j(n) = n**3 - 5*n**2 - 3*n - 7. Let d be j(6). Let s = d + 1. Suppose -4*q + s = -2*q. Does 6 divide q?
True
Let y(i) = 20*i + 4 + 3*i + 29 + i. Does 65 divide y(23)?
True
Let g(p) = 31*p - 39. Let x(z) = -31*z + 38. Let k(q) = 2*g(q) + 3*x(q). Let w be (-1 - -2)/(7/(-63)*3). Is k(w) a multiple of 20?
False
Let f(n) = -n**3 + 51*n**2 + 114*n + 41. Is f(43) a multiple of 200?
False
Suppose 2*f - 3 - 506 = -3*z, -4*z = -4*f + 988. Is f a multiple of 11?
False
Does 20 divide (-3 + 0)/((-1)/762) - (-18)/(-3)?
True
Let v = 85865 - 50561. Is 65 a factor of v?
False
Let q = -3 + 4. Suppose 3*d + 2*x = 6*d + 98, 0 = -4*d + 4*x - 124. Is ((-12)/d - 556/(-6))*q a multiple of 13?
False
Let i = 4094 - 1578. Does 37 divide i?
True
Let k be (1 + (2 - -1))*(-12)/(-16). Suppose -k*o + 2 = 5, 0 = -4*f - 3*o + 933. Does 39 divide f?
True
Let j = 1043 - 583. Suppose -j = 45*b - 46*b. Is 46 a factor of b?
True
Let p be 5*(-2 - (5 + -20)). Suppose 0*x - x = p. Is 11 a factor of x/(-52)*(44 - 0)?
True
Let j be -13 - (3 + -3)/1. Let f(n) = 7*n - 16. Let w(s) = -9*s + 18. Let a(o) = 5*f(o) + 4*w(o). Is a(j) a multiple of 5?
True
Suppose 2*m + 120*m + 95*m = 6398028. Is 28 a factor of m?
True
Let s be (17 + -1)*(-1)/((-36)/9). Suppose 63 = -s*h + f + 325, 0 = 4*h + f - 266. Is h a multiple of 5?
False
Does 13 divide 11005 - ((11 - 2) + (0 - 2))?
True
Let d(r) = -r**3 + 17*r**2 + 2*r + 25. Let j(o) = -o + 1. Let n(t) = d(t) - 4*j(t). Is n(8) a multiple of 15?
True
Let d(k) = k**3 + 8*k**2 - 22*k - 15. Let g be d(-10). Let r be 4 - 24/g - 728/(-10). Is r/7 + (1 - (-27)/(-21)) a multiple of 6?
False
Let a(g) = -g**3 + 6*g**2 + 13*g + 27. Let p be a(8). Is (0 - -5) + 0/p + 257 a multiple of 41?
False
Suppose -13*i - 198 = -16*i. Suppose -4848 = -72*l + i*l. Suppose -o = 11*y - 7*y - 192, -4*o + 4*y = -l. Is o a multiple of 40?
True
Let m(a) = -a**3 - a. Let d be m(-1). Suppose -3*r = -d*c + c + 8, 5*r = -5*c. Is (86 + r)/(3 - 2/1) a multiple of 27?
False
Suppose 3*c + 4*h = 5, -3*c - 2*h + 7*h + 14 = 0. Let v(r) = 57*r + 28. Let m(o) = 113*o + 56. Let u(t) = c*m(t) - 5*v(t). Is u(6) a multiple of 47?
False
Suppose 0 = -2*p + 8*m - 9*m + 695, -5*m + 1381 = 4*p. Let x = -224 + p. Is 25 a factor of x?
True
Suppose 2*t - 82 = -5*f - 22, 0 = -t + 3*f + 8. Let q = t - -62. Let y = 132 - q. Is 10 a factor of y?
True
Suppose 7594 = 9*j - 7*j + 5*a, -3*a - 18985 = -5*j. Is 47 a factor of j?
False
Let s(k) = -13*k + 85. Let b be s(5). Suppose -h + b = 3*h, -2*n - 4*h + 1584 = 0. Is 23 a factor of n?
True
Suppose o + 245 + 1619 = 0. Let m be 6/(-21) - (-1 + o/7). Suppose -5*p = 3*j - m, 3*j - 232 = 2*p + 14. Does 18 divide j?
False
Suppose -3*n - 4*v - 67 = 0, 3*n = 5*v - 37 + 6. Let i = n + 22. Is ((-6)/(-9))/(i/135) a multiple of 18?
True
Suppose 63 + 441 = -7*b. Let g = 75 + b. Suppose -m = g - 30. Is m a multiple of 6?
False
Let h be 15/(78/24 + 1/(-4)). Suppose -5*p + h*r = -100, 0 = 10*p - 5*p + 2*r - 79. Does 6 divide p?
False
Let r be (-106)/(-159)*738/(-4). Let v = 111 - r. Is v a multiple of 13?
True
Suppose -2*c + 5*d + 64 = 0, 3*c + 2*d + 2*d = 96. Suppose -5*j - 2*w + c = 0, -3 = j - 2*j + 3*w. Is 19 a factor of j/(-12) + 483/6?
False
Let n(d) = -d**2 - 43*d + 68. Let v be n(-24). Suppose 4*j + 2647 = 5*a, 8*j - 7*j = -a + v. Does 17 divide a?
True
Suppose 27*w = 18*w + 27. Suppose 4 = -5*d - 6, -106 = -5*l + w*d. Is 10 a factor of l?
True
Let l = 12 + -29. Let g = l - -21. Suppose -9*b + 160 = -g*b. Does 30 divide b?
False
Let l(q) = -q**3 + 5*q**2 + 30*q - 18. Let x be l(8). Suppose -31*d = -x*d - 36. Is 9 a factor of d?
True
Let r = 54 + -51. Let p be ((-4)/r)/(1/(1*-3)). Suppose -74 = -2*y - 0*w - p*w, w = 1. Is y a multiple of 7?
True
Let t = 132 + -114. Let q be t/(-6)*(0 - 1). Suppose l = -q*l + 12. Is l even?
False
Suppose g + 67348 = 4*g - 5*y, 4*g - 5*y = 89809. Does 14 divide g?
False
Suppose 2*m = -3*m - 15. Let n be m + 69/21 + (-2)/7. Suppose n = -y + 61 + 7. Does 34 divide y?
True
Suppose 6*n = -2492 - 1804. Let p be ((-18)/8 + 2)*n. Let z = p + -26. Is 14 a factor of z?
False
Suppose 0 = -4*z + 3*l - 29, -3*l = -2*z + 6*z + 35. Does 27 divide (z/(-12))/((-2)/(-1692))?
False
Let v(q) = 17*q**3 + 13*q**2 - 30*q - 1. Is v(6) a multiple of 23?
False
Suppose -22 = -3*a + 5*f - f, -3*a - 4*f + 14 = 0. Suppose 0 = 3*j - a*j + 2601. Does 51 divide j?
True
Suppose 0 = 5*w + l - 104107, -105*w - 5*l = -107*w + 41632. Is 47 a factor of w?
True
Suppose 0 = 34*d - 32*d. Suppose -9*x + 914 + 742 = d. Is 46 a factor of x?
True
Let q = -709 - -1379. Is 67 a factor of q?
True
Let x = -230 - -240. Suppose -18*p = -x*p - 4952. Is p a multiple of 19?
False
Let k(n) = -5*n + 18. Suppose 4*q + 3*j = 78, -2*j = -3*j - 2. Suppose -96 = 25*i - q*i. Is 27 a factor of k(i)?
False
Let q(l) = l**2 + 4*l + 58. Suppose -2*t + 0*t - 44 = -4*i, -20 = -4*i. Is q(t) a multiple of 40?
False
Let y be ((-10)/4 + 1)/(3/4). Let g(q) = -6*q + 4. Let p(u) = u. Let b(w) = y*p(w) + 2*g(w). Is 15 a factor of b(-8)?
True
Let p(l) = -8*l - 92. Let j be p(-4). Is 12 a factor of (121992/j)/(-17) + 4/10?
True
Let n(f) = f**3 + 12*f**2 + 14*f - 19. Let z be n(-10). Suppose 14*l - z*l = -12015. Does 12 divide l?
False
Let j(o) = -2*o**3 + 13*o**2 + 35*o + 26. Let k be j(-26). Suppose -64*p + 18*p = -k. Does 18 divide p?
True
Let o = 2878 - 2334. Is 86 a factor of o?
False
Let d(y) = y**2 + 16*y + 49. Let b be d(-4). Is -3*(-38 + -5 + 4)*b a multiple of 17?
False
Suppose 0 = -5*p + k + 787, 6*k = 4*p + 3*k - 623. Let b = 194 - p. Is b a multiple of 6?
True
Let a(q) = q**3 - 24*q**2 + 23*q + 5. Let d be a(23). Suppose 2*v - 5*g = 216, d*g + 177 = 4*v - 275. Is v a multiple of 59?
True
Suppose -2*o + z = o - 2780, -4632 = -5*o + 2*z. Suppose 15*a - 602 - o = 0. Is 3 a factor of a?
True
Let c(f) = 23*f**2 - 55*f - 7. Let m be c(-5). Let q = 1253 - m. Is 30 a factor of q?
False
Suppose 4*q - 3*b = 43, -q = -b - 2*b - 13. Suppose q = 2*d - 76. Is d a multiple of 2?
False
Let y(r) be the third derivative of -r**8/1120 + r**6/720 + r**5/60 - 5*r**4/8 + 14*r**2. Let h(p) be the second derivative of y(p). Does 2 divide h(-1)?
False
Let s(w) = -739*w + 5. Let d = 421 + -424. Is s(d) a multiple of 13?
False
Let h(v) = 795*v + 10310. Is h(49) a multiple of 12?
False
Suppose 0*k - 3*k + 5*u = -11, -4*u - 4 = -2*k. Let h be (5/(-10))/((-3)/k). Suppose h*d + 31 - 73 = 0. Does 3 divide d?
True
Let g(f) be the third derivative of -f**4/4 + 11*f**3/2 - 84*f**2 + f. Does 33 divide g(-11)?
True
Suppose 0 = h + 4*q - 153, 5 = 5*q - 5. Suppose 49 = g + h. Let z = -60 - g. Is z a multiple of 12?
True
Let l be 6/(-15) + (-26)/10 + 3. Does 7 divide (-4896)/(-180) + ((-8)/(-10) - l)?
True
Suppose -9584*j = -9576*j - 32. Suppose -6 = -s + 2. Let u = s + j. Is u a multiple of 12?
True
Let l(a) = 2*a**3 - 7*a**2 - 3*a + 72. Does 13 divide l(8)?
True
Let z(v) = 12473*v**2 - 654*v - 1305. Does 103 divide z(-2)?
False
Suppose -8*x = -x + 58212. Let s(a) = -a**2 - 9*a - 12. Let t be s(-8). Is (x/10)/(-9) - t/(-10) a multiple of 10?
False
Suppose -5*d - 104 = -2*z - 969, -2*d + 2*z = -346. Let v = d - -141. Does 12 divide v?
False
Let z be (-33)/22*14/3. Let i be 3/(-7) + (-3)/z. Suppose 5*j - 53 - 457 = i. Does 34 divide j?
True
Suppose -5*g = -1123*r + 1122*r - 8055, -4*r - 20 = 0. Is 23 a factor of g?
True
Let f = -2805 + 5224. Is 59 a factor of f?
True
Let y be (3 - -9)*13/4*15. Let v = y - 194. Does 23 divide v?
True
Suppose 2*z = c - 6, 0*z = 3*c - 4*z - 12. Suppose 0 = -2*u + 3*i - c*i + 117, 4*u + i - 241 = 0. Is 15 a factor of u?
True
Let w(f) = -7 + 2*f**2 + f**3 + 8*f**2 - 10*f + 4*f**3 - 6*f**3. Let q be w(8). Suppose -m - 46 = -2*r, 3*m + q - 143 = -4*r. Is r a multiple of 6?
True
Suppose 10*m + 3758 = 5*n + 6*m, -4*n + 3007 = -3*m. Does 13 divide n?
True
Let c be -2 + 25/(-10)*-2. Let w be ((-9673)/c)/((-64)/(-12) + -5). Is 22 a factor of w/(-34) - (-3)/2?
True
Let n be -47 - 2 - (-1 - (-6)/2). Does 18 divide (n + (-1 - 4))*-3?
False
Let d(z) = 5 - 522*z**3 - 13*z + 514*z**3 + 8*z + 2*z**2. Is d(-4) a multiple of 49?
False
Suppose -43 = -5*m - d, 5*m = -