2*u + 3*c - 12. Let a(s) = -s - 6. Let n be a(u). Does 8 divide w(n)?
True
Let q(i) = 6*i + 2. Let s be q(-2). Let z = 5986 - 5983. Is 144/(-15)*s/z a multiple of 8?
True
Let u = 276 + -214. Suppose 6*n - 238 - u = 0. Does 22 divide n?
False
Suppose 108*o - 1545360 = -80*o. Does 60 divide o?
True
Let g(n) = 7*n**3 - 18*n**2 + 10*n - 6. Let o be g(4). Is 15 a factor of (4 + (-7)/(-2))*(-10 + o)?
True
Let o(q) = q**3 - 4*q**2 - 16*q + 32. Let r be o(6). Does 34 divide r/(160/(-35))*-76?
False
Suppose 51*f + 20 = 53*f. Let r be 4*(17 - 4/2). Suppose r = -f*d + 12*d. Does 3 divide d?
True
Let h = 269 - 196. Let w = 169 - h. Is w a multiple of 8?
True
Suppose 0 = u - 3*f - 1 - 0, 0 = -2*u + 2*f + 10. Let j = u + -182. Let k = j + 344. Is 13 a factor of k?
True
Does 13 divide 33579 + ((-44)/4 - -4 - -11)?
False
Is 4 + 1*8*522/(-72)*-274 a multiple of 6?
False
Suppose -29*k + 35*k = -900. Let h = k + 366. Does 27 divide h?
True
Is 22 a factor of 5/(-80) - (-322716)/(-192)*-5?
True
Suppose -3*l = -i - 26089, -4*i - 8750 = 3*l - 34834. Does 77 divide l?
False
Suppose -8*q + 271 = -8438 + 717. Does 12 divide q?
False
Is (-346732)/(-14) - (-206)/1030*(-20)/7 a multiple of 19?
False
Let r(d) = d**2 + d + 1. Suppose 2*t + 6 = -2*i, -5*t + 2*t = -4*i + 2. Let f(y) = -4*y**2 - 3*y - 2. Let u(b) = i*f(b) - 3*r(b). Is 2 a factor of u(4)?
False
Suppose 13*b + 34 = -122. Let l(k) = 7*k**2 + 10*k + 149. Is l(b) a multiple of 21?
False
Let h = 21694 - -444. Does 19 divide h?
False
Let i = 263 - 289. Let m(h) = 2*h**2 + 18*h - 7. Does 12 divide m(i)?
False
Suppose -4*k - 12 = 0, 13*s - 10*s = 5*k + 41034. Is s a multiple of 202?
False
Let d be -1*((-1 - 125) + 1). Suppose -124*p - 94*p = -18748. Let w = d - p. Is w a multiple of 13?
True
Suppose 24*i = 23452 + 8084. Suppose 32*d - 31*d = i. Is d a multiple of 23?
False
Suppose -269180 = -20*v + 185080. Is v a multiple of 113?
True
Let u(w) = 27*w - 17 + 33*w - 19*w + 48*w - 18*w. Suppose 4*y + 3 = 15. Is 28 a factor of u(y)?
True
Suppose -5*t - 11*t = -22*t + 11664. Is 74 a factor of t?
False
Suppose -4*a - 9 = -5*f + 4, -a + 5 = -4*f. Let q = a + 113. Does 37 divide q?
False
Suppose -5*a - 5 + 45 = 4*x, 3*x = -2*a + 23. Suppose 2*t = x*u - 281, -2*u + 6*t + 122 = 10*t. Does 9 divide u?
False
Let m be (4 + -3)*(-2 - (-2 - -2)). Let c be (2 + m)/(2 - 4). Suppose 4*f + 4 = 0, -4*v + 8*v + 4*f - 1180 = c. Does 53 divide v?
False
Let m be 8/36 + 3 + 4/(-18). Suppose 3*z + m*p - 13 = 2, -z + 2*p = 10. Suppose 0 = -4*r + 3*x + 407, z = -5*r + 4*r + 4*x + 118. Is r a multiple of 16?
False
Let z be ((-165)/88 - (-3)/(-24)) + 0. Let w be 4/12 - (-454)/(-3). Does 24 divide w*(z/(-1) - 3)?
False
Suppose 0 = -2*k - j + 10026, 4986 = -5*k + 6*k + 5*j. Does 9 divide k?
False
Suppose -2*p = 4*g - 2*g - 6, 5*g - 5*p - 5 = 0. Suppose 3*a + g*z - 302 - 271 = 0, 0 = -5*a + 2*z + 971. Is a a multiple of 3?
False
Suppose 0 = 19*y + 2*y - 399. Suppose -y*x - 1989 = -58*x. Is 17 a factor of x?
True
Let l(q) be the third derivative of q**6/120 - q**5/12 - 7*q**4/8 + 38*q**3/3 - 11*q**2 + 1. Is l(11) a multiple of 19?
False
Suppose 16*b - 15*b + 2509 = 3*j, 0 = 4*j - 5*b - 3360. Let a = j - 423. Is 37 a factor of a?
False
Suppose 0 = -3*k + 5*d - 177 - 752, 5*k - 4*d = -1531. Let n = k - -157. Let s = n - -332. Is s a multiple of 15?
False
Let v = -5064 - -7441. Is v a multiple of 19?
False
Suppose -6*g + 34230 = -6*g + 14*g. Is g a multiple of 163?
True
Suppose 39*c + 39 = 26*c. Is 14 a factor of -84*(c - (13/3 - 5))?
True
Let g = -150 - -150. Suppose -2*f + 803 = -g*m - m, 0 = 5*m - 5. Does 38 divide f?
False
Suppose 9*j + 2*y - 370558 = 0, 3*j = 5*y + 97860 + 25682. Does 173 divide j?
True
Let v be (-30)/120*(-8)/2. Is 726 - (v - (8 - 7)) a multiple of 6?
True
Let s = -58 + 60. Let u be (-4)/(s - -2)*-9. Let l(b) = 3*b**3 - 28*b**2 + 11*b + 7. Is l(u) a multiple of 5?
True
Let j(y) = -y**3 - 4*y**2 - 8*y - 3. Let n be j(-2). Suppose -3*i + n*a + 3132 = 0, 5*i + a = -3*a + 5257. Is i a multiple of 27?
False
Is 7 a factor of 2/2 - (-4)/(-5) - 242588280/(-20350)?
True
Let m = 2588 - 1813. Is 6 a factor of m?
False
Suppose -3*q + 25 = 4*w, 5*w - 14 + 0 = 2*q. Let c be (-4)/6*(2925/26)/(-25). Suppose -y = c*j - 215, -4*j = -q*y - 119 - 146. Is 35 a factor of j?
True
Let c = -898 + 1357. Let b = c + 14. Is 23 a factor of b?
False
Is 25 a factor of 6*((-7)/(168/(-38900)))/(8/16)?
True
Suppose -3*l + 4*z = -4*l - 13, 0 = l + 5*z + 8. Let x be ((-24)/l)/4 + 93/33. Is 1057/49 + x/14*2 a multiple of 13?
False
Let k be (-2 - -156)/(-1 - -2). Suppose 15*s = 22*s - k. Is s/(-8) - -2 - (-3135)/20 a multiple of 22?
False
Suppose -2*y - 2*y = 4*r + 120, 102 = -4*y + 5*r. Let h be (-9)/4*y/21. Suppose -7 = -t + h*k - 4*k, t = 2*k + 13. Does 7 divide t?
False
Let c(k) = -11*k + 6. Let f = -49 + 52. Suppose -f*u + 6 = -4*u. Does 24 divide c(u)?
True
Let o = 31 - -95. Let k be (-15)/(-3)*o/(-10). Let c = -36 - k. Is c a multiple of 3?
True
Let t be 1/(3*5/795*1). Suppose -12*m + 103 + t = 0. Is m a multiple of 13?
True
Let b be 7 + -4 + 6/(-6). Suppose b*q - 236 = -4*v, -3*v - 45*q + 43*q = -179. Does 35 divide v?
False
Let m(b) = b**3 - 24*b**2 + 23*b + 4. Let d be m(23). Suppose -5*x + 226 = -2*l, d*x = -0*x - 2*l + 170. Is x a multiple of 44?
True
Suppose 21802 + 89702 = 24*z. Is 3 a factor of z?
False
Let h(w) = 3276*w**3 + 21*w**2 - 19*w - 2. Is 84 a factor of h(1)?
True
Suppose -73*z - 165388 + 280260 + 255384 = 0. Does 16 divide z?
True
Suppose 83*u - 86*u = -2097. Is 233 a factor of u?
True
Suppose -42 + 6 = -4*a. Does 6 divide 288/28*42/a?
True
Let l be 2/(-4) - (238/4 + 5). Let q = 99 + l. Suppose 0 = -7*o - q + 111. Is o a multiple of 8?
False
Let n(z) = 22*z + 77. Let d = -303 + 313. Does 33 divide n(d)?
True
Let s(c) = -2*c**3 + 27*c**2 - 10*c + 51. Let z be ((-22)/8)/(35/(-140)). Is s(z) a multiple of 14?
True
Let a be (9/4)/((-9)/(-36)). Suppose -a*h = 1184 - 3524. Is h a multiple of 20?
True
Suppose -211*x + 419*x = 215*x - 52892. Is 21 a factor of x?
False
Let k be (-6)/4*8/(-12). Let t(d) = 125*d**2 - 1. Is t(k) a multiple of 31?
True
Let w(h) = 3*h**2 + 76*h - 1223. Is 74 a factor of w(-65)?
True
Suppose -2469 = -q + 3*o, -3*q - 2945 = 3*o - 10340. Is q a multiple of 18?
True
Suppose 2*r - 2 = 3*r. Does 16 divide (r - -1)/((-20)/512)*5?
True
Let g(b) = 2*b**2 + 16*b + 626. Is g(-55) a multiple of 6?
True
Let t be ((-72)/42)/(2/(-14)). Let k = 907 - 715. Suppose t*i = 528 - k. Is i a multiple of 3?
False
Suppose -5*a = 3*a - 2136. Suppose -2*s - a - 119 = -3*q, -3*s = -6. Does 30 divide q?
False
Let h(u) = -u**2 - 47*u + 7. Let a be h(-31). Suppose 420 = 3*l + 3*v, -79 + a = 3*l + 4*v. Let q = -63 + l. Does 24 divide q?
False
Let x(y) = 2*y - y - 13*y - 18 + 0*y. Let k be x(-5). Suppose 0*r - 2*f - k = -r, 12 = r + 4*f. Does 2 divide r?
True
Let y(v) = -101*v - 59. Let u be y(-9). Suppose -4*i = i + 25, -5*h + 5*i = -u. Does 7 divide h?
False
Is -126 - -120 - (0 - (2 + 2604)) a multiple of 65?
True
Let h(g) = -15*g**2 + 652*g + 104. Let z be h(44). Suppose b - x + 178 = -3*x, -348 = 2*b - 4*x. Let m = b - z. Does 12 divide m?
True
Suppose -4*m + 14 = -2*d, -4*m = 5*d - 10 + 3. Suppose 7*u - 2*u = -5*s + 765, u - 137 = m*s. Let p = u + -53. Is p a multiple of 5?
False
Is 40 a factor of ((-4)/22 - 3571989/(-561)) + 3?
False
Let x(o) = 2*o - o - 4*o + 2*o. Let r be x(-6). Suppose 0 = -5*n - 4*h + 327, 191 = -3*n + r*n + 5*h. Does 19 divide n?
False
Let t(j) = 2*j**3 + 26*j**2 - 2. Let g be t(-13). Does 32 divide 14/(-21)*201/g?
False
Let u be (-38)/(-10) + (-1)/(-5). Suppose -4*m - u = 2*l + 2, -25 = 5*m - l. Is (20/30)/(m/(-330)) a multiple of 11?
True
Suppose 0 = -5*c + 6*c - 12. Suppose c = 4*h - h. Suppose u - 182 = -5*t, h*u = 3*t + 2*u - 104. Is t a multiple of 12?
True
Let q be (-10)/4*(-7)/(-35)*-6. Suppose i + 5 + 15 = 5*l, -35 = -4*i - q*l. Suppose c = i*k - 2276 + 485, 0 = 2*k + 3*c - 730. Is 24 a factor of k?
False
Suppose -388 = -g - 3*g. Let l(t) = -6*t + 30. Let c be l(-8). Suppose w = -4*w + 4*z + g, 0 = 4*w - 3*z - c. Is w a multiple of 7?
True
Let z(d) = 14*d + 4. Let r be (-6)/3*1 + 1 + 3. Is z(r) a multiple of 2?
True
Let s = -31 + 29. Let q be (45/3)/5*(-2)/s. Let h(r) = 3*r**3 - 4*r + 1. Is 10 a factor of h(q)?
True