ppose 51 = q*o - o. Does 4 divide o?
False
Let j = 123 - 80. Is 25 a factor of -1 + j + -7 + 4?
False
Does 39 divide (-13)/4*36/(-3)?
True
Suppose -3*y - 3*g - 7 = y, y + 10 = 2*g. Does 15 divide ((-6)/y)/(6/344)?
False
Suppose 18*n - 6*n - 1500 = 0. Does 26 divide n?
False
Let y(b) = -b + 27. Let v be y(0). Suppose 3*w - v = 30. Is w a multiple of 7?
False
Suppose -4*j = n + 1, 4*n + 4*j - 1 - 7 = 0. Let q = n - -1. Does 4 divide q?
True
Suppose 3*p - 4*x = -2*p, p + 3*x - 19 = 0. Does 13 divide ((-19)/(-4))/(1/p)?
False
Let c(m) = m**3 + 1. Let n(d) = -6*d**3 + 2*d**2 + 4*d - 5. Let o(w) = 5*c(w) + n(w). Let s be o(-5). Suppose q + z - 58 = -q, -5*q - 5*z = -s. Does 9 divide q?
True
Let l(u) = 2*u - 8. Let o be l(6). Suppose 49 = 2*n - 75. Suppose 3*p = o*z + 79, -2*z - 93 = -5*p + n. Is 13 a factor of p?
False
Let x be (-1 + -2 - -2)*-5. Suppose -x*z - 3*a + 49 = -7*a, 5*a + 5 = 0. Does 3 divide z?
True
Suppose -2 = -u + 1. Suppose 1 - u = -f. Suppose 3*w + 24 = f*l + 7*w, 5*l - 93 = w. Does 9 divide l?
True
Let o(l) = l + 1. Let j be o(4). Suppose 0*c + c - 87 = 0. Suppose j*x - c = 38. Is 10 a factor of x?
False
Suppose 4*f = 2*z - 12, 0*f - 4*z = -2*f - 18. Is 1*(f + 0) + 37 a multiple of 12?
True
Let p = -26 - -10. Let w = p - -29. Is w a multiple of 13?
True
Let b(w) be the third derivative of -w**5/12 + w**4/24 + 3*w**2. Let n be b(1). Let q = n + 26. Does 11 divide q?
True
Suppose -x - 3*x = 3*b - 29, 2*x + 2*b - 16 = 0. Suppose 3*f = f + x*c + 51, c = 1. Does 7 divide f?
True
Suppose -4 - 11 = -5*u. Suppose -2*y - o + 24 = 0, 5*y + u*o = o + 59. Is 8 a factor of y?
False
Suppose r + 2 = -2*i, 0*i - 3*i + 10 = -5*r. Suppose 5*z = 10, i = o + 2*z - 1 - 1. Let u(y) = -13*y. Is u(o) a multiple of 13?
True
Suppose 4*r + 450 = -r. Let v be r/(-2) - 2/1. Let p = -31 + v. Is p a multiple of 7?
False
Let m = -1 - -31. Suppose 0 = 2*t - 8, 0*t = 3*k + 3*t + m. Is 10 a factor of 4/k - (-326)/14?
False
Let v(g) be the third derivative of -g**6/120 - g**5/15 - g**4/12 + 2*g**3/3 + 3*g**2. Let b be v(-3). Is 7 a factor of (-2)/2 + (16 - b)?
True
Let k be (168/(-10))/(6/(-40)). Let m = -14 + k. Is 20 a factor of m?
False
Let i = -10 + 13. Suppose -i*g + 5*y = -49, g - 2*y - 38 = -g. Does 22 divide g?
False
Let h(a) = -a**2 + 9*a + 3. Let t be h(9). Suppose -w - t*k = -3 - 1, 4*w - 4*k = 32. Does 7 divide w?
True
Let j(r) be the first derivative of -r**2/2 - 3*r + 2. Let z be j(-3). Let a(p) = p + 20. Is 7 a factor of a(z)?
False
Let r(p) = p - 4. Suppose -y + 3*v = 2*y - 24, 4*v + 7 = -y. Let z be r(y). Does 12 divide z/2 - 118/(-4)?
False
Let h(z) be the second derivative of 3*z**4/2 + z**3/3 + z**2/2 + 3*z. Is 17 a factor of h(-1)?
True
Suppose i = 5*q + 31 + 4, 3*q - 2*i = -21. Let l = 11 + q. Is l even?
True
Let j be (-2 - -4) + 3 + -1. Suppose 6 = j*w - 34. Is 10 a factor of w?
True
Let a be 1*-4*26/4. Suppose 0 = 4*v - 70 - 130. Let o = a + v. Does 12 divide o?
True
Suppose -4*t + 8 + 60 = 0. Let y = t - -9. Is y a multiple of 7?
False
Is (-1 + 1)/2 - -14 a multiple of 3?
False
Suppose -2*i + 12 = 3*g + 2*i, g + i - 3 = 0. Suppose g*n - 3*n + 78 = -3*s, 0 = -5*s - 20. Does 22 divide n?
True
Let g = -87 - -87. Let x(j) = 41*j**2 - 3*j - 2. Let l be x(-2). Suppose -3*d - d + l = g. Is 20 a factor of d?
False
Let s = 43 + -63. Let g be 1*((-4)/2 + 2). Let r = g - s. Is r a multiple of 14?
False
Let l = -33 - -60. Is 9 a factor of ((-3)/9)/((-1)/l)?
True
Let j = 33 + 193. Is j a multiple of 14?
False
Let o(s) = -5*s**2 - 3*s - 8. Let h(p) = 6*p**2 + 4*p + 8. Let d(l) = -4*h(l) - 5*o(l). Is 11 a factor of d(-5)?
False
Suppose -f + 2*f = -12. Let a = -4 - f. Is a a multiple of 5?
False
Let f(s) = 5*s**2 + 4*s - 1. Is f(-4) a multiple of 10?
False
Let q = -20 - 19. Let f = -72 + 140. Let b = q + f. Is b a multiple of 15?
False
Let b(r) be the first derivative of -5*r**2/2 - 7*r + 3. Is b(-5) a multiple of 9?
True
Suppose -2*s + 3*s = 136. Suppose -2*p + s = -b, -b + 74 = p - 3*b. Does 21 divide p?
False
Suppose -4*j - j + 20 = 0. Let g = -2 + j. Does 2 divide g?
True
Let p = 201 + -92. Does 13 divide p?
False
Let j = 13 - -30. Is j a multiple of 5?
False
Let s(u) = 2*u. Let q be s(1). Is 0/q + 11 + -3 even?
True
Does 14 divide (-2)/((12/(-82))/3)?
False
Suppose -c = 2*c - 9. Suppose -c - 12 = -3*a. Is 2 a factor of a?
False
Let b = 21 - -1. Is b even?
True
Let d(s) = -s**3 + 4*s**2 + 6*s - 1. Let h be d(5). Let j be (-3)/(-3) + h - 2. Suppose 4*o = 4*t - 56, -8 - 4 = j*o. Is 4 a factor of t?
False
Let f(i) = 3*i**2 - 4*i + 6. Is 3 a factor of f(-3)?
True
Let j(o) be the second derivative of o**6/360 + 7*o**5/120 + o**4/4 + o**3/3 + 2*o. Let g(a) be the second derivative of j(a). Is g(-7) a multiple of 6?
True
Suppose -9 = 3*c - 345. Does 28 divide c?
True
Suppose 2*t - 307 = 37. Suppose 0*f + 4*f = t. Does 29 divide f?
False
Suppose 0 = -5*z - 0*z. Let n be z + 2 + (-8)/2. Let g = 3 - n. Is g a multiple of 5?
True
Let l(j) be the first derivative of -j**4/4 - 8*j**3/3 + 4*j**2 + 4*j + 5. Does 3 divide l(-9)?
False
Suppose -o = -4*o - 105. Let j be ((-9)/(-6))/(-3)*122. Let v = o - j. Does 9 divide v?
False
Suppose 3*l + 56 = 2*y, -y - 2*l = -3*y + 58. Is y a multiple of 5?
False
Let y(d) = -5*d - 12. Let t be y(-3). Let w be (2/3)/(1/132). Suppose w = -f + t*f. Is f a multiple of 17?
False
Let c(p) = -2*p**2 - 2*p + 72. Is c(0) a multiple of 9?
True
Let t = 7 + -3. Suppose -m - 10 = -3*a + 2, t*a - m - 17 = 0. Suppose -a*s = -2*w - 144, -3*s - 51 = -5*s + 3*w. Is 15 a factor of s?
True
Suppose -4 - 2 = -2*q, 147 = l + 5*q. Suppose 3*r - 4*m = -2*r + l, -90 = -4*r - 2*m. Is 12 a factor of r?
True
Let j(k) = -6*k**2 + 7*k - 7. Let l(r) = r**2 - r + 1. Let u(c) = -j(c) - 5*l(c). Let x be u(2). Is (-13)/(x - (2 + 1)) a multiple of 13?
True
Let f = 18 + 33. Is f a multiple of 17?
True
Let m = 0 + -2. Suppose h - 2*w + 6*w - 48 = 0, -2*h + 2*w + 56 = 0. Let z = m + h. Is 15 a factor of z?
True
Let s(x) = -x**2 + 19*x + 7. Does 22 divide s(15)?
False
Suppose 1 = 2*n - 3*s - 1, 4 = 4*n - 2*s. Suppose -15 = -4*j + n. Is j + -4 + 1*14 a multiple of 9?
False
Let f(k) = k**2 - 3*k - 3. Is f(5) a multiple of 2?
False
Suppose 0*p = -p + 15. Suppose -3*x - l + 51 = 2*l, 5*l = -p. Does 10 divide x?
True
Is 13 a factor of (-6)/8 - (5103/12)/(-3)?
False
Suppose d - 1 = 1. Let k = -4 + d. Does 12 divide 6/(k*2/(-8))?
True
Let o = 25 - -137. Does 16 divide o?
False
Let j(h) = -2 + 4 - 4*h - 5*h - 5 - h**2. Is j(-8) a multiple of 2?
False
Let x = 17 - -42. Is 4 a factor of x?
False
Suppose -n - 2 = -3. Suppose -5 = 3*d + n. Is 10 a factor of d/(-5) + 126/10?
False
Let k be (-2 + -1)/((-6)/40). Let m be 5/k + 422/8. Suppose -3*p + m = -22. Is p a multiple of 15?
False
Suppose 3*u - 5*o = 146, -3*o = 2*u + 3*u - 232. Does 11 divide u?
False
Let w(r) be the second derivative of r**5/20 + 2*r**4/3 + r**3/6 + 9*r**2/2 + 5*r. Let j be w(-8). Is 11 a factor of -3 + j + -1 + 26?
False
Does 11 divide (42/4)/((-6)/(-36))?
False
Suppose -2*s = f - 124, -4*f + f + 6 = 0. Suppose -35 = -4*q + s. Is q a multiple of 24?
True
Let d(x) = x**3 - 11*x**2 + 11*x - 22. Is 63 a factor of d(12)?
False
Suppose -2*a + 2*n = 0, -a + 6*a = -4*n - 36. Let z(x) = x**3 + 5*x**2 + 5*x - 2. Let i be z(a). Is 7 a factor of i*(-3)/6*3?
False
Let b(h) = -h - 3 - 5 + 0 + 3. Let x be b(-7). Is 15 a factor of 17 + (1 - x - 1)?
True
Let d be 3/(-2) + 22/4. Suppose -d*j + 7*j = 72. Suppose -68 = -4*u + j. Does 16 divide u?
False
Let i(l) = l**2 - 3*l - 2. Is 26 a factor of i(-6)?
True
Suppose 12*a - 72 = 9*a. Does 24 divide a?
True
Let t = 142 + -62. Let i = t + -54. Suppose -4*h = 2*s - 36, 3 + i = 3*h + 2*s. Does 2 divide h?
False
Suppose -p - 5*o - 25 = 3*p, -5*o = -3*p + 25. Let y be 16/20*(p + -5). Let k = 8 + y. Is 4 a factor of k?
True
Suppose -5*a + 2 + 13 = 0. Is 6 a factor of (a/2)/(1/6)?
False
Suppose 4*i = 5*t - 116, 24 = 2*t - 2*i - 22. Does 6 divide t?
True
Suppose 6*y = 5*y - 17. Let b = y - -43. Is 26 a factor of b?
True
Suppose -3*g = -35 - 82. Is g a multiple of 13?
True
Suppose 1 + 1 = r - w, 8 = 5*r - 3*w. Let n be (2 - 1) + 4 + r. Is n*(-2)/8*-2 a multiple of 3?
True
Let v = 1 + 1. Let y(q) = -10*q**3 + 4*q**2 - 4*q + 26. Let j(g) = -2*g**3 + g**2 - g + 5. Let r(m) = v*y(m) - 11*j(m