 = -3*n + n + 3*r, 2*n + 2*r - 54 = s. Is n a multiple of 3?
False
Let p(l) = l**2 + 6*l - 16. Let m = -7 - -11. Let h(u) = -u - 7. Let d be h(m). Is p(d) a multiple of 13?
True
Let d(l) = 6*l - 9. Let t(y) = -11*y + 19. Let x(g) = -7*d(g) - 4*t(g). Let h be x(9). Is (9 - 8)*h*6 a multiple of 13?
False
Let f(v) = -7*v + 3. Let s be f(0). Suppose -167 = s*l - 431. Does 22 divide l?
True
Let l be 6/((1/(-10))/(-1)). Let z be (9/(-5) - 25/(-25))*-5. Suppose -z*q - 12 = 0, -2*b + l = -0*b + 2*q. Is b a multiple of 11?
True
Let t = -1207 - -2363. Is t a multiple of 34?
True
Let i(q) = 447*q - 81. Is 18 a factor of i(3)?
True
Let f be 4/(-10) - 91/35. Let l be (-6 + 3)*f/(-3). Does 3 divide -6*l/(-12)*-2?
True
Suppose 14*y = 19*y - 835. Suppose 8*d - 4*d + a = 707, d - 3*a = y. Is 41 a factor of d?
False
Let b(x) = x**3 - 20*x**2 - 3*x + 87. Is 3 a factor of b(20)?
True
Let q(f) = -f**2 + 10*f - 5. Let t be q(9). Suppose a = 4*m - 17, -3*a + a - t*m + 2 = 0. Is (4/a)/((-14)/420) a multiple of 6?
True
Let s(t) = -t**3 + 4*t**2 + 3*t + 7. Let c be s(5). Let y = c - -4. Let o(i) = 19*i - 1. Is 18 a factor of o(y)?
True
Let b be 1/(3/((-18)/3)). Is 7 a factor of -2*(-5)/(3*b/(-24))?
False
Suppose -4*z = 3*a - 832, 31*z - 416 = 29*z + 3*a. Is z a multiple of 104?
True
Let i be 19/(-76) + (-25)/(-4). Suppose 22 = u - i. Is u a multiple of 6?
False
Let x = 11 + -2. Suppose 12*h - 42 = x*h. Is 4 a factor of h?
False
Let h = -1 + 5. Suppose -9*t = -h*t. Suppose 0 = 2*j - 3*j + 4*s + 65, -3*s = t. Is 19 a factor of j?
False
Let i be (-3)/((108/8)/(-9)). Suppose i*q + 8*l = 5*l + 68, q + 5*l = 20. Is 10 a factor of q?
True
Suppose 2*x + 272 = 5*x + 5*s, -368 = -4*x - 4*s. Suppose 0 = f + 13 - x. Does 24 divide f?
False
Suppose 0 = m - 574 - 192. Is m a multiple of 20?
False
Let f be -9*((-10)/3 - -3). Let d be 0 - (-3 - -3 - f). Is 7 a factor of d*69/9*1?
False
Suppose 5*r - 350 = 460. Does 2 divide (-4)/20 + r/10?
True
Is 165 + (24/(-18))/((-4)/18) a multiple of 16?
False
Let w be (-114)/(-22) - 26/143. Suppose 11 = 5*b + 3*u + 5, -w*b + 4*u = -27. Suppose -12 = 3*y, 0*d - b*d - 4*y = -26. Does 7 divide d?
True
Suppose -3*i - 3641 = -7313. Is i a multiple of 24?
True
Let j(v) = -15*v**2 + 10*v + 10. Let o(l) be the first derivative of 5*l**3/3 - 3*l**2/2 - 3*l + 10. Let b(p) = 3*j(p) + 10*o(p). Is 3 a factor of b(1)?
False
Suppose 5*l = 2*a - 127, 0*a + l = -a + 81. Let n = 1737 + -1641. Suppose 2*t + m = 86, -4*t + 3*m + a = -n. Does 5 divide t?
False
Let x(j) = -11*j**2 + 2*j + 1. Let s be x(-1). Let q be ((-3)/3)/(2/s). Suppose -4 = -q*k + 5*k. Does 2 divide k?
True
Is (-345)/(-92)*-4*(-24 + 0) a multiple of 8?
True
Does 2 divide 69/1 - (-222)/37?
False
Let t(y) = -11*y**3 + 11*y**2 + 5*y - 1. Is t(-4) a multiple of 11?
False
Suppose -2*x = -4*z + 3216, 2*z + 4*x = -x + 1596. Suppose -v + w = 4*v - 997, w = -4*v + z. Is 20 a factor of v?
True
Let p = -41 - -315. Suppose -3*m = -j - p, -4*j + 372 = 4*m - 2*j. Does 26 divide m?
False
Is 48 a factor of (-2)/(-15) - ((-155418)/90 + -1)?
True
Does 44 divide 565 + (-5)/(10/(-14))?
True
Does 5 divide (-34 - (0 + 1))*9/(-15)?
False
Let r = 3371 + -2404. Does 58 divide r?
False
Suppose 0 = 3*h - 2*g + 86, 0 = -3*h + 3*g + 2*g - 80. Let r be -1 - -8 - (-1 - -2). Is (100/h)/((-1)/r) a multiple of 20?
True
Suppose -44 + 14 = 3*n. Let i = -15 + n. Let u = 65 + i. Does 8 divide u?
True
Let u = 8 + -8. Suppose u*i - 16 = i. Let n = i - -28. Is 5 a factor of n?
False
Suppose 0*b + 3*b = 12. Suppose 0*p = -p - 5*n - b, -5*p - n - 68 = 0. Let f = p + 20. Is 6 a factor of f?
True
Let l = -3 + 6. Suppose l*w - 21 = -3*s - 0*s, -29 = -5*w + s. Suppose -5*b - 60 = -w*b. Is b a multiple of 20?
True
Let k(r) = r**2 - 6*r - 10. Let f be k(8). Let t(h) = -h**2 + 8*h - 9. Let q be t(f). Suppose 5*n + 4*x = 334, -3*x = -6*x + q. Does 14 divide n?
False
Let p = 19 - 19. Suppose -11*q + 12*q - 2 = p. Suppose -5*o + 26 = 4*c - 64, 2*c + 36 = q*o. Is 9 a factor of o?
True
Suppose 5*k - 21 = -6. Suppose k*y - y = 104. Is y a multiple of 35?
False
Let a(m) = -2*m + 20. Let g(z) = 2*z + 1. Let n be g(-3). Does 5 divide a(n)?
True
Let i = 193 + -186. Is i a multiple of 3?
False
Let b(l) = l**2 - 15*l. Let q be b(15). Let j(u) = -u - 3. Let o be j(-5). Suppose s - o - 21 = q. Is 5 a factor of s?
False
Let s(i) = 5*i + 4. Let n(l) be the first derivative of -l**4/4 + 2*l**3 + l**2/2 + 4*l + 4. Let h be n(6). Does 18 divide s(h)?
True
Suppose -6*t - 34 - 26 = 0. Let r be -1*2/(t/85). Let x = r + 37. Is x a multiple of 9?
True
Suppose 2*u = 2*p - 22, -79 = 3*p - 8*p - u. Is p a multiple of 2?
False
Suppose 2*k = 4*f + f + 1435, 5*f - 2825 = -4*k. Is 9 a factor of k?
False
Suppose -4*u = 2*u - 24. Suppose -u*m - 217 = -337. Does 3 divide m?
True
Suppose 4*a - 5*m - 65 = 0, 86 = 4*a - 0*a + 2*m. Is 465/(-6)*(-24)/a a multiple of 12?
False
Let m(c) = 2*c**3 + 15*c**2 - 6*c + 18. Let a be m(-8). Is 6 a factor of 4/6*(366/1)/a?
False
Let r be ((-6)/(-2))/(-6)*4. Let b = 7 + r. Suppose -2*f + 328 = 5*q, 0*q - b*q - 5*f = -340. Does 16 divide q?
True
Let n(f) = -21*f**2 + f. Let k be n(-1). Let c be (-84)/k - 38/(-209). Suppose 0 = -0*j - c*j + 72. Does 3 divide j?
True
Let i be (-23)/(4/(-6 - 2)). Suppose -5*g + 105 = 5*c, 3*c - i = c - 3*g. Does 9 divide c?
False
Let r(a) = 27*a - 1. Let h = 28 - 25. Let i be (-4)/(-3) + 2/h. Does 13 divide r(i)?
False
Let w be (-6)/(-42) + 632/(-14). Let h = -25 - w. Suppose 3*i + 2*c = 53, 0*c + 4*c + h = 0. Does 21 divide i?
True
Suppose 0 = 5*d - 5*r, r = -3*d + 6*r - 6. Let o = 247 + -148. Is (-16)/d*o/(-12) a multiple of 13?
False
Let v(c) = c + 9. Let n be v(-10). Does 3 divide 12 + (0 - (-2 + 0 - n))?
False
Let u = 940 + -865. Is 9 a factor of u?
False
Is 34 a factor of -1 - (14 - 7) - -445?
False
Let n be 2 + -5 + (2 - 3). Let b(q) = -13*q - 13. Is b(n) a multiple of 13?
True
Suppose -j - 2*j = -6. Suppose -4*l + 89 = -2*r - 51, -r = 3*l - 95. Suppose j*h - l - 13 = 0. Is 18 a factor of h?
False
Let m(k) = 10*k - 9*k**2 + k**3 - 8 + 0*k**3 - k. Let r be m(8). Suppose -i + 39 = 3*v, r = -3*i + 7*i + v - 123. Is 15 a factor of i?
True
Suppose 2*b + 2116 = 4*k, k - 4*k + 3*b + 1581 = 0. Does 9 divide k?
True
Does 5 divide (7 + -17)*(24/(-2))/3?
True
Let t(m) = m**3 + 6*m**2 - 2. Let r be t(-6). Let l be 1 - (100/r - 0). Let u = l + -31. Is 10 a factor of u?
True
Let k(u) = u + 3. Let f be k(-7). Is (-2 - (145 - f))*-1 a multiple of 12?
False
Suppose -2*q = -4*p + 3304, -3*p - 2*q + 2488 = -q. Does 47 divide p?
False
Let w(z) = 2*z + 46. Does 5 divide w(7)?
True
Let p = -351 + 439. Is p a multiple of 4?
True
Let c(z) = z**2 - 7*z + 3. Let h be c(7). Let o(d) = 11*d + 3. Let f be o(h). Suppose 0 = -4*u + u + f. Is u a multiple of 4?
True
Suppose 4*n + 31 = -5*f, -2*f + 0*n + 2 = -2*n. Let g(u) = -u**2 - 4*u - 4. Let k(l) = 1. Let y(s) = g(s) + 4*k(s). Is 3 a factor of y(f)?
True
Let z(r) = -21*r + 50. Let m(l) = -11*l + 25. Let i(d) = 7*m(d) - 4*z(d). Does 5 divide i(5)?
True
Suppose -3*w + 1615 = w - 5*n, 4*n + 401 = w. Suppose -w = 82*f - 87*f. Is f a multiple of 23?
False
Let y(f) = 2*f**2 + 4*f - 15. Let i(z) = z**2 + 1. Let l(b) = i(b) - y(b). Is l(-4) a multiple of 8?
True
Let n(g) = g**3 - 9*g**2 + g - 9. Let f be n(9). Suppose f = -3*q + q + 10. Suppose 0 = q*y + 39 - 379. Is 19 a factor of y?
False
Let k = 7 + 12. Suppose -q = -s - s + 20, 3*s + 4*q = k. Suppose 4*d = s*d - 185. Does 10 divide d?
False
Let a(q) = -q + 1. Let c be a(3). Let t be (283/c)/(1/(-2)). Suppose d + 4*d = 5*n - 335, 4*n - d = t. Does 18 divide n?
True
Does 18 divide (-13215)/(-35) + (-3)/42*-6?
True
Let j(p) = -2*p + 6*p - 3*p. Let q(g) = -g + 10. Let s be q(6). Is j(s) even?
True
Let i(l) = -l + 10. Let y be i(8). Suppose -22 = -y*k + 40. Is k a multiple of 11?
False
Suppose 10*w = 5*w + 360. Suppose -w - 168 = -4*y. Is y a multiple of 12?
True
Let z be ((-4)/(-5))/((-12)/(-1890)). Suppose -z - 14 = -7*o. Is 3 a factor of o?
False
Suppose 13*o = -3*o + 29168. Does 23 divide o?
False
Suppose -68 = 3*a - 38. Does 2 divide 35/21*(1 + (-26)/a)?
True
Let m = -67 - -95. Is (m/5)/((-5)/(-25)) a multiple of 14?
True
Let w = 95 - 265. Suppose 2*c = -165 - 45. Let x = c - w. Is 17 a factor of x?
False
Let d(r) = -r**3 + 3*r**2 + 2*r 