2*f - 2*j + 130, -3*f + 266 = f + j. Does 9 divide f?
False
Suppose 6*m = m - 5. Let k(j) = -28*j**3 + j**2 + 2*j + 1. Let a be k(m). Is a/6 - (-5)/15 a multiple of 5?
True
Let v(o) = -o**2 - o. Let k(g) = g**2 + 1. Let p(t) = -3*t + 3. Let u(a) = -2*k(a) - p(a). Let b(i) = -u(i) + v(i). Does 16 divide b(6)?
False
Suppose 2*q = q. Suppose 3*o + q*o = 12. Suppose -o*f = 3*r - f - 132, 10 = 5*f. Is 20 a factor of r?
False
Suppose -455 = -5*p + 155. Does 46 divide p?
False
Let n(z) = 26*z**2 + z - 3. Is 11 a factor of n(-2)?
True
Let o(t) = t**2 - 10*t. Let y be o(9). Is (y/12)/(1/(-4)) a multiple of 3?
True
Let j(o) = o**3 - 2*o**2 - 3*o + 4. Let v be j(4). Let d = v - -68. Does 24 divide d?
False
Let h = 77 + -49. Let r = -49 - -35. Let p = r + h. Is 7 a factor of p?
True
Suppose -5*q - 3*o + 114 = -2*o, q = -3*o + 20. Suppose -5*c - 25 = -4*x, 5*c + 2 + q = 0. Suppose 56 = 2*t - x*t. Is t a multiple of 13?
False
Suppose 3 = g - 3. Let j(z) = -z**2 + 14*z + 2. Is j(g) a multiple of 11?
False
Suppose -z = -1 - 6. Let t = z + -1. Let q(d) = d**2 - 5*d + 8. Is 12 a factor of q(t)?
False
Suppose -2*r = -0*r - 50. Is 12 a factor of (-10)/r - 244/(-10)?
True
Let h(k) be the second derivative of k**5/20 + k**4/4 - 2*k. Let o be h(-3). Suppose x - 23 + 8 = o. Is x a multiple of 5?
True
Let q(i) = i - 1. Let x be q(-6). Let z(m) = -m**3. Let l(y) = -5*y**3 + 6*y**2 - 7*y + 10. Let n(d) = l(d) - 6*z(d). Is n(x) a multiple of 5?
True
Suppose -2*w + z + 17 = 4*z, w = -2*z + 10. Suppose -b + w = -2*g, 2*g = 5*b + 4 - 16. Suppose -3*n + 3*c + 54 + 15 = 0, -b*c = -6. Is 9 a factor of n?
False
Suppose n + 20 = -4*f, -2*n = -n - 3*f - 15. Let o be 4 - 6 - (n - 0). Is (-69)/(-6) + (-3)/o a multiple of 13?
True
Suppose -114 = 4*d - 10. Is 11 a factor of (-4 - d)*2/2?
True
Let v = -9 + 3. Let p be (-3 + (-15)/v)*0. Let b(u) = u + 41. Is 23 a factor of b(p)?
False
Let p(s) = -s**3 - 11*s**2 + 8*s - 5. Let b(c) = 5*c**3 + 45*c**2 - 32*c + 21. Let x(n) = 2*b(n) + 9*p(n). Does 21 divide x(9)?
False
Let z(q) = 4*q + 139. Is 24 a factor of z(0)?
False
Let x(m) = -5*m**2. Let j(c) = 11*c**2 + c - 1. Let o(h) = -4*j(h) - 9*x(h). Let k = -2 + -2. Is 12 a factor of o(k)?
True
Suppose -a = -4*a. Suppose a*z + 3*z = 57. Does 19 divide z?
True
Let v(k) be the second derivative of -k**5/20 - 7*k**4/12 + 5*k**3/3 - 9*k**2/2 + k. Let n be v(-8). Let i = 67 + n. Does 22 divide i?
False
Let p(v) be the second derivative of -7*v**3/6 + 7*v. Is 10 a factor of p(-5)?
False
Let o be ((-2)/2)/(5/15). Let q be 39/(-9)*o - -1. Is (-6)/(-42) + 68/q a multiple of 5?
True
Let k = -636 + 924. Is k a multiple of 48?
True
Let x(v) = 21*v - 3. Let g be x(6). Let p = g - 37. Suppose 2*w - p = -4*b - 6, 3*b - 59 = -2*w. Is b a multiple of 16?
False
Let g(a) = -a**3 - 8*a**2 - 10*a - 5. Let z = 2 - 9. Is g(z) a multiple of 12?
False
Let a(j) = -j**3 + 4*j**2 + 6*j - 3. Is a(4) a multiple of 7?
True
Let p = -132 + 244. Does 14 divide p?
True
Suppose 258 = 3*x - 288. Is x a multiple of 14?
True
Let x(a) = a**2 + 3*a - 5. Let j be x(6). Suppose -185 = -4*u - j. Is 17 a factor of u?
True
Suppose -5*w = -2*w. Suppose 3*o = -w*o + 12. Let g(v) = 2*v**2 - 2*v - 3. Is g(o) a multiple of 8?
False
Let l(a) = a**3 + 4*a**2 - 3*a. Is 10 a factor of l(-4)?
False
Let r = 156 + 69. Is 15 a factor of r?
True
Let a(j) = -j**3 - 18*j**2 - 18*j + 10. Does 24 divide a(-17)?
False
Let j(g) = 3*g**2 - 3*g - 5. Let f be j(4). Is 17 a factor of f*1 - (0 - 3)?
True
Let x be (0 - 1) + (1 - -5). Let q(h) = 5*h + 8. Let k(p) = -p - 1. Let j(y) = 4*k(y) + q(y). Does 5 divide j(x)?
False
Let s(y) = -y**2 - y - 4. Let v be s(-3). Let i be 1/(-2) + (-555)/v. Suppose -6*c = -c - i. Is 11 a factor of c?
True
Suppose -45 = -q - 2*q. Let r be ((-8)/5)/((-6)/q). Suppose -38 = -r*z + 42. Is z a multiple of 12?
False
Suppose 3*o - 4*k = -o + 552, -4*o - 2*k + 540 = 0. Does 34 divide o?
True
Let p be 8*(-15)/(-18)*-3. Let w = 14 - p. Does 17 divide (3 + 2)*w/5?
True
Suppose 0*f - 149 = -f + v, -4*f + 551 = 5*v. Is 18 a factor of f?
True
Suppose j + 18 = -3*s, 10 = -2*j + 4*s - 26. Let g be (38/(-2))/(7 - 6). Is (g/3)/(6/j) a multiple of 19?
True
Suppose -4 = 4*h - 0. Is h/((-15)/18)*5 a multiple of 4?
False
Suppose -2*n - 11 - 1 = 0. Let t = 35 + n. Suppose 3*g + 26 - 124 = -4*m, -5*m + t = g. Is g a multiple of 17?
True
Let v(x) = -x**3 - 10*x**2 - 12*x. Does 6 divide v(-9)?
False
Let g = 13 - -4. Is 17 a factor of g?
True
Let b = -90 + 29. Let s = 11 + -36. Let v = s - b. Does 12 divide v?
True
Suppose 3*t - 4*t = 0. Suppose -5*d + 2 = -4*y - 3, -y = t. Is 8 a factor of (-36)/(-8)*2/d?
False
Let o(m) be the third derivative of m**6/120 - 3*m**5/20 + m**4/12 + 2*m**3/3 + m**2. Let k be o(9). Suppose -2*n + 0*n + k = 0. Is n a multiple of 4?
False
Let b = 214 + -124. Is b a multiple of 9?
True
Let o(h) = -h**2 - h + 13. Suppose 2*j - 4*f = 3 + 9, 12 = -4*j - 4*f. Does 13 divide o(j)?
True
Suppose 3*i - 7 = 2*o, -5*i + o = -o - 17. Suppose -3 = -i*s + 17. Let f(n) = n**2 + 2. Is 9 a factor of f(s)?
True
Let t = 25 + -22. Does 14 divide (-28)/(6/(-27)*t)?
True
Suppose -2*x + 60 = 2*u, 5*x + 13 = u - 11. Is u a multiple of 8?
False
Let q(j) = 5*j**3 - j**2 - 4*j - 2. Let n be q(-3). Let k = -92 - n. Is k a multiple of 11?
False
Let z = -27 + 39. Suppose z = -3*r - 3*k, -3*k + 1 = 13. Suppose -l + 20 - 1 = r. Is 17 a factor of l?
False
Let s be (-4)/(-6) - (-16)/12. Suppose -v + 13 = s*k, 2*v = -4*k + 4*v + 30. Does 3 divide k?
False
Let m(w) = w**3 + 7*w**2 + 4*w + 6. Let z be m(-4). Suppose -11*v - z = -12*v. Is v a multiple of 8?
False
Suppose -y = 6*y - 609. Is 5 a factor of y?
False
Suppose -7*c + 10 = -6*c. Is 10 a factor of c?
True
Let u(l) = -13*l + 3. Let h be u(2). Let m = h + 57. Suppose -4*b + m = 2*v, 38 - 3 = 2*v + 5*b. Does 8 divide v?
False
Let r(q) = 14*q**3 + q**2 - 1. Let a be r(1). Let l = 62 - a. Does 13 divide l?
False
Let n(a) = 29*a**2 + 2*a. Is n(-2) a multiple of 14?
True
Suppose -l - 3*h = -4 - 5, 2*h - 14 = -l. Is l a multiple of 12?
True
Is 17 a factor of (12/8)/((-6)/(-204))?
True
Let m be (-48)/(-9)*135/6. Let h = -82 + m. Is 10 a factor of h?
False
Let t = -6 - -48. Does 5 divide t?
False
Let a(n) = 20*n + 20. Let m(f) = 4*f + 4. Let t(g) = -2*a(g) + 11*m(g). Does 16 divide t(7)?
True
Suppose -5*b + 5*z = -15, 0 = -z + 5 - 4. Let f(q) = 2*q**2 - 4*q + 3. Does 5 divide f(b)?
False
Let a be 1/(-4) - (-5)/20. Suppose -2*h - 8*j = -7*j - 10, 4*j - 28 = -5*h. Suppose a = -n - 2*u, 4*u + 48 = h*n - 0*n. Does 4 divide n?
True
Suppose 81 = -b + 4*b. Let w be (-6)/(3 + b/(-6)). Does 10 divide (w/5)/(2/100)?
True
Let r be (-20)/3 - 1/3. Let v = 9 + r. Suppose v*j + 4 = 3*j. Is 2 a factor of j?
True
Let t(h) = -3*h. Let a be t(-3). Suppose -2*j - 2*y - 34 = 0, 0 = -0*y - 3*y + a. Let o = 36 + j. Does 8 divide o?
True
Let h(q) = q. Let i be h(0). Is 5 a factor of i + 21/(1 - -2)?
False
Suppose 17 = 3*q - 28. Is q a multiple of 15?
True
Let f = 15 + 27. Is 21 a factor of f?
True
Suppose -f + 3*f = -4*n + 170, -3*f + 213 = 5*n. Is n a multiple of 14?
True
Suppose -2*l - 24 = f + 3*f, -4*f = -3*l + 44. Is 3 a factor of 0/2 - f/1?
False
Let a = 10 - -9. Let p(d) = -2*d + 5 - a - 3*d. Is 16 a factor of p(-10)?
False
Let c(u) = 0*u - u + 5*u**3 - 2 + 2 + u**2. Let x be c(1). Suppose -r = 4*l - 97, -l - 29 = -2*l - x*r. Is 8 a factor of l?
True
Let m = -4 - -3. Is 3 a factor of -5*m*(1 + 0)?
False
Let s be ((-1)/(-1))/((-1)/(-6)). Suppose 0 = -j + s*j - 35. Suppose j = 3*l - 11. Is 3 a factor of l?
True
Let u(r) = 7*r - 21. Is 10 a factor of u(9)?
False
Let q = 530 - 376. Suppose -q - 32 = -3*l. Let c = l - 40. Is 22 a factor of c?
True
Let h = -134 + 197. Is 3 a factor of h?
True
Let h be (2/6 - 2)*-3. Suppose h*n + 88 = 4*j - j, -4*n - 67 = j. Let r = n - -43. Is r a multiple of 19?
False
Suppose 3*o - 5*w - 257 = 600, w + 1 = 0. Is 30 a factor of o?
False
Let a = -12 - -52. Is 8 a factor of a?
True
Let i = 14 - 8. Suppose 2*x = -3*h + 17 + i, 10 = 2*h. Suppose 4*c - f - 27 = -0*c, -x*f = 2*c. Is c a multiple of 4?
False
Suppose -4*g + 70 = -162. Suppose g + 82 = 5*p. Does 14 divide p?
True
Suppose 3*f = -3*t + 231, f + 4*t - 3 - 83 = 0. Is 37 a factor of f?
True
Let j = -166 + 116. Let h = j - -97. Does 12 divide h?
Fals