)/16. Is 81/2 - (-13 + m/(-4)) a multiple of 39?
True
Is (-22*3/30)/(7/(-805)) a multiple of 11?
True
Let g be -2 + 0 + 684/18. Suppose 8*b - g = -b. Does 26 divide b/22 + (-1136)/(-44)?
True
Let t be 4/(5 - -3)*-552. Let n = 462 + t. Is n a multiple of 31?
True
Let r(c) = c**3 - c**2 + 2*c - 4. Let q be r(2). Suppose -z = q*y + 71, 2*y + y + 270 = -5*z. Let m = z + 81. Is m a multiple of 6?
True
Let u be -1 - -3 - -1 - 2. Let k(o) be the first derivative of 15*o**3 - o**2 + o - 532. Is k(u) a multiple of 7?
False
Suppose -2*u + u + 3304 = 2*s, -5*u + 5*s = -16475. Is 152 a factor of u?
False
Suppose 13*l - 4*l = 99. Let j = 211 - l. Does 25 divide j?
True
Suppose -4*j - 2187 = -b, 44*j - 2189 = 48*j + b. Let c = j - -680. Is 9 a factor of c?
False
Let i(a) = 159*a**2 - a + 1. Let r be i(3). Suppose -r = 15*b - 8629. Is b a multiple of 6?
True
Is (-4)/8*((-260)/(-20) - 77083) a multiple of 21?
True
Let m(y) = y**3 + 26*y**2 + 49*y + 32. Let x be m(-24). Does 2 divide 36/5 + (18 - x)/(-50)?
False
Let v be (48/28)/(2/7). Suppose 2 - v = -4*k. Let h = k + 3. Is h a multiple of 4?
True
Let o = -33 - -39. Let q be 3*((-10)/o + 3). Suppose -5*j + 133 = -q*j. Is 31 a factor of j?
False
Suppose 0 = r - 2*t - 2377, -4*r + 5*t + 1485 + 8011 = 0. Let l = r - 1039. Is l a multiple of 93?
False
Suppose -6*a + 5*n + 4942 = -3*a, 2*a - 2*n - 3296 = 0. Suppose -12*x + a = 113. Does 4 divide x?
True
Suppose 0 = f - 34 + 231. Let c = -94 - f. Is c a multiple of 3?
False
Let w = -5 + 8. Suppose -3*o = -5*n - 128, 2*o + 3*n - 79 = -0*o. Suppose o = w*x - 73. Is x a multiple of 21?
False
Suppose -2*a - 12 = -3*a. Let q(w) = -14 + 26 - 6*w**3 - 19*w + w**3 - 10*w**2 - 2*w**3 + 8*w**3. Is 9 a factor of q(a)?
True
Suppose -27*t = 12*t - 126431 - 94621. Is t even?
True
Let h = 20898 - 16738. Is h a multiple of 13?
True
Suppose 0 = l + 4*l - 30, 2*l + 10898 = 2*b. Does 92 divide b?
False
Does 14 divide (-7)/(7/6)*1928/(-16)?
False
Suppose -2*m = -4, -7*b = -2*b + 3*m - 26. Suppose -2*f - b*h = f + 19, 2*f = 4*h - 26. Let i(v) = v**2 + 2*v + 1. Is 16 a factor of i(f)?
True
Let f(q) = 1 - 2 + 10*q + 11*q. Suppose 0 = 98*x - 353 - 137. Is 22 a factor of f(x)?
False
Let f be 2/3*(-23 - (0 + -5)). Does 6 divide -2*(-3)/f*-860?
False
Let f = -399 + 593. Suppose 5*m - 5*r - 636 = -101, 2*m - f = -2*r. Is 6 a factor of m?
True
Suppose 0*c + 116 = 4*c. Suppose -c*f + 396 = -28*f. Suppose 0 = -6*h + 180 + f. Is h a multiple of 8?
True
Let g(t) = -7*t**2 + 4*t - 9. Let h(o) = 190*o - 190*o + o**2. Let w(y) = -g(y) - 6*h(y). Is w(9) a multiple of 9?
True
Suppose -310 - 16 = -5*h + k, h - 3*k = 68. Let j = h - 119. Is (j/(-15) - 3) + 996/15 a multiple of 45?
False
Let f = 169 + -99. Let c = 246 - f. Is c a multiple of 16?
True
Suppose -14*p = -96*p + 1153822. Is p a multiple of 32?
False
Suppose 6*p + 5*s = 2925, -971 = -p - p - 3*s. Does 14 divide p?
True
Suppose 0*o = -4*o + 992. Let g(k) = k + 3. Let b be g(-1). Suppose 6*s - o = b*s. Is s a multiple of 17?
False
Let l = 88 + -40. Suppose l = 4*i + 4*i. Suppose -i*n - 624 = -10*n. Is n a multiple of 12?
True
Let v = 9431 + -6673. Does 197 divide v?
True
Suppose 0 = -2*c - 6, 12*s - 14268 = 10*s + 4*c. Is 14 a factor of s?
False
Let b = 9 - 4. Suppose -b*z = 2*z - 2310. Suppose -3*j + z = 12*j. Does 2 divide j?
True
Let y(k) = -k**3 - 2*k**2 + 2*k + 18. Suppose -4*n = -3 + 11, -4*n = s + 2. Suppose -s*b = -4*b - b. Is y(b) a multiple of 18?
True
Suppose -15 = -5*m, 190*b - 195*b = -5*m - 6365. Does 16 divide b?
False
Suppose 32*t - 52 - 12 = 0. Let p = -189 + 441. Suppose 0*h = -t*h + p. Does 12 divide h?
False
Let o = 57 + -51. Let m be 9/o - (842/4 - -3). Let i = 306 + m. Is i a multiple of 10?
False
Let o be (238/8)/(-7)*4. Let g(y) = -y**3 + y**2 + y + 3. Let z(p) = 2*p**3 - 3*p**2 - 3*p - 8. Let j(k) = o*g(k) - 6*z(k). Is 7 a factor of j(2)?
False
Let b = -53 - -55. Suppose -3*o = -2*p + 4*p - 4, p + b*o = 1. Suppose -p*w = -5, -2*d + 0*w + 173 = -3*w. Does 30 divide d?
False
Suppose 0 = -8*h + 11*h - 6. Suppose -3*q - 5*m = -9, -q - 12 = -5*q - h*m. Let z(n) = 41*n - 18. Is z(q) a multiple of 10?
False
Let t(z) = 7*z - 11. Let i be t(2). Suppose 3*s + 4 = 4*a, i*s = 2*s - 4. Is 3 a factor of -116*a*5/20?
False
Let c(y) = 5*y**3 + 14*y**2 - 10. Let b(q) = -9*q**3 - 27*q**2 - q + 20. Let d be (-1)/((-6)/(-4))*42/4. Let m(v) = d*c(v) - 4*b(v). Is m(-7) a multiple of 30?
False
Let d be (-495)/(-11) - (0 - -2). Suppose 18*j + 27075 = d*j. Is j a multiple of 70?
False
Let y = 37 + -19. Let x be y + -20 + (39 - 0). Suppose 236 = -x*l + 39*l. Does 24 divide l?
False
Let d(y) = -39*y + 11. Let v be d(-3). Let f = -63 + v. Suppose 3*g + 703 = 5*n, 4*g - f = n - 209. Is 28 a factor of n?
True
Let s = 68 + -64. Suppose -3*z + 999 = s*l, 0*l - 4*z = -5*l + 1272. Suppose -l = -6*u - u. Is u a multiple of 3?
True
Suppose -5*q = -2*j + 4*j - 20506, -20512 = -2*j - 4*q. Does 118 divide j?
False
Let s(v) = -12*v**3 + 13*v**2 - 28*v - 164. Is s(-7) a multiple of 54?
False
Let n(u) = u**2 - 34*u. Let r be n(34). Suppose r = -7*q + 190 + 167. Is 6 a factor of q?
False
Suppose 10718*v = 10691*v + 551880. Does 165 divide v?
False
Is (1355/(-10) - -12)*-30 a multiple of 55?
False
Let s(x) be the third derivative of -x**6/10 - x**5/20 + x**4/8 + x**2 + 2. Is 24 a factor of s(-3)?
True
Let i(h) = 6*h**2 - 39*h - 150. Does 5 divide i(24)?
True
Suppose 233*j + 297823 = 274*j - 196965. Does 25 divide j?
False
Suppose -h = -6*h + 14025. Let b be 3/(-4) + h/44. Let i = -10 + b. Is 8 a factor of i?
False
Suppose 2 = i - 2. Suppose i*p = -j + 19, 0*j = 2*p + 3*j - 17. Is 5 a factor of (-1)/1 - (-1 + p*-5)?
True
Suppose -175*r = -170*r - 41570. Is 43 a factor of r?
False
Suppose -3 = i, 13*c - 3723 = 9*c + i. Does 62 divide c?
True
Let a(v) = -v**3 - 10*v**2 + 3*v - 20. Let s be a(-10). Let y = 128 + s. Let h = 178 - y. Is h a multiple of 20?
True
Let a = 432 - 413. Suppose -6*s = -a*s + 6591. Does 39 divide s?
True
Let z be ((-2)/((-28)/(-42)))/(6/1648). Let d = z - -1319. Is 9 a factor of d?
True
Suppose 12*p = 15*p - 78. Suppose 0 = -5*v + 4*v + 4*w + p, -w - 35 = -5*v. Suppose v*z = -25 + 181. Is z even?
True
Let o = -49 - -40. Let d be 18/4 + (o/(-6) - 1). Is 131/d + 3*3/(-45) a multiple of 7?
False
Let i be (7 - (-24)/6) + -3. Is i*(342/12 - 3) a multiple of 6?
True
Suppose 0 = 2*g - 12 - 2. Let k(n) = -2*n + 10. Let m be k(g). Is 8 a factor of 885/60 + (-5)/m?
True
Suppose 27*p = 20*p + 14. Suppose 2*w + p*y = 2502, -4*w = y - 5387 + 371. Is w a multiple of 15?
False
Let x = -14545 - -23736. Does 91 divide x?
True
Let l(u) = -38*u - 143. Let z be l(-7). Let f(j) = j**3 + j**2 - 7*j + 2. Let v be f(-5). Let t = z + v. Is t a multiple of 12?
True
Let u be (-1 + 0)*55/(-6 - -1). Suppose -r + t = u, r = -2*r - 3*t - 3. Let f(d) = d**3 + 9*d**2 + 8*d - 5. Does 11 divide f(r)?
True
Let i be ((-4)/(-3))/(32/72). Suppose d - 2 = -3*z, 4*z + i*d = 5*z + 16. Let u(a) = -84*a. Is u(z) a multiple of 6?
True
Suppose 1554 = f + 4*g - 4169, 5708 = f + g. Is f a multiple of 2?
False
Suppose -2*l + 25 = -3*z + 2*z, -3*l - 5*z + 18 = 0. Suppose -l*w - 30 = -w. Does 5 divide 5*((-9)/(-5) - w)?
False
Suppose 8*x - 4*x + 45348 = 7*k, k - x - 6477 = 0. Does 48 divide k?
True
Suppose -154*u + 166*u = 173448. Does 22 divide u?
True
Let v be -3 + 443 + -4 + -1. Suppose -g + 547 = 2*c, 5*c + 5*g - 940 = v. Is c a multiple of 34?
True
Suppose 3324 + 706 = 8*n - 7*n. Is 15 a factor of n?
False
Suppose -201 = -2*u - 5*z, 3*u + 4*z - 455 + 171 = 0. Suppose 2*j = u + 114. Suppose 0 = -5*a + j + 104. Does 8 divide a?
False
Suppose 685*x + 32256 = 687*x. Does 12 divide x?
True
Is 235 a factor of 21 + (4 - -11589) + 19?
False
Suppose 68 = -26*g + 276. Suppose g*q - 5*q = 9, -4*i = q - 2283. Does 44 divide i?
False
Suppose -30 = -4*u + 5*g, -g + 1 = 3. Suppose u*l - 285 = -4*t + 159, 0 = 4*t + 16. Is l a multiple of 16?
False
Let z = 3327 + 908. Is 5 a factor of z?
True
Let h be -1*(2 + 11)*-1. Let a(p) = -25 - 23*p - h - p**2 + 4. Is a(-18) a multiple of 29?
False
Let m(j) = j**2 - 14*j + 4. Suppose 3*c = 45 + 3. Is 6 a factor of m(c)?
True
Suppose 456*p - 573135 = 361*p. Is p a multiple of 23?
False
Suppose 0 = 3*p - 5*o - 52, p + 3*o + 0*o + 6 = 0. Let j(n) be the third deriva