 2*s(a). Is w(-4) a multiple of 20?
False
Let p(q) = 2*q**3 - 1. Let a be p(1). Suppose 3*c + 10 = a. Does 25 divide 82 - 6/(-9)*c?
False
Suppose 3*g - 66*z - 1107 = -70*z, 3*z = -4*g + 1483. Does 33 divide g?
False
Suppose -4 = 2*v + 3*b - 14, 5*b + 10 = 2*v. Suppose z = -v*a + 326, -z + 2*z + 202 = 3*a. Is a a multiple of 33?
True
Is 12 a factor of (-17619)/(-35) - 1*9/(-15)?
True
Let a be ((-3)/3 - -2)*-13. Let i(r) = r**2 + 9*r - 18. Is i(a) a multiple of 13?
False
Let v(h) = -h**3 - 19*h**2 + 14*h - 4. Is v(-20) a multiple of 19?
False
Let c = 19 + -18. Does 13 divide (18 + -17)/(c - 64/65)?
True
Let k = -78 + 82. Suppose d - 5*x - 31 = 0, -5*x + k*x = 5*d - 181. Does 9 divide d?
True
Let w(b) be the first derivative of -b**3/3 - 11*b**2/2 + 15*b - 4. Let h be w(-12). Suppose 2*c - 66 = -2*t, 0 = t + h*c + 2*c - 21. Is t a multiple of 12?
True
Suppose 6*l - 4*l - w + 11 = 0, 2*w = -2. Let q(y) = -y**3 - 5*y**2 - y + 7. Is q(l) a multiple of 7?
True
Suppose -2*j - 2*j + 967 = 5*f, 2*j = 3*f - 589. Does 15 divide f?
True
Let d be -2*(0 - 6/(-4)). Let c(m) = -6*m**3 + m**2 - m - 1. Let y be c(-1). Does 8 divide d/y - (-129)/7?
False
Does 12 divide 2022/1 - (-36)/(-3 + -3)?
True
Suppose -4*w = -3*x + 18, -x - 4*w + 9*w = -17. Suppose -38 = -u - x*u + 2*g, 2*g = -2*u + 12. Does 10 divide u?
True
Suppose 3*j = 2*j. Let w be (-5)/20 - 13/(-4). Suppose w*x + 2 - 17 = j. Is 3 a factor of x?
False
Let a = 320 - 608. Is 15 a factor of (-60)/18*a/10?
False
Let d(n) = 174*n - 25. Is 8 a factor of d(1)?
False
Suppose o - 4*r = r + 151, 905 = 5*o + 5*r. Does 15 divide o?
False
Let r(c) = -c**3 - 7*c**3 - 8*c - 2 + 4*c**3 - 11*c**2. Let x(t) = -t**3 - t**2 - t. Let p(g) = -r(g) + 3*x(g). Is p(-5) a multiple of 13?
True
Let w be 2*3/12*-10. Let r be 20/(-25)*w/2. Suppose -1 = -2*x - 5*b, -r*b + 34 = 5*x - 0*x. Does 4 divide x?
True
Let o = -605 + 1157. Is 46 a factor of o?
True
Let m(t) be the first derivative of -3*t - 15*t**2 - 13*t + 2 + 17*t**2 + 0. Is 3 a factor of m(6)?
False
Let w = -65 + 143. Is (w/2 + 2)/(1 + 0) a multiple of 41?
True
Let k(f) = 12*f**2 - 7*f**3 - 10*f**3 - 18 + 18*f**3 + 10*f. Is k(-8) a multiple of 29?
False
Suppose 5300 = -6*n + 8*n + 5*r, -4*n + 2*r = -10552. Does 110 divide n?
True
Let j be (8/(-14))/((-2)/(-7)). Let g be 3 - 4/(-2 + j). Suppose 9*u = g*u + 200. Is u a multiple of 20?
True
Let a(s) = s**3 + 6*s**2 + 4*s - 2. Let v be a(-5). Suppose 0 = u - v. Let g(h) = -h**2 + 3*h + 7. Is 2 a factor of g(u)?
False
Suppose -2*x = -x - 53. Let g = 13 - x. Let b = g + 72. Is 32 a factor of b?
True
Suppose 4*t = 3*h + 4, 3*t + t - 2*h = 4. Let a = t + 4. Suppose 5*o - 39 = -b - b, 3*b - a*o + 4 = 0. Is b even?
False
Suppose 0 = r + r. Suppose r = -4*v + v + 87. Does 29 divide v?
True
Let f = 54 - 32. Let n = f + 32. Does 14 divide n?
False
Suppose 4*g = o + 102 - 12, 4*o = 4*g - 96. Let d(s) = 2*s**2 + s - 2. Let n be d(-2). Suppose -66 - g = -n*z. Does 8 divide z?
False
Suppose -4*a = -2*d + 100, -2*d + 120 = 5*a - 4*a. Let v = 66 - d. Does 7 divide v?
False
Let p(b) = -2 - 6 + 3 + 14*b + 18*b. Does 17 divide p(6)?
True
Let m(c) = c**3 - c + 96 + 3*c**2 - 7*c**2 + 2*c**2 + 3*c**2. Does 24 divide m(0)?
True
Let r(y) = -y**3 - 4*y**2 + y - 7. Let w be r(-7). Let f = w + -9. Let s = f + -64. Is s a multiple of 12?
True
Suppose 27*i = 23*i + 2004. Is i a multiple of 19?
False
Is 8 + -4 - (0 + -191) a multiple of 5?
True
Let q = 11 + -12. Let h(a) = -3*a**2 - 3*a - 1. Let j be h(q). Does 15 divide -1*(-57 + -1 + j)?
False
Let n(w) = -4*w**2 - 4*w - 2. Let j be n(5). Let m = -246 - j. Let a = m + 184. Is a a multiple of 12?
True
Suppose -32 = -5*n + 3. Let y(m) = 3 - 7 + 11*m - m**2 - 2. Is y(n) a multiple of 22?
True
Let i = 242 - -169. Is i a multiple of 30?
False
Let b(o) = o + 15. Let h be b(7). Suppose -3*v + 29 = -h. Is 6 a factor of v?
False
Let b(p) = p**3 - 10*p**2 + 1. Let k be b(10). Let t be (7 - 5) + -2 + k. Is 3 - 89*(t + -2) a multiple of 14?
False
Suppose -4*q = -3*q. Suppose 2*w - 57 = -2*g + w, q = 5*g + 4*w - 150. Does 9 divide (g/4)/((-2)/(-4))?
False
Suppose 4*r = -r. Let k = r - -6. Suppose -k*z + 56 = -130. Is z a multiple of 13?
False
Let m(j) = j**3 + 6*j**2 - 2*j - 4. Let x = 26 - 21. Let s be m(x). Suppose 0 = 5*p - 124 - s. Is 12 a factor of p?
False
Let y = 475 - 333. Is y a multiple of 6?
False
Let c be (1 - 36/(-5)) + (-136)/(-170). Is 15 a factor of (22 - c)*(0 - -8)?
False
Let v(f) = -2*f - 1. Let a be v(-3). Suppose -2*x = k - 15, -2*x + a = -k - 0*k. Suppose -2*r = -2*t - x + 269, 3*r + 666 = 5*t. Is t a multiple of 30?
False
Is (6/4 - 4914/(-84))*6 a multiple of 12?
True
Suppose 7*h + 542 = 4014. Does 62 divide h?
True
Is 1 - (-466)/6*3 a multiple of 12?
False
Let g(r) = -249*r - 44. Is g(-4) a multiple of 28?
True
Suppose -7*o - 5*l + 315 = -2*o, 0 = -3*l. Suppose 3*b + o = 5*k, 4*b - 44 = -k - 3*k. Suppose 2*g - g - k = 0. Is g a multiple of 6?
True
Let d(u) = -6*u**2 + 7*u + 7. Let t(x) = -7*x**2 + 7*x + 8. Let b(a) = 6*d(a) - 5*t(a). Let c be b(7). Suppose -3*z = -107 + c. Is z a multiple of 7?
True
Suppose -u - 5*r = -0*u - 339, 4*u - 4*r - 1332 = 0. Does 67 divide u?
False
Suppose -4*z = 5*g + 6 - 2, 0 = 5*g + 3*z + 3. Suppose g = 3*x - 74 + 20. Suppose -3*r + 5*i = -r - 33, r = 2*i + x. Is 8 a factor of r?
True
Suppose 0 = 3*k + 4 + 8. Let r be (k/(-2))/((-2)/(-4)). Suppose 0 = 3*w + 15, r*m + 5*w - 4 = 3. Is m a multiple of 8?
True
Let y(d) = d**3 + 5*d**2 - 2*d. Let t be y(-4). Let x = -22 + t. Let k = 16 + x. Is k a multiple of 6?
True
Does 4 divide 136 - ((10 - 19) + 17)?
True
Let p(i) = -i**3 - 7*i**2 + 11*i + 3. Let t be p(-8). Is 13 a factor of (-6)/t - (-376)/7?
False
Let x = 8 + -5. Suppose -4*n - 241 = -3*b, 296 = x*b - 5*n + 54. Is b a multiple of 20?
False
Let k(d) = -d**3 + 8*d**2 + 7*d - 10. Let r be k(8). Let y = -23 + 39. Let i = r - y. Does 6 divide i?
True
Let h be (2 + 21/(-6))*(-4)/(-3). Is (38*5/(-40))/(h/80) a multiple of 36?
False
Let y be (-8)/(-16)*(7 - 1). Suppose 5*x - j = -y - 0, j = x + 3. Suppose h - g - 3*g - 34 = x, 108 = 4*h - 2*g. Does 13 divide h?
True
Suppose -4*a = w - 2*w - 94, 4*a - 90 = 3*w. Suppose 4*r - 3*r + a = 0. Is 3 a factor of (r/2)/(-3 - -1)?
True
Suppose 5*f - 12 = 3*k, 0*f + 5*k + 20 = 4*f. Suppose 4*s - 302 = 2*w, f*w = 5*s + w - 374. Suppose 0 = t - 4*t + s. Is 19 a factor of t?
False
Let w(s) = -2*s + 10. Let h be w(-3). Suppose j - 98 = -q, 2*j + 73 = q - h. Does 19 divide q?
True
Let q(k) = k**3 + 15*k**2 + 13*k + 2. Is 13 a factor of q(-6)?
False
Let u(b) = 9*b**3 + 2*b**2 - 30*b + 24. Is u(6) a multiple of 30?
True
Suppose 0*b = b. Suppose 0 = -b*u + 4*u + 204. Let k = -36 - u. Is k a multiple of 10?
False
Suppose 4*p - 3*v - 63 = 40, -v - 27 = -p. Let k = p - 44. Let q = k + 25. Does 3 divide q?
True
Let r = -449 + 735. Let t = r - 76. Is t a multiple of 10?
True
Suppose c + 305 = 5*c + h, 219 = 3*c + 4*h. Suppose o + 0*o - 27 = -5*m, c = 5*o - 4*m. Is o a multiple of 3?
False
Let y be 2/(-6) - (-40)/12. Suppose -y*j + 5 + 18 = 4*g, 5*j - g - 23 = 0. Suppose -45 = j*z - 225. Is 28 a factor of z?
False
Let s(x) = -x**3 - 3*x**2 - 69*x + 36. Does 37 divide s(-11)?
False
Suppose -5*p + 2945 = 5*y, 8*y - 2336 = -4*p + 9*y. Is (p/(-6))/(3 - 14/4) a multiple of 13?
True
Suppose 1832 = 17*h - 5648. Suppose -3*x - h = -5*f, -2*x + 157 = -4*f + 509. Is f a multiple of 18?
False
Does 3 divide (16 - 17)/(4/(-968))?
False
Let w = -6 + -53. Let h = w - -105. Suppose -4*i - h = -150. Is 17 a factor of i?
False
Let s(w) = 4*w**2 + 9*w - 9. Let i be s(-7). Let x = i + -86. Does 6 divide x?
False
Let t(g) be the third derivative of -41*g**6/120 + g**4/24 + 5*g**2. Let s be t(-1). Let z = 58 - s. Is 17 a factor of z?
False
Suppose -3*a - 6 = -0*a. Let k be 44/(-33)*(a + -1). Suppose -3*r + 5 - 12 = -5*z, -k*r = 3*z - 39. Is r a multiple of 6?
True
Let b(h) be the second derivative of -3*h**2 + 0 - 2*h**3 - 1/12*h**4 + 3*h. Does 10 divide b(-6)?
True
Suppose 5*s + 16 = 4*t, -2*t + 4*t = 2*s + 8. Is 10 a factor of (8 + t)*5*1?
True
Suppose -17*b + 13528 = -12*b - 4*p, 3*p = 2*b - 5414. Is 16 a factor of b?
True
Let d(z) be the first derivative of -3*z**2/2 - 6*z - 14. Let b be ((-3)/4)/((-4)/(-16)). Is d(b) a multiple of 3?
True
Let z = -209 - -68