)/((-4)/6). Suppose v - 85 = -5*b, 4*b = -n*v + 8*b + 179. Is v a multiple of 15?
False
Suppose -4*q - 11*p = -7*p - 508, 0 = -2*q + 2*p + 234. Is q a multiple of 12?
False
Let j be 11/66 + (-358)/(-12). Let d = 60 - j. Is d a multiple of 15?
True
Suppose -9*o + 42*o = 42867. Does 39 divide o?
False
Suppose 0 = -x + 195 + 626. Does 57 divide x?
False
Does 4 divide (-4 + 3/3)*(-50 - 3)?
False
Let f be 0 + 2 - 0 - 1. Let o(q) = 14*q + 1. Let u be o(f). Suppose 3*y = u, 4*x + 3*y + 50 = 217. Is x a multiple of 8?
False
Suppose -5*i - 3*f + 4 - 19 = 0, -5*f + 9 = -3*i. Let j(u) = 5*u**2 + 8*u + 4. Let k be j(i). Suppose 3*a - k - 86 = 0. Is 19 a factor of a?
False
Let y(t) = t**3 + 10*t**2 - 3*t + 21. Let l be y(-11). Let n = l + 223. Does 12 divide n?
True
Let i(r) = 69*r + 155. Is 23 a factor of i(15)?
False
Suppose -31 - 14 = -5*w + 3*d, 36 = 4*w + d. Let r be (4 + -3)*(2 - w). Is r/4*(0 + -12) a multiple of 8?
False
Suppose -5*y = -5*b - 2*y - 19, -2*y = b - 4. Let u be (4 + b)*115/10. Suppose 4*q - u = -3*k + 16, 0 = -2*q - k + 17. Is q a multiple of 6?
True
Let d(s) = -5 + 1 + 1 - s + 4. Let y be d(2). Let b = y - -16. Is 5 a factor of b?
True
Let f(y) be the first derivative of -61*y**4 + y**3/3 - y**2 - 2*y - 7. Let z be f(-1). Suppose o - 29 = p + 52, 3*o - 5*p - z = 0. Is 18 a factor of o?
False
Let p(m) = -3*m**2 - 17*m - 53. Let b be p(-8). Let u = -30 - b. Does 31 divide u?
False
Suppose 10*q - 48 = -6*q. Suppose -266 = -q*n + 445. Is n a multiple of 37?
False
Suppose -3*v - 88 = 26. Is 2 - v/6 - 6/(-9) a multiple of 2?
False
Let d be (10/5 - 5) + 32. Suppose -24*o - 360 = -d*o. Does 9 divide o?
True
Let o be ((-15)/(-10))/((-12)/(-16)). Suppose 4*h + 884 = 4*m, -o*h + 0*h = -5*m + 1117. Let p = m - 155. Is p a multiple of 15?
False
Let j = -188 + 279. Let x be 6/(-5)*(4692/(-36) - 13). Let a = x - j. Is 27 a factor of a?
True
Let b(a) = -5*a**3 - a**2 + 5*a - 15. Let t(j) = 4*j**3 + 2*j**2 - 5*j + 15. Let c(s) = 5*b(s) + 6*t(s). Is c(3) a multiple of 14?
False
Suppose -2*n - 2*n = -4. Let b(y) = 5*y**2 + y - 1. Let i be b(n). Suppose 5*p + 36 = l, -i*l - 75 + 336 = 2*p. Is l a multiple of 17?
True
Suppose -5*z + 91 + 49 = 0. Suppose 3*i - 5*s - 35 = 0, -i - 3*i = -2*s - z. Suppose -v + 234 = i*v. Is v a multiple of 13?
True
Let q be 2/(-4) - (-6)/12. Let a = 2 - q. Suppose 2*z - 84 = 5*t, -2*z - 4*t + 50 = a. Is z a multiple of 14?
False
Suppose -2*r + 338 = n, r = -2*n - 9 + 181. Suppose -j + 4*j = r. Suppose 5*q - a - 235 = 0, -a + j - 3 = q. Does 16 divide q?
True
Suppose 6*a + 38 = 3*f + 5*a, -43 = -3*f - 4*a. Suppose -f*j = 14 - 53. Does 3 divide j?
True
Let m(w) = w**3 + 7*w**2 + 9*w + 7. Let x be m(-6). Let t = x - -1. Let n = t + 33. Is 6 a factor of n?
False
Is 76 a factor of (-968)/(-264)*6*38?
True
Let h(b) = b**3 - 6*b**2 + 6*b - 10. Let r be h(6). Suppose -5*s = p - r, 2*s + 19 + 0 = p. Is p a multiple of 6?
False
Let q(n) = 12*n**2 - 2*n. Let k be q(4). Suppose 0 = -4*h - 0*h + k. Let r = h + -16. Is 10 a factor of r?
True
Suppose 16 = 5*c - 24. Suppose -9*b = -c*b - 3. Suppose 2*p + 16 = b*t, 3*p - p + 10 = 0. Is t even?
True
Let r(o) = -o**3 + 37*o**2 - 99*o + 18. Is r(34) a multiple of 15?
True
Let j = 1021 + 259. Is j a multiple of 40?
True
Let x = -236 - -300. Is 32 a factor of x?
True
Suppose -963*i + 396 = -954*i. Is i a multiple of 44?
True
Let x(l) = 6*l - 55. Let f = 69 + -54. Is x(f) a multiple of 3?
False
Let n(y) = y**2 - 6*y. Let g be n(7). Let i(f) = 10 + 3*f + 0*f + g*f. Is 26 a factor of i(8)?
False
Suppose -3*i - 31 = 74. Let t = 28 + i. Let x = t + 46. Does 13 divide x?
True
Let r = -64 + 64. Suppose 28*n - 27*n - 32 = r. Does 16 divide n?
True
Let x(y) = 6*y - 5. Let t be x(-9). Let c = 128 + t. Suppose -4*j = 3*p - j - c, -3*p = -3*j - 75. Is 12 a factor of p?
True
Let z = -22 - -25. Suppose -z*x + 0*x = -o - 6, 18 = 3*o + 3*x. Suppose o*a + 2*h = 6 + 25, -2 = -h. Is a a multiple of 7?
False
Let a = 212 + -114. Suppose 0 = -5*z + 2*n + a, -4*z + 2*z - 3*n + 24 = 0. Suppose b - u = 7 + z, 2*b = 4*u + 54. Is b a multiple of 9?
False
Let c(r) = r**3 - 12*r**2 + r - 9. Let s be c(12). Suppose -174 = -s*l + 3*m, 2*l + l - 2*m = 171. Is l a multiple of 8?
False
Let v(u) = u**2 - u. Let c be v(-3). Is 268/c - 3/9 a multiple of 11?
True
Let r(c) = 6*c + 42. Let b be r(-14). Let t = -26 - b. Does 8 divide t?
True
Let g = -543 - -2313. Is 59 a factor of g?
True
Let t = 1182 - 672. Does 17 divide t?
True
Is 6 a factor of (126/49)/(-9)*(-11638 + -3)?
False
Let a be -77 + 2 + -6 + 8. Let x = -35 - a. Let s = 68 - x. Does 6 divide s?
True
Suppose -7*n = -34*n + 39420. Is 20 a factor of n?
True
Let f(y) = -2*y**2 + 46*y + 10. Is f(22) a multiple of 2?
True
Suppose 83*h - 33033 = 72*h. Does 21 divide h?
True
Let o = 481 + -350. Does 8 divide o?
False
Let h be (-6)/(-9)*-15*-22. Is 9 a factor of ((-9)/(-4))/(11/h)?
True
Suppose 6*o + 545 = 7*o. Does 13 divide -3 + -2 + o/5?
True
Let w be (((-27)/(-5))/(-3) + 3)*-95. Let g = w + 164. Is 10 a factor of g?
True
Let s = 155 - -657. Does 29 divide s?
True
Suppose -3*h = 5*t + 57, t + t + 3*h = -21. Is ((-4)/t)/((-1)/(-174)) a multiple of 15?
False
Suppose 47 = -2*f - 75. Let o = f + 133. Is o a multiple of 36?
True
Let f(g) = -g**2 + 9*g. Let h be f(8). Let b = h + -2. Suppose -3*x + b*x - 117 = 0. Is x a multiple of 18?
False
Suppose 0 = -6*m + 4*m + 230. Does 31 divide 16*(2 - m/(-20))?
True
Let k = 247 - 151. Does 6 divide k?
True
Suppose -4*u + 99 = 2*z - u, -z - 5*u + 67 = 0. Is 14 a factor of z?
True
Suppose 0 = 2*o - 3*v + 2*v - 1492, -4*o = 5*v - 2984. Is o a multiple of 42?
False
Suppose t - 322 = -244*g + 247*g, -5*g = -5*t + 1620. Does 3 divide t?
False
Suppose 0 = -2*z + 4 - 14, -x - 5*z - 11 = 0. Does 4 divide x?
False
Suppose 2*u + 3*v + 140 = 6*u, 0 = -4*u - 3*v + 164. Is 14 a factor of u?
False
Let i be 0*(6/6 + -2). Let l(z) be the third derivative of z**4/24 + 4*z**3 + z**2. Is l(i) a multiple of 14?
False
Let m = 41 + -34. Let j(z) = -2*z**2 + 8*z - 13. Let g be j(m). Let h = g - -145. Is h a multiple of 15?
True
Let l(u) = u**3 - 4*u**2 + 11*u - 6. Let d = -46 + 52. Does 11 divide l(d)?
True
Suppose 2*n = -5*n + 84. Is n a multiple of 4?
True
Let z be (-2)/(6/(-9) - 0). Suppose -z*h + 28 = -14. Suppose 4*y - h = 58. Is y a multiple of 6?
True
Suppose -9 = v - 4*v. Suppose -2*b + v*b = 4*i + 312, -b + 391 = -5*i. Let m = -47 - i. Is m a multiple of 32?
True
Suppose 5*o - 4905 = -395. Is o a multiple of 7?
False
Let w(u) = 3 - u**2 + 0*u - 4*u - 4*u + u. Is w(-5) a multiple of 13?
True
Suppose -5*w = 3*h - 2, 0 = -h - 5*w - 6 - 0. Suppose h*t + 0*t = 464. Is 29 a factor of t?
True
Suppose 32 = -4*w - 5*t, -4*t + 10 = 2*w + 26. Does 36 divide 60 - -2*4/w?
False
Let k(f) = -103*f**3 + f**2 + 2*f + 1. Let q be k(-1). Suppose -4*u - 4*r + 428 = 0, 0*r = -u + r + q. Does 35 divide u?
True
Let x be 13/4 - (-18)/(-72). Does 12 divide (-15)/(-10)*(x - (-230)/6)?
False
Is 2 a factor of 3454/24 + 4/48?
True
Suppose k - 21 = -23. Is 2 - k/((-2)/(-67)) a multiple of 15?
False
Let v(l) = -34*l - 119 + 56 + 48. Is 21 a factor of v(-6)?
True
Let k(q) = -6*q + 11. Let u be k(3). Does 10 divide (1/(u/20))/((-8)/28)?
True
Suppose 0*m - 100 = 5*m. Is 15 a factor of (m*3)/(5/(-5))?
True
Let a be (2304/(-6))/(-3) - 1*-1. Does 17 divide (a/3 - 4) + -5?
True
Suppose 222 = -0*r - 6*r. Let t = 3 - r. Is 15 a factor of t?
False
Suppose 0 = -3*r + 5*w + 1749, 79*w + 2937 = 5*r + 78*w. Is 21 a factor of r?
True
Let z(c) = 2*c + 6. Let d be z(-4). Is -4 - (-49 + 6/d) a multiple of 16?
True
Suppose -6498 = -7*j - 12*j. Is j a multiple of 6?
True
Let n = -71 + 74. Suppose -64 = n*a - 4*s - 404, -a = 4*s - 140. Is a a multiple of 8?
True
Let i(j) = 228*j - 1. Let f be i(1). Suppose 0 + 139 = r. Let s = f - r. Does 22 divide s?
True
Let q(k) = 3*k - k**3 - 6*k**2 + 5 + 0*k**2 + k**2 - 6*k. Is q(-5) a multiple of 5?
True
Suppose -3*k + 171 + 93 = 0. Suppose q - 10 = 6*q, -4*b - 4*q - k = 0. Let h = -2 - b. Does 18 divide h?
True
Suppose -x = x - 6. Suppose o - 1148 = -4*u, x*o = -3*u + 6*u - 876. Is u a multiple of 32?
True
Let u(w) = -w**2 - 7*w - 3. Let p = 20 + -25. Let i be u(p). Suppose 5*n = -2*g + 133, -3*n + 2*g + 76 = i*g. Is 17 a factor of n?
False
Let i(j) = -j**2 - 3*j.