 + b - 583 = 0. Let n = -149 - k. Is 31 a factor of n?
False
Suppose -b - x + 169 = 0, 163 = b - 2*x + x. Let w = b - 96. Suppose -5*u = 15 - w. Is 4 a factor of u?
False
Let j(m) = 58*m. Let q be j(3). Suppose -5*v - 59 = -q. Suppose -v = -s - 8. Is 5 a factor of s?
True
Let r = -14 - -15. Does 17 divide -3 - ((-3)/r - 85)?
True
Suppose 2*f - 2*r = 3088, 3*r = 520*f - 524*f + 6155. Does 33 divide f?
False
Suppose -5*x + 5 = -5, -2*n - 4*x + 14 = 0. Suppose -5*t + 13 = -h - h, 0 = 3*t + 3*h - 12. Suppose -t*g = -18 - n. Is g a multiple of 7?
True
Let w be -1*1 - (4 + -68). Let a = -53 + 90. Let q = w - a. Does 7 divide q?
False
Suppose 8*v = 4*v + 8. Suppose -v*w = -0 - 36. Is 456/w + (-2)/6 a multiple of 14?
False
Let j be (0/1 + -1)/(1/(-42)). Let n = 31 + j. Is 6 a factor of n?
False
Let k(o) = -4*o**3 + 20*o**2 + 3. Let r(p) = -11*p**3 + 59*p**2 + 10. Let q(t) = -8*k(t) + 3*r(t). Let u be q(17). Let n = 136 + u. Is n a multiple of 32?
False
Does 17 divide (-104)/78*549/(-6)?
False
Let p(q) = 7*q - 37. Let s be p(6). Suppose 212 + 183 = s*y. Is y a multiple of 7?
False
Let s be (-10 - -2)*(-9)/6. Suppose -s - 87 = -3*b. Is b a multiple of 11?
True
Let q = -57 + 60. Suppose q*z + 21 - 96 = 0. Is 5 a factor of z?
True
Suppose 0 = 4*l - 2*p + 138, 3*l - 5*p + 10 = -111. Let o = -16 - l. Suppose 48 = y + o. Does 18 divide y?
False
Suppose 0 = 58*i - 57*i - 720. Does 48 divide i?
True
Suppose 1950 = 82*c - 77*c. Is c a multiple of 20?
False
Suppose 15 = -4*v + 187. Does 13 divide v?
False
Let g = -908 - -1302. Is g a multiple of 6?
False
Suppose -t - 6*t + 70 = 0. Suppose 0*d + 2*d + 2*z - t = 0, -5*d + z = -7. Suppose -4*s = d*x - 42, -2*x - 4 = s - 37. Does 7 divide x?
False
Suppose 9*s = 7169 - 896. Is 41 a factor of s?
True
Let z = 831 - 501. Is z a multiple of 30?
True
Let n be (-2)/(-2) + 0 - -2. Suppose 2*c - n*c = -5. Suppose -46 = -3*z + w, c*z = 5*w + 103 - 33. Does 6 divide z?
False
Let x(b) be the second derivative of b**5/30 + b**4/24 + 2*b**2 - 3*b. Let n(h) be the first derivative of x(h). Is n(-3) a multiple of 6?
False
Let x = -83 - -103. Suppose x*z - 13*z = 280. Is z even?
True
Let j(l) = 105*l + 18. Let a(f) = 52*f + 9. Let k(m) = 5*a(m) - 3*j(m). Is k(-3) a multiple of 40?
False
Suppose 3*h + 8*b - 2664 = 11*b, -2*h + 1790 = 5*b. Does 10 divide h?
True
Suppose 8*j = 4*j - 5680. Let x be j/30 + (-4)/6. Is 26 a factor of x/32*(-146)/3?
False
Does 12 divide 2761*(6/(-21))/(2/(-7))?
False
Suppose 0 = t - 3*m + 14, 2*m + m - 6 = 0. Let h be 0 - (4*t + -3). Let b = h - 4. Does 28 divide b?
False
Suppose -4*i = -2*o + 110, 3*o + 5*i - 78 = 76. Suppose -5*u - 128 = -0*u + x, -3*u + 5*x - 60 = 0. Let b = u + o. Does 14 divide b?
True
Is 70 a factor of (8/(-16) + (-34)/(-20))*700?
True
Let a(g) = 3*g + 71. Is a(-9) even?
True
Let o = 25 - 26. Let v = o - -113. Does 14 divide v?
True
Suppose 256 = 2*v - 124. Is v a multiple of 12?
False
Suppose 2*j - 14*s - 5 = -13*s, 0 = 2*s - 2. Let c(q) = 3*q + 1. Let v be c(-2). Is 42*(-1 - v/j) a multiple of 10?
False
Suppose g = -g + 380. Does 14 divide g?
False
Let n be -2 + 2 + -1 + 1. Suppose -2*z - 4*p + 74 = n, 2*z - 41 = z - 4*p. Does 17 divide -3 + z + 1 + 3?
True
Let p be 12/(3 + 0) + 0. Suppose 236 = p*y + 4*o, 2*y = 2*o - 0*o + 138. Is y a multiple of 16?
True
Suppose 7*f + 4*c = 6480, 4*f + 3*c = c + 3702. Is f a multiple of 42?
True
Is 2/(-7) - 1533/(-49) a multiple of 7?
False
Let w(n) = -n**2 - 8*n - 9. Let d be w(-2). Suppose 489 = -0*g + d*g + o, 4*o - 336 = -2*g. Does 27 divide g?
True
Suppose -32 + 7 = -w. Suppose w = -3*f + 5*r + 120, -5*f + 205 = r. Is f a multiple of 11?
False
Let n be -1 - ((3 - -1) + -1). Is 10/n*272/(-10) a multiple of 16?
False
Is (-3111)/(-9) - 3/((-27)/(-15)) a multiple of 10?
False
Let b(q) = 4 - 3*q - 2*q - q. Is 10 a factor of b(-6)?
True
Suppose -15 = -p - 31. Does 10 divide 75/20*p/(-6)?
True
Does 66 divide 6/((2/(-66))/(-1))?
True
Let o(g) = -62*g + 46. Let b(d) = -248*d + 184. Let v(r) = 2*b(r) - 9*o(r). Is v(4) a multiple of 7?
False
Suppose -2*t = 11*t + 702. Let q = -14 - t. Is 8 a factor of q?
True
Let q(a) = 0*a**2 + a**3 - 9*a + 229 - 231 + 3*a**2. Is 5 a factor of q(-4)?
False
Let y = 21 + -16. Suppose 0 = p + 4*c + 4, 0*p - 47 = -4*p + y*c. Does 17 divide ((-102)/(-4))/(6/p)?
True
Let w(i) be the first derivative of -9*i**2 - i - 3. Let u be w(-1). Does 6 divide 0/(1 + -3) + u?
False
Let s(o) be the second derivative of -o**2 + 5/6*o**3 - 5*o + 1/4*o**4 + 0. Is 16 a factor of s(-5)?
True
Suppose l = 13 + 1. Let o = l - 9. Suppose 2*q = 3*f + f - 68, -2*f + 34 = -o*q. Is f a multiple of 17?
True
Suppose 96 = 13*y - 12*y. Does 3 divide y?
True
Suppose -4*w = -3*w + 62. Let g = w + 152. Does 18 divide g?
True
Suppose 526 + 4210 = 37*v. Is 8 a factor of v?
True
Does 18 divide 1/(245/(-250) + 1)?
False
Let q = 153 + -142. Suppose -19 = -i + q. Is 2 a factor of i?
True
Suppose -2*c - p = -18 - 1, 4*p + 41 = 5*c. Suppose c = -2*y + 3. Does 26 divide (26/10)/(y/(-30))?
True
Let x = -70 + 80. Let z(p) = p**2 + 2*p - 12. Does 9 divide z(x)?
True
Let m(u) = 16*u**2 - 3*u - 10. Let z be m(5). Suppose 4*r - z = -r. Is 19 a factor of r?
False
Let v = 194 + -60. Suppose 7*k - 391 - v = 0. Does 15 divide k?
True
Suppose -3428 = 3*a - 7*a + 2*i, 3*a = -2*i + 2578. Is 39 a factor of a?
True
Let w = 9196 - 6490. Is 56 a factor of w?
False
Let c = 3321 + -1917. Is 52 a factor of c?
True
Let u be (-12)/120 + 11/10. Is 2 a factor of u*(4/10)/(3/15)?
True
Suppose -2144 = -2*f - 2*q, 2*f + 3*q - 1135 = 1011. Is f a multiple of 67?
False
Does 13 divide 5/(1948/(-6916) - 6/(-21))?
True
Let n(u) = -u**3 - 8*u**2 - u - 5. Let d be n(-8). Is 29 + (-3 + 10 - d) a multiple of 6?
False
Let r(w) = w**2 - w + 1. Let t be r(0). Does 10 divide 202 + (-2 + t)/(3/6)?
True
Suppose 0 = 3*y + 6*r - 3*r - 264, -2*y = -3*r - 186. Is 5 a factor of y?
True
Suppose 5*z - 3 + 18 = 0, -p + 59 = 2*z. Let y = -46 + p. Does 3 divide y?
False
Let i(m) = -m**3 - 6*m**2 + 4*m + 20. Let y be i(-6). Is 4/(y/(-26) + 1568/(-11544)) a multiple of 23?
False
Suppose 0 = -5*f + 12 + 3, 0 = 2*o - 4*f - 486. Does 5 divide o?
False
Let l be (-1 - 13) + 2 + 1. Let t = -13 - l. Let k = 6 - t. Is k a multiple of 3?
False
Let m = 228 + -156. Suppose -5*l + 3*z = -103, 3*z - 8*z = -4*l + m. Is 8 a factor of l?
False
Is 1*(768 - (5 + -6)) a multiple of 27?
False
Let d(q) = -q**3 + q**2 + q - 1. Let p(f) = -2*f**3 - 8*f**2 + 12*f + 8. Let u(a) = 3*d(a) - p(a). Is 14 a factor of u(9)?
True
Is 25 a factor of (-600)/((6 + (-55)/10)/(-1))?
True
Suppose -1480*r = -1476*r - 7324. Does 50 divide r?
False
Let i = -37 + 165. Does 8 divide i?
True
Let a = 65 + -73. Is 3/(-6)*2*(a - 154) a multiple of 35?
False
Let c(v) = 32*v - 226. Does 11 divide c(31)?
False
Let d(n) = n**3 + 5*n**2 - n. Let y be d(-5). Suppose 0 = -4*l + 6*b - 4*b - 2, 4*b - 4 = 0. Suppose l = -y*p + 16 + 14. Is 6 a factor of p?
True
Let x = 993 + -671. Is 9 a factor of x?
False
Suppose 0 = -52*k + 2*k + 152950. Does 72 divide k?
False
Let y be (-200)/14 + (-4)/(-14). Let j be 53/5 - (-9)/(-15). Let l = j - y. Does 8 divide l?
True
Let r(o) = 64*o - 88. Is r(11) a multiple of 14?
True
Suppose 4*w = -5*z - 23, -14 - 2 = 3*w + 5*z. Let s be (2/2)/(w/(-21)). Let x = s - -8. Is x a multiple of 11?
True
Is 15 a factor of 3/15 + (-4722)/(-15)?
True
Let t(c) = 2*c**3 + 3*c**2 - 5*c + 2. Suppose -4*o + 2*j + 0*j = 0, -3*o = 3*j. Suppose 4*p - 5*p + 3 = o. Does 34 divide t(p)?
True
Let z be ((-3)/9)/((-1)/(-15)). Let b be (-4 - -43)/(-3)*z. Suppose 7*a = 6*a + b. Is 13 a factor of a?
True
Let w(k) = 48*k - 4. Let g be w(4). Let q be -192*(8/(-3))/4. Let a = g - q. Does 30 divide a?
True
Let x(p) be the second derivative of p**5/20 + 13*p**4/12 - 7*p**3/3 + 15*p**2/2 + 13*p. Does 2 divide x(-14)?
False
Let u = 85 - 77. Does 2 divide -3 - (1/(4/u) - 26)?
False
Let o(b) = b**3 + 10*b**2 - 8*b - 27. Suppose 3*p - 43 = -70. Is o(p) a multiple of 14?
True
Suppose i = 4*j - 18, 4*j + i + 3*i - 8 = 0. Let a = 8 - j. Does 11 divide 2*2*11/a?
True
Does 21 divide 6605/45 - (2 - 120/54)?
True
Does 20 divide 18420/105 + 8/14?
False
Let b = 4489 - 2313. Does 68 divide b?
True
Let d be 4/22 - (-180)/(-22). Let g = d + 15. Suppose -4*y - 60 = -g*y. Is y a multiple of 2