 + 22*h - 13. Let t(y) = 2*j(y) + 7*w(y). Let m be t(3). Let p = 87 - m. Is p a multiple of 19?
False
Let o = -93 + -39. Let i = -93 - o. Is 15 a factor of i?
False
Suppose 3*p - z + 37 = 0, -7 = -5*p + 5*z - 82. Let c = 67 + p. Does 17 divide c?
False
Suppose 3*k - 147 + 771 = 0. Is 12 a factor of (k/(-12))/(6/9)?
False
Does 32 divide 134 + -1 + 1 + 4?
False
Let y = -22 - -34. Does 12 divide y?
True
Suppose -6*j = 252 - 786. Is 34 a factor of j?
False
Let f = -5 - -8. Suppose -3*p = -4*p + f. Is p a multiple of 2?
False
Let p = -70 + 173. Does 26 divide p?
False
Let l(u) = 2*u**2 + u + 2. Let c(n) = -n**2 - n - 2. Let d(w) = 3*c(w) + 2*l(w). Let b be d(-6). Let q = b + -28. Is 12 a factor of q?
True
Let g(b) = 0 - 6 - 4*b - 4 + 3. Does 10 divide g(-7)?
False
Let p = 154 - 98. Let n = 36 + p. Let d = n - 55. Is 19 a factor of d?
False
Suppose 5*h - a = 278, -4*a = 2*h + 3 - 123. Suppose 0 = j - 5*j - 2*z + h, 0 = -j + 3*z. Is 9 a factor of j?
False
Let k = 1 + 3. Let y be (-5 + 7)/(k/6). Suppose -5*n = -u + 3, y*u - 29 = n + 4*n. Is u a multiple of 8?
False
Let c(x) = -30*x. Is 15 a factor of c(-2)?
True
Suppose -2*s + 4*o = 20, -5*s + 2*o = -3*o + 35. Let z(w) = -w - 1. Does 3 divide z(s)?
True
Suppose 0*d - 24 = 5*k - d, k + d = 0. Let n(y) = 0 - 4 - 12*y + 4*y. Does 14 divide n(k)?
True
Suppose -3*r = -7*r. Let v be (r - -1)/((-2)/(-10)). Suppose 2*k - 13 - 1 = -5*i, 0 = v*k - 5*i. Is 2 a factor of k?
True
Suppose 0 = -3*w + 51 - 12. Let j = w + -25. Let m = -1 - j. Does 11 divide m?
True
Let s(f) = f**2 + 9*f - 7. Let u be s(-10). Suppose u*d = -0*d + 129. Does 17 divide (-3)/((-3)/2) + d?
False
Let s(y) = y**3 - 6*y**2 - 2*y + 20. Is 4 a factor of s(7)?
False
Suppose -6*k = -5*k - 133. Is 16 a factor of k?
False
Suppose 2*r + 6*r - 592 = 0. Is 17 a factor of r?
False
Suppose 3*i + 4*p = 251, 3*p - 5 = 2*p. Is i a multiple of 20?
False
Suppose -4*d + 0*o - o + 34 = 0, 4*o + 8 = 0. Is 3 a factor of d?
True
Let a(k) = k**3 - k**2 + 2*k - 1. Let d be a(1). Is 15 a factor of 0 + d*32 - 2?
True
Suppose c + 4*c - 135 = 0. Suppose 5*m - c = -2. Suppose -m*d + d + 56 = 0. Is 5 a factor of d?
False
Suppose -8*a + 1140 + 2412 = 0. Does 64 divide a?
False
Let d be ((-63)/(-36))/(2/8). Suppose d*c = 3*c + 8. Does 2 divide c?
True
Suppose 4*p + 6 - 2 = 0, 0 = 2*f + 3*p + 1. Does 8 divide (f - 4)*(-56)/12?
False
Let x = 30 + -70. Is 6/(-4)*x/6 a multiple of 5?
True
Let j(f) = -f**2 + 11*f + 2. Let i be (-3)/(3/2) - -1. Let o(y) = -9*y + 1. Let g be o(i). Is 6 a factor of j(g)?
True
Suppose -11 + 1 = 5*h. Let x = 2 + h. Suppose 0*k - 4*k + 56 = x. Is 14 a factor of k?
True
Let d(f) be the third derivative of f**6/120 - f**5/15 + f**4/24 - 2*f**3/3 - 4*f**2. Does 12 divide d(5)?
False
Does 44 divide 1026/14 - 10/35?
False
Let n(m) = m + 3. Let a be n(6). Let t be a*(2 - (-14)/(-6)). Is (-52)/(-12) + 1/t a multiple of 3?
False
Suppose 0*m = 2*m. Suppose 2*o + 3*h - 11 = 0, m = -10*o + 5*o - 3*h + 5. Does 19 divide (-1)/o*(36 + 2)?
True
Let p(q) be the second derivative of q**4/12 - q**3/2 - 7*q**2/2 - q. Is p(5) a multiple of 3?
True
Let i(u) = 18*u**2 + 2*u - 2. Let l be i(-2). Does 11 divide (l/15)/((-3)/(-15))?
True
Let o = 389 - 272. Is o a multiple of 29?
False
Let o = -3 + 63. Suppose 16*f - o = 11*f. Is 12 a factor of f?
True
Let g = 67 + -48. Let r = g - 4. Does 9 divide r?
False
Let r = -85 + 55. Let l = 2 - r. Does 13 divide l?
False
Let j(b) = -b + 2. Let c be 20/8*2*-1. Is 5 a factor of j(c)?
False
Suppose 27 = 5*m - 13. Suppose m + 2 = -5*k. Let w(f) = -2*f**3 + 2*f**2 + 3*f. Is w(k) a multiple of 13?
False
Suppose 234 = 37*t - 36*t. Is 9 a factor of t?
True
Suppose 6 + 15 = -3*m. Let s = -1 - m. Does 4 divide s?
False
Suppose -72 = -5*h + 198. Suppose -3*f = 4*b - 56, 5*f - 3*f - b - 30 = 0. Suppose 3*q + d = 4*q - f, d + h = 3*q. Is 5 a factor of q?
False
Suppose s + 0 + 12 = 3*f, -2*f = -3*s - 15. Is ((-6)/5)/(f/(-50)) a multiple of 12?
False
Suppose -5*c - 4*g + 72 = -g, c + 3*g = 12. Let m be ((-5)/(-15))/(1/c). Suppose -2*p = 3*p + 2*s - 42, -30 = -5*p - m*s. Is 10 a factor of p?
True
Is 11*6*(4/6)/1 a multiple of 31?
False
Let g be (-8)/5*(-10)/4. Suppose g*v = -2*m + 20, 5*v - m - 43 = m. Is 3 a factor of v?
False
Let k(g) = 3*g**2 + 3*g + 3. Is k(-2) a multiple of 3?
True
Let k be 4 + (1/1 - 0). Suppose -k*y + 2*a + 185 = 0, 2*y - 2*a - 2*a - 58 = 0. Does 15 divide y?
False
Let k(b) = -b - 2. Let d be -1 - 2 - (-8)/(-2). Is 2 a factor of k(d)?
False
Suppose w - 1 = k + 21, 3*k = -2*w + 49. Is 17 a factor of w?
False
Let p be 2/10 + (-42)/(-15). Let d be p*(-2)/(-6) - -68. Suppose 0 = -y - 5*n + 40, -4*n - d = -5*y + 73. Is y a multiple of 15?
True
Suppose 2*l - l = 5*p + 218, 0 = 4*l + 8. Let w = -28 - p. Let j = 3 + w. Is 19 a factor of j?
True
Suppose 4*p + 3*y + 4 = 0, 0*y = 2*p + y. Suppose -r - p*r = -60. Is 10 a factor of r?
True
Suppose 6*u = 157 - 1. Is 13 a factor of u?
True
Suppose 2*f - 5 = 1. Suppose 4*x - 19 + 3 = 0. Suppose x*y = 4*l - 156, 0*l - y + 113 = f*l. Is l a multiple of 16?
False
Suppose -3*v = -252 + 93. Is v a multiple of 4?
False
Suppose 3*d - d = 0. Suppose -2*b + 4*b = 2*s - 4, -6 = -s + 3*b. Suppose 3*p + r - 3*r - 12 = s, d = 2*p - r - 8. Is 2 a factor of p?
True
Suppose 12 = 5*u + 2. Let a = 2 + u. Is 2 a factor of a?
True
Let a(w) = -w**2 - 4*w - 3. Let n be a(-2). Suppose 0 = 4*v + 5 - 1. Is (v/n)/((-1)/3) a multiple of 3?
True
Let q = 22 + -13. Suppose 10*w - 5*w - 5*z = 10, -2*z - q = -3*w. Suppose w = v, -3*y + v + 32 = -101. Is y a multiple of 17?
False
Let m = -8 + 6. Let n = 2 - m. Suppose -n*d + 40 = -136. Is 18 a factor of d?
False
Let l = 60 - -7. Is 13 a factor of l?
False
Let q(n) = -n**3 + 6*n + 7 + 9*n**2 + 2*n**3 - 3. Suppose d - 12 = 3*d. Does 26 divide q(d)?
False
Does 14 divide 5/30*262 - 2/(-6)?
False
Let b = -80 + 100. Is 3 a factor of b?
False
Suppose 3*f = 4 + 2. Suppose -w + 14 = f*a, w + 17 + 23 = 4*a. Does 9 divide a?
True
Let i = -144 - -244. Is i a multiple of 50?
True
Suppose -5*n = -n - 20. Suppose 5*k - 45 = -n*d, -k = 5*d - 9 - 12. Is k even?
True
Let n(c) = c**2 - 4*c - 5. Let y(f) = -f**3 + 7*f**2 - 3*f - 9. Let i be y(7). Let j be (-5)/i + 47/6. Does 9 divide n(j)?
True
Let q(f) = -1 + 0 + 3*f - 2. Let p be q(2). Suppose p*o = 5*v + 50, -2*v + 4 + 39 = 3*o. Is o a multiple of 15?
True
Suppose 3*t = -0 + 3. Let b(x) = 5*x - 1. Let d be b(t). Suppose -d*p + 5 + 67 = 0. Is p a multiple of 18?
True
Suppose 0 = 4*u + 10 + 6, 2*y = -5*u + 50. Is y a multiple of 6?
False
Suppose 2*p = a + 2 + 2, 20 = 4*a + 4*p. Suppose 5*b + 12 = -n, -3*b = -a*n - 3*n + 24. Is 20 a factor of (3 + 98/(-6))*b?
True
Let g be (6/(-9))/(1/(-3)). Let y(i) = 9*i - 4 + 2*i**2 + i - 8*i**2 - i**3 + 0*i**g. Is y(-8) a multiple of 22?
True
Let b be (-61)/(-2) + (-2)/4. Suppose 0 = -f - f + b. Is 15 a factor of f?
True
Suppose -5*u - 4*c = -75, 3*u = -u + c + 60. Is 5 a factor of u?
True
Let g(w) = -9*w - 7. Let o(b) = -17*b - 15. Let n(p) = -13*g(p) + 6*o(p). Is n(1) a multiple of 9?
False
Suppose 83*t + 884 = 87*t. Is 17 a factor of t?
True
Let m be 35/11 - (-8)/(-44). Is 4 a factor of m + (3 - 0)/3?
True
Let x(n) = -n**2 + 22*n - 5. Does 23 divide x(10)?
True
Is -1*1/(-2)*12 a multiple of 2?
True
Let s be 1*3 + 6 + -4. Suppose -3*i - 132 = -s*k, 2*k + 5*i = 4*k - 49. Suppose 2*o - 9 = k. Is o a multiple of 12?
False
Let w(a) = a**2 - 11*a + 11. Let p(v) = 1. Let f(r) = -3*p(r) + w(r). Is 8 a factor of f(11)?
True
Let w(c) = -76*c**3 + 3*c**2 + 10*c - 4. Let d(a) = -25*a**3 + a**2 + 3*a - 1. Let v(m) = 7*d(m) - 2*w(m). Is 12 a factor of v(-1)?
True
Suppose 0 = -r - 2*r + 255. Suppose -5*f - r = -b, -3*f + 0*f - 28 = 4*b. Let q = f - -31. Is 10 a factor of q?
False
Let f = -3 + 3. Suppose -5*m - 2*q = -50 + 5, -4*q = -5*m + 45. Is m*(4 + -2 - f) a multiple of 18?
True
Let o = 16 + 10. Let x(r) = -3*r**2 + o*r**3 + r + 0*r**2 + r**2. Does 18 divide x(1)?
False
Is ((-4)/(-7))/(10/1085) a multiple of 33?
False
Let p(a) = -2*a**2 - 7*a + 1. Let h(g) = 1. Let i(w) = 5*h(w) - p(w). Is 14 a factor of i(-5)?
False
Let h(n) = 2*n**2 - 12*n + 4. Does 2 divide h(7)?
True
Let s = 41 + 15. Suppose -3*a + 34 = -s. Is a a multiple of 15?
True
Let o = 30 + -23. Is 7 a factor of o?
True
Let i be (-1)/3 - (-309)/9. 