c + 19, 11 = 3*d - 2*c. Suppose -4*f + 4*u + 80 = -d*f, -f + 50 = 2*u. Is 5 a factor of f?
True
Suppose -119 + 93 = 13*i. Let x(g) be the first derivative of -g**2/2 + 4*g + 1. Does 2 divide x(i)?
True
Suppose 0 = -2*z + 9 + 25. Suppose -21*g + z*g + 536 = 0. Is 21 a factor of g?
False
Let i be (5 - 8)/((-6)/4) - 0. Suppose 753 = 4*p + 5*w, i*p + 0*p - 5*w - 399 = 0. Does 13 divide p?
False
Let f(j) = 8*j**2 + 5*j - 6. Let t(c) = -2*c**2 + 6*c + 3. Let x be t(3). Does 17 divide f(x)?
False
Suppose -f + 2*q = 61, -4*f - 253 = -0*f - 5*q. Let o = 113 + f. Does 16 divide o?
False
Let q(h) = -h**2 - 4*h + 6. Let o be q(7). Let s = 215 + o. Suppose 5*y + 54 = s. Is y a multiple of 9?
True
Let m = 11 + -9. Let i be (28/8)/(m/44). Suppose -i = -5*o - 27. Does 5 divide o?
True
Let n be -4 + 3 + 7 + -1. Suppose -n = 3*q - 8*q. Let j(s) = 65*s. Does 18 divide j(q)?
False
Let m(s) = 1047*s**2 + 21*s + 19. Does 55 divide m(-1)?
True
Let s(o) = -28*o - 15. Let v be s(-6). Let y = v - 108. Does 7 divide y?
False
Suppose 5*l + 10 = 0, 16 - 372 = -5*w + 3*l. Is 17 a factor of (-2*(-17)/5)/(28/w)?
True
Let f(h) = 15*h - 11*h**2 + 17*h**2 - 40 - 5*h**2. Does 14 divide f(12)?
False
Let d = 10740 + -7331. Is 22 a factor of d?
False
Suppose -31*l + 4*u = -35*l + 1116, -4*l + 4*u + 1124 = 0. Is l a multiple of 10?
True
Suppose 0 = 6*z - 8*z - 754. Let l = z - -647. Is 45 a factor of l?
True
Let f be (-1 - -2)*(-18)/(-1). Suppose -15*s + f*s - 159 = 0. Does 9 divide s?
False
Let p(d) = -4*d + 19. Let z(n) be the first derivative of -9*n**2/2 + 39*n + 3. Let g(h) = 7*p(h) - 3*z(h). Is g(-6) a multiple of 11?
True
Suppose -5*z + 8*z + 24 = 0. Let f = -8 - z. Suppose f*a - 2*b = 4*a - 188, -3*b - 132 = -3*a. Is 23 a factor of a?
True
Let g = 1 - -5. Suppose 226 = 4*l + 3*b, 0 = 4*l + g*b - b - 222. Let m = -3 + l. Does 13 divide m?
False
Suppose -5*h - 20 = -n, -h = -5*n - 0*h + 4. Let r(z) = z**2 - z + 8. Let d be r(n). Does 5 divide (-6 - 0)/((-3)/d)?
False
Suppose 3*s - g = -0*g + 449, 453 = 3*s + 3*g. Is 4 a factor of s/12 - (-1)/(-2)?
True
Does 25 divide ((-136)/40 - -4)*1375?
True
Suppose -15*h + 12345 = -0*h. Is h a multiple of 7?
False
Let q(f) = 2*f**3 - 6*f + 5. Let y(a) = -a + 15. Let c be y(11). Let t be q(c). Suppose 0 = u - d - 6 - 51, 2*u - d = t. Is u a multiple of 15?
False
Let i be (-1)/4 - 78/8. Let x = -7 - i. Suppose x*c = 54 + 21. Does 7 divide c?
False
Let n be (0/(0 + 3))/(-2). Let d be (1 - n - 0)*2. Suppose 40 = d*f + 3*f. Does 8 divide f?
True
Suppose -165 = -j - 2*a, 2*a - 785 = -10*j + 5*j. Does 9 divide j?
False
Let j be -2*(140/(-8))/7. Suppose -i = -6*i - 3*c + 435, j*c + 227 = 3*i. Is i a multiple of 14?
True
Suppose 10 - 3860 = -5*q. Is 35 a factor of q?
True
Suppose 7*l - 4*l = 0. Let m(c) = c**3 + c**2 - 3. Let s be m(l). Is 10 a factor of 22 - ((-15)/s + -2)?
False
Let q(b) = 9*b + 9*b + 58 - 29*b + 12*b. Is 45 a factor of q(9)?
False
Let h = -533 - -1268. Is 5 a factor of h?
True
Does 4 divide ((-2)/5)/(120/(-74100))?
False
Let t(k) = 3 - k**2 - 11*k + 11*k - 3*k. Let l be t(-5). Let b(i) = i**3 + 6*i**2 - 8*i + 8. Is 9 a factor of b(l)?
False
Let i(x) be the second derivative of -x**3/6 - x**2 + 3*x. Suppose h + 1 = -5. Is 2 a factor of i(h)?
True
Suppose 2*y + 11 = -5*x, -2*y + 3*x + 9 = -4. Suppose -125 = -y*v - 5*r, -2*v = -3*v - 2*r + 62. Is v a multiple of 15?
True
Let h(x) = -x**3 + 31*x**2 + 66*x + 144. Does 56 divide h(30)?
True
Let l = -558 + 810. Is l a multiple of 28?
True
Let g(y) be the third derivative of -y**6/120 - y**5/12 + y**4/3 - 5*y**3/3 + 6*y**2. Let m be g(-7). Let h = 22 + m. Is 27 a factor of h?
True
Let m(n) = 5. Let f(x) = -x + 1. Let y(b) = -5*f(b) + m(b). Suppose 5*c - 21 = -l, -2*l = 3*c + l - 15. Is y(c) a multiple of 10?
True
Let k(h) = -h**2 - 4*h - 3. Let i be k(-4). Let r be (-47)/(-1) + (-6 - i). Let n = -30 + r. Does 7 divide n?
True
Suppose -4*p = 76 - 812. Suppose 0*t = t - p. Suppose -2*i = 2*i - 4, 5*v = i + t. Is v a multiple of 11?
False
Suppose 6 = 3*o - 0. Let s(h) = -2*h**2 - 2. Let k be s(o). Is 15 a factor of 1246/35 - 4/k?
False
Let m be 258/48 - (3 + (-84)/32). Let l(h) = 1 + 16*h + 3 - 2. Does 32 divide l(m)?
False
Let d(a) = a**3 - a**2 - a. Let t(y) = -6*y**3 + 3*y**2 + 12*y - 5. Let z(u) = -5*d(u) - t(u). Is z(4) a multiple of 8?
False
Let j be (-2)/4 - (-1)/2. Suppose g + 3*g = j. Is 2 a factor of 0 - -7 - (g + 0)?
False
Let j = -84 + 60. Let p = j + 172. Is 15 a factor of p?
False
Let o be 10/15 + -17*2/(-3). Does 15 divide 1263/o + -2 + (-14)/(-8)?
True
Let a = 0 + 6. Let z(w) = -w**3 + 4*w**3 - 8*w**2 - 9 - 5*w + 20*w - 2*w**3. Is z(a) a multiple of 4?
False
Let b(n) = -n**2 - n + 16. Let f be -10*(-1)/((-15)/(-6)). Suppose -3*i = -f*i. Does 13 divide b(i)?
False
Suppose 4927 + 34817 = 48*s. Does 23 divide s?
True
Suppose 2*n - 28 = 3*o - 4*o, 0 = -3*o + 12. Let w be (-3)/(-6) + n/8. Suppose -2*m = k - 7 - 8, 2*k = w*m + 30. Does 15 divide k?
True
Suppose 3*y = -5 - 1. Let s be (-252)/45*5/y. Suppose 4*o = 8*p - 4*p + 44, 2*p - s = -o. Does 2 divide o?
True
Let g = 70 - 146. Let y = g + 208. Is 17 a factor of y?
False
Suppose -6*a + 4*a = -6. Suppose -v + d = -1, -10 = -7*v + a*v + d. Suppose h - 40 = n, -v*h - 3*n = -2*n - 112. Is h a multiple of 19?
True
Let n = -833 - -1037. Is n a multiple of 7?
False
Suppose 2*a - 3*a + 3*c = -726, -4*c = -a + 726. Is a a multiple of 4?
False
Let x(h) = h**2 + h - 1. Let t be x(2). Suppose 5 = 3*q - 4*l, -5*q + 13 + 2 = -5*l. Suppose q*d - 134 = t*d. Is d a multiple of 14?
False
Suppose 3*k - 76 = 4*w, -3*w + 85 + 61 = 5*k. Suppose 0 = n - 3*m - 16, 0*m + 3*m = 4*n - k. Suppose 0 = 2*z - n*z + 42. Does 15 divide z?
False
Let h be -3 + 9/(-3) + -3. Let d be (-2)/h + (-40)/18. Is (65 - d) + (4 - 5) a multiple of 22?
True
Suppose 3*d + d - 3*n = -144, d = 5*n - 36. Suppose 14*o - 5*o = -729. Let a = d - o. Does 21 divide a?
False
Let s(k) be the second derivative of -k**5/20 - k**4/3 - 5*k**3/6 - 2*k**2 + 4*k. Let j = -11 + 7. Does 16 divide s(j)?
True
Let l(i) = 18*i - 53. Does 5 divide l(11)?
True
Let p = 11 + -7. Let b be -1 + (1 - 1 - -3). Suppose -b*g = -p*s - 5*g + 13, -3*s + 8 = 4*g. Is s a multiple of 2?
True
Suppose 4*l + 4*r = -l + 210, -5*l = -5*r - 210. Suppose 0 = -8*s + 310 + l. Is s a multiple of 22?
True
Let j(l) = -l**3 + l**2 + 3*l - 2. Let x be (-30)/(-20)*(-4)/(-3). Let n be j(x). Suppose -i = -n*i - 47. Is 19 a factor of i?
False
Suppose -12 = 4*j - 4, 0 = 5*r - 3*j - 5996. Is 18 a factor of r?
False
Let o = 4332 - 2053. Is 83 a factor of o?
False
Suppose 2*u = -17*u + 12483. Is 73 a factor of u?
True
Suppose -a - 4*a = -850. Suppose 4*g = -q - 195, -g - 2*g + 4*q - a = 0. Is (-16)/(16/4) - g a multiple of 28?
False
Suppose -4*g = -4, 0 = 5*c - g - 5497 + 928. Is 16 a factor of c?
False
Let b(y) = -y + 12. Let w be b(12). Suppose w = a - 2 - 0. Suppose -2*o = -2*c + 28, 2*o - 8 = -a*o. Is 5 a factor of c?
False
Suppose 18*v - 23*v - 163 = -2*q, -445 = -5*q + 5*v. Is 5 a factor of q?
False
Suppose 2*x + y = 52, 3*y + 28 = 2*x - 8. Let t = 48 - x. Is t a multiple of 6?
True
Suppose 13*g + 20 = 17*g. Is 6 a factor of (8/g)/((-2)/(-30))?
True
Let u(w) = 3*w**2 - 8*w + 6. Suppose 24 = -4*d - 4*z, -6*d - z - 14 = -d. Let t be d/(-5 - -3) + 5. Is u(t) a multiple of 22?
True
Let v(r) be the first derivative of -r**3/3 + r**2/2 - 9*r - 2. Let x be v(6). Let s = x - -58. Does 17 divide s?
False
Suppose -3*l = 5 - 188. Let x = 279 - 86. Suppose l = -4*r + x. Does 7 divide r?
False
Suppose 3*i - 2*k = 2 - 10, 4*i + 16 = 4*k. Let c = i - 17. Let w = c + 22. Is 2 a factor of w?
False
Let p(i) = -i**3 + 8*i**2 - 11*i - 2. Let m be p(5). Suppose -m*h = -13*h - 1620. Suppose -176 = -5*z + h. Is 25 a factor of z?
True
Let k be 0*((-15)/6)/5. Suppose k = -0*q + 2*q - 10. Suppose 2*d - 101 - 1 = 5*o, 2*d - 142 = -q*o. Is 17 a factor of d?
False
Let x = 9 + -9. Suppose -3*u + 3*d = -603, -2*u + 3*d + 191 + 215 = x. Suppose 0 = -2*c + z + u, 5*z = 5*c - 297 - 203. Is 19 a factor of c?
False
Let l(o) = -18*o + 10. Suppose 0 = 4*k - 0*k + 20. Let g be l(k). Let t = g - 40. Is 30 a factor of t?
True
Let d(w) = w**2 + 55*w + 352. Is 14 a factor of d(-59)?
True
Let d be 0/2 - (3 - 9). Suppose 2*w + 0*w = d, -4*w = -4*o. Suppose 5*b - 6 - 6