 multiple of 36?
True
Let u = 54 - 21. Is u a multiple of 11?
True
Suppose 2*x - 3*p - 582 = 0, -p = x + 2*p - 282. Suppose -4*m + m + x = 0. Suppose -c + m = 3*c. Is 12 a factor of c?
True
Suppose -l = -3*l + 140. Does 18 divide l?
False
Let k(f) = f**3 + 7*f**2 + f + 10. Let x be k(-7). Does 9 divide x/(-1*9)*-33?
False
Let s(c) = c - 3*c**2 + 62*c**2 + 37*c**2. Does 25 divide s(1)?
False
Let i(c) = 3*c**2 - 1. Let p(s) = -10*s**2 - s + 4. Let o(t) = 7*i(t) + 2*p(t). Is 4 a factor of o(3)?
True
Suppose -4*o = o - 35. Is 3 a factor of o?
False
Let w(b) = 3*b - 6. Let n(y) = 2*y - 3. Let s(d) = 5*n(d) - 2*w(d). Is s(4) a multiple of 13?
True
Suppose 0 = 5*h - 5*v, 5*h - 20 - 4 = -3*v. Suppose 2*y + 2*o - 66 = 0, -h*y = -4*o - 154 + 55. Is 11 a factor of y?
True
Suppose -3*n + 5*n = 230. Suppose 2*a - n = -3*a. Does 12 divide a?
False
Let j(g) = 174*g**2 - 2*g + 3. Is j(1) a multiple of 25?
True
Suppose 0*l - i - 37 = -l, -5*i = 3*l - 95. Suppose -4*v = l + 9. Let j = v + 27. Does 8 divide j?
True
Suppose -f + 5*f = 128. Is f a multiple of 8?
True
Let s = 284 + -139. Does 29 divide s?
True
Let p be 0*(-2)/4*-1. Let z(i) be the second derivative of i**4/12 + i**3/6 + 5*i**2/2 + 6*i. Is z(p) a multiple of 4?
False
Suppose 9 = -3*k, -3*k = -3*p - 0*k - 18. Let s be (-2 - -1) + 0 + p. Is (-306)/(-15) - (-4)/s a multiple of 11?
False
Let f be (-64)/(-16) - (-22)/1. Let r = f + -16. Is r a multiple of 3?
False
Let j(q) be the first derivative of -q**3/3 - 5*q**2 + 6*q - 1. Does 7 divide j(-9)?
False
Let v(j) = j**3 + 6*j**2 - 7*j + 2. Let a be v(-7). Is 30/(a/((-12)/(-9))) a multiple of 20?
True
Let w be (-3 + 3 + -1)/1. Let g be -1 + 3 + (w - -1). Suppose g*x - 4*c - 22 = 0, 0 = -3*c + 8*c. Is x a multiple of 11?
True
Let m be (-2)/4*2 + 20. Let q = m - 5. Is 7 a factor of q?
True
Let b = 229 - 157. Is 18 a factor of b?
True
Let x(q) = q**2 - 5*q. Is 14 a factor of x(-7)?
True
Suppose 5*u + 5 = -5*j + 2*j, 2*j + 4*u = 0. Let v be (2 - j/(-4))*-2. Is 6 a factor of (2/v)/(2/8)?
False
Suppose -2*o - 1 - 11 = 0. Let f(p) = p**2 + 5*p + 4. Is 3 a factor of f(o)?
False
Let f be (-1 - 0)/((-1)/16). Suppose 4*w + f = 0, -41 - 3 = -s + w. Is s a multiple of 14?
False
Let b be (-3)/(-1)*(-6)/9. Let p = 6 + b. Is 7 a factor of (-17)/(-1) - (p + -1)?
True
Let o(j) = -j**2 - 14*j + 5. Let p be o(-12). Suppose -w - 10 = -p. Does 4 divide w?
False
Let i be (-2)/3*(-435)/(-10). Let n = -9 - -13. Is -4 + n - (2 + i) a multiple of 9?
True
Let l be 48/(-10)*15/(-2). Suppose l = d + 3*d. Let t(x) = -x**3 + 10*x**2 - 8*x. Is 4 a factor of t(d)?
False
Let c be (45/2)/(-5)*6. Is (-68)/(-3) - 9/c a multiple of 5?
False
Let f = -5 - -10. Suppose -f*l + 31 = -14. Is 5 a factor of l?
False
Let i(x) = -x**2 + x + 4. Let v be i(-5). Does 13 divide (-2 - (-3)/2)*v?
True
Does 23 divide 2/24*-2 + (-10472)/(-48)?
False
Suppose 2*y = -5*i + 6, -5*y - 2*i + 22 = 7. Let b be -3 + -5*(y - 8). Is 9 a factor of b + 1 + 3/(-3)?
False
Let a(u) = u**3 - 5*u**2 - u + 7. Let m be a(5). Is (-20)/(-15)*69/m a multiple of 17?
False
Suppose 0 = -0*f - 2*f + 166. Suppose 5*d + f = 4*v, -5*v - 8*d = -3*d - 115. Does 17 divide v?
False
Suppose -2*j + 104 = 3*m - m, -4*m - 16 = 0. Does 33 divide j?
False
Does 7 divide -4 + (-53)/(-2) + (-1)/(-2)?
False
Suppose -3*p + 6 + 0 = 0. Suppose -p*n + 3*n - 40 = 0. Does 16 divide n?
False
Let y(k) = 13*k**2 - k - 4. Let f(d) = d**2 + 1. Let m = 1 - 0. Let t(q) = m*y(q) + 3*f(q). Does 8 divide t(-1)?
True
Let m = -6 - 2. Let b = m - -12. Is 4 a factor of b?
True
Let i(j) = 2*j**2 - 17*j - 4. Let l(z) = z**2 - 8*z - 2. Let k(t) = -2*i(t) + 5*l(t). Let h be k(7). Suppose h*s - 3*s = 8. Is 2 a factor of s?
True
Let x = 9 + -17. Let l = 2 + x. Is 2 a factor of l/(-4) + 6/12?
True
Suppose -y = 5*h - 770, -2*h + 0*y + 2*y + 308 = 0. Is h a multiple of 17?
False
Let j(c) = -c - 4. Let o be j(-3). Let z(a) = 9*a + 7. Let d(q) = 9*q + 6. Let p(n) = -6*d(n) + 5*z(n). Is 3 a factor of p(o)?
False
Suppose 5*h + w = -3*w - 20, -3*h - 2*w - 14 = 0. Let b be (0 - -4)*(-22)/4. Let o = h - b. Is 11 a factor of o?
False
Suppose -26 - 87 = -3*t + 5*q, -2*t - q + 71 = 0. Is t a multiple of 8?
False
Is 12 a factor of 433/3 + 6/(-18)?
True
Let y(x) = x**3 - 6*x**2 + 11*x - 9. Let a be y(7). Let o = a - 75. Does 14 divide o?
True
Let o be (-6)/(-9)*18/4. Suppose -o*d + 531 = -177. Is 23 a factor of (-5 + 2)*d/(-12)?
False
Suppose 96 = -p + 5*p. Is p - (1 + 3/3) a multiple of 6?
False
Suppose 4*p + w - 15 = 0, 2*w + 3*w = -3*p - 10. Suppose 3*h - 34 = -a, -4*a + a + p*h + 32 = 0. Is 12 a factor of a?
False
Let f(w) = 1 - 1 - 2 + 10*w**2. Suppose 4*a = -4 + 12. Is f(a) a multiple of 17?
False
Suppose w - 4*d = 16, -2*w - 3 + 19 = -4*d. Suppose -5*r + 3*p + 37 = w, 0 = -2*r - 0*r - 2*p + 18. Is 4 a factor of r?
True
Let o be 3/(-2) + 2/4. Is 12*o*7/(-2) a multiple of 11?
False
Let d = -144 - -209. Is d a multiple of 13?
True
Let d(i) = i**3 - 9*i**2 + 2*i - 10. Suppose 7*x - 36 = 3*x. Does 8 divide d(x)?
True
Suppose -17 = -t + 17. Does 3 divide t?
False
Let w(k) = k**3 + 2*k**2 + 50. Let j(v) = -v**3 - 3*v**2 - 49. Let r(u) = 2*j(u) + 3*w(u). Is 26 a factor of r(0)?
True
Let b(m) = -2*m + 2. Let p(t) = t. Let c be p(4). Let h be b(c). Does 5 divide (h/(-4))/((-1)/(-6))?
False
Let n(q) = q**3 - 5*q**2 + 3*q - 4. Let p be n(5). Let b(j) = -j**2 + 10*j + 9. Let v be b(p). Is 10 a factor of (v + 4)*1 + 28?
True
Let x be (39/6)/(1/2). Let y = x - 7. Is 5 a factor of y?
False
Let r be ((-10)/6)/(8/(-24)). Suppose -r*h = 5*g - 200, -4*h = -g + h + 40. Is g a multiple of 10?
True
Does 5 divide 7/(-105)*5 - 37/(-3)?
False
Let g(y) = y**3 + 2*y**2 - 3*y - 17. Is 8 a factor of g(5)?
False
Let n(r) = r. Let h be n(1). Let j = h + -1. Suppose 4*l - 6*l + 12 = j. Does 6 divide l?
True
Let n = 7 + 29. Is n a multiple of 12?
True
Let r(l) = -l**2 - 10*l + 2. Let a be r(-10). Suppose 0 = -a*d + i + 14 + 20, 4*i - 72 = -5*d. Is 13 a factor of d?
False
Let b(x) = 4*x**2 - x + 1. Let l be b(-2). Let u = l + -7. Is u a multiple of 4?
True
Let y = 1 + 1. Suppose -3*k - 2 = -y*k. Is (k - 12)/((-1)/2) a multiple of 19?
False
Suppose 0 = h - 5*t + 18, h + 2*t + 2 = -2. Let u = 22 + h. Does 14 divide u?
True
Suppose -2*l + 7 + 211 = 0. Is 11 a factor of l?
False
Suppose 3*n - 7 - 236 = 0. Suppose -3*o = 3*c + 18 - 63, -4*o + n = -3*c. Is o a multiple of 15?
False
Let d(p) = p**3 - 10*p**2 + 10*p - 8. Let i be d(9). Is 17 a factor of (-2 - (-1 - i)) + 36?
False
Let h be 18/(-3) - -3*1. Is 15 a factor of 654/18 - 2/h?
False
Suppose -2*t + 8 = -28. Is t/(-12)*20/(-2) a multiple of 10?
False
Let v = -8 - -12. Suppose -4*h = -v*c - 62 - 22, 5*h + c = 123. Is h a multiple of 9?
False
Let i = -3 + 19. Is i a multiple of 2?
True
Is 4 a factor of (18/(-45))/((-2)/260) + -1?
False
Let k(v) = -4*v**3 - 3*v**2 - 3*v + 4. Is 27 a factor of k(-3)?
False
Let f(z) = z**2 - 7*z. Let x be f(6). Let h be 0 + (-1 - 48 - 2). Does 13 divide 2/x*2*h?
False
Let a(i) = 2*i + 2. Suppose 0 = -4*c + 2*j - j + 158, -156 = -4*c + 2*j. Let q be c/7 + 4/14. Is a(q) a multiple of 9?
False
Suppose -l + 3*l = -n + 30, 0 = 2*n - 5*l - 15. Is 20 a factor of n?
True
Let f = 13 + -19. Does 14 divide 2/3 + (-158)/f?
False
Does 13 divide 2935/25 - 6/15?
True
Let t(p) = p - 1. Let n be t(1). Suppose -3*o = -3, n*y = y + 3*o - 5. Does 4 divide y/(-4) + 18/4?
True
Let p be 0*(3 + 14/(-4)). Suppose -3*w - 6 = p, 0*w = -4*k + 3*w + 62. Is 14 a factor of k?
True
Let w(b) be the second derivative of b**4/4 - b**3 + 5*b**2 + 4*b. Let v(t) = -7*t**2 + 13*t - 21. Let y(o) = 2*v(o) + 5*w(o). Is y(6) a multiple of 20?
True
Suppose -5*u + 28 = 2*u. Does 7 divide u/14 - 3402/(-98)?
True
Let r = 7 + -7. Suppose j - 4 = -2*j - 4*q, r = 3*j - 2*q - 34. Does 5 divide j?
False
Suppose 0*p - 3*y = -3*p + 39, -21 = -p + 3*y. Suppose -p + 23 = 2*s. Let a = 26 + s. Does 11 divide a?
True
Let y(u) = u + 1. Let w(z) = z + 1. Let b(l) = 4*w(l) - 6*y(l). Suppose x + 7 - 1 = 0. Is b(x) a multiple of 10?
True
Suppose -3*k - 22 = -4*k. Does 5 divide k?
False
Suppose 0*d + 12 = 3*d. Does 4 divide d?
True
Is ((-95)/15)/(2/(-24)) a multiple of 19?
True
Let f(j) = 3*j**2 - 3*j + 3. Let r = -11 + 8. Is f(r) a multiple of 13?
True
Let a(m) be the first derivative of m**4/4 + 3*m**