 45?
True
Let s(d) = -8*d**3 - d**2 - 5*d + 6. Let o be s(4). Is 2/(-6)*-3 - 5 - o a multiple of 18?
False
Is 21 a factor of (-260)/(-455) + (-55386)/(-21)?
False
Let x = 1212 + -327. Suppose -4*l - 301 = -x. Does 16 divide l?
False
Let z be 6/2 + -2 + 2 + 1. Suppose 0 = s + z*c + 8, -3*c = -4*s + 2*c + 31. Let x = s - -72. Is 14 a factor of x?
False
Let x(h) = -691*h + 20152. Is 22 a factor of x(0)?
True
Let s = 5908 + -5588. Does 8 divide s?
True
Let l(s) be the second derivative of -s**4/12 - 7*s**3/3 + 3*s**2/2 + 2*s. Let q be l(-13). Suppose 2188 = q*m - 420. Is m a multiple of 9?
False
Let z be -1*14*(-4)/8. Let o(p) = p**3 - 5*p**2 + 27*p - 2*p**2 - z - 16*p**2 + p**2. Does 17 divide o(21)?
True
Let w be (-42)/(1/6*3). Let i = w + 61. Let t = -3 - i. Is 7 a factor of t?
False
Let i(x) = x**2 - 2*x + 1. Let u(h) = h**3 - 2*h**2 + 10*h + 10. Let s(w) = -2*i(w) + u(w). Does 13 divide s(7)?
False
Suppose -31*r + 6359 = -11776. Is 5 a factor of r?
True
Suppose -3 = f, 4*z - 4*f = 5*z + 351. Let d = z - -572. Is d a multiple of 15?
False
Let n = 20 + -15. Suppose 4*l = 5*b - 29, 4*l - n = -2*b - l. Suppose -b*y = -3*y + d - 47, -3*y = -d - 68. Does 5 divide y?
False
Let p be (7/5 + -1)*115. Let a(z) = -z**3 - 4*z**2 + 16*z - 11. Let l be a(-8). Suppose 0 = 3*x + 4*f - l, p = 2*x - 2*f - 32. Is x a multiple of 20?
False
Let j be 2*1 - (12/4 - 6). Suppose -2*n + 1848 = j*n. Let l = n - 128. Is l a multiple of 30?
False
Let w be -10*((-78)/30 + 1). Suppose -15*p = -w*p + 3*a + 531, 5*p + 3*a - 2565 = 0. Is p a multiple of 57?
False
Let r(a) = a - 53 + 87 + 23. Does 5 divide r(13)?
True
Let x(q) = q**3 + 12*q**2 - q - 14. Let z be x(-12). Let d(h) = 6*h**3 - 2*h**2 + h + 3. Let p be d(z). Let k = 123 - p. Is k a multiple of 32?
False
Let j = 1864 + 3585. Is j a multiple of 20?
False
Let l = 160 - -1090. Is l a multiple of 10?
True
Let o = -4 - -7. Is 13 a factor of (o + 3 + -3)*(-6 - -159)?
False
Let q(t) = t**2 + 10*t - 6. Let j be q(-10). Let u(z) = -4*z**2 - 21*z - 3. Let h(f) = -6*f**2 - 31*f - 4. Let x(m) = -5*h(m) + 7*u(m). Is 6 a factor of x(j)?
False
Let w(v) be the second derivative of v**6/180 + v**4/2 + 11*v**3/6 + 29*v. Let g(h) be the second derivative of w(h). Is g(7) a multiple of 10?
True
Suppose -19*i - 519 = -x - 18*i, 3*x = 2*i + 1558. Does 40 divide x?
True
Suppose -4 = -b + 5*d - 3*d, 10 = 4*b - 5*d. Let t(x) = x**3 + 2*x**2 - 4*x + 459. Does 51 divide t(b)?
True
Suppose 30064 + 63813 = 5*y + 25837. Does 42 divide y?
True
Does 38 divide (7/((-21)/(-6)))/(19 - 982324/51702)?
False
Is 36*8/32*(-4)/(-30)*18480 a multiple of 132?
True
Let d = 1443 + 5753. Is 27 a factor of d?
False
Suppose 4*h - 2 = 3*c, -5*c + 8 = -h - 17. Suppose -109 = -k + 2*i, -c*i = -3*i - 9. Is 2 a factor of k?
False
Let j = -87 + 92. Suppose 0*v = -v - j*u + 725, -2*v = -u - 1439. Does 55 divide v?
False
Suppose 0 = -18*v + 118 + 350. Suppose -v*b + 7555 = -89. Is b a multiple of 7?
True
Let m(f) = f**3 + 17*f**2 - f - 15. Let u be m(-17). Suppose 0 = u*q - 8, -4*x - 8*q + 836 = -10*q. Suppose 6*s = -x + 1651. Does 48 divide s?
True
Let l be (6/(-3))/(3/(-21)). Suppose -7*h + 2205 = l*h. Is 35 a factor of h?
True
Let f(t) = -9*t**3 + t**2 + 14*t + 19. Let m(a) = 5*a**3 - 7*a - 9. Let i(r) = 6*f(r) + 11*m(r). Let q be i(-5). Suppose q*w - 28 = 147. Is w a multiple of 10?
False
Let j be (351/12)/(4/32). Suppose -9*s = j - 603. Is s a multiple of 28?
False
Let z be (-6 - -6) + 5*69. Let w = z + -163. Does 14 divide w?
True
Let i = 6 + -1. Let p be 27*((-14)/105 + (-14)/(-30)). Suppose 0 = o + 2*o + p, o + 583 = i*r. Does 22 divide r?
False
Let t(j) = 3*j**3 + j**2 + 7*j - 12. Let u(k) = -8*k**3 - 3*k**2 - 13*k + 23. Let o(m) = -5*t(m) - 2*u(m). Is o(5) a multiple of 19?
False
Let z = 7868 + -6371. Does 183 divide z?
False
Let h be (-1)/(-4) - 3887/(-52). Let n = 269 - h. Is 5 a factor of n?
False
Let o = -813 - -933. Is o*5/10 - 5 a multiple of 2?
False
Let c = 6 + -4. Let v be -2*((-428)/12)/(10/15). Suppose 3*j - 5*y + v - 291 = 0, -c*j + y + 111 = 0. Is 11 a factor of j?
False
Suppose 63*w - 30 = 57*w. Is 10/w*(11 + 68) a multiple of 10?
False
Suppose 0 = 16*s + 14*s + 79244 - 324974. Is 51 a factor of s?
False
Let h = 7977 + 4569. Is h a multiple of 19?
False
Let x = -995 - -4150. Is x a multiple of 17?
False
Let l = -21 - -36. Let u = -15 + l. Suppose u = 5*o + 34 - 84. Is o a multiple of 4?
False
Suppose -11*h + 48*h = 9287. Suppose k + 167 - h = 0. Does 3 divide k?
True
Let v = 358 - 561. Let x = -112 - v. Is x a multiple of 8?
False
Let z be 1/((1 + 5)/492). Let l = 23 + z. Is 37 a factor of l?
False
Let l(k) = k**2 - 11*k + 24. Let y be l(4). Is (-780)/50*y*5 a multiple of 55?
False
Suppose 23932 + 384 = 5*x - t, -t = -2*x + 9724. Does 8 divide x?
True
Let r be -5 - (0 + 7 + -13). Is 17 a factor of 4*r + (-23 - -141)?
False
Suppose 2 = -3*c + 5*x, 0 = 4*c - 7*c + 2*x - 8. Let g(o) = 2*o**2 + o - 17. Let r be g(c). Does 14 divide 4/18 - r/((-198)/500)?
True
Suppose -2*s = -4*t + 1466, 8*t - 5*t = -s + 1087. Suppose l = -2*l - a + 1148, -l = 5*a - t. Does 39 divide l?
False
Suppose c + 0*x - 1014 = x, 5*x = 0. Let n = c - -424. Is 15 a factor of n?
False
Is 40507/9 + (-248)/279*(-2)/8 a multiple of 163?
False
Suppose 0 = -4*d + 5*y - 187, -30*d = -28*d + 4*y + 74. Let q = 11 - d. Is q a multiple of 27?
True
Let b be (2/3)/((-12)/(-144)). Let v = 581 + -578. Suppose 0 = 7*f - v*f - b. Is f a multiple of 2?
True
Suppose 59 + 205 = 2*m. Let y = m - 140. Is (1 + -107)/(y/12) a multiple of 10?
False
Suppose -4*p = -5*h + 11, -10*p + 9*p - 2*h = 6. Let d = p + 24. Suppose -d*j = -17*j - 360. Is j a multiple of 30?
True
Let q = -487 + 433. Is 19 a factor of 1/2 + (-47061)/q?
False
Suppose 58*r + 18424 = 123346. Does 27 divide r?
True
Does 10 divide (101244/(-99))/(-13)*(17/2 + -1)?
True
Suppose 28 = -9*d + 11*d. Let n be 2/d*2494 + (-2)/7. Suppose -274 = -5*b + n. Is b a multiple of 21?
True
Suppose 3*l = -x - 13, 3*l - x = 4*x - 7. Let y be -86 + (-1)/(1/(-12)*l). Let o = 152 + y. Is 5 a factor of o?
False
Let m = -722 - -729. Suppose m*n + 59 = 297. Is n a multiple of 12?
False
Suppose -168*r - 43*r - 285612 + 1133621 = 0. Does 9 divide r?
False
Let p be (-2 - 51/(-9))/(13/(-1638)). Let f = 814 + p. Does 32 divide f?
True
Let q = 43 + -41. Let r(d) = -d**2 - 3 - 4*d + 32*d - q. Does 37 divide r(9)?
False
Let d(w) = -163*w**3 - 16*w**2 - 5*w + 5. Is 39 a factor of d(-5)?
False
Suppose -4*p + 72836 = 5776. Is p a multiple of 35?
True
Suppose -199*w + 85*w + 96*w + 207756 = 0. Is w a multiple of 58?
True
Suppose -2*k + 10 = -0*k. Suppose -k*c = -2*h - 74, -c = 3*h + 125 + 20. Let b = 125 + h. Is b a multiple of 6?
True
Let p = 9 - -58. Let s = p + -45. Is s a multiple of 11?
True
Let r(h) = -1164*h + 13034. Is 10 a factor of r(-31)?
False
Is -5 + 57/12 + (-1069)/(-4) a multiple of 6?
False
Let v = 41 + 182. Let g = -260 - -139. Let f = g + v. Is 17 a factor of f?
True
Suppose 142*h + 135464 = 943431 + 3719703. Is 69 a factor of h?
False
Suppose -2*o + 4*h = 538, 222 = -2*o - 4*h - 348. Let x = -247 - o. Does 12 divide x?
False
Suppose 6113*i = 6131*i - 124848. Is 10 a factor of i?
False
Let m(l) = -6*l**2 + 19*l - 53. Let y be m(15). Let d = y + 1608. Is 35 a factor of d?
True
Let f(r) = r**3 + 16*r**2 + 21. Let j be f(-16). Let t(w) = w + 8. Let h(l) = -6*l - 39. Let o(z) = j*t(z) + 4*h(z). Is o(-10) a multiple of 7?
True
Let f be (-20)/1*5/(-10). Let p = f + -196. Let j = -72 - p. Is j a multiple of 38?
True
Let r = -20 + 20. Suppose 0 = -5*i + 10 - r. Is (21 - 22)/((-1)/i) a multiple of 2?
True
Suppose 3*l - 9 = 0, 4*l = -5*k + 45 + 57. Is k*(-3 - 55/(-10)) a multiple of 5?
True
Let i(q) = q**3 - 14*q**2 - 2*q + 31. Let x be i(14). Suppose 0 = -l + x, -4*y + 2976 + 483 = l. Is 8 a factor of y?
True
Let b = 391 - 390. Does 18 divide (b/1)/((-10248)/2051 + 5)?
False
Suppose 0*o = -4*o - 28. Let c be (-6 + 1)/(8 + o). Does 13 divide ((-1479)/(-15) - 2) + (-2)/c?
False
Let a(h) = -149*h - 3. Let n(s) = -479*s - 9. Let m(l) = 10*a(l) - 3*n(l). Let k(x) = x**2 - 3*x - 1. Let u be k(3). Is 25 a factor of m(u)?
True
Let k = 57 - 100. Let m = k + 52. Let o(g) = -g**2 + 11*g + 21. Is o(m) a multiple of 8?
False
Let c = -5030 - -23059. Is 55 a factor of c?
False