/(-12). Suppose -4*i = -6*f + 3*f - 37, -w*f = 2*i - 24. Is i a multiple of 5?
True
Let x be ((-2)/(-4))/((-10)/(-60)). Suppose -x*a + 5 + 4 = 0. Is 3 a factor of a?
True
Suppose 10 = 2*o + 3*o. Suppose 4*d - b - 51 = -0*b, 23 = 2*d - b. Suppose 0 = -o*n + d + 22. Is 9 a factor of n?
True
Is 24 a factor of 1 + 44/(-28) + (-340)/(-7)?
True
Let l be (-4)/(-10) + 415/25. Suppose 3*t - b - 3*b - 13 = 0, -5*t + 2*b + l = 0. Suppose t*c + c = 64. Does 7 divide c?
False
Suppose -2*y = y - 102. Is y a multiple of 13?
False
Let f(g) = 10*g**2 + 7*g + 9. Let z(j) = -5*j**2 - 4*j - 5. Let n(d) = -6*f(d) - 11*z(d). Let t be n(-1). Does 8 divide 2 - (3*t + 0)?
False
Does 14 divide (-2)/(-11) + (-5228)/(-44)?
False
Does 7 divide 0 - (-56)/(-4)*-1?
True
Let q = 97 - 5. Is q a multiple of 9?
False
Let h(k) be the third derivative of -k**6/120 - k**5/20 + k**4/4 + k**3/3 - 2*k**2. Let n = 10 - 15. Is h(n) a multiple of 22?
True
Let q be (-1 + 2)/(-1) + -8. Let o = -4 + -1. Let z = o - q. Is z a multiple of 2?
True
Suppose -3*d - 74 = -296. Is 9 a factor of d?
False
Suppose -9*r + 80 = -127. Is r a multiple of 13?
False
Is 13 a factor of 3/(-6)*-2 - -62?
False
Suppose 4*b = m + 4, 2*m + m = 12. Is b even?
True
Let v be (-1)/(4/(-6) + 1). Let q be (((-15)/(-1))/v)/(-1). Let a = q - -21. Does 21 divide a?
False
Let t(l) = -l**3 + l**2 + 5*l - 3. Let j be t(2). Suppose 5*b - 2*r = 227, j*r = 3 + 9. Is 20 a factor of b?
False
Suppose -2*m = 3*l + 9 - 3, 5*m + 2*l - 7 = 0. Suppose 122 = 5*f - m*f. Is 22 a factor of f?
False
Let b(t) = -46*t**2 + 2*t. Let c(w) = w**2 - w. Let q(a) = -b(a) - 3*c(a). Does 22 divide q(1)?
True
Suppose g - 11 = 14. Suppose -3*r + 2*v = -g, -3*r + 24 = -3*v - 6. Does 3 divide r?
False
Let p(l) = l**3 + 7*l**2 + 5*l - 1. Let m be p(-6). Suppose -3*v + 73 = m*i, -v + i + 131 = 4*v. Suppose -3*f + 10 = -v. Does 6 divide f?
True
Let u = 228 + -138. Suppose -a + 6*a - u = 0. Suppose 0 = k + 2*k - a. Is k a multiple of 6?
True
Suppose -2*o - o = 2*y - 14, 28 = 5*y + 4*o. Let t(s) = 1 - 1 + 3*s + 5. Is 8 a factor of t(y)?
False
Let f(c) = 0*c**2 + c**2 - 1 - c**3 + c**2. Let x be f(1). Suppose -5*l + 60 = -x*l. Does 12 divide l?
True
Let a(r) = r - 3. Let u be a(4). Let b = -14 - -42. Let z = b + u. Does 13 divide z?
False
Is 2*-3*(-3)/2 a multiple of 2?
False
Let s(a) = 4*a**2 + 2*a. Let m(u) = -u**3 + 4*u**2 - 3*u - 2. Let f be m(3). Let l be s(f). Let b = l + -3. Is 3 a factor of b?
True
Let a(m) = -m**3 + 4*m**2 + 5*m + 7. Let k be a(5). Let c be 2644/22 + (-4)/22. Suppose -k*w + 4*w = -c. Does 20 divide w?
True
Let g be (-7)/((-21)/30) - -2. Suppose -b + g = 3*b. Is b a multiple of 2?
False
Suppose o + 2*o = 333. Does 14 divide o?
False
Let d = -6 + 6. Let q = -14 + d. Does 10 divide ((-24)/q)/(4/42)?
False
Suppose -5*k + 2*k - z = -5, -k - 15 = -3*z. Suppose 4*i + 4*s - 40 = k, 2*i = -2*i + 2*s + 40. Is i a multiple of 10?
True
Does 10 divide -181*4/(-10) - (-6)/10?
False
Suppose -4*a + 72 = 2*a. Is a a multiple of 4?
True
Suppose 3*s + 19*s = 704. Is s a multiple of 16?
True
Let w(q) = -q**3 + 4*q**2 - q + 3. Let j be w(4). Is 13 a factor of j*2*(-39)/6?
True
Suppose -u = 4*z - 21, 3*u - 9 = -z + 2*u. Suppose 2*t - z*n = -66, 0*n - n = -3*t - 119. Let v = 85 + t. Does 22 divide v?
True
Let i = 0 - 2. Suppose -w - 81 = -3*p, 155 = 5*p + w + 4*w. Let b = i + p. Is b a multiple of 16?
False
Let h(u) = u**2 + 24*u + 31. Is h(-27) a multiple of 8?
True
Let d(y) = -4*y**3 - y**2 - y + 2. Is d(-3) a multiple of 13?
True
Let q = 406 + -241. Is q a multiple of 39?
False
Suppose 330 = 3*b - 0*b. Does 37 divide b?
False
Let q(d) = d + 13. Let o be q(-9). Suppose -o*t + 5*t = 16. Does 16 divide t?
True
Let t(z) = -6*z + 15. Is t(-9) a multiple of 23?
True
Suppose 3*w - 2*u = 25, -4*w + 0*u - 2*u = -10. Suppose 0 = -4*t + w*t - 14. Does 10 divide t?
False
Let c be (3/(-9))/((-2)/678). Let p = -65 + c. Is p a multiple of 8?
True
Let n(t) = -2*t**2 - 4*t + 1. Let q be n(-3). Let j = q - -5. Suppose 4*b - 70 - 14 = j. Does 21 divide b?
True
Let q(j) = j**3 - j**2 + j. Let s be q(2). Is 2/s*(57 - -3) a multiple of 5?
True
Let t(s) = 3*s**2 - s - 1. Let o be t(-1). Does 13 divide 2/o*3 - -50?
True
Let q = 7 - 8. Let n(w) = 20*w**2 + w. Does 5 divide n(q)?
False
Is 8 a factor of 1/(1/35*1)?
False
Suppose -133*u + 130*u + 108 = 0. Is u even?
True
Let w(x) = -9*x + 6. Let f be 3/1 - (-2 + 1). Let h be w(f). Does 9 divide (-69)/2*20/h?
False
Let l(z) = 2*z**2 - 8*z + 16. Is l(8) a multiple of 8?
True
Let o be 4/(-8) - 2/4. Does 13 divide ((-6)/7)/(o/28)?
False
Suppose w - 7 = 3*p, 115 = 5*w + 2*p - p. Is 11 a factor of w?
True
Let c(a) be the first derivative of -a**2/2 - 6*a + 1. Let z be c(-6). Suppose m + 4*h = z, -9 = -2*m - 4*h - 1. Does 3 divide m?
False
Suppose 4*n - 9 = n. Suppose n*q + 8 = 5*o, 4*q - o - 3 = 9. Suppose -40 = -5*y + 2*l, -y - 5*l + q + 4 = 0. Is 8 a factor of y?
True
Suppose -4*y = -7*y - 5*z + 153, -5*y - z = -255. Is 3 a factor of y?
True
Does 33 divide -1 + -3 + (2 + 0 - -200)?
True
Let f(i) = i**3 + 10*i**2 + 10*i + 6. Is 23 a factor of f(-6)?
False
Suppose -9*s + 156 + 150 = 0. Is s a multiple of 4?
False
Suppose 0*s + 6 = -2*s. Let d be 4/12 + (-260)/s. Let i = d - 57. Does 19 divide i?
False
Suppose -3*n - 33 = -3*d + 9, -2*n = -5*d + 19. Is 6 a factor of n*(-4 + 3) - -1?
True
Let x = 4 - 3. Let j = -9 + 8. Is (j + 7)*(x - 0) a multiple of 6?
True
Let s(d) be the first derivative of 6*d**4 + d**2/2 - d - 1. Let n be -3 + 0 - -2 - -2. Is 12 a factor of s(n)?
True
Let f = -1 - -4. Let v be f + 3 + -16 + 1. Let c = v + 24. Is c a multiple of 5?
True
Suppose 0 = 30*o - 27*o - 87. Is o a multiple of 7?
False
Let z = 2 - 1. Let d(k) be the third derivative of k**5/60 + k**4/24 + 14*k**2. Is d(z) even?
True
Let w(j) = -3*j - 5. Let l(m) = -m**3 + m**2 + m - 1. Let d(u) = 5*u**3 - 2*u**2 - u. Let y(r) = d(r) + 6*l(r). Let n be y(5). Does 13 divide w(n)?
True
Let u(r) = -4 + 6 - 6 - 94*r + 2. Is 23 a factor of u(-1)?
True
Let r = 9 - 4. Suppose -75 - 5 = -5*c + b, 5*b + 60 = r*c. Does 17 divide c?
True
Let p(o) = -o + 9. Let x be p(6). Suppose -56 = 2*i - x*i. Does 23 divide i?
False
Suppose 3*h = -2*n + 11, 2*h + 3*n + 2*n = 11. Suppose -5*r + 47 = h*d, 3*r = -4 - 2. Is 9 a factor of d?
False
Let z(w) = w**3 + w + 144. Does 8 divide z(0)?
True
Let s(a) = a**3 - 6*a**2 - 8*a - 7. Let h be s(7). Let z = 0 - h. Does 6 divide z?
False
Let i(w) = -w**2 - 7*w - 11. Let r be i(-5). Let n(z) = 45*z**2 + z + 2. Is n(r) a multiple of 19?
False
Let m(i) = -13*i**2 + i + 24. Let h(c) = -3*c**2 + 6. Let n(p) = -9*h(p) + 2*m(p). Is 15 a factor of n(-6)?
False
Let a(x) = -x**3 + x**2 - x + 9. Is 9 a factor of a(0)?
True
Suppose 2*t = -6*i + 3*i + 136, 5*t - 220 = -5*i. Suppose -4*g + 24 = -i. Does 18 divide g?
True
Let g = -46 + 61. Is 4 a factor of g?
False
Is 12 a factor of -1 + 1/(57/(-58) + 1)?
False
Suppose 11*s - 246 = 282. Does 8 divide s?
True
Let l = 50 - 81. Let p = 44 + l. Does 7 divide p?
False
Let n = 6 + -1. Suppose -k + 6 = -4*k + n*d, 3*d - 9 = 0. Suppose -3*i = z - 12, -z - k*i - 2*i + 6 = 0. Does 9 divide z?
False
Let n(p) = -p**3 + 3*p**2 - 3*p + 2. Let u be n(2). Suppose u = 2*w - 10 + 2, 3*w + 196 = 4*h. Is 21 a factor of h?
False
Is 18 a factor of (-2574)/13*1/(-1)?
True
Suppose 336 = l + 13*l. Is 4 a factor of l?
True
Let b(t) = 46*t**2 - t + 2. Let n be b(-2). Suppose 4*o = 13 - 5, 0 = -3*f - o + n. Suppose -3*k + f = 8. Is k a multiple of 18?
True
Let j be (-4)/(-20)*15/3. Is 2 a factor of 6/(j/(-6)*-4)?
False
Let d be -2*34*2/(-8). Suppose 0 = -4*m + 5*w + 31, 2*m - 6*w = -3*w + d. Let q(f) = 2*f**2 + f - 2. Is 14 a factor of q(m)?
False
Suppose 0*l = -l + 7. Let k = 7 - 4. Let x = l + k. Is 5 a factor of x?
True
Let p(t) = -103*t**3 - t**2 - t - 1. Let o be p(-1). Suppose -2*s - o = s. Let x = s + 59. Is x a multiple of 15?
False
Suppose -3*o + 129 = -o - 5*v, o = 3*v + 66. Is o a multiple of 19?
True
Suppose 5*u = -25, 0 = -h - 0*u - 4*u - 20. Suppose 2*t = -h*t. Suppose t = f + 2*f - 54. Is f a multiple of 6?
True
Let q(h) = -h**3 - 10*h**2 + 8*h + 15. Does 16 divide q(-11)?
True
Let d(r) = -3*r - 1. Let s be d(-1). Suppose 4*p = -s + 14. Suppose -4*m + 39 = -v, -3*m - 2*v - p*v + 12 = 0. Is m a multiple of 9?
True
Le