factor of i?
True
Let t(i) = i**3 + 12*i**2 - 7*i. Is 9 a factor of t(-11)?
True
Let y(x) = 6*x**2 - 7*x + 21. Let s be y(-7). Suppose 0 = -48*n + 52*n - s. Is 13 a factor of n?
True
Let g = 291 - 131. Suppose -2*b = 2*k - g, -k = 2*b + 14 - 172. Is 13 a factor of b?
True
Suppose y = -2*j - j + 31, -y = 2. Let x(m) = j + 11 - 1 - m. Does 2 divide x(14)?
False
Suppose -2*x - 3*x - 70 = 0. Let w(y) = y**3 + 14*y**2 + 7. Let k be w(x). Suppose -3*q + 41 + k = 0. Does 4 divide q?
True
Let p(j) = -7*j**3 - 9*j**2 - 5*j + 27. Let q(u) = 11*u**3 + 13*u**2 + 7*u - 41. Let n(t) = 8*p(t) + 5*q(t). Does 2 divide n(-6)?
False
Suppose 4*c + 174 = 1002. Is 9 a factor of c?
True
Let x = 6 - 6. Let z(c) = 2 + x*c - c + c + c. Is z(10) a multiple of 6?
True
Let y = 4 + -9. Suppose -2 + 11 = 3*r. Is (r/y)/((-1)/25) a multiple of 10?
False
Suppose 3*y - 4 = y. Suppose -20 = 4*h, -4*c - 18 = -8*c - y*h. Is 21 a factor of 18*(c/3 - 0)?
True
Let n be 12/(-54) + 166/18. Let c = 50 + n. Is c a multiple of 3?
False
Suppose -u - 7 = -2*u. Suppose 0 = -2*h + m, 4*h - u*m = -2*m. Suppose h*n + 40 = 5*n. Is 3 a factor of n?
False
Let z(u) = 15*u - 41. Does 24 divide z(8)?
False
Let z = 107 + 211. Is 67 a factor of (z/12)/(1/4)?
False
Let d(a) = -127*a + 6. Is 129 a factor of d(-3)?
True
Let p be ((-5)/(-10))/((-2)/(-28)). Suppose 4*k - p = 13. Is k a multiple of 2?
False
Let c = -20 + 13. Let m(g) = g**2 + 15*g + 22. Let h be m(-13). Is 18 a factor of (-54)/c*(-28)/h?
True
Let d be ((-10)/(-5) - 3)*-17. Suppose -u = 4*v - 59, d = 2*v + 5*u - 8. Let k = 48 + v. Is 9 a factor of k?
True
Let t = 466 + -412. Is 9 a factor of t?
True
Suppose 5*x + t = 10 + 1, x = 2*t. Suppose o - 5*g - 87 = 88, 5*g = -4*o + 650. Suppose 396 = 5*s + 3*f - f, -x*s + o = 3*f. Does 14 divide s?
False
Let h(v) = -3156*v - 3164*v + 6323*v - 10 + 3*v**2. Let i = 0 - 6. Does 19 divide h(i)?
False
Suppose 39*m + 53820 = 84*m. Does 46 divide m?
True
Suppose 6*d - 25 = 5. Suppose d*o - 131 = i, -4*i = -o - i + 29. Let z = o + -14. Does 4 divide z?
True
Let r(t) = -14*t - 91. Let j be r(-6). Let s(f) = -29*f + 6. Is 11 a factor of s(j)?
True
Let z(y) = 0 + 25 + 7*y + 8 - 5. Is z(17) a multiple of 27?
False
Suppose 3*l = 6*l - 273. Suppose -82 = -2*p + 2*t, -t = 3*p + 4*t - l. Let s = p - 4. Does 14 divide s?
False
Suppose 90 = 5*a - h, 2*a = -3*h + 2*h + 29. Let c = a - 17. Suppose -2*b + 3*s = -228, c = -7*b + 3*b + 4*s + 452. Is 23 a factor of b?
False
Suppose 3*g - 31 = -91. Let t = g + 60. Does 8 divide t?
True
Let g = 11 + -15. Let r = -22 - g. Is 9 a factor of -1*r*(-2 + 3)?
True
Suppose 17*i = 11*i + 2*i. Let b(p) = -p**3 + 288. Is 17 a factor of b(i)?
False
Let n(l) = -2*l**3 - 43*l**2 + 6*l - 44. Does 6 divide n(-22)?
False
Let a = 1399 + -829. Is 20 a factor of a?
False
Let t = 27 - 22. Suppose 9*w - 4*w = t*g + 30, -5*w = -15. Let l = 30 + g. Is 10 a factor of l?
False
Let v(p) = 17*p**2 - 3*p + 3. Let f be v(2). Suppose 4*j = 5*l - 4*l - f, -3*l = -4*j - 195. Does 13 divide l?
True
Let j(l) = 12*l**3 - 2*l + 1. Let a be j(1). Suppose -20 = -a*x + 6*x. Suppose x*o = 128 + 148. Is 26 a factor of o?
False
Let u(p) be the second derivative of 3*p**3/2 - p**2/2 + 18*p. Let n(r) = r**3 + 3*r**2 - r - 1. Let k be n(-3). Is 6 a factor of u(k)?
False
Let p(z) = 166*z**3 - 10*z**2 + 12*z + 8. Does 15 divide p(2)?
True
Suppose 28*k = 23*k + 420. Does 6 divide k?
True
Suppose 0 = 2*f + 5*h - 1400, 3438 = 5*f + 3*h - 6*h. Let j = -254 + 257. Suppose -2*g = j*g - f. Does 30 divide g?
False
Let b be (-1 - -2)*(-1 - -307). Suppose b = 5*a - y + 82, -a = -4*y - 60. Suppose -3*t = u - a, -8 = -t - 0*u + u. Is t a multiple of 7?
False
Let c = 382 + -375. Is 2 a factor of c?
False
Let h(t) = -41*t - 4. Let l be 40/(-18) + 16/72. Is h(l) a multiple of 31?
False
Let u(f) = -f**2 + f + 1. Let g be u(2). Let k be 3/(2 - g)*7. Let a = k + 12. Does 19 divide a?
True
Suppose 0*f + f + 45 = 5*z, f - z = -45. Let o be (15/9)/(f/(-54)). Suppose -2*a + 440 = 4*y, -y + 116 = o*a - 3*a. Is 28 a factor of y?
True
Let y be 3*8/(-18)*(-1938)/4. Let b = y + -365. Is 15 a factor of b?
False
Is 18 a factor of 262 + ((-2)/2 - 9)?
True
Let p = -192 + 362. Suppose n = -n + p. Is (-2 + 5)/(-3) + n a multiple of 18?
False
Let v = -34 + 141. Does 10 divide v?
False
Is (-86)/(-559) + 51/13*28 a multiple of 3?
False
Let l = -4115 - -7494. Is l a multiple of 27?
False
Let u(l) = -l**2 - 5*l - 6*l - 2*l + 2*l. Let t be u(-10). Let s = t - 3. Is s a multiple of 2?
False
Let x(l) = 2*l + 37. Let i be x(-18). Let b = 3 + i. Is 4 a factor of b?
True
Is (65/(-26))/(4/(-1272)) a multiple of 53?
True
Suppose -b = 4*r - 219, 4*b + 4*r - 876 = -0*b. Suppose 269 = 4*a - b. Suppose 0 = -2*m - d + 110, 0*d = -2*m + 5*d + a. Is 31 a factor of m?
False
Let r(p) = 9*p**2 - 4*p - 143. Is 11 a factor of r(-11)?
True
Suppose -10*v + 1109 + 271 = 0. Is v a multiple of 41?
False
Let v be (-4 + 5)/((-1)/(-10)). Suppose 4*k - k = -3*w + 3, 0 = 5*k + v. Suppose -w*r = -4*r + 14. Is 14 a factor of r?
True
Suppose -120 + 8 = -4*s. Let r(m) = 16*m + 181. Let l be r(-11). Let k = s + l. Is 16 a factor of k?
False
Suppose 0*u + 4*u = 3*v - 450, -5*v - 2*u + 750 = 0. Let j = v + -67. Is j a multiple of 19?
False
Let m be 23 + (0 - -1) - 1. Suppose -3*o + 3*w = -30, o + 1 - m = 4*w. Suppose 0 = o*g - 5*g - 58. Does 20 divide g?
False
Let f = -11 + 7. Let x(s) = 5*s**2 - 5*s**2 - 5*s + 6*s**2 - 5*s**2 - 12. Is 24 a factor of x(f)?
True
Let j(r) = -93*r - 232. Is 30 a factor of j(-14)?
False
Let k(c) = 728*c - 3. Let p be k(1). Suppose 10 = 3*m + 1, -5*x + 5*m + p = 0. Is x a multiple of 37?
True
Suppose 0 = -t - 3 + 10. Is 42 a factor of (-35 - t)/((-2)/1 + 1)?
True
Suppose 4*r = 2*i + 1512, 257 = -4*r + 4*i + 1777. Does 4 divide r?
True
Is 13 a factor of (1647 - (-4 + 9))/2?
False
Let h be 52/14 + (-10)/(-35). Suppose -196 = -5*a + 94. Suppose -5*t + 44 = h*m - a, -m = -t + 15. Is 9 a factor of t?
True
Suppose 129*x - 147*x = -6264. Is 5 a factor of x?
False
Let o(c) be the second derivative of c**3/2 + 6*c**2 - 4*c. Is 27 a factor of o(5)?
True
Suppose 2*n + 6*z - z = -11, 2*n + 2*z = -2. Suppose -3*w - 169 = -n*s, 0*w = -4*s + w + 343. Is s a multiple of 26?
False
Let h(f) = 2*f**2 - 3*f - 18. Does 6 divide h(-7)?
False
Suppose -3*p = -72 + 27. Let d(q) = -q**3 + 16*q**2 - 12*q + 7. Does 26 divide d(p)?
True
Suppose i - 2*k + 664 = 3*i, -644 = -2*i + 8*k. Is i a multiple of 22?
True
Let t = -35 - -52. Let g = t + -14. Is 21 a factor of (g - 15/6)*94?
False
Suppose 13*m - 15 = 8*m. Suppose m*a - 2*h - 502 + 1409 = 0, 0 = 3*a + 4*h + 913. Let y = -189 - a. Does 26 divide y?
False
Let s(q) = -q - 4. Let h be s(2). Is ((-112)/h)/(4/6) a multiple of 14?
True
Let x = -551 - -1061. Suppose 17*w = 12*w + x. Is w a multiple of 17?
True
Let l(s) = 12*s**3 + 4*s**2 + 6*s + 4. Let p(q) = 13*q**3 + 5*q**2 + 7*q + 5. Let k(j) = -6*l(j) + 5*p(j). Let u be k(1). Is u/8 - (-4199)/68 a multiple of 12?
False
Suppose 61*k - 50*k - 3982 = 0. Is k a multiple of 6?
False
Let n(j) = -j**2 + 5*j + 7. Let d be n(8). Let m = -14 - d. Is 2 a factor of (m + -8)*1/(-1)?
False
Suppose 0 = j - 4*v - 134, -3*v - 7 - 8 = 0. Is 6 a factor of j?
True
Suppose 58*w = -5*w + 120267. Does 70 divide w?
False
Suppose -3*q = 3*o - 1248, 10*q - 5*o = 8*q + 818. Is q a multiple of 11?
False
Let r(h) = h - 7. Let b be r(7). Suppose -y + s + b*s = -201, y + s - 201 = 0. Suppose 3*d - 201 = -0*d + 2*g, 4*g + y = 3*d. Is 18 a factor of d?
False
Let q(f) = f + 19. Let t be q(-16). Suppose 3 = i, -3*o + t*i = -206 - 328. Is 18 a factor of o?
False
Suppose -2*g - 5*n = 50 - 2171, 3*g + 3*n - 3195 = 0. Is 6 a factor of g?
True
Let k be (-191 + 1)/(8 - 6). Suppose 2*b + b - 38 = x, -x - 33 = -4*b. Let a = x - k. Is a a multiple of 14?
True
Suppose 8*f + 2*n = 3*f + 154, f + 5*n = 17. Suppose 7*g - 3*g - f = 0. Let h(a) = a**2 - 6*a + 3. Is h(g) a multiple of 6?
False
Let n = -570 + 1577. Is 12 a factor of n?
False
Let a = -73 - -103. Is 29 a factor of (a/(-9))/(4/(-174))?
True
Let t(p) = 12*p - 3*p - 5 - 21*p. Let i = -4 + 2. Is 7 a factor of t(i)?
False
Suppose -l + 11 = -24. Let c(d) = l*d**3 - 34*d**3 + 8*d**2 + 0*d - 8 + d. Is 17 a factor of c(-6)?
False
Let o(x) = x**3 + x**2 - 3*x + 2. Let v be o(-3). Let l = 5