+ (-6)/d?
True
Suppose h + 84 = 4*h. Is 14 a factor of h?
True
Suppose 4*y + 0 = 8. Let a be (y + (-21)/6)*4. Does 3 divide 8 + 4*a/(-8)?
False
Let s(r) = -6*r. Is 10 a factor of s(-5)?
True
Let h be -4 + (0 + -1)*-2. Let i(k) = 8*k**2 - 4*k + 3. Let c(d) = 9*d**2 - 5*d + 4. Let l(q) = -4*c(q) + 5*i(q). Is 6 a factor of l(h)?
False
Let d = 0 + -2. Let t be -10*1/5*d. Suppose 30 = q - t. Does 17 divide q?
True
Suppose 0 = 5*q - 0*q + 2*m - 914, -4*m = -3*q + 538. Does 9 divide q?
False
Let x(m) = m**2 - m + 80. Is x(0) a multiple of 16?
True
Let c(x) = 3*x - 5 - x - 3*x. Does 5 divide c(-10)?
True
Let i = -3 - -4. Is 18 a factor of -2 - i/(2/(-40))?
True
Let n(t) = t**2 - 15*t + 2. Let s be n(15). Let u(z) be the second derivative of 2*z**4/3 + z**2/2 - 2*z. Does 15 divide u(s)?
False
Let g(o) = -1. Let p(q) = -2*q + 8. Let k(i) = 3*g(i) - p(i). Let u be k(8). Suppose -3*y = 3*a - 5*y - 17, 29 = u*a - 4*y. Is 2 a factor of a?
False
Let t(m) = m**3 - 8*m**2 + 4*m - 9. Is t(9) a multiple of 21?
False
Let g(m) = -m**2 + 11*m - 8. Let d be (-12)/(-42) + 66/14. Suppose 5*h = -4*c + 17 + d, 0 = 4*c - 3*h - 38. Is 11 a factor of g(c)?
False
Suppose 0*g - 4*r = 3*g - 64, 0 = 3*g - r - 74. Does 8 divide g?
True
Suppose 0 = 4*k - 4, 0 = -2*b + k + 4 - 3. Suppose 11 = 5*p + b. Does 15 divide (-174)/(-12) - (-1)/p?
True
Suppose 8 = -5*g + 3. Is 2 a factor of (g/(-2))/((-13)/(-390))?
False
Let o be 7/14 - 2/4. Suppose o*r + 17 = r. Is r a multiple of 13?
False
Let z(j) = -j**2 + 4*j - 3. Let n be z(3). Suppose -5*k + 3*g + 33 = n, -3*k + 4*g = k - 28. Does 7 divide (k/(-9))/(2/(-21))?
True
Let l be (0 - (-1 - 42)) + -1. Let b = l - 14. Does 7 divide b?
True
Let f(l) = l**2 - 8*l - 1. Let u be f(7). Let m be (-18)/u*8/3. Does 11 divide (-49)/(-3) + 4/m?
False
Let q(p) be the first derivative of p**3 + p**2 + 2*p - 3. Is q(-2) a multiple of 4?
False
Let c = 64 + -25. Does 39 divide c?
True
Let r(q) = q**2 - 4. Let s be r(-4). Suppose 3*k + 3*u = 168, 2*u - 5*u = -s. Is k a multiple of 13?
True
Suppose -4 + 1 = -d. Suppose -81 = d*f - 6. Let k = 10 - f. Is k a multiple of 12?
False
Let r(f) = 7*f - 5. Let j be r(5). Does 36 divide (144/15)/(4/j)?
True
Does 38 divide ((-177)/(-4))/((-6)/(-32)) + 3?
False
Suppose 119 = 11*b - 552. Does 8 divide b?
False
Suppose -w - w = l + 47, 74 = -3*w + 2*l. Is (1*4)/((-6)/w) a multiple of 8?
True
Suppose 0 = -0*t - 3*t. Suppose -3*a + 30 = -t*a. Does 10 divide a?
True
Let k be (-10)/10 + 0 + 4. Suppose k*u = 3*m - u - 113, -u = 2. Does 19 divide m?
False
Let d(m) = -m + 4. Is d(-4) a multiple of 8?
True
Suppose 5*o + 3 = 23. Suppose 0*j + j = o*w + 15, 3*j = -w - 20. Let h = j + 27. Does 8 divide h?
False
Let i(s) = -9*s - 7. Let w be i(-10). Does 28 divide w/3 - (-5)/15?
True
Let y = -18 + 31. Suppose 4*c - y = 83. Does 8 divide c?
True
Suppose 0 = 5*h - i - 1478, 0*h + 2*h = -5*i + 575. Is h a multiple of 45?
False
Let u = 11 + -6. Let v be 0 - (0 - 1)/(-1). Let h = u + v. Is h a multiple of 2?
True
Suppose -2*x = -4 - 2, -19 = -2*n - 5*x. Let u be -2 + (n - 0) + 1. Is 11 a factor of u/(((-2)/(-38))/1)?
False
Let j = 1 - 1. Let g be 2/4*(j + 2). Let o(z) = 10*z. Does 6 divide o(g)?
False
Let s(b) = 20*b - 6. Is s(5) a multiple of 19?
False
Let w(z) = 3*z - 25. Does 14 divide w(13)?
True
Let m(l) = -l + 1. Let o be m(-1). Suppose -63 = -5*a - 5*s + 92, -3*s + 67 = o*a. Let g = -18 + a. Is g a multiple of 8?
True
Let n(y) = 47*y**2 + 1. Let x be n(1). Suppose -x = -6*z + 4*z. Does 24 divide z?
True
Suppose -3*j + 7 = 1. Suppose -7*u + 50 = -j*u. Is 5 a factor of u?
True
Let s = -43 + 95. Let c = -36 + s. Is c a multiple of 6?
False
Let c be ((-12)/(-4) + -10)*-1. Let r(w) = 7*w - 4. Is 12 a factor of r(c)?
False
Suppose -2*x + 3 = h + 2, -3*x = 3. Is 147/h - (0 - 1) a multiple of 25?
True
Let s(n) = -n**3 - 2*n - 3. Let i be s(-2). Let l = 13 - i. Suppose -w + 31 = 4*q + l*w, -4*w - 22 = -2*q. Does 9 divide q?
True
Let k(p) = -p**3 + 14*p**2 + 35*p - 9. Does 3 divide k(16)?
True
Let m = 0 - -2. Suppose -y - 15 = -m*y. Is 5 a factor of y?
True
Suppose r - 3*r = -14. Let g be (1*5)/(r - 6). Suppose g*w - 135 = -5*a - 35, -3*w - a = -60. Is w a multiple of 10?
True
Let y = 30 + -49. Let n = -13 - y. Let q = 8 - n. Is 2 a factor of q?
True
Suppose 5*t - 3*v + 2 = 0, 2*t + 10 + 2 = 4*v. Let l(r) = r**2 - 6 - 6*r**2 - t*r - r**3 + 0*r**2. Does 2 divide l(-5)?
True
Let r = 19 - 27. Let y = r - -18. Does 2 divide y?
True
Let j(v) = v. Let x be j(-1). Let s be 4*(2 + x - -3). Suppose -2*w + s + 12 = 0. Does 14 divide w?
True
Let i(y) be the first derivative of 7*y**3/3 - y**2/2 + y + 2. Let n(s) = s**2 + s - 1. Let z be n(1). Is 7 a factor of i(z)?
True
Suppose -4*f + 45 = -131. Suppose -5*y + 76 = -f. Does 24 divide y?
True
Suppose -m + 3*i + 175 = 0, 3*m + 4*i + 668 = 7*m. Is 36 a factor of m?
False
Let n(l) = -l**3 + 6*l**2 - 2*l + 8. Let i be n(7). Is 26 a factor of (-2277)/i + (-2)/5?
False
Let r(t) = t**2 + 7*t + 4. Let d be r(-7). Suppose -d*p - 44 - 380 = 2*b, 2*p + 2 = 0. Is b/(-8) - (-4)/(-16) a multiple of 13?
True
Suppose 5*i - 12 + 2 = 0. Suppose 0 = -x + 5 + i. Is x a multiple of 7?
True
Let j(n) be the second derivative of -n**4/12 - n**3/6 - n**2 - n. Let c be j(0). Is 11 a factor of 2/(26/(-14) - c)?
False
Suppose -a - 2*a = -2*i + 136, -5*i - 3*a = -382. Is i a multiple of 45?
False
Let i be (-39)/(-15) + (-4)/(-10). Suppose i*z - 3 = -12. Is 3*((-8)/z)/4 a multiple of 2?
True
Let j(n) = -n**3 - 3*n**2 + 3*n + 2. Let h be j(-4). Is (-54)/(1 + h/(-3)) a multiple of 20?
False
Let k = -17 - -17. Suppose k = -5*p + 68 + 32. Is 5 a factor of p?
True
Let i = -45 - -103. Is i a multiple of 9?
False
Let g(i) = 2*i - 11. Let f be g(-8). Let x = -14 - f. Is x a multiple of 4?
False
Suppose -5*y + 320 = -s, -6*y + 2*s = -2*y - 250. Is y a multiple of 28?
False
Let p be 5 + 1 + -2 - 2. Is 2 a factor of (1 - p) + 10 + -2?
False
Suppose 0 = -4*z - 2*r + 250, -47 = -5*z - r + 270. Is 10 a factor of z?
False
Suppose 7 + 8 = 3*r. Suppose 5*s + c - 205 = 0, r*s = 2*s - c + 125. Is 10 a factor of s?
True
Let m(z) = z**3 + 9*z**2 + 7*z - 5. Let p be m(-8). Suppose -3*k - v + 93 = 0, p*k + 0*v = -4*v + 84. Is 24 a factor of k?
False
Let j be -1 - -2*2/4. Suppose -2*o + 2 + 6 = j. Does 4 divide o?
True
Suppose -5*i + 45 = -10*i. Does 12 divide 1 - (-3)/(i/(-228))?
False
Let c(o) = -64*o**2 + 14*o - 4. Let r(m) = 13*m**2 - 3*m + 1. Let w(a) = -3*c(a) - 14*r(a). Let f be -3*(2/(-3))/1. Is 13 a factor of w(f)?
False
Let q(z) = z**2 - 4*z + 6. Let t(f) = 3*f**3 + 2*f - 1. Let o be t(1). Let d be q(o). Let w = 7 + d. Is 13 a factor of w?
True
Let o(y) be the second derivative of y**4/12 + y**3/3 - 3*y**2/2 + 6*y. Is o(3) a multiple of 3?
True
Let n(t) = 2*t + 8 + 3 - 4 - 3*t. Does 17 divide n(-10)?
True
Let t be (-2)/(-5) - (-26)/10. Let a(z) = -13 + 15 - 3*z**2 + t*z**3 - 3*z + z**2. Does 5 divide a(2)?
False
Let y(f) = 0*f + f + 0*f + f**3 + 3. Let h be y(0). Suppose 4*k - 4 = h*k. Does 2 divide k?
True
Suppose -z + 85 = -5. Is 18 a factor of z?
True
Suppose -2*a = -7 + 53. Let x = a + 43. Does 10 divide x?
True
Let c(i) be the third derivative of -i**5/60 + 70*i**3/3 - 2*i**2. Let z be c(0). Suppose -3*p - 50 = -z. Is p a multiple of 13?
False
Let q(c) = c - 4. Let p be q(-4). Let x(n) = n**3 + 7*n**2 - 8*n + 7. Does 7 divide x(p)?
True
Let q(n) = 5*n**2 - 4*n - 4. Let z be -1*(0 - -3*1). Let f be q(z). Let a = -35 + f. Does 9 divide a?
True
Let p(n) = -13*n**3 - 2*n**2 - n. Is p(-1) a multiple of 2?
True
Let u = 21 + -10. Suppose 4*n - 73 = -3*r, 0 = r - n - u - 18. Is 12 a factor of r?
False
Suppose -4*v + 2*u - 3*u = -3, 5*v - 5*u = 35. Does 27 divide v/3*(61 + 5)?
False
Suppose -4*a + 5*v = 5, 2*a - 20 = -4*v + 2*v. Suppose -3*f - 2*w = -6, 6*w - 10 = -a*f + w. Suppose f*x - 5*q + 0 - 26 = 0, 5*x - 65 = 3*q. Does 7 divide x?
False
Let q = 180 + -115. Does 5 divide q?
True
Let i = 17 + 3. Suppose -3*w + 26 = -5*l - i, 0 = 3*w + 5*l - 26. Is 3 a factor of w?
True
Let w be (-5)/((-6)/7 - -1). Let t = w + 61. Is 13 a factor of t?
True
Suppose -2*d + d + 8 = 0. Does 11 divide 4/16 - (-262)/d?
True
Let g(w) be the third derivative of w**5/15 + w**4/24 - 2*w**3/3 + 2*w**2. Is g(-3) a multiple of 11?
False
Let l(a) = a. Let r be l(2). Let