*d + 12 = 0, 15 = -8*r + 3*r - 3*d. Does 10 divide (3/1)/r + 11?
True
Let p = 111 - 29. Let x = -59 + p. Does 13 divide x?
False
Let n = -28 + 58. Is 10 a factor of n?
True
Let j(o) = -o**2 - 1. Let l(w) = 12*w**2 + w - 1. Let h(s) = -2*j(s) + l(s). Is h(-1) a multiple of 7?
True
Let r(y) = 3*y - 50. Does 4 divide r(22)?
True
Let i(z) be the first derivative of z**4/4 - 2*z**3 + 5*z**2/2 + 4*z - 9. Is i(5) even?
True
Suppose 68 = c + v, -2*v = 2*v + 16. Suppose -2*m + c = -m. Is 18 a factor of m?
True
Let z(j) = -j. Suppose -5*d - 28 = -n, 0*n + 4*d = 4*n - 32. Let i be z(n). Is (i - -1) + 37 + 0 a multiple of 9?
False
Suppose -5*i = 5*m + 5, -i = -m - 3*m + 6. Is 0/m - (-3 + 0) a multiple of 2?
False
Let t = -48 + 137. Is t a multiple of 13?
False
Is 15 a factor of 16 - (-1 - 0)/(-1)?
True
Let l be -2 + 2 + 16 + 0. Suppose 4*k = -64 + l. Let q(y) = -y + 4. Is 8 a factor of q(k)?
True
Suppose 6 - 5 = l. Suppose 0 = m - 24 - 6. Is l + m/2 + 2 a multiple of 13?
False
Let p = 3 + -1. Suppose -6*u + 8 = -p*u. Suppose 2*l + l - 4*m + 14 = 0, 0 = -4*l - u*m + 18. Is l even?
True
Suppose -40 = -3*r - b, -9*b + 32 = 3*r - 4*b. Is 2 a factor of r?
True
Suppose -4*f + 612 = 4*p, 2*p = 3*f + p - 467. Does 16 divide f?
False
Suppose b - r - 183 = 0, 4*r + 34 + 152 = b. Does 14 divide b?
True
Is 11 a factor of (0 + 4/8)*22?
True
Let o be (4 - 4)*3/(-9). Let m be ((-6)/4)/(3/(-32)). Let k = o + m. Is k a multiple of 7?
False
Let c(s) = s**3 + 4*s**2 + 4. Let a be c(-4). Let b be (-21)/15 + a/10. Does 8 divide ((-1)/(-2) + b)*-16?
True
Let h = 48 - 22. Let t = h - 16. Does 5 divide t?
True
Suppose 5*i - 10 = 15. Suppose 1 + i = u. Suppose 4*m - 5*t = 33, u*m - 40 = m + 5*t. Is 7 a factor of m?
True
Is (24/16)/((-1)/(-18)) a multiple of 9?
True
Does 5 divide (-2 + 7 - -2)/(1/7)?
False
Let g(q) = 5*q**2 - 6*q**2 - 1 - 9*q + 3. Let t be g(-9). Suppose 0 = t*m - 0*m - 32. Does 11 divide m?
False
Let s be (15/(-6))/5*-4. Let q(y) = 2*y. Is q(s) a multiple of 4?
True
Suppose -4*v + 0*v = 2*i - 48, 0 = 4*i + 5*v - 93. Is i a multiple of 6?
False
Let n = 5 - 3. Does 8 divide (-4)/(2 - 5/n)?
True
Suppose -4*b - 8 = -2*b. Does 3 divide 5*((-3 - b) + 1)?
False
Let k(i) = 3*i**2 + 4*i + 1. Let f be k(-4). Let b = f + -20. Is 4 a factor of b?
False
Is 2/(-3) - (-10127)/39 a multiple of 44?
False
Suppose -30 = 5*r - 80. Suppose -t + 32 = 2*x, x - r = -0*x + t. Is x a multiple of 9?
False
Let d(c) = -34*c - 3. Does 33 divide d(-5)?
False
Suppose -r - 4*r + 100 = 0. Suppose i + 7 = -3. Let t = i + r. Is t a multiple of 5?
True
Suppose 9 + 6 = 5*j. Let t(f) be the first derivative of 5*f**2/2 - f + 1. Does 12 divide t(j)?
False
Let l(t) = -t - 2*t**3 - 2 - 3*t - 3*t**2 + 0*t**3. Let h be l(-2). Suppose 2*f + 2 = y - 3, y = 5*f - h. Is 14 a factor of y?
False
Suppose 16 = 3*l - 0*l - 2*y, -3*l - 5*y + 2 = 0. Is l a multiple of 4?
True
Let o be 0 + -1 + 14 + 3. Suppose 0*x = 2*t + 5*x - o, -4*t - 4*x + 56 = 0. Is t a multiple of 6?
True
Let f(h) = 2*h**3 + 6*h**2 + 2*h + 1. Let b be f(-5). Let y = 227 + b. Is y a multiple of 37?
False
Let z = -5 + 7. Let l be (-253)/(-7) + z/(-14). Let n = l - -8. Is 18 a factor of n?
False
Let t = 12 + -8. Suppose -t - 35 = -3*m. Does 13 divide m?
True
Let w be -7*48/(-9)*3. Does 9 divide w/6 - 12/18?
True
Let d(k) be the third derivative of k**6/120 - k**5/10 + k**4/3 - 7*k**3/6 - 4*k**2. Is d(6) a multiple of 14?
False
Let x(t) = -6*t**2. Let b be x(-4). Is 27 a factor of (b/(-9))/((-4)/(-30))?
False
Let z = 275 - -95. Suppose -j + k + 89 = 4*k, 0 = -4*j - 5*k + z. Does 16 divide j?
False
Let a(l) = -3*l - 2. Does 10 divide a(-5)?
False
Suppose 4*c = v - c - 142, 0 = -v + 3*c + 134. Does 8 divide v/8 + (-6)/24?
False
Suppose -v = -5*f + 351, -f + 0*f = 2*v - 79. Is f a multiple of 31?
False
Suppose 5*v = -i + 18, -v - 3*i = -i - 9. Suppose -h = v*h - 16. Suppose -x + h*x - 6 = 0, 48 = 3*l - 3*x. Is l a multiple of 14?
False
Let i = -3 - -51. Is i a multiple of 16?
True
Let h(w) = -4*w**2 - 3*w**2 + 3 + 4 - 2*w - w**3 - 1. Let c be h(-7). Suppose n - l - 11 = 13, -4*l = c. Is n a multiple of 19?
True
Suppose -d + 2*u + 18 + 56 = 0, 5*u = -4*d + 322. Is d a multiple of 17?
False
Let j = -220 - -510. Is 10 a factor of j?
True
Suppose -3*t - 3*r + 99 = t, 5*t + 4*r - 123 = 0. Does 6 divide t?
False
Let g(c) = -59*c**3 + c**2. Let i be g(-1). Suppose 0*v = 3*v - i. Is v a multiple of 9?
False
Let y = -7 - -10. Suppose 18 - 3 = -y*b, 4*b + 50 = 5*h. Is h a multiple of 3?
True
Let u(f) = -5*f - 1. Let g be u(-4). Let j = g - 39. Does 10 divide (3/1)/((-3)/j)?
True
Let b(o) = -o - 1. Let n be b(-8). Suppose 0 = -5*z + 5, 2*g + 8 = n*g - 2*z. Suppose -4*l - 55 = -5*h, -g*h + 7*h - 2*l - 45 = 0. Is 6 a factor of h?
False
Let f be 1 + (0 - -2 - 0). Suppose 595 = -2*v - f*v. Let j = 170 + v. Is j a multiple of 13?
False
Let y(x) = x**2 + 11*x + 3. Let m(f) = f**3 + 6*f**2 + 7*f - 1. Let h be m(-5). Is y(h) even?
False
Let s(w) be the first derivative of w**4/4 + 4*w**3/3 + 2*w**2 + w + 3. Let y be s(-3). Does 18 divide -4 + (y - -4) - -38?
True
Let q(p) = -21*p**3 - 4*p**2 - 2*p - 1. Let i(f) = -f**3 + f**2 + f. Let w(j) = 3*i(j) + q(j). Let l be w(1). Let t = -13 - l. Is 12 a factor of t?
True
Is 22 a factor of 1/((-4 - 0)/(-92))?
False
Suppose -g + 468 = 3*g + 4*q, -3*q - 339 = -3*g. Let h = g + -70. Let i = h - 27. Is 18 a factor of i?
True
Suppose 0 = j + 2, 0 = 3*q - 2*j - 0*j - 268. Does 11 divide q?
True
Suppose -16 = -8*z + 4*z. Suppose z*x - 1 = 7. Suppose -4*d + x*r = -42, 3*d - 2*d + 12 = 5*r. Is 5 a factor of d?
False
Suppose -z + 2 = -4. Is 17 a factor of ((-46)/(-3))/(2/z)?
False
Suppose -2 = 4*o + 3*y - 6, o = -4*y + 14. Does 10 divide ((-208)/(-20))/(o/(-5))?
False
Suppose 2*b + b + 4*o - 4 = 0, 2*o = -4*b - 8. Does 19 divide b/(-2) - 385/(-7)?
True
Suppose -t + 1 = c - 0, -2*c - 2 = 0. Suppose o - t*l + 6 = -o, -2*o - 4*l + 6 = 0. Does 12 divide 3 + o + (12 - 2)?
True
Suppose 6*c = q + 2*c + 35, -5*q + 2*c = 139. Suppose 34 = 3*o + 223. Let l = q - o. Is l a multiple of 18?
True
Let b(s) = 2*s**2 + 2*s + 3. Let i be b(-2). Suppose 3*m - i - 14 = 0. Let u = m - -5. Does 4 divide u?
True
Suppose -2*q = -5*y - 30, -q - 4*y + 2*y + 6 = 0. Does 15 divide 21/(-35) - (-546)/q?
False
Suppose -13*b + 24 = -12*b. Is 12 a factor of b?
True
Suppose 93 + 83 = 4*l. Does 11 divide l?
True
Let w = -237 - -468. Is w a multiple of 21?
True
Let p be 1 + 1 - 4/(-2). Let m(n) = -p*n**2 + 19*n**3 + n**2 + 2*n**2. Does 12 divide m(1)?
False
Let b be (-3)/1*-1 + 1. Suppose y - 7 + 1 = w, b*w + 25 = 5*y. Suppose 3*h - y = 14. Does 2 divide h?
False
Let q(f) be the third derivative of 1/60*f**5 + 0 - f**2 + 0*f + 2/3*f**3 - 1/6*f**4. Does 10 divide q(6)?
False
Suppose b - 5 + 1 = 0. Let s(v) = -5*v**2 + 5 + 6*v**2 + 0 - 4*v. Does 2 divide s(b)?
False
Let a = 33 - 11. Is (-2)/(-3 - (-65)/a) a multiple of 11?
True
Suppose -t - 35 = -157. Is 61 a factor of t?
True
Let f(x) = -72 + 238 - 2*x + 3*x. Let i be f(0). Suppose -i + 31 = -5*c. Is c a multiple of 13?
False
Let l be 34/(1 - 3)*-1. Let b = l + 52. Is 23 a factor of b?
True
Let p = 5 + 0. Suppose -66 = p*t - 11. Is (-2832)/(-88) - (-2)/t a multiple of 16?
True
Let o(s) = 2*s**3 - 3*s**2 + s + 2. Let j be o(2). Let k be ((-6)/2)/(-3) - j. Let y = k - -15. Is 4 a factor of y?
True
Let a(l) = l**2 + 8*l - 64. Does 26 divide a(8)?
False
Suppose -121 = -j - 2*b, -2*b = 3*b + 5. Does 41 divide j?
True
Let k(u) = -2*u**2 + 1 - u**3 - u**2 + 2. Does 6 divide k(-4)?
False
Does 24 divide 8/6*(-1)/((-2)/36)?
True
Let n = 252 - 158. Does 5 divide n?
False
Let r(j) = -j - 2. Let a be r(-2). Let m = 2 - a. Does 5 divide 1*m - (-10 - -2)?
True
Let i be 9*4/(-12)*-22. Suppose 3*j - 2*v - 119 = 0, 4*j - 5*v - 88 = i. Is 13 a factor of j?
False
Suppose t + 23 = b, 0 = -0*b - b - 3*t + 39. Let w be b/2 + (-1)/(-2). Suppose 2*i - i - w = 0. Does 11 divide i?
False
Let i = 7 - 2. Let q(a) = -2*a. Let b be q(i). Is 4 a factor of 1 - (2 + -2 + b)?
False
Let h = -5 + 5. Suppose o = -h*o + 21. Is 8 a factor of o?
False
Suppose 4*b = 874 - 294. Is 17 a factor of b?
False
Let s = 49 + -12. Is 10 a factor of s?
False
Suppose 0 = 4*f - 9 - 123. Is 3 a factor of f?
True
Suppose -8*u = -4*u, 5*o + 4*u - 20 = 0. Suppose -4*r + 90 = -0*