uppose b = -5*t + 4*t + n. Does 15 divide t?
False
Let c(v) = -2*v**3 + 89*v**2 + 62*v - 663. Is 79 a factor of c(39)?
True
Let k = 10 - 23. Let s be 6*108/(-25) + 194/(-2425). Is (s/4)/(k/182) a multiple of 13?
True
Let c(k) = k**2 + 14*k + 52. Let t be c(-6). Suppose -t*x + 1444 + 4012 = 0. Is x a multiple of 60?
False
Suppose -3*j - m + 550 = 0, 182 + 362 = 3*j + 4*m. Let q = -85 + j. Does 9 divide q?
True
Let r(n) = 2*n + 22. Let s be r(-9). Suppose 316 = 4*d - 4*v, -3*d = s*v + v - 261. Let k = d - 76. Is k a multiple of 2?
True
Suppose -323*d - 315125 = -1188517. Does 29 divide d?
False
Let h(y) = 3*y + 34. Let f be h(-6). Suppose -f*p + 7*p = -315. Let c = p + -19. Is c a multiple of 5?
False
Let d be (4/(-14))/((-4)/56). Suppose -d*k = -2*v - 3*v + 4422, -4*k + 4398 = 5*v. Is v a multiple of 21?
True
Let y be 3 - (6648/27 - 4/18). Let x = 439 + y. Suppose -4*d = -x + 64. Is 6 a factor of d?
False
Let j be (56/(-21)*(-564)/(-8))/(-1). Suppose -20*s - j = -24*s. Does 2 divide s?
False
Is 78 a factor of (2*(-10)/(-4))/3*3507?
False
Let p = -584 - -6231. Is 11 a factor of p?
False
Let x = -1830 + 1687. Let t(l) = -240*l - 1. Let c be t(1). Let n = x - c. Does 19 divide n?
False
Let i be 3/(-18) - 1595/(-30). Let a = i + -47. Suppose -t + 3*x = -198, -x - 2*x = a. Is 48 a factor of t?
True
Let o = 2817 + 2607. Is o a multiple of 4?
True
Does 59 divide (-15)/(-150)*39132 + 1/(-5)?
False
Suppose 2*x + 7905 = 8281. Is x a multiple of 17?
False
Suppose 21*i + 14445 = 4*h + 14*i, h - 3615 = 3*i. Is h a multiple of 17?
False
Suppose -6*l + l = 0. Suppose -3*t + w + 1948 = l, -4*t + t - 4*w = -1973. Does 23 divide t?
False
Let v(m) be the first derivative of -53*m**2/2 + 8*m + 17. Is v(-15) a multiple of 73?
True
Let t be 24*(0 - (-225)/4). Suppose -3*f + 860 + 1145 = -2*v, -2*v = 2*f - t. Is f a multiple of 19?
False
Is 16 a factor of (-14)/105*-206769 - 138/115?
True
Let w(v) be the third derivative of v**6/120 - 2*v**5/15 + v**4/12 - 19*v**3/6 + 11*v**2. Let l be w(8). Is 20 - -2 - 0 - l a multiple of 25?
True
Suppose -2*t - 20 = -4*s - 2, -2*s + 7 = t. Suppose 0 = s*i + 3*v - 4228, i - 5*v = -i + 2140. Is 53 a factor of i?
True
Suppose 7*y - 1128 = -a + 3*y, 0 = 2*a + 3*y - 2286. Does 54 divide a?
False
Let v(z) = 14*z**3 + 17*z - 52. Does 36 divide v(7)?
False
Let d(q) = -q**2 - 7*q + 25. Let b be d(-31). Let l = 1044 + b. Is l a multiple of 25?
True
Suppose 2*h = -5*l + 4*h + 903, -3*l + 529 = 2*h. Let o be 32/(-56) + l/7. Let v = o - -57. Is v a multiple of 12?
False
Suppose 0 = -4*v + 5*z - 133, v - 3*z + 46 = 11. Let i = v + 414. Is i a multiple of 17?
False
Suppose -5*w = q - 31677, 0 = -5*w + 7*w - 5*q - 12687. Does 33 divide w?
True
Suppose -24 = -15*l + 3*l. Suppose -2422 = -5*r - l*r. Is 12 a factor of r?
False
Let y(p) = -205*p + 140. Let q be y(-12). Suppose 2*i - q = -6*i. Is i a multiple of 25?
True
Let z be (-353414)/(-16) - 144/384. Does 84 divide -3 + (-12)/(-20) + z/20?
False
Let j(h) = 604*h**2 - 2*h - 4. Let d be j(-1). Suppose 6*q - 70 = d. Is 28 a factor of q?
True
Let y(s) = -s**3 - 14*s**2 + 136*s + 685. Is y(-30) a multiple of 71?
True
Let a be (-4 - 48)*-1 - 3. Suppose 46 - a = -3*o. Is 5 a factor of (-13 - -9) + (o - -28)?
True
Suppose -37278 = -3*h + 3*j, -26850 = -5*h - 2*j + 35273. Is 35 a factor of h?
True
Let s(m) = 31*m**2 + 18*m + 15. Let v be s(-1). Let k be 3/9 + (-14)/(-3). Suppose -k*l + 52 = -v. Is l a multiple of 8?
True
Let x(h) = -h**3 - 12*h**2 - h + 6. Let p be 6 - (-5)/(15/(-12)). Let n be 49/(-4) + p/8. Is 6 a factor of x(n)?
True
Let w = 758 + -93. Is 55 a factor of (2 + w)*(-16 + 17)?
False
Let t = -21763 - -9694. Is (t/27)/(3/(-2)) a multiple of 23?
False
Let u be 10/(-30) + 365/15. Let c(w) = w**2 - 11*w + 7. Let m be c(9). Let v = u - m. Is v a multiple of 5?
True
Suppose -g + 29 = -91. Let n = -3 + 9. Is (n + 1)*g/168 even?
False
Suppose -6*m = -5*m - 560. Suppose 8*y + m = 15*y. Is 4 a factor of y?
True
Let n(u) = -u**3 + 34*u**2 - 6*u + 125. Let i = 658 - 625. Is n(i) a multiple of 78?
False
Let o be 10*2 + (19 - 10). Suppose o*c - 2940 = 7616. Does 17 divide c?
False
Is (4 - (-64)/6)/((152/(-16824))/(-19)) a multiple of 44?
True
Let b = 84 + -81. Suppose -4*x + b*k = -5*x + 61, -3*k = 0. Is 4 a factor of x?
False
Let m be ((-441)/(-42))/((-1)/20). Let s = m - -337. Is 10 a factor of s?
False
Let d = -295 - -678. Let r = d + -201. Is r a multiple of 26?
True
Suppose -n + d + 9002 = 0, 0 = -n + 3*d + 11458 - 2466. Does 12 divide n?
False
Let d be (120/(-9))/((-6)/(-3 + 183)). Let l = d + -365. Is l a multiple of 7?
True
Let p(z) = -2*z**3 + 15*z**2 - 16*z - 1. Let m be p(6). Suppose -4*k = 3*t - m - 217, t = -k + 56. Does 3 divide k?
True
Suppose 190*p + 65 = 185*p. Let y(m) be the third derivative of m**6/120 + 11*m**5/60 - 5*m**4/4 + m**2. Is y(p) a multiple of 9?
False
Let s = 65 - 61. Suppose -68 = -a - s*i, 3*a + 5*i = -27 + 238. Is a a multiple of 24?
True
Let f(h) = -95*h + 19. Let x be f(-14). Let s = -957 + x. Is 14 a factor of (30/33)/5 - s/(-22)?
False
Suppose h = -2*o - 1, -4*o - h + 0*h = 1. Let w(x) = x**2 + 8*x + 41. Is w(o) a multiple of 3?
False
Let j(h) = h**3 - 10*h**2 + 2*h - 21. Let t be j(10). Is 8 a factor of (t - 14)*2176/(-170)?
True
Let t(n) = -194*n - 657. Does 14 divide t(-9)?
False
Let k = 6 - 4. Suppose -3 = m, -995 = -3*i + 2*m + 1261. Suppose 7*x - i = k*x. Is 25 a factor of x?
True
Suppose 0 = -1600*r + 1645*r - 21465. Is r a multiple of 9?
True
Let c be 3/(74/44 - 24/132). Suppose 1075 = -c*n + 3*n - i, 2*i = 3*n - 3230. Is 8 a factor of n?
True
Let h = 2142 + 2358. Is 60 a factor of h?
True
Suppose -5*c + 2*i = -35, 8 = 3*c - i - 13. Suppose -c*p = -12*p + 25. Suppose -5*h - 137 = -3*k, -4*k + 88 = -2*k - p*h. Is k a multiple of 5?
False
Suppose -8 = -4*r - 2*d + 6, 4*r - 23 = -5*d. Let t(q) = 20*q**2 + 3*q - 2. Is t(r) a multiple of 12?
True
Let r be ((-3)/(-6))/((-2)/(-72)). Let i be (-6)/(-20) - 338/260 - -9. Let b = r + i. Is 26 a factor of b?
True
Let d(z) = 88*z**2 - 80*z + 647. Is 148 a factor of d(15)?
False
Suppose -3*c + 408 = 4*p, 7*c - 3*c = 0. Let h = -62 + p. Is 20 a factor of h?
True
Suppose 2*n - 2369 = -3*a, -2*a - 4783 = -4*n + a. Does 36 divide n?
False
Let f(n) = 495*n + 51. Let z(j) = -99*j - 10. Let i(a) = 2*f(a) + 11*z(a). Suppose 154*c - 143 + 451 = 0. Does 41 divide i(c)?
False
Let d be 4/8 - 183/6. Let y be (-9)/21 - d/21. Is 11 a factor of (20/3)/y*(-330)/(-20)?
True
Let p(u) = u**3 + 12*u**2 - 12*u + 14. Let f be p(-13). Let i(y) = -17*y + f - 16 - 4. Is 39 a factor of i(-8)?
True
Suppose 0 = -3*d - 4*n - 168, 78 = -4*d - 5*n - 146. Let k = d + 160. Suppose 4*r - k = -u + 42, -4*u = -5*r + 172. Is 36 a factor of r?
True
Suppose 4*s + 4*t = 16676, 2*t + 7 + 3 = 0. Does 21 divide s?
False
Let l be 14/(-2) + 322/14. Suppose 9*a = l*a - 917. Does 6 divide a?
False
Let p = 1423 - 847. Suppose 8*x - p - 808 = 0. Suppose 4*n - 275 = x. Is 28 a factor of n?
True
Let x(y) = y**2 + 6*y + 2. Let o be x(-6). Let k(v) = 22*v + 90. Let t(h) = 4*h + 19. Let j(s) = 3*k(s) - 14*t(s). Is 12 a factor of j(o)?
True
Let k be ((-24)/(-18))/(-1 - (-20)/12). Suppose k*m = s + 6*m - 564, 0 = 3*s - 2*m - 1706. Does 71 divide s?
True
Let p be ((-6 - -1) + 4)*-298. Let t = p - -614. Does 16 divide t?
True
Let d(t) = 72*t**2 - 712*t + 10500. Is 18 a factor of d(15)?
True
Let g(j) = 127*j - 3. Let x be g(1). Suppose -5*s + x - 129 = 0. Is (s + 0)/(5/(-335)) a multiple of 13?
False
Let n be 53*14 - (62 - 65). Let i = 173 + n. Is i a multiple of 50?
False
Is ((-4)/(-7))/(4/66418) - 240/840 a multiple of 10?
False
Let r(z) = -90*z + 620. Let w(p) = 15*p - 103. Let q(l) = -4*r(l) - 25*w(l). Is q(0) a multiple of 58?
False
Let a be 2/5 + 3/(-30)*2434. Let p = a + 448. Does 8 divide p?
False
Let j(a) = 2*a**3 - 63*a**2 - 113*a - 9. Let q(p) = p**3 - 32*p**2 - 56*p - 4. Let f(k) = -6*j(k) + 11*q(k). Is f(28) a multiple of 42?
False
Suppose 0 = -3*u - u + 1852. Suppose w - 127 = 2*c + 28, -u = -3*w + 5*c. Does 41 divide w?
False
Suppose -24 = -31*h + 37*h. Let k(t) = 8*t + 20. Let n be k(h). Is 366/4 - (-6)/n*-1 a multiple of 12?
False
Suppose 3*l + v = 4240, 0 = -5*l - 24*v + 7565 - 677. Is 59 a factor of l?
True
Suppose -4*v = 8 - 0. Let p be 5/(10/(-6)) + 200