 + 3*s - 1364 = 0. Is s a multiple of 19?
False
Suppose 4*n = -3*w + 332, w = -0*w + 4*n + 132. Is w a multiple of 31?
False
Is 26 a factor of ((-1)/(6/(-4)))/(7/315)?
False
Suppose 2*d - 157 = -29. Suppose 0 = 4*y + k - d - 48, 43 = y + 4*k. Is y a multiple of 14?
False
Suppose -117 = -7*i + 219. Is 24 a factor of i?
True
Let k(i) = -3*i - 16. Let u be k(-7). Suppose -2*g + 5*v = -u*g + 33, -5*v + 1 = g. Is g a multiple of 8?
True
Let x(k) = -k**3 - 5*k**2 - k + 2. Let f be x(-5). Suppose f = 3*i + 1. Let c = i - -3. Is c a multiple of 5?
True
Suppose y - 4*g - 105 = 0, -37 + 437 = 4*y + 4*g. Does 39 divide y?
False
Let i = -77 - -92. Is 15 a factor of i?
True
Let q = -11 + 17. Is q a multiple of 4?
False
Let h(i) = -i**2 + 6*i + 5. Let x be h(6). Suppose -x*t + 210 = 5*j, 5*j + 11 + 4 = 0. Does 19 divide t?
False
Suppose -3*n - 172 = n. Is 22 a factor of 4/4 + -1 - n?
False
Let y = -10 - -14. Suppose -5*z = -y*h, 0 = 2*z + 6*h - 3*h - 23. Is 4 a factor of z?
True
Let k(u) = -3*u - 4. Let i be k(-3). Suppose -3*n - 30 = -g, 2*g - i*g + n + 74 = 0. Does 12 divide g?
True
Suppose 4*h = -h + 50. Suppose 4*s = h*s - 180. Is 15 a factor of s?
True
Let y = 10 - 5. Suppose 0*l = y*l - 15. Does 12 divide l + -2*(-3 + -5)?
False
Let l be 548/11 + (-20)/(-110). Suppose -q = 5*w - 287, -4*q - 4 = w - l. Does 10 divide w?
False
Let p = 95 + 100. Is p a multiple of 39?
True
Suppose 5*q + 1 = -4*h + 8, -3*q - 15 = -4*h. Suppose 0 = -2*j + 5*j + 12, 3*p - h*j = 39. Suppose o + 3 = p. Does 4 divide o?
False
Suppose -19 = -d + 18. Suppose -r - 4*r = -4*v + 33, -2*r - d = -5*v. Does 7 divide v?
True
Is 9 a factor of 0/3 - -28*1?
False
Let f = 3 - 1. Let h(y) = 4*y + 2 - y**3 - 2*y + 2*y**f - 4. Does 9 divide h(-2)?
False
Let a(z) = -3*z + 4. Let k(l) = l. Let c(r) = a(r) + 4*k(r). Let x be c(4). Suppose -x = -5*h + 57. Is 13 a factor of h?
True
Let n(x) = x**3 - 7*x**2 + 4*x + 8. Let q(f) = -f**3 + 6*f**2 + f + 1. Let j be q(6). Is n(j) a multiple of 15?
False
Suppose -2*k = -10, 3*o - 5*k + 23 = 2*o. Let s(w) = 1 + w + w + 6*w**2 - 5*w**2. Is 4 a factor of s(o)?
False
Suppose -z + 3*k + 11 = 0, 3*z - k - 1 = -0*k. Does 9 divide z - (-35 + 3)/2?
False
Let d be ((-2)/(-4))/(1/6). Let y(v) = -v**3 - 4*v**2 - 3*v - 3. Let u be y(-3). Does 6 divide d/u*-13 - -2?
False
Is 14 a factor of (-2)/(-7) + (-384)/(-28)?
True
Suppose 5*v + 3*l - 149 = 3*v, 2*v - 125 = 5*l. Is v a multiple of 14?
True
Suppose -3*c - 174 = -5*c. Suppose 0 = -2*y + 5*y - c. Is 6 a factor of y?
False
Let n be (12/10)/((-9)/(-30)). Suppose n*c = -4*f + 32, 0*c = 5*f - 4*c - 4. Suppose -4*p = f*v - 28 - 16, -2*p + 3*v = -7. Does 8 divide p?
True
Suppose 3*l - 47 - 213 = -w, -3*l = -5*w - 248. Does 21 divide l?
False
Let u(h) = -27*h + 26. Let j(i) = 9*i - 9. Let b(w) = 11*j(w) + 4*u(w). Does 27 divide b(-8)?
False
Let p = -8 - -13. Suppose -3*f + 149 = -p*j + 54, -3*j = 4*f - 88. Does 25 divide f?
True
Let v(i) = 2*i**2 + 2*i + 1. Let d be -9*(15/9 - 2). Does 23 divide v(d)?
False
Suppose -3*p + 27 = -6*p. Let n = p + 14. Is 2 a factor of n?
False
Suppose -33*m - 39 = -36*m. Does 2 divide m?
False
Let y(l) = l**3 + 25. Is y(0) a multiple of 25?
True
Suppose 2*z = -3*z - 180. Let x be (-2)/(-6) - 134/6. Let n = x - z. Is 9 a factor of n?
False
Suppose -3*w - 21 = 3*k, -6*k = -4*w - 3*k - 49. Does 17 divide (125/w)/((-2)/4)?
False
Suppose -3*v - 5*o + 325 = 0, 2*o = -5*v - o + 547. Is 29 a factor of v?
False
Let c(m) be the first derivative of m**3/3 - 3*m**2 + 2*m - 1. Suppose 0*a = 3*v - 3*a - 15, -3*a = v - 17. Does 9 divide c(v)?
True
Let y(t) = 6 + t - 2*t - 2. Let p(m) = -m - 1. Let x be p(6). Does 6 divide y(x)?
False
Suppose -5*a = 2*g - 85, a + 2*g + 34 = 3*a. Let q = a + 27. Is 22 a factor of q?
True
Suppose 0 = 2*o + 3*o - 820. Suppose 220 = 4*g - 5*t + 4*t, -3*g + t = -o. Is g a multiple of 28?
True
Let b = -4 + 7. Suppose 0*h - l + 126 = b*h, l = -4*h + 168. Is h a multiple of 20?
False
Let x be (-14 - 1)*(-12)/(-30). Let q be 3/x + 14/4. Suppose q*l - 16 = -5*c + 18, 4*c = -2*l + 22. Is 9 a factor of l?
False
Let u(x) = -3*x + 7. Does 5 divide u(-11)?
True
Let a(g) = -g**3 - 3*g + 2*g - g - g**2 + 2. Let d(u) = u**3 - 3*u**2 - u + 3. Let l be d(2). Is a(l) a multiple of 13?
True
Let n(q) be the first derivative of 2*q**3/3 + 3*q**2 + q - 2. Let u be n(-4). Let k = -7 + u. Does 2 divide k?
True
Suppose -11*m + 6*m + 1055 = 0. Is m a multiple of 33?
False
Let w = 795 + -476. Does 29 divide w?
True
Suppose 0 = 2*t - 453 - 199. Suppose -4*a - 54 + t = 0. Is 22 a factor of a/3 + 2/6?
False
Suppose -3*p - 5*m + 25 = 0, 11 = 2*p + m - 8. Suppose p*w - 9*w = 30. Is w a multiple of 10?
True
Let v(o) = -o**3 + 5*o**2 + 6*o - 8. Does 7 divide v(5)?
False
Suppose 0 = 2*y - 71 - 19. Is y a multiple of 25?
False
Let i = 90 - 52. Let o = 134 + i. Suppose -189 = -5*d - j, -4 + o = 4*d + 5*j. Is 16 a factor of d?
False
Suppose 4*t - 2*t = 194. Is t a multiple of 32?
False
Suppose -24 = h - 35. Is h a multiple of 3?
False
Let m = -7 - -11. Suppose 22 + 42 = m*c. Is 16 a factor of c?
True
Let c(u) = u**2 + 10*u + 13. Let f be c(-7). Does 3 divide (-57)/(-12) + (-2)/f?
False
Let o = 6 + -3. Suppose 8*c - o*c = 80. Is c a multiple of 13?
False
Is 14 a factor of (2 - 28/8)/(3/(-152))?
False
Suppose 2*k - 9 + 3 = 0. Let w = k + 4. Does 4 divide w?
False
Let o(g) = -g**3 + 12*g**2 + 2*g + 14. Is o(6) a multiple of 11?
True
Suppose -l - p = -189, -2*p + 116 + 72 = l. Is l a multiple of 38?
True
Suppose 0 = 3*n - n. Suppose n = 3*h - 35 - 40. Is 13 a factor of h?
False
Let p(v) = 304*v - 5. Is p(1) a multiple of 36?
False
Suppose m - 9 = -2*m. Suppose -r + 2*d + d = -5, -m*d - 56 = -4*r. Is 6 a factor of r?
False
Suppose 2*y = -2*y + 2*b + 136, -3*y - 3*b + 120 = 0. Let o = 51 - y. Is o a multiple of 12?
False
Let n be 6/27 - 484/(-9). Suppose -3*h + 24 + n = 0. Suppose -2*c + 2*u = -0*c - h, 0 = c - 3*u - 23. Does 8 divide c?
True
Let z(p) = -p**2 + 6*p. Let a be z(6). Suppose a = -4*g + 2*o + 48, -5*o = 5*g - 46 + 16. Suppose -2*r + g = -0*r. Is r even?
False
Suppose 75*x - 74*x - 15 = 0. Is x a multiple of 4?
False
Suppose 0*v - 3*v + 66 = 3*f, 5*v = 3*f + 134. Suppose -20 = 3*l + v. Let n = l - -28. Does 10 divide n?
False
Let w = -9 + 218. Is w a multiple of 19?
True
Let x = 14 + -36. Let d(i) = -i**3 - 11*i**2 + 10*i + 10. Let s be d(-12). Let n = x + s. Does 6 divide n?
True
Let h = 25 + -15. Suppose 3*j - 8*j = -h. Is j even?
True
Let m(v) = 28*v**2 - 5*v + 4. Let y be m(2). Let q = -68 + y. Is 10 a factor of q?
False
Let c(n) be the second derivative of -n**4/12 + n**3/2 + 2*n. Let h be c(2). Suppose -3*u + 15 = -h*u. Is 15 a factor of u?
True
Suppose -t + 4 = 2*c, t + 2*c - c - 5 = 0. Does 6 divide t?
True
Let n(f) = -f**3 - 12*f**2 - 12*f + 1. Let b be n(-11). Suppose 0 = 2*j - 5*w - 17 - 29, 3*w = -b. Does 13 divide j?
True
Let r = 61 + -90. Let c = r + 67. Is c a multiple of 19?
True
Does 3 divide 11/4 - 5/(-20)?
True
Suppose 3*n + 23 = -7. Let c = n - -40. Is 10 a factor of c?
True
Let k = 1118 + -659. Is k a multiple of 51?
True
Suppose -2*k + 5 = r - 3*k, -k - 6 = -2*r. Does 9 divide (-2)/(r*(-2)/9)?
True
Suppose 2*q = 3*d - 0*d - 7, 0 = -4*q - 4*d + 36. Suppose 36 - 2 = 2*u. Suppose q*a - 15 - u = 0. Does 5 divide a?
False
Let o(w) = w + 13. Let m be o(-7). Let f = m + 3. Does 9 divide f?
True
Suppose 794 - 142 = 4*c. Suppose 142 = 2*l - x + 45, -5*x = -3*l + c. Is 23 a factor of l?
True
Let n = -72 - -153. Is n a multiple of 9?
True
Is (-4197)/(-45)*3 + (-5)/(-25) a multiple of 48?
False
Let f = 3 + -1. Suppose -f*n = -2*a + 2, 4*n = -0*n + 4. Suppose 0 = -v + a*v - 16. Is v a multiple of 8?
True
Let v be (-10)/(-4)*(5 + -3). Suppose 0 = 2*q - k + 2*k + 5, -k - 11 = v*q. Let o = 4 - q. Does 6 divide o?
True
Let h(b) = 7*b**2 + 2. Let s(t) = t**2 - t - 4. Let x be s(3). Does 15 divide h(x)?
True
Let n = -41 - -71. Does 15 divide n?
True
Let d = -6 + 5. Let c be (d/(-2))/((-1)/(-4)). Let n = c - -8. Is n a multiple of 5?
True
Let q be 4/(8/6) + -1. Let s = 42 - q. Is 8 a factor of s?
True
Let y be (-18)/(-4) + (-1)/2. Let d be -3*((-8)/3 - -2). Suppose -d*u + 8 = -y. Does 6 divide u?
True
Suppose -2*c + 5 + 29 = 0. Suppose c = o + 7. Is o a multiple of 7?
False
Suppose 3*o - 35 = 67. Does 