+ 3*v - 7. Suppose -3*d - d - 67 = -5*w, 54 = q*w - 3*d. Does 15 divide w?
True
Let n = 1 - -1. Let u be 1/n - 15/(-6). Suppose -u*q = -4*q + 29. Is 10 a factor of q?
False
Let b(w) = w**3 + 9*w**2 + 5*w. Is b(-6) a multiple of 13?
True
Let q be ((-10)/(-2) - -1) + -2. Suppose b + 1 = 0, u + 4*b = -u + q. Suppose 0 = g - 3*x - u, 0 = -5*g - 6*x + x + 60. Does 9 divide g?
False
Let h(r) = -r**3 - 8*r**2 - 6*r + 10. Let g be h(-7). Suppose -38 = g*d - 5*b, -d + 2*b + 5 = 19. Is ((-3)/d)/((-2)/(-56)) a multiple of 14?
True
Let a = -7 + 6. Does 12 divide 428/16 + a/(-4)?
False
Suppose -131 = -2*b + 971. Does 27 divide (-14)/63 - b/(-9)?
False
Let z(d) = 9*d**2 + 4*d - 4. Suppose 6 = 3*g - 0*g. Is z(g) a multiple of 20?
True
Let y(q) = -q + 8. Let c be (-2)/(-6) + (-20)/(-3). Let l be y(c). Is l/((-3)/(-6)) - -36 a multiple of 19?
True
Let a = 32 + -15. Is (a + 1)/((-12)/(-18)) a multiple of 9?
True
Let y = 0 + 4. Let t be -2*(-2 - -1 - 1). Suppose -t*x - 18 = -y*k + 58, 0 = -5*k - x + 125. Is k a multiple of 12?
True
Let v(y) = -y**2 - y + 26. Suppose n = -4*n + 10. Let i = -2 + n. Is v(i) a multiple of 13?
True
Let r be (2 + -1)/(2/76). Suppose -5*h = -4*x - r, -26 = -3*h - 0*x + 4*x. Let m = h - -5. Does 6 divide m?
False
Let j be (8 + -2)/(0 + 2). Suppose 2*a = 0, j*a = -4*x - 2*a - 40. Is 11 a factor of (-168)/x - 3/(-15)?
False
Suppose -5*y + 254 = -b, -y - 2*b - b + 54 = 0. Is y a multiple of 17?
True
Let c = -18 - -28. Suppose -c = 5*g - 85. Is 7 a factor of g?
False
Suppose k + 5*n = -0*k + 45, 10 = 2*n. Is 6 a factor of k?
False
Let f = 0 - 0. Suppose -3*z + 39 = 3*v, 3*z - 2*v = 3*v + 79. Suppose -28 = -3*d - 5*p - f*p, 4*p = -2*d + z. Does 11 divide d?
True
Suppose 3*b - 88 = b. Is 7 a factor of b?
False
Suppose 4*k + 5 = 17. Suppose -3*v + 87 = 2*y, 2*y + 103 = k*v + 16. Is 7 a factor of v?
False
Let y be 2*(-3)/6*-9. Suppose 5*t + 80 = y*t. Is t a multiple of 4?
True
Let c be (-3)/(-5) - (-172)/(-20). Let j = c + 23. Let r = j - 6. Is 5 a factor of r?
False
Let l(i) = 4*i + 13. Let s be l(11). Suppose -y = -2*y + s. Is y a multiple of 19?
True
Let r be 2 + -2 + 2 - -3. Let x(k) = k**3 - 5*k**2 - 4*k + 7. Let z be x(r). Let p = 21 + z. Is 8 a factor of p?
True
Let j(v) = v**3 + 2*v**2 + 2*v - 3. Let f(c) = -6*c**3 - 11*c**2 - 11*c + 15. Let s(r) = -2*f(r) - 11*j(r). Is 30 a factor of s(3)?
True
Let j(o) be the third derivative of -o**5/60 + 2*o**4/3 - 7*o**3/3 + 4*o**2. Is j(14) a multiple of 4?
False
Suppose 0 = -2*s - 5*j + 191, 0 = -4*s - 5*j + 65 + 322. Is s a multiple of 21?
False
Is (-9)/(36/(-296)) - 3 a multiple of 3?
False
Let t be 16 + 0 + 6/(-3). Let p = t + -7. Is p a multiple of 3?
False
Does 10 divide ((-19)/38)/((-1)/118)?
False
Suppose 0 = -41*s + 43*s - 364. Is s a multiple of 26?
True
Suppose -4*x - 24 = -5*a, 0*a = a. Let o = -2 + x. Let h(y) = -y**2 - 9*y + 10. Is h(o) a multiple of 9?
True
Suppose 4*t - 46 + 194 = -4*g, 4*g - 104 = 3*t. Let l = t + 50. Is 14 a factor of l?
True
Suppose -288 = -4*v + 72. Is 18 a factor of v?
True
Suppose 0 = -3*y + 4*r + 25, 2*y + 4*r - 1 + 11 = 0. Suppose y*f - 2 = 7. Suppose -4*t + 3 + 9 = 0, -f*o = 4*t - 90. Is 13 a factor of o?
True
Is 192/(-18)*(-15)/2 a multiple of 20?
True
Let f be -2 - -1*(3 - 1). Suppose f = -r + 5*r. Suppose r*o - 3*o = -177. Is 16 a factor of o?
False
Suppose 0 = 3*b - 1408 + 298. Suppose 0 = -6*n + 11*n - b. Does 19 divide n?
False
Let y = 9 + -5. Let c be -3*y/(-6)*2. Suppose 0 = 3*b + 3*w - 54, b + 36 = 3*b - c*w. Is b a multiple of 6?
True
Let z be 4/18 + (-96)/(-54). Suppose -5*v - 3*d + 168 = 0, -v + 0*v - z*d = -28. Does 11 divide v?
False
Suppose -2*q + 49 = -q - 2*u, -5*u = -q + 58. Let a = q - 13. Is a a multiple of 10?
True
Let w = -16 - -26. Is w/25 + (-36)/(-10) even?
True
Let r = 18 + -48. Let z = r - -44. Does 3 divide z?
False
Let f = 38 + 4. Does 11 divide f?
False
Suppose n = -j - 0*n, j = 4*n. Let i = j - -3. Let l = i + 5. Is l a multiple of 8?
True
Suppose -s + 393 = 2*j, -4*j - 5*s + 1211 = 416. Does 15 divide j?
True
Suppose -5*i - 9 = -4. Let b(x) = 6*x**2 - 1. Is b(i) a multiple of 5?
True
Is 141*2/5 - (-4)/(-10) a multiple of 14?
True
Suppose 0 = 2*o - 7*o + 195. Is o a multiple of 13?
True
Let u = 29 + -24. Suppose -u*r + 4*d + 96 = -0*d, 2*r - 36 = 4*d. Is 20 a factor of r?
True
Suppose 0 = 2*b - 4, b = -5*n - 6 + 33. Does 2 divide n?
False
Let l(a) = -a + 15. Let y be l(13). Let z be 152/2 - 4/2. Suppose 5*c - 210 = 2*v, 4*c - 94 = -y*v + z. Is c a multiple of 14?
True
Let o(m) = -m**3 + 6*m**2 - 6*m + 1. Let j be o(6). Let f = 49 + j. Is 3 a factor of f?
False
Let g(w) = w + 8. Let k be g(-4). Suppose 0 = 2*t + 4*c - 44, t - 4*c + k + 4 = 0. Is 12 a factor of t?
True
Suppose -4*n + 0*n + 20 = 0. Suppose -h - 4*z = -n*h + 28, -4*h = 3*z - 56. Is h a multiple of 11?
True
Let f(c) = -c**2 + 49. Let s(g) = g**2 + g - 6. Let q be s(-3). Is f(q) a multiple of 30?
False
Suppose -2988 = -14*d - 832. Does 14 divide d?
True
Let d be (-81)/(-2) - 2/4. Let m = 82 - d. Is 25 a factor of m?
False
Let k be 40/(-2)*45/(-6). Suppose 0*v + 5*v + k = 0. Let f = 70 + v. Does 20 divide f?
True
Let m(t) be the first derivative of -t**4/4 + 4*t**3/3 + 3*t**2 - 3*t + 1. Let g be m(5). Suppose k - 5*f = -3*f + 17, -g*k = -5*f - 38. Is 9 a factor of k?
True
Let m = -30 + 96. Is m a multiple of 33?
True
Suppose -5*r = -0*r - 5. Is 12 a factor of (r - -2)*(3 + 1)?
True
Let y be (-2)/(-3 + 35/11). Let b(v) = 3*v**3 + v**2 + 11*v + 6. Let x(d) = 8*d**3 + 4*d**2 + 32*d + 18. Let h(a) = y*b(a) + 4*x(a). Does 12 divide h(6)?
True
Let m be (-6)/(-4) - (-8)/16. Suppose 4*c - 19 = -3*w + 2, m*c - w - 13 = 0. Does 4 divide c?
False
Let t(s) = s**2 + 7*s - 9. Does 15 divide t(-16)?
True
Let n = -106 + 184. Is 10 a factor of n?
False
Suppose 0 = -d - 0*d - 60. Let g = d + 90. Is g a multiple of 8?
False
Let a(b) be the second derivative of -7*b**5/20 + b**4/6 + b**3/3 + b**2/2 - 6*b. Does 4 divide a(-1)?
True
Let o be ((-2)/(-3))/((-2)/(-21)). Suppose 0 = -4*n + o + 9. Let k = n - 0. Is k a multiple of 3?
False
Let r(g) = -g**3 + 7*g**2 + 9*g - 9. Let n be r(8). Let p be 118/(1 - n)*1. Suppose -4*q + p - 19 = 0. Is q a multiple of 10?
True
Suppose 3*i = r - 17, 2*r - 29 = 5*i + r. Let x(c) = c**2 + 4*c + 1. Is x(i) a multiple of 10?
False
Suppose -23*w = -24*w - 20. Is 5/w - (-193)/4 a multiple of 12?
True
Let v(a) = 3*a**2 + 7*a + 3. Let y(s) = 6*s**2 + 13*s + 7. Let k(n) = 5*v(n) - 2*y(n). Is k(-6) a multiple of 18?
False
Let w(b) = -b**2 - 7*b + 2. Let t be w(-7). Suppose -6 = f + t*s - 16, 5*s - 25 = 0. Suppose 3*c - 5*c + 16 = f. Does 8 divide c?
True
Let a be -3 - (-3 - -2) - 1. Let m be 8*a*(-1)/3. Is 15 a factor of (1 - 0) + (m - -13)?
False
Does 15 divide (302/(-2))/(18/(-18))?
False
Is (-72)/(-12)*(1 - 0) a multiple of 3?
True
Suppose -20 = 5*u, 2*u + 24 = 7*h - 3*h. Suppose 3*n + h*w - 195 = 2*n, -2*w = -4*n + 798. Suppose 39 = -5*m + n. Is 20 a factor of m?
False
Does 12 divide (-22)/88 + (-770)/(-8)?
True
Let y be (-42)/70 - 56/(-10). Suppose -y*n = 2*s - 205, -83 = -2*n + 4*s - 5*s. Does 13 divide n?
True
Let a(s) = -10*s - 34. Is a(-11) a multiple of 38?
True
Let p be (-3)/(3/(-1)) + -1. Suppose p = z - 2*z + 46. Is 12 a factor of z?
False
Suppose -3*o + 4 = -23. Let q = o + -5. Is q a multiple of 4?
True
Let y = 31 + -20. Suppose 2*v + 2*u = 142, 3*u - y + 2 = 0. Is 17 a factor of v?
True
Suppose 2*j = -0*p + p + 93, -2*p + 39 = j. Suppose j = -14*b + 17*b. Does 5 divide b?
True
Let k be 2/(-2)*-64 + 0. Suppose -y + 5*y = k. Does 7 divide y?
False
Suppose 0 = -4*a - 3*u - u - 8, -8 = 2*u. Suppose 4*w = x + 3*x - 12, -9 = -3*x + a*w. Suppose 14 = x*l - l. Is 7 a factor of l?
True
Let o(w) = w**3 + 9*w**2 - 15*w - 3. Does 15 divide o(-10)?
False
Let g(f) = f + 4. Let b be g(0). Suppose 0 = -2*z + 3*z + 3*x, 5*z + 3*x = 0. Suppose -b = -w - z. Is w a multiple of 2?
True
Is (-20)/(-3)*6/5 a multiple of 8?
True
Let k = -4 - -3. Let u be k - 3/(3/(-2)). Is u*9*(-5)/(-5) a multiple of 4?
False
Suppose 60 = -3*b - 3*q, 0 = -3*b - 4*q - 78 + 13. Let o = 39 + b. Is o a multiple of 8?
True
Suppose 4*q + a - 888 = -q, 0 = 2*a - 6. Is 18 a factor of q?
False
Let i = -6 - -10. Suppose -i*r + 4*h - 8 = -r, 2*r = -2*h + 18. Suppose r*z - 32 = -0*z. Is z a mul