13 a factor of k?
False
Suppose 0 = 2*h + 2*b - 12, -3*h + 4*b + 0 = 10. Suppose 0 = 4*q - h*q - 30. Is q a multiple of 15?
True
Suppose 11*x - 2036 - 593 = 0. Is x a multiple of 18?
False
Let q(w) be the first derivative of -3/2*w**2 + 4*w - 2 - 1/3*w**3. Is q(-3) a multiple of 4?
True
Let o(u) = -u**3 - 5*u**2 - u - 5. Let z be o(-5). Let b = z + 2. Is (b/(-4))/(1/(-52)) a multiple of 12?
False
Does 7 divide -3 - 0 - -6 - -26?
False
Let x(r) be the second derivative of 7/6*r**3 + 2*r - 1/12*r**4 + 0 - 5/2*r**2. Is x(4) a multiple of 7?
True
Let j be 1 - 1 - 9/3. Let w be j + (-237)/(-3) - 0. Suppose -2*z + 7*z + 2*t = 67, 4*z - 4*t - w = 0. Does 5 divide z?
True
Let c(t) = -12*t + 1. Suppose 0*b - b = 2. Is c(b) a multiple of 25?
True
Let p(f) = f**2 - 5*f. Let r be p(6). Let o be 15/(-10)*(-8)/r. Suppose -o*j + 4*j = 14. Is 4 a factor of j?
False
Let f(j) = -j + 34. Is 20 a factor of f(0)?
False
Suppose -2*b = -0*b + 10. Let n = b - -7. Suppose -4*l + 41 = 3*s, 0 = l + 6*s - n*s + 6. Does 6 divide l?
False
Let w be 210/3 - 0/(-1). Let j = 106 - w. Is 18 a factor of j?
True
Let g = 159 + -90. Is 21 a factor of g?
False
Suppose 1 = 2*k - 15. Suppose 4*q + 2*h - 22 = 0, h - 5*h = -4*q - k. Suppose u - 44 = -3*o, -184 = 4*u - 9*u + q*o. Does 19 divide u?
True
Suppose 0 = 4*d - 3*h - 248, 5*h - 156 - 154 = -5*d. Is 31 a factor of d?
True
Suppose 12*d - 204 = 8*d. Is d a multiple of 20?
False
Does 17 divide ((-31)/(-93))/((-1)/(-357))?
True
Let z be 4/(-16) - 1/(-4). Suppose z = -0*k - k + 10. Does 5 divide k?
True
Suppose 4*n - 4*o = 24, 0*o - 2*o - 8 = 2*n. Let k be (-2)/n + 115 - 1. Suppose 5*c - 8 = k. Is 12 a factor of c?
True
Let g = -3 - -7. Suppose -4 = 4*m, -5*q - m = -333 + g. Is q a multiple of 22?
True
Suppose 0 = 4*r + 2*s - 10, -2*r + 3 = -r + s. Let d = r - -6. Is 4 a factor of d?
True
Let q(i) = i + 1. Let r be q(-3). Let g(a) = -3*a - 3. Let m be g(r). Does 3 divide (-6 + m)/(-1 + 0)?
True
Let r(s) = -s**2 - s - 1. Let y(f) = 3*f**2 + 11*f + 2. Let m(u) = -6*r(u) - y(u). Let w(j) = 4*j**2 - j. Let q be w(1). Does 8 divide m(q)?
True
Let i(d) = d**2 - 8*d + 5. Does 7 divide i(9)?
True
Let y(q) = q**3 + 13*q**2 + 12*q + 5. Let w be y(-12). Suppose 0 = w*h - 3 - 22. Is h a multiple of 5?
True
Let x(k) = -k**2 + 3*k + 9. Let p(y) = -2*y - 5. Let d(n) = -5*p(n) - 3*x(n). Is d(-3) a multiple of 11?
True
Let g(v) = -v**3 - 4*v**2 - 4*v. Let d be g(-3). Let r = 82 - 69. Let f = d + r. Is 11 a factor of f?
False
Suppose -3*m - g = -6, 3 - 6 = -5*m - 4*g. Suppose -m*h + 80 = h. Does 4 divide h?
True
Suppose -184 = -f - m, 5*f + 0*f = 3*m + 960. Does 54 divide f?
False
Suppose 7*g - 817 = -257. Does 16 divide g?
True
Let w be 2/(-5) - (-88)/(-5). Let f be 16/(-12)*w/4. Is (4/f)/(2/15) a multiple of 4?
False
Suppose 5*h + l = 47, -5*h + 20 + 39 = -3*l. Is h a multiple of 10?
True
Is 10 a factor of ((10*-4)/(-2))/(18/54)?
True
Let v = 23 - -27. Does 25 divide v?
True
Suppose -2*c + 3*c = 0. Suppose 2*f - 47 + 7 = c. Is f a multiple of 10?
True
Let z(b) = 5*b - b - 5 + 14 + 3*b. Does 13 divide z(8)?
True
Suppose 5*d - 10 = -4*b, -2*b - 4 = d - 12. Suppose 20 = 5*q + b. Is 2 a factor of q?
False
Suppose -21 = 2*t + 2*o - 61, -20 = -t + 2*o. Does 10 divide t?
True
Let w(b) = 3*b**2 - 10*b + 7. Suppose 0 = -2*v + 4*x - 0*x + 28, -3*v + 3*x = -30. Does 11 divide w(v)?
True
Let s = -107 + 223. Suppose -d - 216 = -5*d. Suppose -3*y + d = n, 9 - s = -3*n + 2*y. Does 13 divide n?
True
Suppose -2*v + 0*v + 2*m + 252 = 0, m - 252 = -2*v. Does 9 divide v?
True
Let z = -6 - -9. Let g be ((-1)/z)/(3/(-153)). Does 12 divide g - (-1 + (-3)/3)?
False
Suppose -18 = 2*p - 0*p. Let w be 14/3 - (-4)/(-6). Does 7 divide (-6)/w*42/p?
True
Let p(f) be the second derivative of f**4/4 + f**3/3 - f**2/2 + f. Let w be p(1). Suppose o = w*v + 2 + 11, 4*o - 122 = 2*v. Is o a multiple of 11?
True
Let s be -3*20*1/6. Let d = -10 - s. Suppose q - 25 - 1 = d. Does 13 divide q?
True
Let y(o) = o**3 - 9*o**2 + 19*o - 9. Is 18 a factor of y(9)?
True
Suppose 0 = -h - 0*h. Suppose q - 6 = -h*q + t, 0 = 3*q + 3*t - 30. Does 6 divide q?
False
Let t be (2/(-4))/(9/(-90)). Suppose -t*w = -35 - 35. Is w a multiple of 7?
True
Let g be (1/(-2))/((-1)/2). Let o be (1 + -3 - 3)/g. Let z(q) = -3*q + 1. Does 6 divide z(o)?
False
Suppose -5*x - 29 + 149 = 0. Is 8 a factor of x?
True
Suppose -l + 5 = -0*l. Suppose l*u - 20 = -0. Suppose 4*n + 32 = 2*s, -u*s + 0*n + 2*n + 46 = 0. Is 7 a factor of s?
False
Let x be (-759)/(-12) - 6/(-8). Let m be ((-3)/6)/((-1)/x). Let f = m - 20. Is f a multiple of 12?
True
Suppose -31 - 5 = -3*m. Does 12 divide (-2)/(35/m + -3)?
True
Let m be (12/(-2))/((-3)/2). Suppose 0*k = -m*k - p + 116, -2*p + 142 = 5*k. Does 11 divide 3/9*(k + 3)?
True
Let t(r) = r**2 - r + 3. Let k be t(0). Suppose -k*v - 33 = -12. Let c(w) = -w + 9. Is 16 a factor of c(v)?
True
Suppose 5*n - y - y = 4, 0 = n - y - 2. Suppose -2*x = -n - 180. Suppose -5 = -5*h + x. Is 12 a factor of h?
False
Does 16 divide (-148)/(-8) + 6/(-4)?
False
Suppose -g - 4*o + 60 = 3*g, 2*o = 3*g - 60. Is g a multiple of 17?
False
Let c(h) = -5*h**3 - 41*h**2 - 16*h + 9. Let j(q) = -q**3 - 10*q**2 - 4*q + 2. Let m(z) = 2*c(z) - 9*j(z). Suppose o = 3*o - 16. Is 16 a factor of m(o)?
True
Let p(m) = m - 14. Let n be p(6). Let l be (94/n)/((-4)/16). Suppose j = 3*s - j - 116, -j + l = s. Is s a multiple of 17?
False
Let u(m) be the second derivative of -m**5/20 + 2*m**4/3 - 7*m**2/2 - m. Let g be u(7). Does 7 divide (g/15)/((-2)/(-5))?
True
Does 18 divide 21*6 + 3 + 2?
False
Let i(c) = -c**2 - c - 1. Let f(n) = -2*n**2 - 13*n + 17. Let q(t) = -f(t) + i(t). Is 9 a factor of q(-15)?
True
Let q(s) = -7*s + 56. Is q(-9) a multiple of 17?
True
Let b(r) = -r**3 + 1. Let g(w) = 7*w**3 - 4*w**2 - 2*w - 4. Let q(h) = 6*b(h) + g(h). Let j be q(4). Is 16 a factor of 115/6 - (-1)/j?
False
Let y(a) = a**3 + 9*a**2 + 16. Is 26 a factor of y(-8)?
False
Suppose -2*t + 12*a + 148 = 10*a, -4*t + a = -281. Does 14 divide t?
False
Suppose 5*q - 4*v = 408, 3*v + 20 = -q + 94. Suppose 0 = 6*g - 10*g + q. Is 10 a factor of g?
True
Let x = -98 - -194. Does 8 divide x?
True
Suppose 4*p - 5*y = -21, -y - 3*y = -4. Let u be p/(-2 + 1) - 1. Suppose -i + 42 + 28 = u*w, -5*w + 128 = -4*i. Does 12 divide w?
True
Let v be (-12)/54 + (-205)/9. Is (6/2)/(-3)*v a multiple of 12?
False
Let b be 75/12*(-2 + 26). Suppose b = -0*v + 5*v. Is 11 a factor of v?
False
Let d(p) = -p**3 + 6*p**2 + 4*p - 5. Suppose -15 = -5*v + 5*w - 0*w, -2*v - 4*w + 24 = 0. Does 19 divide d(v)?
True
Let k = 41 - -50. Is 13 a factor of k?
True
Let l(n) = 2*n**2 + 10*n + 5. Is 5 a factor of l(-5)?
True
Let h be (12/10)/((-21)/(-70)). Suppose 0 = 4*k - 3*r - 33, 3*k + h*r - 24 = 6*r. Is 79/k - 5/30 a multiple of 6?
False
Let y = -12 + 14. Suppose -20 = -y*d - 0*d. Does 10 divide d?
True
Let v = -1 + 4. Suppose v*x = -0*x + 5*j + 36, -3*j + 12 = 3*x. Does 2 divide x?
False
Does 4 divide (-2)/(((-30)/115)/3)?
False
Suppose -284 = -0*u - 4*u. Is 18 a factor of u?
False
Suppose 4*a + 4*a = 296. Does 8 divide a?
False
Let o(u) = u**2 - 9*u - 2. Let n(y) = 2*y**2 - 17*y - 3. Let d(m) = 6*n(m) - 11*o(m). Does 2 divide d(3)?
True
Suppose 0*g + g = 2. Suppose 0*x + g*x = 4. Is x - 6*(-21)/6 a multiple of 23?
True
Suppose 89 = 5*u + 2*m - m, 4*m = -3*u + 67. Let l = u - 12. Is l even?
False
Suppose 0 = -4*r - 4 + 16. Suppose r*j - 114 = 12. Is 15 a factor of j?
False
Suppose 0 = 4*m + 3*n - 365, -4*n = -m - 0*m + 77. Let c = -48 + m. Does 14 divide c?
False
Let m be 1/2*10*1. Suppose -2*a + m*y - 10 = -62, -5*a - 5*y = -95. Suppose v + 0*v - a = 0. Does 11 divide v?
False
Let c(q) = 25*q + 1. Let s be c(-1). Is 11 a factor of 1/(1 + s/26)?
False
Let g = 14 + -14. Suppose g = -r + 3*s + 66, 4*r - 2*s = 2*s + 224. Is r a multiple of 13?
False
Let c(r) = -r - 4. Let b(j) = -j**2 - 2. Let f be b(-2). Let v be c(f). Suppose v*s = 12 + 48. Is s a multiple of 15?
True
Let w = -59 - -109. Suppose 4*b = -b + w. Does 7 divide b?
False
Let q(r) = 4*r + 1. Let x be q(1). Does 22 divide 45 - (x + -3)/2?
True
Suppose -q + 25 = -b, 0 = 3*q + 3*b - 29 - 76. Suppose 0 = j - q - 5. Is 14 a factor of j?
False
Let s(n) = 3*n**3 + 8*n**2 + 6*n - 1. Let y(m) = -m**3 - m**2 - m + 1. Let k(v) = -s(v) - 4*y