= 9*p - 171. Let k be z(19). Suppose k = 7*m - 6*m - 480. Does 48 divide m?
True
Suppose -15*a - 12 + 57 = 0. Suppose 19*n = -a*n + 18216. Is n a multiple of 40?
False
Suppose -f = 5*l - 4249, -2*l + 862 = 2*f - 844. Is 2 a factor of l?
False
Let l(b) = b**2 - 3. Let o be l(-5). Let q = -3399 - -3407. Suppose -o*p + 2520 = -q*p. Is 9 a factor of p?
True
Let o be (-2)/(-4) - 71/(-2). Let n = -48 + o. Is (0 + n/(-9))/((-2)/(-105)) a multiple of 35?
True
Let y(t) = 14*t + 566. Let h(j) = 3*j + 114. Let k(g) = 11*h(g) - 2*y(g). Is k(29) a multiple of 17?
False
Suppose -v = -4, -7*v = 5*o - 2*v - 55. Suppose 1584 = o*h - h. Is 24 a factor of h?
True
Let p be 1*-1 - ((-3 - -101) + -3). Let x be (5/3)/((-16)/p). Let j(c) = -c**2 + 7*c + 32. Is 2 a factor of j(x)?
True
Let k(w) = 9*w - 8. Suppose -4*a + a + z + 2 = 0, 0 = -2*a - 3*z + 16. Let v be k(a). Suppose -15 = -v*d + 165. Is d a multiple of 6?
True
Suppose -8*j + 3*j = -5. Let y be (14 - (j + -2))/(5/20). Suppose -y - 6 = -6*c. Is c a multiple of 3?
False
Suppose 33*l = 35*l - 6. Suppose l*d + 3 = 0, -5*j + 23 = 3*d - 19. Suppose -j + 25 = w. Is 8 a factor of w?
True
Suppose -4*v + 2442 = -n, 33*v - 35*v = -5*n - 1230. Is 14 a factor of v?
False
Let i(s) = -6*s + 41. Let q be i(6). Suppose -2*j = -q*j + 1467. Suppose -5*v + j = -2*m, 2*v = 4*m - 5*m + 201. Does 7 divide v?
False
Let b = 8691 + -6270. Is b a multiple of 88?
False
Suppose -2172 - 1995 = -3*t - 3*c, 2*t - 2827 = 5*c. Is 7 a factor of t?
False
Suppose -3*z - 5289 = -3*w, 0*z = 3*w - 4*z - 5285. Is w a multiple of 42?
False
Suppose 0*q + 3*q = 24. Suppose 15*f = 82 + q. Suppose h + 185 = f*h - 5*i, 5*i = -5*h + 185. Does 17 divide h?
False
Suppose -63*v - 31*v - 632 + 9092 = 0. Is v a multiple of 5?
True
Let z be 198/495 - (-1)/(5/23). Let v(r) = 15*r**2 + 12*r - 61. Does 34 divide v(z)?
True
Let w(v) = -5*v**3 - 24*v**2 + 6*v - 239. Is 22 a factor of w(-19)?
True
Suppose 21*b = 3991 + 7397 + 1800. Is 4 a factor of b?
True
Suppose -1 + 3 = c, q - 2*c = -174. Let s = 15 - 7. Let t = s - q. Is t a multiple of 32?
False
Let o(m) = -m**3 + 7*m**2 - 12*m + 14. Let c be o(5). Suppose 0 = -n - n + c*j + 764, -2*j - 1134 = -3*n. Is n a multiple of 47?
True
Suppose 0 = -3*o - 778 + 658. Let z be 43 - 1/(2 + -3). Let j = z + o. Is j even?
True
Let w(h) = 26*h + 4. Let n be w(4). Suppose 2*i - 2*x - 252 = -86, -2*x + 2 = 0. Let o = n - i. Does 19 divide o?
False
Suppose 0 = -s - 4*b - 14, -s = -6*s + 4*b + 26. Suppose -s*l + t = -13, 4*t = -3*l - l - 4. Suppose -l*g + 110 = -18. Is g a multiple of 16?
True
Suppose 0 = -7*d + 17*d - 110. Suppose -4*s = -5*s + d. Let j(g) = -g**3 + 10*g**2 + 15*g - 11. Is j(s) a multiple of 20?
False
Let q = 84033 + -56313. Is 22 a factor of q?
True
Is 76902/28 + (9/2)/(-9) a multiple of 16?
False
Suppose 3*o + 0 = 5*r - 16, 3*o + 1 = 2*r. Suppose -o*k = -0*k - 3. Let t(p) = 9*p**2 - p. Is t(k) a multiple of 4?
True
Let d(p) = -p**3 - 11*p**2 - 24*p - 12. Let w be d(-8). Is (0 - w*(-42)/4)*-1 a multiple of 6?
True
Suppose -3*x = 5*g - 986 - 771, -337 = -g + 3*x. Let f = g + -214. Is f a multiple of 15?
True
Let b = 8396 - 5282. Is b a multiple of 18?
True
Suppose -2*a = l - 7461 - 5178, -12 = -3*a. Is 17 a factor of l?
True
Let v be ((-150)/(-90))/(5/9). Suppose 0 = -5*t + v*a + 159, 3*a - 72 = -2*t - 0*a. Suppose -t = -j - 3*h, -5*j = -2*j + 2*h - 134. Does 48 divide j?
True
Let a be (-8)/(-44) + (-5109)/(-33) + 2. Suppose a*t - 156*t - 314 = 0. Suppose -t = -2*f - 4*g, 2*g + g = -3*f + 459. Is 12 a factor of f?
False
Suppose 495*t + 96*t - 53049 - 66333 = 0. Is t a multiple of 7?
False
Let a(l) = -l**3 + l**2 + l - 60. Let f = 70 + -70. Let k be a(f). Is k/(-20) + 5*3 a multiple of 10?
False
Let y(g) = 7*g**2 - 4*g - 16. Let c be y(-5). Suppose 146 = 2*s + 4*k, 3*s - 2*k + 0*k = c. Is 2 a factor of s?
False
Let r(q) = 3*q - 37. Let m be r(13). Suppose 2*u = 6*u + m*i + 194, 4*i = 4*u + 188. Is -9*(u/9)/1 a multiple of 14?
False
Let w(c) = -60*c + 6. Let z be w(0). Let t(q) = 2*q**2 + 15*q - 34. Is t(z) a multiple of 43?
False
Let o(k) = -k**3 + 7*k**2 - 9*k - 2. Let g be o(5). Suppose -3*d + 4*x = 103, 3*d - x = -g*x - 97. Let v = 96 + d. Does 29 divide v?
False
Let k(f) = -f**3 + 3*f**2 + 5. Let i be k(3). Suppose -i*x + 344 + 126 = 5*n, -2*x - 5*n + 194 = 0. Is 28 a factor of x?
False
Let k(w) = 75*w + 46. Let r be k(2). Suppose 0*z - 1160 = -4*z. Let j = z - r. Is j a multiple of 19?
False
Suppose -d = -0*d + g - 2, d = 3*g + 2. Suppose 2*z - j + 111 = 0, -j - 30 = d*z + 83. Let c = -11 - z. Is c a multiple of 8?
False
Suppose 21*u - 200 = 52. Suppose 24*o = 22*o + u. Does 2 divide o?
True
Suppose -2*w - w + 21 = 0. Let o be w/(0 - (1 - 24/23)). Suppose 3*y = -j + 3*j + o, j = y - 53. Is y a multiple of 7?
False
Let y = -11 + 7. Let x(f) = -50*f + 84*f - 4 - 44*f - 1 + 3. Does 19 divide x(y)?
True
Let s be (22/6 + -1)*9/(-4). Let b(v) = v**2 + 5*v - 6. Let t be b(s). Suppose -5*m - 275 = -3*a, 2*a - m - 202 + 21 = t. Does 15 divide a?
True
Let p = 0 + 5. Suppose -3*w + p*w = -4*m - 14, 5 = -m + w. Does 16 divide 4/14 + (m - 712/(-7))?
False
Let c(x) = -2*x**2 - 62*x - 22. Let g be c(-11). Let d = -250 + g. Is d a multiple of 84?
True
Suppose 55*w - 89*w = -13464. Does 2 divide w?
True
Let n(f) = -17*f**3 + 2*f**2 + 3. Let x be n(-2). Suppose 8*d = 5*d + x. Let z = 116 + d. Is z a multiple of 33?
True
Let v = -402 + 4640. Suppose -2*g + 2124 = -2*i, 4*g - v = 5*i - 3*i. Is g a multiple of 11?
False
Suppose -3*a - 1194 = -3*n, 4*n - 1869 = 2*a - 281. Is n a multiple of 12?
True
Let j(w) = w**3 - 6*w**2 - 18*w + 70. Let q be j(7). Let l = q + 66. Is 5 a factor of l?
False
Let r(q) = -5*q + 51. Let m be r(10). Is (-206)/((m - 4) + 1 + 0) a multiple of 14?
False
Suppose -5*s - v = 47, -2*v = -2*s - 18 + 4. Let m be 3/s + 580/12. Suppose m = k - 2*a, k + 5*a = 9*a + 58. Is 13 a factor of k?
False
Suppose -70 = -0*f - 14*f. Let w(d) = 44*d + 21. Is 9 a factor of w(f)?
False
Suppose -13*f = -141299 - 51563 + 14671. Does 9 divide f?
True
Let l be (-2 - (-3)/(-4))*(7 + -47). Suppose 0 = -l*f + 100*f + 3750. Is 25 a factor of f?
True
Does 53 divide (4371/403 - 11) + (-199320)/(-26)?
False
Let m be 3*-8*30*(-1)/4. Suppose -2*o = 4*o - m. Is 4 a factor of 10/o*(-72)/(-2)?
True
Suppose -4 = -s - 3*x - 1, x - 15 = -5*s. Suppose 2*y = w - 58, -3*w + 5*y + 186 = s*y. Is 6 a factor of w?
False
Suppose -d = 2*d - 3*m - 39, m - 23 = -2*d. Suppose 2*y + y = p - 8, -2*y - d = -4*p. Suppose -p*h = -145 - 219. Does 24 divide h?
False
Let k(j) = -9*j - 58. Let z be k(-7). Let n(i) = i**3 + 4*i - 4. Let w be n(3). Suppose -3*g = -z*u - 8*g + w, -26 = -2*u + 2*g. Is 10 a factor of u?
True
Let u = -2833 - -8352. Is u a multiple of 13?
False
Suppose 7*a - 16*a + 18 = 0. Suppose -a*s + s + x = -146, -s + 154 = 3*x. Is 35 a factor of s?
False
Let g(c) = 10*c + 164. Let o be g(-16). Suppose s + 110 = o*u, 2*s = 4*u - u - 80. Is 7 a factor of u?
True
Suppose 23650 + 10062 = 252*x - 224*x. Is x a multiple of 14?
True
Let m = 4970 + -4049. Is m a multiple of 11?
False
Suppose -3*b - 81 + 1686 = 0. Let n = b - 355. Is 10 a factor of n?
True
Suppose 0 = -4*f - 12, -3*p + 3*f + 7 = -4*p. Suppose 1158 = p*j + 3*s, 224 = j - 4*s - 377. Is j a multiple of 37?
False
Let a be ((6 - 4) + -11)*1. Is ((-34)/51)/(1/(15*a)) a multiple of 13?
False
Suppose -57*j + 63*j = -12. Does 21 divide ((-45)/j)/((-64)/(-2432))?
False
Suppose -43*y = -39*y + 256. Does 29 divide (-1618)/(-5) - (y/(-40) + -1)?
False
Suppose 9753 = p + 4*l, 5*p - 11406 = l + 37401. Is p a multiple of 55?
False
Let x be ((-4)/5)/(6/30). Let b be (-8)/(-9)*-123 + x/6. Let z = 9 - b. Does 40 divide z?
False
Let f = 108 - -152. Does 260 divide f?
True
Suppose 7151 = 5*o + 4*d - 1720, 5*o - 8867 = -3*d. Let l = -1183 + o. Does 17 divide l?
False
Let j be 16416/468 + (-1)/13. Let p = 26 + -22. Suppose -p*s + j = -21. Is 8 a factor of s?
False
Let w be (-84)/9*12/(-1). Suppose w - 108 = -s. Is ((-1)/(-2))/(s/(-136)) - 3 even?
True
Let z be (-4)/(-10) + 78948/430. Does 16 divide -4*z*-1 + 6/(-3)?
False
Let p be (-3)/(270/(-42) - -6). Suppose -4*a = -4*k + 83 - 31, 4*a = -k - p. Is 2 a factor of k?
False
Let p = -84 - -79. Let t be -5 - ((-3)/p)/((-1)/5). Is (13800/(-27))/(-5) + t/9 a multi