- 1*-2*2?
False
Is (153/(-12))/(6/(-40)) a multiple of 11?
False
Suppose -2*f + 2*o - 1 = -3, -4 = -2*f + 4*o. Let b = f + 1. Suppose -b = -t + 1. Is t even?
True
Let g(l) = l**2 - 7*l + 11. Is 10 a factor of g(9)?
False
Let a(o) = -3 - 5*o + 3 - 4 + 5*o**2. Let l be a(-5). Suppose -l + 6 = -5*j. Is 14 a factor of j?
True
Let p(z) = -12 - 4 + 7 - 18*z. Is p(-4) a multiple of 21?
True
Let p = 302 + -197. Is p a multiple of 4?
False
Suppose -8*u + 4*u + 8 = 0. Suppose 38 = 4*x - u*x. Does 7 divide x?
False
Let k(u) = -u + 15. Let f(p) = -p + 16. Let d(q) = 5*f(q) - 6*k(q). Let l be d(7). Let a = l - -7. Is 2 a factor of a?
True
Let g(a) = -a**2 - 15*a + 10. Let v be g(-13). Suppose -3*u + 5*u - 14 = -w, -4*w + v = -2*u. Is 10 a factor of w?
True
Let p(o) = -2 - 2*o + 2*o**2 + 5*o + 0. Suppose -4*s - v - v = -2, 15 = -5*v. Is 6 a factor of p(s)?
True
Suppose -2*i = s - 3*s + 46, 0 = 2*s - 2. Is 11 a factor of 3/(-2*1/i)?
True
Let o(h) = 2*h**3 - h**2 + 3*h - 2. Suppose 0 = i + 4*i - 4*k - 30, -i = -5*k - 27. Does 8 divide o(i)?
True
Suppose -357 = -2*a - 115. Is a a multiple of 23?
False
Let c = -12 + 18. Suppose 4*q = 2 - c. Does 13 divide 11 - (2 + 0)*q?
True
Let g be ((-2)/(-5))/((-1)/(-15)). Is ((-40)/g)/(4/(-6)) a multiple of 9?
False
Suppose -2*a = a - 9, a = -5*t + 508. Let g = t + -45. Suppose 0 = -4*w + g - 24. Is w a multiple of 5?
False
Let j(l) = 2*l**3 - 5*l**2 + 13*l - 2. Let t(m) = m**3 - 2*m**2 + 7*m - 1. Let g(y) = -3*j(y) + 5*t(y). Let a be g(4). Let z = a + 3. Does 4 divide z?
True
Suppose -5*l + 2*q = -3*q, 5*l + 5*q + 50 = 0. Is 4 a factor of ((-24)/(-10))/((-1)/l)?
True
Let a(m) be the first derivative of -m**4/4 + 4*m**3/3 + 5*m**2/2 - 4*m + 3. Is 10 a factor of a(3)?
True
Suppose 0 = 9*g - 7*g - 48. Is 24 a factor of g?
True
Let m(b) = -9*b - 7. Suppose 5*y - 4*y - 5 = -i, 0 = 2*y - 6. Let k be 1*-5*(i - 1). Does 18 divide m(k)?
False
Suppose 0 = -3*d + 114 + 90. Let q = d + -17. Is 14 a factor of q?
False
Let a = -5 - -10. Suppose -a = -j - 0*j. Suppose 0 = y - 5*r - 35, r - j*r = -2*y + 52. Does 10 divide y?
True
Let g = -4 + 50. Is 12 a factor of g?
False
Let m(g) = -g**3 - 4*g**2 + 9*g + 11. Does 6 divide m(-6)?
False
Let w be 1*35/(1 - 2). Let v = w - -20. Does 11 divide (2/1)/((-2)/v)?
False
Let d = 0 - 0. Suppose 4*g - 2*m = 16, -21 = -5*g + 2*m - d. Suppose -2*w + 3*f + g = -7, 0 = -3*w - 5*f + 18. Does 3 divide w?
True
Let b(o) = 2*o**2 + 4*o + 1. Suppose 5*s - 3*u + 4*u + 16 = 0, 0 = -3*u + 12. Let d be b(s). Is 7 a factor of d + (6/2 - 2)?
False
Suppose q = -3*q - 16. Let o = 2 - 8. Does 12 divide (-76)/(-6) - q/o?
True
Let z(h) = 2*h + 2 - 7 + 4. Let s be z(2). Let r = s - -31. Is 17 a factor of r?
True
Suppose 2*n - 12 - 3 = 5*c, c + 5*n - 24 = 0. Let i = 6 + c. Is i a multiple of 2?
False
Let o(a) = 3*a**2 + 2*a + 1. Does 3 divide o(2)?
False
Let v(h) = -h - 5. Let a be v(-5). Suppose 4*r - 3 - 17 = 0. Suppose j + r = a, 0*c + 29 = c - 2*j. Does 10 divide c?
False
Suppose -4*x = -32 - 0. Let h = -30 + 22. Let f = x - h. Does 5 divide f?
False
Let l(f) = -f**3 - 5*f**2 - 6*f - 3. Let q be l(-5). Suppose 3*j + 5*i - 58 = 0, -5*i - 81 = -4*j - q. Is 16 a factor of j?
True
Let o(i) = -i**2 - 16*i - 1. Does 27 divide o(-14)?
True
Let q(a) = 53*a**2 - a. Does 35 divide q(2)?
True
Suppose 0 = h - 5*l - 112, 4*l - 187 = -3*h + 73. Is (-2 + h/16)*4 a multiple of 5?
True
Suppose -635 + 35 = -10*u. Does 30 divide u?
True
Let r = -20 - -52. Is r a multiple of 7?
False
Let n(g) be the third derivative of g**4/4 - 5*g**3/3 - 2*g**2. Let q = 28 + -20. Does 19 divide n(q)?
True
Suppose w - 2*b = 9, -4*w - b + 5*b = -32. Suppose -9*d + w*d = -38. Is 14 a factor of d?
False
Suppose 3*i = 10*i - 126. Is 9 a factor of i?
True
Is 16 a factor of (-304)/(-6)*(-6)/(-4)?
False
Let t(r) = r**3 - r**2 + 1. Suppose 4 - 22 = -3*h. Let a be (-15)/10*(-8)/h. Is 5 a factor of t(a)?
True
Suppose 3*b - 114 = 2*f + f, -3*b - f + 114 = 0. Let t = 60 - b. Is 10 a factor of t?
False
Suppose 4*n - 127 = 77. Let j = n - 27. Is j a multiple of 24?
True
Let z(v) = -v + 1. Let b be z(-5). Let p = -3 + b. Suppose -p*i = 2*i - 60. Is i a multiple of 6?
True
Suppose w - 6 = -2*w. Suppose -2*c = w*z - 130 + 48, -3*z = -4*c - 144. Is z a multiple of 18?
False
Let c = 17 - 12. Suppose -c*b - 21 = -a - 5, 3*b + 2*a + 20 = 0. Let o = b + 11. Does 5 divide o?
False
Suppose -4 = 2*r + 3*v - 5, 2*v = r + 10. Let x(h) = -9*h. Does 12 divide x(r)?
True
Suppose 1 = 5*n - 4. Suppose -3*z = -n - 14. Suppose -z*m + 59 = -31. Does 6 divide m?
True
Suppose 2 = 2*y - 5*q, -2*q - q + 23 = y. Suppose -d = -17 - y. Is d a multiple of 14?
True
Let m(v) = 7*v**2 + 6*v + 27. Is 31 a factor of m(-5)?
False
Let c(l) = 12*l**2 - l - 5. Let k(n) = -6*n**2 + n + 3. Let y(i) = 3*c(i) + 5*k(i). Is y(-2) a multiple of 20?
True
Suppose h - 5 = 0, 0 = -4*c + 3*h + 6 + 11. Let g(l) = -3*l - 8 - 7*l**2 - l**3 + c. Is g(-7) a multiple of 12?
False
Suppose 7*k - 392 = -2*s + 3*k, 3*s = -2*k + 576. Is 19 a factor of s?
True
Let m(q) = -18*q**3 - q - 1. Let n be m(-1). Let o = -8 + n. Is 5 a factor of o?
True
Let y(s) be the first derivative of -s**4/4 + 5*s**3/3 + 4*s**2 - 9*s - 1. Let n be y(6). Suppose -6*w + 4*c + 35 = -n*w, -4*c = 20. Is w a multiple of 5?
True
Is ((-3)/12*6)/((-9)/408) a multiple of 4?
True
Let p(l) = -l + 1. Let i be p(-3). Suppose -4*t = i*h - 68, 5*t - 3 = 6*t. Is h a multiple of 12?
False
Let a = 23 - -10. Let c(r) = -3*r - 2. Let g be c(-5). Let k = a - g. Is k a multiple of 7?
False
Let w(t) = -t + 3. Let p be w(0). Suppose -p*c + 4*d - 7 = 0, 47 = -3*c - 4*d - 0*d. Is (c/(-2))/(2/12) a multiple of 19?
False
Suppose r - 4*s - 9 = 4*r, 4*r = 4*s + 16. Let z be ((2 - r) + -2)*-4. Suppose 7*h - 2*h - 50 = -5*c, h = -z*c + 19. Is 7 a factor of h?
True
Let u = 3 + -4. Let r be (-2)/(-8) - 33/4. Is ((-3)/(-4))/(u/r) a multiple of 5?
False
Suppose 14*y - 15*y + 115 = 0. Is 5 a factor of y?
True
Suppose -3*a = -a + 3*s - 40, 0 = -5*a + 2*s + 138. Is a a multiple of 7?
False
Let i(f) = 5*f + 5. Let s(h) = h**3 + 6*h**2 + 5*h + 5. Let m be s(-5). Suppose m*a - 14 = -4*y, -3*a = -2*y + 2*a + 22. Is 13 a factor of i(y)?
False
Suppose -5*g + 12 = -23. Let l = 25 + g. Is l a multiple of 9?
False
Let r = -48 - -104. Is 14 a factor of r?
True
Suppose 12 = 5*v - b, -4*v - 4*b + 18 = -2*v. Is 0 - -3*8/v a multiple of 4?
True
Let m be (-8)/(3 - -1) + 5. Suppose -m*l = l - 112. Is 14 a factor of l?
True
Suppose 2*a + 5 = 21. Is a a multiple of 4?
True
Let q(t) = 3*t + 101. Is q(-19) a multiple of 23?
False
Let b be 6/((-8)/4 + 1). Does 12 divide 3/b - (-369)/6?
False
Let i be (185/10)/((-2)/4). Let b = 72 + i. Does 13 divide b?
False
Let w(l) = 1 - l + 0*l + 4 + 6. Let q be w(5). Suppose -177 = 2*b - q*b - 5*u, 2*b = 5*u + 81. Is b a multiple of 18?
False
Let z(y) = -17*y - 38. Does 29 divide z(-9)?
False
Let c(j) = j + 7. Let s be c(-7). Suppose -5*i + 75 = 5*y, s = 2*y - 0*y - 3*i - 15. Is 6 a factor of y?
True
Let z be (-78)/(-4) - (-6)/(-12). Suppose 4*c = 4, -5*f - 2*c = -3*c - z. Is 3 a factor of f?
False
Is (-8)/(-10) - (-3805)/25 a multiple of 9?
True
Suppose -2*y = -5*q + y + 335, 3*q - 2*y = 200. Is 35 a factor of q?
True
Suppose -b = -2*b + 49. Does 11 divide b?
False
Let o = 16 + -13. Suppose -u - 5*q = -2*q - 24, -42 = -o*u + q. Does 8 divide u?
False
Suppose -3*i = 2*i - 25. Let v(r) = 43*r**2. Let n be v(1). Suppose 0 = i*l - 163 + n. Is 11 a factor of l?
False
Suppose 2*a + 3*a - 30 = 0. Is 21 a factor of a/27 - (-376)/9?
True
Let k be (-1 - (-8)/2) + 3. Suppose 0 = -l + k*l - 225. Is 19 a factor of l?
False
Suppose 2*k = 3*o + 15, -6 = 3*o + 3. Suppose 0 = y + 4*y, -k*u + 5*y = -27. Does 9 divide u?
True
Is ((-124)/(-8)*-8)/(0 + -2) a multiple of 9?
False
Suppose 0 = 3*w - 0*w - 300. Suppose 4*o - w = -o. Is o a multiple of 20?
True
Suppose 0*c = -2*c + 458. Suppose -4*d + c = 73. Does 10 divide d?
False
Let o(i) = i**2 + 7*i - 4. Let z be o(-5). Suppose 2*q - 49 = 3. Let n = z + q. Does 9 divide n?
False
Suppose z + 20 = 4*c, -20 = -3*c - c - 4*z. Suppose -c*v = -v - 16. Let f = 19 - v. Is f a multiple of 5?
True
Let n(h) = -2*h + 5. Let f(b) = 2*b - 4. Let q be ((-20)/8)/(2/4). Let t(u) = q*f(u) - 4*n(u). Is t(-8) a multiple of 6?
False
Is 21 a factor of 8*8 -