 = b - -43. Is 20 a factor of (-666)/t + 4/(-22)?
True
Let w(u) = -9*u**2 - 4*u - 5. Let k be w(-1). Is (-3 - -8)*(432/k)/(-3) a multiple of 4?
True
Suppose 126 = -70*a + 77*a. Is a a multiple of 6?
True
Suppose 3*m = -k - 4, 0*m + 12 = 3*k - 3*m. Suppose -k*n = -2*u - 48, n + u - 9 = -u. Is 10 a factor of n?
False
Let w = -115 + 118. Let u(m) = 3*m**2 + 5*m - 6. Does 4 divide u(w)?
True
Suppose 0*z - 3*b = -3*z + 33, -4*z = 4*b - 36. Is 12 a factor of -3 - 45/z*(1 + -7)?
True
Suppose 0*c - 36 = -5*c - 4*r, 0 = -3*c + r + 8. Suppose c*u - 9*u - 280 = 0. Let i = -32 - u. Does 8 divide i?
True
Suppose 0*r + 2*r = 5*h + 200, 4*r - 400 = 2*h. Does 10 divide 4/(16/r) + -2?
False
Let u(p) = -p**2 - 9*p - 6. Let c be u(-8). Suppose k - 2*x = c*k - 16, 0 = 5*x - 5. Is k a multiple of 4?
False
Let s(g) = g**2 + 9*g - 6. Let v be s(-9). Let u(y) = -y - 6. Let i be u(v). Suppose 5*l + 0*l - 150 = i. Does 15 divide l?
True
Let b(f) = 19*f**2 + f - 2. Let w(x) = x**3 - 3*x**2 + 3*x - 1. Let p be w(2). Is b(p) a multiple of 9?
True
Let n(s) = -s**2 - 5*s. Let z be n(-6). Let h(g) = 14*g**2 - 4*g + 3. Let o be h(1). Let v = o - z. Does 5 divide v?
False
Let j(u) = -u**2 - 11*u - 6. Suppose 4*p - 2 = -r + 5, 2 = -2*r. Suppose 2*l = -2*b - 6, 5*b + l = p*l - 27. Does 8 divide j(b)?
True
Suppose 3*n + 8 = 5*n. Suppose 4*x + 3*x - 518 = 0. Suppose 5*c - x = -n. Is c a multiple of 10?
False
Is 218/4 + 15/(-60)*-10 a multiple of 19?
True
Let q be ((-10)/4)/(3/((-18)/3)). Suppose q*s - 55 = 2*n + 210, -212 = -4*s + 2*n. Does 25 divide s?
False
Let t(c) be the third derivative of c**6/24 - c**5/60 + c**4/24 - c**3/2 + 21*c**2. Is t(3) a multiple of 21?
True
Suppose 3*x = -a + 5, -5*a + 3*x + 36 = 7*x. Let c = a - 8. Suppose c = -3*m - 63 + 165. Does 12 divide m?
False
Let a be (-3 + 0)/(33/(-44)). Let w(m) = -m + 11. Is w(a) a multiple of 4?
False
Let c = 430 + -148. Is 3 a factor of c?
True
Let s = -41 + -13. Let k be -1 - (-8)/(-6)*15/10. Is 16 a factor of -3 + 3 + (k - s)?
False
Let n(w) = 11*w - 5*w + 6 + 0. Suppose -j - 5*m = 11 - 1, 0 = j + 3*m + 4. Is 28 a factor of n(j)?
False
Let n(v) = v. Let u(x) = -56*x. Let y = -21 - -53. Let j(z) = y*n(z) + u(z). Does 12 divide j(-3)?
True
Let i(v) = 2*v**2 + 10*v + 14. Let s be i(-6). Suppose -n + s - 9 = 0. Is n a multiple of 16?
False
Does 3 divide 2 - (-8 + -194 - 1)?
False
Let h(x) = -2*x**3 + 107*x**2 - 39*x - 64. Is h(53) a multiple of 14?
False
Suppose -526 = -q + 3*x, 9*q - 5*x = 6*q + 1570. Does 10 divide q?
True
Suppose -1404 = -7*x + 1620. Is 16 a factor of x?
True
Suppose x - 5*q = -33, 0 = -2*x + 4*q - 21 - 15. Let z be 21/(-6) + (-4)/x. Does 15 divide (0 + 27)*(-5)/z?
True
Suppose 173 = 12*o - 3859. Does 28 divide o?
True
Suppose -50 = -z - 3. Let i = 83 - z. Is 12 a factor of i?
True
Let p = -15 - -17. Suppose -174 = -2*d - 3*x, -p*x - 150 = -2*d + x. Is 13 a factor of d?
False
Suppose 0 = 5*i - 2 - 18. Suppose -11 = i*b - 147. Does 34 divide b?
True
Suppose 4*c - 6 = 3*l, 0*c = 3*c. Let t be (1 - l) + -1 + -1. Suppose -n + 13 = -t. Is 14 a factor of n?
True
Suppose -2*g = 4*z - 1980, 0*g + 2*g = -5*z + 1979. Does 31 divide g?
True
Suppose w + t + 69 - 216 = 0, -5*t + 439 = 3*w. Is w a multiple of 3?
False
Let k(d) = d**2 + 20*d - 26. Let f = -84 - -62. Does 9 divide k(f)?
True
Let m = 2573 - 1479. Does 14 divide m?
False
Let p(j) = -11*j**3 + j**2 + j + 2. Let f(a) be the second derivative of -a**4/12 + 3*a**3/2 - 8*a**2 - 3*a. Let k be f(7). Is p(k) a multiple of 19?
False
Suppose -19*f = -23*f + 2412. Does 32 divide f?
False
Let z be 107 + 0/(-3 - -5). Suppose 2*k - 142 = 2*m, 2*m + 3*m = 10. Suppose -5*w = -z - k. Does 18 divide w?
True
Let q(p) = p**2 - 24*p - 33. Let k be q(27). Let i = k + -21. Is 2 a factor of i?
False
Suppose -r - 2*p - 13 + 80 = 0, 3*p + 72 = r. Let y be r/6*1*2. Suppose 37 = 3*j - y. Does 10 divide j?
True
Is (-3)/6*-10 - 27/(-3) a multiple of 14?
True
Let b(r) = 8*r**2 - 4*r + 3. Let d be b(-4). Suppose -n - 2 = 1, 5*n = -2*s + d. Is s a multiple of 14?
False
Let x = 224 - 227. Suppose -3*c + 5*c = 4*r - 74, -2*r - 5*c + 43 = 0. Let s = x + r. Does 8 divide s?
True
Suppose -5*f = -5, v + 2*f - 26 - 16 = 0. Suppose -3*y + 52 + 3 = 4*m, -v = -3*m - y. Does 4 divide m?
False
Let j(o) = -o**3 - 46*o**2 + 47*o + 35. Is j(-47) a multiple of 7?
True
Suppose -5*i - 4*j + 248 = 0, -4*j = 2*i + 31 - 123. Is 26 a factor of i?
True
Let z = 142 - 106. Is z a multiple of 3?
True
Let a(n) = -6*n - 18. Let v be a(8). Let q = 32 + v. Let y = q + 72. Is y a multiple of 11?
False
Let x = 182 - 48. Does 4 divide x?
False
Suppose -3*s - 3*q + 1476 = 0, -s + 0*s + 489 = 4*q. Suppose -s = -5*w - 83. Is 41 a factor of w?
True
Suppose 5*n = -5*k + 5, -2*n - 3*k = -6*n + 18. Let q be (n - -12) + -2 - -1. Is 19 a factor of q/(1 - (-2)/(-4))?
False
Let z(d) = -d**3 - 10*d**2 - 12. Let x be z(-10). Is 3*2/(-36) - 530/x a multiple of 44?
True
Let z be 1/3*(39 + 6). Let k(m) = 9*m - z*m**2 + m + m**3 + 8 + 6*m. Is k(14) a multiple of 12?
True
Let f = -5 + 5. Suppose -3*a + 2*s - 81 = f, a + 5*s + 1 = -9. Let c = 63 + a. Is 7 a factor of c?
False
Let t(y) = y**2 + 3*y - 1. Let r be t(-3). Let s = 40 + r. Does 9 divide s?
False
Let k(p) = -p**2 + p + 40. Let o be k(7). Let r(d) be the second derivative of -2*d**3/3 + d**2/2 - d. Does 9 divide r(o)?
True
Let w(l) = l**3 - 7*l**2 - 12*l - 37. Is w(11) a multiple of 9?
True
Suppose 4 = 3*w + 13, 713 = v + 5*w. Is v a multiple of 19?
False
Suppose -d = -0 - 3. Does 17 divide -1 + (-171)/(-2) + d/6?
True
Suppose -3644 = -4*h - 4*b, 2*b + 31 - 23 = 0. Does 31 divide h?
False
Let z(g) be the third derivative of -g**7/720 - g**6/90 + 3*g**5/20 - 7*g**2. Let u(c) be the third derivative of z(c). Does 11 divide u(-7)?
False
Suppose 6*t - 4*t = -5*p + 4182, -5*p = -4*t + 8394. Is t a multiple of 50?
False
Let b = 2564 - 2354. Does 7 divide b?
True
Suppose -3*h + 42 = n, 2*h - 33 = 5*n - 175. Let w be (-312)/n - (-4)/10. Let m = w - -14. Is m a multiple of 4?
True
Suppose 0 = c + 2 - 8. Let z(h) = -h**2 + 9*h - 11. Is 7 a factor of z(c)?
True
Let x(i) be the third derivative of 21*i**4/8 + 5*i**3/6 + 19*i**2. Is 16 a factor of x(1)?
False
Let y be (-4)/(-6)*(-150)/(-20). Suppose -y*k + 4*k = 3*h - 51, 2*k - 3*h = 75. Is 2 a factor of k?
True
Let p = 2815 + -979. Is 34 a factor of p?
True
Let f = 378 + -58. Is 40 a factor of f?
True
Let w(d) = d**3 + 8*d**2 - 7*d + 19. Let n be w(-9). Suppose 1 - 19 = -3*p. Let h = n + p. Does 3 divide h?
False
Is 51 a factor of ((-13)/(520/2568))/(2/(-10))?
False
Let a(g) = 14*g**2 + 5*g - 11. Is 55 a factor of a(2)?
True
Suppose 79*u + 178 = 78*u. Let a = u - -343. Is a a multiple of 13?
False
Suppose -2*p = -0*p + 180. Let s = 143 + p. Is s*(-1 - (-4 - -2)) a multiple of 7?
False
Let x = -6 - -5. Let i be 12*21 + x + 2. Let s = i + -158. Is 16 a factor of s?
False
Is 11 + -6 - -10*31 a multiple of 28?
False
Let p(h) = 7*h + 6. Let u be p(2). Suppose -a + u + 27 = 0. Is a a multiple of 28?
False
Let v be 4/2 - 1710/(-19). Let n be (-2 + 1)*(0 - 2). Suppose l - 4*l + 42 = 2*a, n*l = -4*a + v. Does 15 divide a?
False
Let t = -1044 - -3094. Is 9 a factor of t?
False
Let s(t) = 18*t**3 + 6*t - 4. Let r be -6 + 2 + -6 + 7 - -5. Does 38 divide s(r)?
True
Let r(p) = 15*p + 3*p**2 + 1 + 0 - 18*p - 4*p**2. Let m be r(-10). Let g = -17 - m. Is g a multiple of 13?
True
Suppose 0*t + 22 = -3*a + t, 65 = -5*a - 4*t. Does 21 divide 22/99 + (-268)/a?
False
Is 23 a factor of 6/6 + 449 + 4?
False
Let r(b) = 239*b**2 - 2*b + 1. Is 8 a factor of r(1)?
False
Is ((-49)/(-7))/(7/126) a multiple of 7?
True
Let k(y) = 2*y + 14. Let d be k(-6). Let c(j) = -d*j + 3*j + 15*j**2 + 20*j**2. Is c(1) a multiple of 6?
True
Is (-2590)/(-2) - -4 - 3 a multiple of 27?
True
Let r(f) = -20*f**2. Let d be r(1). Let i = -15 - d. Suppose i*h - 200 = 5*m, 4*h + m + 46 - 196 = 0. Is 19 a factor of h?
True
Let f(l) = -2*l. Let g(c) = -c**2 - 10*c + 2. Let r be g(-10). Let i = -6 + r. Is f(i) a multiple of 5?
False
Let d = 5 + -19. Suppose -4*x - 22 = -2*m, 3*x = -m + 2*x + 26. Let a = m + d. Does 7 divide a?
True
Suppose 1043 - 499 = f. Does 17 divide f?
True
Suppose 0 = -3*m + 3, -2*h = -7*h - 2*m + 22. Suppose h*z = -z + 10. Does 13 divide z - (-66 - 2 - 0)?
False
Suppo