 5. Let r be a(5). Suppose -r - 14 = -u. Is 12 a factor of u?
True
Suppose -5*p = -3*g - 215 + 74, -p = 3*g - 21. Suppose -p - 3 = -b. Does 10 divide b?
True
Let n = 5 + -1. Does 6 divide (1 - -12) + (5 - n)?
False
Let i = 19 - 7. Let x(n) = n**2 - 5*n - 8. Let v be x(6). Let w = i - v. Is w a multiple of 14?
True
Suppose l - 19 = -5*h, 5*l + 6 = 1. Suppose 3*o + o - 148 = -2*f, 2*f + 3*o = 144. Suppose -3*k - f = -h*d, 0*k = -4*d + 2*k + 68. Does 16 divide d?
False
Let c(f) = -3*f**3 - 4*f**2 - 3*f - 12. Is c(-4) a multiple of 32?
True
Suppose 2 + 4 = 3*z. Suppose z*i = -0*i. Does 9 divide 29 + -3 + (i - -3)?
False
Let r(o) = -1 - 2 + 7*o**3 - 8*o**3 + 2*o + 6*o**2. Does 2 divide r(6)?
False
Is 42 a factor of 1002/8 + 36/48?
True
Let i = 21 - -2. Is 11 a factor of i?
False
Let y(p) = p + 3. Let m be y(2). Suppose m*s = -3*v + 12, s - v + 4 = 6*s. Does 16 divide (98 - s)/(2/1)?
False
Suppose 4*q + 3*z = z + 84, 21 = q - 2*z. Suppose j = u, 0 = -5*u - j - j - q. Let f(b) = -4*b + 2. Is 6 a factor of f(u)?
False
Is (1 + (-18)/4)*-38 a multiple of 14?
False
Let d(i) = 2*i - 2. Let v be d(4). Suppose n + 3*h = 2*h + 2, -v = -5*n - h. Let z = 8 + n. Does 4 divide z?
False
Suppose -3*h + 2 = -2*y + 7, -y - 1 = 2*h. Is 20 a factor of -3 - y*(-46)/2?
True
Suppose 3*d - 2*d - 21 = 2*x, -d - 9 = x. Let u(o) = -2*o - 3. Does 8 divide u(x)?
False
Suppose 5*l - 4*r - 71 - 241 = 0, 4*l = -3*r + 231. Is 12 a factor of l?
True
Let j(t) = t**3 - 11*t**2 + 10*t - 12. Let k be j(8). Let q = -74 - k. Is q a multiple of 25?
True
Suppose -4*t = -0 + 8, -3*r = 2*t - 23. Let z(b) = -8*b - b**2 - 5*b**2 - 2*b**2 + b**3. Is 8 a factor of z(r)?
False
Is 3 a factor of (0 - (-12)/4) + 12?
True
Let j be (-1 - -2)/((-2)/(-4)). Suppose -3*i + 20 = 2*a, -j*i = -0*a + a - 8. Is 8 a factor of a?
True
Let l = 5 + 20. Let f(v) = -4*v - 2. Let y be f(-2). Suppose -g = -y*g + l. Is 5 a factor of g?
True
Let z(b) = -2*b**2 + 6*b - 3. Let s be z(2). Is 24 a factor of 108 + s + (-68)/17?
False
Let c(t) = -t**3 + 6*t**2 + 7*t + 5. Let h be c(7). Suppose -h*x = -4*j - 43, -x - 4*x + 3*j + 41 = 0. Is 7 a factor of x?
True
Suppose l + 4*s = 362, -2*l - 4*s + 720 = -0*l. Does 13 divide l?
False
Let i = 5 + -7. Let q(n) = -n**3 + 2*n**2 + 4*n + 2. Does 5 divide q(i)?
True
Suppose 635 = -2*b + 1943. Does 8 divide 2/(-9) + b/27?
True
Let y = 12 + 164. Is 37 a factor of y?
False
Let r = -43 + 50. Does 7 divide r?
True
Suppose n - 5*n = -20. Suppose 0*r - 5*u + 38 = 2*r, 4*r + n*u - 76 = 0. Is r a multiple of 19?
True
Does 12 divide (118/(-4))/((-2)/4)?
False
Let n(d) = d**3 + 6*d**2 - 9*d - 7. Let x be n(-7). Let l(i) = -6*i + 9. Let h be l(x). Let u = h - -53. Does 10 divide u?
True
Is (-6 - -4)/(6/(-15)) a multiple of 5?
True
Suppose 0 = 4*n - 25 + 9. Is n a multiple of 4?
True
Suppose 0*d + l - 49 = -d, -3*d + l + 127 = 0. Is 13 a factor of d?
False
Let p(g) = -5*g + 5*g + 6*g + 6*g. Let a be p(3). Suppose 64 + a = 4*v. Is v a multiple of 13?
False
Let g(j) = 3 + 3*j + 3 + 2 - 6. Let s = 16 + -11. Is g(s) a multiple of 8?
False
Let g be 19 - 1 - 2*-1. Suppose 2*b - g = 6*b. Is (b - -2)*40/(-3) a multiple of 20?
True
Let s = 6 + -7. Let f(g) = 13*g**2 - 1. Is f(s) a multiple of 3?
True
Let c(d) = -d**2 - 2*d + 2. Let i be c(-2). Suppose -7 + 1 = 3*l, -i*w = -3*l - 64. Is 12 a factor of w?
False
Let d be (-1)/(-2) + 35/14. Suppose 3*h - 15 + d = 0. Suppose 0 = 3*l - 2*l - h. Is l a multiple of 2?
True
Let n(u) = 3*u**2 - 2*u + 3. Suppose -z = 5*t + z - 23, -4*z = 5*t - 31. Is 12 a factor of n(t)?
True
Let m(b) = -17*b + 1. Let f(l) = -1. Let o(s) = -3*f(s) + m(s). Suppose -18 = 2*h + n - 5*n, -5*n = 4*h - 3. Is o(h) a multiple of 19?
False
Suppose -3*f = -4*n - 53, 2*f = -5*n + 27 - 7. Let v = 0 + f. Is 15 a factor of v?
True
Suppose i = 5*i. Suppose 3*x + 2*x = i. Let t = 10 - x. Does 10 divide t?
True
Suppose -4*o = p - 291, 5*o - 4*p - p = 345. Is 18 a factor of o?
True
Let q be 237/6 - 2/(-4). Suppose -2*h + q = 18. Is 8 a factor of h?
False
Let x(w) = -w**3 + 7*w**2 - 5*w - 6. Let s be x(6). Let i = s - 2. Is -1 + i + 1 + 32 a multiple of 11?
False
Let n(j) = -2*j - 8. Let p be n(-6). Let t be 273/(-11) + p/(-22). Is (3 - 3) + (-1 - t) a multiple of 8?
True
Let i(b) = -32*b - 1. Let j be i(-1). Let z = j - 21. Does 5 divide z?
True
Let f(o) = -o + 4. Let t be f(3). Let w = t - -1. Does 6 divide w/(-11) - 136/(-22)?
True
Suppose -5*w + 439 + 481 = 0. Suppose 5*i - w = i. Is 18 a factor of i?
False
Let b = 11 - -25. Is 5 a factor of b?
False
Let k(j) = j**2 - 10*j - 11. Let s be k(12). Suppose 4*x - s = p, 0 = -p + 6*p + 4*x - 31. Does 3 divide p?
True
Let s = -33 - -35. Is s a multiple of 2?
True
Suppose 11*m = -0*m + 297. Is m a multiple of 27?
True
Let s = -43 - -55. Is s a multiple of 4?
True
Is 6 a factor of 33 + -1*1 + 90/(-30)?
False
Let u = -17 + 13. Let g(s) = -3*s - 2*s**2 + 1 - s**3 - s**2 - s**2. Does 13 divide g(u)?
True
Let w(k) be the second derivative of -k**5/20 - k**4/2 - 7*k**3/6 - 5*k**2/2 - 6*k. Is w(-5) a multiple of 5?
True
Let f = 175 + -82. Does 13 divide f?
False
Suppose 4*d - 93 = -13. Suppose -m = -4*h - 0*h - 16, -5*h - 3 = 3*m. Suppose 0*f = -m*f - d, 0 = -2*u + 3*f + 25. Is u a multiple of 4?
False
Let g(i) = 4*i - 4. Let o(f) = 12*f - 13. Let r(b) = -11*g(b) + 4*o(b). Let k be r(6). Suppose w - 46 = -k. Does 15 divide w?
True
Suppose -2*f + 4*r = 10, 12 = 3*f + r - 8. Suppose f*t - 85 = -10. Is t a multiple of 6?
False
Suppose -2*g + 4*b + 40 = 0, 3*g - 40 = -0*b + b. Let i(v) = -v**3 + 13*v**2 - 12*v + 5. Does 2 divide i(g)?
False
Let n(x) = -x**2 + 7*x - 5. Let i be n(5). Let u = 10 - 6. Suppose 2*b - 51 = -2*p - b, -u*b + 110 = i*p. Does 10 divide p?
False
Suppose 5*r = -0*r. Suppose -d + 3*d = r. Suppose d*g = -g + 17. Is 17 a factor of g?
True
Let d = -12 + 32. Does 9 divide 1*5*104/d?
False
Let v be (-47)/(-2) + 1/2. Suppose 0*g = g - v. Is g a multiple of 9?
False
Let y = 96 + 131. Is y a multiple of 32?
False
Suppose -4*f + 8*f - 84 = 0. Suppose -3*d + 9 = 4*w, -2*d - f + 4 = -5*w. Does 13 divide (-1)/(-3) + 77/w?
True
Let x(u) = -u - 1. Suppose 1 = v + 6. Let a be x(v). Suppose -3*y = -5*t - 49, -a*t - 4 - 4 = 0. Does 13 divide y?
True
Let r be -2*(-3)/(-6)*1. Is 14 a factor of 14 - (r - (2 - 3))?
True
Does 20 divide -6*(268/(-12) - 1)?
True
Let w(l) = l - 6. Let d be w(8). Suppose 7*n - d*n + 1 = -2*j, n - 2*j - 7 = 0. Let t(p) = 23*p**2 + 2*p - 1. Does 18 divide t(n)?
False
Suppose 4*g + 22 = -2*w, 0 = 2*w - 5*w - g - 8. Is (-136)/(-32) - w/(-4) a multiple of 4?
True
Suppose 5*f - 3*z - 779 = 0, -3*f = 2*f - z - 773. Is f a multiple of 22?
True
Suppose -5*h + 605 = -3*y, 4*h - h + 4*y - 392 = 0. Does 14 divide h?
False
Let w(y) = 19*y - 42. Is 6 a factor of w(5)?
False
Let d(c) = c**2 + 4*c - 22. Is 3 a factor of d(5)?
False
Let a(r) = r**2 + 7*r + 6. Let s be a(-5). Let c be (-281)/(-4) - (-1)/s. Suppose 5*z = -0*z + c. Is 7 a factor of z?
True
Let f(c) = c**2 + 10*c + 7. Let k be f(-7). Let u be (-8)/(-28) - 10/k. Let a(d) = 25*d + 1. Is a(u) a multiple of 13?
True
Let r be 8/(-20) - 44/(-10). Suppose -r*x = -12, -2*m + x = -3*x + 6. Suppose -f + m*l + 30 = -0*f, -5 = f + 4*l. Does 5 divide f?
True
Suppose -5*n + 3*d = -d - 22, -16 = -2*n + 4*d. Is -1 - (0 - 24/n) a multiple of 10?
False
Let q(c) = 11*c + 16. Is q(6) a multiple of 8?
False
Let r(h) = -26*h - 2. Does 19 divide r(-3)?
True
Let y be 4*(-3)/(-24)*2. Suppose 2*v = 3 + y, 4*l - 122 = 3*v. Is l a multiple of 17?
False
Let n be (13 - 5)*2/4. Suppose 3 + 1 = n*m. Suppose w + 2*w + 4*l = m, -5*l = 5*w - 5. Is w a multiple of 2?
False
Let d(m) = 3*m**3 - 4*m**2 + 9. Does 13 divide d(3)?
False
Let d(k) = k + 9. Let b be d(-6). Suppose 2*x = -2*x + 4*c + 24, 0 = b*x - 4*c - 16. Does 8 divide x?
True
Let m(n) = 14*n - 3. Let o be m(2). Suppose -113 - o = -2*l. Suppose -92 = -4*u + f, 3*u - 3*f = f + l. Is u a multiple of 14?
False
Let y = 13 + -9. Suppose -10 = 3*r - y*r. Does 5 divide r?
True
Let b = -287 - -404. Does 16 divide b?
False
Let r = -1 + -3. Let f(p) = -2*p**3 - 5*p**2 - 4*p + 1. Is f(r) a multiple of 13?
True
Let g(m) = 2*m + 10. Let k(a) = -a - 9. Let o(v) = 3*g(v) + 4*k(v). Let t be o(7). Suppose d - c - 5 = 0, -3*d - 28 = -t*d + 4*c. Is d a multiple of 7?
False
Let c(n) 