 = -25*c + 135. Suppose 5*s - 135 = -5*w, c + 20 = s + 2*w. Suppose s = 4*o - 367. Is 14 a factor of o?
True
Let c be (3 - 5)/(1/16). Let f = c + 32. Suppose 3*l - 73 - 56 = f. Is 6 a factor of l?
False
Suppose -53 = -3*x + 40. Suppose 19*r = x*r - 4320. Does 10 divide r?
True
Let y = 657 - 657. Suppose y = 104*w - 91*w - 14417. Is 45 a factor of w?
False
Let j(n) = -95*n + 443. Let o be j(3). Let b be 926*1/(-4)*-2. Let z = b - o. Does 48 divide z?
False
Suppose -2*i - 14 = -4*i. Let r(a) = a**3 + a**3 + i*a - 10 - 6*a**2 - a + a. Is r(4) a multiple of 4?
False
Let i be 4 + 10 + (-6 - (1 - 6))/1. Let q(x) be the first derivative of 13*x**2/2 - 4*x - 1. Is 33 a factor of q(i)?
True
Let i(b) = 6*b**3 - 3*b**2 - 16*b - 72. Is i(8) a multiple of 10?
True
Let r = 26 + -23. Suppose -4*v + 5*d = d - 76, d = -r*v + 53. Suppose 5*s + 2*k = 371, -4*k + v = 6. Is s a multiple of 26?
False
Let i(s) = -1436*s - 33. Is 12 a factor of i(-3)?
False
Suppose 5215 = -1303*p + 1304*p - 5*h, -p + 5206 = -4*h. Is 10 a factor of p?
True
Suppose -44*c = 33*c - 897435. Does 21 divide c?
True
Let c be 4/18 - 184/18. Let y(w) = 5*w**3 - 4 - w + 9*w + 2 - 6*w**3 - 9*w**2. Is 4 a factor of y(c)?
False
Let k be ((-9)/2 - -5)*762. Let a be ((-1)/(-2))/((-2)/(-4)). Does 8 divide a/5*-2 + k/15?
False
Let x(v) = 125*v - 71 - 22*v + 9. Does 9 divide x(3)?
False
Does 11 divide 9/(-24)*(-511720)/15?
True
Suppose -1212*o - 13227 = -1213*o - 3*s, s = 3*o - 39771. Is 4 a factor of o?
False
Suppose 9398 + 6352 = 30*y. Let j = 712 - y. Does 9 divide j?
False
Let y be 42*(-3)/24*-4. Let t = y - 16. Suppose -6*r + t*r = -80. Is r a multiple of 20?
True
Suppose -169 = -2*d + 483. Suppose -5*p = 4*c - 4845, 5*c = p - d - 643. Suppose q + p = 5*q + s, s = -3. Is q a multiple of 48?
False
Is 130 a factor of ((-10)/(-8) - (-2 - -1496))*(8 - 20)?
False
Let k = -5833 + 7849. Is 56 a factor of k?
True
Let u(p) = -13*p**2 - p. Let c be u(-4). Let t be (c/(-16))/(9/12). Suppose -t = -3*o - 2*j, -o - j - 1 = j. Does 9 divide o?
True
Let u be ((0 - 0) + -1)*(-24 + 21). Let k(j) = -j**3 - 5*j**2 - 5*j + 1. Let y be k(-4). Suppose -v + 140 = u*f - y*v, -3*v = -4*f + 175. Is f a multiple of 20?
True
Suppose -f + 5454 = 4027 - 5363. Is f a multiple of 97?
True
Let m = 30251 - -8293. Does 66 divide m?
True
Suppose -2*v + 7*v - 2*b = -122, -2*v - 4*b = 44. Let w = -6 - v. Let y(i) = 2*i - 6. Is 30 a factor of y(w)?
True
Let b(z) be the third derivative of z**4/3 - z**3/2 + 4*z**2. Let s = -37 - -39. Does 13 divide b(s)?
True
Let k(w) = -w**3 + 4*w**2 - w + 22. Let p be k(4). Suppose 2*n + p = 86. Is 3 a factor of n?
False
Suppose 2*c - 5 = -4*o + 1, -21 = -5*o + 2*c. Suppose 11*v - 293 = -2*q + 8*v, o*v + 559 = 4*q. Is 5 a factor of q?
False
Suppose -26 = 69*s - 72*s - 4*q, 4*q - 54 = -5*s. Suppose -4*m + 2*x + 53 = x, 0 = 5*m - 2*x - 67. Suppose 38 = -m*g + s*g. Does 19 divide g?
True
Suppose -402 - 895 = 4*c + 5*t, -4*c + 3*t = 1321. Suppose -5*q - 39 = -49. Does 41 divide ((-2)/(-4))/(q/(c/(-2)))?
True
Suppose 9 - 21 = -3*y. Let a be (14/y)/(15/(-30)). Let b = a + 23. Is 2 a factor of b?
True
Let b = 4403 - 1358. Is 8 a factor of b?
False
Suppose 4*k - 540 = 3*k - 0*k. Is k a multiple of 45?
True
Suppose 20*p - 20 = 15*p. Suppose -5*l - p*b + 17 + 749 = 0, 4*l = 2*b + 592. Let r = l + -38. Is r a multiple of 14?
True
Let u be 4 + 2/(-4)*2. Suppose -2*y + 0*b - b + 1 = 0, y - u*b - 4 = 0. Does 43 divide 85 + (y + (-12)/8)*-2?
True
Let h = 428 + -434. Is 2 a factor of h - (5 - 12 - -4 - 6)?
False
Let y = -11732 - -12159. Is y even?
False
Let n be 3 - 3 - (0 - -1). Let d be ((-12)/(-48))/(n/(-8)). Suppose 5*j + p - 11 = d*p, 9 = 2*j - 5*p. Is j even?
True
Is 19 a factor of 19146 + (-1 - (11 + -2)) + 20?
False
Suppose -d + 27 = 18. Suppose d*a - 4*a = -5*x + 1025, a - 405 = -2*x. Does 10 divide x?
True
Let a be 8/28 + (-24)/(-14). Suppose -10*x + 355 = 315. Suppose x*c - 865 - 482 = -5*p, 528 = a*p - 2*c. Is p a multiple of 12?
False
Suppose m - 5 + 3 = 0. Suppose -61 = -d - 5*w, -m*d = 3*w - 0*w - 115. Is 14 a factor of d?
True
Let y be -2 + -4 - 10/(-5). Does 59 divide (465/(-20)*y)/(1/4)?
False
Let f = -27 + 30. Let h(w) = 9 + w + f - 4*w. Is h(-6) a multiple of 15?
True
Suppose -5*g - 33640 = -5*l, -3*l - 3*g + 14811 + 5391 = 0. Is l a multiple of 90?
False
Let y = 370 - 637. Let a = 383 + y. Is a a multiple of 3?
False
Let f = 21443 - -16346. Does 31 divide f?
True
Let y(b) = -3*b**2 + 160. Suppose 0 = 94*s - 86*s. Does 20 divide y(s)?
True
Suppose -10 = 12*a - 7*a. Let o(g) = 28*g**2 - 7*g - 5. Is o(a) a multiple of 11?
True
Let x(q) = 76*q**2 + 3*q - 2. Suppose 645 = 2*t + 649. Does 19 divide x(t)?
False
Let a(u) = -u**3 - 2*u**2 + 6*u. Let i be a(-5). Let d = -38 + i. Suppose d*s = 5*s + 152. Is s a multiple of 19?
True
Suppose -4244288 = 216*i - 382*i. Is i a multiple of 5?
False
Let u(n) = 105*n + 1967. Is 187 a factor of u(40)?
False
Let f = 32472 - 32322. Is 75 a factor of f?
True
Does 6 divide -11 + 150951/5 - -8*1/10?
True
Let r = -23 - -40. Let m = r - 35. Is -2*8/(-72) + (-1094)/m a multiple of 30?
False
Suppose 9273 = 2*u + 3*i, u + 6*i - 11*i - 4656 = 0. Is 51 a factor of u?
True
Suppose 4*k + g - 2 = 2*k, -5*g = 4*k - 4. Let o = k + 233. Is 21 a factor of o?
False
Let n(z) = -11*z - 2. Let w be n(-10). Let l = 324 - 319. Suppose -8*p + 3*o + w = -l*p, -3*p + 4*o = -103. Is 4 a factor of p?
False
Let k = -2 - -7. Suppose -4*h - 4*s - 2 = -34, 2*h + k*s = 16. Is (-3 - 54/h*-2)*2 a multiple of 4?
False
Let u be (-80)/6*7*(-141 + 138). Suppose -u - 1664 = -q. Is 111 a factor of q?
False
Let z(g) = -16*g - 22. Let v be z(-13). Let b = v + -169. Is 17 a factor of b?
True
Let r(x) = 7*x**2 - 4*x + 3. Suppose 4 = 2*l, -8 = 5*d - 2*l + 26. Is 12 a factor of r(d)?
False
Let w = 10 - 8. Let b be -2 - (-10 + 6/w). Suppose 0 = -x + 6 + b. Is x even?
False
Suppose -2*m = -4*z - 7830, -6*m = -4*m - 3*z - 7825. Is 11 a factor of m?
True
Let b be ((-8)/(-10))/(10 - 156/15). Does 19 divide (-28 - -90)*(23/2 + b)?
True
Suppose 5*x = -3*z + 2938, 3*z = -16*x + 18*x - 1192. Let p = x - -34. Is 35 a factor of p?
False
Suppose 323095 + 245879 = 204*h - 43*h. Is h a multiple of 6?
True
Is 6 a factor of ((-31395)/25 + 6)*(-44 - -34)?
True
Suppose -10 = -5*a, -t - a + 845 + 51 = 0. Let q = -615 + t. Is q a multiple of 9?
True
Let s(o) = 207*o - o**3 + 198*o - 420*o - 10*o**2 + 17. Is 12 a factor of s(-9)?
False
Suppose -n = 6*r - 13076, -5*n + r = -27261 - 38398. Does 4 divide n?
False
Suppose -3*r - 2*o + 9200 = 0, -15*r + 11*r = 5*o - 12269. Does 14 divide r?
True
Let s(y) = -4*y**3 - 43*y**2 - 139*y + 30. Is 26 a factor of s(-14)?
True
Let q = -6318 + 9031. Suppose -9*l + 500 = -q. Is 7 a factor of l?
True
Suppose 523*c - 517*c - 33144 = 0. Does 42 divide c?
False
Let i be 14/(-98) + (-355)/(-35). Suppose 0 = -3*n, 4*b + i*n = 11*n + 1080. Is 27 a factor of b?
True
Suppose 144555 + 376917 = 16*i. Is 36 a factor of ((-1)/(-3))/((-195538)/i - -6)?
False
Let u(l) = 2*l**2 + 233*l + 8995. Does 35 divide u(0)?
True
Suppose 33898 = 5*y - 3*n, -61*y + 60*y = -3*n - 6782. Is 15 a factor of y?
False
Let w(p) = p**3 + p - 1. Suppose 0 = 3*b + 12, 6 = 2*z - b. Let x(u) = u**3 - 4*u**2 - 23*u + 10. Let f(q) = z*w(q) + x(q). Does 15 divide f(6)?
True
Suppose 0 = -3*v - 2*u + 17381, 2*u - 28967 = -7*v + 2*v. Is 16 a factor of v?
False
Let u(r) = 11*r**2 - r - 18. Let i(z) = 30*z**2 - 4*z - 54. Let w(a) = -4*i(a) + 11*u(a). Is w(13) a multiple of 36?
True
Let s(r) = -140*r + 7 + 2*r**2 + 120*r + 11. Is s(12) a multiple of 6?
True
Suppose -3*u + 1658 = 215. Let k = 833 - u. Is 32 a factor of k?
True
Suppose -5*a = -v + 95 + 90, 3*a - 537 = -3*v. Suppose 0 = -2*d + 6*d - v. Does 4 divide -4 + 9/(d/140)?
True
Let l be 132/((15/(-2))/(-5)). Suppose l = -2*j - 2*b - 4, 5*j = b - 200. Let z = -14 - j. Is z a multiple of 12?
False
Let i = 35 + -5. Suppose 4*w - 54 - i = 2*f, 4*w = -2*f + 76. Is 3 a factor of w + -3 + -9 + 10?
True
Let z(b) = 16*b**2 + 25*b + 226. Does 17 divide z(-15)?
True
Let i be 70382/17 + 22/(-187). Suppose -15*m = 8*m - i. Is 10 a factor of m?
True
Suppose 0 = 5*d - 2546 - 6444. Suppose -9*r - d = -38*r. Does 31 divide r?
True
Suppose -24605 + 779 = -19*p. Does 7 divide p?
False
Suppose 0 = -4*i + 3*n 