 b?
True
Let d(g) = g**3 + 6*g**2 + g + 8. Let c be d(-6). Let l = 25 + -3. Suppose -c*x = -0*x - l. Does 2 divide x?
False
Let v = -139 + 142. Suppose 428 = 2*k - 2*p, -3*p = -v*k + 8*k - 1070. Does 31 divide k?
False
Suppose 4*w - 856 = -4*k - k, -w + 171 = k. Suppose 8*g - k = 6*g. Does 15 divide g?
False
Suppose 12 = -3*b + 5*b. Does 8 divide (-8 + 11)*112/b?
True
Let j(n) = -6*n**2 + 5*n. Let r be j(2). Does 35 divide (-4)/r + (2 - 4472/(-28))?
False
Let t(l) = 13*l + 2. Let o be t(1). Let w = o + 21. Does 4 divide w?
True
Suppose -t - t = 14. Let z(x) = 7*x**2 + 5*x - 17. Let n(w) = 3*w**2 + 3*w - 8. Let c(v) = 5*n(v) - 2*z(v). Does 7 divide c(t)?
False
Suppose -11*m - 11520 = -31419. Is m a multiple of 67?
True
Let j(v) = 29 - 2*v - 3*v + v + 3*v. Does 11 divide j(-18)?
False
Does 45 divide (180/(-28))/(6/(-21))*2?
True
Suppose 232 = -4*y + 6*y - 2*k, 3*y - 368 = -k. Does 4 divide y?
False
Let h(n) = -n**3 + 15*n**2 - 14*n + 10. Does 12 divide h(11)?
False
Let b = 330 - 316. Is 10 a factor of b?
False
Let o = -220 + 450. Is o a multiple of 10?
True
Suppose 4*k = -2*f + k + 4, -2*k = 0. Let v(t) = -2 + 11*t**2 + 5 - 4*t - 2*t**2. Is 9 a factor of v(f)?
False
Let v(r) = -58 - 7*r - 1 - 6*r + 23*r. Is 13 a factor of v(8)?
False
Suppose 3 = -p + 6. Let l(c) = 2*c**3 - 2*c**2 + c + 7. Is l(p) a multiple of 23?
True
Let k = -108 - -66. Let v = k + 90. Is 11 a factor of v?
False
Let h = 41 + -101. Is (-96)/(-60)*h/(-1) a multiple of 16?
True
Suppose 39*w - 31713 = -8235. Does 11 divide w?
False
Let d(g) = 22*g. Let a(q) = q. Let z(s) = -28*a(s) + 2*d(s). Is z(4) a multiple of 14?
False
Suppose 2535 = 329*s - 324*s. Is s a multiple of 35?
False
Is 15 a factor of 8/((-24)/(-2277)) - -6?
True
Let h(a) = 2*a**2 + 21*a + 28. Is 6 a factor of h(-14)?
True
Is (-4)/30 + 42448/210 a multiple of 16?
False
Suppose p = -0*p + 7618. Is 3/(9/2) + p/39 a multiple of 28?
True
Suppose 420 - 36 = -2*d. Let c = d - -335. Let h = -95 + c. Is 16 a factor of h?
True
Let w(d) = d**3 + 4*d**2 + 5. Let f be w(-4). Let l(r) = 16*r - 21. Is l(f) a multiple of 17?
False
Let a(l) = l**2 - 8*l + 17. Does 27 divide a(30)?
False
Suppose -4*f - z + 5*z + 144 = 0, -3*f - 5*z = -124. Let t = f - 19. Suppose t = -2*o - 4*j + 107, 5*j = -10. Is 16 a factor of o?
True
Let o = -27 + 31. Is (-2)/(744/188 - o) a multiple of 32?
False
Let a(y) = y**3 + 3*y**2 - 3*y - 6. Let b be a(-4). Is (64/b)/(6/(-105)) a multiple of 14?
True
Let k(a) be the first derivative of a**3/3 + 9*a**2/2 + 11*a + 1. Let v be k(-8). Suppose 4*m = -3*p + 88, -v*p + m + 113 = -0*m. Is 12 a factor of p?
True
Let j be (7/((-63)/(-6)))/((-2)/(-897)). Let q = -136 + j. Is q a multiple of 25?
False
Let q(x) = 3*x**2 - 8*x - 2. Let n be q(4). Suppose 6 = n*m - 12*m. Is 10/m*21/14 a multiple of 5?
True
Let o be (-20)/2*(-5)/10. Let t(u) = 2*u**2 + 4*u - 4. Does 33 divide t(o)?
True
Let l = 143 + -96. Does 39 divide l?
False
Let f = 11 - 9. Suppose 7 = f*z - 105. Is z a multiple of 10?
False
Suppose -4*v + 84 = -2*y, -3*y - 89 = -y - 5*v. Let z(p) = -p**3 + 14*p**2 - 18*p + 18. Let t be z(13). Let h = y - t. Does 15 divide h?
True
Let b be 1/(-2) - (142/(-4) - -5). Let y = 21 + b. Is 21 a factor of y?
False
Let x = 9 + -3. Suppose 364 = 5*t - x. Suppose 57 = 2*r - 5*f, -3*r + t = r - 2*f. Is 4 a factor of r?
True
Let j be ((-9)/(-12) - 2)*(4 - 8). Suppose 3*w + 3*h - 560 = -134, -3*w + 420 = j*h. Is 13 a factor of w?
False
Let l(g) = g**3 + 3*g**2 - 3*g + 3. Let p be l(-4). Let v be ((-7)/21)/(p/87). Let y = -14 + v. Is 7 a factor of y?
False
Suppose -4 = -5*o - 3*g + 5*g, -2 = -3*o + g. Suppose -l = -4*v - 41, -4*l + 130 = -o*l + v. Is l a multiple of 11?
True
Let a be 7/(-28) - 2/(-8). Suppose 4*i + d = -135, 42 = -a*i - i - 3*d. Is 1722/33 + 6/i a multiple of 33?
False
Let j(f) = -40*f - 17. Suppose 0 = -3*z - h - 4*h + 4, 5*z - 3*h + 16 = 0. Is 63 a factor of j(z)?
True
Let f be (3/(6/32))/(4/(-34)). Let v = f + 280. Is v a multiple of 12?
True
Let j = -12 + -5. Let y = j + 10. Let s = y - -22. Is 4 a factor of s?
False
Let g be 4 + (0 - -2 - 0). Let x(d) = 9*d**2 - 2*d + 2. Let t be x(g). Suppose -7*j + t = -106. Does 15 divide j?
True
Suppose -43 = -3*v - 7. Let q = v - 9. Suppose 0 = -q*b + 18 + 33. Is b a multiple of 5?
False
Let x(g) = -3*g - 4*g**2 + 15*g**2 + 0*g + 2*g**3 - g**3 - 4. Is 13 a factor of x(-10)?
False
Suppose -2*z - 8*z + 230 = 0. Is z a multiple of 23?
True
Suppose 5*p = 5*f - 0*p - 770, 0 = -3*p - 6. Is 38 a factor of f?
True
Let d(u) = u**2 - 3*u - 6. Is d(-5) a multiple of 6?
False
Suppose -2*g = -6*g + 5*r + 388, 0 = -2*g - 5*r + 164. Let x be 8*(g/8 - -3). Let w = x - 38. Does 26 divide w?
True
Let v = 11 + -23. Let n = v - -16. Does 15 divide (0/n - 5)*-11?
False
Let k(l) = -14*l + 163. Is k(11) a multiple of 2?
False
Suppose 0*p - 2647 = -5*j - 3*p, 0 = -4*j - 4*p + 2124. Does 17 divide j?
True
Let a(n) be the second derivative of -5*n**3/2 + 4*n**2 - 10*n. Let c = -6 + 1. Does 21 divide a(c)?
False
Suppose -a + 4*a = 0. Suppose a = 4*c - 90 - 66. Is 15 a factor of c?
False
Let q be (1 - 9/(-15))*80. Let p = -76 + q. Suppose -2*d + p = 3*h, 2*d - 55 = 2*h + 17. Is 16 a factor of d?
True
Let m(a) = a**2 + 6*a - 31. Is 4 a factor of m(13)?
True
Let i(n) = 9*n - 30. Let b = -25 + 35. Is i(b) a multiple of 7?
False
Let i be (-2)/(-6) + 5/3. Suppose -o = i*s + 4, 3*s + 3*o + 12 = -0*o. Suppose -14 = -3*c + p, s*c - 4*c + 4*p = -16. Is c a multiple of 3?
False
Suppose -8 = -4*r + 4. Suppose -4*o = -r*c - o + 3, 5*o + 5 = -4*c. Suppose c = 2*b - 8, y + 3*b + 43 = 2*y. Does 11 divide y?
True
Let h = -9 - -4. Let k(x) = -2*x**3 - 9*x**2 + 6*x + 7. Let q be k(h). Suppose 4*t - 90 = -4*y - t, -q*y + 58 = -4*t. Is 19 a factor of y?
False
Let c be (-1)/(-2) - 39/(-2). Let t = c - 18. Suppose -90 = -2*j + 3*k - k, 2*k = t. Is 16 a factor of j?
False
Suppose 0 = 4*v, -5*v - 9 = 3*c - 0. Let m be ((-111)/(-2))/(c/(-6)). Suppose 2*d - m = -33. Does 11 divide d?
False
Let o(h) = -h**3 - 49*h**2 + 133*h + 45. Does 23 divide o(-53)?
True
Let b(n) = -11*n**3 - 27*n**2 - 23*n + 3. Let h(x) = 5*x**3 + 13*x**2 + 11*x - 1. Let i(y) = -6*b(y) - 13*h(y). Is i(8) a multiple of 9?
False
Let c = 2 - -11. Let k = 4 - c. Is 17 a factor of 1/(((-27)/150)/k)?
False
Let i(n) = n - 1. Let h(w) = -6*w + 3. Let u(t) = -h(t) + 2*i(t). Let m be u(5). Suppose m = 4*z - 13. Does 4 divide z?
True
Let c = -16 - -23. Let f = 28 + c. Is 9 a factor of f?
False
Suppose 14 - 24 = -5*n. Suppose 0 = -2*g - n*h + 40, -3*g + 2*h - h + 56 = 0. Let l = g - -9. Does 7 divide l?
True
Suppose -1206 = -s - 396. Is s a multiple of 45?
True
Let z(b) = -b**3 + 30*b**2 + 32*b - 1. Is z(31) a multiple of 5?
True
Suppose 3*v = 11 - 2. Let o be 10 + v*(-2)/(-6). Suppose o = -5*f - 3*y + 38, 5*y - 26 = -2*f. Is 3 a factor of f?
True
Let p(r) = -r + 116. Is p(38) a multiple of 26?
True
Let h(r) = -4*r + 40. Let u be h(9). Suppose 5*z + u*j + 0*j - 329 = 0, 3*z - 2*j = 193. Does 11 divide z?
False
Suppose -9 = 3*q, 2*t - 7*t = -2*q - 5886. Is 98 a factor of t?
True
Suppose 5*x - 5 = 0, -3*g + g + 3*x - 3 = 0. Let r(c) = c + 3. Let l be r(g). Suppose -l = -k - 4, -o + 11 = k. Does 4 divide o?
True
Is (896/(-35))/(-1*(-4)/(-30)) a multiple of 64?
True
Is (-3)/1 + 1022/(-9 + 11) a multiple of 11?
False
Let f = -18 + 22. Suppose f*a = 3*y + 63, 4 = -2*a + 4*y + 38. Does 4 divide a?
False
Suppose 0 = -13*j + 5388 + 2035. Is 86 a factor of j?
False
Suppose 4*s - 499 = 737. Is 12 a factor of s?
False
Suppose -2*h - 195 = -7*h + 3*x, -5*h + 4*x + 190 = 0. Suppose c - 16 = 4*z + 17, 2*c - h = -4*z. Is c a multiple of 5?
True
Suppose 0*b = 4*b + 20, -5*b - 1015 = -5*y. Is (y/(-30))/(1/(1 + -11)) a multiple of 11?
True
Suppose 153 = w - 177. Is w a multiple of 22?
True
Let d(j) = 169*j**2 + 152*j - 5. Is 17 a factor of d(3)?
True
Suppose -4*h + 4 = -20. Suppose 54 = h*d - 186. Is d a multiple of 4?
True
Let d(j) = 10*j**2 + 38*j - 7. Is d(5) a multiple of 19?
False
Let j = -8 + 11. Let d be (12/(-2))/j*9. Does 11 divide (-744)/d - (-2)/(-6)?
False
Suppose -3*i - 9 = 0, -3*s - 15 = -s + 5*i. Suppose 5*c = 2*n + 233, 2*c - 86 = 15*n - 16*n. Suppose s = 3*z - 27 - c. Is z a multiple of 8?
True
Suppose 0 = -3*j - 3*y + 5574, -5*j + 9292 = 30*y - 26*y. Does 15 div