 t(a) = -17*a. Let l be t(-4). Suppose 0*c = 2*c - l. Is c a multiple of 17?
True
Suppose 5*t + 21 + 14 = -5*c, 0 = -2*c + 3*t + 11. Let r be (0 - -3)*(-56)/6. Let x = c - r. Is x a multiple of 13?
True
Let d(y) = 2*y**3 - 3*y**2 - 4*y + 2. Let c(n) = -n + 10. Let q(h) = h**3 + 3*h**2 - 6*h - 1. Let m be q(-4). Let g be c(m). Does 7 divide d(g)?
False
Let l = 2 + 6. Does 3 divide l?
False
Let h = -5 + 10. Suppose -4*o = -h*o + 2. Suppose -2*u = -2*g, -4*g + 24 = -o*g + 4*u. Is g even?
True
Let p(s) = -s**2 + 12*s - 10. Let v be p(7). Suppose -3*y + v = -14. Is y a multiple of 4?
False
Let z = 38 - 21. Does 7 divide z?
False
Let n = 155 - 105. Suppose -3*b = t - n, 0*t - 42 = -3*b - 3*t. Is b a multiple of 6?
True
Suppose 850 = 3*y + 2*y. Let j = y - 99. Is j a multiple of 19?
False
Let a = -3 - 1. Let d be -2*(-2 + 18/a). Let t = -7 + d. Is 3 a factor of t?
True
Suppose -o - 1 = 0, 4*d + 4*o + 12 + 0 = 0. Let n = d + 4. Is 9 a factor of 1/n - (-105)/6?
True
Let l(h) = -h**3 + 8*h**2 - 5*h. Is l(7) a multiple of 5?
False
Let g(t) = -t**3 + 9*t**2 + 2*t - 12. Let s be g(9). Let k be 146/(-8) + (-5)/(-20). Let q = s - k. Is q a multiple of 12?
True
Let x = 3 + -6. Is (-3)/x + 1*6 a multiple of 7?
True
Suppose 4*w = -w - 15. Is 22 a factor of ((-66)/8)/(w/24)?
True
Is 15 a factor of (452/(-24))/(-1) - (-3)/18?
False
Let r(b) be the second derivative of -b**4/12 - b**3/2 + b**2/2 + 3*b. Let u be r(-7). Let j = u - -38. Does 10 divide j?
False
Suppose 0 = 2*u + s - 9, 0 + 3 = 4*u - s. Is (2/u)/(5/25) a multiple of 5?
True
Let z = 29 - -73. Suppose -3*i + z - 21 = o, -5*o = 4*i - 416. Is o a multiple of 21?
True
Suppose 5*n - 2 = 8. Suppose -n*v + 9 = -45. Does 27 divide v?
True
Let p be ((-22)/(-4))/(1/2). Let y(d) = d**2 - 8*d + 8. Let z be y(6). Let l = p - z. Is 10 a factor of l?
False
Let b = 42 - -60. Is 12 a factor of b?
False
Let f(y) = y - 6. Let u(r) = 3*r**2 + 2*r. Let c be u(-2). Let g be f(c). Suppose -g*v = p + p - 38, 83 = 5*v + p. Is 16 a factor of v?
True
Suppose 2*w + 1 = -a, -3*a + 4*w + 37 = 10. Suppose -1 = -5*s - 16, a*h - 3*s = 24. Is 9 a factor of 2/h*171/6?
False
Suppose -2*c + 129 = -4*t - 31, 3*t = 4*c - 330. Does 14 divide c?
True
Let d(c) = c**2 + 9*c + 12. Let f be d(-8). Suppose -71 = -5*w + 2*m, 2*m + 49 = f*w + 3*m. Does 7 divide w?
False
Let d(r) = r**3 + 15*r**2 + 19*r + 29. Is d(-12) a multiple of 16?
False
Does 23 divide ((-462)/(-5) - -7) + (-6)/(-10)?
False
Does 7 divide (-9 - -2)*5/(-5)?
True
Let k(n) = n**3 + 7*n**2 + 7*n + 6. Let h(v) = v**3 + 7*v**2 + 7*v + 5. Let b(j) = -7*h(j) + 6*k(j). Let l = -45 + 39. Is 4 a factor of b(l)?
False
Suppose 0 = 4*v - 5*m - 148, -2*v + 5*m + 0*m = -64. Is 14 a factor of v?
True
Suppose -h + 9 + 37 = 0. Is h a multiple of 5?
False
Let a(g) = 3*g**2 + 17*g - 3. Let o(c) = -4*c**2 - 18*c + 2. Let r(w) = 5*a(w) + 4*o(w). Does 20 divide r(9)?
False
Is (3/(-5))/(3/(-15)) - -70 a multiple of 23?
False
Let i = -2 - -5. Does 2 divide i?
False
Suppose -2*t - 5*n - 16 = 0, 0 = -5*t + 3*n + 14 + 8. Does 17 divide (t/4)/(1/68)?
True
Suppose 15 = 3*x + c, x - 5 = -5*c + 2*c. Suppose 4 = -3*u - x*d, 0*u = -u - d. Suppose 175 = u*z + 2*z + 5*a, 15 = 5*a. Is z a multiple of 20?
True
Let i be -2*(-1)/(-2) + 11. Let g(q) = -5*q + 2. Let a be g(-4). Let c = i + a. Does 16 divide c?
True
Let h be (-41)/5*5*-1. Suppose -h = -4*l - 1. Is l a multiple of 5?
True
Let w(o) = o**3 + 6*o**2 + 2. Let h be w(-6). Suppose n - 163 = -n + b, -151 = -h*n - 3*b. Suppose 0 = q + 3*q - n. Does 10 divide q?
True
Suppose 7*i + 93 = 4*i. Let v = i + 79. Does 16 divide v?
True
Let c be -1 + 26*4/(-8). Let w = 26 + c. Is 5 a factor of w?
False
Suppose 0*q + 5*f + 24 = -3*q, -f = 3. Suppose 0 = 4*a + 7 + 9. Is 11 a factor of (-182)/(-8) - q/a?
True
Let h(l) = -2 - 3*l**3 + 15 - l + 4*l**3. Let p be (1 - 2/2)/1. Is h(p) a multiple of 13?
True
Let h = 277 - 198. Does 16 divide h?
False
Let r = 4 + -9. Let w(c) = -c**2 - 14*c + 2. Let s(g) = g**2 + 13*g - 2. Let u(k) = r*w(k) - 6*s(k). Is u(-5) a multiple of 17?
True
Let g be (-2 - -5)*1*-2. Let p be 4/1*(2 + g). Let x = -9 - p. Is x a multiple of 7?
True
Does 8 divide (-9 - (-152)/16) + (-63)/(-2)?
True
Suppose -4*z - 5 + 33 = 0. Suppose -3*n - 4 = -z*n. Is (9/(-4))/(n/(-12)) a multiple of 12?
False
Let s(b) = 24*b**2 + b. Let a be s(-1). Suppose a = -7*i + 107. Does 4 divide i?
True
Let t(q) be the second derivative of -2/3*q**3 + 0 + 1/2*q**4 - 1/20*q**5 - 2*q + 1/2*q**2. Is t(5) a multiple of 4?
False
Let c(r) = 8*r - 22. Is 17 a factor of c(7)?
True
Let y(o) = 8*o - 53. Is 31 a factor of y(11)?
False
Suppose 5*u + 0*u - 150 = 0. Suppose 3*w = 75 - u. Is w a multiple of 5?
True
Suppose 38*l - 792 = 34*l. Does 18 divide l?
True
Let k(l) = 3*l - 14. Let y be k(-7). Let w = -17 - y. Is w a multiple of 18?
True
Let x(g) = g**3 - g. Let l(f) = -f**3 + f**2 - 7*f + 1. Let w(a) = l(a) - 5*x(a). Let z be w(1). Does 17 divide (-268)/z + 3/9?
False
Let w(u) be the second derivative of 7*u**3/6 - 3*u**2/2 - 5*u. Does 13 divide w(6)?
True
Let r = 19 + -19. Suppose -q = -x - 9, -x - x = r. Is q a multiple of 6?
False
Suppose -2*m + 2*s + 0*s = -424, 204 = m + 3*s. Does 25 divide m?
False
Let a = -113 - -164. Does 19 divide a?
False
Let u(a) = 5*a**2 + 9*a - 17. Is u(-7) a multiple of 33?
True
Suppose 742 + 302 = 5*h - 2*g, 5*g = 2*h - 426. Is h a multiple of 26?
True
Let g = -8 - -5. Let b be (2 + g)/((-2)/4). Suppose 10 = v + 4*n, -2*n - 26 = -v + b*n. Is v a multiple of 9?
True
Suppose 2*f - 78 = -f. Is 14 a factor of f?
False
Suppose -g = g - 106. Suppose 2*z + y - g = 0, 102 = 3*z - 2*y - y. Is z a multiple of 22?
False
Let u = 475 - 268. Is 14 a factor of u?
False
Let g(q) be the second derivative of 17*q**4/24 + q**3/2 - 3*q**2/2 + q. Let h(v) be the first derivative of g(v). Is 19 a factor of h(3)?
False
Suppose 84 = 5*z + 3*r - 26, -66 = -3*z + 5*r. Suppose 3*g - 106 = -z. Is g a multiple of 6?
False
Let s(u) = -u**2 + 10*u + 15. Let i be s(11). Suppose i*z = -0*z + 100. Does 5 divide z?
True
Let l be (-5)/(-1)*(-126)/(-30). Let p(m) = 9*m. Let z be p(2). Suppose 4*o - 3*j = -j + z, -5*o + l = -4*j. Is o a multiple of 3?
False
Suppose -40 = -m + o, 0 = -4*m - 2*o + 202 - 72. Let q = m + 5. Is 10 a factor of q?
True
Suppose 7*y - 15 = 2*y. Suppose -y*i + 4*i - 5 = 0. Is 12 a factor of 95/i + -1 + 2?
False
Let c = 95 + -55. Does 35 divide c?
False
Let a(u) = u**2 + 7. Let v be a(-4). Let q = 4 + v. Is 9 a factor of q?
True
Suppose 0 = -3*d + 7*d - 100. Does 9 divide d?
False
Does 38 divide (4 - 12)*(471/(-12) - 0)?
False
Let a(h) = -h - 7. Let k be a(-3). Suppose -2*r = 0, w + 4 = 5*w + r. Let b = w - k. Is b a multiple of 2?
False
Suppose 4*z - 2*x - 32 = -0*x, -5*z = 5*x - 10. Does 3 divide z?
True
Let w(t) = t - 1. Let c(a) = -4*a + 13. Let f(m) = -c(m) - 6*w(m). Is f(-10) a multiple of 4?
False
Let c = 4 - 4. Suppose 5*v - 3*v - 20 = c. Does 8 divide v?
False
Suppose -125 = -2*l + a, 4*l - 5*a + 0*a - 265 = 0. Does 20 divide l?
True
Let t be -4 + 3 - (-1 - -4). Let d = t - -63. Let j = -38 + d. Is 21 a factor of j?
True
Let g(u) = -17*u + 2. Let o be g(-2). Suppose 4*y - a - a = 94, -4*y + 88 = 4*a. Let w = o - y. Is w a multiple of 13?
True
Let c(o) = -o**2 - 9*o + 1. Let l be (6/2)/((-9)/(-12)). Suppose 0 = -l*n - 7 - 9. Is c(n) a multiple of 8?
False
Let u(w) = -w**3 + 11*w**2 + 7*w + 11. Let i be u(11). Let a = i + -43. Is 15 a factor of a?
True
Suppose v - 2 = -0. Suppose -3*z + v*z = -8. Does 5 divide z?
False
Suppose -2*v - v = 216. Let z = v - -114. Is 9 a factor of z?
False
Let j = -1 - 1. Is 4 a factor of 145/10 - (-1)/j?
False
Suppose -8*b - 6*b = -154. Is 3 a factor of b?
False
Let y(w) = 3*w**3 + 12*w**2 - 9*w - 2. Let f(x) = 7*x**3 + 25*x**2 - 19*x - 3. Let j(m) = -4*f(m) + 9*y(m). Suppose 0 = -5*a + 3*a + 14. Does 3 divide j(a)?
False
Let x(o) = -o**3 - 5*o**2 - o + 2. Let i be x(-5). Let k(j) = j**2 - 6*j - 10. Let g be k(i). Is (-2)/(-1*g/(-15)) a multiple of 5?
True
Suppose -o + 9 = -4*t - 33, 5*o + 4*t - 330 = 0. Is o a multiple of 9?
False
Suppose 2*v + 8 = 48. Suppose 3*j = 4 + v. Suppose -2*z = 6*u - 4*u - j, 15 = -3*u. Does 9 divide z?
True
Let y be -1*(-4)/((-8)/(-10)). Suppose -y*i - 2*k + 168 = -0*k, -3*k = 4*i - 140. Suppose -4*a + i = 