9*v**2 + 10*v - 84. Is m(6) a multiple of 32?
False
Let k be 8/12 - 752/12. Let z = k + 21. Is 24 a factor of ((-6)/(-3) + -4)*z?
False
Suppose 5*p - 6 - 13 = -4*o, -4*o = -4. Suppose b - 6*b - p*w + 18 = 0, -b - 4*w + 7 = 0. Suppose 19 = -b*n - 5*a, n - a - 11 = -2*n. Does 2 divide n?
True
Suppose 4*a = 2*a + 2. Let y be ((-6)/(-5))/(a/5). Is 19 a factor of (-32)/y*(-171)/12?
True
Let t(n) = 12*n + 24. Is t(4) a multiple of 8?
True
Let x be (-8 + 3)*(3 + -3 - 1). Does 9 divide x/1*(-5 - -14)?
True
Suppose -c = 2*y - 314, -y - 5*c + 192 - 17 = 0. Is y a multiple of 16?
False
Let o be (-7)/(-5) - -2*6/20. Suppose -o*a - 5*u + 142 = -0*a, -4 = -u. Is a a multiple of 10?
False
Suppose -18*c = -9*c - 8325. Is c a multiple of 29?
False
Suppose 0 = -2*j - 30 - 86. Let x = j + 135. Does 11 divide x?
True
Does 20 divide 314/3*54/36?
False
Let i(s) be the first derivative of s**4/8 - 7*s**3/6 - 5*s**2/2 - 2. Let t(f) be the second derivative of i(f). Is 9 a factor of t(7)?
False
Suppose 5*c = g + 5 + 1, 0 = -5*g + 2*c + 16. Suppose -25 = -2*l + 5*h, -2*l + 2 = 4*h + g. Suppose 22 = -l*i + 127. Does 14 divide i?
False
Does 46 divide 1*-224*2/(-4)?
False
Suppose -3*g = -3*g + g. Suppose 3*f - 5*f + 106 = g. Is 13 a factor of f?
False
Suppose 3*f = -11*l + 10*l + 2841, 5*f = 4*l + 4752. Does 12 divide f?
True
Let c be 2/(-5) + 14/10. Let l(y) = 38*y**2 + y - 1. Is l(c) a multiple of 19?
True
Let x = 21 - 25. Let t(y) = -y**3 - 5*y**2 - 6*y - 6. Let v be t(x). Suppose 0 = -5*s - 3*g + 308, 3*g + 80 = v*s - 39. Is s a multiple of 21?
False
Let u = -515 - -1155. Does 64 divide u?
True
Let z = -128 + 193. Is 4/(-10)*1 - (-2431)/z a multiple of 2?
False
Suppose 3 + 7 = 4*z - 2*l, -2*l = -3*z + 6. Suppose j - 97 = -4*i - 3, -4*i = -z*j + 296. Is j a multiple of 26?
True
Let l(i) = 9*i - 3. Let f(j) = -j**2 - 11*j. Let u be f(-10). Does 29 divide l(u)?
True
Suppose -19*q = -17*q. Suppose 6*n + 83 - 983 = q. Is n a multiple of 30?
True
Let a be ((-1)/(-2))/(20/16560). Does 23 divide (a/6)/((-6)/(-8))?
True
Let l be (5 - 5) + (0 - 30). Let a = 32 + l. Suppose 0 = a*b - 19 - 149. Does 27 divide b?
False
Let n(f) = -f + 5. Let k(c) = 4*c - 24. Let v(o) = 3*k(o) + 14*n(o). Let s be v(-2). Suppose -s*j + 16 + 6 = 0. Does 10 divide j?
False
Let k = -114 + 98. Is (-1900)/k - (-2)/((-32)/12) a multiple of 8?
False
Let c(a) = -a**2 - 13*a + 9. Let p be c(-13). Suppose -4*h = -1 + p. Is 3 + h - (2 + -8) a multiple of 3?
False
Let s(i) = i**2 + i - 11. Let c(g) = -g**2 + 8*g. Let d be c(7). Let y be s(d). Is 166/18 + (-10)/y a multiple of 2?
False
Suppose 18*v + t = 19*v - 861, 4*t - 866 = -v. Is v a multiple of 10?
False
Suppose -2*b + 2 = -0. Let h be -2 + 0 + 0 - b. Does 11 divide (-2)/(h + 124/44)?
True
Does 19 divide 3/((-30)/2826*3)*-5?
False
Let k(y) = -50*y - 60. Is 14 a factor of k(-4)?
True
Is 10 a factor of 166 + (-7 - 2/(-8 - -6))?
True
Let r(g) = -10*g - 21. Let l(j) = j**3 - 2*j**2 + j - 7. Let w be l(0). Does 7 divide r(w)?
True
Suppose 2*f + 273 - 1425 = 0. Is f a multiple of 14?
False
Suppose -4*z - 358 = -98. Let l = z - -128. Does 16 divide l?
False
Suppose -3*f + 2*m + 1152 = -0*f, 1920 = 5*f - m. Is f a multiple of 10?
False
Suppose -127 = 3*a + 26. Let z(r) = 13*r**3 + r**2 - 2*r - 1. Let p be z(2). Let h = p + a. Is 20 a factor of h?
False
Let d(q) = q**3 - 22*q**2 + 36*q - 66. Does 157 divide d(21)?
False
Suppose -14*s + 2*m = -15*s + 50, 0 = -2*s + 2*m + 118. Does 14 divide s?
True
Let y be (-6)/(-15) - 2472/30. Let a = 80 - y. Is 27 a factor of a?
True
Does 23 divide (-1)/(9/(-6))*(-69)/(-2)?
True
Let u = 139 + 97. Does 30 divide u?
False
Is 13 a factor of 459 + (-1 - 18/3)?
False
Let w(n) = -n**3 - 4*n**2 - 4*n - 4. Let z be w(-3). Let x be ((4 + 24)/(-4))/z. Suppose 0 = x*f - 110 - 268. Is 17 a factor of f?
False
Let q be 22*(-1 + 14) - 2. Suppose -3*k + 2*k + 219 = 3*o, -4*k + q = 4*o. Is o a multiple of 5?
False
Let l = -9 + 11. Let r(a) = a - a**2 + 2 + 2*a**l - 4*a**2 + 5*a**2. Does 3 divide r(2)?
True
Suppose j + 4*j + 4*r - 308 = 0, 0 = -j + 4*r + 52. Suppose h = -5*h + j. Let b(t) = t**2 - 4*t. Does 15 divide b(h)?
True
Is (-4 - (-68)/16)*2388 a multiple of 16?
False
Let f(t) = -48*t**2 - 6*t - 6. Let b be f(-2). Let n = b - -424. Is n a multiple of 13?
False
Let r(w) = -w + 1. Let f be r(-3). Suppose 3*p - 1 = 2*p, f*p = -3*q + 13. Suppose x - q*u = 25, u + 3*u - 164 = -4*x. Does 13 divide x?
False
Let a(q) = 169 - 2*q + 5*q**3 + 2*q**2 - 4*q**2 - 166. Is a(2) a multiple of 14?
False
Suppose 0 = -2*n, -4*o - 3*n = -2*n - 32. Suppose -3*c - o = 4. Is 4 a factor of (-1)/c + 75/20?
True
Does 45 divide -2 + 1215 - (-7 + 5)/1?
True
Suppose s + 238 = -4*r - s, -4*s = 4*r + 232. Let p = r - -88. Is p a multiple of 27?
True
Suppose 4*i = 3*r - 0*i - 2992, -3*r + 2991 = -3*i. Is 83 a factor of r?
True
Let g = 274 + 330. Does 9 divide g?
False
Let j = -561 + 1465. Is 8 a factor of j?
True
Does 63 divide (10/((-90)/(-12519)))/1?
False
Let t = -2821 + 3127. Is t a multiple of 16?
False
Does 10 divide ((-2)/4)/(14/(-57400))?
True
Let v = 53 + -37. Let m = v - -2. Does 18 divide m?
True
Let j(h) = -4*h + 138. Is 11 a factor of j(28)?
False
Let j(p) = 9*p**2 - 10*p + 5. Let d(n) = -9*n**2 + 11*n - 6. Let c(w) = -5*d(w) - 4*j(w). Let g be c(6). Suppose -4*r = -96 - g. Is 17 a factor of r?
True
Let y(o) = o**2 + 2*o - 9. Let i be y(-5). Let u(k) = 8*k - 4. Does 22 divide u(i)?
True
Suppose 6*y = 217 - 73. Let f = -21 + y. Suppose 0 = -4*j - 2*v + 96, v + 65 = f*j + 6*v. Does 7 divide j?
False
Let v be -1*1/1*-1. Let h be -3*(-8)/12 + v. Suppose 10 = h*f - 53. Is f a multiple of 21?
True
Suppose 4*a - 71 = -x, -3*a + 59 - 1 = -4*x. Does 4 divide a?
False
Let s = -2802 - -7042. Is 67 a factor of s?
False
Suppose -5*g + 1780 = 4*v - 2772, 4564 = 5*g - 2*v. Is 16 a factor of g?
True
Let u(q) = 16*q. Let d be u(4). Suppose d = -7*g + 3*g. Does 3 divide (-1 + 6)/((-4)/g)?
False
Suppose 467 = 4*q - 33. Is q a multiple of 14?
False
Let p = 52 - 137. Suppose 0*x = 5*x + 25. Is p*(-2 - 8/x) a multiple of 12?
False
Suppose -h + 6*h = 5*r + 40, -4*h + 28 = -3*r. Let p be 2 + 12/r - 0. Is 9 a factor of (28 - (-3 + 3)) + p?
True
Let q = -130 - -328. Is q a multiple of 9?
True
Suppose 3*b = -j + b - 5, 0 = -4*j + 5*b + 32. Is 39 a factor of 0 - 93*(-2)/j?
False
Let b(u) = -237*u - 9. Suppose 4*g + 15 = 5*n, 5*g + 9 = 3*n - 13. Does 19 divide b(n)?
True
Let a be ((-2)/(-8))/((-2)/(-376)). Suppose -c + a = 11. Suppose 2*t + c = 120. Is t a multiple of 10?
False
Suppose -2*x - 2*t = -8, -t - 3 - 1 = -3*x. Suppose -v - x*o = -7*o - 84, 4*o = 5*v - 336. Is 16 a factor of v?
True
Suppose -4*u + 2*l - 4*l + 1048 = 0, -1032 = -4*u + 2*l. Is u a multiple of 65?
True
Is 11 a factor of (926224/(-117))/(-16) + 2/9?
True
Suppose 0 = -5*h + b - 1054, -3*h - b - 268 - 366 = 0. Let o = 495 + h. Is 21 a factor of o?
False
Is 8 a factor of 498*-12*2/(-16)?
False
Let k = 12 - 10. Suppose -k*r = -r - 15. Let t = r - 4. Is 11 a factor of t?
True
Let v = 122 + -79. Let w = 78 - v. Is 8 a factor of w?
False
Suppose -2*v - v - 6 = 0. Let t be (v - -2)*3/3. Suppose -4*y + 0*y + 48 = t. Does 5 divide y?
False
Let g(m) = 9*m**2 - 52*m + 200. Is 51 a factor of g(18)?
False
Let h be 0/(-2 + 1 + 2 + -2). Is (-85 - h)*(2 + 26/(-10)) a multiple of 7?
False
Does 5 divide (1254 - -1)*81/135?
False
Let j be 80/15 - 4/12. Suppose -j*g + 12*g = 490. Is 29 a factor of g?
False
Let m(h) = 2*h**2 - 3*h - 3. Is 3 a factor of m(3)?
True
Let m = -107 - -124. Is m a multiple of 6?
False
Suppose -4*v + 4*r - 8 = 0, r - 1 - 13 = -3*v. Suppose -5*f - 20 = -c, -v*c + 2*c = -3*f - 14. Is 14 a factor of 140/3 - (-2)/f?
False
Suppose -3*b + 53 = 4*j, -2*b - j + 26 = -3*j. Let g = 32 + b. Is 10 a factor of g?
False
Does 18 divide (-14794)/(-39) - (-4)/6?
False
Let f be 10/4 - (-6)/12. Suppose n - f = 4. Let p(w) = w**3 - 7*w**2 + 2*w + 4. Is 18 a factor of p(n)?
True
Let z(l) = 9*l**2 + 54*l - 3. Does 10 divide z(3)?
True
Let w(s) = 2*s**2 - 2*s + 3. Let g(o) = 5*o**2 - 5*o + 7. Let u(a) = 4*g(a) - 9*w(a). Let h be -1 - -4 - 3/3. Does 5 divide u(h)?
True
Let i(j) = 27*j**2 + j + 3. Let u be i(2). Let z = u + -98. Is z even?
False
Does 5 divide (8 + 2678/(-91))*(-7 + 0)?
True
Suppose 3*d + 5*y = 5 + 44, -5*y + 25 = 0