e -5*h = -101 + u. Does 8 divide h?
False
Let c be ((-45)/6)/((-21)/28). Let o be (-8)/c + (-16)/(-20). Suppose -a - 5*m + 77 = o, -3*m - 213 = -5*a + 284. Is 32 a factor of a?
False
Let z(i) = -i**3 - 10*i**2 - 11*i - 5. Let x be z(-10). Suppose -f + x = 4*f. Is 10 a factor of f + (1 + 4 - 3)?
False
Let o be 44/24 - 2/(-12). Let v be (-2)/11 + (-16056)/(-99). Suppose 4*c - o = v. Does 15 divide c?
False
Suppose 4*u - 1687 = -0*x + x, 0 = -5*u + 3*x + 2100. Is u a multiple of 29?
False
Suppose -7*z + 4761 = -783. Does 9 divide z?
True
Let j(v) = v**2 - 7*v + 16. Let x be j(7). Suppose -x = -5*n + 14. Suppose n*o - 102 = 4*o. Is o a multiple of 18?
False
Let p be 12/(14/105 - (-1)/30). Let d = p + -44. Does 5 divide d?
False
Let j = 5101 - 2449. Is 102 a factor of j?
True
Let m = 121 + -449. Let v = -202 - m. Does 9 divide v?
True
Suppose 0 = -3*k + 8 - 2. Let b be 5 - k - 0/1. Suppose 6*j - b*j = 6. Is j a multiple of 2?
True
Let w(n) = n**2 - n - 12. Is 4 a factor of w(-7)?
True
Let l be (3 + (-14)/(-4))*-2. Let z = -7 - l. Is 4 a factor of z?
False
Suppose 15*l = 13*l + 4. Suppose -l*n = 4*n - 114. Is n a multiple of 5?
False
Suppose 2*n + 28 = 4*z, -z + 6*z + 5*n - 20 = 0. Let t(y) = 2*y**2 - 13*y - 5. Let b(f) = f**2 - 7*f - 2. Let q(c) = -7*b(c) + 3*t(c). Is q(z) a multiple of 6?
False
Suppose 0*r + 4*r = -0*r. Let q be 1/(-4) + (-730)/(-8). Suppose 5*a - q - 34 = r. Is 7 a factor of a?
False
Let z be 0 - (2 + 1 + -2). Is (-868)/(-24) - z/(-6) a multiple of 9?
True
Is 14 a factor of ((-852)/10)/(-9 + 609/70)?
False
Suppose 0 = -2*p - 4, -5*p = -2*r + 5*r + 7. Is 19 a factor of (r - (-351)/3)*2/2?
False
Let s(g) = -3*g**3 - 12*g**2 + 17*g - 2. Is 28 a factor of s(-6)?
True
Suppose -m + 150 = y, m - 5*m = -y - 610. Is m a multiple of 6?
False
Let p(r) = -r**3 - 8*r**2 + 5*r - 3. Suppose o = -0 + 6. Let k(i) = -i**2 + 3*i + 9. Let c be k(o). Is 14 a factor of p(c)?
False
Let b be (-1)/2 + 1710/36. Let s = 87 - b. Does 32 divide s?
False
Let b(r) = r**3 - 2*r**2 - r - 4. Suppose 20 = 46*l - 41*l. Does 12 divide b(l)?
True
Suppose 125 = 5*x + 7*v - 2*v, -4*v = 2*x - 52. Does 2 divide x?
True
Let y = -1 - -8. Let q(h) = -h**3 + 7*h**2 + 8. Let l be q(y). Let j = l - -8. Does 4 divide j?
True
Let l(y) = 15*y + 0*y + 14*y**2 - 12*y**2 - 3*y**2 - 8. Is 36 a factor of l(11)?
True
Let x(b) be the third derivative of -23*b**4/24 + 11*b**3/3 + 19*b**2. Is x(-6) a multiple of 40?
True
Let t(a) = -27*a**3 - 7*a**2 + 4. Let i be t(-3). Suppose 0 = -d + 11*d - i. Does 9 divide d?
False
Suppose -z + 5*l + 15 = 0, 4 = -4*z + l - 12. Let n be (-315)/(z - (-4 + 0)). Suppose -v + 2*v - 203 = -3*b, -5*b + 3*v = -n. Is b a multiple of 22?
True
Let g = -266 - -374. Suppose -8*m + 436 + g = 0. Does 12 divide m?
False
Let n = -4 - 12. Let t = 20 - n. Is 14 a factor of t?
False
Suppose -6*a + 3*a - 29 = -4*o, a + 16 = -5*o. Let n = a - -180. Does 11 divide n?
False
Suppose -7*q + 64 = -244. Is 2 a factor of q?
True
Suppose -a - 480 = -2*g, 0 = -a - 0*a. Is g a multiple of 120?
True
Let k be -2 + -1 + 12/2. Suppose 3*z - 72 = -k*z. Is 3 a factor of z?
True
Suppose 1398 = -0*q - 6*q. Let d = -129 - q. Let k = d - 68. Does 18 divide k?
True
Does 4 divide -1 - -6*5*35/25?
False
Let z(t) = -2*t**3 + 4*t**2 + 7*t + 1. Let v be z(3). Suppose -2*i = 2*i - 20, 2*j + v*i - 236 = 0. Does 9 divide j?
True
Let g(u) = -u**2 - u - 1. Let k(x) = -4*x - 1 + 6*x**2 + 17*x**2 - 5. Let h(s) = -6*g(s) + k(s). Is h(1) a multiple of 8?
False
Suppose -3*q + 8 = -2*n, -4*n + 0*n + 8 = 0. Suppose 73 + 95 = q*x. Is 21 a factor of x?
True
Suppose -6*v + 16 = -2*v. Does 5 divide (-68)/(-8) - v/(-8)?
False
Let m = 43 - 37. Suppose 2*p + 32 = m*p - 5*h, -p + 2*h + 5 = 0. Is p a multiple of 3?
False
Suppose 12 = 4*i - 0. Suppose i*b - 15 = -0*r + 3*r, 4*r + b + 10 = 0. Does 15 divide r*2*45/(-6)?
True
Is 12 a factor of 4/(48/6453) + 20/80?
False
Let o = 610 - 403. Does 6 divide o?
False
Let d be (-3 - 3/(-1))/(-2). Suppose 4*r + r - 395 = d. Is r a multiple of 23?
False
Let b(a) = 8*a + 21. Let q(z) = -4*z - 10. Let v(d) = -6*b(d) - 13*q(d). Let x be v(-3). Let u = x + 74. Does 22 divide u?
True
Let t(r) = -r - 7*r + 3*r - 4*r - 12. Suppose -5*y - 37 = -7. Is 21 a factor of t(y)?
True
Let b(k) = -k**3 + 33*k**2 + 8*k + 4. Does 10 divide b(33)?
False
Suppose -4*l + d = 6*d + 147, 5*l = -d - 168. Let t = 9 - l. Suppose -v - 3*z + t = 0, 15 + 3 = v - 3*z. Is 14 a factor of v?
False
Let h(z) = -z. Let d(n) = -n**2 - 17*n - 22. Let a(t) = -d(t) + 5*h(t). Is 7 a factor of a(-13)?
True
Suppose -6*i = 4*j - 3*i - 236, -5*j - 3*i + 298 = 0. Suppose -o + j - 22 = 0. Does 10 divide o?
True
Let o = -16 - -36. Suppose 17*c = o*c + 189. Does 14 divide -2*c/(-15)*-5?
True
Let p be ((-14)/35)/((-2)/(-190)). Let m = p - -223. Does 37 divide m?
True
Let s(r) = -2*r**3 - 34*r**2 + 14*r + 26. Does 86 divide s(-19)?
True
Let d = -3270 + 4602. Does 12 divide d?
True
Suppose -18*v = -24*v + 486. Is 2 a factor of v?
False
Let c be 2/3 - 1/(-3). Let h be (-6)/(-2) + (2 - c). Suppose 20 = -5*s, -h*s + s = 2*y. Is 6 a factor of y?
True
Suppose 4*f = -2*l - 78, -f = -4*f - l - 61. Let n(z) = 18*z - 5. Let o be n(-2). Let p = f - o. Is p a multiple of 10?
False
Let o be (1/2)/((-12)/72). Is ((-38)/o)/(20/120) a multiple of 19?
True
Suppose 39 = -6*a - 171. Let h = a - -5. Let g = h - -48. Does 8 divide g?
False
Suppose 46*s - 46992 = 2*s. Is s a multiple of 12?
True
Let t be ((-2)/(-3))/((-8)/(-3516)). Let w = -199 + t. Is 17 a factor of (w/4)/(21/42)?
False
Suppose -39 = -16*d + 121. Is d a multiple of 2?
True
Let v(a) = a**2 + 4*a + 8. Let o be v(-4). Suppose -5*c + o = -2. Suppose -12 = -b - c*b, -124 = -4*l + b. Is l a multiple of 16?
True
Let s(r) = 5*r - 4. Let f(a) = -2*a + 2. Let g(z) = -10*f(z) - 6*s(z). Is g(-1) a multiple of 2?
True
Suppose -w - 27 = 2*w. Let n be -3*(3 + w - 1). Does 3 divide (20/7)/(6/n)?
False
Suppose -y - 2*g + 1 = 0, 5*y + 5 = -2*g + 18. Let b be -2 - (4 + (-3 - (-3)/(-1))). Suppose b = -y*i + 2*i + 27. Is 6 a factor of i?
False
Suppose 353 = 9*y - 214. Is y a multiple of 11?
False
Let o = -177 + 182. Is 5 a factor of o?
True
Let s be 3*-13*(-5)/15. Let b(o) = 5*o + 18. Is b(s) a multiple of 10?
False
Suppose 192 = -q + 457. Suppose -191 = -6*w + q. Is w a multiple of 19?
True
Suppose -70*x + 308 = -74*x. Suppose 2*s + 230 = -3*s. Let z = s - x. Is z a multiple of 13?
False
Let s = 15 + 52. Suppose k - s = -l - 12, -2*k + 57 = l. Let c = -38 + l. Is 15 a factor of c?
True
Let y(d) = d**3 + 29*d**2 - 16*d - 149. Is y(-29) a multiple of 135?
False
Let r(o) = 2*o + 239. Does 12 divide r(0)?
False
Let z be 1/4 + 755/4. Suppose 0*t + 2*o = -3*t + z, 0 = 3*o. Suppose -3*v - 10 = 4*p - t, -3*p = -5*v + 69. Does 5 divide v?
True
Let n = 123 + -118. Suppose 3*c = -v + 4, n*v + 17 - 63 = -2*c. Is 3 a factor of v?
False
Does 35 divide (-12320)/(-11) + 3 - 3?
True
Suppose 2*i = -3*i + 455. Let q = i + -39. Is 14 a factor of q?
False
Let d(p) = -p + 6. Let u(k) = k**3 + 6*k**2 + 3*k - 4. Let g be u(-5). Let w be d(g). Let n(x) = x**2 + x + 74. Does 19 divide n(w)?
False
Let r be ((-1)/2)/((-1)/24*1). Suppose 270 = -r*z + 17*z. Is z a multiple of 15?
False
Suppose 0 = -b - 32. Let n be b/(-16) - (-8)/2. Let d = n + -1. Is d a multiple of 5?
True
Let p(n) = n**2 + 12*n + 2. Suppose -q = -1 - 2. Suppose b = q*x - 21, -b + 4 = 5*x + 1. Does 2 divide p(b)?
True
Let n = -286 + 489. Suppose -4*a = -5*q - 258, -n = -7*a + 4*a - q. Let f = a - 34. Is f a multiple of 11?
True
Suppose -6070 = -5*k - 5*x, 41*x - 37*x + 3656 = 3*k. Does 38 divide k?
True
Let x = 38 - 34. Suppose 0*o + 5*o - 3*d = 418, -x*d - 336 = -4*o. Is 25 a factor of o?
False
Let g(r) = -r**2 - 26*r + 16. Let k be g(-22). Suppose -5*a = 3*b - 126, -a - 4*b + k = 3*a. Does 4 divide a?
True
Let s(w) = w**2 - 10*w + 15. Does 37 divide s(16)?
True
Suppose 3*i = -0*i - 171. Let m = i - -97. Is 34 a factor of m?
False
Suppose -5*z = -7*z. Suppose -13 = -3*v - 2*k - 5, z = -4*v - 4*k + 8. Suppose 5*g - 1 = -5*b + 34, -v*b + 34 = g. Is b a multiple of 5?
False
Suppose 5*t - 7084 = -4*l, -l + 3*t + 1593 = -195. Is l a multiple of 13?
False
Let g = -713 - -30. Let j = -379 - g. Is j a multiple of 38?
True
Suppose c = -2*t + 1, -c = -2 - 1. Is (0 - 12)/(