 w?
True
Suppose -7*q = 331 + 299. Is 18 a factor of 2/(4 + 356/q)?
False
Suppose 7 = 2*u + p, 2*p - 22 = -5*u + 4*p. Suppose 0 = -b + u*b - 141. Is 23 a factor of b?
False
Suppose -34*a = -37*a + 12. Let s be 1/(2 - 3/2). Suppose -2*f + a*k - 2*k = -12, 3*f - 23 = -s*k. Is f a multiple of 4?
False
Let g(x) = 42*x + 49. Let t be g(13). Suppose 4*u - t = 77. Does 12 divide u?
True
Does 6 divide 3/(-4) - (-14)/8 - -402?
False
Suppose 240 = -a + 6*a. Does 12 divide 5216/a + 2/(-3)?
True
Let m = -11 + 13. Suppose -h + 9 - m = 0. Let k(z) = 9*z + 6. Does 23 divide k(h)?
True
Let l be 374/14 + 6/21. Suppose -2*p + 3*g + 23 = 0, -5*g + l = -4*p + 70. Let s = 67 + p. Is 24 a factor of s?
False
Let b(j) = 159*j**2 - 17*j - 16. Is 78 a factor of b(-1)?
False
Let t(k) be the first derivative of -k**4/4 - 2*k**3 - 2*k**2 + 6*k - 10. Let w be t(-6). Suppose -3*p = g - w, 0 = -2*p + 3*g + 17 + 14. Does 11 divide p?
True
Let l = -3083 - -4708. Does 25 divide l?
True
Suppose 0 = -3*k - 7 + 19. Let r be 0 + k + 667 + 1. Suppose 2*i = -5*i + r. Is i a multiple of 17?
False
Suppose -2*o + 10 = 4*j - 34, 3*o + 2*j = 70. Suppose -12 = 4*w + 5*n, 4*w - o = n - 60. Is 11 a factor of 13 + (w/(-2) - 0)?
False
Suppose -f = 3*n - 2*f - 108, 4*n - 146 = 2*f. Suppose h + n = 3*t, -42 = t - 3*t - 4*h. Is t a multiple of 2?
False
Is 14 a factor of 48736/40 + (-88)/20 + 4?
True
Suppose 0 = -k + 6 + 15. Let g = k + -18. Suppose -g*a + a = -48. Is 12 a factor of a?
True
Let z(v) = -v**3 - 15*v**2 - v - 6. Let n be z(-15). Suppose n*d - 13*d = -104. Does 13 divide d?
True
Suppose -13 - 5 = -3*q. Suppose -q*k + 360 = 6*k. Is k a multiple of 10?
True
Suppose -o - 291 + 16 = 0. Let f = 426 + o. Is f a multiple of 24?
False
Suppose l - 3*z = 3*l - 140, -2*z - 223 = -3*l. Is 57 a factor of l?
False
Let f(h) = 148*h - 1 + 146*h - 1 - 291*h. Let l be ((-2)/(-2))/1 + 7. Does 11 divide f(l)?
True
Let u be 3 - (-3 + -1 - -366). Does 36 divide u/(-2) + 14/28?
True
Suppose 3*v + v = -4. Is ((-3)/v - 4) + 156 + 2 a multiple of 37?
False
Suppose -20*n - 7*n + 18792 = 0. Is 12 a factor of n?
True
Suppose 42*a - 40*a = -3*l + 1777, -4*a = -8. Does 30 divide l?
False
Suppose -9*q + 10 = -4*q. Suppose q*f + f = 198. Is 22 a factor of f?
True
Let b(m) = -16*m**3 - m**2 - 2*m - 2. Let x be b(-2). Suppose 128*j - 288 = x*j. Is j a multiple of 12?
True
Let a(c) be the first derivative of c**3/3 - 13*c**2/2 + 7*c + 14. Does 2 divide a(14)?
False
Let n(g) = 3*g - 10. Let k be n(-7). Let p = 53 - k. Suppose -12 = -2*t - t, 4*f = t + p. Does 11 divide f?
True
Let h(d) be the third derivative of d**6/120 - 2*d**5/15 + 3*d**4/8 - 13*d**3/6 - 10*d**2. Suppose 5*c - 1 = 39. Does 13 divide h(c)?
False
Suppose 1545 = 2*p - x, 3*x - 2234 = -3*p + 61. Is 53 a factor of p?
False
Let o(u) = 24*u**2 + 3. Suppose 2*q - 5*d + 3 = 24, 5 = -d. Does 22 divide o(q)?
False
Let q(k) be the second derivative of -3/10*k**5 + 1/6*k**4 - 1/3*k**3 + 0 + k - 3/2*k**2. Does 19 divide q(-2)?
True
Let x be 1 + -2 + -6*4/(-6). Suppose -2*y = -4 - 2. Suppose -y*f = x, -4*f + 9*f = -2*c + 97. Is 17 a factor of c?
True
Suppose -4*y = 0, 0 = 3*q - y - 2*y - 108. Is q a multiple of 6?
True
Let c be ((-2)/(-15))/((-8)/(-40))*15. Suppose -c*n = -0*n - 550. Is 8 a factor of n?
False
Suppose 0 = -g - 2*j - 58, 0 = -3*g + 5*j - 77 - 42. Suppose -k = 10*k - 253. Let h = k - g. Is 10 a factor of h?
False
Let y(s) be the third derivative of s**5/60 - 7*s**4/24 - s**3/2 - 2*s**2. Let d be y(9). Let v = d - -20. Does 12 divide v?
False
Let z(w) = -w - 4. Suppose -p - 3 = 2*g, p + 9 = -3*g - 2*p. Suppose g*u = -3*u - 30. Is z(u) even?
True
Let u(y) = -4*y**3 + 5*y**3 - 3 + 12 + y + 0*y. Let q be u(0). Let g(b) = b**2 - 7*b + 2. Is 20 a factor of g(q)?
True
Let k = 26 - 17. Suppose 5*q - k = p, -3*q = 2*p - q - 6. Suppose 0 = -g + p, -2*s - 3 + 66 = 3*g. Is 21 a factor of s?
False
Let d be (3 + 0 + 0)*1. Let p(w) = -2*w - 1. Let v(f) = -f**3 + 5*f**2 - 6*f - 6. Let u(y) = -2*p(y) + v(y). Does 8 divide u(d)?
True
Let c(o) = 2*o + o**3 + 1 - 4*o**2 + 4 + 0*o. Suppose 25 = -5*y, r + 6 = -3*y + y. Is 3 a factor of c(r)?
False
Let f(q) be the first derivative of -4*q + 7/3*q**3 - 1 - q**2 + 1/4*q**4. Does 30 divide f(-5)?
False
Let o(x) = -5 - 2*x + 0*x + 0*x + x. Let m be o(-2). Does 18 divide (-270)/(m - 0) - 0?
True
Suppose -4*u = j - 116, 2*j + j - 4*u - 284 = 0. Suppose -3*l - 4*a + j = -0*a, 144 = 5*l + a. Is l a multiple of 15?
False
Let c = 1 - -15. Suppose -5*k + 3*y = -y - 76, -y = -k + c. Is 5 a factor of k?
False
Suppose -90*b + 76*b + 8050 = 0. Is 23 a factor of b?
True
Let r be 5*(3330/(-25) + 2). Is 26 a factor of 6/(-9) - r/3?
False
Let v be -2 + 2 + (-2)/2 + 33. Does 16 divide (-1)/((-4)/v - 0)*2?
True
Let k = -14 - -17. Suppose 3*j - j = 4*a + 84, 0 = k*j - 5*a - 121. Does 21 divide j?
False
Let l(k) = -k**2 + 91*k + 11. Does 40 divide l(60)?
False
Let a be (1/(-2))/(-1 - (-87)/90). Suppose 95 = u + a. Does 10 divide u?
True
Let z be (-37)/(-8) + (-51)/(-136). Suppose 4 + 26 = 2*n - z*t, -4*n = -3*t - 74. Is 4 a factor of n?
True
Let i(j) = j**3 + 4*j**2 + j - 2. Let t be i(-4). Let m be ((-18)/(-12))/(t/256). Let h = m - -106. Is 21 a factor of h?
True
Let d = -31 - -35. Is 28 + (2 - d - -4) a multiple of 15?
True
Let s = 0 - -13. Does 5 divide s?
False
Suppose -5*r + 2*w + 3*w - 120 = 0, -4*r + w = 84. Is 6 a factor of 60/(-8)*96/r?
True
Suppose -41*h = -8*h - 5445. Is 5 a factor of h?
True
Let l(q) = 3*q**2 - 16*q + 1. Let j be l(15). Suppose j = 2*c - 5*g, 4*c - 1119 = -c - 2*g. Does 9 divide c?
False
Let b(q) = 9*q**3 - 19*q**3 - 2*q**2 + 7 + 9*q**3. Let i be b(0). Let o(s) = -s**3 + 8*s**2 - 3*s + 2. Is o(i) a multiple of 10?
True
Let j = -1008 - -1235. Is 19 a factor of j?
False
Let j(x) = 43*x + 14. Does 5 divide j(2)?
True
Let t = -561 - -718. Does 17 divide t?
False
Does 14 divide -4 + (276/(-10))/((-17)/425)?
True
Suppose m - 56 = 2*k - 3*k, 0 = 3*k - 5*m - 128. Suppose k = -0*t + 3*t + a, -3*t - 5*a = -63. Is t a multiple of 4?
True
Suppose 4*t - 4*d - 6 - 62 = 0, t - 20 = 2*d. Let f = -11 + t. Let u = f - -7. Is u a multiple of 2?
True
Let c = -201 + 120. Let t = 158 + c. Is 11 a factor of t?
True
Let d = -308 - -383. Is 38 a factor of d?
False
Let m(q) = q + 23. Let y(s) = -s - 11. Let r(z) = 3*m(z) + 5*y(z). Let n(j) = -j**2 - 3*j + 6. Let c be n(-6). Is r(c) a multiple of 30?
False
Suppose s - 60 = -3*c, 5*c + s - 100 = -3*s. Is c a multiple of 20?
True
Suppose 3*z + r + 2 = -r, 0 = 2*z + 4*r - 12. Let i(n) = 2*n**2 + 7*n + 11. Is 15 a factor of i(z)?
True
Let a = 4 + -2. Suppose v = -a*v + 21. Suppose 3*m = v + 41. Is 16 a factor of m?
True
Is (-15)/(-25)*(20 - -10) a multiple of 6?
True
Suppose -o + 22 = -4*a, 0*o + 21 = -2*o - 5*a. Suppose 8 = -o*u + 4*u. Suppose 0 = -2*m + 4*n + 228, -5*m + u*n - 139 = -715. Is 30 a factor of m?
False
Suppose 7*c - 259 - 1470 = 0. Is c a multiple of 13?
True
Suppose 0*q = 2*q + 5*u + 12, 5*q + 4*u = 4. Suppose -t - q*t = -30. Suppose t*h - 5*h - 60 = 0. Is h a multiple of 20?
True
Let q = 853 + -324. Does 32 divide q?
False
Let n(d) = d**2 - 17*d - 14. Is 19 a factor of n(-4)?
False
Is 12 a factor of 4/(-72)*-3 - 8866/(-12)?
False
Let k(x) = x**2 - 15*x + 4. Let r be k(15). Suppose 90 = r*u - 526. Is 11 a factor of u?
True
Let f be 1/(-7) + 50/(-35)*2. Let m = 49 - f. Does 12 divide m?
False
Suppose -3*l = -4*c + 8, 0 = -3*c + 3*l - 5*l + 6. Let h = 39 + -100. Is 15 a factor of h/(c/(-6)*3)?
False
Let v = -102 - -35. Let w = 136 + v. Is w a multiple of 17?
False
Let g(p) = -7 + 13*p - 16*p - 14*p. Does 27 divide g(-2)?
True
Suppose -5*g + 5*j + 12979 - 4609 = 0, -6 = 3*j. Is g a multiple of 11?
True
Let f(y) be the second derivative of -y**5/20 - y**4/12 - y**3/6 + 15*y**2 - 15*y. Does 10 divide f(0)?
True
Suppose p = -p + 8. Suppose -p*w + 40 = c, -4*w - 4*c + 20 = -2*w. Suppose -f + 21 + w = 0. Does 11 divide f?
False
Let j be 36 - (-2)/(2 - 1). Suppose i - 3*i = -j. Let r = -5 + i. Is 7 a factor of r?
True
Let p(t) be the second derivative of t**4/12 + t**3/2 + 3*t**2/2 + 224*t. Let v be 2/((8/6)/(-2)). Is p(v) a multiple of 3?
True
Is 4 a factor of 11268/33 + (-23)/((-1518)/36)?
False
Let l(u) = 5*u + 20. Let s(k) = 3*k + 13. Let b(z) = 5*l(z) - 8*s(z). Let p be b(4). Suppo