z + 3*z. Let t be 1068/(-15)*(-5 + 10/4). Let x = z + t. Does 10 divide x?
False
Suppose i + 65 = -4*s, 0 = 3*s + 5*i + 58 + 12. Let m = -12 - s. Suppose 4*u - 379 = -u + m*p, 2*u - 158 = -2*p. Does 11 divide u?
True
Let z(i) = 2450*i**3 + 3*i**2 - 2*i. Let v be z(1). Suppose -v = -6*u - 423. Is 14 a factor of u?
False
Suppose 122*p - 305930 = 95732 + 440138. Is 60 a factor of p?
True
Suppose -818*m = -820*m + 4376. Is 4 a factor of m?
True
Suppose -13513 = 5*p - 2*d - 52710, 4*d = -24. Is 24 a factor of p?
False
Let o = -132 - -136. Suppose 2*h + 246 = f, -663 = -3*f - o*h + 105. Is 28 a factor of f?
True
Let y(p) = -3*p**2 + 13*p + 75. Let o(c) = -6*c**2 + 27*c + 152. Let t(f) = 3*o(f) - 7*y(f). Is t(-8) a multiple of 10?
False
Suppose 2*g + 3*l = 4312, 4*l + 4284 = -16*g + 18*g. Is g a multiple of 43?
True
Suppose -9 = 8*b + 63. Does 7 divide (-3)/b + 15016/24?
False
Let g(j) = -125*j**3. Let w be g(1). Let d be 1 - 21/27 - w/45. Does 17 divide (((-48)/(-10))/(-1))/(d/(-30))?
False
Let o(j) = -j**3 - 21*j**2 + 20*j - 116. Does 102 divide o(-31)?
True
Let u(j) = -5*j + 203. Let v be u(0). Let t = 678 - v. Does 27 divide t?
False
Suppose 0 = -10*w - 0*w - 20. Does 8 divide (-4)/((-56)/(-119))*w?
False
Let b(q) = -5*q - 32. Suppose d - 5360 = 5*d. Let r be 6/33 - d/(-110). Does 3 divide b(r)?
False
Suppose 283*l - 1695221 = 50*l - 454263. Does 27 divide l?
False
Suppose -78 = 15*l + 11*l. Is 16*7/(56/(-12))*l a multiple of 12?
True
Let n = 189 + -217. Let w(f) = -f**2 - 39*f - 140. Is w(n) a multiple of 24?
True
Let n = -3578 + 5356. Does 14 divide n?
True
Let g(u) = 11*u**2 - 544*u - 117. Does 86 divide g(73)?
False
Let p(i) = 8*i + 1541. Is 2 a factor of p(39)?
False
Suppose 1986 = 39*a + 47*a - 1231684. Is a a multiple of 30?
False
Does 31 divide (2011 - -80)*(1 - 84/(-9))?
True
Suppose 0 = -10*b + 14100 + 6030. Suppose -6*u = 15 - b. Suppose -21*o + 24*o = u. Does 23 divide o?
False
Let b be -1*10 - (56 - 60). Is 29 a factor of ((-19188)/b)/6 + 3?
False
Let o(k) = -10*k + 4367. Is 42 a factor of o(-121)?
False
Let z(u) = -12*u - 22. Let k be z(-1). Let p = 0 - k. Is p a multiple of 5?
True
Let o be (-9 - -8)*(-23)/1. Let z = 467 - 461. Is (-3 + o - -3) + z/(-3) a multiple of 7?
True
Let a(h) = 41*h - 25. Let b be a(-3). Does 11 divide b/6*48/(-32)?
False
Let p be (12/(-2 - -3) - 4)*82. Let z = -300 + p. Does 40 divide z?
False
Suppose -m + 2*t + 179 = -5, 2*m = -5*t + 404. Let y = m + -173. Is 6 a factor of y?
False
Let f = 261 + 36. Let n = f + -195. Does 13 divide -4*(-1)/4 + 1 + n?
True
Let x = 688 - 679. Suppose 0 = x*l - 10068 + 2733. Is l a multiple of 14?
False
Suppose -15*p + 7046 = -18559. Is 19 a factor of p?
False
Let v = -45 - 91. Is v/(-306) - (-239)/9 even?
False
Let j(a) = a**2 + 2*a - 31. Let g be j(-7). Suppose 3*n = -n - g*i + 1232, 3*n = -5*i + 914. Is n a multiple of 13?
False
Suppose 156*b + 2257360 = 268*b. Is b a multiple of 22?
False
Let y(g) = -53*g + 2293. Does 10 divide y(35)?
False
Is ((-1)/(4/(-2748)))/((-114)/(-3496)) a multiple of 26?
False
Let j = 5202 - -20460. Is j a multiple of 182?
True
Let j be (-3)/(-6)*46*88/4. Suppose 5*k - 2*u = 3*u + 870, 3*k + 5*u = j. Is 18 a factor of k?
False
Let t(o) be the third derivative of -o**6/40 + o**5/12 + o**4/8 - o**3/3 - 15*o**2. Is t(-3) a multiple of 23?
True
Let r = 20 + -215. Let d = r - -315. Does 12 divide d?
True
Let x = -58 - -112. Let v = 58 - x. Suppose 4*c + 2*k = -k + 384, -384 = -v*c - 2*k. Does 32 divide c?
True
Let v be 722 + 4/(-6) + 16/(-48). Suppose -5*c + v = -569. Is c a multiple of 7?
False
Suppose 4418391 = 486*z + 1617087. Is z a multiple of 40?
False
Suppose 1740 = -17*a + 19*a - 5*x, 0 = 2*a + 5*x - 1700. Does 10 divide a?
True
Suppose 9*w + 3*w - 116964 = -7*w. Is w a multiple of 76?
True
Let n = 5582 + 9966. Is 13 a factor of n?
True
Suppose 24*g - 28*g - 3*v = -212800, -4*g + 212800 = -v. Suppose 4*w + 36*w = g. Is w a multiple of 10?
True
Let d be (2052/(-285))/(14/(-10) + 1). Suppose d*f - 792 = 16*f. Does 99 divide f?
True
Let p(d) = -2222*d - 600. Is 20 a factor of p(-16)?
False
Let a(h) = -h**3 - 8*h**2 + h + 1. Let d be a(-8). Let t = d + 11. Suppose -6*o + 270 = t*o. Is 3 a factor of o?
True
Suppose -4*f = 4*o - 671 - 25, -10*o + 529 = 3*f. Does 2 divide f?
False
Suppose -2*u - c = -538 - 2718, 0 = 2*u - 3*c - 3272. Is u a multiple of 47?
False
Let r = -1129 - -2151. Suppose 3082 - r = 10*t. Suppose 0 = m - 3*m - 4*n + t, -101 = -m - n. Does 11 divide m?
True
Let w = -192 - -192. Suppose -h = -2*c + 846, w*c + 4*c + 3*h - 1702 = 0. Does 22 divide c?
False
Let b(u) = 8738*u**2 + 176*u - 2. Is 40 a factor of b(-1)?
True
Let j(n) = 345*n**2 + 17*n + 5. Let t(s) = -s**2 - s - 2. Let g(c) = j(c) + 2*t(c). Is 47 a factor of g(-1)?
True
Is 35/(-455) + 348665/65 a multiple of 4?
True
Let r be -92*((-378)/4)/9. Suppose 0*l + l + 4*o = 206, r = 5*l + 4*o. Suppose -4*u = 3*p - 140, -l = -5*p + 4*u - 2*u. Is 20 a factor of p?
True
Suppose -4*b = 1331 + 769. Let y = b + 1182. Is y a multiple of 73?
True
Let c(p) = 4*p**2 - 230*p + 6146. Is 13 a factor of c(34)?
False
Suppose -3*s = -3*c - 432, 3*c - 2*s + 171 + 265 = 0. Let a = 98 + c. Let r = a - -131. Is 9 a factor of r?
True
Let k(u) = -54*u + 86. Let l be k(-8). Let r = 166 + l. Is r a multiple of 57?
True
Suppose -3*z = -2*z + 9*z. Suppose z = 15*c + 16*c - 620. Does 2 divide c?
True
Let i = 10839 + -7669. Is i a multiple of 19?
False
Is 13 a factor of (16/18 + 1401498/567)/((-2)/(-6))?
False
Let r be (-6)/(-6) + (1 - -190 - 1). Suppose 0 = 9*c - 610 - r. Does 40 divide c?
False
Suppose -4*z = -7*p + 3*p - 20, 0 = -5*z. Is 2 a factor of (-2457)/(-45) + (-2)/p?
False
Let d(k) = -2*k + 3. Let v be d(1). Suppose 4*l - 9 + v = 0, l + 38 = 4*h. Suppose 0 = -p + h + 35. Is p a multiple of 9?
True
Suppose 2*a + 2*s = -a + 6003, 2*s + 1993 = a. Suppose 5261 = 11*t - a. Does 30 divide t?
True
Suppose p - 25 = -5*a, 6 = 4*a - p - 5. Suppose -2*v + 4 + 2 = 2*t, a*t = -5*v + 15. Suppose 0 = -4*l + 8, -5*g + 4*l + 747 - 295 = t. Is g a multiple of 7?
False
Suppose n = 2*r + 3*n - 26, 5*r - 65 = -3*n. Let k(y) be the third derivative of y**5/20 - 31*y**4/24 - 11*y**3/6 - 513*y**2 + 2. Is k(r) a multiple of 5?
False
Let o = 5078 - 1281. Does 8 divide o?
False
Let a be (-80)/(-36) - (-8)/(-36). Let j be (0 + 1)/(1/a). Suppose -j*t - 3*t - 4*c + 77 = 0, -55 = -3*t + 2*c. Does 4 divide t?
False
Suppose -3*p + 0*j + 2*j - 1 = 0, 5*p = -5*j + 40. Suppose -p*r = -11*r + 1656. Is 27 a factor of r?
False
Let t(v) = -3*v**3 - 39*v**2 + 33*v - 40. Is 14 a factor of t(-20)?
True
Suppose -165*n = -160*n. Suppose 5*g - 23 - 1547 = n. Does 30 divide g?
False
Let i be 1/(2 + 32/(-14))*24. Is (-591*8/10)/(i/210) a multiple of 33?
False
Suppose 0 = -4*n - 2*t - 40, -5*n = -t - t + 32. Let v = 80 - 81. Is 29 a factor of 4/v*4/n*87?
True
Suppose 3*d + 4736 = -13*d. Let k = -232 - d. Is k a multiple of 5?
False
Suppose -2*m - 2*c = -3528 - 12, -5*m - 2*c + 8844 = 0. Suppose -2*w + m = 8. Is w a multiple of 44?
True
Let u(p) = 2*p**2 - 11*p - 14. Let n be u(7). Let d(j) = -116*j + 73*j - 2 + 55*j - 40. Is 14 a factor of d(n)?
True
Suppose -5*v + 444 = -4*k, 0 = v + 2*k + 2*k - 108. Suppose -4*w + 7 + 1 = 0. Suppose -2*l + v = -2*i, -2*l - w*l - 4*i = -208. Is l a multiple of 23?
False
Suppose k = -5*f - 3, 0 = 3*f - 6*f + 3*k + 9. Suppose -5*r - 21 = m, 5*m + 2*r - 1 = 9. Suppose 556 = m*z - f. Is z a multiple of 25?
False
Let j(n) = -3817*n + 692. Is 152 a factor of j(-4)?
True
Let q(a) be the third derivative of -a**5/60 + 7*a**4/12 - 11*a**3/3 + 16*a**2. Let g be q(11). Let c = g + 9. Does 4 divide c?
True
Suppose 2*f + 13*f - 178560 = -17*f. Is f a multiple of 10?
True
Let v = 1426 + 2867. Is v a multiple of 9?
True
Let b(n) = -7*n**2 - 6*n - 6. Let c be b(-3). Let w = 56 + c. Suppose k - w*a - 108 = 0, -5*k - 2*a = -4*a - 471. Is k a multiple of 14?
False
Let r(v) = 32*v + 10. Let f(n) = 15 + 139*n + 113*n - 204*n. Let d(w) = 5*f(w) - 8*r(w). Is 15 a factor of d(-5)?
True
Let k(n) be the first derivative of 59*n**4/4 - 2*n**3/3 + 2*n**2 - 6*n + 17. Let g be k(3). Is (-8)/20 - 2*g/(-30) a multiple of 35?
True
Let l = -155 + 157. Suppose -l*f = -2*z - 258, f = 3*z + 50 + 73. Is 11 a factor of f?
True
Let r(b) = -2*b*