. Does 12 divide n?
False
Suppose 17*c - 28*c = -34*c + 219834. Is 18 a factor of c?
True
Let z be (-2)/6 - (0 - 3/9). Suppose -5082 = -5*w - 3*m, z = -2*w - 2*w - 3*m + 4068. Suppose 9*p - w = 498. Is p a multiple of 24?
True
Let a(w) = -w**3 - 20*w**2 - 34*w - 69. Let j be a(-26). Suppose 0 = -27*x + 1906 + j. Is x a multiple of 4?
False
Let s(o) = 7*o**3 - 2*o**2 - 2*o - 1. Let x be s(-1). Let t be (-273)/(-26)*x/(-6). Is ((-11)/(-4) + -5)*t*-2 a multiple of 21?
True
Suppose 3*z = -4*a - 0*a - 251, -123 = 2*a + z. Let t = a + 62. Suppose b = -t*b + 312. Does 26 divide b?
True
Suppose -2*i = i - 2*i. Suppose 4*d - 192 + 656 = i. Let p = -23 - d. Is p a multiple of 19?
False
Let d(c) = 15*c**3 - 7*c**2 + 19*c - 3. Let l be d(9). Let j be ((-1)/2)/((-12)/l). Let r = j + -253. Does 13 divide r?
False
Let l = -93 - -178. Suppose -5*c + 405 = -l. Let a = c + -48. Is 10 a factor of a?
True
Let c = -10296 + 10634. Does 4 divide c?
False
Let s(u) = u**3 + 9*u**2 + 5. Let q be s(-9). Suppose 846 = -5*x + 3*y, -6*y = -q*x - 10*y - 832. Let a = -48 - x. Is a a multiple of 15?
True
Let d = -331 + 1076. Suppose -3355 = -3*g - d. Is g a multiple of 29?
True
Suppose -4*w + 5*w - 17*w = 0. Let r(x) = x**3 + x**2 - 2*x + 805. Is r(w) a multiple of 23?
True
Suppose -189*w - 24*w + 261529 = -284177. Is w a multiple of 4?
False
Let a(b) = 2*b + 4. Let p(n) = -n - 1. Let g(d) = 5*a(d) + 14*p(d). Let x be g(1). Suppose -4*s = x*y - 48, 4*s = y - 2*y + 52. Is s a multiple of 5?
False
Suppose 183*u - 3081496 = -11*u. Does 38 divide u?
True
Let d be 4/10 + (0 - 4/10). Suppose a - 4*r - 14 = -0*r, -a + r + 17 = d. Is a a multiple of 18?
True
Suppose 0 = 47*d - 105 - 130. Suppose -6*n = -2*n - 8. Suppose -g - d*s = -51, -n*g + 41 = -5*s + 14. Is g a multiple of 26?
True
Let u(a) = 65*a - 4. Suppose 5 - 9 = -4*k. Let j be u(k). Let w = j - -27. Is w a multiple of 11?
True
Let q = 62 + -56. Suppose 5*w - 5*r - 11 = 14, 2*w + 2*r = q. Suppose w*a - 21 - 47 = 0. Is 2 a factor of a?
False
Let c(f) = 13*f + 1519*f**2 - 1513*f**2 - 8 - f + 25 - 5*f**3. Does 10 divide c(-2)?
False
Is 128 a factor of 13/(130/96)*3040/57?
True
Let j = -348 - -348. Is (-2 - j)/((-15)/4020) a multiple of 33?
False
Let t(n) = -n**2 + n + 7. Let m be t(2). Suppose -343 = -m*v - 2*v. Is v a multiple of 5?
False
Suppose 2*j - 132253 = -5*g - 5861, 2*g - 5*j = 50580. Is 20 a factor of g?
True
Let n(v) = 12*v**3 - 12*v**2 + 33*v + 262. Is 29 a factor of n(16)?
False
Let z(n) = -39*n + n - 126*n - 48 - 19*n - 17. Is 27 a factor of z(-2)?
False
Let u be 2/(3/(6 - -6)). Let i(m) = 11*m + 64. Is 38 a factor of i(u)?
True
Let t(a) = -553*a - 3826. Is 59 a factor of t(-13)?
True
Suppose -85721 - 3130959 = -236*q. Does 29 divide q?
True
Let r(y) = 3*y**3 - 6*y**2 + 20*y - 8. Let s(v) = v**2 - 10*v - 18. Let o be s(12). Does 16 divide r(o)?
True
Let p(u) be the first derivative of -u**4/4 + 7*u**3/3 - u**2 - 8*u - 16. Let j be p(6). Let k = j + 29. Is 7 a factor of k?
False
Suppose q = -5*d + 6685, 2*d + 14*q - 19*q - 2674 = 0. Is 69 a factor of d?
False
Suppose 2*d = -2*w - 3*w, w = 2*d. Suppose -2*c - 2*c - u + 259 = w, 2*c - 140 = -4*u. Suppose c = 8*r - 4*r. Does 4 divide r?
True
Let u = 705 - 298. Let r = u + -122. Is r a multiple of 34?
False
Suppose -3*z + 15 = 5*s, -5*z + 18 + 7 = -2*s. Suppose -23*g - g + 600 = 0. Suppose 30 = z*b - 3*y - 33, 2*b - y = g. Is 6 a factor of b?
True
Suppose 10519 = 5*g - f, -22*f + 23*f = 4*g - 8414. Is g even?
False
Let i(a) = 7*a**2 + 153*a + 2485. Does 61 divide i(-72)?
False
Is 611034/14 + (-10)/35 a multiple of 46?
False
Let c(o) = o**3 - 7*o**2 - 3*o + 24. Let v be c(7). Suppose 0*k - 4*m + 2 = -v*k, 2*k + m = 6. Suppose -l = -k*a + 249, 0 = l + 2 + 1. Is 38 a factor of a?
False
Let c(a) = -2*a**3 + 78*a**2 - 41*a - 33. Let i be c(38). Suppose 1753 + i = 10*l. Does 16 divide l?
False
Suppose -2*d + 30715 = 5*v, -d + 14580 = 4*v - 9995. Is 28 a factor of v?
False
Suppose 2*a + 3 = 3*j, 0 = -5*a - 5*j + 5 + 25. Suppose -5*p + 2*d = a*d - 481, -2*p + 5*d + 214 = 0. Is 33 a factor of p?
False
Let k be 2/(-6)*(-114 + 114). Suppose -7*w = -3*w + 20, k = 3*x - 4*w - 452. Does 12 divide x?
True
Let j be (-4)/3*(-972)/24. Let g = j + -34. Suppose 18*d = g*d - 22. Is d a multiple of 11?
True
Let a(q) be the third derivative of -q**6/120 + 7*q**5/60 - 11*q**4/24 + 7*q**3/6 - 13*q**2. Let p be a(7). Let b = 124 + p. Is b a multiple of 9?
True
Suppose 4*c - 2*h = 18, -3*h + 6 = c - 4*h. Suppose -c*l = -0*l - 9. Suppose -b - l*b + 348 = 0. Does 11 divide b?
False
Let l(c) = 94*c - 124. Let k be l(8). Let o = -600 + k. Does 2 divide o?
True
Suppose -4*l + 32 + 28 = 0. Suppose -l = -4*y - 5*q, 4*y + q - 14 = y. Suppose -y*f = -542 + 72. Is f a multiple of 8?
False
Suppose -c - 17 + 9 = -4*o, -5*c + 4 = 2*o. Suppose c = -3*x + 343 + 251. Is 18 a factor of x?
True
Let l(a) = a**2 - 12*a - 11. Suppose -5*m - 28 = 4*t, -3*m + 4*t = -m. Let c(f) = 1. Let b(n) = m*c(n) + l(n). Is 15 a factor of b(-5)?
False
Suppose 4*v + 18 = -3*n, -9*v + 20 = -13*v - 4*n. Let x(l) = -51*l**3 + 9*l**2 + 4*l + 9. Is x(v) a multiple of 34?
False
Let q = -745 + 1502. Let v = -518 + q. Does 7 divide v?
False
Let q(x) = -2206*x - 365. Does 57 divide q(-2)?
True
Suppose -130*t + 603 = -133*t. Suppose 12*v + 1242 + 2322 = 0. Let z = t - v. Is 16 a factor of z?
True
Let l = -249 - -400. Suppose 0 = r + 5*f - l, f + 7 - 8 = 0. Is r a multiple of 7?
False
Suppose 0 = 31*d + 11286 - 139626. Does 159 divide d?
False
Let n = -192 + 195. Is 18/7*602/n + -2 a multiple of 28?
False
Suppose -3*u + 6*u - m = 2659, u + m = 889. Suppose -4*x = -29 - u. Is x a multiple of 29?
False
Let s(r) = -6*r + 39. Let y be s(6). Suppose -2*v + 12 - 8 = 0. Suppose -y*c + 572 = -v*t, 4*c - 4*t - 762 = -t. Is 25 a factor of c?
False
Let a be 1870/(-70) + 4/(-14). Let w be 4/((2/(-3))/(2799/a)). Let r = -430 + w. Is 48 a factor of r?
True
Let s(m) = 10*m + 2. Let i be (6 - 25/4)/(2/(-8)). Let j be s(i). Is 6 a factor of j/1 - (5 - 2)?
False
Let a(m) = 4*m**2 + 3*m + 1. Suppose -9*o = -8*o - 3. Suppose -g = -o*f - 9, -g - 4*g - 6 = 2*f. Is a(f) a multiple of 14?
True
Is 11 + -9 - -1488 - 15 a multiple of 3?
False
Let k(n) = -9534*n - 3654. Is 14 a factor of k(-3)?
True
Let i(l) = -445*l + 9782. Is i(-52) a multiple of 177?
True
Suppose -3*r = -2*d - 805, 2*d + 1607 = -2*d + 3*r. Let n = d - -579. Does 18 divide n?
False
Let u(d) = -d**3 + 46*d**2 + 11*d + 3. Let q be u(46). Let w = 70 + q. Is 34 a factor of w?
False
Let w(a) = -242*a + 1. Let q be w(-4). Suppose 4*m + 371 = -q. Does 4 divide m/(-30) - (-1)/(-6) - -1?
True
Let v = 107 + -51. Suppose -3*p + 4 = 2*q, -14*q - p + 10 = -9*q. Suppose 3*x = a + 218, 2*a - 76 = -q*x + v. Is 16 a factor of x?
False
Suppose -52 = -5*g + 28. Suppose 1593 = g*p + 153. Is 20 a factor of p?
False
Suppose 0 = -18*a + 1 - 73. Is 17 a factor of (-7 - a)/((-3)/195)?
False
Suppose 4*s + 30 = -5*f + 4, 25 = -4*f + s. Let p(y) = -2*y - 9. Let l be p(-5). Is (-51)/f - l/(-2) a multiple of 9?
True
Suppose 11*u - 8*u - 57620 = -k, -2*u + 5*k + 38436 = 0. Is u a multiple of 56?
True
Let o be (3 + 1 + -1)/1. Suppose -3*f + 1404 = 2*v, o*v - 3054 + 982 = 4*f. Is 20 a factor of (v/9)/(4/6)?
False
Let j = -16 - -7. Let r be (8 - 3)/(((-3)/10)/3). Let g = j - r. Is g a multiple of 14?
False
Let a(p) = p**2 + 10*p + 9. Let q = 31 + 16. Suppose -5*t = 8 + q. Is a(t) a multiple of 10?
True
Let k be (-4)/(-40)*28 + (-2)/(-10). Let b(l) = 12*l - 10. Let d be b(k). Let g(v) = 7*v - 4. Is 23 a factor of g(d)?
False
Let d be (-3860)/(-5) - (-6 - -7). Let u = d - 372. Is u a multiple of 20?
False
Let h = -53 - -81. Let a = 22 - h. Is 3 a factor of (a - -1)/((-2)/6)?
True
Let h(n) = n**2 - 9*n + 3. Suppose -13*y + 108 = -y. Let t be h(y). Suppose v = t*r + 177 - 16, -2*v - 4*r = -332. Is 17 a factor of v?
False
Is (-701730)/(-315) - (-2)/7 a multiple of 151?
False
Let g(c) = -c**3 - c**2 - 1. Let a(f) = 7*f**3 + 2*f**2 + f + 6. Let s(h) = -a(h) - 6*g(h). Let l be s(2). Is 19 a factor of (-76)/3*(-9)/l?
True
Let n be (-95)/(-20)*2*22. Suppose 3*b - 250 - n = 5*v, -5*b + 3*v = -765. Does 17 divide b?
True
Let p be (-60)/6*(-4)/10. Suppose 0 = p*c - 186 - 774. Is c a multiple of 9?
False
Suppose -6050 = 165*v - 167*v - 4*r, -5