 8?
False
Let j(x) be the third derivative of 25*x**2 - 2/3*x**4 - 23/6*x**3 + 0*x + 0. Is 14 a factor of j(-15)?
False
Let l(j) = 143*j**2 - 4*j + 5. Let f(k) = k**2 - 21*k + 26. Let m be f(12). Let v = -81 - m. Is l(v) a multiple of 12?
True
Let b = 214 - 62. Does 14 divide -7 + 6 + -4 - b/(-1)?
False
Let l(m) = m**3 + 11*m - 26. Let i be l(-9). Let v = 1305 + i. Does 11 divide v?
True
Suppose -399*n + 485145 = -384*n. Does 13 divide n?
False
Let q(y) be the first derivative of -45*y**2/2 - 12*y - 28. Let s be q(-2). Let i = -50 + s. Is 4 a factor of i?
True
Let o(i) be the third derivative of -i**6/30 - 3*i**5/20 + 5*i**3 + 210*i**2. Does 23 divide o(-6)?
False
Suppose 3441 = 5*b - 2729. Suppose 2*i = -0*h - 2*h + 1250, 2*i - 2*h = b. Is 10 a factor of i/6 - 6/(-4)?
False
Suppose 216*z = -1648538 + 6905330. Is z a multiple of 50?
False
Let g(v) = 18*v**3 + 14*v**2 - 42*v + 3. Suppose -5*o - 22 = 13*y - 12*y, 3*y - 4 = -o. Is g(y) a multiple of 3?
True
Let f = 67 + -45. Let q be f*(1 - -3 - (-4 + 1)). Let a = -30 + q. Is a a multiple of 31?
True
Let c(s) = 5*s**3 - 7*s**2 - 8*s - 25. Let o(g) = -g**3. Let a(x) = -c(x) - 6*o(x). Let p be a(-8). Let j = p + 210. Does 19 divide j?
False
Suppose 5*d + 2*v = 0, 4*d = 3*v - 7*v. Suppose 7*b - 567 - 1638 = d. Does 48 divide b?
False
Let a = 10992 - 7657. Is 16 a factor of a?
False
Let x = -86 + -28. Let l = x - -129. Is 42 a factor of (1295/l + 4)/(2/6)?
False
Let f = -1585 - -2749. Let s be f/(-10)*(-20)/8. Suppose -2*g = 4*d + g - 232, -s = -5*d - 4*g. Is d a multiple of 11?
True
Suppose -2*r + 7*r - s + 13 = 0, 5*s - 5 = 5*r. Let c = r - -38. Let o = 62 - c. Is 3 a factor of o?
True
Suppose -3 = -5*b + 5*s + 32, 3*s = -3*b + 9. Suppose -b*u + 654 = v, -4*u + 3*v = -165 - 343. Does 17 divide u?
False
Let y = -243 + 60. Let j(g) = 115*g**3 + g + 1. Let z be j(-1). Let s = z - y. Is s a multiple of 16?
False
Let q(g) = g**2 - 8. Let p(f) be the third derivative of f**4/24 - 3*f**3/2 + 7*f**2. Let u be p(3). Does 7 divide q(u)?
True
Let k be (-11102)/(-6) + -2 - 20/60. Suppose 4*m = 2*m + k. Is m a multiple of 12?
True
Let l = -133 - -250. Let u = l - 10. Does 9 divide u?
False
Let n = 20919 - 4012. Is n a multiple of 11?
True
Is 14 a factor of ((-6320)/474)/(3*(-4)/1638)?
True
Let i(p) = -17866*p - 422. Is 31 a factor of i(-1)?
False
Suppose -g = 2*w - 19268, -54*w + 77063 = 4*g - 55*w. Is g a multiple of 65?
False
Let p = -384 - -717. Suppose -2*b - 1084 = 3*v, v - 7*b + 2*b + p = 0. Let l = v + 505. Is 21 a factor of l?
True
Suppose -5*z + 3*z = 4*w, -5*w - 2 = 2*z. Suppose z*x - 450 = -2. Is x a multiple of 56?
True
Suppose -22*b - 21519 = -24*b + 43441. Does 228 divide b?
False
Let n = 2322 - -335. Let j = -1589 + n. Is 15 a factor of j?
False
Suppose -9*q - 106 = -8*q. Let i = 123 - q. Is 16 a factor of i?
False
Let o = -48 - -54. Let t(a) = -a**3 + 10*a**2 - 15*a - 19. Is t(o) a multiple of 35?
True
Let c(j) = -4*j**2 + 19*j - 8. Let n be c(4). Suppose -y + 22 = x, -y - 52 = -4*x + n*y. Is 5 a factor of x?
False
Does 39 divide 25979 - (-20)/(-48)*6*2?
True
Suppose -15*u - 6*u = 0. Suppose -5*x + 25 = u, x + 249 = k + k. Is k a multiple of 9?
False
Suppose -n + 310 - 1733 = 0. Let d = -763 - n. Is 20 a factor of d?
True
Let a = 1283 - 1829. Does 2 divide ((-4)/(-8))/((-7)/a)?
False
Suppose -2*d + 0*d = -5*z - 5, 0 = 4*d - 4*z - 4. Suppose c = -3*p + 7, 4 = 2*c + 3*p - 4. Does 32 divide (c - d) + (1 - -27 - -3)?
True
Suppose -5*n + 21311 = 2*x, -4*x + 91*n - 94*n + 42615 = 0. Does 159 divide x?
True
Let o(d) = -d**3 - 7*d**2 - 6*d + 4. Let p be o(-6). Suppose -p*b + 224 = 2*v, 4*b = 4*v + 164 + 48. Let a = -33 + b. Is a a multiple of 11?
True
Let x be (1628/(-33) - (-4)/(-6))*5. Does 12 divide 15504/50 - (-20)/x?
False
Let b = -4852 - -7814. Is 47 a factor of b?
False
Suppose 188131 = 6*s + 27781. Is 21 a factor of s?
False
Let k be 6/12 - (-257)/2. Suppose -154 = -2*h + 5*z, 5*h - 233 - k = z. Does 18 divide ((-240)/h)/((-2)/162*1)?
True
Suppose 6*n - 920 = 2*g + 4*n, -5*n = -g - 480. Is (-8)/(-14) - 214500/g a multiple of 8?
True
Suppose 4*r = d - 12084, -3*d - 7058 + 43271 = r. Does 47 divide d?
False
Let a(d) = 13*d**2 + 25*d + 4*d**2 + 21 - 3*d**2. Is a(-4) a multiple of 4?
False
Suppose -h = z - 2, -4*z + 14 = -0*z - 2*h. Let y(v) = -v - 5. Let g be y(-7). Suppose g*j = 2*s, -j + 0*j - z*s + 20 = 0. Is j a multiple of 4?
False
Let r = 265 + 11525. Is r a multiple of 30?
True
Suppose 5533*o + 113049 = 5612*o. Does 5 divide o?
False
Let c(t) be the first derivative of 13*t**4/4 - 2*t**3/3 + t + 1. Suppose 17*u + 18 = 23*u, 0 = -4*b - 2*u + 10. Does 3 divide c(b)?
True
Suppose -35*h = -37*h - 2. Is h/2*(-2230)/(-30)*-6 a multiple of 32?
False
Suppose 3*r + 864 = -r. Let f be (r/(-30))/(3/50). Let c = 225 - f. Is c a multiple of 21?
True
Let v(i) = i**3 + 8*i**2 - i - 6. Let p be v(-8). Suppose -p*c = 2*c - 2*a - 200, 4*a - 150 = -3*c. Suppose 8*n - 6*n - c = 0. Is n a multiple of 3?
False
Is 30 a factor of (-1)/5*-1 + (-1469274)/(-2130)?
True
Let b(r) = 5*r + 340. Is b(-2) a multiple of 6?
True
Let w be (13 + 5)*(-6)/(-4). Suppose -w - 15 = -6*s. Suppose -s*p = -288 - 27. Does 6 divide p?
False
Let l = 1 + 22. Suppose 4*o - l = 41. Is ((-645)/(-60))/((-2)/o*-2) a multiple of 3?
False
Is 17984497/2225 + 6/75 a multiple of 137?
True
Is 124 a factor of ((-6)/12 - -7)*(1126 + (2 - -2))?
False
Suppose 17574 = -16*q + 160934. Suppose -9*c = c - q. Is 64 a factor of c?
True
Is 36 a factor of (15/(-20) - 84765/(-12)) + -7 + 4?
False
Let i = 1634 + -1045. Suppose 93 = 2*q - i. Is q a multiple of 31?
True
Suppose -7*x + 3740 - 660 = 0. Suppose 46*c + x = 56*c. Does 15 divide c?
False
Let m(d) = d**2 - 4. Let v be m(4). Suppose o - 3*o = v. Is 8 a factor of (-1*42)/(16/o + 2)?
False
Suppose 8*d - 10*d = 634. Let n = 61 - d. Is 18 a factor of n?
True
Suppose -5*a + 11 = -c, -5*c - 15 = a - 6*a. Suppose 3*o = 3, i - 342 = -a*o - 33. Suppose 81 + i = 4*v. Is v a multiple of 11?
False
Let q(k) = -k**2 - 7. Let d(w) = -2*w**2 + w - 7. Let h(z) = -3*d(z) + 4*q(z). Let c be h(3). Suppose -48 - 22 = -c*o. Is 5 a factor of o?
True
Let c be 26 - (-6 + (-4 - -7)). Is 4 a factor of (-1 + 18)*2 - (c + -32)?
False
Let c(r) = 11*r - 13. Let b be c(1). Does 9 divide 28*3 + b - 1?
True
Let n = -1091 + 4787. Is 168 a factor of n?
True
Suppose -15*l + 3507 = -2763. Is l a multiple of 11?
True
Let b = -61 + 75. Suppose 0 = b*z - 16*z + 710. Suppose 0 = 3*k + 3*r - 273, 9*k = 5*k + 5*r + z. Is 9 a factor of k?
True
Let b(t) = 24*t + 17 - 800*t**2 + 799*t**2 - 2. Let l be b(17). Suppose -l*o + 129*o = -400. Does 16 divide o?
True
Let x(z) = -39*z**3 - 9*z**2 + 5*z - 101. Is 200 a factor of x(-7)?
True
Suppose 4*r - 13434 = -3*z, -10*z + 6*z + 17899 = r. Is z a multiple of 105?
False
Let u(k) = k**3 + 4*k**2 - k + 20. Let y be u(-5). Suppose 5*d + 2*c - 3780 = y, -11*c = 5*d - 7*c - 3790. Does 58 divide d?
True
Let r(o) = -51*o + 2. Let l be r(-8). Let y = l + -195. Does 4 divide y?
False
Let h be (-775 + 4 + 3)/(2/(-12)). Suppose 16*x - 14*x = 4*g - 3684, 5*g = 4*x + h. Is 69 a factor of g?
False
Let a(t) = t**3 + 10*t**2 + 17*t + 11. Let p = 23 - 31. Let o be a(p). Suppose x - 325 = -o*f - 3*x, 0 = -2*f - 4*x + 222. Is f a multiple of 21?
False
Let b be 1/(-1) + -7 + 10. Let l be (16/6 - b)*(11 - 2). Suppose -l*o - q + 781 = -2*o, 2*o = 3*q + 401. Does 28 divide o?
True
Let s be 0 + (-1216)/12*9/(-6). Let l be (1577/(-19))/(1/(-1)). Let r = l + s. Is r a multiple of 47?
True
Suppose -7*o + 9214 + 20774 = 0. Is o a multiple of 68?
True
Suppose -24*w + 29033 + 919 = 0. Suppose 584*t - 586*t + w = 0. Does 12 divide t?
True
Let p(z) = z**3 - 9*z**2 - 13*z - 6. Let u be p(10). Let k be (5/(-3))/(10/30)*u. Is 5 a factor of 2*k/8 - 0?
True
Let p(d) = 5*d**2 - 17*d + 6. Let x be p(15). Suppose a - 2*i = 291, -2*i - i = -3*a + x. Is 17 a factor of a?
False
Let l = -2764 - -2881. Is l even?
False
Let n be (-3 + 3 + 12)*5/(-2). Let u = n + 58. Suppose r = 58 - u. Is 15 a factor of r?
True
Suppose 2*x = 2*g + 144, -2*x - 320 = -7*x - 3*g. Let s = -55 + x. Suppose 2*d - 7*d = u - 1872, 4*u + s = 0. Does 64 divide d?
False
Let c be -31 + (6 + 0 - (-22 + 23)). Is 15 a factor of -4 + (-11365)/(-65) + (-4)/c?
False
Suppose -1808*g = -