t r be b(2). Suppose 3*i + i = h - r, -h - 2 = 4*i. Is 5 a factor of h?
True
Suppose -4*o + 32 = 4*y, -28 = -2*y - 2*y - 5*o. Suppose 0 = 2*i - i - y. Does 11 divide (i/(-6))/((-4)/38)?
False
Let j(a) = a**2 - 7*a - 4. Let m be j(8). Suppose -m*w = -w - 15. Does 5 divide w?
True
Let y(m) = 2*m - 1. Is 2 a factor of y(4)?
False
Suppose -w = 2*w. Let l be -2*(-2 - -20) + w. Let n = l + 61. Is 10 a factor of n?
False
Suppose 14 - 20 = -3*p. Let v(i) = -4 + 4*i**2 + 2*i**2 + 2 - 2*i. Is v(p) a multiple of 6?
True
Let u(p) = p**3 + 6*p**2 - 5*p - 7. Is u(-6) a multiple of 3?
False
Let k = 185 - 72. Let j be (10 + 2)/((-3)/20). Let i = k + j. Does 12 divide i?
False
Let x(l) be the second derivative of l**4/6 - l**3/6 - l**2 - 7*l. Does 20 divide x(4)?
False
Let t(g) = g**3 + 2*g**2 + g - 1. Does 15 divide t(2)?
False
Suppose -d + 3*z + 25 = -2*z, 0 = 3*d - 4*z - 20. Suppose d = 2*m + 22 - 88. Does 22 divide m?
False
Let z = -40 + 80. Is z a multiple of 5?
True
Let j(o) = -o**3 - 8*o**2 - 7*o + 11. Does 38 divide j(-9)?
False
Let i(g) = 13*g**2 - 3*g - 3. Is 10 a factor of i(2)?
False
Suppose -5 = k, -5*h + 52 = -5*k - 183. Is 10 a factor of h?
False
Let j(t) = 0 - 3 - t + 0*t. Let u be j(-9). Let x(o) = 2*o - 8. Does 4 divide x(u)?
True
Let n(c) = c**2 - 2*c + 1. Let o(k) = -1. Let h(p) = n(p) + 3*o(p). Let s be h(6). Suppose -l + s = l. Is l a multiple of 5?
False
Suppose o + 2*o - 12 = 0. Suppose -2*j + 148 = 5*t, -58 - 66 = -4*t + o*j. Is 19 a factor of t?
False
Is 13/(3 - 2) - -3 a multiple of 4?
True
Suppose 0 = -0*u + 5*u - 40. Suppose u*y - 72 = 5*y. Is 12 a factor of y?
True
Let b(d) be the first derivative of 2*d**2 - d + 1. Suppose -2*j = -0*j - 12. Is b(j) a multiple of 18?
False
Suppose -y + 6*y - 20 = 0. Is 5/10 + 130/y a multiple of 11?
True
Let g(m) = m**2 + 5*m + 4. Let v be g(-4). Let t = 18 - v. Is 6 a factor of t?
True
Suppose 2*g - 3*g = 4. Let s be 169/(-4) - g/16. Is 4 a factor of 4/(-6) + s/(-9)?
True
Let h = 1 - -4. Suppose -5*t = -h*g, 0 = -4*g + 21 - 1. Suppose 2*b - 4 - 24 = -2*c, 0 = t*c + 3*b - 72. Is 6 a factor of c?
False
Suppose -2*p + 105 = -49. Is 19 a factor of p?
False
Let b(i) be the second derivative of -4*i**3/3 - i**2 + 3*i. Is b(-1) even?
True
Let q(o) = -11*o - 8. Let g(c) = -11*c - 9. Let u(j) = -4*g(j) + 5*q(j). Let k = 3 + -6. Is u(k) a multiple of 8?
False
Let j = -13 + 26. Is j a multiple of 13?
True
Let l be 2/3 + (-26)/(-6). Suppose -2*m = -m - l. Suppose -2*p + 2*g = 2*p - 40, -44 = -3*p + m*g. Does 4 divide p?
True
Is 8 a factor of (-960)/(-54) - 4/(-18)?
False
Suppose -2*g = -4*p + 6, 3*g - 10 = g. Suppose -p*h = 10 + 10. Does 6 divide (4/h)/((-2)/30)?
True
Suppose 19*b = 20*b + 7. Suppose 2*c + 25 = 1. Is (c/b)/((-2)/(-14)) a multiple of 12?
True
Suppose 5*o + 2*r - 946 = 0, -5*r - 129 = -o + 44. Let l = -119 + o. Is 26 a factor of l?
False
Does 7 divide (10/25)/(1/105)?
True
Let v(q) = -2*q**2 - q**3 - 4*q + 3 - 3 - 2. Let k = -4 - -2. Is v(k) a multiple of 5?
False
Let h(k) = -8*k**3 - k**2 - k - 1. Let t be h(-1). Suppose t*p - 4*p = 63. Suppose -2*j + 9 = -p. Is j a multiple of 14?
False
Let z(t) = -t**3 + 3*t**2 + t - 3. Let c be z(3). Suppose 0 = 3*r - c*u + 5*u - 2, 4*u = -2*r. Let g(b) = -b**3 + 4*b**2 + 2*b - 2. Is g(r) a multiple of 3?
True
Let o(d) = 2*d - 9. Let f be o(6). Let l be 2 + -2 + 0 + 3. Suppose -36 = -2*c + f*z, -8 - 10 = -c - l*z. Does 10 divide c?
False
Let m(z) = 38*z - 5. Does 7 divide m(2)?
False
Let h(t) = t + 1. Let b be h(-12). Let g be b/((-1)/(3 - 1)). Is (g/3)/(2/12) a multiple of 22?
True
Suppose -3*p - p - 252 = -3*x, 5*p = -3*x + 225. Does 14 divide x?
False
Suppose 4 = 2*x - 8. Let u be 314/10 - x/15. Let k = u + -22. Is 8 a factor of k?
False
Let o(t) be the second derivative of -t**4/12 + 13*t**3/6 + 13*t**2/2 - 2*t. Is o(12) a multiple of 11?
False
Let m(q) be the second derivative of 5*q**3/6 - 5*q**2 - q. Does 10 divide m(8)?
True
Let a = 9 + -52. Let h = a + 114. Is 23 a factor of h?
False
Suppose 8*o - 12*o + 516 = 0. Is o a multiple of 16?
False
Let t(j) = 5*j - 1. Suppose -z + 0*z = 4*p - 37, 20 = 2*p + 2*z. Is 22 a factor of t(p)?
True
Let r(l) = 2 - l**2 - 2*l - 4 + 2*l**2 - 3. Let x(v) = -v**2 + 7*v - 4. Let t be x(7). Does 7 divide r(t)?
False
Suppose 4*d - 6*d + 2 = 0. Suppose 80 = -5*c - 2*k, -3*c - 21 - 27 = 5*k. Does 4 divide c/(-2) + d + -1?
True
Let f be 2 - (-6)/(-9)*-3. Does 10 divide f*-58*(-2)/16?
False
Let n(i) = -i**3 + 11*i**2 + 11*i + 17. Is n(12) a multiple of 5?
True
Is 1 + (13 - (-1 - 3)) a multiple of 3?
True
Let x(n) = -3*n**3 + 3*n**2 - 2*n - 4. Let b be x(-3). Suppose -7*z + 2*z = -b. Is z a multiple of 13?
False
Suppose -9*x = -7 - 443. Does 9 divide x?
False
Let j = 116 + 4. Is j a multiple of 12?
True
Is 11 a factor of 1/5 - (-1554)/30?
False
Let z be -1 + 34*(-3)/6. Let t = z + 30. Does 10 divide t?
False
Let x = 92 - 66. Does 6 divide x?
False
Let r = -161 + 231. Suppose -4*x + 2*x = 4*n - r, -2*x + 60 = 2*n. Is 10 a factor of x?
False
Suppose -g - 2*g = -30. Suppose 0 = -0*v - v + 5. Let s = g + v. Is s a multiple of 15?
True
Let x = -15 - -22. Suppose -x*u + 250 = -2*u. Is u a multiple of 13?
False
Suppose 8*g = 180 + 12. Is 24 a factor of g?
True
Let f(z) = -z**3 + 6*z**2 + z - 3. Let i(o) = 2*o - 6. Let q be i(6). Let y be f(q). Suppose 0 = -c - y*c + 2*a + 126, 0 = 5*a + 15. Is 15 a factor of c?
True
Let i(m) = m**2 + 4*m + 7. Suppose r + 2*r + 15 = 0. Is 11 a factor of i(r)?
False
Suppose 5*l - 180 = 3*l. Does 13 divide l?
False
Let l(m) = m**3 + 4*m**2 + 2*m + 1. Let r = 2 + -4. Let b be l(r). Suppose b*u = 8 + 32. Does 4 divide u?
True
Let h = 1 - -3. Suppose -4*a + 2*z + 10 + 10 = 0, 0 = 3*a - h*z - 25. Suppose w + a = 0, 0*w - 2*w = 4*g - 82. Is g a multiple of 11?
True
Let t = 228 - 119. Is t a multiple of 16?
False
Let g(a) = 85*a**3 - a**2 + a - 1. Let l(j) = j**2 + 14*j + 14. Let h be l(-13). Is 13 a factor of g(h)?
False
Let x(o) = -o**3 - o**2 - o + 8. Let y = -4 + 4. Does 8 divide x(y)?
True
Suppose -11*m + 8*m = -114. Is m a multiple of 14?
False
Suppose -j + 3*d = d - 9, 3*j = 3*d + 21. Suppose -7*t + 16 = -3*t. Suppose -2*n - 13 = t*i - j, n - 1 = -i. Does 6 divide n?
True
Suppose 3*k + 3 = -c, -4 = -3*c + k + 3*k. Let j = 1 + c. Suppose -3*p = -15, q + 0*p - j = 3*p. Is 16 a factor of q?
True
Let v = 6 + 3. Is v even?
False
Let s = 8 + -4. Suppose 127 + 17 = s*g. Is 12 a factor of g?
True
Let o(a) = a**3 - 9*a**2 - 11*a + 2. Let s be o(10). Let g(t) = -t + 1. Let w be g(s). Suppose 0 = 4*k - 79 - w. Is 11 a factor of k?
True
Suppose 0 = 4*p, -4*b - 4*p + 14 = -6. Suppose -b*n - 80 = -10*n. Does 14 divide n?
False
Suppose -d - 3*o - o = -13, -8 = -d - 5*o. Let l be 1 - (d*32)/3. Does 15 divide l/(-12) - (-9)/12?
True
Let s(l) = -l**3 + 5*l**2 + 2*l + 15. Is 24 a factor of s(-4)?
False
Let q = -54 - -117. Does 9 divide q?
True
Let n(u) be the third derivative of u**4/24 - 5*u**3/3 + 2*u**2. Let b be n(8). Does 14 divide (4/b)/2 - -19?
False
Let l(g) = -g**2 - 19*g - 3. Let p be l(-10). Suppose -4*a - 3*v - 263 = 0, 2*v = -a - 3*v - p. Does 8 divide (-4)/(-6) + a/(-6)?
False
Suppose 135*h = 140*h - 470. Does 14 divide h?
False
Let y(w) be the first derivative of -w**6/120 + w**5/12 + w**4/3 - w**3 - w**2/2 + 3. Let h(p) be the second derivative of y(p). Is h(6) a multiple of 3?
True
Suppose 0*p - 2*p + 6 = 0. Suppose o - p*d + 7 = -0*d, -o = 4*d. Is 15 a factor of (6/4)/(o/(-56))?
False
Suppose 0 = -0*x - 2*x. Suppose -c = -x - 6. Suppose -28 = -2*j - c. Does 11 divide j?
True
Let c = 0 + -6. Is (8/(-12))/(c/45) a multiple of 5?
True
Suppose 0 = -w - 2*w + 396. Suppose -2*y - p + w = 0, 0 = -p - 3 + 1. Suppose 0 = 3*a - o - y, 0 = -2*a - o + 3*o + 42. Does 23 divide a?
True
Let w = 234 + -143. Does 30 divide w?
False
Suppose -5*m + 119 - 24 = 0. Does 9 divide m?
False
Let v(q) = -6*q**2 - 2*q - 2. Let i be v(-1). Is i/(-39) + 1782/78 a multiple of 17?
False
Suppose -5*g = -9*g + 204. Is g a multiple of 22?
False
Suppose 5*g - 3*d - 43 = -2*d, 3*g + 3*d - 33 = 0. Suppose -4*h + 3*h = -g. Is 4 a factor of h?
False
Let t(c) = -c**3 - 3*c + 17 + 0*c + c**2 + 2*c. Let h be t(0). Does 15 divide h + ((-4)/2)/(-1)?
False
Let s = -40 + 19. Does 12 divide ((-108)/s)/((-2)/(-14))?
True
Suppose -4*m + 2 = -3*m