4*b - 228, -3*v + 2*b = -t. Is v a multiple of 22?
True
Let b(j) = j**3 + 12*j**2 + 7*j + 6. Let z = 66 - 60. Let n be 4/((-16)/z)*(-100)/(-15). Does 34 divide b(n)?
True
Let c be 102/(-12) + 6 - 9/6. Is 12 a factor of (58/(-15) - c) + 41028/90?
True
Suppose 50 - 1363 = -13*b. Suppose 5*h - 337 = -2*j + b, h + 3*j = 85. Does 11 divide h?
True
Let n = 1227 + -600. Let o = n - 268. Is 25 a factor of o?
False
Let w(o) = -48*o**2 + 8*o + 6. Let h(t) = -32*t**2 + 5*t + 4. Let k(f) = -7*h(f) + 5*w(f). Let c be k(-2). Is 13 a factor of 27/c + 1683/8?
False
Let q(z) = 224*z - 292. Let s be q(12). Let l = s - 1142. Does 21 divide l?
False
Let x(o) = -o**3 - 2*o**2 - 9*o - 24. Suppose -12 = 3*q + 4*h, 4*q - 4*h + 13 + 3 = 0. Is 16 a factor of x(q)?
False
Suppose -29*y + 16 = -33*y. Is 88 + (y - (-3)/3) a multiple of 5?
True
Is (-1)/9 - (83824558/(-261))/62 a multiple of 12?
False
Suppose -4603 = -g + 5*v + 7596, -2*v = -g + 12196. Is g a multiple of 91?
True
Let t be (7 - 8) + 0 + -4 + 1. Let y be 6 + t + 1 - -3. Suppose -5 = y*k - 437. Is 12 a factor of k?
True
Let w = 2630 + -998. Is 16 a factor of w?
True
Let m(p) be the first derivative of 11*p**2/2 - 13*p + 1. Suppose i + 3*u = 49 - 29, 0 = 2*i + u - 20. Is 15 a factor of m(i)?
True
Let o(z) = 17*z + 307. Let b be o(0). Suppose -b*r + 426 = -301*r. Does 14 divide r?
False
Let z(b) = 2*b**2 + 68*b + 295. Is z(-32) a multiple of 167?
True
Suppose -23*y = 64 - 202. Does 16 divide 810/18*28/y?
False
Let c be (-3)/(-3 - (-8)/4). Suppose l - 54 = -4*l - c*d, -4 = -l - 4*d. Is 12 a factor of 71 + 4 + l/(-4)?
True
Let k(m) = 10*m**2 + 54*m - 404. Is 4 a factor of k(10)?
True
Let a = 61 - -7. Let s = 60 - a. Does 18 divide (-90)/(-1)*(s + 9)?
True
Suppose 872*b - 259658 = 855*b. Is b a multiple of 29?
False
Suppose 0 = -6*k + 590 - 224. Let f = 59 + -55. Does 31 divide k + f + (-5 - -2)?
True
Let w be 7/((-10)/(-6) - 8/3). Is 23 a factor of (1 - -137)/((w + 6)*-1)?
True
Suppose 236 - 86 = 25*i. Let h(z) = 3*z**2 - 8*z + 27. Is 56 a factor of h(i)?
False
Suppose 9*z = 5*z - 2*j + 6778, 3*z = j + 5081. Suppose 3*m - 4*g = 6*m - z, 0 = 3*m + 3*g - 1698. Is m a multiple of 19?
True
Let d be 20/(-25)*(-5)/2. Suppose -6*b + 4*b = -40. Does 8 divide ((-6)/(-5))/(d/b)?
False
Suppose -6*m = -22 - 8. Suppose m*k - 10 = 0, -k + 1044 - 142 = d. Suppose -d = -4*q - 2*q. Is 30 a factor of q?
True
Suppose -4*k - 4*b = -k + 16, 2*k - b = -29. Let h(w) = -49*w - 109. Does 43 divide h(k)?
False
Let b(l) be the third derivative of -61*l**4/24 + 2*l**3 - 408*l**2. Suppose -3*n = 4*x + 12 - 0, 6 = -2*x - 2*n. Does 25 divide b(x)?
False
Let t = 7868 + -4707. Is t a multiple of 29?
True
Is (125*(-39)/65)/(3/(-338)) a multiple of 169?
True
Let w = 93 + -97. Let s be (6/4)/(2/w). Does 14 divide (2*1/s)/((-43)/1806)?
True
Let i be (-71 + -48)*(-6)/14. Suppose i = 11*k - 345. Is 12 a factor of k?
True
Suppose -140*m - 23*m + 6346894 = 0. Does 18 divide m?
False
Let s(b) = 8*b + 65. Let p be s(-8). Does 26 divide 1*(-1 + 270*p)?
False
Let r(c) = c**3 + 15*c**2 - 4*c - 122. Is r(-9) a multiple of 20?
True
Suppose 43485 = -33*c + 540729. Does 13 divide c?
False
Let x(h) = 527*h**2 - 453*h + 4. Is 132 a factor of x(-6)?
False
Let u = 10494 - 9333. Is u a multiple of 9?
True
Let w(c) = c + 8. Let l be w(-6). Let j = 1862 + -1201. Suppose 4*f + f - 4*i - j = 0, -f + l*i + 131 = 0. Is 37 a factor of f?
False
Suppose z - 2374 = -4*a, 44*z - 2966 = -5*a + 43*z. Does 4 divide a?
True
Let c = -115 - -244. Suppose -r = -33 + c. Let a = r + 228. Is 22 a factor of a?
True
Suppose 4*w - 6*w = -4. Suppose -4*n + 14 = -w. Suppose n*t = -4*y + 124, 5 + 69 = 2*y + 5*t. Is y a multiple of 3?
True
Suppose -7*c = 2*a - 8*c - 116876, 2*a - 3*c = 116860. Does 52 divide a?
False
Suppose g + 4*c - 51587 = 0, -823*g - 51593 = -824*g - 5*c. Does 214 divide g?
False
Let p(h) = 3*h - 32. Let g be p(-12). Let o = g - -71. Suppose 4*t - 65 = o*t + 5*d, -5*t - d = -377. Is t a multiple of 9?
False
Let s = 205 - 111. Suppose -3*k - 10*b + 5*b = -477, 2*k - b - 331 = 0. Let u = k - s. Does 5 divide u?
True
Suppose 0 = -144*r + 49*r + 62*r + 116886. Is 44 a factor of r?
False
Let j(n) = 2*n**2 + 23*n + 20. Suppose 0 = 2*s + 8, 3*s - s + 18 = -5*c. Let t(x) = 2*x**2 + 23*x + 19. Let f(b) = c*j(b) + 3*t(b). Is 17 a factor of f(-15)?
False
Let g be (-8*(-3 - -1))/2. Let a(c) = -c**3 + 9*c**2 - 12*c + 10. Let z be a(g). Let f = z + 85. Is f a multiple of 7?
True
Let y(q) = -q**3 + 7*q - 3. Let b be y(3). Let g be 10 - (3 + 4 + b). Is ((-32)/6)/((-8)/g) a multiple of 6?
False
Suppose -21*z - 4 + 7375 = 0. Let m = 755 - z. Is m a multiple of 14?
False
Let i(q) be the third derivative of 28*q**2 + 0*q - 17/6*q**3 - 7/30*q**5 - 1/120*q**6 + 0 - 5/6*q**4. Is 9 a factor of i(-13)?
False
Suppose -58*a = -6*a + 17*a - 364734. Is a a multiple of 33?
False
Let f(t) be the first derivative of -t**5/20 - 11*t**4/12 - 2*t**3/3 + 3*t**2 - 19*t + 29. Let x(g) be the first derivative of f(g). Is x(-11) a multiple of 3?
False
Let c be 4 - -51*(-8)/4. Let r = c + 151. Does 4 divide r?
False
Suppose -r - 6 = -6. Suppose -f + r*f + 6 = -p, 2*p = -2*f - 8. Let b(o) = -2*o**3 - 6*o**2 - 2*o - 5. Is 21 a factor of b(p)?
True
Suppose 0 = 4*q - 2*c - 16, 2*q - 2*c - 4 = q. Suppose q*j = -4*j + 576. Is 24 a factor of j?
True
Let g = 212 - -331. Is g a multiple of 3?
True
Suppose -6*k + 13*k - 76716 = q, -43839 = -4*k + q. Is 9 a factor of k?
False
Suppose -2*r - 16*r + 216 = 0. Suppose 5*d - r = 13. Suppose 5*p + 717 = d*c - 198, -3*p - 909 = -5*c. Is 9 a factor of c?
True
Let z(i) = 33*i**2 + 106*i + 1239. Is 14 a factor of z(-12)?
False
Let n = -38 - -94. Let x = n + -38. Does 38 divide ((-38)/(-10) - -1)/(x/780)?
False
Let s = 175 + -173. Is 463 - (s/8)/(2/24) a multiple of 16?
False
Suppose 96 = 5*p + 31. Suppose -3*u + 3 = 0, -2*f - 5*u = -0*f - 11. Suppose n - p = -f*d, -n = d + d - 13. Does 13 divide n?
True
Let x(w) = -3*w + 21. Let h be x(6). Suppose -3*i - s + 14 = 0, -5*i + s + h + 7 = 0. Does 13 divide (15/(-10))/(i/(-130))?
True
Let o = -6302 + 7607. Is o a multiple of 5?
True
Let h(a) = a**3 + 54*a**2 + 180*a + 149. Is 8 a factor of h(-50)?
False
Let z(t) = -171*t - 1. Let k be z(-2). Suppose -50*s + 3*s - 15540 = 58*s. Let p = k + s. Does 20 divide p?
False
Does 51 divide (-34)/(-6)*(-7)/((-84)/(-18))*-1530?
True
Suppose 4*u = 2*v + 29240, 9*u - 65746 = 98*v - 99*v. Is u a multiple of 13?
True
Let i = 43 - 156. Suppose -2*a = -3*l + 160, -3*a - 322*l = -318*l + 189. Let k = a - i. Does 42 divide k?
True
Suppose -t - 11 = -15. Suppose -t*r + 436 = -3*r. Is r a multiple of 28?
False
Let l(m) = 8*m - 57 - 20*m - 11. Does 8 divide l(-11)?
True
Let p(q) = -q**3 + 4*q**2 - 12*q + 5928. Does 38 divide p(0)?
True
Let t = -35 - -57. Let k be 310/110 + 4/t. Suppose k*z = -3*c + 615, -1 = 3*c + 5. Is z a multiple of 15?
False
Suppose 116*l = 241926 - 20598. Does 4 divide l?
True
Suppose -189*m + 1262038 = -403808. Does 13 divide m?
True
Suppose -32*r = 65*r + 48*r - 1257440. Is r a multiple of 102?
False
Let f(k) = k**2 - 4*k - 17. Suppose 5*r - 42 = -2. Let x be f(r). Suppose 2*a - 5*t = 158, -x = 5*t + 5. Does 23 divide a?
True
Let q(t) = 61*t**2 - 2*t - 4. Let b(g) = -g - 17. Let z be b(-15). Let p be q(z). Let j = -155 + p. Does 22 divide j?
False
Does 94 divide (3/((-270)/20))/((-2)/33732)?
False
Let m(i) = -i**3 + 6*i**2 - i + 10. Let d be m(6). Let o be (d + 4)/2 - 0. Suppose -r - 363 = -3*c, -r + 477 = o*c - 0*r. Is c a multiple of 28?
False
Does 46 divide ((-8073)/(-468))/((-1)/(-4784)*6)?
True
Let y(j) = 259*j**2 + 38*j - 22. Does 26 divide y(-8)?
True
Suppose z - 226 = -3*p, -536 = -4*z - 4*p + 368. Let v = -79 + z. Is (-1)/(-2 - (-291)/v) a multiple of 11?
False
Suppose 4*q + 4*j + 1 = -7, -5*j = 10. Suppose q = -29*p + 26*p + 642. Is 17 a factor of p?
False
Let b(a) = 17*a + 630*a**3 - 2*a**2 + 19 - 3 - 631*a**3. Is b(-8) a multiple of 74?
False
Let y = -37 - -38. Let d(v) = 1. Let k(h) = 3*h**2 + 12*h - 1. Let i(n) = y*k(n) - 4*d(n). Does 15 divide i(5)?
False
Let o be 36/(-8)*33*6. Let f = 1315 + o. Suppose w - p + f = 4*w, 0 = -w + p + 140. Does 17 divide w?
False
Suppose 5*g - 294 = -19. Is 2 a factor of g?
False
Suppose -799*a + 789*a = -181930. Is 113 a factor of a?
True