-i**3 + 7*i**2 + 4*i - 2. Let v be u(7). Is 2 a factor of v/6 - (-2)/3?
False
Suppose -220 = -11*o + 6*o. Suppose -2*u - 2*p = 2*p - o, 0 = -u + p + 25. Does 11 divide u?
False
Let d be 5*4*(-6)/(-40). Suppose -d*p + 33 = 4*n + 2*p, 3*p = -9. Is 6 a factor of n?
True
Let y = 65 - 33. Suppose 5*s = 4*s + y. Suppose o + 3*o = s. Is 5 a factor of o?
False
Let x = -15 + 7. Let g = 13 + x. Is 5 a factor of g?
True
Let r be ((-10)/(-1))/(-1 + 3). Suppose -5*g = 0, r*g - g = f - 11. Is f a multiple of 5?
False
Let j be (-1 + 0)*-3 - -1. Let b = 11 - j. Suppose 3*q - 4*q = -b. Is q a multiple of 5?
False
Let j = 46 + -64. Let d be (-436)/j + 4/(-18). Suppose n - 5*n = -d. Is 3 a factor of n?
True
Suppose o + 5*r - 59 = 0, 3*r + r = 4*o - 284. Is 19 a factor of o?
False
Let l = 1 - -4. Suppose l*t - t = 100. Suppose -3*x = -8*x + 2*w + t, x + w = 12. Does 7 divide x?
True
Suppose 0 = -5*f - 10 - 0. Let j = f - 7. Let h = -5 - j. Is h a multiple of 2?
True
Let d = -25 + -17. Let x = 29 + -54. Let g = x - d. Is g a multiple of 7?
False
Let l(p) = 2*p + 31. Does 5 divide l(10)?
False
Suppose 4*j - 2*i = 78, 0 = -4*j + 3*i - 8*i + 43. Let d = j + -10. Does 5 divide d?
False
Let w = 1 + -1. Let r be w/(-2 + 1 - -3). Suppose l + r*l = -g + 37, 3*g = -l + 101. Is g a multiple of 14?
False
Let l be (-3 - 0)/(33/(-286)). Let q = -4 + l. Is q a multiple of 22?
True
Let t(u) = u**3 + u**2 + u + 24. Does 3 divide t(0)?
True
Suppose 2*l + 71 = 3*h, h - 4*h + 3*l = -66. Is 4 a factor of h?
False
Let p(r) = r + 6. Let l be p(-3). Suppose -2*d - l = 3. Let v(g) = -2*g**3 - 3*g**2 + g + 2. Is v(d) a multiple of 13?
True
Let n = 3 - 1. Suppose -3*a = -3*i + 6, 0 = 6*i - n*i + 4*a + 8. Suppose i = -5*z + 4*c + 61, -3*z + z = -5*c - 38. Is z a multiple of 7?
False
Suppose -2*z - 2*z = -20. Let t = z + -4. Does 2 divide (-6)/4*(-1 - t)?
False
Suppose 2*h + 15 = h. Is (-6)/(-10) - 126/h a multiple of 8?
False
Let y be 6*(-1)/((-2)/17). Let q = y - 17. Does 17 divide q?
True
Let f = 21 + -20. Is 12 a factor of 4*1/(f/6)?
True
Suppose -82 = -3*d + d - 5*n, -3*d = n - 110. Does 6 divide d?
True
Let n = -18 + 173. Is 31 a factor of n?
True
Suppose -2*w = -5*w - 72. Is (-16)/w - 44/(-6) a multiple of 5?
False
Suppose 4*z + 2*j - 67 = 123, 4*z - 187 = j. Is 14 a factor of z?
False
Is 16/9 + 6/27 even?
True
Suppose -2*r + 3*r = -4*t + 1436, 1076 = 3*t + r. Suppose -s + t = 4*s. Is 17 a factor of s?
False
Suppose -h - 3*x = 2*x - 64, 0 = 3*h - x - 192. Is h a multiple of 16?
True
Let k be 8/32 - (-1)/(-4). Let n = 5 - k. Suppose -p + 8 = n*v - 3, -5*v - 5 = 0. Does 8 divide p?
True
Let r be (35/14)/((-1)/(-2)). Suppose -n = r*b - 26, 0 = -7*n + 2*n - 3*b + 152. Is 11 a factor of n?
False
Let t(y) = 6. Let g(n) = -n - 12. Let o(w) = 6*g(w) + 11*t(w). Let l = -6 - 0. Does 15 divide o(l)?
True
Suppose 0 + 2 = -q, -4*q = g + 6. Let c(o) = 3 + 2 + 2*o - 3. Is 3 a factor of c(g)?
True
Let g be (-92)/(-10) + (-7)/35. Let o = 36 - g. Is o a multiple of 24?
False
Let d(g) = 5*g**2 - g - 9. Let j(b) = -11*b**2 + 2*b + 18. Let o(v) = 9*d(v) + 4*j(v). Let y be o(-11). Does 13 divide (y/12 + 0)*4?
False
Let z(x) = -x**2 - 7*x + 4. Suppose 0 = -0*n + 2*n - 8. Suppose -12 = 2*d + n*j, -2*j = 5*d - 5*j + 17. Is z(d) a multiple of 13?
False
Let j be 43*(0/(-3) - -1). Let n = 64 - j. Does 7 divide n?
True
Suppose 3*h - 2*h - 196 = -2*q, h = q - 95. Is q a multiple of 21?
False
Let c(a) = -a**2 + 5*a + 6. Let d be c(5). Suppose -3*o + d*o = -12. Let b = 2 - o. Does 3 divide b?
True
Suppose -10 = -0*x - x. Does 5 divide x?
True
Suppose -4*g + 8 = 8*t - 3*t, -3*t + 3*g = -21. Let w(l) = -4*l + 1 - t*l - l. Does 5 divide w(-1)?
True
Let u = -18 - -36. Let q = u + -4. Does 7 divide q?
True
Let l(w) = 4*w**2 - 8*w + 18. Is l(4) a multiple of 10?
True
Let y = -3 + 5. Let x = -1 + 0. Let a = y - x. Is a even?
False
Let g = -14 - -23. Let i be -1 + g - (3 + -1). Let q(s) = 2*s**2 - 9*s. Does 6 divide q(i)?
True
Let b be 2/9 - 6096/(-27). Suppose -4*c + u + 21 = 0, -4*u = 2*c - 0*u - 6. Suppose -z = m - 0*m - 45, c*m + 4*z = b. Does 23 divide m?
True
Let f be (-4)/14 + 270/63. Let j(o) = -3*o**3 - o + 5*o**2 + 1 + 2*o**3 + 3. Is 7 a factor of j(f)?
False
Is (4/10)/(10/250) even?
True
Let g = 168 + -120. Is g a multiple of 12?
True
Let p(w) = w**3 - 6*w**2 + 2*w - 9. Suppose m = 2*m - 6. Let c be p(m). Suppose g - c = 24. Is g a multiple of 7?
False
Let k(v) = 6*v**2 - 2*v + 1. Let a be k(3). Suppose -4*g = -5*z + 465, -3*z + a = -4*g - 230. Suppose 2*t = -15 + z. Is 24 a factor of t?
False
Let g(o) = o**3 + 18*o**2 - 5*o - 40. Is g(-18) a multiple of 5?
True
Suppose 2*c - 25 = -5*b, c = b - 3*c - 5. Suppose -178 = -b*w + 5*r - 4*r, -3*r - 114 = -3*w. Is w a multiple of 35?
True
Suppose 0 = 4*y, -r + 2*y + 10 = -0*r. Is r a multiple of 5?
True
Suppose -103 = -h + o - 23, 4*o = -3*h + 275. Let d = h + -53. Does 8 divide d?
True
Suppose -6 = -2*q - 0. Is 9 a factor of 6/18 - (-26)/q?
True
Suppose 0 = c - 2*c - 2. Let z = 2 + c. Does 5 divide (z + 1)*-6*-1?
False
Let v(d) = d**3 - 8*d**2 - 7*d - 5. Let i be v(9). Suppose i + 30 = b. Is 21 a factor of b?
False
Let f be 20/12*(5 - 2). Suppose -4*x - 82 = -3*d, -f*d = x - 67 - 39. Does 8 divide d?
False
Let r(p) = 10*p - 6. Does 32 divide r(7)?
True
Suppose 0*t + 6 = -4*h - t, 5*h + 5*t = -15. Is (-21)/h + 6 + -3 a multiple of 9?
False
Suppose 2*r + 0 = 4. Suppose r*x - 6 = -4*m, 0 = x + x - 2*m - 36. Is 5 a factor of x?
False
Suppose 6*u + 3*f + 10 = u, 4*u - 5 = -5*f. Let q = 15 + -1. Let c = q + u. Is c a multiple of 6?
False
Let n be 2*-1*1/2. Let r = -6 - -10. Is (r/5)/(n/(-25)) a multiple of 12?
False
Is (-46)/(12/(-9) - -1) a multiple of 36?
False
Let u be 9/2 - (-4)/(-8). Suppose -4*c - 3*l + 5 = 0, u*c - 1 = l + 8. Suppose -c*w = w - 54. Is w a multiple of 9?
True
Let q = 82 - -39. Is 30 a factor of q?
False
Suppose 2*t + 0*t = 0. Suppose -s + 4*s - 69 = t. Is s a multiple of 12?
False
Let f = 11 + -7. Suppose b - f*v + 13 = 0, -2*b + b = -5*v + 16. Is 7 a factor of (-13)/b*1 + 1?
True
Let m(i) = i**3 + 5*i**2. Does 3 divide m(-4)?
False
Suppose 0 = 2*n + 2*n. Suppose 0 = -5*k + 3*k + 6. Suppose -4*c - 5 = -d, k*d + c - 6*c - 43 = n. Does 21 divide d?
True
Let k(d) = d**3 + 5*d**2 - 8*d - 3. Let z be k(-7). Is 15 a factor of 5/(z/6)*-45?
True
Let g = 1 + 18. Is 5 a factor of 0 + 0/3 + g?
False
Suppose -b - 2*u + 3 = 0, 4 = 3*b + u - 0*u. Does 15 divide (-2)/(-1) - -28*b?
True
Suppose -j + 2*o = -24, 65 = 5*j + 4*o - 41. Is 22 a factor of j?
True
Suppose -2*l + l - 22 = 2*i, -i - 29 = 5*l. Is 13 a factor of 904/14 - i/21?
True
Suppose 2*r = 3*i - 0*i + 116, 2*r = 8. Is 4 a factor of -10*(i/(-15))/(-2)?
True
Suppose 15*d - 36 = 174. Is d a multiple of 2?
True
Is 21 a factor of 5/(-1)*(196/10)/(-1)?
False
Suppose -2*g = 3*g - 180. Let n = 51 - g. Is 4 a factor of n?
False
Let r(k) = 2*k**2 + 2*k - 1. Let s be r(1). Let a = 3 - s. Suppose 3*o - z - 31 = a, -3*o + 8*o = -5*z + 25. Is o a multiple of 9?
True
Suppose -3*d - 3 + 15 = 0. Suppose m - w = -3*w - 2, -d*w - 32 = -5*m. Is m even?
True
Suppose 3*v + 5*m = 156 + 176, v - 2*m = 96. Is v a multiple of 26?
True
Let z = 0 + 29. Let t = z - 4. Let g = 54 - t. Is g a multiple of 11?
False
Suppose -444 = -2*j + k, -1116 = -5*j + 2*k + 2*k. Does 22 divide j?
True
Let v(y) = 0*y**2 + 5 - 3*y + 0 + y**2. Is v(5) a multiple of 5?
True
Let n be 2/4 + (-215)/(-10). Let o(c) = c**3 - 4*c**2 + 3*c - 7. Let q be o(5). Let x = q - n. Is 11 a factor of x?
True
Suppose 0 = -y - 3*y + 12. Suppose 35 = 4*q + y*v, -2*q - 3*v + 21 = 2*v. Let w = 6 + q. Is w a multiple of 14?
True
Let f(n) = -n - 2. Let w be f(0). Let z(y) = -y**3 - 3*y**2 + 1. Let k be z(w). Is 11 a factor of 14 - -1 - (5 + k)?
False
Let l = -751 + 1103. Is 32 a factor of l?
True
Let t = -5 - -22. Is t a multiple of 16?
False
Let x(q) be the second derivative of -5*q**3/6 - 5*q. Is 3 a factor of x(-2)?
False
Let w = -38 - -56. Does 9 divide w?
True
Suppose -5*u - 402 = -2*k, -u + 4 = -2*u. Suppose 4*s - k = 25. Does 27 divide s?
True
Let z = -47 + 59. Suppose -5*l = 16 + 14. Let s = z + l. Is s a multiple of 6?
True
Suppose 2*j - 4*j + 4 = 0. Suppose -2*v = j*v - 8. Suppose 5*n + 25 = 0, 2*c - 18 = -v*c + 2*n. Is c even?
True
Let u(n) = -4*n - 21. Is u(-11)