?
True
Suppose -3*t = -3*d + 81, -29 - 13 = -2*d - 2*t. Is 8 a factor of d?
True
Suppose 0 = -10*a + 35 - 15. Suppose -84 = -3*s - p, -138 = -5*s - 4*p + 3*p. Suppose -s = -r - 5*f, a*r + 2*r + f - 51 = 0. Does 7 divide r?
False
Let i(u) = 5*u + 14. Let s be 2/(-2 + 4) - (-9 - -2). Does 18 divide i(s)?
True
Let c = 151 + -38. Suppose 2*h - 5*s = 119, 2*h - 4*h = -3*s - c. Is 13 a factor of h?
True
Let v(u) = -u**3 - 11*u**2 - 10*u + 2. Let r be v(-10). Let o(j) be the third derivative of 3*j**4/4 + j**2. Does 15 divide o(r)?
False
Let w(d) be the second derivative of -d**5/20 + d**4/6 - d**3/3 + 129*d**2/2 + 35*d. Does 43 divide w(0)?
True
Suppose -r = -5*t - 34, 0 = 5*t + 4*r + 11 + 3. Is 20 a factor of (440/t)/((-12)/36)?
True
Let f(z) = 204*z - 471. Is 21 a factor of f(9)?
True
Let k(m) = 9*m**2 + 8*m - 9. Does 3 divide k(2)?
False
Suppose -16 = -4*m, -l + 412 = l + 3*m. Is 11 a factor of l?
False
Does 16 divide 1182 - (9/(-21) + 270/42)?
False
Suppose 0 = -p + 4*f + 752, -2*f - 2296 = -3*p - 0*p. Is 13 a factor of p/18*(-2 - 21/(-6))?
False
Let d(q) = 2*q - 1. Let u be d(2). Suppose 0 = -4*c + u*k + 141, -4*c = -2*k - 122 - 16. Is 33 a factor of c?
True
Let j(d) be the first derivative of -4*d**2 + 4*d + 3. Does 21 divide j(-6)?
False
Suppose -3*q - 2*x + 5*x = 117, -2*x + 35 = -q. Let b = -10 - q. Is 11 a factor of b?
True
Suppose 2*g + 44 = 3*g. Let u = g + -11. Is u a multiple of 11?
True
Suppose 21229 = -25*l + 62854. Is 45 a factor of l?
True
Suppose m - 6 = 5*k - 2, -3*m = 2*k - 12. Suppose k = 2*t - 3*t - 5. Does 19 divide (-30 + -2)/(t/10)?
False
Let a = 187 + -386. Let v = 106 + a. Is (-2)/7 - v/7 a multiple of 8?
False
Let q = -4 + -26. Let r = q - -42. Does 6 divide r?
True
Let o(k) = 2138*k**2 + 22*k + 20. Is o(-1) a multiple of 23?
False
Let l(f) = -11*f + 4 - 13 + 7 - 5*f. Is 10 a factor of l(-2)?
True
Suppose -5*p = 30 + 5. Let z = 9 + p. Suppose 0 = z*c - 25 + 7. Is 3 a factor of c?
True
Let w(r) be the second derivative of -4*r**3 + 6*r**2 + r. Is 15 a factor of w(-2)?
True
Suppose -10*k + 1428 = 11*k. Is 34 a factor of k?
True
Suppose 4*g = a - 2147, -g = -2*a + 3095 + 1185. Is a a multiple of 31?
True
Let t be 5/((-7)/(-2) + -3). Suppose -31 = -s - 5*g - t, 2*g - 66 = -2*s. Is 18 a factor of s?
True
Suppose -p - 74 = 2*u + 84, -3*u - 3*p = 231. Let l = u + 96. Is 5 a factor of l?
True
Suppose -4 = 23*o - 25*o. Suppose -18 = -y + o. Suppose -y = 4*a - 6*a. Is 10 a factor of a?
True
Let x = 4682 - 2361. Is 134 a factor of x?
False
Let j(t) = 2*t**2 + 14*t + 51. Is 17 a factor of j(-7)?
True
Let y = -3 + 6. Suppose 0 = -2*r - m + 5*m + 76, r - 33 = -y*m. Suppose -v = v - r. Is 4 a factor of v?
False
Let r = -235 + 851. Does 24 divide r?
False
Let k(d) = -9*d + 1. Let h(c) = 16*c - 4 + 16*c + 12*c. Let z(n) = -5*h(n) - 24*k(n). Is 20 a factor of z(-16)?
True
Let t = 7 - 3. Let h(l) = -10*l + 7. Let d be h(-7). Suppose -4*m = 3*w - d, -2*w + 6*w + t*m = 96. Is 5 a factor of w?
False
Let l = 1 - -8. Is 12 a factor of (27/6)/3*390/l?
False
Let g(y) be the second derivative of y**5/20 + 7*y**4/12 - y**3/6 + 3*y**2/2 + 11*y + 1. Let l = 16 - 23. Does 6 divide g(l)?
False
Let b(w) = 27*w**2 - w - 1. Is 61 a factor of b(4)?
True
Let v(h) = -23*h**3 + 9*h + 19. Is v(-2) a multiple of 36?
False
Let u(a) = a**3 + 12*a**2 - 13*a + 2. Let t = -27 + 14. Let z be u(t). Suppose -6*c = -z*c - 112. Is 11 a factor of c?
False
Let t(y) be the first derivative of 8*y**2 - 22*y - 7. Let j be t(7). Suppose -2*d - 30 = -4*u + 3*u, -3*d = 3*u - j. Is 21 a factor of u?
False
Let a(r) = r + 2*r**2 + 16 - 3 + 8*r - 2*r. Let z(v) = -6*v**2 - 21*v - 38. Let y(w) = -11*a(w) - 4*z(w). Is 13 a factor of y(-4)?
True
Let i(u) = -274*u**3 - 12*u - 12. Is 27 a factor of i(-1)?
False
Let l = 4317 - 3023. Is l a multiple of 40?
False
Suppose r + 21 = -3. Let q = r - -22. Let i(s) = -10*s**3 - s**2 + 2. Is i(q) a multiple of 13?
True
Suppose 3*q - i - 1117 = 0, q - 3*i = 590 - 215. Does 23 divide q?
False
Let i(j) = 0 + 2*j - 8 - 3*j. Let b be i(-6). Is 22 a factor of (-22)/((3/3)/b)?
True
Let p(u) = 99*u + 3. Let k(b) = 405*b + 10. Let d(n) = 202*n + 5. Let i(j) = 7*d(j) - 3*k(j). Let l(v) = -3*i(v) + 5*p(v). Does 17 divide l(-1)?
True
Let a be 6/15 + (-168)/20. Let o be (a + 4)*2/(-4). Suppose -o*c + 30 = 2*y, -4*y = -4*c - 0*y + 100. Is 11 a factor of c?
False
Let m(h) = -30*h**2 - h + 2. Let q be m(-2). Let a(f) = -5*f**2 + 4. Let v be a(-6). Let z = q - v. Is 12 a factor of z?
True
Let m = 31 - 35. Is (-3)/(-6) - 206/m a multiple of 26?
True
Suppose -4*r + 224 = v, 2*r + 3*r = -4*v + 291. Suppose -4*l + r = -133. Is 18 a factor of l + (-2)/(2/3)?
False
Let d be (2 - 5/4)/((-9)/(-48)). Suppose 0 = -g + 2*o + 228, -d*g + o + 694 = -g. Is 29 a factor of g?
True
Suppose -2251 = -5*r - z, z - 1352 = -3*r - z. Let s = 680 - r. Is 47 a factor of s?
False
Let s(u) = 12*u + 40. Let h = 8 + -15. Let v(q) = 4*q + 13. Let i(a) = h*v(a) + 2*s(a). Does 9 divide i(-5)?
True
Let g(w) = -w**2 + 2*w**2 + 0*w - 3*w + 4. Let m be g(3). Suppose -m*k + 132 = -k. Is 11 a factor of k?
True
Suppose 10*i = -4*i + 2058. Is i a multiple of 49?
True
Let g(a) = -a**3 + 23*a**2 - 23*a - 3. Is 6 a factor of g(19)?
False
Suppose -8701 + 74221 = 52*t. Is t a multiple of 42?
True
Suppose 4*v = -j + 3, 4*v - 2 = j + 11. Let p be 1/(-3*1*(-3)/(-9)). Does 7 divide (j + -20)/(-2 - p)?
False
Suppose 3*x = -2*x - 4*j + 3319, j + 2651 = 4*x. Suppose 3*d - 431 = -4*t + 100, 0 = 5*t + 3*d - x. Does 9 divide t/16 - 3/(-4)?
True
Let r be (-6)/(-9)*6786/12. Let l = r - 263. Is l a multiple of 19?
True
Let l(i) = i**3 - 6*i**2 + 19. Let d be l(8). Let n = d - 81. Is n a multiple of 6?
True
Let i be (0 - -963)/3 + 2. Let j = i + -228. Is j a multiple of 19?
True
Let k(j) = -j**3 - j**2 - 3*j - 5. Suppose -x = 2*x + 3*s + 18, 4*s + 16 = 0. Let i be k(x). Suppose 0 = -z - 4 + 1, i*p + z - 242 = 0. Does 12 divide p?
False
Suppose 0 = -2*k - k + 3. Let g(i) = 33*i**2 - 2*i. Does 7 divide g(k)?
False
Let g(w) = w**3 - 8*w**2 + 18*w - 204. Is g(10) a multiple of 24?
False
Let f(k) = 5*k**2 + 5*k - 34. Does 13 divide f(-10)?
True
Let b(m) = m - 8. Let n be b(6). Let o be (n/(-8))/((-2)/(-376)). Let w = 107 - o. Does 14 divide w?
False
Let x(m) = m**3 - 5*m**2 - 9*m - 4. Let v be x(7). Let f be v + 3/(9/(-6)). Let i = f + -11. Does 12 divide i?
False
Suppose 0 = 5*u - 11 + 1. Suppose 2*r = -u, y + 3*r + 215 = 2*y. Is y a multiple of 53?
True
Let v(x) = -x**3 + 6*x**2 - 4*x + 7. Is v(-7) a multiple of 16?
True
Let j(t) = -2*t + 1. Let l(a) = -a - 2*a**3 - 9 + a**3 + a + 9*a**2. Let d be l(9). Is j(d) a multiple of 8?
False
Let o be (-5 - -1)*5/(-5). Suppose o*v - 2 = 78. Is 20 a factor of v?
True
Suppose 0 = -4*k - t + 6454, 4*k + 3*t - 7*t - 6444 = 0. Does 11 divide k?
False
Let v = 16 - 13. Suppose 0 = c - v*z - 26, c + 4*c - 2*z = 169. Is 7 a factor of c?
True
Suppose l = -2 + 4. Suppose 3*t = -3*b + 12, 7 = -l*b + 4*t - 9. Suppose -2*i + 13 + 75 = b. Is 15 a factor of i?
False
Suppose 0 = 3*x + 2*x - 280. Let d(b) = -34*b - 566. Let f be d(-17). Is 3/2*x/f a multiple of 7?
True
Let i = -4844 + 8740. Does 25 divide i?
False
Let n be 3/((-9)/6) + 10. Let k = 0 + n. Suppose 0 = -4*z - k, -2*v + z = -77 + 3. Does 12 divide v?
True
Let u be 58/145 + 4/(-10). Suppose -9*y + 10*y - 88 = u. Is y a multiple of 11?
True
Suppose -2 = -k - 7. Let a(s) = 22*s**2 + 2*s. Let o be a(1). Does 8 divide (o/k)/(9/(-30))?
True
Let w(r) = -r**3 + 18*r**2 - 22*r + 56. Is 27 a factor of w(16)?
True
Let m(a) = a + 12. Let s be m(-8). Is 25 a factor of -1*(-8 + s - 37)?
False
Let k(d) = 2*d**2 - 4*d - 8. Let b = 73 - 79. Does 8 divide k(b)?
True
Let i(c) = -c**2 - 5*c - 1. Let a be i(-3). Suppose 3 = 2*v + a*t + 6, -5*t - 1 = 4*v. Does 7 divide 123/6 - v/(-2)?
True
Suppose 0 = 4*g - 3*g - 2*h - 11, -3*g + 22 = 5*h. Let v(m) = -m**2 + 11*m - 5. Is 9 a factor of v(g)?
False
Suppose -3*z + 864 = -0*z. Is 32 a factor of z?
True
Suppose -5*a = 2*h + 34, 3*h + 0*h = 3*a + 12. Let i = a - -14. Suppose s - 30 = -i. Does 5 divide s?
False
Does 9 divide (-1)/(-6) + 2588/24?
True
Suppose 11 = -5*l + 56. Let w = l + 29. Is w a multiple of 10?
False
Let r be 6*(4/(-1))/8. Let o(z) = 9*z**2 + 1. Let p be o(r). Let j = p + -34. Is 16 a factor of 