
Let s = -30 + 139. Is s a multiple of 10?
False
Let j(w) = w**2 - w - 5. Suppose 3*l - 5*d - 16 = -0*d, 0 = -4*l + 5*d + 18. Let g(i) = -i**2 - 2*i + 3. Let o be g(l). Does 10 divide j(o)?
False
Let r = 10 - 7. Suppose -3*s - 81 = -r*y, 3*s + 30 = 2*y - 23. Is 14 a factor of y?
True
Let p(h) = h + 12. Is 2 a factor of p(-4)?
True
Let q be ((-4)/(-14))/((-22)/(-308)). Suppose q*r = 4*o - 44, -2*r + r + 7 = o. Is 9 a factor of o?
True
Suppose -96 = -4*h - 0*h. Suppose 0 = -4*g - 4*o - h, 2*g + 9 = -o - 1. Is 8 a factor of (-66)/g + (-3)/6?
True
Suppose 56*a - 208 = 54*a. Does 17 divide a?
False
Let b be 23 - (-2 + (1 - 0)). Let o(x) = x**2 + 4*x + 2. Let t be o(-8). Suppose -5*c + 0*c = v - t, 3*c - b = -v. Does 7 divide v?
False
Suppose 0 = -5*h + l + 235, 5*h + 4*l = 168 + 92. Is h a multiple of 12?
True
Let n be (-2)/(5/((-70)/(-4))). Let g(j) = -j**3 - 7*j**2 - j - 2. Let b be g(n). Suppose -b*h + x = -135, -2*x + 19 = h + 3. Does 9 divide h?
False
Let u(o) = o**3 + o**2 - 2*o + 2. Let n be u(2). Suppose 5*x = 5*y - 35, n = -y + 6*y. Let d = x - -13. Is 4 a factor of d?
True
Suppose -2*q + 20 = 3*q. Is q/18 - (-372)/27 a multiple of 14?
True
Let l = -68 + 77. Does 9 divide l?
True
Let w = -5 - -32. Is w a multiple of 13?
False
Let m be 3 - (0 - -1) - 3. Let q = m + 7. Does 3 divide q?
True
Let h(r) = r**2 + 2*r. Let v be h(3). Is (-9)/v - (-326)/10 a multiple of 8?
True
Let r(g) = -g**2 - 8*g - 9. Let q be r(-6). Suppose 0 = -q*v + 8*v - 90. Does 18 divide v?
True
Let h = 66 + -26. Does 9 divide h?
False
Suppose 2 = 5*z + 7. Is 51*z/(1/(-1)) a multiple of 17?
True
Let x(g) = 2*g + 6. Let b = -6 - -12. Is x(b) a multiple of 9?
True
Let n be (-3)/(-12) + 21/12. Suppose -3*k + o + 6 = 0, -5*o + 27 = 2*k + n*k. Let l(y) = y**3 - y**2 - 4*y + 3. Is 3 a factor of l(k)?
True
Does 4 divide (1 - -2)*(-7)/(-3)?
False
Does 44 divide 9/21 + (-8612)/(-28) + 0?
True
Suppose -4*z - 16 = -4*b, 0*b = z - 5*b + 16. Let g = 4 - z. Suppose h = -h + w + 9, 0 = -g*h - 3*w + 39. Is 5 a factor of h?
False
Let w = -16 - -40. Suppose -w = -4*v - 0*v. Does 4 divide (3/(-2))/(v/(-32))?
True
Suppose -5*t = 2*p - 5, 0 = 3*p - 0*p + 15. Suppose -6*b + t*b = -60. Is b a multiple of 9?
False
Is 13 a factor of 1/2 - (-175)/14?
True
Let j(s) be the first derivative of 3*s**2 - s + 2. Does 5 divide j(1)?
True
Suppose y = -5*u - y + 2, -3*y = -5*u + 22. Let b be 2*(-1)/(u/31). Is 1/2 - b/2 a multiple of 8?
True
Let f be 2/8 + 26/(-8). Let z(y) = y**2 + 2*y + 2. Let w be z(f). Suppose -t = -w*t + 60. Is t a multiple of 9?
False
Suppose -4*q = -9*q + 480. Is q a multiple of 12?
True
Suppose 51 = -2*b - 3*r, 162 = -6*b + b + 4*r. Let z = 48 + b. Suppose -12 = -3*n + z. Is n a multiple of 10?
True
Suppose -12 - 28 = -5*j. Let z(q) = 3*q - 4. Let a be z(3). Suppose a*l = 17 + j. Is l a multiple of 5?
True
Let h = -7 - -86. Suppose 2*v - v = -3*d + h, -3*d - 55 = -v. Is 17 a factor of v?
False
Suppose 2*f + 4 = 3*f. Suppose -4*x + f = -4. Suppose -4*w - 2*m = -86, 1 - x = w - 4*m. Is 11 a factor of w?
False
Let x(u) = -5 - 2*u**2 + 5*u**2 + u + u**3 + 2*u**2. Is x(-4) even?
False
Let i be 1/(-5) + 28/(-35). Is (-54)/(-24) - i/(-4) even?
True
Let r = 2 - -1. Let f = 9 - r. Is 4 a factor of f?
False
Let y(n) = -n**2 - 5*n - 3. Let q be y(-3). Let z(k) be the first derivative of k**2 - 2*k - 1. Is 2 a factor of z(q)?
True
Suppose -2*f = 3*f - 10. Is 16 + -3 + f + 3 a multiple of 6?
True
Let q be (1 - 0)/1 + -3. Let z(x) be the second derivative of -11*x**3/6 + x**2 + 2*x. Is 12 a factor of z(q)?
True
Suppose s = -2*s + 12. Let y(i) = 5 + s*i - 3*i + i + 3. Is 15 a factor of y(7)?
False
Suppose -112 = 3*n - 7*n. Is n a multiple of 14?
True
Suppose -2*t - 176 = -4*z, 2*t = -3 + 7. Is z a multiple of 11?
False
Let j = -21 + 37. Does 16 divide j?
True
Let d = 5 - 3. Suppose 0*o - 20 = -5*o - s, -2*o = -d*s - 8. Suppose o*x + 33 = 97. Is 8 a factor of x?
True
Let c = -10 - -3. Let j = c + 8. Let z = 5 - j. Does 2 divide z?
True
Suppose -159 = -5*q + 521. Is 34 a factor of q?
True
Let b(t) = t**3 + 9*t**2 - 11*t + 21. Is 8 a factor of b(-10)?
False
Let t(k) = k**3 + 11*k**2 - 4*k - 9. Does 19 divide t(-11)?
False
Let j(k) = 2*k - 21. Let a be j(14). Let l(n) = -n**2 - 12*n - 5. Let c be l(-7). Suppose 5*m - a*m + c = 0. Is m a multiple of 4?
False
Let g(x) be the second derivative of x**4/12 + 39*x**2/2 + 6*x. Is g(0) a multiple of 19?
False
Suppose 0 = 6*z - 2*z + 5*i - 216, 0 = -5*z - 3*i + 257. Suppose 2*k - z + 113 = 0. Let v = 62 + k. Is v a multiple of 15?
True
Let j(w) = -14*w + 2. Let d(t) = -13*t + 1. Let k(u) = -3*d(u) + 2*j(u). Is k(1) a multiple of 12?
True
Suppose 0 = -0*u - u - 1. Let s be 1 - u/((-2)/8). Is 1 - (s + -1 + 1) a multiple of 3?
False
Let g(r) = 2*r**2 - 4*r + 4. Suppose -30 = -5*f - s + 6*s, 3 = -s. Is g(f) a multiple of 5?
True
Suppose 5*k - 3*n = -8, 0 + 3 = -4*k - n. Let v = k + 3. Is 4/(8/78) + v a multiple of 14?
False
Is 1/5*5*60 a multiple of 10?
True
Let y(f) = -18*f - 42. Is 6 a factor of y(-5)?
True
Suppose 0*j + 5*j = -2*s + 245, j - 4*s - 27 = 0. Does 22 divide j?
False
Let u(z) = z + 21. Does 5 divide u(15)?
False
Let f = -19 + 22. Is (3/f)/(6/18) a multiple of 2?
False
Let b(p) = p - p + 5 - 2 - 3*p. Let f be b(-4). Let j = f - 7. Does 8 divide j?
True
Does 31 divide 3 + (5 - 1 - -86)?
True
Let t(s) be the second derivative of 5/2*s**2 + 1/3*s**3 + 0 - 3*s. Is t(4) a multiple of 10?
False
Suppose 4*z - 100 = -z. Is z a multiple of 10?
True
Let z(i) = i - i - 1 - i. Is 2 a factor of z(-3)?
True
Suppose 3*w - 3*d - 6 = 0, -6*d + 2*d = -2*w. Let n = w + 6. Does 9 divide n?
False
Let w(a) = a**2 + 1. Let r(i) = 7*i**2 - 10*i + 13. Let c(v) = r(v) - 6*w(v). Is c(11) a multiple of 13?
False
Suppose 4 = -4*v, 2*v - 3 + 2 = -m. Suppose 5*w - 58 = m*s + 29, -3*w = -5*s - 65. Does 5 divide w?
True
Let g(r) = -6*r**3 - 5*r**2 - 4*r + 9. Is 15 a factor of g(-3)?
False
Let s(a) = 11*a. Is s(4) a multiple of 9?
False
Let j = -25 + -26. Let d = -34 - j. Is 7 a factor of d?
False
Suppose 0 = -3*g - 3*z + 18, 14 = -5*g + 5*z - 6. Suppose 2*r = -2*v, -g = 4*r + 2*v - 5. Is r a multiple of 2?
True
Is (30 + -3 + 1)/2 a multiple of 9?
False
Is 12 a factor of (-4)/(-2) + 36 + -1?
False
Suppose -2 + 8 = 2*j. Let k = 8 - j. Is k a multiple of 5?
True
Suppose -5*h = -8*h + 9. Let c be (-4)/8 - (-43)/2. Suppose h*q - 3 = c. Is q a multiple of 8?
True
Let d(a) = a - 1. Suppose -4*g + 0*g + 2*w = -70, 4*w = -3*g + 47. Is 16 a factor of d(g)?
True
Let z = 110 - 74. Does 36 divide z?
True
Suppose -3*o - k = 64, -2*k + k = -2. Let g = o - -31. Is 6 a factor of g?
False
Suppose -2*t = 3*t - 10. Suppose j = -t + 4. Suppose -40 = -j*w + 16. Does 14 divide w?
True
Suppose 2*z - 88 = 4*f, 2*f = 5*z - 0*f - 196. Let r be ((-1)/2)/(-1)*z. Suppose -2*l = -1 - r. Is l a multiple of 5?
True
Let r(l) = l**2 + 6*l + 3. Let z be r(-6). Suppose -2*j + 39 = -z*c, 0 = -4*j + 4*c - 6*c + 118. Is j a multiple of 9?
True
Suppose 2*h + v = 6*h - 915, -227 = -h + 2*v. Is h a multiple of 39?
False
Suppose 0 = -2*f + 2*n + 22, 0 = -3*n - n - 20. Let h(q) = q**3 - 3*q**2 + q - 3. Is 37 a factor of h(f)?
True
Let f = 2 + -8. Let r(u) = -u**2 - 13*u - 2. Let s be r(f). Suppose 5*d - 57 = -3*o, 2*d + 2*d = -o + s. Is 6 a factor of d?
False
Let c be 188/4 + (-9)/(-3). Let l = -30 + c. Does 8 divide l?
False
Let s be (-1)/3 - 40/(-12). Suppose 5*h = 25, -3*k + 5*k - 27 = -s*h. Let w(n) = 7*n - 4. Does 13 divide w(k)?
False
Let l(g) = 5*g**2 + 4*g + 3. Let z be l(-3). Suppose p = -4*j - 14 + z, -2*j = -p + 4. Is 16 a factor of 432/45*p/3?
True
Let h(y) be the first derivative of -y**3/3 - 7*y**2/2 + 8*y - 1. Let t be -1*(0 - 1)*-6. Is 7 a factor of h(t)?
True
Suppose 5 = -9*j + 4*j - 4*u, -2*u = j + 7. Suppose -9 = j*q, -q = -3*v + 3*q + 183. Is v a multiple of 19?
True
Suppose 5*n + 2*r = 3*n + 126, -2*r = 5*n - 306. Is n a multiple of 36?
False
Let c(j) = -j**3 + 7*j**2 - 6*j. Let r be c(6). Suppose 2*v + r*v = 36. Suppose -4*z - 4*f = -80, z = -0*z - 3*f + v. Is z a multiple of 7?
True
Let a(m) = -2 - 3*m + m + 4*m**2 + m**2. Suppose -2*w = -3*w + 2. Is 14 a factor of a(w)?
True
Let c = 348 + -214. Does 14 divide c?
False
Let f(v) = -13*v + 2. Let j(q) = 7*q - 1. Let z(w) = 6*f(w) + 11*j(w). Let m = -2