 d(l) = 2*l**3 + 9*l**2 - 4*l + 122. Is 22 a factor of d(0)?
False
Suppose 447 = -14*z + 1553. Let s(i) = 3*i**2 - 2*i - 1. Let w be s(-6). Let t = w - z. Does 20 divide t?
True
Let j(a) = 7*a**3 - 5*a**2 + 6*a. Let q be j(3). Let n = q + -118. Is 4 a factor of n?
True
Let z = -16 - -52. Suppose p = -p - z. Is 8 a factor of 4/p - 74/(-9)?
True
Let z(t) be the second derivative of t**4/12 + t**3/3 + 5*t**2/2 + 2*t. Let k(n) = -1. Let r(u) = -3*k(u) + z(u). Does 16 divide r(-6)?
True
Let t(h) = 17*h + 31. Does 8 divide t(24)?
False
Let j = -166 - -243. Is j a multiple of 5?
False
Suppose -65*y = -44*y - 41202. Does 29 divide y?
False
Let q(g) = g**3 - 6*g**2 + 2*g - 6. Let i be q(6). Let c(d) = 16*d - i*d**2 - 3 + 2*d**3 - 8*d - 7*d. Is c(4) a multiple of 11?
True
Suppose 5*g + d + 3*d = 21, 16 = 4*d. Let c = g - -1. Suppose y + 15 = c*y. Is y a multiple of 5?
True
Suppose -5*n + 11 = 1. Suppose 0 = n*g + 3*s + 15, g - 5*s + 1 = -0*g. Does 17 divide (-2)/g*(-6 + 189)?
False
Let b = 650 + 646. Is b a multiple of 39?
False
Suppose 4*w - 2*u + 5 = 3*w, 0 = -5*w - 5*u + 5. Let z be ((-1)/w)/(9/27). Suppose -4*g + 35 = -z*d - 12, 5*g - 50 = 2*d. Is 4 a factor of g?
True
Let i(z) = z + 1. Let t(c) = 10*c - 29. Let m(k) = -2*i(k) + t(k). Is 11 a factor of m(10)?
False
Is (1 - -5) + (-1)/((-16)/10144) a multiple of 20?
True
Let z be 2 + -3 + 2/1. Let i = 49 - z. Let p = i + -34. Is p a multiple of 5?
False
Let n(f) = -2*f**2 + 13*f - 18. Let c be n(4). Suppose -3*o - 2*s = -172, 0 = -3*o - c*o + 3*s + 274. Is o a multiple of 8?
True
Let m be (-22)/(-5)*(-1 - -11). Suppose -4*l + 68 = 3*p + p, 2*l + 4*p = m. Does 6 divide (-9)/l - (-62)/8?
False
Suppose 0 = -8*q + 42 - 218. Is 1130/18 + q/(-18) + -1 a multiple of 21?
True
Suppose -3*h + 3 = -2*y, y + 4*h - 4 = 5*y. Suppose y*l - 7*l + 511 = 0. Is 16 a factor of l?
False
Let k = -48 + 34. Let t = 18 + k. Suppose -5*o = -4*q + 244, 0*q + 128 = 2*q - t*o. Is q a multiple of 20?
False
Suppose -4*h + 31 = -o + 180, 2*h + 568 = 4*o. Is 5 a factor of o?
False
Let x(m) be the second derivative of m**4/12 + m**3/2 - 13*m**2 + 23*m. Is x(-13) a multiple of 13?
True
Suppose -5*i = 2*w - 707, -4*w - 351 = -5*w - 2*i. Is 11 a factor of w?
True
Is 37 a factor of (2 + 10/(-4))/(78/(-266916))?
False
Let a(m) = 58*m**2 - 2*m - 3. Let c be a(-1). Suppose 0 = 5*x + i - 339, -x + 4*i = -15 - c. Is 68 a factor of x?
True
Suppose -3*p + 16 = 7. Suppose 0*k = k - 45. Suppose -2*n + 5*v + k = p*n, -3*v - 9 = -n. Is n a multiple of 3?
True
Suppose -10*l = -3*l - 154. Suppose 0 = h - 3*w - 6, 0*h + 2*h - 4*w = l. Does 10 divide h?
False
Let h(j) = 13*j**2 - 274*j + j**3 + 2 + 268*j + 11. Is 14 a factor of h(-12)?
False
Let l be -64 + (3 - (9 - 4)). Does 33 divide 1/(263/l - -4)?
True
Let m(x) be the second derivative of x**3/6 - x**2 + 2*x. Suppose -2*b - 6*h = -7*h - 24, 0 = 3*b + 4*h - 25. Is m(b) a multiple of 3?
True
Let g = 19 + -20. Let z(h) = -11*h**3 - 2*h**2 + 1. Is 9 a factor of z(g)?
False
Let k(f) = 6*f**3 + 2*f**2 + 16*f - 17. Let y(n) = -n**3 - n**2 - n + 1. Let g(o) = k(o) + 5*y(o). Is g(6) a multiple of 18?
True
Suppose 3*d + 468 = 6. Suppose -4*c + 1114 = 2*y, -y + 4*y - 1111 = -4*c. Let q = c + d. Is 38 a factor of q?
False
Suppose 3*x = 2*x. Let q be x*(3 - 8/3). Suppose 4*w + 50 = -q*g + g, -2*g + 2*w + 88 = 0. Is g a multiple of 12?
False
Let v be ((-10)/(-25))/(2/270). Does 8 divide (-9)/v - 986/(-12)?
False
Let c(a) = a**2 + 480. Let s be c(0). Suppose 3*h - s = -h. Does 24 divide h?
True
Suppose -2*p + 88 = -5*u - 0*u, 5*p = 4*u + 203. Let o = p + -31. Is 8 a factor of o?
True
Let f = 487 - -362. Is f a multiple of 18?
False
Suppose 44*s = 43*s + 180. Is s a multiple of 36?
True
Let m be (-1748)/(-4) - (-16)/4. Suppose -4*r - 129 = -m. Is 13 a factor of r?
True
Suppose 5*u = -4*f - 14, -2*u - 1 = -2*f + 1. Let p(b) = 14*b - 1. Let x be p(u). Let r = -19 - x. Is r a multiple of 5?
True
Let k(q) = 51*q + 319. Is 38 a factor of k(14)?
False
Suppose -h = -0*h + 3. Let n = 56 - h. Let a = 0 + n. Does 12 divide a?
False
Let n(x) = 2*x - 4. Let t(f) = f + 10. Let l be t(-5). Suppose l*y - 8 - 12 = 0. Does 2 divide n(y)?
True
Let r = -26 - -29. Suppose 0 = -c + r*c. Suppose c = -8*j + 10*j - 130. Does 13 divide j?
True
Let h(y) = -y**2 + 16*y - 13. Let v be h(6). Let a = v + 15. Does 18 divide a?
False
Suppose -u + 0*u + 3 = 0. Suppose 0 = 3*h - u, 0 = c - 2*h + 10. Is (-38)/c*24/3 a multiple of 14?
False
Let s = -183 - -673. Is s a multiple of 49?
True
Let z(n) = n - 4. Let i be z(4). Suppose c - 3*c - 4 = i. Is 8 a factor of (3 - 1)*(-15)/c?
False
Let h = 26 + 15. Suppose -36*q - 20 = -h*q. Does 4 divide q?
True
Let p = -19 - -23. Suppose 4*i = -16, 0 = p*d + i - 749 + 177. Is d a multiple of 24?
True
Does 10 divide -1*2 - (4208/(-4))/1?
True
Suppose -330 - 1718 = -8*j. Is j a multiple of 16?
True
Let n = 180 - 119. Let s = -1 - -6. Suppose -n = -s*a - r, 0*a + r + 17 = a. Is a a multiple of 6?
False
Suppose -2*f - 8 = 6. Let q = 9 + f. Suppose -2*c + q*j + 62 = -32, 3*c - 143 = 4*j. Does 15 divide c?
True
Let i(j) = 8*j**3 - 9*j**2 - 19*j - 8. Let f(g) = 4*g**3 - 5*g**2 - 10*g - 4. Let p(y) = 5*f(y) - 3*i(y). Is 11 a factor of p(-4)?
True
Suppose 16*h - 13952 = 8*h. Is h a multiple of 31?
False
Let o(x) = 2*x**3 - 9*x**2 - 11*x + 6. Let k be o(9). Suppose v = -2*j - 3*j + k, -2*j - 2*v + 256 = 0. Is 15 a factor of j?
False
Suppose -3*g - k + 1126 = 102, 0 = -4*g + 3*k + 1348. Is 17 a factor of g?
True
Let m be 0 + (20/70 - 159/(-7)). Is 16 a factor of (3 - m)*((-15)/2)/3?
False
Let m(g) = 316*g**2 - 10*g + 9. Is m(1) a multiple of 7?
True
Let b = -133 - -1583. Is b a multiple of 21?
False
Let h = 633 + 951. Does 12 divide h?
True
Let s(a) = -a**3 - 9*a**2 - 4*a + 10. Let u be -3 + 24/(-4)*1. Let i be s(u). Suppose -r - 4*z + 35 = 0, -i - 17 = -r + 3*z. Does 17 divide r?
True
Let a(s) = 12*s + 974. Does 67 divide a(0)?
False
Let g(f) = -361*f + 137. Is 62 a factor of g(-6)?
False
Suppose -9*g = -263 - 1258. Is g a multiple of 6?
False
Let l(x) = 2*x**2 - 21*x - 87. Is 19 a factor of l(-7)?
False
Suppose 0 = -4*i - 4, 4*i = 14*c - 18*c + 6632. Does 8 divide c?
False
Let z(b) = b**3 - 2*b**2 - 4*b - 2. Let d = 3 - -1. Does 6 divide z(d)?
False
Let x be 169*(-4)/2*3/(-6). Let c = x - -101. Does 18 divide c?
True
Let c(y) be the first derivative of -14*y**2 - 3*y + 11. Does 6 divide c(-2)?
False
Suppose 0 = 5*f - f - 20. Suppose d = f*d - m - 686, -4*m = 2*d - 352. Does 11 divide d?
False
Let u(s) = s**2 - 2*s. Let b be u(-1). Suppose 3*j = 5*x - b*x - 13, 3*x = -2*j. Suppose 2*p + 5*f = 8 + 77, 2*p = -x*f + 70. Is 10 a factor of p?
True
Let q = 0 + 2. Suppose -q*u = 151 + 17. Let a = u + 147. Does 21 divide a?
True
Suppose 8*b + 22 = 6. Is 18 a factor of 3 - (-2)/b - 1988/(-14)?
True
Suppose -x - 2 = 3, -2816 = -2*m + 2*x. Is m a multiple of 23?
True
Does 3 divide ((-8)/(-16))/((-361)/(-120) - 3)?
True
Suppose 0 = -2*f - 3*x - 10, 2*x + 2 = -4*f - 2. Is (69 - 0) + (-4)/2*f a multiple of 13?
False
Suppose -65*j - 320 = -63*j. Let o = -20 - j. Is 35 a factor of o?
True
Let d(w) = -w**3 + 14*w**2 - 9*w + 17. Let s be d(13). Suppose 10*l - 5*l - 120 = 5*k, 2*l + 5*k - s = 0. Does 21 divide l?
False
Suppose -24*a + 48*a - 12480 = 0. Does 14 divide a?
False
Let x = 13 - -2. Let b = x - 10. Suppose -4*t + 133 = 5*o, 2*t - b - 24 = 5*o. Is 17 a factor of t?
False
Let g be (-3 + 644/(-20))*-5. Let f = 300 - g. Is f a multiple of 31?
True
Suppose 3*f = -2*f + 20. Let q be 19/((-627)/(-22)) - (-643)/3. Suppose -q - 137 = -f*k. Is 22 a factor of k?
True
Suppose -5*j = 0, -4*j + 2 = u - 0*u. Suppose 4*k - u*k - 56 = 0. Suppose -4*n + 44 + k = 0. Is n a multiple of 9?
True
Let g = 205 - -40. Is 7 a factor of g?
True
Suppose -419 = -45*q + 12631. Does 5 divide q?
True
Let h = -19 + 19. Suppose -a + h + 3 = 0. Suppose -l = -4*t - 56, 4*t = -a*l - t + 236. Is 14 a factor of l?
False
Suppose 3*p + 1 - 7 = 0. Suppose -121 = -p*d - 3. Let f = -33 + d. Is 13 a factor of f?
True
Let h(c) = -2*c + c**2 - 3 - 3 - 3. Let x = 11 - 6. Is 6 a factor of h(x)?
True
Let u(w) = -2*w**3 - 6*w**2 - 9*w + 7. Does 10 divide u(-7)?
False
Suppose -h = 5*m - 8909, 4*m - 4851 = -4*h + 2273. Does 11 divide m?
True
Does 30 divide 4501/7 + (1 - -6)?
Fa