z, 5*z + 2*m + 55 + 25 = 0. Let a = z + -14. Is 4 a factor of a*(9/(-12) - 0)?
False
Suppose 0 = 5*x - 10*x + 4*a + 16, -20 = 5*x + 5*a. Suppose 6*r - 3*r - 291 = x. Is r a multiple of 47?
False
Let s(l) = 7*l**3 - 3*l + 1. Let n be (-81)/54*(-1 + 1/(-3)). Does 17 divide s(n)?
True
Is 28 a factor of 1/1 + 279/(4 - 3)?
True
Let y(b) = 3*b**2 - 100*b + 63. Let p(a) = -2*a**2 + 67*a - 42. Let f(w) = -7*p(w) - 5*y(w). Is 7 a factor of f(30)?
False
Suppose -4*f = 2*n - 300, -300 = -f - 3*f + 5*n. Suppose -5*d + f + 15 = 0. Is 3 a factor of d?
True
Suppose -377 = -4*p - 3*w, 4*w - 3*w = 4*p - 365. Is 7 a factor of p?
False
Suppose -2*f - 160 = v, 15 = 5*f - 10*f. Let o = v - -217. Does 23 divide o?
False
Let j(v) = 12*v**3 - v**2 + v - 1. Let q be 0 + 6/(12/4). Does 12 divide j(q)?
False
Let q be (0/(-4) + 33)*(-5 + 1). Let i = 142 + q. Is 2 a factor of i?
True
Is 20 a factor of (0 - 719/(-4)) + (-51)/(-204)?
True
Suppose k = 2*m - 4628, -m = -6*m - 5*k + 11570. Is 7 a factor of m?
False
Is (-1458)/4*456/(-171) a multiple of 12?
True
Let j(s) = 4*s**2 - 4*s - 93. Let i(c) be the first derivative of -5*c**3/3 + 5*c**2/2 + 92*c + 2. Let k(q) = -3*i(q) - 4*j(q). Is 29 a factor of k(0)?
False
Let l = 474 - 764. Is 24 a factor of l/(-12) - 2*1/12?
True
Let z(p) = -p**2 + 10*p + 1. Let x be z(9). Suppose -3*o - x = 2*o. Let a(d) = 22*d**2 + d - 3. Is 23 a factor of a(o)?
False
Suppose -5*q - 4*q = -3474. Does 32 divide q?
False
Let k be (-3443)/(-77) + (0 - 4/(-14)). Is 9 a factor of (-116)/6*(k/(-6) + 6)?
False
Let j = 6477 - 3027. Is 69 a factor of j?
True
Let f(d) = 9*d**3 + d**2 - d + 1. Let s be f(1). Suppose -w = w - s. Suppose 4*r = p + 116, 2*r = -w*p + 34 + 2. Does 14 divide r?
True
Let w(x) = 5*x**2 - 8*x - 74. Is 23 a factor of w(11)?
False
Suppose 3*l - 8 = -l. Suppose -l*w + 48 = 3*n + 4, -w + 5*n = 4. Suppose 5*c = -w + 76. Is 3 a factor of c?
True
Suppose -1065 = -u + r - 0*r, -3*r = -4*u + 4255. Let f = u + -718. Is 38 a factor of 1/(3/f - 0)?
True
Suppose 4*c = 741 + 547. Is c a multiple of 10?
False
Let z be ((-2)/3)/((-2)/(-15)). Let d(n) = -4 + 4*n - 4*n - 3*n. Does 3 divide d(z)?
False
Let p(i) = 8*i + 8. Let x(n) = -n**2 - 2*n + 2. Let u be x(-2). Let q(l) = l**2 + l. Let r be q(u). Is 15 a factor of p(r)?
False
Let h(m) = 6*m**3 - 13*m**2 + 6*m + 11. Is 5 a factor of h(5)?
False
Suppose 2*c - 7*c = 0. Suppose 5*z - 14 - 11 = c. Suppose 3*f - 11 - 3 = 5*q, -34 = -z*f + 3*q. Is f a multiple of 6?
False
Suppose 6 = -t + 3*t. Does 14 divide ((-3)/(-2))/((27/1038)/t)?
False
Suppose 0 = 2*z, 3*s - 5*s = z. Suppose i - 13*i + 720 = s. Is 6 a factor of i?
True
Suppose -2*z = 5*k - 293, -24*z + 20*z = 2*k - 130. Is k a multiple of 37?
False
Let u(o) = 39*o - 113. Is u(5) a multiple of 10?
False
Suppose n + 1292 = 2913. Does 38 divide n?
False
Let l(i) = -i**3 - 1. Let w(p) = 11*p**2 - 10*p - 4. Let t(n) = l(n) - w(n). Does 12 divide t(-12)?
False
Suppose -50 + 294 = 4*r. Is r a multiple of 3?
False
Suppose -12*x + 165 = -8*x + h, -198 = -5*x - 4*h. Is x a multiple of 6?
True
Let g(a) = 12*a - 4. Let f(p) = 32*p - 9. Let q(k) = 11*k - 3. Let o(n) = 2*f(n) - 7*q(n). Let h(s) = 6*g(s) + 5*o(s). Is 16 a factor of h(4)?
False
Suppose 0 = -3*g + 31*g - 21028. Is 70 a factor of g?
False
Suppose 2*l + d = 3*d + 210, l + 2*d - 120 = 0. Let h = -78 + l. Is h a multiple of 17?
False
Let z = 352 + -401. Let n be 2/(-6) + (-32)/3. Let q = n - z. Is 19 a factor of q?
True
Let u(t) = -t**3 + 7*t**2 - 9*t + 10. Let z be u(7). Let o = z - -61. Does 4 divide o?
True
Let k = -476 - -641. Is k a multiple of 33?
True
Let v(p) = 14*p + 28. Let a be ((-3)/(-9))/1 + (-228)/(-18). Is 15 a factor of v(a)?
True
Let w(p) = 6*p**2 - 5*p + 9. Let g(n) = -2. Let h(l) = 2*g(l) + w(l). Suppose -5*q = -16 + 6. Is 15 a factor of h(q)?
False
Let b = -98 - -928. Suppose -4*g + 0*g + p = -b, -2*g = 3*p - 422. Is 52 a factor of g?
True
Suppose 0 = -222*z + 223*z - 437. Is 23 a factor of z?
True
Is ((-16)/(-6))/((-3)/(-162)) a multiple of 48?
True
Suppose -6*d = -26*d + 1520. Does 10 divide d?
False
Suppose 5*a = 12*r - 10*r - 355, -2*r + 390 = 2*a. Does 19 divide r?
True
Suppose -5481 = -4*h - 3*h. Does 9 divide h?
True
Let v(u) = u**2 - 2*u - 4. Let p be v(4). Suppose -f + 0*f = -x + 4, -2*f = -p*x + 18. Let i = 11 - x. Does 3 divide i?
True
Let c(i) = 3*i**3 + 3*i**2 + 4*i - 3. Let v(d) = -d**3 - d**2 - d - 1. Let f(r) = -c(r) - 2*v(r). Is f(0) even?
False
Let o = 99 + -94. Suppose -35 = -o*i + 435. Is i a multiple of 7?
False
Suppose -2*w - 2*w = 3*q + 10, -4*w = q + 14. Suppose -3 = -q*y - 1. Does 12 divide 3/y + (41 - 3)?
False
Let n = -10 + 11. Let x be -2 + 10 + (-2 - n). Suppose 3*k - x*o = 15, 0*o = 3*k + 3*o - 15. Does 4 divide k?
False
Let b be -1*0/((-7)/((-14)/(-4))). Suppose 3*r - 925 = -5*a, a + 4*a - 3*r - 895 = b. Is 26 a factor of a?
True
Suppose -8*d = 350 - 134. Let a = d - -87. Is 12 a factor of a?
True
Let s(m) = 4*m**2 - 13*m + 44. Is 14 a factor of s(10)?
False
Let j = -42 + 52. Is j/(-20) - (-241)/2 a multiple of 20?
True
Let f(n) = 71*n**2 + 4*n + 14. Does 11 divide f(-7)?
True
Suppose 5*m - h - 2345 = -6*h, -3*h = -5*m + 2361. Is 42 a factor of m?
False
Let n be 380/65 + (-2)/(-13). Let h be -1 + -2*(-291)/n. Let q = 136 - h. Is 10 a factor of q?
True
Let y = 2516 + -1318. Is y a multiple of 16?
False
Let c(j) = 286*j**2 - 1. Let v = -17 + 18. Let n be c(v). Suppose -3*u + n = 2*u. Is u a multiple of 15?
False
Suppose 3*f = -346 + 1777. Does 41 divide f?
False
Suppose 24*l - 9*l = 14220. Is l a multiple of 122?
False
Let l be -5 + 27/3 + -4. Suppose l*u - 1270 = -5*u. Is u a multiple of 12?
False
Let f = 24 - 67. Let z = f + 60. Is z a multiple of 17?
True
Suppose -6*x = -12*x - 6. Let l = 2 - 0. Does 28 divide x - (l - 85 - 2)?
True
Let y(i) = i**3 - 15*i**2 + 16*i - 13. Let o be y(13). Let s = -61 - o. Is s a multiple of 41?
True
Let m(c) = 3*c + 7. Let s = 22 - 7. Does 12 divide m(s)?
False
Is 2 a factor of (2 - (-21)/(-14))*166?
False
Suppose -z - 2*n + 12 + 9 = 0, 4*z = 2*n + 124. Let x = 34 - z. Suppose 2*f + 48 = x*f. Does 8 divide f?
True
Suppose 2*b + 4*p + 5 - 13 = 0, -4*b = 5*p - 16. Suppose b*a = 113 + 59. Is 43 a factor of a?
True
Does 3 divide 1*56/(-8) + 781?
True
Suppose 2*m - 50 = -d, 2*m + 4*d - 85 = -23. Let y(n) = 9*n - 79. Let p be y(10). Let z = m - p. Does 4 divide z?
True
Is 12 a factor of 80 - (-8)/(-4)*(-15)/(-10)?
False
Let y = 211 + -109. Is 34 a factor of y?
True
Let p(q) = q - 2. Let m be p(6). Let u = 4 - m. Suppose u*l = -3*l + 45. Is 9 a factor of l?
False
Let l(u) = 9*u + 7. Let v = -15 + 24. Does 22 divide l(v)?
True
Suppose 0 = t - 11 + 3. Let j(v) = v**3 - 7*v**2 - 7*v - 11. Let w be j(t). Is 5 a factor of (w - 13/2)*-2?
False
Let h = -1197 + 3454. Is h a multiple of 13?
False
Let g = 24 - 27. Let p(q) = q**2 + 4*q + 5. Let t be p(g). Suppose 5*s - t*s - 18 = 0. Is s a multiple of 4?
False
Let p(x) be the second derivative of x**5/20 + x**4/12 - 3*x**2/2 + 3*x. Let u be p(-3). Let o = 29 + u. Is 3 a factor of o?
False
Suppose -147*o = -146*o - 3. Is 25 a factor of (o - (-38)/4)*14?
True
Let b = -2 - 18. Let v = -35 - b. Let t(i) = -i**3 - 16*i**2 - 17*i - 8. Is t(v) a multiple of 22?
True
Let g(o) = -o**3 + o**2 + o. Let p(s) = -7*s**2 - 3*s - 2. Let k(j) = -6*g(j) - p(j). Is k(1) a multiple of 3?
True
Let c = -12 - -17. Let n be (-2)/c*(-60)/(-4). Let g = 3 - n. Is g a multiple of 2?
False
Let z(d) = -d**2 - 9*d + 26. Let c be z(-11). Suppose c*l - 16*l = -156. Is l a multiple of 8?
False
Let w(k) = 25*k**2 - 16*k - 83. Is 38 a factor of w(-7)?
True
Let c be ((-24)/4)/(6/(-4)). Does 6 divide 180/c - -4 - 1?
True
Suppose -8 = 4*h - 36. Suppose 528 = 10*k - 4*k. Suppose 3*z + k = h*z. Does 5 divide z?
False
Let d(l) = 22*l**2 - 6. Is 5 a factor of d(-2)?
False
Suppose 2*z = 4*z - 1352. Is 52 a factor of z?
True
Let t be (-4)/(7 - -5)*-54. Does 10 divide 3/((-30)/(-16))*765/t?
False
Let f(i) = 3 + i**2 + 2*i**2 - 17*i - 4*i**2. Is f(-14) a multiple of 15?
True
Let s(o) = -18*o**2 + 5*o - 6. Let r be s(-5). Let w = r - -823. Suppose 0 = -3*i - 0*i + w. Is i a multiple of 24?
False
Let w(v) = v**3 - 12*v**2 + 15*v + 16. Let x be (-12)/8 - (-50)/4. Is 20 a factor of w(x)?
True
Let q be -1 - (-8)/(9/(-10) - -1). Suppo