 61. Is 27 a factor of j?
False
Let f = -69 - -47. Let c = 22 - f. Is c a multiple of 11?
True
Let h(z) = 2*z**2 + 5*z + 5. Let v be h(-4). Let b(m) = -2*m**2 + v*m + 3*m**2 + 0 - 1 - 14*m. Is b(-5) a multiple of 3?
True
Suppose -4*z + 1 = o, 3*o - z - 11 = o. Suppose 3*c - 2*v - 241 = 0, -o*c + 4*v + 405 = -0*v. Is 13 a factor of c?
False
Let y(i) = -i**3 + 6*i**2 + 3*i - 19. Let g be y(6). Let j(h) = -35*h**3 + h**2 - 2*h - 2. Let w be j(g). Let a = -31 + w. Is a a multiple of 2?
False
Let a = -488 + 832. Is 4 a factor of a?
True
Let l(d) be the first derivative of d**2 + 6*d - 21. Is 6 a factor of l(21)?
True
Let p = 28 - 24. Let r(q) = -q + 6*q - 4*q**2 - p*q + q**3 + 6. Does 10 divide r(4)?
True
Let o be 4/((-6)/3)*-59. Suppose -2*g - 92 = 3*r - 284, -o = -2*r + 2*g. Is r a multiple of 13?
False
Let m = -112 - -114. Suppose 0 = -2*a + 5*a. Suppose 3*c - 5*j = -a*j + 57, 63 = m*c + 5*j. Is 17 a factor of c?
False
Suppose 0 = 52*w - 44*w - 1120. Is 70 a factor of w?
True
Suppose -j - 809 = -2*l, -5*l - 1039 = j - 3051. Let v = l + -238. Does 15 divide v?
True
Let s(l) = 12*l**2 - 9*l + 27. Is s(-8) a multiple of 8?
False
Suppose h = -3*n + 30, 2*h - 34 = -2*n + 6*h. Suppose -3*o = 3*p - 2 - 1, 0 = -o - 5*p - n. Suppose 0 = -s - 4*u + 18, -3*u + 16 = -3*s + o*s. Does 2 divide s?
True
Suppose 0 = 9*v - 21 - 87. Is 23 a factor of -6 + 68/v - 416/(-6)?
True
Let i(c) = 100*c - 16. Let y be i(-9). Is 24 a factor of ((-6)/9)/(y/228 + 4)?
False
Let s(c) = 4*c**2 + 4*c + 1. Let g = 8 + -13. Let w be s(g). Let q = w + -41. Is q a multiple of 10?
True
Suppose 90*b = 94*b - 3*f - 5055, -5*f - 3805 = -3*b. Does 12 divide b?
True
Suppose y - 6*y = -2*a - 19, a = -3*y + 7. Suppose -75 = -2*b + 7*f - 4*f, -5*f = y*b - 160. Is b a multiple of 15?
True
Suppose -168 = 96*b - 104*b. Is b a multiple of 7?
True
Suppose 2*j = -3*s + 3808, 4805 = 4*s + j - 274. Does 15 divide s?
False
Suppose -3*l + 350 = -4. Suppose 3*k = 4*o + 187, -k + 4*o = k - l. Is 11 a factor of k?
False
Let r = -18 + 11. Is ((-12)/r)/(9/42) a multiple of 2?
True
Suppose 8*b + 31521 = 15*b. Is b a multiple of 19?
True
Let q(a) = -77*a**3 + 4*a**2 - 43*a - 94. Does 26 divide q(-2)?
True
Let r = 46 + -31. Let n be ((-9)/r)/(3/(-345)). Is (10 + -9)/(1/n) a multiple of 21?
False
Suppose 4*x - 169 = 3*x - o, 3*x + 5*o - 509 = 0. Does 12 divide x?
True
Let g(u) = 4*u**3 + 16*u**2 + 29*u - 9. Let p(y) = 3*y**3 + 16*y**2 + 29*y - 9. Let a(f) = -2*g(f) + 3*p(f). Is 11 a factor of a(-13)?
True
Let i be -2*(0/4 - -6). Let w(y) = -2*y**2 - 26*y + 39. Is 10 a factor of w(i)?
False
Let a = 266 + -49. Does 7 divide a?
True
Does 62 divide (7/98*4)/(3/11949)?
False
Is -4*1/(-12) - (-22165)/15 a multiple of 22?
False
Let o be (2 + -17)*(-4)/4. Is 5 a factor of (-1 + 2)/(o/25)*3?
True
Suppose 8 - 7 = 3*t + l, 3*t - 4*l + 19 = 0. Does 25 divide t*(3 - 3 - -2) + 185?
False
Let u be -2*(-2)/12*-3. Let o(k) = -7*k + 2. Let g be o(u). Suppose -6 - g = -a. Is a a multiple of 4?
False
Suppose -3*j - 2*h = 2*j - 1346, 5*h - 1070 = -4*j. Is j a multiple of 24?
False
Suppose -i - x = -3, i = 5*x - 2*x + 11. Suppose -2 = -r, -i*c + c + 3*r = -214. Is 11 a factor of c?
True
Suppose 25 = -6*v + 11*v. Suppose -8*p + v*p + 363 = 0. Is p a multiple of 21?
False
Suppose -4*j + 292 = -0*j. Suppose j + 21 = 2*y. Is 7 a factor of y?
False
Let d = 5 + 19. Suppose a - d = 4*h + 19, -a - h + 63 = 0. Does 38 divide a?
False
Let l be -1*(0/(-4))/(-4). Suppose l*b - 3*b - 3 = 0. Let g = 6 + b. Is 2 a factor of g?
False
Let w be (-6)/(-8) - (34/(-8) - -2). Is w/(-4)*-4*50 a multiple of 30?
True
Suppose -w - 4*w = 4*b - 610, -5*w + 610 = -3*b. Is -2 + (-4 - w/(-2)) a multiple of 16?
False
Let t(f) be the first derivative of -10*f**2 - 6*f + 37. Is 13 a factor of t(-5)?
False
Let k(x) = 3*x + x + 7 - 3*x. Let l be k(-4). Suppose -55 = -l*r + 2. Is r a multiple of 9?
False
Let u be (45/30)/((-6)/(-272)). Suppose -5*h + 5*w + u + 67 = 0, -116 = -3*h - 4*w. Does 6 divide h?
False
Suppose 3*b - q + 68 = q, 5*b + q = -122. Let p = 40 + b. Is 9 a factor of p?
False
Suppose 0 = c - g - 265, 5*c - 1806 = 3*g - 471. Let k = 26 + -17. Suppose 4*z + c = k*z. Does 9 divide z?
True
Is (-4 - 108/(-26)) + 18552/78 a multiple of 10?
False
Let o = -43 - -49. Is 30 a factor of (-20)/(-3)*(102/o - -1)?
True
Suppose -255 = -2*z - 83. Suppose 166 = 6*g - z. Is g a multiple of 6?
True
Suppose 5*i = -4*v - 388 + 1297, -4*v - 3*i = -907. Does 27 divide v?
False
Suppose 0 = 7*d - 17*d + 4960. Does 16 divide d?
True
Suppose -10*o = -9*o. Suppose 15 + 68 = d + 3*j, o = -5*d - j + 471. Does 20 divide d?
False
Let w(p) = -2*p**2 + 10*p - 5. Let b be w(4). Suppose -5*j + 135 = -3*f - 3*j, b*f = -2*j - 147. Let y = -27 - f. Is 10 a factor of y?
True
Let z(q) = 17 - q - 3*q + 4*q + q. Let d be z(-7). Is 185/d + 3/(-6) a multiple of 9?
True
Let a be 3/6 - (-2)/(-4)*-73. Suppose -t - 3*o = -6*o - 15, 0 = -3*t + 5*o + a. Is 4 a factor of t?
False
Suppose -2*v + 2*r = -10, 4*v + 4*r + 3 = -9. Suppose 13 = -6*l + 7*l. Is 4 a factor of -2 + l + (-2)/v?
False
Let m = 109 - 46. Let q = -13 + m. Suppose 3*x = -0*x + 4*t + 178, t - q = -x. Is 21 a factor of x?
False
Let b = -94 - -94. Suppose b = -3*n + o + 20, -4*n - 15 + 39 = -2*o. Is n a multiple of 2?
True
Suppose 0 = q - 4*q - 3*g + 24, 5*q - 4*g = -5. Suppose -q*u + 7*u - 480 = 0. Is 40 a factor of u?
True
Does 26 divide 78/((-5454)/(-495) + -11)?
True
Suppose 4*p + 9148 = 4*b, -5*p - 5 = -6*p. Does 9 divide b?
False
Suppose 1890 = 70*x - 64*x. Is 10 a factor of x?
False
Suppose 4*k + 4191 = 5*o, 10*k + 16 = 6*k. Is o a multiple of 28?
False
Suppose 4*p - 4*r - 40 = 0, -3*p = p - 5*r - 36. Let c(i) = -i**3 + 6*i**2 - 3*i + 7. Let q be c(6). Let z = p + q. Is z a multiple of 2?
False
Suppose 1 = -j + 3*j + 3*m, 0 = -5*m - 15. Suppose j*b = 70 + 130. Is 8 a factor of b?
True
Let v = -6 - -5. Does 7 divide (-1 + v)*4*22/(-4)?
False
Let w be 6/18 - 2/6. Suppose -x + 9 + 2 = w. Is x a multiple of 4?
False
Does 10 divide ((-6)/(-4))/((-2)/((-19728)/27))?
False
Suppose 0 = x + 1, 186 - 631 = -u + 2*x. Suppose -107 + u = 4*j. Is 31 a factor of j?
False
Let d be ((-137)/4)/(2/(-8)). Let a = -80 + d. Is 11 a factor of a?
False
Let v = -26 + -9. Let q be (-10)/v + (-2)/7. Suppose q = -2*p + 86 + 8. Is 14 a factor of p?
False
Let g = -923 + 1131. Is g a multiple of 10?
False
Let s(x) = x**3 - 11*x**2 - x + 1. Let a be s(11). Does 23 divide -36*(a/6)/1?
False
Does 62 divide (-12)/72 - (5907/(-18) + 1)?
False
Let j(o) = 7*o**2 + 1. Let k be j(3). Suppose 0*l = -2*l + 90. Let f = k - l. Does 5 divide f?
False
Let u(y) = -3*y - 6. Let h be u(-5). Suppose -5*b = -11 - h. Suppose -4 - 16 = b*o, 3*l + 2*o = 62. Is 12 a factor of l?
True
Suppose 0 = -t - 4*v - 65, -2*t + 2*v - 130 = 5*v. Is t/2*30/(-15) a multiple of 13?
True
Let p be ((-2)/(-4))/(5/(-30)). Let k(s) = 17*s**2 - 8. Is 29 a factor of k(p)?
True
Is (-102 + 117)*(-97)/(-3) a multiple of 97?
True
Let w(p) be the second derivative of -2*p**3/3 - 6*p**2 + 24*p. Is 4 a factor of w(-5)?
True
Let m(f) = f**3 - 10*f**2 + 8*f + 12. Let o be m(9). Suppose -20 = -5*s, -148 = -3*k + 2*s + o*s. Does 14 divide k?
True
Suppose -7*q + 6*q = 0. Suppose q = -4*x - d - 10 + 70, 0 = -3*d. Suppose x*w - 64 = 13*w. Does 32 divide w?
True
Let j(t) = t**2 + t - 5. Let w(z) = 3*z**2 - z + 2. Let b be w(1). Does 3 divide j(b)?
True
Let v = 713 - 434. Suppose 4*x - v - 777 = 0. Is 33 a factor of x?
True
Let l(o) = o**2 - 3*o + 4. Let v be l(3). Suppose 465 = v*m + 101. Does 21 divide m?
False
Let j(o) = -17*o + 6. Let n be (4/1)/(8/(-4)). Is j(n) a multiple of 17?
False
Suppose 4*f + 3*h - 29 = 0, -27*h = 3*f - 22*h - 8. Is f a multiple of 6?
False
Let p(r) = r**2 - 7*r + 6. Let c(s) = s**3 - s. Let j be c(2). Let o be p(j). Suppose 0 = k - 5*k - 4*n + 68, o = 5*k + n - 101. Is 7 a factor of k?
True
Suppose 16*t = y + 19*t - 343, -1402 = -4*y - 2*t. Is 16 a factor of y?
True
Suppose 8*z + 10 = 13*z. Suppose -3*j + 416 = 3*i - 295, -z*i + 472 = 4*j. Is 30 a factor of i?
False
Let u = -68 - -72. Suppose -2*q = 2*o - 13 - 3, -u*o - 23 = -q. Does 4 divide q?
False
Let q(b) be the second derivative of b**3/6 + 151*b**2/2 + 2*b. Let n be q(0). Is (-11)/(-44) - n/(-4) a multiple of 19?
True
Does 2 divide (3