et t(b) = -b**3 + 7*b**2 - 3*b - 2. Let c = -15 + 21. Is t(c) a multiple of 5?
False
Suppose f = 4*f - 3, -a + 341 = 3*f. Does 13 divide a?
True
Let d(g) = -3*g + 6. Let r be d(-6). Let v = r + -20. Suppose -j - 3*b = -10, -j = 5*b - 4 - v. Is j a multiple of 7?
False
Suppose 0 = 14*b - 11878 - 3704. Is 32 a factor of b?
False
Let r(a) = a**2 - 9*a + 8. Let q be r(6). Let m be 5 + q - 3/1. Let n(f) = f**3 + 7*f**2 - 11*f + 2. Is n(m) a multiple of 8?
False
Let c = 223 + 397. Is 20 a factor of c?
True
Let a be (-6)/4*4/2. Let i(b) = b**2 + 21*b - 15. Let w be i(-22). Let m = w - a. Is 3 a factor of m?
False
Let m be (-6)/(-39) + 2182/13. Suppose 0 = -2*h - 0*h - 4*b + m, -b + 83 = h. Is 8 a factor of h?
False
Suppose 5*u = 2 - 17, -4*z - 2*u = -922. Let q(s) = 48*s - 94. Let x be q(2). Suppose x*a = -2*a + z. Does 25 divide a?
False
Suppose -h = -2*o + 97, -2*o + 150 = o + 3*h. Does 42 divide o?
False
Suppose -4*g - 5*x = -1951, -11*g + 13*g = x + 993. Does 13 divide g?
True
Suppose 106 = 3*l - 2*g, -g + 0*g = -4*l + 148. Suppose 128 = 42*i - l*i. Does 16 divide i?
True
Let y = -447 - -857. Suppose -4*o + 5*c - 23 = 0, -o - 23 = 4*c - 12. Is y/14 + 2/o a multiple of 11?
False
Suppose 0 = 3*g + 4*h - 221, 4*g + h = 6*h + 336. Suppose -4*x = -3*d + 237, g = 3*d - 2*d - x. Is d a multiple of 16?
False
Let g be 20/15 + 2/(-6). Suppose -2 + g = l. Let v(o) = 42*o**2. Is 21 a factor of v(l)?
True
Let n(w) = -w**3 + 20*w**2 + w - 29. Is 13 a factor of n(19)?
True
Let p be (3 - 2 - 1)/(1 + 1). Suppose -y + 63 - 17 = p. Is y a multiple of 7?
False
Let u(w) = w**2 + 72. Let g(i) = i**2 + 9*i. Let t be g(-9). Let r be u(t). Suppose 2*d - r = -2*n - n, 4*d - 132 = -3*n. Does 5 divide d?
True
Let g = -871 + 902. Is g a multiple of 10?
False
Suppose 10 - 14 = -v. Let o(c) = 53*c - 11. Is 30 a factor of o(v)?
False
Let y be (2 - (2 - -5))*-1. Suppose -6 = -3*x - 0*i - 5*i, x + 3*i - 2 = 0. Suppose -q + g - x*g = -30, -y*g = -q + 36. Is q a multiple of 18?
False
Let z(y) = -15*y**3 - 3*y**2 - 5*y - 1. Is 28 a factor of z(-3)?
True
Let c(j) = -3*j + 55. Let g be c(18). Let f = 4 + -1. Is 36 a factor of g*((-108)/(-1))/f?
True
Suppose 127 = 4*n + 5*c - 167, -3*c = 2*n - 146. Suppose 0 = 5*s - s - 12, 3*s + n = u. Suppose 6*x - 5*d = 4*x + 37, -5*x + 5*d + u = 0. Is x a multiple of 8?
True
Let d(m) = -2*m - 10. Let k be d(-6). Suppose 4*q = 6 - 2, 0 = -k*y - 4*q + 244. Is y a multiple of 5?
True
Is 2*(3875/(-10)*-3 - -5) a multiple of 27?
False
Let q be ((-1)/(-1))/((-5)/20). Suppose 4*v - 1 = p - 0*p, 1 = -p. Is (-89)/(-1 + v/q) a multiple of 23?
False
Suppose 5*j - 13 = -3*l, 3*j = -0*j + 5*l + 1. Suppose 0 = -4*x - x + 3*m + 409, x - 74 = -j*m. Is 13 a factor of x?
False
Let k = 26 - 17. Suppose 19 + k = 2*n. Suppose -u - u = -n. Is 6 a factor of u?
False
Suppose 0 = -2*x + 4*l - 436, -x - x + 3*l = 431. Suppose -628 = -2*y - 12. Let q = x + y. Is q a multiple of 31?
False
Is 22 a factor of 2/(((-30)/5)/(-198))?
True
Let k(r) = -41*r - 9. Let b be k(-14). Suppose -4*s + b = 3*a - 79, 4*s = -a + 220. Is 53 a factor of a?
True
Suppose 0 = 3*x - 4*x - 27. Does 9 divide (-61)/(-1) + x/(-9)?
False
Let s(b) = -95*b**3 - b**2 - b + 1. Is s(-1) a multiple of 2?
True
Suppose -v - 4 = -2*v + 4*b, 0 = 2*b. Let l(h) = -3 - 2 + 2*h**2 - 6*h + 8 + v. Does 20 divide l(5)?
False
Let q = 31 + -21. Let j = 8 - q. Is (88/4)/(j/(-5)) a multiple of 11?
True
Let q(w) = -w + 2. Let v be q(-3). Suppose -2*h = -0*h + 66. Let u = v - h. Does 23 divide u?
False
Let l be (-40)/(-12) - (-3)/(-9). Suppose 31 = 5*u + k, 2*k - 3*k = -l*u + 17. Does 3 divide u?
True
Let j(t) = t - 1. Let f be j(2). Suppose -5*z = q - 122, z - 18 - f = -2*q. Is 14 a factor of z?
False
Suppose 24 = 3*t + 5*y, 2*t + t + y - 12 = 0. Let s be (-10)/t*(-6)/5. Suppose -s*p - 8 = 0, -3*k + 4*p + 96 = p. Does 10 divide k?
True
Let u(z) = -z**2 + 34*z + 2796. Is 12 a factor of u(0)?
True
Suppose -4*a + 5*h + 12795 = 0, 0*a + 2*h = 2*a - 6396. Is 73 a factor of a?
False
Let d(o) = -3*o + 3. Let j(r) = r**2 + 6*r + 7. Let c be j(-5). Let x be d(c). Is (-1)/x + 107/3 a multiple of 12?
True
Suppose -b + 4*s + 5 + 2 = 0, -5*b + 5*s = -35. Suppose b*j - 442 = 272. Is j a multiple of 6?
True
Is 3 a factor of (114/48)/((-4)/88)*-4?
False
Let u(f) = f**2 + 2. Let h(m) = 3*m**2 + 2*m + 8. Let d(q) = -h(q) + 6*u(q). Let a(x) = x**3 - 8*x**2 + x - 2. Let n be a(8). Is 19 a factor of d(n)?
False
Let v be ((-420)/(-75))/(3/((-30)/4)). Suppose -3*i - 5 = 7. Does 4 divide i/v + 1068/84?
False
Suppose 4*s = 3*q + 11, 4*q - 5*s + 7 + 6 = 0. Suppose -215 = -q*v - h, 5*h + 516 = 5*v + 191. Does 15 divide v?
False
Suppose -3*g + 53 = -2*o - 112, 4*o + 309 = -g. Let m = -26 - o. Is m a multiple of 13?
True
Suppose -h + 460 = 4*d, -5*h + 5*d = -4*h - 433. Suppose -4*t - 4*t = -h. Is 13 a factor of t?
False
Let b(r) = r**2 - 4*r - 30. Let z be b(8). Suppose -t - 93 = -z*t. Is t a multiple of 31?
True
Let g be 36/(-24) + 22/4. Suppose 15 = 2*t + 3*t, 732 = g*r + 4*t. Let k = -80 + r. Is 25 a factor of k?
True
Let t(w) = -357*w + 158. Is t(-6) a multiple of 46?
True
Suppose -5*o - 2269 + 15274 = 0. Is 21 a factor of o?
False
Is (-1 + -10)/(17/(-221)) a multiple of 20?
False
Let x = -745 - -1371. Suppose 3*n - n = -4, n = 4*h - x. Does 39 divide h?
True
Suppose -178 = -2*j - 4*h, 0 = -4*j - 2*h + 30 + 356. Is j even?
False
Suppose 36*w - 2944 = 32*w. Is w a multiple of 8?
True
Suppose 0 = -p - 5*l + 337, 0 = 4*p - 9*p - 5*l + 1765. Is p a multiple of 21?
True
Let l(v) = v**3 + 13*v**2 + 10*v - 20. Let p be l(-12). Suppose 171 = y - p*a + 5, 5*y = 4*a + 798. Does 11 divide y?
False
Suppose -3*z - 3075 = -8*z. Let i be z/20 + (-1)/(-4). Suppose 35*g = i*g + 80. Is g a multiple of 20?
True
Let f be (6/(-8))/(15/(-40)). Let a(t) = -t**3 - f*t**2 + t + 10*t**3 - t**3 - 2 - 2*t**3. Is a(2) a multiple of 8?
True
Let d be -3 - 1857/15 - (-2)/(-10). Suppose 170 = -2*r + 3*g, -4*r = r - 3*g + 416. Let x = r - d. Is x a multiple of 9?
True
Let i(n) = -6*n + 1. Let w be i(5). Let v = w + 34. Suppose 4*d = v*u + 172, 4*u = -4*d + u + 204. Is d a multiple of 8?
True
Let g = -157 - -329. Suppose -5*o + 4*k + 278 = 0, 0*o - 3*o + g = -5*k. Does 10 divide o?
False
Let g be (9/3 - 26)*-1. Let q = g - 15. Suppose 3*o - q*o + 30 = 0. Is o a multiple of 4?
False
Suppose 11*w - 6 = 8*w. Suppose 0 = -w*h + 123 + 65. Is 28 a factor of h?
False
Suppose 0 = 4*d - 30 - 14. Let p(k) = 0*k - 3 + 5 + 0*k + d*k**2. Does 15 divide p(2)?
False
Suppose -19 = -4*k - x, -2*k + 4*x - 2 = 2. Suppose -h + 30 = k*h. Does 3 divide 9 + -2 + (h - 5)?
False
Suppose -3*n + 7*n - 14 = -3*a, -2 = -5*a + 4*n. Suppose 3*x - 2*x - a = 0. Suppose x*w = 5*w - 123. Is w a multiple of 13?
False
Let a(b) = b - 10. Let s be a(15). Suppose -2*h = -s*h + 3. Is 15 a factor of (-29 - h)/(6/(-15))?
True
Suppose 2*l + l - 531 = 3*x, -5*l = -x - 873. Suppose 2*c - 58 = l. Is 27 a factor of c?
False
Let t be ((-12)/9)/(((-14)/(-3))/7). Is 7 a factor of t + (1 - 72/(-2))?
True
Suppose -4*i = 3*z - 0*z - 23, -4*i + 14 = 2*z. Suppose -1360 = z*r - 25*r. Is 17 a factor of r?
True
Let i(k) = k + 3. Let d be i(-3). Suppose d = -3*u + 25 + 50. Does 25 divide u?
True
Let y = 79 - 64. Let v = -2 - -55. Let o = v + y. Is 17 a factor of o?
True
Let s = -39 - -146. Let p = -3 + s. Suppose p = 6*h - 2*h. Is 13 a factor of h?
True
Let x be 7/(-28) - 21/(-4). Let y = 13 + x. Is 9 a factor of y?
True
Let q = -2752 + 3270. Is 7 a factor of q?
True
Let c(n) = n**3 + 17*n**2 - 22*n + 4. Is c(-18) a multiple of 4?
True
Does 19 divide (-112)/(-14) - (7 - 1308)?
False
Let c be ((-1022)/21)/(2/(-3)). Let a = 141 - c. Is 6 a factor of a?
False
Suppose z + 9 = 5*v, 4*z - v = -0*v + 59. Does 7 divide -2 + z + -3*(-4 - -3)?
False
Let v(g) = -g**3 - 2*g**2 + 9*g + 12. Let u be v(-5). Let q = 92 - u. Is q a multiple of 12?
False
Is ((-3)/(-2) + 3)/((-24)/(-496)) a multiple of 93?
True
Let s be -2 + 4 - 2/(3 - 5). Suppose 9*q + s*y - 111 = 5*q, -y + 77 = 3*q. Does 12 divide q?
True
Let b(f) = -4*f + 3. Let c be b(-2). Suppose i + c = 2*i. Suppose -1 = h - i. Is h a multiple of 4?
False
Suppose -4*l + 2*l - 3*r = 72, 180 = -5*l - 4*r. Let c = -13 - l. Let n = c - -89. Is 24 a factor of n?
False
Suppose 5*z = -2*u + 29, -5*u + 7*z + 2