 w(q) = -14*q - 27. Let i(l) = 3*o(l) - 8*w(l). Suppose -5*m + 3*k = 39, 2*k - 25 = 3*m + k. Does 8 divide i(m)?
True
Let p(y) = y**3 - 8*y - 21. Let h = 351 + -344. Is 46 a factor of p(h)?
False
Suppose 0 = -m + 3*f + 242, -492 = -2*m - 0*f + 2*f. Let l = m - 148. Is l a multiple of 20?
True
Suppose 763*v = 8280865 - 1656499. Is v a multiple of 21?
False
Suppose -v + 25 = l, 67 = 5*l + 4*v - 61. Suppose -o + 3*w = -l, 2*o - 80 = -2*o - 4*w. Is 22 a factor of 2/8*o*2*2?
True
Suppose -3*u + 3*n = -366, 0 = 13*u - 15*u - 3*n + 264. Is 12 a factor of u?
False
Let a(c) = -81*c - 2183. Is 155 a factor of a(-48)?
True
Suppose 0 = 317*t - 318*t + 5. Suppose -3*h - t*q = -1905, -4*q + 2844 - 312 = 4*h. Does 14 divide h?
True
Let i = 136 + 26410. Does 26 divide i?
True
Suppose 4*b - 40*b = 20*b - 1170736. Is b a multiple of 51?
False
Let f(c) = c**2 + 31*c - 13. Is 10 a factor of f(-38)?
False
Let i(h) = -h**2 + 8*h - 1. Let x be i(8). Let y = x - -66. Does 13 divide y?
True
Is (-365 - 90139)*2/(-8) a multiple of 79?
False
Let g(w) = 2*w**2 - w - 3. Let p be g(5). Suppose -7*v - 69 = -405. Suppose p + v = 5*s. Is s a multiple of 3?
True
Suppose -2*v + 0 = -48. Suppose -18 - v = -14*c. Is 232/4*9/c a multiple of 17?
False
Let m(z) = -z + 8. Let v(u) = 2*u - 16. Let l(o) = 5*m(o) + 2*v(o). Let w be l(5). Suppose -w*n = 3*b - 99, -b + 8*n + 13 = 4*n. Is 2 a factor of b?
False
Suppose -63*k = -38*k - 202075. Suppose -k = 33*l - 20623. Does 20 divide l?
True
Suppose 0 = 4*u - h - 45005, -3*u + 17645 + 16100 = h. Is u a multiple of 83?
False
Let y(n) be the second derivative of 5/3*n**3 + 6*n + 13/12*n**4 + 0 - 7/2*n**2 - 1/20*n**5. Does 22 divide y(13)?
False
Let b(v) = -v**2 + 50*v - 216. Let a(i) = i**3 - 9*i**2 - 35*i + 23. Let l be a(12). Is b(l) a multiple of 10?
False
Is 1380/(-5)*(-1944)/288 a multiple of 81?
True
Is (7 - 1 - 5)*1110 - 0 a multiple of 37?
True
Suppose 323460 = 7*m + 29*m. Is m a multiple of 11?
False
Suppose 40*k - 374 = 6*k. Suppose 5*d - 2*j - 33 = 0, -j - k = -2*d + 2*j. Does 7 divide d?
True
Let h = -135 + 327. Suppose 4*z + 511 = 5*k + h, 272 = 4*k + z. Does 67 divide k?
True
Let v be (26/5 - -3) + 2/(-10). Let n be (-2 - 92/v)*-1*52. Suppose -4*z - n = -13*z. Is 19 a factor of z?
False
Suppose 89 = j + 2*i, -3*i - 172 = -2*j - i. Suppose 0 = 82*k - j*k - 4*g + 5104, 2*g = -5*k + 5112. Is k a multiple of 64?
True
Suppose 3*n = 2*h + 1316, -n + 2616 = -4*h + n. Let a = h - -1118. Suppose -4*r = a - 1170. Is 13 a factor of r?
False
Let q = -458 + 469. Let v = q - -92. Is v a multiple of 16?
False
Let y = -7749 - -19921. Is y a multiple of 143?
False
Let x be 6/10 + -1 - (-276)/115. Suppose 9*t - x*t = 1239. Is 27 a factor of t?
False
Suppose 2*h + h = -5*q + 569, 213 = h - 3*q. Let d = -103 + h. Is 15 a factor of d?
False
Let j be 120 + -1 + (3/(-4))/((-153)/(-1020)). Let y(o) = -16*o. Let g be y(4). Let u = g + j. Does 14 divide u?
False
Let h = 2849 + -360. Let v = h - 377. Is v a multiple of 96?
True
Suppose 652 = m - 5*m + 4*l, 5*m + 855 = -3*l. Let b be 47/(94/(-12)) - (-232)/(-2). Let i = b - m. Is i a multiple of 46?
True
Let f(c) = 4*c**3 - 28*c**2 - 65*c - 93. Let k(w) = w**3 - 7*w**2 - 16*w - 23. Let q(x) = -2*f(x) + 9*k(x). Is q(9) a multiple of 5?
True
Is 14 a factor of 370/(-4)*(-307 + 253)?
False
Is -11*(-661 - 4/2)*(-116)/(-174) a multiple of 20?
False
Let v(q) = -13*q - 32. Let z be v(-3). Let w = -15 - -25. Suppose w*u = z*u + 570. Is u a multiple of 10?
True
Let d(a) = 145*a**2 - 17*a - 106. Is d(-4) a multiple of 5?
False
Let y = -2777 - -7177. Is y a multiple of 56?
False
Let k(n) be the second derivative of -n**5/20 + 11*n**4/12 + 19*n**3/6 - 15*n**2/2 - 32*n. Let z be k(12). Let o = z + -21. Is 2 a factor of o?
True
Let y be (12/(-8))/(12/(-8) + 1). Suppose 15 = 7*w - 2*w - 5*p, 5*w + y*p = 23. Suppose w*j + 149 = f, 2*f + 4*j - 2*j - 328 = 0. Is f a multiple of 13?
False
Let v(z) = z**3 + 8*z**2 - 31*z - 27. Let f be v(-9). Suppose 2*u - 281 = -f. Does 9 divide u?
False
Let y(x) = -2*x**3 + 12*x**2 - 4*x - 5. Suppose -3*a - 18 = -12*a. Suppose -3*n + 20 = a*n. Does 25 divide y(n)?
False
Suppose 148 - 29204 = -4*y - 4*d, -7285 = -y + 2*d. Is 103 a factor of y?
False
Let z(l) = 73*l**2 - 331*l - 22. Is 53 a factor of z(-10)?
False
Let b(m) = -4 - 5 - 18*m + 2*m**2 - 11. Let w be b(11). Suppose 2*y = r + y - w, 4*y = -12. Is 7 a factor of r?
True
Suppose -137*n = -141*n + 2708. Suppose 4*p + 173 = n. Does 9 divide p?
True
Let d = 26904 + -25205. Is 7 a factor of d?
False
Let z(o) = -23*o**3 - 2*o**2 - 17*o - 12. Is z(-4) a multiple of 34?
True
Let d = 65 - 70. Let y(j) = -j**2 - 6*j - 5. Let m be y(d). Is 9 a factor of 31/(-1)*(m - -3)/(-3)?
False
Does 21 divide ((418/(-57))/11)/(-2 + 77236/38619)?
True
Suppose 455*r + 21976 = 4*a + 459*r, r = a - 5496. Is a a multiple of 7?
True
Suppose 12 = 22*q - 19*q. Let a = 36 - q. Does 10 divide a?
False
Let x(m) = 7*m**2 + 100*m - 6. Let h = 87 - 81. Does 47 divide x(h)?
True
Suppose 12854 + 11416 = 5*k. Does 10 divide k?
False
Suppose 30*v = 19*v + 171589. Is v a multiple of 19?
True
Let n(q) = -q**2 + 2*q - 106. Let b(l) be the first derivative of -2*l**3/3 + 2*l**2 - 213*l - 13. Let s(y) = -3*b(y) + 5*n(y). Is s(0) a multiple of 28?
False
Let d be (-62)/(-6) + (-2)/(-3). Let i(b) = -b**3 + 6*b**2 + 4*b - 21. Let r be i(6). Does 2 divide (d/r)/(-1 - (-12)/9)?
False
Let m(d) = 31*d**3 + 15*d**2 - 38*d - 22. Does 39 divide m(4)?
False
Suppose 5*d - 9511 = -6*y + 6*d, -5*y + 7927 = -d. Is 3 a factor of y?
True
Suppose a - 3*q = 6 - 3, 5 = -5*q. Suppose a*i = 4*i - 2*i. Suppose i = -8*b + 16*b - 200. Is 12 a factor of b?
False
Let g be (-38 + 45)*1/(1/2). Suppose -211 = g*z - 4271. Does 11 divide z?
False
Let p = -90 - -78. Let o be p/16 + ((-15)/12)/5. Does 3 divide o*(3 + (0 - 8))?
False
Let h be (-6)/15*3795/3. Is ((-2)/(-4))/(2/(-20)) - h a multiple of 42?
False
Let p = 12 - 8. Suppose -p*w = 16, 0 = -4*n + 2*w - 5*w + 492. Does 6 divide n?
True
Suppose -29*q + 19*q = -2020. Let p = 120 + q. Does 14 divide p?
True
Let f = -2571 + 3663. Does 21 divide f?
True
Let l = -4500 + 4842. Is 6 a factor of l?
True
Let f(p) = p**2 - p + 47. Suppose 0 = -5*g + 10 + 5. Suppose 0 = 4*w - g*w. Is 22 a factor of f(w)?
False
Let t = 9793 - 3472. Does 43 divide t?
True
Let f(w) = w**3 - 7*w**2 - 6*w + 6. Let c be f(8). Is (7 - -5)*c/6 + -4 a multiple of 20?
True
Suppose -210*p + 208*p + 2*z + 3184 = 0, -2*p - z + 3196 = 0. Is p a multiple of 10?
False
Suppose 51 = -3*m + m + o, -3*m + o - 75 = 0. Let n be ((-16)/m)/((-1)/3). Does 18 divide (-1624)/(-18) + n/9?
True
Let z = 472 + -463. Suppose -z*n + 141 = -8*n. Does 3 divide n?
True
Let c = 4554 - 3437. Does 3 divide c?
False
Let u(j) be the third derivative of -j**6/120 - 13*j**5/60 + 7*j**4/12 + j**3/3 + 16*j**2. Let b be u(-14). Suppose -b*o - 230 = -4*o. Is o a multiple of 11?
False
Suppose -9 = 3*w, -2*w + 5*w = 5*v - 159. Suppose -3*a - 144 = -v. Is (a/10 - -3)*-100 a multiple of 15?
False
Is 12 a factor of (74/(-8))/(54/(-9288))?
False
Suppose 0 = -163*i - 102*i + 747300. Does 141 divide i?
True
Let n = -30 + 28. Let l be (10 - 10)*n/4. Let m(v) = v**3 + v**2 - v + 65. Is 12 a factor of m(l)?
False
Suppose y - 424 = 2117. Suppose 3*f - 1377 = t, 3*t + 260 = -5*f + y. Does 22 divide f?
False
Suppose 0 = 2*k - o - 16708, -2*o + 6*o - 8354 = -k. Is 106 a factor of k?
False
Let m be -128*(-5 - (-5)/2). Suppose -m = -2*f + 2*z, -3*z = -8 - 4. Is f a multiple of 11?
False
Suppose 2*x - 8 = t - 21, -2*t = -2. Is 11 a factor of (x/5)/(9/(-1530))?
False
Suppose 5*d - 3*x - 240 = 0, 3*x - 7*x = -5*d + 235. Suppose 2*i - 3*i = d. Let s = -6 - i. Is 8 a factor of s?
False
Suppose 7*a = 5*a - 4*i + 8040, -a = i - 4026. Is 59 a factor of a?
False
Suppose 58920 = 4*b - 2*v - 2638, -b + 15403 = -2*v. Does 99 divide b?
False
Suppose 4*q + 2*w - 1992 = 0, 4*w + 3358 = q + 2869. Is q a multiple of 99?
False
Let b be -6*(-2)/28 - 3/7. Suppose 2*x = -3*x + 3010. Suppose b = 5*l - 4*r + 11 - 1552, -2*l - 2*r + x = 0. Is l a multiple of 24?
False
Suppose -x + 4*x - 345 = 0. Suppose -7*n - 99 = -134. Suppose 5*h + n*u = x, 4*h + 3*u - 137 = 8*u. Is 4 a factor of h?
True
Let w(d) = -d**2 + 8*d - 4. Let j be w(7). Suppose 5*t + 23 = j*z + 241, -5*z 