(a) = -4*a**2 + 16*a + 4. Let g be b(4). Suppose -112 = -4*p + 2*u, -3*p + 45 + 33 = -3*u. Suppose g*x = x + p. Is x a multiple of 8?
False
Let j = -20 + 56. Let t(s) = -4*s + j*s**2 - 1 + 16*s**2 + 5*s + 4*s**2. Is t(1) a multiple of 8?
True
Suppose -4*y + 10*y - 18 = 0. Let t(n) = 0 + 97*n**2 + 2 + n + y - 6. Is 13 a factor of t(1)?
False
Let h(g) = 6*g**2 + 5*g - 11. Suppose -4*q = -5*l + 7*l - 8, -3*l + 12 = -2*q. Does 8 divide h(l)?
False
Let b(t) = -t**2 + 2*t + 143. Does 10 divide b(9)?
True
Let p(b) = 2*b**3 - 3*b**2 - 3*b - 3. Suppose -10 = -2*q, 0 = 2*m - 7*m + 5*q - 50. Let a = 8 + m. Is p(a) a multiple of 5?
True
Suppose -2*a - 3*f = -6*a + 571, -2*a - 4*f = -258. Is a a multiple of 8?
False
Let y(l) = -5*l**2 + 5*l + 16. Let f be y(-9). Let u = 689 + f. Is 40 a factor of u?
False
Let y(m) = -m + 16. Let c be y(14). Let b be c*(1 - 2 - -3). Suppose -b*l = -16, 5*u + l - 4*l - 403 = 0. Does 25 divide u?
False
Let g = -43 + 122. Let w(l) = l**3 - 3*l**2 + 5*l + 2. Let p be w(4). Let o = g - p. Does 26 divide o?
False
Let h(j) = 15*j**2 + j. Let t = 8 - 0. Let q be 1/((-4)/t*2). Is h(q) a multiple of 7?
True
Let k(q) = 16*q + 6. Let n be k(3). Suppose 5*g - n = 411. Suppose -g = -5*w + 182. Does 31 divide w?
False
Is 22 a factor of 56/7 + 0 + 273?
False
Is 36 a factor of (-12089)/(-56) + 2/16?
True
Suppose 0 = -3*k - k. Let y be (k - 9 - -2) + -3. Let s(b) = b**3 + 10*b**2 - b + 3. Is s(y) a multiple of 9?
False
Let h be 135/63 - 3/21. Does 17 divide (h/1 - 14)/(4/(-40))?
False
Suppose 0 = b + 5 + 2. Let t = b + 10. Suppose -t*k + 102 = 4*z - 3, 2*k + 66 = 3*z. Is 9 a factor of z?
False
Suppose -3*z - 3*c + 990 = 0, -5*z - 2*c = -1075 - 560. Does 70 divide z?
False
Suppose 0 = 5*x + i - 664 + 45, 5*x + 5*i = 635. Let u = 183 - x. Does 12 divide u?
True
Is 4/26 - 596120/(-728) a multiple of 7?
True
Let d be (63/14 - 5)*0/1. Suppose 3*w - 70 - 59 = d. Does 9 divide w?
False
Suppose 2*a - 3*c = 183, -3*c - 483 = -5*a - 4*c. Is 12 a factor of a?
True
Let j be 574/3 - 6/(-9). Suppose d = 9*d - j. Is d a multiple of 13?
False
Let m(n) = 2*n**3 + 7*n**2 - n - 13. Is m(4) a multiple of 7?
False
Let a be (7 + -1)*(-1)/3. Let k be 6*(a + (-21)/(-9)). Suppose 4*v - 5*m = 323, -4*m + 330 = 4*v - k*m. Does 21 divide v?
False
Suppose -2*q - 2*q + 20 = 0. Suppose -5*m - 28 = o + 15, q*o = -4*m - 152. Let n = -4 - o. Does 6 divide n?
True
Suppose 29 + 38 = 3*f - 2*j, 5*j + 87 = 4*f. Is 4 a factor of f?
False
Suppose -52*c + 126 = -46*c. Suppose 0 = -5*h + 15, -3*h + 14 + 10 = 3*b. Suppose b*s - 9 = c. Is s a multiple of 6?
True
Suppose -24*f + 27*f = 1653. Suppose -3*x = 173 - f. Does 18 divide x?
True
Let x(p) be the third derivative of -79*p**6/40 + p**5/30 + p**4/12 + p**3/6 + 2*p**2. Is x(-1) a multiple of 36?
False
Let m = 6 - 0. Let n be 26/m - 2/6. Is 12 a factor of (6/n)/(2/60)?
False
Suppose -1 = w, 3*x = 2*w + w - 411. Is (x/(-8))/(9/60) a multiple of 23?
True
Suppose 8 - 26 = -5*b - 4*g, -3*b = -4*g + 2. Does 5 divide (-9)/b*(-4 - (-24)/18)?
False
Let f(q) = q**2 + 11*q - 2. Let j be f(-12). Let c(t) = -t**3 + 10*t**2 + t - 6. Let w be c(j). Suppose -3*m - 29 - 140 = -w*d, d + m = 44. Is 8 a factor of d?
False
Let y(s) = s**3 + 10*s**2 - s - 9. Suppose 0 = -0*q + q + 8. Let h be y(q). Suppose -4*f + h = 31. Is 8 a factor of f?
True
Is (-5922)/(-9) - 63/9 a multiple of 48?
False
Let g(h) be the second derivative of h**4/4 + 10*h**3/3 - 4*h**2 + 19*h. Does 19 divide g(-9)?
False
Suppose -v + 137 = -199. Suppose -z - 3*z + v = 0. Does 21 divide z?
True
Let i(j) = 27*j**3 + 3*j**2 - 2*j + 1. Let s be i(2). Let o be (6/(-2) - -2)/((-1)/3). Suppose -s = -o*z + 9. Does 21 divide z?
False
Suppose 3*s + k - 111 + 7 = 0, -3*k - 192 = -5*s. Is 33 a factor of s?
False
Suppose 3*p + 3*j - 1254 = 0, 4*p - j - 527 = 1130. Is 7 a factor of p?
False
Suppose 6*u = 2200 - 412. Suppose -2 = -4*l - u. Let q = -14 - l. Is 15 a factor of q?
True
Let n(t) = 6*t**2 + 2*t**2 + 4*t**2 - 7 + 2*t + 5. Let p be n(-3). Suppose -q = 3*g - 0*q - 142, 2*q = 2*g - p. Does 16 divide g?
True
Let x(u) = -u**2 + 50*u - 61. Is 11 a factor of x(31)?
True
Suppose 0 = -31*v + 1909 + 1904. Does 11 divide v?
False
Suppose 2*x - 6 = 12. Let i be 1*9/(x/4). Suppose -3*k = 4*b - 15, -k + 39 = 2*k - i*b. Does 2 divide k?
False
Let i = 203 - -2355. Is 23 a factor of i?
False
Suppose 2*t = -2*d + 470, -d = -5*t - 57 - 208. Is 10 a factor of d?
True
Let q(l) = -l + 5. Let u be q(12). Let t be 2/(-4)*6*1. Let c = t - u. Is 4 a factor of c?
True
Suppose -4*h + 8 + 0 = 0. Let s be 12/4 - (-4)/h. Suppose -3*c + 3*p - 50 = -s*c, -2*p = 5*c - 114. Is 11 a factor of c?
True
Let r = -3 + 199. Is r a multiple of 28?
True
Let z be ((-66)/77)/(1/(-21)). Let i = z - 15. Suppose -20 = -i*f + 25. Is 15 a factor of f?
True
Suppose 5*l = -b + 81, -46 = -3*l + 4*b - 2. Suppose -3*j - j - l = 0. Let d(w) = -17*w + 2. Does 19 divide d(j)?
False
Suppose -14*u = -15*u + 48. Let d = -6 + u. Does 7 divide d?
True
Let j(i) = 64*i - 13. Let y(p) = 96*p - 19. Let k(f) = 7*j(f) - 5*y(f). Suppose 0 = 5*u - 2*u + 9. Does 18 divide k(u)?
False
Suppose 0*r - 5 = 2*u + 5*r, -2*u - 3*r = 3. Suppose 5*x - 10 = -u*x. Suppose q - 4 = -4*z, 2*z = -x*q - 0*z + 38. Is q a multiple of 7?
False
Let w = 2138 + -1438. Suppose p - 140 = -0*p + 2*j, 4*j = -5*p + w. Is 28 a factor of p?
True
Suppose -b + 6*p - p = -744, -5*b + 3633 = 4*p. Is 21 a factor of b?
False
Suppose -3*j - 345 = -2*u + u, -2*u + 5*j + 691 = 0. Is 29 a factor of u?
True
Suppose 8 = -2*n, -3*x = -4*x - 4*n + 2. Let r(u) = u**2 - 19*u - 5. Let f be r(x). Let v = 58 + f. Is 7 a factor of v?
True
Suppose -4*a = -4, -4*w + 0*w - 4*a + 12 = 0. Is 33 a factor of (-4)/8*(-112 + -1)*w?
False
Suppose 0 = 3*h + f - 44, f - 2 = -3. Suppose 5*z = h + 5. Suppose z*d = 3*d + 10. Does 3 divide d?
False
Suppose -3*q + q = -4*h + 388, -4*q - 479 = -5*h. Is h a multiple of 9?
True
Let w = 28 - -176. Is 12 a factor of w?
True
Let j(a) = 19*a**2 + 3*a - 4. Let y(o) = -5*o - 15. Let l be y(-5). Let d be (-25)/l*(-12)/15. Is j(d) a multiple of 13?
True
Let h(u) = 9*u - 6. Suppose -24 = -5*c + 6. Is 24 a factor of h(c)?
True
Let w(l) = l**3 + 5*l**2 + 4*l + 1. Let x be 5/(((-6)/2)/(-3)). Suppose 4*o - 4*s = -9 - 3, 3*o + 9 = -x*s. Is 7 a factor of w(o)?
True
Let x = -477 + 747. Is x a multiple of 21?
False
Let v be (6/8)/((-3)/(-8)). Let o(k) = 6*k + 7*k - 14*k + 5 + 6*k**v - 4*k**2. Is o(3) a multiple of 10?
True
Suppose 2 = -4*y - 2*u, -u - 15 = 2*u. Is 2 a factor of (11/y)/(16/32)?
False
Let u(r) = -258*r**3 - 2*r**2 + r. Let h be u(1). Let z be 12/(-16) - h/4. Is 16 a factor of z/(-12)*(-45)/6?
False
Suppose -2*y + 0*y - 2*g + 16 = 0, y - 4 = 3*g. Suppose -m + y*v - 2*v - 19 = 0, -3*m = -3*v + 21. Let a = 15 + m. Is a a multiple of 5?
False
Let z(a) = 2*a**2 - 8*a + 136. Let h(q) = 3*q**2 - 12*q + 204. Let w(d) = -5*h(d) + 8*z(d). Is 34 a factor of w(0)?
True
Let p(w) = 3*w**2 + w**2 - 3*w**2 - 6. Let b be p(8). Suppose x + 2*x = -5*g + 92, 3*g - x - b = 0. Does 8 divide g?
False
Let g(j) = 12*j - 49. Let l(t) = 6*t - 24. Let i(w) = -2*g(w) + 5*l(w). Is i(7) a multiple of 4?
True
Suppose 2*v + 2*k - 4 = 0, 0*k + 3 = -3*k. Let j(s) = -s**v + 4*s - 3*s**3 - 3*s - 1 - 3*s**2 - 2*s. Is j(-2) a multiple of 12?
False
Let p = 67 + -168. Let f = p + 144. Is f a multiple of 30?
False
Suppose 3*b = 0, -2*n = -5*n + 5*b - 852. Let f = -167 - n. Does 13 divide f?
True
Let o(z) = -7*z**2 - 3*z - 15. Let c(l) be the third derivative of l**5/15 + l**4/24 + 4*l**3/3 + l**2. Let s(j) = -5*c(j) - 3*o(j). Is 2 a factor of s(-5)?
True
Let a = -21 - -15. Let g be a/27 - (-76)/18. Suppose g*c - f - 96 = 0, -4*c = 5*f - 57 - 39. Does 12 divide c?
True
Let t be (0 + 1 - 5) + 2. Let z be ((2 + t)/2)/1. Suppose 3*r = -5*f - z*f + 58, 4*r + 3*f = 81. Does 6 divide r?
False
Let u = 296 + -76. Suppose 0*b = -4*b + u. Does 19 divide b?
False
Let s(g) = -100*g - 113. Does 12 divide s(-6)?
False
Let q(s) = -s + 10 + 12 + s + 2*s. Let l be q(-9). Suppose b - y = 7, -3*b + 9 = -y - l. Is b even?
False
Suppose 5*l = 3*q + q + 610, -2*q + 244 = 2*l. Is l a multiple of 15?
False
Suppose -5*b - 16 + 6 = 0. Is 12 a factor of -1*157/(-3) + b/6?
False
Suppose 146*r - 152*r = -12. Suppose 0 = 2*l - 1 - 21. Suppose -r*n