4*q + 24, -5*d = c*q - 57. Does 11 divide d?
True
Suppose -m = 3*m - 5*z - 72, z = 2*m - 36. Let q be -5*(72/30 - 6). Let y = q + m. Is 12 a factor of y?
True
Suppose 5*m = -3*o + 7*o - 1463, -5*m = 4*o - 1433. Is 7 a factor of o?
False
Suppose 2*g + 4*l = 3 + 7, 5*l = -5*g + 20. Suppose 0 = -0*p - 4*p + 5*z + 4, -4*z = g*p - 3. Is 27/p - (10 - 10) a multiple of 19?
False
Suppose 15996 = 22*q - 25870. Does 25 divide q?
False
Let z = 8 + -10. Let n be (1/z)/((-15)/120). Does 26 divide 104 + (-2 - n/2)?
False
Does 3 divide -25*(480/(-50))/8?
True
Suppose 150*q + 634 = 2*h + 149*q, 4*q - 1292 = -4*h. Is 29 a factor of h?
True
Let b(k) = -k**2 + 2*k. Let w(u) = 2*u**2 - 4*u + 1. Let a(r) = -5*b(r) - 2*w(r). Is a(5) a multiple of 2?
False
Let r = 133 - -56. Suppose -4*j = 5*q - 203, -q = -4*j + r + 20. Does 13 divide 3/((-1)/(j/(-6)))?
True
Let a = -2 + 4. Suppose a*i + 6 = 0, -24 = j - 3*j + 2*i. Suppose -4*u - 15 = -y, 0*y - j = -y + 2*u. Is 3 a factor of y?
True
Suppose -2*y + 4*l = 12, l + 3*l = 20. Let g(h) = -y - 4 + 3 + h**2 + h. Does 9 divide g(-7)?
False
Let n(f) = -f**2 + 6*f + 2. Let l be n(9). Does 10 divide -12*l/(-15)*-2?
True
Let l(s) = -3*s + 7. Let g(u) = -4*u + 7. Let r(p) = -2*g(p) + 3*l(p). Does 2 divide r(5)?
True
Let k(x) = 7*x**2 - 14*x - 107. Is k(13) a multiple of 14?
False
Let f = 247 + -182. Does 12 divide f?
False
Let p = 21 + -48. Is -144*4/(-3)*p/(-24) a multiple of 54?
True
Let q = -91 + 67. Is 16 a factor of ((-512)/q)/((-2)/(-12))?
True
Let z be (-80)/12*3/(-2). Does 20 divide (-258)/(-13) - z/(-65)?
True
Let n(x) be the third derivative of -3*x**4/8 + x**3/6 - 2*x**2. Let t = -4 - -3. Is 10 a factor of n(t)?
True
Suppose j = -0*j + 5*g + 69, -j + g + 77 = 0. Suppose 5*x - j = -2*c, -4*x = c - 2*c + 7. Is c a multiple of 9?
True
Suppose -w + 88 = -62. Suppose -72 = -3*r + w. Is -1 + r - (3 + 1) a multiple of 12?
False
Suppose 147 - 38 = r. Let n be 27 - 26 - (-3 + (-3)/3). Suppose n*d - r = -4*u, -d + 152 = u + 4*u. Is 9 a factor of u?
False
Let f = 39 + -24. Suppose -f = -6*z - 3. Suppose -3*t + 216 = 4*g, 9 = g + z*g. Is 34 a factor of t?
True
Let w = -442 + 1014. Is w a multiple of 3?
False
Let y = -163 + 167. Suppose -3*a = -y*a - 4*w + 415, -5*w + 818 = 2*a. Is 57 a factor of a?
True
Let i = 14 + -14. Suppose 3*o + i*o + l - 205 = 0, 5*l + 114 = 2*o. Does 14 divide o?
False
Let v = 531 - 747. Let j = v - -344. Is 8 a factor of j?
True
Let m(v) = v - 7. Let b be m(7). Suppose 0*s - 3*s = b. Suppose -38 = -s*a - 2*a. Does 19 divide a?
True
Let c = -28 + 222. Does 11 divide c?
False
Let a(t) = 160*t - 238. Is 36 a factor of a(10)?
False
Let h = 1105 - 289. Is 34 a factor of h?
True
Suppose 33264 = 120*z - 109*z. Is 6 a factor of z?
True
Suppose -48 = -4*w - 4*n, 3*w - 5*n + 3 = 23. Let p = w - 6. Suppose p*y = -3*j + 18, -10 = j + 4*j. Does 6 divide y?
True
Let t be (3/(-6))/((-2)/68). Let x = -12 + t. Suppose 0*y - 2*y = r - 16, x*r = -3*y + 38. Does 3 divide y?
True
Suppose 43*t - 42*t + 12 = 0. Let s = t + 53. Is 23 a factor of s?
False
Let s be 14 + (2/2 - -1). Suppose 3*p - 7*p - 4*h = 1728, 3*h + 6 = 0. Is s/56 - p/14 a multiple of 8?
False
Suppose 3 = -4*k + 11. Suppose k*l = 4*l - 234. Is l a multiple of 22?
False
Does 8 divide ((-3696)/(-105))/(4/70)?
True
Let z(g) = -g**3 - 6*g**2 - 24*g - 66. Let d be z(-4). Let x = 1 - 2. Is 19 a factor of (-3)/x + d - -56?
True
Suppose 0 = -4*b - o + 5*o - 24, 2*b + 12 = -5*o. Let w = b + 6. Suppose 4*u = 2*a - 64, -12 = 3*u - w*u. Does 12 divide a?
True
Let x be (-3 + (-3)/((-36)/32))*-27. Is 5/((x/(-66))/(-3)) a multiple of 22?
True
Let p be (-23)/(-4) - (-9)/(-12). Suppose 27 = p*v - 2*v. Is 10 a factor of (-314)/(-8) + v/(-36)?
False
Let o = 461 + -38. Is 47 a factor of o?
True
Does 33 divide ((-1)/(-3)*106)/(8/36)?
False
Let v(s) = 9*s**2 + 4*s + 3. Is 56 a factor of v(-3)?
False
Suppose -4*x = -0*z - 3*z + 38, 0 = 3*z - x - 32. Let v be (-57)/(-2) + 5/z. Let j = v - -9. Does 19 divide j?
True
Let m be ((-235)/(-10))/(2/4). Suppose 4*d = 33 + m. Does 5 divide d*(3/12 + 0)?
True
Let g be -24 + 2 + 1/1. Let b = g - -13. Let w(y) = -11*y - 13. Is 25 a factor of w(b)?
True
Let n = 874 + -482. Is n a multiple of 28?
True
Suppose -3*i + i + 34 = 0. Let y = i + -15. Is 30 a factor of (-1364)/(-12) - y/(-6)?
False
Suppose -q + 5*y = -123, 3*y = -6*q + 3*q + 315. Is q a multiple of 4?
True
Does 6 divide (-2 - 3)*1 + (-4 - -15)?
True
Let p = -19 + 27. Suppose 0 = v - k - p, -v - 2*v = 5*k + 8. Suppose v*a = 6*a - 40. Is 10 a factor of a?
True
Let o = 175 + -321. Let y = -92 - o. Is 27 a factor of y?
True
Let c = 1452 - 789. Is c a multiple of 13?
True
Suppose -30 + 138 = 4*m. Suppose -m*x + 90 = -22*x. Is 18 a factor of x?
True
Let j(w) = w**2 + 3*w - 13. Suppose 0 = 3*h - 2*x + 25, 10*h + 41 = 5*h + 3*x. Does 15 divide j(h)?
True
Let p be (-3)/(1 + 2 + -2). Let d be 74*(6/p + 3). Suppose c = d - 28. Is 20 a factor of c?
False
Let p = -13 + 7. Let j(h) = h**2 + 5*h + 1. Is j(p) even?
False
Suppose -3*k - 10 - 2 = 0. Is 2 a factor of 1*-1*4/k + 6?
False
Let p(u) = -39*u**2 + u - 9. Let c(x) = 78*x**2 - 2*x + 18. Let m(a) = -3*c(a) - 5*p(a). Let z(r) be the first derivative of m(r). Is z(-1) a multiple of 17?
False
Let r = -110 - -226. Is 29 a factor of r?
True
Let w(f) = -151*f**3 + 3*f + 3. Let a be w(-1). Suppose -a*g + 152*g - 61 = 0. Does 16 divide g?
False
Suppose -a + 560 = -5*a. Let z = -208 - a. Let i = z - -96. Is 14 a factor of i?
True
Suppose 4*i - 3*o - 260 = 105, -2*o + 186 = 2*i. Does 8 divide i?
False
Let v(o) = -7 + 7 + 2*o**2. Let g be v(-1). Suppose g*t - 8 = t. Does 4 divide t?
True
Suppose 6 = -2*s - i - 2, 2*s - 3*i = 8. Let u be 0 - (32/(-4))/s. Does 10 divide (-6)/u - 74/(-4)?
True
Is 7 + -8 + 408 + 1 a multiple of 34?
True
Suppose i - 4*i + 3 = 0. Let z = 9 + i. Is 10 a factor of z?
True
Let o = 98 + -5. Let b = o + 21. Does 38 divide b?
True
Suppose -5*w = -3*s + 2126 - 13189, 0 = 3*w + s - 6635. Is 24 a factor of w?
False
Suppose -4*r = -r. Suppose r*y - 132 = -6*y. Is y a multiple of 4?
False
Let g(j) = j**2 + 5*j - 6. Let b(p) = -p**2 + 3*p - 2. Let w be b(4). Let q be g(w). Suppose q*u + 5*u - 2*o = 38, u - 10 = o. Is u a multiple of 6?
True
Suppose 19858 + 10670 = 64*u. Does 9 divide u?
True
Suppose s = -4*y + 3843, -2*y - 31*s + 35*s + 1908 = 0. Is 32 a factor of y?
True
Let o = -567 + 841. Let a = o - 184. Is a a multiple of 9?
True
Let a = 88 + -160. Let p = a + 77. Is p a multiple of 5?
True
Let d = -87 + 218. Is 3 a factor of d?
False
Suppose -5210*i = -5203*i - 10227. Is 8 a factor of i?
False
Let q(r) = 2*r**2 - 49*r - 37. Does 2 divide q(26)?
False
Let d(f) = -f**3 + 25*f**2 - 10*f + 21. Is d(24) a multiple of 26?
False
Let y be ((-72)/(-42))/(3/21). Suppose y = -h + 208. Suppose 4*p - h = -68. Is 8 a factor of p?
True
Let f(b) = -91*b**3 + 2*b + 1. Let x be f(-2). Suppose x = 3*q + 2*q. Suppose 0 = -5*z - 2*j + 136, -2*j = 5*z + 3*j - q. Is 9 a factor of z?
False
Let o be (-4)/(-10) - (-9)/15. Suppose -4*s + o = -5*w, -4 = -3*s + w + 5. Suppose q + s*q - 187 = -3*n, -4*q + 148 = 4*n. Is q a multiple of 10?
False
Suppose 4*a + v - 4*v - 1553 = 0, a = 4*v + 372. Does 4 divide a?
True
Let w be 2/5 - 54/(-15). Suppose f + o = 5, 0 = 3*f + w*o + o - 17. Is (f/(-5))/((-3)/15) a multiple of 2?
True
Let s = -1216 + 4165. Is 59 a factor of s?
False
Let w = -736 - -1048. Is 6 a factor of w?
True
Let d = 9 + -24. Let r = d + 35. Let u = r + -5. Is 3 a factor of u?
True
Suppose -l + 7 = 5*u, 3*u + 2 = 2*l + 14. Does 22 divide 181 + l - (-5 - -7)?
True
Let w(r) = -4*r**2 + 2*r. Suppose 3*z = 4*s - 11, 2*z + 1 = -1. Let p be w(s). Let j = 21 + p. Does 5 divide j?
False
Suppose 8*v - 247 - 4457 = 0. Is 42 a factor of v?
True
Let p = -56 + 32. Let g be 28/(-6)*p/16. Let l = g - 2. Is 5 a factor of l?
True
Let k(z) = 11*z - 66. Is 6 a factor of k(9)?
False
Suppose -3*h - 13 = d, -5*d - 1 = -h - 32. Does 6 divide -2*(2/6 + 35/h)?
False
Let j be (-5)/10 + 662/4. Let g = -61 + j. Is 28 a factor of g?
False
Suppose -3*n + 4*q - 40 = -5, 4*q - 20 = 0. Is 12 a factor of (-48)/(-14)*(9 - n)?
True
Let n = 712 - 496. Suppose 3*y + n = y. Is (-9)/(y/40)*15 a multiple of 25?
True
Is 50 - (7 - (3 + -1)) a multiple of 3?
True
Let v(q) = 49*q**2 - q. Suppose 4*