- g = -5*x. Is x a multiple of 12?
False
Suppose 0 = 4*o - 26 - 62. Suppose 0 = -3*w + 122 + o. Is 6 a factor of w?
True
Suppose -3*b + 426 + 735 = 3*d, 4*d - 1563 = b. Does 34 divide d?
False
Suppose 4*a - 1591 - 29 = 0. Let b = 645 - a. Suppose -5*t = -5*v - 2*t + b, 2*t = -3*v + 144. Is 12 a factor of v?
True
Let t be -8*4/(-4 - 4). Suppose -2*c + 22 = t*b - 24, 20 = 5*b. Is c a multiple of 5?
True
Does 14 divide 1632/(-340)*(-1 + -34)?
True
Suppose w + 6*w = 196. Suppose 0 = -2*z + f + 68, -3*f = -z - f + w. Is 4 a factor of z?
True
Is (-2 - -218)*(13 - 253/22) a multiple of 40?
False
Suppose 15*c - 6946 = 704. Does 16 divide c?
False
Let i = 2 + 3. Let f(w) = 0 - 1 - i + w + 8*w. Does 26 divide f(5)?
False
Let n(m) = -m**3 + 9*m**2 - 9*m - 16. Let t(p) = -9*p - 11. Let y be t(-2). Is n(y) even?
False
Suppose 4*z = -0*x + x - 20, x + z + 5 = 0. Suppose x = 4*b + b. Suppose 0 = a - b*a - 42. Is 21 a factor of a?
True
Suppose -32 = 2*f + 2. Let k = f - -31. Let c = 59 - k. Does 22 divide c?
False
Let w be (-8)/(-3 - 1)*3. Suppose -2*x - 4*y = -22, 62 = -4*x + w*x - 4*y. Is 13 a factor of (-1)/(-1) + x + -9?
True
Let j(c) = 140*c. Let n(i) = i**2 + 6*i - 6. Let h be n(-7). Does 20 divide j(h)?
True
Let o = 8 + -346. Let c = -178 - o. Does 40 divide c?
True
Let j(t) = 94*t + 46. Is 27 a factor of j(3)?
False
Suppose 2*d = 11*m - 13*m + 470, -2*d + 498 = -5*m. Is 16 a factor of d?
False
Let t = -343 + 345. Let c(p) = -p**2 - 5*p. Let x be c(-5). Suppose x*n = -t*n + 16. Is n a multiple of 2?
True
Suppose 5*b = v + 14529, 9*b + 7*v = 7*b + 5819. Is b a multiple of 39?
False
Let r(q) = -4*q + 9. Let t be r(3). Let i(p) = 9*p**2 + 6*p + 5. Does 13 divide i(t)?
False
Let k = -105 - -163. Does 29 divide k?
True
Suppose -8*b - 14 = -9*b. Is 9 a factor of 254/b + (-5)/35?
True
Let r be 106/(-8)*(30 - 22). Let m = r + 367. Is m a multiple of 16?
False
Let u be (2*-1)/((-12)/54). Suppose u = -3*k - 3, 2 = 5*p + 2*k. Suppose -2*z + 0*i - 5*i = -34, z = -p*i + 18. Is 11 a factor of z?
True
Let w(m) = -13*m + 15. Let c(x) = -x + 1. Let q(s) = 18*c(s) - 2*w(s). Let b be q(4). Let i = b + 15. Does 35 divide i?
True
Let a = 1 - -2. Let q(d) = d**3 - 7*d**2 + 10*d + 4. Let g be q(7). Suppose 5*i - 124 = -3*r + g, -a = -3*r. Is 22 a factor of i?
False
Let y = 1959 - 1063. Is y a multiple of 101?
False
Let y = -158 - -1248. Suppose y = 5*a + 5*a. Does 13 divide a?
False
Does 77 divide ((-2)/(-6))/((6/(-4851))/(-2))?
True
Let s be 6/12*(5 - -1). Suppose s*w - l - 388 = -w, -w = 2*l - 88. Does 14 divide w?
False
Suppose -z = -207 - 31. Is z a multiple of 2?
True
Is 16 a factor of 1 - ((-1)/(-3) - 5460/18)?
True
Let r(f) be the first derivative of 38*f**2 + 2*f + 2. Let i be r(2). Let g = i - 109. Does 15 divide g?
True
Let i be 63/36 + 10/8. Suppose 2*s - 6 = 0, -i*j = -3*s - 143 - 16. Is j a multiple of 45?
False
Let p(n) = n**2 + 7*n - 7. Let l be 2 + (1 - 0) + -13. Let r be p(l). Is (-1 - -3) + (r - 1) a multiple of 8?
True
Let t be 5/(15/891) + -1. Suppose 8*x - 4*x = t. Suppose 3*y - x = 52. Does 13 divide y?
False
Let i = -3 + -1. Let r be (-19540)/45 - i/18. Is 20 a factor of r/(-21) - 4/6?
True
Is (4605/(-9) + 1)*(-36)/24 a multiple of 31?
False
Let h(a) = 28*a + 2. Let d be h(5). Let o = 207 - d. Let u = 95 - o. Is 15 a factor of u?
True
Let s(w) = -4 + 2*w - 14*w - 7*w. Is 22 a factor of s(-6)?
True
Suppose 4*w + 3*c - 174 = -w, -3*c = 2*w - 66. Does 9 divide w?
True
Let m = 1150 + -1082. Is m a multiple of 9?
False
Suppose 3*v + 4*w = 6, -3*v + 6 = -v + 2*w. Let i = v - 16. Let t = 25 + i. Is 4 a factor of t?
False
Suppose d - 25*m - 1212 = -20*m, 0 = 5*m - 10. Does 49 divide d?
False
Let w(z) = 7 + 6*z + 8 - 8 + z**2. Let x be w(-5). Let q(l) = 2*l**2 + 2*l - 3. Does 9 divide q(x)?
True
Suppose -4*l + 15 = 3, 2*l + 534 = 3*v. Is v a multiple of 18?
True
Suppose -3*s + 13 = -0*z - z, 0 = 4*z - 4*s + 12. Suppose z*f = -3*f. Let v = 5 - f. Is v a multiple of 3?
False
Let g(o) = -o**3 + 10*o**2 - 9*o - 8. Let s be g(8). Let p = s + -25. Suppose 2*m + 34 = j, -p = -4*j - 4*m + 53. Is 12 a factor of j?
True
Let v be (-2)/(-6) - 104/(-39). Let d(r) = 4*r - 8. Let p be d(v). Let c = p + 34. Is 20 a factor of c?
False
Let h(k) = 8*k + 4. Let y be h(-7). Let r = -31 - y. Is 21 a factor of r?
True
Let z(d) be the second derivative of 31*d**5/10 + d**4/12 - d**3/3 - d**2 - 2*d. Let v be z(-1). Let c = v + 90. Is c a multiple of 17?
False
Does 15 divide (-17)/85 + 1876/5?
True
Suppose k + 5 = 0, 5*c + 3 = -5*k - 2. Is 27 - ((6 - c) + -4) a multiple of 3?
False
Let d be -12*((-24)/18 - (-1)/3). Let b(g) = -10*g + 2*g**2 - g**2 - 17 + 0. Is b(d) a multiple of 4?
False
Let f(d) = 10*d - 358. Is 36 a factor of f(43)?
True
Let s = 358 - 219. Suppose 4*z - 5*u - 796 = -u, 5*u + 203 = z. Let i = z - s. Is i a multiple of 12?
False
Let y = 37 + -16. Let x be 36/y + (-16)/(-56). Is 4*(1 + 0)*x a multiple of 4?
True
Let r be (10/4)/(-5)*0. Let s be ((-2)/3)/((-8)/84). Suppose -j + 5*q - s + 2 = r, -q = -j + 15. Is 10 a factor of j?
True
Is 44*((-12)/(-4) - -7) a multiple of 39?
False
Suppose -5*k + 3*k = -10. Suppose -x + h = -46 + 1, x - 33 = k*h. Is 8/((-4)/x*-2) a multiple of 24?
True
Suppose 0 = 3*f - 14 - 10. Let x(n) = n**3 + 5*n**2 + n + 5. Let r be x(-5). Let g = f - r. Does 2 divide g?
True
Let v(m) be the first derivative of 3*m**2 + 18*m + 10. Is v(3) a multiple of 6?
True
Let v = -2151 + 2295. Is 8 a factor of v?
True
Does 7 divide -172*(69/(-12) - 8/(-2))?
True
Let q be ((-6)/(-8))/(-3) - 65/(-4). Does 5 divide (q - -1) + -2 - 0?
True
Suppose -2*x = 5*n - 27, n - 4*n + 9 = 3*x. Suppose 2 + n = 3*i. Suppose -112 = r - i*r. Is 14 a factor of r?
True
Let v = 16 - 12. Suppose 4*r + 0*t = -v*t - 28, -t = -r + 3. Is 10*r/(3 + -7) a multiple of 5?
True
Is -2 - 0 - (-308 + -50) a multiple of 6?
False
Let m = -441 + 517. Is m a multiple of 6?
False
Suppose 13*n + 15*n - 19936 = 0. Does 89 divide n?
True
Suppose -31*u = -26*u - 4455. Is u a multiple of 9?
True
Let u(n) = 3*n**2 - n + 28. Is 39 a factor of u(9)?
False
Suppose -2*d - 9 = -3*d. Let w = -5 + d. Suppose w*n + 5*x + 70 = 5*n, 3*n + x = 178. Is 15 a factor of n?
True
Suppose -2*u + 185 = -0*u + p, 5*u + p - 467 = 0. Is 3 a factor of u?
False
Suppose -t - 2*i + 56 - 16 = 0, t + 3*i - 36 = 0. Suppose -3*r = 4*h - 65 - 71, -r - 4*h = -t. Is 22 a factor of r?
True
Let b be (-1 + 2)/((-9)/(-99)). Suppose b*j = 13*j - 46. Does 3 divide j?
False
Let o(a) = 168*a**2 - 16*a + 17. Does 40 divide o(2)?
False
Let o be ((-2)/4)/((-14)/32676) + -1. Suppose 9*t - o = -68. Is t a multiple of 21?
False
Let i(r) be the second derivative of -r**4/12 - 7*r**3/2 - 3*r**2 + 3*r. Does 14 divide i(-15)?
True
Let c(q) = -4*q - 5. Let t be c(-4). Let f = t - -36. Is f a multiple of 8?
False
Let k = 247 - 122. Let f(d) = -d**3 + 9*d**2 + 10*d + 5. Let i be f(10). Suppose 0 = -i*j - 3*l + 311, 5*j + l - k = 3*j. Is 32 a factor of j?
True
Is (((-63)/(-36))/1)/(1/352) a multiple of 28?
True
Let r(f) = f**3 - 6*f**2 + 5. Let o be r(5). Let h be o*(4/8 + -1). Suppose 2*c - 25 = -5*q - 2*c, 2*q - h = c. Is q a multiple of 4?
False
Let c(h) = 5*h**3 - 4*h**2 + 2*h + 1. Let j be c(2). Let q = -19 + j. Does 8 divide 3/6 + 285/q?
False
Let z(v) be the second derivative of -2*v - 1/20*v**5 - 1/6*v**4 + 0 - 1/2*v**2 + 1/6*v**3. Does 23 divide z(-5)?
True
Let u = 815 - 553. Is u a multiple of 3?
False
Let p(d) = -d**3 + 9*d**2 - 6*d + 12. Let o be p(8). Let m = -12 + o. Let u = m - -8. Is 24 a factor of u?
True
Suppose -4*m + 24 = 2*q - 16, -q - 4*m + 30 = 0. Does 5 divide q?
True
Let x = -942 + 1233. Is x a multiple of 9?
False
Suppose 0 + 3 = x. Suppose -7 = -5*j + x*k - 4, -3*j + 4*k = 7. Is 10 a factor of -11*(j + -1 + -3)?
False
Let h(q) = -q**3 - 17*q**2 - 12*q + 2. Let a be h(-16). Let s = -17 - a. Is s a multiple of 9?
True
Let i = -1100 + 2770. Does 10 divide i?
True
Let c(w) = -3*w**2 + 4*w + 1. Let m(l) = -10*l**2 + 13*l + 2. Let x(q) = -7*c(q) + 2*m(q). Let d be x(3). Does 4 divide 10/1 - (3 - d)?
False
Suppose 2*m - 4*k = -0 + 2, -k = -4*m + 11. Does 13 divide (-13)/((-13)/36) + m?
True
Let t(r) = -56*r + 422. Does 6 divide t(4)?
True
Suppose 0 = -220*j + 214*j + 420. Is 11 a factor of j?
False
Let r(p) = -p**3 - 3*p**2 - 4*p - 2. Le