. Is 41 a factor of (-16)/s*5945/(-58)?
True
Let b(z) = -z**3 - 15*z**2 - 3*z - 15. Let q be -14 - (3/1 + (5 - 7)). Is 6 a factor of b(q)?
True
Let t be ((-98)/(-6))/(-7)*54. Let f = t + 38. Let d = 343 + f. Does 15 divide d?
True
Suppose -8*h + 323837 - 58977 = 9*h. Does 38 divide h?
True
Let c(a) = 2*a - 1. Let o(n) = 209*n**2 - 13*n + 6. Let g(f) = 6*c(f) + o(f). Is g(1) a multiple of 20?
False
Suppose 5*m = 3*b + 79, 4*m = -2*b + 7*b + 71. Suppose 8*l - m*l = 78. Let u = l - -97. Is 28 a factor of u?
True
Let i(b) = 6*b**3 - 13*b**2 + 14*b - 26. Let f(x) = 7*x**3 - 14*x**2 + 16*x - 30. Let c(a) = 5*f(a) - 6*i(a). Let j = 6 + -1. Is 6 a factor of c(j)?
False
Let n(f) = f**2 - 5*f + 4. Let h be n(4). Suppose h = -5*s + 302 + 2148. Suppose 6*a = -8*a + s. Does 5 divide a?
True
Let u(j) = -54*j**3 + 15*j + 51. Is 34 a factor of u(-3)?
False
Let f(w) be the first derivative of 13*w**4/4 - w**3/3 - 3*w**2/2 - 3*w + 91. Suppose 34*m - 2 = 33*m. Does 13 divide f(m)?
True
Let q(y) = 13*y**2 + 3*y**2 + 6 + 24*y**2 - y. Is 11 a factor of q(3)?
True
Let x(z) = -3*z**3 + 8*z**2 - 2*z - 163. Does 42 divide x(-8)?
False
Suppose 5*b - 3 = -t, t - 5*b = -3*b + 10. Is 3 a factor of 28 + 1 - (-12 + t)?
True
Suppose 5*u = -l + 21 + 20, -3*l + 71 = 2*u. Let q be (12/(-7))/(7 - 150/l). Suppose -2*i - q*i = -392. Is i a multiple of 4?
True
Let k(d) = d**3 + 24*d**2 - 28*d - 84. Let q be k(-25). Does 9 divide (-6696)/q + (-30)/(-10)?
True
Let a = -64 + 76. Is 36 a factor of (-15)/9 + a/18 + 361?
True
Suppose -3*t = -15, -5*t - 4 = -4*n - 13. Let k be (1006/n)/(7/14). Let r = -323 + k. Does 30 divide r?
True
Let l = -283 + 482. Let r = l + -39. Is r a multiple of 40?
True
Let s = -1 - -5. Suppose 4*t + 4*y - 396 = 0, s*t + y = 3*y + 414. Let p = -70 + t. Does 6 divide p?
False
Let h be (-2 - 30/(-20))/(2/(-20)). Suppose 2*o - 84 = -2*o - 5*g, -h*o + 5*g + 150 = 0. Is o a multiple of 4?
False
Let a(s) = -s**3 - 88*s**2 + 111*s + 1276. Does 19 divide a(-90)?
True
Let t(w) = 9029*w**2 - 7. Does 108 divide t(1)?
False
Let k(i) = -i**2 - i - 1. Let x(v) = -45*v**2 + 9*v + 7. Let c(j) = -6*k(j) - x(j). Let b be c(-2). Suppose -99 = -7*n + b. Is n a multiple of 5?
False
Let x(w) = 19*w**2 - 3*w. Let u be x(2). Suppose u + 38 = 4*y. Let i = -19 + y. Is i a multiple of 8?
True
Let h = 1850 + -590. Suppose 15*b = 8*b + h. Does 5 divide b?
True
Let f = 813 + -475. Let w = f - 196. Let u = w + -15. Is 15 a factor of u?
False
Suppose 3*z = -4*h + 553, -91 + 234 = h - 4*z. Is h a multiple of 2?
False
Let i = 584 + -580. Suppose -3*n + 8*n + 853 = s, -5*s + i*n = -4307. Does 67 divide s?
False
Let u be ((-581)/(-5) - -1)/(82/(-410)). Let l = u - -841. Is 5 a factor of l?
True
Suppose -2*h + 4*x = -26, 4*h - x - 3 = 14. Suppose 636 = 5*j - 4*q, 9*j + h*q - 387 = 6*j. Is 32 a factor of j?
True
Let f(d) = d**3 + 27*d**2 - 63*d. Does 88 divide f(-18)?
False
Suppose 2*h - 9*h - 161 = 0. Let r = -21 - h. Suppose r*p - 55 = -13. Is 10 a factor of p?
False
Let w(t) = 2*t**2 + 20*t - 5. Let p be w(-14). Suppose z = 4*z - 5*v - 281, -5*v = -z + p. Let s = z + -53. Does 17 divide s?
True
Let s(f) = 15*f**2 - 13. Let v be s(-5). Suppose -5*u = 4*a - 490, 3*a - 3*u - v = -4*u. Let y = a + -57. Is 9 a factor of y?
True
Let r = 89 - -2832. Is r a multiple of 62?
False
Suppose -5*u + 0*q = 4*q - 4315, -3*u - 2*q = -2591. Is 14 a factor of u?
False
Let o(z) = 2988*z - 20001. Does 46 divide o(13)?
False
Let o(y) = -2*y**3 + 23*y**2 + 74*y - 736. Let k be o(12). Let l(g) = g**2 - 6*g + 9. Let w be l(6). Suppose -k*q + w*q = 45. Does 15 divide q?
True
Is 111 a factor of (-1)/(-2)*((-15926400)/(-714) + (-2)/(-17))?
False
Let s(o) = o**2 - 428*o + 3420. Is s(0) a multiple of 20?
True
Let h(o) be the third derivative of 0 + 0*o + 3*o**2 + 1/60*o**5 + 4/3*o**3 - 7/24*o**4. Is 2 a factor of h(7)?
True
Let j(v) = -11*v - 127. Let n be j(-10). Is (1 - -3)/1 - n even?
False
Suppose 322 - 262 = 5*v. Suppose 13*s = v*s + 732. Is 27 a factor of s?
False
Suppose 0 = 3*k - 7 + 40. Let v(u) = u**3 + 12*u**2 + 12*u + 18. Let a be v(k). Suppose 427 = a*q - 749. Does 39 divide q?
False
Let n = 100 - 32. Let j = -65 + n. Is 15 a factor of (0 + 26)*(j + 1)?
False
Suppose 35*a - 27*a - 40 = 0. Suppose -a*v = -3*q - 3491, -48*q + 10 = -53*q. Does 6 divide v?
False
Let c(q) = -3 + 100*q - 35 - 2. Is 38 a factor of c(8)?
True
Let h = -7226 - -7578. Is 22 a factor of h?
True
Let m = -8 + 6. Let y(v) = -v**3 - 3*v**2 - 3*v - 1. Let c be y(m). Is (5 + -4)/(c/49) a multiple of 11?
False
Let q(y) = 7*y**3 - 251*y**2 + 13*y - 12. Does 9 divide q(36)?
False
Let o be 2 + -1 + (-17)/17. Suppose -s = 5, o*s - 4*s = -4*q + 992. Suppose -f - 2*f + q = 0. Is f a multiple of 6?
False
Suppose -5*b + 2*i - 32 = -7*b, 2*i - 18 = -b. Suppose -5*s - 10 = 0, 12*k = b*k - s - 542. Is 18 a factor of k?
True
Let z = 745 - 272. Let r = z + 541. Is r a multiple of 39?
True
Let q(y) = -5*y + 5 + 2*y**2 - 8*y + 0*y**2 - y**2. Let c be q(12). Does 2 divide -2 + 4 - c/1?
False
Suppose -341*w = -334*w + 6825. Let f = w + 1898. Is 13 a factor of f?
True
Suppose -p - 4*f = -3*p - 124, 4*p + 236 = 2*f. Suppose 2*m + 220 = -3*v, 2*m - 467 + 383 = v. Let z = p - v. Is z a multiple of 6?
True
Suppose 0 = 2*v + 6, 0 = 514*m - 518*m - 5*v + 64917. Does 135 divide m?
False
Let f(m) = 703*m - 2411. Is 123 a factor of f(26)?
True
Suppose 6690 = -42*w + 40500. Does 9 divide w?
False
Suppose 18102 = 46*x - 4*x. Let y = x + -288. Does 2 divide y?
False
Suppose 0 = -3*w + 28 + 140. Suppose 8*h + w = -120. Let m = -12 - h. Is 10 a factor of m?
True
Suppose -7*g - 40744 = -51*g. Is 7 a factor of g?
False
Let i(k) = 19*k**3 + 8*k**2 - 26*k + 11. Is 58 a factor of i(5)?
False
Let a(y) = -2180*y - 552. Is 67 a factor of a(-4)?
False
Let t(l) be the second derivative of l**4/6 + 7*l**3/6 - 11*l**2/2 + 14*l + 13. Let z = -3 - -7. Is t(z) a multiple of 11?
False
Suppose 5 = 3*l - 4. Suppose -3*o - l*o + 7128 = 0. Is o a multiple of 54?
True
Let h(v) = 151*v**2 + 9*v + 52. Is 3 a factor of h(-4)?
False
Suppose 0 = -110*j + 109*j - 481. Let b = -91 - j. Does 26 divide b?
True
Let l = 142 - 136. Let n(r) = 4*r - r - 130 + 120 + 2*r. Does 11 divide n(l)?
False
Let d(o) = 25*o**2 + 98*o - 1763. Is d(17) a multiple of 33?
True
Suppose -10824 = -14*z - 24*z + 5*z. Does 6 divide z?
False
Suppose 16028 = 12*o - 2*o - 27472. Is o a multiple of 15?
True
Suppose 3*o = 0, -2*o - 2*o = -2*q - 104. Let i = q + 150. Does 14 divide i?
True
Let d(w) = w**3 - 34*w**2 + 23*w + 465. Let b be d(33). Suppose -3*g + 1275 = 2*g. Let f = g - b. Is 12 a factor of f?
True
Let t(d) = -d**3 + 55*d**2 - 292*d - 6. Is t(47) a multiple of 54?
True
Suppose -18739370 = -266*v - 345*v. Is 29 a factor of v?
False
Let n = 98 - 88. Suppose 0 = -11*q + n*q + 132. Let c = -64 + q. Does 54 divide c?
False
Let d = -99 - -107. Let a(h) = h**3 - 11*h**2 + 41*h - 8. Does 8 divide a(d)?
True
Suppose 11*l = 6*l + 10. Suppose -o + l*h = -2*h - 520, 2600 = 5*o - 5*h. Suppose -12*x - o = -16*x. Is x a multiple of 26?
True
Suppose 0 = -1866*p + 1865*p - 4. Does 5 divide (-322)/p + (-40)/80?
True
Let j(c) = 170*c + 3. Let b(f) = -85*f - 2. Let l(x) = -13*b(x) - 6*j(x). Let r be l(4). Suppose 4*v = -2*n + r, 8*v - 6*v + 3*n = 174. Is v a multiple of 13?
False
Let k(t) = -17*t + 72 + 227*t**2 + 2 - 17*t + 25 - 226*t**2. Is k(37) a multiple of 14?
True
Let i be ((-19)/(950/(-1260)))/(1/(-15)). Does 74 divide i/34 + 11 + 40192/34?
False
Is 26 a factor of (-3945205)/(-1573) + 1/(-13)?
False
Suppose 0 = 32*t - 103467 - 46677. Is 34 a factor of t?
True
Let x(r) = -7*r**3 - 5*r**2 - 27*r - 28. Is x(-6) a multiple of 5?
False
Suppose 3*r = s + 821, 3252 = 45*s - 49*s - 4*r. Let f = s + 1187. Does 12 divide f?
True
Suppose x = -w - 3621 + 17530, x + 3*w - 13895 = 0. Is 14 a factor of x?
True
Suppose 105266 = 9*f - 61054. Is f a multiple of 28?
True
Suppose 0 = 5*r - 2*g - 32746, -3*g = -2*r + 4*r - 13125. Is 14 a factor of r?
True
Let j be 4/(-14) - 5/70*-382. Does 9 divide ((-39)/3)/(51/j + -2)?
True
Let j(m) = 9*m + 74. Let y be j(-8). Suppose y*q + 24*q = 2522. Is 3 a factor of q?
False
Suppose 0 = 42*p - 40*p - 5*u - 4850, 4*p = 2*u + 9748. Does 4 divide p?
True
Let y(g) = g**3 - g + 10. Let h be y(0). Let a be 1 - -2*h - (-1