s t a multiple of 17?
True
Let h = 13 + 6. Suppose -2*v = 5*i - h, 5*i = -5*v + 46 - 6. Is v a multiple of 3?
False
Let t(n) = -n**3 + 6*n**2 - 4*n - 3. Does 2 divide t(4)?
False
Let p = -27 + 31. Is 2 a factor of p?
True
Suppose 4*f + i + 3 = 4*i, -f + 3*i = 3. Suppose f = 4*b - 402 + 90. Is b a multiple of 20?
False
Let f = 36 - -88. Let q = 220 - 45. Let d = q - f. Is 13 a factor of d?
False
Suppose 20 = 5*x - x. Suppose -4*k + 11 = -x. Suppose 5*o = q - 18, -3*q + 5 = k*o - 11. Does 6 divide q?
False
Let r(c) = -41*c + 4. Let p(z) = -123*z + 11. Let m(j) = -3*p(j) + 8*r(j). Let n be m(-1). Let g = -24 - n. Is 9 a factor of g?
True
Let r = 172 + 51. Is r a multiple of 15?
False
Suppose 2*u = -u - 15. Let g be -1 + 2 + (u - -44). Let s = g - 18. Is 11 a factor of s?
True
Let u(i) = i**2 - 4. Let b(y) = -y**2 - 6*y + 10. Let q be b(-7). Let f be u(q). Suppose -12 - 3 = -f*n. Is 2 a factor of n?
False
Let t(w) = -36*w - 2. Does 17 divide t(-1)?
True
Does 13 divide (-4)/8*12*-4?
False
Let w(b) = b + 0*b - b - b. Is w(-9) a multiple of 7?
False
Suppose 0 = 6*b - 158 - 130. Is 12 a factor of b?
True
Is 13 a factor of 39/(-4)*(-144)/27?
True
Let t be 2/(-1) - -1 - -29. Suppose 3*f + 0*f = 24. Let w = t - f. Is w a multiple of 20?
True
Suppose -j - 4 = -2*q, j - q + 1 = -0*j. Let w be (-1 - (-4 + 2)) + 2. Is 6 a factor of 4 + 2*(w - j)?
True
Suppose -13 = -2*c - s, 0 = -4*c - c + 4*s + 52. Is 3 a factor of c?
False
Let p(u) = -u**3 + u**2 - u - 1. Let m(n) = 9*n**2 + 12*n - 15. Let c(i) = -m(i) - p(i). Is c(11) a multiple of 8?
True
Suppose 3*v = 0, 3*v - v + 1428 = 4*a. Is 51 a factor of a?
True
Suppose -248 = -6*f + f + l, 6 = -2*l. Let u = -87 - -131. Suppose -k + 2*w = -f, -k + 3 = -4*w - u. Is k a multiple of 17?
True
Suppose 0 = 2*q + p - 16 - 0, 39 = 5*q + 2*p. Suppose 14 = 3*i + 4*i. Is 17 a factor of 117/q - i/(-7)?
True
Suppose -3*r - 220 = -8*r. Does 44 divide r?
True
Let q(n) = -n - 2. Let l be q(-6). Suppose -b + 2*b - l = 0. Suppose o = -0*o + 2, -5*i = -b*o - 167. Is 17 a factor of i?
False
Let m(i) = i**3 - i**2 + i. Let b be m(0). Suppose -4*x + 1 + 3 = b. Is 6 a factor of (x/(-3))/((-1)/18)?
True
Let z(l) = 8*l - 9. Let h be z(6). Suppose 5*u + 9 - h = 0. Is (-2)/u - (-138)/9 a multiple of 15?
True
Suppose -2*c + c + 3 = 0. Suppose -2*d - 38 = -c*d. Does 28 divide d?
False
Is 9 a factor of 82 + 0 + (-1 + 3 - 3)?
True
Suppose -3*n + 2*n + 4 = 0, -c + 5*n = -53. Does 12 divide c?
False
Let x(s) = -18*s**3 - 2*s**2 + 2*s + 2. Is 16 a factor of x(-1)?
True
Let z be 6/2 + (7 - 6). Suppose -y - z*y - 2*m = -41, -14 = -2*y - 2*m. Does 9 divide y?
True
Suppose 0 = 4*n - 4*g - 52, -49 + 14 = -3*n + 5*g. Let x = n - -1. Does 16 divide x?
True
Suppose -4*b - b = -50. Is b a multiple of 3?
False
Let p(i) = 4*i**2 - 5*i + 15. Is p(4) a multiple of 23?
False
Suppose 3*n + 4*a = 29, -2*a + 10 = -0. Suppose 13 - 58 = -n*c. Is 5 a factor of c?
True
Let n = -8 - -108. Is 13 a factor of n?
False
Let a be (-1056)/28 - 4/14. Let v = a - -25. Let q = v - -23. Does 4 divide q?
False
Let f(c) = c**2 - 10*c + 8. Let n be f(8). Let s be ((-4)/(-5))/(n/(-60)). Suppose -q + s*q - 110 = 0. Does 11 divide q?
True
Suppose i + 3*i - 16 = -5*o, 4*o = 0. Let f be 117 - (i/2 - 1). Suppose 4*z - f = 2*k, -k + 139 = 5*z - 2*k. Is 14 a factor of z?
False
Let f be 30/(-4)*24/18. Let m = 25 - f. Is 9 a factor of m?
False
Let h = -13 - -25. Does 4 divide h?
True
Suppose 5*q - 2*z = -7*z + 85, 0 = 4*q + 5*z - 67. Is q a multiple of 11?
False
Suppose 0 = t + 1 + 6. Let h = -5 - t. Suppose 0 = -3*m, -21 + 7 = -h*f - 5*m. Is f a multiple of 7?
True
Let k(s) = -4*s**2 - 2*s + 1. Let n be k(1). Let m = n - -8. Suppose m*g - 36 = 2*g. Does 18 divide g?
True
Suppose 0 = -2*g + 69 + 69. Is g a multiple of 23?
True
Suppose 5*c - 4*c - 8 = 0. Let b = 44 - c. Is b a multiple of 18?
True
Let f be ((-44)/(-5))/((-2)/(-20)). Suppose -2*m + f = -54. Suppose -m = -2*l - 15. Is l a multiple of 14?
True
Suppose 4*y + 11 = 299. Does 8 divide y?
True
Suppose 0 = -3*b - 30 + 102. Is 6 a factor of b?
True
Suppose m - 7 = 5. Suppose -3*s + m + 21 = 0. Is 11 a factor of s?
True
Let a(j) = 9*j**2 - 2*j - 25. Is a(6) a multiple of 38?
False
Let m(y) = -y**3 + 7*y**2 - 5*y. Is m(6) a multiple of 3?
True
Let u be 6/(0 - (-9)/12). Is 10 a factor of u/44 + (-436)/(-22)?
True
Let h be 5/3*(6 - 3). Suppose -126 = h*k + 9. Let x = 15 - k. Is x a multiple of 20?
False
Suppose 0 = 4*o - 305 - 463. Let q = 278 - o. Suppose -5*g = -3*f + 62, 2*g = -3*f + q - 31. Does 19 divide f?
True
Let f(u) = u**2 - 5*u + 5. Let m be f(4). Let y be ((m - 1) + 0)/2. Suppose -20 = -5*i - y*i. Does 4 divide i?
True
Let a be (-15)/(-6)*20/(-25). Suppose -3*g - 55 = 98. Is 11 a factor of g/a - (-2)/4?
False
Suppose -3*i + k + 39 = 0, -3*i - i - k = -45. Is i a multiple of 12?
True
Suppose -4*u = 2*n + n - 83, u - 5*n + 8 = 0. Suppose 0 = -2*v + 49 - u. Does 5 divide v?
False
Suppose 7*b = 2*b + 30. Is 3 - 1/(-2)*b a multiple of 6?
True
Does 7 divide (-1 - 1) + -15 + 34?
False
Let g be (-2)/5 + 172/5. Let w = 48 - g. Is w a multiple of 6?
False
Let i be (-18)/4*2/(-3). Let p = -6 + i. Let k(w) = -4*w - 3. Is k(p) a multiple of 9?
True
Suppose -h + 5 = 2*d - 0, -3*h = 3*d - 12. Is 2 a factor of (-2)/h - 20/(-3)?
True
Let o(c) be the third derivative of -c**6/120 - c**5/20 + c**4/3 + 5*c**3/6 - 2*c**2. Suppose -2*p - 8 = 2. Does 15 divide o(p)?
True
Let b be 0/(0 + -2 + 1). Suppose 4*c = -0*s + 3*s - 15, -4*s + 4*c + 20 = b. Suppose 4*q + 4*k = 48, 0 = s*q - 4*k + 8 - 23. Is 6 a factor of q?
False
Suppose -13*o = -14*o + 11. Is 11 a factor of o?
True
Let p = 192 - 111. Does 23 divide p?
False
Suppose 0*u = -t - u + 15, 75 = 5*t + 4*u. Is 11 a factor of t?
False
Suppose -4*b - 50 = -5*d, -23 = -5*d - 2*b + 57. Suppose 2 + d = 4*g. Is 110/8 - (-1)/g a multiple of 14?
True
Suppose 3*u = 2*i - 150, -2*i + 140 = -2*u + 38. Does 4 divide 1*u/(-4 - 0)?
True
Let f(j) = 2*j**3 - 2*j**2 - j + 1. Let g = -1 - -3. Is 7 a factor of f(g)?
True
Let z(o) be the first derivative of o**3/3 + o**2 + o - 1. Let f be z(-1). Suppose 3*g + 3*a - 27 = 0, g = -f*a - 2*a + 14. Is g even?
True
Suppose -7 + 49 = 3*l. Is l a multiple of 7?
True
Suppose a - 5*w = -1, -6*a = -a - 4*w - 37. Let y be -7 - (-2 - -2 - 1). Let h = y + a. Is 2 a factor of h?
False
Suppose -4*g = -6*g. Let n = 3 - g. Suppose 0*d + 4*x = -3*d + 34, 0 = n*d + 5*x - 35. Is d a multiple of 5?
True
Let h(n) = -n**2 + n. Let g(r) = -4*r**2 + 9*r - 5. Let q(j) = g(j) - 5*h(j). Is q(-6) a multiple of 5?
False
Is 6 a factor of 78 + (6/8)/(5/20)?
False
Suppose -4*o - 28 = -i, o + 4*i - 10 + 0 = 0. Let s be ((-3)/o)/((-1)/(-2)). Does 13 divide (s - -1)/(6/105)?
False
Let z = -26 - -44. Let j = 31 - z. Is 10 a factor of j?
False
Let l be 165/(-35) + (-4)/14. Is (-72)/(-10) + 1/l a multiple of 4?
False
Let q be (-2 - -1 - -3)*-4. Let d = 6 + q. Is d/(-2) + (0 - -5) a multiple of 6?
True
Let b(a) be the second derivative of -3*a**5/20 - a**3/3 - a**2 - a. Let j(v) = -v**3 - 2*v**2 - 2. Let f be j(-2). Is 22 a factor of b(f)?
False
Suppose -3*j + 5 = -10. Does 3 divide j?
False
Let m = 6 + -4. Suppose -7*v + 210 = -m*v. Suppose -d - 2*d + 2*g = -v, 4*g = -4*d + 36. Is 5 a factor of d?
False
Suppose -5*f + 4*x = -108, -3*x + 4*x = -4*f + 78. Suppose 4*h + h = 4*v + f, 0 = h + 4*v + 20. Suppose h = -0*j + j - 7. Is j a multiple of 6?
False
Suppose -504 = -5*m + 1286. Is 41 a factor of m?
False
Let x = 65 - 91. Let j be (-4)/26 - 134/x. Suppose -j*g + 315 = -4*i, 5*i - i = -3*g + 189. Does 21 divide g?
True
Let o(z) = 8*z**2 - 4*z + 1. Let s be o(-3). Suppose x + 4*x = -s. Let n = -5 - x. Does 6 divide n?
True
Let y(q) = -q - 312. Let g be y(0). Is 10/(-55) + g/(-22) a multiple of 5?
False
Suppose -28 = -3*u - 4*u. Is 4 a factor of u?
True
Let d = -1 + 5. Suppose -4*t + d*h = -28, -2*h = 4*t - 14 - 44. Is 4 a factor of t?
True
Let b(f) be the third derivative of -f**7/2520 - f**6/90 + f**5/120 - f**4/12 + 2*f**2. Let h(m) be the second derivative of b(m). Is 8 a factor of h(-7)?
True
Let b = -9 - -13. Suppose -a + c + 151 = 4*c, -2*a - b*c + 300 = 0. Suppose 2*o + 6 = 0, -3*o = -3*j + a - 43. Does 13 divide j?
False
Is 16 a factor of (-3)/(-1 + (-61)/(-64))?
True
Let p(j) = -3*j - 3. Let i be p(-