13 - 21. Suppose -3*w + 12 = 0, 4*i - 2512 = -2*w - b*w. Is i a multiple of 52?
True
Let n(k) = k**3 + 14*k**2 - 21*k - 41. Let l be n(-17). Is 4 a factor of (-20)/(-60) + l/(-3)?
True
Suppose 0 = -0*m + 5*m - 285. Let t = m - 225. Is 21 a factor of (3/(-3))/(4/t)?
True
Suppose 7*p = -21 + 49. Suppose 12 = 4*r + v + v, -4 = -p*r + 2*v. Suppose -4*y - 40 = -b - r*y, 2*b = -5*y + 116. Does 48 divide b?
True
Let x(k) = k**2 + k - 1. Let t(q) = q**2 - 11*q + 8. Let l(b) = t(b) - 2*x(b). Let d be l(-13). Suppose d*m - 68 = 6*m. Does 3 divide m?
False
Suppose 5*h - 3*c - 541 = -1555, -387 = 2*h + 5*c. Let x = -179 - h. Is 11 a factor of x?
True
Does 15 divide 874892/30 - (-213)/(-3195)?
False
Is 3 a factor of ((-40)/6)/((-9)/2241)?
False
Suppose -2*w = 104 - 3676. Does 19 divide w?
True
Suppose -2*u + 4 + 2 = 0. Let q(z) = 290*z - 15. Let o be q(u). Suppose d - 167 = -t, 5*d - 4*t = t + o. Does 13 divide d?
True
Suppose 51 = 40*y - 23*y. Let a(s) be the second derivative of 3*s**5/10 + s**4/12 + 5*s**3/6 - 3*s**2 + 3*s. Is 12 a factor of a(y)?
True
Suppose b = -3*d + 12378, 664*d - 666*d - 4*b = -8232. Is 32 a factor of d?
True
Let q(j) = -j**2 + 6*j - 3. Let i be q(5). Let s(r) = -69 + 21*r + 59 - r**i + 64. Does 18 divide s(18)?
True
Let u(y) = -y**3 + 17*y**2 - 8*y - 186. Let n be u(16). Let i(x) = -12*x - 6. Let k be i(6). Let r = n - k. Is r a multiple of 10?
True
Let p(l) be the third derivative of 3*l**5/10 + 5*l**4/8 - l**3 + 3*l**2 - 15*l. Is 14 a factor of p(-5)?
False
Let b = 49 - 25. Suppose -11*v + 5*v + b = 0. Is 13 a factor of ((-9)/v)/((-18)/936)?
True
Suppose -4*f = -4, 3*a + 11884 = -4*f + 149945. Does 17 divide a?
True
Does 28 divide (-11 - 29)*((-48)/(-120))/((-1)/196)?
True
Suppose 7916 = 3*f + 5*q - 6*q, 5*q - 20 = 0. Suppose 0*y = 11*y - f. Is y a multiple of 60?
True
Is 31 a factor of 2/(-1)*(-7843)/22?
True
Let c(l) = -3*l**2 - 23*l - 130. Let n be c(-18). Does 5 divide (10/(-4))/(-1*(-8)/n)?
True
Suppose 10660 = -3*p + 28540. Suppose 2*l - 7*l + p = 0. Does 18 divide 4/(-22) - l/(-22)?
True
Suppose -2*m = f - 7, 4*f = 3*f + 2*m - 1. Let h be 10/(-8)*(-4 - 0). Suppose h*o = -n + 168, -2*o + 6*o + 447 = f*n. Does 17 divide n?
True
Suppose 7*h - 6*h + 5*w = -17, -2*w - 17 = -3*h. Suppose h*g - 2088 = -5*u, -4*g + 1664 = 12*u - 8*u. Is u a multiple of 21?
True
Suppose 0 = -96*f + 31033 - 2521. Does 6 divide f?
False
Suppose -30*d = -25*d - 1715. Let y = d - 222. Is 14 a factor of y?
False
Suppose 5*a - 4*a - 406 = -3*x, -2*x + 8 = 0. Does 53 divide (a - 0) + (1 - 6)?
False
Let d = 11 + 139. Let u = 50 - d. Let y = 36 - u. Is 34 a factor of y?
True
Suppose -11*h = -15*h + 32. Does 2 divide 96/h + (-11 - -3)?
True
Suppose -3 + 15 = 6*r. Suppose 0 = -4*v - v - 3*a + 52, 0 = -r*v - 3*a + 28. Is (-2)/(-8) + -2*(-715)/v a multiple of 37?
False
Let t(g) = 1066*g**2 - 100*g + 320. Is t(3) a multiple of 10?
False
Let k be (-8)/6*(21 - -3). Let m = k + 34. Suppose c + 24 = m*r + 2*c, 3*r - 58 = 4*c. Does 4 divide r?
False
Let f be 12*(-1 - (-1 - -3) - -4). Let o be (0 + 6)*4/f - -30. Suppose -o*g + 28*g + 216 = 0. Is g a multiple of 13?
False
Suppose 6*g = 21*g - 60. Suppose 3*h + h = -5*n + 47, -4*h + g*n = -20. Is 2 a factor of h?
True
Let j(c) = -c**2 - 67*c - 28. Let a be j(-15). Let i = -405 + a. Is i a multiple of 31?
False
Let v be (-3)/(-2) + (-4522)/4 + -5. Let h = v - -1608. Is 15 a factor of h?
False
Let x be (-72)/(-27) - 74/3. Does 44 divide (781/x)/((-1)/10)?
False
Suppose 4*v - 2*m - 2302 = 0, v = -4*v + 4*m + 2882. Suppose 6*s + v = 1834. Is s a multiple of 7?
True
Suppose -2*w - 2*b = -46, -4*b = -2*w - 5*b + 43. Suppose -3*f = -5 + w. Is 16 a factor of (8/(-6)*25)/(f/15)?
False
Suppose -4*m - 10968 = -4*x, x - 1336 - 1404 = 3*m. Is 88 a factor of x?
False
Let b be (32/(-12) + 4)*(-42)/(-4). Let g be -2 - ((-16)/b - -2)*-7. Suppose 0*r + 4*r + h - 32 = 0, -44 = -g*r + 2*h. Does 3 divide r?
True
Let g(a) = a**3 - 12*a**2 - 4*a - 46. Let v be g(13). Suppose 8960 = -v*k + 81*k. Is k a multiple of 64?
True
Suppose -n + 3*p = -1611, -3*n + 1934 = -5*p - 2907. Is 77 a factor of n?
True
Let b be (-1 + 1)*(-20)/60 - 209. Let u = -114 - b. Is u a multiple of 3?
False
Let w = 63 - 209. Let b = 502 - w. Is b a multiple of 45?
False
Suppose 7*y + t + 1814 = 12*y, -4*y + 6*t + 1420 = 0. Does 26 divide y?
True
Suppose 5*h = -3*c + 28465, 5*c - 52156 = -h - 4751. Does 8 divide c?
True
Let i(q) = 15*q**2 + 24*q + 24. Let s be i(-8). Let f = s - 438. Does 24 divide f?
False
Let m(h) = h**3 + 9*h**2 - 24*h + 22. Let u be m(10). Suppose -30*o + u = -1348. Does 5 divide o?
False
Suppose 3*l + 91*b = 95*b + 1295, -6 = 3*b. Is 33 a factor of l?
True
Let f(r) = 3*r + 1. Let x be f(4). Let o(l) = -31*l**2 + 18*l + 2. Let i be o(1). Let q = x - i. Is q a multiple of 24?
True
Let x be (-80)/(-48) + 823/3. Suppose -5*y + x = -1229. Does 11 divide y?
False
Let h(b) = -34 + b + 4 + b**3 - 24 + 1030*b**2 - 1033*b**2. Is h(9) a multiple of 21?
True
Suppose n = -4*c - 3, 0 = 4*n - 2*c + 82 - 16. Suppose 0 = -2*l + 4*l + 8. Does 36 divide ((-108)/n)/(l/(-60))?
True
Suppose -10*x = -126 - 224. Suppose 3*f + 4*j - 124 = 0, -j - 44 - x = -2*f. Does 11 divide f?
False
Suppose -88 = -2*h - 0*h. Suppose -8 + h = -4*r. Is (-10)/4*(-17 - r) a multiple of 10?
True
Suppose -h = -3*k - 3698, 0 = -3*h - 4*k + 4384 + 6801. Is h a multiple of 17?
False
Let s be (2/6)/(3/18). Suppose u - s*u = 2*u. Suppose -4*v + 455 = 5*t, -5 = -v - u*v. Is t a multiple of 21?
False
Let r be (-34)/4*(-4 - (-5 + 3)). Suppose -r = -5*y + 93. Does 22 divide y?
True
Let g = -434 + 437. Suppose o = g*i - 2030, 8*i + 5*o - 2054 = 5*i. Does 18 divide i?
False
Let n(x) = 2 + 19*x + 2*x**3 - 9*x + 8 + 13*x + 2 + 16*x**2. Does 19 divide n(-5)?
False
Let s(u) = 55*u + 12. Let c be s(4). Let j = 456 - c. Suppose j = -9*b + 11*b. Is b a multiple of 18?
False
Let k = -1648 + 6350. Does 37 divide k?
False
Let r = -2114 + 5078. Is 39 a factor of r?
True
Let q be (16/2)/(-4) + (-1 - -6). Suppose 3*s = 3*o - 2*s - 719, -2*s + 733 = q*o. Does 9 divide o?
True
Suppose 7*m - 5*y = 12*m - 151965, 3*y = 2*m - 60826. Is m a multiple of 301?
True
Let y be 3 + ((-150)/(-40) - (-2)/8). Let p = -25 - y. Let x = p - -44. Is x a multiple of 7?
False
Is 25 a factor of (1236/11)/((-66)/(-1089))?
False
Suppose 813 = -2*x + 4077. Suppose 6*n - 1440 = x. Does 32 divide n?
True
Suppose 149*v = 284*v - 146*v + 100276. Does 14 divide v?
False
Let x(p) = 27 - p + 5*p + 10. Let y(q) = q + 17. Let l be y(-5). Is x(l) a multiple of 17?
True
Let u = 36533 + -21233. Does 17 divide u?
True
Is 343196/40 + 44/440 a multiple of 37?
False
Suppose -327 - 207 = -6*r. Suppose -n + 34 + 43 = -4*t, r = n - t. Is n a multiple of 19?
False
Suppose -7360676 = -209*s + 3885196. Is 57 a factor of s?
True
Suppose 5*s = 4*g - 28, -9*g + 12*g - 2*s = 14. Suppose -g*m = 5*y - 51, 3*m = 5*y - 6*y + 70. Is 9 a factor of m?
False
Let d(m) = m**2 - 40*m + 46. Let v be d(30). Let y = 343 + v. Is 7 a factor of y?
False
Let r(t) = 4*t**2 - 13*t - 20. Let h be 3/(2/5 + (-6)/(-60)). Let v be r(h). Suppose -4*p + v = -850. Does 16 divide p?
True
Suppose 0 = 3*f + 4*y - 4652, 8*y = 3*f - y - 4665. Is f a multiple of 33?
False
Let v(c) be the second derivative of -197*c**7/840 - c**6/180 + c**4/24 - c**3/3 + 15*c. Let p(m) be the second derivative of v(m). Does 14 divide p(-1)?
True
Let j(t) = 10*t + 46. Suppose 4*f - 20 = -9*o + 4*o, 0 = 3*o + 5*f - 25. Is 4 a factor of j(o)?
False
Let i be 2/(-3) - ((-3198)/18)/13. Suppose 16*n - 2*r - 696 = i*n, -4*r + 1138 = 5*n. Does 46 divide n?
True
Let d(o) = -o**3 - 9*o**2 - o - 4. Let g be d(-9). Let l(x) = 184*x - 13. Let f be l(g). Suppose f - 97 = 10*p. Is p a multiple of 27?
True
Suppose -69*i + 160792 = -59219 + 2661. Is i a multiple of 63?
True
Let w(p) be the third derivative of 103*p**4/24 + 47*p**3/6 + 11*p**2. Let g(l) = -69*l - 31. Let m(h) = -7*g(h) - 5*w(h). Does 13 divide m(-6)?
False
Let s = -26 + 31. Let i be 1 + (-85 - 5/s). Let t = 5 - i. Is t a multiple of 10?
True
Is 16 a factor of (1216/(-95))/(2 - 6456/3225)?
True
Suppose 0 = -c + 2*c - 3. Suppose 3*g + c*g = 12. Is 18 a factor of (-18)/g*(-9 + -4)?
False
Let z be ((-18)/4 - -3)/(1/(-8)). Let a(g) = -13*g**2 + 19*g - g + z*g**2 + 18. Is 