ose -56*g = -33*g - 29555. Is g a multiple of 8?
False
Suppose 3 = -0*v + v. Suppose -v*j - y = 0, -3*j + 3*y + 0*y = 12. Does 16 divide j*(-2532)/21 - 20/35?
False
Is 27 a factor of (15 + -1)*(15058/42 + 220/(-60))?
True
Let s(h) = -182*h - 2389. Is s(-48) a multiple of 131?
False
Suppose -6*j = -4*c - 2*j + 9936, 2*c - 4972 = j. Does 10 divide c?
False
Let i(o) = 2*o**3 - 23*o**2 - 12*o + 5. Let j be i(12). Let q(t) = 2*t + 8*t**2 - 7*t**3 - 8 - j*t**3 + 11*t**3. Does 3 divide q(8)?
False
Let v = -607 + 1104. Let c = v + 204. Is c a multiple of 26?
False
Let v(m) = m**3 - 20*m**2 + m - 12. Let p be v(20). Let g be 2/p*-2 - 51/(-6). Suppose g*a - 9*a + 27 = 0. Does 13 divide a?
False
Let g = 11209 - 201. Is g a multiple of 18?
False
Suppose j - 5 = 3*l - 14, -3*j + 21 = 3*l. Suppose 5*o + u = 46 + 123, 2*o - l*u = 50. Is 33 a factor of o?
True
Is ((-119753)/62)/((-6)/168) a multiple of 71?
False
Suppose -59*r = -75*r + 75888. Is r a multiple of 153?
True
Suppose 12*m + 25 = 17*m. Suppose 7*w = m*w + 270. Does 15 divide w?
True
Let f(r) = r**3 - 12*r**2 - 2*r + 10. Let u be f(7). Let y = 346 - u. Suppose -x + 238 = 2*m + 2*x, 0 = -5*m - 2*x + y. Is m a multiple of 20?
False
Let t = -26289 - -47378. Does 49 divide t?
False
Does 36 divide 22560/(-56)*10164/(-198)?
False
Let y be -6 - (-8 - 48/(-8)). Suppose 3*g + 27 + 183 = 0. Does 7 divide (-2)/(-5)*8*g/y?
True
Suppose -32 = 5*w - 92. Suppose -w = -3*a + 4*a - 4*n, 6 = 3*a + 2*n. Suppose -3*k - 2*v + 44 + 17 = a, 9 = 2*k - 5*v. Is k a multiple of 13?
False
Let p(r) = 40*r - 33. Let k = -29 - -37. Let h be p(k). Let t = h + -95. Is t a multiple of 14?
False
Does 17 divide 3876/15*(-4590)/(-108)?
True
Does 94 divide (-130718)/(-4) - 308/(-88)?
False
Suppose -4*q + 3*r = -130236, 567*q + r - 162833 = 562*q. Does 167 divide q?
True
Is 58 a factor of -20*265287/(-462) + (-3)/(21/2)?
True
Suppose -2*y + 3971 = 5*d, -54*y + 57*y = -3*d + 5943. Is 46 a factor of y?
True
Suppose -n = -3*n - 2*y - 56, -5*n - 4*y - 143 = 0. Let d = n + -24. Is 8 a factor of -2*d/10 - 3?
True
Let v(y) = 8*y**3 + 2*y**2 - 511*y + 3604. Is v(7) a multiple of 19?
True
Suppose 0 = 5*q + 10, -4*q - 160 = x + 613. Let c = -305 - x. Does 48 divide c?
False
Let f(y) = y**3 + 6*y**2 - 16*y + 3. Let c be f(-8). Suppose -2*z - k = -354, 4*z + c*k - 712 = 2*k. Is 10 a factor of z?
False
Let o = 1030 - 829. Is 8 a factor of o?
False
Let j(p) be the third derivative of p**5/12 + 5*p**4/8 + 3*p**3/2 - 332*p**2. Is j(-14) a multiple of 21?
False
Let w(s) = 1708*s**2 - 7*s + 6. Let j be w(1). Let t = -959 + j. Is 68 a factor of t?
True
Let y = 13987 + -7961. Does 49 divide y?
False
Let p(v) = -1031*v + 1. Let r be p(-1). Let q = r + -867. Does 3 divide q?
True
Suppose 24*b - 9*h = 27*b - 5307, 4*h - 12 = 0. Is 16 a factor of b?
True
Let r = 3388 + 5628. Is r a multiple of 14?
True
Let k be 2/(39/26*12/(-1575)). Let p = 117 - k. Does 4 divide p?
True
Let n(b) = -2*b**3 + 5*b**2 - 156*b - 68. Is 18 a factor of n(-13)?
False
Let l(a) = 63*a**2 - 435*a + 15. Is 32 a factor of l(7)?
False
Suppose 0 = -4*u + 7*u - 612. Let v = u + -102. Is 17 a factor of v?
True
Is (-2)/(6/(-7215)) - -13 a multiple of 39?
True
Suppose -2*i = -9 - 5. Suppose 0 = -5*r - 5*c - 5, 0 = -4*r + c + 79 - 58. Suppose -136 = -4*o + r*u, -2*u + i = 3. Is o a multiple of 12?
True
Let s be (-8 - (-136)/(-16))/((-3)/24). Does 66 divide -6*s/40*-10?
True
Suppose z + 4 = 0, -9*q - 659 = -6*q - z. Suppose 2608 - 939 = 4*j + 3*s, 4*j = -5*s + 1659. Let u = q + j. Does 14 divide u?
False
Is 35 a factor of 0/(-2) - -31459 - -6?
True
Let t(j) = 418*j + 226. Let v be t(8). Suppose 13*n + v = 16*n. Does 13 divide n?
False
Suppose 3*n - 5*k + 6 = -8, -n + k = 2. Suppose 10 = -n*s, -d - s = -0*s + 5. Suppose 5*u + d*u = j - 10, -5*j + 158 = 2*u. Is 5 a factor of j?
True
Let o(f) = 79*f**2 - 40*f + 48. Is o(5) a multiple of 3?
False
Let l = 12 - 12. Suppose -2*v = k - 18, l*k - 4*k + 27 = -v. Is k a multiple of 8?
True
Let z = 34 + -31. Suppose z*u - 1094 = f, 5*u - 2446 = -2*f - 641. Is u a multiple of 12?
False
Let m(u) = 52 - 4*u**2 + u**2 + 5*u**2 - 12*u - u**2. Is 25 a factor of m(28)?
True
Suppose -3*o + 8*o - 3*p - 36 = 0, 5*o - 22 = -4*p. Is 7 a factor of o/((-66)/(-77)*14/328)?
False
Suppose 3*v - 2*v - 4979 = 6056. Does 55 divide v?
False
Suppose -w + 25 = 4*g, 0 = w - 4*g + g - 4. Suppose 208*v - 200*v - 88 = 0. Suppose d - w = v. Does 4 divide d?
True
Let q(h) = -22*h + 55*h - 27*h + 80. Is 4 a factor of q(-7)?
False
Does 13 divide 1 + -6 + (0 - (-258 + -3) - -4)?
True
Suppose -q + 4 = 1. Let w be 0/(-1) - (q - 9)/3. Suppose 194 - 600 = -w*d. Is d a multiple of 22?
False
Let s(r) = 115*r**2 - 12*r - 15. Does 8 divide s(-5)?
True
Suppose 3*x - 293*c + 288*c = 16769, -x + 5591 = -3*c. Does 44 divide x?
True
Does 4 divide (-24)/120*-14090*((-6)/(-4) - -1)?
False
Suppose 2*x + b = 9608, -6*b = -x - 7*b + 4805. Is 2 a factor of x?
False
Let v = 182 + -163. Suppose v*f - 12*f = 854. Is 4 a factor of f?
False
Let g = -2379 - -2654. Is g a multiple of 55?
True
Let t(c) = c**3 - 11*c**2 - 17*c + 19. Let v be t(13). Suppose -v*q = -135*q - 87. Is 8 a factor of q?
False
Let i(t) = t**2 + 3*t - 22. Let p be i(-9). Suppose 4*j + 222 = 5*g, -g + p = -5*j - 4. Does 2 divide g?
True
Let c = 1089 + -61. Is c a multiple of 19?
False
Let p = 1205 + -460. Suppose 5*g = 11*x - 6*x + p, -4*g = 2*x - 566. Is 41 a factor of g?
False
Is 18/22 - 1 - 425579/(-121) a multiple of 13?
False
Let a(p) = -31*p - 6*p - 3 + 4*p - 36*p. Let t = 2 - 3. Is 9 a factor of a(t)?
False
Suppose a - 4*v = -4*a - 48, 0 = 3*a + v + 39. Let d be (-402)/a*30/3. Suppose -5*b = -d - 170. Is b a multiple of 28?
False
Suppose -208*t - 223*t + 486*t = 493075. Does 362 divide t?
False
Suppose 5*j = 4 + 6. Let t(f) = -4*f - 48. Let u be t(-12). Suppose u*k - 4*h = j*k - 344, 176 = k + h. Does 18 divide k?
True
Is 23/((-3360)/(-10048) - (-1 + 8/6)) a multiple of 23?
True
Let a = -294 + 298. Suppose -a*b + 3*o = -12, 3*b + 4 - 6 = 4*o. Does 5 divide b?
False
Suppose -13*b - 2764 = -17*b. Suppose -863 = -7*q + b. Is q a multiple of 22?
False
Let z = 97 + -81. Suppose -6*i - 2*i = -z. Suppose 17 + 383 = i*j. Is j a multiple of 18?
False
Suppose -4*u = 4*u + 24. Let g(n) = -4*n - 6. Let r be g(u). Does 5 divide 6*((-2 - (-27)/r) + 1)?
False
Let h be ((-12)/(-10))/(42/(-140)). Is (-22)/h*2*(12 - -3) a multiple of 15?
True
Suppose -3*j + 3*t + 39 + 36 = 0, -j = 3*t - 33. Suppose -4720 = 22*k - j*k. Does 46 divide k?
False
Let j be 1/((11/4)/11). Suppose t = -5*i + 2659, 2*t + 627 = j*i - 1489. Does 59 divide i?
True
Is 2 a factor of ((-6)/(-20))/((-15)/20) - 282778/(-170)?
False
Let l(j) = -21*j**2 + 7*j - 71. Let f(o) = 7*o**2 - 2*o + 23. Let p(v) = -8*f(v) - 3*l(v). Is p(6) a multiple of 24?
False
Suppose 64*d - 58*d = -36. Does 55 divide -2 + (1 - -451) + d?
False
Suppose 2*a + 18 = 2*i, -5*a + 0 = -i - 7. Let x be (1 + -2)/(i/(-2145)). Let f = 235 - x. Does 10 divide f?
True
Let h(j) = j**2 - 4*j + 9. Let d(y) = y**2 + 12*y + 23. Let o be d(-7). Does 36 divide h(o)?
False
Suppose -16*w + 51960 = 5*r - 21*w, 0 = -9*w - 45. Is r a multiple of 19?
False
Suppose 0 = 5*k - 117 - 213. Let y = -6 + k. Is 60 a factor of y?
True
Suppose 3*s - 237 = 234. Suppose 18*p - 1103 = s. Is 11 a factor of p?
False
Suppose 3*a - 424 = 4*p, 2*a + 5*p = 410 - 135. Is 2 a factor of a?
True
Let a(d) = -14*d**2 - 6*d + 1. Let b(y) = -7*y**2 - 3*y. Let i(n) = -6*a(n) + 13*b(n). Let h be i(-3). Let f = 88 + h. Is f a multiple of 3?
False
Does 24 divide -12*(-18378)/(99/11)?
True
Let k = 73 + -40. Suppose i - 45 = -k. Does 10 divide ((3*5)/3)/(3/i)?
True
Suppose -15*x + 30 = -5*x. Suppose x*b - 2033 = -2*b - 2*z, 4*b = -4*z + 1636. Is b a multiple of 8?
False
Let w(z) = 2*z**2 - 19*z + 36. Let j be w(7). Is ((-4)/(-1) + j)*(-232)/(-5) a multiple of 39?
False
Suppose 30*k = 36*k - 54. Suppose -39 = k*c - 273. Is c a multiple of 2?
True
Let n = 401 + -275. Suppose 0 = l + 3, 2*a - 3*l - 11 = 4. Suppose 0 = -a*j + 10*j - n. Does 4 divide j?
False
Let d = 1938 - -2794. Is 28 a factor of d?
True
Suppose 3*f = -3*g + 1548, 3*g - 7*f = -2*f + 1572. Suppose 0 = -u + 2*h + 291, -3*u = -2*h - 1384 + g. Is u a multiple of 4?
False
Let u(m) = -4*m - 5. Let s be u(-9)