 + -6. Suppose -d*j = -209 - 286. Is j a multiple of 15?
True
Suppose -i + 375 = -145. Suppose -i = -9*y + y. Is y a multiple of 21?
False
Let d(g) = 3*g**2 + 8*g + 3. Let m be d(-5). Let f = m + 18. Let h = f - -19. Is 25 a factor of h?
True
Let v(u) = -u + 1. Let b be v(-1). Suppose -4*n = -3*z + 31, -11*z - n + 11 = -8*z. Suppose -6*w - 128 = -z*t - 4*w, -w = b*t - 44. Is 12 a factor of t?
True
Suppose 4*q = 5*j + 17, -5*q + 8 + 7 = 0. Is ((-5)/(-3) - j)*24 a multiple of 16?
True
Let q = 196 + -126. Suppose 3*k - q = 26. Is k a multiple of 8?
True
Let g = 28 + -24. Suppose -4*x + g = 12. Is 10 a factor of ((-25)/x)/(12/48)?
True
Let f(g) = -g**3 + 11*g**2 + 45*g - 13. Is f(14) a multiple of 4?
False
Does 25 divide (0 - -1)/(-7 + 6008/858)?
False
Suppose 3*v = 6 - 0. Suppose -66 = -2*j + v*d + 2*d, 5*j = 3*d + 172. Does 7 divide j?
True
Let o(z) = -7*z**2 - 6*z - 10. Let n(x) = -4*x**2 - 3*x - 5. Let c(j) = 5*n(j) - 3*o(j). Is 4 a factor of c(-5)?
False
Suppose -7*p + 1098 = -666. Let r = -74 + p. Does 44 divide r?
False
Suppose v = -2*a + 208, -111 = -a - 3*v + 6*v. Is 6 a factor of a?
False
Let c be (-56)/(-7) - (-1 + 1 + -1). Suppose -11*t = c*t - 1660. Does 16 divide t?
False
Let g = 24 - -153. Let h = g + -108. Is 23 a factor of h?
True
Is 98/3 - 2/3 a multiple of 22?
False
Suppose -9*f = -6242 - 2182. Is 19 a factor of f?
False
Let g be (-520)/(-14) - 13/91. Suppose 3*i = g + 32. Is 18 a factor of 30*(i/5 + -3)?
False
Let q(v) = v + 5. Let i be q(-3). Let a be (12 + -4 + i)/2. Let j = 18 - a. Does 13 divide j?
True
Let w = 3 - 0. Let g = -72 + 97. Let c = g - w. Is c a multiple of 6?
False
Suppose -99*r - 10 = -104*r. Suppose -2*a - r*m - 72 = -3*a, m - 144 = -2*a. Is a a multiple of 9?
True
Suppose 69327 = 63*c - 120618. Is 46 a factor of c?
False
Let r = 9366 - 5898. Is r a multiple of 12?
True
Let f be 4 + 2 + -4 + (-4)/(-2). Suppose -f*i = -15 - 17. Is i a multiple of 2?
True
Let t(f) be the third derivative of -49*f**4/24 - f**3/6 + 16*f**2. Does 7 divide t(-1)?
False
Does 16 divide 2/3 + 27/(891/133034)?
True
Let b(x) = 3*x**3 - 3*x**2 + 7*x + 8. Let q(f) = 7*f**3 - 5*f**2 + 13*f + 15. Let u(p) = -9*b(p) + 4*q(p). Is u(-8) a multiple of 5?
False
Suppose -2*j - 12 = -5*j. Suppose 0 = -4*v + 2*k + 82, -j*v - 2*k = -2*v - 32. Is v a multiple of 7?
False
Let v(k) = -k**2 - 5*k - 3. Let u be v(-4). Suppose -3*a = -3*s + u + 5, 0 = 5*s - 4*a - 11. Does 18 divide 6/(s + (-40)/15)?
True
Is 2 a factor of ((-9)/(-6))/((-6)/(-24))?
True
Let d = 361 - 193. Is d a multiple of 42?
True
Suppose 3259 - 1075 = 8*v. Is v a multiple of 21?
True
Let v(f) = -f - 10. Let i(b) = -9. Let t(j) = -3*i(j) + 4*v(j). Is 8 a factor of t(-11)?
False
Let g = -57 + 130. Let u = g - -4. Is u a multiple of 23?
False
Is 13 a factor of (-2 - 4011/(-2)) + (-6)/4?
True
Let u = -278 + 736. Does 9 divide u?
False
Let h(r) = 7*r**3 - r**2 + 4*r - 3. Let a be h(2). Let q = -21 - -104. Let j = q - a. Does 11 divide j?
False
Suppose 0 = 4*n - 16, 0*n = -5*k + 2*n - 58. Does 8 divide 142/6 + k/(-30)?
True
Let k(h) be the first derivative of h**2/2 + 5*h + 3. Let b be k(-3). Suppose -4*r - 16 = 0, -74 = -2*g - 0*g + b*r. Is 11 a factor of g?
True
Let o be 26/10 + (-10)/(-25). Suppose o*i = 7*i - 5*c - 345, 375 = 4*i + 5*c. Is i a multiple of 18?
True
Let o(b) = b**3 - 4*b**2 + 2*b. Let x be o(4). Suppose 3*m + 40 = x*m. Suppose -3*z - 630 = -m*z. Is z a multiple of 33?
False
Let i(d) = -d**2 - 5*d + 5. Let k(h) = -2*h**2 - 5*h + 6. Let j(v) = 2*i(v) - 3*k(v). Is j(4) a multiple of 33?
False
Let w(k) = -3*k + 58. Is 13 a factor of w(8)?
False
Let j(x) = 53*x + 8. Let p be j(8). Suppose -p = -108*t + 106*t. Does 27 divide t?
True
Let i = 13 + 2. Suppose 2*j + 61 = -i. Let r = j + 53. Does 15 divide r?
True
Suppose -j = -0*j - 5. Suppose j*k - 1305 = -0*k. Suppose 0*h + 3*s = -4*h + k, 4*s + 303 = 5*h. Is h a multiple of 19?
False
Let g = -3 + 3. Let y be g/(1 - 8/4). Is 16 a factor of y - -2 - (2 + -48)?
True
Suppose 0 = -5*g - 137 - 38. Let r = 75 + g. Does 10 divide r?
True
Let a be 6/12*(-24)/(-2). Suppose 0 = -4*f - a - 6. Let w(m) = -m**3 - 2*m**2 - m + 2. Does 4 divide w(f)?
False
Let z(c) = c**2 - 5*c - 124. Does 58 divide z(-18)?
True
Let t be ((-51)/(-9) - 6)*-12. Let g be -1 + -4*(-2)/4. Suppose -m + t = g. Is m a multiple of 3?
True
Let s(p) = -p**3 + 8*p**2 + p - 5. Suppose 4*a + 73 = g, -3*a + 4*g - 64 = a. Let o be (-2)/(-3) - a/3. Is 17 a factor of s(o)?
True
Let x = -1576 - -3344. Is 136 a factor of x?
True
Is 16 a factor of 140576/144 - 4/18?
True
Let d(j) = 3*j**2 - 6*j - 22. Suppose -8*i + 0 + 48 = 0. Is 9 a factor of d(i)?
False
Let k be (-180)/25*40/(-12). Let u = k - 20. Suppose 3*x = -2*a + 60, -2*a - u*x + 46 + 10 = 0. Does 18 divide a?
True
Let q(d) = 2 - d + 7*d**2 - 2*d**2 - 8*d**2. Let a(h) = 3*h**2 + 2*h - 3. Let v(o) = 6*a(o) + 5*q(o). Is v(-8) a multiple of 32?
True
Let f(j) = 2*j**3 + 8*j**2 + j - 10. Does 45 divide f(6)?
False
Let m(n) = -n**3 - 18*n**2 + 14. Let x be m(-18). Suppose 12*w - x*w + 22 = 0. Does 7 divide w?
False
Suppose -2*f + 70 = 3*f + 4*r, 100 = 5*f - 2*r. Let g(u) = u**3 + 7*u**2 + 9*u + 7. Let z be g(-6). Let a = z + f. Is 4 a factor of a?
False
Let x = 22 + -15. Suppose 0 = 3*q - x*q. Suppose q = -4*z + 8*z - 88. Is z a multiple of 14?
False
Let y(r) = -r**3 + 13*r**2 - 9*r - 18. Let b be y(12). Let d = b + 1. Is 16 a factor of d?
False
Let d(j) = -j**2 + 11*j - 7. Let p be d(6). Let l = 50 - p. Does 4 divide l?
False
Does 10 divide 2 - (-33)/(-18) - 7051/(-66)?
False
Let c = 87 - 82. Suppose -4*g = 32 - 12, -680 = -c*w + 4*g. Does 44 divide w?
True
Let f = 22 - 17. Suppose -f*l - 24 = -4*a - 6*l, -a = -2*l - 6. Let z(n) = 7*n - 5. Is 21 a factor of z(a)?
False
Suppose 0 = -5*c - 4*a - a - 25, 3*a + 10 = -2*c. Let t be (-4)/c - (-144)/(-30). Does 11 divide (t + 2)/((-1)/24)?
False
Suppose 0 = -12*p + 156 + 1692. Does 14 divide p?
True
Suppose 2*t = -s - 2*t + 268, s - 268 = 2*t. Suppose 5*j + s = 7*j. Suppose 9*z = 7*z + j. Is 16 a factor of z?
False
Let w(p) = -2*p + 19. Let g be w(6). Let y(o) = 32*o - 16. Does 27 divide y(g)?
False
Let r(w) be the first derivative of -w**2 - 2*w - 9. Let x be r(1). Let u = 9 + x. Is u even?
False
Let s = -17 + 7. Let p = s + 11. Is -1 - 140/((-4)/p) a multiple of 10?
False
Suppose r = 8 + 16. Let i(v) = 2*v**2 - 48*v + 11. Does 11 divide i(r)?
True
Suppose 5*b - 12 = 8. Let v be (11/b)/((-5)/(-80)). Is (v/6)/(5/30) a multiple of 15?
False
Let i = 84 - 51. Let q = i - 16. Let s = q - -1. Is s a multiple of 5?
False
Let x(i) = 37*i - 201*i - 13 - 3. Is 24 a factor of x(-2)?
True
Suppose 23 = 4*f - b, 5*f + 3*b - 4*b = 28. Suppose -25 = 5*w + 2*k, -f*w - 3*k + 4*k - 10 = 0. Does 25 divide w - (-2)/((-6)/(-117))?
False
Suppose -5*z + 824 = -616. Is 72 a factor of z?
True
Let i(x) = -x**3 + 5*x**2 + 2*x - 2. Let a be i(5). Let v = a + -3. Let q = v - -45. Is 20 a factor of q?
False
Let u = 18 - 25. Does 10 divide 22 - (7/(u/2) + 4)?
True
Suppose 2*h = -f + 17, 59 = 5*f - 2*f + 2*h. Does 7 divide f?
True
Does 8 divide 1650/495*672/5?
True
Let h(y) = -y - 1. Let s = -15 + 11. Let r(i) = -7*i + 11. Let q(j) = s*h(j) - r(j). Is q(8) a multiple of 12?
False
Suppose 4 = -b + 2. Let i be b + 5 + (-2 - -3). Suppose -5*h + i*h = -j + 14, 44 = 4*j - h. Does 10 divide j?
True
Let l(a) = -42*a - 115. Is 7 a factor of l(-37)?
False
Let r be (5 - -61)*(-3)/(-2). Let u = -59 + r. Does 8 divide u?
True
Let q = 692 - 468. Is q a multiple of 14?
True
Let y(s) = -s + 1. Let p be y(-3). Suppose -2*b - 7 = -c + 7, -p*b = -5*c + 52. Let j(f) = 3*f - 4. Is 4 a factor of j(c)?
True
Suppose -5*b + 22 = -4*l, -2*b = l + l + 2. Suppose 3*f - 126 = -3*v, v + b*v - 168 = -4*f. Does 7 divide f?
True
Let i = -33 - -38. Suppose -i*y + 25 + 65 = 0. Does 18 divide y?
True
Suppose 0 = -4*p - 2*p - 12. Does 36 divide (-275)/p + (-10)/20?
False
Suppose 2*z = 2*f - 46, -2*f + 41 = 4*z + 145. Let t = -13 - z. Does 5 divide t*16/12 - 3?
False
Suppose 11*u = 8*u + 12. Suppose -5*h - 109 = u*x - 424, 0 = 5*h + 25. Is x a multiple of 17?
True
Let c = -457 - -714. Let u = 394 - c. Is 33 a factor of u?
False
Let a(z) = z**3 + 18*z**2 + 18*z + 15. Let b be a(-17). Does 10 divide (17/b)/((-18)/108)?
False
Let d be 7 + -7 + 17*-2. Let 