3*t + 5*g + 26, -t = 4*g + 9. Suppose -5*y = -t*b + 2, 4 = 5*y - 2*b + 2. Suppose 43 = y*o - 39. Is 20 a factor of o?
False
Suppose 0 = v - 2*p - 3586, 0 = 4*v + 16*p - 14*p - 14344. Is v a multiple of 38?
False
Let p = 14 + -26. Let z = -4 - p. Suppose -z*d + 3*d = -100. Is d a multiple of 5?
True
Is 21 a factor of (3*6)/(48/1280) - -3?
True
Suppose 18*u + 177072 = 80*u. Is 24 a factor of u?
True
Suppose -2 = -3*a + 22. Let f(s) = 1 + 2*s**3 + 0*s**3 - 6*s**2 - 4*s - 4*s - s**3. Does 19 divide f(a)?
False
Suppose -9*m = -14*m - 65. Let j = m - 3. Is 3 a factor of 1/(j/(-5) + -3)?
False
Let f(l) = -l**3 - 4*l**2 - l - 1. Let m be f(-4). Suppose 5*y - 40 = -5*p, -m*p - 4*y = 1 - 27. Suppose -2*t + p*t - 396 = 0. Does 22 divide t?
False
Let b(f) = -6*f**2 + 57*f + 5. Is 2 a factor of b(9)?
True
Let t = 10 - 7. Suppose 2*u + 27 = 5*z, -t*u = 4 - 1. Suppose -2*k + 3*b + 71 = 0, z*k - 4*b - 94 = 94. Does 20 divide k?
True
Let p(f) = 5*f - 4. Let k be p(3). Let m be 1 - ((-18)/6 - -1 - -3). Let w = k + m. Is w a multiple of 3?
False
Is 18 a factor of 1/(-7) + 336169/889?
True
Suppose 162*v - 171*v = -4356. Is v a multiple of 22?
True
Let a(p) = -p**2 + 19*p - 18. Let v = 16 - 3. Does 30 divide a(v)?
True
Let a be 2*(-4)/16*0. Suppose 13 = y - 2*y - 3*k, 4*y + 3*k + 34 = a. Let h = 6 - y. Is h a multiple of 3?
False
Let b(v) = -15*v**2 + v - 1. Let c be b(1). Let z be (-336)/c - 6/(-10). Let w = z + -14. Is w a multiple of 7?
False
Is (6 - 387/(-6))/((-3)/(-38)) a multiple of 94?
False
Let v = 79 - 120. Let q = 48 + v. Does 7 divide q?
True
Suppose 4*i - 4*y - 1344 = -0*y, 2*i + 2*y = 692. Does 13 divide i?
False
Suppose -2*k - 13 = -3*n + 6, -2*n - 5*k = 19. Let c(z) be the second derivative of z**4/6 - 2*z**3/3 + 3*z**2/2 + 2*z. Is 3 a factor of c(n)?
True
Suppose -8*s + 6*s - 22 = 0. Let y(j) = -j + 5. Let x be y(s). Let z = x + -1. Does 5 divide z?
True
Is 7*13/(-91) + 3241 a multiple of 40?
True
Let x be -8 - ((-1)/1 - 1). Does 3 divide x + 51/9 + (-218)/(-6)?
True
Let h = -216 - -329. Suppose 4*m + h = 397. Let l = 211 - m. Is 35 a factor of l?
True
Suppose 27*b - 6480 = -9*b. Is b a multiple of 45?
True
Let s = 267 - 135. Does 6 divide s?
True
Let n(b) = -2*b**3 + 15*b**2 + 2*b + 12. Let q be (-114)/(-18) - 4/(-6). Does 15 divide n(q)?
True
Suppose -46*z + 5145 = -39*z. Is z a multiple of 15?
True
Is -9 + (3 - 10 - -968) a multiple of 54?
False
Let r(n) = n**3 + 5*n**2 - n + 3. Let p be (24/15)/((-8)/20). Does 8 divide r(p)?
False
Let r(f) = 3*f**2 - 8*f - 7. Let s be r(4). Suppose 0 = -3*a + 46 + 32. Suppose 10*q - a = s*q. Is 26 a factor of q?
True
Let d be ((-54)/(-30))/((-3)/(-10)). Suppose -d*q + 2*q + 514 = 5*z, z = -5*q + 632. Suppose 81 = 5*b - o - q, 2*b - 2*o - 86 = 0. Is b a multiple of 11?
False
Suppose 8*s - 11*s + 1995 = 0. Suppose -x + 6*x - s = 0. Is 19 a factor of x?
True
Suppose 3*m = -3*h + 24, -2*m + 0*h = 5*h - 28. Suppose m*o - 32 = -2*v, -3*v + 3*o - 6*o = -60. Is v a multiple of 24?
True
Let u(z) = z - 1. Let k(t) = -t**2 + 7*t + 12. Let b be k(8). Suppose -2*c = -b - 6. Is u(c) a multiple of 2?
True
Let i(b) = 14*b**2 - 11*b + 10. Let c(w) = -14*w**2 + 10*w - 9. Suppose -2*m - 15 = -5. Let d(g) = m*i(g) - 6*c(g). Is 12 a factor of d(2)?
False
Let a(c) = c + 20 + 6*c - 11. Does 15 divide a(3)?
True
Let a be (-1 + 3)/((-36)/(-90)). Suppose -a*i + 5*c + 1225 = 0, -2*c = i + i - 474. Does 39 divide i?
False
Let t(d) = -d**2 - 6*d + 10. Let n be t(-6). Let i(p) = -3 + n - 2*p + 0*p + 3*p**2 - 9. Does 10 divide i(4)?
False
Let o = -331 + 486. Let a = o - 25. Is a a multiple of 33?
False
Let o(h) = h**3 - 8*h**2 - 18*h - 14. Let c be o(10). Let k(z) = z**3 + z**2 + z - 6. Does 36 divide k(c)?
True
Suppose 0 = -3*a + 3*r + 2*r + 49, 92 = 5*a + 2*r. Suppose 0 = -a*m + 14*m + 340. Is m a multiple of 20?
False
Suppose -7 = -2*v - 3. Suppose -a + 24 = 3*b, 18 = 4*a - v*b - 50. Is 3 a factor of a?
True
Let o = -34 + 39. Suppose 0 = o*d - d - 156. Is d a multiple of 13?
True
Let u = 760 + -200. Does 16 divide u?
True
Suppose 3*v - 2*p + 5 = 0, v - 5*p + 19 = -0*v. Let n(m) = 105*m. Is 17 a factor of n(v)?
False
Let k = 5 - 1. Let d(o) = -16*o + 7. Let n be d(k). Let c = -12 - n. Does 13 divide c?
False
Let m(p) = p**3 + 12*p**2 - p - 9. Let l be m(-12). Suppose 0 = -4*z + l*t + 213, -84 - 80 = -3*z - 2*t. Does 19 divide z?
False
Let f(q) = -2*q**3 - q**2 + 1. Let c be f(-1). Let b(s) = 7*s**c - 2*s**2 + 3*s**2 - 4*s**2. Is b(-2) a multiple of 9?
False
Let n(i) = i**3 - 6*i**2 + 12*i + 15. Is n(7) a multiple of 14?
False
Let x be 26/5 + 4/(-20). Let v be 50/x - (-3)/(-1). Suppose -2 - v = -r. Is r a multiple of 9?
True
Is 34 a factor of 9 + -1 - (-418 - 16)?
True
Suppose 2*b = 633 + 519. Is 72 a factor of b?
True
Let l(o) = o**3 + 20*o**2 + 18*o + 28. Suppose 2*f = -4*b - 70, -f - f = -4*b - 82. Does 20 divide l(b)?
False
Let v(n) = 24*n + 1. Let u(m) = -m + 1. Let x be u(-5). Let k(p) = -p + 7. Let w be k(x). Is v(w) a multiple of 7?
False
Let l(w) = 3*w**2 - 23*w - 16. Let u be l(14). Suppose -3*r + f = -u - 318, r - f - 192 = 0. Is r a multiple of 47?
True
Let a be (-1)/((-3)/(-324))*(-18)/8. Is 27 a factor of (a/(-5))/3*-5*1?
True
Suppose -2*r = -4*c + 3*r + 603, 2*c + r = 319. Is c a multiple of 8?
False
Let t be 0*3*(-3)/18. Suppose t = -4*x - 16, 0 = 4*z - z - 3*x. Does 5 divide 20*z/(-24)*6?
True
Let x(h) = -6 + 88*h - 92*h + 2. Is 9 a factor of x(-14)?
False
Suppose -9*k - 2*k = -231. Is (972/63)/(2/k) a multiple of 54?
True
Let t(f) = 2*f**2 - 5*f + 2. Let o be t(2). Let z(a) = a**2 - a + 18. Is z(o) a multiple of 2?
True
Let y(r) = -r**3 + 6*r**2 + 5*r + 10. Let b be y(7). Is (1 + b)*22/(-6) a multiple of 11?
True
Let f = 1761 + -90. Is 13 a factor of f?
False
Let v(r) be the first derivative of 1/4*r**4 - 5 - 4*r**3 + 0*r + r**2. Does 6 divide v(12)?
True
Suppose -i + 2*a = -2*i + 7, 3*a + 2 = i. Does 20 divide 1 + 3 - (-100)/i?
False
Let w be 8/(-2) + 1568/16. Let d = w - -3. Let m = 177 - d. Is 16 a factor of m?
True
Suppose 4*s - 9*s + 40 = 0. Suppose 5*w - 9*w = -s. Suppose -o + 2*j + 36 = 0, w*o + 3*o = 2*j + 196. Does 12 divide o?
False
Suppose -24*a - 541 = -25*a. Does 7 divide a?
False
Suppose -30*u = -26*u - 116. Is u a multiple of 29?
True
Let v = 187 + -51. Suppose 1351 = 9*s + v. Is 15 a factor of s?
True
Let q(x) = -4*x**3 - 2*x**2 + 2*x. Let t be q(1). Let j be -51*2/t*2. Is (-6)/(3 + j/(-15)) a multiple of 5?
True
Let w be 4/(-3 - (-3 + -2)) + 158. Does 4 divide (-16)/w + (-81)/(-10)?
True
Let u(w) = w**3 - 16*w**2 - 18*w + 55. Does 23 divide u(17)?
False
Let v be (1 + -3)*1 + 1. Let n(j) = -j**3 - j**2 + j + 1. Let o be n(v). Suppose 4*g + f + 13 - 64 = o, 21 = 2*g - f. Is g a multiple of 6?
True
Suppose -2*t + 2 = -x, -3*x - 5*t + 36 = -13. Let f be (x/6)/(4/(-1230)). Is 20 a factor of f/(-14) - (-2)/(-7)?
False
Suppose -96 = -2*q + 3*a + 37, -4*q - a = -287. Let o = 1 + q. Does 12 divide o?
True
Is 11 a factor of (-2616)/16*(2 - (-20)/(-6))?
False
Let d = 170 - -28. Does 18 divide d?
True
Suppose 46*f - 1344 = 34*f. Does 56 divide f?
True
Suppose 249 = -6*l + 39. Let z = 63 + l. Is 7 a factor of z?
True
Let x(u) = u + 1. Let f(w) = 29*w + 19. Let z(j) = -2*f(j) + 18*x(j). Does 8 divide z(-5)?
False
Suppose -3*p = -3*h + 5826, h - 1351 = 3*p + 587. Is 36 a factor of h?
True
Suppose -9 - 9 = 3*p. Let i be (-20)/30 - 682/p. Suppose i - 3 = 5*f. Is 22 a factor of f?
True
Let o(x) be the first derivative of x**3 - 7*x**2/2 + 8*x + 6. Is o(8) a multiple of 36?
True
Suppose 64*o = 56*o + 2184. Does 21 divide o?
True
Suppose 5*b = 4*t - 5*t - 16, 16 = 3*t - b. Suppose 10 = 5*l, -t*c + 5*l = -2*c + 4. Let a = c + 5. Is 8 a factor of a?
True
Is (-2)/((-8)/(-3)) + (-369771)/(-932) a multiple of 33?
True
Suppose 0*y - y = -n + 64, 3*n - 5*y - 182 = 0. Let s = 118 - n. Does 14 divide s?
False
Let c = -35 + 49. Let q(p) = 4*p - 13. Does 19 divide q(c)?
False
Suppose 0 = 2*l + 6*r - 4*r - 2486, -3*r = -9. Is 31 a factor of l?
True
Suppose -2*k - 2*i = 4, -5*i = -2*k - 2*i + 6. Suppose -109 = -2*z - d, z - 68 = -k*z + 4*d. Does 42 divide z?
False
Let q(x) = 10*x + 4. Is q(4) a multiple of 7?
False
Let v = 569 - 329. Does 5 divide v?
True
Let u = -5 - -11. Suppose 4*k - 138 = -3*t, -4*t + u*t - 103 = -3*k. Is 11 a f