ppose 0 = -y*c - c - 3*s + 99, c = s + 23. Is 8 a factor of c?
True
Let t(k) = 9*k**2 - 2*k. Let h be t(2). Let c(s) = h - s - s**3 + 7 + 6 - 2*s**2 + 30. Does 15 divide c(0)?
True
Suppose 4*w - 4 + 2 = -j, -4*w + 2*j = 4. Suppose -5*f = -3*q + 5*q - 85, 3*q = w. Is f a multiple of 17?
True
Let l(j) = -2*j**2 - 15*j - 10. Let t(h) = -4*h**2 - 31*h - 21. Let y(a) = -13*l(a) + 6*t(a). Let s be y(-5). Suppose s*v - 52 = 5*v. Is v a multiple of 13?
True
Suppose -6 = 2*d + 4*f - 3*f, 0 = f - 4. Let i(u) = -5*u + 2. Is 9 a factor of i(d)?
True
Suppose -353 = 4*l - 2473. Is 53 a factor of l?
True
Let f be (-38)/(-10) + (-44)/55. Suppose 590 = -4*o + 2*y, -f*o - 6*y + 3*y = 429. Let h = o - -210. Is h a multiple of 11?
False
Suppose -2*z - 32 = -2*v - 0*z, 64 = 4*v + 3*z. Suppose v*j + 770 = 21*j. Is j a multiple of 11?
True
Let h = -17 - -21. Suppose -2*j + 0*j - 5*r - 4 = 0, 4*j + h*r = -8. Is -7*(-2 - (j - -1)) a multiple of 4?
False
Suppose -b + 47*b = 5980. Is 11 a factor of b?
False
Let m(v) = -v + 25. Suppose -6*r = 116 - 26. Let j be m(r). Suppose j = u + 2*n - 30, -5*u + 332 = 4*n. Is u a multiple of 15?
False
Suppose -v = -55 + 47. Suppose 2*c = p + 155, v*c + 5*p - 200 = 5*c. Is 25 a factor of c?
True
Let x(b) = -60*b - 635. Is x(-17) a multiple of 4?
False
Let r(q) = -q**3 - 4*q**2 - 4*q - 6. Let f be r(-4). Let i = 21 - f. Suppose 0 = -3*t + i + 13. Is t a multiple of 2?
True
Let f(m) = 3*m - 7. Let w be f(5). Suppose 0 = -5*a - 5*n + 15, -3*a = 2*n - w. Suppose a*k - 9 = 23. Is 5 a factor of k?
False
Is 7 a factor of (0 + 934)*(58/(-4) - -15)?
False
Let s be (-2)/(-4) - (-1)/(-2). Suppose -3*d = -s*d - 804. Does 23 divide d?
False
Suppose -6*p - 267 + 2907 = 0. Is p a multiple of 55?
True
Let q = 43 - 66. Is (q/(-3))/((-2)/(-6)) a multiple of 22?
False
Suppose -4*n = -21*n + 59517. Is n a multiple of 29?
False
Suppose 0 = -8*j + 2 + 158. Suppose -j*l = -15*l - 65. Does 2 divide l?
False
Suppose 13*l - 8*l - 15 = 0. Suppose 260 = 5*b - l*b + 2*d, d = -3*b + 400. Is 12 a factor of b?
False
Let b(r) = -r**2 + 10*r + 6. Let s(g) = -g**3 + 7*g**2 + 9*g - 11. Let x be s(8). Let d be (3/(-2))/(x/18). Does 5 divide b(d)?
True
Let o(t) = 5*t**3 + 18*t**2 - 2*t + 6. Let p(i) = 6*i**3 + 19*i**2 - 3*i + 7. Let l(z) = -5*o(z) + 4*p(z). Let a = 15 + -29. Is l(a) a multiple of 26?
True
Let g = 7 + -4. Suppose 5*s + g*t = 18, 0*s = 2*s + 4*t + 4. Suppose -s*w + 2*w - 3*f + 32 = 0, w + 5*f = 8. Is w a multiple of 8?
True
Let d be 2/1 - (-15 - 3). Is 14*(-5)/d*-10 a multiple of 35?
True
Suppose -3*f + 106 = 5*w - 11, 3*f - 12 = 0. Suppose s = w - 26. Does 14 divide (28/s)/((-9)/45)?
True
Suppose 0 = -4*h + 3*j + 51, 0 = 3*h - 0*h + 5*j - 31. Let i(q) = q**3 + 9*q**2 + 6*q - 8. Let u be i(-7). Suppose -5*m + u + h = 0. Is 4 a factor of m?
True
Let c(z) = z**3 + z**2 - 2*z + 153. Let t be c(0). Let x = t - 83. Is 14 a factor of x?
True
Suppose 0 = -5*l + 17*l - 504. Does 12 divide l?
False
Suppose -6 - 6 = -4*v. Suppose -v*q = -m - 191, -2*m - 65 - 57 = -2*q. Let d = q + -5. Is d a multiple of 20?
True
Let v be -11*1/(-1) + 3. Let k be v*5/((-20)/6). Is 9 a factor of (-4 + k/(-12))*-4?
True
Suppose 96*q - 36592 - 18896 = 0. Does 2 divide q?
True
Suppose -12 = -3*j - n + 6*n, 4 = 5*j - 3*n. Is (119/(-14))/(j/6) a multiple of 17?
True
Let x be (9/15)/((-4)/(-40)). Let b(y) = -y**2 + 9*y - 11. Let l be b(x). Is 15 a factor of l*((-116)/(-14) - 4)?
True
Let j = -103 + 216. Let h(c) = c**3 - 10*c**2 + 9*c + 2. Let n be h(9). Suppose -4*b + 52 = -3*b - k, 0 = n*b + k - j. Is b a multiple of 16?
False
Let l(s) = 72*s - 4 - 15 - 64*s. Is l(6) a multiple of 7?
False
Let d be (9/(-6))/(-1 + (-22)/(-16)). Let v(o) = -22*o + 6. Is 16 a factor of v(d)?
False
Suppose 0 = -5*i + 3*k + 26256, 147*i - 2*k - 26259 = 142*i. Is 67 a factor of i?
False
Suppose -2*w = 3 + 21. Let c be (-2)/(-4) - 54/w. Suppose 3*v + 2*h = 206, 0 = c*v + 4*h - 2*h - 346. Is v a multiple of 14?
True
Let a(m) = 3*m**2 - 22. Is a(-9) a multiple of 10?
False
Suppose 10*x = 12*x - 506. Is 6 a factor of x?
False
Let h = 9 + -6. Suppose 4*v - h = 3*v, -2*m - 5 = -v. Let y(o) = 11*o**2 + 1. Is 4 a factor of y(m)?
True
Let x(h) = -h**2 + 6*h - 7. Suppose -5*m + m = -20. Let t be x(m). Is 3 - (-7 + -2 - t) a multiple of 5?
True
Suppose 0 = 4*c + 2 + 38. Let f(g) = g**3 + 12*g**2 + 11*g - 9. Does 29 divide f(c)?
False
Let p(u) = 3*u - 3. Suppose -3*a - 4*n - 2 = -0*a, 2*a - 4*n = 32. Let g be p(a). Is (g/(-6))/(1/(-4)) a multiple of 10?
True
Suppose 0 = 7*l + 6 + 22. Is 510/45 + l/(-6) a multiple of 12?
True
Is 13 a factor of (-215)/(-430) - (-2)/((-8)/(-4314))?
True
Let z(a) = 20*a - 6. Let c(t) = t. Let d(u) = -6*c(u) - z(u). Is 21 a factor of d(-3)?
True
Suppose -2*w - 13 + 6 = -z, -5*z - 5*w + 110 = 0. Is 2 a factor of z?
False
Let m(a) = 5 + 2*a**3 - a**3 + 10*a**2 + 2*a - 5*a + 0*a. Is m(-8) a multiple of 9?
False
Is 4 a factor of (-7 - 19)/((-5)/360*2)?
True
Let u(i) = i - 4. Let h be u(4). Suppose -3*k + 0*k + 192 = h. Is k a multiple of 35?
False
Is 14 a factor of 25461/92 + (-1)/(-4)?
False
Let b = -314 - -626. Let t = b + -102. Is t a multiple of 30?
True
Let q be 4*(35/10 + -3). Is 0 + (0 - q - (-45 - -1)) a multiple of 7?
True
Suppose -12768 = -38*l + 17860. Is l a multiple of 13?
True
Let a(v) = -2*v - 2. Let u(y) = y + 2. Let c(p) = -5*a(p) - 6*u(p). Does 2 divide c(4)?
True
Let h = 17 - 18. Does 4 divide (h/(-2))/((-1)/(-24))?
True
Let w(r) = -r**2 - r - 3. Let c be w(6). Let g(v) = v**3 + 2*v - 4. Let p be g(4). Let i = c + p. Is i a multiple of 23?
True
Suppose 5*a - 10 = 4*a. Let s be (-2)/8 - a/(-40). Suppose -9*c + s = -171. Is c a multiple of 6?
False
Suppose 4*p - 155 = 745. Does 35 divide p?
False
Let o(y) = 5*y**2 + 48*y + 36. Is o(-21) a multiple of 21?
False
Suppose 2*s + 0*y = -y + 182, 0 = -4*y. Does 7 divide s?
True
Suppose 3*z - 2 - 85 = -5*d, -3*z + 5*d = -117. Does 4 divide z?
False
Suppose -3*d - 15 = 3*i, -4 = -3*i + d + 1. Suppose 5*k - 240 = -i*k. Does 36 divide k?
False
Let q = 126 + -121. Suppose -4*d - q*d = -54. Does 6 divide d?
True
Let o = 231 - 140. Let y be (-1 + 2)/((-2)/98). Let f = o + y. Is f a multiple of 14?
True
Let b(f) = -22*f - 9. Suppose -9*y - 16 = -5*y. Is 8 a factor of b(y)?
False
Let a(c) = 13*c + 21 - 17 - 49. Is a(17) a multiple of 16?
True
Let r be (8/(-20))/(1/(-5)). Suppose 0 = -r*h + 47 + 121. Is 6 a factor of h?
True
Let c = 2 + 10. Let m(j) = -j + 2*j - 3 + j**2 + 2 - c. Is m(-6) a multiple of 17?
True
Let q = 255 - 190. Is 6 a factor of q?
False
Let d(n) = 2*n**2 + 17*n + 2. Let t be d(-8). Is 0 + -3 - (t - 8) a multiple of 3?
False
Let a be (-2)/(-6) - (-15)/9. Let r = a - -5. Let l(u) = -u**3 + 7*u**2 + 9. Does 5 divide l(r)?
False
Let c = -172 + 174. Let s(i) = -9*i - 8. Let k be s(-6). Suppose k = q - 2*j, -4*j + 135 = c*q + 43. Is 29 a factor of q?
False
Suppose -2*x + 458 = 3*d - 2176, 5*x - d - 6602 = 0. Is x a multiple of 40?
True
Let l(a) = -15 - a**3 - 12*a**2 - 6*a + 0*a**3 - 10*a. Let j be l(-11). Suppose 14 = 2*n + 4*i - j, -3*n = -3*i - 36. Is n a multiple of 3?
False
Let x(q) = 3 + 6 + 0 - 5 - 146*q. Does 48 divide x(-2)?
False
Suppose -5*w = -5*t + 13890, -4*w = -3*t + 1242 + 7091. Is 7 a factor of t?
True
Let s = -164 + 116. Let f be 40/(-3)*s/(-40). Let y = -2 - f. Is y a multiple of 5?
False
Let k = 1454 - 261. Suppose -14*x + 1201 = -k. Does 57 divide x?
True
Suppose 2*f - 2*g = 2*g + 164, -350 = -5*f - 2*g. Let l be 6/3 + 27 + 2. Let m = f - l. Does 15 divide m?
False
Does 10 divide (-2)/((-10)/1545) - (1 + -2)?
True
Let h be 0*(-1 - -3 - (0 - -1)). Suppose -4*i = i - 75. Suppose h = -i*d + 20*d - 30. Does 6 divide d?
True
Let k(b) = 2*b**3 - 33*b**2 - 12*b + 1. Let m be k(17). Suppose -8 + 2 = -2*x. Suppose -x*y + y = -m. Is 11 a factor of y?
False
Let u = 5063 + -2093. Is 45 a factor of u?
True
Let i(t) = -t**3 + 4*t**2 + t - 4. Let v be i(4). Suppose v = 5*r + 3 + 12. Is -27*(0 - r/(-3)) a multiple of 9?
True
Let t(s) = -2*s + s + 2*s**2 - 4 + 2. Let f be 4*(9/(-42) - 4/14). Does 4 divide t(f)?
True
Let n(g) be the first derivative of -g**2/2 + 5*g - 70. Let b = -3 + -3. Is n(b) even?
False
Let x(v) = -v**3 - 2*v**2 + 6*v + 3. Suppose -7*f = -4*f - 78. Let d = 22 - f. Does 6 divide x(d)?
False
Let l = 11 + 9. S