- 262*r + 6. Let p be o(-6). Suppose -p*k = -176*k + 2422. Is k a multiple of 7?
True
Suppose 15837*a + 315932 = 15856*a. Is 6 a factor of a?
False
Let p(w) = -8*w**2 + 11 + 3 + 11*w**2 - 4*w - 4*w**2. Let b be p(-6). Suppose 272 = 10*q - b*q. Is 13 a factor of q?
False
Suppose 25*t = -9589 + 65689. Is 204 a factor of t?
True
Let j = -283 - -4692. Is 49 a factor of j?
False
Let j be (-2)/(-1) - (1 - 1). Let c(t) be the third derivative of t**5 - 7*t**4/24 - t**3/3 - 1014*t**2. Does 16 divide c(j)?
True
Suppose -18*d + 171251 = 31139. Is 14 a factor of d?
True
Let p be (-781856)/(-1325) + (-2)/25. Suppose d = -d + p. Is 59 a factor of d?
True
Suppose 43251 = 26*z + 4251. Let k = 2525 - z. Does 25 divide k?
True
Let f = -1334 + 839. Let q = f - -523. Is 3 a factor of q?
False
Let z(q) = 27*q**2 - 39*q - 142. Does 43 divide z(-20)?
True
Let v(b) = -690*b + 60. Is 54 a factor of v(-5)?
True
Suppose -g - 30*l + 7712 = -28*l, -10 = -2*l. Does 8 divide g?
False
Suppose -3*h - 6 = 0, 0 = i - h + 2*h - 1673. Suppose 1505 + i = 12*g. Is 29 a factor of g?
False
Suppose 4*s = -5*a + 70170, 5*a - 4*s - 35497 = 34633. Is 23 a factor of a?
True
Let m = -42 + 44. Suppose -2*a = -t + 2*a + 57, 4*t = -m*a + 156. Is 3 a factor of t?
False
Let q be (2 - 459/12) + 6/24. Let p = q - -40. Does 2 divide p - 2 - 1*-5?
False
Let x(l) = -7*l**3 - 6*l**2 + 4*l + 29. Is 13 a factor of x(-3)?
False
Suppose -11*z - 44 = -11. Let u be z/6*(-567 + -5). Suppose 20 = -i + u. Is i a multiple of 14?
True
Let q = 2568 + 15786. Is q a multiple of 6?
True
Suppose -3*p - l + 178 - 25 = 0, -3*p + 3*l + 153 = 0. Let c = 48 - p. Does 2 divide (-11 - -14)/(c/(-19))?
False
Let f(t) = -t**3 + 81*t**2 + 1449*t - 310. Is 23 a factor of f(93)?
True
Let d = -307 + 462. Suppose 153*r = d*r - 1548. Does 78 divide r?
False
Let y(c) = -c**2 + 22*c - 24. Suppose 11*i - 4 = 10*i, 5*l - 76 = -4*i. Does 8 divide y(l)?
True
Let p(o) = -3*o**3 + 10*o + 8. Let k be p(-2). Suppose 1553 + 1255 = k*w. Does 6 divide w?
True
Is 74 a factor of -3 - -11032 - (45 - 31)?
False
Let q(j) = 4*j. Let k be q(1). Suppose 8 = 2*b + 3*x, -4*x = k*b - 0*x - 16. Suppose -b*a + 8 = -4. Does 3 divide a?
True
Let l be 36/(-54)*(-5931)/(-6). Let o = -626 - l. Is 25 a factor of o?
False
Suppose -7 = -3*f - 2*p, -2*p + 2 = f + f. Is 56 - f/1 - (1 - 1) a multiple of 8?
False
Suppose -6*a + 5*a = -2*o + 8, 0 = -4*o - a + 28. Is 26 a factor of 926 - (o/(-5))/((-44)/(-110))?
False
Let l be 2/(-1)*14*(-2)/8. Is (-1 + 3/9*l)*72 a multiple of 6?
True
Let x = 2595 + -2243. Is x a multiple of 8?
True
Suppose -16*y = -12*y + 2*z - 878, 2*y = -2*z + 440. Suppose 3*n = -5*x + y, -6*x + 3*n + 51 = -5*x. Does 15 divide x?
True
Let p(g) = 32*g + 468. Is p(4) a multiple of 11?
False
Let a = 143 + -108. Suppose -273*j - a = -278*j. Is 3 a factor of j?
False
Suppose 0*y - 4*y + 38 = 5*s, 2*y + 20 = 4*s. Let a(x) = -252*x - 254*x + 6 + 526*x. Is 14 a factor of a(s)?
True
Is 290/3335 - (-83281)/23 a multiple of 71?
True
Suppose -5*h + 6733 = 5*z + 2678, -z - 5*h = -807. Suppose 4*b - z = -4*x, -56 = 4*x + 3*b - 863. Is 11 a factor of x?
True
Is 3 a factor of -10 - (-810 + 40/(-4))?
True
Suppose -854*f + 858*f - 28760 = -4*g, f = 3*g + 7206. Is f a multiple of 22?
True
Let q(k) = 58*k**3 + 6*k - 8. Let v be q(4). Suppose -4*f + v = 22*x - 26*x, -x = 2. Is 9 a factor of f?
False
Let b(t) = 26*t - 5. Let u be b(1). Suppose -5642 = 7*q - u*q. Is q a multiple of 31?
True
Suppose j + 3 = 0, 0 = -3*w + 2*j - 1533 + 5253. Suppose w = 5*l + 323. Suppose 0 = 4*r + l - 775. Is 12 a factor of r?
False
Let o = 602 - 593. Suppose 0 = -o*r - 13*r + 814. Is r a multiple of 5?
False
Let m = 14036 + 15630. Does 84 divide m?
False
Let p(u) = -u**3 + 12*u**2 + 79*u + 18. Let s be p(17). Does 10 divide (-47901)/s - (-3)/(-12)?
True
Suppose 22*p = p. Suppose p*l - 6*l + 2580 = 0. Does 10 divide l?
True
Suppose -4*t + u + 0*u + 23983 = 0, -3*t + 3*u = -17994. Does 11 divide t?
True
Suppose -13*p = 4*p + 374. Let v = p + 33. Suppose -5*z - 618 = -v*z. Is z a multiple of 40?
False
Suppose -7*g = -6239 - 908. Let n = g - 328. Does 63 divide n?
True
Let a(z) = 16*z - 10. Let i be a(6). Suppose -4*d + i = -5*r, 6*r = r + d - 89. Is 5 a factor of (6 + 78/r)/(2/60)?
True
Suppose -i - 8 = -2*j, 0 = -4*j - 5*i + 3*i. Suppose -6 = -3*f - 3*a, 3*a + 2 = -j*f - 2*a. Does 18 divide 0 + (f/(-4) - -58)?
False
Suppose -4*z - 5*b + 74870 = 0, 4*z + 14*b - 74864 = 12*b. Is z a multiple of 127?
False
Let z = -877 - -1687. Is z a multiple of 81?
True
Let y be (-86)/((17/153)/((-1)/(-6))). Let b = 212 + y. Is -2*3*b/(-2) a multiple of 27?
False
Let t = 5 + 1. Suppose -2*l = -3*g + 4 - 2, t = -l + 4*g. Let a(c) = 26*c + 18. Is a(l) a multiple of 14?
True
Let b be 147/(-14)*3/(6/(-8)). Let d = b + -22. Let a(r) = -r**2 + 22*r + 24. Is 24 a factor of a(d)?
False
Let y = 50 - 48. Suppose -5*j = 0, -4*j = -4*s + y*s + 4. Does 34 divide 1/s*(65 - -3)?
True
Let l(r) = r**3 - 21*r**2 + r + 21. Let s be (1305/126 + (-2)/(-14))*2. Is 21 a factor of l(s)?
True
Suppose 3*c + 3161 = -4*u, 2*c + 1580 = -4*u + 2*u. Let r = -451 - u. Is 20 a factor of r?
True
Suppose -d + 8 = 4*i, -3*d = 2*i - 6 + 2. Is (1 + i)*(9548/21 + 6) a multiple of 10?
False
Let j(q) = -q**2 - 13*q - 36. Let c be j(-7). Suppose -c*u + 99 + 1383 = 0. Is u a multiple of 13?
True
Suppose -3*s = 4*m - 12050, -5*m + 6*m - 3010 = -2*s. Is 56 a factor of m?
False
Suppose 5*z - 284 + 94 = 0. Suppose -29*m - 5886 = -z*m. Does 16 divide m?
False
Let x = -169 + 341. Let i = -162 + x. Does 3 divide i?
False
Suppose 5*b = -2*x + 3365, -4*x + 7060 = -2*b + 318. Suppose 17*p = 12*p - x. Is (-16)/(-24) + p/(-3) a multiple of 14?
False
Suppose 33*u = -110*u + 1635062. Is u a multiple of 9?
False
Is (-17004)/(-26) - 7/((-14)/12) a multiple of 20?
True
Suppose -2*m - 5*h = -5643, 59 - 62 = -h. Does 32 divide m?
False
Suppose 2*x = 3*x + 2, 25 = 5*o - 5*x. Suppose -4*u = -3*c + o, -3*c + 14 = -2*c + 3*u. Suppose -c*l - 354 = -8*l. Does 11 divide l?
False
Is 30 a factor of (28/(-16) + 1)/(12/(-13488))?
False
Let o(y) be the first derivative of 11*y**2 - 3*y - 2. Let u = -1690 + 1692. Is o(u) a multiple of 18?
False
Suppose -4*f = 3*k - 18956 - 44803, -3*k = 3*f - 47823. Is 8 a factor of f?
True
Let t(b) = -2*b - 20. Let j be t(-9). Let r be -1 + 61/(-1) + j + 1. Does 6 divide ((-240)/70)/(3/r)?
True
Let q be (16/20)/(18/45). Suppose 4*h - 1773 = -s, 2*h + 3*h + q*s - 2217 = 0. Is h a multiple of 27?
False
Let t = 1249 - -639. Suppose -165*g = -161*g - t. Is 8 a factor of g?
True
Let l = -1979 - -2069. Let o = 101 - 59. Let v = l - o. Is v a multiple of 12?
True
Suppose 2*d = -4*h - 4032, -2*d - 2731 + 715 = 2*h. Let s = h - -1456. Is s a multiple of 7?
True
Suppose -3*l = 4*z + 27067 - 156983, -3*l + z + 129881 = 0. Is l a multiple of 246?
True
Let v(d) = 2*d**2 - 73*d + 40. Let b be v(36). Suppose m - 4 = 0, -b*m - 155 = -t + 151. Does 23 divide t?
True
Let z = 6363 - 771. Does 24 divide z?
True
Let s be (-26)/(-8) + (-26)/8 + 3. Let b be 25 - (-1)/(-3)*s. Let f = -14 + b. Is f even?
True
Let h(l) = -5*l**3 + 2*l**2 + 2*l + 1. Let c be h(-1). Suppose 0 = -2*j + 2*p + c + 4, 4*j + 5*p - 38 = 0. Let o = j + 70. Is 39 a factor of o?
False
Let g = 6793 - -721. Is 7 a factor of g?
False
Let k = 317 - 315. Suppose -156 = -2*v + 5*z, k*z - 4 = z. Does 4 divide v?
True
Suppose 0 = -2*k - 2, 0 = 2*b - 5*k - 4589. Is b a multiple of 54?
False
Suppose 3*k + 5*n - 44 = k, -24 = -2*k + 5*n. Let s = 26 - k. Suppose 2*v + 4*z = 92, -4*z - 25 = -v + s. Does 10 divide v?
False
Let x be 13 + -17 - -15*1. Is x - 3 - (-9 + 6) a multiple of 10?
False
Suppose b + 11 = 14. Suppose -b*q - 5*q = -64. Let i(s) = -s**2 + 11*s - 6. Is i(q) a multiple of 11?
False
Suppose t + 5*n + 409 = 2*t, -5*t + 2059 = -18*n. Does 5 divide t?
False
Suppose 0 = 9*t + 3 - 48. Suppose -2*o + 30 = c - t*c, o + 2*c = -1. Suppose -9*h + o*h = -38. Is h a multiple of 2?
False
Let a = 5 - 2. Suppose 0*d - 6 = -a*d, 0 = -2*i + 4*d. Suppose i*v - 90 = -b, 144 - 549 = -4*b - v. Is 16 a factor of b?
False
Does 13 divide (-24)/32 - (-23924256)/384?
False
Suppose 100 = 5*i - 125. Suppose 10*j = 2705 - i. Is 16 a factor of j?
False
Let q be ((-78)/(-8))/(4/16). Suppose q*r - 18*r = 6111. Is 20 a factor o