9)?
False
Suppose 5*y - 4 = 8*y - 2*r, -5*r + 10 = 2*y. Suppose y = 4*b - 2*f - 216, -3*b - 2*b + 4*f + 270 = 0. Is b a multiple of 6?
True
Let j(d) = -d**2 + 6*d + 8. Let t be j(8). Let m(p) = p**2 + 6*p - 11. Let c be m(t). Let n = 35 - c. Is 14 a factor of n?
False
Let a = -143 + 150. Let h(y) = 2*y**3 - 7*y**2 + 22. Is h(a) a multiple of 40?
False
Let d(b) = -b**3 + 5*b**2 + 3*b - 6. Let q be d(5). Is q/(-6) + (-567)/(-14) a multiple of 7?
False
Suppose -o - 5*s + 9 = 0, -2*s - 3*s - 45 = -5*o. Suppose -5*p = 5, p + o = 3*h - 2*p. Suppose -r - 4*r = h*d - 69, -39 = -3*r - 2*d. Is 5 a factor of r?
True
Suppose t - z + 9 - 65 = 0, -2*t + 5*z + 115 = 0. Let r = 98 - t. Is r a multiple of 12?
False
Suppose -m - 7 = -u, -u + 3*m = -3 - 2. Suppose 0*i + u*i - 384 = 0. Does 9 divide i?
False
Is ((-3)/6)/((-26)/5876) a multiple of 12?
False
Suppose 3*a = -5*j - 361 + 1051, 4*a - 5*j - 885 = 0. Suppose 5*x = -5*v + a, v + 3*x - 225 = -4*v. Does 9 divide v?
True
Suppose 2*k = -y + 54, 3*y + 2*k - 52 = 114. Does 8 divide y?
True
Is 48 a factor of 10 - 5380/(-26) - 3/(-39)?
False
Suppose 0*l = -4*l + 8. Let s be 1/(l/390) - 1. Let i = s - 123. Is 16 a factor of i?
False
Suppose -w = -32 - 49. Suppose -w = -2*c + c. Let h = c + -49. Is h a multiple of 16?
True
Let o(y) = -y**3 - y + 76. Let b(h) = -h. Let q be b(0). Let g be o(q). Let d = g - 54. Is 11 a factor of d?
True
Suppose 4*a - 89 = -33. Let r = -10 + a. Suppose 0 = 2*o - 6*o - 2*d + 70, -r*o - 3*d + 73 = 0. Is 8 a factor of o?
True
Let s(o) = -o**3 + o**2 - 69. Let p be s(0). Does 15 divide 2/6 + (-5152)/p?
True
Suppose 0 = 6*k - 2*k. Suppose 0 = 5*u - 2*s - 82, -79 = -5*u - s - k*s. Let z = u - -5. Is z a multiple of 7?
True
Let s(z) = 6 - 5*z - 7 + z**3 + 5 + z**2. Let f(t) = t**2 - 10*t + 3. Let p be f(10). Is 7 a factor of s(p)?
False
Let p(l) = 3*l - 32. Let v be p(13). Let x(a) = -a**3 + 13*a**2 - 18*a - 6. Is x(v) a multiple of 18?
True
Is 23 a factor of (30/60)/(-1 - 11778/(-11776))?
True
Let z(a) = a - 1. Let o be z(9). Suppose -2*s = -4*k + 284, -5*s = -3*s + o. Suppose 0*l = -3*l + k. Is 6 a factor of l?
False
Let v = 74 - 76. Let t(k) = 9*k**2 - 3*k - 2. Does 8 divide t(v)?
True
Does 73 divide 1300/1 + 6*(9 + -10)?
False
Let r = -6 - -5. Let w(m) = -8*m + 7*m - 2 + 1 + 6*m**2 + 4*m**2. Does 2 divide w(r)?
True
Let r(h) = 3*h - 21. Let y be r(8). Suppose -48 = -4*g + y*u, 3*u = 5*g - 30 - 30. Does 8 divide g?
False
Suppose 2625 + 4362 = 17*g. Is 31 a factor of g?
False
Suppose 0 = -22*l + 19*l - 48. Suppose 5*q = 15, 2*k + 2 = 2*q + 16. Let o = k - l. Is 9 a factor of o?
False
Let g be (1 - 1) + -6 + 11. Let u(l) = -2*l**2 - 2*l + 1. Let f(t) = -3*t**2 - 3*t + 2. Let a(y) = g*f(y) - 8*u(y). Is a(-4) a multiple of 7?
True
Let t = 1299 + -1198. Is t a multiple of 5?
False
Suppose -3*r + 2157 = s, r - 1438 = -r - 3*s. Does 29 divide r?
False
Suppose -4*i = -0*i - 1668. Is 31 a factor of i?
False
Suppose -4*t + 16 = 5*z, 3*t + 0*t = 3*z + 12. Suppose v - 4*p - 57 = z, -3*p = 2*v - 4*v + 119. Is v a multiple of 9?
False
Let h = 20 - 6. Suppose -h + 26 = -4*z. Let q = z - -9. Does 2 divide q?
True
Let h(g) = 34*g - 9. Let b(f) = -35*f + 10. Let v(u) = -3*b(u) - 4*h(u). Is v(-4) a multiple of 57?
False
Suppose 0 = 232*l - 219*l - 28236. Is 40 a factor of l?
False
Let p be ((-8820)/(-112))/((-2)/(-8)). Suppose -p = 4*t - 1867. Does 45 divide t?
False
Let q be (12/18)/((-4)/6). Let c be 2/q - (-3040)/(-8). Is (-4)/(-8) - c/4 a multiple of 35?
False
Is 2 a factor of 4 + (-80)/(-6) - 5/(-3)?
False
Is (-14 - -77) + -2 + 0 a multiple of 5?
False
Let n(a) = -a**3 - 3*a**2 - 2*a - 4. Let l be n(-3). Let p(v) = 3*v**2 - 9*v + 8. Let z be p(2). Suppose z*w - 92 = -l. Is 26 a factor of w?
False
Let h(a) be the first derivative of -a**3/3 + 4*a**2 - 3*a - 4. Suppose -2 = 3*k - 20. Does 6 divide h(k)?
False
Suppose 4*b + 5 = 1. Is 2 a factor of (40/(-6))/(6/9*b)?
True
Suppose 3*o - 15 = -3*t, -t - 5*o = -2 - 15. Suppose -3 = -t*z + 1. Is z a multiple of 2?
True
Let b(p) = -p + 7. Let k(f) = f + 2. Let n be k(2). Let z be b(n). Suppose -5*i + 58 = z*d, -d = d + i - 34. Is d a multiple of 10?
False
Suppose 16*c = -3842 + 17058. Does 19 divide c?
False
Is ((-12)/18)/(3/(-4077)) + -4 a multiple of 11?
True
Let y be -4 - -5 - -17 - -2. Let b = 60 - y. Is b a multiple of 10?
True
Let z(j) = 32*j. Let g(q) = -1. Let a(c) = -g(c) + z(c). Does 13 divide a(2)?
True
Suppose 0 = -11*w + 422 + 3648. Is 74 a factor of w?
True
Suppose -3*n + 7*n = 2*l + 118, -2*l = 4*n - 106. Let f = 30 - n. Suppose 4*w = 5*s - 99 + 363, f*s - 236 = -4*w. Is w a multiple of 15?
False
Suppose -5*t = q - 2526, t = 3*t + 4*q - 1014. Does 4 divide t?
False
Let f(n) be the first derivative of -5*n**3/3 - 3*n**2/2 + 6*n - 12. Let u(r) = -9*r**2 - 6*r + 11. Let y(d) = 7*f(d) - 4*u(d). Is y(-5) a multiple of 2?
True
Let d = -10 - -14. Let z(y) = y + 6*y - d + 1 + 5*y. Does 18 divide z(2)?
False
Let q(y) be the third derivative of -y**5/60 - 17*y**4/24 - 4*y**3/3 - 22*y**2. Is 34 a factor of q(-14)?
True
Let o(w) = -2*w**2 + 139 + 284*w - 286*w + 9 + 97. Is 49 a factor of o(0)?
True
Let x(q) = -192*q**3 - q**2 - 3*q - 2. Is 79 a factor of x(-1)?
False
Let z = -15 - -17. Suppose -u - z = -62. Does 20 divide u?
True
Suppose -3*t + 4*t - v = 0, -t - 3 = -2*v. Suppose -5*i = -3*i - 4. Suppose 2*q = -4*m + 448, -t*m - i*m - 5*q + 550 = 0. Is 29 a factor of m?
False
Let y(u) = 2602*u**2 + 13*u - 14. Does 18 divide y(1)?
False
Suppose -b - 5*t + 3491 = 0, 2*t + 8259 - 1265 = 2*b. Is b a multiple of 17?
False
Let q be 15/2*(-4)/(-10). Suppose 3*o = 9, 2*l = -q*o + 6*o + 87. Is 16 a factor of l?
True
Suppose -19*w + 6199 = -9989. Is w a multiple of 4?
True
Let p(w) be the first derivative of -w**2/2 + 128*w + 4. Let z be p(0). Let x = z - 49. Is x a multiple of 21?
False
Let v(z) = -z**2 - 17. Let y be v(0). Let x = y - -41. Does 11 divide x?
False
Let j be 52/14 + 14/49. Suppose 0 = -j*i - i. Suppose -b = -5*p + 78, b = 2 - i. Is 8 a factor of p?
True
Suppose -3*i - 7*o = -4*o - 648, -o = -3*i + 636. Is i a multiple of 21?
False
Let z = -304 + 441. Is 30 a factor of z?
False
Let l be (-2)/(-2*1/4). Suppose -5*b + 7*m = l*m - 274, -4*m + 288 = 5*b. Is b a multiple of 8?
True
Let h be ((-1)/2)/((-4)/8). Is h + 52 + (-12)/(-3) a multiple of 7?
False
Is 20 a factor of ((-4)/((-8)/(-2)))/((-4)/3652)?
False
Let c be (-27)/(-6)*(-4)/(-9). Suppose c*w - 9 + 3 = 0. Suppose -5*q - 331 = -9*q + f, w*f = 3*q - 246. Is q a multiple of 19?
False
Let z = 10 + -21. Let h = 17 - z. Does 6 divide 48*(-3 - h/(-8))?
True
Suppose -4*y = -i + 15, 0*i - 3*i + 4*y + 21 = 0. Is 5 a factor of 8 - (-8)/(i - -1)?
True
Let t(l) = -2*l - 3. Let q be t(6). Is 2/15 + (-178)/q a multiple of 12?
True
Let x(o) = -14*o**3 + o**2 - 9*o + 21. Suppose -13 = -2*c - 1. Let z(m) = 5*m**3 + 3*m - 7. Let t(f) = c*x(f) + 17*z(f). Is t(-6) a multiple of 8?
False
Let l = 1342 - 442. Let i = l + -540. Suppose -u - 3*u = -i. Does 30 divide u?
True
Let x = -63 + 67. Does 21 divide 1 + 94*5/(10/x)?
True
Suppose 620 = -199*q + 203*q. Is 43 a factor of q?
False
Suppose 328*b = 319*b + 1845. Is 19 a factor of b?
False
Let q = 96 - 100. Is 2 + -1*(q - (3 - -120)) a multiple of 13?
False
Suppose -18*z = -3*y - 15*z + 2520, -2519 = -3*y + 2*z. Is 47 a factor of y?
False
Let l(w) = -12*w + 9. Let s be (0 - -3)*(0 + (-4)/3). Is 19 a factor of l(s)?
True
Let o be (-4 - (-2253)/12) + (-3)/4. Let h = 69 + o. Is h a multiple of 21?
True
Suppose 4*h = -h + 30. Suppose 5*s = 7*s - h. Suppose -93 + 31 = -3*k + v, -3*k + s*v + 72 = 0. Is k a multiple of 9?
False
Let l(m) = 6*m + 4. Let n be l(2). Suppose -n = -5*a + 4*a. Is a a multiple of 3?
False
Let y(z) = -2*z - 8. Let g(c) = c - 421 + 421. Let u(s) = -g(s) + y(s). Does 2 divide u(-4)?
True
Suppose -f = -4*f + 6. Suppose 2*b + 28 = 2*m - m, -5*m + 188 = f*b. Is 32 a factor of m?
False
Let d(i) be the second derivative of -i**4/12 + 27*i**3/2 + 3*i**2/2 + 7*i. Let o(t) be the first derivative of d(t). Is 27 a factor of o(0)?
True
Let w be (5/10)/((-1)/(-78)). Let b = w - 6. Suppose -2*q - q = -b. Does 3 divide q?
False
Let l be 0 + -5 + 3 - -6. Let r(j) = -j + 6. Let h be r(l). Is 8 a factor of ((-1)/h)/((-8)/832)?
False
Suppose f - 282 = -2*u, -3*u + 283 + 