or of (-2 - -21) + 2 + 4?
False
Let j(s) = -4*s + 2. Let x be j(-7). Let f be x/20*4/(-3). Let p(h) = h**3 + 3*h**2 + 2. Is p(f) a multiple of 6?
True
Let j(m) = -m**3 + m**2 + 3*m - 3. Is j(-3) a multiple of 12?
True
Let u(a) = 7*a**3 - a**2 - a + 1. Let c be u(2). Suppose 0*y + c = 3*y. Is y a multiple of 5?
False
Suppose 0*w - 54 = -w. Suppose 2*v + 0*v = w. Suppose -d = -4*y + v, -2*d = -5*y + 2*y + 19. Does 7 divide y?
True
Let q be 54/10 - (-3)/5. Suppose -q*b + 79 = -5*b. Does 19 divide b?
False
Suppose 3*n + 7 - 43 = 0. Is 4 a factor of (-6)/(-3) + n + -2?
True
Let p(x) = 15*x - 5. Suppose 5*d + 4 = -m, 4*m - 6 = -4*d + 10. Let s be p(m). Suppose -2*u - 5*t = -s, 4*u = -0*t - 3*t + 149. Does 12 divide u?
False
Let c be (12/(-30))/(2/30). Let p(a) = -5*a + 3. Is p(c) a multiple of 11?
True
Suppose -w = w - 5*g - 3, 3*g = -3*w + 15. Suppose -5*q + 234 = 5*l + w, -3*l = q - 138. Is l a multiple of 26?
False
Let j be 15/10*16/6. Let d = j - -4. Does 8 divide d?
True
Suppose -24 + 5 = -l + 2*y, -4*l = y - 40. Suppose -j = 2*j - 9. Let n = l - j. Is 3 a factor of n?
False
Suppose 226 = -20*t + 946. Is 18 a factor of t?
True
Let c = -41 + 61. Is 6 a factor of c?
False
Let a(y) = y - 2. Let q be a(5). Let u(w) = w**3 - 2*w**2 + 3*w - 1. Let i be u(2). Suppose -2*d - 2*d - i = 3*f, -2*f = -q*d - 25. Is f even?
False
Let x(v) = v**3 - 7*v**2 + 7*v + 4. Let p be x(8). Suppose -o - 173 = 4*n, 3*n = 7*o - 2*o - p. Let c = n + 75. Is 13 a factor of c?
False
Suppose -x = -0*x. Let h be 52 + -1 + (x - 2). Let a = h - 15. Is a a multiple of 17?
True
Let d be (-2 + -3)*(-2)/2. Suppose -5*m + 25 = d*f - 90, 23 = f - 5*m. Is 10 a factor of f?
False
Let i = -139 - -243. Is 45 a factor of i?
False
Let c = 89 - 64. Is 17 a factor of c?
False
Let n be (2 + 0)/(2/4). Let q = 9 - 6. Suppose -37 = -n*a + q. Is a a multiple of 10?
True
Let d = 80 - 58. Does 11 divide d?
True
Let d = 4 + -7. Let l = 6 + d. Suppose -27 = -3*a - l. Does 8 divide a?
True
Suppose -5*l - 2*t = -30, 5*t = -3*l + 4*t + 17. Suppose -2*r - 151 = -5*b, l*b + 415 = -5*r + 21. Let f = -42 - r. Is f a multiple of 14?
False
Let f be (-6)/4*(-100)/3. Suppose -70 - f = -5*u. Does 8 divide u?
True
Let i(p) = p**2 - 3*p + 6. Let g be i(3). Suppose l - 52 = -4*t + 2*l, g = -t + 5*l. Is 13 a factor of t?
False
Let i(t) = t + 14. Let p = 2 + -12. Is i(p) a multiple of 4?
True
Let h(n) = -n. Let g be h(-2). Is 5 a factor of ((-3)/g)/((-1)/4)?
False
Is 1 + (4 - (-3 - -3)) a multiple of 5?
True
Let c = 21 + 4. Let u = 11 - -45. Let r = u - c. Is r a multiple of 14?
False
Suppose 0 = -2*t - 2*t + 8. Let n(f) = f**t - 3 - 1 + 2*f**2 + f + 2. Does 4 divide n(-2)?
True
Let h(u) = -u. Let b be h(-2). Suppose r - 18 = -r + b*i, -4*i - 4 = 0. Is r a multiple of 8?
True
Let c(j) = -j - 2. Let w be c(3). Let p = 3 + w. Let l(x) = 5*x**2 + 3*x + 2. Is l(p) a multiple of 11?
False
Let i be 0 - (-3 - -2)*3. Let g(a) = -a + 3 + a**2 - i*a - a. Does 27 divide g(8)?
True
Let g(b) = b**3 - 18*b**2 - 23*b - 3. Let r(l) = -5*l**3 + 73*l**2 + 93*l + 13. Let v(z) = 9*g(z) + 2*r(z). Is v(-15) a multiple of 26?
False
Let u = -16 + 21. Suppose u*r + n - 41 = 0, -3*r + 3*n + 39 = -0*n. Does 3 divide r?
True
Does 22 divide 3/(-2)*-1*724/6?
False
Suppose l + n - 5*n = -7, 0 = -l - 2*n - 1. Let j = -3 - l. Suppose b + z - 56 + 19 = j, -2*b = z - 70. Is b a multiple of 11?
True
Let a = -8 - -12. Suppose 4*h + a = -8. Is 18 a factor of (56/(-3) + 2)*h?
False
Suppose -k = -3*r + 3, 3*k - 5*r = -0 - 1. Suppose -5*g + 23 = 2*h, -5*h + k*g + g = -41. Is 5 a factor of h?
False
Suppose -2*a = a - 6. Let n(v) = v - 15. Let i be n(9). Let z = a - i. Is 4 a factor of z?
True
Suppose -4*a - a - 3*d = -1256, -d - 998 = -4*a. Is 38 a factor of a?
False
Let h(s) be the second derivative of s**5/20 - 3*s**4/4 + 5*s**3/3 - 6*s**2 - 3*s. Let x be h(8). Suppose 5*w - x*j = 40, -4*j + 3 = w + 19. Is w even?
True
Let a(r) = -r**2 - 10*r - 8. Let n be a(-8). Suppose -8 = 4*j, 5*j + n = -4*s + 34. Is 5 a factor of s?
False
Let o(s) = -4*s + 78. Is 22 a factor of o(-8)?
True
Suppose p + 187 + 85 = 4*v, 5*p = -2*v + 136. Does 17 divide v?
True
Let f = 6 - 4. Suppose -f*c + 4*c = 46. Is c a multiple of 19?
False
Suppose 13 - 1 = 4*b. Is 3 a factor of b?
True
Is ((-24)/10)/((-16)/1000) a multiple of 15?
True
Let i(h) be the second derivative of 5*h**2 - 1/6*h**3 + 0 + 2*h. Is 8 a factor of i(-7)?
False
Suppose -y - 4*k - 16 = 0, 0 = 2*y - 0*y - 3*k - 12. Suppose y = 8*u - 9*u + 52. Is u a multiple of 14?
False
Let x(u) = -u - 2. Let n be x(2). Is 3 a factor of n/8 - 46/(-4)?
False
Let w(s) = 11*s**2 - 2*s. Is w(-2) a multiple of 17?
False
Is 8 a factor of ((-3)/(-2))/3*18?
False
Suppose 0*j - 18 = -2*r + 2*j, 2*j - 59 = -5*r. Let y = r + -8. Does 12 divide (-34)/(-3) - (-2)/y?
True
Is 1/(-3) - 19/(-3) a multiple of 3?
True
Suppose 2 - 8 = i. Let p = 36 - i. Is 14 a factor of p?
True
Let x be 8/(-1)*26/(-4). Suppose -3*s + 2*s = -x. Is s a multiple of 15?
False
Let f(a) = -a**3 + 11*a**2 - 6*a - 12. Let t be f(10). Suppose -5*r - i - 55 = 0, -4*r + 3*i - 7*i = t. Let z = r - -30. Is 9 a factor of z?
True
Suppose 2*s = 3*s. Suppose s = a + 5*r + 6 + 10, 5*a - 2*r - 28 = 0. Suppose -a*x = 28 - 120. Is x a multiple of 9?
False
Suppose -o - 10 = 2*i - 5*i, -5*i + 5*o + 30 = 0. Suppose 5*q + 9*c - 110 = 4*c, 0 = 5*q - i*c - 110. Does 17 divide q?
False
Suppose 0*m - 2*m = -20. Suppose -2*r + m = -r. Does 10 divide r?
True
Let q = -4 - -6. Suppose 2*y - 4*p = 16, 5*y + 4*p - 3*p = -4. Suppose -2*u = -q*s - 36, 3*u - s + 5*s - 47 = y. Is 5 a factor of u?
False
Let q = -50 + 31. Let u = -10 - q. Does 6 divide u?
False
Suppose -3*j + 115 = -53. Is j a multiple of 28?
True
Let w(i) = i**2 - 9*i. Let n be w(9). Suppose m = -n*m + 2. Suppose m*k - 36 = -0*k. Is 15 a factor of k?
False
Suppose t + n = -0*n, 0 = n + 2. Suppose -5*j - 5*u = -115, -t*j - u + 40 = 3*u. Is j a multiple of 15?
False
Let m(w) = -4*w + 14. Is m(-6) a multiple of 11?
False
Suppose 5*u + 2*h - 32 = 5*h, 0 = 4*u + 4*h - 32. Suppose -x + 2*w - u = 0, -3*x + 13 = -7*x + 5*w. Suppose 112 = x*c + c. Is c a multiple of 15?
False
Let j = -33 + 103. Is 10 a factor of j?
True
Is 25 a factor of (1055/25)/(3/15) + -3?
False
Let h be (-4)/22 + (-20)/11. Let o be h/7 + (-32)/(-14). Suppose -7*b + 190 = -o*b. Is b a multiple of 21?
False
Let n(y) = y**2 - 18*y + 12. Is 25 a factor of n(20)?
False
Does 6 divide 16 - (6 - (-2 + 4))?
True
Let i = 70 + 68. Suppose 82 = 4*o - i. Is 18 a factor of o?
False
Suppose -3*t + 2*q + q = -177, 0 = 4*t + 5*q - 191. Suppose 3*w - t + 15 = -4*p, -3*w + 57 = -2*p. Does 8 divide w?
False
Let d = -11 + 148. Is d a multiple of 23?
False
Suppose -a + 0 = 12. Let o = a + 21. Does 9 divide o?
True
Let w(d) = d**2 + 6*d + 13. Does 17 divide w(6)?
True
Is ((-110)/77)/(2/(-28)) a multiple of 13?
False
Let o(h) = h**3 + 8*h**2 - 12*h + 4. Let d(l) = -2*l**2 + l - 3. Let m be d(2). Is 9 a factor of o(m)?
False
Suppose -360 = -9*d + 4*d. Let a = -43 + d. Is a a multiple of 14?
False
Let d(f) = f**2 - 7*f - 3. Let r be d(9). Is r/2*192/20 a multiple of 12?
True
Let i(p) = 97*p - 4. Is 48 a factor of i(4)?
True
Is ((-12)/9)/(1/(-27)) a multiple of 3?
True
Is 6 a factor of ((-168)/9)/((-6)/27)?
True
Let k = 6 + -11. Let d = k - -17. Does 8 divide d?
False
Let b = -17 - -22. Let n be (3/(-12))/(2/(-8)). Is n*b + 5 + -2 a multiple of 4?
True
Suppose h - 3*h = -206. Suppose 3*g = -31 + h. Does 8 divide g?
True
Let z = -10 + 15. Let n(a) = 10*a - 13. Let f(v) = -15*v + 19. Let o(l) = -5*f(l) - 7*n(l). Is 11 a factor of o(z)?
False
Let f(r) = -r**3 + 10*r**2 - 2*r + 13. Let j be f(10). Let d(s) = -2*s**2 - 3*s + 8. Let c be d(j). Is c*5/((-15)/2) a multiple of 23?
True
Let b be (-11 - -34) + 1*3. Let k = -20 + b. Does 5 divide k?
False
Does 31 divide (104/6*-1)/((-2)/15)?
False
Let i = -62 + 108. Is i a multiple of 23?
True
Let x be -1*(-2 + (-375)/(-3)). Let r = -73 - x. Is r a multiple of 25?
True
Let q be 2*(-9)/(-12)*6. Suppose -h - 4*h - q = -j, -5*j + 5*h + 25 = 0. Is j a multiple of 4?
True
Suppose -5*q + 91 = 3*j, 0 = -j + 4*j + 2*q - 103. Suppose 2*u + 0*c - c - 38 = 0, 0 = -u + 5*c + j. Is 5 a factor of u?
False
Suppose 2*h - 62 = 4*z + 70, 274 = 5*h + 4*z. Is 29 a factor of h?
True