9 + 405 = 2*n, -5*n + 239 = 4*f. Is (f/(-3))/(6/(-9)) a multiple of 7?
True
Suppose 0 = -29*l + 34*l - 3*g - 569, -5*l + 551 = 3*g. Is 7 a factor of l?
True
Does 4 divide ((-184)/20)/((-2)/5)?
False
Let x be (6/(-4))/(1/(-2)). Suppose 9 = -r + 4*y, 4*r + 36 = -0*r + x*y. Let d = r + 24. Is 7 a factor of d?
False
Suppose -75 = -3*o - 0. Suppose -4*h + 5*r = -7*h + o, h + r - 5 = 0. Suppose 2*u - 2*g - 72 = 2*g, 3*g = h. Is u a multiple of 12?
True
Suppose 0 = -3*l - 4*u - 23, -3*l + 2*u - 11 = 36. Let t = 46 + l. Is 21 a factor of t?
False
Let n(i) be the second derivative of i**4/12 + 11*i**3/3 + 7*i**2/2 + 22*i. Is n(-24) a multiple of 12?
False
Let a(q) = 2*q**3 - 15*q**2 - 11*q. Is 24 a factor of a(9)?
True
Suppose 4*i - 66 = 5*z - 21, -5*i + 5*z + 50 = 0. Let d(y) be the third derivative of y**5/30 - 7*y**4/24 + 2*y**3/3 + 18*y**2. Is 4 a factor of d(i)?
False
Suppose 0 = -6*j + 9*j + 3. Is 12 a factor of j/((-80)/78 - (2 + -3))?
False
Let i = -49 - -69. Suppose 0*o = 3*h + 5*o + 1, 4*o = -i. Is 4 a factor of h?
True
Suppose 5*y - 2*s - 147 = 0, -2*y + 60 = 4*s - 18. Suppose 4*p = 3*t + y, 0 = -3*t + 6 + 3. Is 10 a factor of p?
True
Let r be (-3)/2*(3 + -7). Suppose -4*p + 5 = -11. Does 18 divide (r/p)/(6/128)?
False
Let d(y) = 30*y**3 - y**2 + 1. Let x be d(-1). Let z = 78 + x. Is 8 a factor of z?
True
Let s(k) be the third derivative of 15*k**4/8 + k**3/3 + 16*k**2. Does 40 divide s(1)?
False
Let b(v) = 31*v**3 - 2*v + 1. Suppose y + 4*g - 3 = 0, 15 = 5*y + 7*g - 3*g. Suppose -s = -5*s - u, -y*u = 12. Is b(s) a multiple of 10?
True
Suppose y - 5*d = -0*y + 3, d + 115 = -5*y. Suppose -2*g - 15 = 181. Let a = y - g. Does 33 divide a?
False
Let x(i) be the first derivative of 25*i**2/2 - i + 4. Let r(t) = -t**3 - 7*t**2 - 2*t - 12. Let h be r(-7). Is 7 a factor of x(h)?
True
Suppose 15*h - 6095 - 5650 = 0. Suppose 4*v - 628 = 5*n - n, 5*v - 4*n = h. Is 31 a factor of v?
True
Is 17 a factor of 23 + -28 + 4/((-12)/(-2871))?
True
Let v(n) = -n**2 + 8*n. Let p be 3/(-3 + 108/32). Let r be v(p). Suppose r = -2*z + 5*z - 54. Is 6 a factor of z?
True
Suppose -u = 2*u - 120. Suppose -3*h - u = 2*h. Is (-3)/(-12) - 78/h a multiple of 2?
True
Suppose 966 = 15*x - x. Suppose -2*n + 3*h + 134 = -x, -n + 5*h = -105. Is 13 a factor of n?
False
Let b = -19 - -37. Suppose b = a + 2*a. Let n(u) = u**3 - 4*u**2 - 9*u + 4. Is n(a) a multiple of 15?
False
Let o(w) = -54*w**3 + w**2 + 5*w. Is o(-2) even?
True
Let y be (3*6/(-27))/(6/441). Let k = y - -109. Does 12 divide k?
True
Let z be (-40)/(-15)*(4 + -1). Let f(i) = 4*i**2 - 18*i - 8. Does 21 divide f(z)?
False
Suppose -293*b = -289*b - 1140. Is 29 a factor of b?
False
Let y be -15*(-4 + (-4)/2). Let i = 144 - y. Is 9 a factor of i?
True
Let a = 70 - 49. Suppose -5*m + 4*t = -a, -2*t - 23 = 3*m - 8*m. Suppose 3*f + 3 = -3*w, -m*w - 13 - 12 = 0. Does 2 divide f?
True
Let c(a) = 2*a**2 + 8*a + 7. Let t be c(-2). Let i(q) = 48*q**2 - 2*q - 2. Is i(t) a multiple of 12?
True
Suppose -5*g + 31 = 3*t, 3*t + 17 = 4*t + 3*g. Let a(b) = 46*b + 10. Is a(t) a multiple of 7?
False
Let f = 12 + -66. Is f/(-4)*6 + -1 + 0 a multiple of 8?
True
Suppose -9*s + 7062 = 1446. Is 16 a factor of s?
True
Suppose -30 - 68 = -5*m + 4*r, 100 = 5*m - 5*r. Suppose 26*k - 2168 = m*k. Does 16 divide k?
False
Suppose l + 158 = 3*l. Let p = l - 194. Is (p/(-3))/((-7)/(-21)) a multiple of 23?
True
Let y(x) = 14*x**2 - 6*x - 7. Let w be y(-4). Suppose 0 = -4*l - 21 + w. Does 11 divide l?
True
Let w(o) = o**2 + 7*o - 5. Let m be w(-8). Suppose 0 = 2*q + 5*c - m*c - 4, 0 = -4*q + c + 18. Suppose q*g - 73 = g - 2*d, d + 16 = g. Is g a multiple of 21?
True
Does 12 divide (-713)/(-5) + (-54)/(-135)?
False
Let c(h) = -h - 9. Let d(z) = 2*z + 18. Let j(v) = 5*c(v) + 2*d(v). Let t be j(-13). Suppose -7*u = -8*u + t. Is u a multiple of 3?
False
Suppose 5*v + 5*x = 1235, 0*x - 459 = -2*v + 5*x. Is 20 a factor of v?
False
Let i = 174 - 12. Is i a multiple of 27?
True
Let x be 14 + -7 + (-2)/2. Suppose -4*c - 4 = -x*c. Does 11 divide 0 + (-2)/(c/(-79))?
False
Does 11 divide (-5*2/10)/(1/(-601))?
False
Suppose -11*g - 105 = -468. Is g a multiple of 11?
True
Let z(g) = 11*g**2 - 6*g - 11. Does 42 divide z(-5)?
True
Let m(h) = -h**3 - 8*h**2 + 9. Let c be m(-8). Suppose -c*d = -4*d - 305. Is 13 a factor of d?
False
Suppose -p = -6 + 3. Let f(s) = 2*s**2 - 2*s + 1. Is f(p) a multiple of 2?
False
Let h(g) = -g**2 + 14*g - 15. Let j(z) be the second derivative of z**3/2 + z**2/2 - 2*z. Let m be j(2). Is 17 a factor of h(m)?
True
Let k = -78 + 73. Let i(x) = -x**3 - 3*x**2 + x + 3. Is i(k) a multiple of 8?
True
Let d be 12*(26/8 - 3). Suppose -97 = d*x - 463. Is x a multiple of 34?
False
Let x be 3/15 - 56/(-20). Suppose 5*w + x*r - 80 = 0, -5*r - 25 = -0*r. Is 7 a factor of w?
False
Let a = 603 - 474. Does 43 divide a?
True
Let d be 1/3 + 74/3. Let y = d - 11. Does 20 divide 138/7 + 4/y?
True
Suppose -l - 3*i - 16 = -4, i = -l - 2. Suppose 5*a = l*a + 160. Is 12 a factor of a?
False
Suppose 4*f + 460 = n + n, 0 = 4*n + 16. Let p = 245 + f. Is 16 a factor of p?
True
Let d = -1023 + 1683. Suppose -3*y = y - d. Is y a multiple of 13?
False
Let i = 0 + 6. Let f be (20/i)/((-8)/(-12)). Suppose -f*g = -2*q + 30, -q + 2*g + 8 = -5. Is q a multiple of 2?
False
Let g(x) = 0*x**3 - x**2 + 0*x**2 - x**3 - 3 - 9*x - 4*x**2. Let i be g(-6). Suppose -c = -2*c + i. Is 29 a factor of c?
True
Suppose -12 = 4*v, -13*h + v = -17*h + 197. Is 10 a factor of h?
True
Let r = -1148 + 1567. Is 3 a factor of r?
False
Let u(w) = w - 2*w - w**2 + 2*w + 26. Let m = 9 + -9. Is u(m) a multiple of 13?
True
Let p be ((-45)/6 - -3)*-6. Suppose 4*g = 4*s + 160, 33 = -s + 5*g - p. Does 29 divide (-2)/7 + (-1025)/s?
True
Let a(s) = -s**2 - 23*s + 91. Does 7 divide a(-21)?
True
Let t = -20 + 19. Let o = -6 + 4. Is (t/o)/((-13)/(-2262)) a multiple of 16?
False
Let q(f) = 2*f**2 + 76*f + 6. Is q(-39) a multiple of 21?
True
Suppose 5*i - 58 = 2. Is (88/i)/(6/27) a multiple of 11?
True
Let f = 13 - 10. Suppose c = f*c - 26. Suppose -2*o - 3*x = -c, 2*x + 2*x - 12 = 0. Is o even?
True
Let a = 37 - 80. Let f = -27 - a. Is (-2)/8 + 708/f a multiple of 11?
True
Suppose -2*m - 755 = -5*g + 416, -3 = m. Is 26 a factor of g?
False
Suppose 4*p + 8 = -p + 2*n, 4*p - n = -4. Let o be 15/(-3)*-6 + p. Suppose 4*j = -o + 90. Is j a multiple of 4?
False
Suppose -15 = 34*n - 33*n. Is 36 a factor of (-65)/(-3)*(4 - (n + 4))?
False
Let x = 1054 - 599. Does 65 divide x?
True
Suppose -5*y + 25 = 5*f, -5*y + 2*f = 3*f - 25. Suppose 60 = 2*d - 3*b, y*b - 4*b - 184 = -5*d. Does 6 divide d?
True
Suppose -10 = c - 4*o, 4*o = -3*c + 8 + 10. Does 2 divide c/(-11) - (-1260)/154?
True
Suppose 4*s - 136 = -a + 310, -1314 = -3*a - 4*s. Does 31 divide a?
True
Let m(q) = -q**2 - 18*q - 3. Let u be m(-18). Let z be u + (1 - -164) + -4. Let s = z - 78. Does 16 divide s?
True
Suppose 0 = -5*v - 0*v + 35. Suppose -v*k + 128 = k. Is k a multiple of 16?
True
Suppose 0 = -11*j + 13*j - 4, -3*j - 254 = -k. Is k a multiple of 52?
True
Let z(g) = -133*g**3 - 3*g**2 + 2*g - 1. Let v be z(1). Let b = v - -234. Is 11 a factor of b?
True
Let y = 417 + -219. Suppose 5*k + 5*x - 760 = 0, 4*k = -2*x + 404 + y. Does 30 divide k?
False
Is 31 a factor of 31*3*(-12)/(72/(-14))?
True
Suppose 66*q - 5587 = 1079. Is q a multiple of 6?
False
Suppose 1 - 11 = -2*z. Suppose 36 = 7*q - z*q. Is q even?
True
Let p(x) = -12 + 48*x - 25*x - 27*x - x**3 - 4*x**2. Does 13 divide p(-6)?
False
Let r = 114 - 108. Suppose r*v + 104 = 704. Is v a multiple of 11?
False
Suppose 5*f + 20 = -0, -2*k = -5*f - 24. Suppose 2*b = -8 + k, -40 = -p + 2*b. Is p*(9/6)/3 a multiple of 5?
False
Suppose 0 = -54*j + 51*j + 21. Let k(m) = 15*m - 9. Is k(j) a multiple of 8?
True
Suppose 3*i + 55 = 2*o, -4*o + 125 = -i - 0*i. Let k = o - 14. Is k a multiple of 18?
True
Let j(i) = -8*i**3 - 2*i**2 + 3*i - 9. Is j(-3) a multiple of 12?
True
Let w(g) be the first derivative of g**2/2 + 2*g - 4. Let v be w(3). Suppose -3*k - 103 = -4*z - 6*k, -v*k + 91 = 3*z. Is 22 a factor of z?
True
Let m(t) = t**3 + t**2 - 2*t - 1. Let y be m(-2). Let z be y/1 - (-5 + 0). Suppose 0*x + 200 = z*x. Does 25 divide x?
True
Is (-2678)/3*(-210)/140 a multiple of 103?
True
Suppose 3*x = 4*i + 130 + 13, -190 