 - 50 = 0, 0 = -4*m + u*a + 236. Does 17 divide m?
False
Suppose -3*u - 5 = 3*c + 16, -2*u - 20 = 4*c. Let l be 2/u + (-43)/(-2). Suppose -4*q + 3*g = -l, -g - 10 = -3*g. Is 9 a factor of q?
True
Suppose r = 2*r + 1, -t - 2*r - 135 = 0. Let p = -65 - t. Is p a multiple of 17?
True
Suppose -4*s = -116 - 4. Is 15 a factor of s?
True
Suppose -3*j - 2*j = -o + 4, 4*o - 54 = j. Let i be -1 + (1 - 5/(-1)). Let n = o - i. Is 9 a factor of n?
True
Let x(p) = 161*p - 1. Let b be x(1). Suppose -2*v = -0*v - b. Suppose 4*w + w - v = -3*h, -w + 4 = 0. Is h a multiple of 10?
True
Suppose -28 = -4*b - 4*w, 4 = 2*w - 4. Suppose -b*n - 8 = f + 2, 18 = f - 4*n. Is 14 a factor of f/4*70/1?
False
Suppose -217 = -5*j + u, 2*j + 6*u = u + 103. Does 10 divide j?
False
Let b(u) = u**2 - u - 5. Let z be b(4). Let n = -3 + z. Is n a multiple of 3?
False
Let s = -187 + 262. Suppose 0 = -0*z - 3*z + s. Is 7 a factor of z?
False
Let l = -18 + 29. Is l a multiple of 2?
False
Let r(o) = o**2 - 2. Suppose 0 = 2*d - 4 - 4. Suppose 2*i = d*k + 28, -2*i = -0*i + 3*k + 7. Does 14 divide r(i)?
True
Let v(j) = j**3 + 7*j**2 + 6*j + 3. Let l be v(-6). Suppose -21 = -l*a + 54. Does 25 divide a?
True
Let g be ((-18)/15)/(4/(-10)). Suppose 2*s + s + 27 = 3*x, g*x + s = 47. Does 14 divide x?
True
Suppose -2*n + 2*b + b + 86 = 0, 0 = -n + 4*b + 48. Is 9 a factor of n?
False
Let j be 48/15 - 1/5. Suppose y = 5*g + 11, -5*y + j*g + 55 = 8*g. Does 4 divide y?
False
Let m(a) = -4*a + 22. Let b be m(7). Let n(g) be the third derivative of -g**5/60 - 3*g**4/8 - 4*g**3/3 - g**2. Is 7 a factor of n(b)?
False
Let m(c) = 27*c**2 - 2*c + 3. Let f be m(2). Let l = f - 42. Does 17 divide l?
False
Let w(s) = s**2 + s - 4. Let l be w(-3). Suppose 5*k - 112 - 31 = p, p - 60 = -l*k. Is 15 a factor of k?
False
Suppose 2*c - 152 = 5*t, 3*c - t - 4*t - 218 = 0. Suppose 0*s + g = -s + 27, 3*s - 2*g - c = 0. Is s a multiple of 8?
True
Suppose 2*q - 9 = -3*i, 2*q + i + 1 - 4 = 0. Suppose b - y - 4 + 2 = q, 2*b + 5*y = 32. Is b a multiple of 2?
True
Suppose r = 6*r. Does 9 divide (r - -1)/((-1)/(-18))?
True
Let i be ((-3)/2)/((-12)/416). Let x = i + -36. Is 13 a factor of x?
False
Let r(o) = -o**2 - o - 170. Let g(z) = z**2 + 5*z + 4. Let y be g(-4). Let x be r(y). Let s = -108 - x. Is s a multiple of 20?
False
Does 5 divide 15/1 - 0/(-3)?
True
Let v(a) = -a + 5. Let d be v(5). Suppose -m - 5 + 33 = d. Is m a multiple of 12?
False
Suppose 0*g + 3*g = 6. Suppose c - g*a - 2*a - 26 = 0, -3*c + a + 34 = 0. Does 5 divide c?
True
Let w(u) = u**2 - u + 1. Let d(j) = 8*j**2 - 1. Let i be d(1). Is w(i) a multiple of 13?
False
Suppose 2*n + 13 = 97. Is n a multiple of 14?
True
Suppose -17*i + 504 = -11*i. Does 28 divide i?
True
Suppose -4*a = -3*a - 35. Is a a multiple of 5?
True
Let l = -4 + 7. Suppose 4*d = -2*k + 20, 5*k + l*d - 8 = 21. Does 3 divide k?
False
Let u(f) = f**2 + 8*f + 3. Let s be u(-8). Let j = 8 - s. Is 5 a factor of j?
True
Does 6 divide ((-3871)/147)/(2/(-6)*1)?
False
Suppose 24 = d + d. Suppose 5*m - d + 2 = -5*j, -j + 2 = -m. Is (1/(-2))/(j/(-84)) a multiple of 13?
False
Suppose -2*p = -0*p + 1098. Is (-12)/20 + p/(-15) a multiple of 9?
True
Let u = 136 - 58. Is u a multiple of 13?
True
Is 22 a factor of -24*((-2)/(-6) + 206/(-24))?
True
Let y = 289 - 194. Is y a multiple of 8?
False
Suppose 3*k - 3 = 0, s - 6*s = -3*k - 17. Suppose -108 + 40 = -s*u. Is 15 a factor of u?
False
Let a(q) = -q**3 - 4*q**2 + 3*q - 7. Let r be a(-5). Suppose 135 + 53 = 4*u - 3*l, -r*l + 164 = 4*u. Suppose -28 - u = -4*c. Is c a multiple of 13?
False
Let f be 2 - (-3)/(3 + 0). Suppose -f*i = -5 - 4. Suppose 26 + 7 = i*j. Is j a multiple of 11?
True
Let x be 12/(-2)*(-1)/3. Suppose x = -2*b + 6. Suppose 86 = -0*p + b*p. Does 16 divide p?
False
Suppose 142 + 108 = 5*g. Suppose -g = 4*y - 186. Suppose -2*f + y = -0*f. Is f a multiple of 17?
True
Let o(j) = 66*j**3 - 2*j + 1. Does 21 divide o(1)?
False
Let u(v) = -11*v + 4. Let j(r) = 10*r - 5. Let t(m) = -4*j(m) - 5*u(m). Let q be t(-1). Let h = q - -22. Does 3 divide h?
False
Suppose 3*g + 46 = 1. Is g/(-6)*(1 - -3) a multiple of 5?
True
Suppose 4*n + 17 = 3*k - 12, 3*n + 5*k = 0. Let p = n + 10. Suppose -4*x + 40 = 5*i, 5*i = 2*x - 25 + p. Is 5 a factor of x?
True
Let o(u) = -u - 4. Let x be o(-6). Suppose x*j + 3*j = -50. Let c = j + 20. Does 10 divide c?
True
Suppose -2*t - 264 = -8*t. Is 22 a factor of t?
True
Is 17 a factor of ((-2)/2 - 33)/(10/(-60))?
True
Let i be ((-3 - -5)/2)/(-1). Let p(g) = -g**2 + g - 4. Let d be p(-3). Does 10 divide d*(15/12)/i?
True
Suppose -8*u - 4*o + 51 = -3*u, u + 3*o - 19 = 0. Is u a multiple of 6?
False
Let l(d) = -8*d - 9. Does 13 divide l(-3)?
False
Suppose u - 84 = -3*u. Let b = u + 17. Is 16 a factor of b?
False
Let h(q) = 3*q - 5. Suppose -2*f - 2*f + 24 = 0. Is h(f) a multiple of 7?
False
Suppose 0*o + 2*o - 3*m - 27 = 0, 0 = -5*m - 15. Let i be ((-10)/6)/(3/o). Let c = i + 20. Is 7 a factor of c?
False
Let k be ((-1)/(-3))/(6/(-18)). Let m = k - -11. Is 5 a factor of m?
True
Let m(d) = 2*d + 2. Let y be m(-7). Is 1/(y/(-112))*3 a multiple of 7?
True
Let g(c) = c**3 - c**2 - 82. Let l be g(0). Let h = l - -146. Suppose -z = 3*z - h. Is z a multiple of 16?
True
Is 10 a factor of 177 + 2 + (3 - 2)?
True
Let m(h) = -5*h**2 - h - 1. Let l be m(-1). Let u(c) = 5*c**2 - 6*c + 2*c - 5 + 3 - 1 + c**3. Is u(l) a multiple of 9?
False
Let k(p) = -p**3 - 4*p**2 + 3*p - 2. Suppose 4*h + 2*o = -h - 31, -4*h = 3*o + 29. Is k(h) a multiple of 8?
True
Suppose -4*o + 55 = -3*q - 23, -3*o + q + 61 = 0. Is o a multiple of 13?
False
Let p(j) = -2*j**2 - 3*j - 1 + 5*j + 2 + 17*j**2. Let z = 10 - 11. Is 14 a factor of p(z)?
True
Let t = 181 + -91. Is t a multiple of 45?
True
Let s = 8 + 13. Let n be 2/(-7) + 111/s. Suppose n*r = 35 + 35. Is 14 a factor of r?
True
Let j(l) = l + 8. Is j(7) a multiple of 15?
True
Let f(i) = i**3 - 9*i**2 + 10*i. Suppose -4*x + 7 = -5*w + 55, 4*w + 5*x = 63. Suppose 5*b = b - w, -b = 5*z - 37. Is 8 a factor of f(z)?
True
Let g = -7 - -27. Let p be 1/(1*-1) - 5. Let b = p + g. Is 10 a factor of b?
False
Suppose 0*x - 2*x = -122. Does 17 divide x?
False
Let w(z) = -z**2 - 2*z - 1. Suppose 25 = -5*n - 3*d - 2*d, 4*n + 5*d = -24. Let b be w(n). Suppose -4*p + 23 + 13 = b. Is 9 a factor of p?
True
Let f(k) = 2*k**2 + 6*k + 7. Let m(d) = -3*d**2 - 12*d - 13. Let s(u) = 5*f(u) + 3*m(u). Let t be s(6). Is 74/t*-2 - 3 a multiple of 17?
True
Is 4 a factor of (-1)/(-3 - 14/(-5))?
False
Is 7 a factor of (-2)/(-11) + (-612)/(-22)?
True
Let w(m) = 2*m - 11. Is 5 a factor of w(11)?
False
Let r = 251 + -487. Let t = r + 342. Suppose -t = -4*z + 62. Is z a multiple of 15?
False
Suppose -101 = -4*j + 35. Is j a multiple of 5?
False
Let f be (2/(-4))/((-3)/24). Suppose g - 5*t = -0*t - 7, -f*g = 2*t + 6. Is (-9)/(-3) + g - -1 even?
True
Let o be 8*(-4)/(16/3). Let i(c) = c**2 + 5*c + 1. Does 3 divide i(o)?
False
Suppose 3*m - 3*i + 6 = 0, -3*m + 5*m + 4*i = 20. Suppose 6*f - 25 = f + m*y, 2*f + 4*y = -14. Is 3 a factor of f?
True
Let u = -91 + 147. Suppose -d = -20 + u. Let f = -12 - d. Is f a multiple of 11?
False
Suppose a - 3*a - 8 = 0. Let b be (-10)/15*102/a. Let z = -12 + b. Is 4 a factor of z?
False
Let d be 10 + 2 + -3 + 3. Suppose 14 = -10*r + d*r. Is r a multiple of 7?
True
Suppose 18 + 6 = h - 5*q, -5*q = -2*h + 28. Let j(v) be the second derivative of v**5/20 - v**4/6 - 5*v**3/6 + v**2/2 + 2*v. Does 13 divide j(h)?
True
Suppose 0 = 3*p + 5*w - 16, 3*p - w - 10 = -3*w. Let n(f) = 0 + 5*f**3 - 2*f**3 + 2*f + 1. Is 17 a factor of n(p)?
False
Suppose p = -4*p - 5*d + 30, d + 4 = 0. Is p a multiple of 10?
True
Suppose 5*t + 23 = 98. Is 4 a factor of t?
False
Let o = 143 + -70. Does 10 divide o?
False
Let r(c) = c**3 - 10*c**2 - 11*c + 11. Let j be r(11). Let v = 6 + -16. Let h = j - v. Does 18 divide h?
False
Suppose 11*f = 9*f + 726. Is f a multiple of 55?
False
Let i be (2/(-4))/((-3)/6). Suppose -3*d - 10 = -i, -24 = -3*m + d. Does 2 divide m?
False
Suppose -3*t + 467 = 5*b, -5*t + 225 = 5*b - 560. Does 12 divide t?
False
Let v = -20 + 14. Let p be 8/v + 1/3. Let d(f) = -5*f. Is d(p) even?
False
Let m(w) = w + 10. Let o be m(-5). Suppose v + 3*f + 15 - 74 = 0, 0 = -v - o*f + 61. Does 21 divide v?
False
Suppose 256 = 20*d -