 y(m) be the first derivative of m**3/3 + 3*m**2 - 6*m - 1. Is y(l) a multiple of 14?
False
Suppose -33 - 7 = -5*m. Suppose 3*f - m - 7 = 0. Suppose 0 = -f*z - 6 + 56. Is 2 a factor of z?
True
Suppose 0 = -4*q + 3*y + 8432 + 25, 4*q = -5*y + 8433. Suppose c = -11*c + q. Does 16 divide c?
True
Let q be 20/(-15)*3/2. Let j = 35 + q. Is j a multiple of 24?
False
Let b be (-1162)/(-21) - (-2)/3. Suppose -88 = 4*v + b. Let m = 16 - v. Is 8 a factor of m?
False
Let g(d) = 46*d + 1. Let i be g(3). Let q = -91 + i. Is q a multiple of 31?
False
Is (-486 - -2)/((-2)/40*8) a multiple of 11?
True
Suppose 4*g - 5*k = 3*g - 17, 0 = -3*g + 5*k - 1. Suppose 9*w = 13*w + g. Let f = w - -16. Is 14 a factor of f?
True
Suppose -3*x = 5*i - 2103, -2*x + 1684 = -0*i + 4*i. Is 19 a factor of i?
False
Suppose 5 = 3*q - 4, 774 = b - 2*q. Is 26 a factor of b?
True
Suppose -4*q = -0*q - 16. Let h = 3 + q. Suppose d + 0*d = h. Does 7 divide d?
True
Let l(g) = 2*g**2 + g. Suppose q = -2*q. Let v = q + -3. Is 15 a factor of l(v)?
True
Does 2 divide -3*3/15 - 18699/(-115)?
True
Let g(r) = 10*r - 30. Let b be g(6). Suppose -2*u - 52 = -4*n, 4*u = 4*n - 22 - 62. Let f = u + b. Is 7 a factor of f?
True
Suppose 2*j + 25*n - 21*n = 486, -470 = -2*j + 4*n. Does 16 divide j?
False
Let c = 79 - -58. Let u = 263 + -177. Let p = c - u. Is 17 a factor of p?
True
Let v(g) = -g**2 + 8*g - 7. Let d be 2/(-1 - 21/(-15)). Let w be v(d). Suppose -20 = -10*a + w*a. Is a a multiple of 10?
True
Suppose 294*r = 298*r - 2872. Is 6 a factor of r?
False
Let w(b) be the first derivative of b**3/3 + 2*b**2 - 10*b - 16. Let o = -17 + 22. Does 11 divide w(o)?
False
Suppose 7 + 81 = 2*p. Suppose -4*l - p = 2*k, 4*l + 17 + 25 = -k. Let x(v) = v**2 + 8*v - 5. Does 7 divide x(l)?
False
Suppose 2*o = -o. Suppose -3*d - 4*u - 85 = -o*d, 4*d + 113 = -5*u. Let w = 51 + d. Does 8 divide w?
True
Let u(v) = -v**2 - 9*v + 1. Let a be u(-10). Let r = -6 - a. Is (-3)/(-2 + r/6) even?
True
Let y(u) = u**3 + 2*u**2 - 5*u - 2. Let q be y(-3). Suppose r = 2*r - q. Suppose k - r*j = 21, 0*k + 42 = 2*k - 5*j. Does 5 divide k?
False
Let m be 2 + 2 - 3 - -195. Let f = 342 - m. Is f a multiple of 33?
False
Suppose 2379 - 6837 = -6*j. Is j a multiple of 13?
False
Suppose 12*b + 4 = 14*b. Suppose 3*l = 4*n - 73, b*l = n + 4*n - 100. Suppose -31 = -v + 4*d + 6, -2*v + n = 5*d. Does 20 divide v?
False
Is 5697/(-81)*(0 - 3) a multiple of 19?
False
Let m = 12 - 9. Suppose -m*a + 3 = 0, a = 4*i + 5*a - 700. Does 29 divide i?
True
Suppose 0 = -2*p + 52 - 2. Let c be (-24)/(-10) - 10/p. Suppose c = -2*d + 8. Is 2 a factor of d?
False
Let l be (-2)/2 + (1 - -6). Suppose 3*g = 4*b + l, -5*g + 3*b - 4*b + 10 = 0. Let p(m) = 4*m**2 + 2*m - 3. Is p(g) a multiple of 8?
False
Suppose -4*a + 8*r + 57 = 3*r, a + r = 3. Suppose 0 = 3*z + 1 + a. Does 19 divide (76/(-12))/(1/z)?
True
Suppose 9*r = 4*r + 35. Let l(j) = -15*j**2 - 6*j + 6. Let h be l(r). Is h/(-12) + 1/(-4) a multiple of 26?
False
Suppose 0 = -3*q + 5*q - 28. Let u = 18 - q. Suppose -u*m + 105 = -35. Does 10 divide m?
False
Let d(p) = -p**3 - 11*p**2 + 17*p + 52. Let c(o) = o**2 - o - 1. Let i(q) = 5*c(q) - d(q). Is 14 a factor of i(-17)?
True
Does 6 divide (2/(-8))/((-43)/52116)?
False
Let t(n) = 3*n - 13. Let i be t(5). Suppose 0 = 4*f - 2*r - 94, -21 = i*f + 3*r - 80. Does 7 divide f?
False
Let f be ((-248)/(-16))/(3/(-6)). Let x be f*5/3*-3. Suppose 3*g - 7*g + x = j, -5*g = 5*j - 175. Is 10 a factor of g?
True
Let i(c) = -3*c + 3*c + c + 27*c**2. Suppose 3 = 6*d - 3. Does 16 divide i(d)?
False
Let o(n) = -n**2 - 61*n + 52. Is o(-19) a multiple of 34?
True
Suppose 0 = -4*p + 5 + 91. Let t be ((-36)/10)/(8/(-5) - -2). Let n = p + t. Does 5 divide n?
True
Let m be (-2 - 0)/((-4)/6). Suppose 51 + 84 = m*w. Suppose 0 = 3*p - 0*p - w. Is p a multiple of 14?
False
Suppose 0 = 5*d - 4*d - 18. Suppose -o - d = 210. Is 11 a factor of 9/21 - o/7?
True
Suppose 0 = r - 5, 0 = -4*o + r + 1 + 22. Is 3 a factor of o?
False
Let i(x) = -3*x - 25. Let j be i(-9). Let c(d) = 2*d**3 + 2*d**2 - 3*d. Is 16 a factor of c(j)?
False
Suppose -3*l - 5*q - 16 = 0, 4*l = -0*l + 2*q - 4. Let z be (-3 - l)*(19 - 0). Let y(c) = c**3 + 19*c**2 - 2*c - 2. Does 18 divide y(z)?
True
Let m(v) = -2*v**3 - v**2 - v - 3. Let d be -5*-4*6/(-40). Does 9 divide m(d)?
True
Let m = 408 + -376. Does 3 divide m?
False
Let x be 4/(((-4)/(-3))/(-2)). Let f(l) be the first derivative of 2*l**3/3 + 9*l**2/2 + 5*l - 40. Is f(x) a multiple of 11?
False
Let v = 528 + -309. Suppose -69 = -s + v. Suppose -p + 5*p - s = 0. Is p a multiple of 12?
True
Let b(c) = -2*c**2 - 41*c - 6. Is b(-19) a multiple of 19?
False
Let t(r) = -55*r + 59. Does 12 divide t(-3)?
False
Let b(j) = -j**2 + 54*j + 233. Is 26 a factor of b(44)?
False
Let l(o) = -7*o**2 - 2*o + 2. Let y be 3*1*16/12. Let d be l(y). Let t = d - -176. Does 16 divide t?
False
Suppose -1090 = -5*b - 2*h + 3955, -3*h = 5*b - 5050. Is 30 a factor of b?
False
Let g(o) = o**2 - 11*o + 15. Let a be ((-9)/(-3) - 14)*1. Let m(b) = -2*b**2 + 21*b - 30. Let s(y) = a*g(y) - 6*m(y). Does 7 divide s(6)?
True
Let n(f) = 25*f - 37. Suppose -3*r = -4*m + 1 - 13, -5*m = 4*r - 16. Is n(r) a multiple of 21?
True
Is 4 + (-5)/(15/(-852)) a multiple of 32?
True
Let u = -14 - -18. Suppose 2*r - 43 = -q + r, u*r + 68 = q. Does 22 divide q?
False
Suppose 801 = 8*w - 3975. Suppose -2*m = -4*s + 606, 2*m - 143 = 3*s - w. Does 45 divide s?
False
Suppose -8*z + 561 = -5*z. Is 8 a factor of z?
False
Let i be ((-4)/6)/((-2)/(-237)). Let u be (-2493)/(-21) + -2*(-1)/7. Let y = i + u. Does 15 divide y?
False
Suppose 4*j - 58 = -0*y - 2*y, -32 = -j - 4*y. Let v = 24 - j. Suppose 4*l - v = 0, -35 = -3*b + 2*b + 4*l. Is 14 a factor of b?
False
Let u(h) = -30*h - 726. Does 21 divide u(-27)?
True
Does 14 divide 6062/21 + 1 - (-4)/(-6)?
False
Let j = 464 - 274. Is j a multiple of 4?
False
Let x(r) = -3*r**2 + 7*r**2 + 8 + 0*r**2 + r**3 + 3*r**2. Let q = -8 - -1. Is x(q) a multiple of 8?
True
Let g(o) = o**3 + 6*o**2 - 6*o + 5. Let p be g(-7). Let f be p/5 - (-996)/15. Suppose -f = -5*d + 19. Is d a multiple of 17?
True
Suppose -8538 = 24*y - 59802. Is y a multiple of 24?
True
Let i = -44 - -57. Suppose -i*f = -f - 348. Does 20 divide f?
False
Let m be -3 - ((-5 - -6) + 3/3). Let i(w) = -w**3 - 4*w**2 - 9. Is 3 a factor of i(m)?
False
Let y = 575 - 242. Is y a multiple of 9?
True
Let d be 48/(-5)*(-20)/6. Let n be (-36)/(-2)*d/12. Let a = -26 + n. Does 12 divide a?
False
Let y(u) = 48*u**3 - 4*u**2 + 4*u - 1. Let h be y(1). Suppose 0 = -4*q + 5*q + 16. Let x = q + h. Does 11 divide x?
False
Suppose 4*y = 3*d - 2*d - 2657, 0 = 4*y - 8. Is d a multiple of 65?
True
Let l be 355/(-10)*-8 - -2. Suppose 249 = 5*k - l. Does 34 divide k?
False
Does 21 divide 65 + -59 - (-119)/(0 + 1)?
False
Suppose 0 = -7*a + 6*a + h + 30, -4*a + 138 = 5*h. Does 3 divide a?
False
Let v(x) = -x**2 - 60*x + 349. Is v(-31) a multiple of 82?
False
Let v be 6/(-39) - (-67)/13. Suppose -m + v + 2 = -h, -h - 4*m = -3. Is 16 a factor of 1 - (-186)/((-10)/h)?
False
Let b = -304 - -484. Does 18 divide b?
True
Suppose -8*i = -2*i - 384. Does 14 divide i?
False
Let n(d) = -3*d + 11. Let m be n(5). Does 11 divide (m + (-116)/6)/(2/(-3))?
False
Let l(m) = -2*m**2 + 19*m. Let r be l(14). Does 21 divide (-1)/(1*1/r)?
True
Suppose -26*g - 2475 = -31*g. Does 45 divide g?
True
Let p = 1123 + -939. Does 7 divide p?
False
Let d(k) = k**2 + 5*k. Let r be d(-8). Suppose -60 = -5*u + 5*m, 2*u + m - 5*m - 30 = 0. Let a = r - u. Is a a multiple of 12?
False
Let d(t) = 2*t + 53. Is d(-6) a multiple of 41?
True
Suppose -2*h = 3*d - 1717, 4279 = 5*h - 0*d + 3*d. Is 61 a factor of h?
True
Suppose -2*d + 60 + 102 = 5*n, -d + 4*n + 81 = 0. Is 9 a factor of d?
True
Suppose f - 4*r = 4*f - 324, -5*f - 3*r = -529. Suppose -3*h - h = f. Let u = h - -53. Is 13 a factor of u?
False
Does 146 divide ((-928)/(-48) - 18)*9417/2?
True
Let v = 24 - -15. Is 4 a factor of (-6)/v - (-630)/39?
True
Suppose -3*j = -5*c - 37, -5*j = -4*j - 5*c - 29. Suppose 3*u - 22 = j*y + 156, -5*y = -5*u + 290. Is u a multiple of 18?
True
Let q be (5 - 2 - 5) + 6. Let i = 9 - q. Suppose -k + 13 = -i*x, -5*k + 94 = -0*x + 4*x. Is k a multiple of 18?
True
Suppose 0*p - 3*p = -4*z - 1486, 4*p - 1976 = 