29, 1766 = 3*v - a. Is v a multiple of 7?
True
Let v be 6/(-21) + 14082/42 + -1. Let h = v + -195. Is 22 a factor of h?
False
Suppose -c - 3*s = -20, 2*s + s = 12. Suppose i - c*i - 7 = 0. Does 46 divide 7 + -3 + i - -89?
True
Let w be 24/16 + 2/4. Suppose 4*k - 30 = w*k + 2*r, 0 = -r - 4. Suppose 0 = k*u - 509 - 1933. Is u a multiple of 37?
True
Suppose 0 = 4*c - 5*c - 5*p - 18, -5*p = 4*c + 12. Suppose 4*h = -4*w + 360, c*w + w + 4*h = 268. Let z = 266 - w. Is 29 a factor of z?
True
Let r = -11858 + 21533. Does 25 divide r?
True
Suppose -9400 = -d + 11*x - 10*x, -2*d - 2*x = -18784. Does 27 divide d?
True
Let o = -7098 - -4242. Is 12 a factor of (-3 + 7 - 3)/((-7)/o)?
True
Let b(o) = o**3 + 9*o**2 - o - 10. Let m be b(-9). Let z be 40/(-6)*((m - -1) + -3). Let n = z - -26. Does 6 divide n?
False
Is 60 a factor of (1 - (-1977)/(-15))/(12/(-150))?
False
Suppose -n - 9908 = -2*t, 3*t - 14861 = -3*n + 4*n. Is t a multiple of 39?
True
Suppose 2*u + 5 = -5. Let d(a) = -6*a - 82 + a - a + 69. Is d(u) a multiple of 17?
True
Suppose -350 + 110 = 10*g. Let v(h) = -21*h - 194. Is 31 a factor of v(g)?
True
Let d(i) = 27*i**2 - 25*i - 26. Let f be d(-1). Suppose 327 + f = w. Is 7 a factor of w?
False
Let c = -378 - -414. Suppose 4158 = c*d - 30*d. Is 17 a factor of d?
False
Let r(m) = -m**3 - 9*m**2 - m - 6. Let b be r(-9). Suppose -2*y + 2*g = -16, 5*y + 0*g = -b*g + 48. Suppose -7*h + y*h - 136 = 0. Is 16 a factor of h?
False
Suppose 0 = 23*y - 17*y - 4764. Let i = 924 - y. Is i a multiple of 13?
True
Let x(p) = 30*p**2 + p - 16. Let w be x(-4). Suppose 956 + w = 12*h. Does 6 divide h?
False
Let p(t) = 25*t**2 + 3*t + 2. Suppose c = -5*n - 227, 0 = -5*n - 4*c + 117 - 350. Let l = n - -47. Does 12 divide p(l)?
True
Let a(k) = -294*k - 4858. Does 9 divide a(-35)?
False
Suppose q + 5*j + 17 = 0, -5*q + 15*j + 27 = 12*j. Let b(x) = 10*x - 20 + 5*x + 18 - 3*x. Is 11 a factor of b(q)?
False
Suppose -5*z + 47 = -3*a - 96, z = a + 45. Let d = a - -305. Does 24 divide d?
True
Let t(c) = -27*c - 186. Let p be t(-7). Suppose -l + 57 = 2*l + p*o, 3*o = -2*l + 37. Is 10 a factor of l?
True
Suppose 25 = 6*z - z, -4*d - 2*z + 3022 = 0. Suppose 15 = 5*a, -5*j + 0*j = a - d. Is 15 a factor of j?
True
Let h(p) = 51*p - 9. Let d be (0 + 1)*(9 + -6). Suppose -2*z = -0*z - 5*i + 1, -z - i + d = 0. Is 31 a factor of h(z)?
True
Suppose h = 2*r + 3, 17 = -h + 5*h - 3*r. Suppose 2*l - 4 = 0, 0 = a - 0*l - h*l - 23. Is a a multiple of 11?
True
Let z(l) = 921*l + 23. Let g(f) = -4603*f - 117. Let s(p) = 2*g(p) + 11*z(p). Is s(1) a multiple of 59?
True
Let t = 44 + -29. Let w(x) = t + 10 - 4*x + 9*x. Is w(9) a multiple of 19?
False
Let i(r) = -1491*r - 2011. Is 99 a factor of i(-11)?
False
Is 16 a factor of ((-224)/21)/((8/(-621))/4)?
True
Let r = -642 - -1014. Let x be 7/21*(3 + r). Is 3 a factor of (-2)/(5/(x/(-10)))?
False
Suppose 5*l + 2*f - 3428 = 0, 5*l - 1370 = 3*l - 2*f. Let s = l - 94. Is 16 a factor of s?
True
Let j = 11 - 56. Is ((-108)/j)/((-6)/(-150)) a multiple of 5?
True
Let o = -179 - -215. Suppose 61*i = 60*i + o. Is i a multiple of 4?
True
Let g(v) = 13*v**3 + 3*v**2 - 2. Let z be g(1). Suppose z = 3*s - f, -3*s - 3*f + 23 = s. Suppose -2*y - s*n = -238, -5*n + 3*n = -8. Is 11 a factor of y?
False
Let a = 12 - -16. Suppose 0 = -23*p + a*p, 3*p + 693 = u. Does 77 divide u?
True
Is 22 a factor of 23/((-3105)/30) + 616648*2/36?
False
Is 7 a factor of (-30)/55 + 112894/22?
True
Suppose -3*y = 7*a - 31902, -3*a + 8 = -10. Does 30 divide y?
True
Suppose s + 8 + 7 = 0. Let o be (-42)/9*s/(-10). Let w(q) = 3*q**2 + 7*q - 8. Does 18 divide w(o)?
True
Suppose 16866 = 6*u + 3*s, 2*u - 2*s - 690 - 4950 = 0. Is u a multiple of 7?
True
Let c = -606 + 614. Suppose -2784 = -c*g - 8*g. Is 2 a factor of g?
True
Let d(j) = -253*j + 14. Let v be d(-2). Let k = v - 403. Does 11 divide k?
False
Let f be (-102)/(-17) + 1*-1. Suppose -3*w - f*a = -3*a + 964, -4*w + a = 1267. Is 8 a factor of (-24)/36*w/4?
False
Suppose 25*y = 7*y - 36. Suppose n = 4*g + 4*n + 74, 0 = g - n + 22. Let k = y - g. Does 10 divide k?
False
Suppose -5*u - 15 = -30. Suppose x = u*x - 4, 3*x = 3*j - 252. Does 11 divide j?
False
Let g(f) be the third derivative of -f**6/120 - f**5/6 + 61*f**4/24 - 3*f**3/2 - 9*f**2 - 8. Does 55 divide g(-18)?
True
Let l(f) be the second derivative of f**5/20 + 7*f**3/3 + 6*f**2 + 2*f + 26. Is l(6) a multiple of 7?
False
Let s(r) = -92*r**3 - 3*r**2 - r. Let x be s(-1). Suppose -2*v - 3*n = -x, v - 5 - 45 = n. Is v a multiple of 6?
True
Suppose -9*w + 18 = -0*w. Let k be 16 - -3*((-3)/(-3) - w). Suppose -4*n + k = -87. Is 23 a factor of n?
False
Suppose i - 514 = 4*x, -3*x - x = 3*i - 1606. Let o = 1150 - i. Does 46 divide o?
False
Is (-5833652)/(-253) + 66/230 + 46/(-230) a multiple of 221?
False
Let l = 128 + -318. Let w = l + 1054. Does 38 divide w?
False
Suppose 27*k - 405153 - 14245 = -2*k. Is 171 a factor of k?
False
Let i(l) be the second derivative of l**4/12 + 8*l**3/3 + 16*l**2 - 2*l. Let o be i(-14). Suppose r - 6*r = -o*y - 119, 4*r - 5*y - 88 = 0. Is 10 a factor of r?
False
Suppose -2*m - 19 = -77. Suppose -4*o + 4*v = -68, -v + 2*v = 2*o - m. Is (o + -14)/((-2)/131) a multiple of 28?
False
Let k be (4 - 0) + (-2 - 2). Suppose k = -4*a - 4*w + 24 + 4, -3*w + 9 = 0. Suppose 5 = -d, a*d = -3*l + 2*d + 89. Is l a multiple of 11?
True
Suppose -22*w - 12*w = 63*w - 656496. Is w a multiple of 27?
False
Suppose -13*x - 1694 + 1616 = 0. Let o = -10 + 21. Is 16 a factor of (-32)/x*165/o?
True
Suppose -126*t = -10197 - 40203. Is t a multiple of 10?
True
Suppose x + 15 = 3. Let a be (x/15)/(6/(-210)). Let j = a - 8. Does 10 divide j?
True
Suppose 176*g + 2744974 + 3860666 = 487*g. Is g a multiple of 120?
True
Let i be (4/8)/((-1)/(-4)). Suppose 0 = -2*s - 2*p + i, -3 + 2 = p. Suppose 361 - 109 = s*r. Is 18 a factor of r?
True
Let p(q) = 3*q**2 + 11*q + 13. Let z be (-13)/(-4 + 19/5). Let y = z - 71. Does 11 divide p(y)?
True
Suppose 0 = -2*m - 651*r + 653*r + 2714, 2*m - 3*r = 2714. Does 26 divide m?
False
Suppose 22*u + 701 = 2703. Let o = 49 + -88. Let b = u - o. Is b a multiple of 26?
True
Let p(w) = w**3 + 4*w**2 + 7*w + 42. Let h be p(-5). Does 56 divide 740/(-3)*h/15?
False
Suppose 3*q - 5 = 1. Suppose -2*u = 5*o - 3*o - q, -1 = 2*u + 5*o. Suppose -u*m = 3*n - 38 - 99, 5*m + 123 = 2*n. Does 49 divide n?
True
Suppose -2*a - 65 = -7. Let g = -6 - a. Suppose 5*m + l = 63, 2*l = m - 3*l - g. Is 13 a factor of m?
True
Let h be (19/(38/(-12)))/(-2). Suppose 2*k + 580 = 4*l, h*l - k - 146 = 2*l. Does 24 divide l?
True
Does 204 divide 235304/48 + 3/(-18)?
False
Let r(b) = -b**2 - 2*b + 9. Let j be r(3). Let p be (4/(-10))/(j/7170). Is p/12 - (0 - (-3)/(-18)) a multiple of 2?
True
Let o(t) = 2*t - 1. Let f be o(2). Let z(m) = -m**2 + 17*m + 4. Let u be z(17). Suppose -4*w + 176 = -u*d, 3 = f*d + 15. Does 14 divide w?
False
Let z = 104 + -95. Suppose -2*s - 5*c = -548, 10*s - 287 = z*s + 4*c. Does 31 divide s?
True
Let s be 4 - ((5 - 4) + 16). Let v be -6 - (s/7 - 2/14). Is v/(-10) - 112/(-20) even?
True
Let w(s) = 47*s + 46. Let b(y) = -y + 1. Let x(a) = -4*b(a) - w(a). Is x(-6) a multiple of 6?
False
Let t(y) = 27*y - 60. Let a be t(2). Is 5/a + (-178376)/(-528) a multiple of 3?
False
Let l(h) = -h**2 + h - 63. Let i be l(-32). Let t = 1680 + i. Is t a multiple of 51?
True
Let q(t) = t**3 + 3*t**2 + 6. Let w = -76 + 27. Let j = w + 52. Is 17 a factor of q(j)?
False
Let c(p) = 453*p**2 - 8*p + 16. Let w be c(2). Suppose 6*a - w = -0*a. Is 31 a factor of a?
False
Suppose 0 = z - 4*z - 1620. Let n = z - -765. Does 15 divide n?
True
Let u = -3934 + 7191. Suppose -23*h + u + 4333 = 0. Does 30 divide h?
True
Let z(q) = 64*q**2 - 9*q + 14. Is 81 a factor of z(-11)?
True
Let b(m) = 330*m - 114*m - 119*m - 111*m. Let x(f) = -2*f**2 + 1. Let o be x(1). Is b(o) a multiple of 8?
False
Suppose 13*s - 1914 = -9*s. Suppose s*v - 91*v = -2980. Is v a multiple of 67?
False
Is 23 a factor of (-1154)/(-10)*(-5)/(-1) - -2?
False
Let u(g) = 13404*g**3 + g**2 - 95*g + 94. Is 10 a factor of u(1)?
False
Let l(y) = 14*y**2 + 10*y + 5. Let d be l(-7). Suppose 0 = 26*k - 27*k + d. Does 16 divide ((-12)/9)/((-6)/k)?
False
Let z be -2 - 6/3 - (-13 + 4). Suppose 3*v = -3, -4*j + 21 = -z*v - 28. Is 3 a fa