*l**2 - 61*l + 3. Let w(g) = -6*g**2 - 60*g + 4. Let m(f) = -5*j(f) + 6*w(f). Let d(r) be the first derivative of m(r). Is d(-11) a multiple of 11?
True
Let l = 20 + -26. Let a = l - -14. Is (452/a)/((-5)/(-10)) a multiple of 31?
False
Let c = 9677 - 6705. Does 4 divide c?
True
Let n = 69119 - 47492. Does 16 divide n?
False
Let k(x) = 326*x**2 - 37*x - 111. Is 169 a factor of k(-6)?
False
Let m(k) = 76*k**2 - 9*k + 10. Suppose 5*n - i - 7 = n, 0 = n + 5*i + 14. Is 3 a factor of m(n)?
False
Let k = 381 - 333. Suppose 0 = 6*o - 2820 - k. Is o a multiple of 23?
False
Let p(a) be the first derivative of 2*a**3/3 + 13*a**2/2 - 24*a - 20. Let n be p(-11). Let t = n - 54. Does 15 divide t?
False
Let w(n) = -3*n**2 + 6*n - 6. Let v be w(10). Let r = -207 - v. Is r even?
False
Let o(s) = -3*s - 10. Let u(j) = -5*j - 11. Let t(w) = -3*o(w) + 2*u(w). Let r be t(5). Suppose -2*b - 178 = -r*b. Is b a multiple of 42?
False
Let u(l) = -8*l**3 + 7*l**2 + 16*l + 196. Does 8 divide u(-11)?
False
Let r(u) = -u**2. Let y(z) = -11*z**2 - 3*z - 5. Let h(o) = 12*o**2 + 3*o + 4. Let a(p) = -3*h(p) - 2*y(p). Let c(l) = -a(l) + 4*r(l). Does 6 divide c(-2)?
True
Is (1276828/310)/(1 - 72/75) a multiple of 32?
False
Suppose -614*h + 609*h = -6530. Suppose -4362 = -4*b + h. Does 53 divide b?
False
Does 11 divide 145866/5 - (287/35 + -7)?
True
Let d be (-3 + (-6 - -6 - -4))*3. Suppose 3*s - 5*y - 1683 = -283, -15 = -d*y. Is 19 a factor of s?
True
Let x be 0*(-5)/(-10) - (2 + -2). Suppose -3*v + 2*v + 46 = x. Let k = v - -41. Is k a multiple of 8?
False
Let q(w) = -w**3 + 20*w**2 + 25*w - 49. Is 24 a factor of q(13)?
False
Let j(m) = -m**2 - 25*m + 57. Let t be j(-27). Suppose 2*y + 6 = 0, t*y + 2*y + 275 = 5*d. Does 3 divide d?
False
Suppose -d = 8*v - 6*v - 10875, 4*v = -4*d + 43512. Is 51 a factor of d?
False
Let d(q) = -4*q - 12. Let h(n) = -10*n - 23. Let u(x) = 5*d(x) - 3*h(x). Let s be u(-2). Let y = s - -51. Is 2 a factor of y?
True
Suppose 410*b - 16362 = 404*b. Is b a multiple of 9?
True
Let c(q) = 10*q**3 - 46*q**2 + 20*q + 36. Let v(d) = -7*d**3 + 31*d**2 - 14*d - 24. Let r(n) = -5*c(n) - 7*v(n). Does 23 divide r(9)?
False
Let u be 18/54*3*2. Is 61 a factor of -83*3/u*-2?
False
Suppose l + 4*v - 12 = 0, -2*l - v - v = -6. Suppose w = -m - l*m + 32, 56 = 3*m - 5*w. Suppose -7*d + 29 = -m. Is d a multiple of 3?
False
Let n(s) be the third derivative of s**5/15 + s**4/24 - s**3/6 - 3*s**2. Let t be n(-1). Suppose 6 = -t*r - 4, 4*r - 18 = -2*i. Is i a multiple of 7?
False
Let h be (-15)/(-6) - 5/10. Suppose 5*y = 5*x - 5, 3*x + h = 5*y - y. Suppose 0 = x*n - 10*n + 148. Is n a multiple of 15?
False
Is (10/15)/(((-42)/49059)/(-7)) a multiple of 23?
True
Suppose 0 = a + 17 - 62. Is 19 a factor of a*-6*(-3 - -2)?
False
Suppose 5*p - 1525 = -3*a, p - 135*a - 288 = -139*a. Is p even?
True
Let z(l) = -l**3 - 2*l**2 - 4*l + 26. Let b be z(0). Suppose b*d + 2470 = 31*d. Does 13 divide d?
True
Let q = 154 + -234. Suppose -5*u = -6*u - 8. Let s = u - q. Is s a multiple of 6?
True
Let d = 18 + -9. Suppose 12*a = d*a + 354. Is a a multiple of 14?
False
Suppose f + 4*d + 18 = 0, d + 11 - 12 = -3*f. Suppose 2*b + f*w - 1222 = 0, 4*w - 1580 = -5*b + 1474. Does 61 divide b?
True
Suppose 4755 = 2*g + 3*p - 2*p, g - 3*p = 2395. Is 140 a factor of g?
True
Let f be ((-14)/1)/((9/4)/(-9)). Suppose -52*d = -f*d. Suppose 5*o - 481 = u - 109, d = -5*o - 2*u + 381. Is o a multiple of 7?
False
Does 56 divide ((-28)/(-3))/(109/9810)?
True
Does 22 divide (11/3)/(-10*(-13)/33540)?
True
Suppose -4*f = l - 16010, -2*l = -62*f + 57*f - 32046. Is 36 a factor of l?
False
Let i = 52 - 92. Let n(g) = 20*g + 40. Let x(b) = 260*b + 520. Let k(y) = i*n(y) + 3*x(y). Is 28 a factor of k(-9)?
True
Let h = -568 - -581. Does 26 divide (6/24)/(h/4628)?
False
Let a(f) = -6*f - 12*f - 10 + 10*f. Suppose 0 = 16*n - 11*n + 30. Is 27 a factor of a(n)?
False
Let g = -420 + 712. Let d = g - 173. Is 17 a factor of d?
True
Let r be 8/(-12) + 11/3. Let s(v) = 12*v**3 - 2*v**3 + 6 - v + 6*v**r - 3*v**3. Does 36 divide s(2)?
True
Suppose 0 = 2*c - 2*p - 2170, 11*c + 3230 = 14*c + 2*p. Is 12 a factor of c?
True
Suppose -48560 = 5*s - q - 460451, 3*s - q - 247133 = 0. Is 21 a factor of s?
False
Let a(k) = 2*k**3 - 16*k**2 + 2*k - 14. Let d be a(8). Suppose 7 + 0 = -n - v, -5*v = -5*n - 15. Is 5 a factor of ((5/d)/n)/(4/(-48))?
False
Let h = 1470 - 2304. Is (-3)/(-2 + -1) + (1 - h) a multiple of 22?
True
Let a be 2*1/10 - 9/(-5). Suppose 0 = -15*s - a*s + 3536. Does 35 divide s?
False
Let a = 6257 - 4025. Does 3 divide a?
True
Let n = 2799 - -6636. Is 6 a factor of n?
False
Let b(t) = t**3 - 17*t**2 - 258*t + 274. Is b(31) a multiple of 15?
True
Is 6/30 + (-15)/((-150)/25598) a multiple of 16?
True
Is 30 a factor of (63/(-12))/((-7)/1680*2)?
True
Is 3 a factor of -1 + -1 + 7 - (-9 + -210 + -2)?
False
Let g(u) = -57*u + 17*u**2 - 16 + 11*u**2 - 65*u**2 + 33*u**2 + 46*u**2. Does 19 divide g(6)?
False
Let z = -18679 - -45363. Does 125 divide z?
False
Let f be (0 + -6 - -15) + -6. Suppose 0 = -f*r - 76 + 643. Is r a multiple of 11?
False
Suppose -31*g - 110 = -42*g. Suppose -15*v + 415 = 5*a - g*v, 2*v + 8 = 0. Does 7 divide a?
False
Let a(b) = 4*b**3 - 3*b**2 - 4*b + 6. Let l be a(1). Suppose l*o - 414 = -3*c, -o - 132 = -2*o + 2*c. Is 12 a factor of o?
False
Let z(m) = -m**3 + 53*m**2 - 339*m + 63. Does 3 divide z(44)?
True
Suppose -2*i - 7*i = -675. Let m = -75 + i. Suppose m = 9*u - 251 - 577. Is u a multiple of 7?
False
Let m(c) = c**2 - 2*c - 4. Let l be m(3). Let a be (-28)/84 + l/((-6)/26). Suppose 107 - 6 = 3*w + a*j, w + 2*j = 33. Is w a multiple of 13?
False
Let c = 224 - 155. Suppose -336 = c*o - 73*o. Is 28 a factor of o?
True
Let n(a) = -79*a + 36*a + 2*a**2 + 40*a + 4. Let r be n(2). Suppose -5*l = -5*i - 245, l = -r*i + 2*i + 44. Is 4 a factor of l?
True
Let n be -2 + (-1 - (-3)/1*2). Let y be (18/n)/(3/(-2)). Is ((-19)/(-2))/(y - 9/(-2)) a multiple of 8?
False
Suppose 154 + 94 = 2*b + 2*f, -3*b + 2*f = -377. Let s = 628 - b. Does 7 divide s?
False
Let m = 25905 - 18302. Is 5 a factor of m?
False
Let p(h) = 1469*h + 97. Is 31 a factor of p(10)?
True
Suppose -23 + 14 = -3*w. Suppose -w*n - 118 = -607. Is 8 a factor of n?
False
Let h = -20730 + 21527. Does 14 divide h?
False
Suppose -2*g = -3*d - 7 + 21, 2 = -2*g. Let k(w) = w**2 - 7*w + 15. Is 2 a factor of k(d)?
False
Let v(a) = a**3 - 8*a**2 + a + 34. Let n(l) = 2*l**2 + l + 1. Let k(p) = 2*n(p) - v(p). Is k(9) a multiple of 22?
True
Let p(t) be the first derivative of 148*t**2 + 166*t - 144. Is p(4) a multiple of 54?
True
Suppose -976 + 16 = -2*u - 4*k, 955 = 2*u + 3*k. Is u a multiple of 6?
False
Let m = -4908 - -8236. Does 52 divide m?
True
Let m = 366 - 361. Suppose 2*i - 48 + 46 = 0, -2*r + m*i = -765. Is r a multiple of 35?
True
Let y(r) be the first derivative of r**4/4 - 13*r**3/3 - 7*r**2 + 11*r + 1. Let m = 1072 - 1058. Does 11 divide y(m)?
True
Let o(y) = 103*y**2 + 3320*y - 27. Does 61 divide o(-34)?
True
Suppose -40*r - 1860 = -52*r. Let o = r + -116. Is o a multiple of 7?
False
Suppose 15*n + 676863 = -119*n + 3783519. Does 184 divide n?
True
Suppose 233*o = d + 232*o - 2072, -4*d + 8293 = -5*o. Is d a multiple of 5?
False
Let l(o) = -739*o + 1041. Is l(-5) a multiple of 37?
True
Suppose -8*s + 270 = 7*s. Suppose 3*j - 4*z - 90 = 0, -42 - s = -2*j - z. Does 3 divide j?
True
Suppose 0 = -3*d + 3, y - 25 = -3*d - 5. Suppose 3*p - 2*z - 8 = y, 3*p - z = 20. Let m(s) = 6*s - 23. Is m(p) a multiple of 2?
False
Let w(d) = -10*d**2 - 91*d - 27. Is w(-5) a multiple of 2?
True
Let m(p) = -10*p**2 + 11*p + 35. Let s(u) = 9*u**2 - 10*u - 34. Let f(i) = 5*m(i) + 6*s(i). Is f(-13) a multiple of 19?
False
Let b = 125 + -131. Is 3 a factor of 7 - -32 - b/(-1)?
True
Suppose 38*o - 160 = 33*o. Is o/1*8/16 a multiple of 16?
True
Suppose -49*h + 15*h = -91460. Does 33 divide h?
False
Let d(j) = j**3 + 8*j**2 + 2. Let b(f) = 2*f + 2. Let s be b(-5). Let g be d(s). Suppose 0*y - y - 55 = -3*o, g*y + 42 = 2*o. Does 5 divide o?
False
Let a(f) = -98*f + 4. Let v(r) = 295*r - 10. Let z(p) = 17*a(p) + 6*v(p). Let c be z(8). Suppose -2*l - c = -10*l. Does 12 divide l?
False
Suppose -16 = -5*z + 4, -4*w - 3*z = 28. Suppose 4*o - 7 = -2*l - 3, -5*l - 18 = -4*o. Does 11 div