 5, r - 53 = k*f. Does 14 divide r?
True
Let r(a) = a + 40. Let g(d) = -d - 39. Let s(i) = -7*g(i) - 6*r(i). Does 28 divide s(0)?
False
Suppose 5*l + j - 39 = 0, 37 = 3*l + 6*j - 2*j. Is 6 a factor of -2 - (-1 - (0 + l))?
True
Suppose 5*q - 2*p = 307, -q = -4*q + p + 185. Let r = -34 + q. Is 9 a factor of r?
False
Suppose 37 = -3*l + 13. Let i = 25 + l. Does 6 divide i?
False
Suppose 0*g = g. Suppose 36 = 3*h + 3*d - 8*d, -5*h - 2*d + 29 = g. Is h a multiple of 5?
False
Let x = 18 - 18. Let j(g) = g**2 - 2*g - 3. Let i be j(3). Suppose 2*z + 5*u - 15 - 11 = i, x = 2*u. Is z a multiple of 6?
False
Let i(q) = 6*q - 3. Does 15 divide i(14)?
False
Let m = -12 - -18. Suppose 5 = b - m*b. Let v = 3 - b. Is 3 a factor of v?
False
Let p = -2 + 5. Let c be (-5 - -2) + 0/p. Let v(t) = -t**3 + t - 2. Is 11 a factor of v(c)?
True
Suppose 5*d - 104 = 296. Is 10 a factor of d?
True
Suppose 1084 = 4*h + 4*f, 0*f = -5*h - 4*f + 1350. Does 38 divide h?
True
Let o = 0 - 3. Let u = o + 5. Is (5 - u) + 11*3 a multiple of 12?
True
Let b(l) = -l**2 + 2. Suppose 0*x - 4*x = 0. Let m be b(x). Suppose -41 = -m*k - 3*k - n, n = 1. Is 3 a factor of k?
False
Let b = 11 - 7. Let q = 17 + 29. Suppose q = b*n - 3*n. Is 13 a factor of n?
False
Suppose -2*z + 5*z + 78 = 0. Let c = z - -44. Is 8 a factor of c?
False
Let n(v) = v - 7. Let s be n(-5). Let t = -7 - s. Suppose 3*j - 44 = -j + 5*z, t*j = -2*z + 55. Is j a multiple of 11?
True
Suppose -9 = 3*l - 5*p, p - 3*p = 4*l - 14. Suppose 4*w + g - 144 = 0, 5*w + l*g - 188 = -8. Is w a multiple of 9?
True
Let l(b) be the second derivative of -b**5/20 - 5*b**4/12 + b**3/6 + 5*b**2/2 + 4*b. Let t be l(-5). Suppose t*r + 4*r = 80. Is r a multiple of 20?
True
Is 30 a factor of 9/(21/(-30) + 1)*1?
True
Suppose 14*y - 48 - 344 = 0. Is y a multiple of 9?
False
Let i(v) = -11*v + 9. Let h(a) = 4*a - 3. Let n = 0 + -2. Let j(r) = n*i(r) - 7*h(r). Does 8 divide j(-3)?
False
Let f(m) = 2*m**3 - 2*m**2 - 2*m + 3. Let x be (-1 - (0 - -1)) + 2. Suppose x*g - 3 = -g. Does 12 divide f(g)?
False
Let t = -184 + 317. Is 15 a factor of t?
False
Suppose -5*o + 3*v = 4*v - 5, -14 = 3*o + 4*v. Suppose -5*r - 13 = -2*q, 5*q - o*r - 28 = -6. Suppose -54 = t - q*t. Is 13 a factor of t?
False
Suppose 0 = -3*f + 327 - 1110. Does 25 divide f/(-6) + 5/10?
False
Suppose -2*x - 4*p = -110, 2*x - 48 = 5*p + 44. Let s = x + -35. Is 6 a factor of s?
False
Let i(f) = -f**3 + 17*f**2 + 2*f + 3. Let l be i(17). Suppose 0 = w + 4 - 7. Suppose l = r + 3*r + w*x, -5*r + 47 = 3*x. Is r a multiple of 4?
False
Let j = -9 - -11. Let k = j - -13. Does 8 divide k?
False
Let s = 48 + -28. Let l be (-8)/s + (-144)/(-10). Let h = 10 + l. Is 12 a factor of h?
True
Let r = -1 - -5. Suppose -i + r = -0*i. Suppose -35 = -i*f - 11. Is f a multiple of 6?
True
Let j(r) = -r**2 - 12*r + 3. Suppose -h + 0 + 3 = -3*u, 0 = 3*u + 12. Is j(h) a multiple of 10?
True
Let z(x) = x + 1. Let n(o) = o. Let p(s) = 7*n(s) - 4*z(s). Does 2 divide p(3)?
False
Let n = 1 - -4. Suppose 8*j + 104 = 2*q + 3*j, -n*q + 4*j + 294 = 0. Is 22 a factor of q?
False
Let j(h) = h**3 - 3*h**2 + 2*h + 2. Let o be j(2). Suppose 1 - 15 = -n. Let k = n - o. Is 6 a factor of k?
True
Let q = -3 - -18. Does 4 divide q?
False
Is 50 + -1 + (-1 - -2) a multiple of 16?
False
Let b = 199 + -25. Is 34 a factor of b?
False
Let p(v) = 9*v + 9. Is 3 a factor of p(7)?
True
Let l(u) = u - 6. Let c be l(5). Is 3 a factor of (-3)/5*5/c?
True
Let b(f) = 1 + 9*f**2 + 0*f**2 + 7*f + 12 - 2. Let o(p) = 5*p**2 + 4*p + 6. Let h(j) = 4*b(j) - 7*o(j). Is 11 a factor of h(-3)?
True
Let f(w) = 2*w**3 + w**2 + 4*w - 7. Let j be f(-3). Let p be 722/(-8) + 1/4. Let b = j - p. Is b a multiple of 13?
True
Let m(t) = -t**3 - 7*t**2 - 4*t + 2. Let o be m(-6). Does 3 divide (15/o)/(6/(-28))?
False
Suppose 22 + 29 = -f. Let c = 29 - f. Suppose -6*g + c = -g. Does 16 divide g?
True
Suppose 4 = 6*z - 5*z. Suppose 3*w + 3*m - 15 = 0, -2*w + 3*m = z*m - 14. Is w a multiple of 7?
False
Let a be (-14)/(-6) + (-3)/9. Is 16 a factor of 1/(a/(-186)*-3)?
False
Does 4 divide ((-4)/(-6))/(2/24)?
True
Let u(c) = -13*c - 10. Is u(-4) a multiple of 26?
False
Let y = -132 - -223. Let d(c) = -c**3 - 9*c**2 + 9*c - 7. Let k be d(-10). Suppose -f + 10 = h + k*h, -y = -4*f + h. Is f a multiple of 6?
False
Let i = -4 + 7. Let m(r) = 7 + 10 - i + r. Is m(-7) a multiple of 5?
False
Suppose -i = 3*i - 8. Let x = -2 + i. Let l = 11 + x. Is l a multiple of 6?
False
Let c = 196 + -61. Does 27 divide c?
True
Let s = -22 + 44. Is 5 a factor of (s/3)/(8/12)?
False
Let q be (-8)/((7 - 1)/(-3)). Let t(i) = i**3 - 2*i**2 - 4*i + 8. Does 24 divide t(q)?
True
Let z be (-12)/(-6) + 0/2. Suppose 3*g = 4*c - 276, -z*g + 0*g = 2*c - 124. Suppose 0 = -0*y - 2*y + c. Does 16 divide y?
False
Let o(z) be the first derivative of -z**2 - 1. Let c be o(-2). Suppose 20 = l - 2*f + c*f, 71 = 4*l + 5*f. Does 9 divide l?
False
Suppose 0 = -5*l + 2*h, -2*l - 5*h = 3*l. Is 3 a factor of 1/(3/(39 - l))?
False
Suppose -z - 3*z = -124. Does 31 divide z?
True
Suppose 4*c + 4*t = -t + 448, 4*t + 198 = 2*c. Let g be (-1089)/(-15) - 4/(-10). Let j = c - g. Is 17 a factor of j?
True
Suppose -c + 4*c = -75. Let f = -13 - c. Suppose -u = -3*t - f, -t + 1 + 0 = 0. Does 6 divide u?
False
Let x(a) = 2*a**3 - 2*a**2 + 2*a - 3. Let s = -16 - -8. Let u be s/(-10)*(-5)/(-2). Is x(u) a multiple of 3?
True
Let h(y) = -y**3 + 3*y**2 + 3. Let j be h(3). Suppose -3 = j*i - 4*i. Suppose i*b - 143 = -4*c, 3*c - 4*b + 180 = 8*c. Does 10 divide c?
False
Let d(f) = -f**3 - 2*f**2 + 110. Is 29 a factor of d(0)?
False
Let j be 1/4 - (-2)/(-8). Suppose j*d - 28 = -4*d. Is d a multiple of 3?
False
Let f(l) = -l + 17. Let d be f(11). Let b be 2/d - 42/(-9). Suppose 0 = -b*j - 14 - 1, -3*j + 55 = 2*k. Is k a multiple of 16?
True
Suppose -3*x = -15, a = -2*a - x + 95. Suppose -v - 15 + a = 0. Is 5 a factor of v?
True
Suppose -5*y + 0*y = -5. Let d(a) be the second derivative of 9*a**5/20 - a**4/12 + a**3/6 - a**2/2 + 2*a. Does 3 divide d(y)?
False
Let v = 66 + 8. Does 19 divide v?
False
Is 39 a factor of -3 - 1*-54*(-12)/(-8)?
True
Let f(w) = w**2 + 7*w + 8. Let r be f(-6). Let m be 1/(15/(-9) + r). Suppose m*x = -0*x + 45. Is x a multiple of 6?
False
Let q = -6 + 15. Does 9 divide q?
True
Let j(a) = a**3 + 7*a**2 + a + 7. Let b be j(-7). Let y = b + 4. Suppose 9*u = y*u + 105. Does 17 divide u?
False
Suppose 3*v = 4*v + 14. Let z = -4 + 10. Let u = z - v. Is 10 a factor of u?
True
Let k(f) = -9*f - 43. Is 18 a factor of k(-21)?
False
Suppose 4*k + 65 = 925. Does 17 divide k?
False
Let g = -1 + 1. Suppose 3*z - 15 - 39 = g. Does 9 divide z?
True
Suppose 3*q = -n + 91, 36 = 2*n + 2*q - 126. Does 14 divide n?
False
Suppose 3 = 5*s - 4*s. Suppose -s*i - 45 = -6*i. Is 7 a factor of i?
False
Let m(j) = -2*j + 3. Let c(f) = -10*f + 16. Let u(q) = 3*c(q) - 16*m(q). Let o be u(3). Let s(k) = k**3 - 7*k**2 + 7*k + 5. Is s(o) a multiple of 4?
False
Suppose 4*r + 0*r - 272 = 0. Is r a multiple of 5?
False
Let d(w) = 12*w - 3. Let m be d(2). Let o = 8 - m. Let g = 22 + o. Is 9 a factor of g?
True
Suppose -4*g - z - 2*z = 0, -7 = -5*g - 2*z. Suppose a + 74 = 2*d + d, 2*d - g*a = 47. Is (15/d)/((-2)/(-20)) a multiple of 6?
True
Is 6 a factor of 1/8 - 510/(-16)?
False
Suppose 0 = -3*q - 3*z - 75, -z = 2*q + 2*q + 88. Let u = q - -41. Is 10 a factor of u?
True
Is -1*(-2 - -1) + 17 a multiple of 15?
False
Let f be (-3)/((-1)/(4 + -3)). Suppose 0*q - f*q = -144. Does 16 divide q?
True
Let z be ((-8)/3)/(2/24). Does 4 divide (z/12)/(4/(-6))?
True
Is 19 a factor of 2765/25 + 2/5?
False
Is (-14)/49 + (-954)/(-7) a multiple of 34?
True
Let f = -848 + 320. Is f/(-40) - (-1)/(-5) a multiple of 3?
False
Let x(a) = a**3 + 3*a**2 - 4*a - 2. Let g be x(-4). Does 2 divide g/5 - 27/(-5)?
False
Let d(r) = -36*r - 3. Is 23 a factor of d(-2)?
True
Suppose -80 - 17 = -i + 5*t, 3*i = -4*t + 215. Does 7 divide i?
True
Let s(l) = -13*l + 2. Is 17 a factor of s(-4)?
False
Suppose 0 = -2*q - 4*n, 6*n = 4*q + 2*n - 48. Let p = -1 + q. Is 7 a factor of p?
True
Let s(f) = -f**3 + 5*f**2 + 9*f - 7. Let g be s(6). Suppose 5 = -2*r + g. Let y(j) = 2*j**2 - j + 2. Does 9 divide y(r)?
False
Is ((-318)/15)/(2/(-5)) a multiple of 12?
False
Suppose -5*n - 80 = -9*n. Suppose -5*s 