. Let z = a - v. Does 9 divide z?
True
Let z = -107 - -201. Is z a multiple of 11?
False
Let v = -20 - -29. Does 4 divide v?
False
Suppose 3*f - 138 = -3*l + 45, -3*f + 201 = -3*l. Is 31 a factor of f?
False
Does 32 divide 8340/45 - 8/6?
False
Is 9 a factor of ((-48)/112 + 8/(-14))*-70?
False
Does 30 divide -5*1*((-3216)/(-30))/(-4)?
False
Let d be 0 + 1 - 2/(1*-2). Let t(s) be the second derivative of 7*s**4/12 + s**3/6 - s**2/2 + s. Is t(d) a multiple of 12?
False
Suppose -2*i + 36 = -0*i. Suppose -i = 3*g - 5*g. Does 2 divide g?
False
Let y = 52 - 34. Suppose h + m = y, -2*m - 46 = -3*h + 3*m. Is h a multiple of 15?
False
Suppose -3*c + 4*p = -0*p - 10, 3*p + 2 = 5*c. Let f = 193 - c. Suppose 0*b + f = 5*b. Does 14 divide b?
False
Let c be 1 - (2 + (0 - 4)). Let r(s) = -5*s - c + 8*s**2 - 2*s**3 - 2 + s**3. Is 9 a factor of r(7)?
True
Suppose -66*m - 255 = -69*m. Is 16 a factor of m?
False
Does 17 divide -34*1*(-2)/2?
True
Is 122 + 1 + (2 + -3 - -4) a multiple of 23?
False
Let q be (-15)/(-5) - 1*-1. Suppose -q = -2*p + 4. Suppose 3*j - p*w = -2*j + 40, 3*j = -2*w + 2. Is 4 a factor of j?
True
Let s(o) = 2*o**3 + 3*o**2 + 3*o + 2. Let r be s(-2). Let n be (-30)/r + (-2)/(-8). Let y(h) = 4*h**2 - 4*h - 4. Does 22 divide y(n)?
True
Suppose -5*o + 2*f + 96 = 0, 2*o + 2*f = 41 + 3. Is 4 a factor of o?
True
Let i(o) = -o**2 + 19*o - 61. Is i(14) even?
False
Suppose -3*k - 18 = 3*t, -4*k - 7 = 3*t + 20. Let u be (15/(-9))/(3/k). Suppose -u*v = 7 - 32. Does 5 divide v?
True
Let a(h) = 16 - 8*h - 12*h + 19*h. Does 3 divide a(7)?
True
Suppose 0*o + 3*o + b - 41 = 0, 5*o - 35 = 5*b. Suppose 0 = -3*j + o + 33. Is 6 a factor of (-3)/6 - j/(-2)?
False
Let b(h) be the second derivative of h**5/20 - h**4 + h**3/3 - 17*h**2/2 - 3*h. Does 4 divide b(12)?
False
Let j(s) = -s**2 - 6*s + 5. Does 13 divide j(-4)?
True
Suppose -3*z = -5 + 14, -2*k = z - 13. Let y = -6 + k. Suppose -r + 24 = r + y*t, 5*t + 10 = 0. Is 9 a factor of r?
False
Let q(p) = p**2 + p. Let y be q(-2). Let c be (-4)/(-1) + -2 + 0. Suppose c*x - 15 = -z, -y*x = 3*z - 1 - 24. Does 4 divide z?
False
Does 10 divide (-1105)/(-15) + -2 + 7/3?
False
Let a = -30 + 50. Is a a multiple of 5?
True
Suppose -5 = -4*g + 11. Suppose -g*q - 28 - 56 = -4*d, 4*q + 5*d + 84 = 0. Is (-6)/q - 748/(-28) a multiple of 9?
True
Suppose -7 - 11 = -3*y. Does 7 divide (-1 - 6)/((-2)/y)?
True
Let c(h) = 3*h + 14. Is c(7) a multiple of 15?
False
Let u(r) = -r**2 - 25*r - 63. Is 12 a factor of u(-21)?
False
Let b(v) = -v + 2. Let k be b(-4). Let n be ((-18)/(-4))/(3/k). Let q = n + 11. Is q a multiple of 10?
True
Let w be 18/5 - 6/(-15). Let y(g) = 2*g**2 - 5*g + 2. Let k be y(3). Suppose -w*c + 133 = -a, k*c = -2*a + 134 + 16. Is 16 a factor of c?
True
Suppose -3*w - w = 104. Is 8 a factor of -2 - ((0 - -2) + w)?
False
Let j(f) = -f + 21. Is j(-6) a multiple of 3?
True
Is 12 a factor of -4 + 1 + 57 + -6?
True
Let t(l) = 4*l**2 + 8*l - 9. Let f(k) = 15 + 2 - 7*k**2 - k - 14*k. Let c(m) = 3*f(m) + 5*t(m). Does 6 divide c(-5)?
True
Let q(c) = 14*c**2 + c. Let b be q(-1). Suppose -3*y = -b - 77. Is y a multiple of 17?
False
Suppose -7*h - 2*t + 134 = -3*h, 0 = -3*h + 3*t + 123. Does 13 divide h?
False
Suppose -2 = -q, -2*q - 33 = 5*z - 127. Is 7 a factor of z?
False
Let w = 875 - 553. Suppose -5*l = -208 - w. Does 34 divide l?
False
Let d(n) = n + 5. Let x be d(7). Suppose x = 3*v - 24. Is 15 a factor of 9/v*-5*-4?
True
Suppose o - 7 + 3 = 0. Suppose 0 = 2*m - 1 - 1, a - 5*m - o = 0. Is 3 a factor of a?
True
Let u = -8 + 6. Does 11 divide 28*12/8 - u?
True
Suppose -4*b + 0*b - 136 = 0. Let z = 79 + b. Is 14 a factor of z?
False
Let z be 0 - -6 - (-4)/(-2). Let w = z + -5. Does 8 divide (19/w)/((-2)/2)?
False
Let l(d) = d**2 + 2*d + 1. Let m be l(-3). Suppose -j + 24 + 19 = -4*g, -2*j = 4*g - 146. Suppose -15 = m*x - 4*n - 63, -n + j = 4*x. Is 5 a factor of x?
True
Suppose 714 = 2*n + 54. Does 15 divide n?
True
Let z = 1 + 2. Let f be 1*(z*4)/(-2). Let x = -2 - f. Is 4 a factor of x?
True
Let k(z) = -2*z**3 + 3*z**2 + 5*z - 6. Let a be k(4). Let j = -38 - a. Suppose -j = -r - 0*r. Is r a multiple of 10?
False
Let o = 2 - -1. Let w be o*(-1 - 21/(-9)). Suppose 12 = y + 4*z, w*y - 5*z = 3*y + 3. Does 4 divide y?
True
Suppose -4*z - 12 = -z, -3*x = z + 4. Suppose -2*f + 7 + 3 = x. Suppose 2*b = f*q + 69, 5*b - q = 122 - 7. Does 6 divide b?
False
Suppose -3*c - 18 = w - 3*w, 0 = -4*w + 3*c + 24. Suppose -2*g = w*g + 3*i - 46, -4*g + i + 47 = 0. Is g a multiple of 11?
True
Let l(n) = n - n - 1 + 2*n. Let k be l(-1). Is 7 a factor of -1 - k - 1*-5?
True
Let r(j) = j**2 + 4*j - 4. Let v be r(-5). Let b(k) = 119*k - 2. Let m(o) = -60*o + 1. Let x(s) = 3*b(s) + 5*m(s). Is x(v) a multiple of 19?
False
Suppose 3*b - 38 = -4*f, -4*b + 8*b - 38 = f. Does 7 divide b?
False
Suppose -3*h + 4*w = -120, 2*h = 4*w + 117 - 41. Is h a multiple of 11?
True
Is 30 a factor of (6/(-15))/(2/(-150))?
True
Let m(q) = -q - 3. Let x be m(-5). Let g be (68 - 0)*x/(-2). Let b = g + 101. Is b a multiple of 16?
False
Let y(s) = 2*s**2 + 2*s - 8. Does 26 divide y(-6)?
True
Suppose -2*u + 6 = u. Suppose u*j = j + 18. Is j a multiple of 9?
True
Let x = 1 + -1. Suppose -b + 16 + 25 = x. Does 14 divide b?
False
Let m = -5 - -2. Let i be (2 - 0) + m/(-3). Suppose 15 = -i*j + d + 49, j - 8 = d. Does 13 divide j?
True
Suppose x = -x + z - 1, -z = -5*x + 2. Suppose x = -t, -3*r + 3*t - 7*t = -83. Is 7 a factor of r?
False
Suppose 0*b = -5*b + 20. Suppose 0 = f + 3 + b. Does 6 divide ((-10)/f)/(1/7)?
False
Let o be (-6)/(1 - (-1 + 4)). Suppose o*r - 11 + 0 = -5*a, 0 = -3*r + 3*a + 3. Suppose -3*j + 45 = h, 5*j + 13 = r*h - 22. Is h a multiple of 15?
True
Let i be (36/(-30))/((-2)/(-30)). Is ((-20)/(-3))/((-3)/i) a multiple of 14?
False
Let j = 4 - 2. Let n(p) = 6*p + 3*p - 5*p - j. Does 11 divide n(6)?
True
Does 6 divide (36/(-42))/((-1)/7)?
True
Suppose 0 = -7*t - 0*t + 49. Is t a multiple of 3?
False
Let n = 28 - 25. Suppose -n*o + 294 = 5*b, -o + 9 = -3*b - 75. Is o a multiple of 31?
True
Let z = -109 + 134. Is z a multiple of 17?
False
Let t = -2 + 4. Is 16 a factor of 32/t + 3 + -3?
True
Suppose 5*y + 20 = 0, -3*v + 5*y = -7*v - 4. Suppose v*t = t + 54. Does 9 divide t?
True
Let r be (-472)/6 - (-14)/21. Let v = r - -120. Does 13 divide v?
False
Let x be 27*-1*3/(-9). Suppose 0 = -v - x - 46. Let j = -21 - v. Does 17 divide j?
True
Suppose 6*f - 13*f + 1673 = 0. Is 10 a factor of f?
False
Let r(u) be the first derivative of 8*u - 7/2*u**2 - 4 + 1/3*u**3. Does 16 divide r(8)?
True
Suppose 6*v - 11*v + g = -427, -93 = -v + 4*g. Does 18 divide v?
False
Suppose -r = 2*w - 236, 0*w - 3*r - 452 = -4*w. Is 27 a factor of w?
False
Suppose -3*t = -13 + 1. Suppose 0 = 3*v - 18 + 3. Suppose 4*k + t*j = -k + 212, 188 = v*k - 4*j. Does 20 divide k?
True
Let q(t) = -5*t + 41. Is q(6) a multiple of 11?
True
Suppose 4*j + 21 + 19 = 0. Is 11 a factor of (-6 - 0)/(3/j)?
False
Suppose -s - 4*n + 3 = 9, 4*s + 4*n = 0. Suppose -r = 1 + 1, -r + s = 2*h. Suppose -b + 66 = 2*g + 3*b, -54 = -h*g - b. Is 9 a factor of g?
False
Let n(l) = -23*l + 1. Let k(i) = -i**2 + 4*i. Let h be k(2). Suppose -h*w + 3 = 7. Does 14 divide n(w)?
False
Let r(g) = -3*g**3 - 25*g**2 - 44*g + 8. Let x(l) = 2*l**3 + 17*l**2 + 29*l - 5. Let p(b) = -5*r(b) - 8*x(b). Is 8 a factor of p(-10)?
False
Let v = -286 + 405. Is 17 a factor of v?
True
Let b = -6 + 14. Let r = b - -10. Does 9 divide r?
True
Let d(l) = l**2 + l - 8. Let h be d(7). Suppose o - 5*a + 3*a - h = 0, 2*o - a - 90 = 0. Is o a multiple of 11?
True
Let u(m) be the third derivative of m**5/60 + m**4/4 - 2*m**3/3 - m**2. Let g be u(-7). Suppose 0*l - 3*l = 0, -l - 63 = -g*i. Is i a multiple of 11?
False
Suppose 4*z - 5*z = -119. Is z a multiple of 15?
False
Let t = 279 + -54. Is 25 a factor of t?
True
Suppose -x + 305 = 4*x. Suppose -5*i = q - x, -2*i = -q - i + 31. Is q a multiple of 12?
True
Let x(f) = 4*f + 3*f + f. Let w be x(6). Suppose 0 = -3*c + c + w. Is 12 a factor of c?
True
Suppose -127 + 19 = -2*h. Let y = h - 28. Does 13 divide y?
True
Is 1 - -25 - (-1 + (8 - 4)) a multiple of 23?
True
Suppose 0 = 4*x + 4*d - 524, 2*d + 8 = 2. Does 13 divide x?
False
Is 46 + 1 + (-2 - -1) a multiple of 4?
False
Let j(m) = -m**2 + 7*m + 11. Let q be 