Suppose o = w - 43 - 12. Is 11 a factor of w?
True
Let g = 21 - 12. Let h = 15 - g. Suppose 146 = 4*q - l + h*l, l = 4*q - 134. Does 12 divide q?
False
Suppose -5*c + c = -8. Suppose c*x - 2*v = 3*x + 14, -2*x - v = 13. Does 16 divide 2 + 0/x + 30?
True
Does 23 divide 276*-6*6/(-54)?
True
Let u(l) = -19*l - 1. Let y be u(2). Let p = 226 + y. Suppose 41 = 4*a - p. Is a a multiple of 22?
False
Suppose 0 = 31*x - 35*x + 372. Suppose 3*o = -21 + x. Does 6 divide o?
True
Suppose 0 = 7*o + 11*o - 3582. Does 22 divide o?
False
Let c be (6/(-15))/((-1)/35). Let b = -9 + c. Suppose -2*i + 2*h + 23 = 3*i, 0 = -3*i + b*h + 10. Is i even?
False
Suppose -5*r - 3 = p - 14, -5*p = -2*r - 1. Let l(q) = -40*q**2 - 3*q + 4. Let u(a) = 13*a**2 + a - 1. Let g(m) = r*l(m) + 7*u(m). Is g(1) a multiple of 13?
True
Let y = 18 + -38. Let h = 20 + y. Suppose s - z - 18 = h, -z - 63 = -0*s - 4*s. Is s a multiple of 4?
False
Let i(t) = 1103*t + 4. Let h be i(1). Suppose -6*d + h = 195. Does 46 divide d?
False
Let k(w) = 426*w + 31. Does 53 divide k(1)?
False
Is 10 a factor of (-6)/21 - (-4)/28*8066?
False
Let s(o) = 4*o + 12. Let v be s(7). Suppose v + 86 = 2*b. Does 21 divide b?
True
Suppose 36*s - 51587 - 36361 = 0. Is s a multiple of 7?
True
Let x(c) = -33*c - 3. Let l be x(1). Let r be 1086/l + 1/6. Let u = -24 - r. Is u a multiple of 3?
True
Suppose 4 = 2*r - r. Let o be (6/r)/(3/8). Suppose 7*s - 51 = o*s. Is s a multiple of 5?
False
Let q(b) = -21. Let n(j) = j. Let f(w) = -5*n(w) - q(w). Is f(-9) a multiple of 33?
True
Let s = -63 + 65. Suppose 3*l - 4*c = 433, -s*c - 249 = -4*l + 325. Does 10 divide l?
False
Let c(n) = n + 525. Is 21 a factor of c(-41)?
False
Let o be (-8)/6*-3 + 2. Does 15 divide 1033/o + (-6)/36?
False
Is (-44)/638 - (-108843)/87 a multiple of 33?
False
Let g(d) = 2*d + 22. Let u = 27 + -24. Suppose -u*k = k. Is 11 a factor of g(k)?
True
Suppose -2703 = 8*y - 375. Let h = y + 428. Does 7 divide h?
False
Let z = 15 - 25. Is 7 a factor of (2 + z)*(-1 - 0)?
False
Suppose -406 = 5*a - 6026. Let l = -791 + a. Does 54 divide l?
False
Suppose -5*f - 4*z + 3505 = 0, -z - 2*z = 3*f - 2100. Is 12 a factor of f?
False
Let t = 1366 + -803. Let c = t - 389. Is c a multiple of 17?
False
Let h(k) = k**2 + k. Let u(t) = -3*t**2 - 2*t - 99. Let d(a) = -2*h(a) - u(a). Let s be d(0). Suppose 0 = 2*q + s - 245. Is q a multiple of 16?
False
Let y(a) = -319*a - 1045. Let z(u) = 11*u + 36. Let t(g) = -3*y(g) - 88*z(g). Is 22 a factor of t(-19)?
True
Suppose 0 = 3*a - 48. Let u = a + -14. Suppose 0 = u*q - 35 + 11. Is q a multiple of 8?
False
Suppose 4*h - 121*s + 118*s - 4857 = 0, -2*h + 5*s + 2425 = 0. Is 45 a factor of h?
True
Let s = -2059 + 2258. Does 62 divide s?
False
Let f be (-1477)/(-49) + 1/(-7). Suppose 5*i + 5*l - 77 = -2, -5*i + f = -4*l. Suppose -v = -i - 35. Is 15 a factor of v?
True
Let j = -52 + 52. Suppose 8*w - 5*w - 258 = j. Does 35 divide w?
False
Let u(i) be the third derivative of -5/6*i**3 + 5/24*i**4 - 5*i**2 + 0 + 0*i. Is 30 a factor of u(7)?
True
Suppose -o + 4*j + 90 = 0, 5*o + 0*j - 335 = -3*j. Is o a multiple of 7?
True
Let o(c) = c + 2. Let r be o(-1). Let z(i) = 2*i + 5 - 2*i + 6*i + r. Does 13 divide z(6)?
False
Let q = 341 - 160. Does 9 divide q?
False
Let a = -10 - -25. Let y = a - -8. Is 3 a factor of y?
False
Let j = -2 + 7. Let i = 4 + j. Let m(d) = 4*d - 12. Is 24 a factor of m(i)?
True
Is 15 a factor of 9/(54/(-12)) - (1 + -93)?
True
Suppose 2*x = 5*h - 15, 3*x + 12 = -h + 5*h. Suppose x = -f + 2 - 22. Is 4 a factor of 9 + -8 - (f + 1)?
True
Let v(t) = 25*t - 31. Let a be v(10). Suppose 2*f - 5*f = 4*b - 113, 5*f - b = a. Is f a multiple of 4?
False
Suppose -10*f = -3*f + 231. Let h = f - -38. Suppose -191 + 61 = -h*s. Does 19 divide s?
False
Let j be 326/(-6) - 4/(-3). Let p = j - -149. Does 32 divide p?
True
Let w(p) = -p**2 - 21*p + 81. Is 3 a factor of w(-15)?
True
Let i(p) = 34*p - 6. Let c be i(-3). Let g be 2/(-3)*c/8. Suppose g = 4*l - 15. Is 3 a factor of l?
True
Suppose -38*z + 3*z = -13475. Is 11 a factor of z?
True
Let c(g) = -g**2 + 36. Let t be c(0). Let k(a) = 3*a**2 - 13 - 2*a**2 - t*a + 40*a. Is 5 a factor of k(-7)?
False
Let w(c) = c**2 + 13*c + 1350. Does 9 divide w(0)?
True
Let p be 7/1 + -3 + -1. Suppose 0*m + m + p*v - 212 = 0, -5*v = 2*m - 419. Suppose 3*f - m + 53 = 0. Is 15 a factor of f?
False
Suppose -16840 = -4*r + 4*t, -2*t - 2*t + 4230 = r. Does 16 divide r?
False
Suppose 0 = -5*s - 4*v + 1038, 5*v = -4*s + v + 828. Is s a multiple of 15?
True
Suppose 16*p - 613 = -2*t + 19*p, -2*p + 310 = t. Does 7 divide t?
True
Let f = -306 - -354. Let q(v) = v + 2. Let m be q(0). Suppose -3*a + 3*o + f = 0, -m*a - 3*o = -3*a + 16. Is 16 a factor of a?
True
Let j(f) = -2*f - 11. Let p be -6*-1*(-4)/(-12). Suppose p*s + 20 + 0 = 0. Is j(s) a multiple of 9?
True
Let t be (-2758)/(-13) + 2/(-13). Suppose 3*f - 2*d + 62 = 4*f, 0 = 4*f - 4*d - t. Is 8 a factor of f?
True
Let l = 201 - 12. Is 29 a factor of l?
False
Let b = 781 - -1081. Does 53 divide b?
False
Let z be 1/(-1) + 2 + 1. Suppose -16 = z*x - 64. Let d = x - -35. Does 27 divide d?
False
Let c(t) = -3*t - 13. Let y be c(-5). Suppose 5*j = y*v - 120, 7*v - 4*v = 2*j + 180. Suppose -3*d - v = -2*w - 286, -d + 66 = 4*w. Is d a multiple of 38?
False
Let d = -33 + 36. Suppose -3*p + 2*j = -764, 4*j + 210 + 562 = d*p. Is p a multiple of 18?
True
Suppose -u - 3 = -2*u. Let w be u + 4/((-16)/(-516)). Suppose 2*q - w = -2*q. Does 19 divide q?
False
Let h(p) = 3*p**3 - 4*p**2 + 4*p - 2. Let v = -12 - -19. Let w be (4/v)/((-10)/(-35)). Is 14 a factor of h(w)?
True
Suppose 1 = 4*g + 5*r, -g = -4*r + 4 + 1. Does 6 divide (-188)/(-16) - g/4?
True
Let v be (-20)/6*(-6 - 9). Let d = 7 + v. Does 19 divide d?
True
Suppose 0 = 6*g + 14*g - 10440. Is 5 a factor of g?
False
Suppose 6*p + 3 = 3*p, -5*b = -5*p - 195. Is 19 a factor of b?
True
Let m be (3/(-7 - -4))/(1/(-180)). Suppose 0 = -4*y - d + m, y + 3 = -d + 45. Is 10 a factor of y?
False
Suppose -3*s = -11 - 160. Let g be (-116)/(-6) - (-2)/(-6). Let o = s - g. Does 11 divide o?
False
Suppose 0*j = 4*j - 16. Let c(g) = 24*g - 10. Is c(j) a multiple of 25?
False
Let h = 156 - 99. Let u = -37 + h. Does 12 divide u?
False
Suppose 154 = b + 3*i, -b - 4*b + 5*i + 830 = 0. Let d = b - 77. Is 34 a factor of d?
False
Let n be 187/(-9) + 20/(-90). Let b = n + 34. Is 4 a factor of b?
False
Suppose 7*g - 16 = -g. Suppose -g*m + 30 = 4*w - 28, 3*m = w + 3. Does 6 divide w?
True
Let j be ((-4)/6)/((-2)/(-54)). Let a = 13 + j. Let b(z) = -8*z - 3. Is b(a) a multiple of 23?
False
Suppose 3*z = 3063 + 2634. Does 14 divide z/15 - (-15)/(-25)?
True
Suppose 4*h - 4*k + 2*k + 18 = 0, -5*k + 1 = h. Let u = 4 + h. Suppose n - 10*n + 225 = u. Is n a multiple of 6?
False
Let n(b) be the second derivative of b**3/3 - 3*b**2 - b. Let v = 63 - 54. Is n(v) a multiple of 4?
True
Let f be 23/(-2)*(2 + -4). Suppose 4*k = -k - y + 76, -5*k - 3*y = -68. Let x = f - k. Is x even?
False
Let o(s) = 2*s**2 - 12*s + 1. Let r be o(-11). Suppose -r = m + 4*m. Does 9 divide (m + 1)/(2 - 4)?
False
Let t be ((-5)/4)/(19/76). Let v = -1 - t. Is v a multiple of 3?
False
Let s(y) be the second derivative of 79*y**3/6 - 13*y**2/2 - y - 7. Is s(4) a multiple of 31?
False
Let f = 12 + -7. Suppose -f*j = 4*d + 29, -d + 4*d - 22 = 5*j. Let a = 6 - j. Is 9 a factor of a?
False
Let h(z) = -z**3 - 6*z**2 - z - 7. Let w be h(-6). Does 15 divide w*(-2)/(-4)*-42?
False
Let p(z) = 69*z**2 - 3*z + 4. Let c be p(1). Does 22 divide (268/(-5))/(-1) + (-42)/c?
False
Let x = -98 - -100. Suppose -x*m = d - 38, 3*m - 74 = -m - d. Is m a multiple of 6?
True
Suppose 2*k = 5 - 13. Let n(y) = 1. Let i(d) = 2*d + 10. Let u(r) = k*n(r) + i(r). Does 20 divide u(7)?
True
Let l = -3 - -11. Let v(c) = -c**3 + 9*c**2 - 9*c + 12. Let p be v(l). Suppose p*k + w - 248 = 0, -3*k + w - 2*w + 185 = 0. Does 21 divide k?
True
Suppose 2*a - 947 = -v, 929 = 11*a - 9*a - 5*v. Is 2 a factor of a?
True
Suppose -4*p = -w - 13, 0 = -3*w - 2*p - 3*p + 29. Is 5 a factor of 1/((-1)/(-120)*w)?
True
Let q = 1 + 4. Suppose -q*s - 5*o = -7 - 3, 2*s - 7 = -o. Suppose -s*p + 4*r + 372 = -p, -2*p + 3*r + 190 = 0. Is p a multiple of 11?
False
Suppose -10*g + 12*g - 4*r = 3636, r = -1. Does 51 divide g?
False
Suppose 