iple of 33?
True
Suppose 38 + 37 = -5*s + 3*q, 5*s + 50 = -2*q. Let w(o) be the first derivative of -o**2/2 + 11*o - 59. Is 23 a factor of w(s)?
True
Let a(g) = 3*g + 2 - 2*g + 0*g**2 + 0*g**2 - 4*g**2. Let i be a(-2). Is (-652)/(-18) + i/72 a multiple of 9?
True
Suppose -h + 159 = 3*n, 2*h + 621 = 6*h - 3*n. Does 6 divide h?
True
Let d(k) = -k + 3. Let m be d(4). Let r(v) = -v**2 - v - 1. Let o be r(m). Is 2*o/((-4)/134) a multiple of 13?
False
Let r = 127 - 125. Suppose -4*k - 700 = -7*k - r*m, 0 = -m - 1. Does 13 divide k?
True
Let s = -1 + 4. Let i be -106*s*2/(-12). Is i - (1 - 2 - 3) a multiple of 19?
True
Let z = 11 - 9. Suppose -x - z = -3*x. Is 2*(-1 - x - -3) a multiple of 2?
True
Let t = 268 - 33. Is 6 a factor of t?
False
Let s(a) = -a**3 + 15*a**2 + 16*a + 35. Let z be s(16). Is ((-336)/(-60))/(-2*(-1)/z) a multiple of 14?
True
Let d(r) = 2*r**2 + 5*r + 5. Let m be d(5). Suppose 82*a - m*a - 112 = 0. Is a a multiple of 5?
False
Let o(z) = 13*z + 5. Let c(j) = -12*j - 4. Let a(v) = -4*c(v) - 3*o(v). Let f(g) = 2*g - 5. Let i be f(4). Is 28 a factor of a(i)?
True
Suppose -17*a = -19*a + 2108. Is 62 a factor of a?
True
Suppose 0 = 7*p + 16*p - 13386. Does 31 divide p?
False
Suppose 2*k + 10 = 3*q, 15 = -q + 3*q - 3*k. Suppose 3*z - n = 433, -3*z - 2*n + 439 = -q*n. Is z a multiple of 29?
True
Let g(u) = 2*u. Let f be g(2). Does 7 divide 2*(3665/110 - f/(-22))?
False
Let w = 2704 + -1374. Does 42 divide w?
False
Let d(y) = y**3 - 26*y**2 + 8*y + 27. Does 5 divide d(26)?
True
Let b be (2 - 3)/(-1 + (-12)/(-16)). Suppose 3*h = b*h - 3*a - 120, 0 = 4*h + 2*a - 494. Is 41 a factor of h?
True
Let k be 16/(-9) + 6/(-27). Let b be (-5)/((-15)/276) + k. Suppose 2*m - a - 64 = 0, -a - b = -3*m + 2*a. Is m a multiple of 17?
True
Let g = -15 + 18. Suppose -33 = -0*o + g*o. Does 9 divide 4/(-22) - 332/o?
False
Let i(v) = 3*v + 47. Does 26 divide i(8)?
False
Let c(b) = -6*b**2 + 11*b - 29. Let p be c(6). Let g = -52 - p. Is g a multiple of 10?
False
Suppose 6*g + 3*g - 288 = 0. Is g a multiple of 3?
False
Let n = -187 - -359. Suppose -4*f - 6*v + 2*v + n = 0, 3*v - 177 = -4*f. Does 8 divide f?
True
Suppose 0 = 4*d + 12, -d + 3854 = 4*c + 737. Is 20 a factor of c?
True
Let y(c) = -c. Let t(n) = 12*n - 1. Let a = -11 - -12. Let i(u) = a*t(u) + y(u). Does 5 divide i(1)?
True
Suppose l - 5*r + 0*r = 150, 0 = -3*l + r + 478. Does 32 divide l?
True
Let f(h) = -h**3 + 18*h**2 + 18*h. Does 18 divide f(18)?
True
Is 8 a factor of (-15)/(-14 - 76) + 935/6?
False
Suppose -1527 - 75 = -6*q. Is 4 a factor of q?
False
Let o be -3 - (3 + -4)*2. Does 6 divide 149/4 - o/(-4)?
False
Suppose -8*m + 1416 + 1912 = 0. Does 4 divide m?
True
Suppose 4*m + 1115 = 3295. Suppose 95 = 5*y - m. Is y a multiple of 8?
True
Suppose 0 = 15*w - 1400 - 5545. Is 53 a factor of w?
False
Let y(k) = 7*k**2 + 11*k + 22. Is 14 a factor of y(12)?
True
Suppose -117 = 133*q - 94*q. Let d(y) = y + 5 + 1 - 10*y. Does 7 divide d(q)?
False
Is 6 a factor of (-1 - 3)*(-204)/16?
False
Is 18 a factor of -11 - ((-250 - -1) + 4)?
True
Let c be (-3)/(12/(-14))*(-40)/(-70). Suppose 3*w = 3*p + 258, -w - 2*w + 248 = c*p. Is 12 a factor of w?
True
Suppose 0*m - 8 = 2*m. Does 10 divide 21 - (m + (6 - 0))?
False
Let l be (-61 - 1)*(-56)/(-16)*-1. Does 26 divide (-5 + l)/(2*1)?
False
Suppose 2 = 2*x, 6*f - 629 = f - 4*x. Is f a multiple of 25?
True
Suppose 3*y + 7 = -2*w, 2*y - w + 19 = -y. Let g be y/(((-1)/(-1))/(-47)). Suppose -4*i + 68 = 2*n, -5*n + 3*i + 0*i + g = 0. Does 11 divide n?
True
Suppose -3*n - 12 = 3*n. Let u(i) = 47*i**2 - 6*i - 10. Does 17 divide u(n)?
False
Let s = -301 + 780. Is 19 a factor of s/8 - (-1)/8?
False
Suppose 3*i = -2*s + 40, 2*i - 40 = -3*s + 30. Does 26 divide s?
True
Suppose -5*g - h + 2001 + 4265 = 0, -12 = 3*h. Is g a multiple of 33?
True
Suppose -3*l = -5*d - 596 + 2222, 0 = 5*d + 4*l - 1612. Is 6 a factor of d?
True
Suppose 3*y + 293 = 2*n, y + 2*y = -9. Let w = n + -70. Is 24 a factor of w?
True
Suppose -5*d - 2*x = -2, -3*x + 3 = -3*d - 0*d. Suppose 5*g - 974 = -0*g - 2*p, 5*g + 4*p - 978 = d. Does 26 divide g?
False
Let z(j) be the third derivative of -13*j**4/12 - j**3/2 + 6*j**2. Let w be z(-3). Suppose w = -r + 6*r. Does 10 divide r?
False
Let j(v) = v**2 - 13*v + 5. Let s be j(5). Suppose -3*l = 2*q + 153, -2*q - 38 = l + 3*q. Let w = s - l. Does 12 divide w?
False
Suppose -3*x + 3 = -l, -4*x - 1 = -4*l + 3. Let c be 0*(0 - x - -1). Suppose c*q - 3*n = -4*q + 79, 2*q = 2*n + 42. Is q a multiple of 8?
True
Let s(o) be the first derivative of -o**4/4 + 5*o**3/3 + 3*o**2/2 + o - 1. Let v(f) = 13*f - 34. Let t be v(3). Is 7 a factor of s(t)?
False
Let w = 103 - 49. Suppose 2*h + 4*l = h + w, -4*h + 4*l = -316. Is 12 a factor of h?
False
Let f = 160 + -101. Is f a multiple of 4?
False
Let o = 155 + 35. Does 4 divide o?
False
Let z(m) = -7*m**3 - 7*m**2 - 16*m + 26. Is z(-5) a multiple of 13?
True
Let g(k) = 4*k**3 + 3*k**2 - 2*k + 3. Suppose -35 = 7*d - 2*d. Let o be 8/(-28) + (-16)/d. Does 19 divide g(o)?
False
Let y = 29 + -17. Suppose -7*o - 315 = -y*o. Is 7 a factor of o?
True
Let u(c) = 2*c**2 + 4*c + 5. Let s be u(9). Suppose s = -3*r - 70. Does 9 divide (-156)/r*(-21)/(-2)?
True
Suppose -7*f - 130 = -956. Does 6 divide f?
False
Let j = 2733 + -1773. Is 64 a factor of j?
True
Is ((-150)/12 - -7)*42/(-1) a multiple of 6?
False
Let h be 183/7 + (-2)/14. Let d = h - 36. Let w = d + 26. Does 5 divide w?
False
Let o = -2663 + 3830. Is 67 a factor of o?
False
Let w(b) = b**3 - 15*b**2 - 14*b - 16. Let s = -40 - -71. Suppose 3*v - 50 = 2*d, d + 0*d = -2*v + s. Is 16 a factor of w(v)?
True
Suppose -3*a + m = -13, -2*a = -7*a + 5*m + 35. Let d = 5 - 2. Suppose 0 = -a*i - 3*k - k + 306, -d*k = i - 102. Does 32 divide i?
False
Let h be -2 + -1 + 24/3. Suppose 9 - 287 = -h*w - 2*i, -224 = -4*w - 2*i. Does 6 divide w?
True
Suppose -2*q + 28 = -2*v, -v - 58 = -5*q + 20. Let d = q - 13. Suppose -5*s + 280 = 3*u, 6 + 106 = 2*s + d*u. Is 12 a factor of s?
False
Suppose -6*p - 68 + 8 = 0. Let x be ((-16)/p)/(6/(-75)). Does 4 divide 112/(-20)*x/8?
False
Suppose 1514 + 1742 = 4*o. Does 22 divide o?
True
Let g(k) = 6*k**3 - k**2 + 3*k. Suppose -12 = 3*q - 9*q. Does 10 divide g(q)?
True
Let j(d) = d + 13. Suppose 0 = -t + 5*v + 10, 4*v - 2 = 5*t - 10. Let r = t + 0. Is j(r) a multiple of 3?
False
Let h be ((-6)/12)/((-1)/8). Suppose 0*t - h*t + 48 = 0. Let f = 21 - t. Does 2 divide f?
False
Suppose 7*c = 9*c + 216. Let l = c - -241. Does 15 divide l?
False
Let u = 65 - 120. Let y = 51 - u. Does 10 divide y?
False
Let o be ((-171)/12 - 1)/((-2)/(-8)). Let v = o - -129. Is v a multiple of 34?
True
Let t = -88 - -125. Let p = t - 23. Is p a multiple of 7?
True
Let c(k) = k**2 + 8*k + 10. Let t be c(-7). Suppose 4 = -3*n + 2*w, 0*n = -t*n - w + 11. Let b(z) = 5*z**3 + z**2 + z + 2. Is 8 a factor of b(n)?
True
Suppose 4*h + 4*g - 188 = 0, 3*h + 0*h - 155 = 4*g. Does 3 divide h?
False
Suppose -20 = 4*t, -b = 3*b - 2*t + 270. Does 50 divide (-7028)/b + 2/(-5)?
True
Let w(u) = -u**2 + 5*u + 8. Let c be w(6). Suppose -c*d - 2 = -2*b, 3*d + 5 = b + 4*d. Suppose 5*g - 106 = -b*v + 4*g, -5*v - 5*g + 180 = 0. Is 8 a factor of v?
False
Let l = 6 - 5. Let d be 0/((-12)/4)*-1. Suppose i - 10 + l = d. Is 3 a factor of i?
True
Suppose 0 = -v - y + 6*y + 146, -5*v + 778 = -y. Suppose 5*h = 3*h + v. Does 26 divide h?
True
Let x(k) be the second derivative of -3*k**3/2 + 9*k**2/2 - 2*k. Is x(-7) a multiple of 12?
True
Let m be (-1)/(-1*1) + -18. Let k(w) be the third derivative of w**6/120 + 4*w**5/15 - 3*w**4/4 + 11*w**3/3 + 10*w**2 - 3. Does 11 divide k(m)?
False
Let s(l) = l**3 + 11*l**2 + 8*l + 8. Let p be s(-9). Suppose -4*b = -p - 62. Is 11 a factor of b?
False
Let u(a) = -2*a**2 + 1. Let r be u(2). Let p = r + 6. Is (3 + p)*-3*-6 a multiple of 12?
True
Let o = 87 + 6. Suppose 5*d - 99 = -j + 40, 3*d - o = -3*j. Is d/3*(-3)/(-3) a multiple of 3?
True
Let a be 3 + (-3 - -3) - 11. Let g = a + 12. Suppose 0 = 9*t - g*t - 90. Is t a multiple of 6?
True
Let f be 4/(-20)*-5*-1. Is 6 a factor of 2/5 + (-714)/(-15) + f?
False
Let u(g) = 54*g**3 + g**2 + 21*g - 38. Is 18 a factor of u(2)?
False
Let h = 2607 + -1856. Suppose -2*v = 3*w - 1144, -v - h = -0*w - 2*w. Is w a multiple of 21?
True
Let o be (0