of q?
True
Let a be 373*(-3 - -2) + 1. Is 13 a factor of (-2)/(-5) - a/20?
False
Suppose -4 = r, -7*g + 28 = -3*g - 4*r. Suppose 0*k + 2*k = d + 12, g*k - 28 = 4*d. Let o = k - -5. Is o a multiple of 9?
True
Suppose 0 = -0*s + 2*s - 18. Let p(m) = -5*m - 2. Let l(v) = 9*v + 3. Let j(a) = 3*l(a) + 5*p(a). Does 8 divide j(s)?
False
Let q(p) = -10*p - 50. Does 7 divide q(-6)?
False
Let h(f) be the second derivative of -1/2*f**2 - 2*f + 3/20*f**5 + 0 + 1/12*f**4 - 1/3*f**3. Is h(2) a multiple of 11?
False
Suppose -53 - 35 = -2*r. Suppose 4*j + 0*j = r. Does 5 divide j?
False
Suppose 3*f - 4*f = -63. Is f a multiple of 20?
False
Let f(u) = -u + 27. Is 22 a factor of f(0)?
False
Let f(s) = -s**3 + 2*s**2 + 12*s - 7. Does 6 divide f(-4)?
False
Suppose 15 = 3*q - 2*v + 4*v, 5*v = 2*q + 9. Suppose 0 = -3*j - 15, -6*c + q*j + 135 = -2*c. Is 15 a factor of c?
True
Suppose k = -4*h + 60, -3*h - 4*k + 67 = 9. Is h even?
True
Suppose 3*q = 4*y - 10, 2*y - 2*q + 8 = 3*y. Suppose 9*u + 2*j - 43 = y*u, 0 = j + 1. Does 3 divide u?
True
Let y(g) = -2*g**2 + g**3 + 2*g**2 + 2*g + 7*g**2 - 2*g**3. Is 14 a factor of y(7)?
True
Let u(f) = -44*f**3 + 2*f**2 - 2*f. Let w be u(2). Suppose 0 = 4*r + r + 5. Does 11 divide (r/(-2))/((-6)/w)?
False
Let z = 2 + 1. Suppose -z*o + 113 = 35. Is o a multiple of 7?
False
Let z = 24 - 17. Is 3 a factor of z?
False
Let v(r) = -r**2 + 9*r + 2. Let w be v(7). Let i(u) = -u**2 - 2*u + 3. Let t be i(-3). Is w - (-6)/(t - -2) a multiple of 11?
False
Suppose 13*n = 14*n - 60. Does 10 divide n?
True
Let c(z) = -z**3 - z**2 + 3*z - 4. Suppose -n - n = 8. Is 16 a factor of c(n)?
True
Suppose -2*d - 32 = -2*w - 6*d, -8 = -2*w + 4*d. Does 4 divide w?
False
Suppose 115 = 5*h + 5*b, 0 = -4*h - b + 143 - 45. Is h a multiple of 7?
False
Let r be 4239/15 + (-9)/15. Suppose -2*z + 8*z = r. Does 11 divide z?
False
Is 15 a factor of (12/(-10))/((-4)/200)?
True
Suppose -12 = -s - 1. Let p = s + 1. Does 12 divide p?
True
Let q(z) = z**3 + 9*z**2 - 3*z + 1. Is q(-8) a multiple of 27?
False
Let p = -3 - -3. Suppose 135 = -p*t + 5*t. Is t a multiple of 13?
False
Let t = 20 - -24. Is t a multiple of 11?
True
Suppose -2*m = -3*m + 5. Suppose m*n - 2*u - u = -12, 4 = -5*n + u. Suppose -4*f = -5*y - 11 - n, -3*f + 14 = 2*y. Is f a multiple of 3?
False
Let x = 32 + 39. Suppose 5*f + 11 = x. Is 12 a factor of f?
True
Let r(y) = -6*y + 3. Let t be r(2). Let m be 1045/45 + 2/t. Let g = -16 + m. Is g a multiple of 6?
False
Suppose -4*n + 204 = -2*d - 60, 2*n - 4*d = 144. Does 8 divide n?
True
Suppose 0 = 4*h - 6*h. Let p be (4 + h + -1)*1. Suppose -7 + 42 = p*k + a, 4*k + a = 45. Is 10 a factor of k?
True
Suppose 0*d - d = -7. Let t(u) = u**3 - 6*u**2 + u - 4. Does 13 divide t(d)?
True
Let q(l) = -7*l + 3. Is 31 a factor of q(-4)?
True
Suppose 5*b + 2*r + 73 + 28 = 0, 0 = 3*b - 5*r + 73. Let s = 30 + b. Is s a multiple of 2?
False
Suppose 3*l - 36 = 5*i, -24 = 2*i + 4*l - 2*l. Let m(n) = -n**2 - 14*n - 10. Let p be m(i). Let b = p - 13. Does 11 divide b?
True
Let f(n) = -n + 15. Let s be f(7). Let w(i) = 3*i - 1. Is w(s) a multiple of 12?
False
Is 13 a factor of (-40)/4*(1 - (-62)/(-10))?
True
Let r = -47 + -12. Suppose -134 = 4*k - 466. Let h = r + k. Does 9 divide h?
False
Suppose 3*p + p - 20 = 0. Let f(o) = -o**3 + 8*o**2 - 7*o + 4. Let u be f(7). Suppose p*x - 82 = u*x - 4*r, 129 = 2*x + r. Is x a multiple of 22?
False
Let g be (-4)/6*(3 - 0). Is (g + -2)*1*-1 a multiple of 3?
False
Let a(y) = -y**3 - 5*y**2 - 5*y + 11. Is 11 a factor of a(-6)?
True
Suppose -4*i + q + 5 = 0, 3*i - 17 + 2 = 3*q. Suppose 5*l - 29 = -4*n, i = 3*l - 3*n + 2*n - 31. Is l a multiple of 9?
True
Let z be (-2)/(-2) + -3 + 6. Let b = 2 + z. Let f = b - 0. Does 3 divide f?
True
Let o = -122 + 32. Let v be o - 3/(5 - 2). Let s = -53 - v. Is s a multiple of 19?
True
Let q(w) = -w**3 + 11*w**2 - 9*w - 13. Is q(8) a multiple of 21?
False
Let u(q) be the third derivative of 0 - 2/3*q**3 + 0*q + 2*q**2 - 5/12*q**4. Is 13 a factor of u(-3)?
True
Let c = 5 + 28. Is c a multiple of 11?
True
Let k(b) = -3*b + 2. Let f be k(1). Let c = 5 - f. Is c a multiple of 2?
True
Let i = 1 - -1. Suppose 4*y = 4*b - i*b - 4, -4 = -2*b - y. Suppose -2*p = -b*l + 2, -4*l - 4*p + 6 = -6. Does 2 divide l?
True
Let l = -72 - -116. Does 44 divide l?
True
Let s = 3 + 0. Suppose 449 = 5*d - 5*b - 26, s*b + 85 = d. Suppose -4*a = -2*k - d, -5*k = -a + 6*a - 110. Does 14 divide a?
False
Let x(s) = -s**2 - 10*s + 4. Let y(b) = -2*b**2 + 7*b - 6. Let r be y(4). Let q be x(r). Is 6 a factor of q/2 - (-25 + 5)?
False
Let j(p) = -26*p + 4. Let o be j(4). Let t = 150 + o. Is 10 a factor of t?
True
Let g = 14 + -10. Suppose 0*f = g*f - 136. Is f a multiple of 25?
False
Suppose -2*n + n + 5*g = 12, -n = 3*g - 20. Is n a multiple of 8?
True
Suppose -4*f + 4 = -3*f. Suppose -2*y = 3*l - 33, 0*y = 5*y + f*l - 72. Is y a multiple of 4?
True
Suppose -8 = -c - 0*c. Suppose -p + c + 3 = 0. Suppose 0 = 3*t + 4*m - 5, m + p = -5*t + 42. Does 3 divide t?
False
Suppose 4*a - 8*a - 36 = 0. Does 20 divide 10/(-1 + a/(-6))?
True
Does 12 divide 13 - 0 - (0 + 1)?
True
Is 7 a factor of -11*2/(3 - 4)?
False
Is 27 a factor of 108*(-7)/((-14)/3)?
True
Does 54 divide (-102 - 6)*(-20)/6?
False
Suppose -5*y + 3*y = 0, -5*y = i. Suppose i*l - 4*l + 188 = 0. Is 5 a factor of (-2)/9 + l/9?
True
Let j(z) = 0*z + 2*z - 4*z. Let b be j(-5). Suppose 3*f - 130 = -b. Is 20 a factor of f?
True
Suppose -4*d + a = -857, -2*d + 2*a - 106 = -542. Is 11 a factor of d?
False
Suppose 2*w = -3*c - 11, 2*c + c + 10 = -w. Let n(t) = t**2 - 8*t - 10. Let i be n(7). Let b = c - i. Is b a multiple of 6?
False
Let u(n) = 2*n**2 - 5*n - 2. Suppose -o + 9 = -b, 0*o - o - 2*b = 6. Does 10 divide u(o)?
True
Let z(h) = -2*h - 2. Let x be z(-3). Suppose -v - 60 = -5*r - 6*v, -x*r = -5*v - 57. Let i = 22 - r. Is i a multiple of 6?
False
Suppose 0*x + 4*x = 240. Is 10 a factor of x?
True
Does 5 divide (16 - 5)/((-3)/(-15))?
True
Let v = 11 - 7. Suppose -v*y - y = -w - 92, y - 25 = -2*w. Is 10 a factor of y?
False
Suppose 0 = -2*y - 2*l + 10, 4*y - 20 + 3 = -3*l. Suppose y*a = 5 + 15. Is 5 a factor of a?
True
Let v be 1/1 - (-2 + 1). Let o be (2 - v)/(8/(-4)). Suppose o*g + 38 = g. Is g a multiple of 16?
False
Let g be (-86 - -1)*-1*1. Suppose 0 = -4*d + 4*a + 68, 9*d - g = 4*d - 3*a. Is d a multiple of 8?
False
Let c be (-1)/(-7) + 775/(-35). Does 13 divide 4/22 + (-392)/c?
False
Suppose 4*h - 35 = 3*h + 4*k, k + 83 = 3*h. Suppose -a - 4 = -0. Is (h/a)/((-9)/24) a multiple of 13?
False
Let n = 7 - 1. Suppose -5 = -s + n*s. Is (-2)/4*-62 + s a multiple of 11?
False
Let o = -5 + 7. Suppose o*p + 2 = 4*p. Let k(q) = 29*q**2 + q. Is 15 a factor of k(p)?
True
Does 16 divide ((-114)/(-4) - (-7)/(-14))*2?
False
Suppose -2 = -0*z + 2*z. Let q(h) = 2*h**2 + h + 1. Let f be q(z). Suppose 0 = f*w + w - 6. Is w even?
True
Let h = 8 - 6. Suppose 18 = h*q - 6. Does 6 divide q?
True
Let a(i) = 2*i**2 + 3*i - 4. Let m be a(-3). Suppose -5*y - 4*o + 89 = 0, 2*y - m*y = -o - 67. Is y a multiple of 7?
True
Let g(f) = 3*f**2 + 3*f - 3. Let w be g(2). Let j = 30 - w. Is j a multiple of 15?
True
Suppose -d = -6 + 2. Suppose 0*f = d*f - 36. Is 9 a factor of f?
True
Let g be (11/1)/(3/9). Let d = g + -20. Does 7 divide d?
False
Suppose -3*b - b = 176. Is 15 a factor of 1 + b/3*-3?
True
Suppose -2*j + 22 = 4*d - 6, d = -2*j + 10. Let t(y) = y**3 - 6*y**2 + 2*y - 4. Is t(d) a multiple of 2?
True
Let d = -7 + 72. Does 14 divide d?
False
Let p be ((-1)/(-4))/(6/24). Is (-35*p + 1)/(-1) a multiple of 17?
True
Suppose 2*b - 4*i - 3 = 45, 0 = -b + 4*i + 14. Is 32 a factor of b?
False
Let l = -14 - -21. Suppose -3*z = -8 - l. Does 5 divide z?
True
Suppose 4*k = 3*k + 12. Does 12 divide k?
True
Let m be (-2 - -1)/(-1)*17. Suppose -m = t - 51. Is 17 a factor of t?
True
Suppose -q = 4*q - 425. Does 17 divide q?
True
Suppose -3*z - 1 = 3*r + 2*r, -z = 4*r + 12. Let l(b) = -6*b. Let u be l(-3). Let h = u - z. Is 6 a factor of h?
False
Suppose -5*o - 89 - 16 = 0. Let s = -8 - o. Does 13 divide s?
True
Does 44 divide 75 + -8 + (1 - 0)?
False
Let b = -31 - -31. Let y be -8*(-22)/(-4)*-1. Suppose -r = -3*c + 2*r + 66, -2*c - r + y = b. Is c a multiple of 8?
False
Let i = -41 + 79. Is 38 a factor of i?
True
Let n(b)