s 21 a factor of f(19)?
False
Let b = -104 + 94. Let a(g) = g + 26. Is 8 a factor of a(b)?
True
Let i(a) = -a**3 - 4*a**2 - 5*a + 13. Is 5 a factor of i(-7)?
True
Let s be 2632/6 + 2/(-3). Suppose -3*c + s = g, 5*c - 146 = 4*c + 2*g. Is 6 a factor of c/8 + 1/(-4)?
True
Let p be 1*(-4)/(-2) - (-48 - -42). Let x(s) = -s**3 + 10*s**2 - 2*s - 13. Is 18 a factor of x(p)?
False
Let n(f) = -85*f - 515. Is 79 a factor of n(-20)?
True
Let h(a) = -70*a - 27. Let k be h(-6). Let n = k + -246. Is n a multiple of 19?
False
Let d = 22 - 10. Suppose -d = -3*x - i, i - 3 - 13 = -4*x. Let a = x + -1. Is a even?
False
Does 4 divide -6 + (0 - (-1 - 0)) - -100?
False
Suppose -4*o - 3*g + 1352 = 0, -2028 = -6*o - 3*g + 4*g. Does 26 divide o?
True
Let l be (1 + 0/3)*3. Suppose -2*t = 2*d - l - 1, 4*d = -t + 17. Suppose -83 = -2*x - 3*f, 4*x - 2*f = -d*f + 181. Is x a multiple of 12?
False
Let s = -166 - -168. Suppose 283 = 2*h - v, -3*v - 273 = -s*h - 0*v. Is h a multiple of 18?
True
Let g be (-6)/(-10) + (-726)/(-15). Suppose -i = -g - 1. Is i a multiple of 25?
True
Let s(g) = g**3 + 5*g**2 + 4*g + 3. Suppose 27 = -4*r - 4*i - 13, 0 = -5*r + 4*i - 23. Let p = r - -4. Does 9 divide s(p)?
True
Suppose -66 = 2*o - 76. Suppose -5*f + 5*x + 145 = 0, -o*f - 6*x = -4*x - 110. Is 8 a factor of f?
True
Does 6 divide ((5 + -1)*13)/(482/723)?
True
Suppose 1492*w = 1502*w - 14740. Does 67 divide w?
True
Suppose -4*m = -0*m + 12. Is 9 a factor of 0*m/15 + 81?
True
Suppose 4*f = -3*b + 446, -3*b + 0*f + 452 = -2*f. Let h = 12 + -1. Suppose 5*n = 5*z + b, 0 = n + 4*z - h + 1. Is 12 a factor of n?
False
Let i = 41 + -45. Does 22 divide (-30)/(86/(-20) - i)?
False
Let y be ((-8)/12)/(3/(-27)). Suppose 5*p = y*p. Does 19 divide (-66)/(p - (-3 - -4))?
False
Suppose -4*a + a + 709 = -q, a = -2*q + 241. Let v = -161 + a. Is 38 a factor of v?
True
Let t(f) = -1 + 3 - f**2 - 2 - 12*f + 10. Let y be t(-18). Let g = -53 - y. Is g a multiple of 9?
True
Let q = -970 - -1074. Is q a multiple of 4?
True
Suppose -981 = -6*w + 2745. Is 69 a factor of w?
True
Let f(o) = o**3 - 8*o**2 + 2*o - 8. Let g be f(8). Suppose -3*b - 35 = 2*t, 0 = -b - 0*t + 3*t - g. Let p = 33 - b. Is p a multiple of 22?
True
Suppose 28*y - 3798 = 19*y. Is 6 a factor of y?
False
Let a(z) = z**2 - 12*z + 14. Let x(v) = -12*v - 2. Let l be x(-1). Let u be a(l). Does 7 divide (-11)/33 - 98/u?
False
Is 65 a factor of ((-4)/(-24) - 616/(-48))*350?
True
Let q be (1 + 20)/(-24 + 23). Let u = 100 + -55. Let i = u + q. Is 8 a factor of i?
True
Suppose -83 = 4*v + 145. Let f = -3 - v. Is f a multiple of 9?
True
Let l(h) = h**3 + h**2 + 31*h + 37. Does 57 divide l(8)?
False
Let n = 1198 + -568. Is 18 a factor of n?
True
Suppose 0 = q - 2*x - 29 + 15, 2 = 3*q + 4*x. Is 3 a factor of q?
True
Let s = -28 - -19. Let r(f) = f**2 + 3*f - 7. Is r(s) a multiple of 4?
False
Let c(v) = v**3 + 14*v**2 + 20*v + 23. Is 15 a factor of c(-12)?
False
Is ((-40)/(-100))/((-2)/(-170)) a multiple of 3?
False
Let d be 20/8 + 3/(-2). Is 7 a factor of d/(180/175 + -1)?
True
Let n(m) = 4*m + 3 - m + m. Suppose 7*z - 5 = 16. Is 10 a factor of n(z)?
False
Let i be 3*((-8)/6 - -1). Let l be 5 + -3 - (-22)/i. Let d = -8 - l. Does 4 divide d?
True
Suppose -1770 = -5*k - 2*g, -4*k + 3*k - 5*g + 377 = 0. Is k a multiple of 44?
True
Suppose 3*n - 3*z = 10974, 77*n - 78*n - 4*z = -3648. Is 8 a factor of n?
True
Let o(t) = -119*t. Let v be o(1). Let m = -65 - v. Suppose 0*a = 3*a - m. Is a a multiple of 15?
False
Let r be (-9)/18 + (-2)/(-4). Suppose -5*k + 463 - 23 = r. Does 41 divide k?
False
Let u = 12 - 10. Suppose -1 = -h + u*t + 3, -2*h = -5*t - 9. Suppose -3*m + 4*r + 25 + 54 = 0, 97 = 5*m + h*r. Is m a multiple of 7?
True
Suppose 51*r = 24*r + 891. Does 4 divide r?
False
Let t(k) = k**3 - 6*k**2 - 17*k - 9. Does 75 divide t(12)?
False
Suppose -10*c + 677 = -383. Does 8 divide c?
False
Let k(r) = -4*r - 9. Suppose 15 = 3*n + 2*n. Suppose -4*d - 8 = -n*d. Is k(d) a multiple of 23?
True
Suppose 5*z - 4061 = 209. Is 26 a factor of z?
False
Let l be (1 + 2/2)*90/(-60). Does 15 divide 3 - (0 + l)*19*1?
True
Suppose y + 3*j - 53 = 0, -6*y + 5*j + 205 = -y. Does 11 divide y?
True
Let a(d) = -d + 15. Suppose 2*x = -4*t + 28, -16 = -x - 2*t - t. Let w be a(x). Suppose w*v - 5*r - 241 = -76, 4*v - 2*r - 136 = 0. Does 12 divide v?
False
Suppose -p + 4*m = 37, 5*p + 66 = 2*m - 47. Let c = 26 + p. Suppose -c*j = -5*r - 180 - 215, -j + 83 = -5*r. Does 26 divide j?
True
Suppose 5*c - 62 = -2*g, 0*g - 2*g + 2*c = -34. Suppose b = -4*w - 109, -2*w - 16 = -3*b + 35. Let h = g - w. Is h a multiple of 12?
True
Does 37 divide (2/2)/(-2 + 1334/666)?
True
Let t(m) = -11*m**3 + m**2 - 4*m + 3. Let x be t(2). Let s = 128 + x. Is s a multiple of 15?
False
Suppose -254*u = -256*u + 700. Is 25 a factor of u?
True
Let i(k) = 173*k - 145. Is 11 a factor of i(3)?
True
Suppose 2*j = 493 + 1581. Does 61 divide j?
True
Let w(f) = -f**2 + 9*f + 13. Let n be w(10). Suppose -9*p = -n*p - 444. Is p a multiple of 36?
False
Let z(w) = w**3 - 5*w**2 + 6*w - 2. Let v be z(3). Let s be v/(-3)*-15*-70. Suppose i = -6*i + s. Is i a multiple of 25?
True
Let h = 863 - 753. Is 2 a factor of h?
True
Let h(k) be the second derivative of -k**3/2 + 33*k**2/2 - 5*k. Does 11 divide h(-13)?
False
Suppose 5*u - 141 = -2*l + 1342, -3*u - 1523 = -2*l. Does 16 divide l?
False
Let d(i) = 2*i**2 - 22*i + 21. Let f be d(15). Suppose 0 = 7*v - 4*v - f. Is v a multiple of 13?
False
Suppose -6*y + 30 = -y. Suppose 4*c - y*c = -124. Suppose -b = -5*p - 19 - 23, 2*b + p - c = 0. Does 11 divide b?
False
Let f be -116*((-7)/(-4) - 1). Let i = f - -202. Suppose -i = -9*h + 4*h. Does 5 divide h?
False
Suppose 0 = -4*s + 8*s - 4*i - 12, -5*i = 5. Suppose -27 - 7 = -s*y. Is y a multiple of 16?
False
Suppose -j + 2 = 1. Let h = 13 + j. Is h a multiple of 5?
False
Let a be (-20)/(-3)*-2*36/16. Let y = a - -79. Is 7 a factor of y?
True
Let p = -33 - -45. Let m = p - -4. Is 8 a factor of m?
True
Does 13 divide 442/(-4)*(-2)/(5 + -4)?
True
Suppose 6 = 3*y - 3*z, -20 = -3*y + 7*y + 3*z. Is 37 a factor of (142 + 6)*y/(-4)?
True
Let h be (2 - 35)*(-2)/3. Suppose -3*y + h + 5 = 0. Suppose 70 = -4*m + y*m. Is m a multiple of 14?
True
Let g = 1638 + -1092. Does 42 divide g?
True
Let n = -8 - -18. Suppose -6*w = n*w - 1584. Is w a multiple of 33?
True
Does 32 divide 220 - (12 + -14)/((-1)/(-2))?
True
Let f = -29 - -47. Let k = 64 + -64. Suppose -c + f = -k*c. Does 6 divide c?
True
Suppose -8448 = -139*x + 123*x. Is 24 a factor of x?
True
Does 6 divide 81 + 17 + (-1 + 3)/(-1)?
True
Let n(y) = -8*y + 1 - 7 + 21*y**3 + 4*y**2 + 8. Is n(2) a multiple of 10?
True
Let k = -58 - -63. Suppose -4*j = k*w + 3 - 936, w = -j + 234. Does 23 divide j?
False
Let x = 133 - -581. Is 14 a factor of x?
True
Suppose -5*z + 4752 = 2*b, -2*z - 6270 + 1518 = -2*b. Is b a multiple of 22?
True
Suppose 2*o = 2*n + 6, 4*n + 5*o = 2*n + 29. Suppose n*v - 2 = 0, 4*v + 612 = 3*b + b. Does 22 divide b?
True
Let s(d) = d + 3. Let i be s(-12). Let g = -11 - i. Is (-1 + 3/(-1))/g a multiple of 2?
True
Suppose 12*t - 2242 = 1814. Does 28 divide t?
False
Let j(u) = 11*u**2 - 7*u - 28. Does 22 divide j(-4)?
True
Suppose 3*z + 158 = 4*d + 8*z, -2*d - 5*z + 74 = 0. Is d a multiple of 4?
False
Let k be 12/8*(-16)/(-3). Let c be 11/3 + k/(-12). Is 13 a factor of 68 - -3 - (0 - c)?
False
Let f = 0 - -46. Let q = -76 + f. Let r = q - -42. Does 6 divide r?
True
Let m(q) = -q**3 + 6*q**2 - 5*q + 4. Let b be m(5). Suppose 0 = -b*w + 182 + 158. Does 15 divide w?
False
Let k(s) = 12*s**2 - 6*s + 3. Let i be (16 - 23) + (-1)/1*-3. Is 30 a factor of k(i)?
False
Let u(c) = 2*c**3 + 7*c**2 + 17*c + 42. Is 17 a factor of u(7)?
True
Let x = -1870 - -2749. Is 91 a factor of x?
False
Let s = 11 + 1. Let g(i) = -15*i + i**2 - s*i**3 + 15*i. Is 7 a factor of g(-1)?
False
Let p(f) = f**3 + 11*f**2 + 5*f + 7. Let m be p(-10). Suppose 0 = -m*r + 52*r + 945. Is 21 a factor of r?
True
Let h(w) = 15*w**2 + 45*w + 1. Let y(d) = 2*d**2 + d. Let j(x) = h(x) - 6*y(x). Is j(-16) a multiple of 29?
True
Suppose 0*l = 4*l - 20. Suppose -4*s - 2*r + l = -7, -3*s - 4 = -5*r. Suppose -1 = -2*d - 3, s*v - 3*d - 15 = 0. Is v a multiple of 6?
True
Let a = 300 + -230. Is 7 a factor of a?
True
Let o be (-60)/18*12/