49 = -25. Suppose n = 4*s - 5*t, w*t = -2*s + t + 37. Does 17 divide s?
True
Let v(y) = -y**2 - 8*y. Let p be v(-8). Suppose -5*b - 20 = p, -466 = 3*n + 2*b - 1280. Suppose 4*u + 0*u + 3*f = n, f - 270 = -4*u. Does 13 divide u?
False
Let r = -205 - -394. Is r a multiple of 21?
True
Suppose 0 = 7*o - 8*o. Suppose -8*g = -o*g - 120. Does 2 divide g?
False
Suppose 2*y - 22 = -f, 0 = -19*y + 17*y - 2*f + 26. Suppose 0 = -5*v - 3*c + 265, -v + y*c = 10*c - 51. Is v a multiple of 7?
True
Let l(y) = y**2 + 7*y - 10. Let v be l(-8). Is 5 a factor of 6 + -2 + (v - -18)?
True
Let h = 1635 - 1395. Is h a multiple of 5?
True
Let w(q) = q**2 + 4 + q**2 + 4 + 0*q**2 + q. Does 16 divide w(-4)?
False
Suppose -73*m = -6543 - 1049. Is 76 a factor of m?
False
Suppose b = -3*i - 0*b - 27, -2*i = 4*b + 18. Let t(g) = g**2 + 24*g + 130. Let v be t(-7). Let w = i + v. Is w even?
True
Let g(x) = x + 5. Let r be g(-3). Let o = -101 - r. Let j = 151 + o. Is 12 a factor of j?
True
Let x = -146 + 506. Does 15 divide x?
True
Suppose 25*w = -4*w + 11745. Is 45 a factor of w?
True
Let z(f) = -2*f - 15. Let u be z(-8). Is (-15)/5 + 65/u a multiple of 31?
True
Let t(p) = 8*p**2 + 4*p - 1. Let u be t(-3). Let y = u - -86. Is y a multiple of 19?
False
Let z(a) = 4*a**2 + 18*a - 49. Is 21 a factor of z(7)?
True
Let p(k) be the second derivative of -k**3/3 - 9*k. Let s be p(-1). Does 2 divide (-2)/s + (-30)/(-3)?
False
Let s = -169 - -325. Let g = 343 - s. Does 11 divide g?
True
Suppose 3*i + 69 - 330 = 0. Suppose -2*s + 33 = -4*c + i, -4*c - 31 = 3*s. Let h = 22 + s. Is h a multiple of 4?
False
Let u(b) = b**3 - 7*b**2 + 16*b - 14. Let p be u(7). Suppose 4*n - 196 = 5*x - x, 2*n = -3*x + p. Does 7 divide n?
True
Suppose 0 = 698*h - 691*h - 1204. Is h a multiple of 43?
True
Suppose -2*i + 9 = -3*u - 4, -5*u - 30 = -5*i. Let w = -15 + i. Let a(d) = d**3 + 9*d**2 - 13*d - 6. Is 21 a factor of a(w)?
False
Let l(a) be the second derivative of a**5/20 - a**4/3 - 2*a**3/3 + 2*a**2 + 11*a. Let v be l(4). Is ((-45)/v)/((-3)/(-16)) a multiple of 10?
True
Suppose w - 10 = -p, -3*p + 42 = 5*w - 16. Let z = 60 + w. Is z a multiple of 10?
False
Let g = -71 + -65. Let h = 248 + g. Does 8 divide h?
True
Is (-1257)/(-9) + (-3)/(-9) a multiple of 35?
True
Let c(n) = n**2 + 1. Let q be (-5)/(-2) - 2/(-4). Let d be (-1 - -4) + 3 - q. Does 3 divide c(d)?
False
Let z(k) = k**2 + 9*k + 41. Is z(-11) a multiple of 9?
True
Suppose 0 = -6*v + 5*v - 8. Is 64*1/(-6)*30/v a multiple of 40?
True
Let n(v) = 66*v + 31. Is 12 a factor of n(17)?
False
Suppose -3*q - 2*q + 45 = 0. Suppose 8*n - q*n = -155. Suppose 4*m = -5*g - 101 + 311, 3*m + 5*g - n = 0. Does 11 divide m?
True
Suppose 0 = 3*w - w. Suppose -h - a + 40 = w, 7*a = 2*a + 20. Does 6 divide h?
True
Let z = 75 + 125. Does 25 divide z?
True
Let z(w) = 5*w + 48*w**3 - 27*w**3 + 12 - 28*w**3 - 2*w**2. Does 12 divide z(-3)?
True
Suppose 160 + 220 = 10*u. Suppose -u = 7*z - 248. Is 3 a factor of z?
True
Let z(n) = 17*n**2 - 7*n - 14. Is z(-6) a multiple of 32?
True
Let t(z) = -z**2 - 7*z - 5. Let b be t(-5). Suppose 2*m - 35 = -5*w, 0 = w - 3*m + m + b. Is w a multiple of 2?
False
Let t(k) = 3*k**2 - 74*k + 261. Is t(27) a multiple of 10?
True
Let o(g) = -5*g + 10. Let h(j) = -1. Let y(w) = 6*h(w) + o(w). Let f(z) = z**3 - 7*z**2 + 6*z - 4. Let u be f(6). Does 10 divide y(u)?
False
Is 25 a factor of (-4 - 86)*(40/12)/(-1)?
True
Let q = -8 - 19. Let w = q + 129. Is w a multiple of 34?
True
Let t = -2 - -6. Let n(s) = s**2 - s - 21. Let m be n(-7). Suppose -m = -t*i - i. Is 7 a factor of i?
True
Let l(q) = 4. Suppose 4*f + f = 2*w + 23, 4*f + 8 = -5*w. Let t(m) = m + 3. Let i(y) = f*t(y) - 4*l(y). Does 2 divide i(4)?
False
Let b(y) = 11*y**2 - y - 1. Let v be b(-1). Let f = 5 - v. Does 10 divide 3/2*(-92)/f?
False
Suppose q + 552 = -0*w + 3*w, 182 = w - q. Suppose -3*t = 2*t - w. Let x = 57 - t. Does 18 divide x?
False
Suppose -h - 33 = 4*d - 93, 2*h = -d + 99. Suppose -11*x + 94 = -5. Suppose 12*l - x*l - h = 0. Is 16 a factor of l?
True
Suppose 61*t = 59*t - q + 2109, 0 = -2*t + 3*q + 2113. Is 10 a factor of t?
False
Let k(f) be the second derivative of f**5/60 - f**4/6 - f**3 + f**2 + 4*f. Let w(o) be the first derivative of k(o). Is 17 a factor of w(8)?
False
Suppose 0 = d + 2*a - 24, -3*d + 63 = -a + 4*a. Let f be 0 + (21*-2)/(-3). Suppose -f*h = -d*h + 228. Does 10 divide h?
False
Let u(d) = -d**3 - 5*d**2 + 2*d + 7. Suppose 0 = -4*p - 2*w + 7 - 17, 4*p = 2*w - 30. Let f be u(p). Does 5 divide (f/(-9))/(1/75)?
True
Let r(m) = -2 - 14*m + 2 - m**2 + 0*m**2 + 2. Is r(-12) a multiple of 13?
True
Suppose -4*v + 13 = 5. Suppose -3*p - 2*m + v - 1 = 0, 1 = -4*p - 5*m. Is 17 a factor of (-2 - (-3 - p))*34?
True
Let z(q) = 3*q - 18. Let j be z(6). Suppose 0 = -j*t - 6*t + 234. Is t a multiple of 13?
True
Let o be (-2)/7 - 32/(-14). Suppose 0 = 126*k - 134*k + 40. Suppose 3*i - 3 = -w + k, o*i - 12 = -w. Is w a multiple of 5?
True
Let z(q) be the third derivative of q**4/24 + q**3/2 - 8*q**2. Let b be z(-6). Is 6 a factor of b/4 + (-1336)/(-32)?
False
Let c(u) = u**3 - 2*u**2 - 12*u + 509. Is 35 a factor of c(0)?
False
Let g(f) = -f**2 + 16*f + 23. Let a be g(17). Is (-4)/a - (-1448)/12 a multiple of 29?
False
Suppose -b = -2 - 6. Suppose -u - 4 = -b. Suppose -u*v - 5*z = -50, -3*z - 56 = -4*v - 5*z. Is 5 a factor of v?
True
Is 10/15 - 371/(-21)*53 a multiple of 35?
False
Suppose -2*s = -4*s + 6. Let w(x) = 3 + x**s - 7*x**2 + 0*x**3 + 6*x + 5. Does 4 divide w(6)?
True
Let x(u) = -6*u + 149. Is x(10) a multiple of 3?
False
Suppose 2 = -3*l - 2*r + 16, -2*l - 3*r + 11 = 0. Suppose 2*u - 2*m - 311 = -u, l*u - 2*m = 412. Does 23 divide u?
False
Let t be 4 + -3 + 2 - 3. Is 2 + -21*(t + -1) a multiple of 9?
False
Let h(d) = -d**2 - 5*d - 3. Let g be h(-5). Let i(v) = -8*v + 28. Let m(n) = -n + 3. Let f(x) = -6*i(x) + 56*m(x). Does 14 divide f(g)?
False
Let u(j) = 5*j + 4. Let d be u(-3). Let m(g) be the second derivative of -g**4/12 - 2*g**3 + g**2 + 2*g + 86. Does 3 divide m(d)?
False
Let q be (-1 - 22 - -4)/(-1). Let v = 21 - q. Is (v/5)/((-10)/(-200)) even?
True
Let g(t) = -t**3 + 7*t**2 - 3*t - 8. Let r be g(6). Let y(q) = 10 + 0*q**3 + 2*q**2 + 6*q**2 + r*q - q**3. Does 18 divide y(9)?
False
Suppose -2*r - d + 43 = 0, -d + 5 = r - 6*d. Let h = -4 - 0. Let w = r - h. Does 8 divide w?
True
Let i be 24/(-20)*(-80)/6. Let q = i - 12. Suppose -2*y = -124 + q. Does 32 divide y?
False
Let w(v) = 3*v + 6. Let l be ((-4)/5)/((-1)/5). Let u be w(l). Does 15 divide 25*1*u/15?
True
Suppose -3*o - 69 = -15. Let d = -34 + 11. Let v = o - d. Does 4 divide v?
False
Suppose -4*a = -355 - 853. Is a a multiple of 8?
False
Let z = -417 - -1347. Is z a multiple of 15?
True
Let z(l) = -26*l - 117. Is 11 a factor of z(-21)?
True
Let v(l) = l**3 - 7*l**2 - 7*l - 3. Let n be v(8). Suppose -136 = 3*m - n*m. Is 34 a factor of m?
True
Let m = 586 + -251. Let h = m + -125. Suppose 4*j = 2*w + h, -5*j + 2*j = 5*w - 151. Is j a multiple of 17?
False
Suppose -7*t = -5*v - 2*t - 60, v + 2*t = 0. Let j be 1914/15 + v/(-20). Suppose 5*y - o - 157 = 0, 4*y + 0*o - 2*o - j = 0. Does 10 divide y?
False
Suppose 2*n + 204 = 3*u, 4*u - 2*n + 1 = 273. Is 34 a factor of u?
True
Let h(x) = -x**2 - 12*x + 17. Let t be h(-13). Suppose -8*d - 156 = -t*d. Let a = d + 135. Is 26 a factor of a?
False
Let a(r) = -r**3 + 14*r**2 - 32*r + 114. Is 25 a factor of a(11)?
True
Let k = 742 - 442. Suppose -8*u = -4*u - k. Is 12 a factor of u?
False
Let q(j) = -j**2 + 17*j - 36. Let a(w) = -w - 1. Let v(x) = -6*a(x) + q(x). Does 21 divide v(17)?
False
Suppose -2*v + 0*v - 4*x = 12, 4*x = 5*v + 72. Is 4 a factor of ((-84)/8)/(v/16)?
False
Let m = -52 + 122. Let p = 166 - m. Is p a multiple of 24?
True
Suppose 0*p - 4*p + 808 = -3*k, -k - 202 = -p. Let u = p - 102. Does 14 divide u?
False
Is 18 a factor of 3*4/(-36) + (-9076)/(-12)?
True
Let t(f) = -1676*f - 4. Is 111 a factor of t(-1)?
False
Let q(a) = 4*a**3 + 2*a**2 - a. Let b be q(1). Let x(o) be the second derivative of -o**5/20 + 5*o**4/12 + 4*o**2 + 21*o. Is 8 a factor of x(b)?
True
Suppose 0 = k - 5 + 1, -2*h = 4*k - 224. Suppose 5*a - 369 = -59. Let p = h - a. Is 12 a factor of p?
False
Let t be ((-1 + 2)*-2)/6*-93. Does 5 divide t + (6 - (-12)/(-3))?
False
