 = -0*w. Suppose t*v = -0*v + 160. Is v a multiple of 16?
False
Let v = 492 + -303. Is 27 a factor of v?
True
Let v(g) = -g**2 + 12*g - 11. Is 7 a factor of v(8)?
True
Suppose 5*o - 3*u + 20 + 5 = 0, -4*o = 2*u + 42. Let d be (-6)/24 + (-42)/o. Suppose 0 = -d*f + 26 + 14. Is f a multiple of 7?
False
Let b be (0 - -1)/(4/44). Suppose b + 9 = -4*g, -4*g = -2*f + 42. Is 10 a factor of f?
False
Let h(k) = 3*k**3 - 6*k**2 - 2*k - 17. Does 33 divide h(5)?
True
Does 32 divide 32/6*(-40)/15*-18?
True
Let k(m) = m**3 - 5*m**2 - 8*m. Is k(7) a multiple of 7?
True
Suppose -2*t = 4, 2*q + 5*t = -2*q + 334. Is q a multiple of 4?
False
Suppose -3*o = -11 - 7. Let d(c) = c - 6. Let s be d(o). Let g(u) = u**3 - u + 17. Does 17 divide g(s)?
True
Suppose r - 141 = -3*y, 2*y - 5*y + 141 = 5*r. Let t = -26 + y. Is 7 a factor of t?
True
Let f = 188 - 104. Is 14 a factor of f?
True
Let h = 21 - 5. Let c = 31 - h. Is c a multiple of 15?
True
Suppose -5*z - 10 = 45. Does 16 divide 18/(-99) + (-178)/z?
True
Let v = 87 + -21. Is v a multiple of 34?
False
Let u(h) = -h**3 - 5*h**2 + 9*h + 4. Let n be u(-7). Let w be n*3*4/9. Suppose 3*k - 2*j = 19 + w, -5*j = k - 52. Is k a multiple of 11?
False
Let k(m) = 9*m - 1. Suppose -3*w = -6, 5*x - 7 + 0 = 4*w. Suppose -2*v + 4 = -2*p, 4*v - x*v - 4 = -p. Is 13 a factor of k(v)?
True
Let l be ((-6)/8 - -2)*4. Suppose l*b = 4*v - 51, -2*v + 4*v - 30 = -2*b. Does 9 divide v?
False
Let h = -9 + 8. Let g = h - -1. Suppose 106 = 4*o - 2*c, -44 = -2*o - g*c + 4*c. Is o a multiple of 12?
False
Let x(n) = -n**2 - n + 3. Let s be x(-5). Let k = s - -35. Let i = k + -10. Is 4 a factor of i?
True
Suppose -13 - 3 = -i. Suppose -i - 15 = -h - z, -h - 4*z = -28. Does 7 divide h?
False
Let b(t) = -t**3 - 7*t**2 + 7*t - 4. Let m be b(-8). Suppose -8 - 8 = -m*p. Does 3 divide p?
False
Let f = 48 + 7. Let y = f + -78. Let d = -12 - y. Is d a multiple of 5?
False
Let k(b) be the third derivative of -b**6/3 - b**5/60 + b**4/24 + b**3/6 + 3*b**2. Is 12 a factor of k(-1)?
False
Let v be 2/2 + (-1 - 1). Suppose -3*o = j + 1, 2*j + 5*o = -0*o + 2. Let q = v + j. Is q a multiple of 5?
True
Suppose 0*n + 2*n + 3*i - 33 = 0, -3*n = 2*i - 47. Is n a multiple of 3?
True
Suppose -p + 34 = -3*d, 2*p = d - 2*p + 15. Let w = d - -5. Let a(j) = -4*j + 7. Does 12 divide a(w)?
False
Let n = -29 - -47. Is n a multiple of 9?
True
Let h(a) = a**3 + 6*a**2 - 9*a - 7. Let w be h(-7). Let j be -2 - w/(21/(-12)). Suppose j*i - 57 = i. Is i a multiple of 21?
False
Suppose -a + 0*a = 52. Let x = 22 + a. Let h = x + 51. Is h a multiple of 13?
False
Let m(r) = r**3 - 6*r**2 + 8. Suppose -2*a + a - 25 = -4*n, -n = -4*a - 10. Is 8 a factor of m(n)?
True
Let b = 49 - 33. Does 10 divide b?
False
Suppose 0 = -2*d - 2*c - 18, -3*c = -8*c - 20. Is d/((-10)/88) - 1 a multiple of 20?
False
Let q(v) = 11*v**2 - 2*v. Let x be q(-2). Let r = -22 + x. Is 13 a factor of r?
True
Suppose -2*g = -2*c - c - 263, 2*c = -g + 149. Does 30 divide g?
False
Let n = -1 - -2. Let v = n - 0. Is (v + 39)*6/4 a multiple of 21?
False
Let m be 32/(-10) + 1/5. Let j be 1/m + (-35)/(-15). Suppose -y + 4*z + 17 = 0, y + 4*z = -j*y + 131. Is 13 a factor of y?
False
Let d be (16 - (1 + 1))*2. Let r(j) = d*j**2 - j + 0*j + 2*j - 1 + 2. Does 14 divide r(-1)?
True
Let t(l) = l**3 - 3*l**2 - 2*l + 2. Let i be t(3). Let s be (0 + i + 3)*-1. Does 17 divide (s - -46) + 5 + -6?
False
Let x = 3 + -3. Suppose x*i = i - 6. Is 6 a factor of i?
True
Let z be ((-4)/3)/(4/36). Let y = 32 + z. Is y a multiple of 4?
True
Is 14 a factor of (-3 + (-52)/(-20))*-70?
True
Let c(z) be the second derivative of z**3/3 - 9*z**2/2 - z. Let g be c(8). Is 6 a factor of (-160)/(-28) - (-2)/g?
True
Let z(v) = 12*v - 12. Let o be z(8). Suppose -5*c + 2*c - 3*w = -o, 22 = c - 2*w. Is c a multiple of 13?
True
Let g(z) = -4 - 4*z**2 - 2*z**2 + z**3 + 5*z + 2*z**2. Let u be g(3). Suppose -u*n + 0 = -28. Is n a multiple of 9?
False
Let n be ((-18)/8)/(3/56). Is n/2*12/(-9) a multiple of 14?
True
Suppose 147 + 465 = 9*y. Is y a multiple of 8?
False
Let w = 126 - 40. Is 43 a factor of w?
True
Let p(t) = -24*t - 1. Let d = 2 - 3. Does 17 divide p(d)?
False
Suppose -2*c = -5*d - 3*c + 80, 3*c + 15 = 0. Let u be d/5 + (-4)/10. Let v(t) = -t**2 + 6*t + 3. Is 7 a factor of v(u)?
False
Let j = 13 + 33. Is 17 a factor of j?
False
Suppose -4*k + 42 = -334. Is 27 a factor of k?
False
Let h = -41 + 80. Is h a multiple of 7?
False
Suppose 5*j = 2*s - 360, 490 = 3*s + 2*j + 3*j. Is 17 a factor of s?
True
Let r(p) be the third derivative of p**6/120 - p**5/10 + p**4/8 + p**3 - 2*p**2. Is r(6) a multiple of 18?
False
Does 13 divide (-182)/((1*-6)/3)?
True
Let a(g) = -2*g - 1. Let u be a(-2). Is 24 a factor of 0/u - 1*-72?
True
Suppose -3*w = 3*f - 297, -f = 2*f + 2*w - 292. Let z = f - 43. Is 2/((-96)/z + 2) a multiple of 7?
False
Suppose -2*i + 3*j + 92 = -j, -3*i - 2*j = -130. Suppose 2*t = 2*b - 0*b + i, 0 = 4*b + t + 108. Let r = -15 - b. Does 4 divide r?
False
Suppose 5*d + 4 = -4*n, 5*d + 3*n = 3*d - 3. Is -1 - -3 - (d - 101) a multiple of 22?
False
Let r(i) = -i**2 - 6*i - 4. Let z be r(-4). Let x(s) = s + 1. Let y be x(z). Suppose 0 = -y*t + 4*t + 16. Does 16 divide t?
True
Let c(u) = 17*u**2 + 2*u + 3. Does 21 divide c(-2)?
False
Let j be -2 - (3/(-3) + -6). Suppose -j*a = -3*a - 16. Is a a multiple of 3?
False
Suppose 3*j = -2*j + 40. Let x = -15 + 21. Let l = j - x. Does 2 divide l?
True
Let v(t) = t + 8. Let i be v(-6). Let l = 11 + -3. Is l/6*9*i a multiple of 11?
False
Suppose -d - 3*d + 36 = 4*r, -2*r + 2*d + 30 = 0. Let l be 0/(-3 - r/(-3)). Suppose 3*n = -l*n + 54. Does 18 divide n?
True
Suppose 3*p - 675 + 240 = 0. Suppose -v + 6*v = x + p, 5*x = -4*v + 87. Is v a multiple of 15?
False
Suppose -3*z - k + 6 = 3*k, 3*z - 6 = 2*k. Suppose d = 4*b + 21, 3*d = d - 2*b + z. Suppose -2*y = 5*r + y - 180, 5*r = -d*y + 170. Is r a multiple of 13?
True
Let r(h) = 3*h + 2 + 0*h - 3 - 4*h. Let a be r(-6). Let v = 1 + a. Is 3 a factor of v?
True
Let t be -4*(-2 + (-1 - -1)). Let m = 13 - t. Suppose m*h - 37 = 3*b - 5, 0 = 5*h - 4*b - 31. Is 7 a factor of h?
True
Let f(n) = 5*n + 6. Let h(l) = l**3 + 11*l**2 + 10*l + 5. Let z be h(-10). Is f(z) a multiple of 10?
False
Let t(s) = -s + 9. Let m be t(5). Let x be (-1504)/(-28) - m/(-14). Let r = -34 + x. Is 7 a factor of r?
False
Suppose 0 = 3*x - 4*v + 29, -4*x - 5*v - 70 = -21. Let p = x + 53. Is p a multiple of 9?
False
Let w(a) = a**3 + 7*a**2 - 10*a + 8. Let o be 22/(-3) - 10/15. Let g be w(o). Let k = g - 14. Is k a multiple of 10?
True
Suppose 3*l - 276 = -4*n, 0 = 4*l - 11 + 27. Is n a multiple of 8?
True
Let t(a) = a**2 + 8*a - 1. Let y be t(-7). Let q(z) = z**3 + 9*z**2 + 7*z + 7. Does 15 divide q(y)?
True
Let d(p) = -p**3 + 3*p**2 + 5*p + 1. Let m be d(4). Let h(n) = -n + 29. Let x be h(0). Suppose m*k = 4*k + x. Is k a multiple of 10?
False
Let f = 27 - 7. Suppose g + f = 2*g. Is 10 a factor of g?
True
Let r(m) = m**2 - 7*m - 3. Let p(w) = 2*w**2 - 5*w - 4. Let a be p(4). Is 4 a factor of r(a)?
False
Suppose 0 = -4*c + 888 + 488. Does 43 divide c?
True
Let m(q) = -q**3 + 5*q**2 - 3*q - 4. Let j be m(3). Let b = 20 - j. Suppose -4*n = -n - b. Does 5 divide n?
True
Let w = 102 - -31. Suppose -4*p = 3*p - w. Is p a multiple of 7?
False
Does 5 divide (4/(-12))/(2/(-66))?
False
Suppose 0 = 3*q - 8 - 145. Is q a multiple of 17?
True
Suppose -5*b = 5*o + 4 + 11, -3*o - 15 = 0. Let w be (-4)/b - (-5 + 3). Suppose -5*z - 5*d + 330 = 0, -2*z = -3*d - w*d - 127. Is z a multiple of 22?
False
Does 3 divide 29/((-2)/(-6)*3)?
False
Suppose 2*n - 2 - 2 = 0. Suppose 69 = q - 5*b - 9, -q - n*b = -57. Is q a multiple of 21?
True
Suppose d + 4 = 22. Suppose o = 3*o - d. Let z = o + -5. Is z even?
True
Let t = 92 - 27. Is 9 a factor of t?
False
Let o(f) = -2*f**2 + 3*f + 4. Let n be o(-5). Is n/(-2) - 3/6 a multiple of 14?
False
Does 11 divide (-999)/(-21) - 3/(-7)?
False
Suppose 3*u - 5*u = -12. Is u a multiple of 2?
True
Let r = 6 - 6. Suppose -3*q = 0, -80 = -5*x - r*x + 4*q. Is 8 a factor of x?
True
Let o = -3 - -4. Let b be 12/7*63/18. Is (o - -1)/(b/60) a multiple of 20?
True
Suppose 0 = -6*y - 0*y. Suppose y = 5*l - 174 - 121. Does 27 divide l?
False
Suppose 3*k = -u + 26, -2*k = -u + 4*u - 22. Does 4 divide