e b(-4). Suppose -5*p + s = l, l - 42 = p + 6. Does 18 divide l?
False
Suppose -5*b = 4*q + 26, -2*b - 3*q - 9 = -0*q. Let l be 1/(-4)*2*b. Suppose 4*w - 47 - 180 = l*x, 0 = -2*w + x + 113. Does 15 divide w?
False
Let h = 49 + -31. Does 4 divide h?
False
Let p(c) = -2*c + 20. Is 3 a factor of p(7)?
True
Let u be ((-32)/4)/(2/(-2)). Let v = -5 + u. Suppose 25 = -2*m + v*m - k, 3*m = -3*k + 105. Is 15 a factor of m?
True
Let p = 320 + -128. Is p a multiple of 16?
True
Let y = -13 + 9. Let v be (4/(-3))/(y/6). Suppose -3*n - 12 = 0, 8*n = v*d + 3*n - 66. Does 9 divide d?
False
Suppose -3*g - 192 = -6*g. Suppose -2*p = 2*p - g. Is 4 a factor of p?
True
Let m = 12 - -2. Is 6 a factor of m?
False
Is 37 a factor of 7328/72 + -3*(-4)/54?
False
Suppose -4*m - 69 - 9 = -2*p, 3*p = -3*m + 126. Does 41 divide p?
True
Let m(b) = b**3 - b**2 - 2*b + 3. Let q be m(2). Suppose 2*j - q*g - 91 = 0, -j + g - 185 = -6*j. Is 14 a factor of j?
False
Let m = 9 - 6. Let o(v) = 5*v**2 + v**2 - 3*v - 2*v**2 - m. Is 12 a factor of o(3)?
True
Suppose -5*i - 107 + 702 = 0. Is i a multiple of 25?
False
Let t(i) = i**2 - 28*i + 16. Is t(32) a multiple of 16?
True
Suppose 0*h - 48 = -6*h. Does 2 divide h?
True
Let j = 47 + 15. Does 31 divide j?
True
Suppose -638 = -6*f - 50. Is f a multiple of 21?
False
Let x(n) = -5*n**2 + 1. Let t be x(1). Let w = t + -39. Let f = -26 - w. Is f a multiple of 12?
False
Let z be 12*(3 + -2 + 0). Let c be (-317)/(-4) + (-3)/z. Suppose -2*h - d = 2*h - c, 3*h - 78 = 3*d. Does 9 divide h?
False
Let x be (-4)/1 - (-78 + -4). Suppose -2*y = -5*o - x, -3*y - 128 = -7*y - 4*o. Is y a multiple of 21?
False
Suppose -490 = -5*v - 5*g, -3*v = -4*v - 3*g + 96. Suppose v = -n + 4*n. Is 11 a factor of n?
True
Let s(t) = 8*t**2 + 3*t. Let a(d) = -2*d**3 + 2*d**2 + 3*d**3 - d - d**2. Let p be a(-2). Does 9 divide s(p)?
False
Let b(s) = 41*s**2 + s + 3. Let g(v) = -40*v**2 - v - 2. Let l(t) = -2*b(t) - 3*g(t). Let x be l(1). Suppose -x = 3*d - 6*d. Does 13 divide d?
True
Suppose 3*v - 25 = 122. Let g = v + -21. Does 11 divide g?
False
Let l(q) = -q - 1. Let m(x) = -4*x - 3. Let p(d) = 2*l(d) - m(d). Let h be p(4). Suppose -3*w + h = -30. Is w a multiple of 13?
True
Does 3 divide 1/(((-15)/108)/5)*-1?
True
Is 31 a factor of 49 + 0 + (-4)/2?
False
Suppose 4*j - j = 0, -5*w - 4*j = -675. Does 14 divide w?
False
Let f(k) be the first derivative of 2*k**3/3 - 7*k**2/2 - 6*k + 2. Let j be f(6). Suppose 0 = 2*o + o - j. Is 4 a factor of o?
True
Suppose 3*h - 98 = m, -4*m = -5*h + 57 + 118. Suppose 5*q - 3*a + h = 143, 0 = 4*q + 2*a - 72. Is q a multiple of 10?
True
Suppose 8*u = 5*u + 120. Does 9 divide u?
False
Let l = 55 - -479. Does 42 divide l?
False
Suppose 4*l = 3*l + 33. Does 6 divide l?
False
Is 6 a factor of 9185/22*4/10?
False
Suppose -s + 180 = 4*c, -4*c = -5*s - 165 + 1017. Does 25 divide s?
False
Let k(o) = 4*o**2 + 5*o. Let t be k(-5). Suppose 25 = 2*h - t. Is h a multiple of 20?
False
Suppose 0*p + 2*p = 66. Is p a multiple of 11?
True
Let l(o) = 5*o**2. Let g be l(-1). Suppose 6*i + 6 = 3*i - 3*r, 0 = -g*i + 2*r + 18. Suppose 0 = -i*b + 6*b - 60. Does 11 divide b?
False
Let j = -7 + 10. Suppose 39 - j = 3*n. Is 4 a factor of n?
True
Let o = -7 + 5. Is 48 + (6/(-1))/o a multiple of 17?
True
Suppose -38 = -r + 30. Is r a multiple of 36?
False
Let f(h) = -6*h - 2. Let l = -38 - -69. Suppose 4*v = -0*s + 2*s - 26, l = -4*v + 3*s. Is f(v) a multiple of 11?
True
Let i(w) = -2*w - 21. Is i(-24) a multiple of 7?
False
Let p = -9 + 13. Let b = p + 1. Is 5 a factor of b?
True
Let f = 187 + -129. Let y = f + -18. Does 15 divide y?
False
Let k = -12 + 8. Let c be k/22 + 46/11. Suppose -21 + c = -o. Does 12 divide o?
False
Let m(f) = -2*f**3 + 2*f**2 + 1. Does 6 divide m(-2)?
False
Let a be ((-2 + 4)*-1)/1. Let i be a/(-6) + (-179)/(-3). Suppose 0*o + 5*o = i. Does 4 divide o?
True
Let x be (-2 + (-3)/(-2))*12. Let c = -3 - x. Suppose 2*o = -c*n + 27, -3*n + 6*n - 3 = 0. Is 6 a factor of o?
True
Let h(i) = 8*i - 10. Is h(8) a multiple of 9?
True
Suppose 246 = 3*w - 5*l, 0 = -3*w - 4*l + 2*l + 246. Is 13 a factor of w?
False
Let v = 4076 + -5768. Does 11 divide 2/(-7) + v/(-42)?
False
Let l(k) = -21*k + 6. Does 18 divide l(-4)?
True
Is (192/60)/(1/45) a multiple of 36?
True
Let h(s) = -s**3 + s**2 - s + 16. Let c(o) = -o - 8. Let p be c(-8). Is 14 a factor of h(p)?
False
Suppose 0 = 2*n - 84 - 56. Let b = -5 + 9. Suppose 9*a - n = b*a. Does 7 divide a?
True
Let t(j) be the first derivative of j**3/3 - 7*j**2/2 + 7*j - 5. Let r(f) = 6*f**2 - 2*f - 1. Let k be r(-1). Is t(k) a multiple of 4?
False
Let t(d) = -d + 8. Let u be t(5). Suppose -3*i = 4*m - 137, -45 - 45 = -u*m + 2*i. Does 11 divide (-8)/m - (-186)/8?
False
Let n = 375 - 197. Let l = -96 + n. Is 21 a factor of l?
False
Suppose v - 210 = 6*v. Let b = 60 + v. Is b a multiple of 6?
True
Suppose 0 = -4*p + 6 - 2. Let f be (p - 3)*(-1 - 0). Let j(u) = 2*u**3 - 2. Is j(f) a multiple of 7?
True
Let m(g) = g**2 + g - 3. Let y be m(-4). Suppose q - 2*k = 3*k + 40, -4*q = 2*k - 116. Suppose 3*p = q + y. Does 8 divide p?
False
Suppose 36 = g + g. Is 8 a factor of g?
False
Let z(i) = 15*i**2 + 4*i**2 + 0*i - 3*i + 4*i. Is 9 a factor of z(-1)?
True
Let h(y) = -y**3 + 10*y**2 - 7*y + 8. Let o be h(9). Let i = -15 + o. Is 11 a factor of i?
True
Let j = 20 - 33. Let a be 4/((-4)/j)*3. Suppose 5*q = a + 11. Is q a multiple of 5?
True
Does 15 divide (-30 - -5)*18/(-15)?
True
Let f be (-13)/(-3) - (-1)/(-3). Suppose 20 = -5*v + 295. Suppose 0 = -f*b - b + v. Is b a multiple of 11?
True
Let z = 230 + -8. Does 20 divide z?
False
Is 12 a factor of ((-6)/(-5))/(39/(-20) + 2)?
True
Suppose -2*l = -l - q - 4, 3*l - q - 10 = 0. Suppose 3*y - l*d = -12, -4*y = -3*d + 15 - 0. Is 5 a factor of (y - -1) + 13 + -1?
True
Suppose -3 = -3*y + 6. Suppose y*p + 207 = 3*j - 0*j, -3*p - 273 = -4*j. Is 19 a factor of j?
False
Let n(w) = w**2 - 7*w + 10. Let y = -2 - -4. Suppose 0 = -y*p - 3*p + 45. Does 15 divide n(p)?
False
Let n be (1/2)/(9/(-72)). Let i = 7 + -9. Is 25 - (0 + (n - i)) a multiple of 9?
True
Does 2 divide (60/40)/((-1)/(-2))?
False
Let i(v) = -5*v**3 + v + 1. Let t be i(-1). Let c(m) = m**3 - 4*m**2 - 4*m. Is 5 a factor of c(t)?
True
Let i(a) = -a**2 - 13*a + 4. Let u be i(-13). Suppose 4*b + c = 6*c + 52, 0 = u*b + c - 76. Is 9 a factor of b?
True
Suppose -8*i = -12*i + 384. Does 32 divide i?
True
Is (-718)/(-6) + 3 + (-24)/9 a multiple of 14?
False
Let u(c) = 6*c - 2. Let r = -7 - -1. Let b be 5*(r/(-15) - 0). Is 10 a factor of u(b)?
True
Let b(l) = -14*l**3 + 3*l**2 + 14*l + 15. Let q(s) = 5*s**3 - s**2 - 5*s - 5. Let v(i) = 6*b(i) + 17*q(i). Does 3 divide v(0)?
False
Suppose -4*t + 165 = t. Let c be (-15)/(-10) - 113/(-2). Let h = c - t. Is 21 a factor of h?
False
Let r be 1*(3 - -12 - 0). Let w = r + 5. Does 10 divide w?
True
Let h be 2*(-1)/4*30. Let y be -5*(51/h - 3). Suppose -3*g - y = -4*g. Is 16 a factor of g?
True
Let x be (8 + 3)/(2/4). Suppose -26 = -t + x. Is 12 a factor of t?
True
Let c be -21*1*(6 - 7). Suppose -4*m = -11 - c. Is 6 a factor of m?
False
Let p = 139 - -9. Is 37 a factor of p?
True
Let s = -14 - -12. Is 8 a factor of s + 28/(-1 + 3)?
False
Let n be 1 + -3 + 1 + 56. Suppose 0 = 3*g - 8*g + n. Does 4 divide g?
False
Suppose v - 91 = -3*v - 3*w, 0 = 4*v + 4*w - 92. Is v a multiple of 11?
True
Suppose -2*d - 3*n = -25, 66 = 5*d + 4*n - 0*n. Does 5 divide d?
False
Let z(s) = -s**3 + 10*s**2 + 24*s + 23. Does 5 divide z(12)?
False
Suppose r + 4*r = 240. Does 12 divide r?
True
Let k(f) = f + 22. Does 4 divide k(-16)?
False
Suppose -3*g + 29 = -7. Is g a multiple of 8?
False
Suppose 5*u = 5*r + u - 7, r + 5*u - 13 = 0. Suppose -40 = r*t + 2*t. Is 6 a factor of (-94)/t - 1/(-4)?
True
Is 30 a factor of ((-836)/(-12))/1 + (-2)/(-6)?
False
Let c be 1/((-6)/(-3))*-82. Suppose 2*h + 5 - 8 = -5*a, -4*a + 7 = -3*h. Let n = a - c. Is n a multiple of 18?
False
Let k(f) = 23*f + 4. Does 20 divide k(12)?
True
Let c = -18 - -30. Let o = 18 - c. Is o a multiple of 3?
True
Let i = 40 + -13. Does 9 divide i?
True
Let g = -25 - -40. Is 5 a factor of g?
True
Let l(x) = -5*x**3 - 3*x**2 - x - 2. Does 11 divide l(-2)?
False
Suppose 4*f = -a + 395, f - 5*a - 70 = 13. Does 14 divide f?
True
Let y(x) = -6*x + 13. Let o 