 -1*1*(-3 - c)?
True
Let j be ((-2)/(-2))/(2 + -3). Let t be j/(2/(-350)) - 1. Suppose 0*c - 3*c + t = 0. Is c a multiple of 15?
False
Let y(j) be the third derivative of j**4/12 + j**3/6 + j**2. Does 10 divide y(7)?
False
Let z(p) = p**3 + 3*p**2 - 5*p + 3. Let w be z(-4). Let x = -5 + w. Suppose -30 = -5*k + x*k. Is 10 a factor of k?
True
Suppose -4*c - 34 = 74. Does 9 divide 2/(24/c)*-4?
True
Let b be 0/(2 - 1 - -1). Let x be (b - -1 - 0) + -88. Let u = -48 - x. Does 13 divide u?
True
Let i(u) be the third derivative of u**5/60 + u**4/6 - u**3/2 - u**2. Let c be i(-5). Does 6 divide 12 + -1 - (c - 3)?
True
Is 19 a factor of (-5 - -1)*(-19)/2?
True
Let q(p) be the third derivative of p**6/120 - p**5/20 - p**3/6 - p**2. Let z be q(3). Does 17 divide (48/(-5))/(z/5)?
False
Let q be 15/2*(-12)/(-18). Is 8 a factor of q + -6 + 29 + 0?
False
Let i(c) = -c**3 + 11*c**2 - 6*c + 11. Let v be i(10). Let q = v + -35. Is q a multiple of 9?
False
Suppose -11 = 4*c - 43. Suppose -2*s + k + 7 = -21, 4*k + c = 0. Is s a multiple of 7?
False
Suppose -7*q + 11*q = 16. Suppose 3*m = -5*h + 240, -4*h - m + 165 = -q*m. Is h a multiple of 15?
True
Does 12 divide (68/4)/(-1 - -2)?
False
Let t be 198/42 + 4/14. Suppose 190 = 5*y + t*u, 0*u - 20 = 4*u. Does 21 divide y?
False
Suppose 5*k = -k + 90. Is k a multiple of 3?
True
Suppose 1 - 5 = -2*s, -4*s + 2 = -3*r. Let g(f) = f**3 + 7*f**2 - 2*f - 4. Let y be g(-3). Is r/(-6) - y/(-6) a multiple of 6?
True
Let l(a) = a**2 + 6*a + 3. Let o be l(-6). Suppose -3*n + o = -9. Suppose -58 = -n*b + 30. Is 11 a factor of b?
True
Does 3 divide (52/(-3))/((70/21)/(-10))?
False
Let m be (2 - 6/4)*-6. Does 16 divide (-4 + (-2)/1)*m?
False
Let l = 121 + -21. Is 17 a factor of l?
False
Let b = 552 - -68. Does 7 divide b/30 - (-1)/3?
True
Suppose d + d + 414 = 0. Does 21 divide -4*(2 + d/12)?
False
Let h(a) = 7*a**3. Is h(1) a multiple of 6?
False
Let j = 28 - 14. Suppose -x = -j - 0. Is x a multiple of 14?
True
Let z = -11 - -32. Is 7 a factor of z?
True
Suppose 46 - 16 = 4*o - 2*t, 0 = 2*o + 3*t + 5. Suppose q + 5*u = 71 - 222, o*q + 781 = u. Is 4/6 - q/9 a multiple of 18?
True
Let x(d) = 9*d - 14. Does 13 divide x(3)?
True
Let t = -1 - -3. Let d(o) = -o**2 - 4*o - 2. Let i be d(-3). Suppose 2*v - 52 = -5*u, -u + 9 - i = -t*v. Is u a multiple of 5?
True
Suppose -38*z + 40 = -37*z. Does 8 divide z?
True
Let u(m) = 17*m**3 - m. Let c be u(1). Suppose -28 - c = -2*v. Is 22 a factor of v?
True
Let m(k) = k - 8. Let q be m(11). Suppose 2*d - 3*l = 25, 5*d + 5*l = l + 74. Suppose -5*g + 18 = -t, g - d = -g - q*t. Does 2 divide g?
True
Suppose 8*q - 7*q - 7 = 0. Is 6 a factor of q?
False
Suppose 7*w = 12*w - 460. Is 4 a factor of w?
True
Is 3/7 + 763/49 a multiple of 8?
True
Let f(d) = d**2 - 5*d - 34. Is f(-7) a multiple of 6?
False
Let r(v) = 21*v**2 + 2*v. Let x(o) = 104*o**2 + 11*o. Let h(y) = 11*r(y) - 2*x(y). Is 12 a factor of h(-1)?
False
Suppose 0 = -k - 1 - 0. Let r = 4 + k. Suppose 2*i = -2*z - 0*z + 24, -r = -z. Is i a multiple of 7?
False
Suppose 3*z - 10 = -3*j + 2, -2*z + j = -14. Suppose -k + 4*o + z = -34, -5*o - 25 = 0. Does 7 divide k?
False
Suppose 0 = 2*f + 2*f. Suppose -3*x + f*x = -120. Is 20 a factor of x?
True
Suppose 0*d + d - 5 = 0. Suppose d*j + 3*o - 148 = 0, -5*j - 2*o = -226 + 74. Is 16 a factor of j?
True
Let s = -18 + 32. Is 6 a factor of s?
False
Let i = 11 + -9. Suppose 4*j + i*l - 64 = 0, 3*l = -4*j + 7*l + 40. Is 6 a factor of j?
False
Let i(r) = 2*r - 3 + 3*r**2 + r**2 - 2 - 5*r. Let j be i(5). Suppose -d - j = -6*d. Is d a multiple of 9?
False
Let p(i) = 10*i + 16. Is 22 a factor of p(5)?
True
Let f be 8 + 3/(-3) + -2. Suppose 1 = f*o - 5*d - 159, 103 = 4*o + d. Is 9 a factor of o?
True
Let b = -156 + 220. Does 17 divide b?
False
Suppose 0 = -0*w + 2*w + 5*q - 43, 2*w - 2*q = 50. Does 12 divide w?
True
Suppose -4*m = -2*b + 128 + 122, 3*m + 251 = 2*b. Is 17 a factor of b?
False
Let s(n) = -5*n + 4. Is s(-2) a multiple of 7?
True
Let u(t) = -2*t**3 + t**2 - 2*t + 253. Is 41 a factor of u(0)?
False
Let a(x) = -x - 1. Let l be a(-4). Suppose 0 = 3*p - l - 12. Suppose -5*j = -5 - p. Is 2 a factor of j?
True
Is 39 - 0/(0 - -1) a multiple of 13?
True
Let y(l) be the third derivative of l**5/30 + l**3/3 - 2*l**2. Let z(j) = 4*j. Let a be z(1). Is 17 a factor of y(a)?
True
Let d = 14 + -10. Let z(f) = -3*f - 7 + 5*f + 1 + d*f. Is z(4) a multiple of 9?
True
Suppose -81 = -16*l + 15*l. Is 20 a factor of l?
False
Let l(u) = 7*u + 4 - 2*u - 3*u. Let m be l(4). Suppose -2*v + 3*v = m. Is v a multiple of 6?
True
Let l = 24 - -2. Is 5 a factor of l?
False
Suppose 8*k - 4*k = 88. Is k a multiple of 22?
True
Let z = 23 - 21. Suppose z - 272 = -4*v - 2*u, 0 = 2*u + 6. Is 13 a factor of v?
False
Suppose 5*v = h + v - 3, 3*h - 9 = -v. Let d(w) = 4*w**3 + 2*w - 1. Let s be d(1). Suppose 0 = 3*c + h*x - 27, -2*c + s*x = -c + 3. Is 3 a factor of c?
False
Let o be -44*(2 - 12/8). Let c = o + 44. Is c a multiple of 11?
True
Is 288 + (8/(-4) - 0) a multiple of 26?
True
Let r = -32 - -59. Is 14 a factor of r?
False
Let w be 32/20 - (-4)/10. Let o be 0/w - (-192)/2. Suppose 4*i - o = -0*i. Is i a multiple of 12?
True
Let h(f) = f**3 - 4. Let n be h(0). Is (5 + 3)*(-2)/n a multiple of 3?
False
Let v(m) = -m**3 - 4*m**2 + 4*m. Let u be v(-5). Let j(t) = t**3 - 5*t**2 + 3*t + 1. Is j(u) a multiple of 8?
True
Is 21 a factor of 261/7 - (-16)/(-56)?
False
Is -114*(1/2 + -1) a multiple of 19?
True
Suppose -2*h - 173 = -4*g - g, -3*g + 107 = -2*h. Does 11 divide g?
True
Let l(y) = y**3 - y**2 - y + 86. Is l(0) a multiple of 26?
False
Let w(a) = 122*a**2 + a + 1. Let p be w(-1). Suppose 3*s - 5*b - 23 - p = 0, s = -2*b + 30. Does 24 divide s?
False
Suppose 0*q = -q + 2. Let h(s) = 1 - 3*s + 4*s - q*s. Is 6 a factor of h(-5)?
True
Let c = 14 + -2. Is 7 a factor of c?
False
Suppose 4*m - 28 = 2*m. Is m a multiple of 12?
False
Let x(y) = -y**2 - y + 15. Let t be 3/2*24/9. Suppose 0 = -t*r - r. Is x(r) a multiple of 8?
False
Suppose -r - 2 + 52 = 4*a, 2*a - 5*r - 36 = 0. Suppose -4*b - h + 8 = -3, -2*h = 5*b - a. Is 3 a factor of b?
True
Let i(k) = 5 - 14 + 3 + 5*k. Is 14 a factor of i(4)?
True
Let m(n) = 22*n - 1. Let s be m(-1). Let z(k) = 52*k + 1. Let f be z(1). Let j = s + f. Is j a multiple of 15?
True
Suppose -4*z + 3*z + 30 = 0. Does 19 divide 590/z - 4/6?
True
Let q(g) = -g. Let o(t) = -5*t + 2. Let f(p) = o(p) - 4*q(p). Let s(r) = 2*r**3 + 3*r**2 - 3. Let w be s(-2). Does 6 divide f(w)?
False
Let d(f) = f**2 - 3*f + 4. Let x(h) = h**3 + 6*h**2 - 7*h + 7. Let j be x(-7). Is 14 a factor of d(j)?
False
Let u be 2448/56 + (-2)/(-7). Let r = u + -22. Does 8 divide r?
False
Is 27 a factor of ((-6)/(-9))/(4/162)?
True
Suppose -3*n + 23 = -1. Is n a multiple of 6?
False
Suppose -2*i = 0, 0 = 2*m + 3*i - 91 - 17. Is 18 a factor of m?
True
Suppose -5*r - 65 + 197 = 2*g, 4*g - 124 = -5*r. Suppose -k = -4*p + r, p + 3*k = -0*k + 7. Is 7 a factor of p?
True
Let y(l) = 29*l**2 + 5*l + 14. Does 10 divide y(-3)?
True
Suppose 3*d = 8*d - 325. Is 13 a factor of d?
True
Let g(y) = 4*y. Is 6 a factor of g(3)?
True
Suppose -2*u - 12 = -6*u. Suppose c + 3*n = -2*n + 7, -u*n - 3 = -3*c. Suppose c*x - 73 + 3 = 0. Is x a multiple of 16?
False
Suppose 14 - 5 = 3*n, -5*n + 11 = -4*l. Suppose o = -i - o + 9, 5*o = -i + 21. Is 3 a factor of (9 + i)*l/2?
False
Let o be -29 + (2 - (-1 + 1)). Let r(h) = -14*h - 9. Let k be r(-5). Let l = o + k. Is 17 a factor of l?
True
Let s be 8 + (2/(-2) - 1). Let q be -1*24*s/(-8). Suppose k = -4*l + q, 3*k + 5*l - 24 = k. Is k even?
True
Does 15 divide 1/5 + 1568/35?
True
Let o be (-6)/(-10) + (-36)/(-15). Suppose -4*r + o*d = -19 + 4, -2*d + 13 = 5*r. Suppose r*n = -0*n + 30. Is n a multiple of 10?
True
Let i(r) be the first derivative of 3*r**2/2 - 2*r + 5. Does 10 divide i(4)?
True
Suppose -10*m = -12*m + 210. Is 15 a factor of m?
True
Suppose -5 - 15 = -4*p. Suppose -8 = 2*z, -3*z = p*y - z - 17. Suppose -y*s = -13 - 7. Does 3 divide s?
False
Let r(p) = p**3 - 7*p**2 - 9*p - 3. Let g be r(9). Let z = -38 + g. Does 8 divide z?
True
Suppose 5*x - 113 = -j, j - 7*x + 8*x - 101 = 0. Is j a multiple of 7?
True
Let q be 16/(-2*3/(-3)). Let o = q + 2. Does 10 divide o?
True
Let c(k) = k**2 - k + 3. Let l be c(3). Does 6 