 -65 + 69. Suppose 4*i - d = 24. Is 2 a factor of i?
False
Let s = -41 - -117. Let u = s + -21. Is 11 a factor of u?
True
Suppose 2*y = -8*y + 20. Suppose 3*z + 5*a = 342 + 52, -4*z = -y*a - 508. Is 32 a factor of z?
True
Suppose -4*h + 0*h - a + 5015 = 0, -3*h + 3765 = -3*a. Is 66 a factor of h?
True
Let o(j) = 14*j**3 + j**2 + j - 1. Let g be o(1). Suppose a + 4*a + g = 0, 297 = c - 3*a. Suppose -m = 3*m - c. Is 20 a factor of m?
False
Suppose 5*n + 3 = -2*d, 0 = -2*d - 0*n + 2*n - 24. Is d/(-2) - (0 - 4)/(-8) a multiple of 4?
True
Let j(q) = 417*q - 786. Is 11 a factor of j(6)?
True
Suppose -j + 229 = n, 2*j = -3*j - 3*n + 1143. Is 57 a factor of j?
True
Let l(s) = 97*s**3 - 2*s + 2 - 4*s**2 + 57*s**3 + 3*s**2. Let d be l(1). Suppose -4*w - 3*h + 64 = -3*w, d = 3*w - 4*h. Does 8 divide w?
False
Suppose -2*h - 25 = -3*r - h, 0 = -3*r + 2*h + 29. Suppose -r*s - 232 = -9*s. Does 10 divide s?
False
Does 75 divide 45604/38 + (-88)/836?
True
Suppose w - 8*f = -3*f + 23, -5*w + 3*f = -27. Does 8 divide (-42)/w*108/(-21)?
True
Does 23 divide -6 + (3 + -11442)/(-9)?
True
Let j(w) = 2*w**2 + 15*w - 28 - 3*w**2 + 0*w**2 + 7. Is j(9) a multiple of 11?
True
Suppose -28*n = -52*n + 432. Is n a multiple of 2?
True
Let k(n) = -n**2 + n - 2. Suppose -8*m = -4*m. Let l be k(m). Is 6 a factor of (-1)/l*(-324)/(-9)?
True
Let x = -683 - -959. Suppose 5*c - c = x. Does 23 divide c?
True
Suppose -234 = -g - h + 2*h, 3*g - 700 = 4*h. Is g a multiple of 23?
False
Let q be 8/6*3048/32. Suppose -q + 7 = -4*f. Is f a multiple of 15?
True
Let w = -11 - -12. Is 15/(-5) + 7 + 67 + w a multiple of 9?
True
Let t(z) = 2*z**2 + 10*z + 6 - 4*z + z - 31. Is t(-11) a multiple of 20?
True
Suppose -21*d = -w - 18*d + 74, -2*d + 324 = 4*w. Does 16 divide w?
True
Is -19 - -16 - (4/2 - 59) a multiple of 9?
True
Let u = -44 - -61. Let g = 107 - u. Does 45 divide g?
True
Suppose 4*s - 1 = 11. Suppose -3*m - 4*h - 6 = 0, -5*h - 11 = -m + s*m. Suppose 2*x = -m*x + 3*w + 52, x - 3*w - 4 = 0. Does 8 divide x?
True
Let c = 58 + -38. Let s be (4/5)/((-4)/c). Let p = s - -7. Is 3 a factor of p?
True
Suppose -3*a + 200 + 316 = -4*i, -i + 3 = 0. Let s = -96 + a. Is s a multiple of 54?
False
Suppose 2*z + z - 33 = 0. Suppose -2*s + 109 + z = 0. Suppose 0*i + 5*i = s. Is 4 a factor of i?
True
Suppose -9*k + 7*k = -1020. Does 34 divide k?
True
Let f(v) = -v**2 - 4*v + 2. Let a be f(-3). Suppose -3*d = z + 29, 77 = a*z - 4*d + 317. Is 1386/z*2/(-3) a multiple of 7?
True
Suppose 5*c - 223 = -2*l, -l + 4*c - c = -117. Is l a multiple of 19?
True
Does 2 divide (-3080)/(-84) + (-5)/3?
False
Suppose -2*m + 14 = -m. Is 7 a factor of m?
True
Let c = -78 + 318. Is c a multiple of 40?
True
Let g(w) be the first derivative of -w**4/2 - 2*w**3 - w**2 - 1. Let b = 145 + -150. Is g(b) a multiple of 29?
False
Let q be ((-18)/(-8))/((-1)/(-12)). Let g = q - -39. Suppose 0*f + 2*o + g = 5*f, -2*f = 5*o - 9. Does 4 divide f?
True
Suppose -9*o = -8*o - 23. Let y = 25 - o. Suppose 5*k - 20 = -3*p, y*k - 4*p + 5*p = 8. Is 2 a factor of k?
True
Suppose 6*p - 4*h = 7*p - 15, -6 = -p + 5*h. Let b(d) = 3*d + p + 3*d + 4*d. Is 13 a factor of b(5)?
False
Let j be (-4)/22 + (395/55 - 5). Let d be 6*(0 - (-4)/6). Suppose -n + 2 = d*q - 56, -j*q = -n - 32. Is q a multiple of 6?
False
Let u(z) = z**3 + 6*z**2 + 4*z + 3. Let a be u(-2). Let r = a - 5. Does 3 divide (-8)/r*(-42)/4?
False
Let a = 0 + 6. Let q(p) = -p**2 - 5*p - 3. Let t be q(-3). Suppose 137 = t*j - 5*b, -a*j + 5*b + 191 = -2*j. Does 17 divide j?
False
Let t(p) = -p + 1. Let s(a) = -30*a + 30. Let c(g) = -2*s(g) + 54*t(g). Is c(3) a multiple of 6?
True
Let r(h) = 1539*h**2 + 3*h - 2. Is 16 a factor of r(1)?
False
Suppose -6615 + 791 = -4*r. Suppose 13*g - r = 5*g. Does 31 divide g?
False
Let n be (32/(-10))/((-4)/340 + 0). Suppose 2*q - n = -5*f + 316, 3*f - 2*q - 356 = 0. Is f a multiple of 50?
False
Let i(o) = 3*o**2 + 8*o - 4. Let v(z) = -z**3 + 8*z**2 - 8*z - 1. Let g be v(7). Let w be i(g). Let n = w + -88. Does 17 divide n?
False
Let a = -115 - -105. Let m = 18 + a. Is m a multiple of 3?
False
Suppose -19 = -5*n + f, 7 + 7 = 2*n - 2*f. Suppose 3*b - 76 = -5*h, -4*b - 7*h + 112 = -n*h. Does 16 divide b?
True
Suppose -2*a - 36 = a. Let j be (8/a)/((-8)/(-156)). Is 13 a factor of j/2*(1 + -5)?
True
Let f(n) = -n**3 + 8*n**2 + n + 9. Let q be f(8). Does 3 divide (-4 - q)*(-1)/1?
True
Let j(k) = -k**2 - 4*k - 1. Let p be j(-3). Suppose -p*g + 1 = -21. Is g even?
False
Suppose 7*g - 2786 = 8204. Is 28 a factor of g?
False
Let p = -15 + 13. Let k(s) = -s**2 - 3*s - 50. Let a(x) = x**2 + x + 1. Let t(y) = p*a(y) - k(y). Is 16 a factor of t(0)?
True
Let j(b) = 3*b**2 + 50*b - 262. Does 21 divide j(-37)?
True
Let y(w) = 21*w - 4. Let i be y(-1). Let k = i - -58. Is 13 a factor of k?
False
Suppose -4*m + 2 = -10, -22 = y - 2*m. Let u = 44 - y. Is u a multiple of 8?
False
Suppose -3*n = 3*n + 24. Let t(w) = -15*w + 6. Is 11 a factor of t(n)?
True
Suppose -6*p = -10*p + 620. Is p a multiple of 4?
False
Suppose 5*o = 5*r, 4*o + 0 = 3*r + 2. Is 11 a factor of 4/((-32)/(-2252)) + o/(-4)?
False
Let f(q) = -10 - 17*q - q**3 + 9*q**2 + 49*q - 17*q. Is f(10) a multiple of 10?
True
Let l = -11 + 6. Let g(p) = p**3 + 4*p**2 - 5*p + 3. Let q be g(l). Suppose q*z - 292 = -5*i + 26, 0 = 5*i + z - 316. Is i a multiple of 21?
True
Let x(z) = z**3 - 3*z**2 - 2. Let t = 4 + -1. Let o be x(t). Does 10 divide 60/48*(-32)/o?
True
Let c(b) = -2*b. Let t(a) = -a**2 + 3*a - 9. Let v(k) = -2*c(k) - t(k). Is 36 a factor of v(-11)?
False
Let x(u) = u**3 + u**2 - u. Let n(d) = -d**2 + 7*d. Let v be n(7). Suppose 3*f - 1 - 8 = v. Is 11 a factor of x(f)?
True
Let r(o) = 9*o + 20. Let y(g) = -g**2 + 19*g + 41. Let t(f) = -13*r(f) + 6*y(f). Let b(u) = 2*u**2 + u + 5. Let w(d) = -11*b(d) - 4*t(d). Is w(-1) even?
True
Suppose 0 = n + 25 - 1. Let s = n - -54. Is 10 a factor of s?
True
Is 6 a factor of (49 - -2)*1421/147?
False
Let v(y) = 27*y + 87. Is v(17) a multiple of 39?
True
Suppose 0*n - 10 = -2*n. Suppose n*s - 266 = -2*s. Is 24 a factor of s?
False
Suppose 0 = -14*j + 17*j - 1545. Does 26 divide j?
False
Let q = -21 + 24. Is (2 - 0)/(3*q/36) a multiple of 8?
True
Let x(p) = p**2 + 2*p + 72. Let r be (0 + 2 + -2)/(-2). Is 9 a factor of x(r)?
True
Let q(o) = 4*o**2. Let u be q(-2). Suppose 5*h = h + u. Suppose 0 = a + h*a - 75. Does 7 divide a?
False
Let j(b) be the first derivative of b**4/4 + 8*b**3/3 - 6*b**2 + 11*b + 28. Is 16 a factor of j(-7)?
True
Let w(n) = n**3 - 2*n**2 + 3. Let q(t) = t - 3. Let j be q(7). Suppose -9 = -j*s + s. Is 6 a factor of w(s)?
True
Let v = 30 + -27. Suppose -d + v = -3*y, -4*d + 11 = -2*y - 21. Is d a multiple of 9?
True
Let d be (2/(-10))/1 - (-3)/15. Suppose -3*r - 3*k + 168 = d, -11*r + 4*k = -6*r - 307. Is r a multiple of 9?
False
Is (-14)/(-21) - 3270/(-9) a multiple of 45?
False
Let w = 5 + -14. Does 6 divide (414/27)/((-6)/w)?
False
Let x = 1509 - 710. Does 14 divide x?
False
Suppose 11*l = 8*l + 1656. Is l a multiple of 45?
False
Suppose 6*x - 1656 = -360. Is x a multiple of 24?
True
Let i(p) = -p**3 - 5*p**2 - 2*p - 2. Let m be i(-5). Suppose -7*v - 9 = -m*v. Does 3 divide v?
True
Let h(t) = -t**3 + 22*t**2 + 21*t + 45. Let d be h(23). Is 3/(-15) + (d - 544/(-20)) a multiple of 26?
True
Suppose 2*k + 5*o = 8*o + 315, k - 3*o - 153 = 0. Is k a multiple of 4?
False
Let d(o) = 4*o**2 - 15*o - 21. Is d(7) a multiple of 7?
True
Suppose 70*a = 33*a + 59718. Does 21 divide a?
False
Let x be (48/(-20) + 2)*30. Suppose -116 = -3*n - 4*l, -n = 3*n - 2*l - 118. Let f = n + x. Does 12 divide f?
False
Suppose 24*y - 2328 - 2664 = 0. Is y a multiple of 13?
True
Let b = 29 - 11. Let f = b + -19. Let h = f - -26. Is 15 a factor of h?
False
Suppose -226 = 7*a - 1024. Is a/1 + 0/(-1) a multiple of 19?
True
Let v = -20 + 22. Let p(q) = 17*q - 6*q**2 - q + 2*q**2 + 3*q**v - 7. Is 28 a factor of p(7)?
True
Let h(o) = -o**2 - 7*o - 6. Let k be h(-6). Does 18 divide 91 + (1 - k) - 0?
False
Let w = -213 - -224. Is w even?
False
Suppose 0 = -15*j - 933 + 4443. Suppose 2*t + 5*i - i = j, -i + 5 = 0. Is 11 a factor of t?
False
Let h = -123 - 31. Let x = 226 + h. Is x a multiple of 9?
True
Suppose 3*q - 4*q - 3*h = -75, 4*q = 2*h + 300. Suppose 7*a = 2*a + q. Suppose 11*m - a