*m - 2*m - 5. Let w(z) = -6*z**3 + 14*z**2 - 16*z - 13. Let i(n) = m*x(n) + 4*w(n). Does 19 divide i(13)?
True
Suppose -3*k = 3*i + 9, 17 = 3*k - 5*i - 14. Let b(g) = g**3 - 3*g**2 - 10*g**k - 13 - 4*g**2 - 6*g + 24*g. Is b(16) a multiple of 7?
False
Suppose 60*o + 1932 = 62*o. Is o a multiple of 95?
False
Let w(t) = t**3 + 4*t**2 - 7*t. Let f be w(-5). Suppose -3*l = -l - f. Suppose -l*q + 106 = -3*q. Is q a multiple of 12?
False
Let h = 2884 + -1272. Does 100 divide h?
False
Let d(h) = 6*h**2 - 5*h + 1. Let t be d(2). Let n = t + -15. Suppose 0 = -3*o - 5*c + 178, n = 4*o - 6*o + 3*c + 87. Is o a multiple of 17?
True
Suppose -4*r + 832 = -4*o, 0*o = -5*r - 2*o + 1012. Is 6 a factor of r?
True
Let m = -57 - -62. Suppose 6*f + 32 = z + 2*f, -m*z + f + 236 = 0. Does 23 divide z?
False
Suppose -3*c + 30 = p, 5*p - 61 = 4*c + 13. Let o be p/(-4)*(-6)/9. Suppose -3*h + 36 = -o*n, -2*n = 2*h + n - 9. Is h even?
False
Let z = -17 + 26. Suppose -6*v - z - 9 = 0. Let n(j) = 3*j**2 + 4*j + 1. Does 8 divide n(v)?
True
Suppose -3*x - 5*c + 1525 = 0, -1577 = -3*x - 4*c - 51. Does 34 divide x?
True
Let j(c) = c**2 - 11*c + 12. Let w be j(9). Let f(s) = s**2 - 2 + 10 + 3*s - 1. Is 5 a factor of f(w)?
True
Suppose 3*y + 4*t - 1972 = 2262, -1407 = -y + 3*t. Is y a multiple of 141?
True
Let k be -1 + 1/(4/8). Let g be (k*342/3)/2. Suppose -5*v - 2*n = -g, v + 25 = 2*v - 3*n. Does 13 divide v?
True
Suppose x = 4*a - 23, -4*a + 5 = -3*a - x. Let y = a - -46. Is y a multiple of 13?
True
Suppose 0 = -2*j + 5*j - 6. Suppose 4*s + 3*i - 3272 = 0, 3*s - 4090 = -j*s + 3*i. Does 16 divide s/17 - (-4)/(-34)?
True
Let o(q) = -q - 4. Suppose 2*c + 2*n - 7 = -n, 5*c + 2*n = -10. Let m be o(c). Suppose m = 7*j - 2*j - 215. Does 16 divide j?
False
Suppose 5*b + 24 = 8*b. Suppose 23*j - b = 21*j. Is (j/(-2) + 10)*1 a multiple of 8?
True
Suppose g + 4*a = 218, 5*g - 574 - 482 = -3*a. Does 30 divide g?
True
Let a = -160 - -502. Is 19 a factor of a?
True
Let p = 2314 + -699. Does 19 divide p?
True
Let x = 18 - -39. Suppose -52*y - 1390 = -x*y. Is y a multiple of 37?
False
Let k(r) = -4 + 184*r + 23*r + 16 + 1. Is 20 a factor of k(1)?
True
Let m be 3/(2 - (-1)/(-2)). Suppose -m*f + 46 = -18. Let h = f - 11. Does 7 divide h?
True
Suppose -2*l = -5*h + 8445, 0 = 3*h - 5*h - 2*l + 3392. Does 19 divide h?
True
Let r = 60 - -27. Let l = -62 + r. Suppose 2*p + l - 103 = 0. Does 10 divide p?
False
Suppose -151 = 2*r - 5. Let s = r - -143. Is 24 a factor of s?
False
Let i(m) = m**3 - m**2 + 2. Let n be i(0). Suppose 4*k + 4*a = 252, -n*k - 2*a + 156 = -6*a. Is 34 a factor of k?
True
Let a = 28 - 53. Is 12 a factor of (10/a)/((-1)/(-355)*-1)?
False
Suppose -118050 = -25*f - 25*f. Is 81 a factor of f?
False
Let h(n) = -n**3 + 12*n**2 - 4*n - 4. Let s be h(12). Let m = s - -139. Is 20 a factor of m?
False
Let g(z) be the second derivative of 5*z**4/12 + z**3 - 4*z**2 - 4*z. Is g(-6) a multiple of 10?
False
Let j(w) = -7*w**2 + w - 37. Let h(q) = -3*q**2 + q - 18. Let a(c) = 9*h(c) - 4*j(c). Does 12 divide a(-9)?
False
Suppose 0*l - 3*t + 635 = 2*l, 2*l - 614 = 4*t. Is l a multiple of 30?
False
Let w(f) = -f**2 + 25*f + 45. Suppose 0 = -6*b + b + 4*z + 109, -103 = -5*b - 2*z. Does 34 divide w(b)?
False
Does 4 divide ((-11544)/(-195))/(2/5)?
True
Let h be -39*(12/(-9) - -1). Suppose 0*v + 4*v + 8 = 0. Let k = h + v. Does 6 divide k?
False
Let q(i) = i**2 + 15*i + 9. Let y(s) = -s**2 - s. Let b(v) = q(v) + 2*y(v). Is 13 a factor of b(10)?
True
Suppose -3*s - 1915 - 3756 = -4*u, 5*u - 5*s - 7085 = 0. Is u a multiple of 23?
False
Let y(a) = a**3 - 11*a**2 + 22*a - 3. Let t be y(9). Is ((-366)/(-9) - -2)*t/22 a multiple of 4?
True
Suppose -4 = u - 0. Let b = u - -7. Suppose g = -b*g + 128. Is g a multiple of 16?
True
Suppose 3811 + 14141 = 8*c. Does 11 divide c?
True
Let s be 0*-2*2/(-12). Suppose 5*v = -s*v. Suppose -12 = -4*o - v*o. Is o a multiple of 2?
False
Let n(j) = -j**3 + 7*j**2 + 5*j - 9. Let f be 9 + -3 + (-1)/(-1). Is 4 a factor of n(f)?
False
Suppose 5*f = 2*r + 15, 5*r - 3*f - 8 - 2 = 0. Is 29 - r*(0 + 1) a multiple of 18?
False
Let u(j) = 10*j**3 + 9*j - 18*j**3 + 9*j**3 + 11*j**2. Let i be u(-10). Does 4 divide 5/i - (-23)/2?
True
Suppose -13*z = -17*z + 344. Suppose -r - 327 = -4*v, 4*v - 244 = -2*r + z. Is 7 a factor of v?
False
Suppose 4890 = 13*q - 4028. Is 34 a factor of q?
False
Is 1*2/(-17) + (-492506)/(-2159) a multiple of 38?
True
Suppose -4*r + 8*r - 56 = 0. Suppose -4*j = x - r - 50, -2*j + 2*x = -22. Let y = 29 + j. Does 11 divide y?
True
Let v(l) = 17*l**2 + 21*l - 17. Does 24 divide v(5)?
False
Let k be (-2)/3*(-3 - -12). Let j(m) = -m - 5. Let c be j(k). Let i(o) = 64*o - 1. Is i(c) a multiple of 21?
True
Let v = -22 + 66. Suppose 3*m = -z + 42 + v, 4*m + 79 = z. Does 24 divide z?
False
Suppose 0 = y - 9 + 15. Let p(h) = -h**2 - 8*h - 6. Let n be p(y). Is 30 a factor of ((-16)/n)/(5/(-150))?
False
Suppose 12 = -x + 4*j - j, 0 = 5*x + 5*j + 20. Let q(b) = -b + 10. Does 7 divide q(x)?
False
Let v = 177 - -1851. Is 9 a factor of v?
False
Suppose 5*w - 616 = 4*i, 5*i - 62 = -5*w + 563. Does 2 divide w?
True
Suppose 216 = s - i + 59, 0 = -5*s + 2*i + 794. Is 80 a factor of s?
True
Suppose -5*q = -481 + 11. Let s = q - -26. Is 35 a factor of s?
False
Suppose -14630 = -19*x - 3*x. Is 35 a factor of x?
True
Suppose i - 1 = a - 2, 5*i = -a + 1. Suppose i = 5*l - 4*l - 493. Does 25 divide l/51*1*3?
False
Let m = -12 - -5. Let h = m - -11. Suppose -i + 32 = -h. Is i a multiple of 8?
False
Let j = 19 - 15. Let v be -1*(-8)/j*39. Let y = v + -30. Is y a multiple of 12?
True
Suppose -511*q + 2835 = -508*q. Does 27 divide q?
True
Suppose 6*r = -0*r + 30. Suppose -r*j - 7 = -132. Is (-1 + j)/((-24)/(-16)) a multiple of 4?
True
Let w(p) = 9*p + 34. Let m be w(-8). Let j = 18 - m. Is 28 a factor of j?
True
Suppose 3*g - 3*x = x + 22, -2*g + 3*x = -13. Suppose -b - g + 16 = 0. Suppose 0*a = -b*a + 66. Is 11 a factor of a?
True
Let r(q) = 6*q**2 + 15*q + 14. Let i(a) = -a**2 - 1. Let j(z) = 5*i(z) + r(z). Is j(-16) a multiple of 18?
False
Let q = -356 - -919. Does 63 divide q?
False
Let t = 1170 - -110. Does 20 divide t?
True
Let a = -353 - -403. Does 6 divide a?
False
Is -6*(-145)/15 + 0 a multiple of 29?
True
Is 41 a factor of 5/(2 + -1) - 1 - -570?
True
Suppose -3 = -0*x - x. Let d = -6 - -8. Suppose 0 = d*y - 3*u - 72, -5*y - x*u + 34 = -125. Is 11 a factor of y?
True
Let p(j) = 10*j**3 - j**2 + 6*j - 2. Does 2 divide p(3)?
False
Let x(o) = -10*o**3 - 3*o**2 - 14*o - 21. Does 40 divide x(-5)?
False
Let o = 399 + -370. Is 3 a factor of o?
False
Let t be (6/(-8))/((-4)/(-96)). Let s be 3/(t/(-8))*66. Suppose 0*f + 2*f = s. Is 13 a factor of f?
False
Suppose -4*i = 3*u + 123, 1 + 1 = -2*u. Let p = -25 - i. Does 5 divide p?
True
Let t = 41 + 11. Let o = 58 + t. Is 10 a factor of o?
True
Suppose i + 15 = 4*i, -3*t + 3*i + 213 = 0. Is t a multiple of 4?
True
Does 15 divide (308 - -1)/(5 + (-24)/5)?
True
Let r(h) = 6*h - 29. Let n(a) = -12*a + 59. Let w(i) = 4*n(i) + 7*r(i). Is w(-15) a multiple of 11?
False
Let l = -30 - -34. Does 28 divide 8/(((-4)/(-7))/l)?
True
Let i(w) = w**3 - 14*w**2 - 18*w + 96. Does 41 divide i(17)?
False
Let u = -15 + 13. Is u/(-13) + (-466)/(-13) a multiple of 9?
True
Let t = 4 + 5. Suppose -4*r + t + 262 = -3*v, -3*v - 201 = -3*r. Is 14 a factor of r?
True
Let h(o) = o**2 + o + 18. Let t be h(0). Is 2110/t - (-6)/(-27) - 3 a multiple of 38?
True
Suppose 9 = 2*g + i + 23, 5*i = -2*g - 30. Let q = 7 - -10. Let u = q + g. Is u a multiple of 4?
True
Let w(c) = c**3 + 3*c**2 + c. Suppose -2*l = -4*f, 3*l - 5 = -2*f - 13. Let z be w(l). Suppose 0 = -z*p + q + 62, 3*q = 4*p + 5*q - 132. Is p a multiple of 13?
False
Let b(k) = 2*k**2 - 7*k - 50. Is b(12) a multiple of 6?
False
Suppose 9090 = 4*x + 3*m + 2257, 1702 = x + 2*m. Is 16 a factor of x?
True
Does 12 divide (3 + (-52)/8)/(3/(-252))?
False
Let c be 3/5 + 2465/(-25). Let h = c - -140. Is h a multiple of 14?
True
Is (14/6)/(49/42) + 1079 a multiple of 4?
False
Let k = 23 + -42. Let a(i) = -4*i**3 - 3*i + 1. Let z be a(-2). Let f = k + z. Is 10 a factor of f?
True
Let k = -9 + 19. Does 10 divide 5/(k/4) + 48?
True
Let d(w) = 2*w**2 - 5*w**2 + w + 0*w**2 + 29. Let a(l) = -l**2 + 10. Let m(c) = 17*a(c) - 6*d(c)