 a multiple of 13?
True
Let x be (14/(-8))/(3/24). Let o = x - -24. Suppose 3*q - 38 = -5*v + q, 2*q + o = v. Is v a multiple of 8?
True
Suppose 2*s = 5*s + 78. Suppose -4*z - 13 = -5. Let c = z - s. Is c a multiple of 12?
True
Let y(v) = v**2 - v. Let s be y(3). Suppose 3*f + 21 = 3*b, 2*b - s*b = -5*f - 27. Is 4 a factor of b?
True
Suppose 2*h - 1169 = -5*m, 6*m + 4*h + 247 = 7*m. Is 20 a factor of m?
False
Let t = 5 - 3. Suppose 4*p + 208 = 2*j + 3*j, -t*p = -2*j + 106. Let m = -24 - p. Does 11 divide m?
True
Let d(x) = -x**2 - 2*x + 2. Let z be d(-2). Is 13 a factor of (-1020)/(-27) + z/9?
False
Suppose 3 + 2 = -y. Let d be 1/(-1)*(8 - y). Let f = d + 32. Is f a multiple of 19?
True
Suppose k = 1 + 1. Suppose k*b = 4*b - 150. Let g = b + -41. Is g a multiple of 15?
False
Let r(o) be the third derivative of o**4/24 + o**3/2 - 3*o**2. Let l be r(12). Is 8 a factor of (-2)/(2/3) + l?
False
Let k(w) = 7*w - 8. Let m be (-136)/(-4) + 1 + 0. Suppose m = 6*g - g. Is k(g) a multiple of 18?
False
Let q be -2 + 0 + -1 + 12. Does 17 divide 1 + q*(-28)/(-6)?
False
Is (-10)/35 + (-424)/(-14) a multiple of 10?
True
Let t(a) = -6*a + 4. Suppose -g + s - 4 = 0, -g + 3 = 5*s + 1. Is 14 a factor of t(g)?
False
Is ((-4)/6)/(18/(-2079)) a multiple of 15?
False
Suppose 0 = t - 0 - 6. Suppose t*m + 6 = 3*m. Is 8 a factor of (m*12/3)/(-1)?
True
Suppose -3*j + 463 + 77 = 0. Is 12 a factor of j?
True
Let s(t) = t**3 + 10*t**2 + 7*t - 11. Let r be s(-9). Let b = -8 + r. Is (15/(-20))/(b/8) a multiple of 3?
True
Let k(o) = o**3 + 6*o**2 - 3*o - 4. Let q be k(-5). Suppose h = 6*h - 3*i + 5, -3*i = h - 17. Suppose 0 = h*c + c - q. Is c a multiple of 12?
True
Suppose 4*a + 8 = 5*a. Let h = a + -2. Does 6 divide h?
True
Suppose 0*d = 5*d. Suppose -2*v - 3*j + 23 = d, 3*j - 15 = -0*j. Does 3 divide v?
False
Suppose -140 = -3*u - 47. Suppose -5*l = h - 70, 3*l - 3*h = 29 + u. Does 5 divide l?
True
Suppose 16*g - 551 = -167. Is 3 a factor of g?
True
Suppose 2*v + 2*g = -3*g + 134, -5*g - 201 = -3*v. Is 17 a factor of v?
False
Let w(n) = -2*n + 6. Let a be w(-5). Let f = a + -10. Does 6 divide f?
True
Let v = -3 - -2. Let o(h) = -14*h**2 - h - 1. Let q be o(v). Let l = 29 + q. Does 9 divide l?
False
Let j = 8 + -6. Suppose 0 = j*o - 6, 0*o - 47 = -2*q + o. Let h = 39 - q. Is 7 a factor of h?
True
Let l(q) = -q - 3. Let z be l(-7). Suppose z*f - 3 = 13. Is (-9)/(-6) - (-98)/f a multiple of 13?
True
Let i(q) = 2*q**2 + 3*q - 3. Let d be i(-3). Suppose 4*p = p + d. Suppose -p*g + 7 = -g. Is g a multiple of 4?
False
Let u = 37 + 5. Is u a multiple of 14?
True
Let n(v) = 3*v**2 - 3*v - 6. Is n(-4) a multiple of 18?
True
Suppose 0 = 4*d + 203 - 1291. Does 17 divide d?
True
Let i = -34 + 83. Does 49 divide i?
True
Suppose -180 = -4*m + o + o, m = 5*o + 27. Is 8 a factor of m?
False
Let x = -364 - -535. Is 9 a factor of x?
True
Let b(r) be the first derivative of 4*r + 4*r**3 + 3 + r**2 - 3*r + 0*r**3. Is 4 a factor of b(-1)?
False
Is (-3)/(-1)*(-400)/(-12) a multiple of 20?
True
Suppose -4*v - 290 = -2*l, -4*v + 109 = -4*l + 393. Let o = 104 + v. Is 20 a factor of (o/(-8))/((-3)/16)?
True
Let p(b) = 4*b**2 - 5*b + 5. Is 16 a factor of p(4)?
False
Let h(c) = -c**3 + 7*c**2 + c - 6. Let j be h(7). Let z(s) = -s**3 - 5*s**2 + 5*s - 5. Let q be z(-6). Is (-2)/j + q + 12 a multiple of 11?
True
Let y be -1 + 0 - (-8)/2. Does 6 divide (6 - -12)*2/y?
True
Suppose -5*u - 2*b - 119 + 621 = 0, -u + 3*b + 97 = 0. Is 35 a factor of u?
False
Let p(z) = -z + 2. Let h be p(-18). Suppose -5*u - 8*i = -4*i - 27, -2*u + 3*i - 3 = 0. Suppose q - u*q = -h. Is 5 a factor of q?
True
Let f(v) = 7*v**3 + 2*v + 3. Let i be f(-2). Let j = -23 - i. Does 10 divide j?
False
Let y be 2 - (1 + -2 - 0). Suppose 0 = -5*r - n + 110 + 14, y*r - 79 = 4*n. Does 12 divide r?
False
Let s = 6 - 10. Let v(u) = -u**2 - 4*u + 5. Does 3 divide v(s)?
False
Let g = -7 + 12. Suppose 0 = o + o. Suppose o = g*r - 14 - 56. Is r a multiple of 7?
True
Let i = 9 + -5. Is 2 + (i + 0 - 1) even?
False
Suppose -7*c = -w - 2*c + 5, 4*w + 3*c = 112. Does 6 divide w?
False
Let h = 26 + 9. Is h a multiple of 5?
True
Suppose -4*d = -d - 51. Is d a multiple of 12?
False
Let s be (0 - 20/(-16))*44. Suppose 6 = -4*a - 5*l + 63, s = 5*a + 3*l. Is 8 a factor of a?
True
Let a = 39 - 21. Suppose 0 = -d - 3*z + a, 2*d - d - 4*z = 46. Is 10 a factor of d?
True
Let p = 18 - 22. Does 23 divide (p - 88)*3/(-4)?
True
Suppose -68 = -5*u + m, 2*u - 2*m = -2*u + 52. Let v = -5 + u. Is 9 a factor of v?
True
Suppose 3*k - 4*k - w = 6, -k + 6 = -3*w. Is 5 a factor of 20 + (-2 - k) + -3?
False
Let s(z) = -z**3 - 8*z**2 - 9*z + 6. Suppose -x - x = 4*t - 42, -123 = -5*x - t. Suppose -3*y = x - 4. Is 13 a factor of s(y)?
False
Suppose d + 12 = -2*d. Does 8 divide 2/d - (-147)/6?
True
Suppose -11 + 0 = -d. Is d a multiple of 5?
False
Let s be (-2)/(((-16)/(-6))/(-4)). Is (-63)/(-1*(s - 2)) a multiple of 21?
True
Let x be (96/(-15))/(-4)*5. Let z = -4 + x. Is z a multiple of 4?
True
Suppose -24 = -3*s - s. Suppose -s = -3*a + 6. Suppose -i = -2*x + 12 + 13, a*x - 53 = -i. Is 7 a factor of x?
False
Is (-5004)/(-78) + (-4)/26 a multiple of 6?
False
Suppose -9*d + 630 = 5*d. Is 5 a factor of d?
True
Suppose 6*m + 4*y = 2*m + 116, 5*m = 3*y + 145. Let g = -21 + m. Is 4 a factor of g?
True
Let n(r) = r**2 + 3*r - 4. Let q(x) = -x**3 + 2*x**2 + 3. Let k(j) = -j + 3. Let l be k(0). Let o be q(l). Does 14 divide n(o)?
True
Does 40 divide (-3)/(-6)*244 + -2?
True
Let a(k) be the first derivative of k**4/4 - 4*k**3/3 + 2*k**2 + 2*k - 1. Let z be a(4). Let r = z + 20. Does 15 divide r?
False
Suppose 5*z + 2*s = 9 + 20, 2*s = -4*z + 22. Does 2 divide z?
False
Suppose 0 = -7*q + 2*q. Is 11 a factor of -1*(-22 - -1) - q?
False
Let f = -3 + 3. Let b(q) be the first derivative of -q**4/4 - q**3/3 - q**2/2 + 2*q - 1. Is b(f) even?
True
Let a = -27 + 40. Is 13 a factor of a?
True
Suppose 12 = 3*i, -t = -4*i + 23 - 7. Suppose t*c = -c + 27. Is c a multiple of 11?
False
Let x(w) = w**3 - 9*w**2 + 9*w - 6. Let m(d) be the first derivative of 3*d**2/2 - 4*d + 2. Let z be m(4). Does 2 divide x(z)?
True
Suppose 5*i - 289 = -4*r, -3*i + 5*r + 223 = i. Suppose -3*p + i = -21. Does 13 divide p?
True
Suppose 5*m - 5 = 5. Let b = -7 + m. Let c = 20 + b. Is 15 a factor of c?
True
Suppose 5*u + a - 20 = -2*a, 0 = -4*u + 3*a + 16. Suppose 4*d - 51 = 2*s - 147, d + 213 = u*s. Is s a multiple of 14?
False
Suppose 0*l + 2 = l. Suppose p = -l*c + 14, c - 12 = p - 4*p. Does 3 divide c?
True
Suppose -3*o - 2*c + c = -24, 2*c = -3*o + 24. Is 8 a factor of o?
True
Suppose -4*x - 2*k + 289 = 109, 0 = 2*x - 4*k - 110. Let p(o) = -o**3 - 10*o**2 + 2*o - 1. Let a be p(-10). Let j = a + x. Does 26 divide j?
True
Suppose 5*r = 5 + 5. Suppose -3*w - 4*g = -38, r*g - 3 = 5*w - 23. Is 4 a factor of w?
False
Let p(k) = 2*k**2 + 3*k**2 - 2*k + 6 + k**3 - 5*k + 0*k**2. Does 12 divide p(-6)?
True
Let a(h) be the second derivative of -h**5/20 + 7*h**4/12 - 5*h**3/6 + 9*h**2/2 - 2*h. Is a(6) a multiple of 5?
True
Let s be -2*(-1 - (-1 + 2)). Suppose 4*f = 3*v + v - 8, -5 = 5*f - s*v. Suppose 0 = 4*x - 1 - 3, f*x = 4*i - 93. Is i a multiple of 11?
False
Let b be 1/(1/22) + -1. Let d be (2*-1)/((-2)/b). Suppose 21 = 2*v - 3*h + 6, d = 3*v - 3*h. Does 6 divide v?
True
Let m = 5 + -4. Let i be (m - -2) + (31 - 1). Does 13 divide (i/2)/(4/8)?
False
Let c(j) = j**3 + 3*j**2 - 3*j. Let r be (-25)/9 - 22/99. Is c(r) a multiple of 2?
False
Let x(f) = 6*f - 2. Does 5 divide x(7)?
True
Suppose 6*j - j = 45. Let p(m) = m**3 - 8*m**2 - 9*m + 11. Is 10 a factor of p(j)?
False
Suppose -3*x + 3*i = 21, 0*x + 4*x + 13 = -i. Let h = 21 + x. Does 13 divide h?
False
Let z = 310 - 218. Suppose 0 = -4*b + 3*j + z, -3*b + 0*b = -4*j - 69. Is b a multiple of 9?
False
Let i(q) = -31*q**3 + 2*q + 1. Let c be (-3)/3 - (2 + -2). Let h be i(c). Let z = h - -6. Is 18 a factor of z?
True
Let t = 51 + -10. Let w = 127 - t. Suppose 0 = 5*a - 2*z - 78, -3*a - 2*a + 4*z = -w. Is a a multiple of 14?
True
Suppose 4*s - 2*h - 12 = 0, 2*h = h + 2. Is 6 a factor of -1 - 14*s/(-8)?
True
Suppose 0 = f - 5*f + b - 11, b = -4*f - 21. Let d(u) = u**3 + 4*u**2 - 4*u - 4. Is 12 a factor of d(f)?
True
Let q = -1 - -3. Let n be 0 - (0 - 6/q). Suppose -31 = -3*y + 