Let g = -163 - d. Is 23 a factor of g?
False
Let s = 3476 + -2117. Suppose 8*l - 633 - s = 0. Does 5 divide l?
False
Let a be -3*(104/(-6))/(-4). Let f(i) be the first derivative of -i**3/3 - 7*i**2 - 7*i - 896. Is f(a) a multiple of 4?
False
Let i = -277 - -5839. Does 68 divide i?
False
Let u(i) = -54*i + 2. Let c be u(0). Suppose r + 2*h = 22, c*h - 32 = -5*r + 46. Does 4 divide r?
False
Suppose -122*n - 138*n = -1124760. Is 21 a factor of n?
True
Let n(p) = p**3 - 7*p**2 - 12*p - 18. Let c be n(11). Suppose 2*x + c = -5*y + y, -5*y - 3*x = 419. Let z = 8 - y. Does 45 divide z?
True
Let h = -8063 - -10543. Is 18 a factor of h?
False
Let q be ((-456)/(-95))/((-3)/(-10)). Suppose 2040 = -5*r + 6*r. Suppose q*v - r = -v. Is v a multiple of 40?
True
Suppose -2*u + 2*z + 5368 = 612, -2354 = -u - 5*z. Suppose -3*x - 3207 = -20*v + 16*v, u = 3*v + 4*x. Does 38 divide v?
True
Let p = 219 - 216. Suppose g + 1466 = 5*r - 2*g, p*r - 4*g = 884. Is 11 a factor of r?
False
Suppose 0 = 4*q - 7*u - 130291, -28*u + 97717 = 3*q - 32*u. Is q a multiple of 33?
True
Let g(n) be the third derivative of 17*n**6/40 + n**4/12 - n**3/2 - n**2 + 7*n. Is g(1) a multiple of 5?
True
Is 105 a factor of ((-110)/25 - 28/(-20)) + 1788?
True
Suppose 3*w - 5*d = 15210, -478*w = -477*w - d - 5066. Is 74 a factor of w?
False
Let u be (-2958)/(-66) + (-4)/(-22). Suppose -42*d = -u*d + 6. Suppose d*l + 4*s = 132, 2*s = 7 + 1. Is l a multiple of 14?
False
Let s(u) = 2*u**2 + 40*u + 40. Let f be s(-19). Does 21 divide ((-9)/f)/(3047/770 - 4)?
True
Let i(k) = 1187*k**3 - 22*k**2 + 16*k + 5. Does 72 divide i(1)?
False
Let f = -30703 + 43651. Is 83 a factor of f?
True
Let h(q) = -87*q + 140*q - 74*q - 131. Is h(-8) a multiple of 2?
False
Suppose -770*d + 775*d - 11725 = 5*k, 0 = 3*d + 2*k - 7010. Does 12 divide d?
True
Suppose -20*g - 17*g = 20*g - 332082. Does 121 divide g?
False
Suppose -7110 = -3*w + 3*o, -3*w + w = o - 4740. Suppose -w = -5*p + 1630. Is p a multiple of 25?
True
Let o = 23 - 22. Let p be o*4 + (0 - (-5 - -6)). Suppose -3*n = p - 6, 4*f + n - 77 = 0. Is f a multiple of 5?
False
Let v = -32315 + 54595. Is v a multiple of 181?
False
Let p = -28 + 30. Suppose -o + 2*o - p*o = 0. Let n(y) = 5*y + 126. Is n(o) a multiple of 36?
False
Let u = 4046 - -4772. Is u a multiple of 144?
False
Is 52 a factor of ((-20)/40)/((-8)/9152)?
True
Suppose -18174 = -8*f + 546. Suppose -63*k + 53*k + f = 0. Is k a multiple of 14?
False
Suppose 37*l = -46*l + 8000 + 156008. Is 26 a factor of l?
True
Let t(k) = k**3 - 8*k**2 + 11. Let n be t(8). Let f(o) = 20*o + 19 - n + 8 + 13*o. Is 8 a factor of f(2)?
False
Let z = 21952 + -3230. Is z a multiple of 87?
False
Let y(x) = x**2. Let q(t) = 6*t**2 - 6*t + 20. Let v(w) = q(w) - 5*y(w). Let s be v(5). Suppose 19*p - 480 = s*p. Is 12 a factor of p?
True
Let w be 55 - -6*(-3)/9. Let q = w + -49. Suppose -55 = -4*t - 3*l, q*l + 3 - 59 = -4*t. Is t a multiple of 13?
True
Suppose 0 = -2*k + 55*q - 50*q + 16926, -2*q = k - 8436. Does 22 divide k?
True
Let m(g) = -3*g**3 - 9*g**2 - 12*g. Suppose -3 = b - c - c, b = 4*c - 1. Is 10 a factor of m(b)?
True
Suppose -11 - 11 = -5*a - 2*o, -a = 2*o - 6. Suppose -1172 = -4*f - a*y, -5*f = -y + 3*y - 1453. Does 9 divide f?
False
Let r = 238 - -1735. Does 5 divide r?
False
Let c = 18048 + 14334. Does 257 divide c?
True
Is 26 a factor of 5 - (-30)/(-6) - (1 + -6864)?
False
Suppose 229 + 263 = 4*x. Let d = 120 + x. Is d a multiple of 69?
False
Let p(k) = -k - 4. Let n be p(-4). Suppose -3*j = -n*j + 309. Let a = 147 + j. Does 11 divide a?
True
Let g(s) = -39 - 28 + 135 - 5 - 9*s. Is g(-9) a multiple of 16?
True
Suppose 0 = -5*o + 3*n + 10623, 4*o - 5172 - 3327 = 3*n. Does 36 divide o?
True
Let r = -2335 - -4379. Suppose -1413 - 223 = -4*m - l, l - r = -5*m. Is 27 a factor of m?
False
Let j = 80639 - 57554. Does 188 divide j?
False
Let m be ((-3)/(-2))/(19/(-114)). Let f(u) = 3*u**2 - 4*u - 1. Let s be f(m). Suppose 4*v - 323 = -5*h, h = 3*v - s + 31. Is v a multiple of 7?
False
Suppose b = -18 - 31. Let c = b + 42. Let s(o) = o**2 - 11*o - 22. Is s(c) a multiple of 13?
True
Let j(u) = -2*u**3 + 20*u**2 + u + 15. Let l be j(10). Let o(x) = 19*x - 7. Does 9 divide o(l)?
True
Let k(h) = 4*h**3 - 4*h**2 + 12. Let u be k(3). Suppose -79*q - 35 = -u*q. Suppose -q*v - 5 = -12*v, -4*v - 506 = -3*l. Is l a multiple of 17?
True
Is (4144/32 - 2)*6/5 a multiple of 17?
True
Let n be 24/(5/((-10)/(-4))). Let q = 58 + n. Is 28 a factor of q?
False
Let c(f) = 16*f - 6. Let d be c(2). Suppose -4*o + 4*w - d = o, 4*w - 8 = -4*o. Is (-17)/(1 - ((-12)/14 - o)) a multiple of 15?
False
Suppose 0 = 5*p - 4*f - 46025, 12*p + 3*f + 55230 = 18*p. Is p a multiple of 3?
False
Suppose 891 = 20*j - 1149. Is 81 + (-27)/(-72) + j/(-16) a multiple of 15?
True
Let b be ((-4)/(-3))/(1/294). Let y = b + -192. Does 25 divide y?
True
Let z = 86289 - 48616. Does 21 divide z?
False
Let n(p) = p**2 + p - 24. Let l be (-39)/15 + 3 + 106/10. Does 18 divide n(l)?
True
Suppose 13*n - 14*n - 402 = 3*w, -5*w + n - 662 = 0. Is 5 a factor of 2 + 33/(-21) - 4731/w?
False
Suppose -4*h + 42 = 2*u, h = 3*u + 13 - 62. Suppose u*n = -29*n + 7452. Does 12 divide n?
False
Let i(f) = f**3 + f**2 - 10*f + 14. Suppose 0 = -v - 3, -2*v = -3*g + 3 + 21. Let q be i(g). Let l = q + -107. Is 9 a factor of l?
True
Let t be 2/((-8)/5) + (-104718)/(-248). Let l = t + -278. Is 11 a factor of l?
True
Let u = 155 + -152. Let r(f) = 3*f**2 - 5*f - 2. Let g be r(7). Let v = g + u. Is 11 a factor of v?
False
Let z(v) = v**2 + 6*v - 6. Let r be z(-6). Let x = 44 + r. Suppose x = 5*o - 4*q, -o - 36 = -6*o + 3*q. Does 5 divide o?
False
Let k(x) = 9*x + 17 + 0 + 7*x - 13*x. Let i be k(-5). Suppose 0 = q + i*z - 87 + 6, 5*q = -2*z + 373. Is q a multiple of 35?
False
Suppose 3*j + s = -121, -4*j + s + 199 = -9*j. Let x = j - -105. Is 16 a factor of x?
False
Does 70 divide -9 - 15/((-120)/1736)?
False
Suppose -4150*n - 18619 = -4193*n. Is n a multiple of 137?
False
Let p(i) = 3*i + 7. Let k be p(16). Suppose -6 = -54*z + k*z. Is (-9)/z*-2 + 48 a multiple of 22?
False
Suppose -3*o - 2*n + 4931 + 7506 = 0, 2*n = 2*o - 8298. Is 29 a factor of o?
True
Let x(y) = -22*y**2 + 18*y - 3. Let f be x(-4). Let b = -88 - f. Does 5 divide b?
False
Let h(w) = -298*w - 9282. Is h(-35) a multiple of 28?
True
Let d = -42 - -44. Suppose d*a - 5*s - 52 = 1, 5*s - 25 = 0. Let v = a + 19. Does 25 divide v?
False
Let o be (9259/141)/((-2)/(-30)). Let x = o - 558. Is 61 a factor of x?
True
Let c(o) = o**3 + 9*o**2 - o + 29. Let g be c(-7). Suppose g + 166 = u. Does 20 divide u?
True
Suppose -5*y - 167 = -4*g - 4*y, -y = -3*g + 125. Suppose g = 5*m - 3. Let r(j) = 6*j - 20. Does 17 divide r(m)?
True
Suppose -5*h = 5, -h + 2 = u - 192. Let z = -79 + u. Is 4 a factor of z?
True
Does 27 divide 3/(-9) + (-6238)/(-2 + 2 - 3)?
True
Let c(u) = 50*u**2 + 59*u - 11. Is c(14) a multiple of 55?
True
Suppose -w - 3*m = -5*w + 124, 0 = 2*m + 8. Suppose x - w = -6*x. Is 15 a factor of ((-30)/(-4) - 3)/(x/104)?
False
Suppose 5*x - 2043 = -4*p, 1227 = 10*x - 7*x + 2*p. Suppose -5*t + x = 41*o - 40*o, -4*o + 1524 = -4*t. Does 18 divide o?
False
Let z(f) = 87*f**2 - 44*f + 26. Is z(-6) a multiple of 58?
True
Let o = -11455 - -18374. Is o a multiple of 17?
True
Let d = -13850 + 23762. Is d a multiple of 8?
True
Let h be ((-2)/5)/((-1)/5). Let f = 99 - 88. Suppose -h*g = -f - 59. Is g a multiple of 7?
True
Let u(k) = 39*k**2 - 2*k + 56. Is 4 a factor of u(8)?
True
Let x(v) = 2*v**3 - 3*v**2 - 5*v - 8. Let n be x(-5). Let r = 528 + n. Is 6 a factor of r?
False
Let q(y) = -y**3 - 8*y**2 + 17*y - 8. Let b be q(-10). Let f = -22 + b. Suppose f = 12*g - 9*g - 366. Is 20 a factor of g?
False
Let t be 147/14*92/(-6). Let m(z) = z**3 - 10*z**2 - 3*z + 7. Let o be m(9). Let c = o - t. Is c a multiple of 15?
True
Let u(n) = -6*n - 2*n - 17 + 3*n + 2*n**2 + 2*n. Is 13 a factor of u(-10)?
False
Suppose 4*d - 4*p = -279 + 4759, -4*d = 2*p - 4438. Does 3 divide d?
True
Let a(i) be the second derivative of -i**5/20 - 7*i**4/6 - i**3/6 + 19*i**2 - 52*i. Is 23 a factor of a(-14)?
False
Let l(a) = -1248*a + 1376. Is 83 a factor of l(-12)?
False
Let n(b) = 31*b**2 - 6*b + 14. Let f be n(5). Let k = -15 + f. Is 6 a factor of k?
True
Is 4 a factor of -6 