 5*t = 0, q*t = x - 6. Does 9 divide u(x)?
True
Suppose -w = -2*r + 2, r + w - 13 = -2*r. Suppose r*x - 158 = -14. Does 24 divide x?
True
Suppose -2*b + b + 14 = -4*t, 3*b = 4*t + 50. Let z(u) = u**2 - 13*u - 43. Does 5 divide z(b)?
False
Let q(n) be the first derivative of 77*n**2/2 - 14*n + 4. Is q(2) a multiple of 28?
True
Suppose -4*g + 4684 = -4*j, 2*j = 3*g - 3449 - 68. Is g a multiple of 47?
True
Let l = -175 - -273. Suppose -97*s = -l*s + 66. Is s a multiple of 9?
False
Let c(h) = -h**2 + 3*h + 29. Let d be c(7). Let u(z) = 5*z**2 - 3*z + 2. Is u(d) a multiple of 2?
True
Let f(r) = 6*r**2 - 15*r + 42. Let z be f(18). Suppose 5*k = -8*k + z. Does 66 divide k?
True
Let b = -32 - -20. Is ((-8)/b)/((-2)/(-93)) a multiple of 12?
False
Suppose -55*m = -59*m - 40. Is (-562)/(-4) + m/20 a multiple of 28?
True
Suppose -m = 3*x + 29, -m - 6 = x + 3*m. Let r(g) = g**3 + g. Let w(t) = 5*t**3 - 8*t**2 + 19*t - 17. Let j(v) = -6*r(v) + w(v). Is j(x) a multiple of 14?
False
Let g be (-3)/2*5/(30/(-16)). Suppose i + 5*n = 170, 0 = g*i - 2*i + 4*n - 328. Does 20 divide i?
True
Suppose -4*q + 37 = 5*m, -5*m + 0*q + 39 = 3*q. Let w(x) = 2*x**2 - 16*x + 28. Does 12 divide w(m)?
False
Let q = -8 - -24. Suppose -q + 18 = y. Suppose -4*o = -8, n = 5*n - y*o - 36. Is n a multiple of 6?
False
Let d = 4 + 1. Suppose -5*r + 80 = d*z, -7*z = -4*r - 2*z + 100. Is r a multiple of 20?
True
Let o(l) = l**3 + 6*l**2 + 5*l + 3. Let g be o(-5). Suppose g*x - 2*x = 16. Suppose -d + 0*d = -x. Is 11 a factor of d?
False
Is (1/(-1))/(0 - (-4)/(-588)) a multiple of 11?
False
Suppose -3*t = -333 + 120. Suppose 2*a = t + 69. Is a a multiple of 13?
False
Suppose 0 = -5*r - 15, 31 = 5*a + 4*r - 2. Let z(n) = -n**3 + 9*n**2 + 2. Let q be z(a). Suppose p = 2 + 3, -5*p = -q*i + 19. Does 8 divide i?
False
Let g = -41 - -19. Let a = g - -26. Is a a multiple of 4?
True
Suppose 0 = y + a - 11, -4*a + 30 = 2*y - 0*a. Let q = y - -13. Is 38 a factor of 74 + 8/q*5?
True
Let s = 379 + -202. Suppose w = -2*w + s. Let v = w - 25. Is 17 a factor of v?
True
Let z be 0 + 5 + -1 - 1. Suppose 0 = 2*f - z*f + 60. Is f a multiple of 14?
False
Suppose 3*p - 804 = -3*n, n + 46 = -4*p + 302. Let g = -172 + n. Is 15 a factor of g?
False
Suppose 21*h - 18 = 15*h. Does 10 divide h/102*514 + (-4)/34?
False
Let t(k) = -k**3 - 23*k**2 - 52*k + 7. Is 10 a factor of t(-21)?
False
Suppose 64*b - 157794 = 13*b. Does 17 divide b?
True
Let k(l) = -2*l**2 + 2*l - 184. Let b be k(0). Is (-5)/(10/6) + b/(-4) a multiple of 33?
False
Let r = 89 - -233. Does 21 divide r?
False
Let r(h) = -2*h + 10. Let v be r(4). Is 2 a factor of (v - 0)*(-10 + 0)*-1?
True
Let d(c) = 2*c**2 + 3*c - 7*c + 0 - 3. Is d(4) a multiple of 13?
True
Suppose -x = -3*x + 204. Is 6 a factor of x?
True
Let b = -630 + 950. Is 40 a factor of b?
True
Does 22 divide (-94)/(-7)*(9/6 + 2)?
False
Suppose -j = -4*x - 52, -j - 3*x + 9 + 15 = 0. Suppose 0*y = 3*y + j. Does 3 divide (-45)/18*y/5?
True
Let c(w) = -9*w + 412. Is c(22) a multiple of 14?
False
Let m(j) be the first derivative of j**4/4 - 7*j**3/3 - 3*j**2/2 + 10*j - 33. Suppose 33 = 4*o + 1. Does 25 divide m(o)?
True
Suppose -3*b = -b + g - 2, 3*g - 6 = -b. Suppose u = 5*j + 367, u - 331 = -4*j - b*j. Does 21 divide u?
False
Suppose 25*x = 21*x + 132. Let q = 15 - -1. Suppose -i + q = -x. Does 21 divide i?
False
Suppose -10*v = -2*g - 9471 - 13753, -5*g = -15. Does 66 divide v?
False
Let n(c) = -c**3 - 4*c**2 - 4*c + 5. Let p be n(-3). Suppose p*r - 60 = 3*r. Does 8 divide r?
False
Suppose -o = 4*n - 19, 0 = 9*o - 10*o + 3*n + 5. Is o a multiple of 3?
False
Let m = 57 - 53. Does 3 divide (-2)/m*2*-18?
True
Let c = -62 + 120. Does 29 divide c?
True
Suppose -n = -5*n - 28. Let u = n - -2. Let h(q) = -q**2 - 7*q. Does 5 divide h(u)?
True
Let m = -61 - -58. Let w be (-1)/(18/20 + -1). Let s = w + m. Is 2 a factor of s?
False
Suppose -8*m + 4*m = -24. Is ((-3)/m)/(7/(-294)) a multiple of 7?
True
Let a = 560 + -300. Is 24 a factor of a?
False
Suppose -3*h = 4*i + 4 + 11, 2*i = -h - 5. Let g = 99 + -49. Does 16 divide g - (-2 - (i - 4))?
True
Let i(f) = f**2 - 6*f + 21. Let w be i(-9). Suppose 17*a - 18*a = -w. Does 12 divide a?
True
Let i = -502 + 900. Suppose k - h = 24, 0 - 2 = -2*h. Suppose -5*l = k, -l - i = -4*o - 3*l. Is o a multiple of 14?
False
Let u(y) = 3*y**3 - 5*y**2 + y + 7. Suppose -d + 2 = -2. Does 23 divide u(d)?
False
Suppose 0 = 6*n - 12*n - 522. Let m = 104 + n. Is m a multiple of 8?
False
Suppose 11 + 4 = 5*z. Let m(v) = -8 + 3*v**3 + 13*v + 2*v**3 + 2*v**3 - 6*v**z - 10*v**2. Is m(9) a multiple of 14?
True
Let d(h) = h**3 + 12*h**2 - 11*h + 5. Let i be d(-13). Is ((-12)/14)/(i/392) a multiple of 16?
True
Let y(l) = 2*l**3 + 13*l**2 + 9*l. Suppose 13 - 28 = 3*o. Is y(o) a multiple of 13?
False
Let z(u) = -u**3 - 2*u**2 - 4*u + 1. Suppose 0*r + 6 = -2*r. Let x be z(r). Is 8 a factor of (x/(-8))/(2/(-8))?
False
Does 10 divide (-25)/(-10)*(-792)/(-9)?
True
Let j(b) = -b**3 + 11*b**2 - b + 14. Let z be j(11). Suppose -11 = l - z. Let r = 17 + l. Is r a multiple of 9?
True
Let b = -133 + 198. Suppose -5*x - b = -r - 6*x, 199 = 3*r + 5*x. Does 7 divide r?
True
Suppose -5*m + m = -3*w + 512, w - 158 = -5*m. Suppose 5*x - 279 = 4*z, 3*z + w = 4*x - x. Let u = 135 - x. Is 21 a factor of u?
False
Let j(w) = w**3 - 6*w**2 + 4*w + 11. Let i(u) = -3*u - 29. Let a be i(-12). Does 22 divide j(a)?
True
Suppose -44 = 6*w - 278. Does 3 divide w?
True
Suppose -36*n + 39*n + 30 = 0. Is (n - -8)*(-15)/2 a multiple of 5?
True
Suppose 0 = 5*v - 15, 633 = -0*z + z - 4*v. Does 13 divide z?
False
Let o be -60*-2*2/6*2. Let p = 80 + o. Does 23 divide p?
False
Let h(n) = n**2 + 3*n - 3. Let u be h(2). Let z(f) = f**3 - 7*f**2 + 4*f - 4. Does 6 divide z(u)?
True
Suppose 620 = 5*b - 720. Suppose b = -32*h + 36*h. Is 14 a factor of h?
False
Let a = 135 + 333. Does 9 divide a?
True
Suppose 3*n - 5*o = 27, 0*o - 2*o - 18 = -2*n. Let t(x) = -5*x + 3. Let c be t(n). Does 6 divide (-1)/(1 + 43/c)?
True
Suppose 14 = -d - 3*l, 0*l + 4*l = 5*d - 25. Let r be (1 + d)*(2 + 0). Suppose 275 = -r*s + 9*s. Does 16 divide s?
False
Let b be 21/7 - (-2)/1. Suppose 0 = b*d + 139 + 81. Let x = 64 + d. Is 4 a factor of x?
True
Let c = -112 + 109. Does 6 divide c*(-6)/(-18)*-65?
False
Let b(j) = 19*j**2 + 3*j - 127. Is b(8) a multiple of 21?
True
Let q be (6 - (-1 - -3))*(-43)/(-4). Let f = 50 - q. Is f a multiple of 2?
False
Suppose -2 - 22 = -6*x. Suppose 0 = -5*v + x*v + 117. Is v a multiple of 9?
True
Let d(s) = -4*s + 1. Suppose -5*c = 5*m, -4*c - c = -3*m - 8. Let v be d(m). Suppose -o + 4*t = -58, -v*t = 3*o - 112 - 62. Is 10 a factor of o?
False
Let a = 297 - 269. Does 17 divide a?
False
Is (-6)/(2/80*-4) a multiple of 6?
True
Suppose -3*u + 2*q = -7766, 0 = -0*u - 5*u + 5*q + 12940. Is 10 a factor of u?
True
Suppose 2*g + 0*x = -x + 151, -5*g - 5*x + 375 = 0. Let h = g - 31. Is 9 a factor of h?
True
Suppose 3 = a, 2*a = z - 0*z + 11. Is z*(-3 - (267/(-5))/(-3)) a multiple of 27?
False
Let v(m) be the second derivative of 7*m**4/12 - m**3/6 + m**2 - 5*m. Is 5 a factor of v(-2)?
False
Let i(j) = j**2 - 3*j + 5. Let d be (-1)/((-2)/(-17 - -3)). Let y(v) = v**2 + 5*v - 10. Let x be y(d). Does 4 divide i(x)?
False
Let x = -46 + 214. Let i = x + -18. Is i a multiple of 25?
True
Let l(z) = -19*z + 16. Let s be l(-8). Suppose r + n - 67 = -r, 2*n = -5*r + s. Is r a multiple of 31?
False
Let t = -16 - -21. Suppose 93 = c - 3*g, 0*c - t*c = -g - 479. Is c a multiple of 24?
True
Let q be 8/44 + (-126)/(-33). Let p(t) = 2*t**3 - 5*t**2 - 2*t + 1. Let z be p(q). Suppose 5*s + z = 201. Does 10 divide s?
False
Let m(o) = o - 3. Let h be m(5). Let n(y) = -2*y + 3*y**2 - 4*y**h + 13*y + 9 + 0*y**2. Is n(7) a multiple of 9?
False
Suppose -146 = -5*t + 304. Is t a multiple of 4?
False
Let r = -79 - -132. Let i = r - 36. Suppose -u + 1 = -i. Is u a multiple of 6?
True
Let r be -2 - ((1 - -1) + 8). Let o(p) = -p**2 - 9*p + 11. Let c(a) = a + 1. Let n(x) = -5*c(x) + o(x). Is 15 a factor of n(r)?
True
Let r = -912 + 1122. Is 14 a factor of r?
True
Let t(g) = 47*g - 323. Is 39 a factor of t(17)?
False
Suppose 4*y + 2*w = -86, -5*w + 121 = -y - 3*y. Let b be (y/10)/((-2)/5). Suppose -8*v = -b*v - 128. Is 16 a factor of v?
True
Let q = -16 - 30