alse
Let z = 58 + -26. Is 15 a factor of z?
False
Let w(y) = -6*y + 6. Let f(x) = -3*x + 3. Let t(c) = 5*f(c) - 2*w(c). Let p be t(2). Does 4 divide (-13)/p - 2/6?
True
Suppose -6*v + 234 - 66 = 0. Is v a multiple of 14?
True
Let p be (-1 + 0)*(8 - -4). Let d(m) = -3*m - 6. Is d(p) a multiple of 10?
True
Suppose 3*n - 500 = -2*n. Suppose -n = -2*s - 0. Is 14 a factor of s?
False
Let g(t) = 57*t**3. Let b be g(1). Suppose 0*q = -q + b. Suppose 3*m = h - 4*h + q, -5*m - 67 = -4*h. Does 9 divide h?
True
Let i(s) = s**2 - 5*s + 4. Let t = 16 - 23. Let g(b) = -b**2 + 4*b - 4. Let m(k) = t*g(k) - 6*i(k). Does 12 divide m(-4)?
True
Let q(y) = y**2 - 5*y + 10. Is q(7) a multiple of 8?
True
Let f(k) be the second derivative of -k**4/12 - 7*k**3/6 - 5*k**2/2 - 5*k. Does 7 divide f(-4)?
True
Suppose -7*r - 4*n + 803 = -2*r, -5*r + 4*n + 827 = 0. Does 36 divide r?
False
Let m = 18 - 13. Suppose 6*a = m*a + 48. Is a a multiple of 16?
True
Let q = -96 + 168. Is 8 a factor of q?
True
Let v(d) = -17*d - 2. Suppose s + 5 - 4 = 0. Is v(s) a multiple of 4?
False
Suppose 4*n - 46 = 210. Does 16 divide n?
True
Suppose -4*v = -0 - 24. Is 18 a factor of ((-27)/v)/(1/(-12))?
True
Let g = 78 - 39. Suppose -4*z - 2*k = -g - 131, 2*k = 3*z - 117. Let v = z - 24. Is v a multiple of 8?
False
Let w be (-206)/6 + 2/(-3). Let a(c) = -c**3 - 7*c**2 - c - 6. Let f be a(-7). Let l = f - w. Is 16 a factor of l?
False
Let f(l) be the third derivative of l**4/8 + l**3/6 + l**2. Let d(z) = -z. Let r(u) = 6*d(u) - f(u). Is r(-1) a multiple of 4?
True
Let i(q) = 2*q - 1. Let p(t) be the first derivative of t**3/3 + 5*t**2 + 12*t + 2. Let o be p(-9). Is i(o) a multiple of 2?
False
Let i = 2 + -1. Suppose 0 = -5*x - 6 + i. Is 2/(-3)*x*15 a multiple of 4?
False
Let j be (-1)/1 + 10/2. Let a be (-15)/j*400/(-15). Suppose -7*n = -2*n - a. Is 10 a factor of n?
True
Suppose 2*t - 97 = 153. Does 6 divide (6/(-5))/((-10)/t)?
False
Suppose i = -3*d + 23, -i + 15 = -d + 3*d. Suppose -3*m + 13 = 4*u + 1, 2*u = -2*m + d. Is 4 a factor of m?
True
Let v(f) = 6*f**2 - 4. Let p = 6 - 9. Let h be v(p). Suppose j - 4*o - h = -j, -38 = -2*j + o. Is 10 a factor of j?
False
Suppose 5 = 3*f + 11. Let q(s) = -s - 3 - 2*s - 4*s. Is q(f) a multiple of 8?
False
Suppose g = 2*n + 15, -2*g - 4*n = -3*n - 25. Let t = -9 + g. Suppose t*c = -0*c + 80. Does 10 divide c?
True
Let a be (-4205)/(-7) + 2/7. Suppose 5*h - a = -156. Suppose -15 + h = 2*q. Does 14 divide q?
False
Suppose 0 = 5*p + 3*d + 2*d - 10, 5*d = 3*p - 22. Suppose -p*v + 89 + 47 = 0. Let u = 60 - v. Is 13 a factor of u?
True
Let q = -134 - -223. Suppose 0*z - 5*a - q = -3*z, 2*z = 5*a + 56. Is z a multiple of 19?
False
Suppose 1354 + 626 = 9*w. Does 27 divide w?
False
Let f(x) = 265*x + 3. Let t be f(3). Let a be t/30 - 4/(-10). Let o = a - 19. Is o a multiple of 4?
True
Let d(n) = 3*n**3 + 4*n - 3. Let a be d(2). Suppose 2*y + x = 4*x + 70, -3*x - a = -y. Is y a multiple of 14?
False
Let r be 8 + 4 - (-2 - -3). Let q(z) = -z**2 + 14*z - 4. Is 12 a factor of q(r)?
False
Let s(f) = 8 - 3*f + 2*f + f**2 - 2. Is 22 a factor of s(-6)?
False
Suppose 5*b - p - 106 = -331, -2*p = -10. Does 18 divide (-1573)/b + (-2)/(-8)?
True
Let l(o) = o**3 - 7*o**2 + 6*o + 8. Let y be l(6). Suppose -3*s + y = -s. Let g(j) = 6*j + 1. Is 12 a factor of g(s)?
False
Let g(f) = -f**3 + 12*f**2 + 31*f - 15. Is 24 a factor of g(14)?
False
Let o(a) = -a**3 - 7*a**2 - a + 1. Suppose 0 = 5*k + 36 - 1. Let i be o(k). Let z = i + 20. Is 13 a factor of z?
False
Suppose -5*c + 335 = 2*d, 0 = -3*d + 3*c - c + 474. Is 16 a factor of d?
True
Is (-3)/(-6) - (-54)/4 a multiple of 4?
False
Suppose 4*u - u + m = 67, 0 = u - 5*m - 17. Does 9 divide u?
False
Let v(s) = -3*s + 0 + 4 + 0*s - 16. Suppose -4*f - 20 = 20. Is v(f) a multiple of 9?
True
Let g(v) be the first derivative of v**3/3 + 5*v**2/2 - 2*v - 1. Let r be g(-5). Does 16 divide (r - 0/3) + 34?
True
Let m(o) = 3*o - 13. Let h be m(6). Suppose -h*w + w = -56. Is w a multiple of 14?
True
Let x(n) = n**3 - 6*n**2 - 10*n + 8. Is 28 a factor of x(8)?
True
Suppose 6*w = 3*w + 9. Suppose -a + u - 2 = 0, u + 2*u = -w*a - 6. Let m = 6 + a. Is m a multiple of 3?
False
Let c = 8 + -6. Suppose 3*a = 5*v - 64 - 21, 70 = 4*v - c*a. Is 7 a factor of v?
False
Let o = -364 - -662. Is 21 a factor of o?
False
Suppose -5*n - 247 = -3*b - 619, -2*n - 4*b + 154 = 0. Does 15 divide n?
True
Suppose -3 = -3*k - 18. Is -5 - k - -35*1 a multiple of 14?
False
Let h be (-5)/(-10)*1*4. Let q be (-2 + 3)*2/h. Is 12 a factor of 10/(-2*q/(-6))?
False
Does 22 divide (-150)/(-4)*4/5?
False
Let k = 13 - -5. Does 12 divide k?
False
Suppose 4*p - 2*d = 402, d + 138 = 5*p - 369. Is 14 a factor of p?
False
Suppose 0 = -2*u + 42 + 14. Does 7 divide u?
True
Let j = 8 - 5. Let h be -3*(-2)/j + 0. Suppose -5*w - 30 = -3*d, -h*w - w + 40 = 4*d. Is 4 a factor of d?
False
Suppose j - 3*g - 38 = 0, 2*g - 32 = -j + 1. Is 10 a factor of j?
False
Let k(v) = -13*v + 13. Is 10 a factor of k(-8)?
False
Suppose -3*g - 18 = 6. Let k = g - -15. Is k - -2 - 1*-1 a multiple of 10?
True
Suppose -15 = -2*i + 5*i. Let w = -1 - i. Suppose 3 = -w*s + 19. Does 2 divide s?
True
Suppose 3*l = 3 + 3. Suppose 0 = 4*f - 4, -f - 25 = -4*q - l*f. Let z(v) = v**3 - 5*v**2 - 2*v - 6. Is z(q) a multiple of 8?
False
Let q(y) = 0*y**2 + y + 3*y - y**3 - 6*y**2. Let u = -15 + 8. Does 10 divide q(u)?
False
Let k(z) be the second derivative of z + 0*z**2 + 1/6*z**4 - 3/2*z**3 + 0. Is 10 a factor of k(6)?
False
Suppose 2*a = 3*r - 95, 29 + 71 = 4*r + 4*a. Does 24 divide r?
False
Does 3 divide 0 + (-1 - (1 + -10))?
False
Suppose 0*z + 4*z - 16 = 0. Suppose z - 8 = -r. Suppose -x = r*x - 85. Is 12 a factor of x?
False
Suppose -v - 12 = -5*v. Suppose -u = -1, -2*u = o + v*u - 7. Suppose 3*z = o*z + 25. Does 10 divide z?
False
Suppose -2*f + 132 = -4*f. Let t = f + 100. Suppose -s - s = -t. Does 7 divide s?
False
Let r(g) = -g + 1. Let s(c) = -4*c + 1. Let k(q) = 10*r(q) - 5*s(q). Is 26 a factor of k(7)?
False
Is 14 a factor of 2 - -33*3 - (1 + 2)?
True
Suppose 3*j = -4*p - 64 + 576, 2*p - 344 = -2*j. Is j a multiple of 11?
True
Let i be 2 + (-1 - -2)/1. Is ((-50)/i)/(6/(-9)) a multiple of 8?
False
Suppose -4*w + 8*w = v + 7, 5*w = -20. Let z = 60 - 21. Let u = v + z. Is 8 a factor of u?
True
Let d = -15 + 22. Suppose -4*v - 5 = d. Let h(r) = 3*r**2 + 5*r + 2. Is h(v) a multiple of 7?
True
Is 8 a factor of -3*(-4)/(-12) - -25?
True
Suppose -4*l + 0*l + 224 = 0. Does 18 divide l?
False
Let k(s) = s**3 + 8*s**2 + 2*s - 9. Suppose 3*r = -2*f - 2*r + 4, -3*f + 6 = r. Suppose 0 = -f*g, 0 = -4*p - 2*g + g - 28. Does 7 divide k(p)?
False
Suppose 165 = b - 3*o, o - 25 = 6*o. Is b a multiple of 25?
True
Let o(x) = 17*x**2 - 1 + x - 7*x**2 + 4*x**2 + x. Does 11 divide o(1)?
False
Let o(h) = h**3 + 11*h**2 + 14*h. Let w be o(-10). Let d = 62 + w. Does 11 divide d?
True
Let b = -17 + 58. Is 4 a factor of b?
False
Suppose -3*d = -4*r - 96, -r - 4 = -4*d + 33. Does 2 divide (r/(-6))/((-2)/(-4))?
False
Let v = 65 - 49. Is v a multiple of 16?
True
Suppose 16*p - 96 = 12*p. Is p a multiple of 12?
True
Suppose 0 = -5*x - 5, 236 = 5*h - x + 5*x. Is 11 a factor of h?
False
Suppose -3*b - 3*s = -30, 0 = 5*b - 0*s + 4*s - 45. Suppose 0 = -2*z - b + 9. Is 2 a factor of z?
True
Let g(v) = v**3 + 6*v**2 + v + 6. Let u be g(-6). Suppose u*m = -m + 31. Is m a multiple of 14?
False
Let c be (-9)/6*16/(-6). Does 12 divide 6/12 - (-146)/c?
False
Let r(s) = 4*s + 14. Is r(6) a multiple of 7?
False
Let j(a) = 7*a + 2. Does 3 divide j(3)?
False
Let a be (3/(-3))/(1/1). Let i be 1 + (-1 - 0/a). Suppose -2*u + i*u = -6, -4*j + 11 = -3*u. Is j even?
False
Let k = 62 + 79. Is 16 a factor of k?
False
Let i(j) = -2*j + 4. Let q(m) = -3*m + 9. Let a(f) = 5*i(f) - 3*q(f). Let z be a(8). Is 15 a factor of (z/(-12))/((-2)/(-48))?
True
Let k(p) = -p**3 + 4*p**2 + 5*p + 6. Let d be k(5). Is 18 a factor of 2/6 - (-106)/d?
True
Let q = 9 - 0. Let o be (-68)/(-18) - (-2)/q. Suppose 25 = o*i - 47. Is 17 a factor of i?
False
Let k = 25 + -13. Is k a multiple of 12?
True
Let g(s) be the second derivative of -s**3/3 - 7*s. Does 6 divide g(-8)?
False
Let y = 2 + 2. Let o = 57 - 5. Suppose t = 4*x - 4*t - 55, y*x - o = 4*t. Is x a multiple of 5?
True
Is (1 - (83 