ue
Suppose -272 = 4*b + b - 4*n, -4*b = 2*n + 202. Let k be 4/14 + b/(-14). Suppose 111 = 3*v + 3*g, 5*v = -k*g - 0*g + 183. Is 12 a factor of v?
False
Let j(q) = -q**3 + 6*q**2 - 7*q + 6. Let o be j(5). Suppose 0*x + x - 26 = 0. Let u = x + o. Is u a multiple of 13?
False
Suppose -3*o + 205 = 5*p, -5*o - 51 = -5*p + 3*p. Is p a multiple of 19?
True
Let c(n) = -2*n**3 + 7*n**2. Let k(j) = -2*j**3 + 6*j**2. Let u(m) = -5*c(m) + 6*k(m). Let z be u(-1). Suppose -6*w + 21 = -z*w. Is w a multiple of 7?
True
Suppose -8*r + 115 = -3*r. Suppose r = -2*m + 145. Let b = -30 + m. Is 11 a factor of b?
False
Suppose -2*t = -7 - 1. Suppose -2*a + 22 = -t*n, 0 = 2*a - n - 0*n - 28. Does 15 divide a?
True
Let a = -13 - -11. Does 7 divide (-38 + a)/(-2) - -1?
True
Suppose -4*d = -3*x - 239, -3*d + 4 = 4*x + 356. Let c = -182 - x. Is 12 a factor of c/(-4) + 1/(-4)?
True
Let z = 2 + 2. Suppose -4*p - t = -120, -z*t - 30 = -p - 0*p. Is 15 a factor of p?
True
Suppose 2385 = 4*t + 809. Suppose 5*l + 14 - t = 0. Is l a multiple of 16?
False
Let w(p) = -8*p**3 + p + 1. Let d = 0 + 2. Suppose -o - 3 = -d. Is w(o) a multiple of 5?
False
Suppose w - 32 = -r, 83 + 77 = 5*w - 3*r. Is w a multiple of 16?
True
Let k(l) = l**3 + 3*l**2 - 4*l - 4. Let f be k(-3). Let o(g) = g**2 - 7*g - 8. Let b be o(f). Suppose 2*w - 26 = -b*w. Is 5 a factor of w?
False
Is 6 a factor of (-6)/(-8) + (-905)/(-20) + -1?
False
Let i = 192 - 167. Does 23 divide i?
False
Suppose 5*t - 287 = -3*c, -20 = 5*t + 2*c - 303. Suppose -2*n - 7 = -3*p + t, 0 = 5*p - 2*n - 98. Does 9 divide p?
True
Does 25 divide 1042/8 - (65/20 - 3)?
False
Does 16 divide 2*6/(-4) + 85?
False
Let w(f) = f**3 + 10*f**2 + f - 2. Let k be w(-10). Is ((-16)/k)/((-2)/(-117)) a multiple of 26?
True
Suppose -4*i + 5*a - 9 = 0, 5*i - 3*a = -8*a. Let r = 11 + i. Does 5 divide r?
True
Suppose d + 0*d - 5 = 0. Suppose -10 - 30 = -4*n + d*v, -2*n - 2*v = -20. Does 4 divide n?
False
Let s(g) = -g**3 + 6*g**2 - 7*g + 6. Let p be 1*(5 + -2 + 1). Is 10 a factor of s(p)?
True
Suppose 3*p = 15, -3*u - 5*p + 30 = -2*p. Let o(y) = -1 + 0 + y**3 - 4*y - 1 - 4*y**2. Is 3 a factor of o(u)?
True
Let o be (-8)/10 + (-726)/30. Let d = -22 - o. Is d a multiple of 2?
False
Let p be 1 + (-2 - (3 + -15)). Suppose -3*q = -3*i + 5*i + 1, i - 5*q - 19 = 0. Suppose p + i = 3*o - 3*c, -22 = -4*o + 2*c. Is o a multiple of 6?
True
Suppose 2*k + 2*l = 786, -k - 1963 = -6*k - 3*l. Is k a multiple of 56?
True
Let v = -43 - -15. Let a = -11 - v. Does 17 divide a?
True
Let r(q) = q**3 + 14*q**2 - 15. Let v be r(-14). Let c = v - -46. Is 9 a factor of c?
False
Let w be 7 + (1 + 1 - 0). Suppose 2*t - w = 5*t. Does 8 divide (t + 1)*4*-2?
True
Let g(p) be the first derivative of 7*p**4/4 + p**2 + 4. Suppose -d - 6 = -2*c, 3*d = -2*c - c + 18. Is 23 a factor of g(d)?
False
Is -1 + 2/3*87 a multiple of 13?
False
Let c = -15 + 25. Is 610/25 - 4/c a multiple of 12?
True
Let z be -1 - (-118 - -1)/3. Suppose z = -g + 3*g. Is g a multiple of 15?
False
Suppose 314 + 271 = 5*b. Is 13 a factor of b?
True
Let h(j) = 10*j + 14. Is h(3) a multiple of 26?
False
Let z be 402/8 - (-1)/(-4). Let b = z + -22. Suppose 5*y = -3*w + 91, 15 = 3*y - 4*w - b. Is y a multiple of 7?
False
Suppose -4*j = 5*f + j, -5*f - j = 0. Suppose f*i + 2*i - 14 = 0. Does 2 divide i?
False
Suppose 10 = 2*s - 38. Is s a multiple of 9?
False
Suppose -8*u + 0 + 1432 = 0. Does 34 divide u?
False
Let g be 1*2 - (-3 + 5). Suppose -6*y + y + 575 = g. Suppose n - y = -4*n. Does 23 divide n?
True
Let s(u) = u + 15. Is 7 a factor of s(13)?
True
Let d(x) = 2*x + 6. Let c be d(-3). Suppose 2*y + 3*a - 50 = c, a = -4*y + 6*a + 100. Is 25 a factor of y?
True
Is 14 a factor of 12560/180 - (-2)/9?
True
Suppose 2*t = -4*d + 72, -2*d + 8 = 5*t - 12. Let g = -45 + 31. Let m = d - g. Is 17 a factor of m?
True
Suppose -3*z + 0 + 6 = 0. Suppose 0 = z*y - 2 - 26. Is y a multiple of 4?
False
Suppose -10 = -11*q + 9*q. Is q a multiple of 2?
False
Let l(q) = 2*q**2 - 4*q - 2. Is 11 a factor of l(-4)?
False
Let u be 2 - ((-4)/2 - 1). Suppose -w - u = 0, -3*q + 270 = 2*q - 4*w. Is 19 a factor of q?
False
Let z(u) = u**2 + 13*u - 10. Let i be z(-14). Suppose 99 + 5 = i*b. Is b a multiple of 13?
True
Suppose 72 = -3*p + 270. Suppose 0 = -2*b + 3*n + p - 25, -2*b + 29 = n. Let t = b - -9. Is t a multiple of 15?
False
Let q be -8*1*68/(-16). Does 15 divide 1 + -3 + q/2?
True
Let c(o) = o + 28. Is c(-22) a multiple of 2?
True
Let j(k) = k**2 + 5*k - 3. Let p be j(-6). Suppose -p = -2*l + 1. Does 2 divide l?
True
Suppose 4*o - 8 = -2*w, 3*o + 31 - 79 = -5*w. Suppose 2*y + f = 23, -2*y + w + 5 = 3*f. Is 9 a factor of y?
False
Let z = -52 + 57. Is z a multiple of 4?
False
Suppose -2*u - 55 = -159. Suppose 3*p = u + 74. Is 21 a factor of p?
True
Let u(a) = -a**3 - 10*a**2 + 8. Let j be u(-8). Is 14 a factor of 2 - 7/(21/j)?
True
Let w = 56 - 40. Is 4 a factor of w?
True
Suppose b = -z + 75, 4*b + 2*z - 4*z - 288 = 0. Is 6 a factor of b?
False
Let c(x) = x**3 + 4*x**2 + 3*x. Let r be c(-2). Let k be r + (-2)/(-1*2). Suppose 4*h = 3*j + 2*h - 40, -k*j + 38 = -h. Is j a multiple of 9?
False
Let q be 4268/10 - (-2)/10. Suppose 2*a - 2*b - 424 = 0, -5*b + 2*b - q = -2*a. Suppose -4*m + a - 21 = 0. Is 13 a factor of m?
False
Suppose -3*v + 5*s = -1743, 9*s - 4*s - 2289 = -4*v. Does 16 divide v?
True
Let l = 1 + 2. Let r be (l - 38/10)*-25. Suppose -r = -4*v + 16. Is v a multiple of 4?
False
Let v(n) = -n**3 + 14*n**2 + 2*n - 9. Is v(14) a multiple of 19?
True
Let j(m) = -m**3 - 8*m**2 + 9*m + 1. Let y be j(-9). Is (1 - y - -1)*6 a multiple of 3?
True
Let p(b) = b - 1. Let t(g) = -5*g - 7. Let k(z) = -4*p(z) - t(z). Suppose -j + 4*j = 0. Is 6 a factor of k(j)?
False
Let p(o) be the third derivative of -o**6/120 + o**5/60 + o**4/24 - 2*o**3/3 - 4*o**2. Let x be p(0). Let u = x + 7. Is 2 a factor of u?
False
Let g be 160/25 - 2/5. Let i be 152/7 + g/21. Suppose l + i = 53. Is l a multiple of 12?
False
Suppose 3*j + 10 = w + 2, 5 = -2*j + w. Let t = 2 - j. Is t a multiple of 4?
False
Let k(x) = x**3 + 8*x**2 + x - 3. Let h be k(-8). Let j = h + 20. Does 3 divide j?
True
Let t = 26 + 33. Suppose 3*i + 82 = 4*q, 0*q + 3*q - i = t. Suppose 0 = 3*c + q - 166. Is 12 a factor of c?
False
Let d(b) be the second derivative of b**2 - 1/2*b**3 + 2*b + 0. Is d(-3) a multiple of 11?
True
Suppose 0 = -5*r - 3*j, -3*r - 4*j = r. Suppose r = 5*w + b - 197, w - 3*b - 111 = -2*w. Is 13 a factor of w?
True
Suppose 25 = 2*h - 19. Is 22 a factor of h?
True
Let a(m) = 3*m**3 - 10*m**2 - 33*m + 41. Let k(l) = l**3 - 3*l**2 - 11*l + 14. Let w(c) = -6*a(c) + 17*k(c). Let q be w(10). Let h = q + 7. Does 9 divide h?
True
Let m(x) = -131*x + 4. Is m(-1) a multiple of 27?
True
Let i = -208 + 306. Is 14 a factor of i?
True
Let u = 6 + -4. Suppose 6 = u*d - 6. Does 3 divide d?
True
Let y(s) = 43*s - 2 - 4 + 5. Is y(1) a multiple of 21?
True
Let h = -8 - -7. Is -3*(-2 + (-2 - h)) a multiple of 8?
False
Let d = 7 + 53. Is 19 a factor of d?
False
Let c = 49 + -32. Suppose t - 9 = -4*j, 3*j + t - 5*t = -c. Is j/3 - 308/(-12) a multiple of 13?
True
Let n(z) = -6*z - 2. Let j be n(-2). Let v = 6 - j. Is 16 a factor of v/18 + 670/18?
False
Let k = -2 - -8. Is k a multiple of 3?
True
Suppose -f = 5*r - 29, 3*f + 10 - 37 = -5*r. Let q(o) = -5*o - 27. Let y(n) = 4*n + 27. Let a(j) = r*y(j) + 5*q(j). Is 9 a factor of a(0)?
True
Let z(i) = 4*i**2 + 9*i + 2. Is z(-4) a multiple of 10?
True
Suppose -5*g = 0, 2*g + 2*g = -4*m + 132. Suppose -b = -5*b. Is -2 + m/1 + b a multiple of 13?
False
Let i = -19 + 22. Suppose -v + 16 = -i. Is v a multiple of 5?
False
Suppose -y + 7 = 1. Suppose h = y*h. Suppose h*w - w = -29. Is 22 a factor of w?
False
Let r(k) = -k**3 + 8*k**2 + 11*k - 2. Let u(c) = -3*c - 3. Let h be u(-4). Is r(h) a multiple of 8?
True
Is 21/(-189) - 676/(-9) a multiple of 6?
False
Suppose u + 2*u = 15. Let d = 10 - 6. Suppose 0*y - y + 32 = -d*n, -60 = -u*y - 5*n. Is 11 a factor of y?
False
Is (-80)/(-12)*(-54)/(-8) a multiple of 9?
True
Does 6 divide (20/(-25))/((-2)/(-140)*-1)?
False
Let s = 135 + 28. Suppose -5*i + s = 3*z - 0*z, 2*i + 5*z - 69 = 0. Does 16 divide i?
True
Suppose -x + 66 = -78. Does 24 divide x?
True
Let x be ((-4)/6)/((-6)/108). Suppose 153 = 5*v - x. Suppose 0 