 2*c + 14. Suppose -5*y + 9 = -21. Let j be b(y). Suppose j*v - 128 = -2*v. Is 8 a factor of v?
True
Let d = 6 + -8. Let t be d/8 - (-1)/4. Suppose 3*b - 192 = -t*b + 5*s, 124 = 2*b - 2*s. Is b a multiple of 21?
False
Let c(h) = -h**3 + 6*h**2 - 4*h - 1. Suppose 3*m = 4 + 11. Let b be c(m). Suppose -2*w = b*i - 86, -w + 0 = -5. Is i a multiple of 19?
True
Let k be (-39)/12 + 3 + (-1)/(-4). Suppose 4*u = -k*u + 2*w + 90, -3*u + 60 = -3*w. Is 17 a factor of u?
False
Let d(h) = -h**3 + 55*h**2 + 39*h - 90. Is d(55) a multiple of 15?
True
Let j be (-6)/(-9)*(-3 - 0). Let q be j/(-3) - 224/(-6). Is 31 a factor of q + 1 - (-15)/(-5)?
False
Let u = 57 + -102. Let b = -27 - u. Suppose 15*g - b*g + 165 = 0. Is 15 a factor of g?
False
Suppose 29164 + 360 = 44*q. Is q a multiple of 3?
False
Suppose -8*k + 4035 + 18813 = 0. Is 14 a factor of k?
True
Let q(n) = n**2 - 2*n + 3. Let x be q(2). Suppose -3*f + 171 = -x*t, 71 = 3*f + 4*t - 79. Does 18 divide f?
True
Let z(l) = l**2 + 4*l + 2. Let k be (-3)/3*(0 + 4). Let h be z(k). Let f(s) = 39*s - 7. Is 12 a factor of f(h)?
False
Let r(d) = 3*d**3 - 11*d**2 + 3*d + 21. Is 9 a factor of r(5)?
False
Suppose -i = -t + 2473 - 442, 4*i + 2043 = t. Is t a multiple of 22?
False
Let i(c) = c**2 + 19*c. Let v be i(-18). Let u = v - -52. Is 8 a factor of u?
False
Let m = -30 - -34. Suppose -25 + m = -y. Does 7 divide y?
True
Let r(w) = 6*w + 2. Let o = 2 - -2. Let x be r(o). Let t = x + 14. Is 25 a factor of t?
False
Let w(r) = -12*r**2 + 1. Let d(p) = 23*p**2 - 1. Let u(k) = 4*d(k) + 7*w(k). Is u(2) a multiple of 15?
False
Suppose 0*r + r + 6 = 0. Is 14 a factor of (-464)/(-6) - (-2)/r?
False
Let n(w) = 8*w - 17. Does 4 divide n(5)?
False
Let s be 4 + 100 - (0 + 0). Suppose -2*y = -s - 40. Suppose -3*f = -0*f - y. Is f a multiple of 24?
True
Let a(k) = -4*k**3 - 22*k**2 + 9*k - 10. Is a(-8) a multiple of 62?
True
Is ((-5040)/(-980))/(2/364) a multiple of 12?
True
Let i(s) = s**3 - 9*s**2 - 10*s + 5. Let n be i(10). Suppose -11 = -n*u - 3*r, -20 = -2*u - r + 5*r. Let w(c) = 2*c**2 + 5*c - 4. Is 7 a factor of w(u)?
False
Is 4 a factor of (3/(-2))/(18/(-1248))?
True
Let i(m) = 35*m - 12. Let j be i(3). Let v = 1 + j. Does 26 divide v?
False
Let x = -59 + 36. Let i = -9 - x. Let y = i + 2. Is 8 a factor of y?
True
Suppose -4*o + 20 = 0, 5*o + 2 - 9 = 3*l. Let w = 6 + l. Does 12 divide w?
True
Suppose -j + 0*j = -6. Suppose -4*f = 2*i - j, -2*i + 0*i = -10. Let t = 6 - f. Does 3 divide t?
False
Suppose 7626 = 5*q + i, 2*i + 15 = 17. Is q a multiple of 42?
False
Let c(x) = -79*x - 601. Does 17 divide c(-33)?
True
Let a be (-12)/(9/(-2) + 3). Suppose -7*u + a*u - 4 = 0. Suppose -4*f - 10 = f, u*i - 6 = -f. Does 2 divide i?
True
Let z = -3 - -1. Let x be 6/60*-14 - 3/5. Is x*15*z/3 a multiple of 5?
True
Suppose -35*n = -12*n - 26197. Does 29 divide n?
False
Suppose 0 = -8*g + 5*g + 15. Let a(n) = 10*n**2 - 2*n + 10. Let p be a(g). Suppose -4*u = -3*q + p, 0 = 4*u + 13 + 3. Does 15 divide q?
False
Let u = 10 + 0. Suppose 0 = 3*c - u + 4. Suppose -5*l + c*d = -54, 5*d + 33 = 2*l + 2*l. Is 4 a factor of l?
True
Suppose -2*x - 2 = 2*f, -2*x + 3*f + 3 = 2*x. Suppose 3*o - 4*o + 10 = k, 5*o + 10 = x. Does 4 divide k?
True
Let i be -21*(-1)/((-2)/2). Let j = 15 + i. Is 7 a factor of ((-2)/j)/(7/273)?
False
Let z(g) = 2*g**3 + 18*g**2 + g + 5. Let s be z(-8). Suppose 4*n + v = 519, 2*n - 5*v - s = 140. Does 26 divide n?
True
Does 18 divide 352/((-2)/9 - (-153)/324)?
False
Suppose 8*k = 3*b + 6*k - 163, 2*b = -5*k + 77. Is b a multiple of 3?
True
Let t(j) = -2*j - 13. Let s(k) be the first derivative of -2*k**3/3 + k**2 + k + 1. Let w be s(-2). Does 9 divide t(w)?
True
Let s be 14/(-28) + (-50)/(-4). Suppose 5*i - 3*q = 60, -47 - 8 = -3*i - 2*q. Let o = i - s. Is o a multiple of 2?
False
Let m = -11 + 18. Suppose -m*x + 79 = -313. Is (-780)/(-14) - (-16)/x a multiple of 27?
False
Let h = 315 + -217. Is 10 a factor of h?
False
Let u(y) = y**3 - 26*y**2 + 26*y + 8. Is 2 a factor of u(25)?
False
Suppose b + 7*t - 4*t - 20 = 0, -3*t + 9 = 0. Suppose 0 = -4*p + 3*l + 691, 5*l - b = 3*p - 532. Does 12 divide p?
False
Suppose 11*m - 13051 + 2458 = 0. Is 9 a factor of m?
True
Let k(g) = 15*g**2 - g + 2. Let v(h) = 3*h - 4. Let f be v(2). Is 17 a factor of k(f)?
False
Suppose -3*l - 10 = 14. Let i be 1539/12 + 2/l. Is 8 a factor of (i/(-12))/(1/(-3))?
True
Suppose -5*c - 13 = 2, -c - 28 = -5*p. Suppose p*n = 5*z - 5, 4*n + 3*z + 5 = 36. Is n even?
True
Suppose 0 = -d - 4*m + 1138, -d + m - 4*m + 1141 = 0. Is 4 a factor of d?
False
Let b(r) = 128*r - 148. Does 26 divide b(26)?
False
Let z(l) be the first derivative of 13*l**3/3 + 3*l**2 + 5*l + 3. Is 21 a factor of z(-4)?
True
Let f(z) = 2*z**2 + 31*z - 33. Is 7 a factor of f(-20)?
True
Let x be (-22)/4*3/((-6)/(-4)). Let u = 181 - x. Is 12 a factor of u?
True
Let x(r) = 10*r**2 + 2*r + 4. Let f be x(-5). Suppose -4*d + 208 = -f. Suppose 3*t - 1 = d. Is 16 a factor of t?
False
Suppose 0 = v - 2*s - 850, -9*v + 5*s = -7*v - 1696. Does 39 divide v?
True
Suppose 6*v - 60 = 3*t + 3*v, 0 = -5*t - 4*v - 100. Let k be (-22)/8 + 5/t. Does 11 divide (39 - 0) + 2 + k?
False
Is 11 a factor of 4/(-24) - 5020/(-24)?
True
Suppose 3*q = 4*v - 10, 3*v - 2*q + 16 = 6*v. Suppose -3*g + 5*s - 2*s + 423 = 0, -3*g + 388 = v*s. Is 20 a factor of g?
False
Let m be 8 - (-2)/(-2) - 0. Suppose g = -x + m, -3*g + x - 1 = -10. Suppose g*u - 8*u + 176 = 0. Is u a multiple of 22?
True
Suppose 5*x - 15 = 6*x. Let y be 6/x*10/(-4). Is 27 a factor of (2 + -3)*y - -28?
True
Suppose -7*k + 885 = -4*k. Suppose h = -4*p + 299, -4*p - 2*h = 3*h - k. Is p a multiple of 15?
True
Let f = 9 - 0. Suppose 0*d - f = 3*d. Let t(y) = -y**3 + 2*y**2 + 3*y - 4. Is t(d) a multiple of 7?
False
Let f = -36 + 73. Let s = 40 + -18. Let g = f - s. Does 15 divide g?
True
Let p = 1 + -4. Let z = 33 - p. Suppose -3*l + 4*c = -z, 36 = -0*l + 3*l + 2*c. Is 8 a factor of l?
False
Suppose -4*h - 5*p = -232 - 123, -2*h + 2*p + 200 = 0. Suppose h = -7*g + 403. Is 10 a factor of g?
False
Let n(l) = -l**3 + 31. Suppose -2*k - 3*k - 20 = 0. Let g(i) = i**2 + 4*i. Let x be g(k). Is 31 a factor of n(x)?
True
Let x(c) = c**2 + c + 4. Let r be x(-9). Suppose -4*h - 83 = -5*p, 5*p - 2*h - r = 13. Suppose -5*v = -2*y + p, 4*y + 2*v + 4 = 30. Is 4 a factor of y?
False
Let w(d) = 2*d**3 + 6*d**2 - 3*d - 3. Let m be w(-5). Is 6/(m/(-20) + -4) a multiple of 3?
True
Let h(g) = -248*g + 81. Is h(-4) a multiple of 37?
True
Let r(b) = -81*b**3 - 2*b**2 + 10*b - 5. Let j(v) = 41*v**3 + v**2 - 4*v + 2. Let u(z) = 5*j(z) + 2*r(z). Suppose 4*f - 1 = 3*f. Does 22 divide u(f)?
True
Let i(m) = 3*m**2 + 4*m + m - 2*m + 4. Let o = 8 - 5. Is 9 a factor of i(o)?
False
Suppose -11*a = 560 - 2672. Is 13 a factor of a?
False
Let f = 710 - 21. Is f a multiple of 13?
True
Let x be (-930)/(-18) - 4/6. Suppose 3*z - x = -192. Let m = z + 67. Is m a multiple of 9?
False
Suppose 2*s - 3*m - 402 = 0, -2*s - 4*m + m = -414. Is 12 a factor of s?
True
Suppose -4*s - 384 = -5*p, 0 = -3*s - 2*p - p - 288. Let a = s + 170. Is 37 a factor of a?
True
Let m(i) = 536*i**3 + i**2 + i. Let x(a) = -a**2 - 3*a - 1. Let d be x(-3). Let y be m(d). Is (y/(-20))/(4/10) a multiple of 13?
False
Let s = 0 + 19. Suppose 11*x - s*x = -856. Is 20 a factor of x?
False
Suppose 5*w = 5*x + 10745, 0 = -2*w + 5*x - 7*x + 4278. Does 16 divide w?
True
Suppose 0 = 5*g, -6*g + g = -2*x + 2. Is 35 + (12/x)/4 a multiple of 12?
False
Let l(r) be the first derivative of -r + 6 + 1/3*r**3 + 5*r**2. Does 16 divide l(-14)?
False
Let x be (-170)/4*(-56)/140. Let u(g) = -g**3 - 3. Let d be u(0). Is 13 a factor of (x/4)/(d/(-24))?
False
Let k(l) = -l**2 + 10*l + 13. Let s be k(11). Suppose -4*z = -3*u + 93, 3*z = -s*u + u + 18. Is u a multiple of 9?
True
Suppose -6*w + 2*w + 64 = 0. Let x(y) = 8*y - 17. Is 16 a factor of x(w)?
False
Suppose 4*r - 3*m - 5301 = 0, 3*r - 4603 = 5*m - 630. Does 63 divide r?
False
Let s(b) = 10*b**3 + 3*b**2 - 2. Let n = -9 - -11. Let m be s(n). Suppose -7*f + 12*f = m. Is 7 a factor of f?
False
Let y be 1/(-1 - 2 - -4). Is 41 a factor of 2/16*y - 5901/(-24)?
True
Let v(p) be the second derivative of p**5/20 - p**4 + 2*p**3 + 9*p**2/2 + 8*p. Does 5 divide v(11)?
True
Let c = -5 + 3. Let r(l) be the seco