. Let m be x(2). Let j(l) = l**2 + 5*l + 2. Let n be j(m). Does 6 divide 12*(n - 15/(-6))?
True
Suppose 2*v + x - 71 = -v, 0 = x - 5. Is 11 a factor of v?
True
Let m be 9/12 + (-2)/(-8). Suppose -m = 2*s + 5*j, -4 = s + s + 2*j. Let p = 5 - s. Does 6 divide p?
False
Let a be 0/((-4)/(6/3)). Suppose 3*k + 15 = o, a*o - 5*o + 117 = -k. Let g = o + -13. Is 11 a factor of g?
True
Suppose 0 = -4*q + 6*q - 24. Is 6 a factor of q?
True
Suppose -86 = -4*q - 30. Is 7 a factor of q?
True
Let m be 1 + 1 + (2 - 1). Suppose 4 + m = x. Is x a multiple of 7?
True
Let t(k) = k + 10. Let d = 3 + 2. Suppose d*b + 25 = v + 4*v, -5*v = -b - 5. Is t(v) a multiple of 10?
True
Let q = 67 + -38. Let c = q + -42. Does 5 divide -2 + (-2 - (2 + c))?
False
Suppose -42 = 5*b - 4*b. Is b/(-5) - 2/5 a multiple of 6?
False
Suppose -3*u + 720 = u. Is 10 a factor of u?
True
Suppose -4*w - 4*b + 176 = -3*b, 3*w + b - 132 = 0. Is w a multiple of 12?
False
Let z = -13 - -8. Let t = z + 7. Suppose -t*f - 5*p = -40, 50 - 20 = f + 5*p. Does 5 divide f?
True
Suppose 0 = p + k + 3*k - 47, 0 = -5*p + 4*k + 307. Is p a multiple of 19?
False
Let r(i) = 5*i. Suppose 7 = 4*m - 1. Let z be r(m). Is ((-64)/10)/((-2)/z) a multiple of 16?
True
Let a(y) be the third derivative of 3*y**5/20 + y**4/24 + y**3/6 - 7*y**2. Does 35 divide a(-2)?
True
Suppose 6*l + 870 = 11*l. Suppose 3*w = -0*w + l. Is 18 a factor of w?
False
Suppose 5*f - 7 = 8. Suppose -3*m + 26 = 4*p - 25, -4*m + f*p + 93 = 0. Is 5 a factor of m?
False
Let v = -27 + 159. Does 22 divide v?
True
Let k(r) = 5*r**3 - 7*r**2 + 9*r - 6. Let x(m) = -4*m**3 + 6*m**2 - 8*m + 5. Let y(c) = -3*k(c) - 4*x(c). Let w be y(3). Does 11 divide w + 1*(0 - 1)?
False
Let g(p) = p**2 + 10*p - 8. Let u be g(-11). Suppose -u*b - 25 = -8*b. Is b a multiple of 5?
True
Suppose -2*g - 2*a = -6, 10*a - 5*a = -g + 11. Suppose g = 2*u - 3. Suppose u = 3*m - 4. Is m a multiple of 2?
True
Suppose 3*t = 5*b + 104 + 291, 2*b - 290 = -2*t. Is 28 a factor of t?
True
Let b(a) = a**2 + a + 1 - 3*a + 0*a. Let i be (12/(-18))/((-2)/(-6)). Is 3 a factor of b(i)?
True
Let y = -45 - -77. Suppose 3*n + 10 = -y. Is 11 a factor of (-4)/n - (-912)/42?
True
Suppose -2*g + 5*g - 3*k = 48, -4*k = 4*g - 72. Suppose -5*m + g = -123. Is m a multiple of 14?
True
Suppose 0 = -7*z + 4*z. Let p be z*(-3 - 5/(-2)). Suppose p = 5*l - 37 + 2. Does 2 divide l?
False
Let p = 51 + -23. Does 14 divide p?
True
Suppose 0*g - 2*h = -3*g, -5*g - 2*h = 0. Suppose -q + 104 + 10 = 0. Suppose 5*x - y = -g*y + q, 0 = -4*x - 5*y + 97. Is x a multiple of 9?
False
Let z(j) = 14*j**2 - 1. Does 13 divide z(1)?
True
Suppose 5*y - 78 = -u + 188, 0 = -5*u - 2*y + 1261. Suppose 43 = -2*v + u. Let p = v - 67. Is p a multiple of 15?
False
Suppose 5*t - 14 - 21 = 0. Let u(g) = 3*g**2 + 3*g - 7. Let b(i) = -2*i**2 - 4*i + 7. Let a(o) = 4*b(o) + 3*u(o). Is a(t) a multiple of 7?
True
Suppose 0 = -4*f + 61 + 191. Is 27 a factor of f?
False
Let i(z) = -4*z - 1. Let f be i(3). Let x = 19 + f. Is 3 a factor of x?
True
Suppose 3*q + 195 = -2*q. Let x = 65 + q. Is 7 a factor of x?
False
Suppose -39 + 236 = p. Suppose -s = -4*q + 158, 8*q - s - p = 3*q. Is q a multiple of 13?
True
Suppose 0*z = z - 5*m + 782, 0 = -5*z - 5*m - 3790. Let f be 2/(-4) + z/(-4). Suppose -q = -6*q + f. Is q a multiple of 19?
True
Let u(q) = 31*q**2 - 8*q - 6. Is u(-2) a multiple of 46?
False
Suppose -9*y + 5*y = 0. Suppose d - 6*d + 335 = y. Is d a multiple of 28?
False
Let v = -15 - -5. Does 3 divide 30/20*v/(-3)?
False
Suppose 0 = 4*u + 2*r - 1228, 2*u + 5*r - 442 - 172 = 0. Does 44 divide u?
False
Let m(r) = -r**2 + 2*r - 1. Suppose l = -4*x + 6 + 2, -l = -5*x + 1. Let f be m(x). Let o(q) = -q**2 + 18. Does 9 divide o(f)?
True
Is -2*((-1432)/24 - 2/6) a multiple of 20?
True
Suppose 192 = b + 7*b. Does 10 divide b?
False
Let y(v) = v**3 + 6*v**2 - v - 1. Let g be y(-6). Suppose -2 = t - g. Suppose 1 = -2*q + 5*u + 16, -2*u = q - t. Is q even?
False
Suppose 0 = 3*z - 311 + 44. Let v be (-4)/(-8) + z/2. Suppose 2*r = -3*c + 114, c + 0*r + 3*r = v. Does 18 divide c?
True
Let r be ((-3)/2)/(33/(-110)). Suppose -r*q + 50 = -55. Is q a multiple of 6?
False
Is 12 a factor of (672/64)/((-2)/(-16))?
True
Let o = 36 + -22. Does 7 divide o?
True
Suppose -3*v - 5*h = 11, 0 = 2*v + 2*h + h + 6. Suppose 0 = -v*x + 3 + 81. Is 17 a factor of x?
False
Suppose -2*m + 588 = -t - t, 3*t + 1480 = 5*m. Is 36 a factor of m?
False
Let k = -8 + 10. Suppose -3*i - 5*l + 2*l + 9 = 0, i + k*l = 0. Is i a multiple of 4?
False
Let m(g) = 2*g**2 - 3*g - 4. Is m(7) a multiple of 15?
False
Let g = 14 + -16. Is 20 a factor of ((-122)/(-3))/(g/(-3))?
False
Suppose 0 = d - 5*k - 7, -k = -2*d - 3*k + 26. Let w be (-16)/(-6) - (-4)/d. Suppose 0 = -w*c + 6 + 69. Does 18 divide c?
False
Let h(i) = i**3 - i**2 + 2*i + 4. Let b be h(0). Suppose -b*z + 20 = z. Is z a multiple of 4?
True
Let j(h) = -h**3 + 4*h**2 + 2*h - 6. Let i be j(4). Let f be i - 2/2*1. Is 15 a factor of 1/(f/30 - 0)?
True
Let b be 1/(-2) - 9/(-2). Does 12 divide 608/20 - b/10?
False
Suppose 3*h - 17 = 49. Is h a multiple of 18?
False
Does 29 divide 3/((-5690)/(-1135) - 5)?
False
Let d = -38 - -65. Let s(l) = l**3 - 5*l**2 + 5*l - 1. Let u be s(4). Suppose u*b = -0 + d. Does 5 divide b?
False
Suppose -m - 1 = -4. Let r = 17 + m. Does 17 divide r?
False
Suppose -2*v = -v - 25. Does 5 divide v?
True
Suppose h + 4*h = 650. Let d = h - 85. Is d a multiple of 15?
True
Let s(t) = -t**2 - 12*t + 8. Does 9 divide s(-9)?
False
Does 26 divide (-148)/(-6) - (-16)/12?
True
Let y be 2/(-13) + (-112)/(-52). Suppose -51 = -y*g + 9. Is 15 a factor of g?
True
Suppose -72 = -2*x - 3*c + 247, 5*x - 5*c = 785. Is x a multiple of 12?
False
Let n = -70 + 123. Does 12 divide n?
False
Let n(r) be the second derivative of -r**3/2 + r**2/2 + 2*r. Let y be n(-4). Let f = 7 + y. Does 10 divide f?
True
Suppose 0 = -5*f + 3*f - 10. Let g(h) = h**2 - 1. Is g(f) a multiple of 6?
True
Let y(c) = c**2 - 3*c - 2. Let n be y(4). Suppose -a + 7 = n. Suppose 0 = 4*u - a*t - 89, 7*u = 3*u + 3*t + 95. Is 13 a factor of u?
True
Suppose -4 = r + 5. Suppose -2 = -6*w - 8. Let j = w - r. Is 8 a factor of j?
True
Suppose -4*t = -0*t - 8. Is 3 a factor of ((-8)/t)/((-2)/3)?
True
Let a = 57 + -35. Suppose -3*f - 5*c = -c, 4*f - 2*c - a = 0. Suppose -l - 45 = -f*l. Is l a multiple of 15?
True
Let s be (9/2)/(2/4). Is 15 a factor of s/12*-1*-100?
True
Let r = 0 + 0. Suppose u - 23 + 1 = r. Is 7 a factor of u?
False
Suppose 0 = s + 2 - 7. Let m = s - 3. Suppose 2 = -m*j, -4*b + b + j + 43 = 0. Is b a multiple of 14?
True
Let y = 3 - 7. Is 14 a factor of ((-6)/y)/((-1)/(-26))?
False
Let j(s) = -8*s**3 - 2*s**2 - 4*s - 6. Does 40 divide j(-2)?
False
Let y(o) = o + 31. Does 6 divide y(-13)?
True
Suppose -4*t + 14 = -3*t. Is t a multiple of 11?
False
Let g(o) = 3*o**2 - 6*o - 7. Let w be g(6). Suppose -3*j + w = 2. Is 15 a factor of j?
False
Suppose -109 - 35 = -2*m. Does 18 divide m?
True
Let a(f) = f - 12. Let q be a(0). Let v = 4 + q. Let w = 11 - v. Is w a multiple of 8?
False
Let v(b) = b + 3. Let p be v(-3). Suppose p = -5*l - 4 + 9. Does 15 divide -5 + 6 - l*-29?
True
Let z = 4 - 0. Is 4 a factor of z?
True
Is 29 a factor of (2 - 53/(-2))/(2/4)?
False
Suppose -4*v + 4*t + 0*t = -548, -4*v - 3*t = -534. Is 32 a factor of v?
False
Let d = -30 + 60. Is d a multiple of 5?
True
Suppose l + 6 = 4*l. Suppose 2*o - 28 = -l*o. Is 7 a factor of o?
True
Let q(a) = -a**2 + 3*a + 5. Let t be q(4). Let w be 118/(3 + -1) + t. Suppose 0*y = -3*y + w. Does 10 divide y?
True
Let f(n) = 3*n**3 - 2*n + 1. Let u be f(1). Let h = 4 - u. Suppose 0 = h*v + 2*v - 88. Is 17 a factor of v?
False
Suppose -4*w - 11 = 5. Let p = w - -6. Suppose p*x - 12 = -2. Does 5 divide x?
True
Let v be ((-5)/1)/((-2)/18). Suppose v = 2*m + m. Is m a multiple of 15?
True
Let u = 25 + -39. Let f = u - -22. Is 8 a factor of f?
True
Let r(s) = -s + 26. Let y be (-1 + -2)*(-42)/9. Does 4 divide r(y)?
True
Let y(x) = x + 35. Let w(u) = -u**3 - 3*u**2 - u - 3. Let q be w(-3). Let i be 1/1*(q - 0). Is 11 a factor of y(i)?
False
Suppose 402 = c + 132. Is c a multiple of 30?
True
Let o(p) = -p**2 - 13*p - 14. Let b be o(-10). Is (b/12 - 1)*141 a multiple of 20?
False
Suppose 15 + 5 = 4*h. Suppose 0 = -4*n + 4