iple of 34?
True
Suppose -30 = -3*x - 2*x. Suppose -x = -h + 4*s + 23, 5*h - 217 = -4*s. Is h a multiple of 17?
False
Let v = -820 + 1208. Is v a multiple of 39?
False
Suppose 0*z + 4*p + 160 = 5*z, -2*p = 5*z - 190. Let w = z - 22. Is 14 a factor of w?
True
Let l(p) = p**3 - 3*p**2 + 3*p - 3. Let q(m) = m**2 - 9*m + 12. Let z be q(8). Is 16 a factor of l(z)?
False
Is (-5 - -441 - 2)/(-2 - -4) a multiple of 28?
False
Suppose 4*o - 52 = -2*c, -47 = -3*c + c - 5*o. Is 10 a factor of c?
False
Suppose 3*p = c + 4 + 1, 5*c = 4*p - 3. Suppose p*x + 4*o = -o + 25, 0 = 5*o - 15. Is 5 a factor of x?
True
Let l(c) = 2*c - 13. Let w be l(10). Does 11 divide 32 + (w + 2)/(-3)?
False
Let m(a) = a**3 - 5*a**2 + 6*a - 4. Let u be m(4). Let s = -12 + u. Is 7 a factor of 63/12*s/(-3)?
True
Suppose 3*d - z - 212 = 0, -5*d + 0*z = z - 364. Suppose d = -0*i + 4*i. Is 18 a factor of i?
True
Let a = 47 + -27. Is 6 a factor of a?
False
Let f(d) = -d + 10. Let b be f(7). Suppose 58 = -2*h + b*h. Is 25 a factor of h?
False
Let h = 197 + -386. Does 5 divide h/(-14) - 6/4?
False
Let m = 25 - 11. Is 3 a factor of m?
False
Suppose -4*d - d + 305 = 3*y, -4*y - 20 = 0. Suppose 0*w = w, -d = -4*u + 2*w. Is u a multiple of 16?
True
Suppose 0 = 5*i - 37 - 148. Let m = 11 + i. Is 24 a factor of m?
True
Suppose 3*k = 5*s - 221, s - 2*k = 4*s - 144. Does 32 divide s?
False
Suppose 4*g - 211 = 3*v - 0*g, 360 = -5*v + 5*g. Let l = -44 - v. Does 11 divide l?
True
Let c(u) = u + 2. Suppose 10 + 5 = 3*f. Is 6 a factor of c(f)?
False
Let o = 1 + -7. Let z = o - -1. Does 16 divide (-6)/z*120/9?
True
Let o be (2/3)/(2/(-78)). Does 4 divide (o/4)/(3/(-6))?
False
Let t(m) = -m**3 - m**2 + m + 5. Let y be t(0). Suppose 2*b + p + 6 = 0, -4*b = -y*b - p - 2. Does 10 divide (b/(-5))/((-12)/(-150))?
True
Let r(v) = -4*v**3 + 7*v**3 - 1 + 4*v**2 - 4*v**3. Does 7 divide r(2)?
True
Let s be (-1 - -1)*3/(-6). Suppose -5*v + s*v = -250. Let z = v + -19. Is 11 a factor of z?
False
Let v be (-9)/(-3) + 18/1. Let t = v - -21. Is 14 a factor of t?
True
Let n(k) = -k**3 + 4*k**2 - k + 7. Let w be n(5). Let z = -32 - -70. Let b = z + w. Is b a multiple of 7?
False
Let r(o) be the second derivative of -o**5/20 - o**4/12 + o**3/6 + 12*o**2 + o. Is 12 a factor of r(0)?
True
Suppose 3*k = 7*k - 140. Does 7 divide k?
True
Let l = 29 + 77. Is l a multiple of 4?
False
Let l(d) = -8*d + 5. Is l(-5) a multiple of 4?
False
Let d = -152 - -216. Suppose 3*j + 9 = -4*f + 24, 5*f = -j + 16. Suppose 50 = f*i - d. Does 15 divide i?
False
Let x = -10 + 27. Is x a multiple of 6?
False
Suppose -3*x + 8*x = 15. Is 3 a factor of x?
True
Suppose 0*s - 2*s = 3*o - 287, 5*o = -s + 154. Does 29 divide s?
False
Let i(f) = -f**3 + 5*f**2 - 2*f + 2. Let a be i(4). Suppose 0*r - 2*r - 4 = 0. Let s = a - r. Is 12 a factor of s?
True
Let h(q) = -q**3 + 4*q**2 - 3*q + 8. Let k(x) = -x**3 - x**2 + 1. Let g(u) = h(u) - 2*k(u). Is 8 a factor of g(-6)?
True
Let w = -3 - 4. Suppose -19 = i - 2*i. Let g = w + i. Does 10 divide g?
False
Suppose 5*q - 34 - 206 = 0. Does 19 divide q?
False
Let s = -64 + 42. Let u be 296/7 - (-2)/(-7). Let p = s + u. Does 20 divide p?
True
Suppose 10 + 35 = 3*p. Does 4 divide p?
False
Does 11 divide ((-38)/4)/(7/(-42))?
False
Let s(u) = 14*u**2 + 7. Let j be s(-3). Suppose -j + 19 = -2*v. Is 19 a factor of v?
True
Suppose 2*o - 3 - 7 = 0. Suppose z = 2*q - o, 2*z - 3*z + 3*q - 5 = 0. Is 15 a factor of (z/10)/((-1)/60)?
True
Let x = 5 + -2. Does 2 divide x?
False
Let v be 76/2*(4 - 2). Let h = 113 - v. Is h a multiple of 18?
False
Suppose 5*x - 3*k = -103 + 1883, -5*x + 2*k = -1780. Does 67 divide x?
False
Suppose 7*f - 4*f = 6. Let x = f + 2. Is x a multiple of 2?
True
Let r(c) = c**2 - 8*c + 11. Let y be r(7). Suppose -d + y = -0. Is 2 a factor of d?
True
Let a = 7 + 0. Suppose -21 = -5*i + 44. Let t = i - a. Is 6 a factor of t?
True
Suppose 0 = -11*i + 12*i - 45. Does 9 divide i?
True
Let m(k) = -k**3 + 8*k**2 + 1. Let y be m(8). Is (52/(-8) + y)*-2 a multiple of 11?
True
Is 25 a factor of 148/(-5)*10/(-4)?
False
Let j(d) = -3*d - 1. Let h be j(-2). Suppose -h*r + 130 = 5*a, 2*a - 11 = -5*r + 107. Let o = -14 + r. Does 4 divide o?
True
Suppose -6*j + 19 + 29 = 0. Let i(n) = 2*n + 6. Let k be i(6). Let v = k - j. Is v a multiple of 10?
True
Suppose 0*t = -2*t + 368. Does 22 divide t?
False
Let k(r) = 3*r + 8*r - 1 + 3*r. Let y be k(-3). Let u = -7 - y. Does 14 divide u?
False
Let c = 0 - 4. Let j = 5 + c. Is (j + (-9)/6)*-12 a multiple of 3?
True
Let l = -2 - 17. Let j be l/(-3) - (-2)/(-6). Let g = 22 + j. Is g a multiple of 14?
True
Suppose 4*x + 4 = 5*l, -5*l + 9 = -2*x - 3. Suppose 0 = i + 4*u - 2*u - 4, -x*i - u + 16 = 0. Does 2 divide i?
True
Suppose -9*a + 7*a + 4 = 0. Is 9 - a - (0 + 2) a multiple of 2?
False
Let o(w) = w**2 - w + 3. Let p be o(0). Suppose -342 = -2*t - 4*l, 4*t - 696 = -p*l - l. Suppose -3*a = -t + 39. Is 23 a factor of a?
True
Suppose -h + 5 = -12. Does 17 divide h?
True
Let n(q) be the second derivative of -q**4/12 - 2*q**3/3 + q**2 + q. Let k be n(-5). Is 3 + 6*k/(-6) a multiple of 6?
True
Let z be (3 + -2)/(-5 - -4). Is 4 a factor of 2 - z/(2/34)?
False
Let g(r) = 4 - 4 - 11*r. Suppose -3*d = -3*n - 15, -d - 13 = -3*n - 5*d. Is 11 a factor of g(n)?
True
Let w(o) = -1. Let y(b) = -b**2 + 11*b - 1. Let l(d) = 4*w(d) + y(d). Is l(4) a multiple of 17?
False
Suppose 0 = -3*g + 458 - 26. Does 18 divide g?
True
Suppose -6*d + d + 20 = 0, d + 172 = 4*g. Suppose -59 = 5*c + 11. Let s = c + g. Is s a multiple of 15?
True
Let w = -5 - -13. Is 11 a factor of 42*(-2 - w/(-3))?
False
Suppose -5*i = u - 43, -5*i + 101 = 5*u - 54. Does 13 divide u?
False
Let c = -12 + 12. Suppose c = 5*f - 5*m - 210, 2*m + 39 + 3 = f. Does 14 divide f?
True
Let v = 36 - -18. Suppose -j + 18 = v. Let u = -7 - j. Does 12 divide u?
False
Does 10 divide (5 - (5 + 0)) + 12?
False
Does 8 divide (-214)/(-4) - 33/(-22)?
False
Suppose -4*c + 5*y - 44 = y, -c - 2*y - 2 = 0. Let a(g) = -g**2 - 12*g - 19. Is 3 a factor of a(c)?
False
Suppose 3*k = 5*k - 6. Suppose -6*s + 12 = -3*s. Suppose 5*t - t = -3*a + 107, -s*a = k*t - 82. Is 13 a factor of t?
True
Suppose -3*o + 41 = -2*o. Is 16 a factor of o?
False
Let o(y) = -5*y**2 + 19*y - 1. Let r be ((-2)/(-4))/((-4)/24). Let f(a) = -2*a**2 + 9*a - 1. Let z(p) = r*o(p) + 7*f(p). Does 12 divide z(-8)?
True
Suppose -m = m - 116. Suppose -3*g = -8 - m. Is 22 a factor of g?
True
Suppose 3*p - 8*p + 500 = 0. Does 25 divide p?
True
Let f = 10 + -5. Is 5 a factor of f?
True
Let k(h) be the first derivative of 7/2*h**2 + h - 1/3*h**3 - 2. Is 11 a factor of k(5)?
True
Let l = 42 - 0. Does 42 divide l?
True
Let h = 35 - 4. Is 31 a factor of h?
True
Let d be 2 + (-2)/(6/3). Let g(j) = 29*j - 1. Does 14 divide g(d)?
True
Let p = 108 - 94. Is p a multiple of 14?
True
Let k = -5 - -8. Suppose 0 = -0*f - k*f + 9. Suppose 20 = f*b - 4. Is b a multiple of 8?
True
Suppose 312 = 3*q - 5*v, -3*q + 8*q + 5*v = 480. Does 11 divide q?
True
Let u = -8 + -4. Let a be 193/(-3) - (-8)/u. Let s = a + 103. Does 12 divide s?
False
Suppose -5*u + 465 = -5*z, 0*u - 83 = -u + 3*z. Is 49 a factor of u?
True
Let n = 1 - -1. Suppose 2*b = -n*m + 50, 37 = -b + 2*b + 4*m. Suppose -b - 3 = -3*r. Does 7 divide r?
False
Let w = 71 + -49. Let t = -32 + w. Is 13 a factor of (-2)/5 + (-324)/t?
False
Let q(g) = -12*g**3 - 2*g**2 + 1. Let k(x) = x**2 + 3*x - 5. Let a be k(-4). Let c be q(a). Let w = c + 12. Is 23 a factor of w?
True
Let i(b) = b**2 + 3*b - 1. Does 2 divide i(-4)?
False
Let a = -474 - -214. Let j = -147 - a. Is j a multiple of 24?
False
Let k = -32 + 17. Let v be ((-4)/(-3))/((-10)/k). Suppose -v*t + 132 = 2*t. Is 15 a factor of t?
False
Suppose -19 = -o - 3*u, 5*o + u - 35 = -2*u. Suppose 0 = o*c - 0*c - 48. Does 12 divide c?
True
Let w(z) = 7*z**2 + 2*z - 17. Is w(-7) a multiple of 24?
True
Suppose 0 = 2*r + 98 - 456. Is r a multiple of 23?
False
Let b(q) = -q + 13. Let d(x) = -7. Let o(g) = -3*b(g) - 5*d(g). Is o(5) a multiple of 5?
False
Suppose -66 = -2*v - 0*v - 3*w, -v - w = -33. Does 6 divide v?
False
Let u = -48 - -76. Does 11 divide u?
False
Is 54 a factor of (-30153)/(-76) + (-2)/(-8)?
False
Suppose 0*u - 180 = -2*u. Does 15 divide u?
True
Let m(i) = -i. Let a(c) = 6*c - 22. Let z(t) = -a(t) - 5