 -x + 10, -3 + 33 = 3*x - 5*w. Suppose -1863 = 7*p - x*p. Suppose -4*z + 2*z + 5*s = -p, s = -2*z + 615. Does 16 divide z?
False
Suppose -3*v + 15 = 5*j, 5*v - 7*v = -j - 10. Suppose 11*b + 67 - 1 = j. Is ((-3)/3 - -89) + b/(-3) a multiple of 6?
True
Suppose -h - 64 = -b - 4*h, -3*h = -4*b + 286. Does 66 divide (-702)/(-10)*b/21?
False
Let z(u) = 200*u**2 - 118*u + 26. Is 12 a factor of z(-5)?
True
Let h = -4811 - -11154. Does 74 divide h?
False
Suppose -4*w + 3*d + 32 = -16, 0 = -5*w + 2*d + 60. Suppose w*a - 5*a - 231 = 0. Is a a multiple of 3?
True
Suppose -38*f - 20512 = -523922 - 259250. Is 90 a factor of f?
True
Let c = -13912 + 23502. Is 137 a factor of c?
True
Suppose 2*f + 17 = 5*r, 5*r - 54 = -29. Suppose -2*o = -2*p - 378 + 1052, 0 = f*p - 5*o - 1350. Is p a multiple of 17?
False
Suppose -t - 4 = -3*t. Suppose -x - 19 = -5*s - t*x, 4*x - 19 = -s. Does 15 divide 303/(-6)*-2 - (s + -2)?
False
Let w(s) be the third derivative of 181*s**4/24 - 53*s**3/6 + 9*s**2 - s. Is 64 a factor of w(1)?
True
Let x = -348 + 5342. Is x a multiple of 22?
True
Let c(j) be the third derivative of -7*j**4/6 - 74*j**3/3 + 45*j**2 + 2*j. Is c(-13) a multiple of 6?
True
Is (9/(-18))/(((-15)/(-201675))/((-2)/5)) a multiple of 57?
False
Let p = 7923 + -7518. Is 36 a factor of p?
False
Suppose -3*w - 2403 = 3*l, 0 = 9*l - 7*l + 6. Let x = w - -1326. Is 16 a factor of x?
True
Let n = 129 + -87. Let l = n - 60. Let i = l - -50. Is 32 a factor of i?
True
Let a = -2982 + 5032. Let x = a - 1423. Is 16 a factor of x?
False
Let o be 0 - (-1)/2*10. Let r(f) = f**3 + f**2 + 11*f + 19. Is r(o) a multiple of 16?
True
Let d(b) = 3*b**3 + 212*b - 617. Is d(3) a multiple of 50?
True
Suppose 2*c - 48 + 8 = 0. Suppose 0*k - c = 5*k - 5*p, 5*k = 4*p - 15. Is 3 a factor of ((-2)/3)/(k/(-9))?
True
Let r(i) = -2*i**3 + 2*i**2 - i + 3. Let s be r(2). Let c(v) = -v**2 - 5*v + 4. Let q be c(s). Let b(n) = n**2 + 4*n - 18. Is b(q) a multiple of 6?
True
Let f = 1345 + 625. Is 15 a factor of f?
False
Let b(l) = 2*l**3 + 30*l**2 + 9*l. Let y be ((-210)/45)/(1/3). Is 14 a factor of b(y)?
True
Suppose -25*c + 26*c = 4*h - 20852, -3*h + 15639 = 5*c. Is h a multiple of 9?
False
Suppose 39726 + 26067 = 21*f. Is f a multiple of 10?
False
Let f(g) = 2*g**3 + 3*g**2 + 7*g - 18. Let h be f(6). Let d = h - 231. Let b = 593 - d. Is b a multiple of 13?
True
Let o(u) = -2*u + 84 + 27 + 21. Let d be o(0). Suppose -4*k = -2*k - d. Does 11 divide k?
True
Let j(i) = -9*i + 22. Let x be j(3). Does 17 divide x*(-40)/15*(-177)/(-10)?
False
Suppose -6*k = -29 - 31. Suppose 8*n + 50 = k*n. Suppose n = 5*d, 24 - 115 = -4*o + d. Does 4 divide o?
True
Let t = 9365 + -7988. Is 35 a factor of t?
False
Let i(a) = -a**3 - a**2 + 6*a. Let l be i(-4). Is (157/3)/(4/l) a multiple of 59?
False
Let f(y) be the second derivative of -19*y**5/10 - 3*y**3/2 - y**2 + 161*y. Does 40 divide f(-2)?
True
Let a(l) = l**2 - 3*l - 1. Let w(q) = 2*q**2 - 3*q + 52. Let k(s) = 10*a(s) - 2*w(s). Is k(-8) a multiple of 66?
True
Let s(m) be the first derivative of -m**5/20 + 2*m**4/3 - 7*m**3/6 - 3*m**2/2 + 15*m - 5. Let h(x) be the first derivative of s(x). Is h(6) a multiple of 12?
False
Let f be (-570)/21 + 18/(-21). Does 50 divide 1 + 3284/28 + 8/f?
False
Suppose -136*n + 135*n + 5*i + 7490 = 0, -4*i = 4*n - 29936. Is n a multiple of 15?
True
Let p = 67 - 61. Let m(r) = 15*r**2 - 10*r - 11. Does 10 divide m(p)?
False
Let v(a) = a**3 - 18*a**2 + 70*a - 107. Is 37 a factor of v(24)?
False
Let b(p) = -1528*p + 47. Let o(s) = -509*s + 15. Let y(u) = -3*b(u) + 8*o(u). Is 25 a factor of y(2)?
False
Let b = 53 + -50. Suppose b*f + 16 - 40 = 0. Let x(q) = 3*q + 7. Does 6 divide x(f)?
False
Suppose -267212 = -33*q + 232372 - 175788. Is q a multiple of 44?
True
Let g(r) = r**2 + 12*r + 32. Let j be g(-9). Does 3 divide 1273/j + (-203)/(-145)?
False
Let f be ((-35)/28)/((-3)/36*1). Let b(h) = -12*h + 5 + f*h + 11. Does 13 divide b(12)?
True
Let p be 438/34 + 4/34. Let j = p - -295. Suppose 9*t = 5*t + j. Does 11 divide t?
True
Let j(m) = 2*m**3 - 77*m**2 + 5*m + 744. Does 82 divide j(39)?
True
Let c(n) = -n**3 + 11*n**2 - 20*n + 12. Let y be c(9). Let u = y - -11. Suppose u*a - 13 = q - 62, -a = 3*q - 67. Is q a multiple of 5?
False
Does 84 divide 3868 - (3/((-9)/(-12)))/(9 - 8)?
True
Let f(b) be the second derivative of -5*b**3/6 + 145*b**2/2 + 9*b + 3. Does 15 divide f(-7)?
True
Suppose -14 + 10 = -2*g. Suppose 8*p - 14 = g. Is 4005/24 - p/(-16) a multiple of 30?
False
Let b be 4 - ((2 - -3) + -4)*-1. Suppose 3*p + 6 = 0, -6*a = -8*a - b*p + 390. Is 50 a factor of a?
True
Let o(a) = a**3 + 19*a**2 - 7*a + 59. Suppose -13*l - 18*l = 527. Is o(l) a multiple of 28?
True
Suppose d + 11 = -5*k - 5, 0 = 2*k + 8. Suppose 3*i = d*c - 785, -2*i + 6 + 4 = 0. Does 8 divide c?
True
Is 28 a factor of 5792 + (-612)/(-144) + (-2)/8?
True
Let t = 5090 + 4479. Suppose 13*w = 6*w + t. Does 66 divide w?
False
Let r(g) = -g**3 + g**2 + g - 57. Let s be r(0). Let m = -20 - s. Let i = 69 - m. Does 8 divide i?
True
Let k(f) = 195*f**3 + 8*f**2 + f - 21. Let w(q) = 49*q**3 + 2*q**2 - 5. Let z(n) = 2*k(n) - 9*w(n). Does 5 divide z(-1)?
True
Let y = 51640 - -3737. Is y a multiple of 230?
False
Suppose 1 - 6 = 5*c, -2*r + 29 = -c. Suppose -16*j = -r*j - 20. Is j a multiple of 10?
True
Suppose 4*f = -4*m + 160, 3*m + 3*f + 139 = 7*m. Let r(u) = u**2 + 10*u - 313. Let d be r(16). Suppose -m = -5*i + d. Does 7 divide i?
True
Suppose 0 = 2*j + 5*u - 4172, -5*j + 10942 - 482 = 5*u. Suppose -413 = -q - n + 11, n + j = 5*q. Is q a multiple of 21?
True
Suppose -360920 = -26*u - 69019 + 17421. Is 138 a factor of u?
False
Does 35 divide 94 + -77 + (26196 - -2)?
True
Suppose 0 = -83*j + 84839 - 22423. Is 47 a factor of j?
True
Let m(r) = 3*r**2 - 28*r - 4484. Is 101 a factor of m(94)?
True
Let p(t) = 6*t**2 - 121*t + 2147. Is p(49) a multiple of 166?
True
Suppose -5*j - 5 = 0, p = -44*j + 42*j + 1681. Is 51 a factor of p?
True
Let x be 3*5 + (-4)/(-4). Let y be 30*(5 + (-190)/30). Let m = x - y. Does 28 divide m?
True
Suppose 19 + 11 = 5*j. Suppose 37 = 15*k - 2573. Suppose 4*y = j*y - k. Is 14 a factor of y?
False
Is -4 + 0 + 1065*588/105 a multiple of 14?
False
Does 42 divide 12563 + -4 + (-4 - -7) + 6 + -11?
False
Let q(g) = g**2 - 5*g - 8. Let b be q(6). Let c(z) be the first derivative of -z**4/2 + 2*z**2 + 3*z + 147. Is c(b) a multiple of 7?
False
Let f(k) = 41*k**3 - k**2 + k - 1. Let v be f(1). Let d be (372/(-10))/((-12)/v). Suppose -2*y = -3*p + 94, 3*p + p - d = 2*y. Is 10 a factor of p?
True
Let v(t) = 887*t + 4047. Does 15 divide v(37)?
False
Suppose -34592 = -136*a + 133*a + 4*y, -3*y = 5*a - 57605. Is 67 a factor of a?
True
Suppose -216*y + 244*y - 577920 = 0. Is 24 a factor of y?
True
Let f(b) = -b**3 - 17*b**2 + 58*b - 6. Let k be f(-20). Suppose -2*z + 1874 = l, -3*z + k = 43. Does 20 divide l?
True
Suppose -4*h + 9 = -0*t + 3*t, t = h + 3. Suppose h = 5*s - 2*l - 957 - 542, -298 = -s + l. Does 7 divide s?
True
Suppose 191 = 13*t + 178. Let w = 246 + t. Is w a multiple of 15?
False
Let w be 10*1/(-2) + (-322)/(-2). Let v = w - 68. Is v a multiple of 7?
False
Let v = -243 + 451. Let i(y) = y**2 + 3*y + 1. Let n be i(-1). Is (0 - v/(-6))*(4 + n) a multiple of 31?
False
Does 56 divide (-42)/(-6 - (-381)/64)?
True
Let i(r) = 24*r**2 - 72*r + 20. Let v(d) = -24*d**2 + 72*d - 19. Let j(q) = 7*i(q) + 6*v(q). Let l(a) be the first derivative of j(a). Does 33 divide l(7)?
True
Suppose -11*l + 42*l = -27745. Let m = -739 - l. Is 12 a factor of m?
True
Let r(n) be the third derivative of 2*n**5/15 + n**4/8 + 13*n**3/6 - 3*n**2 - 12. Suppose k - s + 2 = 0, 7 = -k - 3*s - s. Is r(k) a multiple of 11?
False
Suppose 0 = 7*m - 10*m - 4*i + 3413, -3*m - 2*i + 3421 = 0. Is m a multiple of 2?
False
Suppose 403*j - 313*j - 283680 = 0. Does 9 divide j?
False
Let a(x) = 3*x**3 - 2*x**2 + 53*x - 3. Does 11 divide a(15)?
False
Suppose 57*f - 52*f - 40 = 0. Suppose f*u = 3992 - 736. Is u a multiple of 10?
False
Let t = 632 - 337. Let b be 13 + (-17)/((-17)/(-8)). Suppose 1 = s, -a - 4*a + t = -b*s. Is 5 a factor of a?
True
Suppose -2*d + 10 = 2*w, -4*d - 3*w + 12 = -2*d. Is 15 a factor of 3*418 + (9 - d)?
True
Let w(k) = 14*k - 68. Let p be w(25). Let m = p - 255. Is m a multiple of