 16?
False
Let n = 174 - 174. Suppose 27*q - 52*q + 15750 = n. Does 30 divide q?
True
Suppose -4*p = 3*s + 374 - 1351, -5*s = -2*p + 521. Let a = -48 - 62. Let q = a + p. Is q a multiple of 23?
True
Let f(m) = 17212*m**3 + 13*m**2 - 12. Is f(1) a multiple of 26?
False
Suppose 633812 - 49147 = 97*m - 197543. Is m a multiple of 34?
False
Suppose -3*v - 2 = -z - 6*v, 0 = 2*z - 2*v + 4. Is 20 a factor of (86 + (z - -4))*1?
False
Let l be 30/2 + (-2)/2. Is 13 a factor of 21258/126 - (-4)/l?
True
Suppose 0 = -5*k + 4*b - 2483, 1496 = -3*k + 4*b + 3. Let x = -238 - k. Let q = x - 125. Is q a multiple of 22?
True
Let a be ((-1)/(8/26))/((-72)/288). Let y = 1147 - a. Is 27 a factor of y?
True
Let g(j) be the first derivative of 13*j**2 + 22*j + 104. Is 90 a factor of g(13)?
True
Suppose -7*g = 5*g + 24. Let f be -2 + (0 - 8/g). Suppose 0*b - 75 = -a - f*b, 5*b - 15 = 0. Does 7 divide a?
False
Let m(l) = 70*l**2 - 1. Let k be m(1). Suppose -1187 = 4*i - 5*y, i + 356 = -2*y + k. Let a = 468 + i. Is a a multiple of 25?
True
Suppose 15*s - 168202 = -s + 174806. Is 27 a factor of s?
True
Suppose -6 = -2*i - 0. Let t be (-1 + (-2 - i))/(-2). Suppose 4*k - 84 = 4*h, k = -t*k - h + 64. Does 8 divide k?
False
Let k(o) = -2*o - 21. Let a be k(-10). Let j be (10/4)/(-1*a/(-2)). Let q(s) = -37*s - 15. Does 34 divide q(j)?
True
Let t = -1 - -4. Suppose 3*m + t = -3. Is (-10)/m*(-768)/(-30) a multiple of 16?
True
Suppose 2*k = 6*j - 3614, 2411 = 503*j - 499*j - 3*k. Does 7 divide j?
True
Suppose 5*l - 16 = 3*y, 6*l + 5*y = 2*l - 2. Let k(i) = -4*i**2 - 3*i**2 + l*i**2 + i**3 - 4*i**3 - 4*i. Is k(-3) a multiple of 16?
True
Suppose w = 4*g + 362, 0*g + 4*g + 1086 = 3*w. Let u = w - -177. Is u a multiple of 49?
True
Let n(h) = 9*h + 10 + 3*h**2 - h**2 - 8*h. Does 8 divide n(6)?
True
Let o(t) = -t**2 - 15*t - 17. Let m be o(-13). Let i be m/6*4/6. Is (104/3)/(i/3) a multiple of 25?
False
Suppose 279*r - 271*r = 3040. Suppose -r = -5*h + 250. Is 8 a factor of h?
False
Let i(u) = 164 + 0*u**2 - u - 146 - u**2. Let y be i(-4). Does 10 divide (6 - (5 + -2) - y) + 183?
True
Suppose -6 - 2 = 2*y - 2*r, y - 8 = -2*r. Suppose 4*x - 12 = 3*x + 3*q, y = 2*x + 5*q + 31. Is 15 a factor of 199 - (15/x + 0)?
False
Is (-54)/(-675) + (-167992)/(-100) a multiple of 28?
True
Suppose 0 = 10*m - 171 - 19. Suppose 0 = -28*v + m*v + 7416. Is v a multiple of 74?
False
Let p(s) = 550*s**2 + 26*s - 128. Let c be p(8). Suppose 9*z + 47*z - c = 0. Does 14 divide z?
True
Suppose -7*n = -5*n - 4. Let o = 76 + -10. Suppose n*u - u = o. Is 7 a factor of u?
False
Let f = 38 - 38. Suppose -5*v + 419 = -2*l, f*v - 337 = -4*v + l. Suppose -2*d + 118 = -j, 3*d = 3*j + v + 92. Is d a multiple of 10?
False
Does 71 divide (-4)/(48/228) + 16704?
True
Let s = 3736 - 2326. Is s a multiple of 41?
False
Let t(n) be the second derivative of 25*n**3/6 - 107*n**2/2 - 12*n + 1. Is t(17) a multiple of 3?
True
Is 0/(-1) - (218 - 354) a multiple of 2?
True
Suppose -5*i + 4*v + 8 = 0, -7*v - 10 = -2*v. Suppose -90 = -2*q + 2*m - 3*m, i = -m. Suppose -5*b = -3*j - 2 - q, 5*j = -4*b + 45. Is 3 a factor of b?
False
Let n(k) = k**3 - 12*k**2 - 13*k - 6. Let s be n(7). Let q = s - -372. Is 7 a factor of q?
False
Let d = -28 + 29. Suppose 0 = -18*y + 19*y - d. Let r = 72 - y. Is 7 a factor of r?
False
Let k(m) = -4*m**3 - 10*m + 2*m**2 + 5*m**3 + 80 - 68. Let z be k(-5). Is 38 a factor of (-6)/39 + (-587)/z?
False
Let n(t) = -48*t - 39. Let r be n(-10). Let f = r + 61. Suppose 5*q = f + 618. Is 14 a factor of q?
True
Let y = 8 - 2. Suppose 2*x - y = 5*j + 23, -47 = 5*j + 4*x. Is 72 + (1*4 - (j + 10)) a multiple of 8?
False
Let j(a) = 64*a - 2*a**2 + 0*a**2 + 22*a - 3*a**2 - 2. Does 3 divide j(17)?
True
Suppose 11*h + 585 + 504 = 0. Let s = h - -473. Does 24 divide s?
False
Let q be (-16)/(-440)*-5 - (-6956)/22. Let n = -1029 + 1579. Let t = n - q. Is 20 a factor of t?
False
Suppose -3*u = -5*u - n - 1165, -5*u - n - 2908 = 0. Let c = 810 + u. Is 8 a factor of c?
False
Suppose 0 = 14*l - 17*l + 18. Let o(y) = -l*y - 1187 + 45*y**2 + 1185 - 9*y**2. Does 14 divide o(-2)?
True
Suppose 23 = 4*w - 3*n, 2*n = -w - 0*w + 3. Suppose 5*h = 3*j - 389, -5*h = 6*j - w*j - 123. Is j a multiple of 32?
True
Suppose 1689 = 6*w - 14631. Does 20 divide w?
True
Let f be ((-3)/(-2))/((33/208)/11). Let a = -97 + f. Does 13 divide 88*a/6 - 28/(-21)?
True
Suppose -5*n = 10 - 45. Let t be (-2)/(-7) - 639/n. Let y = -34 - t. Is 12 a factor of y?
False
Let h be 88*1*(-7)/(-28). Suppose -h*i + 987 = 3*t - 20*i, -4*t + 1316 = -5*i. Does 76 divide t?
False
Let y be (-14)/(-4)*-1*-2. Let m(r) be the second derivative of r**5/20 - 5*r**4/12 + 5*r**3/3 - r**2 + 3*r + 788. Does 7 divide m(y)?
False
Suppose 0 = 2*n - 2*b - 62860, -3*n + 5*b = -6*n + 94234. Is n a multiple of 326?
False
Suppose -3*c - 4*m = 430, -5*m = -c - 135 - 40. Let a = -126 - c. Is 12 a factor of a?
True
Is (-2)/(-1*(4 + (-145064)/36268)) a multiple of 2?
False
Suppose 387*z = 44*z + 2343376. Is 105 a factor of z?
False
Let u be ((-54)/4 - -3)/(12/(-24)). Suppose u*a = 1989 + 1035. Is 12 a factor of a?
True
Suppose d - 1201 = -133. Let g be d/(-15)*(-5)/2. Let h = g + -7. Does 14 divide h?
False
Suppose -n = -5*b + 3873, 2*n + 390 = b - 390. Suppose t = 4*m - 795, -4*t - b - 206 = -5*m. Is 36 a factor of m?
False
Suppose 3*g = 268 + 755. Suppose -2*q + 5*f + 133 + g = 0, -5*q = 4*f - 1185. Suppose 4*b - 3*i - 201 - q = 0, 4*i = -b + 100. Does 22 divide b?
False
Let j = 21 + -37. Suppose 14 + 4 = 9*o. Does 8 divide -1 - (o - 1)*j?
False
Let a(p) = 5*p + 6 - 33*p**3 + 9*p**3 + 7 - 13*p**3 - 4*p**2 - 4*p. Does 42 divide a(-2)?
False
Let v(o) = 7*o**2 + 2*o + 1. Let z be v(-1). Let q = z - 1. Suppose -7*f + q*f + 88 = 0. Is 11 a factor of f?
True
Suppose 87*h + 26*h - 713549 = 133951. Is 125 a factor of h?
True
Let c(x) be the first derivative of -2*x**3/3 + 11*x**2 + 44*x + 108. Is 14 a factor of c(12)?
False
Suppose 4*x - 775 = 4441. Let c = x - 846. Let q = c + -266. Is 24 a factor of q?
True
Suppose 408 = 3*v - 7*v. Let w = 99 + v. Is 7 a factor of (4*-11 + -2)/(w/6)?
False
Let v(q) = -16*q + 4*q**2 - 4*q**2 - 8 + q**2. Suppose 22*l - 23*l - 10 = 0. Does 21 divide v(l)?
True
Let j(l) = 3*l + 5. Let n be j(0). Suppose -d = -5*h - n, -2*h + 0*d - 5*d - 29 = 0. Let i = 15 - h. Does 5 divide i?
False
Does 10 divide -16*-139*(5 - (-55)/(-22))?
True
Suppose 4*f + 8 = 4*q - 0*f, 4*q + 3*f - 36 = 0. Let b = -11 - q. Is (2/(-5))/(b/2040) a multiple of 8?
True
Let t be 1/(2513/2506 + -1). Suppose g = t - 8. Is g a multiple of 10?
True
Suppose 0 = -p - 2*p + 60. Suppose -108 = -8*l + p. Suppose -l = -2*f + 18. Is f even?
False
Suppose -3*q - 40*y + 45*y = -377, 4*y = 3*q - 376. Suppose 0*h - 368 = -2*h. Let c = h - q. Is 13 a factor of c?
False
Let v = 1254 + -864. Is v a multiple of 13?
True
Suppose -3*f - 6 = -4*f. Is 39 a factor of f*(-2)/4 - -194?
False
Let z(i) be the third derivative of -7*i**4/4 + 4*i**3/3 - 17*i**2. Let w be z(-5). Let l = w - 8. Does 20 divide l?
False
Let p = 3525 - -175. Is p a multiple of 74?
True
Let p = 3975 - 3073. Does 22 divide p?
True
Suppose -562 = 3*z - 2*k, -128 = z - k + 61. Let t = -15 - z. Is 12 a factor of t?
False
Suppose 0 = -11*t + 441 + 736. Let l = 257 - t. Is 25 a factor of l?
True
Suppose 46511 = 4*u + h, -9*u - 34902 = -12*u + 3*h. Does 18 divide u?
False
Let h(f) = -3*f**2 + 102*f + 104. Is h(34) a multiple of 4?
True
Let w = 19531 - 16183. Does 2 divide w?
True
Suppose -37*w + 737938 + 661966 = 51*w. Is 82 a factor of w?
True
Suppose 0 = -2*a + 12*z - 11*z + 14, 2*z + 23 = 3*a. Let q(n) = -4*n**3 + 21*n**2 + 4*n. Is q(a) a multiple of 3?
True
Let p be (1/(-3))/((-10)/(-47130)*-1). Let z = -1067 + p. Does 42 divide z?
True
Let m(x) = -x**3 + 21*x - 6*x**2 - 19 - 51*x + 24*x. Is m(-7) a multiple of 9?
True
Let s = -5943 - -13897. Is 16 a factor of s?
False
Let t be -5 - 6*24/(-18). Suppose -3 = -t*p + 21. Does 2 divide p?
True
Let d(i) = 11*i + 13. Let m be d(3). Let k = m - 41. Suppose -3*a = a + b - 408, -4*b + 521 = k*a. Does 18 divide a?
False
Suppose h = -223*d + 219*d + 1520, -5*h + 1885 = 5*d. Is d a multiple of 4?
False
Let u(y) = 3386*y - 949. Is u(2) a multiple of 19?
False
Let r(o) = o**2 - 24*o + 63. Let b be (-6)/(-10)*5 - (-17 + -1)