51*j + 4566. Is 13 a factor of v(23)?
True
Let g be (-1*2)/((-30)/285). Suppose 2*i + 4*l - 18 = 0, -g = -5*i - l + 4*l. Suppose -i*r + 9*r = 52. Is 3 a factor of r?
False
Let g = -219 - -185. Let q = g - -100. Is 11 a factor of q?
True
Suppose 4*y - 4*d - 2400 = 0, -2780 = -4*y - d - 405. Let g = y + -238. Does 51 divide g?
True
Let r(d) = -d**3 - 64*d**2 + 57*d + 272. Does 44 divide r(-65)?
True
Let w be -2 + 12/(-8) + 1586/(-4). Let a = w + 1872. Does 16 divide a?
True
Let s = 25 + -34. Let a be 79/s + 8/(-36). Is (-1)/6*2 + (-498)/a a multiple of 22?
False
Suppose -3*s + 12*s = 99. Suppose 4*h = s*h - 8*h. Suppose h = -5*b - 2*o + 274, 3*o = 2*b - 2*o - 127. Does 11 divide b?
False
Let i be 561/102 + 1/2. Let s(c) = 95*c + 177. Is 83 a factor of s(i)?
True
Let r(w) = -2*w - 24. Let x be r(9). Let p be 0/(-3*(-1)/3) - x. Suppose -p = -u + 36. Is u a multiple of 13?
True
Let x = 21691 + 3148. Is x a multiple of 171?
False
Suppose 0 = -3*b - 86*c + 87*c + 35439, 4*c + 23646 = 2*b. Is b a multiple of 31?
True
Let y = 1290 + 784. Does 10 divide y?
False
Let t(p) = p**3 - 8*p**2 - 8*p + 3. Suppose -24 = -s + 3*y, 3*y + 49 = 4*s - 11. Let g(v) = -v**2 + 13*v - 3. Let o be g(s). Is 6 a factor of t(o)?
True
Does 3 divide (-10826)/(-20) + 1 - (-8 - 1411/(-170))?
False
Let z(k) = k**3 + 12*k**2 + 23*k + 13. Let m be z(-6). Suppose m*b - 94*b + 72 = 0. Is b a multiple of 10?
False
Does 34 divide (-23 + 15)*(731 + 3 + -3)/(-2)?
True
Let l be (9/(-1))/((-19)/(-361)). Let p = 371 + l. Does 18 divide p?
False
Is 67 a factor of (-13)/39 + (-3 - (-17139)/9)?
False
Suppose -24*f = -25*f + 2*s + 5559, -s = -3*f + 16677. Is 17 a factor of f?
True
Let g(x) = 3*x**2 - 86*x + 1651. Is 52 a factor of g(36)?
False
Suppose j - 103 = 3*d + 2*d, 4*d = -4*j - 92. Let a be (-1262)/(-14) - (-3)/d. Suppose b - 43 = -2*g, -4*b + 3*g + a + 93 = 0. Is b a multiple of 9?
True
Let f = -1262 - -4986. Does 84 divide f?
False
Let i be (-9 - -10)/((-5 + 3)/(-8)). Is 13 a factor of (18 - 28/7) + i?
False
Is 26 a factor of (51108/68)/((-1)/(-17))?
False
Suppose 54 = 20*z + 774. Is 9 a factor of (82/8)/(((-45)/z)/5)?
False
Suppose 7*l + 389 = -59. Let j(b) = -2*b**3 + 10*b**2 - 9*b + 6. Let w be j(6). Let h = l - w. Does 14 divide h?
True
Does 8 divide (-14164071)/(-1593) - (-4)/(-9)?
False
Does 25 divide 25 - 370930/(-35) - (-4)/2?
True
Let w = -373 - -376. Suppose -2*h + 4*j = -86, -4*h = -9*h + w*j + 208. Does 7 divide h?
False
Let o be (-6 - (-11601)/27)*3. Let f = o - 678. Does 6 divide f?
False
Suppose 3*v + 5*s = 1, 0 = -2*v - 2*s + 3*s + 18. Let z(a) = -a + 364. Does 23 divide z(v)?
False
Let k = -14200 + 15912. Is 18 a factor of k?
False
Let r = 710 + 506. Is r a multiple of 12?
False
Suppose -9*k + 10 = -8*k. Suppose -u = 4*y + k, 2*u - 2*y + 4 = 4*u. Is 25 a factor of 158 + ((-40)/(-12) - 2/u)?
False
Suppose 3*l + 9 = 0, 0*x = -5*x - 2*l + 39. Is 15 a factor of 5128/6 - (-9 - (-78)/x)?
True
Let q = -607 + 613. Does 2 divide (2/(-3)*q)/(4/(-14))?
True
Suppose -2*a = -4*a. Let n be (-4 - a) + 2 - 1*14. Is 5 a factor of (-2)/(9/(-228)*n/(-18))?
False
Suppose -3*x - 401812 = -31*x - 48*x. Does 96 divide x?
False
Suppose 0 = 5*g - 1 - 4, 0 = -w + 3*g. Suppose 3*v + 18 = -w*v. Is 14 a factor of 123 + (-12)/(-2) + v?
True
Suppose 2*r - 396 = 5*p, -381 = -58*p + 63*p + 3*r. Is p/(-39) + (-82)/(-1) a multiple of 7?
True
Suppose 1260 = -669*j + 673*j. Is j a multiple of 45?
True
Let j(b) = -6*b**2 - 37*b - 24. Let a(v) = -5*v**2 - 36*v - 23. Let d(i) = -4*a(i) + 3*j(i). Let y be d(-16). Let w(x) = x**3 - 12. Is w(y) a multiple of 8?
False
Suppose -2464 = 100*h - 107*h. Let r = 358 - h. Is r a multiple of 3?
True
Let u = -13899 - -14007. Is 13 a factor of u?
False
Let d(p) = 27*p + 23. Let x(t) = -6*t - 4. Let v be x(-3). Is d(v) a multiple of 20?
False
Suppose -3*u - 3*d = -503 + 131, -3*u - 4*d = -367. Suppose 4*a + l = -95 - u, -3*l = 12. Let m = a - -109. Is 18 a factor of m?
True
Suppose 227858 + 446566 = 34*u. Is u a multiple of 18?
True
Suppose -6*j + 160 = 4*j. Suppose j*q - 186 - 198 = 0. Is 11 a factor of q?
False
Let n = -152 + -87. Let q = -178 - n. Is q a multiple of 27?
False
Let k(i) = 61*i + 2366. Does 38 divide k(102)?
True
Let a = -13928 + 42497. Does 17 divide a?
False
Suppose 20*o = 21626 + 144694. Does 66 divide o?
True
Suppose -3*i - 2*v = -134843, 8*v - 179780 = -4*i + 4*v. Is 81 a factor of i?
False
Let l(o) = o**3 + 3*o**2 - 5*o. Let p be l(-4). Let y(z) = -z**3 + 3*z**2 + 14*z - 22. Let w be y(5). Is w/p + 97/2 a multiple of 8?
True
Let i(z) = 95*z - 329. Does 3 divide i(16)?
True
Is 32 a factor of (0 + 5 - -671)*8?
True
Let r be ((-1)/(-2))/(((-12)/1112)/(-3)). Let c be 4/2 + 0 - 53. Let j = c + r. Is j a multiple of 22?
True
Let a(f) = -4*f**3 - 349*f - 1 + f**3 + 11*f**2 + 341*f - 28*f**2. Suppose -3*d - 25 = 4*z + 5, -21 = 5*d - 3*z. Does 5 divide a(d)?
False
Let q = -5359 + 8095. Does 171 divide q?
True
Suppose 3*l - p - 38 = 59, 0 = 5*p + 20. Suppose -33 + l = -d. Suppose 5*m + 118 = d*x + 35, 15 = 5*m. Is x a multiple of 49?
True
Suppose -16 = -2*n - 8. Suppose -8 = -o - n. Is o a multiple of 2?
True
Suppose 37*o - 144 = -33. Suppose -3*w = -4*k + 15, k - 2*w = -6*w - 20. Suppose k = 2*u - 5*t - 160, 0*u - 3*u - o*t = -219. Is 13 a factor of u?
False
Suppose 2*n - 3*x - 172 + 55 = 0, -3*n + 2*x + 178 = 0. Let a be n/(-4)*5/(-3). Suppose h + 0*h = a. Is h a multiple of 5?
True
Let p(a) be the third derivative of a**5/60 + a**4/4 - 3*a**3/2 + 27*a**2. Let d = 5 - 20. Is p(d) a multiple of 21?
True
Let m = -154 + 149. Is 8 a factor of -2*(4 + m) - (-111 - -1)?
True
Suppose 771467 - 53227 = 335*m. Is 67 a factor of m?
True
Let w = -3166 + 7406. Is 16 a factor of w?
True
Let b(y) = y**3 + 20*y**2 + 26*y + 23. Let z be b(-13). Suppose -c = 2*n - z, -11*c + 10*c - 860 = -2*n. Is n a multiple of 54?
True
Suppose -5*w - d - d + 139 = 0, 3*w - 72 = -5*d. Suppose 28*s - w*s = -168. Is s a multiple of 9?
False
Let b = 89 - 85. Suppose 5 = -5*p - f + 21, b*f = -4*p. Is 4 a factor of p?
True
Suppose -25*z + 20*z + 25 = 0. Suppose z*v = 606 + 654. Is 36 a factor of v?
True
Let r(w) = 158*w + 1188. Is r(8) a multiple of 77?
False
Let a(u) = u**3 + 7*u**2 - 13*u - 9. Let n be a(-8). Let b = n + -33. Does 31 divide (-2 - (-2 - b)) + 92/1?
False
Let m = 5821 + -1180. Suppose m + 4165 = 14*f. Is 17 a factor of f?
True
Suppose -5*m + 48 = 4*y, 0 = 2*y + 4*m - 13 - 11. Let l = y - -28. Does 8 divide l?
True
Let y(k) = -k**3 + 10*k**2 - k + 4. Let m(v) = -v**3 - 7*v**2 - 7*v + 1. Let r = 12 + -18. Let w be m(r). Is 16 a factor of y(w)?
True
Let w(a) = 2*a**3 - 27*a**2 + 12*a + 19. Let b be w(13). Suppose -4*x = -b*x + 72. Is x a multiple of 2?
True
Let g be -1 - 5 - (2 - -2). Let k = 18 + g. Suppose k*i - 128 = -0*i. Does 8 divide i?
True
Does 72 divide (1/(-3) - 33216/9)/(-3 - -2)?
False
Let w = -3902 - -5089. Is 7 a factor of w?
False
Let m(t) = 9*t - 117. Let o be m(13). Let f(q) = -q**2 + 2*q + 2. Let p be f(2). Suppose o*k - 64 = -p*k. Is 8 a factor of k?
True
Let s = 3818 + -1624. Is 89 a factor of s?
False
Suppose -5*d - 15 = 0, 4*d - d = -z + 2968. Suppose -637 + z = 10*n. Is n a multiple of 18?
True
Let j(i) = i**2 + 23*i + 23. Let c be j(-17). Let u = 84 + c. Suppose 2*d + 76 + 314 = u*f, -335 = -4*f - 3*d. Is f a multiple of 35?
False
Let x(b) = b**3 - 10*b**2 + 14*b - 14. Let l be x(14). Suppose -4*c + 3*w = -w - 964, -2*w = -4*c + l. Is 11 a factor of c?
True
Suppose 21*w = -18*w + 85488. Is 16 a factor of w?
True
Suppose -9*l + 36 = -0. Let m(z) = -z**3 + 5*z**2 - 6*z - 2. Let d be m(3). Is 70/l - ((-3)/d + -1) a multiple of 16?
False
Suppose 8*q = 5*q + 3*t + 2763, t + 2753 = 3*q. Let g = 1779 - q. Is g a multiple of 31?
False
Suppose 0 = -90*j - 81*j + 270864. Is 11 a factor of j?
True
Let p = 26 - 15. Let m = -10 + p. Let y(w) = 4*w**3 - w**2 + 2*w - 1. Does 4 divide y(m)?
True
Suppose 3*d + 3*u - 21006 = 0, -38*d + 39*d - 6900 = -18*u. Is 96 a factor of d?
True
Is 246 a factor of ((-464671)/(-4190))/(1/370)?
False
Let m be -28*(-9)/((-18)/(-8)). Suppose -5*z = -2*z - i - m, z + i = 32. Is 5 a factor of z?
False
Suppose 5*b = -4*v + 2520, -56*v + 4*b + 2484 = -52*v. Does 25 divide v?
True
Let x(k) = 211*k**3 + 2*k**2 - 4*k - 5. Let l be x(-2). Does 7 d