- 87 = -c. Is v a multiple of 30?
False
Let g = -27257 + 38526. Is g a multiple of 20?
False
Let v(d) = d**2 + 12*d - 22. Suppose 0 = -h + 5*h + 60. Let g be v(h). Suppose i = -g + 65. Is i a multiple of 7?
True
Suppose 0 = 9*d - 12*d - 159. Let a = d + 65. Suppose -a*x + 2634 = 978. Does 29 divide x?
False
Let i = 84 - 87. Let g(x) = x**2 + x - 2. Let v be g(i). Suppose -v*t = -0*t - 20, 2*t = -m + 75. Is m a multiple of 13?
True
Let w = -46 + 53. Suppose 0 = w*v - 69 + 391. Let d = 87 + v. Does 3 divide d?
False
Suppose -169*u + 98*u + 186872 = 0. Is 47 a factor of u?
True
Let l be (5 + -5)/(-1)*(3 - 4). Suppose -5*w = 3*x - 142, -5*x + 2*w + 28 + 157 = l. Is 5 a factor of x?
False
Let t(l) = 628*l**3 - 4*l**2 + 48*l - 143. Does 33 divide t(3)?
False
Let i be (-2472 + -1)*(-56)/(-56). Let g = 3573 + i. Is g a multiple of 22?
True
Let r(t) = -t**3 + 10*t**2 - 13*t - 19. Let g be r(8). Suppose -1024 = -g*b + 1041. Is 59 a factor of b?
True
Let o = 42 - 40. Let l be o/8 - (-4)/((-32)/(-2118)). Suppose 0 = 3*h - 0*k + 2*k - 769, 5*k - l = -h. Is h a multiple of 51?
True
Let w(l) = -903*l - 2454. Does 87 divide w(-48)?
True
Suppose 29*w - 3640 - 4522 = 1263. Is w a multiple of 65?
True
Let v(n) = 6480*n - 1289. Does 33 divide v(2)?
False
Let a be (-6 - -3 - -1) + 5. Let v(j) = 73*j - 4. Let x be v(a). Let u = 321 - x. Does 19 divide u?
False
Let d(s) = 165*s - 38. Let u be d(3). Suppose n = -168 + u. Is 12 a factor of n?
False
Suppose -4*t - t + 28350 = 5*t. Does 3 divide t?
True
Let j = 13048 + -9854. Does 40 divide j?
False
Suppose 5*d + 10925 = 2*l, 67*l + 10922 = 69*l - 4*d. Is 34 a factor of l?
False
Let l be 715 - 2 - (6 + -1 - 3). Suppose -m - 5*t = -5*m + 2837, 3*t = m - l. Is 59 a factor of m?
True
Let m(l) = 76*l - 1030. Is 27 a factor of m(37)?
True
Let s = 6509 - 5506. Is s a multiple of 17?
True
Suppose -5*n + 2*m = -362, 407*n - 5*m = 404*n + 202. Is n a multiple of 2?
True
Let z(r) = r**3 + 11*r**2 - 31*r - 57. Let u be z(-13). Suppose -m - u*m + 3483 = 0. Is m a multiple of 43?
True
Let m = 333 + -329. Suppose -2917 = -m*j - 5*n, 3*j + 9*n = 6*n + 2187. Does 52 divide j?
True
Suppose -82021 + 77294 = 30*n - 301727. Does 18 divide n?
True
Let s be 0 + 2/(6/9). Suppose 5*y = -s*n + 25, -3*n + 15 = 3*y - 6*n. Suppose y*v = 4*r - 639, 4*v + 664 = 5*r - 137. Does 23 divide r?
True
Is 5 a factor of (3 - 28)/(78/(-14586))?
True
Suppose -308 = -5*x - 2*f, 4*x - 139 - 104 = -5*f. Let m = x + -18. Suppose -4*c = -2*j + 3*j - m, 0 = -c - 5*j - 8. Does 4 divide c?
True
Suppose 3*q - z = 9062, -5*q + 23*z - 27*z + 15092 = 0. Is q a multiple of 10?
True
Let x be 1 - (-5 - (-37)/(-1)). Suppose x*q = 42*q + 5. Suppose 2*p = -q*v + 898, 10*v - 11*v = -p - 174. Does 7 divide v?
False
Let d be 226/22 + 657/(-2409). Let f be (20/(-25))/((-2)/(-10)). Is (2952/(-90))/(f/d) a multiple of 11?
False
Let y be (3 + -62)*21/7. Let v = y - -309. Does 8 divide v?
False
Let k(i) = i**2 - 16*i + 60. Let v be k(11). Does 13 divide 3833/v + 4/10?
True
Let v = 79 + -19. Let z = 24 - v. Let y = z + 47. Is 4 a factor of y?
False
Suppose -34*t + 0*t + 8252 = -8374. Does 2 divide t?
False
Let x = 10594 - 1402. Is x a multiple of 8?
True
Let a(i) = 71*i**2 - 1 - 104*i + 101*i - 20. Does 11 divide a(-3)?
True
Let l(z) = -z**3 - 8*z**2 + 11*z + 9. Let x be l(-9). Let m(b) = -b + 16. Is m(x) a multiple of 9?
False
Let c(x) = 15*x. Let k be c(1). Suppose 2*u - 3*u = 5*a - 70, 3*u + k = 0. Suppose -a*h - 224 = -17*h. Does 14 divide h?
True
Suppose -1672 = -5*n + 4*c + 1377, n = 13*c + 622. Is 29 a factor of n?
True
Let g(d) = 62*d + 8. Let b be g(2). Let k = b - -82. Is 11 a factor of k?
False
Let c(m) = -m**3 - 7*m**2 + 8*m + 2. Let q be c(-8). Let w(d) = 8*d**2 - 3*d - 3*d**q + 4*d**2 - 4*d**2 + 2. Is w(5) a multiple of 14?
True
Suppose 0 = -4*i + 2*o - 2, 4*i - 23 = -22*o + 19*o. Does 72 divide (-1 - -1) + (-5 + i - -507)?
True
Suppose -5*b - 314 + 69 = 0. Let t(f) = 78*f + 7. Let q be t(1). Let i = q + b. Does 4 divide i?
True
Let w be (44/(-8))/((-1)/2). Suppose 14*y + 300 = 4*d + 12*y, -4*d + 5*y + 300 = 0. Let i = d - w. Is 32 a factor of i?
True
Suppose -5820 = 11*l - 16*l. Let x = l - 781. Does 21 divide x?
False
Suppose 5*g - 975 = -4*c, -4*c + 487 = -2*c + 3*g. Let q = 487 - c. Does 25 divide q?
False
Suppose 35*c - 44 = 24*c. Suppose c*n = 3463 + 137. Does 60 divide n?
True
Let d = -435 + 442. Let y(s) = 3*s**3 - 7*s**2 - 15*s - 6. Does 40 divide y(d)?
False
Suppose 2*v - 3*d + 93 = -2*d, -4*v - 3*d - 181 = 0. Let l = v + 17. Is -2*(-2 + l/2) a multiple of 17?
False
Let d(i) be the first derivative of i**3/3 + 9*i**2/2 + 17*i - 2. Let z = -2095 - -2085. Is d(z) a multiple of 17?
False
Suppose 14*k = 8979 + 5987. Let i = -534 + k. Is i a multiple of 29?
False
Let z(b) = -2*b + 30. Let w be z(12). Suppose 0 = k - w + 1, 0 = -2*h + 4*k + 28. Suppose 15*f - 17*f = -h. Is f a multiple of 2?
True
Let p = 218 - 385. Let c = p + -8. Is 15 a factor of c/7*9/(-3)?
True
Let s = 57 - 55. Let k be (-6)/s*(-10)/15. Suppose 17 = -k*h - q + 78, 5*h = q + 149. Is 3 a factor of h?
True
Suppose -57 = -20*i + 183. Suppose 4*m - m = -i. Let v(y) = -2*y**3 - 2*y**2 + 6*y - 3. Does 41 divide v(m)?
False
Let t(o) = 4 + 14 + 0*o**2 + o**3 + o**2 + 7*o**2 + 7*o. Does 6 divide t(-6)?
True
Suppose 4*a + 100 = 14*a. Suppose 3*g + 14 = 5*d - 52, -a = -d - g. Is d a multiple of 4?
True
Let f(z) be the second derivative of -z**5/20 - 9*z**4/4 + 4*z**3 - 25*z**2 + 52*z. Is 9 a factor of f(-28)?
False
Let q(f) = -f**2 + 29*f + 33. Let l be q(30). Suppose l*w = -3*x + 660, 625 = 3*w - 4*x - 0*x. Does 84 divide w?
False
Suppose 363468 = 39*y - 18*y. Suppose -29*j + y + 11866 = 0. Does 35 divide j?
False
Suppose 182 = 11*z - 71. Is 20 a factor of (-2)/z + 4146/69?
True
Suppose 9082 = 5*h - 2*v, 2*v + v + 5442 = 3*h. Is 11 a factor of (-2)/(h/(-258) - -7)?
False
Let m(q) = 5*q**2 - 5*q. Let o be m(19). Suppose -23*d + 4*d + o = 0. Is d a multiple of 11?
False
Let q(i) = -28*i**3 + i**2 + 40*i + 194. Is q(-5) a multiple of 17?
True
Let w = 6733 + -6119. Is w a multiple of 19?
False
Suppose 2*a + 70 = -2*v, -3*a - 25*v = -30*v + 113. Let f be (1 + 5)/((-1)/(-11)). Let i = f + a. Is i a multiple of 15?
True
Suppose 4*k + 24 = -3*r, -2*k = -r + 3 - 21. Is 8 a factor of r/78 + 44127/117?
False
Let s(v) = -3*v - 6. Let f be s(-5). Let g(j) = -j + 11. Let d be g(f). Is 1 + d - 3 - -390 a multiple of 39?
True
Is (117/351)/(2/67316) - 8/6 a multiple of 71?
True
Let s(d) = 1773*d - 3894. Is 59 a factor of s(10)?
False
Let l = 203 + -70. Let v be 1647/7 + (-38)/l. Suppose -v = -8*d + 309. Does 12 divide d?
False
Let l(k) = -k**2 - 20*k - 88. Let z be l(-7). Suppose z*c + 166 - 799 = 3*y, -6 = 3*y. Does 4 divide c?
False
Let m(p) = 1680*p - 13746. Is 69 a factor of m(17)?
False
Is 24 a factor of (-2 - (-137 + 5))*(-720 - 0)/(-3)?
True
Let t(r) = r**3 + 3*r**2 - 30*r + 203. Is t(10) a multiple of 71?
False
Let z(q) = -q**2 - 15*q + 6. Let d be z(-15). Suppose -7*x - d = -6. Suppose x = -3*s + 54 + 93. Is 7 a factor of s?
True
Let d be ((-1)/(-1) + 4)*(-8)/(-10). Suppose n + 4*n = -3*k + 2261, -k = d*n - 1813. Suppose 5*v = 796 + n. Is v a multiple of 25?
True
Let v be 125 - (-1 - 4 - -5). Suppose -3*b - v = -q, 5*b = -q + 101 + 16. Is q a multiple of 11?
False
Let t(y) = 39*y**3 + 3*y**2 + 5*y - 9. Let d be t(1). Let o be 2160/(-2) - (3 - 1). Does 12 divide o/(-15) - d/285?
True
Let d = 68 - -48. Let k be ((-8)/(-2) + 95)*-1. Let r = k + d. Is r a multiple of 3?
False
Let w(c) = 398*c**2 + 64*c + 404. Is w(-8) a multiple of 6?
False
Is (16 - (-120)/(-8))*(23 - 2) a multiple of 11?
False
Suppose 0 = -3*u, 4*b + 3*u - 2750 - 6528 = -1958. Is b a multiple of 15?
True
Suppose -3*j = 4*u - 34, 5*j - 2*u - 27 = -5. Let d(t) = 2*t**3 + 11*t**2 + 8*t + 17. Is d(j) a multiple of 25?
False
Let p(k) = k**3 - k**2 + 4*k - 1. Let y be p(0). Is 7 a factor of y/((-12)/18)*10?
False
Suppose 70366*b + 67760 = 70376*b. Does 3 divide b?
False
Let k(o) = 18*o + 258. Suppose -20 + 12 = -2*h, -5*h = -2*j + 16. Is k(j) a multiple of 18?
False
Suppose 5540 - 1548 = 22*s - 4918. Is s a multiple of 9?
True
Suppose b + 13 = 5*g, 7 = b + 4*b - g. Suppose -s + 16 = 3*w, 0*s - b*w = -2*s - 8. Is (86 - -2) + (0 - 2)/s a multiple of 29?
Fa