-425)/7) + 10/35?
True
Suppose -2*g + 2*a = -64, -2*g + a = 2*g - 134. Let p = 93 - g. Is 17 a factor of p?
False
Suppose 0 = v + 3*v - 20. Suppose 4*t - 37 = 3*q, 0 = v*t - q - 19 - 30. Is 6 a factor of t?
False
Does 7 divide (2 - 1)*(-2 - -83)?
False
Is 18 a factor of 2/((10/(-76))/(-5)) - 3?
False
Suppose 0*u = -2*u. Suppose -2*p - c + 30 = -0, u = -3*c. Does 15 divide p?
True
Suppose 3 + 6 = 3*x. Suppose x*t + 50 = 3*k + 11, 79 = 4*k + 5*t. Is k a multiple of 16?
True
Suppose y - 4*v + 0 = 44, 5*y = 4*v + 252. Let l = 78 - y. Is l a multiple of 13?
True
Suppose 4*q = -4*f + 172, 2*f - f - q = 35. Is 12 a factor of f?
False
Let m(u) = u**3 - 5*u**2 + 7*u + 2. Is m(4) a multiple of 2?
True
Suppose 4*t - 28 = -4*y - 0, 3*y - 19 = -2*t. Is 10 a factor of (-12)/(-15)*7*y?
False
Suppose 3*t = -2*s + 6, 0*t = -4*t. Is 8 a factor of 12/(1 - s/6)?
True
Suppose 2*i + 4*q = 780, 0 = 4*i - 0*i - 4*q - 1560. Does 26 divide i?
True
Let d = 197 + -89. Is d a multiple of 34?
False
Let t be 3 + (1 - (1 + -1)). Let g be t/10 + (-2)/5. Suppose 3*y + 4*a - 28 = 0, -2*y - 2*a = -g*a - 16. Is 3 a factor of y?
False
Let q = 173 + -100. Is q a multiple of 8?
False
Suppose 5*n - 7 - 3 = 0. Let c(p) = 3*p**2 + 2*p**n + 5*p**2. Does 20 divide c(2)?
True
Suppose 3*i = -4*l + l, 5*i + 32 = 3*l. Suppose -5*j + 4*j + l*n = -10, -3*n = -12. Is 13 a factor of j?
True
Suppose 5*n - 3*f + 8 = -0*n, -3*n + f = 4. Let y be 33/n*1/(-3). Let d = 15 - y. Is d a multiple of 2?
True
Let s(y) = -13*y + 1. Is s(-5) a multiple of 22?
True
Let p(a) = -3*a + 1. Let j(d) = d + 1 - 4*d + 3 + d. Let i be j(3). Is p(i) even?
False
Suppose -p + 3*p = 144. Is p a multiple of 8?
True
Suppose 0 = -v + 4*b - 6*b + 7, 3*v - 4*b + 29 = 0. Is 11 a factor of 52 - 3*2/v?
False
Let d(f) = -f**2 + 9. Suppose -h = h. Does 3 divide d(h)?
True
Let q = 75 + -56. Does 19 divide q?
True
Let z(t) = -7*t + 14. Is 15 a factor of z(-11)?
False
Let c(l) = 2*l**2 + 2*l - 2. Does 15 divide c(4)?
False
Is (-8)/44 + 930/33 a multiple of 25?
False
Let n(c) = -4*c + 5. Suppose 2*a - 1 = 7. Suppose 3*p - 4*v + 8*v = -29, -a*v = -2*p - 6. Is n(p) a multiple of 11?
True
Let s(n) = -n**3 + 6*n**2 + n - 1. Let a be s(6). Suppose -5*j - 4*v = -66, 2*j - a = -v + 19. Is j a multiple of 10?
True
Suppose 0 = -2*s - 62 + 234. Does 26 divide s?
False
Let h be (-48)/((-4)/2) - -1. Let o(b) = b**3 + 9*b**2 - 23*b - 9. Let t be o(-11). Suppose t*d = d + h. Is 16 a factor of d?
False
Suppose 0 = -2*c - 0*c + 454. Is 8 a factor of c?
False
Let o(r) be the second derivative of r**5/20 - r**4/4 - 2*r**3/3 + 3*r**2 + r. Let t be o(4). Suppose -v + h + 20 = 0, 0 = 5*h + 1 - t. Is v a multiple of 21?
True
Suppose 0 = -5*b + k - 0*k - 119, 5*b - 3*k = -117. Is (6/9)/((-2)/b) a multiple of 4?
True
Let z(v) = 3*v**2 - 1. Let n be z(1). Suppose b = 5 + n. Suppose -5*j = -97 + b. Does 5 divide j?
False
Suppose j + 288 = 5*j. Is j a multiple of 10?
False
Let x = 3 - 4. Let r(w) = -4*w. Let j be r(x). Suppose -5*c + 25 = 0, -4*c + 0*c + 168 = j*h. Does 13 divide h?
False
Let u = 33 - 22. Suppose 3*h - u = h + 5*c, 4 = h - 4*c. Does 5 divide h?
False
Suppose 0*a = -4*a - 4. Is 14 a factor of 52 + -1 + a/(-1)?
False
Let i = -242 + 146. Let m = i - -179. Does 23 divide m?
False
Let l(z) = -2*z + 6. Is l(-8) a multiple of 12?
False
Let p = -19 + 31. Is p a multiple of 11?
False
Let g(q) = 2*q**3 - q**2 + q. Let v be g(1). Suppose -v*m + 5*m = 315. Is m a multiple of 35?
True
Let u(c) = 4*c + 2. Let p be (-6)/(-5)*(-20)/(-6). Is 10 a factor of u(p)?
False
Suppose 4*n - 10 = 10. Suppose 20 = -5*i, -4*x = -0*x - n*i - 212. Is x a multiple of 12?
True
Is 11 a factor of (-36)/((-4)/((-24)/(-9)))?
False
Let w be ((-6)/4)/(3/(-20)). Let i = w + -7. Suppose -i*r + r = -28. Is r a multiple of 7?
True
Let h(n) = 2*n**3 - n**2 - 27*n + 3. Let c(o) = o**3 - 13*o + 1. Let k(x) = -13*c(x) + 6*h(x). Does 5 divide k(-7)?
True
Let x(u) = 21 + 0*u + 4*u + u - 4*u. Let h = 2 - 2. Is 7 a factor of x(h)?
True
Let z(r) be the second derivative of -r**5/4 - r**3/6 + r**2/2 - 2*r. Let a be z(1). Let o = 0 - a. Does 3 divide o?
False
Suppose 73*g - 330 = 70*g. Is 31 a factor of g?
False
Suppose 5*n = -3*b - 2*b + 20, 47 = 5*b - 4*n. Suppose -26 = -3*x + b. Is x a multiple of 4?
False
Let j(n) = -2*n**3 - n**2 + 4*n + 1. Let s(u) = -3*u**3 - u**2 + 5*u + 1. Let f(b) = 6*j(b) - 5*s(b). Let k be f(1). Suppose -v = -2*v + k. Is 2 a factor of v?
True
Let a be ((-1)/2)/(5/(-80)). Suppose a*u - 40 = 3*u. Suppose -j + 6 + u = 0. Is 9 a factor of j?
False
Does 21 divide (-7)/14*(2 + -50)?
False
Let q(j) = -13*j - 6. Let o be q(-7). Suppose -o = -5*c - 10. Is c a multiple of 5?
True
Let u(q) = -q**2 - 14*q - 6. Let k be u(-11). Let w = 33 + k. Does 12 divide w?
True
Let x = 1 + 2. Suppose 3*v + 12 = -x*u, 3*v = -2*v - 25. Suppose 3*z - 9 = -2*w - w, -3*w = -5*z - u. Is 2 a factor of w?
True
Let u(b) = -17*b - 24. Is u(-6) a multiple of 26?
True
Suppose 2*o - 6 = 8. Suppose -5*x + o = -143. Is x a multiple of 27?
False
Suppose -2*s - 2 = 4*n - 38, -4*s + 92 = 3*n. Let q be ((-2)/4)/(1/s). Let b = q + 21. Does 8 divide b?
True
Let g(y) = 73*y + 1. Let c be g(-1). Let f = c + 168. Let b = -52 + f. Is b a multiple of 22?
True
Is 12 a factor of 14/3*36/14?
True
Let b = -27 + 77. Is 31 a factor of b?
False
Let r(b) = -b**3 + 6*b**2 + 9*b - 8. Let w be -2*(-3)/(-12)*-4. Suppose c = -w*f + 12, -5*c - 3 = -f + 2*f. Is 6 a factor of r(f)?
True
Let z = -8 - -16. Is 2 a factor of z?
True
Suppose 2*w = 0, 4*x - 3*w = 2*x + 120. Let a be (16/(-10))/((-4)/10). Suppose a*f + 0*f = x. Does 15 divide f?
True
Suppose 5*a + 124 - 909 = 0. Is 27 a factor of a?
False
Let z = 16 - 4. Suppose 3*n - 24 - z = 0. Does 5 divide n?
False
Let r(q) be the first derivative of -31*q**4/12 - q**3/6 + q**2/2 + 1. Let y(z) be the second derivative of r(z). Is 24 a factor of y(-1)?
False
Let g(d) = -d**2 + d + 1. Let q be g(-2). Let y = -2 - -9. Let a = y + q. Is a even?
True
Suppose 2*j + 2*j - 288 = 0. Is j a multiple of 12?
True
Is (13/(-4))/((-1)/4) a multiple of 13?
True
Let d be (-16)/12*4*-6. Suppose n + d - 85 = 0. Is 19 a factor of n?
False
Let o(h) = 5*h + 3*h**3 - 4*h**3 - 10*h**2 + 3*h - 13. Let q be ((-22)/2)/(2/2). Does 10 divide o(q)?
True
Suppose 10 = 2*j, -5*t + 2*j = -8*t + 625. Is t a multiple of 41?
True
Let u = -78 - -282. Suppose i = 4*i - u. Is i a multiple of 23?
False
Let b = 185 - 287. Let y = -69 - b. Is 11 a factor of y?
True
Suppose -40 - 29 = -3*s. Suppose 0 = -5*u - 4*v - 0*v + 32, -v + 23 = 5*u. Suppose -2*k - u = 2*k, 2*k = 3*z - s. Is z a multiple of 6?
False
Let d(p) = -22*p - 3. Does 14 divide d(-4)?
False
Suppose 3*s = 13 + 5. Suppose -s = -k - k. Suppose -k*p = -6, 2*d + p + 50 = 4*d. Does 8 divide d?
False
Let m(r) = -2*r - 5. Let d be m(-4). Suppose g - 178 = -g - 5*p, d*p = 4*g - 304. Is 10 a factor of g/4 - (-6)/(-8)?
False
Suppose q + 4*q = -15. Let y = q - -5. Suppose -i - 3*m + 46 = i, -m - 30 = -y*i. Does 8 divide i?
False
Let v(p) = -p**2 - 7*p + 4. Suppose -2*s + 13 = 4*u + 3*s, 4*s = 2*u. Suppose u*m = 3*m + 3, 4*w - 5*m = -1. Does 8 divide v(w)?
True
Let g(i) = 3*i**2 - i - 2. Suppose -2*q + 5*q + 6 = 0. Is 12 a factor of g(q)?
True
Let j(w) = -w + 11. Is 9 a factor of j(-7)?
True
Suppose 0 = -0*g - 8*g + 464. Is g a multiple of 14?
False
Let a = -29 - -6. Let p(i) = i**2 - 4*i + 24. Let o be p(7). Let s = o + a. Is 11 a factor of s?
True
Let f = -9 - -14. Suppose -f*h + 8*h + t - 14 = 0, 5*t = h + 22. Suppose -h*k = -31 - 77. Does 18 divide k?
True
Suppose 0 = 3*n + 5*a - 44, -a + 1 = -0*a. Let y = n - -2. Does 6 divide y?
False
Let t be (1 - -5)*1/(-3). Does 6 divide 2/t + 9 + 3?
False
Suppose 0 = 4*l - l - 15. Let t = -26 - -53. Suppose 3 = 5*p + 4*y, 0*p - l*p + 4*y + t = 0. Is p a multiple of 3?
True
Let c(q) = 0*q - 3*q + 0*q - q**2. Let p be c(-3). Suppose -52 = -0*i - i + 2*l, 3*i + 2*l - 116 = p. Is i a multiple of 14?
True
Is 4 a factor of (-13)/(13/(-30)) + (1 - 3)?
True
Let z(l) = 46*l**3 - l**2 - 2*l - 1. Let q be z(-1). Suppose -3*g + 1 = -8. Is 6 a factor of g/9 + q/(-6)?
False
Suppose -4*r - r = -15. Let t(h) = 2*h**2 + 2*h - 4. Let m be t(r). Suppose -9 - m = -a. Is 12 a factor of a?
False
Suppose -5*i = -4 - 1. Let l be i - 2 - (-3 - 0). Is 10/((-2