b**3 - 1. Let v(x) = z*n(x) + o(x). Does 10 divide v(-3)?
False
Let h(b) = 3*b - 10. Let t be h(7). Suppose 3*q - 5*q - 4 = 0. Let i = q + t. Is i a multiple of 2?
False
Suppose 7*n + 1474 = 6234. Is n a multiple of 8?
True
Does 12 divide 3078/15*50/15 + 5?
False
Let v be (5/(-4))/((-2)/8). Suppose 5*t - t + 84 = -v*a, -3*a - 5*t - 53 = 0. Is 9 a factor of (-1245)/(-25) + a/20?
False
Let i be 0/((-16)/4 - -6). Does 5 divide (-1 - -6)/(i - -1)?
True
Let w = 69 + -67. Suppose 2*t - 36 = -w*t. Does 8 divide t?
False
Let p(q) = -q**3 + 21*q**2 - 20*q + 57. Is 32 a factor of p(9)?
False
Let s(u) be the third derivative of u**5/30 - 11*u**4/24 + u**2. Let t be s(8). Suppose 0 = 2*k - 3*j - 40, -k - k = 3*j - t. Does 10 divide k?
True
Let x = 25 - 62. Let o = x + 57. Is 4 a factor of o?
True
Suppose 0 = -2*p + 59 + 299. Is 5 a factor of p?
False
Let z(h) = 56*h**2 - 3*h + 4. Is 28 a factor of z(2)?
False
Let t be (99/(-4))/((-2)/(-8)). Let a = 201 + t. Is 19 a factor of a?
False
Let x be 11/2 + 18/(-12). Suppose x*f - 783 = 301. Suppose -3*v = 3*a - 8*v - 212, -5*v = 4*a - f. Is a a multiple of 23?
True
Let a(b) = -b**2 - b + 1. Let y(v) = v**2 + v. Let n(d) = 2*a(d) + 4*y(d). Does 14 divide n(-3)?
True
Suppose 7*u + 583 - 4279 = 0. Is 44 a factor of u?
True
Let o be (10 + 1)*3 - -1. Let l = o + -32. Is l a multiple of 2?
True
Suppose 0 = -14*q + 15*q + 5*x - 214, 0 = x + 5. Does 9 divide q?
False
Let a(c) = c**3 + 7*c**2 + 5*c - 14. Let v be a(-6). Does 9 divide 22*((-4)/v + 0)?
False
Let x be (-17*6)/((-9)/30). Suppose 4*v - 299 = 3*d, x = 3*v + 2*v + 3*d. Is 19 a factor of v?
False
Suppose -3*l + 420 = -0*l. Let u = l + -266. Is (u/(-15))/((-3)/(-15)) a multiple of 17?
False
Suppose -4*m - 30 = -6*m. Suppose 0 = -f + 6*f - m, 0 = -q - f + 26. Does 4 divide q?
False
Let k(p) = 8*p - 2. Let h(g) = -g - 1. Let z be h(-3). Suppose -z*m - m = -18. Is 23 a factor of k(m)?
True
Let c be 1*4/((-8)/6) + 3. Suppose -3*p - k + 31 = c, 0*k = -p + 4*k + 32. Does 7 divide p?
False
Let c(m) = m**3 + 5*m**2 - 9*m - 16. Let z be c(-5). Is z + 1 + (-2 - 2) a multiple of 9?
False
Let u be -18*2*(-2)/6. Let g = 22 + u. Is 4 a factor of g?
False
Let y = -1310 - -1857. Suppose 5*n - 3*v = -2*v + y, -4*n + 5*v = -446. Is 22 a factor of n?
False
Let n(q) = 7*q**2 - 13*q - 20. Is 81 a factor of n(-10)?
True
Let x(n) = 33*n**3 - 6*n**2 - 11*n + 8. Is 20 a factor of x(4)?
True
Suppose 3*k = -2*w + 6 + 4, w - 20 = -4*k. Suppose k*g - 2*g - 12 = 0. Suppose -164 = -7*q + g*q. Does 7 divide q?
False
Suppose 3*x + x + w - 1130 = 0, x - 287 = 2*w. Let f = x - 167. Suppose 0 = -4*y - 0*y + f. Does 12 divide y?
False
Is ((-152831)/21)/7*1*-3 a multiple of 148?
False
Let h = -385 - -105. Let k = -147 - h. Suppose u + 4*l + 128 = 5*u, 0 = 4*u + l - k. Is 11 a factor of u?
True
Let o be (-84)/(-18)*144/14. Let k = o + -19. Is 9 a factor of k?
False
Suppose -5*h - 2*v + 818 = -767, 0 = -3*v + 15. Is h a multiple of 30?
False
Let s(u) be the first derivative of 2*u**3 + 3*u**2 - 4*u - 9. Is 11 a factor of s(3)?
False
Suppose -2*j + 313 = 3*p, -3 = -2*j + 7. Suppose -p = 4*x + 99. Let k = 103 + x. Is 18 a factor of k?
False
Let x(m) = -2*m**3 + m + 0*m + 33 + 3*m**3. Let d be x(0). Let y = 47 - d. Is 5 a factor of y?
False
Let w be ((-34)/(-8))/((-3)/12). Let a = -14 - w. Suppose -2*d + a*d = 26. Is 13 a factor of d?
True
Suppose 9*y - 604 - 1700 = 0. Does 10 divide y?
False
Let y be (4/16)/((-4)/(-48)). Suppose 5*x + k = 38, -x + 5*k = -y*x + 29. Suppose 161 = 2*z + x. Does 22 divide z?
False
Let t be (4 - 7)*1/(-3). Let y = 4 + t. Suppose -r + y*r - 188 = 0. Is r a multiple of 13?
False
Does 8 divide (-17)/(-68) - (-2750)/8?
True
Suppose 352 = 7*r - 873. Is 29 a factor of (-8)/16 + (-1)/(-2)*r?
True
Let n(p) = 145 - 139 + 27*p + 9*p. Is n(3) a multiple of 19?
True
Is 12 a factor of 12/(-24) + 18300/24?
False
Suppose 48 = 3*j - 5*p, -p - 1 = j + 3*p. Let f(g) = 4*g - 24. Does 10 divide f(j)?
True
Suppose -4*g - 12 = -4*a, -a + 5 - 2 = 5*g. Suppose 0 = 5*l + 1 - 21, 2*f + a*l - 180 = 0. Is 28 a factor of f?
True
Let l(z) = -z**3 + z**2 + 2*z. Let r be l(2). Suppose -411 + 22 = -5*w + v, 2*v + 8 = r. Suppose -3*p + w = 26. Does 17 divide p?
True
Does 17 divide -4*1/(-4) - (-342 + 3)?
True
Let h(x) = x**2 - 9*x + 20. Let d be h(6). Suppose -d*s + s - 230 = -3*c, c - 80 = s. Does 15 divide c?
True
Let u(d) = 17*d - 1. Let f be u(3). Let r(k) = 5*k**3 - k. Let g be r(1). Suppose -f = -g*m - 2. Does 3 divide m?
True
Suppose -100 = s - 3*c, -20 + 448 = -4*s + 5*c. Let j = s + 210. Suppose 82 = 3*q - j. Is q a multiple of 15?
True
Let m be 4*(-110 - 15/5). Let l = m + 710. Is 43 a factor of l?
True
Let w(l) = -4*l - 9 + 1 + 4*l + 3*l**2. Does 10 divide w(-6)?
True
Suppose -s = -0*s - 13. Let c = s - 9. Suppose -3*k + a + 33 = 0, 0 = -c*k - 2*a + 20 + 34. Is k a multiple of 12?
True
Suppose 31*t = 20*t + 2541. Does 21 divide t?
True
Let u be ((-40)/70)/((-4)/14). Suppose 0 = -3*p, -d = -u*d + p + 62. Let g = d + -37. Does 5 divide g?
True
Suppose 4*m + 3*r = 1382, 2*m + 0*r = -2*r + 690. Let s = m + -194. Is 6 a factor of s?
False
Let i(p) = -44*p + 198. Does 33 divide i(-24)?
True
Suppose 2 = n - 1. Suppose 53 - 13 = 4*u. Suppose 4*d + u = 2*g + n*d, 5*g - 5*d = 15. Is 7 a factor of g?
True
Let c = 104 - 100. Suppose -12*l + 1872 = -c*l. Is 28 a factor of l?
False
Let t(z) = z**3 + 8*z**2 + 7*z - 3. Suppose 0*j - 4*j - 5*f = 34, 4*j + 4*f + 32 = 0. Let b be t(j). Is 654/27 + (-6)/b a multiple of 12?
True
Let t(u) = -11*u - 14. Suppose 3*p + 5 = -10. Is t(p) a multiple of 16?
False
Let o = 289 - 578. Let r = o - -419. Suppose -30 = 4*b - r. Is b a multiple of 25?
True
Let j(p) = p**2 + 6*p - 1. Let c be (-162)/(-15) + 2/10. Let s = -20 + c. Does 20 divide j(s)?
False
Suppose 107 = c - 71. Is 10 a factor of (c - 3)*((-12)/10)/(-3)?
True
Suppose 4*n - m - 1020 = 0, 0*m - 5*m - 20 = 0. Is 20 a factor of n?
False
Let x(g) be the third derivative of g**5/60 + g**4/8 - 2*g**3/3 - 2*g**2. Let c be x(-3). Is 3 + c + 3 + 70 a multiple of 16?
False
Let c = 7 + 38. Is 21 a factor of c?
False
Let z(s) = -2*s**2 + 2*s - 3. Let f be z(4). Let o be (-6)/f + 418/(-18). Let y = 19 - o. Is 11 a factor of y?
False
Let s = -178 - -1240. Is s a multiple of 30?
False
Suppose -2*s + 3*s + 4*b - 170 = 0, -5*b = 3*s - 510. Is 17 a factor of s?
True
Let z(x) = -16*x + 9. Let k be z(4). Let s = k + 91. Does 4 divide s?
True
Let p(v) = 52*v**3 - 13*v**2 + 29*v - 8. Let l(u) = -13*u**3 + 3*u**2 - 7*u + 2. Let c(x) = -9*l(x) - 2*p(x). Is c(2) a multiple of 6?
True
Suppose 44 = g - 58. Is 18 a factor of g/(-9)*36/(-6)?
False
Let x be (2/(-4))/((-11)/264). Let k = 3 - 3. Let o = x - k. Is 4 a factor of o?
True
Let b(m) = 7*m**2 - 5*m + 2. Let i be b(-5). Suppose 4*c + 38 = i. Is c a multiple of 9?
False
Suppose 5*f + 10 = -45. Let r = -12 - f. Is 15 a factor of r + 36/2 - 2?
True
Let r(q) = 184*q - 31. Does 20 divide r(3)?
False
Let t(b) be the second derivative of -7/6*b**3 + 2/3*b**4 - 1/20*b**5 + 4*b**2 + 0 + b. Is 8 a factor of t(7)?
True
Let k(p) = 4*p**2 + 1. Let x be k(-1). Suppose -2*r - 5*h = -5*r + 5, -x*r = -5*h - 25. Suppose -c - r = -22. Is 4 a factor of c?
True
Let s(w) = 2*w - 4. Let t be s(4). Suppose 4*r - 228 = 4*d, 0 = 3*r + t*d + 30 - 180. Is 18 a factor of r?
True
Suppose 0 = -4*h + 5607 + 985. Is 16 a factor of h?
True
Let r be 0 - (-27)/5 - (-4)/(-10). Let x = 1 + -1. Suppose -2*a = -h - 25, -5*h - r = -x. Is a a multiple of 7?
False
Let z be -4*(-67)/16*2*-2. Let j = -37 - z. Does 20 divide j?
False
Let u(f) = -9*f**3 - 8*f**2 - 11*f + 6. Is u(-3) a multiple of 11?
False
Let s(c) = 10 - 32*c + 3 + 1 - 16*c. Let b be s(4). Let k = -97 - b. Does 27 divide k?
True
Let a(m) = 1013*m + 489. Does 28 divide a(3)?
True
Let m be (8/(-1))/(-22 + 23). Let l = m + 74. Is 44 a factor of l?
False
Let k(u) = -5*u - 4. Suppose -2*l + 0*q - 28 = 2*q, 3*q = -4*l - 53. Is 51 a factor of k(l)?
True
Is 3 a factor of -4 + 25/2 - (-2)/4?
True
Let r be 42/105 - (2732/(-10))/2. Let f = r + -40. Is f a multiple of 7?
False
Let k = 241 - 145. Suppose 3*y - 2*y - 5*l = k, 503 = 5*y - 2*l. Does 44 divide y?
False
Suppose 0 = 4*z + 2*z - 300. Is 10 a factor of z?
True
Let f(p) = 10*p - 5. Let m be f(10). Let r = m + -29. Is r a