((-2)/6*0)/3. Suppose -4*w + 2*t + 716 = 0, -3*w = -b*t - t - 538. Is w a multiple of 18?
True
Does 22 divide (3 + -1)*9/(-18)*-335?
False
Let k = 283 - 67. Suppose k + 312 = 4*o. Does 33 divide o?
True
Let z = -3 + 5. Let i(b) = b**3 + 8*b**2 - 2*b. Let o be i(-8). Suppose 0 = -2*a + 3*v + o, 0*a + z*a = 4*v + 16. Is 4 a factor of a?
True
Let x = -33 - -24. Is -27*-3*(0 - 3/x) a multiple of 5?
False
Let n be ((-1)/(-3))/((-3)/(-27)). Suppose 2*h + n = -h. Let f(q) = -22*q**3 - q**2 - q. Is 22 a factor of f(h)?
True
Suppose 3*a - 6 = 9. Let t(v) = 2*v**3 - 3*v**2 - 7*v + 12. Is 17 a factor of t(a)?
False
Let c(i) = -25*i**3 + i**2 - i + 1. Let v be c(1). Let z = 28 - v. Is z a multiple of 30?
False
Suppose 7*a - 25 = -4. Suppose -6*y = -a*y - 882. Is y a multiple of 42?
True
Let i be (-21)/(-9) - 14/(-21). Suppose i*z = -3*q + 2*z + 8, -3*z = -q + 6. Suppose m - 70 = -3*f, -4*m + q*f = -3*m - 100. Is 17 a factor of m?
True
Suppose -88 - 372 = 5*u. Let d = u - -165. Is 19 a factor of d?
False
Let o(x) = 43*x**2 + 20*x + 43. Is o(-3) a multiple of 9?
False
Let z = -7 + 41. Suppose 2*w = 3*s - 0*w - z, 5*w = -2*s + 10. Suppose -f + 6 = -s. Is 16 a factor of f?
True
Let c = -41 - -29. Let g = c - -20. Suppose -4*o - k = -21 - g, -5*o + k = -34. Is o even?
False
Suppose 5*j = -2*h + 1, 0*h - 3*j = -5*h - 13. Does 11 divide -2*(-1)/h*(-196)/4?
False
Let c be 50/(7/((-14)/(-4))). Let b be ((-240)/c)/((-2)/10). Suppose -3*i = -b - 21. Is i a multiple of 6?
False
Let s(b) = b**2 + 8*b + 7. Let z be s(-3). Is 4/(1/((-260)/z)) a multiple of 26?
True
Let x(b) = 7*b**3 + 13*b**2 - 6*b - 12. Is x(6) a multiple of 52?
False
Does 22 divide (-244 - -7)*(-2)/1?
False
Let p(t) = 326*t + 213. Does 19 divide p(5)?
True
Let m(u) = -u**3 - 4*u**2 - 4*u + 2. Let r be m(-2). Is (2/(-4))/((-4)/592*r) a multiple of 37?
True
Let b(d) = -17*d - 26. Let p be b(-6). Let h = 135 - p. Does 10 divide h?
False
Let l(i) = -3*i**2 - 7*i + 1. Let x be l(5). Let c = 165 + x. Is c a multiple of 28?
True
Suppose -q + 5*m + 17 = 0, 3*q - 116 = -q - 4*m. Suppose -3*s - q - 12 = 0. Let y = s - -31. Is y a multiple of 6?
True
Let b = -29 + 24. Let k = 3 + b. Is 9 a factor of 0 + 2 - 84/k?
False
Let s be (4/(-5))/(64/160). Is (35/(-10) - -2)*36/s a multiple of 2?
False
Let f = 30 + 62. Is 23 a factor of f?
True
Suppose 15 = 7*q - 2*q. Suppose -4*a - p = p - 146, q*a = p + 102. Is 13 a factor of a?
False
Suppose -1260 = -3*y + 5*i, i - 1040 - 202 = -3*y. Suppose -3*o - 5*n + 227 = -0*n, -5*o - n = -y. Is 38 a factor of o?
False
Does 5 divide ((-5480)/(-70))/((-2)/(-7))?
False
Let s(h) = -h**3 + 13*h**2 - 2*h + 5. Let i be s(12). Is 12 a factor of i/2*132/110?
False
Is 22 a factor of (-9)/21*246*28/(-6)?
False
Let t = -634 - -689. Is t a multiple of 3?
False
Suppose -3*z = -0*z - 768. Suppose -2*s - 4*g + z = 2*s, 4*g = -2*s + 138. Suppose -629 = -5*j - s. Is 23 a factor of j?
False
Suppose 2*k - 34 = 4*n - 2*n, 0 = 4*k - 8. Is ((-53 + -1)*-1)/(16 + n) a multiple of 6?
True
Let k = 82 + -74. Suppose 7*j - k*j + 322 = 0. Is 30 a factor of j?
False
Suppose 3*j - 4*j = -166. Suppose -4*w = j - 10. Let p = w - -103. Is p a multiple of 16?
True
Let m(w) = 2*w**2 - 13*w - 5. Suppose -10 = -2*b, a = b - 1 + 4. Is 15 a factor of m(a)?
False
Let o be 6*-3*4/(-24). Suppose 2*g - o*g = -f + 6, f = 3*g + 12. Suppose -u - f*u = -172. Does 35 divide u?
False
Let o(f) be the third derivative of -f**4/6 + 13*f**3/6 - 11*f**2. Is 12 a factor of o(-9)?
False
Let b(o) = -o**2 - 11*o - 8. Let n be b(-9). Suppose -3*k - 8 + 2 = 4*y, 5*k + n = -4*y. Suppose y = -7*v + 12*v - 20. Is v a multiple of 4?
True
Suppose -4*i = -5*p - 17, -2*i = 2*p + 3*p + 29. Let g(l) = l**3 + l**2 + 1. Let f be g(0). Is 6 a factor of 4*(3 + (f - i))?
True
Suppose 4*o - 2845 = -o + 5*p, -2261 = -4*o + p. Does 54 divide o?
False
Suppose -2*p + 10*p = 272. Does 7 divide p?
False
Let o(n) = n. Let b(r) = 41*r + 1. Let f(a) = -b(a) - 3*o(a). Let p be f(-5). Suppose 3*d - p = -4*g, 276 = 4*g + g + 3*d. Is g a multiple of 14?
False
Let i be (3 - (1 + 1)) + 2. Suppose -t - 15 = -i. Let r = t + 26. Does 13 divide r?
False
Let v = 120 + -188. Is 17 a factor of (v/(-2))/(-1*6/(-21))?
True
Suppose -3*g + 5*o = -353, -7*g - 655 = -12*g - 5*o. Is g a multiple of 7?
True
Let z = 653 - 529. Is 7 a factor of z?
False
Suppose 5*b + 3*y = 29, -15 = -2*b - y - 4. Suppose 2*l + v + 3*v + 12 = 0, 2*l + b = -2*v. Suppose -l*j = -3*a - 247, j + a = 5*j - 509. Is j a multiple of 22?
False
Suppose 5*j = 4*i - i + 450, -360 = -4*j - 4*i. Is 9 a factor of j?
True
Let w(z) = 35*z + 4. Is w(1) a multiple of 3?
True
Suppose -2007 = -13*p - 122. Is 7 a factor of p?
False
Let g(q) be the third derivative of 19*q**4/24 - 5*q**3/6 - 13*q**2. Is g(5) a multiple of 9?
True
Suppose 4*s - 14 = -s - 3*z, -5*s + 30 = -5*z. Let q(c) = 17*c - 37. Let n be q(6). Suppose a = p - 25, 9*a = 2*p + s*a - n. Does 18 divide p?
False
Let j(b) = b - 8. Let p(v) = -v - 7. Let g(d) = 3*j(d) - 4*p(d). Suppose 11 + 5 = 4*y. Does 16 divide g(y)?
True
Let o(t) = 5*t + 12. Let d be o(5). Suppose 0 = -2*w - z + d, -4*w - 2*z = w - 90. Does 35 divide (-9207)/(-88) - (-6)/w?
True
Let z be 864/208 - 4/26. Suppose -5*a - 40 = -0*a. Does 4 divide (-1 - 23)/(a/z)?
True
Does 69 divide 7724/14 + 20/70?
True
Suppose -4*s = -5*d - 20, -2*s + 10 = 3*d + 2*d. Suppose -2*n = -4 - d. Suppose 0 = m - n*p - 24, -2*p = -3*m - 0*m + 80. Does 14 divide m?
True
Suppose -5*m - 15 = 0, -4*m - 84 = -2*b + 330. Does 10 divide b?
False
Suppose -m - v = -518, -2074 = -4*m - 6*v + v. Let z = 95 - -31. Suppose z = -5*k + m. Is 26 a factor of k?
True
Let m(r) = 7*r**2 + 16*r + 69. Is 42 a factor of m(-3)?
True
Suppose 5*c + 0 - 5 = 0. Suppose 5*h + 3*a = 9, -4*h = 5*a - 2 - 0. Is c/((-2)/(-70)) - h a multiple of 8?
True
Suppose 0 = -22*l + 415 + 91. Does 12 divide l?
False
Let t(h) = -h**3 + 2*h**2 + 6*h - 6. Let f be t(5). Let u be (1*f)/((-15)/10). Is (-8)/(-36) - u/(-9) a multiple of 4?
True
Let d be ((-3)/(9/2))/(18/(-135)). Suppose -65 = d*f - 10*f. Is f a multiple of 13?
True
Does 11 divide 5 + 88/(-20) + (-6252)/(-30)?
True
Let c(p) = -p**2 - 22*p - 10. Let u be c(-14). Is 17 a factor of u/4*(-8)/(-3)?
True
Let x(w) be the second derivative of -w**5/20 + 5*w**4/3 + 5*w**3/6 - 8*w**2 + w. Does 12 divide x(20)?
True
Let c(n) = -n**2 - 11*n - 14. Let x be c(-9). Suppose x*j + 18 + 2 = 0, -4*k - 2*j + 114 = 0. Is k a multiple of 5?
False
Let w(q) = -24*q**2 - 6*q - 6. Let u be w(-1). Let n = u - -128. Is 26 a factor of n?
True
Is (10148/413)/(1/7) a multiple of 5?
False
Suppose 4*i + 4*a - 1183 - 13285 = 0, -2*a + 6 = 0. Is 139 a factor of i?
True
Let r = -2 - -3. Let l(p) be the first derivative of 7*p**4/4 - p**2 + p + 14. Is 3 a factor of l(r)?
True
Does 7 divide (-36)/(-30) + (-2)/10 - -81?
False
Let d(y) = y**3 - 9*y**2 + 16*y - 8. Let j be d(7). Suppose 5*k = 3*r - 274, 278 = 3*r - j*k + 2*k. Is r a multiple of 35?
False
Suppose 7*w - 222 - 114 = 0. Does 17 divide (w + 0)*(6 + (-50)/15)?
False
Let l(g) = -g**3 + 8*g**2 + 6*g + 11. Let w be l(10). Let d = 41 - w. Suppose -4*n - 2*f + d = 0, 3*n - f - 185 = -n. Is 15 a factor of n?
True
Suppose 53*h - 9*h = 101288. Is 19 a factor of h?
False
Suppose 2*g = -4 - 36. Is 27 a factor of (-15)/g*(-1 - -109)?
True
Suppose 25*g - 24*g = 481. Suppose -10*t + 449 = -g. Is t a multiple of 20?
False
Let v(o) = 20*o + 5 + 32*o + 4*o**2 + 2 - 58*o. Is 4 a factor of v(5)?
False
Suppose 71 = 4*n - 5*h, -h + 77 = 6*n - 3*n. Suppose 4*a = -4, -5*f + n - 8 = 4*a. Is -1*108/f*-1 a multiple of 19?
False
Suppose 4*x - 148 = -p + 2*p, 2*x + 4*p = 56. Let m be (51 - (-5)/(-1)) + 4. Let q = m - x. Does 14 divide q?
True
Let f(o) = -o**3 + 5*o**2 - 5*o + 8. Let h be f(4). Suppose 0 = h*l - 2*s - 52, -5*l + 4*s = -45 - 14. Does 4 divide l?
False
Is 6 a factor of (27/42*228)/((-9)/(-42))?
True
Suppose -4*i + 4*w - 16 = 0, 2*w = -5*i - 0*w - 48. Let s = -3 - i. Suppose -m + s*c = -73, -m + 337 = 3*m - 5*c. Is 35 a factor of m?
False
Let o(d) = 396*d**2. Does 22 divide o(-1)?
True
Let o be (0 + 5)*1548/30. Suppose y = 3*y - o. Let l = y - 77. Does 13 divide l?
True
Let i = 349 + -192. Let x(q) = 2 + 5*q + 177*q**2 - i*q**2 - 3*q. Is x(-2) a multiple of 26?
True
Let c = -14611 + 5881. Does 