f + 3*f + 43 = 4*z, -3*f = -l*z - 129. Is 15 a factor of f?
False
Let c(o) = 2*o**2 + 7*o - 5. Let v be c(-6). Let q be 8/2*-5 - (3 + -6). Let i = v + q. Is 4 a factor of i?
True
Let c = 4420 - 2184. Is 13 a factor of c?
True
Let n(p) = 2*p**2 - p + 15. Let r be 125/20 + 1/(-4). Does 35 divide n(r)?
False
Let r = 34 + -32. Suppose 0 = -t - 0*t - r*z + 124, t = -5*z + 121. Is t a multiple of 21?
True
Let s(n) = -4*n - 7. Suppose 3*j - 3 = -5*o + 2, -3*o + 9 = 3*j. Let g = j - 12. Is s(g) a multiple of 15?
False
Let n(p) be the first derivative of p**3 - 5*p - 311. Let f(l) = -2*l + 1. Let s be f(4). Is 36 a factor of n(s)?
False
Suppose 0 = -x + 16 + 42. Is 29 a factor of x?
True
Suppose -y = 3*y + 128. Let w = 27 - y. Is 15 a factor of w?
False
Suppose -4*a - 4*q + 3995 = -457, -3*a + q = -3351. Is 18 a factor of a?
True
Is 31/((-261)/66 - (-4 + 0)) a multiple of 12?
False
Let u = 50 + -46. Suppose -u*o + 169 = 13. Is 4 a factor of o?
False
Let g(u) = u**2 - 4*u + 110. Is g(22) a multiple of 22?
True
Let f = -194 - -378. Is f a multiple of 23?
True
Let t(p) = p**3 + 9*p**2 + 12*p + 7. Let q = 9 - 16. Is 11 a factor of t(q)?
False
Let k(g) = g**3 + 24*g**2 + 12*g - 25. Let b(v) = v + 2. Let s be b(-25). Does 14 divide k(s)?
False
Let n(r) = r**3 + 4*r**2 + 6. Let k be n(-5). Let o(t) = 15*t - 354. Let i be o(30). Let v = i + k. Does 15 divide v?
False
Let n(a) = a**3 - 9*a**2 + 7*a + 10. Let u be n(8). Suppose 4*w = -u*y - 16, -4*w + 7 = 27. Suppose 0 = y*x + 4*x - 204. Does 10 divide x?
False
Suppose -182 = -47*y + 45*y. Suppose -h + 2*h - y = 0. Is h a multiple of 16?
False
Let a be 6/(-2) + (11 - -3). Suppose a*u = 6*u. Suppose -5*s - 3*l = -2*s - 93, u = 3*s - l - 113. Does 18 divide s?
True
Let c = 216 - 147. Let o(y) = 17*y. Let t be o(-2). Let q = t + c. Does 16 divide q?
False
Let v = 1054 + -404. Is 39 a factor of v?
False
Let n(s) be the second derivative of s**5/2 - s**4/3 + s**3 + s**2/2 - 2*s. Does 23 divide n(3)?
True
Let q(v) = -v**2 + 4*v - 4. Let n be q(4). Let x(g) = -g**3 - 3*g**2 - 2*g - 7. Does 7 divide x(n)?
False
Let i be (54/45)/((-263)/(-260) + -1). Let g = i + -41. Is 5 a factor of g?
False
Is (125/(-10))/((-6)/36) a multiple of 7?
False
Let f be (32/3)/(8/96). Let u = 184 - f. Is 18 a factor of u?
False
Suppose 5*g + 10 = -2*t, g - 4*t = 6 + 14. Let j(f) = -19*f**2 - 2 + 24*f**2 - f + g. Is 20 a factor of j(-2)?
True
Suppose 4*d + 2250 = -6*d. Let q = -24 - d. Is 10 a factor of q?
False
Suppose q - 5*w = -48, 5*q = -2*w - 357 - 18. Let z = -23 - q. Suppose u + 7 = -5*b, -3*u + 3*b = -z - 19. Does 7 divide u?
False
Suppose y - 2*b + 1 + 2 = 0, -9 = 3*y - 2*b. Is (y/(-9))/(3/36) a multiple of 3?
False
Let l = 9 - -84. Is 3 a factor of l?
True
Let j(t) = -8*t**3 - 5*t**2 - 19. Does 13 divide j(-5)?
False
Let m = -184 + 339. Does 11 divide m?
False
Suppose -169 = -5*q - 39. Let o = q - 21. Suppose -4*n + o*t + 47 = -n, 3*t + 51 = 3*n. Is 10 a factor of n?
False
Is ((-140)/210)/((-4)/2778) a multiple of 12?
False
Let b = 2582 - -1698. Is 40 a factor of b?
True
Let h = -41 - 31. Let u = h + 157. Is 17 a factor of u?
True
Let a(b) = -1216*b - 95. Is a(-3) a multiple of 110?
False
Let j(n) = -n**3 + 3*n - 4. Let r be j(4). Let f be (-18)/7*r/(-12). Does 24 divide -1 - (-6)/(f/(-50))?
True
Does 12 divide 18 + 955 - (2 + -1)?
True
Suppose -3*h + 7*l - 2*l = -686, 3*l = -2*h + 489. Suppose -h = -8*u - 13. Is 14 a factor of u?
True
Suppose 0 = -4*w + w + 15. Suppose -19 = -3*o - 2*o + 3*g, w*o = -2*g + 4. Suppose s = -o*q - 2*s + 87, -46 = -q - s. Is q a multiple of 17?
True
Let n = -25 - -71. Is 12 a factor of n?
False
Let l = 25 + -27. Let v be -2 - (-2 - -3) - l. Does 17 divide 66 - (-4)/(-2)*v?
True
Let u = 817 - -1097. Is 4 a factor of u?
False
Suppose -12 = -2*j - j. Suppose -j = -p + 19. Is p a multiple of 15?
False
Let x be (66/(-55))/(2/(-10)). Suppose 2*k + 120 = x*k. Suppose 2*y = -y + k. Does 5 divide y?
True
Let p = -586 + 1010. Is p a multiple of 8?
True
Let g(p) = p**3 + 12*p**2 + 12*p + 16. Let m be g(-11). Suppose 7 - 2 = -m*b. Let s(j) = 39*j**2 + j + 1. Does 15 divide s(b)?
False
Is (3/(-5) - -1)/(3/315) a multiple of 2?
True
Let s(g) = -2*g**3 + 5*g + 9. Let t be s(5). Let z be t/(-10) + 38/95. Does 21 divide (-4)/z + (-1025)/(-11)?
False
Suppose -3*t + 28 = 31, 3*o - t = 328. Is o a multiple of 15?
False
Suppose 64 = 4*l - 0*l. Suppose f = 5*f + l. Is 2*12/(f/(-1)) a multiple of 3?
True
Let t(p) = -34*p - 10. Does 36 divide t(-13)?
True
Suppose -13*z - 16 = -12*z. Is 5 a factor of ((-25)/10)/((-31)/z + -2)?
True
Let g = -38 - -58. Suppose 5*b = -g, b = 4*n - 636 - 184. Does 34 divide n?
True
Is 48 a factor of -3 - -1270*(-7 - -2 - -6)?
False
Suppose 4*g + h + 91 = 0, 3*h = 4*g - 2*g + 63. Does 25 divide (-2012)/g + (-4)/(-24)?
False
Let u(z) = z**3 + 9*z**2 + 8*z + 18. Suppose 20 = -3*k + 4*r, -4*r - 21 = 5*k + 23. Is 6 a factor of u(k)?
True
Suppose 8*f - 5983 - 6601 = 0. Is 22 a factor of f?
False
Let t = 161 + -150. Is 11 a factor of t?
True
Suppose 3*v - 1463 - 502 = 0. Suppose 3*o + 3 = 0, -g - 3*o + v = g. Suppose -5*d + 20 + 0 = 0, 0 = -5*t - d + g. Is 19 a factor of t?
False
Does 28 divide (2244/(-165))/((-1)/35)?
True
Suppose 8*c = 14*c - 3366. Is 11 a factor of c?
True
Let d be (-9)/(1 - 127/130). Let u be d + 0/((-6)/(-2)). Does 5 divide (2/6)/((-13)/u)?
True
Suppose -o = -d - 562, 7*o = 5*o - d + 1127. Is o a multiple of 15?
False
Let o(g) = 4*g**2 - g - 4. Let a be o(-4). Let i be (-2)/10 + a/20. Suppose -i*d + h + 79 = 0, -25 = -d - 0*d - h. Is 11 a factor of d?
False
Let o = 2001 - 642. Is 65 a factor of o?
False
Does 11 divide -6*4/(-120) + (-8622)/(-15)?
False
Suppose -25 + 65 = 5*d. Does 20 divide 20/(-3)*(d - 14)?
True
Let d(c) = 354*c**3 + 2*c - 2. Is 11 a factor of d(1)?
False
Let c(d) = -d + 6. Let j be c(-12). Suppose -h + j = -3. Is 8 a factor of h - (12/(-2) + 3)?
True
Suppose 5*o - o + 368 = 4*d, 0 = -d - 3*o + 92. Does 23 divide d?
True
Let z = -1 - -4. Suppose 6*r = z*r + 105. Suppose -3*w = 2*w - r. Is w even?
False
Suppose 3*z - 1962 = 3*o - 5*o, 4*o + 1980 = 3*z. Is z a multiple of 82?
True
Let z be -2 - ((-4)/14 - 89/7). Let d(s) = s**3 - 10*s**2 - 9*s - 2. Does 13 divide d(z)?
False
Suppose 3*k + g - 125 = 0, 2*g = -k + 50 - 0. Let h = k - 8. Does 17 divide h?
False
Suppose 10*z - 7*z = -3*q + 1230, 2035 = 5*z + 2*q. Is z a multiple of 16?
False
Let j = 473 - 317. Is 6 a factor of j?
True
Suppose -2*k = -5*u + 19, -2*k + 4 = -4*k. Let m(r) = 2*r**3 - 3*r**2 - 4*r + 4. Is m(u) a multiple of 7?
False
Let o be 0 - -1 - 8*-1. Suppose p - 2*p + 8 = -3*f, -2*p + 43 = 3*f. Let r = p - o. Is r a multiple of 6?
False
Suppose -5*o - 4*g - 37 = 63, 80 = -4*o + 2*g. Does 17 divide (-1)/4 - 1025/o?
True
Let c be -1*(-106*1 + -4 + 6). Let d(j) = j**3 + 8*j**2 - 2*j - 1. Let p be d(-7). Let r = c - p. Is 14 a factor of r?
True
Suppose 3*m + 1 = 4*m. Suppose -2 = -a + s + m, -7 = -2*a + s. Suppose 95 = a*y + 2*c + 13, 0 = -3*y + c + 74. Is 16 a factor of y?
False
Suppose 3*r = -g + 371, 5*g + 129 = r - 0*r. Does 15 divide r?
False
Suppose 5*z = 2*z + 3534. Suppose -y - 3*y = -4*v + 2364, 2*v = -2*y - z. Does 7 divide 1/4 - y/40?
False
Let j(r) = -20*r**2 + 41*r - 15. Let o(b) = 4*b**2 - 8*b + 3. Let a be (-3 - -2)*4 + 15. Let v(i) = a*o(i) + 2*j(i). Is 20 a factor of v(4)?
False
Let c = 261 + 99. Is c a multiple of 12?
True
Suppose 0 = -19*d + 4*d + 13770. Is 34 a factor of d?
True
Let v(x) = -x**3 + x**2 - 2*x + 5. Let y be v(0). Suppose y*g + 13 = 43. Does 3 divide g?
True
Let b be (-1 + 2)/((-1)/(-2)) - -1313. Suppose -5*t + 5*i + b = 0, 5*t - 4*i + 596 = 1907. Is 49 a factor of t?
False
Let k be 8/(-3)*(4 + 2). Let u = 60 + k. Is u a multiple of 22?
True
Let g = -1 + 2. Let x(z) be the third derivative of 29*z**4/24 + z**3/6 + 11*z**2. Is 15 a factor of x(g)?
True
Let c(l) = l**3 + 9*l**2 + 5. Is 71 a factor of c(4)?
True
Suppose 0 = -9*p + 5*p + 4. Suppose 4*o = 16, -w + 3*o - 17 = p. Is 36/27 - 280/w a multiple of 16?
True
Suppose 5*o - 9*o - 5*d = -1316, o - 336 = -3*d. Is 9 a factor of o?
True
Let l = -963 + 2217. Does 22 divide l?
True
Let r be 15*(-3)/(45/(-10)). Let l be (2/(-2))/((-5)/r). Let f(z) = 15*z - 9. Is 7 a factor of f(l)?
True
Suppose 2*c - 2*t = 1644, -4*c - 2*t + 