et z be f(-13). Suppose z*t = -1 + 185. Does 16 divide t?
False
Let c(k) = k**3 - 13*k**2 + 10*k + 7. Let d be c(13). Suppose b - 14 = -5*x, -x + 5*x = 3*b - d. Is b a multiple of 6?
False
Suppose -11*b - 69 + 47 = 0. Is 5*(b/17 - 4771/(-1105)) a multiple of 21?
True
Let t(p) = -p**2 - 8*p + 56. Let x be t(-11). Suppose o - 101 = -x. Does 6 divide o?
True
Suppose -33*t - 5*z + 244 = -34*t, -3*z + 12 = 0. Let w = t - -279. Does 11 divide w?
True
Suppose 25*s = 261058 - 51833. Does 17 divide s?
False
Let z = -27 + 267. Suppose 0 = -15*n + 7*n + z. Is n even?
True
Let u = -2538 - -2541. Is 3 a factor of u?
True
Let b(j) be the first derivative of 4*j**3/3 + 3*j**2/2 - 6*j - 20. Suppose -4*c + 5*y + 6 = -0*c, -3*y - 2 = -2*c. Does 24 divide b(c)?
False
Suppose -49*t + 45596 = 4*v - 47*t, 2*t + 22780 = 2*v. Is v a multiple of 28?
True
Let x(s) = 9*s - 46. Let i(z) = -1. Let d(m) = -3*i(m) + x(m). Suppose -112*w + 97*w + 150 = 0. Is d(w) a multiple of 12?
False
Let l(i) = 103*i - 19. Let x be l(4). Suppose -3*c + 8*c + r - x = 0, 3*c = r + 231. Is c a multiple of 26?
True
Let f(m) = -m**3 + 18*m**2 - 53*m + 1. Let y be f(4). Is 5 a factor of (y + -11 - 79/(-1)) + -5?
False
Let q = 30 - -11. Suppose 3*y - 50 = -z, -y = 5*z + 1 - q. Let f = 60 - y. Is f a multiple of 12?
False
Let k(q) = 417*q**2 - 111*q - 6. Does 77 divide k(-3)?
False
Suppose 0 = -84*m + 274421 + 270320 + 439151. Does 53 divide m?
True
Let s = 241 + -220. Let l(h) = 47*h - 143. Is l(s) a multiple of 61?
False
Suppose -4433 = 5071*c - 5082*c. Is 3 a factor of c?
False
Let r(q) = 7*q**3 - 35*q**2 + 9*q + 59. Does 19 divide r(9)?
False
Suppose -2*b = -2*d, 0*d + d + 2*b - 12 = 0. Suppose q = d*k - 5, 4*k - 2*q = k. Let n(t) = 43*t - 4. Is n(k) a multiple of 36?
False
Suppose 5*m - 10 = 2*m - i, 2*m - 5*i = -16. Suppose -m*d - 3550 + 440 = -2*p, 3*d - 3085 = -2*p. Does 10 divide p?
True
Suppose -6*q + 13 + 89 = 0. Is 2/(((-5)/(-1))/(-5)) + q even?
False
Let s(m) = 509*m - 2543. Let j be s(5). Let g = 542 + -323. Suppose -j*q - q + g = 0. Does 15 divide q?
False
Suppose 143 = 5*g - 32. Is 7 a factor of 214 + ((-10)/g - 52/14)?
True
Suppose 6*o - 36 - 42 = 0. Suppose -o*d = -12*d - 7. Let s(c) = -c**2 + 10*c. Does 21 divide s(d)?
True
Let j(c) = -9*c + 2 + 1 + 19*c**2 + 7*c - 1. Let d be j(1). Is 4 a factor of d - (-2 + 0) - (0 - 2)?
False
Let k(g) = -3*g**3 + 36*g**2 - 10*g - 8. Is 38 a factor of k(8)?
False
Suppose -128 = m + 3*m. Let g = m + 39. Suppose -11*t + g*t = -112. Is 4 a factor of t?
True
Let a(f) = -890*f**3 + f**2 + 3*f + 3. Let k be a(-1). Let u = -621 + k. Is 28 a factor of u?
False
Let z(y) = -1691*y - 2996. Is z(-28) a multiple of 96?
True
Suppose -4*x = -x - 2*h - 8209, 5*h - 13715 = -5*x. Does 58 divide x?
False
Let n = -5 - -17. Let c be 4/16 - ((-57)/n + -2). Suppose 4*a - c*a + 762 = 5*m, 0 = 2*a - 8. Is 25 a factor of m?
True
Suppose 0 = 129*x - 3*x - 1009008. Is x a multiple of 44?
True
Let s(i) = -i**3 - 20*i**2 - 10*i + 34. Let f be s(-23). Suppose -1056 = -17*v + f. Does 19 divide v?
True
Suppose 3*n = 5*i + 154, -5*n - i + 246 = -4*i. Suppose 11*t - 3*t = n. Let q = t + 30. Is q a multiple of 18?
True
Suppose -26 + 56 = 5*d, 4*b - 2*d = 18612. Does 29 divide b?
False
Suppose 20*p + 351 = -489. Let w(s) = -s**2 - 40*s + 146. Is w(p) a multiple of 5?
False
Let g be (21 + -18)/(6/4). Suppose 3*k - 15 = 3*t, g*k - 3*t + 2 = 11. Suppose k*z - 276 = -90. Is 3 a factor of z?
False
Let h(x) = 2*x**2 + 18*x + 58. Suppose 88*a - 140 = 102*a. Is 19 a factor of h(a)?
False
Suppose 2*x + 2*x = x. Is (13/3 + x)*(-3525)/(-47) a multiple of 25?
True
Suppose -d + 14*v + 5731 = 17*v, -4*v = 5*d - 28688. Is d a multiple of 5?
True
Suppose -8*n + n + 91 = 0. Let a(q) = 2*q - 21. Let i be a(n). Suppose -i*o = 2*o - 574. Is o a multiple of 9?
False
Let w = 58 - 53. Suppose 3*h = -3*u + 2 - 5, 17 = -h - w*u. Suppose -312 = -3*j + 4*d - 6*d, -4*j = -h*d - 399. Does 34 divide j?
True
Let n(a) = a**3 - 75*a**2 - 154*a + 82. Is 36 a factor of n(77)?
False
Let d(i) = -i**3 - 19*i**2 + 2*i + 2. Let j be d(-11). Is j/(-10) + (-80)/100 a multiple of 8?
False
Let d(s) = 600*s + 79. Is 77 a factor of d(24)?
False
Suppose -17*y + 10*y = -140. Let n(f) = -f**3 + 18*f**2 + 42*f - 27. Let s be n(y). Let h(j) = j**3 - 14*j**2 + 20*j - 1. Is h(s) a multiple of 30?
True
Suppose -3*u + 7*u = 1596. Let c = 205 + -18. Let t = u - c. Is 16 a factor of t?
False
Let f(y) be the third derivative of y**5/60 + y**4/4 - y**3/6 + 33*y**2. Suppose -3*n + 4*h - 21 - 6 = 0, 4*h = 2*n + 14. Is 15 a factor of f(n)?
True
Let u(w) = -30*w**3 - 4*w**2 + 4. Let h(v) = 29*v**3 + 3*v**2 - 3. Let r(q) = -3*h(q) - 2*u(q). Let n be r(1). Let y = n + 63. Does 18 divide y?
True
Suppose -5*i + 43111 = -5194. Is 108 a factor of i?
False
Suppose 4*y - y + 2*z - 57 = 0, 3*y - 5*z - 57 = 0. Is -15*(-9 + 12 + y/(-3)) a multiple of 4?
False
Suppose -v = -2*g - 13 + 3, -3*v = -g - 20. Suppose 2509 = v*c - 179. Is c a multiple of 13?
False
Suppose -10 = 2*z, 23*z = -m + 18*z + 2777. Is 4 a factor of m?
False
Suppose 19*m - 87599 - 74101 = -36*m. Does 10 divide m?
True
Let n = -8562 - -8575. Is 4 a factor of n?
False
Let u = -144 + 131. Let t(c) = c**2 + 20*c + 104. Is 3 a factor of t(u)?
False
Let g(j) = 3*j**2 - j - 10. Let k be g(3). Let i be (-51)/(-34) + k/4. Suppose i*u - 89 - 526 = 5*c, -4*u - c = -477. Is u a multiple of 15?
True
Let b = 36645 + -7290. Is 26 a factor of b?
False
Suppose 329 - 35 = 4*o + 2*t, -5*o + 2*t + 381 = 0. Let n(h) = 3*h**2 + 5*h - 3. Let w be n(-5). Let l = o - w. Is l a multiple of 7?
True
Let x = -121 + 118. Is (6/(-4))/(x/350) a multiple of 5?
True
Suppose 2*b - 4*r - 1 = -3*r, 15 = 5*r. Let k(n) = -3*n**3 + 1 - 3 - 4*n - 3*n**2 + 3 + n**b. Is 12 a factor of k(-2)?
False
Let d = -3 + -11. Let a be (d/6)/(15/(-135)). Suppose s - 3*s - a = -5*k, -2*s = -k + 9. Is k a multiple of 2?
False
Suppose 0 = 2*u + 14, 0 = -3*c + 86*u - 85*u + 68455. Is c a multiple of 184?
True
Let o = 618 - 707. Is (39/9 - -1)*(-5 - o) a multiple of 29?
False
Does 14 divide 517 + 12 + -18 + 9?
False
Let y(u) = 11*u + 219. Let n be y(-20). Let z(o) = 19*o**2 - 12*o + 1. Is z(n) a multiple of 4?
True
Let h = -40 - -41. Let r be ((-100)/6 - h)*3. Let x = r + 88. Is x a multiple of 6?
False
Suppose 17*q + 0 - 34 = 0. Suppose q*m = m + 5*z + 27, m = -2*z - 8. Suppose -5*f - 182 = -4*p, -m*p = -p + 2*f - 52. Is p a multiple of 4?
True
Suppose -9 = -3*y, 4*h + 310 = 2*y - 916. Let u = -138 - h. Let r = 287 - u. Is r a multiple of 15?
True
Let s(u) = u**3 + 9*u**2 + 6*u - 7. Let p be s(-8). Is (-10)/(-270)*-6 - (-335)/p a multiple of 12?
False
Is -88*(1 + (-237)/6) a multiple of 14?
True
Let s = 56 - 46. Suppose -1 + s = 3*k. Suppose 5*b = k*t - 7*t + 272, 2*t = b + 122. Is 12 a factor of t?
False
Suppose 0 = 3*o - o - 46. Let j(t) = 161*t + 649. Let s be j(-4). Suppose -s*x - o + 128 = 0. Is 11 a factor of x?
False
Let v = -302 + 304. Suppose 2*z + x - 131 = 0, -4*x - 48 - 58 = -v*z. Is z a multiple of 21?
True
Suppose 11*s + 5*h = 12*s - 19694, -3*s + 7*h + 59042 = 0. Does 17 divide s?
True
Let v(p) = -p**2 + 19*p + 47. Let b be v(21). Suppose 2*w - b*o + 105 = 0, 5*w - 136 + 387 = o. Let n = w - -61. Is n a multiple of 11?
True
Let d = -189 - -361. Suppose 175*x - 60 = d*x. Is x even?
True
Suppose 0 = g + 5 - 1, -g - 76 = -4*f. Suppose -f*l + 1240 + 1298 = 0. Is l a multiple of 2?
False
Suppose 13*d = 47040 + 17895. Does 15 divide d?
True
Does 23 divide 0 - (2 + 3206/7)*(-21 + 4)?
True
Suppose -4*p = 2*u - 22, -4*p + 11 + 12 = 3*u. Is 88 a factor of (u - -1) + 435/5?
False
Let n be (-40)/(-100) + (-504)/10. Let q = n + 187. Is 9 a factor of q?
False
Suppose -50*b + 2066489 - 124073 = 22*b. Is 181 a factor of b?
False
Is (-26)/4*(-17)/((-204)/(-8))*891 a multiple of 99?
True
Let q(w) = 40*w - 340. Is q(31) a multiple of 60?
True
Let t(l) = l**2 + 25*l + 43. Let k be t(-24). Suppose 0 = -4*s + 29 + k. Is 3 a factor of s?
True
Let m be (4/(-48)*-4)/(1/6). Suppose m*w - 180 = 2*l, 5*w - 278 - 193 = -2*l. Does 31 divide w?
True
Suppose 17 - 42 = -5*t. Is 17 a factor of -17*(6/(-2) - t)?
True
Suppose 8*a = -491 - 1781. Let r = a - -629. Is 54 a factor of r?
False
Let y(i) = -2*i**3 + 19 + 21*i + 2*i**2 - 10*i**2 - 35 + 49*i**2 + 21.