7 = -207*a, 3*a - 79098 = h. Is 5 a factor of a?
False
Let p be (-66)/231 - 25918/(-14). Suppose 0 = 9*y - p - 732. Does 4 divide y?
False
Let w = -18 - -21. Suppose w*d = 3*m - m + 19, 0 = -5*d - 3*m + 19. Is 7 a factor of (-150)/(-60)*124/d?
False
Suppose 5*d - 28 = -2*i - i, 0 = d - 4*i - 1. Suppose 0 = d*s + o + 5, 2*s = s - 2*o - 10. Suppose -3*y + 24 = -s*l + 5*l, l = 3*y - 6. Is l even?
False
Let g be (-5 + 4 - 23) + 6. Let b(f) = -f**2 - 20*f + 15. Let d(j) = j**2 + 20*j - 14. Let a(i) = -2*b(i) - 3*d(i). Is a(g) a multiple of 16?
True
Let f(w) = 1048*w**2 + 152*w - 461. Is 258 a factor of f(3)?
False
Let r(o) be the third derivative of o**4/4 - 19*o**3/6 - 31*o**2. Let n be r(7). Let d = -5 + n. Is 3 a factor of d?
True
Let z = -1990 - -2848. Is 33 a factor of z?
True
Let v(f) = 1660*f + 10670. Is v(5) a multiple of 70?
True
Let m = -89 - -165. Let g be (3/6)/((-4 + 5)/m). Let s = g - 3. Is 35 a factor of s?
True
Let p(f) = 31*f - 6. Let d be p(-5). Let i be (-1)/2 + d/46. Is 41 a factor of 0 + 87 - i*(-21)/(-28)?
False
Suppose -s - 262 + 267 = 0. Suppose 4*o + 2*v = 2857 - 167, 0 = s*o - 2*v - 3358. Is 28 a factor of o?
True
Let u(h) = 4*h - 19. Let p be u(6). Suppose -f = -p*f + 432. Suppose 3*y + 0*y - f = 0. Does 7 divide y?
False
Let r = -147 + 146. Is 25 a factor of (-35 + 4)*(-7 - r)?
False
Suppose 23*i = 24*i + 2*n - 117, 0 = -4*n. Let l = 1037 - i. Is l a multiple of 23?
True
Let m = 15157 - 7184. Is m a multiple of 67?
True
Suppose -357*s + 361*s + 220 = 0. Let w = -6 - s. Is w a multiple of 11?
False
Suppose -2*r + 3 = 5*w + 7, -5*w = 10. Does 20 divide 137 - -5 - (r + -1)?
True
Suppose -2*b + 24064 = 4*l, -4*l - 36096 = -3*b - 2*l. Does 43 divide b?
False
Let r(o) = o**2 - 8*o + 5. Let x be r(11). Suppose y + 1 = 0, 2*g + 2 = 3*y - 27. Let h = x + g. Is h a multiple of 6?
False
Suppose 0 = 822*s - 816*s - 48000. Is 8 a factor of s?
True
Suppose 5*d = -3*q + 6*q - 14821, 3*q = 8*d + 14818. Is q a multiple of 53?
False
Let b(f) = 7*f**3 + 18*f**2 - 26*f + 32. Let z(a) = 5*a**3 + 17*a**2 - 27*a + 33. Let w(j) = -2*b(j) + 3*z(j). Is 9 a factor of w(-16)?
True
Let m = 2402 - 2112. Does 5 divide m?
True
Suppose 0 = -190*d + 214*d - 2136. Is 11 a factor of d?
False
Suppose 128*y + 99981 = 135*y. Does 6 divide y?
False
Does 97 divide ((-238252)/(-335))/((-4)/(-30))?
False
Suppose -18585 = -18*t - 17*t. Suppose -183*b - t = -186*b. Is 59 a factor of b?
True
Let f = -75 - -108. Let r = f + 15. Suppose -11*a + r = -8*a. Is 16 a factor of a?
True
Is 19 a factor of (-12)/(-3)*(65 - 66) + 0 + 973?
True
Let d(l) = l**2 + l + 135. Suppose i - 4*z - 21 = -4*i, -2*i - 4*z + 14 = 0. Suppose -i*n - 2*n = -8*n. Does 11 divide d(n)?
False
Suppose -16*v + 14*v - 22410 = -2*j, 3*j = v + 33621. Does 26 divide j?
False
Suppose -45*b + 12*b = -20955. Is b a multiple of 5?
True
Let n(y) = 454*y + 1523. Does 11 divide n(41)?
False
Let m(j) be the first derivative of j**3/3 - 15*j**2 + 72*j - 52. Is m(30) a multiple of 72?
True
Let h(t) = 9*t - 108. Let l be h(14). Suppose 477 - l = 9*i. Is 7 a factor of i?
False
Suppose 8962 = -u + 7*u - 956. Is u a multiple of 52?
False
Let l = 21599 + -16165. Is l a multiple of 6?
False
Suppose 3*g - 887 = 4*n, -5*g - 2*n = 3*n - 1490. Let x = -438 + g. Let j = x + 240. Is j a multiple of 16?
False
Is ((-136)/(-8) - 1)*(-5)/(-2) a multiple of 8?
True
Let n = 7681 + -5902. Does 19 divide n?
False
Is 4 a factor of ((-22608)/(-96) - -20) + 2/4?
True
Suppose -2 - 18 = 2*z. Is 21 a factor of 4962/18 - z/(-15)?
False
Is 15 a factor of ((-179870)/(-28) - (-32)/448) + -4?
True
Suppose -25*x + 916608 = -26*x + 57*x. Is 44 a factor of x?
True
Let z = -573 - -4300. Is z a multiple of 34?
False
Suppose 427 = 15*n - 8*n. Let q = n + 29. Does 30 divide q?
True
Suppose -24*o + 50456 + 151232 = 32488. Is o a multiple of 75?
True
Let r = 3305 + 6676. Suppose 93*k + r = 102*k. Is k a multiple of 32?
False
Let h(i) = 162*i**3 - 3*i**2 + 8*i - 7. Let c be h(1). Suppose -m + 432 = f, -m + c = -f + 584. Is 5 a factor of f?
False
Suppose -5*t + 790 = 95. Does 32 divide t?
False
Suppose 0 = 6*t + 4 - 4. Let w be t + 6/(1 - -1) - 138. Let c = -67 - w. Is 15 a factor of c?
False
Suppose 2*f = -z + 1350, 3*f + z - 4*z = 1998. Does 32 divide f?
True
Suppose i - 177624 = -12*i - 5*i. Is 54 a factor of i?
False
Let s be (-7)/((3*10/(-645))/(-2)). Let q = s + 401. Is 20 a factor of q?
True
Let k(w) = 14*w - 15. Suppose -3*b = s - 2*s - 4, 5*s = 25. Suppose -5*i + 16 = b*i. Is k(i) a multiple of 5?
False
Does 15 divide (22/55)/((5/(-195))/((-2780)/6))?
False
Let g = -1 + -14. Let k = 5320 + -5340. Does 7 divide k/g*-2*-12?
False
Suppose 3*c - 4*u = -c - 4, 23 = 4*c + 5*u. Is (-5 + c)*-48 + 9/(-9) a multiple of 35?
False
Suppose -36 - 10 = -k. Let c = -34 + k. Let l = c - -3. Is 15 a factor of l?
True
Let q(m) = -2*m**3 + 19*m**2 + 3*m + 46. Does 73 divide q(-18)?
True
Let v(s) = 138*s + 372. Does 60 divide v(16)?
True
Suppose -240*i - 333583 = -147*i - 3269593. Is 163 a factor of i?
False
Let d be 2/(-5) + 286/(-10). Let l(q) = 774*q + 167. Let g(r) = -62*r - 14. Let w(j) = 25*g(j) + 2*l(j). Is 17 a factor of w(d)?
False
Suppose -4*q + 18051 = -5*y - 68012, -3*q + 2*y = -64556. Is q a multiple of 102?
True
Suppose 1203253 = 174*m - 107*m. Is 51 a factor of m?
False
Let m = -92 + 118. Suppose k + 5*s - 16 = -5, -5*k + 4*s + m = 0. Suppose -3*q = k, -3*r = 3*q - 55 - 314. Does 22 divide r?
False
Let s = 3454 - 1290. Is s a multiple of 127?
False
Let w(c) = 220*c**3 + c**2 + 2*c + 1. Let z be w(-1). Let s = -51 - z. Is 16 a factor of s?
False
Suppose 9*n = 14*n. Suppose n*g + 2*g - 10 = 0. Suppose z + 2*r = g*r + 70, -3*r - 374 = -5*z. Is 34 a factor of z?
False
Suppose 2*m = l + 2043, 8*m + 3068 = 11*m - 5*l. Suppose 274 - m = -9*o. Is 2 a factor of o?
False
Let o(f) = -189*f - 266. Let x(j) be the second derivative of 5*j**3/6 + 7*j**2/2 - 14*j. Let y(v) = 2*o(v) + 77*x(v). Is 3 a factor of y(5)?
True
Let d be (-25 - 2312)*(-1)/3. Let k = 67 + d. Is 31 a factor of k?
False
Suppose -5*a = 30*u - 25*u - 92145, 2*a + 3*u - 36863 = 0. Is 94 a factor of a?
True
Suppose -3*l + 59 = -5*y, -6*y = 5*l - 10*y - 81. Suppose -l*d + 28 = -12*d. Is d even?
True
Let d(z) = 10*z**2 - 4*z - 7. Let p = 96 - 98. Is d(p) a multiple of 20?
False
Suppose 0 = 14*v + 35*v + 28*v - 329175. Is 5 a factor of v?
True
Let k(w) = -24*w**3 - 12*w + 5. Let y(b) = 71*b**3 - b**2 + 35*b - 16. Let f(l) = 11*k(l) + 4*y(l). Is 19 a factor of f(2)?
False
Let w = 51161 - 28946. Is 29 a factor of w?
False
Let f = -55 + 57. Suppose 5*s - 4*q = 236, f*s + 2*s - 193 = -q. Let a = -33 + s. Is 3 a factor of a?
True
Let y = -16 + 10. Let h be (y + 1)*5*(-28 + 26). Does 6 divide h - (0/3 - -2)?
True
Let u(s) = 7*s**3 - 5*s**2 - 4*s - 9. Let f(q) = -8*q**3 + 4*q**2 + 5*q + 9. Let h(v) = 6*f(v) + 7*u(v). Suppose 0 = -19*k + 68 + 141. Is h(k) a multiple of 13?
True
Let g(c) = 87*c**3 + 23*c**2 + 6*c + 4. Is g(4) a multiple of 42?
True
Does 13 divide (2*-1)/6 + -3 + (-165512)/(-51)?
False
Suppose 0*b = -f + b - 2, -3*f + 4*b - 11 = 0. Suppose -h + 2*k + 3*k = -56, 3*h = -f*k + 168. Let n = -39 + h. Does 17 divide n?
True
Suppose 10*m = 6*m + 4480. Is 70 a factor of m?
True
Suppose 0 = -r - 4*c, 3*r - 3*c - 12 - 18 = 0. Suppose -8 = -2*k - r. Suppose -4*m + 4*l + 108 = k, 2*m + 3*l - l - 46 = 0. Does 25 divide m?
True
Let j(i) be the third derivative of -137*i**6/60 - i**5/30 - i**4/6 - i**3/2 + i**2 - 10*i. Let p be j(-1). Suppose 4*k = -137 + p. Does 5 divide k?
False
Suppose -4*g = o - 17, 6*o + 20 = g + o. Suppose -4*c = -5*a + 4103, g*a + 5*c = 1960 + 2170. Is a a multiple of 70?
False
Suppose -m = 14*m + 7*m - 165154. Is m a multiple of 13?
False
Let v be (-21)/28*(-16)/(-2). Let a(t) = -10*t + 5. Let m(o) = -3*o + 3. Let s(u) = -2*a(u) + 7*m(u). Does 12 divide s(v)?
False
Let v(n) = n**3 + 54*n**2 + 58*n + 548. Does 80 divide v(-42)?
True
Let q = 3135 - 2209. Let d = q - 530. Does 6 divide d?
True
Suppose 3*b - 50670 = -3*c, -3*c + 66484 = -5*b + 15766. Is c a multiple of 22?
True
Let l = -15 + -5. Let z be ((-110)/l)/(2/(-4)). Let c(i) = i**2 + 10*i + 3. Is 2 a factor of c(z)?
True
Let z(u) = -18*u + 64. Suppose -13*h - 2 = -14*h. Let i be h/30*-122 + (-64)/(-480). Is z(i) a multiple of