64. Does 22 divide f?
False
Let w(x) = 5*x**2 + 4 + 5 - 5. Let f(j) = -j**2 - 1. Let u(r) = 4*f(r) + w(r). Is u(3) a multiple of 9?
True
Suppose -108 + 38 = -5*j. Let m be 6/(-5)*(-100)/3. Let x = m - j. Is 9 a factor of x?
False
Suppose -4*p + 8 = -2*p. Is p a multiple of 2?
True
Let t(v) = 10*v + 1. Let s be t(1). Is s/3 + 14/(-21) a multiple of 3?
True
Let v(c) = 1 + c + 6*c + 0*c. Is 18 a factor of v(5)?
True
Suppose 0 = -3*a - a - 1364. Does 8 divide (-1)/3 + a/(-33)?
False
Suppose v = -0*v + 67. Let u = -17 + v. Let p = -27 + u. Does 17 divide p?
False
Suppose l = 4*l, -5*f = 4*l - 10. Does 22 divide 756/35 - f/(-5)?
True
Let y be 3/((-2)/(-14) + 0). Is 12/7*y/2 a multiple of 18?
True
Let m be (-6)/(-24) + (-419)/(-4). Let c = -74 + m. Suppose -5*s + 107 = -k, 0 = -4*s - k + c + 51. Is 7 a factor of s?
True
Is (264/(-3 - 0))/(-1) a multiple of 22?
True
Let m = 3 - -3. Suppose -s + 5568 = -3*q - m*s, 3*s + 9280 = -5*q. Is 21 a factor of (-2)/5 - q/40?
False
Let s be (-1*24)/3 - 1. Let q = s + 13. Is q a multiple of 4?
True
Suppose 4*p - 25 = -3*n - p, 0 = -n + 4*p - 3. Let k(f) = -4*f - 6 - n*f + 1 - 3. Does 23 divide k(-8)?
False
Let y(d) = 5*d. Suppose 0 = -2*l - 0*l + 6. Suppose l*b - 2*a = 2*a - 10, 20 = 5*a. Does 8 divide y(b)?
False
Let f be (-5 - (0 - 3)) + 1. Let g(q) = -55*q**3 + 2*q + 1. Is 18 a factor of g(f)?
True
Suppose -103 = -4*j - 3*s, 6*j + 5*s - 69 = 3*j. Suppose 4*a - j = -4. Is a a multiple of 6?
True
Let s be (-1)/2 + (-15)/(-10). Let y(t) = 4*t - 1 - 4*t - s + 13*t**2 + t. Is y(-2) a multiple of 17?
False
Let c be (0 + 0 + 3)*5. Is 2 a factor of 1/(-2) - c/(-6)?
True
Suppose -3*f + 17 = -7. Suppose -12 = 3*z, 3*m + 3*z + f = -2*z. Suppose 126 - 22 = m*d. Does 13 divide d?
True
Let h(y) = -5*y**3 + y**2 - 5*y + 2. Let u be h(4). Is u/(-9) - (-6)/27 a multiple of 18?
True
Let g be 8/28 + 1536/14. Suppose -4*j - g = -9*j. Is j a multiple of 22?
True
Does 22 divide -1 - (206/3*-3 - 3)?
False
Let f(b) = 12*b + 3. Let t be f(-2). Is 3 a factor of (-2)/7 + (-69)/t?
True
Let x(d) = -d**3 - 6*d**2 - 4*d + 5. Let b be x(-5). Is 1/1*(44 + b) a multiple of 20?
False
Suppose -5*c - 20 = 0, -y + 0*y = -4*c - 69. Suppose 4*a + 0*a + y = p, -4*p = a - 178. Is 15 a factor of p?
True
Let i be (12/(-14))/((-2)/28). Let d be (-2)/18*-3*i. Is 8 a factor of 6/d*48/9?
True
Let g(f) = f**3 - 3*f - 2. Let k be g(3). Suppose 2*v - 44 = -k. Is 4 a factor of v?
False
Let y(p) = -3*p + 1. Let d be y(-2). Let v(q) = q**2 - 8*q + 9. Let n be v(d). Suppose 0 = -n*l - 4 + 72. Does 14 divide l?
False
Let f = 199 - 115. Suppose -5*i + 2*a + 86 = -f, 4*i = 3*a + 129. Suppose 2*y + i = 4*y. Does 8 divide y?
False
Suppose -3*a = a - 8. Suppose -a*b - h + 4*h = -44, 5*b - 93 = -h. Is b a multiple of 6?
False
Let q(m) = -m**3 - m**2 + 2*m + 56. Is q(0) a multiple of 15?
False
Suppose 4 - 84 = -5*r. Is 5 a factor of r?
False
Let l = 43 + -26. Let s = l - 10. Is s a multiple of 5?
False
Suppose 2*t + 40 = 7*t. Does 4 divide t?
True
Suppose -340 = -5*b - 5*f, -b - 3*b + 256 = -4*f. Does 6 divide b?
True
Does 22 divide ((-2)/3)/(4/(-738))?
False
Let n(f) = 9*f**2 + f + 6. Does 14 divide n(3)?
False
Let j(b) = -6*b. Suppose 16 = 4*v - 0*v. Let k be j(v). Let l = k + 34. Does 10 divide l?
True
Let m be 0/2*(-1)/1. Is 10 a factor of m/((-1)/(-1)) + 20?
True
Let m be (1/3)/((-1)/(-6)). Suppose m*g + 6*l - 4*l = 70, 4*l - 100 = -3*g. Is 20 a factor of g?
True
Let i(s) = -5*s - 15. Is 15 a factor of i(-12)?
True
Suppose -4*l + 7*l = 171. Is 19 a factor of l?
True
Let s = -7 - -7. Let q(o) = o + 18. Let f be q(s). Is 12 a factor of (12/(-9))/((-1)/f)?
True
Let s be -3*(0 - 105/9). Let h = s + -3. Suppose -2*q - 10 = -h. Is 8 a factor of q?
False
Suppose p + 3 - 1 = 0. Let s be (p/4)/(1/(-222)). Let q = s - 67. Is 14 a factor of q?
False
Let v(w) = w**3 - 4*w**2 - 2*w - 12. Let y be v(5). Suppose 425 = 5*h + s + 2, y*h - 265 = 5*s. Does 17 divide h?
True
Let a(x) be the third derivative of x**6/120 - x**5/20 + x**4/6 - 2*x**3/3 - 2*x**2. Is 16 a factor of a(4)?
False
Suppose 5*y - 257 = -2*x - 0*y, 0 = -5*y + 15. Is 7 a factor of x?
False
Suppose 4 + 6 = 5*v, -4 = -2*u + v. Suppose -u*f + 204 = -0*f. Does 17 divide f?
True
Let n(q) = -q**2 - 1. Let p be n(0). Let k be (-2)/(p*(-1 + 2)). Suppose k*g + 75 = 7*g. Is 9 a factor of g?
False
Suppose f = -5*d - 11 + 3, -f - 8 = d. Let h(w) be the third derivative of -w**4/8 + w**3/3 + 2*w**2. Is h(f) a multiple of 13?
True
Let p(d) = 64*d + 3. Let n be p(3). Suppose 25 = -b + 6*b. Suppose -b*w = -3*c + 75, -51 = 5*c - 2*w - n. Is 14 a factor of c?
False
Is (-2816)/(-28) - (-4)/(-7) a multiple of 6?
False
Suppose 5*w + 3*g = 435, g + 3 = 2*w - 160. Is w a multiple of 21?
True
Let y(l) = -5*l. Let v be y(-7). Suppose 3*p - 4*p = -5. Suppose -v = -p*c + 5. Is c a multiple of 8?
True
Let i(q) = -q + 3. Let j(o) = 4*o**3 - 3*o**2 + 4*o - 3. Let l be j(2). Suppose 3*b - 8 = x, 0 = -5*x + x + 5*b - l. Is 4 a factor of i(x)?
True
Let u be (-1)/(-3)*9 + -5. Does 13 divide (32 - 6)*u/(-4)?
True
Let r(q) = 13*q**2. Let i be r(1). Let x = 22 - i. Is 4 a factor of x?
False
Suppose -2*z = 3*h + z - 15, -5*z + 10 = 0. Suppose 0*n + h*n + 2*i - 20 = 0, -2*i - 10 = -2*n. Is 6 a factor of (-17)/(-2) - 3/n?
False
Let f(z) = -101*z - 12. Does 19 divide f(-2)?
True
Suppose q + 4*n - 157 = -0*q, 5*q - 2*n = 851. Is q a multiple of 38?
False
Let n(h) = h**3 + 12*h**2 - 4*h + 14. Let p be n(-12). Let z = p - 15. Is z a multiple of 12?
False
Let a = 7 + -30. Let s = 45 + a. Does 11 divide s?
True
Let x(i) = 4*i**3 - i**2. Let r be x(1). Suppose 0 = -r*g - 0*g - 5*f - 16, 2*g + 4*f = -14. Suppose -g*v = -4*v + 4. Is 4 a factor of v?
True
Let d = 2 + -2. Suppose -l + 7 + 3 = d. Is 5 a factor of l?
True
Let k = 18 + -11. Suppose 0 = 8*d - k*d. Suppose 3*l + 48 = 3*a, 4*l = -5*a - d*l + 44. Is 9 a factor of a?
False
Suppose 374 - 4 = 5*o. Is o a multiple of 12?
False
Suppose 4*a - 5*a + 5 = 0. Suppose w = a*w - 16. Suppose -9 = -w*x - 1. Is 2 a factor of x?
True
Suppose 16 = p - j, 0*j - 2*j + 73 = 5*p. Is 7 a factor of p?
False
Let w(y) = -y**2 + 10*y - 9. Let h be w(9). Suppose 4*b = -u + 5, h = -0*u - u + 3*b + 26. Is u a multiple of 7?
False
Let y(t) = t**3 - t**2 - t. Let r be y(2). Suppose -25 - 15 = -r*f. Is 8 a factor of f?
False
Let y = -6 - -9. Suppose y*l + 2*l = 30. Does 6 divide l?
True
Let j = 25 - -10. Suppose t = -3*o + j, 0*o = -o - t + 15. Let d = 18 - o. Is d a multiple of 8?
True
Let a(q) = 3*q. Let m be a(-2). Does 12 divide 25/1 + (-5 - m)?
False
Let b = 1 - -108. Is b a multiple of 14?
False
Suppose 5*y + 29 + 3 = 3*n, -2*y - 2 = 0. Does 10 divide (-4)/(-6) + 147/n?
False
Let d(w) = w**2 + 3*w + 3. Let x be d(-3). Suppose -3*z = 3*m + 288, -198 = 2*m + x*z + 2*z. Does 16 divide 2/(((-8)/m)/2)?
False
Suppose -2*u = -0*u + 52. Let f be 2*-1*(-24 + 2). Let q = u + f. Does 11 divide q?
False
Let k = 71 - 42. Let n = k - 42. Let q = 32 + n. Does 19 divide q?
True
Suppose -3*g = t - 57, -5*t + 4*g + 190 = -0*t. Is 21 a factor of t?
True
Suppose -2*k + 0*k - 186 = -4*q, 5*q - 2*k = 235. Does 9 divide q?
False
Let t = 6 + -3. Suppose -t*m + 15 = -18. Is m a multiple of 9?
False
Let c(k) = -k + 5. Let s be c(0). Suppose -s*w + 305 = -5*h, 5 = w + 5*h - 32. Is 15 a factor of w?
False
Let b(a) be the first derivative of a**3/3 - a**2 + 6*a - 5. Is b(6) a multiple of 10?
True
Does 3 divide 5*(5 - 36/(-10))?
False
Let n(v) = -v**2 + 9*v - 10. Let i be n(7). Suppose -s = 4*c + i*s - 66, 0 = 2*c - s - 26. Is 5 a factor of c?
False
Suppose 2*f - 10 = 12. Let l(w) = w + 12. Let p be l(5). Let z = f + p. Is z a multiple of 28?
True
Let g be -1 + 18 - 6/(-2). Suppose -4*v + g = v. Suppose 9 + 8 = 2*i - 5*z, -i + v*z = -4. Is i a multiple of 8?
True
Suppose 0 = -2*o - 0*o + 984. Let f be (-4)/10 + o/30. Suppose 5*z + 5*w - 35 = 0, -2*z + w - 5*w = -f. Is z a multiple of 6?
True
Let a(j) = -j**2 + 16*j - 15 + 3 - 4*j. Does 4 divide a(9)?
False
Suppose 56 = 5*f - f. Does 4 divide f?
False
Let f = 384 + -160. Is f a multiple of 28?
True
Suppose 0 = 4*q + 3 - 15. Let h(u) = -3 - u + 3 + q*u**2. Does 7 divide h(-2)?
True
Suppose -4 = n - 3*n. Suppose n*s = -2*s. Suppose -q - 4*q + 225 = s. Is q a multiple of 16?
False
Let g(q) = 24*q + 1. Let y be g