). Suppose -2*a - 2*p = -s, 7*p + 94 = 2*a + 6*p. Is 3 a factor of a?
False
Suppose -18*n + 14*n = 60. Let g(a) = a**2 + 2. Let c(k) = -3*k**2 - k - 5. Let q(u) = -2*c(u) - 5*g(u). Is 15 a factor of q(n)?
True
Suppose 3*v = -0*v + 6. Does 18 divide (6 - (6 - v))*117?
True
Suppose 0 = 2*x - 10*y + 6*y - 24724, x - 12374 = 4*y. Is x a multiple of 70?
False
Let n = -2 + 6. Suppose 4*c - 60 = -n*d, 6*d + 5*c - 51 = 3*d. Suppose 7*r = d*r - 190. Is 14 a factor of r?
False
Let v(k) = 268*k**3 - 7*k**2 - 4*k + 1. Let t(b) = 402*b**3 - 11*b**2 - 6*b + 2. Let z(g) = 5*t(g) - 8*v(g). Is z(-1) a multiple of 27?
True
Let z(n) = 7*n**2 - 6*n + 200. Is 44 a factor of z(-30)?
False
Let c = -287 - -291. Suppose 420 = -c*a + 6*a. Does 10 divide a?
True
Suppose 0 = 5*h - 23 + 23, -4*z + 26808 = -3*h. Is z a multiple of 3?
True
Let c = 318 + -200. Suppose 14*d = 1170 + c. Suppose 0 = 96*m - d*m - 1036. Is 37 a factor of m?
True
Suppose 4*b - 3595 = -k, 2*k + 3*b = 307 + 6888. Is k a multiple of 59?
True
Let i(x) = -5*x**3 + 65*x - 71*x - 4*x**2 + 6*x**3 + 159. Let c(q) = -2*q**3 + 7*q**2 + 11*q - 319. Let d(g) = -3*c(g) - 5*i(g). Does 27 divide d(0)?
True
Let w(i) = 73*i**2 + 11*i - 13. Let d(h) = -585*h**2 - 90*h + 105. Let y(u) = 3*d(u) + 25*w(u). Is y(2) a multiple of 20?
True
Suppose 3*v = -4*o + 2022, 3*o = -309*v + 310*v + 1523. Does 13 divide o?
True
Suppose 4*q = 4*z + 68, 7*z - 2*q - 64 = 12*z. Let m = 94 - z. Suppose 0 = 2*d - d - m. Is 36 a factor of d?
True
Suppose -5*f = -2*f + h - 34, 12 = 3*h. Suppose 0 = y + 4 - f. Does 3 divide (-16)/(-120)*95*y/4?
False
Suppose 134 = 3*u - 151. Suppose b + 128 = 2*h - 91, 4*b = 5*h - 546. Let j = h - u. Does 15 divide j?
True
Let s(r) be the second derivative of 1/20*r**5 - 3/4*r**4 + 1/2*r**3 + 8*r**2 + 0 - 10*r. Is s(9) a multiple of 18?
False
Suppose 0 = 6*j - 13*j + 21. Let y be (3/(-2)*3)/(j/(-6)). Suppose 0 = -y*b + 68 + 283. Does 3 divide b?
True
Let q(o) = 2*o**3 - 14*o**2 + 2*o - 12. Let j be q(7). Suppose 5*r = -27 + j, 2381 = 3*n + 2*r. Does 33 divide n?
False
Suppose 5*g = 161 - 6. Let h = g - -311. Is 19 a factor of h?
True
Let w be 175/55 - (-4)/(-22). Let h be (-5)/15*w + (0 - -3). Is 18 a factor of 5/(-75)*-12*90/h?
True
Suppose 4*r - 4*n = 28, 5*r + 3*n - 3 = 8. Suppose -5 = r*l - 25. Suppose 0*y + 2*y + 5*u - 26 = 0, -l*u = -2*y + 6. Is y a multiple of 4?
True
Does 51 divide 4/(-2) + (-24)/144*-37770?
False
Let q(b) = -b**2 - 15*b + 12. Let n(h) = h**3 + 13*h**2 - 16*h - 11. Let l be n(-14). Let v be (7/2)/(l/(-34)). Does 12 divide q(v)?
False
Let x = 11 - 8. Let q(c) = c**3 - 15*c**2 - 35*c + 23. Let v be q(17). Is v*(-35)/(-10)*1/x even?
False
Suppose 0 = -0*p - 2*p + 6. Suppose -3*j - a = -559, p*j + 3*a = -2*a + 563. Is j/9 + (-12)/(-9) + -1 a multiple of 7?
True
Suppose 3*q - 4*q = -15*q. Suppose 326 = 4*n + 2*b, -3*n + 4*b + 250 = -q*n. Is n a multiple of 15?
False
Suppose -5*d - b - 635 = -6*b, -3*d = -b + 373. Let p be 5/15*-2*d. Let v = p - -74. Is v a multiple of 16?
False
Does 149 divide (14602/(-147))/(4/(-414) - 0)?
True
Let w(k) = k**2 + 8*k + 1. Let v be w(-8). Let r be (-29)/116*(1 - v). Suppose r = -o + 3, 2*y + y - 219 = o. Is y a multiple of 11?
False
Let j(h) be the first derivative of h**3/3 + 3*h**2/2 - 10*h - 26. Is j(5) a multiple of 6?
True
Let s = -529 - -533. Suppose -o + 4*o = 204. Suppose -d = -3*i + 3, -5*i + 5 = s*d - o. Is 4 a factor of d?
True
Suppose 2*l = 3*l - 52. Let t be 8/l - 16608/(-39). Suppose -t = -2*v - 2*s, -v - 3*v + 4*s = -844. Does 15 divide v?
False
Let a(b) = b**2 - 6*b + 1. Let c be a(6). Let p be (-1)/4*c + 126/56. Suppose -75 = -3*q + p*q + 3*v, 4*v = 4*q - 268. Is q a multiple of 32?
False
Let u be 9/(-2)*(-6)/9. Let h be u/((-15)/(-10))*(-98)/4. Let c = 61 + h. Is 4 a factor of c?
True
Suppose -2*c = 2*c. Let t = 317 - 316. Is 13 a factor of (-12 - t - c)*(-2 + 0)?
True
Let f(c) = c**3 + 4*c**2 - 12*c + 12. Suppose -8*t = 3*n - 4*t + 30, 0 = n + 5*t + 21. Is 6 a factor of f(n)?
True
Is (-62)/(-248)*(2 - -3690) a multiple of 71?
True
Let t = -389 + 627. Suppose 10*c = -4*c + t. Suppose 2*i = -4*n + 36, -3*n = -i + 2*i - c. Is i a multiple of 5?
True
Suppose 31*w - 33324 = -73*w + 222412. Is 66 a factor of w?
False
Let l = 34173 - 16473. Is l a multiple of 54?
False
Suppose -171*d + 318858 + 869014 = -59*d. Does 5 divide d?
False
Let t be ((-5)/2)/5 - 11/(-2). Suppose 0 = t*n - 8*n + 12. Suppose k + 5*q = 76, 2*q + 304 = n*k + q. Is 24 a factor of k?
False
Suppose -2*q = 4*u - 20, 2*u = 3*q + 2*q - 14. Suppose -q*m = -8*m + 432. Does 6 divide m?
True
Let g be 11 + -11 - (-1 + 1). Suppose -9*a + 1865 + 106 = g. Does 18 divide a?
False
Let d be (18/(-45))/((-8)/11660). Let h = d + -480. Does 3 divide h?
False
Let a = 25671 - 9720. Is a a multiple of 13?
True
Let f = -4421 - -7665. Suppose -3*b - x = -3*x - 2433, 4*b - x - f = 0. Is 46 a factor of b?
False
Let h(i) = 4*i - 82. Let y be h(22). Does 2 divide 4 + (6/(-7))/(y/(-126))?
True
Let s(f) = -46*f + 2. Let p be 1442/(-16) + (-1)/(-8). Let o = 89 + p. Is s(o) a multiple of 6?
True
Let r = -47 + 114. Let m = r + -47. Does 20 divide m?
True
Let d be (5 - 2)*1/1. Let w(m) = -m - 9. Let r be w(-14). Suppose -3*l = -d*i - 261, i - 662 + 221 = -r*l. Is l a multiple of 34?
False
Suppose -5*b = -5*l - 150, 2*b = -0*b - 5*l + 53. Let y = b - -19. Let c = y + -43. Is 5 a factor of c?
True
Suppose -47*j - 774592 = -541*j. Is j a multiple of 56?
True
Suppose 2*u - v = v + 10, -3*u + 20 = -4*v. Let j be (-1 - -4)/(7/(7 - u)). Suppose a = -j*z + 108, -z - 2*a = -4*z + 99. Is 7 a factor of z?
True
Let c(j) = j + 17. Let s(m) = -m - 8. Let n(f) = -3*c(f) - 5*s(f). Let o be n(6). Is o + 0 + (12 - (6 - -1)) a multiple of 2?
True
Let n(r) = -4*r**3 - 10*r**2 - 4*r - 5. Let p(c) = -3*c**3 - 11*c**2 - 4*c - 6. Suppose 6 = 3*x - 12. Let i(d) = x*n(d) - 5*p(d). Is 12 a factor of i(-2)?
True
Let u = -608 - -585. Let x(n) = -n**3 - 22*n**2 + 13*n - 25. Is 21 a factor of x(u)?
False
Suppose -10*f + 109 = -771. Suppose -8 = 2*d + f. Let l = d + 153. Does 9 divide l?
False
Let u = -2067 + 650. Let x = -888 - u. Is x a multiple of 23?
True
Let y be (9/2)/((-2)/24). Suppose 139*p - 85*p - 6952 + 2470 = 0. Let m = y + p. Is 8 a factor of m?
False
Suppose 1126*o = 1125*o + 2, 0 = 3*m - o - 4903. Does 15 divide m?
True
Suppose 2*i + 2*d - 3906 = 0, -3*i + 1146 = 5*d - 4697. Is i a multiple of 8?
False
Let c(p) = -p**2 + 22. Let s be c(9). Let a = s - -59. Suppose -3*k + 61 + 119 = a. Is 10 a factor of k?
True
Suppose 0 = 7*k - 6*k. Suppose 2*d - 28 - 46 = k. Let p = d + -28. Is p a multiple of 3?
True
Let n = -110 - -107. Let t be (-1 - n - 4)/(3/(-1455)). Suppose 8*o + 2*o = t. Is o a multiple of 8?
False
Let d = -813 + 3793. Suppose 0 = -13*h + d + 1622. Is h a multiple of 13?
False
Suppose 2*g = 5*d + 97, 7*g + 4*d - 160 = 2*g. Let z(k) = k**3 - 34*k**2 + 67*k + 96. Let f be z(32). Let q = f - g. Is q a multiple of 13?
True
Let y be (-3 - 0 - 1)*(-6)/4. Suppose 16*i = 13*i + y. Suppose z = -0*z + i*p + 82, 5*z = 3*p + 375. Is 36 a factor of z?
True
Suppose 0 = -3*o + 6, -g + 14*o - 98 = 9*o. Is 89 a factor of (15 - 26)*(3/(-3) + g)?
True
Let m(o) = 3*o - 44. Let p(l) = 3*l**2 + 2*l - 3. Let z be p(-3). Let y be m(z). Suppose -384 - 96 = -y*a. Does 13 divide a?
False
Let h = 1368 - 450. Let i = 2443 - h. Does 25 divide i?
True
Let s = 54 + -26. Suppose 0 = -2*n + 2 - s. Is (-554)/(-6) - ((-91)/21)/n a multiple of 46?
True
Is 8679 - (8 - 0 - (21 - 19)) a multiple of 177?
True
Suppose 17782 = 4*x + 2*b - 8622, -3*x + 19803 = 5*b. Is 23 a factor of x?
True
Suppose -7 = -4*a + 12*n - 13*n, -5 = n. Does 32 divide 28/a*2376/77?
True
Let z(r) = -2*r**2 - 26*r - 7. Let v be z(-13). Let d be v/((-21)/12)*11/4. Let b = d + 21. Is 16 a factor of b?
True
Suppose 0 = -o - 904 + 17869. Does 15 divide o?
True
Let g(w) = 254*w - 607. Is 12 a factor of g(16)?
False
Let d be (9/(-15))/((-3)/(-15))*-13. Let n = -54 + d. Does 9 divide (3 - n)/((-1)/(-2))?
True
Suppose 0 = 3*t + 2*m - 17, -5*t + 32 = m + 13. Let q(a) = 6*a**3 + 5*a**2 - 26*a - 1. Is q(t) a multiple of 16?
True
Suppose -4*m - 9*m + 572 = 0. Let d be (-58)/(-3)*(-2 + m/(-8)). Does 8 divide (3/5)/(-3 + (-436)/d)?
False
Let o(j) = 86*j - 2. Let q(f) = -f**2 - 3*f + 13. Let 