uppose -v = -o*f + i, -f = 4*f + 4*v - 74. Is 7 a factor of f?
True
Let i(a) = -a**3 - 10*a**2 - 12*a - 6. Let y be i(-9). Suppose 18*k - 17*k = y. Does 7 divide k?
True
Let a be ((-2)/3)/((-1)/3). Suppose -5*g - a*l + 38 = -7, -3*l = 0. Does 3 divide g?
True
Let y = -159 + 222. Does 15 divide y?
False
Is 206/4 + (-8)/(-16) a multiple of 13?
True
Let l be -1 - -3 - (-2 - -2). Suppose -5*w = -l - 18. Does 13 divide ((-26)/w)/((-1)/2)?
True
Let b = 18 - 9. Let o(w) = w - 5. Is 4 a factor of o(b)?
True
Let t be 0/(1 - 0/4). Suppose -3*v + t*l + 4*l = -108, -5*v + 2*l = -180. Is v a multiple of 9?
True
Suppose 107 = 4*w + 3*v, 75 = 2*w - v + 14. Suppose -6*u = -2*u - r - w, 3*r + 15 = 0. Suppose -3*j + u*j - 75 = 0. Is 10 a factor of j?
False
Let a = -27 + 19. Let h(p) = 2*p + 9. Let g(i) = -2*i - 8. Let d(w) = 7*g(w) + 6*h(w). Is 14 a factor of d(a)?
True
Let s = 23 + -19. Suppose 2*d - 4*q - 232 = -d, 4*q = -s*d + 272. Is 18 a factor of d?
True
Is 10 a factor of (-564)/(-6) - (0 - 4)?
False
Let s(a) be the second derivative of 21/20*a**5 - 1/2*a**2 + 1/6*a**3 + 0 - 1/12*a**4 - a. Is 10 a factor of s(1)?
True
Suppose 168 = 3*r + 2*d, -d = -5*r + 2*d + 299. Does 29 divide r?
True
Is (1 + -4)/((12/316)/(-3)) a multiple of 52?
False
Let l(j) = 13*j. Let c be l(1). Suppose 3*a = 5*q + 5*a - 30, a = -2*q + c. Suppose 4*f = q*o - 28, -4*o + 2*f + 43 = 3*f. Does 10 divide o?
True
Suppose -d + 6 = 2*d. Suppose -84 = -2*s + d*b, 0*b = 2*s - 4*b - 94. Is s a multiple of 24?
False
Suppose -r = 1 - 5, -4*w + 5*r + 100 = 0. Let l = w - 19. Does 4 divide l?
False
Suppose -5*v + 0 = -10. Suppose 3*b - b = -v*x + 8, -2 = -x. Suppose 9 = b*a - 23. Is 13 a factor of a?
False
Suppose -1 = k - 3*u, 0 = -4*k - u - 1 + 10. Suppose k*n - 3 = 21. Is n a multiple of 4?
True
Suppose -4*b - b = -195. Suppose i + b = 102. Is 25 a factor of i?
False
Let g(d) = -10 - d**2 + 2*d + 1 + 7*d. Let u be g(8). Let m(s) = 2*s**2 - 2*s - 1. Is m(u) a multiple of 3?
True
Does 14 divide 4/6 + (-328)/(-12)?
True
Let t(i) = 22*i**3 - i. Is 21 a factor of t(1)?
True
Suppose 3*q = -0*q. Suppose 4*f + 5*n - 13 = 0, -f - n + 1 = -2. Suppose -f*k + k + 17 = q. Is 17 a factor of k?
True
Suppose 3 + 4 = -2*k + 3*r, 40 = 5*k + 4*r. Is 4 a factor of k?
True
Suppose -5*a + 170 = -3*v, 10 = 4*a + 2*v - 148. Is a a multiple of 10?
False
Let t(q) = -q**2 + 4*q - 3. Let s be t(4). Does 10 divide (-58)/(-2) - (s + 6)?
False
Suppose -2*v - 362 = -4*y, 0*y + 4*v = -3*y + 277. Suppose -156 = -5*a + 4*u, -a + 5*u = 2*a - y. Let z = -19 + a. Is z a multiple of 7?
False
Suppose -i + 27 = -24. Is i a multiple of 7?
False
Let q = -71 - -108. Does 4 divide q?
False
Suppose -f = -0*f - 20. Suppose -3*b - 62 + f = 0. Let h = 34 + b. Is h a multiple of 10?
True
Let v(c) = c**2 - c + 6. Suppose -1 = 3*n + y, -2*y - y - 3 = 3*n. Is 2 a factor of v(n)?
True
Does 3 divide (-1)/5 - 366/(-30)?
True
Suppose -4 = -3*q - 16. Does 14 divide (q - -1)*(-46)/3?
False
Suppose 4*f - k = 46, -k - 32 = -2*f - 5*k. Let r = 7 - f. Let j = r + 16. Does 8 divide j?
False
Let v(g) = -3 + 6*g - 1 + 3 + 0*g. Is v(2) a multiple of 7?
False
Suppose 3*n - 6 = -3. Let t be n/(-4) + 26/8. Does 11 divide ((-52)/6)/(-1)*t?
False
Let l(o) = -19*o**3 + o**2 + 3*o + 2. Let a be l(-2). Let j(v) = -3*v - 1. Let y be j(-1). Suppose a = 2*k + y*k. Does 19 divide k?
True
Is (-834)/(-9) - 4/6 a multiple of 23?
True
Suppose -18 = -4*k - w, -w + 0*w = k - 6. Suppose -k*v - m + 6*m + 87 = 0, -5*v + m + 93 = 0. Is 9 a factor of v?
True
Suppose 3*t = -4*f + 39, 4*t + 5 = -f + 2*f. Is f a multiple of 4?
False
Suppose 55*q = 52*q + 270. Is q a multiple of 28?
False
Suppose -2*f + 501 = f. Suppose 5*n + 37 = f. Is 13 a factor of n?
True
Let w(a) = -70*a + 2. Is 20 a factor of w(-1)?
False
Let l = -67 - -144. Is 15 a factor of l?
False
Suppose -4*i + 4*y - 6 = -94, -3*y + 34 = i. Does 12 divide i?
False
Let r(f) = -2*f**2 - f + 5. Let k be r(-4). Let v = k - -38. Is 39/v + 2/5 even?
False
Suppose 3*r - 7 = -1. Suppose 5*i - r*s - 39 = 2*s, -5*s - 5 = 0. Suppose -2*z + a = -56, -z + 14 + i = -4*a. Does 13 divide z?
False
Let f be (-1 - 2*-1)/1. Let u(l) = -13*l - 3. Let h(n) = -14*n - 4. Let a(c) = 4*h(c) - 5*u(c). Is 4 a factor of a(f)?
True
Let y = 90 + 6. Is y a multiple of 24?
True
Let g be 0 + (0 - 0) + -5. Let b be 339/g + (-1)/5. Let d = 115 + b. Does 16 divide d?
False
Let r be 26/10 + (-3)/5. Let j = r - 1. Is 10/j + (1 - -1) a multiple of 8?
False
Suppose -21*n + 24*n - 165 = 0. Does 12 divide n?
False
Let s = -25 + 9. Let z = s - -8. Is 13 a factor of (-34)/4*(4 + z)?
False
Suppose -158 = -6*a + 112. Is 16 a factor of a?
False
Let m(f) = 3*f - 12. Suppose -6*b + 4*b = -2. Let o be 84/9 + b/(-3). Is m(o) a multiple of 7?
False
Let v(j) = -j**3 - 10*j**2 - 10*j + 7. Does 11 divide v(-10)?
False
Let n = 11 - -1. Does 6 divide n?
True
Let i(z) = z**2 - 2. Let p(y) = 5*y**2 - 10. Let d(u) = 11*i(u) - 2*p(u). Is 5 a factor of d(3)?
False
Let b(w) = 3*w**2 - 5*w + 3. Let k = -7 - -10. Is 15 a factor of b(k)?
True
Suppose 6*a - 3*a - 5*t = -11, -3*a + 4*t - 10 = 0. Let h be (1*19)/(a/(-2)). Suppose h = -3*i + 4*i. Is i a multiple of 11?
False
Suppose -2*j = 3*h - 0*j - 29, -22 = -2*h - 4*j. Is h a multiple of 4?
False
Let v = -27 + 47. Suppose -v = -3*p - p. Is p even?
False
Let u(h) = -h**3 + 0 - 3*h - 4*h**2 - 9*h + 6*h - 3. Is u(-4) a multiple of 7?
True
Let a be ((-12)/(-9))/((-4)/(-6)). Suppose -m = a - 3. Does 2 divide -1 - m*(-10)/2?
True
Suppose -8 = -2*t + 4*t. Let d = t + 22. Does 14 divide d?
False
Suppose -60 = -4*o - 4. Is o a multiple of 3?
False
Let p = 4 + 3. Is 82/p + (-16)/(-56) a multiple of 12?
True
Suppose 3*q - 5*f + 115 = 0, 7*f + 205 = -5*q + 2*f. Let s = 208 + q. Suppose 0 = i + 2*i - s. Does 20 divide i?
False
Suppose 255 = -x + 6*x. Does 17 divide x?
True
Let w = -40 - -42. Does 2 divide w?
True
Let b(q) = q**2 + 4 + 7*q**2 - 3*q**2 + 7*q. Does 29 divide b(-4)?
False
Suppose x + 0*x - 10 = 0. Suppose 4*y = -y + x. Suppose 4*r = -2*n + 34, 9 + 20 = y*n + 5*r. Is 12 a factor of n?
False
Let r = 3 + 1. Suppose r*q - 124 = -2*p, 3*p + p + 4*q - 232 = 0. Is 25 a factor of p?
False
Suppose 607 = 8*f - 97. Is 44 a factor of f?
True
Let z(p) be the third derivative of p**8/672 - p**6/720 + p**5/30 - p**2. Let y(b) be the third derivative of z(b). Does 12 divide y(-1)?
False
Let u(k) = -k - 2. Let b be u(-4). Let w be (-12)/(-4)*b/6. Let i = w - -13. Is i a multiple of 14?
True
Suppose 7*x - 112 = 5*x. Is x a multiple of 17?
False
Suppose x + 3*z + 16 = 2*x, -2*z + 32 = 2*x. Suppose 2*l = -56 + x. Let o = l - -35. Does 6 divide o?
False
Let x(p) = -p**3 + 2*p**2 + 4*p + 2. Is 7 a factor of x(-3)?
True
Suppose 124 - 1036 = -4*s. Let m(y) = y**3 + 2*y**2 - y. Let n be m(1). Suppose -n*r - s = -6*r. Is r a multiple of 15?
False
Suppose 0 = 3*u - u - x - 11, -19 = -3*u + 2*x. Suppose -u*a + m - 4 = a, 4*m = -16. Is ((-76)/(-10))/(a/(-10)) a multiple of 19?
True
Let h(p) = -p**3 - 8*p**2 + 4*p - 4. Let s be h(-8). Is 6 a factor of s/15*(-10)/2?
True
Let f = 53 + 73. Does 14 divide f?
True
Suppose 4*d + 6 = 2. Let a be (-2 - d)/(1/(-2)). Suppose -2*g - a*o - 40 = -6*g, 30 = 3*g - 2*o. Is 7 a factor of g?
False
Suppose 0*a - 9*a + 999 = 0. Is a a multiple of 11?
False
Let k(s) = -s**3 + 8*s**2 + s - 4. Let j = -18 - -26. Let b be k(j). Suppose -4*p + 75 = -3*o, -4*p + o + 93 = b*o. Does 12 divide p?
False
Let t(m) be the second derivative of -m**4/6 + 2*m**3/3 - m**2 + 3*m. Let n be t(2). Let p(l) = -2*l**3 - l**2 - 2*l - 3. Is 13 a factor of p(n)?
True
Let u = 8 - 11. Let d = -4 - u. Let c(x) = -4*x. Is c(d) a multiple of 2?
True
Let a(h) = h**2 - 2*h - 3. Is 8 a factor of a(7)?
True
Let p(z) = 6*z + 65. Does 13 divide p(0)?
True
Let v(o) = 18*o - 13. Does 14 divide v(5)?
False
Suppose 2*m + 2*m + 5*z = 285, -40 = -m + 5*z. Is 13 a factor of m?
True
Suppose -6*j + 8*j = -q - 8, -j = -2*q + 9. Let f = -3 - j. Suppose -4*k + 2*l + f*l + 44 = 0, -4*k + 26 = 2*l. Does 4 divide k?
True
Let l(k) = 5*k. Suppose 2*t = -3*v + 13, 5*v + 0*t + 5*t = 25. Is l(v) a multiple of 15?
True
Suppose -2*o = -44 + 16. Is 2 a factor of (30/o - 3)*-7?
True
Let w(u) = -u**2 + 9*u - 9. Suppose -2*x = 10, d + 2*x - 5 = -1. Suppose t - 3*t = -d. Is w(t) a multiple of 3?
