 z = -27 + 31. Suppose 0 = z*v - 168 - 56. Does 6 divide v?
False
Let j be (4/10)/(1/5). Suppose f - 17 = -j*g + 6*f, 20 = 3*g - 2*f. Is g a multiple of 4?
False
Let w = -1154 - -1752. Does 13 divide w?
True
Suppose -34*d - 3626 = -41*d. Is d a multiple of 13?
False
Let d(f) = -240*f - 384. Is 48 a factor of d(-5)?
True
Suppose -3*p = -8*p + 15, 4*k + 21 = -5*p. Let s(q) be the third derivative of -q**6/120 - q**5/6 - 11*q**4/24 - q**3/2 - q**2. Does 7 divide s(k)?
False
Let b(w) = -11*w**3 - 3*w**2 + 60. Is b(-5) a multiple of 68?
True
Suppose -h - 10*h + 1045 = 0. Is h a multiple of 23?
False
Suppose 4*t - 635 + 167 = 0. Suppose 153 + t = 2*n. Does 27 divide n?
True
Let h(q) = 4*q + 8. Let n be h(0). Suppose -4*z - 108 = -2*m - n*z, z = 2*m - 93. Is 13 a factor of m?
False
Let a = 0 - 15. Is 12 a factor of ((-66)/9)/(2/a)?
False
Let v(d) = d**2 - 2*d - 8. Suppose -5*f + 8 = -32. Is 15 a factor of v(f)?
False
Let k be (0/5)/(4/2). Suppose -4*t + 40 = 4*g + 16, g - 3*t - 2 = k. Suppose g*s = 2*s + 156. Is 14 a factor of s?
False
Let p(l) = 5*l - 10. Let a be p(3). Suppose -a*v - 1 = -151. Is 15 a factor of v?
True
Does 56 divide (761 - -3)*32/8?
False
Let j(x) = 28*x + 104. Is j(5) a multiple of 17?
False
Let u(n) = 13*n + 23. Let o be (-18)/(-30) + -2 + 42/5. Does 12 divide u(o)?
False
Suppose -330 = 3*f - 3*h - 798, 0 = -f - 4*h + 181. Does 6 divide f?
False
Let j = 48 + -46. Suppose -k - 32 - 61 = -j*w, -4*w + k = -185. Is w a multiple of 23?
True
Let d(c) = -c**3 + 9*c**2 + 21*c - 14. Is 8 a factor of d(-6)?
True
Let g(z) = -z - 13. Let s(m) = 2*m + 32. Let r(l) = 12*g(l) + 5*s(l). Let h be r(0). Let v(u) = 2*u**3 - 6*u**2 + 3*u - 3. Is 6 a factor of v(h)?
False
Let n = 223 + -143. Suppose -o + 6*o = n. Does 14 divide o?
False
Suppose 5*q = 4*q. Suppose -5*u + 20 = -4*r, q*u - 3*u + 12 = -r. Suppose -4*l - 20 = 0, u*l + 67 = k + 23. Does 9 divide k?
False
Does 17 divide (2214/(-24) + 3)*-4?
True
Let n(t) = t**3 - 2*t**2 + 5*t - 1. Let a = -5 - -9. Let y be n(a). Suppose -4*x + 8 = 2*v - 7*v, -y = -5*x - 4*v. Is x a multiple of 7?
True
Let j(i) = -12*i + 2. Suppose 0 = -5*t + 10 + 10. Let l = -7 + t. Is 19 a factor of j(l)?
True
Let p = 13 - 10. Suppose -4*a + 0*u + 4 = p*u, -5*a + 5*u + 40 = 0. Is 12 a factor of 25/2 - 2/a?
True
Suppose -8*u = -14 - 10. Suppose 20 = q - u. Does 4 divide q?
False
Is 17 a factor of 10110/35 + (-3)/(-21)?
True
Is 75 a factor of 4/(-3 - 1) - (-254 - 7)?
False
Suppose 0 = 3*c - c - 8. Let p(v) = 4*v - 3. Let o(k) = -k**3 + k**2 + 13*k - 8. Let j(g) = -2*o(g) + 7*p(g). Does 17 divide j(c)?
False
Let h = -8 - -9. Let x be 5/(2*4/24). Is 13 a factor of ((-18)/(-10))/(h/x)?
False
Suppose y - 3653 = -3*y + 5*f, y = f + 913. Does 57 divide y?
True
Suppose 0 = 17*p - 16*p - 125. Is p a multiple of 2?
False
Suppose 3459 = 11*f + 1325. Is f a multiple of 24?
False
Let x(c) = -c**3 + 2*c**2 + 6*c + 222. Is x(0) a multiple of 37?
True
Suppose 3367 = 4*h - 3*g, 2*g = h - 291 - 557. Does 18 divide h?
False
Suppose 0 = 2*s + 5*v - 367, 2*s - 2*v - 185 = 203. Is s a multiple of 11?
False
Suppose -2*s = -7*s + 4*c + 17, 5*s - c = 23. Suppose 0*a + s*a - 295 = 0. Does 16 divide a?
False
Let z(i) = i**3 - 10*i**2 + 6. Let b be z(10). Let v(f) = b*f**2 - f + 4 - 2 + 5*f. Does 28 divide v(-3)?
False
Let p be (-2 - 465/(-9))*24/2. Suppose 4*c = 4*r - r + 474, 5*c - 2*r = p. Is 12 a factor of c?
True
Let g(s) = -624*s**3 + s**2 - 2*s - 2. Is 15 a factor of g(-1)?
False
Suppose 5*o + 113 = 4*d, -3*d + 4*o = -52 - 34. Is 55 a factor of (-50)/((-30)/6)*d*1?
True
Let b = 86 + -31. Let m = b + -85. Let u = m + 42. Does 6 divide u?
True
Let a = -44 + 50. Does 12 divide (212/a)/(2/3)?
False
Suppose -2*z + g = -1153, -4*g = 2*z - 410 - 768. Is z a multiple of 17?
False
Let u(z) = -165*z - 12. Is u(-4) a multiple of 12?
True
Let i be 1 + -3 - (6 + 1). Let p = 45 + i. Is 29 a factor of (-4 - -2) + -5 + p?
True
Suppose -4*c + c = -5*d + 21963, 5*c + 21965 = 5*d. Is d a multiple of 122?
True
Let z be 6/4*(-24)/9. Let q(c) = -37*c - 10. Does 13 divide q(z)?
False
Let h(m) = m**2 - 2*m - 50. Is h(40) a multiple of 15?
True
Suppose -9*m - 1230 = -6927. Is m a multiple of 10?
False
Let b be 7/(-35) + 206/5. Let a be b*-5*2/(-5). Suppose -2*h = 5*i - 48, -3*i + a = -2*h + 7*h. Does 3 divide h?
False
Let p(b) = b**2 + 9*b - 6. Let g be p(-10). Suppose 2*t = 3*t + g. Is (9/2)/(t/(-56)) a multiple of 21?
True
Let m(t) = 79*t - 2. Suppose 3*d + 3*k = 15, -2*d - 2*k + 16 = 2*k. Is 26 a factor of m(d)?
True
Let q = 1111 - 789. Is 31 a factor of q?
False
Let d(u) = u**2 - u - 1. Let l(x) = -3*x**2 + 4*x - 7. Let a(j) = 4*d(j) + l(j). Let g be a(0). Let p(k) = -2*k + 16. Does 19 divide p(g)?
True
Suppose 2*w - 5*g = 193, -199 = 13*w - 15*w + 3*g. Is 26 a factor of w?
True
Let x be 14/(-21) - (-26)/3. Suppose x*l - l = 945. Is 34 a factor of l?
False
Let f be 0/2 + (2 - -146). Suppose -90 = k - a, -2*k + 0*a - 160 = 2*a. Let y = k + f. Does 12 divide y?
False
Suppose 0 = -2*z + 765 - 285. Suppose 0 = -4*q, -5*q + 0*q = -2*j + 12. Suppose -z = 2*l - j*l. Does 10 divide l?
True
Let a(j) = 5*j - 6. Let c(r) = r**3 + 12*r**2 - r - 10. Let n be c(-12). Suppose -z = -n*z + 4. Is a(z) a multiple of 14?
True
Suppose 0 = 28*m - 4*m - 1968. Is m a multiple of 7?
False
Suppose 9*y + k = 4*y - 645, 4*y = -3*k - 527. Does 16 divide (y/12)/(2/(-6))?
True
Let u(q) = -2*q**3 + 7*q**2 + 25*q - 29. Is u(-9) a multiple of 7?
True
Suppose 0 = 5*s + 3*a - 2753, -51*s + 546 = -50*s - 4*a. Does 14 divide s?
False
Suppose r = -k - 2*r + 5, -3*r = -2*k - 26. Let m(d) = -3*d + 43. Does 16 divide m(k)?
True
Suppose -2*c - 3*f + 489 = 0, -474 = -29*c + 27*c + 2*f. Is 24 a factor of c?
True
Is 4 - -1 - (-22 + -17) a multiple of 7?
False
Let i(z) = -3*z**2 + 13*z + 25. Let j(n) = 11*n**2 - 10*n**2 + n - 2*n. Let d(g) = i(g) + 2*j(g). Does 14 divide d(11)?
False
Does 35 divide (-49)/((-1)/((-25)/(-5)))?
True
Let f(w) = w**3 - 12*w**2 - 2*w + 5. Let k be f(12). Let j = -14 - k. Suppose 4*p - 4*c = 6*p - 10, -2*p = -j*c - 28. Is 3 a factor of p?
True
Let y = 200 - 76. Does 14 divide y?
False
Suppose 0 = 5*r - 3*r - 5*o - 175, -4*r + 2*o + 342 = 0. Suppose r = 3*i + x - 63, -i = -3*x - 56. Let q = -13 + i. Is q a multiple of 29?
False
Let u = -247 + 441. Does 20 divide u?
False
Let v be -1*(-6)/3 + -4. Let f be (3 - (v + -1)) + -3. Suppose f*y = 9, -4*y = 2*c - 37 + 5. Is 10 a factor of c?
True
Let d be (-2)/6 - 171/(-27). Suppose 5*f + 3*w = d, 0*f + 2*w = -2*f. Suppose f*m - 6*m = -45. Is 15 a factor of m?
True
Suppose 33 - 9 = 4*c. Suppose -14 = -4*r + c. Suppose -u = r - 15. Is 2 a factor of u?
True
Let h(z) = -z**2 + 4. Let o(j) = j - 4. Let n(c) = -3*h(c) - 2*o(c). Let q be n(-2). Suppose -4*r = -5*r + q. Is r a multiple of 6?
True
Let x(p) be the first derivative of p**3/3 + 19*p**2/2 + 7*p + 6. Does 7 divide x(-20)?
False
Let f(q) = -q**2 + 8*q. Let w be f(9). Does 20 divide (1 + 2)*(-141)/w?
False
Let t(l) = -l**3 - 3*l**2 + 3*l. Let h be t(-4). Suppose 0 = -3*x + 16 - 4, -h*u + 68 = 2*x. Let k = 26 - u. Is 11 a factor of k?
True
Let l be (-5 - 1)*4/3. Is 22 a factor of (-2585)/(-44) - (-6)/l?
False
Suppose -2*o - 1002 = -s, 4912 = 4*s + 7*o + 949. Is s a multiple of 41?
False
Does 43 divide (-1037)/(-2) + (-25)/10?
True
Suppose 456 = -10*m + 9206. Is 13 a factor of m?
False
Let j be 3 + 3 + -2 + 5. Suppose 0 = a + 51 - j. Let i = -8 - a. Is 17 a factor of i?
True
Let z be ((-198)/(-88))/(46/48 + -1). Let o = z - -71. Is o a multiple of 2?
False
Suppose -48*l + 54*l - 36 = 0. Is l a multiple of 5?
False
Let d be (13/(-2))/(2/(-4)). Suppose -d = a - 2*a. Suppose 3*k + 3*s - 24 = 0, -s - a + 1 = -3*k. Is k a multiple of 5?
True
Let n = -2 + 9. Let j = n - -11. Does 9 divide j?
True
Let b be ((-148)/(-2))/(0 - -2). Suppose -4*z - 7 = -3*z - 4*t, b = 5*z + 4*t. Is 6 a factor of (-1)/z - 62/(-10)?
True
Suppose 0 = -25*d + 53 + 3022. Does 16 divide d?
False
Let y = -165 - -363. Is 9 a factor of y?
True
Let j(u) = -u**3 - u**2 - 3*u - 6. Let s be j(-2). Suppose -d - 68 = -v - 6, -4*v + 272 = s*d. Does 14 divide v?
False
Suppose -2*m + 4*m = 4*f + 208, 5*f + 308 = 3*m. Is m a multiple of 43?
False
Let i be 16/20*(-10)/(-4). Suppose 0*t + i*t - 56 = 0. Is 3 a factor of t/5 + 4/10?
True
