18*p - 30. Does 133 divide s(4)?
True
Let n(o) = 12*o**2 - 10*o + 17. Let d be n(4). Suppose -9 = -3*y, -2*k - 2*y + 7*y + d = 0. Is k a multiple of 14?
False
Suppose -123*b + 1272244 + 1393289 = 0. Does 82 divide b?
False
Suppose -7*f - 184 = -16. Let k be (-1 + -9)*f/30. Suppose 10*t = k*t + 252. Does 21 divide t?
True
Let j(h) = 54*h**3 - 8*h**2 + 7*h + 45. Does 78 divide j(5)?
True
Suppose -1201 = -4*p - r + 1426, 4*p = 3*r + 2615. Does 4 divide p?
True
Suppose 43*m - 37*m = 30. Let i be (-4)/(-18) - (-192)/108. Suppose i*q = -m + 1, 0 = -x + 2*q + 84. Does 6 divide x?
False
Suppose 0*a - 70 = -7*a. Does 45 divide (a/3)/(32/5616)?
True
Suppose -4*z + 62832 = p - 5*p, -5*p = 3*z - 47148. Is 18 a factor of z?
False
Let j = 14419 - 6931. Is j a multiple of 156?
True
Let b = 230 - 234. Is (1*(-1)/2)/(b/1384) a multiple of 11?
False
Let a(j) = j - 11. Let x be a(15). Let g(p) = -5*p**2 - 3*p**2 + 11*p**2 + 8 - 2*p**2 - 3*p. Is g(x) a multiple of 4?
True
Let i be (2 - 2)/(1 - 2 - 1). Suppose 13*m - 240 - 111 = i. Suppose m*z - 711 = 24*z. Is z a multiple of 14?
False
Suppose 0 = m - j - 36, 0 = 2*m + 5*j + 16 - 88. Let t(z) = -m + 20 + 8*z**2 - 3*z + 24. Is t(4) a multiple of 17?
False
Let c(r) = 44*r - 70*r - 16 + 41*r. Let n be c(3). Suppose 2*g = -5*w + n, -3*w + 0*w = 3*g - 48. Is g a multiple of 3?
False
Let c be (-5 + 5)/((-1)/(-1)). Suppose c = 19*s - 21*s - 8. Let z(l) = -10*l - 8. Is 26 a factor of z(s)?
False
Let b be ((4 - 2 - 44)*5)/(-1). Let o = b + -91. Let p = o + -99. Is 5 a factor of p?
True
Let g(m) = -m**2 - 9*m + 25. Let c be g(-11). Let y be (-1)/c - (-4)/12. Is y - -1 - (-618)/6 a multiple of 26?
True
Let o be (7 + (-764)/(-12))*(-18)/(-4). Suppose 2*u - o = 870. Is 28 a factor of u?
False
Let q = -243 - -362. Suppose -6*f - q = -881. Is 2 a factor of f?
False
Suppose -5*v = -4*s - 16, -15 = -4*v - s - 19. Suppose v = -108*x + 113*x - 3480. Is x a multiple of 13?
False
Suppose -8539899 = -646*s + 12969963. Does 61 divide s?
False
Let l be ((-4)/(-10))/((-1)/(-895)). Let i = 24777 + -24739. Suppose 6*x - i - l = 0. Does 6 divide x?
True
Let n be (-1686)/16 + (-30)/(-80). Is 8 a factor of (-17451)/n + (-3)/15?
False
Suppose -21985 - 32651 - 86484 = -16*k. Is 45 a factor of k?
True
Suppose 4*q = 3*c + 166, -2*c - 5*q - 49 = -c. Let l = -1 - c. Let m = l - -29. Does 14 divide m?
False
Suppose 9*a - 4*a = 20, 4*a - 3726 = -2*k. Is k a multiple of 26?
False
Suppose -2*v + 4178 + 7007 = 2763. Is v a multiple of 58?
False
Let g(m) = 20*m + 12. Let b be g(3). Suppose 0 = -5*j + 522 - b. Is 10 a factor of j?
True
Let i(o) = o**2 - 29*o - 302. Let t be i(-8). Is (234/195)/(t/(-2860)) a multiple of 26?
True
Let m be (3 + 15/(-10))*(-8)/6. Let s be m/8*-2 + 165/(-6). Does 7 divide 1 - (s - -1*(1 + -1))?
True
Let z be (-147)/1*(-3)/(-9). Let y = z + 49. Suppose y = -2*x + 4*x - 134. Does 14 divide x?
False
Suppose -2*i = -3*g - 0*i - 2422, -5*i + 2410 = -3*g. Let k be (3/12*2)/((-9)/g). Suppose y + 108 = 4*b - 3*y, -b - 5*y = -k. Is b a multiple of 5?
True
Let w be (8 - 14)/(6/8). Let v(o) = -2*o**3 - 17*o**2 - 33*o. Is 4 a factor of v(w)?
True
Let z(o) = -o**3 - 4*o**2 - 23*o - 151. Does 7 divide z(-8)?
False
Suppose 2*d + v - 20417 = 0, -45465 = -3*d - 4*v - 14842. Does 41 divide d?
True
Suppose -3*w + 4518 = 3*u, 6*u = 3*w + 3*u - 4536. Is 10 a factor of w?
False
Let a = -133 - -141. Does 19 divide 1024/9 + a/36?
True
Let q = -30 - -57. Suppose 0 = b - 5*a + 5 - 25, 3*b - 4*a = q. Suppose z - 68 = -b*w, -w = -0*z + 3*z - 148. Is 12 a factor of z?
True
Let o = -6189 - -12181. Is 6 a factor of o?
False
Let a(w) = 3*w**2 - 4*w + 15. Let g be a(-12). Let u = g - 258. Is 16 a factor of u?
False
Let s(l) = -36*l + 128. Let g be (3 + 1 + 0)/((-2)/4). Is 26 a factor of s(g)?
True
Suppose 0*h = -h + 14. Let i(l) = -8*l - 12. Let k be i(h). Let u = k - -183. Is 15 a factor of u?
False
Suppose 5*i = -2*n - 3*n + 3710, -2*i = -5*n + 3675. Let t = -12 + n. Is t a multiple of 32?
False
Is 5382/(0/1 + (57/(-4) - -15)) a multiple of 92?
True
Suppose 3 = 4*r - a - 6, 0 = -5*r - 2*a + 8. Suppose 2*l = r*p - 3*l - 4, -p + 4*l = -2. Suppose 4*n - 867 = 3*c, 2*n - 435 = c + p*c. Is 10 a factor of n?
False
Let n = -2610 + 7426. Does 53 divide n?
False
Let i = 250 + -242. Suppose -273 = i*r - 11*r. Is r a multiple of 13?
True
Suppose 0 = 3*c - m + 74, -c - 9*m - 28 = -6*m. Is 7 a factor of -729*(-2 - c/15)?
False
Suppose 30*a = -22 - 38. Let j(s) = s**2. Let k(l) = 9*l**2 - l - 8. Let c(f) = 2*j(f) + k(f). Is c(a) a multiple of 4?
False
Let b = -215 + 218. Is 6 a factor of ((-2)/(-3))/(1563/(-522) + b)?
False
Let g(u) = 220*u**2 - 8*u + 6. Let x be g(2). Suppose -x = -3*z + 375. Does 11 divide z?
False
Suppose -15*m + 822 = -108. Let v = m + 20. Does 8 divide v?
False
Let h = -9 + 16. Suppose 4*y = 5*t + 5*y - 1168, -3*t + 5*y + 684 = 0. Let v = t + h. Is v a multiple of 16?
True
Suppose 3*u + 3*w = -u + 1528, 0 = -4*w. Suppose -3*p - 434 - 253 = 0. Let t = p + u. Is 17 a factor of t?
True
Let o = -255 - -92. Let v = o + 222. Does 2 divide v?
False
Suppose 0 = q - 3, -2*q + 7*q + 6 = 3*d. Let k be ((-4)/d)/(6/(-105)). Suppose -m - k = -79. Is 8 a factor of m?
False
Let n(v) = v**3 - 3*v**2 + 13*v - 3. Let i be (-4)/6 - -2*548/24. Suppose 5*t = 70 - i. Is 17 a factor of n(t)?
False
Let r be 16/((-5)/((-20)/8)). Suppose -r*o = -1 - 31. Suppose -4*n + 2*n = 4*u - 140, o*u = 5*n - 280. Is 15 a factor of n?
True
Let l(y) = 7 - 20 - 3 + 16*y. Let p be l(6). Suppose -t = 4, -3*w - t + p = -3*t. Is 24 a factor of w?
True
Let u be (-4)/2*42/(-12). Suppose 4*x - 3*a - 12 = -u*a, -3*x = 5*a - 11. Suppose 0 = x*y - 58 - 254. Does 13 divide y?
True
Let j(n) = 783*n + 311. Let x(h) = -196*h - 78. Let y(c) = -4*j(c) - 18*x(c). Is y(2) a multiple of 34?
True
Suppose -6*s - 22186 = 4*r - s, -s = 2*r + 11090. Is (2/6)/((-14)/r) a multiple of 12?
True
Suppose 5*j = 3*n - 12233, 5*n + 349 = -5*j + 20844. Does 4 divide n?
False
Let w be 14/(-35) - 204/(-10). Let k(r) = -1624*r**3 - 1626*r**3 + 25*r + 3251*r**3 - 15 - 21*r**2. Is k(w) a multiple of 14?
False
Suppose 5*m - 3113 = j, -5*m + 3*j + 3095 = 8*j. Let n = -526 + m. Is 21 a factor of n?
False
Suppose 4*t - t + 21 = 0. Let q(z) = -z**2 - 14*z - 4. Does 4 divide q(t)?
False
Suppose -35*r - 57894 = -223549. Is 33 a factor of r?
False
Let u(f) = f**3 + 27*f**2 + 2*f + 130. Let h be u(-21). Suppose 4*o = -b + h, -4*o - 81*b = -77*b - 2728. Does 12 divide o?
True
Let y(b) = -107*b + 25. Let h(i) = -105*i + 25. Let d(l) = 2*h(l) - 3*y(l). Let p be d(-7). Is 10 a factor of p/(-6) - (-14)/42?
False
Let m = 15083 - -22842. Does 25 divide m?
True
Suppose 0 = -3*f + 2*h + 27, 0 = -f + 2*h + h + 16. Let u(q) = q + 1. Let t(o) = 18*o - 12. Let y(z) = t(z) - 10*u(z). Does 8 divide y(f)?
False
Let r(a) be the second derivative of 5*a**3/2 + 51*a**2 + 24*a + 2. Is 6 a factor of r(-2)?
True
Let a(h) = 4*h + 24. Let g be a(-4). Let s = -6 + g. Does 2 divide (-35)/(-10) - s/(-4)?
True
Suppose z + 2*z + 16104 = 6*u, 2*z = 5*u - 13420. Is u a multiple of 22?
True
Let n = 3366 + 8464. Suppose -13*h + n = 13*h. Does 6 divide h?
False
Let f(r) = 1685*r - 1685*r - 12 + r**2. Let u be f(-4). Suppose u*p - 113 = 247. Is 15 a factor of p?
True
Let m(z) = z**3 - 4*z**2 - z + 7. Let w = -71 - -135. Let g = w + -58. Does 17 divide m(g)?
False
Suppose -18*x + 5 = -17*x. Does 13 divide (x - 59)*((-1)/3 - 4)?
True
Let b be (-3)/(-1)*17/17. Suppose -b*u + 2*o + 60 = 0, 4*u + 0*o + 5*o - 57 = 0. Suppose 3*l + 0*p - u = 2*p, -5*l - 5*p = -55. Is l even?
True
Let c(l) = l**3 + 5*l**2 + 2*l + 1721. Is c(0) a multiple of 35?
False
Suppose 196*h - 186*h - 29740 = 0. Does 61 divide h?
False
Let u = -4945 + 7161. Let b(d) = -u - 27*d**3 + 2216. Is 9 a factor of b(-1)?
True
Suppose 175*g = -53*g + 1833120. Is g a multiple of 67?
True
Suppose 52*z - 28224 = 20*z. Is z a multiple of 18?
True
Let q = -128 + 128. Suppose q = 3*w - 23 - 37. Is 11 a factor of w?
False
Suppose -12*o + 4785 = -7*o. Suppose -4*a - 345 = -o. Is 17 a factor of a?
True
Let f(h) = 588*h**2 - 185*h + 1124. Does 18 divide f(6)?
False
Suppose 5*x = 3*o + 2*x - 69, 5*x = -o + 47. Let g = o + -21. Let h = g - -19. Does 11 divide h?
False
Suppose 2354 - 114 = -16*y. Is (160/y)/(4/(-182)) a multi