7*j**2 - j + 3. Suppose -4*p = -3*p - 6. Let d be z(p). Suppose 0 = 2*i - d - 3. Is 9 a factor of i?
True
Suppose 3*h + 472 = 4*x + 7*h, 4*x - 3*h - 486 = 0. Does 24 divide x?
True
Does 11 divide -6*(-2)/(4/22)?
True
Let k(q) = -q**3 + q + 27. Does 8 divide k(0)?
False
Let d = 194 - 130. Is d a multiple of 9?
False
Let o = -28 - -41. Suppose -5*a + 47 + o = 0. Is a a multiple of 12?
True
Let m = -4 + 9. Suppose -3*c - 10 = -4, -5*b - m*c - 10 = 0. Suppose b*t + 112 = 4*t. Is 25 a factor of t?
False
Suppose 5*x - 10*x + 325 = 0. Does 13 divide x?
True
Let s = 13 - 9. Suppose 0*g + s*g - 192 = 0. Suppose -2*o - 2*o = -g. Is 11 a factor of o?
False
Suppose 0 = -3*m - 3*i - 33, 3*m - m - 4*i + 4 = 0. Let o = m + 35. Is o a multiple of 15?
False
Let m(u) = 7*u - 33. Let z(t) = -10*t + 49. Let s(g) = 7*m(g) + 5*z(g). Is s(7) a multiple of 3?
False
Let z = 669 - 347. Is z a multiple of 46?
True
Let i = 47 + -26. Suppose 2*u - i = 9. Does 11 divide u?
False
Suppose 5*g = j + 4*g - 40, 5*g - 10 = 0. Is j a multiple of 11?
False
Suppose 0 = -4*a + 2*q - 52, -68 = 5*a + 3*q - 4*q. Is -5 - -3 - a - 1 a multiple of 4?
False
Suppose -4*j - 5*s = -0*j - 79, -s = -3*j + 45. Let i = 30 - j. Does 7 divide i?
True
Let h(v) = -3*v**2 - 8*v + 4. Let p(m) = 4*m**2 + 12*m - 6. Let l(x) = -7*h(x) - 5*p(x). Let r be l(7). Suppose -3*i + r = -79. Is i a multiple of 13?
False
Let z be 18/4 - 2/(-4). Suppose 0 = -5*h + z*d + 25, -5*h + d = -d - 37. Is 3 a factor of h?
True
Let u(w) = -2*w**3 - 4*w**2 - 2*w + w**2 - w - 3. Let i = -2 - 0. Is u(i) a multiple of 7?
True
Suppose -3*v = 2*v - 2*t - 81, -2*v - t + 27 = 0. Let f(i) = i + 3. Let b be f(6). Let h = v - b. Is 3 a factor of h?
True
Let v(j) = 7*j - 14. Let b be v(14). Is b/16 + (-2)/8 a multiple of 2?
False
Let m(i) = 4*i**3 + i**2 - 1. Let b be m(1). Suppose 2*u = b*u - 18. Does 8 divide u?
False
Let b(i) = i - 4. Let q be b(6). Suppose 0*g - q*g = -28. Is 11 a factor of g?
False
Suppose -2*b = -3 - 7, 4*h - 5*b = -25. Let s = 5 - h. Is ((-16)/10)/((-2)/s) a multiple of 2?
True
Let h = -10 - 0. Let c = -5 - h. Suppose -c*a + 314 = 2*b, -3*b - 329 = -5*a - 0*b. Does 22 divide a?
False
Does 12 divide (3 - 1)/(1328/(-668) - -2)?
False
Let y = -3 - -10. Let c = 11 + y. Does 9 divide c?
True
Let d(f) = -f**2 - 5*f. Let c be d(-5). Let z(j) = 9*j + 1 + 0 + c. Does 5 divide z(1)?
True
Let c(q) = q**2 + 5*q + 128. Is c(0) a multiple of 32?
True
Let a(m) = 4*m + 2. Suppose 0 = w - 0*w - 5. Is 6 a factor of a(w)?
False
Let c(b) = -133*b - 2. Does 22 divide c(-2)?
True
Suppose -3*s = 3*h, -3*h + 0*s = 2*s. Suppose h = -2*n + 5 + 9. Let w(x) = -x**2 + 9*x - 9. Is 2 a factor of w(n)?
False
Let y(z) = 44*z + 1. Is y(2) a multiple of 18?
False
Is 38 a factor of ((-13)/(-3) + 1)/(1/12)?
False
Is 267*(-4)/(-60)*5 a multiple of 27?
False
Suppose -t + 4 + 4 = -3*c, c - 64 = -3*t. Is 5 a factor of t?
True
Suppose 2*g - 206 = -0*g. Let w = g + -23. Suppose 3*f - 118 = -5*o, -3*o - 22 = -3*f + w. Does 12 divide f?
True
Let c(l) = -2*l**2 - 5*l**3 - 5*l + 0*l + 6*l**3 + 3. Let v be c(3). Is 2/v - 56/(-12) a multiple of 4?
True
Does 9 divide 182/4 - (-1)/(-2)?
True
Suppose 83*o = 90*o - 1792. Does 64 divide o?
True
Is 420 + (1/(-2) - 2/(-4)) a multiple of 60?
True
Let g = -9 - -19. Let u = g - 7. Is 3 a factor of u?
True
Suppose n + 12 = 5*n + 4*l, -4*n - 2*l + 20 = 0. Does 4 divide n?
False
Let q(z) = 150*z**3 + 2*z**2 - 3*z + 1. Is q(1) a multiple of 30?
True
Let w(t) = 6*t**2 + 6*t - 3. Does 15 divide w(4)?
False
Let v(g) = -11*g - 21. Does 37 divide v(-11)?
False
Let v(k) = 6*k**2 + 6*k + 5. Let h be v(-4). Let q = -107 + 64. Let z = h + q. Does 14 divide z?
False
Suppose -3*k = 3*g, -4*k - 8 + 4 = 5*g. Let p = k - -8. Is p a multiple of 12?
True
Let l(z) = -12*z - 5. Let r(w) = 13*w + 5. Let c(i) = -2*l(i) - 3*r(i). Is c(-2) a multiple of 12?
False
Let w(r) = -4*r - 6. Is 13 a factor of w(-8)?
True
Let v be -2 + (-11)/2*-4. Let o be (-1)/3 - v/12. Is 20 a factor of (o - 12/(-3)) + 18?
True
Let a = -37 + 63. Does 26 divide a?
True
Let o = -4 + 6. Suppose 4*r + o*h = h - 273, -4*r = -5*h + 267. Is 9 a factor of r/(-7) + 4/14?
False
Suppose i + 3*i + o + 130 = 0, 0 = 2*i + 3*o + 60. Let x = i - -63. Does 10 divide x?
True
Suppose -2*a + 2 + 0 = 0, -5*a + 1301 = 4*j. Does 27 divide j?
True
Let a = -25 - -37. Does 12 divide a?
True
Let x(r) be the third derivative of -r**4/4 - r**2. Suppose 2*i - 5*v + 11 = -i, 4*i + 7 = -v. Is x(i) a multiple of 5?
False
Is 5 a factor of -1 + 23 + -5*(-12)/(-30)?
True
Suppose -5*h + 424 = 59. Let w = h - 45. Does 9 divide w?
False
Let z = 885 + -546. Is z a multiple of 29?
False
Is 1041/15 + (-6)/15 a multiple of 7?
False
Suppose -3*p = 4*m - 9, 0*p = 2*p + m - 11. Let g = p - 4. Suppose 0 = -h - g*t + 20, -5*h - 2*t + 32 = -3*h. Is h a multiple of 14?
True
Let l = 53 + -39. Is l even?
True
Let t(z) = z**2 + 8*z - 11. Is 3 a factor of t(-10)?
True
Suppose -2*q + 2*h = -38, 2*q - 6 - 30 = 4*h. Let f = 1 - q. Let c = 40 + f. Is 21 a factor of c?
True
Suppose -5*a + 2 = -3*a. Is (-2)/(((-6)/45)/a) a multiple of 15?
True
Let t(o) = -5*o**3 - 2*o**2 - 2*o - 1. Let g be t(-1). Let h(c) = 4*c - 2. Is h(g) a multiple of 7?
True
Let d(u) = -4*u - 1. Let g be (1 - -1)/(-2*1). Let b be d(g). Suppose j + 0 = b. Is 3 a factor of j?
True
Suppose 4*q - 239 + 47 = 0. Suppose 3*r = -4*u + q, -5*u = -12 - 3. Is r a multiple of 6?
True
Let c(z) = 37*z - 3. Let p(f) = -12*f + 1. Let j(x) = 6*c(x) + 17*p(x). Does 17 divide j(1)?
True
Let q = 10 - 7. Is 18 a factor of (-1)/3 - (-55)/q?
True
Suppose 2*l - 2 - 10 = 0. Suppose -3*h - 5*x = -123, 2*h + l*x - 3*x = 82. Is h a multiple of 18?
False
Suppose 4*f - 45 = -f. Is 3 a factor of f?
True
Suppose 6 = -3*k - 0*k. Is 21 a factor of 73 - (k/(-2) - 4)?
False
Suppose 5*u + 10 - 35 = 0. Suppose 0 = -2*h - u*q - 16, -4*h - 4*q - 8 + 0 = 0. Suppose -4*k + 4 = 0, 0 = -h*b - k + 38 + 19. Does 14 divide b?
True
Let o = -6 - -10. Let w = 51 - 1. Does 22 divide 80/25*w/o?
False
Suppose -4*g = 4*b - 388, 224 = 2*g + b + 33. Let j = -67 + g. Is 9 a factor of j?
True
Let w(z) = z**2 + 10*z + 14. Let f = -23 - -13. Let v be w(f). Let p = v + 5. Is 19 a factor of p?
True
Suppose -3*z + 3 = -21. Suppose -3*c + 0*c - 2*t - 31 = 0, 2*c + t + 22 = 0. Let q = z - c. Does 8 divide q?
False
Suppose -2943 - 2673 = -12*l. Does 39 divide l?
True
Let s = 267 + -155. Suppose -4*w + s = -0*w. Does 9 divide w?
False
Let u(h) = h**2 + h - 4. Let p be u(-3). Is p/(-8) - 759/(-12) a multiple of 21?
True
Let r = 5 - 2. Suppose 3*a - 38 = -5*u, -r*a + 12 = 3*u - 24. Suppose a = -3*g + 35. Is 4 a factor of g?
True
Let y(p) = 2*p - 8. Let x be y(8). Let b(n) = -n**2 + 10*n + 8. Let l be b(x). Let h = l + -3. Does 7 divide h?
True
Let r be 4/4 + 2 + 1. Suppose 0*w = d + w - r, 0 = 3*d - 3*w + 12. Suppose 5*m - 92 + 12 = d. Is 8 a factor of m?
True
Suppose 0 = 3*k + k - 5*u - 23, 5*k - 40 = -5*u. Is k a multiple of 6?
False
Let d = 6 - 3. Suppose 5*q + l = 99, 0*q + 2*l - 65 = -d*q. Is q a multiple of 12?
False
Let p = -457 + 787. Is p a multiple of 39?
False
Let d = -44 + 77. Is 9 a factor of d/(-2)*(-12)/9?
False
Let m(u) = -50*u + 5. Let v be m(-3). Suppose 1 = 2*h - 3*a - 82, 0 = 5*h + 3*a - v. Does 9 divide h?
False
Suppose 96 = 21*d - 17*d. Let r be (-1)/2 - 2/(-4). Suppose r = -2*h - a + d, h + 5*a = -6 - 0. Is 7 a factor of h?
True
Let q be 5/(-5) + 0/1. Let o(h) = -2*h**3 + 3*h**2 - h - 1 - 23*h**3 - 4*h**2. Is o(q) a multiple of 10?
False
Let u(d) = -d**3 + 14*d**2 - 22*d - 3. Is 3 a factor of u(12)?
True
Suppose 3*d + r + 28 = 0, -2*r + 36 = -2*d - 7*r. Let b = 9 + d. Let a = 7 - b. Is a a multiple of 3?
True
Let r = 4 + 23. Is 9 a factor of r?
True
Suppose 5*q + s + 4*s = 30, -2*q + 6 = -s. Suppose 4*t + 18 = 3*p, 0*t - 5 = -q*p - t. Is 7 - p/3*-3 a multiple of 7?
False
Suppose 3*k = 2*k + 3. Suppose 5*f - 180 = -0*x - x, -3*x = 0. Suppose 4*z - 24 - f = -4*u, 0 = k*u + 4*z - 50. Is u a multiple of 8?
False
Let j = 24 - 6. Suppose -p + 20 + j = -5*x, x = 0. Is p a multiple of 19?
True
Let d = 91 - 87. Suppose 3*u + 21 = 246. Suppose -3*p + n = -65, -d*p - n + 0*n = -u. Is 14 a factor of p?
False
Let f(k) = 3*k - 6. Let p(z) = -12*z + 24. Let q be -21 + (0/2)/1. Let w(m) = q*f(m) - 5*p(m). Does 15 