 56*g**2 + 1. Does 19 divide f(r)?
True
Suppose -2*w - 3*f + 554 = 0, -3*f = -6*w + 7*w - 271. Is w a multiple of 21?
False
Let o(r) = 5*r + 7*r + 1 - 4*r. Is 18 a factor of o(3)?
False
Let u(h) = h**3 - 6*h**2 + 5*h + 3. Let k be u(5). Suppose 4*z = k*z + 9. Is 9 a factor of z?
True
Suppose 0 = -3*m + 2*r - 14, 0 + 22 = -5*m + 3*r. Let p = m - -2. Suppose 2*j - 3*j + 12 = p. Does 9 divide j?
False
Suppose -269 = -5*x - 2*y, -2*x + x - 4*y = -43. Is x a multiple of 42?
False
Suppose 3*n + 3*i = -i + 262, 168 = 2*n + i. Is 41 a factor of n?
True
Let c(w) = 2*w**2 - 12*w + 12. Does 11 divide c(8)?
True
Suppose -15*v + 1862 = 287. Does 15 divide v?
True
Suppose 5*f - 959 + 339 = 0. Does 31 divide f?
True
Let c = 11 + 12. Let v = -11 + c. Is 3 a factor of v?
True
Let y(r) = r**2 - 6 + r + r - 1. Let p be 88/(-14) + 4/14. Does 6 divide y(p)?
False
Let q(d) = d**3 - 2*d**2 - 3*d + 2. Let s be q(3). Suppose 2*g + 3*z + 0*z = -10, -g = -2*z - 2. Does 7 divide 14 - ((g - 0) + s)?
True
Let q(x) = 2*x**2 - 8*x - 2. Suppose -36 = -5*p + 2*u, u - 5 = -p - 2. Is q(p) a multiple of 11?
True
Suppose -p = 4*p - 5. Let i be (-6)/(-6)*(p + -63). Let m = i + 98. Is 18 a factor of m?
True
Suppose -135 = -2*j - 15. Is 10 a factor of j?
True
Let n(x) = -5*x**3 + 3*x - 1. Let v(a) = 6*a**3 - a**2 - 3*a + 2. Let t(q) = -5*n(q) - 4*v(q). Let l be t(-5). Let b = l + 47. Does 17 divide b?
True
Suppose -5*k - 3*y + 73 = 0, 2*y = -k - k + 30. Is 5 a factor of k?
False
Let t(i) be the second derivative of i**4/6 + i**3/6 + i**2 - i. Is t(-4) a multiple of 9?
False
Suppose k = -1 + 3. Suppose k*f - 21 - 39 = 0. Is f a multiple of 10?
True
Let i(x) be the first derivative of -6*x - 3 - 1/4*x**4 - 7*x**2 - 10/3*x**3. Is 18 a factor of i(-9)?
False
Let n(w) = 2*w**2 - 2*w + 1. Let g be n(2). Let a = g - 3. Suppose -3*o + 176 = -t + 5*t, a*t = -4*o + 88. Does 16 divide t?
False
Let x be 22/(-2 - -4) + -2. Does 12 divide (-770)/(-21) + (-6)/x?
True
Let b = 172 - 96. Suppose 2*w + 26 = b. Is w a multiple of 9?
False
Let c(i) = i + 5. Let p be c(-6). Let h be (p/(-2))/((-5)/(-30)). Suppose -2*a + 4 = -2*d, -a - 18 = -6*a - h*d. Is 3 a factor of a?
True
Suppose 0 = -3*g - 2*d - 5 - 9, 4*g - 5*d = 12. Let f be 1*(-45 - -1)/g. Suppose 5*k - r - f = -3*r, -2*k + 5 = -3*r. Is k a multiple of 4?
True
Suppose -5*m + 84 = 4*b, -2*m - 83 = -4*b + 29. Is b a multiple of 9?
False
Suppose -8*t + 200 = -0*t. Is 25 a factor of t?
True
Let i(x) = 3*x**2 - 3*x + 2. Let g = 0 + -3. Let v = 5 + g. Does 3 divide i(v)?
False
Suppose -13*o + 2734 + 1556 = 0. Is 15 a factor of o?
True
Let q be 70/22 - (-4)/(-22). Suppose -3*x - 43 = -5*p, 8*x + 13 = q*p + 3*x. Is 5 a factor of p?
False
Suppose -5*w + 70 = g, g - 3*w = 5*g - 246. Suppose 4*q - g = -0*q. Is q a multiple of 15?
True
Let d(o) = o**2 - 14*o - 1. Let i(v) = -2*v**2 + 27*v + 1. Let r(s) = 11*d(s) + 6*i(s). Let m be r(7). Is 0 + 17 + m/1 a multiple of 11?
False
Let d = 336 - 183. Is 17 a factor of d?
True
Let l(w) = 2*w + 74. Is l(18) a multiple of 20?
False
Let d(m) = m + 2. Let n be d(2). Is n - (4 + (-3 - 57)) a multiple of 13?
False
Let h be -1*(-1 + 2 + 0). Let w be (-1)/h*(3 + -2). Is 6 a factor of (8 + 0)*1/w?
False
Let s(x) = x**3 + 2. Let v be s(0). Suppose -p - 18 = -v*p. Is 9 a factor of p?
True
Let p(s) = s + 15. Does 9 divide p(-3)?
False
Suppose 8*r - 5*r = 9. Suppose -2*t + 0*t + 5*v = -82, -205 = -5*t - 4*v. Suppose g - 1 = -5*s + 6, r*g - t = 5*s. Is g a multiple of 6?
True
Suppose 139 = -y + 4*y + 4*r, 4*y + 3*r = 176. Does 13 divide y?
False
Suppose 0 = -10*f + 90 + 190. Is 28 a factor of f?
True
Let p be -56 - (1 + 0/1). Let j be ((-4)/(-3))/((-2)/p). Suppose 0 = 2*k - j - 8. Is k a multiple of 23?
True
Suppose 0 = -n + 2 - 0. Suppose 34 = 2*h + n*s + s, h - 22 = s. Is h a multiple of 5?
True
Let l(n) = 29*n - 10. Is l(6) a multiple of 17?
False
Let i(l) = l - 10. Let n be i(7). Let p(q) = -5*q + 3. Does 10 divide p(n)?
False
Let z = 28 - 11. Does 4 divide z?
False
Let y = 86 - 53. Let z = y + 3. Is z a multiple of 13?
False
Let f(g) = -g**2 - 39*g - 6. Is 13 a factor of f(-34)?
False
Suppose -12 = 3*i, 8*j - 3*j = -i + 131. Does 20 divide j?
False
Let y(g) = -4*g**3 - 2*g**2 + g + 1. Let p be (-4)/(-10) + 15/25. Suppose -p - 3 = 2*u. Is 6 a factor of y(u)?
False
Does 5 divide 23 - (14/21)/((-4)/(-18))?
True
Let i = 9 + -5. Suppose 3*m = i*m - 13. Is 7 a factor of m?
False
Let w = -3 + 3. Suppose -3*h + 2*u = 5*u - 15, w = 5*h - u - 19. Suppose -h*m + 3*m + 11 = 0. Is m a multiple of 11?
True
Let f(c) = 15*c - 1. Let a be f(5). Let s = a - 44. Does 10 divide s?
True
Let y(g) = -56*g + 6. Let t(w) = 11*w - 1. Let l(b) = -11*t(b) - 2*y(b). Is 14 a factor of l(-6)?
False
Let c(b) = 2*b - 5. Let g be c(6). Suppose -u + 4 = 0, 2*u + 70 = g*x - 4*x. Does 13 divide x?
True
Suppose 2*t - 2 = t. Suppose 0*x = -3*x - 4*o + 16, t*x - 5*o - 26 = 0. Is x a multiple of 6?
False
Let f(r) = -r - 7. Let s be f(-9). Suppose 5*x - 3 + 7 = d, -x + s*d - 8 = 0. Suppose 3*p + 2*p - 45 = x. Is p a multiple of 4?
False
Let w(u) be the third derivative of u**6/60 - u**5/30 - u**4/24 + u**3/6 - u**2. Let z = 77 + -75. Is w(z) a multiple of 6?
False
Let p = -6 - -33. Is p a multiple of 8?
False
Suppose 4*f + 16 = -2*r, -3*f + 0*r + 3*r = -6. Let t be (7/(-2))/(f/(-32)). Does 7 divide 6/4*t/(-6)?
True
Suppose -4*j + 9 = -j. Let f(w) = 2 + 4 + w**2 + 2*w - j + 3*w. Is 7 a factor of f(-7)?
False
Let z(y) = -y**2 + 8*y + 4. Let m = 6 - -2. Let t be z(m). Let n(l) = l**2 - 2*l. Is n(t) a multiple of 4?
True
Is 32 a factor of 6/14 + (-3492)/(-84)?
False
Suppose 2*a - 18 = -0*a. Is a a multiple of 3?
True
Suppose 84 = 7*z + 7*z. Is z a multiple of 4?
False
Let r(h) = -h**3 + 10*h**2 - 8*h - 9. Let b be r(9). Let n(m) = -m**3 + 1. Let d be n(b). Is 12*((-3)/d)/(-6) a multiple of 6?
True
Let v(f) = 10*f**2 + 18*f - 4. Does 52 divide v(-5)?
True
Is 7 a factor of 4*(-2)/4 + 15?
False
Let f = 212 - 142. Is 10 a factor of f?
True
Suppose 3*n + 4*m = m + 42, -m - 71 = -4*n. Let g = n + -9. Is g even?
True
Let z = 42 + -28. Let n = z + -2. Is n a multiple of 4?
True
Let x = -4 - -7. Suppose -x*f + 45 = 15. Is f a multiple of 10?
True
Let r(c) = c**2 - 6*c + 9. Suppose 5*s - 2*h - 32 = 0, 3*s - 36 = -2*h - h. Let z be r(s). Suppose -z = -3*t - 4*d, -4*t + 29 = -5*d + 6. Is 4 a factor of t?
False
Suppose -4*b + r + 133 = 0, 5*b + r = 4*r + 161. Is 8 a factor of b?
False
Let r(a) = 19*a**2. Let j be r(1). Let y = j - 8. Is 11 a factor of y?
True
Let d(n) be the first derivative of 4*n**3/3 + 2*n - 5. Suppose 3 = 5*a + 13. Does 6 divide d(a)?
True
Let u(a) = a**2 + 0 + 4 + 0. Let j be (12/(-9))/1*-3. Is 10 a factor of u(j)?
True
Does 22 divide 153 - 2 - (-3 - -6)?
False
Let h = 2 + -1. Does 17 divide (h*82)/(7 + -5)?
False
Let u = 26 - -10. Is 13 a factor of u?
False
Let i(b) be the second derivative of 1/12*b**4 + 0 - 5/6*b**3 - b**2 + 3*b. Is 11 a factor of i(8)?
True
Let k be (1 - 4) + 1*9. Is 348/20 + k/(-15) a multiple of 9?
False
Is 4/((-16)/(-12) - 47/36) a multiple of 6?
True
Let f(q) = q**2 - 1. Let n be f(2). Suppose 0 = -v - n*o + 25, 4*o = -2*v + 41 + 11. Is 14 a factor of v?
True
Does 16 divide 8/(-2)*(-119)/28?
False
Suppose 2*s = 2*j - 12, s = 5*j + 3*s + 5. Let a be -3 - -3 - (1 - j). Let b = 9 - a. Is b a multiple of 9?
True
Let l(s) = -3*s**2 - 2*s. Let j be l(-4). Is 7 a factor of (-712)/j - 2/(-10)?
False
Let p = -4 + 8. Suppose -9 = -5*f + 6. Suppose -c = -f*v + p, 2*c - 4*v + 14 = 5*c. Is 2 a factor of c?
True
Suppose 6*u - 105 = 51. Is 2 a factor of u?
True
Suppose 21 = 5*m - 29. Is 6 a factor of m?
False
Does 5 divide (-8)/2 + 0 + 32?
False
Does 20 divide 216/2 + 6/2?
False
Suppose 0 = 5*l - 6 - 9. Suppose -3*x = -33 - l. Does 11 divide x?
False
Suppose 3*b + 35 = 125. Is 5 a factor of b?
True
Let m(w) = 3*w. Let h be m(7). Suppose j = 5*d - h, 5*d - 6 = -j + 13. Suppose -2*l - 3*q + d*q + 23 = 0, q - 13 = -l. Is 7 a factor of l?
False
Let g be (1 + 2)/(3 - 2). Suppose -4*h - 2*s = -72, h - 3*s = -s + 28. Suppose -c - g = -h. Is 10 a factor of c?
False
Is 4 a factor of (2 - (-25)/(-10))*-22?
False
Let b = 230 - 126. Is b a multiple of 26?
True
Let k(d) be the third derivative of d**5/30 - d**4/12 - d**3/6 + 3*d**2. Is k(5) a multiple of 10?
