u - 8. Suppose 2*k = 3*t - j*k - 596, 4*t - 4*k - 788 = 0. Is 17 a factor of t?
False
Let b = -62 + 103. Suppose -73 = -x + 3*x + 5*m, 4*x = -3*m - 111. Let k = x + b. Does 3 divide k?
False
Let s = 10 + -5. Suppose 180 = s*r + 45. Is r a multiple of 9?
True
Suppose -5 = z + 80. Let t = z + 61. Is ((-6)/(-8))/(-1)*t a multiple of 6?
True
Suppose -7*b + 3*b + f = -1373, -3*b + 1046 = -4*f. Let i = 605 - b. Does 12 divide i?
False
Let d(r) = -r**3 - 10*r**2 - 10*r + 1. Let v be d(-9). Let k = v - 15. Is (16/k)/((-1)/15) a multiple of 16?
True
Is 24 a factor of 10/4*-2 - (2 + -103)?
True
Let a(p) = -p**2 - 28*p - 51. Is 3 a factor of a(-13)?
True
Suppose 3*h - 23 = 4. Let o(w) = w**3 - 8*w**2 - 7*w + 8. Does 26 divide o(h)?
True
Let d(u) = 11*u - 41. Is 14 a factor of d(5)?
True
Is (7 + -2 + -4)*55 a multiple of 24?
False
Let f(k) = -6*k**2 - 21*k + 31. Let o(b) = b**2 + 4*b - 6. Let p(n) = -2*f(n) - 11*o(n). Let r be p(5). Suppose -5*d = -326 - r. Is 21 a factor of d?
False
Let b(m) = 8*m - 28. Let t be b(5). Let w = 28 - 20. Does 23 divide (-3)/t - (-370)/w?
True
Suppose -4*g = -g - 153. Let n = g - 12. Suppose 5*i + n = 594. Is 32 a factor of i?
False
Let i be -2 + 1 + 2 - (-222 + 8). Suppose -7*k - i = -12*k. Does 43 divide k?
True
Suppose 4*p - 263 = -38*k + 39*k, -5 = -5*k. Is 11 a factor of p?
True
Let q = -77 + 122. Let d = q - -34. Does 16 divide d?
False
Suppose -p = 2*p - 33. Suppose 0 = 3*h - u - 4*u - 7, 2*h + 3*u - p = 0. Suppose -h*k + 3*v + 220 + 27 = 0, 3*k - 189 = 3*v. Is 29 a factor of k?
True
Suppose 0 = -r + 5*r - 12. Suppose -r*i + 80 = 2*i. Suppose 5*s = 136 - i. Is s a multiple of 12?
True
Let y(v) = -v - 8. Let l be y(-11). Let g = 55 - 12. Suppose 0 = -i - 5*f + g, l*i - 125 = 5*f + 64. Is 18 a factor of i?
False
Let l = -123 + 127. Is 16 a factor of 4*(3 - -13 - l)?
True
Let q(f) = f**3 + 14*f**2 + 14*f + 17. Let v be q(-13). Suppose -v*t + 7 = -1. Suppose t*m - 27 = y, 3*m - 2*y = -3*y + 48. Is m a multiple of 8?
False
Suppose 3*l - w - w = 73, -w - 23 = -l. Does 16 divide l?
False
Let v(k) = 2*k - 8. Let z(c) = c - 4. Let n(u) = 2*v(u) - 5*z(u). Let j be n(2). Suppose -6*t + j*t = -x + 10, 33 = 5*x - 3*t. Is x a multiple of 2?
True
Let g be (-4876)/44 - (-2)/(-11). Does 14 divide -1 - 1/(2 + 225/g)?
False
Suppose 2 = -2*t, -5*t = -5*s - 3*t + 1012. Suppose s = -b + 3*b. Does 16 divide b?
False
Let p = -400 - -777. Is 29 a factor of p?
True
Let p be 6/15 - (-21)/(-15). Let u(v) = 95*v**2 - 3*v - 2. Is u(p) a multiple of 24?
True
Suppose -558 = 3*s - 1884. Does 9 divide s?
False
Suppose 2*f - 14 = -4. Suppose -j = -0*u + 2*u - 58, -2*u + f*j = -46. Let q = 46 - u. Is q a multiple of 9?
True
Let h be 4/(-1) + 10 + -4. Suppose 5*n = h*l + 1522, -2*l + 4 = -6*l. Suppose 4*k - 3*m - n = 0, -70 = 5*k + 2*m - 450. Is 19 a factor of k?
True
Is 387/3*5/60*72 a multiple of 40?
False
Let n(g) = g**2 - 12*g + 27. Let x be n(10). Let l(m) = 2*m + 2. Does 2 divide l(x)?
True
Let k(r) = -2*r**3 + 18*r**2 + 11*r + 54. Is 16 a factor of k(9)?
False
Is (-10)/(511/(-51) + 10) a multiple of 10?
True
Let i(u) = 17*u + 76. Is 27 a factor of i(17)?
False
Let p(h) = -10*h + 10. Let t be p(4). Let m = 14 - t. Is 18 a factor of m?
False
Let d = 29 - -19. Let j = d - 31. Is 2 a factor of j?
False
Let w(u) = 4*u - 21. Let z be w(5). Does 20 divide (z - 68/(-12))/((-2)/(-87))?
False
Suppose 16*a = 19*a - 162. Is a a multiple of 54?
True
Suppose -5*r = -3*o - 0*r + 34, 4*o - r - 17 = 0. Suppose 2*i - 4*f = 50, 2*i - o*i = -4*f - 31. Does 7 divide i?
False
Suppose 32259 = 13*v - 19741. Is v a multiple of 21?
False
Let a = 210 + 150. Is 30 a factor of a?
True
Let x = -17 + 17. Does 10 divide (-12)/(-4) + x + 37?
True
Is 7 a factor of (-2)/(-3) + 512/6?
False
Suppose 0*r - r + 15 = 0. Suppose -12 = -3*q, -3*z + 3*q = z - 44. Let b = z + r. Does 15 divide b?
False
Suppose 54 = -8*x - x. Let n(t) = t**2 - 5*t + 4. Does 10 divide n(x)?
True
Let l(m) = 2*m + 2. Let c(k) = 3*k + 2. Let o(d) = -4*c(d) + 5*l(d). Let i be o(2). Let f = 14 - i. Is f a multiple of 8?
True
Suppose -3*t = -p - 7130, -5*t - 4*p + 7120 = -2*t. Is t a multiple of 12?
True
Let i = -172 - -684. Is i a multiple of 33?
False
Suppose -49 - 13 = m. Let c = 146 + m. Is 5 a factor of c?
False
Let v(c) = c**2 + 6*c + 3. Let l be v(-6). Let x(w) = 2*w + 10*w**2 - l*w + 15*w**2 - 2 - 14*w**2. Is x(2) a multiple of 10?
True
Let j(z) = -z - 27. Let v(u) = u + 27. Let y(x) = -7*j(x) - 6*v(x). Let d be 0 - (-1)/2*0. Does 18 divide y(d)?
False
Suppose -112 = 27*k - 5998. Does 109 divide k?
True
Suppose 71 = -2*o + 2*j + 387, 5*j + 630 = 4*o. Is 10 a factor of o?
True
Let d = -1507 + 2531. Does 64 divide d?
True
Let m(s) = s**3 + 4*s**2 + 3*s - 1. Let w be m(-4). Does 5 divide (4 + 2 - 2)/((-2)/w)?
False
Let x(q) = 4*q**3 - 2*q + 4. Is 51 a factor of x(3)?
False
Does 13 divide (231*2)/(1 + 1)?
False
Suppose 12*u = -2*u - 14. Is (-452)/6*((0 - u) + -4) a multiple of 36?
False
Suppose -3*d = -5*p + 3585, 3*p - 8*p + 3595 = -d. Is 30 a factor of p?
True
Let w(u) = 15*u**2 - 33*u - 152. Is 4 a factor of w(-4)?
True
Let s = -6 - -8. Let n be 6 - 4/((-16)/(1 - 5)). Suppose -p + 30 = -0*p - 2*l, -s*l - 150 = -n*p. Does 7 divide p?
False
Let b(d) be the third derivative of d**6/24 - d**4/12 + d**3/6 + 5*d**2. Let q be b(1). Suppose -7*f + 3*f = q*a - 136, 3*f + 88 = 2*a. Is 19 a factor of a?
True
Let v be 8 - (1*-3 + 2). Let w(y) be the first derivative of y**3/3 - 3*y**2 - 12*y - 22. Is w(v) a multiple of 7?
False
Let k = -27 + 43. Is 7 a factor of k?
False
Let t(g) = g**2 - 3*g. Let m be (-39)/6 - 4/(-8). Does 27 divide t(m)?
True
Suppose 4*w + 34 = 22. Does 33 divide 18/(26/22 + (-4 - w))?
True
Let n(i) = i + 6. Let d be n(-4). Suppose -2*l = 2*j - 12, -d = l - 3. Suppose -3*v = y - 50, v - 5 - j = 3*y. Does 11 divide v?
False
Suppose -5*p + 1991 = -r, -3*p - 4*r = -4*p + 383. Is 7 a factor of p?
True
Suppose -4*z + 2*n + 12 = -0*z, 2 = z - n. Suppose -z = b - 17. Suppose 0 = 3*j - b - 179. Is j a multiple of 20?
False
Suppose 12*p = 7*p + 1845. Does 41 divide p?
True
Suppose -4 + 10 = c. Let g = -7 + c. Let b = 15 + g. Is 5 a factor of b?
False
Suppose 3*v + 390 = 3*q, 3*q + v = 7*q - 505. Is q a multiple of 5?
True
Let b = -26 - -31. Suppose 2*o = 3*h + 49 - 698, b*h = 2*o + 1075. Is 9 a factor of h?
False
Let v = 8 + -4. Suppose -4*x = 2*b + v, -4*b = -4*x + 2*x - 12. Does 31 divide ((-148)/16)/(b/(-24))?
False
Let k = 172 + -90. Let p(b) = 7*b - 98. Let v be p(14). Suppose h - 40 - k = v. Does 21 divide h?
False
Let i(c) = -c**2 - 9*c - 4. Let z be i(-9). Let f(g) = -9*g - 2. Let v(s) = 10*s + 3. Let d(t) = 3*f(t) + 2*v(t). Does 11 divide d(z)?
False
Suppose 2*x - 18 - 10 = 0. Suppose -17*v = -x*v. Suppose -2*p = -v*p - 12. Is 6 a factor of p?
True
Is 738/3*77/33 a multiple of 41?
True
Let o(w) = w**2 + 8*w + 23. Is o(-16) a multiple of 4?
False
Suppose -2*o + 2735 - 11745 = -2*u, -22515 = -5*u + 3*o. Does 20 divide u?
True
Let f be 33/(-2)*(-4)/3. Let j = 329 - 343. Let o = f + j. Does 4 divide o?
True
Let p = 3 + -9. Is p/8 + (-2)/((-16)/678) a multiple of 6?
True
Let v(i) = 2*i**2 - 3*i - 2. Let t(g) = -g**2 + 14*g - 10. Let o be t(13). Does 7 divide v(o)?
True
Let k(t) = -t**2 - 17*t + 16. Let z = -20 - -2. Let q be k(z). Is (-116)/(-8) + (-1)/q a multiple of 5?
True
Is ((-231)/35)/((-3)/285) a multiple of 19?
True
Suppose 3*k + 5*r - 316 = -35, 10 = -2*r. Suppose 0 = -h - 2*y - y + k, 2*h = 5*y + 160. Does 18 divide h?
True
Suppose 4*n + 5*l - 208 = 2*n, 0 = -3*n - 5*l + 302. Suppose 4*z + 192 = 4*h, 5*h - n = 3*z + 150. Does 15 divide h?
False
Let x = -31 + 744. Does 23 divide x?
True
Suppose 11 = 6*n - 1. Let m(t) = 6*t**3 - 2*t**2 + t - 3. Is m(n) a multiple of 24?
False
Let d be (7 - (-15)/(-5))*1. Suppose -4*h - 4*f + 80 = 0, 9 = h - d*f - 6. Is 5 a factor of h?
False
Let b(c) be the third derivative of -c**6/120 + 7*c**5/60 + 5*c**4/24 + c**3/2 + 14*c**2. Is 31 a factor of b(7)?
False
Let v(t) = -12*t + 11. Let q be v(-6). Let j = q - -48. Is j a multiple of 13?
False
Let u = 166 + -47. Is 17 a factor of u?
True
Let q(k) be the third derivative of -k**5/60 - k**4/12 - 4*k**2. Let d be q(-2). Is 6 a factor of 34 + -4 - d/(-2)?
True
Let o(n) = -n + 54. Let a be o(0). Let h be a/18*4/3. 