 10. Does 3 divide z?
False
Let v = -45 + 50. Is v a multiple of 2?
False
Let x(q) be the first derivative of -q**4/4 + 8*q**3/3 - q**2/2 + 7*q - 2. Let p be x(8). Is 2/(15/(-17) - p) a multiple of 7?
False
Suppose -2*f - 3*g = 3*f - 25, -f + 2*g + 5 = 0. Does 5 divide f?
True
Is 7 a factor of (4/(-20)*158)/((-1)/5)?
False
Suppose -c - 17 = -52. Let x = c + 0. Is x a multiple of 16?
False
Suppose 7*t - 40 = 2*t. Is t even?
True
Let l = -68 - -32. Is (26/6)/((-6)/l) a multiple of 4?
False
Suppose -4*i - 28 + 135 = o, -5*i + 3*o + 121 = 0. Is 7 a factor of i?
False
Let x(o) = -2*o**3 - 5*o**2 + 5*o + 10. Does 28 divide x(-6)?
False
Suppose -2 = -2*l + 2. Does 2 divide l?
True
Let t be (3/4)/((-1)/(-4)). Is 2/t*7*3 a multiple of 14?
True
Suppose 2 + 1 = -3*o. Let b = 6 + o. Is b a multiple of 2?
False
Let z be 4 + 1 + 0 - 2. Suppose z*c = -c - 4. Does 3 divide (11 - 3)/(c + 3)?
False
Let p(s) = s**2 + s + 16. Let j be 1/(-3)*0 - 0. Is p(j) a multiple of 8?
True
Suppose -2*p + 5*u + 303 = 0, 564 = -0*p + 4*p + 4*u. Is 12 a factor of p?
True
Let v be (1*-1)/(4/(-8)). Let i(g) = g + 3. Let u be i(-3). Does 9 divide 19 + u*v/6?
False
Let b(w) = 4 + 0*w**2 - w**2 + 0*w - 4*w. Is b(-4) a multiple of 4?
True
Suppose -3 = -4*z - 4*h + 65, 5*z - 4*h = 67. Does 5 divide z?
True
Let x(v) = 42*v**3 + v**2 - v. Let m(r) = -r**2 - 7*r + 1. Let d be m(-7). Is 14 a factor of x(d)?
True
Let i be 76/16 + (-3)/4. Suppose 0 = -i*d - 5*r - 3, d + r - 4*r = -22. Let o = 1 - d. Is 3 a factor of o?
False
Let u = 58 + -41. Suppose -4*v = -0*v. Let h = u + v. Does 10 divide h?
False
Let i(k) = -k + 29. Let v(p) = p**2 + 5*p. Let s be v(-5). Is 9 a factor of i(s)?
False
Let l(m) = -2*m + 16. Let a be l(7). Let o = a - -2. Is o a multiple of 2?
True
Let d(f) = f**3 + 3*f**2 - 3*f - 1. Let t be d(-4). Let c = -1 - t. Suppose -y + c + 8 = 0. Does 11 divide y?
False
Let g be 2/4 + 220/8. Suppose -d = w + 3, 2*w + 10 = 4*d + g. Is 2 a factor of 75/10 - w/2?
False
Suppose -4*g = 5 - 1. Does 11 divide (-29)/(-3)*(g + 4)?
False
Let k = -51 - -118. Is 29 a factor of k?
False
Suppose -20 - 10 = -3*m. Is 2 a factor of m?
True
Let b(t) = -4*t**3 + 5*t**2 + 8*t + 3. Does 21 divide b(-3)?
False
Let g = -15 - -7. Let j(a) = -8*a**2 - 13*a + 1. Let b(y) = y**2 + y - 1. Let p(r) = -14*b(r) - 2*j(r). Is 15 a factor of p(g)?
False
Let s = 1 + 2. Suppose 6*v - s*v = 45. Is 7 a factor of v?
False
Does 10 divide (-60)/18*(-24 - 3)?
True
Suppose -8 = -g - 5. Suppose 4*d + 18 = -w + g*w, -2*d - 3*w = -11. Let j = 1 - d. Is 3 a factor of j?
True
Let f = -185 - -280. Is f a multiple of 11?
False
Let w be 3 + (4 - -2)/2. Let t(p) = 5*p - 6. Is 8 a factor of t(w)?
True
Is ((1 + 0)*33)/1 a multiple of 9?
False
Let u(c) = c**3 + c**2 + 3. Let x(a) = a**2 - 1. Let b be x(2). Is u(b) a multiple of 18?
False
Suppose 5 = 2*b - 13. Suppose m + b = 21. Is 6 a factor of m?
True
Suppose 3*y + 9 = -0. Let h(x) = -4 + 3*x + 20*x**2 - 20*x**2 - x**3. Is 9 a factor of h(y)?
False
Let j(l) be the third derivative of 0 - 1/6*l**3 + 43/24*l**4 - 2*l**2 + 0*l. Is 14 a factor of j(1)?
True
Let b = 9 + -2. Let s be 2/b + (-912)/(-42). Is s/((-4)/2 + 4) a multiple of 7?
False
Let j be 2/(-1)*(0 + -1). Suppose 2*g = -4*v - 26, 2*g - g - j*v = -9. Let x = 12 - g. Is x a multiple of 11?
False
Let x be 1/3 - 21/9. Let h be (-8)/6*(-3)/x. Is ((-76)/(-6) + h)*3 a multiple of 16?
True
Suppose 0 = 2*h - 110 - 74. Does 23 divide h?
True
Let k(u) = -u**3 + 4*u**2 + u - 7. Let v = -18 + 21. Is k(v) a multiple of 5?
True
Let z = -5 - -8. Suppose z*u - 5*u = -6. Suppose 5*b = g + b, 2*g = u*b + 10. Is 7 a factor of g?
False
Suppose -4*f + 9 = -3*f. Let u = f + 6. Suppose u = n + 4*n. Does 3 divide n?
True
Is 12 a factor of (8 + (-2 - 0))*2?
True
Does 24 divide (3 + 66)/1*1?
False
Does 9 divide 6919/55 - (1/(-5) + 0)?
True
Let i = 1 - -12. Is i a multiple of 13?
True
Suppose -3*s - 12 = -0*s. Is 7 a factor of ((-56)/5)/(s/10)?
True
Suppose 5*x + 28 = 6*x. Suppose 22 = a - x. Does 20 divide a?
False
Suppose -2 = -2*m + m. Suppose -5*a + 3*j = 6*j - 141, 131 = 5*a - m*j. Is a a multiple of 9?
True
Let r(i) = -3*i**3 - 1. Let c be r(1). Let o(z) = -2*z**3 - 6*z**2 - 5*z - 6. Does 13 divide o(c)?
False
Is (2 - -12) + (0 - 2) a multiple of 12?
True
Let p be 8 + (4 - (-1 + 4)). Let s = p + -3. Is s a multiple of 3?
True
Let f(b) = b**2 + 3*b - 1. Let d be f(-4). Let i(g) = g - 3. Let v be i(d). Suppose 54 = 3*y - 2*a, v*y + 4*y - 2*a = 74. Does 8 divide y?
False
Suppose -a - 5*j + 336 = 0, -1820 = -3*a - 2*a + 3*j. Suppose 4*d + 33 - a = -4*r, 2*d = 2*r + 184. Does 29 divide d?
True
Let x = -12 - -16. Suppose x*m - 85 = 115. Does 28 divide m?
False
Is 32 a factor of (1/3)/((-9)/(-864))?
True
Suppose 8*o - 9*o + 7 = 0. Is o a multiple of 7?
True
Let m = 6 - 2. Suppose -m*a - a + 240 = 0. Is a a multiple of 12?
True
Let l(m) = 3*m**2 + 2*m - 8. Is l(-4) a multiple of 16?
True
Suppose -2*n = -0*n - 62. Suppose 0 = 4*d + d + 60. Let w = n + d. Does 19 divide w?
True
Suppose 0 = -2*p - f + 171, 100 = 5*p + 2*f - 327. Is 17 a factor of 1/(4 - 339/p)?
True
Suppose -4*l = 2*p - 3*p - 5, -l = -4*p - 35. Let s = p + 18. Is s a multiple of 3?
True
Suppose -4*c + 54 = -10. Does 16 divide c?
True
Let q be 2 - ((-1 - 1) + -10). Is q - (1 - 6 - -2) a multiple of 17?
True
Let q(b) = -b**3 + 3. Suppose 4*w = -16 + 4. Let a be 0 + w - (6 + -6). Does 14 divide q(a)?
False
Let l(g) = -2*g - 5. Let c be l(-4). Let k(i) = -i**2 + 13*i + 18. Let o be k(8). Suppose -c*m + 2 = -o. Is m a multiple of 10?
True
Let j(r) = -14*r + 23. Let v(h) = -5*h + 8. Let d(c) = 4*j(c) - 11*v(c). Suppose -5*t - 23 = -3. Is d(t) a multiple of 4?
True
Suppose -21 = -3*p - 6. Suppose p*j = 3*k + 4, 3*j + 4 = -2*k + 7*k. Suppose i + k*i - 36 = 0. Is i a multiple of 8?
False
Let s = -35 + -18. Let q = 105 + s. Let p = -30 + q. Does 11 divide p?
True
Let q(u) be the third derivative of -u**4/6 - u**3/6 - 2*u**2. Let w be q(-1). Suppose 0*t + w*s = 3*t - 75, 2*t = -s + 65. Does 15 divide t?
True
Let r(z) = -2*z - 4. Let d be r(-2). Suppose -w + 21 + 3 = d. Is 8 a factor of w?
True
Let z(i) = 3*i - 8. Let x be z(7). Is 26 a factor of x/(1/(-6)*-3)?
True
Let z be ((-4)/(-6))/((-3)/(-153)). Does 5 divide (-6)/9 + z/6?
True
Let l be (-4 + 3 + 4)*-2. Is 16 a factor of l/27 + (-1444)/(-18)?
True
Suppose -c + 24 = -0*c. Suppose -c + 68 = 4*z. Does 7 divide 2/z - 172/(-22)?
False
Let x(h) be the third derivative of -31*h**4/24 + h**3/6 - h**2. Is x(-1) a multiple of 12?
False
Suppose 0 = -2*b - 48 - 14. Let k = -3 - 13. Let m = k - b. Is m a multiple of 15?
True
Suppose 4 = -4*y - 12, -2*y = 2*s - 390. Let w = s + -139. Is 15 a factor of w?
True
Suppose 2 - 4 = 2*u. Does 2 divide u - 9/3*-1?
True
Let q be 76/18 + 6/(-27). Suppose 0 = q*w + 40 - 156. Let k = 46 - w. Does 7 divide k?
False
Let f(k) = -k**2 - 10*k - 10. Suppose -5*j - h - 35 = 0, -3*j + 2*h - 3 - 18 = 0. Is f(j) a multiple of 11?
True
Let i = 2 - -62. Is i a multiple of 32?
True
Let x = -63 - 15. Let v = x + 117. Does 13 divide v?
True
Let a(c) = -5*c**2 + 5*c + 4. Let z be a(4). Let u = z - -35. Let t = -12 - u. Is 8 a factor of t?
False
Let s(m) = 2*m - 7. Let g = -7 - -12. Let l be s(g). Suppose b = -l*b + 120. Does 15 divide b?
True
Is 12 a factor of 20*((5 - 2)/3 + 2)?
True
Let a = -1 + 1. Suppose -4 = -p - a. Suppose p*c = c + 39. Is c a multiple of 12?
False
Suppose g = 6*g - 465. Suppose -2*u + 4*u - o - 13 = 0, -23 = -4*u + o. Suppose f = u*f + 4*d - 124, 0 = 3*f - 4*d - g. Does 18 divide f?
False
Let r be (-16)/(-4)*87/12. Suppose 4*n + r - 5 = 4*v, -3*n - 9 = 0. Is 8 a factor of ((-5)/(-2) - v)*-32?
True
Suppose -31*s + 23*s = -1600. Does 25 divide s?
True
Suppose -3*r = -5*h - 2*r - 198, 0 = 5*h - 4*r + 207. Let o = h - -73. Is o a multiple of 17?
True
Suppose f = -h - 2*h + 72, 3*h - 5*f - 90 = 0. Is 5 a factor of h?
True
Suppose -4*y - 5 = -13. Suppose 0 = -2*r + 8, 3*z + y*r - 6 = z. Let d(o) = -9*o - 1. Is 4 a factor of d(z)?
True
Let g(s) be the second derivative of s**4/24 + 11*s**3/6 + s**2 - 2*s. Let y(u) be the first derivative of g(u). Is 6 a factor of y(-5)?
True
Suppose -175 = -5*o + 135. Does 7 divide o?
False
Suppose 2*b + 2*b = 0. Suppose b = -5*p + 3*u + 210, -4*p + 2*u + 168 = -2*u. Does 13 divide p