?
True
Let t(l) be the third derivative of 0 - 1/2*l**3 + 0*l - l**2 + 1/12*l**4. Does 7 divide t(5)?
True
Let b(t) = 5*t. Let g be b(1). Suppose 0*n + 2*n + g = -w, 2*n = -2*w. Suppose -w*q + 21 + 69 = 0. Does 12 divide q?
False
Suppose -2*k = 3 + 1. Let w be (0 + -3)/(3/k). Suppose w + 0 = r. Does 2 divide r?
True
Suppose 0 = 3*s - a + 4*a - 363, 3*s = 3*a + 339. Is 20 a factor of s?
False
Suppose -2*l - 4*m = -6, -2*m + 1 = -l - 0*l. Does 7 divide ((-1)/l)/(7/(-133))?
False
Let i = 21 - 48. Is (-6)/i + (-140)/(-18) a multiple of 8?
True
Let h = 10 + 5. Is (-34 - 1)*(-6)/h a multiple of 13?
False
Suppose 0 = -2*x + 12 + 10. Is x a multiple of 11?
True
Is 32 a factor of 1*-5 - (-287 - -5)?
False
Let t be 3/(1 + (-2)/8). Suppose t*s - 14 = 66. Suppose 0 = -o - 4*d - 15 + 3, -d - s = -4*o. Is o even?
True
Does 8 divide (1 + -16)*(-48)/30?
True
Let q(g) = 2*g - 3. Let p be q(4). Suppose x + 0*x = p. Is x a multiple of 4?
False
Let x(m) = 13*m - 4. Let v be x(4). Suppose -5*o - b = -0*b - 93, 0 = 2*o + 4*b - v. Is o a multiple of 6?
True
Let l = 5 - 7. Let z be 8/(-3)*3/l. Suppose 2 = z*o - 10. Does 2 divide o?
False
Let w = 73 + -107. Let t = 49 + w. Does 8 divide t?
False
Suppose 0 = 5*y - 2*x - 120, -2*y + 3*x + 96 = 2*y. Suppose -5*b + 2*i + 74 = 6*i, -4*i - y = -2*b. Is 14 a factor of b?
True
Let o = 4 + -1. Let r be (-38)/(2 - o) + 1. Suppose -3*n + 6*n = r. Is 13 a factor of n?
True
Let f(q) = q**2 - q - 6*q**3 - 2*q**2 - 3*q**3. Is 5 a factor of f(-1)?
False
Let j = 55 - -125. Suppose -5*q + j = -0*q. Is q a multiple of 9?
True
Let o be (62/4)/((-3)/(-6)). Suppose -5*i - o = -11, -2*i - 22 = -s. Does 10 divide s?
False
Suppose x + 4*d - d - 174 = 0, -x + 2*d + 149 = 0. Is 15 a factor of x?
False
Suppose 132 = 2*x - 4*r, 4*x - 3*r = -x + 351. Suppose 0 = -0*d - 2*d + x. Does 13 divide d?
False
Let l(j) = -j**3 - j**2 - j. Let q(d) = 7*d**3 + 3*d**2 - 2. Let n(a) = -3*l(a) - q(a). Is 14 a factor of n(-2)?
True
Let v(c) = -c + 4. Let w be v(8). Let x = 6 - w. Does 10 divide x?
True
Suppose 5*d + 5*o - 50 = 0, -4*d - 3*o + 12 = -6*o. Suppose 0 = d*b - 4*b - 4. Is 12 a factor of -6*1/(-1)*b?
True
Let y = 113 + -54. Let h = -20 + y. Suppose -6*v + 3*v = -h. Does 13 divide v?
True
Let r = 73 + -41. Let q = r + -8. Does 12 divide q?
True
Let k(o) = o**3 - 3*o**2 - 2*o + 2. Let p(h) be the second derivative of h**5/20 - h**3/2 + h**2 + h. Let d be p(2). Is k(d) a multiple of 5?
True
Suppose 0 = 5*a - 37 - 63. Is a a multiple of 9?
False
Let l = 13 - 10. Let x = 11 - l. Is 3 a factor of x?
False
Let t(x) = 5*x**2 + x - 4. Is 12 a factor of t(3)?
False
Let r be (-36)/(-10) - (-8)/20. Suppose -2*g = -r*g + 12. Does 2 divide g?
True
Is 59 a factor of ((-236)/4)/(6/(-12))?
True
Let o = -44 + 95. Let a = o + -29. Is a a multiple of 15?
False
Let o = -32 + 36. Is 2 a factor of o?
True
Let l = -17 - -21. Suppose -l = -a + 36. Does 10 divide a?
True
Suppose -4*u + 24 = -508. Is 33 a factor of u?
False
Is (-654)/(-30) - (-8)/(-10) a multiple of 7?
True
Let a(r) = 6*r**2 + 3*r - 1. Is a(2) a multiple of 11?
False
Let g(l) = -l**2 + 7*l - 5. Let i be g(5). Suppose -2*m - i*t = 15, -1 + 13 = -5*m - 4*t. Suppose m = -0*w + 3*w - 24. Is w a multiple of 4?
True
Suppose -6*b + 401 + 175 = 0. Does 16 divide b?
True
Let h(i) = 1 + 4*i + 5 - 3*i - 2. Does 2 divide h(0)?
True
Suppose 4 = -2*c + 26. Let y = 34 + c. Is y a multiple of 12?
False
Let j be 10/8 - (-12)/16. Suppose -j*y + 76 = 2*k, -y + 3*k + 60 = 14. Is y a multiple of 21?
False
Let f = -44 - -96. Is f a multiple of 13?
True
Suppose 0 = 3*q - 4*g + 616, -q - 6*g = -2*g + 200. Let u = q - -141. Let y = u + 108. Is 18 a factor of y?
False
Suppose 0 = -2*s + y + 92 - 16, 0 = s - 4*y - 38. Let t = 75 - s. Is 14 a factor of t?
False
Let g(d) = -2*d. Let x be g(1). Is 8 a factor of (16 - 0)/(x/(-2))?
True
Suppose -2*s = -2*w + 9 - 33, -s = -2*w - 23. Does 11 divide -1 - (-2)/2 - w?
True
Let h(u) be the first derivative of -u**4/4 + 4*u**3/3 - u**2 + 3. Let f be h(2). Is (-2 + -2)*(-23)/f a multiple of 23?
True
Let m = 12 + -10. Suppose 5 = y - m. Is 4 a factor of y?
False
Let k = 59 + -42. Suppose 2*v = v + k. Is 15 a factor of v?
False
Let m(f) be the first derivative of f**4/4 + 8*f**3/3 + 3*f**2 - 3*f - 1. Let r(j) = 3*j - 1. Let g be r(-2). Is 2 a factor of m(g)?
True
Let v be 2/(-2 - 15/(-6)). Suppose -5*o = -o + v. Is 9 a factor of -11*(-2 - (0 + o))?
False
Let d = 21 - -7. Does 7 divide d?
True
Let x be (-112)/(-14) - 4/1. Let k be 28/6 - (-4)/12. Suppose k*a = x*c - 44, 2*c + a = -0*a + 22. Does 8 divide c?
False
Let y(h) be the first derivative of h**4/3 - h**2 - 2*h + 1. Let x(p) be the first derivative of y(p). Is 8 a factor of x(-2)?
False
Let f be 3/(-12) + (-45)/(-4). Suppose -2*y - v + 9 = 0, y - v - f = -2*y. Suppose 0 = y*o + 4*x - 312, 8*x - 3*x - 82 = -o. Is 27 a factor of o?
False
Let g(i) = -i**2 - 6*i - 4. Let z be g(-4). Does 7 divide 213/12 - (-1)/z?
False
Let o be (19/(-3))/((-3)/36). Let s = o - 36. Suppose s = 4*a - 0*a. Does 10 divide a?
True
Let p be ((-24)/15)/((-2)/5). Suppose 5*k + u - p*u - 173 = 0, 2*k - 65 = -3*u. Does 16 divide k?
False
Let d(u) be the first derivative of 2*u**3/3 + 3*u**2/2 - 5*u + 3. Is d(-4) a multiple of 12?
False
Suppose -3*h = -5 - 1. Suppose h*q - 1 = -r + 10, 2 = 2*q. Is r a multiple of 3?
True
Let x(d) = d**3 + 9*d**2 + 7*d + 8. Let h be x(-8). Does 19 divide 1*(h/1 + 3)?
True
Let t = 58 + -22. Is 12 a factor of t?
True
Let t be 20/90 - 346/18. Let m = -1 - t. Is 6 a factor of m?
True
Let o be (-3)/((-6)/4 + 0). Suppose -5*n = -2*m + 34, -m = 5*n + 30 - o. Is n/(-9)*-3*-4 a multiple of 3?
False
Let t(x) = 1 - x**2 + 5*x**2 - x**2 + 12*x**2 + 2*x. Let f be t(-1). Suppose -s + f = 3*m, 22 = s + 3*m - 4*m. Does 20 divide s?
True
Suppose -3*p - 17 = 4*m + 22, 4*p = -20. Is 14 a factor of (7 + m)/((-2)/(-34))?
False
Let t(c) = 1 - 1 - 7 - 2 - 4*c. Does 9 divide t(-6)?
False
Suppose 0 = -2*t - 1 + 7. Suppose 0 = -3*p - 15, 15 = c - t*p - 3. Is -34*c/(-18)*3 a multiple of 8?
False
Suppose 3*z + 2*i - 100 = 0, -4*z - i + 134 = 2*i. Let h(q) = -q**2 + 4*q - 1. Let v be h(7). Let o = v + z. Does 10 divide o?
True
Suppose 0 = 4*t + 12, 4*w - 3*t + 2*t - 227 = 0. Is 8 a factor of w?
True
Does 28 divide -15*6/(-27)*12?
False
Let j(l) = 9*l. Is 23 a factor of j(23)?
True
Let m be 1370/20 - 2/(-4). Let x = m - 9. Is 23 a factor of x?
False
Let q = 4 + -3. Let f = 4 - q. Is 3 a factor of 2 + f/3 + 0?
True
Suppose -2*c = 3*t + 1, -c - 9 = -3*t + 5. Suppose -t = 3*p + 402. Let g = p + 193. Does 24 divide g?
False
Suppose f + f - 4 = 0. Does 3 divide 2*((-1)/(-2) + f)?
False
Let c = -37 + -21. Let j = c - -113. Does 21 divide j?
False
Suppose -13 + 6 = l. Let s = -11 - l. Does 3 divide 84/22 + s/(-22)?
False
Let b(o) = -3*o**3 + 5*o**2 + 4*o - 3. Let q(g) = -2*g + 11*g**2 + 8*g + 3*g - 5*g**3 - 6. Let i(f) = 7*b(f) - 4*q(f). Does 2 divide i(-8)?
False
Let b(q) = q**2 - 13*q. Let r be b(13). Suppose 6*x = 4*k + x + 9, r = -4*k - 5*x + 41. Is 4 a factor of k?
True
Is (126 - (-1 + 3)) + 0 a multiple of 31?
True
Let r(j) = 5*j - 1. Let k be r(1). Suppose -k*s + s + 12 = 0. Suppose -s*b = -2*f, -5*b - 1 + 27 = 4*f. Is f even?
True
Suppose -5*i = -29 - 21. Let s = i - 5. Suppose -2*u - 62 = -2*z + 2*u, u = s*z - 137. Is z a multiple of 27?
True
Let a(l) = 5*l**2 + 2*l - 1. Let f be a(1). Let q be f/2*(-2)/3. Does 5 divide q/(-7) + 141/21?
False
Let q(k) be the third derivative of -k**2 + 1/8*k**4 - 1/3*k**3 + 0 + 1/12*k**5 + 0*k - 1/120*k**6. Does 6 divide q(5)?
False
Suppose 0 = -3*n + n, 1025 = 5*g + 3*n. Let k = g + -116. Suppose 3*d - 108 = -2*m, 0 = -4*d + m + k + 44. Is d a multiple of 15?
False
Let i be 3*(-2 + (-10)/(-3)). Let d(z) be the third derivative of z**6/120 - z**5/60 - 7*z**4/24 + z**3 - 2*z**2. Is 13 a factor of d(i)?
True
Let z be -2 - ((-27)/1 + -2). Suppose -4*p - z = -107. Is 6 a factor of p?
False
Let d = 12 - 8. Does 25 divide d/(-22) + (-6084)/(-66)?
False
Is (6/1)/((-15)/(-10)) a multiple of 4?
True
Suppose -5 = -2*q + 1. Let h be -1*1 + 6/q. Let j = h + 1. Is j a multiple of 2?
True
Suppose 11 = 5*k + 36. Let q = -8 - k. Is -1 - (q - -2 - 12) a multiple of 4?
True
Suppose 2*n + 2*n = 568. Does 23 divide n?
False
Suppose -4*y - 15 = -3*t, -3*t 