se 0 = 5*z - n - 0*n - 24, -z = n. Does 12 divide z*(3 - 0/1)?
True
Let l = -112 - -159. Does 8 divide l?
False
Let m be -5 - (-6)/(30/55). Is 15 a factor of (m/(-24))/(1/(-716))?
False
Let g be -2 + 2*428/8. Let o = 5 + g. Suppose -5*j + o = -4*z - 0, 0 = -j - z + 31. Is j a multiple of 13?
True
Let p be 2 - (-6 - (-5 - -2)). Suppose -5*r - b + p*b = -79, 5*b - 10 = -r. Is r a multiple of 3?
True
Suppose -18 = d - 4*d. Suppose 80 = -d*s + s. Let j = 29 + s. Is j a multiple of 13?
True
Let w = 1307 - -26. Is w a multiple of 43?
True
Let a be (-304)/(-6) + ((-8)/6)/2. Suppose 358 = 4*v + a. Does 8 divide v?
False
Does 14 divide (20/5 + -5)*-393?
False
Let z = 627 + 36. Is z a multiple of 9?
False
Suppose 0 = -5*u + 15 - 0, -5*f + 5*u = -110. Suppose 4*x + 8*x = 804. Let h = x - f. Is 21 a factor of h?
True
Let q = 11 + -9. Suppose 0 = q*h - 12*h + 190. Does 2 divide h?
False
Let g = -124 + 129. Suppose -373 - 356 = -3*q - 4*l, 5*q = g*l + 1215. Is q a multiple of 9?
True
Let o = 3724 + -2236. Is o a multiple of 16?
True
Suppose -13 = 2*u + 4*f + 7, 5*f = -25. Suppose 4*y - 12 = u, -l + 4*y - 26 = -0*l. Does 24 divide (-1012)/l + (-8)/28?
True
Is (761 + -5)*((1 - -2) + -2) a multiple of 21?
True
Suppose 22*h + 20 = 26*h. Let x = 3 + -1. Suppose -h*d + 2*d + 24 = 3*w, d = -x*w + 9. Does 2 divide d?
False
Suppose 0*m + 5 = -2*p + 3*m, -30 = -5*p - m. Suppose 0*t - 2 = -2*t + c, 0 = -4*t - p*c + 32. Is 7 a factor of t - (-32 + 1) - 2?
False
Suppose 182 + 874 = 2*z. Does 4 divide (-2)/10 - z/(-40)?
False
Let z be (4 - 3) + (-4)/(-2). Suppose -z*r + 845 = 2*r. Suppose 4*j - r = -w - 34, 3*j - 5*w - 84 = 0. Is 16 a factor of j?
False
Suppose 0*g - 4*g = 4, -g = 5*m - 54. Suppose -7*a + 8 = -m*a. Is (-12)/(2*a/8) a multiple of 12?
True
Does 30 divide 434 - (9 - 10 - -5)?
False
Suppose -183*j - 15600 = -199*j. Is 75 a factor of j?
True
Suppose 5*a - 185 = 3*m + 54, 4*a - 5*m - 186 = 0. Suppose 6*z + z = -a. Is -1*(z - 0/2) a multiple of 2?
False
Suppose -23461 - 1564 = -25*p. Does 11 divide p?
True
Suppose 0 = l - 83 + 48. Is l a multiple of 35?
True
Let m be 4/(-5) - 2/10. Let o be m/2*32/(-4). Is 12 a factor of (21/o)/(4/32)?
False
Let n be (-12)/(-16)*4 + 6. Let g(a) = a + 1. Is 4 a factor of g(n)?
False
Let v(i) = 3*i**3 + 2*i**2 - 4*i + 2. Let w be (-3)/(-2)*2 + -1. Suppose w*d + 2 = 3*d. Is v(d) a multiple of 10?
False
Let a = -27 + 21. Is 13 a factor of 460/6 - 8/a?
True
Let b be 160/(-28) - (-4)/(-14). Let k(a) = -a**3 - 7*a**2 - 7*a - 1. Let v be k(b). Suppose l - 90 + 23 = -v*h, -2*h + 196 = 4*l. Is l a multiple of 13?
False
Let d(x) = -x**2 + 7*x + 2. Let r be d(7). Suppose -2*q + 2*f = 16, r*q + 0 = -4*f - 16. Is (-9)/(-12) + (-106)/q a multiple of 3?
False
Suppose 26*t - 24*t - 666 = 0. Suppose -4*p = 4, -2*y + 0*p + t = -5*p. Is 13 a factor of y?
False
Let h(b) be the third derivative of -11*b**6/120 - b**5/60 + b**4/8 - b**3/6 - b**2. Let k be h(-2). Suppose 327 - k = 5*d. Is 25 a factor of d?
True
Suppose -4*g + 4364 = 832. Is 6 a factor of g?
False
Suppose -12*j + 11*j + 2 = 0. Suppose 196 = 5*v - j*d, -v + 6*v = -3*d + 206. Is 17 a factor of v?
False
Suppose -j = -6*j - 25. Let h(c) = -c - 1. Let i be h(j). Suppose i*s - 32 - 112 = 0. Is s a multiple of 18?
True
Let p = -328 - -354. Is p a multiple of 26?
True
Let r = 775 + -210. Does 27 divide r?
False
Suppose -3*c - 156 = 4*x, 3*x + c + 121 = 4. Let d = x - -83. Let u = d - 28. Is 3 a factor of u?
False
Suppose 19*x = 16*x + 780. Is 26 a factor of x?
True
Let q(h) = -h + 9. Let z be q(12). Let o(w) be the second derivative of w**4/3 - 2*w**3/3 + 2*w**2 - w. Is 13 a factor of o(z)?
True
Let z be (-708)/8*(-2)/(-3). Let x = z + 180. Does 18 divide x?
False
Let d = 6 - 1. Suppose -39 - 51 = -d*s. Is 18 a factor of s?
True
Let b be (-15)/(-6)*(-20)/(-25). Suppose -7*w + b = -26. Suppose -p - 141 = -w*p. Is p a multiple of 26?
False
Suppose 0 = -4*m - 4. Let y(r) = -75*r**3 - 4*r**2 - 4*r - 1. Is y(m) a multiple of 13?
False
Let j = -1501 + 1881. Does 10 divide j?
True
Let f(w) = 4*w**2 - 9*w + 17. Let o be 1/(4/12) - -4. Let i be f(o). Is (2/4)/(1/i) a multiple of 24?
False
Let g be ((-1)/(-1))/(3/15). Suppose g*w + 4*x = 2*w + 16, 4*x - 4 = 0. Does 10 divide w*((-693)/12)/(-7)?
False
Let u(i) = -i**3 - 7*i**2 + 7*i + 16. Suppose -14 = 5*w + 26. Does 23 divide u(w)?
False
Let a(b) = b**3 + 4*b**2 + b + 9. Let q = 8 + -12. Let n be a(q). Suppose 2*p = 1 + 1, -n*y - 4*p + 29 = 0. Is y a multiple of 2?
False
Let l(m) = m**3 + 28*m**2 - 128*m + 15. Is l(-32) a multiple of 2?
False
Let w = 1 - -2. Let u(g) = -g**3 - 26*g**2 + 58*g + 58. Let a be u(-28). Does 5 divide a/w*2*15?
True
Let k(c) = c**3 + 10*c**2 + 13*c + 13. Let n(v) = v**3 - v**2 - 10*v - 16. Let j be n(-2). Is 2 a factor of k(j)?
False
Suppose -73*h = -86*h + 9997. Does 18 divide h?
False
Let w = 176 + 2. Let z be (-9)/(-6) - (-5)/(-10)*-557. Let c = z - w. Does 17 divide c?
True
Let p(a) be the second derivative of a**4/6 + 3*a**3/2 - 5*a**2 + 2*a. Let o be p(-7). Let l = 43 - o. Does 18 divide l?
True
Suppose -2*y - 420 = -5*y. Let v = -189 + 191. Is 11 a factor of 2/(8/y) + v?
False
Suppose 4*z - 14190 = -5*x, -3*z - 1410 + 12055 = 5*x. Does 14 divide z?
False
Let g = 117 - 35. Is 6 a factor of g?
False
Let j be 4*4/32*-10. Does 18 divide (0 - -16)/(j/(-10))?
False
Let b(u) = -u**3 + 7*u**2 + 4*u - 4. Let p be b(7). Let o = p + -24. Suppose o = -7*x + 5*x + 42. Does 7 divide x?
True
Let n(x) = 55*x + 155. Let y(f) = 4*f + 11. Let t(j) = 6*n(j) - 85*y(j). Let r = 7 - 10. Is 6 a factor of t(r)?
False
Suppose -4*g + 85 + 27 = 0. Suppose 0 = 3*z + 3*n - 147, -g = 2*z + 5*n - 135. Does 23 divide z?
True
Let n be -2*(-1 + (-2)/4). Suppose -14 = -n*c + 16. Is 8 a factor of c?
False
Suppose 4*h - 7 = 9. Let x be (10/(-15))/(h/102). Let q = x - -44. Is 16 a factor of q?
False
Suppose 0 = -3*x - 5*z - 0*z + 127, x - 29 = -5*z. Does 7 divide x?
True
Let y(d) = -d**3 - 4*d**2 - 9*d + 13. Let n(k) = -k**3 - 5*k**2 - 10*k + 14. Let t(x) = 6*n(x) - 7*y(x). Does 3 divide t(3)?
False
Let k(a) = a**3 + 17*a**2 - 16*a + 33. Let s be k(-18). Does 24 divide ((-1242)/(-12))/(s/(-2) - 1)?
False
Let q = 104 + -95. Suppose -q*x = -2*x - 532. Is 38 a factor of x?
True
Suppose 0 = 4*s - 2*s + 2*h - 92, -2*h - 112 = -2*s. Suppose -4*g + s - 3 = 0. Does 12 divide g?
True
Suppose 2*w = 5*b + 24, w + 2*b + 0*b + 6 = 0. Suppose -3*r + 3 = -w*d + 5, -4*r - 8 = -4*d. Suppose 22 - 250 = -r*i. Is 19 a factor of i?
True
Let t be ((-2)/4)/(-2*6/(-96)). Is 15 a factor of ((-90)/t)/(5/30)?
True
Let o = 17 - -343. Does 14 divide o?
False
Is (19*(-1)/(-3))/((-13)/(-117)) a multiple of 2?
False
Is 2 a factor of 39/143 + 63/11?
True
Let m = -1312 - -1576. Does 6 divide m?
True
Suppose 0*w - 5*w = 4*v - 20, -2*v = -w + 4. Let b be (v - -1) + (-5 - -10). Let h(n) = n**2 - 3*n - 6. Is h(b) a multiple of 4?
True
Let t = 409 - -167. Does 32 divide t?
True
Let u(l) = -2*l**3 + 7*l**2 - 3*l - 3. Is 13 a factor of u(-5)?
False
Suppose -3*m + 1 = -2*x - 4*m, -5*x - 5 = 5*m. Let v(n) be the first derivative of n**2 + 50*n + 1. Is v(x) a multiple of 22?
False
Let t be (-8)/60 + (-1226)/30. Let z = t - -25. Let f = z - -30. Is f a multiple of 6?
False
Let f be (-19)/4*(-22 - -10). Suppose -6*n + 5*n = -f. Is 19 a factor of n?
True
Does 5 divide 1694/2 + 8*(-39)/(-104)?
True
Let p = 783 + -528. Is p a multiple of 24?
False
Let o(n) = 0 - 12 - 3*n**2 + n + 5*n**2. Let i be o(-9). Let d = i - 76. Does 22 divide d?
False
Let g = 40 - 30. Let l be (-114)/95*g/(-3). Suppose -76 = -2*p + 3*r, -p - 2*p + l*r = -113. Is p a multiple of 10?
False
Let r = 25 - 15. Suppose -3*b - r = -8*b. Suppose 3*a + 2*x - 12 = 0, b*x = 3*a - 3*x - 12. Does 4 divide a?
True
Let z be (-5)/(-1 + 16) + (-56)/(-6). Suppose z*k - 70 = 2*k. Is k a multiple of 10?
True
Let h be -3*(-8)/36*(2 + 4). Suppose 2*r - 3*a = -5*a + 24, h*r = -3*a + 50. Is 2 a factor of r?
True
Suppose -2*o = 3*o. Let s = 2 + 3. Suppose 2*x - s*x + 180 = o. Is 20 a factor of x?
True
Is 9 a factor of (2 + 5 - 2) + 323 + -20?
False
Let s(w) = -26*w**3 - 2*w**2 - 18*w - 119. Is s(-4) a multiple of 30?
False
Let a(t) = t**2 + 3*t + 3. Let i(r) = r**2 - 12*r + 8. Let j be i(11). Let k be a(j). Suppose -m + 4*u = -k*m + 68, 5*u = -15. Is m