oes 17 divide z?
True
Let o = 7 - 2. Suppose -o*u + 73 = -52. Is 25 a factor of u?
True
Let p be 6/(126/3459) + 2/7. Suppose -4*z - p = -4*l + 463, 4*l = -2*z + 610. Is l a multiple of 18?
False
Let t = 613 - 477. Is 34 a factor of t?
True
Suppose 24 = 5*t - 4*s - 7, 2*s = -3*t + 1. Let q = 189 - 187. Is q - (-10 + t/1) a multiple of 8?
False
Let i(d) = -34*d + 2. Let s be i(-1). Suppose 4*o + 136 = -s. Let m = o + 76. Does 11 divide m?
True
Let p(s) = s**3 - 10*s**2 + 10*s - 12. Let w be p(9). Is 1 - (209/(-3) - (-4)/w) a multiple of 18?
True
Suppose 0 = t - w - 8, 0*t - 2*t - 14 = 4*w. Suppose -6*q + 2*q + 3 = t*s, -5*q = -3*s + 30. Suppose f + 172 = 4*f + s*x, 3*f + 3*x - 174 = 0. Does 16 divide f?
False
Let f(k) = 4 + 4*k - 7 + 0*k. Let c be f(2). Suppose 0 = -c*n + n + 84. Does 5 divide n?
False
Let j(h) = -10*h**3 - 61*h**2 + 9*h + 79. Let f(g) = 7*g**3 + 41*g**2 - 6*g - 53. Let i(x) = -7*f(x) - 5*j(x). Is i(-18) a multiple of 6?
True
Suppose 0*f - 27 = -4*f + 5*y, 0 = -f - 3*y - 6. Suppose 2*p + f*p - 15 = 0. Suppose p*z + 4*u - 184 = -z, -4*z + u + 169 = 0. Does 8 divide z?
False
Let k(o) = 74*o**2 + 5*o - 3. Let w be 1 + (3 - (20/5 + -1)). Does 4 divide k(w)?
True
Let k = -55 + 36. Let w = -7 - k. Is 6 a factor of w?
True
Suppose 2*u = -5*r + 229, 2*r - 5*u = 3*r - 55. Let g = -32 - -22. Let l = g + r. Is l a multiple of 8?
False
Suppose -8 = 5*l - 23. Suppose -4*x + 77 = l*v - 2, -4*v - 3*x = -96. Is v a multiple of 7?
True
Suppose -6806 = -5*r - 2*q, 3*r + 4*q - 2657 - 1421 = 0. Does 58 divide r?
False
Suppose -2415 = -4*o - 5*x, 1263 = 5*o - 2*x - 1797. Is o a multiple of 10?
True
Suppose 5*z + 3*y - 1778 = 0, 4*z - 3*y - 593 = 851. Is 23 a factor of z?
False
Is (-59150)/(-117) - (-4)/9 a multiple of 23?
True
Let f = -7 - -214. Does 25 divide f?
False
Let s(l) = l**3 + 4*l**2 - 2*l - 1. Let u be s(-4). Let v(a) = 6*a - 5. Let q be v(u). Suppose 0 = -5*j - h + 82 + q, 3*j + h - 71 = 0. Is 6 a factor of j?
True
Suppose 4*c - 119 = 141. Is 13 a factor of c?
True
Let n = 15 - 11. Suppose 0 = 5*a - 14 + n. Suppose -5*s - 3*x = -202, a*x + 2*x = -s + 37. Does 25 divide s?
False
Let x = 980 - 457. Suppose 14*f - 2249 - x = 0. Is f a multiple of 33?
True
Let v be (-77)/(-35) - (-2)/(-10). Let a = 39 + v. Does 28 divide a?
False
Suppose -u - 2 = -2*u. Suppose -4*b - 8 - 4 = -2*j, 2*j = u*b + 16. Does 4 divide j?
False
Let n(o) = 7*o + 10. Let c(t) be the second derivative of t**4/12 + 7*t**3/6 + 7*t**2 + 8*t. Let b be c(-6). Is n(b) a multiple of 22?
True
Suppose 4*w = -w - 3*t + 32, -t + 6 = w. Suppose w = -r + 17. Is 106/r - (-4)/10 a multiple of 4?
False
Let m(n) be the first derivative of -n**4 - 2. Let f be m(2). Let t = f + 50. Is t a multiple of 4?
False
Let b(w) be the third derivative of w**4/8 - w**3/6 - 4*w**2. Let d be b(2). Is 1 - -22 - d/(-5) a multiple of 8?
True
Let w(l) = -4*l - 2. Let y(z) = z**2 - z - 1. Let r(j) = -2*w(j) + 2*y(j). Is r(-4) a multiple of 2?
True
Let j = -3 + 2. Let h(n) = -163*n + 54*n**2 + 164*n + 1 + 0. Does 18 divide h(j)?
True
Is 29 a factor of 30/24*20*5?
False
Let c(k) = k**2 + 8*k + 17. Let m be c(-5). Suppose 2*g - 426 = -x, 8 = -6*x + m*x. Is 9 a factor of g?
False
Suppose 2*u + 5*u = 28. Suppose -n + f = -152, -4*n + u*f = n - 760. Is 38 a factor of n?
True
Let v = -46 + 82. Let a = 40 - v. Is a even?
True
Let m be (-148)/(-10) - 3/(-15). Let f = m + 2. Does 3 divide f?
False
Suppose 4*i + w + 709 = 0, -3*i - 427 - 116 = 3*w. Let p = -86 - i. Does 10 divide p?
True
Is 51 a factor of 15538/10 + (-16 - (-324)/20)?
False
Let n = -11 + 11. Suppose -2*m - 8 = n, 4*i - 7*i = -m - 277. Does 13 divide i?
True
Let q(l) = l**2 - 7*l + 8. Suppose f - 14 = 5*j, 3*j + 2*j - 4 = -f. Is 13 a factor of q(f)?
True
Suppose 0 = 10*i + 21 - 311. Let l = 107 - i. Is l a multiple of 26?
True
Suppose -a + 16537 = 4*h, -20674 = -5*h - 4*a - 0*a. Is h a multiple of 159?
True
Suppose 162*b - 161*b - 202 = 0. Does 9 divide b?
False
Suppose 0 = 3*q - 0*q, v = 2*q. Suppose 0 = -5*i - 2*b - v*b + 323, -320 = -5*i - 5*b. Does 13 divide i?
True
Suppose -3*r - 3*j - 1465 = -2*j, -5*r = 2*j + 2441. Let i = -265 - r. Does 14 divide i?
True
Let l(f) = 370*f**2 + f - 6. Is 21 a factor of l(2)?
False
Suppose -4*r = 2*a - 10328, 4*r + 5*a = 4307 + 6015. Is 105 a factor of r?
False
Suppose -t = 4*h + 5, 4*h - 2 = 3*t - 3. Does 8 divide 10/2*(t + 29/5)?
True
Let o(a) = -a**3 + 18*a**2 + 19*a + 6. Let c = 7 + 12. Is o(c) a multiple of 2?
True
Suppose 0 = -5*g - j + 3*j, -5*j = 2*g. Let v(y) be the second derivative of -y**4/12 - y**3/6 + 7*y**2 + y. Is v(g) a multiple of 10?
False
Let q(w) be the first derivative of w**4/4 - w**3/3 - 3*w + 1. Let m(p) = -p**3 - 5*p**2 - 6*p + 4. Let r be m(-3). Is q(r) a multiple of 16?
False
Suppose 3*v - 6125 = -t, 0 = 8*v - 10*v + 3*t + 4098. Is v a multiple of 31?
False
Suppose 668 = 2*h + 80. Does 21 divide h?
True
Let d = -13 + 16. Suppose -2 = d*m - 2*b, 4*m = -0*b - 3*b + 20. Suppose -m*n - 45 = -3*n. Is 15 a factor of n?
True
Suppose -3*f - 20 = -7*f. Suppose -3*j - 3*z = -8*z - 88, -38 = -3*j - f*z. Does 7 divide j?
True
Suppose 0 = -5*a, -2*a + 448 = d - 7*a. Does 32 divide d?
True
Suppose 97 + 13343 = 14*k. Is k a multiple of 8?
True
Let t = 5465 - 3073. Is t a multiple of 26?
True
Does 20 divide (-17608)/(-44) + (-256)/(-44) + -6?
True
Let m be (-5)/(-2)*(-4)/5. Let l(n) = 6*n**2 + n + 7. Let y(d) = 5*d**2 + 2*d + 6. Let u(o) = m*l(o) + 3*y(o). Is 18 a factor of u(-4)?
True
Let w(y) = -289*y - 111. Does 40 divide w(-6)?
False
Suppose 0 = -3*r + 3*i - 66 - 63, -2*i = 5*r + 236. Let c = -34 - r. Is 4 a factor of c?
True
Suppose -6*d + 2060 + 196 = 0. Is d a multiple of 60?
False
Let c(o) = 2*o**2 + 6*o + 56. Is c(12) a multiple of 32?
True
Let u(a) = a**2 - 12*a + 17. Let v be u(11). Suppose 3*g - 3*p - 135 = 0, -p - 89 = -2*g - 4. Suppose v*q = 11*q - g. Is 4 a factor of q?
True
Let o = 186 - 112. Suppose 5*l = 106 + o. Is 6 a factor of l?
True
Let v(z) = z - 4. Let x be v(8). Suppose -x*j + 1688 = 4*j. Is 13 a factor of j?
False
Let s(k) = 21*k**2 + 31*k - 13. Is s(-5) a multiple of 7?
True
Let o(d) = -10*d**2 + 3*d - 3. Suppose -4*j - 10 = -9*j. Let a be o(j). Let h = -16 - a. Is h a multiple of 7?
True
Let b be ((-51)/34)/(2/(-40)). Suppose -10 + b = q. Is q a multiple of 4?
True
Let m(d) be the second derivative of -d**5/10 - d**4/4 + 7*d**3/6 + 4*d**2 - 12*d. Let i be m(-4). Let s = i - 18. Is s a multiple of 11?
False
Let x(p) = -19*p**3 + p**2 - 1. Let r be x(-1). Let v = 73 + r. Does 14 divide v?
False
Suppose 10526 = -4*c + 11626. Is 5 a factor of c?
True
Suppose -33*s + 717 = 4*z - 34*s, -3*s - 171 = -z. Suppose 4*o + 276 = -212. Let i = o + z. Is 13 a factor of i?
False
Let x be (-1 - -3) + (6 - (-12)/(-4)). Suppose 56 = x*b - 34. Is b a multiple of 7?
False
Let g be (0 - 19/(-3)) + 2/(-6). Is 3 a factor of 19 - 1 - (g - (2 + 4))?
True
Let a = -1369 + 2789. Is 10 a factor of a?
True
Suppose -4*h + 17 = 3*b - 3*h, -3*b - 2*h = -22. Suppose 5*x = b*p + 43, -4*x - 1 = -p - 9. Is 5 a factor of 128/p*3/(-2)?
False
Let i be 0/(-1 + (0 - -2)). Suppose -3*p + l + 38 = i, -7*p + 3*p + 46 = l. Is ((-8)/p)/((-2)/6) even?
True
Let h(m) = 256*m - 588. Is 13 a factor of h(9)?
True
Suppose -4*q + 1062 = 3*h, h - 2*q - 1044 = -2*h. Is 50 a factor of h?
True
Let g = 2 + -4. Is 12 a factor of 131 - ((-6)/g)/(-3)?
True
Suppose -s - 28 = -5*s - 3*x, -2*x + 28 = 5*s. Suppose 5*k - 150 = 140. Suppose 0 = -3*l - q + k, 2*q - 4 - s = 0. Is l a multiple of 18?
True
Suppose -4*o + 3*x = -2520, -o + 3*x + 1893 = 2*o. Suppose 0 = 3*h - 3*c - o, -5*h - 5*c + 1037 = -2*c. Is h a multiple of 26?
True
Suppose 1890 = 6*m - 1620. Is m a multiple of 9?
True
Let z be 2/((-26)/(-168) - 1/4). Is 4/14 - (-3 + 1254/z) a multiple of 21?
True
Let n(k) = -189*k + 64. Is n(-2) a multiple of 26?
True
Let i(f) = -54*f**3 + 26*f**3 - 3*f**2 - 4 + 29*f**3 + 0*f**2 + 7*f. Is 38 a factor of i(5)?
False
Suppose 3*z + 2*y - 246 - 39 = 0, z = -4*y + 95. Is z a multiple of 13?
False
Suppose -3*n - 4*c + 28 = 0, -2*n + 8 = n - c. Suppose 42 = -5*a + n*a. Let i = a - -70. Is i a multiple of 7?
True
Let b(g) = g**2 + 27*g + 2. Does 13 divide b(-31)?
False
Let f = -141 - -1701. Is 26 a factor of f?
True
Let a = -88 + 228. Is a a mu