y + y - 3*h - 4. Suppose d + 10 = y*j + 4*d, -10 = -5*j + d. Suppose -5*c + c + j*z = -24, 3*z = 5*c - 28. Does 8 divide c?
True
Let b(n) = -6 - 7 - n + 4. Let t be b(-12). Is 17 a factor of t/(-3 + (-80)/(-26))?
False
Let d be -17 + 15 + (0 - -78). Let a = d + 8. Is 24 a factor of a?
False
Is 9 a factor of (-18)/5*(-65)/26?
True
Let j = 40 - 29. Is j a multiple of 11?
True
Let q = -13 + 12. Suppose 0*b = -3*b. Does 8 divide (b - q)/(1/16)?
True
Let p(v) = -v**2 + 8*v - 4. Does 2 divide p(7)?
False
Suppose 0 - 20 = -r. Let k be 127/5 + 4/(-10). Suppose -k - r = -5*x. Is 4 a factor of x?
False
Suppose 1 = -2*m + 5. Let g(w) = -44*w**2 + 3 + 7*w + 45*w**m - 15. Is 4 a factor of g(-9)?
False
Let t(x) = -x**3 - 2*x**2 + 3*x + 3. Is t(-4) a multiple of 23?
True
Suppose -n = -0*n + 2*g - 80, -n + 68 = 5*g. Is 10 a factor of n?
False
Suppose 23 = -5*u + x - 54, 0 = -2*u - x - 35. Let n = 22 + u. Does 2 divide n?
True
Let a(f) = -f**3 - 2*f**2 + f - 6. Let t be a(-5). Suppose -h + q = h - 64, 5*h - 3*q = 158. Is 17 a factor of (-4)/(t/h + -2)?
True
Is 12 a factor of 138/(-6)*(0 + -1 + -2)?
False
Let z be 5/5 + 194*-2. Let v = z - -661. Suppose -2*k = -p + 64, k + k + v = 4*p. Does 26 divide p?
False
Let b be (-8)/10*(-15)/6. Suppose -b*o - 14 = -2*h - 3*o, 3*o - 7 = h. Suppose -h*y + 5 = -85. Is y a multiple of 8?
False
Suppose a + 4*a = 90. Suppose 4*r + 6 = a. Suppose r*v + 3 = 2*v, q - v - 29 = 0. Is q a multiple of 9?
False
Let p = 45 + -12. Suppose -3*q = 4*u - p, -3*u = -q + 7 - 22. Is 4 a factor of u?
False
Let x(m) = -10*m + 1. Let k(c) = 2*c**2 - 5*c + 2. Let r be k(3). Let l be 10/25 + (-7)/r. Does 9 divide x(l)?
False
Let g be (-24)/1 + (2 - 3). Let x = -11 - g. Is 14 a factor of x?
True
Suppose -3*p + 8 = 65. Let y(l) = -4*l - 2. Let a be y(2). Let d = a - p. Does 6 divide d?
False
Let q = -265 + 465. Is 8 a factor of q?
True
Suppose -3*n = n + 16, 5*n = 3*d - 17. Let w(k) = -12*k**3 + 2*k**2 + k. Does 10 divide w(d)?
False
Let j(v) be the first derivative of v**2 + 11*v - 5. Is 11 a factor of j(0)?
True
Suppose 0*d + 30 = -5*d. Let l = -10 - d. Is 14 a factor of 112/(-6)*6/l?
True
Let v = 37 - -3. Is 3 a factor of v?
False
Let r be -2 + 22 - (-3)/(-3). Suppose -3*u + r + 26 = 0. Does 15 divide u?
True
Let o = 6 - 4. Does 11 divide (-2 - -3 - -19) + o?
True
Let g(m) = 2*m**2 + 3*m + 1. Let n be g(-2). Suppose 2*y = n*y - 262. Suppose -5*s - 4*f = -y, -2 + 11 = 3*f. Is s a multiple of 25?
True
Suppose -4*y - 68 = k, 2*y - 9 = 3*k + 153. Let l = 80 + k. Is l a multiple of 12?
True
Let t(b) = b**2 - b. Let j be t(-1). Suppose -4*g = j*p - 48, -2*g = -g + 3*p - 17. Does 11 divide g?
True
Let t be -10*(26/10 + -1). Is ((-8)/t)/(1/26) a multiple of 13?
True
Let g = -5 - -12. Let v = g - 2. Does 2 divide v?
False
Let m be (161/(-14))/((-1)/6). Suppose 0 = 5*j - 8*j + m. Is j a multiple of 8?
False
Let s(h) = 16*h**2 - h. Is s(1) a multiple of 15?
True
Let s = 14 - 10. Suppose -3*z = -9, 0*z + 2*z = s*q - 170. Does 22 divide q?
True
Suppose 7*j = -14*j + 2982. Does 9 divide j?
False
Suppose -5*i - 3*c - 2*c + 65 = 0, c = -3*i + 37. Suppose -a - i = -4*a. Suppose -3*g + 118 = 3*t + 16, -2*t + 128 = a*g. Does 10 divide g?
True
Suppose -13 = 4*f + 7. Let q = f - -8. Suppose q*z - 27 = -3*d, -3*z - 2*d + 41 = 9. Does 7 divide z?
True
Let p = 39 + -15. Does 12 divide p?
True
Let c be (4/2)/(3/(-24)). Let s = -6 - c. Suppose 2*u - 2*i - 30 = -s, -2*i + 64 = 4*u. Is 14 a factor of u?
True
Suppose -92 = -5*y + 5*k - 2*k, 0 = -3*y + 5*k + 68. Let r = -14 + y. Does 2 divide r?
True
Suppose -5*s = -25 - 80. Is s a multiple of 8?
False
Let y(z) = z**3 - 6*z**2 - 2*z + 3. Let s(b) = -5*b**3 + 24*b**2 + 9*b - 13. Let g(k) = -2*s(k) - 9*y(k). Is 12 a factor of g(-4)?
False
Let n(g) = -4*g + 2*g**2 - 3*g**2 + 30*g**3 + 5*g. Suppose -5*f + 0*f = -5. Is n(f) a multiple of 24?
False
Let g(r) = 7*r**2 - 4*r. Let x be ((-6)/5)/((-3)/(-10)). Let o be g(x). Suppose f - 3*f = 4*m - o, -2*m + 3*f + 56 = 0. Is m a multiple of 18?
False
Let d = -6 + 10. Is 8 a factor of d/6 + 110/6?
False
Let z = 113 + -67. Is z a multiple of 11?
False
Let s = -368 - -738. Is 37 a factor of s?
True
Let u(n) = -n**2 - 3*n + 4. Let y be 21/(-6) + (-1)/(-2). Let r be u(y). Let v = 12 - r. Is v a multiple of 4?
True
Let r(g) = g - 3. Let v(d) = 4. Let i(z) = -2*r(z) - 3*v(z). Let t be (17 + -1)*(-13)/26. Does 10 divide i(t)?
True
Suppose 2*q + 0*q = -12. Let s(g) = -g**2 - 9*g - 8. Is 10 a factor of s(q)?
True
Suppose -2*g - 22 = -5*g - 4*p, 3*p - 4 = 4*g. Suppose -5*a = -5*n + 65, -g*n + 3*a = -6*n + 73. Is n a multiple of 8?
True
Suppose 5*j - 17 = 63. Is 4 a factor of j?
True
Let l = 0 - -4. Suppose -q = l*x - 129, -4*q - q = -3*x - 553. Suppose -4*y - 5*v + q = 41, 3*v - 25 = -y. Is 13 a factor of y?
True
Let r = 114 - -66. Is 12 a factor of r?
True
Let p(o) = 6*o - 8 + 3*o - 4*o + 4*o. Let a be p(9). Let l = a + -45. Is l a multiple of 10?
False
Does 27 divide (-7)/42 - 326/(-12)?
True
Let a(x) = -x**2 + 14*x - 10. Let o be a(9). Suppose 146 = 4*f - 5*w - 39, -f = w - o. Is f a multiple of 20?
True
Let m(y) = -50*y + 2. Does 9 divide m(-1)?
False
Let b(f) = -f - 4. Let x(y) = -6*y - 20. Let u(a) = -11*b(a) + 2*x(a). Suppose l - 2*l - 4 = 0. Does 8 divide u(l)?
True
Let k(d) = 4*d**2 - 1. Does 12 divide k(-2)?
False
Suppose -l + 15 = -5*g - 10, -4*l = 5*g. Let f(a) = a**3 - 3*a**2 - 6*a + 6. Let s be f(5). Let h = s + g. Is 13 a factor of h?
False
Is 26 a factor of 7/(-21) + (-470)/(-6)?
True
Suppose 0 = -3*k + 2*u - 15, 5*k = 3*u - 2*u - 25. Let g = k - -10. Is 2 a factor of g?
False
Suppose 3 = a + 1. Suppose -5*l = 5*w - 30, 2*w - 4*l = -a*l + 20. Let x(j) = j**2 - 6*j + 12. Is x(w) a multiple of 14?
True
Let o = 9 - 6. Suppose 4 = o*d - 2. Suppose y - 5 = d. Is 7 a factor of y?
True
Let q(o) = -4*o - 9. Let y be q(-6). Suppose -4*i = i + 4*w + 20, -3*w - y = i. Suppose 54 = -i*z + 3*z. Does 18 divide z?
True
Let w(z) = z - 7. Let n be -2*(-2)/((-12)/(-27)). Let p be w(n). Suppose -2*m + 74 = p*q, -q + 42 - 11 = 3*m. Is q a multiple of 20?
True
Let t = 8 + 3. Suppose -2*y = -80 - 18. Suppose -5*k + y = -t. Does 7 divide k?
False
Suppose -58 + 17 = -c. Let a(l) = -l**3 - 13*l**2 - 12*l - 11. Let j be a(-12). Let v = j + c. Does 15 divide v?
True
Suppose -4*m - 657 = -4*g + m, 811 = 5*g + 4*m. Is g a multiple of 37?
False
Suppose -3*k - 16 + 640 = 0. Is k/5 - (-4)/10 a multiple of 14?
True
Let d = 5 + -3. Suppose d*w - 66 = -3*r, -3*r - 6 = 6. Is 16 a factor of w?
False
Let i(v) = 23*v**2 - 24 + 23 + v - 3*v. Is i(-1) a multiple of 12?
True
Let a(b) be the first derivative of b**3/3 + 3*b**2/2 + b + 4. Let z be a(-3). Suppose 2*j - z = 25. Does 13 divide j?
True
Suppose 27 = 2*l + 1. Suppose -l - 27 = -2*w. Suppose -4*n - 5*a = -65, -4*n = -3*n + 2*a - w. Is 10 a factor of n?
True
Let y(k) be the third derivative of -k**6/120 + k**5/60 + k**4/12 + k**3/6 + 5*k**2. Is y(-2) a multiple of 3?
True
Let g(y) = 1. Let v(z) = z - 8. Let c(i) = 6*g(i) - v(i). Let p(d) = 3*d - 41. Let w(h) = -11*c(h) - 4*p(h). Does 17 divide w(-10)?
False
Suppose -5*z + 34 = -z + 2*g, g + 53 = 5*z. Is z even?
True
Let m(i) be the first derivative of i**5/120 + i**4/4 - i**3 - 2. Let x(t) be the third derivative of m(t). Is 6 a factor of x(8)?
False
Let n be 2/(-6) - (-244)/3. Suppose n = 5*z - 9. Is 15 a factor of z?
False
Suppose -11*n = -512 - 1358. Is n a multiple of 10?
True
Let v(g) = 2*g + 2. Let m be v(-2). Let c be (m + 5)/((-6)/(-4)). Suppose y - 21 - c = 0. Does 11 divide y?
False
Let n = 11 + -4. Let s(z) = 2*z + 9. Is 23 a factor of s(n)?
True
Let t = -32 - -84. Is t a multiple of 26?
True
Suppose -2*m + 6 = 0, 4*m - 83 = -w + 25. Suppose 0 = 2*t + 2*t - w. Does 12 divide t?
True
Suppose -4*d + 10 + 182 = 0. Suppose k + 0*k - d = 0. Does 21 divide k?
False
Suppose -4*z + 114 + 438 = 0. Let i = z - 72. Is 22 a factor of i?
True
Let i = -18 - -31. Suppose 4*x - i = -5*g, 27 = 3*g - 2*x - 2*x. Is 4 a factor of g?
False
Suppose 0*v + 153 = -3*v. Let g = v + 95. Is g a multiple of 11?
True
Let c be (-3)/(1 - 2 - -2). Let k = 1 + c. Is -5*(k/5 - 2) a multiple of 6?
True
Suppose 3*r = -s + 12, 5*s = r + 2*r - 12. Suppose -r*j = -j + 4*v + 4, 5*j + v = 16. Does 2 divide j?
True
Let k(s) = -s - 2. Is k(-11)