o + 4*u. Is 14 a factor of o?
True
Let c be 10/(-4)*(-40)/25. Suppose 2*n + 3*u - 9 = -26, -c*u - 20 = 0. Is -2 - n/(-2)*-26 a multiple of 5?
False
Suppose -11*k + 18*k - 21 = 0. Suppose -3*c = -6, 3*w + w = k*c + 34. Is 2 a factor of w?
True
Suppose -12*r = 1040 - 14360. Is 10 a factor of r?
True
Let i(t) = 482*t - 87. Is 52 a factor of i(2)?
False
Let f(r) = 297*r**2 + 8*r - 9. Does 8 divide f(1)?
True
Let z(f) = f**2 + 7*f + 10. Let s be z(-7). Let o = s - -1. Does 7 divide o?
False
Suppose 5*y + v - 4162 = 0, 5*y = -3*v + 3019 + 1137. Is 24 a factor of y?
False
Let k(u) = -3*u + 1. Let f be k(4). Let r = 15 + f. Suppose r + 27 = m. Is m a multiple of 15?
False
Let k(u) be the third derivative of u**6/120 - u**5/6 + 5*u**4/24 - 4*u**3/3 - 11*u**2. Is 4 a factor of k(10)?
False
Let d(o) = 8*o**3 - 5*o**2 + 7*o - 10. Is 9 a factor of d(5)?
True
Let w be -2 + 12 + -3 - -3. Let h be w*(-1 - 24/(-20)). Let v(k) = 7*k**3 + k**2 + 3*k - 3. Is v(h) a multiple of 9?
True
Let i be 1/6 + (3 - 202/(-12)). Suppose -2*f + c = 2 - i, -3*f + 4*c + 17 = 0. Is f a multiple of 11?
True
Let u = -3 + 7. Let n be (3 + -1)*195/6. Suppose -u*c + n = c. Does 8 divide c?
False
Suppose 2*h - 13742 = -4*k, -k - 4*h + 0*h + 3446 = 0. Is 119 a factor of k?
False
Suppose 261 = -4*j - 5*j. Let c(r) = -3*r + 19. Let i be c(13). Let y = i - j. Is 9 a factor of y?
True
Suppose 5*l - d - 1803 = -0*d, -2*l + d = -723. Suppose -3*q - 5*a = -232, -3*q + 4*a - 92 = -l. Is q a multiple of 12?
True
Is 2/8 + (-4209)/(-12) a multiple of 27?
True
Let j be 2/(-1) + 0/1. Let r be 0/((2/(-1))/j). Is 50/(2 - r/(-2)) a multiple of 8?
False
Let c(z) = -z**2 - 18*z - 1. Let t be 40/(-28)*(0 + -7). Suppose i = t - 27. Does 4 divide c(i)?
True
Let m(y) = -22*y**3 - y**2. Suppose 0 = -r - 2*r + 12, 0 = -2*f - 4*r + 14. Let h be m(f). Suppose s + 3*s - 124 = -4*z, s = -3*z + h. Does 18 divide s?
True
Suppose -4*q + 5*q - 4*y + 3 = 0, 2*q - 4*y = 2. Suppose q*d = 8*d + 4*o - 149, -o - 114 = -2*d. Does 7 divide d?
False
Suppose -938 = -15*m + 1312. Is m a multiple of 9?
False
Suppose 0 = 5*i - c - 877, 0 = -0*c + 4*c + 8. Does 10 divide (-2)/(-3) - i/(-3)?
False
Suppose -3*p + 9 = -3*j, -2*j - 3 = -p - 2. Suppose 0 = j*z + 2*z + 112. Is 19 a factor of (z/(-6) + 2)*6?
False
Let h(b) = 4*b**2 - 2*b + 6. Suppose 2*l = 5*d - 4, -2*l + 3*l + 3*d = 9. Let r be h(l). Is 4 a factor of (2 - r)*1/(-2)?
False
Suppose 0 = 9*s - 597 - 321. Is s a multiple of 10?
False
Let a = 1 - -1. Let z(h) be the first derivative of -h**4/4 + 2*h**3/3 + 3*h**2/2 - 2*h + 12. Does 2 divide z(a)?
True
Let m = 21 + -19. Suppose -20 = 3*s + s, 0 = -m*n - 4*s - 116. Let h = n + 68. Is 7 a factor of h?
False
Let w = -488 + 879. Suppose k = -4*a + 85, 23 = -5*k - a + w. Suppose -3*n + 4*n = 2, 3*l + 5*n = k. Does 5 divide l?
False
Suppose 3*d + d = -16. Let n(l) be the third derivative of l**5/30 + l**4/8 + 2*l**3/3 - 27*l**2. Is 12 a factor of n(d)?
True
Is 9 a factor of (-2)/12 + (-946537)/(-366)?
False
Suppose -k + 448 + 1515 = d, 4*k = -3*d + 5887. Does 93 divide d?
False
Let z = 1388 - 732. Does 16 divide z?
True
Let j(p) = -32*p - 12. Is 13 a factor of j(-2)?
True
Let p(h) = -2*h**3 + 2*h**2 + 2*h - 13. Let n = -85 - -81. Is 9 a factor of p(n)?
False
Let l = -30 - -151. Does 11 divide l?
True
Suppose -9 = -4*i + 11, -3*s = -3*i - 51. Let l = s + 30. Is 24 a factor of l?
False
Suppose z = 2*f + f - 270, -z = 4*f - 353. Suppose -f + 34 = -y. Is 11 a factor of y?
True
Let f = 19 - 17. Let w(y) = 16*y**f + 4 + 8*y - 21*y - 9 - y**3. Is 4 a factor of w(15)?
False
Let m(v) = 11*v + 2. Let z(t) = -4*t - 2 - 2*t - t - 4*t. Let a(x) = -6*m(x) - 5*z(x). Is a(-7) a multiple of 25?
True
Let q be (-2)/(-10) + (-126)/(-70). Suppose 14 = a - 2*z, 5*a = -0*z - q*z + 58. Does 2 divide a?
True
Let k(w) = -2*w + 9. Let m be k(3). Suppose -m*r - r + 208 = 0. Suppose -11*n + 13*n = r. Is 26 a factor of n?
True
Suppose 0 = 4*l + 119 - 839. Suppose h + l = 4*h. Does 20 divide h?
True
Let q = -3 + 264. Is q a multiple of 9?
True
Let k = 36 - 51. Let a = -5 - k. Let f(x) = x**3 - 11*x**2 + 11*x + 1. Does 7 divide f(a)?
False
Let i = -3 + 3. Let p(r) be the second derivative of -r**5/20 + r**4/12 - r**3/6 + 63*r**2/2 + 4*r. Does 21 divide p(i)?
True
Suppose 2*m - 362 = -2*f + 300, -3*m = 2*f - 663. Let n = -196 + f. Is n a multiple of 9?
False
Suppose 247 = 2*k + s, -s = -4 + 1. Is 20 a factor of k?
False
Suppose 5*u = 5*c - 0*u, -c - 8 = -5*u. Suppose -156 = -4*y + c*y. Does 13 divide y?
True
Let b(w) = 2*w**2 - 6*w - 6. Let i be b(5). Suppose i = m + m. Does 6 divide -4 + 2 - (-56)/m?
True
Let v(z) = -z**3 + 20*z**2 - 3*z - 130. Is v(19) a multiple of 6?
True
Suppose -63*a = -53*a - 26230. Is a a multiple of 37?
False
Let s be (-3)/(-9) + 1392/9. Suppose v = 4*f - s - 268, -4*f = 3*v - 443. Is 24 a factor of f?
False
Suppose 4*g = 2*p + 4240, 49*p = 45*p - 16. Is g a multiple of 46?
True
Suppose 35595 = 4*y + 3*h - 0*h, 0 = 4*y - h - 35591. Is (-4)/(-30) - (y/(-90))/1 a multiple of 27?
False
Let g = 18 - 8. Let s = 15 - g. Suppose -37 = -a + 5*x, s*a - 44 = 4*x + 36. Is a a multiple of 4?
True
Let z(p) = 5*p + 72. Let r be z(9). Let c be -1*1 - (1 + -5). Suppose 4*x - 93 = -c*o, -x - 4*o + r = 4*x. Is 7 a factor of x?
True
Let a be (75/(-30))/(1/(-2)). Let c(j) = 8*j + 25. Is 13 a factor of c(a)?
True
Let i be ((-2875)/(-4))/5 - 6/8. Suppose 3*c - i = 2*k, -25 + 197 = 4*c + 2*k. Is c a multiple of 24?
False
Let w(p) = 1 - 2*p**2 - 4*p + p**2 - 1. Let b be w(-2). Suppose 0 = -2*m + g + 30 + 220, -397 = -3*m - b*g. Does 33 divide m?
False
Let d(t) = 2*t + 1. Let b be d(1). Let q be b - (-2 - (-1 - -1)). Let z(o) = 7*o. Is 21 a factor of z(q)?
False
Suppose -4*z + 176 = 4*s, 3*z - 157 = 5*s - 3*s. Is z a multiple of 36?
False
Suppose -7*r + 4*r + 36 = 0. Suppose d + r = 82. Is d a multiple of 14?
True
Let n = 597 + -330. Let v = 432 - n. Is 33 a factor of v?
True
Let p(f) = -f**3 - 8*f**2 - 2*f - 6. Let q be p(-5). Let s be 10/4*-2*q. Suppose 2*z = -4*r + 302, 7*z - 2*z = 5*r - s. Is 24 a factor of r?
False
Let s be (0 - 3)*(-110)/33. Let w = s - 10. Does 13 divide (-67)/(-1 + w) - 2?
True
Let t(o) = -48*o**3 - 5*o**2 - 19*o - 28. Does 38 divide t(-4)?
True
Let z(f) = 34*f**2 - 8*f + 11. Does 17 divide z(-5)?
True
Suppose -g + 5*u = -15 - 8, g + 1 = -u. Suppose 2*c - 4*x + 9*x - 6 = 0, -g*x = 5*c - 34. Is 3*c/4*3 a multiple of 9?
True
Let g = 6446 + -4230. Does 13 divide g?
False
Let u = 3394 + -1496. Does 13 divide u?
True
Let n = -2804 + 4966. Is n a multiple of 19?
False
Let l = 25 - 10. Suppose x = -4*x + l. Is (x - -2 - 1) + -1 a multiple of 3?
True
Let i(v) = 211*v - 106. Is i(4) a multiple of 16?
False
Let z(p) = -4*p + 12. Let o be z(0). Let f = o - -88. Is 18 a factor of f?
False
Suppose 43 = 4*d + 263. Is 5 a factor of d*((-6)/40)/(-1)*-4?
False
Let u be 2/(-1 + 26/28). Suppose -5*z + 245 = -3*j, 4*z = 6*j - 7*j + 196. Let g = z + u. Does 12 divide g?
False
Suppose -3*p - 5*k + 3927 - 324 = 0, -4*p = k - 4821. Is 67 a factor of p?
True
Let u(s) = -s**2 - 12*s - 16. Let k be u(-8). Suppose -k*r - 116 = -17*r. Let c = 162 - r. Is c a multiple of 9?
False
Let c(y) = y**3 - y**2 + y - 4. Let n be c(2). Let f(v) be the second derivative of v**3 - 9*v**2/2 + v. Does 2 divide f(n)?
False
Suppose -443*d = -433*d - 25300. Is d a multiple of 11?
True
Is 2/23 - (34676/(-92) - 8) a multiple of 6?
False
Let q be 6*10/(-18)*-3. Let m(f) = f**2 - 5*f + 10. Is 7 a factor of m(q)?
False
Suppose -3*p - 1878 = -3*c, -10*c + 5*c - 5*p + 3150 = 0. Is c a multiple of 14?
False
Let l = 295 - 59. Suppose -l = -5*p - 4*z - 15, 5 = -5*z. Is p a multiple of 45?
True
Is 16 a factor of 1/(9/(-6)) - (-5264)/12?
False
Does 66 divide 0 + (-4786)/(-8) + 3/(-12)?
False
Suppose 132 - 692 = -4*m. Suppose -q - m = -6*q. Suppose 2*o + 2*g - 120 - q = 0, 5*g - 228 = -3*o. Is o a multiple of 23?
False
Let s(z) = -3*z**2 - 18*z - 59. Let b(h) = -h + 1. Let g(m) = 2*b(m) - s(m). Does 14 divide g(-5)?
True
Let p be -286*2/8*-2. Suppose u - 55 = -2*z - 0*u, -3*u - p = -5*z. Let v = 40 - z. Is 4 a factor of v?
True
Let c be 50/14 - (-42)/98. Suppose c*l = 5*p + 82, -2*p + 75 = 3*l + p. Is 14 a factor of l?
False
Let f = -21 - -44. Suppose -5*p = -3*x - 49, 4*p = -3*x - 0*x + f. Sup