f 4?
False
Suppose -j = 0, 4*r + 4*j + 0*j = -12. Let g be (4 + -1)/(-3)*r. Let c = g - -11. Does 5 divide c?
False
Suppose 0 = 5*d + 4 - 29. Let k be (-2 + (-2)/(-2))*-56. Suppose b = 3*t + k, b + b - d*t - 111 = 0. Is 18 a factor of b?
False
Let r(b) = -b**2 - 15*b - 6. Let q(f) = -3*f**2 + 2*f. Let g be q(2). Is 15 a factor of r(g)?
False
Let x(d) = -d**3 - 5*d**2 + 2. Let j be x(-5). Suppose j*m - 5*m + 2*y = -132, -2*m + 83 = -3*y. Does 24 divide m?
False
Let z be -1 - (-4)/(2/(-1)). Let f be 4*z/(-6)*35. Suppose 2*h - f = -26. Is 9 a factor of h?
False
Suppose -2*g + 2*n + 26 = -2*n, 2*g - 51 = -n. Is 23 a factor of g?
True
Let m be 6*((-76)/(-6) + 1). Suppose 5*w = 15, -2*b + 16 = 5*w - 3. Suppose -b*j + 2*d = -2*d - m, 3*d = -5*j + 205. Is 14 a factor of j?
False
Suppose 0*c = 3*c - 30. Let y be c*1/(15/12). Suppose q + y = 41. Is 11 a factor of q?
True
Let t(j) = 6*j**3 + 4*j**2 - j - 4. Let g = -1 + -2. Let n be t(g). Is n/(-2) + (-1)/2 a multiple of 24?
False
Suppose 0 = 4*k - 6 - 2. Let o(c) = 5*c**3 - c**2. Is o(k) a multiple of 20?
False
Does 18 divide -7*(360/14)/(-2)?
True
Suppose q - 5*n = 9, -1 = -2*q - 2*n + 5. Let r be 231/q - 1/(-4). Suppose -4*f - 3*w - 6 = -r, -5*w + 13 = f. Is 13 a factor of f?
True
Let c(j) = -24*j. Let g be c(1). Let l = g - -36. Does 6 divide l?
True
Let j(y) = 3*y**2 - 2*y + 2. Let d be j(1). Does 32 divide (78/9 - -2)*d?
True
Let u(z) = 8*z**3 - 2*z**2 - 3*z + 3. Let t(g) = g + 7. Let p be t(-5). Let j be u(p). Suppose -4*v + y = -j, 4*v + 0*y - 5*y - 57 = 0. Is 13 a factor of v?
True
Suppose h + 2*n - 69 = -3*n, -3*h = 5*n - 177. Is h a multiple of 6?
True
Let d(h) = 4*h + 46. Is 39 a factor of d(8)?
True
Let c = -158 + 231. Is c a multiple of 32?
False
Suppose c + 3*j + 10 + 2 = 0, -4*c + 3*j + 12 = 0. Let y be 4/(2 + c)*1. Suppose 0 = z + y*z - 129. Does 11 divide z?
False
Suppose 0 = 2*b - 0*b - 8. Suppose 0 = -5*n + 5*f + 505, f + b - 2 = 0. Does 26 divide n?
False
Suppose 4*m - 4 = 4*l, 6*l - 4*l + 37 = -5*m. Let w be (-5)/(-1) + (-8 - l). Suppose 33 = w*g - 0*g. Does 5 divide g?
False
Suppose -4*q - 91 = -2*r - r, 3*r - q = 106. Suppose 3*w = -2*y + 17, 5*w + 0*y - y = r. Suppose 3*j - w*j + 20 = 0. Does 2 divide j?
False
Let w = -510 + 895. Suppose -w = -3*t - 61. Suppose 5*v - 2*a - t = 0, 3*a + 46 = 2*v + 5. Does 12 divide v?
False
Let a be (1 + 78)/((-3)/(-6)). Let r = a - 101. Is r a multiple of 19?
True
Suppose 4*s + 35 = 3*d + 9*s, -9 = -d + s. Suppose -25 = -5*u - d. Suppose 5*i + 2*v - 112 = 0, 4*i - u*v - 117 = -32. Is i a multiple of 11?
True
Let s = 142 - 66. Is 41 a factor of s?
False
Let h(s) = -s**3 - 9*s**2 - 5*s + 8. Let f be h(-6). Let x be -2 + 2/2 + f. Let i = -5 - x. Is i a multiple of 24?
False
Suppose -5*p + 2*p = -180. Suppose 3 = c, 0 = -2*h + c + p - 1. Is 13 a factor of h?
False
Suppose 0 = -n + 288 + 16. Does 19 divide n?
True
Let o be 465/2*12/15. Suppose 0 = -5*s - 66 + o. Is 8 a factor of s?
True
Does 16 divide (1 + 169)*(-3)/(-6)?
False
Let n = 4 - -1. Suppose 0 = -2*s + n + 1. Is 2 a factor of s?
False
Is 2 a factor of (10/(-75)*9)/((-2)/30)?
True
Let s(q) = q + 82. Does 20 divide s(18)?
True
Let w = -8 + 11. Let t = w - 2. Suppose j = t + 4. Does 3 divide j?
False
Let r(y) = 2*y**2 + 5*y + 8. Let g be r(-6). Let l = g - 29. Does 10 divide l?
False
Suppose 120 = -4*d + 7*d. Is 10 a factor of d?
True
Suppose -4*u + 74 + 102 = 0. Suppose u = 5*v + 4. Does 4 divide v?
True
Let u = -17 - -15. Does 9 divide -3*u*(-12)/(-8)?
True
Let m(s) be the first derivative of -s**4/4 - s**3 + s**2 - 4*s + 6. Is 10 a factor of m(-5)?
False
Let n(y) = y**3 + y - 1. Let f(l) = -2*l**3 + 6*l**2 - 8*l + 4. Let a(r) = -f(r) - 3*n(r). Is 13 a factor of a(-7)?
True
Let n(x) be the second derivative of x**5/20 - 7*x**4/12 - 3*x**3/2 + 11*x**2/2 - 3*x. Is n(8) even?
False
Let w = 62 + -19. Does 15 divide w?
False
Suppose 0 = -9*r + 1508 + 1408. Does 21 divide r?
False
Let h(o) = 2*o - 12. Is h(9) a multiple of 2?
True
Is -3 + 0 - (-67 - -5) a multiple of 10?
False
Let n(v) = -v**3 - 8*v**2 + 2*v + 5. Let r be n(-8). Let f = r + 33. Is f a multiple of 11?
True
Is 1084/(-18)*-1 - (-4)/(-18) a multiple of 10?
True
Suppose -4*y - 2*k + 34 = 0, 4*y - 2*k + 1 = 3*k. Does 4 divide y?
False
Let k = -50 + 65. Is 3 a factor of k?
True
Suppose -685 = -2*z + 7*z. Let p = -38 - z. Is p a multiple of 31?
False
Let i be (-2 - 0)/((-2)/3). Let t = 0 + i. Suppose -t*o = 3*z - 105, 3*z - 1 + 91 = 2*o. Does 15 divide o?
False
Let r be (4/2)/(2/4). Suppose r*b = -0*b + 192. Is 22 a factor of b?
False
Suppose -2*v - v + 36 = 0. Suppose 0 = -2*o + v + 150. Suppose 0 = 3*q - o + 9. Is q a multiple of 10?
False
Let z = 54 - 22. Does 16 divide z?
True
Suppose 4*f = 8*f - 84. Is 3 a factor of f?
True
Let o(a) = -7*a + 7. Let f be o(-5). Let j = 72 - f. Does 13 divide j?
False
Suppose 0 = -5*r - 5*u + 190, 0 = -5*u + 20 - 0. Is 11 a factor of r?
False
Let l be 1/(-6)*-8*21. Suppose 0 = -0*r + 2*r - 4*h - 56, -h - l = -r. Is r a multiple of 14?
True
Let p(v) = 5*v - 6. Is p(7) a multiple of 29?
True
Let k = 12 - 12. Suppose -4*z + 155 = 5*x - 0*x, k = -3*x + 3*z + 66. Is x a multiple of 9?
True
Is 3 a factor of 5 + 2/((-6)/(-3))?
True
Let c(m) = 2*m**2 - 3*m - 4. Is 5 a factor of c(-2)?
True
Suppose 3 = -j + 6. Suppose 3*z - 21 = -c + 2*z, 1 = c - j*z. Is 16 a factor of c?
True
Let s(j) be the first derivative of j**4/4 - 2*j**3/3 - 2*j**2 - 3*j + 1. Is 4 a factor of s(4)?
False
Suppose 4*l = -2*i - 28, 2*i + l + 19 = i. Let t(s) = -21*s + 1. Let n be t(-2). Let k = n + i. Is 7 a factor of k?
False
Suppose -319 = -r + 4*c, 3*r + 5*c - 1297 = -r. Is 17 a factor of r?
True
Suppose -3*m - 427 = 4*t, 0*m + 3*m + 437 = -2*t. Let o = m - -227. Is o a multiple of 22?
False
Let t be ((-3)/2)/(4/(-8)). Let n(u) = u**3 - 2*u**2 + u - 1. Let m be n(t). Suppose 3 = 2*h - m. Is h a multiple of 7?
True
Suppose 0*o + 4*o = -3*k - 75, 4*o + k + 73 = 0. Does 3 divide ((-1)/3)/(2/o)?
True
Suppose -i = -3*i + 70. Suppose i = -5*z - 5*p, -2*z = p - 2 + 15. Let d(v) = -v**3 - 7*v**2 - 8*v - 5. Does 3 divide d(z)?
False
Suppose -r + 4*l + 58 = -0*r, -2*r - 5*l = -142. Let k(n) = n**3 + 5*n**2 + 4*n. Let z be k(-4). Suppose 3*u - r = -z*u. Does 16 divide u?
False
Let d be (-98)/8*(3 - -1). Let k = -183 + 261. Let x = k + d. Is 17 a factor of x?
False
Suppose 0 = -0*r - 4*r + 12. Let t = 6 - r. Is t*(-4)/6 - -47 a multiple of 19?
False
Suppose -3*s = 3*z - 6*z + 171, -5*z = -2*s - 276. Let i = -36 + z. Does 11 divide i?
False
Suppose 0*b - 122 = -2*b. Is 30 a factor of b?
False
Let r = 9 - 5. Suppose -168 = r*n + 4*f, 2*n = -2*f + 4*f - 80. Let b = 70 + n. Is 11 a factor of b?
False
Let k(l) = 104*l**3 - 1. Let v be k(1). Let n = v - 69. Is n a multiple of 17?
True
Suppose 2*p - 3*w = 7 + 18, -4*w = -4*p + 52. Let x be (p/6)/((-3)/(-18)). Is 4 a factor of (-60)/(-70)*(x - 0)?
True
Suppose 0*g = -x + g + 5, 2*g = -5*x + 4. Suppose 4*s - 1 = k, -x*s - 12 = -3*k + 5. Does 5 divide k?
False
Suppose -30 = -8*v + 90. Is 5 a factor of v?
True
Let y be 19 + (-1 - -3) - -1. Suppose 2*v + 8 = 6*v. Suppose y = v*n - 0. Does 8 divide n?
False
Let f(n) = 3*n**3 + 3*n**2 + 5*n - 3. Let q be f(3). Suppose 0 = 5*d - 0*d - q. Suppose i - 4*g - 23 = 0, 2*i - 3*g = -i + d. Is 3 a factor of i?
True
Let i(u) = -u. Let g be i(-2). Suppose -10 = g*z + 4*j, 5*z + 2 + 8 = -5*j. Suppose 0 = -v - z + 25. Is v a multiple of 11?
False
Suppose -4*c - 3*a + 23 = 0, -2*a = -4*c - 3*a + 13. Suppose 4*l + 43 - 137 = c*w, 4*l + 78 = -2*w. Let f = w + 65. Is 16 a factor of f?
False
Let j(w) = -w**2 - w - 3. Let r be j(0). Does 5 divide 6 - -4*r/(-6)?
False
Suppose 7*k - 3*k = 0. Suppose 4 = -4*q + 6*q. Suppose k*u = -4*u - 5*h + 140, 128 = 4*u + q*h. Is u a multiple of 10?
True
Does 6 divide 1/2 + 236/8?
True
Suppose -82 = -5*p - 2. Does 8 divide p?
True
Let g(a) = a**3 + 4*a**2 + 2*a - 3. Let b be g(-3). Suppose n = -b*n + 175. Suppose 2*m + 48 = i, 3*i - 8*i = 3*m - n. Does 13 divide i?
False
Suppose 0*h + 3*x - 492 = -3*h, -4*h + 3*x + 677 = 0. Is h a multiple of 29?
False
Let i be 1 + 0 + (-34 - -12). Does 14 divide (-6)/i - 383/(-7)?
False
Let m be (-31)/11 + (-2)/11. Let k be ((-3)/2)/(m/4). Is (-308)/(-16) + k/(-8) a multiple of 17?
False
Suppose 0 = -2*i + 4*