4*v - 25*v + 5288 = -2*s, 4*v + 2*s - 21102 = 0. Is v a multiple of 58?
True
Let b(i) = 17*i - 33. Suppose -13*m - 31 = -122. Suppose 5*l - m*l + 26 = 0. Does 11 divide b(l)?
False
Suppose l + l = -6*l. Suppose -p = -y - 4*p - 5, l = 3*y + p - 9. Is (56/20)/(y/10 - 0) a multiple of 2?
False
Let l be (-28 - -22)/(2/(-13)). Suppose -l*n - 1845 = -42*n. Is 45 a factor of n?
False
Is 112 a factor of -11 + 807 + -23 + 11?
True
Let v(m) = m**2 + 19*m - 107. Let d be v(-12). Let n = d + 222. Is n a multiple of 3?
False
Let j = 278 + -425. Let k = -147 - j. Suppose 4*v - 6*v + 252 = k. Does 42 divide v?
True
Let h be 4/(-10) + 74256/15. Suppose 21*f = 39*f - h. Is f a multiple of 6?
False
Let c = -271 + 765. Suppose 0 = -9*r + 5291 - c. Is 5 a factor of r?
False
Let l be ((-4)/(-8))/((-3)/(-78)). Let v(y) = -4 + 0 + 3 - 3 + l*y. Is v(2) a multiple of 11?
True
Let g(q) be the first derivative of 11*q**3/6 - 11*q**2/2 + 35*q + 21. Let z(d) be the first derivative of g(d). Does 11 divide z(3)?
True
Suppose 4*t = -u + 1773, -435 = 6*t - 7*t - 3*u. Does 12 divide t?
True
Let i be (-1 + 0)*(3 - 8 - 164). Let a = i + -119. Suppose -2*v = 2*x - a, -3*v + 4*v - 1 = 5*x. Is v a multiple of 6?
False
Suppose 3*u = 18, 172*v + 4*u = 177*v - 30381. Is 98 a factor of v?
False
Let x(s) = 580*s + 26. Let i be x(4). Let r = i - 1387. Does 7 divide r?
True
Let w = 1228 + -88. Is 25 a factor of w?
False
Let n be 1024/128 + 28/(-2). Is 78 a factor of -1 + n + 9 + 1416?
False
Let p = -2531 + 5476. Is 222 a factor of p?
False
Let w = -1459 + 1460. Let n(s) = -14*s - 1. Let l be n(4). Is 20 a factor of -1 - (w + -1) - l?
False
Let w = -2562 - -13589. Is 15 a factor of w?
False
Let q(j) = -j**2 + 11*j + 19. Let w be q(12). Suppose -w*u + 18 = -u. Suppose z + 4*a = 3*a + 42, u*z + 4*a - 123 = 0. Does 28 divide z?
False
Let d(p) = p**2 - 5*p. Let a be d(-4). Let k be (4 - a/8)/(2/(-12)). Suppose k - 17 = -z. Is z a multiple of 5?
False
Let t(g) = -453*g**3 - 3*g**2 - 3*g. Let n be t(-1). Let r = n - 60. Is r a multiple of 16?
False
Suppose -4 = 4*t - 2*t, 2*g - 3*t - 598 = 0. Let o = 796 - g. Is o a multiple of 29?
False
Let v = 62 + -58. Suppose -2*m = -5*m - 2*q + 515, v*q + 545 = 3*m. Let l = m - 7. Is l a multiple of 14?
True
Suppose -634 = a + w + 425, -5*w + 5305 = -5*a. Let u = a + 1787. Is u a multiple of 54?
False
Is 6 a factor of (0 + 859)/(1281/(-2196)*(-3)/7)?
False
Suppose -4*r = -5*r + 10. Suppose 5*a + 2*g = 3173, -14*a + 4*g + 2516 = -r*a. Does 13 divide a?
False
Let o(a) = -a**3 + 8*a**2 + 2*a + 68. Let t be o(9). Suppose -s = t*k - 625, 0*k + s = k - 131. Does 14 divide k?
True
Let l be (3/6)/(657/(-164) + 4). Let i = 1001 + l. Is i a multiple of 92?
False
Suppose 0 = -181*k - 147*k + 67*k + 1006416. Is k a multiple of 6?
False
Suppose 9*c - 24231 = 3993. Does 56 divide c?
True
Suppose -5*y - 770 = -5*z, 3*z - 217 - 245 = -4*y. Let h = 583 - z. Is 39 a factor of h?
True
Suppose -37*i + 46*i - 13293 = 0. Does 52 divide i?
False
Does 22 divide 14 + 2110 - -3 - -15 - 3/(-3)?
False
Let f be (-8*2/(-12))/(2/282). Suppose 0 = -3*t - w + 17, -w - 2*w = 3*t - 27. Suppose -f = -l - 2*h, -t*l = -0*h + h - 724. Does 52 divide l?
False
Let y(x) be the third derivative of x**6/120 + x**5/6 + 7*x**4/24 + x**3/6 - 23*x**2. Let j be y(-4). Let r = 139 - j. Is r a multiple of 16?
False
Let g be 44/10 - (-2)/(-5). Suppose 5*s + 112 = 4*k + 114, s = -5*k + 12. Suppose -3*n = -z - 60, -2*n - g*z - k = -42. Is 3 a factor of n?
False
Suppose 0 = -3*f + 7*f - 16. Let v = f + -15. Let s = v + 79. Is s a multiple of 13?
False
Suppose -206706 = -66*p + 89964. Is p a multiple of 102?
False
Suppose -14*m + 20 = -10*m. Suppose -p + 0*i + 50 = 3*i, m*p + 2*i - 276 = 0. Does 4 divide p/(-21)*(-12 - (0 + 0))?
True
Let o(r) = 408*r**2 + 295*r + 21. Is o(9) a multiple of 101?
False
Let z = 78467 - 39207. Is z a multiple of 26?
True
Let n be (36 - -1) + (3 - -1). Suppose -n*f = -40*f. Suppose 2*h = -f*z + 2*z + 156, -233 = -3*h + 4*z. Does 26 divide h?
False
Suppose 2*a + 0*r - 5*r = 84, 3*a + 2*r = 107. Suppose 0 = 4*d + a*d - 3034. Is 37 a factor of d?
True
Let g(l) = 105*l - 98. Let c be g(7). Let b = c - 285. Is b a multiple of 22?
True
Is (-4807349)/(-366) - (-15)/(-18) a multiple of 13?
False
Is 17 a factor of (-37128)/(-42)*(27 - -1)?
True
Let u = 2415 + -2348. Is u a multiple of 2?
False
Let i(t) be the second derivative of -t**4/12 + t**3/6 + 319*t**2/2 - 19*t. Let g be i(0). Suppose -d - g = w - 4*w, -d = 4. Is 43 a factor of w?
False
Let u(y) = 2*y + 7. Let x be u(-5). Let k(r) = 3 + 0*r + 3*r - 2*r**3 - 4*r + 2*r**2 - 4*r**2. Is k(x) a multiple of 14?
True
Suppose 0 = 4*s + 2*z - 66, -2*z + 121 = 5*s + 39. Suppose g - s + 35 = 0. Let r = 76 + g. Is r a multiple of 19?
True
Let a be (-28)/126 + 34/(-9) + 2500. Suppose -3320 = -4*w + 2*r, -3*w + 6*w - 3*r - a = 0. Does 92 divide w?
True
Let m = -652 + 151. Let t = 1019 + m. Does 74 divide t?
True
Suppose -29760 = -587*q + 567*q. Is q a multiple of 124?
True
Let j(o) = -o**2 + 8*o - 16. Let u be j(2). Let z(b) = -26*b + 1. Is 17 a factor of z(u)?
False
Let f be 3 - -1 - 10/5. Suppose -p - f*t + 1169 = 2*p, -2*p + 776 = 2*t. Is 38 a factor of p?
False
Let k be (-30)/(-50)*20 + 1. Let n(j) = 5*j - 4. Let g be n(3). Suppose 0 = k*t - g*t - 102. Is t a multiple of 17?
True
Suppose 23*p = -9*p + 5952. Suppose -3*u - 84 = -m, m - p = -m - 3*u. Is 20 a factor of m?
False
Let l = 23 + -12. Suppose -3*b = c - 16, 0 = 3*b - 5*b - c + l. Suppose b + 19 = 3*v. Is v even?
True
Let l = -3001 + 3991. Does 5 divide l?
True
Is (-37)/((-999)/54) + (1819 - -1) a multiple of 10?
False
Let t = -45781 + 72867. Is 70 a factor of t?
False
Let m = 70 + -71. Is (m - (-1 - -1))*(-4 - 132) a multiple of 4?
True
Let d(k) = -k**3 + 13*k**2 - 13*k + 30. Let g be d(12). Let o = g - -294. Does 13 divide o?
True
Does 10 divide (19 + 3 + -14)*173/4?
False
Let q be (1 - -1023)*(-1890)/(-168). Suppose 0 = 8*x + 7*x - q. Is x a multiple of 48?
True
Let m(n) = 45*n + 6. Let b(j) = 43*j + 5. Let i(s) = 8*b(s) - 7*m(s). Let f be ((-1)/2 - -1)*2. Is i(f) a multiple of 27?
True
Suppose 0 = -11*b + 3163 + 14382. Suppose -5*f + 540 = q - 1030, 5*f - b = 4*q. Is f a multiple of 66?
False
Let h = 1746 - 1194. Let w(k) = k**3 + 17*k**2 + 25*k - 91. Let l be w(-14). Suppose l = -3*c + h. Does 45 divide c?
True
Suppose -3 = 5*h - 8*h. Let n(l) = 4*l + h - l**3 - 5 + 0. Is 4 a factor of n(-4)?
True
Suppose 2*c = -4*c - 20*c. Suppose -z + 4*z = 3*u + 42, 4*z + 2*u = 44. Suppose -2*h - 2*r = -c - 12, 0 = -h - 4*r + z. Is h a multiple of 3?
False
Is 2/12 + ((-8715)/(-18) - 10/30) a multiple of 4?
True
Let b(i) = -3*i**3 - 5*i**2 - 4*i - 2. Let x be b(-3). Let c = 717 - 587. Let s = c - x. Is s a multiple of 21?
True
Let n(p) = -41*p - 128 + 5*p**2 + 19 - 6*p**2 - 171 + 62. Does 18 divide n(-13)?
False
Suppose 6*o = -o - 3920. Let y = -251 - o. Suppose 4*c - 159 - y = 0. Is 39 a factor of c?
True
Suppose 3*t - 4*t = 2*i + 4, 2*i - 12 = -5*t. Let u be 9*((-26)/(-6) + i). Suppose -27 = -u*w - 3*a, 26 = 5*w - a - 7. Is w even?
False
Suppose 5*i = 5*y - 1000 - 1280, -3*y + 1374 = -5*i. Let u = 639 - y. Is u a multiple of 31?
True
Suppose 5*y - 3*g + 455 = -238, -141 = y - 3*g. Let v = y + 222. Is v a multiple of 6?
True
Let z = 96 - 104. Let c(q) = 9*q**3 - q**2 - q**2 - 17*q - 8*q**3 + 9*q**2 + 19. Does 13 divide c(z)?
True
Let r = -101 + 105. Suppose -2*p = -p - 5*j + r, -p + 10 = 2*j. Suppose 714 = p*y - 0*y. Does 30 divide y?
False
Let n be 24 + -26 - (-15935 - -1). Suppose 20*q = 6*q + n. Is 34 a factor of q?
False
Suppose 0 = -5*h + 3*v - 16, 4*v = -3*h + 2*v - 2. Let k(q) = -73*q - 8. Is 12 a factor of k(h)?
False
Let n(q) = -26 - 17 + 30 + q + 3*q. Suppose 0*t = 5*d - t - 50, -50 = -5*d + 5*t. Does 11 divide n(d)?
False
Let d(g) be the second derivative of g**4/6 + 13*g**3/6 + 34*g**2 - 6*g + 1. Is d(-12) a multiple of 25?
True
Suppose -b = 3*b - 16, -l + 12 = 3*b. Suppose 5*d = -3*o + 117, 3*d - 5*d + 6 = l. Is o a multiple of 3?
False
Let s = 138 + -89. Let g(m) = -15*m + 217. Let l be g(13). Let i = s - l. Does 9 divide i?
True
Suppose 0 = -52*l - 64119 + 514335. Is 37 a factor of l?
True
Suppose -7 = -10*s - 37. Let o(j) = -176*j - 53. Is o(s) a multiple of 14?
False
Let w be 