 2*w - u - s = 0, 60 = 3*w - 2*w + 2*u. Does 22 divide w?
True
Suppose 11*z - 15*z + 8 = 0. Suppose 5*d + z*g = 128 + 282, -2*d - 3*g = -153. Is d a multiple of 28?
True
Let p = -2 + 7. Let a = -396 - -793. Suppose p*c - 3*t = a, 0*t + 2*t + 78 = c. Does 20 divide c?
True
Let m(r) = 6*r**3 - 6*r**2 - 17*r + 30. Is 36 a factor of m(6)?
True
Let b(j) = -j**2 - 25*j - 18. Let o be b(-15). Suppose o = 4*z - 8. Is z a multiple of 14?
False
Suppose -c + 195 = 2*c. Suppose c = 6*f - 163. Is f a multiple of 19?
True
Let d = 2079 + -1274. Is 19 a factor of d?
False
Let s be 1/4 + (-31)/(-4). Let d(k) be the first derivative of 5*k**2/2 + 2*k + 38. Is 14 a factor of d(s)?
True
Let v = -259 + 984. Is 43 a factor of v?
False
Let k(q) = 17*q**2 - 5. Is k(-5) a multiple of 53?
False
Let u = 157 + -105. Suppose 0 = 4*x + 4*v - v - u, x = -4*v + 26. Is x a multiple of 2?
True
Let q(c) = c**2 + 5. Let g be q(0). Suppose 986 = -g*d + 3136. Suppose 0 = 6*f - f - d. Is f a multiple of 10?
False
Let b(z) = 7*z - 8*z + 27*z**3 + 22*z**3. Does 24 divide b(1)?
True
Suppose q = -4 - 12. Let u(d) = -d**2 - 16*d + 13. Let l be u(q). Suppose 8*b + 425 = l*b. Is b a multiple of 21?
False
Suppose -n - q = 2*q, 0 = -n + 2*q + 15. Is (-1)/1 + 69 + n a multiple of 14?
False
Suppose -4*o = -3*q + 4*q - 13, 4*o + 4*q = 4. Suppose o = 7*l - 6*l. Is l a multiple of 4?
True
Does 21 divide (3990/45)/((-12)/(-54))?
True
Let b = -7 + 15. Suppose -44 = -b*v + 700. Is v a multiple of 31?
True
Let v = 1804 + -1426. Does 3 divide v?
True
Suppose -w + 11 = 3. Suppose -4*z = -0*m - 5*m - w, z - 27 = -5*m. Suppose 85 = -6*l + z*l. Is 12 a factor of l?
False
Let j be 4/(-1) - -7*6. Let k = 64 - j. Let y = k - -4. Does 8 divide y?
False
Is 6 a factor of (49/28)/(10/2160)?
True
Let g be 6/(-4)*(-17 + 23). Let s = g - -13. Suppose 97 = 5*u + r + 2*r, -u - s*r = -33. Does 7 divide u?
False
Suppose 0 = -3*m + 10*m + 679. Let n = -57 - m. Is n a multiple of 8?
True
Let v(g) = -g**3 + 6*g**2 + 7*g + 5. Let i(c) = c**2 + 4*c - 5. Let h be i(-6). Let m be v(h). Let b(q) = -q**2 + 5*q + 6. Is 3 a factor of b(m)?
True
Let a(d) = -d - 2. Let g be a(-4). Let x be (-6 - g)*(-4)/8. Suppose w = -x*w + 5*u + 310, 0 = w - 5*u - 78. Is 18 a factor of w?
False
Suppose 0 = -s - 5*u - 8, u + 11 + 1 = 5*s. Suppose 0 = -4*k - 8, 3*y - 6 = s*y + 3*k. Suppose 0 = 3*l - 5*o - 106, y = 2*o - 6*o - 20. Does 9 divide l?
True
Suppose -20 = -5*n, 4*w + n - 16 = 2*n. Suppose -2*p + 53 = 3*m, -2*p = w*m - 24 - 23. Let y = 41 - p. Is 2 a factor of y?
True
Suppose -336 = -6*k + 360. Suppose 15*n + 115 = 10*n. Let g = n + k. Does 14 divide g?
False
Suppose 4*t - 3*t = 5, -t = -2*l - 1. Suppose 0 = n - w + 3, n - 6 = -l*w. Suppose m - 47 = -o, n = 5*m - 7*o + 3*o - 217. Is m a multiple of 15?
True
Suppose -4*l - 2900 = -4*p, -l = 3*p - 5*l - 2180. Is 20 a factor of p?
True
Let f = -11 + 16. Let u be ((-21)/2)/(2/(-4)). Suppose 0 = g - f - u. Does 26 divide g?
True
Let b(z) = z**3 + 7*z**2 + 4*z - 7. Let t be b(-6). Suppose 149 = t*m - 3*f + 31, 4*m + 3*f = 89. Does 19 divide m?
False
Is 5 - (1 + -93 - -7) a multiple of 10?
True
Let x be 9/(-27) - (-14)/6. Suppose j - x*j = -3. Let w(l) = 11*l - 1. Does 32 divide w(j)?
True
Let p be -69 + 1/(-2 + 1). Is (p/21 + 6/2)*-249 a multiple of 11?
False
Let q = 257 + -115. Is 18 a factor of 27/(-6)*q/(-3)?
False
Let a(y) = 0*y**2 - 4*y**2 - y**3 - 3*y**2 + 1 - y. Let i be a(-3). Let r = 17 - i. Does 27 divide r?
False
Let s(v) = 21*v**2 - 20*v + 3. Let q be s(4). Suppose -3*g + 12 = -0*g + 4*z, 0 = -3*g - 5*z + 15. Suppose g = 4*r - q + 43. Is r a multiple of 25?
False
Let b = -479 + 679. Let p be ((-36)/60)/(2/(-10)). Suppose -2*j + b = p*j. Is 20 a factor of j?
True
Let m = 8 + -2. Let w be 277/(-3) - 4/m. Is 15 a factor of ((-8)/(-4))/((-6)/w)?
False
Let f be 50/13 + (-6)/(-39). Suppose -7 = f*x - 15. Does 4 divide -1 + -2 + 9 + x?
True
Suppose q = 2*x + 749, -q - x + 733 = x. Is q a multiple of 39?
True
Let w be 3 + -7 + 2 - -2. Suppose 0*d + d - 30 = w. Is 15 a factor of d?
True
Suppose -4*o = 2*w + w - 453, -2*w + 226 = 2*o. Does 27 divide o?
False
Suppose -3*j - 73 = 20. Let c = 45 + j. Does 2 divide c?
True
Let n(p) = -p**2 - 7*p. Let s be n(-5). Suppose -v + 45 = -s. Let k = v + -37. Is 9 a factor of k?
True
Suppose -2*z - 4*g = 2*z + 408, 0 = -3*g. Let r = -33 - z. Does 29 divide r?
False
Suppose 9*v - 10*v = 75. Let i = v + 127. Is 26 a factor of i?
True
Let z(c) = c**3 + 38*c**2 + 25*c - 21. Is z(-37) a multiple of 47?
True
Let x(s) = 11*s**2 + 58*s - 65. Does 3 divide x(-8)?
False
Let z(a) = -9*a - 114. Is z(-17) a multiple of 2?
False
Suppose 1366 = 5*r - k, 3*r - 2*k - 3*k = 802. Suppose 0*y + 349 = 5*y - 2*b, 4*y = -b + r. Is y a multiple of 21?
False
Suppose -5*c + 10 = 0, -2*h + 31 = 2*c - 33. Let p = 33 - h. Does 2 divide p?
False
Let n(l) = -l**2 + 2. Let z be n(0). Suppose -5*i + 198 = -z*i. Is i a multiple of 33?
True
Let g be 18/(-42) - (-230)/14. Is ((-36)/(-16))/(2/g) a multiple of 4?
False
Let j be (1/(-3))/(10/(-90)). Let z(n) be the first derivative of 9*n**2 + 3*n + 4. Does 19 divide z(j)?
True
Let l be (-477)/(-2) - (-2)/(-4). Suppose 0 = 8*s - 167 + 1039. Let b = l + s. Does 15 divide b?
False
Does 2 divide -1 + ((-9)/21 - (-5742)/21)?
True
Does 4 divide -9*274*(-8)/48 - 7?
True
Is 51 a factor of (-3468)/(-85)*(3 + 37)?
True
Suppose -3*j + 600 = -3*h + 6*h, 5*h - 2*j = 1028. Does 6 divide h?
True
Suppose 5*f + 23 = -s, s = -s + 3*f + 19. Suppose -s*l = -2*r - 260, 2*r = -5*l + r + 632. Is l a multiple of 17?
False
Suppose 5*g + t = 5565, -4*t + t = 5*g - 5565. Is g a multiple of 21?
True
Suppose 4*z = 39*z - 26775. Is 5 a factor of z?
True
Is (88/6)/(((-15)/(-72))/5) a multiple of 50?
False
Let q(f) = -88*f - 38. Is q(-2) a multiple of 14?
False
Suppose 24*o - 1595 - 4549 = 0. Does 8 divide o?
True
Let s = 10 - 5. Suppose 34 = s*u + 9, -3*u - 5 = -5*x. Suppose -x*w = -w - 117. Is w a multiple of 13?
True
Let u = -39 - -27. Let q be -3 - (-7)/2*u. Let m = -13 - q. Does 10 divide m?
False
Let z be (-1 + 1 - 4) + 7. Suppose i - 3*i + z*s = -13, 0 = 3*s + 9. Does 24 divide (-2)/4*(i + -62)?
False
Let z(y) = 122*y + 30. Is z(6) a multiple of 18?
False
Does 21 divide 1 + (-6 + 4 - -4075)?
True
Suppose 3*t = 4*t - 5, 16 = z - 5*t. Does 3 divide z?
False
Let u = -221 + 506. Is u a multiple of 18?
False
Let i = 101 - 88. Let l(a) = -a**2 - a + 16. Let t be l(0). Let n = t + i. Is n a multiple of 7?
False
Let s(j) = j**2 + j - 4. Let h be s(2). Suppose h*q = -q - 270. Let a = q - -140. Is a a multiple of 25?
True
Let i(f) = f**3 + f**2 - 10*f + 5. Let x be i(-6). Let n = -63 - x. Suppose -5*a + 73 = -n. Is a a multiple of 25?
True
Suppose 3 = 3*j, -68*j + 71*j - 4547 = -2*g. Is g a multiple of 32?
True
Let s = 1803 + -966. Is s a multiple of 30?
False
Let r be ((-1)/2)/(8/(-96)) - 2. Suppose -6*p = -r*p - 6. Is 3 a factor of p?
True
Let v = -92 + 162. Let z = 204 - v. Suppose 2*t + 5*a - z = -0*t, 0 = -4*a. Does 26 divide t?
False
Suppose 25*w - 1688 = 5537. Does 17 divide w?
True
Let d(k) = k**2 - 4*k - 17. Let a be d(7). Suppose a*y = 9*y - 915. Does 43 divide y?
False
Let k(f) = 113*f - 202. Does 20 divide k(4)?
False
Does 35 divide (0 - -1)/((-2)/(-698)) + -4?
False
Let r(j) = -61*j - 482. Is r(-10) a multiple of 7?
False
Suppose 4*v + 12 = -5*r + 1021, -2*r = 4*v - 406. Is r a multiple of 14?
False
Let p(k) = -7*k + 4. Let s(j) = -j + 1. Let v(x) = -p(x) + 5*s(x). Let r be v(10). Let t = r - -39. Does 30 divide t?
True
Suppose 5*r - 321 = -t - 61, 2*t - 536 = -2*r. Suppose 10*y - 5*y = t. Let q = 102 - y. Is q a multiple of 16?
True
Suppose 31*u = 37*u - 1728. Is 4 + u/((-3)/(-1)) a multiple of 10?
True
Is 8 a factor of (1 - -42)/((15 + -13)/112)?
True
Suppose 76*c - 892 = 72*c. Does 77 divide c?
False
Let k(h) = -3*h**2 - 2. Let w(i) = 2*i**2 + 3. Let j(f) = -3*k(f) - 2*w(f). Is 9 a factor of j(-3)?
True
Let c(x) = x**3 + 2*x**2 - 41*x + 63. Does 13 divide c(9)?
True
Let s(g) be the first derivative of -9*g**2 - 18*g - 22. Is s(-5) a multiple of 24?
True
Suppose -4*p + 18 = -5*p. Let d be 4/p - 4/(-18). Suppose 3*v = 4*a - a - 186, 5*a + v - 322 = d. Does 19 divide a?
False
Suppose 0 = 5*v + 5*l - 1155, -v - 16*l + 251 = -20*l. Does 10 divide v?
False
Suppo