ppose z*m - 243 = 201. Is 27 a factor of m?
False
Let i(d) = 2273*d + 388. Is i(4) a multiple of 79?
True
Suppose 0 = -12*u + 10*u - 530. Let n be 310/(-93)*(-618)/(-5). Let z = u - n. Is 21 a factor of z?
True
Suppose 4*l - 3*j - 22622 = 0, -42*j + 5656 = l - 43*j. Is 175 a factor of l?
False
Let f be 2 + (-4)/(8/(-62)). Let j be f/(-4)*(-256)/48. Let g = j - 20. Is 6 a factor of g?
True
Let r(s) = -s**3 + 14*s**2 + 6*s - 44. Let l be r(14). Is 2 a factor of (24/l)/(1/345)?
False
Suppose -10 = 2*r, 4*u + 2*r + 0*r - 2 = 0. Suppose 193 = 5*p - 3*m, -6*m + u*m - 41 = -p. Is p a multiple of 3?
False
Let z(p) = p**3 + 9*p**2 + 16*p + 21. Let a be z(-8). Is 5 a factor of (a + 3)*3/(4 + -5)?
True
Let r = 35 - 179. Let i = r + 152. Is 6 a factor of (4 - (44 + i))*(-7)/4?
True
Does 5 divide 1580/2 - (111 - 96)?
True
Let b(o) = o + 24. Suppose -2 + 5 = -3*a, a = 4*j + 147. Let h = j + 23. Is b(h) a multiple of 10?
True
Suppose -200*f + 201*f = 2150. Does 5 divide f?
True
Suppose -5*s - 14*f + 10*f = -1157, 0 = 3*s + 3*f - 693. Let u = s + -165. Is 8 a factor of u?
False
Suppose -71*f + 67*f = -160. Let s be (-5)/((-125)/(-30))*f. Does 31 divide ((-69)/s*4)/(1/20)?
False
Let n(m) = 1335*m + 188. Does 41 divide n(2)?
False
Suppose -911*a = -4*t - 914*a + 1074, -5*a = -3*t + 762. Does 6 divide t?
True
Let l = 24 + -21. Suppose 91 - 31 = -l*u. Let w(b) = b**2 + 12*b - 34. Is 9 a factor of w(u)?
True
Let l(y) = 6*y - 6*y - 1257 - y**2 + 1259 - 2*y**3 - 12*y. Does 6 divide l(-4)?
True
Let q = -27225 + 40257. Is q a multiple of 6?
True
Let f(j) = -5*j - 8. Let v be -2*2/2 - (1 + -1). Let x be f(v). Suppose 5*p + x*d = 27, 3*d - 4 = -2*p - 2. Does 2 divide p?
False
Suppose -3*a - 4*k = -0 - 2, 3*k = -a - 1. Suppose -5*w - 4*h = -2*h + 67, 0 = a*w + 4*h + 14. Let c = 3 - w. Is 7 a factor of c?
False
Is 109 a factor of (-70551)/(-99) + (-28)/(-77)?
False
Suppose 10*w = -9*w - 582008. Is 13 a factor of (-2)/19 + w*1/(-38)?
True
Let l be -12*((-9)/(-16))/(1/(-36)). Suppose f + l = -688. Is 9 a factor of 6/15 - f/35?
True
Let l(o) = 46*o + 123. Let h be l(-6). Let z = h + 343. Is 41 a factor of z?
False
Let j be (-7 + 8/(-24))*(-9)/(-6). Suppose 3*b - 10 = 5*b. Let s = b - j. Does 5 divide s?
False
Let y(f) = f**3 - 7*f**2 + 7*f - 13. Let g be y(6). Let k(d) = -159*d**3 + d**2 + 2*d + 1. Let o be k(-1). Let l = o + g. Is l a multiple of 19?
True
Let n(i) = 32*i**2 - 532*i + 68. Let a(y) = -13*y**2 + 213*y - 27. Let m(u) = -12*a(u) - 5*n(u). Is 21 a factor of m(25)?
True
Does 14 divide -2*(3 - (405 - -4))?
True
Suppose 10*z + 284*z = -44*z + 8838700. Is 8 a factor of z?
False
Let m be (18/12)/((-45)/12)*75. Is 50 a factor of (-20082)/m + 132/(-30) + 4?
False
Suppose 0*r = -4*w + 2*r - 280, -196 = 3*w + 2*r. Let i = -103 - w. Let s = 65 + i. Is s a multiple of 10?
True
Let q(k) = 1415*k + 8689. Is q(-4) a multiple of 14?
False
Does 74 divide 12*(-4443)/(-6)*50/75?
False
Suppose 3060 = -4*k + 7*k. Suppose -227*r = -228*r + k. Does 30 divide r?
True
Let t = 55 - 59. Let c be 215/(-20) + t/16. Let d(k) = -13*k + 49. Is 44 a factor of d(c)?
False
Let u = 6424 - 3500. Does 17 divide u?
True
Suppose -5*v + 2*v + 3496 = 4*s, 4*s = 3*v - 3464. Is 8 a factor of v?
True
Let q(f) be the second derivative of -f**5/20 - 17*f**4/12 - 23*f**3/6 - 11*f**2 + f + 32. Is q(-16) a multiple of 45?
True
Let i be (-9)/72 + (-11471)/8. Is (-408)/(-340) - i/5 a multiple of 16?
True
Suppose u - 44 + 12 = -2*a, 32 = 2*a - 3*u. Let z = -14 + a. Suppose -b + z*b = 28. Is 7 a factor of b?
True
Suppose 0 = 250*d - 334*d + 1388016. Is d a multiple of 243?
True
Let j(u) = 5052*u**2 + 4. Is j(-1) a multiple of 16?
True
Suppose 2*f = 2*x - 2, 3*f = -4*x - 0*f + 18. Let v be 1/x - 1127/(-21). Let u = v + 29. Does 24 divide u?
False
Suppose s - 10*g - 901 = -7*g, 2*g = -2*s + 1826. Suppose 0*f = -4*f - 2*r - s, -4*r = -20. Let m = 417 + f. Does 17 divide m?
True
Let i = 79 - 76. Suppose -5*w + 33 = 3*q, i*q + 2 = 5. Suppose w*b - 66 = 3*b. Does 11 divide b?
True
Let x = -37 + 42. Let p(l) = l**3 - 6*l**2 - 3*l + 7. Let k be p(x). Let f = k - -45. Is 12 a factor of f?
True
Let k(d) = -2*d**3 - 26*d**2 - 41*d - 184. Does 29 divide k(-24)?
False
Suppose 3*k = -4*h + 2064, -3*h - 20 - 694 = -k. Is 35 a factor of k?
False
Let c(s) = 138*s**2 - 49*s + 28. Does 68 divide c(12)?
True
Let j(p) be the third derivative of -17*p**4/12 - 2*p**2 + 34*p. Is j(-5) a multiple of 16?
False
Suppose -12286 = -4*p + 2*i, 3*p - p - 6140 = 4*i. Suppose -7*h - p = -23*h. Does 12 divide h?
True
Let l(c) = c**2 - 12*c + 3. Let o be l(12). Suppose -2*b + 32 + 46 = 0. Suppose 2*i - 115 = -5*k, -2*k + 18 = o*i - b. Does 14 divide k?
False
Let j = -56 - -20. Let x be (15 + -1)*(-54)/j + 4. Suppose -300 = x*r - 30*r. Does 3 divide r?
True
Let m = 782 - 780. Suppose -m*b + 344 = -4*i, -5*b = 6*i - 4*i - 848. Does 17 divide b?
True
Let v(n) = n**3 + n**2 - 1. Let k(i) = 6*i**3 + 7*i**2 - 4*i + 4. Let q(h) = k(h) - 5*v(h). Suppose 0 = 3*b, -p = 3*b - 4 - 0. Is q(p) a multiple of 28?
False
Suppose -l - 19 = -5*k, 5 - 3 = -2*k - 2*l. Suppose k*x + 98 = 413. Let o = x + -33. Is 9 a factor of o?
True
Is 93 a factor of (-60279)/(-6) - (-13 + 273/26 + 5)?
True
Suppose 158*d = 135*d + 42688. Does 58 divide d?
True
Suppose m + 0*s = -5*s + 33, 0 = -m - 2*s + 48. Suppose m*c - 53*c - 335 = 0. Does 38 divide c?
False
Let j(l) = 12*l**2 - 8*l - 20. Let c be 4/(-2)*(-60)/(-40). Is j(c) a multiple of 7?
True
Is 83 a factor of (3591913/(-884))/((-3)/12)?
False
Suppose 2*k + 102 = -70. Let x be ((-12)/(-8) + -2)/(1/k). Suppose 0 = c - x - 27. Is 5 a factor of c?
True
Suppose 20*u = 18*u + 64. Is (12/10)/(u/2320) a multiple of 12?
False
Suppose u - 2 = -8. Let t be ((-3)/u)/((-1)/(-30)). Suppose 177 + t = 3*m. Is m a multiple of 28?
False
Let w = -281 - -160. Let p be (2 - (w + 2)) + 3. Suppose p + 107 = 7*d. Does 2 divide d?
False
Suppose -15*n + 8*n + 12048 = n. Is n a multiple of 4?
False
Suppose k = -4 + 12. Let i be k/(-6)*(31/(-2) + -1). Let u = i + -4. Is u a multiple of 6?
True
Let j(i) = 3*i**3 + 8*i**2 - 14*i - 25. Let f(v) = 2*v**3 + 9*v**2 - 15*v - 26. Let c(n) = 5*f(n) - 6*j(n). Is 13 a factor of c(-3)?
True
Let j = 12 + -15. Let w(r) = r**2 - 20*r - 27. Let m be w(21). Is m/j + (5 - -74) a multiple of 27?
True
Let s = 313 - 205. Let c = s - 48. Is c a multiple of 4?
True
Let z be 8 + 24 + -2*6/(-4). Let d = 212 - z. Does 30 divide d?
False
Suppose 3*z - 3*k = -618, -2*k - 2*k = 5*z + 1003. Let c = z + 425. Does 37 divide c?
True
Let g be (-140)/49 + 8/(-7) + 1. Does 3 divide 1/(((-5)/(193 + g))/(-1))?
False
Let k(c) = -c**3 + c**2. Let j be k(1). Let h = j + 6. Let s(u) = -u**2 + 14*u - 6. Is s(h) a multiple of 8?
False
Let n be -14*3090/(-2415) + -18 + (-1263)/23. Suppose 0 = -5*o + 2*o - 198. Is 42 a factor of (-18745)/n + 2/o*-6?
False
Let c be (((-204)/(-9))/1)/(2/33). Suppose 3*d = 181 + c. Is d even?
False
Is 4 a factor of (1 - 14/12) + (-1421980)/(-168) + -8?
True
Suppose -8*v = -19*v - 59*v + 47250. Does 9 divide v?
True
Let n(f) = 3*f + 14. Let k be n(-4). Let p(d) = 19 + 16 + d**k - 42. Is p(5) a multiple of 9?
True
Suppose 3*k = -0*k + 12, -4*u = -k - 18140. Suppose -u = -33*f + 21*f. Is f a multiple of 14?
True
Let h(i) = i**3 + 15*i**2 - 17*i + 11. Let z be h(-16). Let t = z - -1. Is 4 a factor of t?
True
Let v(g) = 4*g**2 - g - 4. Let z be 162/72 + ((-1)/4 - 0). Does 5 divide v(z)?
True
Let q(s) = -220*s - 16032. Is 89 a factor of q(-102)?
True
Suppose -4*j + 16*j = 13836. Suppose 5*t - j = -4*g, -g + 2*g + 1143 = 5*t. Is 22 a factor of t?
False
Suppose -3*s = s + 3*d - 27698, d + 20767 = 3*s. Does 33 divide (-3)/(-18) + s/42?
True
Suppose 9*d - 63 = 2*d. Does 12 divide ((-72)/(-10))/(d/(-585)*-13)?
True
Suppose -5*w + 548 = -2307. Let s = -385 + w. Does 73 divide s?
False
Suppose 11*m + 12371 = 42458 + 16498. Is m a multiple of 66?
False
Let c = 37 + -35. Suppose -c*z = 4*a - 136, 304 = 3*z + 2*z + a. Is 2 a factor of z?
True
Let f = -48 + -7. Let j = f - -110. Does 34 divide j + 2 + (-11 - -6)?
False
Let q be (1 - 16)*(-2)/(-3). Let k(m) = m**2 + 13*m + 55. Is 8 a factor of k(q)?
False
Suppose 2*x = -4, 2*d - 2*x - x = 52. Suppose -4*g + g + d = 2*a, 0 = -3*g + 4*a - 1. Suppose k + g*l - 59 = 0, 0*k + 105 = 3*k - 3*l