pose 1192 = 2*c - 5*o + h, 1062 = 2*c + 5*o. Is c a multiple of 22?
False
Suppose -4*v + d = -33, -5*d - 6 - 31 = -4*v. Suppose i = 3*i + y - v, 2*y + 11 = 5*i. Suppose -j + 105 = 5*o - 2*j, -2*o - i*j + 25 = 0. Does 13 divide o?
False
Let d(t) = t**3 + 46*t**2 + 295*t + 124. Is 29 a factor of d(-31)?
True
Let q(m) = m**3 - 22*m**2 - 132*m + 235. Does 132 divide q(37)?
False
Let s be -105 - 2/2*(-13 - -12). Let h = 134 + s. Does 10 divide h?
True
Let j = 3110 - -2261. Is j a multiple of 9?
False
Let z = 22112 + 11665. Is z a multiple of 74?
False
Suppose 2*v = 8*v. Suppose -4 = -t - v. Suppose q + 0 = t, 2*i - 2*q - 32 = 0. Does 20 divide i?
True
Suppose 103*h = 905522 - 239112. Is h a multiple of 6?
False
Let v(t) = t + 50. Let w be v(-18). Let m(c) = c**3 - 12*c**2 + 12*c - 3. Let h be m(11). Let y = w - h. Does 6 divide y?
True
Let w(o) = 133*o + 2151. Is w(76) a multiple of 13?
True
Suppose 5*w - 944*h = -939*h + 21600, 17301 = 4*w + 3*h. Is 33 a factor of w?
True
Suppose 2140 = 3*i + 847. Let h = -326 + i. Is 3 a factor of h?
True
Suppose -19*g + 2*g - 816 = 0. Let s = g + 231. Is 11 a factor of s?
False
Let f be 4010/5 + 70/(-10). Let l = f + -489. Does 9 divide l?
True
Let y = 51396 + -24612. Is 54 a factor of y?
True
Suppose 0 = -5*h - 4*h + 81. Suppose -5*t = s - h, 5*s + 6 = 2*t - 3. Suppose -j + 3*u + 9 = j, -t*j + u = -19. Does 12 divide j?
True
Let i be (20 - 2)/((-10)/(-45)). Suppose i*l - 90*l = -864. Is 3 a factor of l?
True
Is ((-4)/(-12)*21 + -15)/(3/(-19788)) a multiple of 16?
True
Does 20 divide (-5)/(225/(-2499282)) + (-16)/(-40)?
True
Suppose -3*u + 4*w + 101 = 0, 0*w = 2*u + 2*w - 86. Suppose 5*q - 60 = 70. Let d = u + q. Does 17 divide d?
False
Suppose 24940 - 25503 = -c. Does 2 divide c?
False
Let u be ((-50)/8)/((-4)/(-16)). Let m = u - -27. Suppose -4*r = -m*x - 88, -x - 63 = -3*r + 2*x. Is r a multiple of 23?
True
Is (-11)/((-11)/590)*(896/80)/4 a multiple of 12?
False
Suppose -5*f + 7*f - 3 = n, 0 = -5*f + 4*n + 12. Suppose 3*l = -19*d + 16*d + 855, 5*l + 4*d - 1422 = f. Is 47 a factor of l?
True
Let t = 11347 + -6590. Is 38 a factor of t?
False
Let g(v) = v + 13. Let q be g(3). Suppose 0 = -q*x + 18*x - 40. Is x a multiple of 4?
True
Let r(q) = -q - 3. Let h be r(-5). Suppose 4*j - h*d - 44 = 0, j - d = -0*j + 12. Is 115*(36/j + -2) a multiple of 46?
True
Let q(h) = h**2 + 23*h + 1218. Is q(-47) a multiple of 51?
True
Suppose -5*z - 4*p = 15 - 39, p = z - 12. Suppose z*v = 11*v - 1305. Is 16 a factor of v?
False
Let w = 23 + -23. Let b = -6 - w. Let d(z) = -9*z - 11. Is 10 a factor of d(b)?
False
Suppose -1170 - 630 = -24*a. Is (-1)/(20/(-8))*(0 + a) a multiple of 5?
True
Let t be (385/154)/(10/3864). Let r = t + -381. Is 45 a factor of r?
True
Suppose -247*b + 262080 = -142*b. Does 26 divide b?
True
Let n(u) = 527*u**3 - 2*u**2 + 16*u - 6*u - 530*u**3 + 34. Does 22 divide n(-6)?
True
Is 1 + (-7)/(42/(-106128)) + (-1 - 3) a multiple of 135?
True
Let x(r) = r**2 - 24*r - 1. Let t be 8/(-44) - 458/88*4. Does 29 divide x(t)?
False
Let d = -262 + 262. Let o(v) = v**3 + v**2 + v - 1. Let x(g) = 3*g**3 + g**2 + 2*g + 72. Let r(w) = -2*o(w) + x(w). Is r(d) a multiple of 37?
True
Suppose 259*b - 355*b = -1298400. Does 5 divide b?
True
Let p(l) = -139*l**3 + 2*l + 1. Let a be p(-1). Let m = 310 + a. Does 8 divide m?
True
Suppose 0 = 2*k + o - 4920, -35*o = -2*k - 33*o + 4920. Is 3 a factor of k?
True
Suppose -41*b + 38823 = 22*b - 78042. Is b a multiple of 15?
False
Let t = 4335 + -4203. Does 3 divide t?
True
Suppose -2*z - 2*m - 6 = 0, -3*m - 3 - 10 = -z. Suppose w - z = 7. Suppose -w*o + 2669 = 9*o. Is 33 a factor of o?
False
Let h(z) = -407*z + 609. Is h(-4) a multiple of 28?
False
Let b(p) = -4*p + 70. Let v be b(19). Let x(f) = -52*f + 80. Is 28 a factor of x(v)?
True
Let h(m) be the first derivative of 9*m + 7/2*m**2 + 8 - 1/3*m**3. Is h(6) a multiple of 3?
True
Let q be 15 + 1/(0 + -1). Suppose q*w - 162 = 13*w. Does 18 divide w?
True
Is 2/(40/(-33870))*(-1 - 1) a multiple of 23?
False
Let g(b) = 3651*b + 844. Is g(1) a multiple of 29?
True
Let r be 3/6*-6*6/(-9). Let x be (5 - r - -206)*(-3 - -4). Suppose 221 = 2*w + 3*s, -x = -0*w - 2*w + s. Is w a multiple of 19?
False
Suppose 4*w - 5*z = 916 + 147, 5*w - 2*z - 1333 = 0. Let u = -64 + w. Is u a multiple of 29?
True
Does 200 divide (-9)/(90/(-80)) - (-14204 - -5)?
False
Let c = -14384 + 24455. Is c a multiple of 15?
False
Suppose -t + 4*t = 33. Suppose -y + 2*l = -92, -5*y + 3*y - 5*l = -202. Let w = t + y. Is w a multiple of 5?
False
Is 12 a factor of ((-12)/15 - (-427720)/25) + 98/14?
False
Suppose 2*g = 2*t + 176, 9*g - 410 = 4*g - 5*t. Suppose -g*j = -81*j - 56. Suppose 1008 = -7*l + j*l. Does 36 divide l?
True
Let w(g) = 119*g**2 + 52*g + 558. Does 11 divide w(-8)?
False
Let d(v) = 19*v + 19. Let a be d(-17). Let q = -146 - a. Suppose 187 + 227 = 5*i - 2*g, -q = -2*i - 3*g. Does 15 divide i?
False
Does 118 divide 105/(-1050) - ((-94401)/10 - (-3 + 3))?
True
Let p(u) = 33*u - 3. Let i(n) be the third derivative of -n**5/30 + n**4/4 + 3*n**3/2 + 12*n**2. Let r be i(4). Does 8 divide p(r)?
False
Let x(w) = -w**3 + 8*w**2 + 6*w + 10. Let p be x(9). Let o = p + 19. Does 14 divide (70/25)/((o/(-50))/(-1))?
True
Let p(h) = 2*h + 35. Let j be p(-14). Let o be j + -6*(-3)/(-6). Suppose 0 = 3*i - 3*q - 477, 0 = o*i - 0*q - 3*q - 635. Does 33 divide i?
False
Let k = 377 + -148. Suppose -224*t = -k*t + 1460. Is 19 a factor of t?
False
Let u(o) = 2073*o**2 - 4*o + 5. Does 23 divide u(3)?
False
Let p = 19994 - 9546. Is p a multiple of 16?
True
Let j = 6864 + -5487. Is j a multiple of 153?
True
Let r = 1 + 1. Let s = 10144 + -10140. Suppose 5*c - r*u - 380 = u, 0 = -c + s*u + 93. Is c a multiple of 16?
False
Let c(v) = v**3 + 10*v**2 + v - 12. Let d be c(-9). Let p = d + -32. Suppose -o - o + 20 = -r, 3*o - r - p = 0. Does 6 divide o?
False
Let r be ((-124)/6)/(2/(-3)). Suppose 25*o + 234 = r*o. Does 13 divide o?
True
Suppose 5*u - 87 = -4*h, -33*h + 37*h = 5*u + 137. Does 23 divide ((-42)/h)/((-1)/34) + -5?
True
Let p(n) = n**3 - 7*n**2 + 2*n - 4. Let q be p(7). Suppose -34 + 14 = q*y. Does 24 divide -4*(-101)/4 + 2/y?
False
Let f(r) = 3*r**2 - r. Let u be f(2). Suppose 0 = -l - 7*l + 488. Let g = l - u. Does 17 divide g?
True
Suppose 11*y + 5*h + 25628 = 14*y, -5*y + h = -42684. Suppose -18*w - 706 + y = 0. Does 15 divide w?
True
Suppose 7*v = -13*v - 5000. Let x = -125 - v. Does 8 divide x?
False
Let a(b) = -b**3 - 19*b**2 - 37*b + 534. Is 4 a factor of a(-28)?
False
Let j be (-21)/2 - (-12)/8. Let v be 1329/j + (-2)/(-3). Let f = -52 - v. Is f a multiple of 19?
True
Suppose l - 19*w = -21*w + 40025, 0 = -5*l - 4*w + 200155. Is 85 a factor of l?
True
Let c be -6 - -3 - (2 + -2) - -3. Let t = 3 - c. Suppose -t*u = 0, -u - 222 - 202 = -4*s. Does 25 divide s?
False
Suppose -12 = 4*f, 9*r + 5*f = 7*r + 843. Suppose 16*b - r = 15*b. Is b a multiple of 11?
True
Suppose 26*q - 1944 = -9*q + 681. Is 5 a factor of q?
True
Suppose 9*p = 3*p + 168. Let h be ((-30)/(-4))/(14/p). Suppose 0 = -f, -w - 2*f + h + 37 = 0. Is 26 a factor of w?
True
Suppose 0 = 10*d - 11 - 9. Suppose 0 = d*m + 5 - 1. Let s = m - -86. Is s a multiple of 14?
True
Suppose 1252*m = 1241*m + 25256. Is m a multiple of 56?
True
Suppose 5*k - 348763 = -11*k - 3003. Is k a multiple of 58?
False
Let h(z) = z**3 - 7*z**2 - 5*z - 11. Let s = -44 - -53. Is h(s) a multiple of 9?
False
Suppose 8*h = 9*h - 1391. Suppose 3*y = -2*d + 1388, -h = -3*y + 15*d - 20*d. Does 19 divide y?
False
Suppose 94*p - 781421 = -18047. Is 141 a factor of p?
False
Suppose 0 = 5*q - 5*g + 870, 3*g - 71 + 225 = -q. Suppose 16*p = -1772 - 52. Let u = p - q. Is 17 a factor of u?
False
Let k = -27511 + 38821. Is k a multiple of 65?
True
Let r be 2/3 - 24339/(-63). Suppose 6*j - r = 1677. Is j a multiple of 5?
False
Let i(j) = -j**3 + 37*j**2 + 124*j - 296. Is i(39) a multiple of 107?
True
Suppose s - 2 = 0, 0 = -3*t + 2*s - s + 676. Suppose a + c - t = -52, 4*a - 684 = 2*c. Is 6 a factor of a?
False
Let s(p) = 1664*p**3 - 3*p**2 + 20*p - 20. Is s(2) a multiple of 12?
True
Let x = -21475 - -40234. Is x a multiple of 39?
True
Let c = 220 - 217. Is 17 a factor of (-559)/(-6 + c - -2)?
False
Let g(v) = -v**3 - 13*v**2 - 7*v. Let q be g(-6). Let