/(-8))?
False
Let n(k) = -2*k**3 - 10*k**2 + 43*k + 23. Is n(-8) a multiple of 2?
False
Let w be (-6)/6 + 0 + (4 - -1). Suppose -4*u = 7 - 3, -4*c + 148 = -w*u. Is 18 a factor of c?
True
Suppose 0 = 4*i + x - 620, -17*i + 21*i - 5*x = 644. Is i a multiple of 4?
True
Suppose 12*q - 4*c = 17*q - 9053, 5*q = 3*c + 9039. Is q a multiple of 7?
False
Let w = 3710 + -2078. Is 16 a factor of w?
True
Let y(v) = v**2 - 14*v + 41. Let w be y(10). Suppose 3*b - 2825 = -4*x, -3*b - w = 2. Does 11 divide x?
False
Suppose 2*v + 10664 = 3*x, 4*v - 14192 = -10*x + 6*x. Does 111 divide x?
True
Let j(p) = -2*p**2 - 6*p + 2. Let z be j(-3). Suppose 3*b - z*u - 2*u - 529 = 0, 20 = -5*u. Is b a multiple of 17?
False
Does 19 divide (-21)/6*(-26)/182*11962?
False
Suppose 54 = -5*y + 5*f + 19, 1 = -3*y - f. Is 6040/28 + y/(-7) a multiple of 18?
True
Let s = -83468 + 121043. Is 25 a factor of s?
True
Suppose 19*m + 9*m = 22*m + 6048. Is m a multiple of 48?
True
Let k = 755 - 3110. Let p = k - -825. Is p/(-27) + (-1)/(-3) a multiple of 13?
False
Let m(b) = 154*b - 18. Let n(i) = 305*i - 35. Let c(v) = -5*m(v) + 2*n(v). Does 12 divide c(-1)?
True
Suppose 11*o - 15*o + 5956 = 0. Suppose -z + 339 + 152 = -2*p, 2*p - o = -3*z. Is 33 a factor of z?
True
Suppose 0 = z + 2*z. Let h be z - (-1 - -2)*34. Let u = h + 49. Is u a multiple of 3?
True
Suppose 3*g = -2*l + 22, 2*g + 3*l = -30 + 53. Suppose 0 = 5*w + 3*x - 2*x - 1173, -g*w - x + 939 = 0. Is 18 a factor of w?
True
Suppose 23*x - 37917 - 18162 = -4*x. Is 11 a factor of x?
False
Suppose 818*q - 841*q + 91456 + 179277 = 0. Does 7 divide q?
False
Let c = -510 + 762. Suppose z - 4*a = c, 5*z - 49 = 3*a + 1279. Is 18 a factor of z?
False
Let l = 11 + -2. Suppose 13 = 2*c + l. Is (c/2)/((-1)/(-17)) a multiple of 8?
False
Let n = -11 + 9. Let t(p) = 2*p**2 + 28*p + 22. Let a be t(-13). Is n - a - (54/(-2) + 4) a multiple of 4?
False
Does 99 divide ((-10560)/(-480))/(2/3159)?
True
Suppose 86*m - 88*m = 82. Let x = m + -6. Let u = 10 - x. Does 16 divide u?
False
Suppose 4*h + 4*k + 23 - 555 = 0, h = 4*k + 143. Is 9 a factor of h?
True
Let c(h) be the third derivative of h**6/60 + 17*h**5/20 + 7*h**4/24 + h**3/2 + h**2 + 89*h. Does 46 divide c(-25)?
False
Let b(x) = x**2 + 4*x - 15. Let g be 0*3/(18/(-3)). Let h(z) = -z**3 - z - 9. Let n be h(g). Is b(n) a multiple of 3?
True
Let u(s) = -s. Let y be u(-4). Suppose 5*j - 367 = q - 2*q, -5*q - y*j = -1856. Is q a multiple of 25?
False
Let v(k) = -6*k + 4. Suppose 4*b + 6 = -0*d - 2*d, 5*b = 2*d - 3. Let s be v(b). Is (-270)/25*s/(-3) a multiple of 13?
False
Is 59 a factor of 43 - 10 - 32 - (-2504 + 1)?
False
Let q(y) = 2*y**2 - 1. Let u(i) = -9*i**2 + 26*i + 218. Let l(r) = -4*q(r) - u(r). Is 5 a factor of l(33)?
False
Suppose 3*c + 9 = -x, 3*x - 4 + 1 = c. Suppose -r - 1280 = -5*r - 2*h, x = 4*r + h - 1282. Does 54 divide r?
False
Is 9 a factor of (52 - 24)/(-140) - 44182/(-10)?
False
Let w be 476/196 + 4/7. Let i be (-30)/(-4) + 3/(-6). Suppose 4*v = i*v - 15, -w*u + 165 = 3*v. Does 8 divide u?
False
Let w(r) be the second derivative of r**4/3 + 2*r**3/3 + 3*r**2/2 + 321*r. Suppose -h - 4*h - c + 20 = 0, 16 = 4*h + 2*c. Does 18 divide w(h)?
False
Let c(r) = -r**2 - 5*r + 10. Let x be c(0). Let p be 0*5/x + 7. Suppose 280 = p*m + 28. Does 9 divide m?
True
Suppose 2*r - 2457 + 469 = 0. Suppose 3*p + 2*v - r - 477 = 0, -2*v = 4*p - 1958. Is 32 a factor of p?
False
Suppose 14 = 6*c - 16. Is (40 + -30)*12/c a multiple of 6?
True
Let o = -45 - -45. Suppose -s + 4*m - 20 = o, 2*m = 3*s - 1 + 11. Suppose -35 = -s*u - 5*u. Does 4 divide u?
False
Let y(g) = 75*g + 747. Is y(11) a multiple of 4?
True
Let i be (5/10)/(3/18). Suppose 2*y = c + 7, 0 = -i*y + c + 1 + 8. Suppose 0 = y*n - 3*n + 124. Is 31 a factor of n?
True
Let s be (-19)/(1995/14) + 566/(-30). Let i = s + 120. Is i a multiple of 29?
False
Is 9 a factor of 6/((-1011*5/(-1683) - 0) + -3)?
True
Let r(d) = -d**2 + 42*d - 117. Let f be r(39). Suppose -5*h - 3*t + 420 = f, -h - 39 = 5*t - 145. Is 2 a factor of h?
False
Let y = 23 + -22. Let t be 766 - y/(-12)*-4*-3. Suppose -4*o + 975 = o + 2*r, 4*o - t = r. Does 47 divide o?
False
Let c be (5/(-10))/(7/42). Let h = 200 - 141. Let b = c + h. Is 14 a factor of b?
True
Suppose 0 = -43*v - 92*v + 14580. Let i(c) = -c**2 - 8*c + 1. Let z be i(-6). Suppose -v = -16*a + z*a. Does 18 divide a?
True
Let f(n) = -15*n**2 + 51*n + 71. Let z(j) = 3*j**2 - 10*j - 14. Let l(g) = 2*f(g) + 11*z(g). Is l(-3) a multiple of 11?
False
Let f be (-62)/(-22) - (-36)/198. Let c be 1/(-2) + (-186)/(-12). Suppose 75 = n - 2*m + 3*m, c = -f*m. Is n a multiple of 16?
True
Suppose 3*w - 1022 = 17*w. Let i = w + 79. Suppose 7*c - i*c - 2 = 0. Is c even?
True
Suppose 0 = 4*c - 3*g - 349595, c = 313*g - 316*g + 87380. Is 35 a factor of c?
True
Let a(l) = l**2 - 8*l + 4. Let t be a(8). Suppose -2*o = -2*q - 6, 2*q - 3*o - 1 = -10. Suppose j - t*i + 0*i - 12 = 0, q = -4*i + 16. Is 4 a factor of j?
True
Let s(u) = 486*u - 889. Let b be s(2). Let p be (-705)/(-9) - (-2)/(-6). Suppose -t + p = -b. Is 7 a factor of t?
True
Let i be (-4 - -7) + -1 - 0. Suppose -3*k = -i*q - 27, -k = 2*k + q - 18. Suppose 84 = k*c - 5*c. Is c a multiple of 6?
True
Suppose 3*z = -3*n + 207, 0 = 5*n + z - 347 - 14. Suppose 2*w - n = -l, 0 = -w + 4*l - 3*l + 35. Does 18 divide w?
True
Suppose 16*i - 27*i = -3*i + 464. Let y = -97 + 53. Let s = y - i. Is 7 a factor of s?
True
Let q(w) = 4*w. Let t(x) = -2*x - 29. Suppose -4*z - z = 85. Let g be t(z). Is 10 a factor of q(g)?
True
Let v be (-2 - -26) + 8 + -9. Suppose -v*k + 9216 = k. Is k a multiple of 34?
False
Suppose 4*z - 4138 = 36626. Does 79 divide z?
True
Let t(v) = 9*v**2 - 7*v + 116. Does 12 divide t(8)?
True
Let a = -114 + 120. Suppose -13*g + 175 = -a*g. Is 7 a factor of g?
False
Let q(o) be the first derivative of -o**4/4 - 10*o**3/3 - 7*o**2/2 + 20*o + 15. Let v be q(-9). Suppose 45 = -h + v*h. Is 9 a factor of h?
True
Let v = -28 - -4. Suppose 3*g - 882 = 12*l + 2*g, 0 = 4*l - 3*g + 310. Let o = v - l. Is o a multiple of 4?
False
Let d(g) = 2*g**2 - 55*g + 399. Is 12 a factor of d(36)?
False
Let c = 3897 + 2524. Is c a multiple of 5?
False
Let u(o) = -o**3 + 7*o**2 - 24*o - 16. Suppose 0 = 268*w - 260*w + 56. Is u(w) a multiple of 29?
False
Let w = 278 + -302. Let c(m) = -m**2 - 29*m - 64. Is c(w) a multiple of 28?
True
Suppose -u + 0*u = 3*g - 7, -3*g - 3*u - 3 = 0. Let w = -6905 + 6905. Suppose -3*l + 424 = -w*l - 5*q, 0 = g*l - 3*q - 547. Is 23 a factor of l?
False
Let m be (-470)/2*(-264)/(-220). Let x = 401 + m. Is 17 a factor of x?
True
Let o = -920 + 910. Let h(x) = 12*x**2 + 31*x + 67. Does 29 divide h(o)?
True
Let n = 18 + 1142. Is 10 a factor of n?
True
Let p be -1 - (-2 + (5 - 3) + -7). Suppose -5*f = 4*c - 235, -2*f - p*c = -4*c - 94. Does 47 divide f?
True
Let p be ((-4)/((-4)/(-3)))/(9/(-93)). Let g = p - -169. Let q = -135 + g. Is 13 a factor of q?
True
Let q = 138 - 289. Suppose -10*n - 979 = n. Let r = n - q. Is 17 a factor of r?
False
Suppose 1122 + 1536 = 2*y. Suppose 5*g - h = -0*g + y, -529 = -2*g + 3*h. Is 38 a factor of g?
True
Suppose -81*s + 63*s + 182574 = 0. Is s a multiple of 91?
False
Let g be 0 - ((-9)/3)/1. Let w(s) = 2*s**2 + 14*s - 40. Let v be w(4). Is 16/v + 791/g a multiple of 22?
True
Let d be ((-6)/(-4))/1*(-1 + -1). Let f be -3*(300/9 + 1) - d. Let s = f + 147. Is 9 a factor of s?
False
Let k(f) = 6*f - 69. Let h be k(11). Suppose 0 = -3*c - 3*u - 138, 5*u = -0*c - c - 50. Is 4 a factor of -2 - h - 1/(3/c)?
True
Let a be (-4)/(-20)*5 + 1*-1. Let z(d) = -d**2 - 8*d + a*d**2 + 4 + 2*d**2 + 16*d**2. Is z(3) a multiple of 19?
True
Suppose 634 = 6*t - 5*t + 5*j, 0 = t + j - 642. Let v = t + 62. Does 52 divide v?
False
Let u = -12285 + 16315. Is 62 a factor of u?
True
Suppose -4*s = -5*s + 6. Suppose 5*u - s = m, 5*m = -0*u + 4*u - 9. Does 16 divide (-32)/6*18/m?
True
Let t be 7 + -10 + (-28)/(-1). Is 20*(-5 - ((-335)/t)/1) a multiple of 21?
True
Suppose 4*i + 1214 - 3210 = 0. Let u(o) = -20*o**2 + 84*o - 8. Let b be u(4). Suppose -b*n - 19 = -i. Does 10 divide n?
True
Let z = 902 + -902. Suppose 9*r - 374 - 661 = z. Does 11 divide r?
False
Suppose 2*s = s + 5. Let c(u) = -u**2 + 9*u - 16. Let d be c(s). Suppose -1197 = -13*z + d*z. Is 19 a fa