3 + 65*n**2 + 235*n + 112. Is 15 a factor of m(68)?
True
Let c(l) = 51*l**2 - 1. Let b be c(-1). Let w be (12/((-12)/3))/(-3). Let s = b + w. Does 15 divide s?
False
Let r(o) = 2*o**2 + 5*o + 5. Let h be r(-2). Let x be (h - 3)/(3 - 2). Suppose x = -n + g + 2*g + 18, n = -3*g + 18. Is n a multiple of 18?
True
Let a(u) = 3*u - 2. Let p be a(2). Suppose 3*k - 221 = -p*n, 3 = -n - 2*k + 57. Does 7 divide n?
True
Let v = 134 + -60. Let i = v + -56. Is i a multiple of 3?
True
Suppose 1612 = 27*s - 1763. Is 4 a factor of s?
False
Suppose 0 = 3*n + 2*g + 8, 2*n - 7*g + 6*g + 10 = 0. Let l = n - -24. Is 20 a factor of l?
True
Is 54/(-63) - (-60112)/28 a multiple of 29?
True
Suppose q = -42 + 159. Is 31 a factor of q?
False
Let z(i) = -15*i**3 + 2*i + 1. Let j be z(-1). Let o be 2/(-6) + (-28)/(-12) + 0. Suppose o*c = 34 + j. Does 8 divide c?
True
Let s(k) = k**3 - 3*k**2 - 4*k - 2. Let g be s(-2). Let w be 1/1 + (g - 1). Let t = w + 25. Is 5 a factor of t?
False
Let t(z) = z**2 + 9*z + 10. Let y be t(-5). Is 4 a factor of (1 + 1)*5 - 20/y?
True
Let v = 17 + -13. Suppose q - 296 = -2*o - 3*q, -o = v*q - 156. Is 14 a factor of o?
True
Let v = 3083 + -1741. Does 122 divide v?
True
Suppose -5*l - 4*z = -13, 3*l - z - z = -1. Let i = l - -4. Suppose i*k = 28 + 97. Does 12 divide k?
False
Suppose o + 34 = -18. Let w(t) = t**3 + 9*t**2 + 3*t + 10. Let n be w(-5). Let s = n + o. Is s a multiple of 12?
False
Let j be 61 + 1 - 2*-1. Let h = j + -25. Suppose u + h = 4*u. Is u a multiple of 4?
False
Let q be (-11 + 21)*(-2)/(-5). Suppose -3*r = -5*f - 111, -2*r = -3*f - q*r - 59. Let h = -1 - f. Is 7 a factor of h?
False
Let a(c) = c**2 + 4*c - 5. Let u be a(2). Is 2 a factor of 36/(0 + 2) - (-7)/u?
False
Let f = -12 - -24. Suppose 5*w + 5*d = 4*d + f, -w = 5*d - 12. Suppose 5*o + 4*h - 100 = 55, 0 = o - w*h - 17. Is 13 a factor of o?
False
Let l be 66/176 - 243/8. Is 102/(-4)*-5*l/(-25) a multiple of 27?
False
Suppose -w + 36 = 2*w. Suppose 7 - w = -k. Suppose 2*c + 0*c - 142 = -4*o, o = k*c + 8. Does 11 divide o?
True
Let y = 38 + -36. Suppose v + 15 = y*v - t, 3*t + 62 = 4*v. Suppose -v = -2*z + 3. Is 4 a factor of z?
False
Suppose -d = 2*h - 1964, 3*d + 5223 = 4*h + 1315. Is 29 a factor of h?
False
Let w(g) = 135*g - 918. Is 8 a factor of w(32)?
False
Is (129/6 - -11)*356/5 a multiple of 26?
True
Suppose 1406 = n + q, -3*n - 4210 = -6*n - 5*q. Suppose 3*r + 0*r + 5*p - 11 = 0, 0 = -2*p - 4. Is n/35 - 2/r a multiple of 20?
True
Let z(r) = 76*r + 750. Is 50 a factor of z(0)?
True
Let q(v) = -v**3 + v**2 + v - 2. Let z be q(-2). Suppose -3*i = -z*i + 525. Is 22 a factor of i?
False
Does 14 divide 3/30 + (-7836)/(-40)?
True
Let b(c) be the first derivative of -2 - c**2 - 2*c + 5 + c**4 - 2*c**4. Is b(-2) a multiple of 6?
False
Let p = -1812 + 2676. Does 18 divide p?
True
Is (1 + 14/6)*33/2 a multiple of 2?
False
Let c = -67 + 22. Let v = 71 + c. Does 6 divide v?
False
Suppose 2*v = -v - 4*f + 38, v + 5*f - 31 = 0. Suppose 24 = -5*b + v*b. Is b a multiple of 6?
True
Suppose -227 = 4*j - 0*w - w, 3*w = -15. Let b = j + 116. Does 5 divide b?
False
Let m = -1761 + 2525. Does 35 divide m?
False
Let b = 13 + -10. Suppose -b*h - 38 = 4*l, -4*h + 6*h = -l - 27. Let u = h - -18. Does 3 divide u?
False
Suppose -147*a + 151*a - 528 = 0. Does 44 divide a?
True
Let f(j) = j**3 - 19*j**2 - j + 22. Let x = -6 + 25. Let a be f(x). Is 15 a factor of a - (-3 - (-3 - -21))?
False
Let j(v) = -v**2 + 16*v - 25. Let r be j(14). Suppose -8*z = -r*z - 80. Is 2 a factor of z?
True
Let o = 828 - 371. Is o a multiple of 41?
False
Suppose 3*s + 29 = -2*q, -34 = 2*q + 3*s + s. Is 7 a factor of -2 - -38 - 1 - (q - -10)?
False
Let j(v) = -4*v - 1. Let k be j(-1). Suppose y - 3*y = -3*i + 9, k = i + 5*y. Does 3 divide i?
True
Suppose 0 = -3*i - 9, -5*b - 3*i - i + 63 = 0. Suppose 12*g - b*g = 51. Is -1*(g + 0 + 3) a multiple of 7?
True
Let m be (-1*(-8)/(-12))/(4/6). Is 7 a factor of m/((-5)/210*2)?
True
Suppose -4*i - y = -6132, -5*y + 5519 = 5*i - 2131. Does 20 divide i?
False
Let f(j) = 3*j**2 + 2*j + 8. Let m be f(-6). Let g be ((-18)/(-54))/(1/15). Suppose -9*a = -g*a - m. Is a a multiple of 8?
False
Suppose -19*w = -18*w + g - 1908, 5*w = -2*g + 9531. Is w a multiple of 11?
False
Suppose 0 = 9*z - 1082 - 5578. Is z a multiple of 10?
True
Does 63 divide 4/(-8) - 2628/(-8)?
False
Is (-80352)/(-810)*(14/4 + -1) a multiple of 4?
True
Let r(q) = -q**2 + 17*q - 14. Let i be r(6). Suppose 0 = 3*w - 6, 2*z - z - i = 2*w. Is 14 a factor of z?
True
Suppose -h = -4*b - 2056, 5*b - 12504 - 5836 = -9*h. Does 15 divide h?
True
Suppose -3*a + 0*a - x = -194, -2*a + 106 = -4*x. Let f(b) = 0*b - 50 - 2*b + a. Is f(4) a multiple of 2?
False
Suppose 4 = -5*z - a - 1, -5*z = 2*a + 10. Suppose k = -z*k + 2. Is 9 a factor of (15 - -5) + 0 + k?
False
Let t(s) = s**3 + 29*s**2 + 62*s + 10. Is t(-25) a multiple of 40?
True
Suppose -3*d = -d - 4. Suppose d*x - 23 - 43 = 0. Suppose 0 = -3*p - 0*p + x. Is p a multiple of 2?
False
Suppose -22*c = -60*c + 5320. Is 15 a factor of c?
False
Suppose -4*i - 4*p = p - 23, -10 = 2*p. Suppose 0 = -i*w + 14*w. Suppose 3*v = -5*m + 153, w*v = 2*m - v - 70. Does 31 divide m?
False
Is 29 a factor of -76*-1*58/8?
True
Suppose 0 = 199*t - 200*t + 12. Suppose -i = 3*i - 2*o - 186, 0 = -4*i + 4*o + 180. Suppose 5*w - t = -5*n + i, -3*w - 4*n = -32. Does 6 divide w?
False
Does 8 divide ((-2224)/12)/((-14)/105)?
False
Suppose -5*u - 177 = r, 0*u = -r + 3*u - 177. Does 20 divide 4/(-12)*r + 1?
True
Suppose 3*a + 2*r = 13, 4*a - 10 = -r + 2*r. Suppose -a*v + 112 = 31. Is 9 a factor of v?
True
Let p(h) = h**2 - 16*h + 9. Let f be p(14). Let m = f + 33. Does 9 divide m?
False
Does 33 divide ((-1)/2)/(45/(-46530))?
False
Suppose -y = 4, 5*y + 16 = u - 23. Suppose -10*q - u = -11*q. Is 4 a factor of q?
False
Let y be (1 + -1)/(-2) + 2 + 633. Suppose 0 = 3*t - y + 179. Does 38 divide t?
True
Let u(i) = i**2 + 5*i - 8. Let x be u(-6). Let g(y) = -y - 3. Let f be g(x). Is (-7)/((-3)/(-6)*f) a multiple of 7?
True
Let s(t) = 111*t**2 + 1. Let a be s(-1). Suppose 4*r - 106 = b, -3*r = r + 2*b - a. Is r a multiple of 9?
True
Suppose 5*r + 32 + 47 = -2*h, -56 = 3*h - 5*r. Let t = 166 + h. Does 23 divide t?
False
Suppose 2*x + 3 = -17. Is (14/x - 1)/(2/(-80)) a multiple of 30?
False
Suppose -5*f + a + 14 = -16, 5*a = 5*f - 30. Suppose 0 = -2*z + 2*j + 226, -10*z + 15*z = -j + 589. Does 13 divide (-8)/(-6)*z/f?
True
Let k = -292 + 500. Is 16 a factor of k?
True
Let t(r) be the first derivative of r**3/3 - 5*r**2/2 + 3*r - 12. Is t(7) a multiple of 9?
False
Let u(d) = -d**2 + 17*d - 27. Is u(7) a multiple of 43?
True
Let t(o) = 9*o + 52. Does 4 divide t(-4)?
True
Let d(p) = 11*p + 2. Let a be d(-4). Let u = 84 + a. Is 14 a factor of u?
True
Suppose -1 + 5 = 4*m, -5*m + 1 = -2*r. Let x(t) = 3*t + 2*t - t - 13 + t**r. Does 22 divide x(-9)?
False
Let y be (60/36)/(4/12). Suppose 3*h + 2*f = -2*h + 12, 0 = -2*h - 4*f - 8. Suppose -5*s + 129 = 6*q - h*q, 3*s = y*q - 307. Is 15 a factor of q?
False
Is 8 a factor of ((-16)/(-6))/((-6)/(-486))?
True
Let h = -22 + 28. Suppose 58 = -3*g - 4*c, -g - c + 112 = -h*g. Let z = -5 - g. Does 17 divide z?
True
Let z be (-3 - -9)/(-2) + 199. Suppose 6*h + s = 2*h + z, 245 = 5*h + 4*s. Is 7 a factor of h?
True
Suppose y - 680 = -3*y. Suppose -3*n - y = 364. Does 8 divide n/(-8) + 6/(-24)?
False
Let k(q) = 3*q + 21. Let z = 5 - -3. Is 4 a factor of k(z)?
False
Suppose 19*c = 10498 + 6108. Is c a multiple of 4?
False
Suppose 2*p = 5*o + 437, 0 = 4*p - 3*o + o - 866. Does 4 divide p?
True
Let z(t) = 3*t**2 - 20*t - 256. Is z(-15) a multiple of 60?
False
Does 19 divide (-430)/55 + 8 + (-50649)/(-33)?
False
Suppose -5*i + 37 = 12. Suppose -i*l - 117 = -2*r + 6*r, 0 = 2*l + 10. Let y = 49 - r. Does 28 divide y?
False
Let p(u) = -165*u - 72. Does 20 divide p(-4)?
False
Let i(p) = 4*p**2 + p + 7. Is 4 a factor of i(4)?
False
Suppose 3*m + 3*o = 84, 6*o = 4*m + 2*o - 112. Suppose 0*p - m = -7*p. Is p even?
True
Let s(m) = -266*m**3 - 13*m**2 - 29*m - 5. Is 60 a factor of s(-2)?
False
Suppose -11*p + 28782 = 28*p. Is 41 a factor of p?
True
Suppose m - 7 = 3*v - 4*v, 5*m + 1 = 4*v. Let u = 76 - -4. Suppose u = j + m*j. Is 10 a factor of j?
True
Suppose 0 = -3*t - 503 + 4319. Do