y - 42*y - 9, 3*j - 4710 = 2*y. Does 224 divide j?
True
Let t be -436 + (20/5 - 4). Let p be -84*(-4)/(-9)*-3. Does 14 divide 12/(t/p - -4)?
True
Suppose 0 = 7*z + 3916 - 346. Let o = z + 1031. Does 22 divide o?
False
Is 147 a factor of 6/(-1) + (12775 + -9 - -5)?
False
Let w(j) = -1241*j - 1637. Is w(-11) a multiple of 177?
False
Let n = -2159 - -2875. Does 2 divide n?
True
Is 171 a factor of (1 + 0)/(40/160) - (-3 - 2387)?
True
Suppose 2*q - 19*q + 3*q = -52794. Is q a multiple of 9?
True
Let l(b) = -b**3 - 16*b**2 - 16*b + 9. Let y be l(-15). Suppose -4*x + y = 2*x. Is 5 a factor of (-3)/(-12)*x - -20?
False
Let u = 689 + -401. Suppose 27*p + u = 23*p. Let k = p + 101. Is 5 a factor of k?
False
Suppose 0 = 8*l - 4*l + 32, -i + 32697 = 2*l. Does 65 divide i?
False
Does 8 divide ((-4)/3)/(12/128196*(-24)/16)?
True
Suppose -10*k = -4*j - 13*k + 604, k + 774 = 5*j. Does 11 divide j?
True
Let x(q) = 7*q**2 - 3*q + 12. Let a be x(6). Suppose -5*y + a = o, -5*y + 80 = 2*o - 397. Is o a multiple of 21?
True
Let l(y) be the first derivative of -7*y**2/2 + 726*y + 12. Does 33 divide l(0)?
True
Let u(d) = -d**3 - 3*d**2 + 4*d + 8. Let x be u(-4). Let i be -3*x/(-3) - (-1)/1. Suppose -3*m = -i, 4*v - v - 165 = -3*m. Does 7 divide v?
False
Suppose -3*p + 8*p - 2*o = 1906, 0 = 3*p + 2*o - 1150. Let v = p - 370. Is 3 a factor of v?
True
Let a be -2 + (-5)/(-10)*30. Let z(h) = 1 + 2 + 3 + a*h - 3*h**2 + 10*h**2. Is 29 a factor of z(-5)?
True
Let f be -5 + 6 + (8 - -4)/4. Let l(n) be the first derivative of -2*n**3/3 + 8*n**2 - 5*n + 1. Is l(f) a multiple of 26?
False
Let m = -55 + 100. Let w = -35 + m. Is 15 a factor of 2030/16 + w/80?
False
Let w(p) = p - 1. Let b(m) = -18*m - 15. Let n(c) = b(c) - 5*w(c). Let v be n(-5). Suppose v = 9*f - 1020. Is f a multiple of 13?
False
Let f = -4429 - -10662. Is 15 a factor of f?
False
Let k(z) = -1530*z + 8203. Does 13 divide k(0)?
True
Let o = -2382 - -4932. Is o a multiple of 75?
True
Suppose 0 = h + q - 39704, 0 = -2*h - 6*h - q + 317681. Is h a multiple of 230?
False
Is 17 a factor of (9432/(-32))/(-9)*228?
False
Let t(h) = 5*h**2 - 15*h - 76. Is 36 a factor of t(-23)?
False
Suppose 128813 = 35*v - 153497. Is v a multiple of 74?
True
Suppose j - 3*k - 18 = 78, -5 = -k. Is j a multiple of 3?
True
Let a be 302480/720 + (1 - 10/9). Suppose 0 = b + 4*b - a. Does 12 divide b?
True
Let p(a) be the second derivative of -a**5/20 + 7*a**4/12 + 11*a**3/6 - 2*a**2 + 2*a - 18. Suppose 0 = 3*x - 7*x + 32. Is p(x) a multiple of 5?
True
Suppose g + 335 = 2*s - 0*g, -5*s - g + 841 = 0. Suppose s = -4*y + 8*y. Suppose -7*t = -10*t + y. Is 11 a factor of t?
False
Suppose -g + 80 = 9*g. Suppose -13*h + 630 = -g*h. Is h a multiple of 14?
True
Let v = 220 - 196. Suppose -8*j + 3*j - 33 = -3*r, 2*j = 3*r - v. Is 3 a factor of r?
True
Does 28 divide (-28)/(-35) + ((-2)/(-7) - (-1284972)/210)?
False
Suppose 2*h - 8419 = g, -2*h - 4*g + 7848 = -566. Does 61 divide h?
True
Let g = -136 - -130. Let u be 3/6 + g/(-4) - -20. Suppose k = 4 + u. Is 7 a factor of k?
False
Suppose -7*o = 173 - 222. Suppose 9*b - o*b - 406 = 0. Is 7 a factor of b?
True
Suppose 4*j + u = 4070, 2*j - 2*u - 2026 = 2*u. Suppose -49*g + 3*r = -54*g + 2532, -j = -2*g + 3*r. Is g a multiple of 21?
False
Suppose 21*l - 32 = 5*k + 18*l, 3*k = 3*l - 24. Is 28 a factor of (272/85)/(k/(-560))?
True
Let d be (768/20)/((-6)/(-100)). Suppose 4*j + 27*w = 30*w + 17, 17 = 3*j + 2*w. Suppose -5*n + d = j*s, -2*n = -5*n + 4*s + 391. Does 8 divide n?
False
Let h be (-32 - -2)*(-152)/24*22. Suppose 10*b - h = -b. Does 30 divide b?
False
Let d(c) = -c + 29. Suppose 5*g = -2*h - h + 17, h = 4*g. Suppose -h*m - 4 = -5*m. Is d(m) a multiple of 4?
False
Suppose 25*q = 35 + 15. Let o(v) = 6*v**3 - 5*v**2 - 2 + 3*v + 5*v**2. Does 4 divide o(q)?
True
Suppose 4*j - 18 - 434 = 0. Suppose -12*b - 437 + j = 0. Let k = 37 + b. Is 2 a factor of k?
True
Suppose 3*m = 5*s - m + 895, -4*s + 5*m = 725. Is 58 a factor of 3/(2 - 3) + (2 - s)?
True
Let q(i) = 6061*i + 1748. Is q(4) a multiple of 76?
True
Suppose -3*j - w = -6960, 7275 - 279 = 3*j - 5*w. Is 20 a factor of j?
False
Suppose 16*d - 1172 + 20 = 0. Does 13 divide 2/(-12) + 60492/d?
False
Suppose 5*w = -2*m + 97292, 3306*m - 4*w + 97298 = 3308*m. Does 276 divide m?
False
Let o be (1/(-3))/((-39)/43641). Suppose 0 = 3*v - o - 188. Is v a multiple of 17?
True
Let c be -292 + (2 - -6)/4. Let z = -170 - c. Does 12 divide z?
True
Let c(u) = -u**3 + 14*u**2 - 34*u + 2. Let w be c(11). Let t(x) = -x**3 - 7*x**2 + 16*x - 4. Is t(w) a multiple of 2?
True
Let g(c) be the second derivative of -17*c**4/3 - c**3/6 - 3*c**2/2 - c. Let x(a) = -339*a**2 - 4*a - 16. Let v(t) = -11*g(t) + 2*x(t). Does 17 divide v(-1)?
True
Let b(t) = -11*t**3 - 2*t**2 - 165*t + 37. Is 17 a factor of b(-14)?
False
Let y = 82 - 79. Suppose 2*p = 4*b - y*p + 244, b + p + 70 = 0. Does 12 divide 7794/33 + 3*4/b?
False
Let k(d) = -36 + 51 - 61*d - 5*d - 18*d. Is k(-4) a multiple of 41?
False
Let d(k) = -12*k + 45. Let a be d(4). Let j(o) = 44*o**2 + 18*o + 23. Does 73 divide j(a)?
True
Suppose -2*a - 5*n - 21 = 0, -3*n - 2*n - 17 = 4*a. Suppose 2*t = 6 + a. Suppose 2*d + 308 - 1056 = -3*s, 4*s = t*d + 964. Is 15 a factor of s?
False
Suppose 27*i - 4*q + 1296 = 23*i, 0 = 4*q. Let y = 884 + i. Is y a multiple of 8?
True
Let r be (4398/(-24))/(11/(-132)). Suppose -13593 = -28*o + r. Is o a multiple of 47?
True
Let h = 107 - 264. Let b = 178 + h. Is b a multiple of 16?
False
Suppose -o - g = -41, 3*o + o - 4*g - 124 = 0. Suppose -4*k + 3*q + 547 = 0, k = -q + o + 92. Is 19 a factor of k?
True
Let x = 238 - 215. Let b = 58 - x. Is b a multiple of 20?
False
Does 90 divide 15518/(-2)*(26/(-14) + 14/(-98))?
False
Let u = 45841 - 31473. Is 32 a factor of u?
True
Let c = 5901 - 2433. Does 26 divide c?
False
Let z(d) = -d + 69. Let a be z(-20). Let p = a - 81. Suppose 0 = -2*j + p + 56. Is 8 a factor of j?
True
Does 14 divide (((-81520)/(-35))/(-1))/(21/((-147)/2))?
False
Let w(t) = -3*t**2 + 29*t - 61. Let o be w(6). Suppose -4*m = o*k - 3125, -1946 - 1174 = -5*k - 3*m. Is 23 a factor of k?
True
Let s be (5 + -1)/(44/(-20) - -2). Does 16 divide 5/s + -5 + 4628/16?
False
Let v(y) = 7072*y - 3087. Is v(1) a multiple of 26?
False
Let j = 5391 - 2043. Is 124 a factor of j?
True
Let t(g) be the first derivative of 2*g**3/3 + g**2/2 - 6*g + 545. Let h be -4*(3 - 2 - 0). Does 11 divide t(h)?
True
Let n(y) = -37*y - 104. Let r be n(-13). Suppose -8*l - r = -3401. Is l a multiple of 10?
False
Let w be (-10)/4*2*(-14508)/(-65). Suppose -f = 2 + 12. Does 10 divide 10/35 + w/f?
True
Suppose -4*m = 0, -5*m + m - 12 = -4*g. Let d(n) = g*n**2 - 13*n + 3 + 6*n - 3*n**3 + 10*n. Does 11 divide d(-2)?
True
Let s(i) = 17*i**2 - 30*i - 187. Is 62 a factor of s(-6)?
False
Let j(f) be the third derivative of f**5/12 + f**3/6 + 34*f**2. Is 27 a factor of j(-4)?
True
Suppose -5*m + 245 = -560. Let h = m - 96. Let w = h - -35. Does 38 divide w?
False
Let r(n) = 0*n**2 - 6*n - 2 + 0*n**2 + 6*n**2 - n**3 - 1. Let i be r(4). Suppose -3*o = -5*o + 3*w + 24, -i*w + 38 = o. Does 6 divide o?
True
Does 39 divide (-16782996)/(-812) + (-18)/(-14)?
True
Suppose -8*d = 10*d - 576. Does 28 divide -4 + d*4 + 1 + 1?
False
Suppose -136*k + 3*k + 11566 + 435181 = 0. Is 3 a factor of k?
False
Suppose -3*d = n + 33, 2*n - 3*d - 51 = 4*n. Suppose -2*i - 3*s - 72 = -0*i, i + s = -36. Let l = n - i. Is 9 a factor of l?
True
Suppose 0 = -n + 5*g + 1063, 4*g = n + 242 - 1306. Is 4 a factor of n?
True
Suppose 2*l - 28 = 770. Is 21 a factor of l/(2 + -4 - -3)?
True
Let u be 4/(-2) + (-8)/((-24)/(-6)). Let p(m) = -21*m**3 + 7*m**2 - 8*m - 31. Is p(u) a multiple of 11?
False
Let j(i) = 598*i**2 - 2*i + 82. Is j(7) a multiple of 178?
True
Let o(q) = q**2 - q - 7. Suppose -8*i = 23 + 1. Let a be o(i). Suppose 0 = d - 4*h + h - 87, 4*h = a*d - 391. Does 25 divide d?
True
Let s = -495 - -3780. Is s a multiple of 162?
False
Let t be (-9)/2*(-9 + -1). Let b = t - 38. Suppose 244 = 4*s + 4*c, 3*s + 3*c = b*c + 176. Is s a multiple of 9?
False
Let i(v) = 2*v**3 + 41*v**2 + 17*v - 134. Is i(20) a multiple of 34?
True
Let g(y) = 18*y**2 + y - 18. Suppose 410 - 380 = -5*d. Is 26 a factor of g(d)?
True
Let x(c) = 18*c**3 - c**2 - 12*c + 7. Is x(4) a mul