*o - 24, 0*o - h*o = 5*n - 10. Is (-11)/n - 12/8 a multiple of 4?
True
Let a = -4 - 6. Let v = a + 14. Let q = 16 + v. Is 10 a factor of q?
True
Let v be (-10)/4*(-18)/15. Suppose 3*i = 5*a - 243, 0 = -4*a + 3*i + 218 - 23. Suppose 12 = v*l - a. Does 10 divide l?
True
Let f(v) = 6*v - 1. Is 6 a factor of f(4)?
False
Let k(g) = 11*g + 5. Let f(m) = m**3 + 6*m**2 - 7*m + 3. Let s be f(-7). Is 10 a factor of k(s)?
False
Let u(i) = 3*i - 5. Let f be u(-5). Let q = -4 - f. Is 8 a factor of q?
True
Let l = -200 - -294. Is l a multiple of 18?
False
Suppose -4*l - 4*k - 418 = -162, k = -3*l - 200. Let t = l + 95. Is t a multiple of 9?
True
Let u = 32 + 31. Does 21 divide u?
True
Suppose -1 = 3*l - 4*l. Suppose -3 = -g - l. Suppose 0 = -g*p - 4 + 38. Is 6 a factor of p?
False
Let l be (-8)/(((-4)/(-2))/(-2)). Let x be 2/l + (-57)/(-12). Suppose p - 26 = -n - 3*p, n + x*p = 24. Is n a multiple of 18?
False
Let w = -2 + 7. Suppose -3*f = w*g - 72, g + 3*f = 4*f + 8. Is 6 a factor of g?
True
Let q be -5*3*4/(-12). Suppose 0 = 3*g - g - 186. Is g/q + (-4)/(-10) a multiple of 19?
True
Is 58 a factor of 6/(-9) + (-4688)/(-12)?
False
Suppose 5*c = -5*l + 155, 57 = c + 5*l + 10. Does 9 divide c?
True
Suppose -3*o - 13 = 11. Let h = -13 + o. Is (-16)/(-6)*h/(-4) a multiple of 14?
True
Let s(b) = -b**2 - 7*b - 5. Let z be s(-5). Suppose 2*v - z*j = 51 + 26, 4*j + 124 = 4*v. Is 10 a factor of v?
False
Let q = 146 + -122. Does 24 divide q?
True
Suppose 4*n - 4 = 12. Suppose 5*r + 13 + 73 = 4*b, -n*r = -3*b + 65. Is 4 a factor of b?
False
Suppose 55*t - 51*t - 64 = 0. Is 4 a factor of t?
True
Let f = -252 - -176. Does 4 divide (-12)/(-30) + f/(-10)?
True
Suppose l - c - 141 = 2*c, 0 = 5*l + 3*c - 669. Is 20 a factor of l?
False
Suppose -4*y + 0 - 192 = -3*m, -4*y - 12 = 0. Is m a multiple of 11?
False
Let y(m) = m**3 - 20*m**2 + 23*m + 5. Is y(19) a multiple of 27?
True
Let d(l) = l + l**2 + 5 - 4*l - l. Let j = 24 + -19. Is 5 a factor of d(j)?
True
Let s be 3 - (-1 - (-3)/3). Suppose s*n + n - 83 = x, 25 = 5*x. Let t = n + -5. Is t a multiple of 9?
False
Let l(a) = a**3 + 12*a**2 + 10*a - 7. Let b be l(-11). Suppose -w + 3*w - h - 37 = 0, 3*h = b*w - 77. Is 5 a factor of w?
False
Suppose -2 = 2*s - 6. Suppose 0 = -3*h - 0 - 6, 0 = 4*o - 5*h - 10. Suppose 0 = -5*p - 20, o = r + r - s*p - 46. Is 7 a factor of r?
False
Let k(b) = b**2 - 6*b - 10. Let w be k(7). Does 12 divide (-1)/w - 140/(-12)?
True
Suppose 0 = -0*p + 5*p - 10. Let c(r) = -2*r**3 - 3*r**2 + r + 2. Let n be c(p). Is 41/4 - n/32 a multiple of 11?
True
Let i = 46 + -28. Does 4 divide i?
False
Suppose -m = -2*q + 8, -4*q + 4 = 5*m + 2. Suppose -n + 6*n + v - 44 = 0, 0 = 4*n - q*v - 39. Is n a multiple of 9?
True
Let k = -99 + 144. Suppose 4*c - 36 = -3*m - 9, -5*m = -c - k. Is 21 a factor of 501/m - 4/6?
False
Let t(p) = -p**2 + 8*p + 17. Let k be t(7). Let z(b) = -b - 3. Let o be z(-4). Does 25 divide (k/3 + o)*5?
False
Let k be 2 + 2*(-3)/(-6). Let t be 60 + (1 + 2)/k. Suppose 26 = 2*y - 4*z, -32 = -5*y - 4*z + t. Does 17 divide y?
True
Suppose 0 = -2*t - r - 0*r + 5, 5*r + 11 = 2*t. Suppose -5*b - 2*f = t*f - 65, 4*f = 5*b - 83. Is b a multiple of 4?
False
Let w(k) = -6 + 2*k - k + 7 - k**3. Does 7 divide w(-2)?
True
Let g be 18 - 1/(1/(-2)). Suppose -5*x + g + 0 = -f, 0 = -x - 5*f + 30. Is 5 a factor of x?
True
Is (4/(-3))/((-3)/90) a multiple of 20?
True
Suppose 0 = -0*c + 2*c. Suppose -i - v + 24 = c, -4*i + 5*v + 10 = -41. Is 13 a factor of i?
False
Let n = 9 - 5. Let i = -76 - -120. Suppose -n*t + 2*t = -i. Is t a multiple of 11?
True
Does 9 divide (-1 + -10)/(-1 - 0)?
False
Suppose -y - 3*g + 13 = -27, -g - 108 = -2*y. Is 13 a factor of y?
True
Let f = 0 + -6. Let w(m) = -2 - m - 2 + m - 3*m. Is 9 a factor of w(f)?
False
Let s(q) = -14*q + 1. Let m(a) = 13*a. Let j(r) = -3*m(r) - 2*s(r). Is j(-4) a multiple of 13?
False
Let m(i) = i + 2 + 12 - 3*i**2 + i**2 + i**2. Does 11 divide m(0)?
False
Let s be 0 + 1 + 0 + 1. Suppose 7*m - 520 = s*m. Suppose -2*n + 3*a = 3*n - 128, m = 4*n - 2*a. Does 14 divide n?
True
Suppose -4*g - 18 = -g. Suppose q = -5*h + 37, 5*h + 2*q = 3*q + 43. Is (h/g)/2*-12 a multiple of 4?
True
Suppose 0*h + 8 = -4*h. Let o(x) be the second derivative of x**4/4 + x**3/3 + x**2/2 - 36*x. Is 5 a factor of o(h)?
False
Suppose -a + 59 = -11. Does 5 divide a?
True
Suppose 0*n + 3*n - 51 = 0. Is n a multiple of 3?
False
Suppose -4*u - 70 = 2*i - 3*i, 3*u = 4*i - 254. Does 16 divide i?
False
Let x(a) = a**2 + 7*a + 1. Let o(z) be the second derivative of -z**4/12 - 4*z**3/3 - z**2 + 2*z. Let d(n) = 3*o(n) + 4*x(n). Does 9 divide d(-6)?
False
Let i(s) = s**2 - 2*s + 4. Suppose x = 1 + 5. Let g be i(x). Does 7 divide (g/6)/((-8)/(-36))?
True
Suppose 4*i - 4*t = 1056, -4*t - t = 5*i - 1330. Does 27 divide i?
False
Suppose -69*n - 243 = -72*n. Does 18 divide n?
False
Let l(p) = -2*p + 1. Let b be l(-1). Suppose b*c - 165 = -2*c. Does 11 divide c?
True
Is (-16)/(-11 + 7)*(-4)/(-2) a multiple of 8?
True
Let y(a) = -a**3 - 7*a**2 - 4. Let q be y(-7). Let l = q - -10. Is l a multiple of 6?
True
Suppose 19 + 28 = -r. Let z be (-16)/2*(3 + -14). Let u = z + r. Is 15 a factor of u?
False
Does 5 divide -5*(-2 + 17)/3*-1?
True
Suppose -179 - 231 = -5*r. Let s(l) = -l**2 - 17*l - 15. Let v be s(-11). Let j = r - v. Is j a multiple of 11?
False
Suppose -14 - 20 = -2*q. Suppose 5*n + q + 38 = 0. Let m = 20 + n. Is 9 a factor of m?
True
Suppose -2*b + 183 = -h, 3*h + 5 = 2. Let l = -64 + b. Is l a multiple of 10?
False
Suppose 0 = 4*w - 10 + 66. Does 4 divide 21/w*(-8)/3?
True
Let z(a) be the first derivative of 27*a**2/2 + a - 3. Is 7 a factor of z(1)?
True
Is 11 a factor of 1/1*3*6?
False
Let f be -5*(2 + -3)*1. Let j(i) = i**2 + f*i**2 - 4 + 6 + 4*i. Is 9 a factor of j(-2)?
True
Let h be 1 - (-4)/(16/12). Suppose -16 = -2*f + 3*c - h, 3*c - 12 = 0. Does 4 divide f?
True
Is 0 - -3 - (-61 + -4) a multiple of 17?
True
Suppose -105 = -6*m + m. Does 7 divide m?
True
Let x(o) = -8*o - 3. Let p be x(-2). Let i = p + -10. Is i a multiple of 2?
False
Let d(b) = b**3 - 13*b**2 + 5*b + 7. Let a be d(13). Suppose a = 2*v - 16. Is 9 a factor of v?
False
Let b(g) = 6*g**2 + 4*g - 14. Is b(-8) a multiple of 26?
True
Suppose -5*l + 5 + 5 = 0, -4*o - 4*l - 332 = 0. Let q = 141 + o. Does 14 divide q?
True
Let w(x) = x**2 - 6*x. Let o be 1/4 - 76/(-16). Let k be w(o). Let d = 0 - k. Does 5 divide d?
True
Let q(v) = v**3 + 5*v**2 - 7*v. Let h be q(-7). Let c = h - -103. Does 9 divide (c/15)/(1/5)?
True
Does 19 divide 1/(-4 + 612/152)?
True
Suppose -2*i + 182 = -g, -i + 2*i - 93 = g. Does 11 divide i?
False
Let p(a) = 98*a**2 - 2*a + 1. Let l be 10/(-5)*(-1)/2. Let o be p(l). Let b = -68 + o. Is b a multiple of 16?
False
Let v = 270 - 186. Is v a multiple of 28?
True
Suppose -5*l + 31 = 2*c, 2*c = 6*c - l - 7. Suppose 670 - 1678 = c*w. Is 17 a factor of 2/5 - w/10?
True
Suppose -3*d + 117 = 27. Suppose 280 - d = 5*p + 5*x, 0 = 3*p - 2*x - 150. Is p a multiple of 15?
False
Suppose 0 = j + 4, 2*o + 2*o = 3*j + 92. Let i be 8/4 - 0/1. Suppose i*r - 3*r + o = 0. Does 15 divide r?
False
Let x(p) = 2*p**3 - 3*p**2 + 2*p - 3. Let v be x(2). Suppose 25 = s - 5*t, 4*t = v*s - s - 52. Is s a multiple of 8?
False
Suppose -2*a + 91 = -121. Let v = a - 61. Is 14 a factor of v?
False
Suppose 0 = 3*r - 4*c + 22, -3*r - 4*c - 5 = -15. Let k = 16 + -10. Let g = k - r. Is g a multiple of 8?
True
Suppose -z + 18 = 2*z. Does 20 divide 420/z*(-2)/(-4)?
False
Suppose -3*i + 26 + 13 = 0. Does 5 divide i?
False
Suppose -15 = 3*y, 3*x = -0*x - y + 175. Is x a multiple of 12?
True
Let g be (-4)/(-6) + 10/(-15). Suppose g = -v - v + 4. Is 2 a factor of v?
True
Let w(m) be the second derivative of m**5/20 - 5*m**4/12 - 5*m**3/3 + 5*m**2/2 + m. Let h be (-120)/24 - (-1 - 11). Is 11 a factor of w(h)?
True
Let i = 73 - 7. Is i a multiple of 4?
False
Let m(r) = r**3 + 3*r**2 - 2*r - 3. Let z be m(-2). Let j(q) = q**2 - 4*q. Does 2 divide j(z)?
False
Let n be (-21)/(-1) - (-4 + 4). Is 8 a factor of (n/15 - -1)*10?
True
Suppose 0 = -4*v + 2 + 18, 2*v - 90 = 5*c. Let z be -26 + 5 - 2/1. Let u = c - z. Does 6 divide u?
False
Let s(r) be the first derivative of r**6/120 + r**5/10 - 5*r**4/12 - 5*r**3/6 - 3*r**2/2 - 2. Let t(f) be the second derivati