et w be i(0). Suppose -7*d + w*d = -n. Is d a multiple of 6?
False
Suppose -3*g + 4 = -11. Suppose 2 + g = y. Is 4 a factor of y?
False
Let v = -8 - -10. Suppose v*n = 321 - 17. Suppose -2*t - 2*t + n = 0. Is t a multiple of 14?
False
Suppose m + 8 = 3*m. Suppose 9*h - m*h - 60 = 0. Does 12 divide h?
True
Let d(c) be the first derivative of c**4/2 - c**3 + c**2 - 2*c - 1. Let q be d(3). Does 12 divide (q/4)/((-1)/(-4))?
False
Is 26 a factor of 942/9 - 10/15?
True
Let p be 20*((-27)/(-12))/1. Suppose -3*h + 75 = -p. Is h a multiple of 20?
True
Let f be (-2)/(0 + 2/(-4)). Suppose 0 = 3*t + 6, f*j + 0*t - 176 = 4*t. Does 21 divide j?
True
Let o(y) = -y - 4. Let i be o(-7). Let z be 1 + -4 - (-1 + 3). Does 15 divide (z/i)/((-4)/72)?
True
Let q(p) = p**2 - 7*p + 8. Does 13 divide q(9)?
True
Suppose -37 = 4*r + 15. Let u = 2 - 6. Does 3 divide 2/u + r/(-2)?
True
Let z(t) = -t**3 - 3*t**2 - 1. Is z(-4) even?
False
Let j = -4 + 7. Let o(f) = f**3 + 6*f**2 - 7*f + 10. Let b be o(-7). Suppose -b = -j*p + p. Is p a multiple of 5?
True
Let d be 4/12 + 2/(-6). Suppose d*c - 14 = -2*c. Is c a multiple of 7?
True
Let u be (-12)/(-18) + (-236)/(-6). Suppose 5*v = 140 - u. Is v a multiple of 20?
True
Let m be (-122)/(-6) + 4/6. Let d = 13 + m. Is d a multiple of 18?
False
Let y(d) = -2*d**2 - d + 1. Let g be y(1). Is g*(1 - (-124)/(-8)) a multiple of 29?
True
Let k = 21 - 1. Is 10 a factor of 16/(3 + (-52)/k)?
True
Suppose 0*b - 9 = -3*b. Suppose 2*a - 33 = -b. Is 5 a factor of a?
True
Let m = 113 - 9. Suppose -m = -3*q - 4*v, 2*q + v + 17 = 88. Does 12 divide q?
True
Suppose 4*j = 28 + 52. Suppose -3*r + r + j = 0. Is r a multiple of 9?
False
Suppose 5*t - 4*r = 127, 2*t - 2*r = -2*t + 104. Is 26 a factor of t?
False
Let y be -1*2*10/(-4). Does 19 divide 114/y - (-7)/35?
False
Suppose -5*m - 15 = 3*f, -m - 2 = 2*f + 8. Suppose -2*z + 52 = -m. Is 13 a factor of z?
True
Let u = 38 + 25. Suppose 2*y = -0*f - f + 2, -3*y + 14 = -4*f. Suppose -y*o - 1 = -u. Is o a multiple of 16?
False
Suppose 4*r + o = -13, 4*o = 2*r + 1 + 1. Let y be r*3/(-9) - -2. Suppose y*f - 5*j - 5 = f, 4*f - 80 = -4*j. Is f a multiple of 6?
False
Suppose 5*l + b = 5*b + 182, 0 = -4*l + 4*b + 148. Suppose -2*p = 2*g - l, -5*p + 26 = 4*g - 54. Is 8 a factor of p?
False
Let t(o) = 4*o + 2. Let f(r) = 3*r - 12. Let d be f(8). Is 10 a factor of t(d)?
True
Let h = 69 - 17. Is h a multiple of 13?
True
Suppose 248 = 5*r - 277. Suppose 3*u - r = -4*y, 2*y - 4*u - 11 - 69 = 0. Is 12 a factor of y?
False
Let d(f) = 0*f - 3 - 1 + 2*f. Is d(7) a multiple of 3?
False
Suppose 4*k - 72 - 372 = 0. Is 22 a factor of k?
False
Let s = 94 + -35. Suppose 2*y - 3 = s. Is y a multiple of 7?
False
Is 10 a factor of -5*(-4 + -3) - 0?
False
Let m = 672 + -478. Is 17 a factor of m?
False
Let l(c) = c**3 - 12*c**2 - 8*c + 19. Is 12 a factor of l(13)?
True
Let m(p) = -6*p + 7. Does 16 divide m(-16)?
False
Let n be 2/6 - 718/(-6). Suppose -u = -5*u + n. Is 15 a factor of u?
True
Let j(v) = 2*v**2 + v - 6. Does 30 divide j(4)?
True
Suppose -x - 79 = -2*b, 6*b - 4*b - 82 = 2*x. Let o = -120 + b. Does 15 divide (o/4)/((-2)/4)?
False
Suppose -4*m = -5*r + 6, -6*r + 1 = -m - 5*r. Let p = 6 + -4. Suppose 0 = -p*c + 5 + m. Is 3 a factor of c?
True
Let d = -6 + 6. Suppose 4*w - 12 = -d. Does 2 divide w?
False
Let o = -12 + 16. Is o a multiple of 2?
True
Suppose 4*o - 2*o = 6. Let n be 30/(-2)*(-1)/o. Let i = n - 0. Is i a multiple of 3?
False
Let u(j) = -3*j - 1. Let o be u(-4). Is 11 a factor of (4 + -3)/(1/o)?
True
Suppose -33*t + 33 = -32*t. Does 7 divide t?
False
Let g(p) = 3*p**2 + 8*p + 3. Suppose -8*s - 30 = 5*k - 3*s, -5*s - 20 = 3*k. Is g(k) a multiple of 15?
False
Let v(c) = 8*c**2 + 60*c**2 + 16*c**2. Let q be v(-1). Suppose 0 = 4*g - q - 4. Is 13 a factor of g?
False
Suppose 5*w - 54 = 3*l - 143, 3*l = -3*w + 105. Suppose 0 + l = x. Is 11 a factor of x?
True
Suppose -154 = -4*k + 26. Does 15 divide k?
True
Suppose 0 = 5*i - 4*n - 75, 2*i - 3*n = 7 + 23. Is 8 a factor of i?
False
Let n be -1 + 4 - 12/4. Suppose 0 = -4*z + 4, n = 2*s - 3*z + 6*z - 15. Is s even?
True
Suppose -4*l = 3*v - 11, l = -0*l - 4*v - 7. Suppose 5*r - 118 = -4*p, -121 = -l*r - p - 2*p. Is 12 a factor of (1 - 2) + r + 2?
False
Suppose g - 78 = 3*n, -4*g + 4*n + 74 = -3*g. Let d be 1 + 0 - (8 - g). Suppose -t - 79 = -3*u, -5*t + 16 + d = 4*u. Does 15 divide u?
False
Let f be (12/(-10))/((-2)/20). Let t = f + -22. Is 13/2 + (-5)/t a multiple of 7?
True
Let g be -3*(3 - 6)*-1. Does 14 divide 2*(g + 2)*-2?
True
Suppose -7*h + 10*h - 36 = 0. Let c = h - -12. Let k = 63 - c. Does 13 divide k?
True
Let c(f) = f**2 - 6*f + 3. Let b = 2 + 4. Let m be c(b). Does 6 divide -23*(m/1 + -4)?
False
Let d = -138 + 238. Is 25 a factor of d?
True
Suppose 3*s = -3*v + s + 82, -5*s = 20. Is 6 a factor of v?
True
Suppose 4*q - 177 = -3*a, 0 = 3*q - 3*a - 120 - 18. Is 5 a factor of q?
True
Suppose -2*d + 112 = 2*d. Suppose u - d = -3*u. Let q = 21 - u. Does 13 divide q?
False
Suppose 53 = m - 3*z, 63 = 3*m + 3*z - 108. Is 14 a factor of m?
True
Suppose -n + 4*n - 300 = 0. Does 20 divide n?
True
Suppose 3*x = 6*x + 21. Let c = -29 - x. Does 4 divide (18/(-12))/(3/c)?
False
Suppose 5*j = 105 - 0. Let t be 6/j + (-94)/(-14). Suppose 2*v + 15 = t, 5*b = -5*v + 130. Is b a multiple of 15?
True
Let j(t) = 35*t**3 + 0*t**2 + 0*t**2 + 1 + t**2 - 64*t + 63*t. Let b = 1 + 0. Does 16 divide j(b)?
False
Suppose -3*o - 2*o = -15. Suppose 3*s + u - 72 = -2*s, -4*s + 50 = -o*u. Is 8 a factor of s?
False
Let z(m) = 0 - 3 + 2 + 2 - 6*m. Does 13 divide z(-2)?
True
Let m be 1/1 + (-2 - 3). Is (-2)/m + 190/4 a multiple of 27?
False
Let b(n) = 11*n**2 - 3*n - 2. Is b(-2) a multiple of 16?
True
Suppose 11 = f - 4. Is f a multiple of 4?
False
Let j(p) = p**2 + 4*p - 1. Let b be j(-3). Let t be (0/(-2))/((-8)/b). Suppose 2*k - 26 = -t*k. Is k a multiple of 6?
False
Let c(n) = n**3 + 9*n**2 + n + 11. Let y be 1/(-3) + 78/(-9). Let g be c(y). Suppose 36 - 8 = g*m. Is 7 a factor of m?
True
Let y = -64 - -92. Suppose 3*i + 2*v - 44 = 0, -y = -5*i + 2*v + 40. Is 14 a factor of i?
True
Suppose 0*j + 280 = 4*j. Is 14 a factor of j?
True
Suppose -y + 1 = -0*y. Suppose -d + 0*z - 4*z = -8, -9 = 3*z. Is (y + 2)*d/12 a multiple of 5?
True
Let r be (-13)/39*-3*6. Let j = -386 + 198. Does 12 divide (j/(-8))/(3/r)?
False
Let n = 1 + -2. Let y(c) = -47*c - 1. Does 23 divide y(n)?
True
Let d(o) = o**3 - o**2 - 3*o - 2. Let j be d(3). Does 12 divide (-2)/j + (-536)/(-14)?
False
Let b be (-4)/(-2) - (-1 - 0). Suppose 2*l = -b*l + 135. Let z = -12 + l. Is z a multiple of 7?
False
Suppose -11 = -m + 5. Does 10 divide m?
False
Let k(l) = l - 6. Let t be k(9). Suppose 4*v - 50 = w, 20 = v - t*w - w. Does 8 divide v?
False
Let w(i) = -4*i**2 - 1 - 9*i + 4 + 14*i - i**3. Is 3 a factor of w(-5)?
True
Is 11 a factor of (-20)/(-90) - (-680)/18?
False
Let i = 8 + -16. Let b(h) = h**3 + 9*h**2 + 7*h + 4. Is b(i) a multiple of 6?
True
Let f = -6 - -6. Suppose 2*p - p - 6 = f. Suppose -p*h + 245 = -h. Does 13 divide h?
False
Let b be (-2)/(-3) + 8/6. Suppose -2*u - 50 = -2*c, 0*u - 85 = -3*c - b*u. Suppose -53 = -5*p + c. Is p a multiple of 6?
False
Suppose -19 = -3*n - 4. Suppose -4*y + 33 = -n*c + 5, -3*y - 4*c + 21 = 0. Let q(z) = z**3 - 7*z**2 + z + 4. Is q(y) a multiple of 7?
False
Let h = 6 - 3. Suppose -h = -y - 0*y. Suppose -y*n - 4*f = -42 + 11, 5*n + 2*f = 75. Is 17 a factor of n?
True
Suppose -c = -4*u + 8, 0 = 2*c + c + 4*u - 24. Let r(x) = x**3 - 1 - 8*x**3 - 2*x**2 - 2*x + c*x**3. Does 2 divide r(-1)?
True
Let k(v) = v**3 + 4*v**2 - 5*v + 1. Let r be k(-5). Does 11 divide 3*r - (-7 - 2)?
False
Let i = 108 + -27. Does 27 divide i?
True
Suppose -2*h + 3 = -5*h, -4*j = 5*h - 15. Let m(n) be the first derivative of 3*n**2/2 + 1. Is 13 a factor of m(j)?
False
Let x be (-4)/6*6/(-4). Suppose -14 = -4*d + p - 3*p, -7 = -d - 4*p. Does 3 divide (x - 0)*d/1?
True
Let q(m) = -6 + 2*m - 4 + 0. Does 2 divide q(7)?
True
Suppose -10*k + 5*k = -95. Is 12 a factor of k?
False
Let n = -64 + 133. Suppose -3*k - n + 258 = 0. Does 27 divide k?
False
Let a = 11 + -8. Let i(n) = -n**3 + n**2 + 4*n - 4. Let t be i(3). Let v = a - t. Is v a multiple of 13?
True
Let b(r) = -r + 71. Does 12 divide b(-13)?
True
Let w(v) = v**2 + v