 + v*r + 52. Suppose -5*f - u = -186. Is f a multiple of 16?
True
Let i(p) be the first derivative of 31/2*p**2 + 13 + 12*p + 5/3*p**3. Does 12 divide i(-8)?
True
Let l(o) = -o**3 - 86*o**2 + 12*o - 2067. Is l(-91) a multiple of 26?
True
Let l = 4601 + -1108. Is 6 a factor of l?
False
Is 6 a factor of 36/126*(4936 - 1)?
True
Suppose -4*j = 3*o - 94571, 0*o = j - 4*o - 23619. Does 22 divide j?
False
Let m(n) = 2*n**2 - 30*n + 40. Suppose 0 = 11*r - 50 - 104. Is m(r) a multiple of 3?
True
Let u(q) = q**3 + 31*q**2 + 39*q + 20. Let l(c) = 5*c**3 + 156*c**2 + 195*c + 102. Let m(x) = -2*l(x) + 11*u(x). Does 16 divide m(-27)?
False
Suppose -3*r + 0*r - 2*t - 20 = 0, 1 = -t. Is 29 a factor of 58/((-1 - 1)*r/78)?
True
Let h = 4179 + -2595. Is h a multiple of 6?
True
Let k be 30/6 - 69/6*-2. Suppose 133 = -k*a + 35*a. Is 10 a factor of a?
False
Let t be 4/(-28)*102*7. Let v = -60 - t. Suppose v = n - 0*n. Is 21 a factor of n?
True
Let o be (-130)/(-3)*-15*(-3)/30. Is -18*6*o/(-5) a multiple of 13?
True
Let q = -8 - -12. Let f(a) = -3*a + 158. Let u(v) = -16*v + 873. Let d(l) = -11*f(l) + 2*u(l). Is d(q) a multiple of 4?
True
Let k = 1693 - 57. Let p = k - 1012. Suppose 41*w = 37*w + p. Does 13 divide w?
True
Let u(c) = 4*c**2 + 3*c - 26. Suppose -16*z + 22*z + 30 = 0. Is 5 a factor of u(z)?
False
Let x be -6*1 + 2 + 42. Let s = -19 + x. Suppose 65 - s = 2*i. Does 23 divide i?
True
Suppose 108 = -4*k - 14*k. Let m be 6693/18 - (25/k + 4). Suppose 4*i + 5*u = 827, -4*i = -u - 461 - m. Is 13 a factor of i?
True
Let a = -11410 - -16450. Is 168 a factor of a?
True
Is (-165198)/(-3) - (112 - 126) a multiple of 12?
True
Let d(w) be the third derivative of 0 + 0*w - 79/120*w**6 + 1/12*w**4 - 25*w**2 - 1/60*w**5 + 1/3*w**3. Is 13 a factor of d(-1)?
True
Suppose -q - 4*l + 7771 = 0, -q + 113*l + 7776 = 116*l. Is q a multiple of 4?
False
Suppose -104*w + 328797 + 3215 = -661708. Is 5 a factor of w?
True
Suppose -3*h + 11883 = -7*b + 3*b, -2*h = 2*b - 7936. Suppose -h = 6*t - 19*t. Does 14 divide t?
False
Let u(o) = 70*o + 510. Let t be u(-4). Suppose 5*q + 10 = 0, 4*b + q - 15 = 3. Does 28 divide t/2 - (1 + (b - 3))?
True
Let y be 48/40*(-15)/(-9). Suppose 11 = y*x - 103. Is 4 a factor of x?
False
Let h be (-6)/(-4) + (-583)/(-2) + -1. Suppose -2*x + 280 = -h. Is 22 a factor of x?
True
Let s(h) = 888*h + 1761. Is 123 a factor of s(35)?
True
Suppose 0*i = -i + 1. Suppose 5*w + i = 16. Suppose 41 + 10 = w*p. Is p a multiple of 3?
False
Suppose -3*s - 4*o = -o - 48, -2*s = -4*o - 26. Suppose b = -2*b + s. Suppose 2*i - 90 = b*x + 20, i + x = 69. Is 13 a factor of i?
True
Let y = -265 + -406. Let n = -138 - y. Is 64 a factor of n?
False
Suppose 4*c - 402 = -2*y, c - 84 - 21 = 4*y. Suppose 2*u - 94 = -5*z, -z - 109 = -4*u + c. Is 8 a factor of u?
False
Let h = 83 + -88. Does 18 divide h/(-5) + (176 - -3)?
True
Let a(r) = -r**3 + 19*r**2 - 21*r + 6. Let s be a(15). Suppose 26*y - s = 319. Is 35 a factor of y?
True
Let l(y) = -y**3 - 19*y**2 + 25*y + 104. Let x be l(-20). Suppose -x*d + 605 + 2407 = 0. Is 57 a factor of d?
False
Let l(i) = i**2 - 3*i + 6. Let p be l(3). Let z(w) = w - 7. Let j be z(9). Is 39 a factor of 468/p*1/j?
True
Let x(b) = 7 + 62 + b**2 + 3*b + 14*b - 10*b. Is x(-16) a multiple of 20?
False
Let x(q) = -q**3 + 16*q**2 + 3*q - 161. Let t = -104 - -117. Is 12 a factor of x(t)?
False
Is 29 a factor of 1536/(-576)*261/(-4)?
True
Let r = 8521 + -400. Is r a multiple of 31?
False
Suppose 2*b + 16 + 92 = 0. Let c = 21 - b. Let k = c - 14. Is k a multiple of 29?
False
Let p be (22/6)/((-3)/198). Let k = 424 + p. Suppose -12*y = -k - 226. Is 3 a factor of y?
False
Let g be (-171)/6*(-8)/3. Suppose -4*y + 5*x = g, -5*y + 2*x - 95 = 3*x. Let f(k) = k + 49. Is f(y) a multiple of 10?
True
Let p(f) = 2*f**2 - 178*f - 165. Is p(122) a multiple of 116?
False
Suppose -x + 4*u + 95 = -0, 3*u + 380 = 4*x. Let c = x + -64. Suppose 27*j + 68 = c*j. Does 6 divide j?
False
Suppose -170*y = -176*y + 26280. Is y a multiple of 10?
True
Let j = -209 + 14744. Is 47 a factor of j?
False
Suppose -3*j - 3*v - 100 = -1888, -1788 = -3*j - v. Suppose -j*f + 604*f = 9472. Is f a multiple of 20?
False
Let g(s) = -s**2 + 7*s + 38. Let t be g(-14). Let i = 268 + t. Is i a multiple of 6?
True
Suppose 41*s - 2038 = 39*s. Suppose -2*y + 666 = 2*d, -3*d + 5*d + s = 3*y. Does 24 divide y?
False
Suppose -4*s + 32 = 4*b, 4*b + 10 + 3 = 5*s. Suppose 3*x - 835 = -4*a, -3*x + b*a = 5*a - 845. Is x a multiple of 57?
True
Suppose 0 = 2725*z - 2537*z - 1624320. Does 135 divide z?
True
Suppose -6*f + 5985 = -7*f. Suppose 0 = 4*d - 2*s - 32, -4 = -2*d + 4*s - 0. Does 19 divide ((-6)/d)/(21/f)?
True
Let r = -23592 - -48745. Is 24 a factor of r?
False
Suppose 4*g - 5*m = -4, -10*g + 7*g = -5*m + 8. Is 34 a factor of (44/(-6))/(0 + g/(-222))?
False
Let f be 2/(-6) - (39/(-9) + 1). Suppose -3*t = 4*x - 183, -x + 3*x = -f*t + 93. Is 4 a factor of x?
False
Suppose 5*n + z - 23983 = 0, -3*n + 5*z = 10*z - 14403. Is n a multiple of 44?
True
Let x(k) be the first derivative of -36*k - 44 - 1/3*k**3 + 10*k**2. Is x(16) a multiple of 4?
True
Suppose 13617 = 246*b - 245*b. Does 9 divide b?
True
Let q(a) = -a**2 - 123*a + 724. Is 16 a factor of q(-52)?
True
Let r = -192 - -192. Suppose r = 7*p - 2*p - 2775. Is 49 a factor of p?
False
Does 188 divide (-137)/((-29592)/4954080) - (4/(-9) + 0)?
True
Let k(r) = 130*r**2 + 3. Let l be k(2). Let j = l + 548. Is 15 a factor of j?
False
Suppose 5*h = 5*a, 3*h - 5*h = -5*a + 9. Suppose a*l + 587 = 1445. Is l a multiple of 22?
True
Suppose -a + 2*p + p = 5, 2*p + 2 = 2*a. Suppose 0*t - 1384 = -3*k - 5*t, -2*k - a*t + 926 = 0. Is k a multiple of 63?
False
Let b be ((4 + 1)/(-5))/((-3)/15). Suppose -1851 = -3*i - b*x, 7*x = i + 9*x - 618. Let f = i - 422. Is 10 a factor of f?
True
Let z(n) = -5*n**3 - 51*n**2 - 11*n - 2. Let v be z(-10). Let l(h) = 17*h**2 - 18*h + 14. Does 55 divide l(v)?
False
Let i be 3/(0 + -6)*10. Is 8/(-10) - (0 + 339/i) even?
False
Suppose -2*c + 5*c - c = 0. Let i(j) = 2*j**2 - j - 31. Let q be i(c). Let o = 53 + q. Is o a multiple of 22?
True
Suppose 172427 + 79573 = 40*s. Is 175 a factor of s?
True
Suppose -4*v + 4*k + 335 = 1411, -4*v - 4*k = 1108. Let o = 498 + v. Does 9 divide o?
True
Let x(z) = 91*z + 6725. Does 146 divide x(-37)?
True
Let t(l) = l**2 + 5*l + 8. Let f be t(-4). Suppose -6*g + 654 = -f*g. Suppose -g = -8*q + 249. Does 36 divide q?
True
Suppose -3*j + 29*j = -7900 + 26932. Is 61 a factor of j?
True
Let l(t) = 4662*t**2 - 300*t - 2. Does 43 divide l(-2)?
False
Let r(d) = -d**3 - 13*d**2 + 27*d + 36. Let q be ((-17)/51)/(-2 - 230/(-114)). Is r(q) a multiple of 23?
False
Is 13 a factor of 2 - 17 - 27840/(-8)?
False
Let c = 3415 + -2147. Does 19 divide c?
False
Let d be ((-2)/(-1))/((25/265)/5). Let p = -91 + d. Is 37 a factor of ((2 - 2)*1 + p)*17?
False
Suppose k + 4 = 0, 4*v + v + 3*k = -72. Let d be ((-101)/(-4) - 2)/((-1)/v). Suppose -r + 140 = n, 0*r - 2*r - n = -d. Is r a multiple of 23?
False
Let t(d) = d**2 + 11*d + 18. Let x be t(-9). Let v be -26 + (-2 - -4) + x. Is 8 a factor of 8/v*(1 + -97)?
True
Let r(v) = -v**2 + 6*v + 10. Let d be r(7). Let f be 3 - (-393 + (0 - 4)). Suppose -n + d*o - 375 = -4*n, 2*o = 3*n - f. Is n a multiple of 26?
True
Let d(r) = -r - 6. Let m be d(-8). Suppose -t - 220 = -2*t - l, 3*l = -m*t + 440. Suppose -14*o - t = -16*o. Is o a multiple of 19?
False
Suppose 12*u = 5*g + 10*u - 59608, 5*g - 59612 = 3*u. Is 16 a factor of g?
True
Suppose 0 = 116*l - 109*l - 291886. Suppose 48*z = -l + 113506. Is 88 a factor of z?
True
Suppose 5*k - 15 = y, 2*y + 3*k - 9 = y. Let i be 30/(-10) + (-1 - -9). Suppose y = i*f - 4*f - 19. Does 4 divide f?
False
Suppose -18*b - 91669 = -47*b. Suppose -b = -4*p + 1835. Is p a multiple of 15?
False
Suppose -40 = 45*g - 53*g. Suppose -2*a = 5*v - 771, -885 = -g*v - 3*a - 116. Is v a multiple of 12?
False
Let z(h) = -47*h + 2. Is z(-40) a multiple of 21?
False
Let u(w) be the first derivative of 17*w**2 - 4*w - 11. Let h be (-2)/(-12)*(6 - -12). Is u(h) a multiple of 14?
True
Let r(w) = 2*w**3 - 12*w**2 - w + 24. Let j be r(8). Suppose -224 + 80 = p. Let i = j + p. Is i a multiple of 24?
False
Let c be ((-20)/(-5) + -2)*245/2. Suppose -130 = -2*n - 2*o, -2*n + o + c