*s = 46*s + 3304. Does 29 divide s?
False
Suppose -4*v + v - 21 = 3*u, -71 = 5*v - 4*u. Let s(t) = -8*t**2 - 6*t**2 - t**3 + 3*t**2 - 3*t - 5. Is s(v) a multiple of 14?
True
Suppose 69 = a + m - 173, 0 = 2*a - 3*m - 474. Does 15 divide a?
True
Let w = -928 + 1844. Is w a multiple of 21?
False
Suppose 0 = -5*l + 3*l - 2*c + 116, -3*l + 180 = 5*c. Is l a multiple of 5?
True
Let h = -770 + 514. Is 6/(-21) - (h/14 - 0) a multiple of 18?
True
Let k = 11 - 11. Suppose 2*q + 1 = 3*g, q = -k*q + 2*g - 2. Suppose 2*b - q*b + 68 = 0. Is b a multiple of 13?
False
Let x(q) be the second derivative of 5*q**3/6 + 100*q**2 + 33*q - 1. Is x(0) a multiple of 50?
True
Let d(x) = x**2 + 3*x + 3. Let k be d(-6). Let u = 21 - k. Let g(p) = -p**2 - 2*p + 120. Is g(u) a multiple of 22?
False
Let u(h) = -1. Let b(n) = 2*n - 2. Let v(i) = -b(i) - 4*u(i). Let r be v(13). Let d = r + 48. Is 6 a factor of d?
False
Suppose 10*a - 9*a = 182. Is a a multiple of 63?
False
Suppose 184 = 4*g + 980. Let b = g - -295. Is b a multiple of 24?
True
Let w(z) be the first derivative of z**4/4 + 4*z**3/3 + z**2 + 7. Let g be w(-3). Suppose g*q - 93 = -s, 2*q - 3*s = -2*s + 57. Is 10 a factor of q?
True
Suppose -4*r = -6*r. Suppose r = 5*n - n. Suppose n = 5*f + d - 13, 0*f + f + 4*d = 14. Does 2 divide f?
True
Is 8 a factor of 6/33 + 14518/11?
True
Is (1525/(-75))/((-1)/60) a multiple of 20?
True
Let q be ((-6)/(-5))/((-9)/(-15)). Suppose 4*n = -q*g + 64, 2*g - 127 + 47 = 4*n. Does 11 divide g?
False
Suppose -4614 = -2*c + 1086. Does 95 divide c?
True
Let i(n) = 8*n**2 + 3*n - 31. Is 33 a factor of i(9)?
False
Let n(u) = -3 - 2 - 6*u - 19*u - 15*u. Let w be n(-9). Suppose 2*p - 7*p = -w. Does 18 divide p?
False
Let n(k) = k**3 + 11*k**2 + 9*k - 5. Let i be n(-9). Suppose 2*z - 44 = i. Suppose 4*l = -l + z. Does 6 divide l?
True
Let v(a) be the first derivative of -a**4/4 + 11*a**3/3 - 7*a**2 + 16*a + 45. Does 16 divide v(9)?
False
Let y = -201 + 327. Let f = y + -51. Is 31 a factor of f?
False
Suppose 350 + 362 = 2*c. Is 21 a factor of c?
False
Suppose 15314 = 11*j + 15*j. Is j a multiple of 41?
False
Let u be 20/(-15) + 2/(-3). Let m = u - 13. Let k(i) = -i**3 - 16*i**2 - 16*i + 10. Is k(m) a multiple of 11?
False
Let o(f) = 8*f**3 + 7*f**2 + 10*f - 38. Is 91 a factor of o(6)?
True
Let p = -8 - -12. Let d(w) = w**3 - 5*w**2 + 6*w - 3. Let f be d(p). Suppose k - f*t - 44 = -0*t, 5*k - 197 = 2*t. Is 13 a factor of k?
True
Suppose -2*w - 32 = 2*w. Let c(p) = -p**2 - 8*p + 2. Let b be c(w). Is b - 3 - (-4 + -2) a multiple of 5?
True
Let s = -2280 + 2346. Is s even?
True
Let b(n) = 6*n - 6*n - 2 - 5*n. Is b(-10) a multiple of 12?
True
Suppose -157316 = -18*z - 49*z. Is 28 a factor of z?
False
Suppose -148 - 1024 = -4*r. Is 6 a factor of r?
False
Let o = -108 - -153. Let g = -34 + o. Suppose 0 = -c + 4*l + 43, -g = -c + 5*l + 27. Does 7 divide c?
True
Is (-272)/(-3)*81/12 a multiple of 18?
True
Let f(v) = -5*v**2 + v - 9. Let u be f(-3). Let q = u + 108. Does 17 divide q?
True
Let c(b) = 1502*b**2 + 34*b - 32. Does 47 divide c(1)?
True
Suppose 10 = 5*u, -2*m - u - u = -8. Suppose 5 = x + 4. Suppose -y + 6 = 3*j - x, -m*y = -j + 14. Does 2 divide j?
True
Let j = 82 - 88. Let w = 3 - -15. Let a = w + j. Does 8 divide a?
False
Is 18 a factor of 18*24/(-5 + 6)?
True
Let n(f) = -39 + 2*f**3 - 3*f - 3*f**3 + f**2 + 42 - 5*f**2. Does 7 divide n(-5)?
False
Let b = -43 - -47. Suppose s = v - 8, 16 = 3*v - 5*s - b. Is v a multiple of 5?
True
Suppose 0*k = -k. Suppose k = -7*z + 9*z - 100. Does 6 divide z?
False
Suppose -2*r + 1002 = 2*v, -3*r - 2*v + 6*v = -1538. Is 69 a factor of r?
False
Is 17 a factor of (2 + 0)*2769/78?
False
Suppose 3*s + 8*l - 31 = 3*l, 0 = 2*s - 5*l - 54. Let m = s - 23. Let t(p) = -8*p. Is 16 a factor of t(m)?
True
Let j(p) be the second derivative of -5/6*p**3 + 6*p + 0 - 1/12*p**4 + 11/2*p**2. Does 4 divide j(-6)?
False
Suppose 2*z - 4 - 6 = 0. Suppose z*c - 2*c = 288. Is c a multiple of 8?
True
Let x(z) = -12*z - 8 + 1 + 0. Does 29 divide x(-3)?
True
Suppose 1109*z - 1119*z + 13370 = 0. Does 7 divide z?
True
Let l be 0 + 0 - 3 - 0. Does 10 divide ((0 - l)*3)/((-12)/(-40))?
True
Let f = 26 + -22. Suppose 2*q + 100 = -3*u, -f*q - 155 = -q + 2*u. Let t = 17 - q. Does 14 divide t?
True
Let n(c) = -3*c - 10. Let l be n(-6). Let s be 6*(-8)/(-12)*l. Let k = -17 + s. Is k a multiple of 8?
False
Suppose 2*p = 3*p - 3*b - 135, 2*b = p - 135. Suppose x = 6*x - p. Does 6 divide x?
False
Suppose 152*m - 4320 = 147*m. Is 16 a factor of m?
True
Suppose 5*l - 295 = -d, -5*d + 1094 + 435 = -2*l. Is 32 a factor of d?
False
Suppose -w = -4*x - 16, 6 = 5*w - 4*x - 26. Suppose 20 = -w*v - 132. Let q = v + 53. Is 5 a factor of q?
True
Let k(x) = 3*x**2 - 5*x + 98. Is 50 a factor of k(-17)?
True
Suppose 3*q = 4*i + 1040, -q + 208 = -4*i - 128. Is 16 a factor of q?
True
Let u(x) = x**2 - 7*x + 13. Let y be u(6). Suppose -4*t + y*t + s = 75, -4*s = -12. Is 11 a factor of t?
False
Suppose -3*y = y - 20, 0 = 4*l + 3*y - 1523. Let c = -217 + l. Suppose a = 5*a - c. Is a a multiple of 20?
True
Let a = 25 + -7. Let r(i) = i**2 - 14*i - 16. Is r(a) a multiple of 33?
False
Let z(t) = -194*t - 87. Is z(-3) a multiple of 5?
True
Suppose 417 = 6*f + 81. Does 3 divide f?
False
Let v(u) = -7*u - 3. Let k be v(-4). Suppose 3*a - 7 = 3*d - 22, -3*a - 23 = -5*d. Suppose -d*c - 151 - k = -4*o, 4*c - 160 = -3*o. Is 16 a factor of o?
True
Suppose 9*d - 11*d + 852 = 0. Suppose -4*b - 5*t + 3*t = -d, -2*b + 5*t + 183 = 0. Is 8 a factor of b?
True
Let x(y) = -3*y - 9. Let v(a) = -2*a - 9. Let w(o) = -4*v(o) + 3*x(o). Let d be w(4). Suppose 0 = -k + d*k - 356. Is k a multiple of 34?
False
Let y be 1/5 - 264/(-55). Suppose -y = -2*r - 1. Suppose 0 = r*j + 3*j - 105. Does 14 divide j?
False
Let q(d) = -d + 16*d - 8 + 20. Is q(6) a multiple of 31?
False
Let u(m) = 6*m**2 + 5*m + 5. Let p(h) = -17*h**2 - 16*h - 14. Suppose 10 = 2*z, 4*r + 7 = -z - 0. Let l(a) = r*p(a) - 8*u(a). Is 12 a factor of l(-4)?
False
Let z(q) = 2*q**2 + 3*q. Let b be z(-2). Let r(k) = 10*k**2 + 3*k - 54*k**3 + 2 + 5*k**2 - 13*k**b. Is 19 a factor of r(-1)?
False
Does 63 divide (-27)/18*2 - -1389?
True
Let q = 14 + -5. Suppose -5*s + q = -6. Suppose s*v + 13 - 52 = 0. Is 3 a factor of v?
False
Suppose -3*w - 1 = 4*v, -5*v - 9 = -8*w + 4*w. Let y be (-1 + w)*(3 - 4). Suppose 2*t = k + 102, y = -k - 0*k - 2. Is 10 a factor of t?
True
Let o(s) be the second derivative of s**5/20 - 2*s**4/3 - 11*s**3/3 - 3*s**2/2 + 24*s. Does 17 divide o(11)?
False
Suppose -v - 3*v = 5*r, -r = v + 1. Suppose 115 = r*k + k. Does 3 divide k?
False
Let s(j) = -4*j**2 - 188*j**3 + 3*j + 189*j**3 + 2 + 6*j. Is 36 a factor of s(5)?
True
Let l be -3*8/60*-1505. Is 14 a factor of (3/(-6))/(3 + l/(-200))?
False
Suppose 3*u - 135 = -5*w - 2*u, 2*u = 4*w - 108. Let m(n) = -n**3 + 3*n**2 + 72*n + 6. Let j be m(10). Let z = w + j. Is 19 a factor of z?
False
Let f(a) = 333*a**2 + a - 1. Does 9 divide f(1)?
True
Suppose 249 = -2*z + 55. Is 6 a factor of ((-8)/4)/(2/z)?
False
Suppose 0 = -2*m + 4*m + 8. Suppose -5*x + 8 + 427 = 4*n, 2*x = 4*n - 442. Is m/(-22) - (-7680)/n a multiple of 27?
False
Let w(t) be the first derivative of 7/2*t**2 - 1/3*t**3 - 1 - t. Is 3 a factor of w(5)?
True
Let y(s) = -s**2 - 26*s + 14. Let c be y(-28). Let j = 32 - c. Does 7 divide j?
False
Let n = -222 + 394. Suppose h - 188 = 3*h. Let f = h + n. Does 21 divide f?
False
Let s be -4 + 5/1 + -100. Let v = 225 + s. Does 18 divide v?
True
Let q(i) = 5 - 1 + 6*i - 2. Let l be q(-1). Is l/(-10) - (-2015)/25 a multiple of 27?
True
Let f(m) = -3*m**3 - 13*m**2 - 14*m + 2. Is 7 a factor of f(-4)?
True
Let q = -105 - -105. Suppose 2*x - 3*s - 345 - 249 = q, 5*x = 2*s + 1496. Does 22 divide x?
False
Suppose -5*g + 5 - 4 = -3*k, -5*k = -3*g - 9. Suppose g*i = -2*p + 278, -6*p + 3*p - i = -427. Does 16 divide p?
True
Suppose -5*w = -2*k + 249, 2*k + k = 5*w + 371. Suppose 2*y = j - k, -186 = -3*y + 6*y - 3*j. Let q = -37 - y. Does 10 divide q?
False
Suppose 36*h - 308 = 32*h. Is h a multiple of 7?
True
Let y(j) = -j**2 - 12*j + 29. Let w be y(-16). Does 14 divide (w + -4 + 4)*42/(-15)?
True
Let h = -228 - -265. Is 3 a factor of h?
False
Let h(i) = i**2 + 10*i - 13. Let z be h(-12). Let t = 10 - z. Does 19 divi