False
Suppose -2*u - 3*u = -1475. Suppose 2*n - 438 = -5*l - 64, -u = -4*l - 3*n. Does 13 divide l?
False
Let f = -117 - -8. Let j = -71 - f. Is 10 a factor of j?
False
Let q(g) = 8*g**2 + 3*g - 7. Let o(b) = 3*b**2 + b - 2. Let r(j) = 11*o(j) - 4*q(j). Is r(5) a multiple of 13?
True
Suppose 2*z - 5*i = z + 65, -z + 4*i + 64 = 0. Is z a multiple of 15?
True
Let v be 4/8*(4 - 0). Suppose -71 = -f - b, -4*b + 39 + 101 = v*f. Does 12 divide f?
True
Suppose 4 = -c + 16. Does 4 divide c?
True
Let i(f) = -f**3 + 6*f**2 + 5*f + 5. Let g be i(7). Let p = g + 32. Is 11 a factor of p?
False
Let w be (1 - 3)/(3/(-24)). Suppose 3*r = w + 47. Suppose -19 = -5*g + r. Is g a multiple of 3?
False
Suppose -4*n + 436 = -2*p, 575 = 2*n + 3*n + 5*p. Is 24 a factor of n?
False
Let t(p) = p**3 + 2*p**2 - 9*p + 3. Does 6 divide t(-4)?
False
Let j(u) = 3*u**2 + u. Let v be j(1). Suppose 0 = a + 2*f - v + 3, -a - 3 = 3*f. Is a a multiple of 3?
True
Suppose -144 = -4*d + 3*o, -4*d = 2*o - 3*o - 136. Suppose 4 = -y + d. Is 29 a factor of y?
True
Let o(s) = s**2 + 7*s - 5. Let y be o(-10). Suppose 4*u = -y + 97. Does 18 divide u?
True
Is 37 - 7/(21/6) a multiple of 27?
False
Is (-5 + 5 + 9/(-2))*-18 a multiple of 27?
True
Suppose 3*j - 5*z - 300 = 0, -j - 44 = 5*z - 164. Suppose 3*w - j = 3. Is 14 a factor of w?
False
Let j(z) = -z**2 + 5*z + 9. Let f be j(8). Let a be 3/f - (-12)/10. Let x = 11 - a. Is 5 a factor of x?
True
Let a(v) = -v**3 + 19*v**2 + 6*v + 14. Does 19 divide a(19)?
False
Suppose -3*x + 262 = -5*z, -x + 0*z - 2*z + 80 = 0. Is x a multiple of 12?
True
Suppose -2*j - 15 - 1 = -4*s, -4*s + 16 = -3*j. Let b(k) = j - 12*k**3 - k**2 + k - 1 + 2. Does 11 divide b(-1)?
True
Suppose 0 = 2*l - 10 - 12. Is 8 a factor of l?
False
Let y = -585 - -1079. Is y a multiple of 19?
True
Suppose 2 = -s + 7. Does 15 divide 240/28*(s - -2)?
True
Let i(r) = 11*r + 8. Is 24 a factor of i(8)?
True
Let h be ((-106)/4 + 3)*-2. Suppose -2*p = -5*c - h, -c + 10 = c. Does 12 divide p?
True
Suppose -64 = -4*v - 4*g, v - 5*g - 46 = -3*v. Does 10 divide v?
False
Let q = -9 - -17. Suppose -q*k = -4*k + 188. Let a = -7 - k. Is a a multiple of 11?
False
Let v be (((-6)/1)/(-3))/(-2). Let i(y) = 6*y**2 - y - 1. Let c be i(v). Is (-202)/(-6) + 2/c a multiple of 17?
True
Suppose 3*a - 22 = -t - a, t = -2*a + 12. Suppose -t*o + 47 = -19. Is o a multiple of 11?
True
Let b = -20 + 23. Does 3 divide b?
True
Suppose -6*u - 67 + 775 = 0. Does 6 divide u?
False
Suppose -3*l - 12 = 3*c, 4*c + 11 = -3*l - 1. Suppose c = 3*q - q - 90. Is q a multiple of 15?
True
Suppose 3*c + 4*n - 106 = 0, -c - 2*n = -4*n - 32. Does 6 divide c?
False
Let l(g) = -g**3 + 2*g**2 + 2*g - 3. Let d be l(2). Suppose 4*k + d = 9. Suppose -k*s - 3*q = -54, -q = -s - 0*q + 37. Does 12 divide s?
False
Suppose 110 = 3*h + 2*h. Is h a multiple of 11?
True
Suppose -90 = 6*b - 360. Does 10 divide b?
False
Suppose 5*z - 12 = 4*r, 3*r = -2*z + 6*z - 9. Is 13 a factor of (2/r)/(8/(-744))?
False
Let m(k) be the second derivative of -k**2 - 2/3*k**3 + 1/12*k**4 + 0 + k. Is 3 a factor of m(5)?
True
Suppose 153 = 5*n - 87. Is n a multiple of 22?
False
Let q be -2*(30 - (-1 - -2)). Let d = 88 + q. Is d a multiple of 15?
True
Let b = 70 + 75. Does 7 divide b?
False
Let g(s) = -3*s**2 - 89*s - 15. Is g(-29) a multiple of 38?
False
Let c be (-70 + 0)*(-36)/30. Suppose v - 3*v + c = 0. Is 14 a factor of v?
True
Let i(o) = o**3 + 10*o**2 + 2*o - 3. Is i(-4) a multiple of 17?
True
Suppose -20 = -4*q + 4. Suppose j = -3*j + v + q, -v + 2 = 0. Suppose 147 = 4*p - p + 3*i, j*p + 5*i = 113. Is 22 a factor of p?
True
Let v(j) = -j**3 + 7*j**2 - 8*j + 2. Let m be v(6). Is (-108)/(-20) + 4/m a multiple of 5?
True
Let s(g) = g**2 + 4*g + 3. Let h(a) = a**2 + 9*a + 4. Let p be h(-8). Let m be s(p). Suppose y + 13 = 5*l - l, y + 8 = m*l. Does 3 divide y?
False
Let d(n) = -11*n - 3. Let g be d(-5). Let l = g - -18. Is 13 a factor of l?
False
Suppose -7*m + 3*m = -2*r - 212, -60 = -m + 4*r. Is m a multiple of 13?
True
Let h be (-16)/6*6/(-4). Let l(k) = k - 4. Let o be l(11). Let i = o + h. Is 5 a factor of i?
False
Let q(y) be the third derivative of -1/6*y**3 + 1/8*y**4 + 0 + 0*y + 1/12*y**5 - 2*y**2. Is 9 a factor of q(2)?
False
Let t be ((-4)/(-5))/((-2)/(-5)). Let f be 60 + 6/(6/t). Suppose -3*p - 2*h + f = 8, -p - 5*h + 31 = 0. Is 12 a factor of p?
False
Suppose -i - 30 = -3*i. Let k = 24 - i. Does 9 divide k?
True
Suppose -24 = -c + 27. Let l = -17 + c. Does 17 divide l?
True
Let n be ((-1)/(-3) - 1)*-3. Suppose 4*v = 4*c - 104, -n*c = 5*v + 2 - 33. Does 21 divide c?
False
Does 11 divide (-1785)/(-18) - (-3)/(-18)?
True
Suppose 0 = 2*u, 2*q - 5*u - 5 = 199. Does 17 divide q?
True
Let w(a) = a**2 + 2*a - 10. Does 5 divide w(5)?
True
Let u(p) = -61*p - 7. Does 54 divide u(-1)?
True
Suppose 3*y = 4 + 8. Suppose -2*q = -p + 3*p - 24, y*q = -3*p + 36. Is 12 a factor of p?
True
Suppose -3*v + 16 = -5*q + 55, -2*v = 3*q + 26. Let o = 14 - v. Suppose o = 3*z + 3. Does 6 divide z?
False
Let g = 51 - 27. Is g a multiple of 6?
True
Let q(r) = -r**2 + 23*r + 7. Is 43 a factor of q(16)?
False
Suppose -26*l + 27*l = 64. Does 32 divide l?
True
Suppose 8*l = 503 - 23. Is l a multiple of 10?
True
Let p(j) = 10*j**3 - 2*j**2 + 2*j - 1. Let l be (-1 + 0)/((-5)/5). Is 3 a factor of p(l)?
True
Suppose -2*v - 21 = -69. Is v a multiple of 12?
True
Let o = 3 - 4. Let z(g) = -g - 2. Let t be z(o). Is (t - 0)/(2/(-34)) a multiple of 9?
False
Let l(y) = -y**2 - 6*y - 3. Let k be l(-5). Suppose -30 = k*d - 4*d. Is d a multiple of 10?
False
Is (-67)/(-4) + 6/24 a multiple of 4?
False
Suppose h + 3*h - 13 = 5*a, 2*a = -5*h + 8. Let o = a + 4. Suppose 4*r = 2*s + 114, -o*r - 4*s + 105 = s. Is 13 a factor of r?
False
Let n = 0 + 33. Is n a multiple of 7?
False
Suppose -4*n = -9*n + 190. Is 26 a factor of n?
False
Let v(b) = b**3 + 42. Let d be v(0). Suppose -1 + 11 = i - 3*x, -3*x = -3*i + 18. Suppose -f + i*f - d = 0. Is 14 a factor of f?
True
Is 10 a factor of (12/(-10))/(4/(-110))?
False
Suppose 0 = 3*d - 7*d - 12. Let p(c) = c**2 + 1. Let m(f) = -f**2 + f + 2. Let q(j) = m(j) + 2*p(j). Does 10 divide q(d)?
True
Let y = 75 + -124. Let d = -14 - y. Does 14 divide d?
False
Let a = -59 - -82. Is 7 a factor of a?
False
Let z = 49 - 47. Let i = 42 - -9. Suppose z*t + f = i, 3*t - f + 99 = 7*t. Is t a multiple of 8?
True
Does 15 divide 98 + 0 - (-4 - -3)?
False
Let s(h) = -h - 7. Let o be s(-10). Let g(r) = -r**3 + 5*r**2 - 4*r. Let c be g(o). Does 14 divide (-28)/(-1)*3/c?
True
Suppose -7*g + 24 = -4*g. Let a = g - 6. Suppose -k - a = 0, -q + 2*k - 2 + 15 = 0. Is 3 a factor of q?
True
Suppose -3*k + y = 2*y - 4, 6 = 4*k + 2*y. Let v be -6*k*(-5)/10. Suppose v*i = -g + 21, 5*i + 2*g - 39 + 3 = 0. Is i even?
True
Let g(m) = m**2 - 2*m - 5. Let f be g(4). Suppose f*p - 57 = -5*l, 4*p + l - 76 = 6*l. Is p a multiple of 8?
False
Let d(z) = z - 11. Let r be d(7). Suppose -3*l - y + 24 = -8, -4*l + 36 = -2*y. Is r/l + 94/10 a multiple of 3?
True
Let i be ((-1 + -1)/2)/(-1). Let z = 21 - i. Does 5 divide z?
True
Let p(q) be the first derivative of 13*q**3 + 1. Is p(1) a multiple of 18?
False
Suppose -5*m - 3*r = 35, 4*m + 5*r - r + 20 = 0. Let o be 4/m - 182/(-5). Suppose o = 5*d - 29. Is d a multiple of 13?
True
Let y = 34 - 8. Is 13 a factor of y?
True
Let w = 202 - 119. Suppose 1 = 3*n - w. Does 14 divide n?
True
Suppose -4*b = 2*a + 26, -b - 44 = 5*a - 15. Let m = a + 8. Suppose 4*n = 5*f - 35, -m*f + 4*n + 8 = -21. Is f even?
False
Let b(s) be the first derivative of 3*s**2/2 - 3*s - 1. Does 27 divide b(10)?
True
Let s be 0 + 1 + 1 - 0. Suppose -s*i = -i. Suppose 4*u - u - 30 = i. Is u a multiple of 5?
True
Let m = 219 + -139. Is 40 a factor of m?
True
Let u(z) = -z**3 - z + 49. Let w be 6/3 - (1 - 0). Let b = w - 1. Is 17 a factor of u(b)?
False
Let i(c) = 31*c + 5. Is 26 a factor of i(6)?
False
Let l be ((-3)/3)/(-1) + -6. Does 11 divide ((-8)/l)/((-5)/(-100))?
False
Suppose -4*y + 5 = 5*u + 10, -2*y = -3*u + 19. Let w = 8 + y. Suppose s + 1 = 2, 4*s + 98 = w*i. Is 19 a factor of i?
False
Is 4 a factor of (1 - 2)/((-4)/64)?
True
Suppose -3*w - 2 = -w, 81 = 4*p + 3*w. Does 12 divide 8/28 + 414/p?
False
Suppose -5*g - 30 - 32 = j, -4*g - 46 = -j. Let k = 10 + g. Let u(t) = t**3 + 5