= -2*s + 5. Suppose 9*a = 10*a + 6. Is y(a) a multiple of 4?
False
Suppose 4*a + 3*w - 15 = 0, -5*a - 2*w + 42 = -6*w. Let b(o) = -9*o + 78. Let i(n) = -4*n + 31. Let v(u) = 5*b(u) - 12*i(u). Does 36 divide v(a)?
True
Let i be 0*4/16 + 0. Does 7 divide 46 - -2*(i - 2)?
True
Let l be -2*(3/(-2) + -1). Suppose -v + l*u + 15 = 0, -3*v - v - 15 = 5*u. Suppose 9 = 2*s - 5*s, -4*k - s + 49 = v. Is k a multiple of 13?
True
Suppose 3*p = -3*n + 1131, -2*n + 3*p + 734 = p. Is n a multiple of 31?
True
Let y be (-10)/8*16/(-4). Suppose -26 = -y*b - 6. Suppose b*a = 5*a - 6. Is a a multiple of 6?
True
Suppose -8 = 3*k - 7*k. Suppose 2*m - 28 = p + 7, k*m = -5*p + 29. Let b = 29 - m. Is b a multiple of 4?
True
Suppose 0 = -2*c - 1 + 7. Suppose -h - 6 = -c*h. Suppose h*o - 2*o - 13 = 0. Does 5 divide o?
False
Let b be ((-12)/(-21))/((-10)/(-245)). Let j(g) = 11 - 6*g - 7*g + b*g. Does 3 divide j(-7)?
False
Suppose 1271 = 5*s - 2*r, 5*r = 3*s - 274 - 481. Is 17 a factor of s?
True
Let c(y) = -y**2 + 6*y - 7. Let r be c(5). Let l be (1 - (-2)/(-2)) + 16 + 1. Let g = l - r. Is 19 a factor of g?
True
Let u = 4 + 8. Let m be 19*1 + (u - 13). Let d = m - -12. Does 15 divide d?
True
Let y = -142 - -67. Is 7/(35/(-10))*y a multiple of 50?
True
Let a = -7 - 5. Let q = 20 + a. Let x(p) = 5*p + 12. Is 9 a factor of x(q)?
False
Let u = 555 + -550. Let t(f) be the third derivative of f**4/3 + 5*f**3/6 - f**2. Is t(u) a multiple of 15?
True
Let y = -1044 - -1604. Is y a multiple of 86?
False
Let y(b) = -b**2 + 40*b - 60. Does 8 divide y(32)?
False
Let y be 2 - (-9 + 0) - (-4 - -4). Does 7 divide (2 - y/4) + 1589/28?
True
Suppose -5*l - 15 = 0, -3*l = -2*q - 7*l - 8. Suppose 0 = -q*k + 3*k - 8. Let a = 17 + k. Is a a multiple of 8?
False
Suppose 145*z - 12 = 142*z. Suppose 3*n = 3*f + 6, -1 = -4*n + 2*f + 3. Suppose -z*q - 4*i + 28 = n, q = -2*q - 2*i + 18. Is q even?
True
Suppose 2*v + 4*x + 274 = 0, 3*v + 444 = 8*x - 3*x. Let i = -19 + -3. Is 7 a factor of 4/i + (-4745)/v?
False
Suppose 0 = -4*n - 4*d + 316, 114 = 5*n - 3*d - 241. Does 6 divide n?
False
Let g = 12 - 9. Let z = g + -13. Does 16 divide (16/z)/(3/(-60))?
True
Suppose 0 = 26*i - 1853 - 383. Does 30 divide i?
False
Let i(o) = 13*o - 11*o - 7*o**2 + 14*o**2 + 11*o**2. Is i(1) a multiple of 4?
True
Suppose 0 = -30*w + 76*w - 2576. Is 2 a factor of w?
True
Let m(u) = u**3 - 4*u**2 - 32*u + 20. Is m(12) a multiple of 29?
False
Let d = 254 - -36. Does 29 divide d?
True
Let u(y) = 3*y - 1. Let k be u(-2). Let s(m) = -m**3 - 8*m**2 - 10*m - 10. Let w be s(k). Let v = 1 + w. Is 12 a factor of v?
True
Let y(w) = -118*w - 4. Let z be y(-1). Let v = -66 + z. Is v a multiple of 7?
False
Let c(u) = u**2 - u. Let z be c(-1). Suppose 4*m - 6 = z*m. Suppose -m*s = -0*x + 2*x - 78, -5*s + 130 = 5*x. Is 13 a factor of s?
True
Let w(h) = h**3 + 5*h**2 - 7*h - 1. Let b be w(-5). Suppose 10 = 5*k, 0 = -3*p - 2*p + 2*k - b. Does 10 divide p/15 - (-102)/5?
True
Let x(c) = c + 11. Let g be x(-9). Suppose 0 = -g*a - 62 + 732. Suppose 5*m + 2*d - a = 0, 5*d = 4*m - 72 - 196. Does 13 divide m?
False
Suppose 8*z - 12*z - 2*o = 124, -z - 31 = -5*o. Let t = 69 - 26. Let p = z + t. Is 3 a factor of p?
True
Let z(k) = -3*k - 8. Let u(j) = -3*j - 8. Let w(o) = -5*u(o) + 6*z(o). Let r be w(-4). Suppose r = -0*b + b. Is 4 a factor of b?
True
Let b = -253 + 273. Does 6 divide b?
False
Let i(a) = a**2 + 24*a + 47. Let n be i(-9). Let t = -33 - n. Is t a multiple of 21?
False
Let t(v) = v**3 - 11*v**2 + 46*v + 4. Is t(7) a multiple of 25?
False
Let z be 2*(-5)/3*-3. Suppose -14 = -4*o + z. Let a(i) = 3*i + 2. Does 5 divide a(o)?
True
Let b = 1199 + 376. Is 21 a factor of b?
True
Suppose -v + 2106 - 656 = t, v - 3*t = 1446. Does 69 divide v?
True
Suppose -2*o - 2*o = -16, 4*r + 4*o - 16 = 0. Is 9 a factor of 1/((-4)/(-188)) + r?
False
Suppose 0*j = -3*j + 3, -5*o - 4*j + 284 = 0. Does 3 divide o?
False
Suppose 5*d + 15 = 0, 28 = 3*j - 3*d + 1. Let z = j + -6. Suppose 4*x + z*f + 4*f = 4, 0 = 4*x + f - 16. Is 5 a factor of x?
True
Suppose h - 4*y = -4*h + 965, 0 = -y. Is h a multiple of 12?
False
Is 23 a factor of (-38571)/13*(2 + 2 - 5)?
True
Let k be 4 + 2/1 + -3. Suppose q - 176 = -k*q. Is 11 a factor of q?
True
Suppose 0*y = -6*y. Suppose m + m - 1124 = y. Suppose 4*z + 0*z + 3*a = m, a = 3*z - 428. Is 35 a factor of z?
False
Suppose -y = -3, -20*y = -l - 24*y + 4855. Does 154 divide l?
False
Let v = 161 + -101. Is 34 a factor of v?
False
Let n(c) = c**3 + 10*c**2 - 13*c + 7. Let m(h) = h**2 + 11*h - 11. Let z be m(-11). Is n(z) a multiple of 15?
False
Let f(u) = 30*u**2 - u - 2. Let d be f(2). Let g = -18 + 46. Does 4 divide (-8)/g - d/(-14)?
True
Suppose 4*a = -0*a + 336. Suppose 0 = -v - 2*g - 37, 2*v - 5*g = 4*v + 77. Let f = a + v. Is 15 a factor of f?
False
Let j = 262 - 523. Is ((-5)/15)/(3/j) a multiple of 8?
False
Suppose 5*b - 6 = -1. Suppose 0 = 2*r - 7 - b. Suppose -r = 2*k, 28 = 2*j + 4*k + k. Is 5 a factor of j?
False
Suppose 2*g - 389 = -2*d - 47, 3*g + 191 = d. Suppose 5*t = 19 + d. Is 13 a factor of t?
True
Let b = 16 + -9. Let x = -7 + b. Suppose 177 = 4*o + 5*h, -3*h + x*h = -5*o + 175. Does 8 divide o?
False
Let k(j) = j. Let l(y) = -204*y. Let i(m) = 68*k(m) + l(m). Does 17 divide i(-2)?
True
Let m = 111 - -36. Let j = m + -103. Is 12 a factor of j?
False
Suppose -m = -10*j + 11*j - 2875, 2*j = -3*m + 5751. Is 16 a factor of j?
False
Let w be (-4)/6*135/(-10). Suppose 260 = w*d - 5*d. Is 13 a factor of d?
True
Let k be (-1 - -7)/((-10)/(-15)). Let l(p) = p**2 - 7*p - 16. Let o be l(k). Suppose 2*q + 60 = o*u + 6*q, u + q = 30. Is u a multiple of 15?
True
Let f(w) = 3*w - 16. Let u be f(6). Let h(s) = -11*s**2 - 4*s**2 - 4*s + 4 + s**3 + 0*s + 9*s**u. Does 5 divide h(7)?
True
Suppose 12*p - 13*p + 8 = 0. Let t = 11 - p. Does 2 divide t?
False
Is 17 a factor of 3 + 87 - (-24)/6?
False
Let r = 36 + 0. Suppose 0 = 4*j - 21 - 7. Suppose -10*z = -j*z - r. Is 3 a factor of z?
True
Let n(v) = v**3 + 6*v**2 + 5*v + 5. Let w be n(-5). Suppose 7*z - 15 = 2*z. Let k = z + w. Is 3 a factor of k?
False
Let l = -1 + -1. Let p = 20 + l. Suppose p = -2*m + 5*m. Is m a multiple of 3?
True
Let f = -252 - -107. Let j = -84 - f. Let s = j - -5. Is 20 a factor of s?
False
Suppose -16240 = -21*l - 35*l. Does 10 divide l?
True
Let a(h) = 6 + 12 - h**2 + 0*h - 5 + h. Is a(0) a multiple of 5?
False
Suppose -3*c + 4*k + 12 = k, c - 4*k = 1. Let q = c - 83. Is 1*3/(-6)*q a multiple of 13?
True
Let j = 236 + -131. Suppose -3*v = 2*y + j, -4*y + 5*v = -9*y - 250. Does 30 divide (-439)/(-9) - 10/y?
False
Let n = 1175 - 158. Is n a multiple of 9?
True
Let b(y) be the first derivative of y**4/4 + y**3/3 - y**2 - 6*y - 4. Let g be b(-5). Let h = g - -149. Is h a multiple of 9?
False
Suppose -97 = -5*o - 22. Suppose -3*j = o, 5*k + 3*j - 2*j = 35. Suppose -k*a + 4*a = -196. Is a a multiple of 16?
False
Suppose 0 = -l - 0 + 5. Does 40 divide (79 + l/5)*1?
True
Let f(y) = y**3 - 6*y**2 - 25*y + 75. Is f(8) a multiple of 3?
True
Let v be -5*-4*3/15. Let r be 0 - v - -107 - -3. Let y = r + -73. Is 5 a factor of y?
False
Let b(x) = -6*x - 6. Let a be b(0). Suppose -5*w = -w + 72. Is 9 a factor of ((-258)/w)/((-2)/a)?
False
Let p(o) = -o**3 + 7*o**2 - 6*o - 2. Let z(q) = -7*q**3 - q**2 + q + 1. Let r be z(-1). Let k be p(r). Is 12 a factor of k/8 - 435/(-12)?
True
Suppose 0 = -6*a + 4 + 14. Let x(b) = 16*b**2 + 3 - a + 2 + 11*b. Does 25 divide x(-3)?
False
Suppose c = 4*f - 6 - 108, f - 2 = 0. Let p = -68 - c. Is 38 a factor of p?
True
Let a be (-9)/(-6) + 157/(-2). Let x = -30 - a. Suppose -11 - x = -2*s. Does 7 divide s?
False
Let w be 0/((-3 - -1)/(-2)). Suppose w = -6*b - 28 + 142. Is 16 a factor of b?
False
Let d = 688 - 265. Is d a multiple of 30?
False
Let w(i) = -106*i + 83. Is 13 a factor of w(-3)?
False
Let s(i) = 19*i**2 + 13*i - 15. Let v be s(-9). Suppose -6*f = f - v. Does 29 divide f?
False
Let c = 11 - -6. Suppose 5 - c = -i. Does 3 divide i?
True
Suppose -p + 47 + 48 = 0. Let l = 13 + p. Is l a multiple of 25?
False
Let g = -29 + 26. Is (g/9)/(0 - 2/282) a multiple of 35?
False
Suppose 4*w + 0*w - 44 = 0. Let r(t) = t - 11. Let b be r(w). Suppose -4*u + b*u + 12 = 0. Is u a multiple of 2?
False
Let v(y) = y**3 - 5*y**2 - y + 7. Let i be v(5)