
False
Suppose 90*g = 94*g - 872. Is 25 a factor of g?
False
Let o(b) be the third derivative of b**5/60 - b**4/4 + b**3/3 - b**2. Let r be o(6). Suppose 7*a = r*a + 75. Is a a multiple of 12?
False
Suppose -4*x = -2*o + 44, 4 = 3*x - x. Suppose -3*n + h + o = 2*h, -5*h = 4*n - 20. Is n a multiple of 4?
False
Suppose -4*w + 75 = -829. Does 22 divide w?
False
Let i(z) = -2*z**3 - 7*z**2 + 1. Is 19 a factor of i(-5)?
True
Suppose 3*k - 7*k = 0. Suppose 3*u + 48 = 3*o - k*u, -o + 10 = 5*u. Is 2 + 4/3*o a multiple of 11?
True
Let w = 0 - 2. Does 9 divide ((-14)/(-4) + w)*6?
True
Let i(h) = h - 2*h + 2 + 0*h. Let u be i(2). Suppose -x = -u*x - 22. Is x a multiple of 11?
True
Suppose 4*z - 3*f - 165 = 0, -z - 3*f = -2*f - 43. Is z a multiple of 14?
True
Suppose p - 1 - 3 = 0. Suppose -p*f = 4*g - 268, -2*f - 4*g + 121 = -11. Is f a multiple of 17?
True
Let o(w) = -w**3 - 12*w**2 - 10*w + 15. Let u be o(-11). Suppose -u*l + 7*l - 3 = 0. Suppose -f + 8 + l = 0. Is f a multiple of 4?
False
Let w be (-3)/(-3) - (-1 - 0). Suppose -4*j - 5*d + 21 = 0, 4*d = -w*j + 7*j - 16. Does 7 divide 170/(-15)*(-6)/j?
False
Let r(k) be the third derivative of 1/60*k**6 - 1/60*k**5 - 2*k**2 + 0*k**3 - 1/12*k**4 + 0 + 0*k. Is 8 a factor of r(2)?
True
Let u(p) = p**2 + p + 16. Let y be u(0). Let t be 1/(1/y*-1). Is 10 a factor of 888/t*4/(-6)?
False
Let a = -57 - -3. Let m be 36*(3 - a/(-4)). Is m/(-12)*2/3 a multiple of 9?
False
Does 11 divide -5*5/(-125) - 534/(-5)?
False
Let n(y) be the third derivative of -5*y**4/3 - y**3/6 + 2*y**2. Suppose 3*o + 0 = -3. Is n(o) a multiple of 13?
True
Let f(p) = -20*p + 15. Is f(-6) a multiple of 28?
False
Let d = -10 + 5. Let q be 13/d - (-9)/15. Does 3 divide q/(6/(-3)) + 3?
False
Suppose 0 = -4*q + q + 216. Is 24 a factor of q?
True
Let s(j) = j - 11*j - 10 + 6*j. Is s(-8) a multiple of 11?
True
Let o(n) = -n**2 + 5*n + 4. Let z be o(5). Let k = -51 + 111. Suppose -4*f = 2*v - 12, 0*v - k = -4*v + z*f. Is v a multiple of 12?
True
Suppose -h = -1 - 1. Is 4/8 + 41/h a multiple of 9?
False
Let x(d) be the third derivative of d**6/120 + d**5/5 - 2*d**4/3 - 3*d**3 + 10*d**2. Is x(-13) a multiple of 10?
False
Let j(r) = -5*r - 2. Suppose -c = c + 3*k + 3, 3*c - 4*k - 21 = 0. Suppose -2*y + c*h - 24 = 0, -4*h + 40 = -4*y - 0*y. Is 14 a factor of j(y)?
True
Suppose -3*u + 6 = -o - 1, 3*u = 9. Suppose -l + 92 = 3*q, -o*q - 5*l = -q - 12. Does 15 divide q?
False
Let b(t) = -24*t + 1. Let f be b(-1). Let w = f - 18. Does 7 divide w?
True
Let f(q) = 25*q**3 - q. Let r be f(1). Let j = -14 + r. Suppose -4*s - 5*p + 31 = -0*s, -2*p = j. Is 11 a factor of s?
False
Suppose t = -3*t - 20, -3*q + 125 = -t. Is 20 a factor of q?
True
Is 4 - 7/(21/(-45)) a multiple of 12?
False
Let c be ((-2)/1*1)/2. Let q be 1 + (2/(-1) - c). Is 0/(2 + q) - -15 a multiple of 9?
False
Suppose -4*n = -9 + 41. Let o be (-3)/(-2)*n/4. Let d = 3 - o. Is d a multiple of 4?
False
Let h = 0 - -2. Let k = h - 2. Suppose k*j - 54 = -2*j. Does 17 divide j?
False
Let p = 115 - -110. Suppose -2*f + p = 3*f. Is f a multiple of 15?
True
Suppose 4*j + 32 = 5*j. Does 16 divide j?
True
Suppose -162 = -2*f + 2*g, 2*f = -4*g - 0*g + 168. Suppose -f = 2*v - 4*v. Let j = v + -29. Is j a multiple of 4?
True
Let a(o) = o**2 + 4*o + 1. Let v be a(-4). Let j = v - 18. Let f = j + 35. Does 9 divide f?
True
Suppose -5*l + 1 = 4*y, 0 = 5*y - 6*l + 2*l + 9. Let j(t) = -3*t + 16. Let k be j(7). Is (y + k)*102/(-12) a multiple of 17?
True
Let v = -5 + 10. Suppose 3*h + 3*r = 2*h + 4, -4*h = -v*r - 67. Is 9 a factor of h?
False
Suppose 5*b - 53 = 12. Let t = 46 - b. Is 13 a factor of t?
False
Let d(f) = 2*f - 12. Let j be d(8). Let y(s) = -s**2 + 5*s - 2. Let u be y(j). Suppose -6 = -2*v + u*l + 66, l - 198 = -5*v. Is 13 a factor of v?
True
Suppose 3*m = -1 + 7, -4*v = -3*m - 14. Suppose 3*g - 6 = q + v, -4*q + 5*g - 9 = 0. Is 2 a factor of q?
True
Let j = 22 + -3. Does 10 divide j?
False
Let j(a) = -10*a + 1. Let v be j(-2). Suppose -w + 3 + v = 0. Suppose 36 = 3*f + 3*q, 21 + w = 4*f + q. Is f a multiple of 4?
False
Suppose -2*k + 5*k = f - 172, -2*f - k + 351 = 0. Suppose -3*g + f = -32. Is 23 a factor of g?
True
Let g = 3 - 2. Let a = -1 + g. Suppose -2*q = 5*y - 4*y - 8, a = 5*y + 3*q - 40. Is 4 a factor of y?
True
Let u(t) = -2*t - 6. Let s be u(-7). Let g(n) = 6*n - 3. Let v(l) = l - 1. Let a(z) = -2*g(z) + 14*v(z). Does 6 divide a(s)?
False
Let z = 141 + -79. Let g be 1/3 + 150/9. Suppose 5*p + j = z + g, 0 = -3*p + 5*j + 25. Is 15 a factor of p?
True
Let n(x) = -34*x**3 - x**2 + 2*x + 2. Suppose 0*q - 2 = 2*q. Is n(q) a multiple of 11?
True
Is ((-7)/28)/((-2)/296) a multiple of 13?
False
Let y be (-2 - -5) + 0 + 1. Suppose -3*m - 4*l = -131, 0*m + y*m - 4*l = 156. Suppose m + 29 = 5*f. Is f a multiple of 7?
True
Suppose 3*w = 5*p + 51 + 2, 4*p = 5*w - 97. Suppose 0*x - 4 = -x, 4*x - w = -h. Suppose -12 = 2*g - h*g. Is g a multiple of 3?
False
Let f(i) = i**3 - 8*i**2 - 6*i - 8. Let w be f(9). Suppose -5*j + 3*u = u, 5*u = 3*j + w. Suppose -2*q = j*a - 0*q, 40 = 4*a - 4*q. Does 5 divide a?
True
Let q(y) = 4*y**3 + 3*y**2 + 3*y + 1. Let z be q(-2). Let g = -16 - z. Is 3 a factor of g?
True
Let b(w) = -w - 3. Let o be b(-11). Let u = 29 + o. Is 19 a factor of u?
False
Suppose 0 = -10*g + 280 + 2600. Is 13 a factor of g?
False
Is ((-4)/(-3))/((-6)/(-225)) a multiple of 10?
True
Let l(k) = -k**2 + 6*k + 4. Let y be l(6). Let s(i) = y*i + 2 - 2 + 1 + 41*i. Does 23 divide s(1)?
True
Is (-2)/(-18)*2 + (-2768)/(-18) a multiple of 15?
False
Suppose -10 = -4*u + 14. Suppose -7*v + u*v = -18. Is 9 a factor of v?
True
Let l = -38 - -103. Is l a multiple of 5?
True
Suppose -21 = 3*k - 0*k. Let z(y) = -y**3 - 6*y**2 + 3*y + 8. Does 12 divide z(k)?
True
Let q = -123 + 203. Does 5 divide q?
True
Does 13 divide (55/2)/((-5)/(-10))?
False
Suppose 2*j + 94 = 2*y, -5*y + 2*j - 7*j + 215 = 0. Does 9 divide y?
True
Let q(o) = o + 4. Let c be q(0). Suppose -c*y + 15 + 41 = 0. Does 4 divide y?
False
Let h(y) = y**3 + 4*y**2 - 2. Let z(a) = -a**3 - 5*a**2 + 3. Let f(w) = 2*h(w) + 3*z(w). Is 2 a factor of f(-7)?
False
Let i be (-2)/(-4) + (-1)/2. Let z = 30 - 9. Suppose -u + i*u + z = 0. Does 11 divide u?
False
Let w(c) = 2*c + 4. Let m be w(-5). Let r = 31 + m. Suppose -r = 3*q - 97. Does 12 divide q?
True
Suppose 2*o = v - 6*v + 36, -2*o + 4*v + 18 = 0. Does 3 divide o?
False
Let b be (0 + 4)*(-20)/(-16). Let u = 7 - b. Suppose 0 = -u*y + 66 + 20. Is y a multiple of 14?
False
Let u = -13 + 7. Let t = u + 4. Is 18 a factor of (-2 - -53 - 1) + t?
False
Suppose -33 = -x + 4. Suppose -123 = 4*y + x. Let r = y + 70. Does 15 divide r?
True
Let h(k) = 93*k - 12. Is 9 a factor of h(1)?
True
Let l be (-25)/(-20) + 6/8. Suppose 2*k = -l*k + 164. Is k a multiple of 14?
False
Suppose -4*r - 474 = -3*s + r, 5*r = -3*s + 444. Is 9 a factor of s?
True
Let b be (-62)/(-6) - (-2)/3. Suppose -4*s - b - 25 = 4*f, 3*f + 15 = 0. Is 9 a factor of (-2)/s + (-117)/(-6)?
False
Let m = 321 - -119. Is 22 a factor of m?
True
Let f be -3 - -1 - 9/(-1). Suppose k + 3*p = f, 0 = -2*p + 7*p + 20. Is 12 a factor of k?
False
Suppose 2*x - 7*x + 25 = 0. Suppose -14 = -x*m + 6. Suppose m*w - 2*w = 56. Is 16 a factor of w?
False
Let c = 2 + -1. Is 6 a factor of 10/c + (2 - 0)?
True
Suppose 0 = 3*n - 5*n - 8. Let y be (-2)/(-5)*(8 + 2). Let q = y - n. Does 5 divide q?
False
Let q(h) be the first derivative of h**3/3 - 7*h**2/2 + 2*h + 3. Let k be q(6). Is (k/4)/((-2)/24) a multiple of 6?
True
Suppose o = -29 + 113. Is o a multiple of 14?
True
Let a(m) = -m**3 - 10*m**2 - 3*m + 5. Let j be a(-10). Suppose -17 = -t + j. Is t a multiple of 26?
True
Let h(l) = -4*l + 12. Is h(-5) a multiple of 32?
True
Suppose -5 = 2*m + 3*g + 1, 2*m = 2*g + 4. Let v = m + 7. Does 3 divide v?
False
Let x(g) be the third derivative of -2/15*g**5 + 3*g**2 - 1/120*g**6 + 0*g + 0 + 7/24*g**4 - g**3. Is 9 a factor of x(-9)?
False
Let b(u) = -u**3 - u**2 + u + 4. Let v be (0 - 0)/(-1 + 2). Let q be b(v). Suppose -2*x = -q*x + 80. Is 15 a factor of x?
False
Suppose -2*c = 78 - 562. Is c a multiple of 13?
False
Let q(n) = 8*n + 8. Let f(s) = 3*s + 3. Let x(v) = 11*f(v) - 4*q(v). Let w be x(4). Suppose h + 2 = 1, 0 = w*m - 5*h - 25. Is m a multiple of 4?
True
Is 12 a factor o