2 + 1/1 - (-224 + 7)?
True
Let k be 0 - (-3)/((-3)/(-83)). Let z = 159 - k. Is z a multiple of 13?
False
Let k(d) = -5*d**3 + 2*d + 1. Let r be k(-1). Suppose a - 3*a + 565 = 5*z, a = -z + 275. Suppose 70 = -r*i + a. Is 20 a factor of i?
False
Suppose 0 = -8*w + 4*w + 688. Is 22 a factor of w?
False
Let j = -38 + 78. Does 20 divide j?
True
Let d be (-1)/2 - (-34)/(-4). Let u(q) = -q**2 - 9*q. Let b be u(d). Let s(k) = k**3 - k + 22. Is 11 a factor of s(b)?
True
Let q(u) be the second derivative of -u**3/6 + 20*u**2 - u. Is q(0) a multiple of 17?
False
Suppose -78 = -4*z + 3*r - 10, -2*z - 5*r + 60 = 0. Is z a multiple of 9?
False
Let f(g) = 2*g**3 - 3*g**2 + g - 4. Does 40 divide f(4)?
True
Let u = 54 + -94. Let p = -8 - u. Is p a multiple of 16?
True
Suppose 4*x + x + 26 = -3*b, -6 = 3*b. Does 3 divide (x - -2) + 14 - 3?
True
Suppose -4*t + 4*c + 196 = 0, -3*t - 4*c + 97 = -78. Suppose h - t = -2*o, o = 2*o + 2*h - 28. Is 13 a factor of o?
True
Let s be 3/(-3 + 3/2). Let a(w) = -7*w**2 - 3*w - 2. Let l be a(s). Let i = l + 54. Is 10 a factor of i?
True
Let x = -88 + 144. Does 14 divide x?
True
Let n = 179 + -99. Suppose -5*j = -445 - n. Suppose -2 = f - y - 17, y = -5*f + j. Is f a multiple of 20?
True
Let x(l) = -5*l**2 - 2*l - 9. Let c(d) = 10*d**2 + 4*d + 18. Let z(w) = 3*c(w) + 5*x(w). Is 27 a factor of z(-4)?
True
Let l(k) be the second derivative of -2*k + 7/6*k**3 + 0 + 0*k**2. Does 12 divide l(2)?
False
Let g(s) = -s**2 - 6*s - 6. Let r be g(-5). Is 26 a factor of r/(-3) + (-1048)/(-24)?
False
Let a(w) = 3*w**2. Let c(q) = -q**2 - 4*q + 2. Let k be c(-4). Suppose k = -3*u - 1. Is a(u) even?
False
Let y be -1 - (0 + -2 - 0). Suppose 0 = -3*c + y - 22. Does 10 divide (48/(-10))/(c/35)?
False
Let a be -1 + (-2 - -1)*113. Is 38 a factor of 16/12*a/(-4)?
True
Let o = 14 + -14. Is (-3)/(9 + o)*-45 a multiple of 7?
False
Let x(m) = -m**2 - 10*m - 7. Suppose -54 + 19 = 5*a. Does 10 divide x(a)?
False
Let y(n) = -6*n + 9. Is 9 a factor of y(-3)?
True
Let f be (-1734)/27 - (-4)/18. Let o = 129 + f. Let x = 97 - o. Is 24 a factor of x?
False
Let i = 24 + 0. Does 7 divide i?
False
Suppose -4*u + 7*u - c - 13 = 0, 0 = c - 2. Is 16 a factor of 326/10 + (-3)/u?
True
Let r(v) = v**2 + 1. Let b be r(0). Let m be ((-2)/(-6))/(b/(-3)). Is 18*(m/(-2) + 0) a multiple of 8?
False
Suppose -6*n = -8*n, 5*n - 129 = -3*r. Does 3 divide r?
False
Let t(c) = c**3 - 2*c**2 + 4*c + 9. Let f be t(-6). Is 21 a factor of f*((-10)/(-6) - 2)?
False
Suppose -4*z = -5*z + 5*l + 241, -2*l + 6 = 0. Suppose -6*m + z - 16 = 0. Is 9 a factor of m?
False
Suppose 4*b - 2*b - 2*r = 4, 5*b + r + 2 = 0. Let c(w) = w**2 + w + 7. Is 5 a factor of c(b)?
False
Let y(p) = -p**2 + 12*p + 7. Let l(j) = -2*j - 1. Let v be l(-4). Is y(v) a multiple of 12?
False
Let k = 532 + -82. Is k a multiple of 50?
True
Let x(c) = -c**2 + 28*c + 29. Does 9 divide x(20)?
True
Suppose 4*i + 28 = 4*m, m + 3*m = 2*i + 18. Suppose 3*p = -m*p + 225. Let c = 75 - p. Does 15 divide c?
True
Suppose 9*r + 416 = 13*r. Is r a multiple of 29?
False
Let c(f) be the third derivative of -f**6/120 + f**5/30 + f**4/8 + 5*f**3/6 + 2*f**2. Let v be c(4). Let n = v + 27. Does 12 divide n?
True
Let m = 11 + -30. Let q = 20 - m. Is 13 a factor of q?
True
Suppose 2 - 6 = 2*d. Does 6 divide d/(-5) - (-264)/15?
True
Does 8 divide 4*(4 + -6)*-7?
True
Let v = 2 - 2. Suppose v = -i + 4. Is 4 a factor of i?
True
Suppose 2*p = 2*m + 6, 5*m + p + 13 + 2 = 0. Suppose 2*o = -0*o + 22. Let s = o - m. Does 14 divide s?
True
Suppose 4*p + 155 = 7*p + 4*w, -3*w = -2*p + 75. Does 9 divide p?
True
Let j(z) = -4*z - 3. Let s be j(-6). Let w = s - 0. Let y = w + -11. Is 6 a factor of y?
False
Suppose 2 = l - 2*l, 3*h - 3*l - 342 = 0. Is h a multiple of 28?
True
Let n = 16 + -12. Suppose 165 = 9*c - n*c. Is 15 a factor of c?
False
Suppose -2*p - p = 15. Let g(k) = -3*k**3 - 16*k**2 + 18*k + 13. Let x(n) = 2*n**3 + 11*n**2 - 12*n - 9. Let c(z) = 5*g(z) + 7*x(z). Is c(p) a multiple of 11?
True
Suppose 0 = -0*p + 2*p - 6, i + 2*p = -45. Let x = i - -27. Let t = x - -39. Is 10 a factor of t?
False
Suppose d + 8 = -0*d. Let q be (-2)/(-8) + (-30)/24. Does 8 divide (q - d)/((-2)/(-6))?
False
Let t(g) = g**3 + g**2 + 2. Let w be t(0). Let m(o) = -2*o**3 - 6*o**2. Let h(l) = 6*l**3 + 19*l**2 - 1. Let j(v) = w*h(v) + 7*m(v). Is j(-3) a multiple of 11?
False
Let r(q) be the first derivative of 61*q**2/2 + 2*q - 2. Let u be r(2). Suppose -3*z + u = z. Is z a multiple of 12?
False
Suppose g = m + 5*g - 23, m + 5*g - 28 = 0. Suppose 12 = m*c - 81. Is c a multiple of 14?
False
Suppose 0 = 3*b + 111 - 309. Is b a multiple of 6?
True
Let y(l) = 9*l**3 - 2*l**2 + 2*l - 1. Let r be y(1). Let g = r - -10. Does 9 divide g?
True
Let k(w) = -w**2 + 4*w + 6 + 2*w + 0. Is 2 a factor of k(6)?
True
Let c(y) = 7*y - 4. Let x be c(5). Let k = x - 15. Does 4 divide k?
True
Suppose -467 - 547 = -6*t. Is t a multiple of 22?
False
Suppose -2*k - 23 = -n, n - k - 17 = 3*k. Does 8 divide n?
False
Suppose 0 = x + 10 - 37. Is x a multiple of 15?
False
Suppose -2*d - 200 = -4*h, -3*h + 113 = 3*d - 19. Suppose h = 3*c - 9. Does 15 divide c?
False
Let h(t) = -t**3 + 11*t**2 + 22*t - 26. Is 47 a factor of h(12)?
True
Let r = -5 - -10. Suppose 3*l = -2*g - 2*l + 63, r*l = -5*g + 180. Is g a multiple of 13?
True
Does 5 divide (-6)/(-27) - 723/(-27)?
False
Suppose 5*u = 6*u. Suppose -2*z + 44 = -u*z. Does 14 divide z?
False
Let c(r) = -r + 32. Is c(13) a multiple of 4?
False
Let k = 7 - 2. Let b(i) = i - 6. Let w be b(k). Is (22/4)/(w/(-2)) a multiple of 4?
False
Let q be 2/(-6) - 164/(-6). Suppose 2*y = -y + q. Does 4 divide y?
False
Suppose -4*x - 64 = -20. Let d = x + 59. Is d a multiple of 16?
True
Let d = 29 - 1. Is d a multiple of 9?
False
Let t be ((-8)/5)/((-2)/10). Suppose -5*r = 4 - 29. Suppose -33 = -r*l - t. Does 5 divide l?
True
Suppose q + 10 = 3*q. Suppose -3*p + 0*p = -q*j + 454, 98 = j + 3*p. Does 25 divide j?
False
Let j(r) = -r**3 + 4*r**2 + 2*r + 2. Is j(4) a multiple of 3?
False
Suppose -3*a + 2 = 2*p + a, 0 = -4*p - 4*a + 12. Suppose -62 - 2 = -5*b - 2*y, -b - p*y = -22. Is 4 a factor of b?
True
Let v = -17 - -25. Suppose -2*f - g + 3*g = v, 2*f = -4*g + 16. Suppose -3*h - 2*h + 170 = f. Is 13 a factor of h?
False
Let a(m) = -m**3 + 12*m**2 + 17*m + 16. Let y be a(13). Suppose y - 203 = -5*z. Is 9 a factor of z?
True
Let w(j) = j**3 + 3*j**2 + 2. Let p be w(-3). Suppose 7 = c + 3*v, -p*v - 14 = 4*c - 4*v. Does 10 divide 22 + (6/c - -1)?
True
Let u be (14/(-21))/(4/(-18)). Suppose 1 = f - u. Suppose -h - 1 = f*w, 4 = h - 5*w - 31. Is 15 a factor of h?
True
Let l(a) = -7*a + 1. Is 16 a factor of l(-8)?
False
Let m(f) = f**2 - f - 7. Suppose 5*y = 25 + 5. Is m(y) a multiple of 8?
False
Let q(m) be the second derivative of m**5/20 + m**4/2 - m**3/6 - m**2 + 2*m. Let x be q(-6). Suppose r = 2*r - 2*s - 4, 68 = x*r + 5*s. Does 6 divide r?
True
Let b(p) = -20*p - 12. Let k be b(-7). Suppose 3*j - 5*y = 2*j + 44, -5*j = -2*y - k. Is j a multiple of 12?
True
Let d be (36/(-27))/(4/(-78)). Is 12*(d/(-3))/(-2) a multiple of 26?
True
Suppose c - 163 = -2*s, -s - 5*c + 415 = 4*s. Is s a multiple of 22?
False
Suppose -3*h + 3 = 4*y - 7, 0 = -3*h + 5*y + 1. Let q = 6 - h. Let u(w) = 4*w + 1. Does 17 divide u(q)?
True
Let r = -10 - -14. Is 19 a factor of r/6 - 448/(-12)?
True
Let b(x) = -28*x + 2. Is 14 a factor of b(-2)?
False
Let z = 88 + -20. Is z a multiple of 34?
True
Suppose -7*y = -2*y. Suppose 0 = -y*k - k + 31. Is 10 a factor of k?
False
Suppose 7*g = 9*g - 116. Does 7 divide g?
False
Let h be 3/(-4) + (-126)/(-8). Suppose 4*x - 60 = -4*t, x - 3*t + 0 - h = 0. Does 15 divide x?
True
Let y be (-12)/16 - (-26)/(-8). Let c = y + 8. Is c a multiple of 3?
False
Suppose 15 = 4*x - 9. Let w = 16 + x. Does 8 divide w?
False
Let z be (-12)/(-8) + 17/(-2). Let x(g) = g**2 - 5*g - 8. Let a be x(6). Let j = a - z. Is j even?
False
Let o(r) = 15*r + 2. Does 13 divide o(5)?
False
Let h = -22 + -8. Is ((-144)/h)/((-2)/(-15)) a multiple of 9?
True
Let h be 6/(-14) - 2748/(-42). Suppose -h = 3*j - 155. Is 10 a factor of j?
True
Let i = 9 - 6. Suppose -i*t = -2*t - 3. Suppose -2*r = -3*p - 49, 0*r - 4*p = t*r - 65. Does 10 divide r?
False
Let g = -18 + 25. Suppose b = -0*b + g. Is 6 a 