alse
Let l(j) = -3*j**3 - 15*j**2 - 8*j + 3. Let k be l(-5). Does 21 divide (-14 - (-6 + 1))*k/(-3)?
False
Let p(q) = 6*q**2 + 5*q - 5. Let h be p(4). Suppose -5*f + 0*f - 270 = -4*l, 3*l - 2*f - 199 = 0. Let k = h - l. Is 10 a factor of k?
False
Let q(m) = m**3 - 13*m**2 - m + 15. Let o be q(13). Suppose p + o*p = 3. Is 17/p + -3 - -1 a multiple of 5?
True
Suppose -t = -7*t. Suppose t = -3*n - 5*m + 30, -4*n - 2*m + 48 = 2*m. Is 3 a factor of (-6)/n + (-66)/(-15)?
False
Suppose 19*d - 2671 - 1965 = 0. Does 5 divide d?
False
Suppose 2*l + 6 = 0, -5*b = -4*l + 18 + 5. Let a(k) = 25*k + 7*k**2 + k**3 - 21*k + k**2 - 6. Does 5 divide a(b)?
True
Let t(l) = l**2 + 1. Let n be t(-2). Suppose 0 = 3*d - 3*m - 186, -m - 125 = 3*d - n*d. Does 20 divide d?
False
Let g(c) = 30*c**2 + c - 3. Let h be g(-2). Suppose 8*k - 3*k = h. Suppose -k - 2 = -y. Is y a multiple of 12?
False
Suppose 0*y + 3*y - 3 = 0. Let i be -6*4*y/(-2). Suppose -t - t = -i. Is t even?
True
Suppose 8*d - 12*d - 4 = 0. Let k(b) = -40*b - 8*b - 27*b. Does 25 divide k(d)?
True
Let a = 1639 + -823. Does 6 divide a?
True
Suppose 3 = -9*p + 30. Suppose -p*g = -0*g - 1104. Does 14 divide g?
False
Let z = 15 + -12. Suppose -z*y + 14 + 16 = 0. Does 5 divide ((-4)/y)/((-2)/30)?
False
Let g(v) = -2*v + 32. Suppose 2*f + i - 19 = 6*f, 0 = -f + 5*i - 19. Let a be (0/(-2))/(3 + f). Does 16 divide g(a)?
True
Suppose -4*l + 13 = 3*j, 4*l = -0*l - 4*j + 12. Suppose -l*b = 83 - 363. Is b a multiple of 10?
True
Suppose 3*q = 6, 0 = -x + 5*x - 2*q - 4. Suppose 0*m = -2*m + 8. Suppose -2*k - f + 40 = -0*f, -m*k + 80 = -x*f. Is 4 a factor of k?
True
Let l(s) = s**2 - 3*s**2 + 0*s + 5 + s**2 + 7*s. Let g be l(-4). Let n = 59 + g. Is 7 a factor of n?
False
Let t = -1719 + 2722. Is t a multiple of 20?
False
Does 109 divide -30*(-5 + (-2877)/35)?
True
Suppose 9*s = 4*s + 5*r + 2410, -3*s = -4*r - 1445. Suppose -y + s = 5*j - j, -3*j - y = -363. Does 12 divide j?
True
Let b(z) = z**3 + 6*z**2 - 7*z + 3. Let o be b(-7). Let h be 4/6 + 1/o. Let w(t) = 16*t + 1. Is w(h) a multiple of 8?
False
Let l(a) = a**2 + 1. Let n(t) = -4*t**2 - 8*t - 19. Let o(w) = 5*l(w) + n(w). Does 7 divide o(14)?
True
Let l(s) = s**2 - 6*s + 16. Let y be l(13). Suppose 3*p = 2*w + y, 176 = 5*p + w - 2*w. Does 6 divide p?
False
Let d be ((-6)/(-10))/((-1)/(-25)). Let o(r) = -r**2 + 16*r + 9. Let b be o(d). Suppose -5*n = -1 - b. Is 2 a factor of n?
False
Let b = 317 - -282. Suppose 4*r - b = -0*y - 5*y, r = -y + 120. Is 17 a factor of y?
True
Let m be 4269/15 - 3/5. Let k = -200 + m. Does 12 divide k?
True
Let t(i) = 3*i**3 + 3*i**2 + 14*i - 4. Let p = -5 + 9. Let u(w) = w**3 + w + 1. Let j(v) = p*u(v) - t(v). Is j(6) a multiple of 14?
True
Let a(t) = -t - 1. Let v(l) = 30*l - 1. Suppose 5*f + 1 = 4*f. Let g(o) = f*v(o) - a(o). Is g(-2) a multiple of 12?
True
Let b be (-14 - -19)*36/(-10). Let m be 10/15*b/(-4). Suppose -5*t + 27 = -m. Is t a multiple of 6?
True
Let h(b) be the first derivative of 3*b**2/2 + 95*b - 16. Is h(0) a multiple of 35?
False
Let l(m) = 5*m - 30. Let a be l(7). Suppose -4*y + 97 = u, 16 = u + a*y - 82. Is 6 a factor of u?
False
Suppose 64 = 30*o - 38*o. Let q = -37 + 65. Is 2653/q + (-2)/o a multiple of 19?
True
Let s(q) = 4*q - 19. Let z be s(5). Let u be z/(-1)*(-2 - 3). Suppose -l = -o + 4*o - 106, -2*o - u*l = -62. Is 18 a factor of o?
True
Let a(t) = 2*t**2 - 10*t + 4. Let q(b) = 2*b**2 - 11*b + 1. Let x be 2/16 - 282/(-48). Let d be q(x). Is a(d) a multiple of 19?
False
Is (-2)/12 - 15054/(-36) a multiple of 11?
True
Let s = -95 - -102. Let r(q) be the second derivative of q**5/20 - 5*q**4/12 - 5*q**3/6 + q**2/2 - 2*q. Does 16 divide r(s)?
True
Suppose -u - 4*k = -180, -5*u + 4*k + 775 = -k. Does 20 divide u?
True
Let y(x) = -7*x - 8. Let c(w) = -5*w**2 + w**2 - w + 0*w**2 + 5*w**2. Let q(f) = c(f) - y(f). Is q(-6) even?
True
Let y = 9 + -15. Let v be ((-28)/y)/(20/(-30)). Let a = 3 - v. Does 5 divide a?
True
Suppose -4*g - 68 - 36 = -v, -3*v - 5*g + 295 = 0. Is 10 a factor of v?
True
Let c = 490 + -28. Is c a multiple of 33?
True
Let b(p) = 11*p + 5. Let c be b(5). Does 12 divide c - (-3)/18*0?
True
Let r be (30/(-25))/(1/5). Let m = -1 - r. Suppose -m*c + 54 = -3*i, -c - 3*c + 3*i + 45 = 0. Is c a multiple of 5?
False
Suppose s - 4*s = u - 4357, 3*u + 6 = 0. Does 41 divide s?
False
Let l(x) = x**3 - 2*x**2 - x + 1. Let r be l(5). Let t = 136 + r. Suppose 4*d = 4*p - 160, -5*p + t = -3*d + 5*d. Is p a multiple of 20?
False
Let v = -3532 + 5332. Does 20 divide v?
True
Suppose 101*y = 106*y - 2860. Is y a multiple of 44?
True
Let r(q) = q**3 + 4*q**2 - 9*q - 18. Let w be r(-5). Suppose 0 = 2*h - 10, -h = -2*a + w*h + 77. Does 46 divide a?
True
Let v(o) = o**2 - 6*o - 4. Let f be v(6). Let p(k) = -k. Let x be p(f). Suppose x*t - 80 = -4*m, 0 = 4*t - t - 12. Is 4 a factor of m?
True
Suppose 10*i - 9310 - 15480 = 0. Is 67 a factor of i?
True
Let d(o) = 2*o - 12. Let a be d(4). Let y(w) = -3. Let g(v) = v**2 + v - 2. Let l(k) = 3*g(k) - 2*y(k). Is 6 a factor of l(a)?
True
Let r be (68/3)/((-40)/(-12) + -3). Suppose r = 3*h - 4*c, c + 9 = -h - 4*c. Is 3 a factor of h?
False
Let p be (-4)/(-6) + 28/12. Suppose -k = 5*n - 254, -p*n + 230 = 2*n - 5*k. Is n a multiple of 16?
False
Suppose 0 = 6*w - 2*w + 3*c, -3*w + 2*c = 0. Let z be w - 13 - (3 - 0). Let l = 22 + z. Is l a multiple of 6?
True
Let s(z) = -4*z + 34. Let q be ((0/(-1))/(-2 - 1))/1. Is 20 a factor of s(q)?
False
Let l(q) = 1. Let x = -3 - 2. Let g(w) = w - 7. Let r(v) = x*l(v) - g(v). Is 10 a factor of r(-8)?
True
Let v = 122 - 117. Does 4 divide (-1 + v - 6) + 18?
True
Let n(z) = -z**3 + 7*z**2 + 2*z. Let i be -2*(-6)/3 + 0. Let m be 6 - ((-4)/i)/1. Is 7 a factor of n(m)?
True
Suppose 5*b - 25*r = -21*r + 1634, 0 = b - 2*r - 322. Is b a multiple of 33?
True
Let c = -47 + 64. Suppose 3*v + 3*o = -v + 63, -v - o = -c. Is v a multiple of 4?
True
Suppose -264 - 281 = -5*k. Suppose -k - 482 = -3*z. Is z a multiple of 20?
False
Suppose -2*z + w = -31, -3*w = w - 20. Suppose 0 = -12*k + 13*k - z. Suppose 0 = k*n - 15*n - 60. Is 5 a factor of n?
True
Let g = 3 + 1. Suppose -5*v - 7 - 3 = k, 0 = -v + g*k - 23. Does 7 divide 2/(v/((-42)/4))?
True
Let u(c) = -7*c**3 + 1. Let p be u(1). Let a be 18/(-4)*p/9. Suppose -2*l = a*l - 60. Is l a multiple of 6?
True
Suppose 80750 = 36*c + 14654. Is 12 a factor of c?
True
Let u = 12 + -12. Suppose -5*y + 35 = -u*y. Suppose 3*p = y*p - 208. Does 13 divide p?
True
Suppose 4*i + 0*h + 4 = -3*h, h - 4 = -4*i. Suppose 3*x - 588 = -s - i*s, 389 = 2*s - x. Is s a multiple of 39?
True
Suppose -3*w + 5*a + 375 = -245, 2*w - 422 = -a. Is 15 a factor of w?
True
Suppose -4*g = 4*r - 8, 0*g + 3*r + 14 = g. Suppose v - 4*v + 24 = 3*l, -v + 14 = 3*l. Is 11 a factor of v/(g/2) + 48?
False
Let o = -49 - -53. Suppose -h + 2*u + 40 = o*u, h = 5*u + 19. Does 17 divide h?
True
Suppose -2*l + 111 = -l + 3*r, 0 = -4*l + 3*r + 384. Let y = l + -3. Is y a multiple of 24?
True
Suppose -4*z - 3*m + 1104 = 0, -2*m + 169 = 3*z - 659. Is z a multiple of 66?
False
Let i = 481 + -20. Does 20 divide i?
False
Suppose 42 = -4*j + 2*j. Let h = j - -26. Suppose s = -2*d + 5*s - 2, 47 = h*d + 3*s. Is d a multiple of 2?
False
Let f = -5 - -9. Suppose 0*i - f*i = -284. Does 12 divide i?
False
Let b be 130/6 - 0 - (-17)/51. Suppose 3*w - 5*s - 23 - 15 = 0, 5*w + 2*s = b. Is w a multiple of 3?
True
Let d = -17 + 21. Suppose 16 = d*y, 18 = 2*m - 0*m + 2*y. Suppose 380 = m*l - l. Is 19 a factor of l?
True
Suppose -9*o - 15369 = -3*m, 10 = 7*o - 9*o. Is 62 a factor of m?
False
Let z(k) = -17*k**3 - 4*k**2 + 10. Is z(-3) a multiple of 25?
False
Let f(s) = -227*s - 323. Is 29 a factor of f(-5)?
True
Suppose -28 = -y + 26. Suppose -y = w - 3*w. Suppose 3*k - 48 = -5*i, -2*k + 2*i = k - w. Is k a multiple of 11?
True
Let s = 212 + -140. Is s a multiple of 12?
True
Let l be 76*-3*(-3)/(-12). Let w = l + 106. Is w a multiple of 11?
False
Let l(i) = -5*i**2 + 14*i + 1. Let y(g) = 6*g**2 - 13*g - 2. Let p(f) = 5*l(f) + 4*y(f). Is p(16) a multiple of 5?
False
Let t be 3 - ((8 - -2) + -3). Let g = t - -7. Is 1 - (-26 - (g - 3)) a multiple of 13?
False
Let m be (-18)/(-6) + 2*1. Suppose m*o + 3*s = 78, -o - 3*s = -11 - 7. Suppose -x = -o - 25. Does 13 divide x?
False
Supp