s 4 a factor of s(29)?
False
Suppose -y - 6 - 4 = 0. Let s be 35/2*(-12)/y. Suppose -6*g = -3*g - s. Is g a multiple of 3?
False
Let d be 4 - ((-5)/(-1) - 140). Suppose d = -5*m - 5*p + 739, 15 = -3*p. Does 13 divide m?
False
Let h(s) = 0*s - 20 + 15 - 5*s - s**3 + 2*s + 8*s**2. Let m be h(5). Let o = m + -39. Is 9 a factor of o?
False
Let g(a) = -a - 8. Let j be g(-10). Let n be (424/(-16))/(j/(-4)). Suppose s = -1 + n. Is 13 a factor of s?
True
Suppose -10 = 12*k - 13*k. Is k a multiple of 10?
True
Suppose -2*c + 12 = -c. Suppose -34 = -2*l + c. Is l a multiple of 23?
True
Let c = 110 - 78. Suppose z = -0*z + 13. Let a = z + c. Is 12 a factor of a?
False
Let y = -28 - -53. Suppose 2*s + 5*u + 3 + 8 = 0, 5*u = 5*s - y. Suppose x = d - 4, 0 = 2*d + s*d + 4*x - 8. Is 2 a factor of d?
False
Suppose 4*o - 5*a - 316 = 0, -5*o + 29 + 333 = 2*a. Suppose -2*v + h + o = 0, -3*v + 54 = -h - 56. Is v a multiple of 12?
True
Suppose 0 = -5*m + 2*q + 11 + 21, 3*m = q + 19. Suppose 5*t + 4*f - 29 = 0, -5*t + m*f + 22 = 3*f. Suppose -5*k + 35 = j + 4*j, 0 = t*j - 20. Does 2 divide k?
False
Suppose -801 = 22*p - 19*p. Is 9 a factor of p/(-15) - 9/(-45)?
True
Let l be (0/(-3) + -3)*(56 - 57). Let v(g) = -1 + 2*g**2 + 2*g - 3 - 1. Is 8 a factor of v(l)?
False
Suppose 4*z + j - 46 + 9 = 0, -2*z - 5*j + 41 = 0. Let p = z + -1. Suppose -5*x + 197 - p = 0. Does 15 divide x?
False
Let g(s) = 49*s + 40. Let z be g(4). Let q = 39 + z. Does 46 divide q?
False
Suppose u - 60 = 5*q, -u + 16 = 4*q + 1. Let s be (30/u)/((-6)/(-28)). Let v = s - -20. Is 8 a factor of v?
True
Let m(l) be the second derivative of -l**5/20 + l**4/12 - 5*l**3/6 - l**2/2 + l. Let x be m(-4). Suppose 4*o - 109 = x. Does 23 divide o?
False
Let t = 4 - -35. Suppose -t = -5*r + 46. Is 17 a factor of r?
True
Let n(g) = -g**3 - 3*g**2 + 2. Let o be n(-3). Is (-1 + 44 + o)/(3/2) a multiple of 19?
False
Is (82/6)/((-8)/(11 - 467)) a multiple of 78?
False
Let r(g) = -g**2 + 8*g - 9. Suppose -5*w - 1 = -31. Let b be r(w). Suppose -c - 3*c - 3*x + 89 = 0, 3*c + b*x = 69. Is 10 a factor of c?
True
Let v be 8/(-44) + (-70)/(-22). Let j(o) = -o**3 + 4*o**2 - 3*o + 1. Let s be j(v). Is 4 a factor of (5 - 3/s) + 6?
True
Let h be (-13 + 3)*(-1)/2. Suppose -2*n - h*s = -160, -4*s = -0 - 16. Does 14 divide n?
True
Suppose -k - 2*k - 6 = -2*l, 0 = 3*l + k + 2. Let u(w) = w**2 + 3*w + 7. Does 3 divide u(l)?
False
Let j(b) = b**3 - 8*b**2 + 9*b - 11. Let p be j(7). Suppose 3*y = -p*y - 48. Let n(w) = w**3 + 10*w**2 + 10*w + 3. Is n(y) a multiple of 26?
False
Let g = -454 + 637. Suppose -792 = -4*h + 3*y + y, h = -4*y + g. Suppose 0*o = 5*o - h. Is 13 a factor of o?
True
Suppose 0 = -o - 3*f + 361, 5*o - 2568 = f - 811. Does 44 divide o?
True
Does 44 divide 15*((-297)/(-6))/(30/8)?
False
Let q = -18 + 424. Is q a multiple of 7?
True
Let t(h) = 6*h**2 + 51*h + 27. Is t(-11) a multiple of 24?
True
Suppose -7*z + 14 + 0 = 0. Does 14 divide (45 + -17)/(z*1)?
True
Suppose 0 = -4*p - 8*g + 5*g + 7881, -2*p - 2*g = -3938. Is p a multiple of 27?
False
Let z = 242 - 220. Does 11 divide z?
True
Suppose 0 = 11*s - 421 - 129. Is 2 a factor of 3/24*4*s?
False
Suppose 2*o = -3*l + 2211, -2*l + 2*o = -7*l + 3685. Is l a multiple of 19?
False
Suppose k = 0, -i + 0*i = 5*k + 5. Let n(q) = -6*q**2 - 9*q + 12. Let w(g) = 5*g**2 + 9*g - 11. Let a(b) = i*w(b) - 4*n(b). Is a(-8) a multiple of 15?
True
Let q be (24/10)/(9/90). Suppose -21 = -3*k + q. Does 2 divide (2/2)/(k/135)?
False
Let g(x) = x**2 + 4*x - 3. Let r be g(-5). Suppose -4*a - 93 = -8*a + w, r*w = -a + 30. Does 12 divide a?
True
Let h be ((-14)/6*4)/((-28)/546). Let d = h - 28. Does 22 divide d?
True
Let r(p) = -4*p + 2. Let x be (-1 - 26 - (9 - 8)) + 0. Is 26 a factor of r(x)?
False
Suppose 3*g = -4*n + 39 + 8, g = -5*n + 45. Let b(d) = -d**2 + 28*d - 4. Is 16 a factor of b(n)?
False
Let v = 4 - 12. Is ((-14)/v)/(3/84) a multiple of 7?
True
Let h(a) = -a**3 + 12*a**2 - 4*a - 4. Let m be h(10). Suppose -3*k + 5*v - 156 = 0, -v - m = 3*k - 0*v. Is 11 a factor of (195/k)/(6/(-80))?
False
Let u = 156 - 66. Suppose -5*p + u = 5*t, -t + 4*p + 38 = 5. Does 7 divide t?
True
Let u = 41 - 57. Let g be (-4)/(-2) - u/(-8). Suppose -4*t + 432 = -g*t. Is t a multiple of 36?
True
Let d = -47 + 52. Suppose u - 626 = -4*z, -5*z = d*u - 369 - 421. Is z a multiple of 13?
True
Is 35 a factor of ((-77)/(-22) - 1)*14?
True
Suppose 3*r + 1 = 2*h, -3*r = -r + h - 11. Suppose r*m - m = 0. Suppose -2*y + 3*w + 24 = -3, -y + 5*w + 31 = m. Is y a multiple of 4?
False
Let i(l) = -5*l**3 + 9*l**2 + l - 9. Let a(k) = -3*k**3 + 5*k**2 + k - 5. Let g(t) = 7*a(t) - 4*i(t). Let u be g(-2). Does 28 divide (u/2)/(8/(-752))?
False
Let b(p) = 19*p**2 + 33*p + 41. Is b(-9) a multiple of 27?
False
Suppose 7*q - 10*q = -150. Does 13 divide 670/q + 1/((-10)/4)?
True
Suppose -2*w - 5*y = -1, 0 = 5*w + 5*y + 5 - 15. Suppose -4*h = -w*s + 185 - 39, 5*s + 4*h = 254. Is s a multiple of 22?
False
Suppose 0 = 19*w - 16*w + 6. Let s = 72 + w. Does 7 divide s?
True
Suppose 0*i - 479 = -2*x - 3*i, 4*x - 983 = -i. Suppose 3*k = 5*h - x, -234 - 17 = -5*h - k. Suppose 5*w = 20 + h. Does 6 divide w?
False
Let w(y) = -9*y**2 + 8*y - 22. Let l be w(5). Let h = -92 - l. Does 9 divide h?
False
Let u(a) = -a**2 + 17*a + 52. Let n be u(12). Let s = n + -10. Does 9 divide s?
False
Let n be (-6)/(-15) + (-54)/(-15). Suppose -t + 4*t + c - 11 = 0, n*t = c + 10. Suppose 38 = a - 4*k - 0*k, 0 = -t*a + 5*k + 114. Does 16 divide a?
False
Does 80 divide (-2 - 1)/(28/(-15176))?
False
Let o(i) = i**3 - 20*i**2 + 2. Let j be o(20). Suppose -j*x - 267 = -5*x. Does 26 divide x?
False
Suppose 5*i + 2*h - 18 = i, 5 = h. Is (-4 + 19)*(-4)/(-6)*i a multiple of 4?
True
Let t = -626 + 814. Does 10 divide t?
False
Let k(u) = -3*u**3 - 43*u**2 - 19*u - 30. Is k(-14) a multiple of 20?
True
Let b(g) = 3*g**2 + 22*g + 35. Let n(l) = l**2 + 24*l + 34. Let p be n(-22). Is b(p) a multiple of 23?
True
Let j = 135 - 77. Let k = j + -37. Does 7 divide k?
True
Is 78 a factor of ((-368)/6)/((-55)/((-57915)/(-18)))?
True
Suppose -5*k + 0 = -5*i + 10, 2*i - 10 = 4*k. Let p = 57 - k. Does 10 divide p?
True
Let w(h) = -h**2 - 11*h + 16. Let x be w(-12). Suppose -s = p - 12, 2*s + 57 = 5*p + x*s. Suppose -4 = -3*l + p. Is l a multiple of 5?
True
Let k = 4 - 3. Let y be (17 - k) + -1 + -1. Suppose 5*x = y + 36. Does 10 divide x?
True
Let b = 2 - -6. Let k = b - 11. Let y = 5 - k. Is y even?
True
Suppose -14 = -5*s - 4*k + 10, 21 = 4*s + 5*k. Suppose -m + 4*m + 2*u - 75 = 0, 0 = -s*m - 4*u + 100. Is 7 a factor of m?
False
Let l be 29/(-4) + 3/12. Let c be 135/105 + 2/l. Is (-7 - c)/(-4)*19 a multiple of 10?
False
Let c = 1100 - 595. Does 55 divide c?
False
Suppose -d + 6*d + 30 = 0. Let y(r) = -r**2 + 19. Let o be y(d). Let m = 24 + o. Is m a multiple of 4?
False
Let p = -16 + 9. Let c(l) = -l**3 - l**2 + 6*l + 4. Let g be c(p). Suppose 40 = h - 2*z, -6*h - 4*z = -h - g. Is h a multiple of 16?
True
Let l = 825 - 1289. Let j be 1/((-2)/l*2). Let c = j + -16. Is 20 a factor of c?
True
Let c(m) = -15*m + 3 - 20*m + 40*m. Does 2 divide c(1)?
True
Let p = -43 - -41. Is ((-142)/2 + (p - 1))*-1 a multiple of 37?
True
Let p = -1922 + 3247. Is p a multiple of 44?
False
Suppose -903 = -11*d - 111. Does 39 divide d?
False
Suppose 4*c = 3*m - 35, c + 20 = -4*c - m. Let r(n) = n**2 - n. Is r(c) a multiple of 5?
True
Suppose -3*r - 4*c + 19 = -0*r, -2*c = -5*r - 3. Let a be (-215)/(-10)*2/r. Suppose 3 = -5*i + a. Does 4 divide i?
True
Suppose 0 = o + i - 5, 2*o - 4*i = -i - 5. Let n be (-48)/40*(-8 - o). Is n/(-3) + (56 - -5) a multiple of 11?
False
Suppose -2 = 2*k, -4*k + 2*k = q. Let o be 22/(-3)*(-1)/(2/(-3)). Let b = q - o. Is b a multiple of 10?
False
Let b(l) = l**2 + 11*l + 1. Let i be b(-9). Let n(f) = -f**2 - 18*f - 9. Is 6 a factor of n(i)?
False
Suppose c - 1262 = -5*s, 4*c + 1 = 2*s - 495. Let j be (s/90)/((-2)/10). Does 11 divide (-456)/j - (-6)/14?
True
Suppose n + 21 = -5*v, 0 = -4*v + 5*n - 12 - 28. Is 2 a factor of (4/v)/(4/(-10))?
True
Is 18 a factor of (-2339)/(-7) - (-14)/(-98)?
False
Let k be -1*(402/(-33) + 8/44). Is 12 a factor of 32*((-27)/k - -3)?
True
Suppose -3*a - 138 = -4*a. Let x = a - 81. Is x a multiple of 13?
False
Suppose -r = 4*r - 55. Let k = 16 +