. Suppose 3*g + w = -29. Let z = g + 39. Does 5 divide z?
False
Let l = -1307 + 2492. Is l a multiple of 25?
False
Let p = -144 + 218. Suppose 9 - p = -5*n. Is n a multiple of 10?
False
Let q = 17 - 14. Suppose 5*g - 39 = 2*d - 318, d + q*g - 167 = 0. Does 20 divide d?
False
Let z(b) = -b**2 - 7*b + 11. Let d be z(-8). Suppose -d*l - s + 11 = -2*s, 4*s = 4. Is l even?
True
Let y(b) = b**3 - 4*b**2 - b + 7. Let j be y(6). Let r = j - 24. Is r a multiple of 4?
False
Suppose 4 = -r + 8. Let s(a) = 36*a - 6. Is s(r) a multiple of 30?
False
Suppose 0 = -0*k - 4*k + 2*x - 18, 3*k - 2*x = -16. Let q be (-2 - -2 - k) + 3. Suppose 3*i - 3 = -q*o + 43, 4*i - 2*o - 96 = 0. Is i a multiple of 10?
False
Let f(t) = 53*t - 20. Is f(8) a multiple of 101?
True
Does 16 divide ((-54)/9)/12*226*-16?
True
Suppose -2146 = -23*k + 3926. Is k a multiple of 12?
True
Is (3 - 4)/(-3 - 1834/(-612)) a multiple of 12?
False
Let j(s) = 9*s**2 + 6*s - 1. Does 23 divide j(-2)?
True
Let o = 64 - -4. Let a = -38 + o. Suppose 3*n + b - 31 = 3*b, b = -2*n + a. Does 3 divide n?
False
Suppose 0 = -3*x - 28 + 1. Is 11 a factor of (x/15)/(2/(-210))?
False
Let h(w) = 2*w**3 - 6*w**2 - 3. Let n(f) = f**3 - 3*f**2 - 1. Let o(p) = 3*h(p) - 5*n(p). Let i = -3 - -8. Is 12 a factor of o(i)?
False
Let g(k) = -15*k + 24. Does 25 divide g(-12)?
False
Suppose 144 = 6*p - 132. Suppose 9*r - p = 44. Does 10 divide r?
True
Let d(n) = -8*n - 1. Let s(v) = -2*v**2 - 13*v + 1. Let w be s(-7). Is 17 a factor of d(w)?
False
Let y(w) = 4*w**2 + 6*w - 2. Let h = 69 - 76. Does 19 divide y(h)?
True
Does 23 divide -1 - -9*(4 + 177 + -2)?
True
Suppose 0 = 4*q + k + 381, -2*q + 3*k = q + 297. Is -4 + (4 - 8 - q) a multiple of 12?
False
Suppose 4*j + 12 = 0, -2*v + j + 2 = -3*v. Let p = v - -15. Does 11 divide p?
False
Is 28*(10 - (-1280)/70) a multiple of 24?
True
Let w(u) = -13*u + 12. Let h(i) = -27*i + 25. Let k(p) = 2*h(p) - 5*w(p). Does 9 divide k(5)?
True
Suppose 1056 = -18*d - 618. Let v = 205 + d. Does 16 divide v?
True
Let b(a) = -5*a**2 - 10*a + 37. Let z(d) = 22*d**2 + 39*d - 149. Let y(v) = -9*b(v) - 2*z(v). Is y(10) a multiple of 26?
False
Suppose -3*i - 9 = -a, 2*a = -5*i + 3*a - 15. Let b be (310/(-15))/(2/i). Suppose -5*n + 70 = 2*t, 0 = 2*n - 4*t - b + 3. Does 8 divide n?
False
Let b(m) = -m**3 - 32*m**2 - 37*m - 59. Let w(t) = -t**3 - 7*t**2 + 3*t - 10. Let o be w(-7). Is 22 a factor of b(o)?
False
Suppose -2*t + 4*t - 4 = 0. Does 3 divide (-6)/(-4) - (-15)/t?
True
Suppose 0 = -4*n - a - 390, -2*n + 3*a + 11 - 213 = 0. Let q = -33 - n. Is 13 a factor of q?
True
Suppose -2*g + 4*g = 0. Suppose g = -4*m - x + 64, -2*x + 56 = 5*m - 24. Let w = -6 + m. Is 10 a factor of w?
True
Let h = -165 + 293. Suppose -3*t + 2*t + h = 0. Suppose -2*q - 2*q = -t. Is 8 a factor of q?
True
Does 12 divide 98 + -3 - (1 - 2)?
True
Suppose 1 + 4 = f. Suppose 4*o + 3*w = 5*w + 266, 5*o - 310 = -f*w. Is o a multiple of 13?
True
Suppose 0 = 2*b + l - 195, -5*b + 22*l = 26*l - 492. Does 9 divide b?
False
Let a = -125 - -348. Does 14 divide a?
False
Let k(v) = v**3 + 2*v**2 - v. Let c be k(-2). Suppose -50 = -3*f + c*f. Is 10 a factor of f?
True
Suppose -3*i + 3*q - 27 = 0, -5*q = 2*i + 3*i + 95. Let p = -9 - i. Suppose -5*z + 3*z + 519 = p*n, 0 = -5*n + 2*z + 511. Is n a multiple of 32?
False
Suppose -5*s = i + 23, i + 4*i - 5*s - 35 = 0. Let m(d) = -15 - d**i + 4*d - 4*d - 18*d + 4. Is 21 a factor of m(-16)?
True
Let l(f) = -f**3 - 9*f**2 - 4*f + 4. Let o(v) = v - 3. Let k be o(-6). Is l(k) a multiple of 20?
True
Suppose -2*s - 2 + 6 = 0. Suppose -2*p = s, -t - p = -3*p - 138. Does 17 divide t?
True
Let a = 27 - 26. Let r be (-60)/(-1) + 1/a. Suppose r = i - 3*j, 3*i + 4*j = 4*i - 61. Is i a multiple of 13?
False
Let z(h) = -h**3 + 19*h**2 - 33*h - 13. Let f be z(17). Suppose -f*g + 37 = -27. Does 16 divide g?
True
Let s(c) = 799*c**3 + c**2 + c - 1. Let n be s(1). Suppose -23*h = -27*h + n. Does 25 divide h?
True
Let a(f) = -2*f - 5. Let w(g) = -3 - 2 + 1 + 3. Let q(i) = a(i) - 6*w(i). Does 2 divide q(-5)?
False
Suppose 3*m = -4*d + 1525 + 1958, 4*d + 4*m = 3488. Suppose d = 9*n + 111. Is 14 a factor of n?
True
Does 30 divide -9*(-322)/63*1?
False
Let n be 4 + (0/(-2))/(-3). Let w be n/(-8) - (-18)/4. Suppose -2*c - 4*r + 62 = -26, -w*r + 180 = 4*c. Is c a multiple of 28?
False
Let c = -509 + 959. Is c a multiple of 6?
True
Suppose 5*u + 5*x = 25, -2*x - 25 = -2*u - 7*x. Let p be u + -18 + (-15 - -14). Let t = p + 35. Does 7 divide t?
False
Let u(q) = -q**2 - 27*q - 14. Let b = -126 + 110. Is 25 a factor of u(b)?
False
Let h = 5 + -5. Let d be h*(-2 - (-10)/6). Suppose 0 = -d*b - 3*b + 36. Is 12 a factor of b?
True
Is (20202/(-9) - 6)/((-10)/15) a multiple of 46?
False
Does 9 divide (-11 + -108)*(-2 + 1)?
False
Let v be (279/18)/((-2)/(-8)*2). Let i = 14 + v. Does 9 divide i?
True
Let w be -1*((-504)/(-7))/4. Suppose 0 = 2*p - 2*j - 238, 0*p + 5*j = -2*p + 245. Let y = p + w. Is 15 a factor of y?
False
Suppose 6 + 1 = m + 5*w, -m + 10 = 4*w. Suppose -5*x + 77 = -3*j + m, 3*x = 2*j + 32. Is x a multiple of 7?
True
Let r(b) = b**2 + 9*b + 11. Let n be r(-8). Suppose 5*w = -n*c + 280, c = -3*w + 77 + 19. Does 15 divide c?
True
Is 53 a factor of (-5)/(-15) + 174/18*316?
False
Suppose -475 = -7*a + 2*a. Let n(y) = y - 2. Let z be n(6). Suppose -2*j + 140 = -5*b, 3*j + z*b = 138 + a. Is 20 a factor of j?
False
Suppose 0 = -3*d + 19 - 1. Let o be (-44)/(-3) - (-2)/d. Let r(a) = -a + 23. Is r(o) a multiple of 6?
False
Suppose -2*x = 3*h + h - 408, -3*x = 12. Does 30 divide h?
False
Suppose -6*o - 2 + 32 = 0. Suppose -3*g + 252 = m + 89, -869 = -o*m + 3*g. Does 43 divide m?
True
Suppose -1109 + 94 = -y. Suppose -y = -7*a + 945. Does 40 divide a?
True
Let i(d) = -d**3 - 3*d**2 - 2*d. Let y be i(-3). Let w(s) = -s**3 + 7*s**2 + 5*s - 7. Is w(y) a multiple of 12?
False
Let u(p) = -p + 11. Let d be u(-10). Suppose -2550 = 11*w - d*w. Does 15 divide w?
True
Let u(w) = -w**3 - 3*w**2 - 12*w - 7. Let c(d) = d**3 - 17*d**2 + 13*d + 43. Let n be c(16). Does 13 divide u(n)?
False
Let y(v) = 3*v**2 + v + 312. Let c be y(0). Let x = c + -186. Does 18 divide x?
True
Let u be (2/(-6))/(7/(-3045)). Let c = u - 93. Suppose -4*q = -2*x + 52, -4*x - 2*q = 3*q - c. Does 10 divide x?
False
Let c(r) = 75*r - 33. Let k be c(9). Suppose -k = -10*w + 4*w. Is 27 a factor of w?
False
Suppose 0 = t - 3*x - 1473, 3*x - 72 = -2*t + 2901. Is t a multiple of 38?
True
Let p = -77 - 727. Does 17 divide 1 + 1 - (-13)/((-78)/p)?
True
Let y = -7 - -4. Let o = y - 5. Let h = 12 + o. Is h a multiple of 2?
True
Let l = -18 - -26. Suppose 4*r - 12 = -l. Is 5 a factor of (-1)/r + 9 + 7?
True
Let p(t) = 132*t**2 - 15*t + 27. Is 16 a factor of p(2)?
False
Suppose -w - 5*y = -29, 0*w + 2*w = 4*y - 12. Suppose 6 = w*d + 18. Is 14 a factor of -28*d/12*2?
True
Let m(v) be the third derivative of -v**5/30 - v**4/24 + 61*v**3/3 - 2*v**2 - 13. Is m(0) a multiple of 6?
False
Let o be -1*(-3 - (-4 + 3)). Suppose 14 = o*c + 10. Suppose 0 = c*q - q - 58. Is 24 a factor of q?
False
Let t(p) = -p**3 - 5*p**2 - p. Let q be t(-8). Does 10 divide ((84/(-35))/2)/((-2)/q)?
True
Let w = 210 - -21. Let p = 10 + w. Does 13 divide p?
False
Let h(x) = 2*x**2 + 3*x - 4. Let t be h(3). Let v = t - 18. Suppose 2*b = -2*b - v*g + 229, -4*b = 2*g - 214. Is b a multiple of 17?
True
Suppose -328 = 2*d + 2*g, -180 = d - 2*g - g. Is (d/36)/(4/(-18)) a multiple of 21?
True
Suppose z - 4*u = 14, -5*z = -4*z + 3*u + 7. Let x = -135 + 191. Suppose -5*c + 0*c + x = 4*f, z*c + f = 23. Is c a multiple of 12?
True
Let t = 5 - 11. Is 10 a factor of (108/10)/(4*t/(-60))?
False
Suppose -y + 5 - 129 = 0. Let c = y - -183. Let r = -30 + c. Is r a multiple of 8?
False
Is 86*(2 + (5 - -4)) a multiple of 22?
True
Let r(w) = -w**3 + w**2 + w. Let u(v) = 8*v**3 + 2*v**2 + v - 1. Let g(j) = 2*r(j) - u(j). Let d(q) = q**2 - 2. Let z be d(0). Does 43 divide g(z)?
False
Let z(j) = 15*j**2 + 61*j + 86. Is z(-11) a multiple of 4?
False
Let a(c) = -4*c + 5. Let s(b) = -2*b + 3. Let v(d) = 4*a(d) - 10*s(d). Let z be v(4). Suppose 0*f + 330 = z*f. Is 11 a factor of f?
True
Let r = 13 - 14. Is ((-17)/34)/(r/84) a multiple of 16?
False
Suppose -3*h + 10*f = 8*f - 3400, -h + f + 1133 = 0. Is 21 a factor of h?
True
Let h(g) 