pose 5*w = x*w - 55. Is w a multiple of 3?
False
Let f be (2 - 1)/(12/(-24)). Is ((-27)/15)/(f/10) a multiple of 9?
True
Suppose -87 = 2*k - 297. Is 14 a factor of k?
False
Let z = -1 - -99. Is 26 a factor of z?
False
Suppose 2 = 5*y - 13. Suppose -73 = -3*o + y*m - 10, 0 = 5*m + 25. Is o a multiple of 8?
True
Suppose -3*c = 4*r - 0*c + 23, 4*c = 5*r - 10. Let z = 1 - r. Suppose z*j - 5*j = -36. Is 9 a factor of j?
True
Let t(o) = 2*o**2 + 14*o + 9. Suppose 5*n + 4*p + 49 = 0, -49 + 7 = 5*n - 3*p. Let j be t(n). Suppose 0 = d - 2*d + j. Is 15 a factor of d?
True
Let w = -15 - -15. Let q = 34 + w. Is 17 a factor of q?
True
Let n(l) = -l**2 + 12*l. Is 8 a factor of n(10)?
False
Let c(t) = t**3 + 6*t**2 + 3*t - 7. Let z be c(-5). Suppose -4*k - n + 36 + 71 = 0, z*k + 3*n = 87. Is k a multiple of 13?
True
Let y be 7 - (-3)/(-3)*-3. Let h = y + 36. Does 13 divide h?
False
Suppose -1130 + 290 = -2*g. Is g a multiple of 35?
True
Suppose 3*z + 3*m - 102 = 0, 0 = 2*z - m - m - 56. Let h = 22 - z. Does 6 divide (24/h)/(2/(-9))?
True
Let j(t) = -6 + 10 + 2*t**2 - 2*t + 0*t**2 + t. Let w be 1*(0/(-1) - -3). Is 19 a factor of j(w)?
True
Suppose 0 = 4*f + 3*l + 6, 2*l = -3*f - l - 6. Suppose -3*d + 131 - 8 = f. Does 28 divide d?
False
Suppose 2*r - 10 = 8. Suppose 0 = 3*x - r, 3*x + 408 = 3*d - x. Does 36 divide d?
False
Let h be 4*35 + 0/3. Let j be (2 - 1) + (-105)/(-1). Suppose h = 4*t + 4*u, -5*t + 2*u + 41 + j = 0. Does 11 divide t?
False
Suppose -3*b = -4*n - 10, -b + 0*n + 6 = -4*n. Is (3 - 0) + 10/b a multiple of 8?
True
Suppose 8*v - 40 = 6*v. Does 10 divide v?
True
Suppose -5*a + 14 = 4. Suppose a*j - 3*z = 2*z + 3, -4*j + 46 = -2*z. Is 6 a factor of j?
False
Let y = 29 + -21. Is 8 a factor of y?
True
Let i(q) = -2*q + 1. Let j = 5 + -8. Is 5 a factor of i(j)?
False
Let t = -46 + 115. Does 2 divide t?
False
Let p be 1*(-5 + -1 + 3). Let u(r) = 7*r**2 - 5*r - 3. Let y be u(p). Suppose 4*f - y = f. Does 25 divide f?
True
Let f(i) = 5*i + 1. Suppose -2*h = 6, 3*x + 3 = 2*h - 0. Let c be 2 + -3 + 6 + x. Does 11 divide f(c)?
True
Suppose -7*d + 25 = -2*d. Suppose -d*l + c + 55 = -0*l, 0 = 5*l - 5*c - 75. Does 5 divide l?
True
Let g be 6*(2 - 9/6). Suppose 0 = -3*s + 9 + g. Is s a multiple of 4?
True
Suppose 3*s = 201 + 39. Suppose -3*o + 37 = -5*a, 0 = 4*o - a + 2*a - s. Is o a multiple of 4?
False
Suppose 4*o = -o + 165. Suppose -o - 19 = -4*q. Is 13 a factor of q?
True
Let v be 6/(-18)*-33 - 1. Suppose 39 = -5*j + 154. Let y = j + v. Does 11 divide y?
True
Let g(o) = 2*o**2 - 6*o**2 + o + 3 - 5*o - o**3. Does 24 divide g(-5)?
True
Let v = -58 + 26. Let u = 17 - v. Is 14 a factor of u?
False
Let p(i) = 42*i**3 - i**2. Let n be p(1). Let t = -23 + n. Does 6 divide t?
True
Suppose 3*j - 50 = -5. Let b(h) = h + 1. Let x be b(0). Suppose 0 = 2*m + 3*y - 9 - x, -3*m + 3*y = -j. Does 2 divide m?
False
Let y = -30 + 48. Suppose -2*v + y = -v. Is 10 a factor of v?
False
Let z(w) = w + 40. Is z(-12) a multiple of 4?
True
Let s(p) = -6*p**3 - p. Is s(-1) a multiple of 5?
False
Suppose -3*r = -9*r + 258. Does 15 divide r?
False
Let r = 0 - 0. Suppose r = i + 3 - 5. Does 10 divide ((-11)/i + 1)*-6?
False
Suppose -2 = -2*x + 2. Suppose 21 = x*b - 37. Does 15 divide b?
False
Let j(q) = q**3 - 3*q - 5. Let i(n) = -n**2 + 4. Let x be i(0). Is 13 a factor of j(x)?
False
Suppose 0 = -22*o + 20*o + 70. Does 7 divide o?
True
Let v(q) = -q**3 - q**2 + 1. Let x(y) = 6*y**3 + y**2 - 3. Let k(a) = 4*v(a) + x(a). Is 13 a factor of k(3)?
False
Suppose -6*i + 443 = -205. Is i a multiple of 12?
True
Let k(w) = -18*w + 6. Is 7 a factor of k(-2)?
True
Let w(g) = -g + 4. Let n = -25 + 17. Is w(n) a multiple of 7?
False
Suppose 0 = c + 2, -13 - 17 = -t - 5*c. Is 20 a factor of t?
True
Suppose -12 = -2*l - 4*t + 84, -2*l + 2*t + 96 = 0. Is 3 a factor of l?
True
Suppose -a + 14 = -10. Is a a multiple of 7?
False
Let p(q) = -q + 8 + 0*q + 1. Let c be p(7). Suppose c*n - n = 44. Does 22 divide n?
True
Let s(v) = 11*v - 13. Is 22 a factor of s(10)?
False
Does 10 divide (-5 - 100/(-8))*104/6?
True
Let a = 19 - 7. Is a a multiple of 4?
True
Let a = -1 + -3. Let x = a - -6. Suppose k + x = 6. Is 4 a factor of k?
True
Suppose 0 = f + f - 4*l - 232, -3*f + 308 = 2*l. Suppose -z - 2*p = -0*z - 18, 5*z + 2*p - f = 0. Does 11 divide z?
True
Let w(f) = -f - 1. Let t be w(-4). Suppose 10 = 2*b + t*b. Suppose o - 5 = 0, -45 = -j - 3*o - b*o. Is j a multiple of 10?
True
Let u(c) = -c + 16. Is 16 a factor of u(0)?
True
Let r(f) = f + 3*f + 3*f**2 + 2*f**3 - 3*f**3. Let u be r(4). Suppose -4*s - 5 = 7, u = g - 3*s - 65. Is 24 a factor of g?
False
Let x(d) = 27*d + 2. Let s be x(4). Suppose -3*i + 4*f + 42 = 160, 0 = 3*i + 4*f + s. Let r = i - -59. Is r a multiple of 15?
False
Suppose -3*d + 0*d + 6 = 0. Does 11 divide ((-176)/(-20))/(d/5)?
True
Let g = -16 + 22. Suppose -x + g*x - 50 = 0. Suppose -3*m = 1 - x. Is 3 a factor of m?
True
Suppose -2*i - 3*h - 29 = -3*i, 77 = 4*i + h. Suppose 3*f - 207 = -c + i, 3*c = 15. Is 16 a factor of f?
False
Suppose -2*h - 28 = -3*h. Is 7 a factor of h?
True
Suppose 2*c = -a + 3, 0 = -3*c + 2*c + 3*a + 12. Suppose 4*g = 4*w + 164, -c*g + 5*w + 119 = 4*w. Does 14 divide g?
False
Let c(y) = -8*y**3 - y**2 - 2*y - 1. Let s be c(-1). Let a = s + 17. Is a a multiple of 13?
False
Suppose 5*q + 123 = 3*i, -i + 12 = q - 21. Is 12 a factor of i?
True
Suppose u = 3*f - 29, 4*f + 5*u - 32 - 13 = 0. Suppose -f - 6 = -2*i. Does 4 divide i?
True
Let n(a) = -10*a - 4. Let o = -1 + -2. Let t be n(o). Let z = 58 - t. Does 16 divide z?
True
Suppose -2*s = -13 + 3. Suppose -5*m = -s + 25. Is 10 a factor of 1876/63 + m/(-18)?
True
Does 47 divide (2115/30)/((-1)/(-4))?
True
Suppose 3*r + 9 = -2*j, 8 = j - 5*r - 20. Suppose j - 6 = -o. Suppose -o*d + 230 = 2*d. Is d a multiple of 23?
True
Suppose -m + 4*m + 5*q = 56, 40 = 2*m + 4*q. Is 10 a factor of m/(-4) + 41 + 2?
True
Let j(y) be the second derivative of y**5/20 + 3*y**4/4 - 7*y**3/3 + 7*y**2/2 - 4*y. Does 15 divide j(-10)?
False
Let t(k) be the second derivative of k**3/6 + k. Let r be t(4). Does 7 divide r/(-30)*-3*35?
True
Let q(z) = -z - 13. Let k be q(-13). Suppose k*y = -y + 33. Is y a multiple of 11?
True
Let w = 37 - 8. Is w a multiple of 13?
False
Let g = 85 - 123. Let m = 68 + g. Does 9 divide m?
False
Suppose w - 5*i - 15 = 0, 2*i + 13 = 2*w - 3*w. Let j(h) = h**2 + h. Is j(w) a multiple of 6?
False
Let m be (3/6)/(1/12). Suppose 0*d + d = m. Is d a multiple of 2?
True
Let u be -1*(-3 + (11 - 2)). Let d(s) = 2*s**2 + 5*s + 7. Is d(u) a multiple of 13?
False
Does 8 divide 4/((5/2)/5)?
True
Let a(t) = -7*t + 18. Is 16 a factor of a(-4)?
False
Is (267/12)/((-2)/(-8)) a multiple of 20?
False
Let j = 83 - 23. Does 20 divide j?
True
Is 2/4 - (-522)/12 a multiple of 12?
False
Does 4 divide 42 + 7 + (-4)/1?
False
Suppose 2*k = -3*k + 10, 91 = 3*y - 4*k. Does 11 divide y?
True
Let h = -71 + 156. Is 25 a factor of h?
False
Let v = 21 + -12. Let w be (-2)/(-4) + 13/2. Suppose 4*n = v + w. Does 4 divide n?
True
Let p = -37 + 107. Is p a multiple of 7?
True
Suppose -3*c + 118 = 2*j - 8, -3*c = 6. Is j a multiple of 18?
False
Suppose 3*p + 88 - 16 = 0. Let n be (54/p)/((-1)/4). Does 17 divide 430/n - (-4)/18?
False
Suppose 3*n = -4 - 5. Let j = -3 - n. Is 6 a factor of (-26)/(-2) + (j - 0)?
False
Suppose -4*r - 8 = 5*d, -4*d - 5*r - 10 = -9*d. Let j(k) = -k + 39. Is 13 a factor of j(d)?
True
Suppose -3*w = -3*z, -2*z + 0*z = w - 12. Does 12 divide (-13)/(-2)*(-2 + w)?
False
Let k = -36 + 84. Does 8 divide k?
True
Let z be (-17)/(-1) - (-10)/(-5). Let v = z - 1. Is v a multiple of 14?
True
Let m(x) = 5*x**3 - 6*x**2 - 7*x + 6. Let h(r) = r**3 - r. Let i(k) = 4*h(k) - m(k). Does 12 divide i(6)?
True
Let y be (-2 - -3)*(-3 - -2). Let q be 2 - 4 - (y - 9). Let d = q - -2. Does 3 divide d?
False
Suppose 0 = -4*a + a. Suppose w + 21 - 61 = a. Is w a multiple of 10?
True
Let x(s) = s - 2. Let d(h) = 1. Let f(o) = 4*d(o) + x(o). Is f(6) a multiple of 3?
False
Suppose -4*q = -4*l - 212, -4*q + 227 = -5*l - 33. Let p be (l/(-3) - 2) + 0. Is 1/(3/(p*3)) a multiple of 14?
True
Suppose -2*p - 3*p - 30 = 0. Let i be -3*2/p + 7. Suppose w = 30 + i. Is w a multiple of 19?
True
Let w = 47 - 17. Is w a multiple of 7?
False
Let l = -1 + 3. Let b be (