Let d be 3/(-2)*(14 - 10). Let t be b(d). Does 3 divide (-1 - t)/2 - -2?
True
Suppose 462 = -2*c + 8*c. Does 5 divide c?
False
Suppose 5*i = 8*i - 6. Suppose -i*k + t + 155 = -0*k, 3*t = 5*k - 386. Is 34 a factor of k?
False
Suppose q - 672 = -4*d, -5*q = -4*q - 5*d - 699. Is 33 a factor of q?
False
Suppose -3*a = a - 8. Let n(r) = 5*r**a + 7 + 0*r - 2*r - 3 + 2*r**2. Is n(-4) a multiple of 27?
False
Suppose 3*o + o + 16 = 0, 2*b - 20 = 3*o. Suppose -z + 3*z - 6 = 0, b*z - 82 = -n. Suppose 2*u + 14 = -m + 2*m, -3*u = 5*m - n. Does 7 divide m?
True
Let z be (-4)/(-14) - 4/14. Suppose 2*f - 2*q - 24 = z, -3*f + 5*f + q - 18 = 0. Suppose -2*w + 3*w - f = 0. Is 8 a factor of w?
False
Suppose 0 = -47*g + 5517 + 5481. Does 39 divide g?
True
Let o be (20/5 - 4)/1. Suppose 3*d + 0*y = -3*y + 321, o = 5*d - 2*y - 521. Is d a multiple of 15?
True
Let h = 7152 - 1756. Is 3 a factor of h/247 + (-2)/(-13)?
False
Let r(v) = v**2 - 7*v - 27. Let t(a) = -6*a**2 + 36*a + 136. Let z(d) = -11*r(d) - 2*t(d). Does 14 divide z(-15)?
False
Let v be (5*(-24)/(-60))/((-2)/68). Let c = -62 - -168. Let t = v + c. Does 19 divide t?
True
Suppose 32616 = 21*q - 9*q. Is q a multiple of 9?
True
Is (7 + 139)/((-2)/(-13)) a multiple of 73?
True
Let w(r) = r**3 - 2*r**2 - 3*r - 5. Suppose -5*o = 4 - 24. Let n be w(o). Suppose -n - 51 = -6*q. Does 4 divide q?
False
Suppose 3*z - 17 = -4*u, 5*z - 24 = -9. Suppose -x - 2*g = -4*g - 33, u = g. Let t = x + -13. Is t a multiple of 6?
True
Suppose 3*i - 3*a = -27, -5*a + 19 = -i - 10. Does 20 divide 1/(i/(-724) - 0)?
False
Let b(v) = -v**3 - 14*v**2 - 19*v - 6. Let u be b(-13). Is 11 a factor of 1 + 102 + u/(-18)?
True
Is 24 a factor of (-3)/(5 - 2024/404)?
False
Is (-2)/(-16) - ((-9018)/48 - -5) a multiple of 5?
False
Let l = -68 - -47. Let f = 21 - l. Suppose 3*s + 0 = f. Is 7 a factor of s?
True
Let y(n) = -2*n**2 + 19*n - 14. Let r be y(9). Let o(v) = -v**3 - 5*v**2 - 7*v. Let u be o(-5). Let q = r + u. Is q a multiple of 15?
True
Suppose -8*k = -4*k - 2*u - 46, -2*k + 33 = -3*u. Is 2 a factor of k?
False
Let z(h) = h - 22. Let j(o) = -2*o + 44. Let l(m) = -6*j(m) - 13*z(m). Let d be l(18). Does 20 divide (d + 170)/(1 - -1)?
False
Suppose 2*z + 10 = 4*w, -9 = w - 3*z + 1. Suppose -w*g - 7 = -82. Is g a multiple of 15?
True
Is 6 a factor of ((-563499)/27)/(-29) + 1/3?
True
Let t be (-1)/((-28)/12 + 2). Suppose -t*y = -15, o - y = 13 + 9. Suppose -4*b + 5*c + 37 = -o, b - 4*c = 16. Does 16 divide b?
True
Suppose -3*j + 160 + 533 = 0. Let y = j - 66. Is y a multiple of 22?
False
Suppose -26 = 6*s + 58. Suppose -2*a = 70 - 24. Let n = s - a. Does 3 divide n?
True
Let j = 11 + -9. Let x(w) = -2*w + 4*w**2 + 5*w**2 - 1 - j + w**3. Is 5 a factor of x(-9)?
True
Suppose 1821 - 5385 = -11*m. Suppose -29*k - m = -33*k. Does 27 divide k?
True
Let c(g) = 17*g**2 + 2*g + 2. Let k be c(-1). Suppose 7*w = -5*d + 3*w + 37, -4*d = -w - k. Suppose d*x = 2 + 78. Is 8 a factor of x?
True
Let o(m) = m**3 - 10*m**2 - 4*m - 11. Suppose -6*a + 12 = -2*a. Suppose c = -w + 3 + 4, 3*c - a*w - 45 = 0. Is o(c) a multiple of 22?
True
Suppose -2*v = -l + 76, -3*v + 55 - 295 = -3*l. Let k be 154/l + 2/12. Suppose k*d = 26 - 8. Is 9 a factor of d?
True
Let u(g) be the third derivative of g**5/60 + 5*g**4/24 + 2*g**2. Let l = -11 + 15. Does 18 divide u(l)?
True
Suppose 0 = -34*f + 30*f - l + 1408, -4*f + l = -1400. Is f a multiple of 13?
True
Suppose 12*b = 10*b + 6. Suppose 3*x = k + 3 - 0, b*k = 3*x - 3. Is 26 a factor of 131/5 + x/(-5)?
True
Suppose -2 = b, 456 = -3*n + 5*b - 179. Let d = -143 - n. Is d a multiple of 8?
True
Suppose -w - 3*w = 4*a - 440, -4*w + 20 = 0. Suppose -q + a = -177. Is 47 a factor of q?
True
Let z = 40 - 37. Suppose 3*x = -3*u - z, -5 = -u + 3*u + 5*x. Suppose u = -o + k - 0*k + 23, 2*o - 47 = 3*k. Is o a multiple of 11?
True
Let w = 56 - -187. Suppose 123 = 3*n - w. Is n a multiple of 30?
False
Let y(f) = f + 9. Let a be y(-7). Let w(z) be the third derivative of 11*z**4/24 + z**3/6 + 14*z**2. Does 20 divide w(a)?
False
Let q(n) = -52*n + 18. Let i be q(-6). Suppose -i = -7*r + r. Is 11 a factor of r?
True
Suppose s + j = 1500, -2*s - 28*j + 3000 = -24*j. Does 30 divide s?
True
Let q be 3/(-7 - -4) - 5. Let y = 8 + q. Let v = y + 19. Is 5 a factor of v?
False
Suppose 0 = -5*s, 4*s + 26 = x + 2. Suppose -3 = -0*f + f, 4*f = -2*k + x. Does 7 divide k?
False
Let w = 81 + -82. Does 12 divide 8*w/2 + 182?
False
Suppose 4*h + 4*m = 44, -32 + 10 = -2*h - 5*m. Suppose 0 = h*f - 120 - 254. Does 24 divide f?
False
Suppose 543 = 4*i + 3*s, 4*i - s + 0*s - 523 = 0. Is i a multiple of 44?
True
Suppose 4*q - 5*q + 5*z = -9, -4*q = -5*z - 6. Does 36 divide q + 1 + (21 - -15)?
True
Suppose 0 = -4*u + 5*z - 113, -3*u = 4*z - 0*z + 77. Let s = u - -42. Suppose 0 = 3*v + s, 2*v - 185 = -5*a + 3*v. Does 10 divide a?
False
Suppose -7 = 3*h + 4*n - 4, 4 = -4*h + 3*n. Let t(d) = 2*d**2 - 7*d + 9. Let x be t(3). Is 4 a factor of x/((6/(-21))/h)?
False
Is (5457/17)/((-2)/(-6)) a multiple of 9?
True
Let h(r) = -2*r**2 - 4*r + 4. Let q be h(2). Is -1 - -2 - 1236/q a multiple of 32?
False
Let v(a) be the first derivative of -a**3/3 - 7*a**2/2 + 6*a - 3. Suppose 3*d - 7 = o + 4*o, -2*o = -4*d - 14. Is 5 a factor of v(d)?
False
Let a = 665 - 520. Is 2 a factor of a?
False
Let u be (-1)/(-3) + 17/3. Let y = 5 - 3. Suppose -4*w + 146 = -y*i, -u*w - 5*i = -2*w - 181. Does 15 divide w?
False
Suppose -x + 4*o - 6*o + 150 = 0, -2*o - 714 = -5*x. Is 16 a factor of x?
True
Suppose -43*t + 42*t + 5*x + 174 = 0, 4*t - 696 = -2*x. Is t a multiple of 6?
True
Let v be (-8)/(-16) - (66/(-4))/3. Suppose 1880 + 40 = v*a. Is a a multiple of 16?
True
Let b be 103/5 - 4/(-10). Suppose -3*j = -b - 15. Is 12 a factor of j?
True
Suppose 3*g = -5*l + 464, g - 81 - 70 = 2*l. Let i = -157 - -94. Let w = g + i. Is w a multiple of 30?
True
Suppose 43 = k - 86. Suppose 3*w - 2*f = 2*f + k, 4*w = -2*f + 194. Is 7 a factor of w?
False
Let z(x) = -x**3 - 7*x**2 - 5*x + 8. Let s be z(-6). Let n be 14/4 - s/(-4). Suppose -4*j + j = 2*v - 84, n*v + 5*j - 166 = 0. Is v a multiple of 39?
True
Suppose r + 24 = 5*r. Is 4 a factor of ((-62)/r - 2)*-3?
False
Let j(h) = -h**3 + h + 5. Let c be j(0). Suppose c*t - 9*t = -396. Does 19 divide t?
False
Suppose 0 = -3*b - a + 3346, 3 = -3*a - 3. Is 14 a factor of b?
False
Let f(a) = 31*a - 151. Is f(6) a multiple of 10?
False
Suppose 0 = -x - 0*x + 2*b - 20, 3*x + b = -32. Is 17 a factor of 29*3*(-4)/x?
False
Let n = -12 + 11. Let j = 5 + n. Suppose -32 = -j*c + 44. Does 11 divide c?
False
Let t = 348 + -225. Let q = t + -33. Does 21 divide q?
False
Is (68/6)/(3/108) a multiple of 17?
True
Suppose 2*z - 22 = -12. Let l(m) = m**3 + 2*m**2 + 12*m + 5. Is l(z) a multiple of 16?
True
Let q = -473 + 530. Is 42 a factor of q?
False
Let h = -22 - -13. Let c(s) be the second derivative of -s**5/20 - 2*s**4/3 + 3*s**3/2 + 2*s**2 - 134*s. Does 3 divide c(h)?
False
Suppose -3*c + 4*c = 2*q - 289, 3*c = -3*q + 429. Is q a multiple of 8?
True
Suppose 8*i - 3*i - 29 = -3*z, -4*i = -3*z - 7. Suppose -i*w = -15 - 5. Suppose -4*a + 0*a + 3*d + 202 = 0, 0 = w*a - 4*d - 252. Does 13 divide a?
True
Suppose j + 5*q = q + 12, q = j + 3. Suppose j = 8*w + 259 - 931. Is 21 a factor of w?
True
Let a(k) be the second derivative of k**4/6 + 2*k**3/3 - k**2 - 9*k. Let p(j) = -j**2 - 3*j + 2. Let t(v) = 4*a(v) + 6*p(v). Does 11 divide t(-4)?
True
Let a(r) = -175*r + 142. Is 10 a factor of a(-4)?
False
Suppose -35 + 8 = 3*w. Let m be (-16)/(-12)*w/(-2). Let j(k) = k**3 - 4*k**2 - 6*k - 8. Is j(m) a multiple of 7?
True
Let p be ((-26)/3)/((-5)/(-60)). Is 8 a factor of (77/(-4) + -1)/(39/p)?
False
Let b(f) = -2*f**2 - 7*f + 12. Let q = -11 - -18. Let p be b(q). Let h = -66 - p. Is h a multiple of 13?
False
Suppose 0 = -5*q - 0*q + h + 319, 303 = 5*q + 3*h. Let b be (110/8)/(1/4). Suppose 4*a - 3*a - b = -3*w, a - w = q. Is a a multiple of 16?
False
Suppose 11 = -3*c - 1. Let d(o) = 20*o**2 - 3*o + 4. Does 28 divide d(c)?
True
Let o be -3 + 6 - (15 + 2). Let g be (-391)/(-119) + 4/o. Suppose -2*b + g*u + 2 + 2 = 0, -b + 24 = 4*u. Does 6 divide b?
False
Let c(b) = b**3 + 9*b**2 + 7*b. Let s be c(-8). Let h(g) = -3*g**2 + 18 + 5*g**2 - 20*g + 7*g. Does 21 divide h(s)?
True
Let g(a) = -9 + 