= b - q, -5*z + 4*b + 30 = -16. Is 2 a factor of z?
True
Let n(d) = -d**2 + 11*d + 19. Let r be n(13). Suppose 46*x - 42*x = 272. Let k = x + r. Does 12 divide k?
False
Let d(x) = -94*x + 34. Let t be d(-8). Let r = 1644 - t. Suppose -7*k + r = -1032. Is k a multiple of 15?
True
Let z be (4 + -3)*(5 - 324). Let r = 579 + z. Does 27 divide r?
False
Let l be (-114)/95*(-10)/6. Suppose 2*n + 5*m - 3*m = -9530, 2*m - 9538 = l*n. Does 15 divide n/(-27) + (-8)/(-18)?
False
Let a(v) = 190*v + 22. Suppose 0 = -d + 5*d - 24. Let c be a(d). Suppose 0 = -34*q + 27*q + c. Is q a multiple of 44?
False
Let t(o) = -38*o**2 - 656*o + 23. Is 3 a factor of t(-12)?
False
Suppose -3*x + 352 = -119. Suppose 3*w = 4*j - 2*j + 2341, 2*w - j - 1560 = 0. Suppose 13*d - w = x. Does 18 divide d?
True
Let h be 6/4*2*20. Let p = -2415 + 2415. Let o = h - p. Is o a multiple of 15?
True
Let h = 479 - 395. Suppose -2*z - z + h = k, -k = 4*z - 86. Is 6 a factor of k?
True
Let b = 2833 - -474. Is b a multiple of 38?
False
Let l(p) = 41*p - 127. Let t(k) = 46*k - 126. Let u(n) = 7*l(n) - 6*t(n). Is u(17) a multiple of 6?
True
Let z be 26/260 + 141/(-10). Is (17/(-4))/(3525/252 + z) a multiple of 55?
False
Does 165 divide ((-4)/46)/1 + 17513620/460?
False
Let d(q) = 2*q**3 + 33*q**2 - 10*q - 133. Is d(-8) a multiple of 65?
False
Let l(q) = 3*q**2 + 2*q - 7. Let x be l(-9). Let t = x - 131. Let j = t + -15. Is 10 a factor of j?
False
Let r(m) = -2*m**3 + 162*m**2 - 69*m - 321. Is r(80) a multiple of 112?
False
Let j(u) = 3199*u**3 + 2*u**2 - 3186*u**3 - 2*u**2. Is j(3) a multiple of 13?
True
Let z(m) be the first derivative of 4*m**3/3 + m**2/2 - 8*m + 24. Is z(4) a multiple of 4?
True
Let p = -1 + -6. Let u(b) be the second derivative of b**5/20 + 11*b**4/12 + 11*b**3/6 + 5*b**2 - 2*b - 19. Does 30 divide u(p)?
False
Suppose -5*n + 22 - 7 = 0. Suppose -3*x + 0 = -3, 4*x + 605 = -n*g. Is 21/(-56) + g/(-8) a multiple of 3?
False
Let t(g) = -144*g**3 - 2*g**2 - g. Let r be t(-1). Suppose r = p - 3*n + 19, -243 = -2*p + n. Is p a multiple of 6?
False
Let m be 14/28*1542/3. Suppose 3 = 5*n - m. Is 47 a factor of n?
False
Let h = 18724 + 12398. Is h a multiple of 182?
True
Let q = -283 + 277. Does 4 divide (-1275)/q - (-42)/28?
False
Suppose -5734150 = 2269*m - 2415*m. Is 133 a factor of m?
False
Let v(w) = -5*w - 52. Let p(x) = 10*x + 105. Let d(y) = -4*p(y) - 7*v(y). Let i be d(-12). Suppose i*r - 14*r = -1370. Is 22 a factor of r?
False
Suppose -53 + 565 = 8*g. Suppose 59*i - g*i = 0. Suppose 3*o = -h + 257, -177 = -2*o + 5*h - i*h. Does 24 divide o?
False
Suppose -111*m + 339488 + 1334503 = 0. Is m a multiple of 11?
True
Let u be -1 + -5 + 10 + 36. Suppose 2*l = u + 20. Does 10 divide l?
True
Suppose -4 + 0 = -4*l. Suppose -5*m = 4*p + 36, 2*p - 4*p = 4*m + 24. Is 29 a factor of l*(-2 - m) - (9 + -135)?
False
Let m(k) = -3*k**2 - 6*k + 2. Let c(n) = -9*n**2 - 19*n + 6. Let y be (-195)/27 + (-2)/(-9). Let h(b) = y*m(b) + 2*c(b). Is h(-2) even?
True
Suppose 4*r + 3*p = -42, 58 = 4*r - 9*r - p. Let j = r - -10. Let g(b) = 39*b**2 + 4*b + 5. Is 11 a factor of g(j)?
False
Let m = 3774 - 3762. Suppose 238 = -2*g + 3*g. Is (m/2)/(4 + g/(-60)) a multiple of 18?
True
Let i = -812 + 816. Let c be 4 + -2 + 19 + -1. Suppose z - 23 = -i*w + 7, 2*w = 3*z - c. Does 5 divide z?
True
Let b = -764 + 1289. Let w(l) = 4*l**2 + 23*l + 8. Let q be w(-5). Does 14 divide 5/(q - 3) - b/(-2)?
False
Suppose -26567*v + 26530*v + 70374 = 0. Is 2 a factor of v?
True
Let b(x) = -76*x**3 + 4 + 4*x**2 + 5*x + 84*x**3 + 0*x**2. Let m be b(-2). Is ((-10)/(-6))/((-15)/m) a multiple of 6?
True
Let m = -5500 - -7705. Does 35 divide m?
True
Is 99 a factor of (-3 + 1479/(-17))*(-3)/((-45)/(-1572))?
False
Let r(y) = -y - 31. Let h be r(29). Let c = 64 + h. Does 30 divide ((-45)/(-7))/(8/28)*c?
True
Let c be -1*((-2)/(-2) + -5) + 1. Suppose 4*w - 1063 = -5*o, 0 = c*o - 4*w + w - 1084. Does 23 divide o?
False
Let s be (84/(-63))/(1/111). Is 111/s*(-496)/6 a multiple of 3?
False
Suppose -2*k - 12 = n, 0*n = 3*n - 3*k + 9. Let c(s) = s**2 - 4*s + 29. Let j(z) = -2*z**2 + 5*z - 28. Let o(v) = -6*c(v) - 5*j(v). Is o(n) a multiple of 58?
True
Let i = -5200 - -9364. Does 5 divide i?
False
Let z(m) = -5*m**3 - m**2 + 2*m + 3. Let q = 39 + -32. Let p = q + -9. Does 5 divide z(p)?
True
Suppose 2266 = 20*x - 2*x + 466. Does 50 divide x?
True
Let l = 38 + -25. Let z = 37 - l. Suppose 2*u - u - z = 0. Is 4 a factor of u?
True
Suppose -8*s + 3*s = 5*g - 240, 0 = 5*g - s - 234. Let d = g + 13. Does 15 divide d?
True
Let w = 185 + -178. Suppose 0 = 2*y + 8*s - w*s - 1004, 2*y + 5*s - 988 = 0. Does 24 divide y?
True
Let o = -2058 + 5734. Does 87 divide o?
False
Let p be ((-9)/(-6))/((-9)/(-702)). Let o = 254 - 74. Let t = o - p. Does 21 divide t?
True
Let s(g) = 3*g**2 - 9*g - 27. Let p(x) = -4*x - 60. Let j be p(-14). Is 4 a factor of s(j)?
False
Suppose -9*m - 4*m + 1079 = 0. Suppose 68*t = m*t - 1650. Does 10 divide t?
True
Suppose 2790 = 2*t - 2*g, -4*t + g = -5984 + 416. Suppose 5*f + t = 3*l, -l + 458 = -2*f + 6*f. Is l a multiple of 14?
True
Let w be -293*2/7 + (-172)/602. Let n be 30/((1 + 0)/(-2)). Let g = n - w. Is g a multiple of 4?
True
Let u(n) = -62*n - 40. Let g be u(-8). Let l = g + -236. Is 9 a factor of l?
False
Let r = 18927 + -11403. Is 36 a factor of r?
True
Suppose 88*q = -6598 + 54646. Is 21 a factor of q?
True
Let a(h) be the first derivative of -h**3/3 + 13*h**2/2 - 4*h + 13. Let u be a(8). Suppose 5*q - 24 = u. Is q a multiple of 3?
True
Let g(q) = -q**3 - 51*q**2 + 36*q - 72. Is g(-53) a multiple of 33?
False
Let f be (-1)/((-2)/244*(-2 + 4)). Let c(v) = -f*v**3 + 24 + 126*v**3 - 3*v**2 - 64*v**3 - 10*v. Is c(7) a multiple of 25?
True
Let v = -269 - -264. Does 8 divide (1911/(-35) - -2)*v?
False
Suppose -413*f + 631557 = -2870742 - 22996194. Is f a multiple of 13?
False
Suppose 0 = -42*w + 100010 + 99364. Is 20 a factor of w?
False
Suppose 0 = -9*o - 8162 + 34874. Is 106 a factor of o?
True
Let d(s) = -3*s**3 - 13*s**2 + s + 17. Let b be d(-7). Let k = -223 + b. Is k a multiple of 7?
False
Suppose 16000 = 7*d + 3*d. Suppose 0 = 5*q - q - d. Is q a multiple of 16?
True
Let n(l) = -2. Let y(u) = -11*u**2 + 8*u + 16. Let w(t) = -4*n(t) - y(t). Is 11 a factor of w(-5)?
False
Suppose -65*n = -91172 - 365627 - 192161. Is 16 a factor of n?
True
Let p = 28603 - 2070. Is p a multiple of 169?
True
Let k(c) = 2*c**2 + 19*c - 10. Let v be k(8). Suppose -v = -6*o - 3*o. Is o a multiple of 2?
True
Let r(q) be the first derivative of -5*q**2/2 - 18*q + 33. Does 7 divide r(-15)?
False
Let l(i) = -744*i - 1747. Does 7 divide l(-5)?
False
Let u be 5 + -4 - (0 - 3). Suppose -3*p = -u*p + 13. Is p - -24 - 4/2 a multiple of 7?
True
Let c = 4245 + -1855. Does 41 divide c?
False
Let r(p) = 224*p + 47. Let z(u) = 77*u + 16. Let c(v) = -4*r(v) + 11*z(v). Does 23 divide c(-4)?
True
Is 15 a factor of (-52)/6*(-14 - (-11674)/(-52))?
False
Suppose 66*r = 69*r + 9. Does 18 divide 90 + (3 - 6 - r)?
True
Let n(u) = -12*u + 13. Suppose 5*o = 2*g + g + 35, 2*o + 4*g = -12. Suppose 5*z - 4*z - 37 = o*d, 3*d = 4*z - 31. Is 11 a factor of n(d)?
True
Suppose -u = 3*n - 29067, 48465 = 5*n - 3*u - 2*u. Is 6 a factor of n?
True
Let g = -208 + 206. Let w = g - -153. Is w a multiple of 8?
False
Let g(a) = 20*a**3 - 4*a**2 + 89*a - 477. Is 37 a factor of g(5)?
True
Let s(c) = -59*c**2 + c - 1. Let n be s(2). Suppose o + 14*p + 85 = 17*p, 8 = -2*p. Let d = o - n. Is d a multiple of 23?
True
Let q(w) = -3*w**2 - 15*w + 27. Let k(b) = 5*b**2 + 29*b - 54. Let m(p) = -2*k(p) - 5*q(p). Is 13 a factor of m(8)?
True
Let s = -72 - -82. Suppose -848 = -2*p - 4*v, -5*p - 11*v + s*v + 2111 = 0. Is p a multiple of 19?
False
Suppose 14 = -i + 5*n - 6, 2*n = 2*i + 16. Let k be (8/i)/2*-5. Suppose -10 + 74 = k*u. Does 16 divide u?
True
Let y(x) = -x**3 - 8*x**2 - 11*x + 8. Let n be y(-6). Suppose 6*o = -n*o + 1472. Is o a multiple of 8?
True
Does 17 divide 96/72 + (-490562)/(-12) + (-5)/(-10)?
False
Let t(z) = 17*z - 2. Suppose -9 = -9*b + 6*b. Let c be (-60)/70*(-14)/b. Does 11 divide t(c)?
True
Is 38697/2 + -21 + 315/14 a multiple of 45?
True
Suppose 16569 = 5*n + 2*d, -3*n + 4786 = 3*d - 5150. Is 13 a factor of n?
True
Suppose 6961*d = 6958*d + 62103. Is 65 a fac