9 + t. Is 25 a factor of k?
False
Let z = -74 + 297. Is z a multiple of 14?
False
Let r(x) = -x**2 + 9*x - 2. Let n = -26 - -31. Suppose n*l - 24 - 11 = 0. Does 4 divide r(l)?
True
Let a(z) be the first derivative of 4*z + 5/2*z**2 + 4. Is 13 a factor of a(7)?
True
Suppose 0*d = 2*d + 38. Let g = 26 + d. Let s(t) = t**2 - 3*t - 12. Does 10 divide s(g)?
False
Let s = -4418 + 6673. Does 55 divide s?
True
Let q(y) = y**2 - 8*y + 10. Let i(x) = -x**3 + x**2 + 4*x. Let m be i(3). Let f = m - -14. Does 6 divide q(f)?
False
Let o = 80 + -70. Is (-3 + 2)*(4 - (o + 0)) a multiple of 6?
True
Suppose 5*i = 15*i - 1750. Is i a multiple of 25?
True
Let c be 3/1*203/21. Suppose -b - 1 = 2*v - v, -4*v + b - c = 0. Let q = v + 13. Does 2 divide q?
False
Suppose 2*l + 18 = 3*l. Let s = l - 54. Is (s/(-7))/((-1)/(-7)) a multiple of 12?
True
Suppose -2 + 7 = a. Let i = 10 + a. Let f = -10 + i. Is 5 a factor of f?
True
Let o = 17 - 122. Let i = 177 + o. Is 12 a factor of i?
True
Let v = -16 - 226. Let s = v + 422. Is s a multiple of 60?
True
Let f(u) = 2*u**2 + 7*u - 30. Does 48 divide f(10)?
True
Let w = 1905 + -1005. Is 45 a factor of w?
True
Let h be 3*2/9 + 244/(-6). Is (h/(-3))/((-1)/(-12)) a multiple of 32?
True
Suppose 2*p - 64 = 4*p - 4*z, -5*p - 4*z = 104. Let q = 8 - p. Suppose -95 + q = -d. Does 16 divide d?
False
Let d(t) be the first derivative of 5*t**3/3 - t**2 - 2*t + 1. Let c be 0/(3/(-3)) + 6 + -10. Does 16 divide d(c)?
False
Let u(j) = -j**3 + 4*j**2 - 23*j + 4. Does 64 divide u(-7)?
True
Suppose 2*q - 4 = q + 2*j, -2*q - 3*j = -8. Suppose 3*r - q*r - l = -85, 2*l - 10 = 0. Is 10 a factor of r?
True
Let x(b) = 2*b - 6. Let c(s) = -1. Let z(p) = 6*c(p) + 2*x(p). Let r = 125 - 116. Is z(r) a multiple of 9?
True
Suppose -4*a = -2*i + 284 - 1298, -a - 5*i = -226. Does 40 divide a?
False
Suppose 299*f - 290*f = 10962. Is f a multiple of 21?
True
Suppose k - b = 15 + 54, -5*b + 355 = 5*k. Is k a multiple of 35?
True
Is 43 a factor of (4 - 333)*6*6/(-21)?
False
Does 11 divide (-9682)/(-22) - 132/1452?
True
Let k(c) = -2*c + 2. Let l be k(1). Suppose 16 = -3*q + 3*g - 14, 5*q - 2*g + 53 = l. Let p = 35 - q. Is p a multiple of 16?
False
Let x be (-1)/3*(-1 + 1). Suppose a = -x + 8. Suppose -g + 32 = -a. Does 18 divide g?
False
Suppose -1 - 819 = -10*r. Let f = r - 46. Does 6 divide f?
True
Does 27 divide 3 + (-4 - -816) - 5?
True
Let z(v) = v**3 - v**2 - 2*v + 1. Let m be z(2). Let a be m*-3 - (2 + 39). Let t = a + 71. Is 6 a factor of t?
False
Let y = -325 + 440. Does 38 divide y?
False
Suppose 2*l - 3650 - 1512 = g, -12900 = -5*l + 5*g. Does 22 divide l?
False
Let c(o) = -o**2 + 9. Let j be c(-2). Suppose 4*i - 1316 = -j*z, -i - 2*z + 495 = 163. Is i a multiple of 34?
False
Is (64/24)/((-1)/(-54)) a multiple of 16?
True
Let h(i) = -i**3 + 21*i**2 - 20*i + 24. Let w be h(20). Suppose 0 = -4*x - g + 120 - w, -3*x = 3*g - 81. Does 2 divide x?
False
Suppose -69 = -5*s + 1. Let m = s + 22. Let r = m + -15. Is r a multiple of 4?
False
Suppose 2*q + q = 6, 10 = 2*c + 2*q. Suppose -4*w - 5*t = -717, -180 = -c*w - 3*t + 354. Is w a multiple of 10?
False
Let r = -21 - -4. Let v be 8*(-10)/4*-3. Let f = v + r. Is 15 a factor of f?
False
Let x = 3015 + -1797. Is 42 a factor of x?
True
Let r(s) = -2*s**2 - 14*s - 10. Let c be r(-5). Does 4 divide (-2)/(4/c)*64/(-10)?
True
Let s be -4 - -4 - (26*1)/1. Suppose -j + 2*p - 8 = 11, -3*p + 15 = 0. Let m = j - s. Does 10 divide m?
False
Let z = -113 - -163. Is z*(15/6)/5 a multiple of 7?
False
Suppose 4*n = 5*a - 3201, n = -2*a - n + 1284. Is a a multiple of 28?
False
Let g be (-6 + 5)/((-24)/(-21) + -1). Let a be (1 + 3)*(-14)/8. Is ((-20)/g)/((-1)/a) a multiple of 18?
False
Suppose -2*y = -14 - 0. Let x(n) = -n + 1. Let v be x(y). Is 64/v*(-45)/10 a multiple of 24?
True
Suppose 5*s + h - 2 - 4 = 0, -s - 4*h - 14 = 0. Suppose 2*q + q - 38 = 4*k, -4*k - 24 = -s*q. Does 7 divide q?
True
Suppose 6 = -4*x + 3*q, -3*q = x + 3 - 9. Let u be x*(-1 + 1/2). Suppose u = -22*s + 21*s + 16. Is s a multiple of 8?
True
Let f = 4104 + -3055. Does 33 divide f?
False
Let p(u) = -2*u - u + 10 + 0*u - 14. Let m be p(4). Let z = -11 - m. Is 4 a factor of z?
False
Is 16 a factor of 1186 + (11/11 - 3)?
True
Suppose -2*j = -6*j, -2*b + 3*j - 16 = 0. Is 28*3 + 5 + b a multiple of 16?
False
Suppose -3*p = -5*u - 10, -p + 0 + 3 = -2*u. Is 46 a factor of ((-828)/24)/(14/(-8) + u)?
True
Let t(w) = 5*w - 8. Let z be t(6). Suppose 0 = -3*c + z + 53. Is c a multiple of 5?
True
Suppose n - 5*v - 2887 = 0, -5726 = -n - n - 2*v. Is n a multiple of 10?
False
Let k = -98 + 343. Is 49 a factor of k?
True
Is 24 a factor of ((-6 - -12) + -10)*-618?
True
Let b be (-4 + (-133)/(-42))/((-2)/12). Suppose 0 = -b*w + 15*w - 2530. Does 45 divide w?
False
Suppose -2*t = 6*m - 22042, -6*m + 10*m - 14699 = 3*t. Is 27 a factor of m?
False
Is 1*(6 + -14 + 1205) a multiple of 24?
False
Suppose 3*f + v = 28, -v - 16 = -5*v. Let r(n) = n - 4. Let d be r(f). Suppose d*w - w = 63. Is 21 a factor of w?
True
Let u(i) = -2720*i. Let o(b) = -68*b. Let r(q) = -119*o(q) + 3*u(q). Is r(-3) a multiple of 17?
True
Let u(z) be the first derivative of z**5/20 - z**4/6 + 2*z**3/3 - 5*z**2/2 - 11*z + 1. Let t(b) be the first derivative of u(b). Is t(4) a multiple of 14?
False
Let r(q) be the third derivative of -q**6/120 + q**5/30 + q**4/8 - 2*q**3/3 + 26*q**2. Let m(v) = v**2 - 7*v + 7. Let w be m(5). Does 16 divide r(w)?
True
Let v(o) = -o**3 + 5*o**2 - 13*o - 1. Let h be v(9). Let a = h + 691. Suppose 4*c - j = a, -4*j - j = -4*c + 269. Is 19 a factor of c?
False
Does 4 divide ((-3564)/(-231))/((-1)/(-49))?
True
Let z = -3 - -3. Let b be 3 + z + -120 + 3. Is (-8)/28 - b/7 a multiple of 16?
True
Let k(m) = -3*m**2 + m + 10. Let v(r) = 2*r - 3*r + 50 - 16*r**2 + 3*r + 2*r. Let o(c) = -11*k(c) + 2*v(c). Does 7 divide o(8)?
False
Let z be 11 + (-5 - 2 - -3). Let t(w) = w**2 - 7*w + 4. Let c be t(z). Suppose r + c*r - 15 = 0. Is r a multiple of 3?
True
Suppose 2*j + 0 = 6. Suppose j*i = 2*i + 13. Suppose 192 = i*s - 9*s. Is s a multiple of 16?
True
Let c(x) = x**3 + 4*x**2 + x - 1. Let h be c(-3). Suppose -4*m = -h*m + 31. Is m a multiple of 11?
False
Let o(i) = i**3 - 15*i**2 - 32*i + 8. Let m be o(17). Let l = 14 + m. Is 28 a factor of l?
True
Let x = -21 + 21. Suppose 2*k + 0*k = x. Suppose u + 4*w - 23 = k, 4*u + w = -0*w + 152. Is 8 a factor of u?
False
Is (-60258)/(-154) + (-6)/21 a multiple of 17?
True
Let y be (3/(6*-2))/((-2)/16). Suppose s + 450 = 3*k - 3*s, y*k = -s + 300. Is 15 a factor of k?
True
Let b = 2 + 2. Suppose 0*y = k - 2*y - 50, 290 = 5*k - 2*y. Suppose -4*r - 4*w = -2*w - k, -r + 33 = -b*w. Is r a multiple of 11?
False
Suppose 3 = -9*v + 10*v. Suppose 0 = v*g - 24 - 267. Suppose -2*i + g = -25. Is i a multiple of 26?
False
Let o(b) = 79*b**2 + b + 3. Let i be o(-2). Suppose 17*a - 958 = i. Is a a multiple of 23?
False
Let c(t) = t**2 - 11*t. Let q be c(11). Suppose q = 2*v + 2, v = -5*o - v + 13. Suppose o + 29 = 2*p. Does 16 divide p?
True
Suppose 2 = 3*w + m, -4*m = 4*w - 3*m - 4. Suppose b - 2*g - 9 = 0, 5*b + w*g - g - 34 = 0. Does 6 divide b?
False
Does 3 divide (-3556)/(-35) + 2/5?
True
Suppose 4*m - v - 2896 = 3*v, 5*v = -5*m + 3660. Is m a multiple of 26?
True
Let b(m) = -m**3 - 22*m**2 + 13*m + 35. Does 36 divide b(-24)?
False
Let z(x) be the third derivative of -x**5/60 + 7*x**4/12 - 13*x**3/6 + 17*x**2. Suppose -3*v + 32 = 5*n, 4*n - 8*n = -4. Is z(v) a multiple of 16?
True
Suppose 13 + 12 = 5*m + 2*l, -5*m = -5*l - 25. Suppose 4*x + 3 + 41 = 4*a, 0 = -a - m*x + 17. Does 4 divide a?
True
Let k(p) = -55*p - 6. Let g be k(-2). Suppose 3*y = -0*y. Suppose -t + g = -y. Does 13 divide t?
True
Suppose 59*s - 491 = 335. Is 3 a factor of s?
False
Suppose 5*l = -2*x + 30 + 28, -l - 82 = -2*x. Does 13 divide x?
True
Suppose -4*n + 4*o = -3*n - 8, -5 = -2*n - 3*o. Suppose -n*y = 5*y - 342. Is y a multiple of 38?
True
Let x = 268 + 105. Is 26 a factor of x?
False
Let x = 547 + -413. Is 28 a factor of x?
False
Let p be -177 + 0*(-3)/12. Let z = -39 - p. Is z a multiple of 23?
True
Let a = -71 + 74. Suppose 3*b = -12, 5*u + a*b - 187 = 216. Does 11 divide u?
False
Let o(h) = 5*h**3 - h**2 + h + 5. Is o(3) a multiple of 14?
False
Let s(a) be the first derivative of