- 2954686 = -373*j. Is 24 a factor of j?
True
Let w(t) = 30813*t**2 + 76*t - 1. Is w(1) a multiple of 33?
True
Suppose 3*f - 3*u = 43993 + 16841, 4*f + u - 81082 = 0. Does 28 divide f?
True
Suppose -3*a + 12 + 0 = 0. Let t(k) = 20 - 2 - a - 2*k - 6. Is 5 a factor of t(-6)?
True
Let i = 32233 + -19986. Is i a multiple of 12?
False
Suppose x - 84 = 2*h + 41, 2*x + h = 255. Suppose 0 = 3*s + 9, 3*c + c = 5*s + 763. Let p = c - x. Does 15 divide p?
True
Let t(n) = 144*n - 4554. Does 22 divide t(55)?
True
Let z(g) be the first derivative of -13*g**4/4 - 2*g**3/3 + 15*g**2/2 + 23*g + 178. Is z(-4) a multiple of 7?
True
Suppose q + 147*f - 3830 = 149*f, 2*f = -3*q + 11514. Does 7 divide q?
True
Suppose -1483 = 6*u - 9*u - 5*x, 3*u = -4*x + 1478. Let d = 186 + u. Does 42 divide d?
True
Let t = 29 + -101. Does 34 divide 36/t - (-1570)/4?
False
Let o be (9 + -18 - -8)*-22678. Suppose -o = -23*c - 6*c. Does 8 divide c?
False
Let q = -13695 - -26299. Does 92 divide q?
True
Suppose 5*k - 1218 = 132. Suppose -3*q + 8*q + k = 0. Let r = -8 - q. Is r a multiple of 23?
True
Let h be (38/4)/((-6)/(-12)). Let a = h - 1. Is (-1 - 12/(-9))*a even?
True
Let y(d) = 12*d**2 + 35*d - 66. Is 117 a factor of y(15)?
True
Suppose -3*z - 2260 = v - 5902, -3*z - 4*v = -3633. Let b = 62 - 49. Suppose 18*y - z = b*y. Does 17 divide y?
False
Suppose 5*k = -2*n - 196, -20 = k - 6*k. Let r be n/(-30)*-1*10. Let z = 54 + r. Does 18 divide z?
True
Let z = 16 + -37. Let f = 24 + z. Suppose 3*i = 5*x + 83, 0 = f*x - 2*x + 1. Is 7 a factor of i?
False
Let n be -9 + 9 - (10/1)/(-2). Suppose 0 = -n*z + 16 + 9, 0 = 4*d - 5*z - 1019. Suppose 0 = 13*x - 16*x + d. Does 29 divide x?
True
Let l(a) be the first derivative of -2*a**6/5 + a**5/60 - a**4/12 - a**3/3 + 3*a**2/2 + 5. Let b(t) be the second derivative of l(t). Does 14 divide b(-1)?
False
Suppose -3*y - 18 = 3*h, -2*y + 3*h = -0*h - 3. Let l = -53 - y. Is ((-160)/l)/((-2)/(-110)) a multiple of 11?
True
Suppose 0 = -3*i - 2*i - n + 50, -5*i = -4*n - 25. Suppose -i*f = 2*f - 297. Suppose -20*b - 1575 = -f*b. Is 25 a factor of b?
True
Suppose 4*j = 5*t - 59, -2*j - t = -3*t + 30. Let f(g) = g**3 + 17*g**2 + g + 125. Is 6 a factor of f(j)?
False
Let v = 138 + -72. Let z be -3 + 11/(v/(-24)). Let u = z - -17. Does 5 divide u?
True
Let r be 1/4 + 2/(-8). Let a(s) = -2*s**2 - s + 5. Let n be a(r). Let b(k) = -k**2 + 6*k + 5. Is 2 a factor of b(n)?
True
Suppose 0 = k - 2*k + 3. Suppose -3*p + 0 = k. Does 15 divide (2/(-4) - p)*(-5 - -247)?
False
Let b be (64/40)/(-4) - 78/5. Let w be (-8)/b - (-38)/4. Suppose -z + 2*f + w + 11 = 0, -z - 5*f - 14 = 0. Is z a multiple of 11?
True
Suppose -5*y + 846 = 166. Suppose -118*w - 10044 = -y*w. Is 34 a factor of w?
False
Suppose -840 = 9*l + l. Let y = 82 + l. Does 3 divide -1*(-75)/6 + 1/y?
True
Let k(l) = l**3 + l**2 - 8*l - 1. Let h be k(-4). Let x = 69 + h. Suppose -2 = -2*c, -x - 25 = -g + c. Is g a multiple of 13?
True
Let x be (-2)/7*(95/(-5) + -9). Let z(v) = 30*v + 91. Is 50 a factor of z(x)?
False
Suppose 4*p + 1457 - 4157 = 0. Suppose h - l = 4*h - p, -3*l = 0. Suppose -3*v = -c + 75, -3*c + 7*v - 2*v + h = 0. Does 9 divide c?
False
Suppose 3*t - 4 + 1 = -4*g, -2*t - 4*g + 6 = 0. Is 7 a factor of ((-148)/(-10) + 2)*(-10)/t?
True
Let k(s) = s**3 + 15*s**2 + 17*s + 5. Let y be k(-12). Suppose -7*d + 3*d + 3*x - y = 0, 0 = -5*d - 3*x - 298. Let f = -33 - d. Is 13 a factor of f?
True
Suppose 0 = -2*z + 81 + 815. Does 5 divide z?
False
Let q(h) = -h**3 + 33*h**2 + 9*h + 14. Is 3 a factor of q(-5)?
False
Suppose -3*d = -2*u + 101, 5*u = 3*d + 6*u + 107. Let f be 0 - (5 + -6)/(5/315). Let a = d + f. Is a a multiple of 11?
False
Suppose -7174 = 4*m - 9*m - 4*d, 3*d - 7173 = -5*m. Suppose -7*b = -b - m. Is 22 a factor of b?
False
Suppose 10*b - 26*b = -17*b. Suppose b = 2*z - 1038 - 124. Is z a multiple of 6?
False
Let j = 49 - 44. Suppose 7*n = -j*n + 36. Suppose 2*p + l + 21 = n*p, -21 = -p + 2*l. Is 7 a factor of p?
True
Let c = 6 + -4. Suppose -1 = -2*x - 2*v + 17, -3 = -c*x + 3*v. Suppose -256 - 668 = -x*y. Does 22 divide y?
True
Suppose -2*s + 2*p + 8 = 0, 0 = s - 0*p + 4*p + 1. Suppose -2*z + 517 = s*b, 61 + 628 = 4*b + 3*z. Suppose 2*n + b = 547. Is n a multiple of 22?
False
Let d = 115351 + -63517. Is 13 a factor of d?
False
Let j = -4085 - -6995. Is j a multiple of 97?
True
Let z(a) = -333*a**3 + 3*a**2 + a - 2. Let u be z(1). Does 15 divide -1 + (u + 5)*2/(-2)?
False
Suppose 0 = 4*i + 296 + 432. Let o be (-1610)/i + 1*(-2)/(-13). Does 14 divide 58 - o*(-3)/(-9)?
False
Suppose 961*c - 976*c = -5415. Does 16 divide c?
False
Suppose u - 5 = 2*s - 4*u, 3*u = -2*s + 3. Suppose 2*t - 28 + 24 = s. Suppose x + 4*b - 56 = -x, t*x = -b + 47. Is 4 a factor of x?
False
Let c(f) = 3*f**2 - 9*f - 51. Is 25 a factor of c(9)?
False
Let p be (3 - (-18)/(-4))*(-2)/3. Does 12 divide (p + 1)*(-5 - (-1749)/22)?
False
Let n = 9528 - 9433. Suppose 2*f - 5*f + 9 = 0. Suppose f*i - n + 23 = 0. Does 4 divide i?
True
Let r = 97964 - 62204. Is 15 a factor of r?
True
Is (12/10)/((-129)/860)*7240/(-2) a multiple of 125?
False
Let v be -4*(-12)/(-8)*79/(-3). Suppose 5*g = -5*l + 260, -2*g + v = -5*l + 411. Suppose -4*o + l = -77. Does 32 divide o?
True
Let p = 35780 - 25241. Is 8 a factor of p?
False
Suppose -5*p + 11994 = 4*z - 8070, -2*z + 20062 = 5*p. Is p a multiple of 59?
True
Let w(a) = 3*a + 4*a - 2*a + a**2 - 3*a - 7. Let f be w(-6). Let n = f - -124. Is 19 a factor of n?
False
Let p = 9475 - 3907. Is 116 a factor of p?
True
Let k(v) = -24*v**3 - 4*v**2 - 4*v - 8. Suppose 17 = -8*z + 1. Is 11 a factor of k(z)?
True
Let k(d) = 2*d**3 + 148*d**2 + 58*d + 37. Is k(-72) a multiple of 28?
False
Suppose -5284 = -s + 2*r, 19*s + 2*r = 22*s - 15856. Does 8 divide s?
False
Let f(s) = 0 + 0 + 829*s - 3 + 289*s. Is 38 a factor of f(1)?
False
Let f = -7694 - -7708. Let j(o) = 4*o + 10 + 11*o**2 + 3*o**2 + 0*o**3 - o**3. Does 9 divide j(f)?
False
Let o(p) = -25*p**3 + p**2 + p - 2. Let m = -3 - -31. Suppose 5*l - m = 4*q, 3*q - 10 = -0*l - 4*l. Is o(q) a multiple of 40?
True
Let w(b) = b**2 - 1. Let a(o) = -5*o**2 + 8*o + 14. Let p(f) = -a(f) - 6*w(f). Let r be p(-7). Is 17 a factor of (-1)/r*(0 + 135 + 0)?
False
Let r be 1 + -5 + 4 + 5*15. Suppose -r = 49*j - 52*j. Is 25 a factor of j?
True
Let k(d) = -2*d**3 - 9*d**2 + 239*d + 4275. Is k(-18) a multiple of 9?
True
Suppose p = 5*p, l - 3920 = -2*p. Is l a multiple of 56?
True
Let g be (34 + -2)/((-4)/(-6)). Suppose -28*p + 126 = -21*p. Suppose 14*x + g = p*x. Is x a multiple of 4?
True
Let s(k) = 107*k**2 + 3*k + 1. Let c be s(2). Suppose -c = -3*j - 5*p, 0 = p - 4 + 1. Is 28 a factor of j?
True
Let m(g) = g**3 - 10*g + 5. Let p be m(3). Is 14 a factor of 263 - 3/p*(0 + -2)?
True
Let i be (-80)/(-48) + (10/(-6) - -1). Let t be (0 + 1 - -16)/(i + 0). Let m = 53 - t. Does 15 divide m?
False
Is 8 a factor of (-100)/35*(-33922)/12*(-3)/(-5)?
False
Suppose -4*r + 43 = -37. Suppose 5112 = -r*z + 29*z. Does 71 divide z?
True
Let i(a) = 774*a**3 + 48*a**2 - 10*a + 17. Does 213 divide i(3)?
False
Let f = 15803 - 14083. Is 40 a factor of f?
True
Is (-54)/((-15)/(-22120)*-4) a multiple of 84?
True
Suppose n - 3481 = 3*a, 15*n = 14*n - 5*a + 3441. Is 32 a factor of n?
False
Let f(h) = 2*h**3 - 23*h**2 + 25*h - 33. Let y(d) = -d**3 + 12*d**2 - 12*d + 16. Let g(x) = 2*f(x) + 5*y(x). Let w be g(14). Does 14 divide (112/(-12))/(4/w*3)?
True
Let g(s) = 334*s**2 - 27*s + 188. Is 12 a factor of g(8)?
True
Suppose 0 = -5*g - 3*v + 22021, -3*g - 4*v + 7341 + 5876 = 0. Is 35 a factor of g?
False
Suppose 0 = 99*i - 29*i - 59430. Is 3 a factor of i?
True
Let s(w) = -2*w + 41. Let u be s(17). Is 71/u*79 + 76/(-266) a multiple of 40?
False
Let g = 113 - 113. Suppose 5*x = 4*s - g*s - 255, -5*s + 294 = 2*x. Suppose -s - 325 = -5*t. Does 11 divide t?
True
Let r(l) = 51*l**3 - 6*l**2 + 10. Let k be r(2). Let n = 786 - k. Is 49 a factor of n?
True
Suppose -2*c + x = -x - 994, 0 = -2*c - x + 1009. Let k = 743 - c. Is 4 a factor of k?
False
Let x(m) = m**2 + 52*m + 9 + 0*m**2 + 8*m**2 + 12*m**2 - 12*m**2. Is x(-10) a multiple of 6?
False
Let t(n) = -113 - 16*n + 44*n - 49 - 12. Is t(8) a multiple of 10?
True
Let d = 208 - 114. Let y(p) = p**3 + 8*p**2 - 28*p - 4. Let t be y(-11). Let z = t + d. Does