 - 4. Let k be r(-9). Let n be 12/(-9)*(-2 + k). Is -4*(2/n + 0) a multiple of 2?
True
Is 22 a factor of -3 + (-138)/(-3) - 1?
False
Let z be (-621)/7 + (-10)/35. Let c = z - -132. Does 14 divide c?
False
Suppose 1 = -2*w + h, 2*h = -5*w - 2*h - 22. Is 12 a factor of (-49 - -6)*2/w?
False
Let z(a) = 8*a - 1. Is z(1) a multiple of 7?
True
Let w = 18 + 54. Does 18 divide w?
True
Let i be 3/2*(-350)/(-15). Suppose i + 11 = l. Is l a multiple of 23?
True
Suppose -4*t = 3*q - 6*t - 211, 2*t = 4*q - 278. Suppose 3*c - 33 = -3*l, 3*l - c + q = 8*l. Does 14 divide l?
True
Let d be (6/(-10))/((-4)/120). Is 5 a factor of 3/2*120/d?
True
Let j(n) = -4*n**2 + n - 3. Let r be 6/15*(7 - 2). Let i(p) = -13*p**2 + 2*p - 9. Let f(u) = r*i(u) - 7*j(u). Is f(5) a multiple of 19?
True
Suppose 0 = -o - 6 + 3. Let n = o - -11. Does 6 divide n?
False
Suppose -7*g = g - 416. Does 13 divide g?
True
Let j(s) = 36*s**2 - s + 2. Let u be j(-2). Suppose -u = -a - 3*a. Does 10 divide a?
False
Let l(t) = 63*t**3 - t**2 + 1. Suppose 5*a - 3 = 2. Is 20 a factor of l(a)?
False
Suppose -i + 163 = 4*i - 2*t, -143 = -5*i - 3*t. Does 4 divide i?
False
Suppose 3*i - 4*v = 222, 0*v - 370 = -5*i + 2*v. Suppose 3*h = -2*g + i, 0 = -4*h - 4*g + g + 97. Does 22 divide h?
False
Let v(s) = s**3 - 4*s**2 - 5*s + 5. Let b(g) = g + 5. Let w be b(0). Let l be v(w). Suppose -l*d + 4*m + 57 = 0, -15 = 4*d - 5*d + 2*m. Does 4 divide d?
False
Let x(g) = g**3 - 7*g**2 - 9*g - 7. Is 5 a factor of x(9)?
False
Let d = 1 + -1. Let t be 0 + 1 - d - -4. Suppose -t*h + h = -8. Does 2 divide h?
True
Let q = 1 - 5. Let s be (-42)/q*4/6. Let j(k) = k**3 - 7*k**2 + k - 2. Is 3 a factor of j(s)?
False
Suppose 5*o - 2*o = 0. Suppose 7*b - 3*b = -5*c + 19, b + 4*c - 2 = o. Does 6 divide b?
True
Suppose 4*o + 48 = -5*k, -2*k - 1 = 7. Let f = 10 - o. Is f a multiple of 6?
False
Suppose -40 = 2*s + 2*s. Is s/(-25) + (-58)/(-5) a multiple of 12?
True
Suppose -4*p + 7 + 9 = 0. Does 4 divide p?
True
Let a(f) = -13*f**3 + f**2 - f - 1. Is 6 a factor of a(-1)?
False
Let w = 161 - -77. Is w a multiple of 34?
True
Suppose -s + 4 = -2*t, -2*t + 6*t = 0. Suppose g + 5*b = -s*g + 175, 4*g = 2*b + 122. Does 8 divide g?
True
Let q = -5 + 7. Is 1/q - (-25)/2 a multiple of 7?
False
Let u = 38 - 14. Is u a multiple of 24?
True
Let j(c) = 65 - 65 - 11*c. Does 10 divide j(-4)?
False
Let i = 54 - -313. Does 47 divide i?
False
Is 23 a factor of 27/12 - 2 - 3115/(-20)?
False
Let t be ((-20)/(-15))/(2/(-6)). Let o be (1 + t)*(-8)/12. Suppose z - o*z + 27 = 0. Is 14 a factor of z?
False
Suppose -4*v = -0*v. Suppose -a = 0, v*n - n + 13 = a. Is 4 a factor of n?
False
Suppose 13*m - 10*m = 63. Does 21 divide m?
True
Suppose 3*q + 2*q - 450 = 0. Does 19 divide q?
False
Suppose 5*z = w + 6, 5*z + w = -2*w + 22. Suppose 3*k - 15 = z*k. Is 3 a factor of k?
True
Is 7 a factor of (-6)/(-21) - 282/(-42)?
True
Is 14 a factor of 6/2 + (0 - -39)?
True
Let u = 1 + 5. Let t = u - 4. Suppose -12 - 16 = -t*d. Does 14 divide d?
True
Let j = -6 - -15. Suppose f - 20 = -j. Does 4 divide f?
False
Is (4 + 18)*5 - -1 a multiple of 35?
False
Let q(r) = 4*r - 14. Is q(12) a multiple of 15?
False
Let k = 126 - 76. Does 12 divide k?
False
Let n = -16 - -23. Let t = n + -4. Suppose -10 - 5 = -t*u. Is u a multiple of 2?
False
Let k(a) = 8*a + 8. Let m be k(8). Suppose 48 = 5*v - m. Does 12 divide v?
True
Suppose -13 = -q - 3*z, 2*q - 3*z + 6 = -z. Let l be -1 + q - (-51 - -4). Suppose -2*c - 2*s + 8 = -14, -4*s = -3*c + l. Does 11 divide c?
False
Suppose 5*t = -0*t - 900. Let g = -90 - t. Does 18 divide g?
True
Let s(o) = -o**3 + 4*o**2 - 2. Let a be s(4). Let p be 29/(-4)*(-4)/1. Let b = p - a. Is 12 a factor of b?
False
Let g(r) = r**3 + 13*r**2 + 11*r - 1. Let a(l) = 2*l**3 + 27*l**2 + 22*l - 1. Let k(z) = 3*a(z) - 7*g(z). Is k(-9) a multiple of 5?
False
Suppose 0 = 3*i + 4*y - 48, -5*y - 115 = -i - 4*i. Let k = -4 - -7. Suppose 0 = 3*v - k, -b + v + 10 = -i. Is 20 a factor of b?
False
Let u = 4 + -2. Suppose 3*x + 4*w - 45 = -2*x, 0 = u*w - 10. Suppose -f = -l + 25, 5*l + x*f - 46 = 129. Is 8 a factor of l?
False
Let p(f) = f**3 - 9*f**2 + f + 10. Let a be p(9). Suppose 4*k = 5*k - a. Does 19 divide k?
True
Let o be 1 - (-1 + 2) - 0. Let s(d) = 8*d**3 - 2*d**2 + d. Let b be s(1). Suppose o*n = -n + b. Is n a multiple of 5?
False
Let n be 4*1/6*-12. Suppose -l - 37 = h - 0*h, 5*h = -4*l - 180. Let j = n - h. Is 12 a factor of j?
True
Let p = -4 + 3. Let a be p/(-4) + (-79)/(-4). Let z = a - 10. Is 4 a factor of z?
False
Is 3/1 + 62 - 2 a multiple of 24?
False
Let v = 139 - 262. Let n = -50 - v. Does 23 divide n?
False
Suppose 0 = 2*v + v - 57. Suppose -2*x + v = -x. Is x a multiple of 7?
False
Let i be (2 - 2)/(1*2). Suppose i*d - 53 = -d. Does 16 divide d?
False
Suppose q = -2*t - 25, -5*t + 3*q - 5*q - 62 = 0. Let n(h) = -h**2 + 3*h + 1. Let k be n(3). Is 12 a factor of (-59 - k)*t/30?
True
Let r(k) = k**3 + 8*k**2 + 6*k - 2. Let i be r(-6). Let n(x) = -x + 19. Let c be n(15). Suppose c*p - 82 = -i. Is p a multiple of 6?
True
Is (12 - 13) + -1 + 34 a multiple of 32?
True
Let m(i) = i**3 + 6*i**2 - 6*i - 3. Let b be m(-6). Let u = b + 1. Suppose 14 = 3*x - u. Is x a multiple of 8?
True
Suppose v + 2 = -4. Let z = 5 - v. Is z a multiple of 8?
False
Is 15 a factor of (37/2)/(-7*3/(-252))?
False
Suppose -2*z = -0*z - 6. Let p = z - 1. Is 11 a factor of (-4)/(p/(-11) + 0)?
True
Let m(w) = -w**3 + 9*w**2 + 13*w + 4. Let h be m(9). Suppose -2*p = p - 4*d + 271, -2*p = 3*d + 158. Let u = h + p. Does 18 divide u?
True
Is (-4)/10 - (-378)/45 a multiple of 4?
True
Let h = 116 - 80. Let l = h - 18. Does 7 divide l?
False
Let y = -10 + 29. Suppose 2*s + 5*h = s - 23, 3 = -5*s + 3*h. Let r = s + y. Does 11 divide r?
False
Suppose 3*t = 3*p + 3, -7*p + 19 = -2*p + 3*t. Suppose -2*i + 20 = 4*w - 5*i, -3*i = p*w + 8. Suppose -w*m = -0*m - 20. Is 4 a factor of m?
False
Suppose 0*x + 4*x = 16. Suppose z - 85 - 3 = -5*n, x*n - z = 74. Is n a multiple of 10?
False
Does 8 divide (-618)/(-11) - (-16)/(-88)?
True
Let l(i) = 31*i**2 + i - 1. Let f be l(-2). Suppose 5*q - f - 44 = 0. Is q a multiple of 6?
False
Let g(r) = -1 - 5 - 2*r + 0 - 7. Does 4 divide g(-11)?
False
Let t(a) be the second derivative of 2*a + 0 - a**2 - 1/3*a**3. Is t(-7) a multiple of 12?
True
Let s = -6 + 9. Suppose -s*g + 0*g = -3. Is 19 a factor of 3/(1/g) + 16?
True
Is 42 a factor of (-6)/3*(-107)/2?
False
Is 45*-6*3/(-6) a multiple of 32?
False
Let k(b) = -b**3 - 3*b**2 + 2*b. Let d be k(-3). Let m = 15 + d. Is m a multiple of 9?
True
Let x = 3 - -1. Suppose 0 = 4*s + n - 32, n + 2*n = x*s - 32. Is s a multiple of 8?
True
Suppose 3*n - 49 - 53 = -2*x, -3*n + 102 = -5*x. Is n a multiple of 9?
False
Suppose 4*r - c = -0*c, 0 = -5*r - 2*c. Suppose 0 = -a - 3*a - 2*p + 42, -3*a - 4*p + 19 = r. Does 13 divide a?
True
Suppose -5*p + 100 = -0*w + 5*w, 3*p - w - 48 = 0. Is p a multiple of 6?
False
Let a = 63 - 47. Does 8 divide a?
True
Suppose -d + 256 = 4*f, -3*f + 2*d + 192 = d. Is f a multiple of 16?
True
Suppose -3*r + a = -7*r + 120, 3*a = 0. Does 25 divide r?
False
Let h(b) = 2*b**3 + 2*b**2 - 3*b - 5. Let k(d) = -6*d**3 - 7*d**2 + 8*d + 16. Let f(w) = -7*h(w) - 2*k(w). Is 14 a factor of f(-3)?
True
Let u be ((-6)/4)/(18/(-48)). Let t = u + 15. Is t a multiple of 7?
False
Let b(f) = -f**3 + 8*f**2 + 22*f - 6. Does 3 divide b(10)?
False
Let l = -84 - -126. Does 14 divide l?
True
Let w be 9/(-12)*2*-2. Suppose x = w*x. Let o(u) = u**2 - u + 12. Is o(x) a multiple of 6?
True
Let m(x) = -x**2 - 4*x - 4. Let n be m(4). Does 15 divide ((-5)/3)/(2/n)?
True
Let a = 54 - -107. Is a a multiple of 23?
True
Let y(g) = 4*g - 1. Let c be y(1). Let l be 2/c - (-424)/12. Suppose -4*i = 4*v - l, 3*i - 3*v - 20 = v. Does 4 divide i?
True
Let b = 62 + -2. Suppose -61 = 4*v - 8*v - 5*p, -4*v + b = 4*p. Does 7 divide v?
True
Let f = 3 - 3. Suppose -6*k + 5*k + 41 = f. Suppose -3*v + 2*p + 47 + k = 0, -4*p = 2*v - 32. Does 10 divide v?
False
Let m = 12 + 48. Suppose 13 = -w + m. Suppose 0 = n + 4*n + 2*q - w, -2*q - 8 = 0. Does 4 divide n?
False
Let i(x) = -2*x**2 + 2*x + 4. Let w be i(3). Let a = 11 + w. Suppose a*c = -2*o + 135, -3*c - 3*o + 45 = -2*c. Does 21 divide c?
False
Let w = -61 + 71. Does 4 divide w?
False
Let a =