17342 = -25*i + 48*i. Is 13 a factor of i?
True
Let k(d) be the second derivative of -d**5/20 + d**4/2 - 7*d**3/6 + 3*d**2 - 3*d. Let a be -4 + 16/(-1 - -3). Does 7 divide k(a)?
False
Let j be (-10)/(-3) - 72/54. Let c(q) be the first derivative of 53*q**2/2 - 1. Is 29 a factor of c(j)?
False
Let l = -455 - -511. Is 8 a factor of l?
True
Suppose -n = -0*p - p + 246, -5*p = n + 228. Let g = -166 - n. Is g a multiple of 4?
False
Suppose 2*s = 0, 265 = -l + 2*s + 1277. Is 44 a factor of l?
True
Suppose 4*c + 6 = 3*t - 4, 3 = 2*t + c. Suppose -t*h - 3*h = -3*y + 91, 2*h = y - 32. Is 21 a factor of y?
False
Let x(w) = -w**3 + 6*w**2 + 2*w - 1. Let u be x(6). Let h(j) = j**2 + 9*j - 16. Does 17 divide h(u)?
True
Suppose -2*s + g = -974, 5*g + 982 = 2*s - 0*s. Does 11 divide s?
False
Let i be 9/(-5) + 3/(-15). Let h be (-49)/i - 1/2. Suppose 76 + h = 4*y. Is 8 a factor of y?
False
Suppose 5*g = 5*o - 450, -5*o + 0*o - 2*g = -415. Let a = o - 46. Is a a multiple of 11?
False
Suppose -4*y = 6*y - 8540. Is y a multiple of 14?
True
Let u(d) = -221*d + 207. Is 30 a factor of u(-3)?
True
Suppose 108 = -4*j + 4*p, -3*j + j = 2*p + 42. Let z = -20 - j. Suppose -z*i + 0*x + 5*x + 65 = 0, -5*x - 20 = -i. Does 11 divide i?
False
Let l = 1 + -22. Let p(y) = -7*y + 16. Let s be p(-6). Let a = l + s. Does 10 divide a?
False
Suppose -3*d - 1152 = -3*b, 4*b + 0*d = -5*d + 1545. Is 35 a factor of b?
True
Suppose 10*v - 12*v = -2*k + 232, -568 = -5*k + 2*v. Is 8 a factor of k?
True
Let k be 369/2 - 4/8. Suppose 24*d + 1232 = 13*d. Let i = k + d. Is i a multiple of 18?
True
Let c(y) = y**2 + 3*y - 79. Is 4 a factor of c(-13)?
False
Let a(b) = 40*b + 35*b + 11 - 77*b. Does 3 divide a(-4)?
False
Let o = -176 + 98. Let r = -196 - o. Let z = r + 202. Is 14 a factor of z?
True
Let q be (-2 + (-2)/(-1))/(8 + -7). Suppose q = -9*d + 12*d - 318. Is d a multiple of 18?
False
Suppose 0 = 10*b - 1036 - 15874. Does 30 divide b?
False
Let b(n) = -n**3 + 9*n**2 - 10*n + 1. Suppose 15 = 10*i - 55. Does 5 divide b(i)?
False
Let o(i) = -i**2 + 14*i - 13. Let t be o(7). Suppose 0 = 6*l - t - 30. Does 11 divide l?
True
Let g(k) = k - 2. Let x(u) = u**2 + 6*u + 6. Let j be x(-4). Let s(n) = -2*n + 1. Let f be s(j). Is g(f) a multiple of 3?
True
Suppose -5*z + 6 = -x - 11, -2*z = -5*x - 16. Suppose 10 = 2*o - 2*y, -1 = 2*y + 1. Suppose b - 5*i - 18 - 5 = 0, z*i + 75 = o*b. Does 4 divide b?
False
Suppose -35*t + 50 = -33*t. Is 17 a factor of t?
False
Let v be ((-2)/(-4))/((-7)/(-28)). Let f(g) = 2*g**2 + 5*g + 4. Let y(d) = -d**2 - d - 1. Let p(a) = -f(a) - 5*y(a). Does 13 divide p(v)?
True
Let t(k) = 4*k**2 + k + 1. Let o be t(-1). Suppose -o*i - 3*r + 283 = -124, -4*i + 402 = -2*r. Is i a multiple of 25?
False
Let b(c) = c**3 - 5*c**2 - 4*c + 6. Let h be 4 + 4 + -1 + 0. Is 14 a factor of b(h)?
False
Let r(u) be the third derivative of u**5/12 + u**3/3 + u**2. Let s be r(2). Does 3 divide 606/66 - 4/s?
True
Suppose -1005 = 13*j + 360. Let i = 52 - j. Is 13 a factor of i?
False
Suppose 4*d + 4*n = 5108, -14*n + 9*n - 2575 = -2*d. Is 10 a factor of d?
True
Let c(k) = -470*k + 4. Is c(-1) a multiple of 15?
False
Let x = -2163 + 4706. Does 39 divide x?
False
Let d be 36/45*10/(-4). Let v(f) = 19*f + 1. Let s(z) = 19*z + 2. Let a(c) = 2*s(c) - 3*v(c). Is a(d) a multiple of 19?
False
Suppose 0 = 3*d + 4*r + r - 164, 5*d - 228 = 3*r. Suppose v + 183 = 5*v + 3*q, 3*q - d = -v. Is v a multiple of 15?
True
Does 25 divide 0 + 3 + -11788*13/(-52)?
True
Suppose 0 = 3*m - 3*a - 1416, -3*a + 1532 = 4*m - 391. Let p = m - 277. Does 25 divide p?
True
Let f = 9 + -9. Let b(z) = 1 - 13 + f + z - 6*z. Does 15 divide b(-7)?
False
Let n be (-1 - -1 - -1) + 5. Suppose -g = -n*g + 20. Suppose -4*b - 5*d = -0*d - 84, -4*d + 80 = g*b. Does 5 divide b?
False
Let j(w) = -4*w + 9. Suppose -10 = p + 1. Let d = -4 + p. Is 13 a factor of j(d)?
False
Suppose -64*p + 65*p + 50 = 0. Is 6 a factor of ((-15)/25)/(((-4)/p)/(-2))?
False
Suppose 2*v - 5*d = 427, -3*v + 2*d = d - 608. Let r be 57/21 - 4/(-14). Suppose 4 = -r*q - 5, -4*u - 5*q + v = 0. Is 18 a factor of u?
True
Let a = 9 - 7. Suppose 3*u = a*u - 12. Let l = 21 - u. Is l a multiple of 20?
False
Let n be ((-3)/2)/((-14)/2548). Suppose 0 = -u - 4*r + n, -u + 0*u - 2*r + 279 = 0. Does 57 divide u?
True
Let a be 9/15 - (-17)/5. Let w(v) = 14*v**2 - 2*v + 4. Let d be w(a). Suppose 0 = -8*u + 4*u + d. Is 16 a factor of u?
False
Suppose t + 18 = 3*t. Let v(u) = 4*u + 4 - 2 + 5. Is 10 a factor of v(t)?
False
Let y = -3 + 9. Suppose 0 = 2*v - y*v + 272. Is v a multiple of 20?
False
Suppose 9*x - 712 = x. Suppose -k = -x + 17. Is k a multiple of 18?
True
Suppose 4*m + 512 = 12*m. Suppose -j + 3*j - m = -v, -v = -2*j - 72. Does 30 divide v?
False
Let v = 1232 + -1035. Is v a multiple of 2?
False
Suppose 41*b = -11234 + 46986. Is b a multiple of 29?
False
Suppose -2*f = 41 + 5. Let c = f + 26. Suppose c*n = 3*j + 51, -4*n - 4*j - 14 = -42. Does 12 divide n?
True
Let o(n) = 60*n**2 - 5*n - 18. Does 8 divide o(6)?
True
Let o = -1988 + 2813. Does 14 divide o?
False
Suppose 0 = 6*s - 175 - 617. Let g = s + -61. Does 11 divide g?
False
Suppose -k - 3*k - 28 = 0. Is 22 a factor of (-2)/k - 152/(-21)*3?
True
Let g = 44 + -14. Let h = g - -26. Is h a multiple of 16?
False
Let v be (24/14)/(2/973). Suppose 6*q + 126 = v. Is q a multiple of 20?
False
Let h(l) = -l**3 - 14*l**2 + 15*l + 2. Let b be h(-15). Suppose 4*d = -4*w + 164, 70 = d - b*w + 20. Does 8 divide d?
False
Suppose -4*k + c = -743, -2*k + 2*c - 3*c + 367 = 0. Is k a multiple of 9?
False
Suppose d = -q - 2*d + 4, 12 = -q + 5*d. Let m be q*(27/(-6) - -1). Let b(r) = -r**2 + 11*r - 6. Is b(m) a multiple of 11?
True
Suppose -4*m - 2*m + 78 = 0. Is m even?
False
Let m(w) = w**2 - 2*w - 137. Does 6 divide m(20)?
False
Let j(q) = q**3 + 25*q**2 + 52*q - 44. Does 42 divide j(-19)?
True
Let y = -19 + 19. Let x(z) = z**3 + z**2 + 52. Let k be x(y). Let t = 112 - k. Does 15 divide t?
True
Let o(x) = x**2 - 2. Let k be o(2). Suppose k*s + 24 = 60. Is s a multiple of 9?
True
Let i = 131 - 58. Let b = i - 4. Does 13 divide b?
False
Let f be (-11)/6 - 5/30. Let w be -6 + 4 + f/(-2). Is 8/1*w/(-1) a multiple of 5?
False
Let m(l) = l**3 - l**2 - 2*l + 2. Let c be m(2). Suppose c*p + 118 = 4*p. Does 9 divide p?
False
Let i(d) = -d + 3. Let h be i(7). Let f(y) = y**2 - 7*y - 2. Let m(v) = v**2 + v - 1. Let l(k) = f(k) - 2*m(k). Is 20 a factor of l(h)?
True
Let a(u) = 3*u**3 - 4*u**2 - 4*u - 1. Let v be a(4). Suppose 2*c + 3*x + x = 60, -4*c + x + v = 0. Is 14 a factor of c?
True
Let r(x) be the third derivative of -1/60*x**5 - 4*x**2 + 5/8*x**4 + 0*x - 4/3*x**3 + 0. Does 12 divide r(11)?
True
Is (-3590)/(-16) - 429/1144 a multiple of 7?
True
Let b = 33 - -9. Let l be (b/(-18))/((-1)/(-135)). Is (l/(-6))/((-3)/(-4)) a multiple of 14?
True
Suppose 85*c = 70*c + 53235. Is 13 a factor of c?
True
Suppose 6*s - 1377 = -489. Is s a multiple of 4?
True
Let y(g) = -5*g + 1. Let v(r) = -9*r + 1. Let h(m) = 2*v(m) - 5*y(m). Suppose 42 = -49*a + 287. Is 4 a factor of h(a)?
True
Let y(u) = 13*u**3 - 2*u**2 + 2*u - 1. Suppose -7 = m - v - v, -3*m - 17 = -5*v. Let x be y(m). Let z(r) = 3*r + 4. Is 20 a factor of z(x)?
True
Let f = 24 - 18. Let r(w) = -w**3 - 8*w**2 + 10*w + 12. Let q be r(-9). Suppose f*b - 36 = q*b. Does 12 divide b?
True
Suppose -5*g + 290 = i - 4*i, 0 = -3*i - 2*g - 304. Let j = 34 - 38. Is 17 a factor of j/6*(i - 2)?
True
Suppose -16 = 4*g - 4*i - 4, -5*g + 3*i - 5 = 0. Let b = g - -26. Is 14 a factor of b?
True
Let f(p) = 17*p - 1. Let a be f(-1). Let g = 18 + a. Suppose g = r + 2 - 0, -5*r + 119 = 3*k. Is k a multiple of 26?
False
Let p be ((-10)/10)/((4/418)/2). Let j = -82 - p. Is j a multiple of 43?
False
Let a(r) = r**3 + 8*r - 4. Suppose -12*u + 30 = -2*u. Does 13 divide a(u)?
False
Let l = 14 + -11. Let b be 3 - (-2)/(1 - l). Is 19 a factor of b - (-2)/((-2)/(-17))?
True
Suppose -268 = -3*j + 188. Does 38 divide j?
True
Is -120*(-24)/(-3 + (-119)/(-28)) a multiple of 44?
False
Suppose j = 2*o - 3368 - 1438, -4*o - 2*j = -9604. Does 115 divide o?
False
Let m(x) be the third derivative of x**6/120 + x**5/6 + x**4/6 - x**3/2 + 2*x**2. Let v be 2 - (-1)/(3/(-33)). Is m(v) a multiple of 7?
True
Let g(o) = 2*o**3 + 5*o**2 + 2*o