actor of 12 + 8/(-1) + 434?
False
Let c(m) = -m**3 - 19*m**2 + 19*m - 88. Is 4 a factor of c(-22)?
False
Let t(v) = -v + 84. Let o be t(0). Let k be (-4)/(-5)*3/12*230. Let f = o - k. Does 15 divide f?
False
Suppose 0 = 4*n + 3*b - 1809, 4*n - 11*b = -6*b + 1817. Is n a multiple of 16?
False
Let j(k) = 2*k**2 + 2*k - 4. Let g be j(-2). Suppose r + g*r = 4*s - 338, 4*s = -r + 334. Does 14 divide s?
True
Let t = 23 + -19. Suppose 0 = m - t*m + 396. Is 17 a factor of m?
False
Suppose -2*u - 4*i = -5 - 53, 4*i + 8 = 0. Does 3 divide u?
True
Let q(b) = 4*b**3 + b**2 + 8*b - 70. Does 2 divide q(4)?
True
Let v be 0 - (-3 - -6 - 9). Suppose -v - 2 = 2*o. Does 21 divide (-243)/o + (-10)/(-40)?
False
Suppose -129*c + 130*c - 80 = 0. Is c even?
True
Suppose -2*k - 10 = -4*l - 150, -2*k + 126 = 3*l. Suppose 2*n = 5*z + 3*n - k, -z = 4*n + 2. Is 11 a factor of z?
False
Let n = -136 + 305. Is 23 a factor of n?
False
Let k(p) = -2*p**3 - 2*p**2 + p + 3. Let a(c) = -5*c**3 - 4*c**2 + 2*c + 7. Let t(w) = -3*a(w) + 7*k(w). Let z be t(2). Suppose z*f + f = 198. Does 22 divide f?
True
Let i be 1 + -2 - 6/(-2). Suppose -l + 2 + 4 = -2*n, l - 9 = 5*n. Suppose -189 = -l*j - 5*u, -5*j + i*u + 249 = 4*u. Does 12 divide j?
False
Let v(z) = z**3 - 7*z**2 + 8*z - 9. Let d be v(6). Let r(j) = -2 + 2*j**2 + 2 - 3*j + 0 - j**d. Does 18 divide r(-3)?
True
Let n(o) = o**3 - 4*o**2 + 4*o - 13. Does 3 divide n(5)?
False
Let c(w) = -w**2 + w - 2. Let o = 17 + -14. Let m be c(o). Does 27 divide (-3)/(-12) + (-414)/m?
False
Suppose 5*m + 263 = -t, t - 4*m + 54 = -236. Does 22 divide 4/(-8)*(t + 4)?
False
Let x be 8/5 - (-3)/(-5). Is 7 a factor of -3*x - (-153)/9?
True
Let d be (57/(-2))/(2/(-4)). Suppose -2*f - 2*s + 5 = -3*f, 21 = 3*f + 3*s. Let b = f + d. Is 20 a factor of b?
True
Let o be 1/(2/8) + -9. Let k = o + 17. Does 8 divide k?
False
Suppose 0 = 5*v + 5*m - 60, 0*m + 2*m + 16 = 2*v. Suppose 58 = 2*n - 4*u, 3*n + u + v - 90 = 0. Is 9 a factor of n?
True
Let x(v) = -v**2 - 7*v - 12. Let o be x(-11). Let a = 3 - o. Let j = a + -33. Does 11 divide j?
False
Suppose -2*l + 264 = 2*k, 4*l - 340 = 4*k + 188. Is 6 a factor of l?
True
Let x be ((-16)/32)/(1/(-1032)). Suppose 0*d = 6*d - x. Suppose -5*v + 5*j = -80, d = -2*v + 7*v - 2*j. Is v a multiple of 7?
False
Let t be (-9)/(-27) - (-8)/3. Suppose t*r - r = 98. Does 7 divide r?
True
Suppose 0 = 6*n - 2*n - 904. Suppose -3*x + 4*x + 4*l = 119, 2*x - n = -4*l. Is x a multiple of 29?
False
Let c = 971 + -641. Is 11 a factor of c?
True
Let s = -94 - -95. Let j(t) = 8*t - 2. Is 2 a factor of j(s)?
True
Let s = 51 + 476. Is s a multiple of 12?
False
Let p(f) = -88*f - 1. Let q be p(1). Let u = 131 + q. Is u a multiple of 21?
True
Let u be (-1 + 0)*(75 - -8). Let y = u - -124. Does 4 divide y?
False
Let p = 1667 - 862. Does 35 divide p?
True
Let u(i) = i**3 - 4*i**2 - 4*i - 1. Let l be u(6). Suppose -357 = -5*h - l. Suppose -g + 139 = 2*r - h, 303 = 3*r + g. Does 17 divide r?
True
Let d = -86 + 102. Suppose -10*m + d*m = 270. Does 5 divide m?
True
Let l = -6105 + 9028. Is 79 a factor of l?
True
Let v(s) = -2*s**2 + 132*s + 0*s**3 + s**3 - 127*s + 10. Is 23 a factor of v(6)?
True
Let i(w) = -25*w**3 - 324*w + 24*w**3 + 7*w**2 + 321*w - 2. Suppose 0*f = -3*f + 18. Is 16 a factor of i(f)?
True
Suppose 25 = -z - 4*z, -4*i - z = -15. Suppose -8*q + 9*q - 19 = 0. Suppose q + 61 = i*o. Does 11 divide o?
False
Suppose -5*w - 2 = -2*r - r, 2*r - 5*w + 2 = 0. Is 40 a factor of -5*(-2 - 2 - r)?
True
Let h be (7*-21)/((-30)/100). Let r = h - 141. Does 23 divide r?
False
Suppose 5*u - 22 = -2. Suppose 0 = u*h + 4*c - 4, c + 9 = 4*h. Suppose -h*b = -7*b + 105. Is b a multiple of 7?
True
Let t(r) = 5*r + 8. Let x(w) = -4*w - 7. Let f(o) = 3*t(o) + 4*x(o). Let v be f(-7). Suppose 92 = 5*h + v*c, 3*c + 3 = -0. Does 7 divide h?
False
Does 31 divide 0 - -2 - 5 - -769?
False
Let j(t) = -2*t - 1. Let x(c) = -4*c - 2. Let v(n) = 9*j(n) - 4*x(n). Let h be v(-2). Suppose 0 = -4*m - z + 159, -2*m + h*m - 33 = 2*z. Does 17 divide m?
False
Does 20 divide (7 - 77)*(-15 + -11)?
True
Is ((-176)/(-12) - 3)/((-2)/(-36)) a multiple of 30?
True
Let x(p) = -4*p + 10 + 4 - 3. Suppose -19 = 5*j + 26. Is x(j) a multiple of 9?
False
Let d(j) be the third derivative of 13*j**4/24 + 2*j**2. Let s = -105 + 108. Does 23 divide d(s)?
False
Let g(p) = 3*p**2 + p**2 + 5*p**2 - 7*p + 7 - 8*p**2. Let b be g(-6). Suppose 0*h + b = 5*h. Is h a multiple of 2?
False
Suppose -4*o = b - 0*b - 6, 5*o - 2*b - 1 = 0. Suppose -3*l = -2*l - o. Does 8 divide (21 - (5 - 2))*l?
False
Suppose 2*t - 476 = 6*m - 3*m, 3*m = -12. Is t a multiple of 8?
True
Let n be 1/(-2) - 2/(12/(-99)). Does 16 divide -1 - -5 - 8/(n/(-102))?
False
Let u = -100 + 100. Suppose u = -h - 2, -3*n + 84 = -2*n + 3*h. Is 9 a factor of n?
True
Is 28 a factor of 22/(-110) - 2103/(-15)?
True
Suppose -2*s + 263 = -765. Is s/3 + 3/(-9) a multiple of 19?
True
Let u(l) = l + 1. Let c be u(3). Let x(i) = -i**2 + 5 + 5*i + 6*i - i - 2*i. Is x(c) a multiple of 7?
True
Let y be 10/(-55) - (-92)/22. Suppose 0 = -4*u + 4, -y*u + 4 = 4*k - 0*u. Suppose -2*v - 4*h + h + 33 = k, 5*v - 72 = 3*h. Is v a multiple of 10?
False
Let l = 124 - 132. Is ((-16)/(-5))/l + (-1597)/(-5) a multiple of 14?
False
Let m(d) = -d. Let f(h) = h - 13. Let w be f(14). Let s(c) = -7*c + 5. Let r(l) = w*s(l) + 2*m(l). Is 20 a factor of r(-2)?
False
Suppose -10*j + 22*j - 18480 = 0. Is 20 a factor of j?
True
Suppose -4*w = 9*b - 5*b - 908, -b - 5*w + 223 = 0. Does 12 divide b?
True
Suppose -254 = -4*b - 0*d + 2*d, -4*b + 224 = 4*d. Is 2 a factor of b?
False
Does 60 divide (-34 - -30)/(132/67 - 2)?
False
Let o(v) = 42*v - 3. Let a be o(2). Suppose 0 = -4*d + 182 + 2. Let j = a - d. Is 9 a factor of j?
False
Suppose -m + 64 - 23 = 0. Let u = m + 2. Let k = 94 - u. Is 17 a factor of k?
True
Let h be (-3 + 2)*(15 - 1). Let w = h - -26. Is w a multiple of 12?
True
Suppose 5*n + 5*t + 708 = 2513, 0 = -5*n + t + 1805. Suppose -7*p - 440 = -4*o - 2*p, -3*o = 4*p - n. Is o a multiple of 9?
False
Suppose 5*p + 4*w - 1240 = 392, 0 = -2*p - 4*w + 660. Is p a multiple of 18?
True
Let s(b) = -43*b + 10*b - 7 + 32 - 2. Is 47 a factor of s(-5)?
True
Let a(v) = 12*v + 56. Is a(17) a multiple of 20?
True
Suppose -5*m - 543 = -2*k, -5*k + 370 = -3*m - 940. Let f = k - 139. Is f a multiple of 15?
True
Suppose -16*l + 564 = -7500. Is l a multiple of 36?
True
Suppose 1057*o - 1061*o = -2132. Does 13 divide o?
True
Let i(g) = -4*g**3 - 2*g**2 - 2*g - 1. Suppose 1 = -12*s + 11*s. Let l be i(s). Suppose 2*a + 66 = 4*v, 0 = l*v - a - 0*a - 51. Does 9 divide v?
True
Let m = -11 - -14. Let u(z) = -10*z**m + 4 - z**2 - 6 + 3. Is 36 a factor of u(-2)?
False
Let y be -630*(-12)/(-8) + -3. Is 13 a factor of (-3)/(-9) + y/(-18)?
False
Let q = -24 - -21. Does 16 divide (-1)/((q - -7)/(-64))?
True
Suppose -38 = -2*n - r - r, -2*r - 34 = -n. Does 7 divide ((-208)/n)/((-2)/3)?
False
Let z = 409 + -173. Suppose 142 = 2*i + 3*j, z - 581 = -5*i - 5*j. Is i a multiple of 10?
False
Is ((-168)/(-98))/((-2)/(-952)) a multiple of 17?
True
Let u be (-10)/(-6) - 3/(-9). Let p be u + ((-1)/1 - -2). Suppose -p*m + 92 = 5*g, -2*g - m = -0*m - 37. Is 8 a factor of g?
False
Let a(z) = -31*z - 147. Is a(-12) a multiple of 45?
True
Let v be -12 + (-12)/(-4) - 0. Let p(k) = k**2 + k + 12. Let c be p(v). Suppose u - c = -5*q, -2*q = -5*q - 4*u + 64. Is q a multiple of 16?
True
Suppose -600 = -q - 2*q. Let n = -108 + q. Does 23 divide n?
True
Suppose -2*d + 256 = 2*o, -388 = -2*d - d - 5*o. Does 21 divide d?
True
Suppose 0 = -16*a + 10*a + 12. Suppose -a*f + f + 245 = -5*x, -5*f + 2*x + 1294 = 0. Is f a multiple of 13?
True
Suppose 26*t - 40020 - 19780 = 0. Is 115 a factor of t?
True
Let z be 2*(2 + 4/(-8)). Suppose 5*u + 18 = 3*x + 43, u - 3*x - 17 = 0. Suppose -2*q - z*q + 3*l = -212, 4*l + 96 = u*q. Is q a multiple of 36?
False
Suppose -2*u - 4*q + 8 = -3*q, 3*q - 12 = -2*u. Suppose 0*p + 5*p - 22 = 3*w, 3*p = -u*w + 18. Suppose 2*f - w = 31. Is 14 a factor of f?
False
Suppose l = -2*z - 78, -6*z - 372 = 5*l - 2*z. Suppose 189 = 5*a - 4*s - 471, -4*s = -4*a + 528. Let v = l + a. Is v a multiple of 18?
False
Suppose 134 = 4*p + 2*u, -2*p + 5*u + 37 = -48. Suppose -5*d = -2*k + p, -2*k + d + 2*d = -29. Suppose -3