08). Suppose -1812 = -9*s + u. Is 19 a factor of s?
False
Let n(v) = v**2 + 12. Let w be n(0). Let y be -20*(2/w)/(5/(-15)). Is (15/y + -2)*28/(-2) a multiple of 4?
False
Let q be -5*1/((-20)/24). Let l be (5/(-4))/(q/(-1872)). Suppose 0 = -5*y - 2*s + l, -s - 2*s + 145 = 2*y. Is y a multiple of 16?
True
Let g(d) = -3*d - 1. Let z be g(-2). Suppose -141 = 3*i + 5*h, i + 0*i + 37 = -z*h. Let p = i + 70. Does 13 divide p?
False
Let k be (2/(-2) + 2)*28. Let m be (-20)/35 + 268/k. Is 74/m - 8/36 a multiple of 6?
False
Let p(z) = -1670*z**2 - 3*z - 4. Let k be p(-1). Let o be k/(-15) + ((-44)/10 - -4). Suppose 0 = 4*w - 3*t - o, -2*w + 9 = 2*t - 29. Is w a multiple of 12?
True
Let b(d) = 91*d + 1731. Is b(13) a multiple of 11?
False
Is 23 a factor of ((-2190)/(-584))/(2/1848)?
False
Let f(h) = -h**2 + 10*h - 5. Let a be f(9). Suppose -g = 2*l - 69, l = 4*g - 0*l - 231. Suppose -a*v = -241 - g. Does 25 divide v?
True
Let x(w) be the second derivative of w**5/20 + 3*w**4/4 + 7*w**2/2 - 151*w. Let z(o) = o**3 - 5*o**2 + 2*o + 3. Let b be z(3). Is x(b) a multiple of 2?
False
Suppose 54 = 2*y + 30. Suppose -2*p = q - 54, -14*p = 3*q - y*p - 166. Is 4 a factor of q?
True
Suppose 50*m + 45*m = 251085. Is 10 a factor of m?
False
Suppose 21*r + 13586 = 22*r - 5*s, 3*s + 109021 = 8*r. Is 43 a factor of r?
True
Suppose 2*c = -n - 2*n + 224, 0 = -n + 5*c + 52. Let o(p) = -p**3 + 5*p**2 + 5*p + 10. Let a be o(6). Suppose a*r = 3*r + n. Is r a multiple of 24?
True
Let w be 1/(-6 - (-217)/35). Suppose -4*q + 278 = -w*u, 6*u = 4*q + 8*u - 264. Is q a multiple of 9?
False
Does 62 divide 27099 - 2*(7 + 36/(-8))?
True
Let g(c) = 309*c**2 - 44*c + 11. Is 13 a factor of g(2)?
False
Suppose 8*t = 23*t - 73590. Is t a multiple of 11?
True
Let c(x) = 22*x + x**3 + 39*x**2 - 6*x - 12*x**2 - 32 + 8*x. Let w be c(-25). Let j = w + -340. Is 30 a factor of j?
False
Let m(v) = -v**3 - 6*v**2 + 51*v - 51. Is m(-14) a multiple of 73?
True
Let a = -45 - 20. Let v = a - -9. Let f = v - -64. Is 3 a factor of f?
False
Let j = -29 + 32. Suppose 0 = -j*y + 2*w - 7 - 13, -4*w = 2*y + 8. Let b(l) = -l**3 - 4*l**2 + 3*l - 4. Is b(y) a multiple of 10?
True
Suppose 0 = -b + 2*l + 3*l - 15, 0 = 4*b + 3*l - 9. Suppose -4*c + 1630 - 590 = b. Suppose -3*x + r = -266, 5*r + c = 3*x + 10. Is x a multiple of 18?
True
Let r(s) = -10*s - 4*s - 6 + 18*s. Let m be r(9). Is (-6)/m - (-1381)/5 a multiple of 46?
True
Let s be ((-2)/(2/(-13)))/((-26)/(-156)). Let a(b) = -b**3 + 9*b**2 - 4*b - 6. Let c be a(6). Suppose -4*i + i + y = -c, 0 = 3*i - 2*y - s. Does 4 divide i?
False
Suppose -4*q + 4*y = -148760, y + 148751 = -1238*q + 1242*q. Is q a multiple of 41?
True
Suppose 45 = -11*v + 1. Let f be (80/(-25) + 0)*7650/v. Is (1 - (-14)/(-10))/((-18)/f) a multiple of 23?
False
Let y(w) = -24*w - 28. Let n be y(0). Is (-4 + 1348/(-14))/(6/n) a multiple of 18?
True
Suppose -35*y - 170*y = 41*y - 6797226. Does 10 divide y?
False
Suppose -36*h = -147*h + 43797 + 328275. Is h a multiple of 18?
False
Let m = 97 - 92. Let a be (2/(-15)*m)/(4/42). Does 15 divide a - -3 - (8 - 72)?
True
Let r = -14799 + 26962. Does 40 divide r?
False
Suppose 0 = -3*g + 5*t + 116, 5*g - 180 = -4*t + 9*t. Is 38 a factor of (g/(-10))/(9 + 901/(-100))?
False
Let r(b) = 2*b**3 + 8*b**2 + 18*b - 4. Let o be r(8). Suppose -o - 1938 = -13*g. Suppose 1808 - g = 10*t. Is t a multiple of 9?
True
Suppose -63*l + 60*l = -15. Suppose 3*p + 3*t = -0*p + 3372, l*p = -t + 5636. Does 12 divide p?
True
Suppose 6*y - 78 = 90. Suppose -y = 4*v - 2*r - 336, -2*v + 2*r = -154. Let q = -29 + v. Is 6 a factor of q?
True
Let b(p) = -50*p - 78. Let f be b(-21). Suppose f*c = 984*c - 2340. Is c even?
False
Suppose -4*t - 6 = 5*z, 2*z = t + 4*t + 24. Let j(h) = -6*h**3 - 2*h**2 - 4*h + 10. Does 14 divide j(t)?
True
Let x(g) = g**2 + 15*g - 22. Let o be x(-17). Suppose o = 5*c + 5*z + 2, 0 = 4*c - 3*z - 8. Suppose p = -4*a, -2*p = -c*a - 42 + 12. Does 4 divide p?
True
Let z(d) = d**2 - 24*d - 1720. Does 10 divide z(-126)?
True
Suppose 3*n - 385 = -8*n. Let t be ((-8)/5)/((-2)/n). Is 37 a factor of 1269/6*t/21?
False
Let u = -312 - -313. Is 14 a factor of ((-2480)/24)/((-10)/6 + u)?
False
Let w = -55 + 58. Let o be (-10)/35 - (-28659)/(-21). Is o/(-25) + w/(-5) a multiple of 9?
True
Let b = -335 - -342. Suppose 4*j + 398 = 2*x, -2*j + b - 5 = 0. Is x a multiple of 61?
False
Let y = -16797 - -17453. Does 2 divide y?
True
Let b(d) be the third derivative of -d**4/24 - 2*d**3/3 - 2*d**2 - 431*d. Suppose -4*n = -3*a - 0*n - 58, 0 = -a + 5*n - 23. Is 4 a factor of b(a)?
False
Let w(o) be the second derivative of -17*o**5/20 - 5*o**4/12 - 4*o**3/3 - 3*o**2 - 49*o. Does 21 divide w(-2)?
True
Let y(g) = -16 - 23*g + 26*g + 11*g**2 - 10*g**2. Suppose -3 = 4*r - 35. Does 18 divide y(r)?
True
Let s = 6 + -1. Let a(k) be the first derivative of k**3 - 3*k**2 - 5*k + 54. Is a(s) a multiple of 40?
True
Let v be 55*(-12)/(-8)*-2. Let z = 175 + v. Is 5 a factor of z?
True
Let b = 139 - 136. Suppose -5*f - 1616 = -7*f - 4*t, 3*f - 2412 = -b*t. Does 10 divide f?
True
Suppose 3*u + 15 = 0, -38*d + 2710 = -33*d + u. Let r = 10 + d. Is r a multiple of 51?
False
Suppose 5*t = -2*p + 3522, 40*p + 1776 = 41*p + 5*t. Is p a multiple of 3?
True
Let z be (9/4)/((-45)/(-60)). Suppose 5*g - 1875 = z*y + 3200, 2030 = 2*g - 3*y. Is 18 a factor of g?
False
Let j be 3*(8/36 - (-2)/18). Suppose 3 = l - j. Does 21 divide 2*l/(-12) - 256/(-6)?
True
Let t be 16/6*450/8. Let i(d) = -49*d - 39. Let b be i(-9). Suppose -t = 9*w - b. Does 26 divide w?
False
Let j(f) = -f**3 + 11*f**2 + 21*f - 6. Let y be j(11). Is 5 a factor of ((-8)/10)/((-693)/y + 3)?
True
Let t be ((-5 - -8) + -3)/(-1 + -1). Suppose -5*r + 20 = t, -r = -3*y + 4*y - 11. Is (-20)/y*(-2 + (-10)/2) a multiple of 20?
True
Let f be (-104)/(((-70)/175)/(26/10)). Suppose -4*h + 1760 = 3*b, 0 = -b + 4*h - 100 + f. Is b a multiple of 73?
True
Suppose 10*f - 6 = 12*f. Let n be (-2)/(4*(-3)/(-4))*f. Suppose -n*t - 4*r + 3*r + 126 = 0, 3*r = -12. Does 5 divide t?
True
Suppose -33*b + 588 = -765. Suppose -28601 = -b*n + 39664. Does 37 divide n?
True
Let b be (-162)/(-4 + (5 - (-25)/(-10))). Let o = 526 - b. Does 19 divide o?
True
Let j = 6923 + -4768. Suppose -600 + j = 5*d. Is 28 a factor of d?
False
Suppose 2*d = 2*f + 3090, 8*d = 7*d - 2*f + 1530. Is d a multiple of 14?
True
Let n(w) = -2*w**3 - 4*w**2 + 3*w - 4. Let l be n(-7). Let z = -374 + l. Is 2 a factor of z?
False
Suppose -2*h = -b - 25924, 2*h - 10919 = 2*b + 14997. Is 9 a factor of h?
False
Let x = -69 + 81. Let p be x/(-8)*(96/(-9))/2. Is 2/p - 323/(-4) a multiple of 31?
False
Suppose 0 = -5*x - 25, 5*q - q = -3*x + 193. Let g = 3 - 0. Suppose -g*u + 124 = 4*v, -2*v + 7*v = 2*u - q. Is 18 a factor of u?
True
Let j = 335 + 66. Let p = j - 341. Is p a multiple of 8?
False
Suppose -176*q + 1517636 - 435412 = 0. Is 51 a factor of q?
False
Let v(p) = 2*p**3 - 4*p**2 + 8*p - 6. Let w be -3*3/(-36)*20. Suppose 5*b = 5*l - 6 - 4, w*b = -4*l + 17. Is v(l) a multiple of 18?
True
Let j be -7 + ((-51)/(-15) - (-2)/(-5)). Is (-7)/((-26)/16 + (-6)/j) a multiple of 14?
True
Let u(k) = -5*k**2 - 104*k - 21. Does 91 divide u(-14)?
True
Let j be (-3 - (-923 + -5)) + 3. Suppose -3*a - 12*k + 696 = -10*k, -k - j = -4*a. Is 8 a factor of a?
True
Let q = 48 + -89. Suppose -24*o + 3197 = 221. Let y = o - q. Does 15 divide y?
True
Suppose 5*l = 24 + 46. Let v = l + 69. Suppose -2*c = -v - 181. Does 12 divide c?
True
Suppose -5824 + 296 = -9*i + 4*f, i - f = 617. Is 9 a factor of i?
True
Let o(l) be the first derivative of l**4/2 - 2*l**3 - 5*l**2/2 + 5*l - 34. Does 4 divide o(6)?
False
Let x(i) = 3*i**3 - i**2 + 47*i - 189. Is 2 a factor of x(5)?
True
Let q = -107 - -118. Suppose 3*c = -q*o + 10*o + 1488, 0 = -c + 5*o + 496. Does 62 divide c?
True
Let x(d) = 114*d**2 + 299*d + 3369. Does 17 divide x(-11)?
False
Let i = 515 - -508. Is i a multiple of 19?
False
Let y(d) = -6*d - 28. Let f be y(-5). Suppose 112 = 2*v - 2*j, -5*v + f*v = -4*j - 173. Is 3 a factor of v?
True
Let r = 25026 + -13319. Is 13 a factor of r?
False
Let n be (-3685)/(-55) + -4 + -1. Let m be ((-30)/25)/((-4)/50). Let d = n + m. Is 31 a factor of d?
False
Suppose 20*y - 25*y + 28908 = 39*y. Is y a multiple of 4?
False
Let h = 7402 +