l). Let y = 68 - x. Does 5 divide y?
True
Let u(p) be the first derivative of 8*p**2 + 17*p + 2. Suppose c + 102 - 108 = 0. Is u(c) a multiple of 10?
False
Suppose 4*n = v - 2*v + 1985, -2*n + 996 = 4*v. Suppose 10*b - 5*b = k - 141, 4*k = 3*b + n. Is 14 a factor of k?
False
Suppose 295*o - 292*o = -9. Is 1060 + o + (2 - -6) a multiple of 15?
True
Suppose 31*r - 784 = 29*r. Suppose 5*f - 2*s = 1038, -4*f + r = -5*s - 435. Is f a multiple of 3?
False
Let w(u) be the first derivative of u**4/4 + 3*u**3 + u**2/2 + 9*u - 11. Let n be w(-9). Suppose -5*g = v - 780, -5*g + 795 = -n*v + 4*v. Is 23 a factor of g?
False
Let y be -1 + 4 + -2 + (7 - 8). Let w be (6 + -1)*114/10. Suppose y = 62*u - w*u - 360. Is u a multiple of 9?
True
Let j = 845 + 521. Does 50 divide j?
False
Let t = -150 - -129. Let v = 4 + t. Let j(d) = -12*d + 12. Is 9 a factor of j(v)?
True
Let b(n) = 650*n - 10372. Does 88 divide b(28)?
False
Is (512 - 1)*792/231 - -3 a multiple of 39?
True
Suppose 1 + 11 = 4*w. Suppose 112 = 5*o - o - m, -o = w*m - 15. Suppose 0 = 4*b - o - 157. Does 23 divide b?
True
Suppose 1751 = 12*b - 3037. Let h = b - 93. Does 34 divide h?
True
Does 26 divide (0 + -3)/((-592)/4184848)?
False
Suppose -c - 3783 = -6*c - j, 4*c + 2*j - 3030 = 0. Suppose 4*w + 3*i - c = 0, w + 11*i = 6*i + 189. Does 63 divide w?
True
Suppose -2*l + 9903 = 3*j, 4*l - 27*j = -29*j + 19802. Does 110 divide l?
True
Let d(i) = 3*i + 27. Let o be d(-9). Suppose 5*r - 15 = o, -4*s - 4*r + 7*r + 11 = 0. Suppose -19 - s = -b. Is b a multiple of 12?
True
Let j(o) be the first derivative of -1 - 6 - 1 + o**2 - 23*o + 0. Is 4 a factor of j(16)?
False
Suppose -5*m + 583 = 3*g, 5*g + 4*m = g + 780. Let s be (15/(-6) - 2)*g/(-6). Suppose -s = -23*p + 16*p. Is p a multiple of 21?
True
Let u(j) = 51*j - 31. Let h be u(-10). Let n = h + 772. Is 33 a factor of n?
True
Let h be 8/(-44) + (21804/(-33))/(-4). Let g = -252 + h. Let l = -67 - g. Does 4 divide l?
True
Suppose 55 + 305 = 5*g. Let v = g - 119. Let x = v + 71. Is x a multiple of 3?
True
Suppose 303522 = 61*t - 27*t + 97652. Does 106 divide t?
False
Suppose -6*l + 28 = -2*l. Let i be (l - 4) + (-6)/(-2). Suppose 5*a = -s + 204, -a + i*a = 3*s + 188. Is a a multiple of 12?
False
Suppose -3*g + 10990 = -2*w, 11*g - 16*g - w = -18334. Is 70 a factor of g?
False
Let z(t) = 1202*t**2 + 9*t - 36. Is 11 a factor of z(3)?
False
Let j = 49 - 38. Suppose 12*c - 3 = j*c. Is (c + 1 - -82) + -2 a multiple of 28?
True
Let p = -6200 - -15899. Is p a multiple of 159?
True
Let j = 91 - 94. Let v(w) = -10*w - 28. Let r be v(j). Suppose 4*u + 4*l = 88 + 36, -2*u = -r*l - 74. Is 2 a factor of u?
True
Let i be (-8)/(-20)*2 - 287/(-35). Does 3 divide ((-6)/i)/((-24)/612)?
False
Is 13 a factor of 383/(1 + -6 + (-196)/(-39))?
True
Suppose u + 8651 = 4*i, 32*u = -2*i + 35*u + 4323. Is i a multiple of 7?
True
Let z = 14916 + -8140. Does 56 divide z?
True
Let j = -239 - -231. Is 51 a factor of (j/(-24))/(5/6630)?
False
Does 39 divide (83494/(-872))/((-2)/40)?
False
Let x(r) = -2*r + 2. Let s(j) = 184*j - 15. Let t(a) = -s(a) + 5*x(a). Is 25 a factor of t(-4)?
False
Let g(m) = m**3 - 4*m**2 - 18*m + 26. Let l be g(6). Let c be (-22)/1*-2*1. Is c/((l/3)/(-5)) a multiple of 11?
True
Let a = -210 - -397. Let y be (-331)/9 + (-4)/18. Let j = a + y. Does 25 divide j?
True
Let u = -17378 - -24821. Does 8 divide u?
False
Suppose -49*w + 43*w - 18 = 0. Let t(d) = 11*d**2 + 3*d - 8. Is 35 a factor of t(w)?
False
Suppose 96*g - 55292 = 4324. Is g a multiple of 10?
False
Is 6873/711*3*1067 a multiple of 28?
False
Suppose -4*a + 1352 = 5*f - 212, 0 = -5*a + 3*f + 1955. Is a a multiple of 23?
True
Let r = 15 - 29. Let d = 115 - r. Is d a multiple of 8?
False
Suppose 2*a = 5*w - 36306 - 11154, 5*w + a = 47445. Does 42 divide w?
False
Does 37 divide 10 + (-1408)/144 + 356/108*6297?
True
Let a(i) = -i**3 + 4*i**2 - 3*i + 3. Let q be a(4). Let j be -3*(-932)/(-36)*q. Suppose j = 3*d + 3*l, -d - d - 5*l = -481. Is 38 a factor of d?
True
Is (-15 + (-765)/(-36) + -6)/((-2)/(-193384)) a multiple of 17?
False
Let n = -264 - -157. Let k be n - ((-2 - -3) + 1). Let d = 128 + k. Is 2 a factor of d?
False
Let g(l) = l**3 + 3*l**2 - 2*l - 4. Let r be 1/(4/1) - (-26)/(-8). Let f be g(r). Suppose 4*z = f*o - 112, -2*o - z + 152 = 3*z. Does 22 divide o?
True
Let o(i) = 112*i**2 + 17*i + 243. Is 36 a factor of o(-11)?
True
Suppose 2*m + 3*j = 17004, 13*m - 17000 = 11*m - 2*j. Is 12 a factor of m?
True
Let w(d) be the first derivative of d**2/2 + 6*d - 5. Let p be w(6). Suppose 9*x - 6*x - p = 0. Is 3 a factor of x?
False
Suppose -4*y + h + 122436 = -23800, -73104 = -2*y + 4*h. Is y a multiple of 16?
True
Let l(g) be the third derivative of g**9/60480 - g**7/504 - g**6/80 - 7*g**5/20 + 20*g**2. Let h(d) be the third derivative of l(d). Is h(6) a multiple of 27?
False
Let a(l) = 5*l - 10. Let d be a(-3). Let i be 1*45*(-6 - 230/d). Suppose f = 3*y + 41, 3*f - 3*y = -y + i. Is f a multiple of 25?
True
Let r(k) = -2*k**2 + 66*k + 68. Let g be r(34). Suppose -j + 478 = 3*a + 130, 5*a + 25 = g. Does 10 divide j?
False
Let s = 4720 - -583. Is 20 a factor of s?
False
Suppose 24*m = 1010 + 1006. Suppose -m*f = -74*f - 360. Does 12 divide f?
True
Is 173 a factor of ((576/81)/((-2)/3))/((-11)/363)?
False
Suppose 0 = -8*t + 151764 + 23004. Does 17 divide t?
False
Let a(d) = 8*d - d**2 + 3*d**2 + 4*d**2 + 9. Suppose -36*i + 13 = 193. Does 36 divide a(i)?
False
Let l = -24 - -5464. Does 16 divide l?
True
Let v = -747 + 3015. Is 42 a factor of v?
True
Let n(p) = p**3 - 26*p**2 + 9. Let o be n(26). Let j be o/15 - (1929/15)/1. Let g = 259 + j. Does 16 divide g?
False
Is 5 a factor of (57/((-7980)/160))/(2781/(-2779) - -1)?
False
Let o(l) = 11*l - 96. Suppose 0 = -6*d - 45 + 141. Is 10 a factor of o(d)?
True
Let x(d) = -d**3 - 27*d**2 - 73*d - 22. Let s be x(-24). Suppose 0 = s*l + 10*g - 15*g - 1175, 0 = -l - 5*g + 580. Is 27 a factor of l?
False
Let m be 39/12 + -3 - 15/(-4). Suppose -m*k - 20 = 0, -5*b - 3*k = -2*b. Suppose -174 = -5*p - g, p - b*g = -0*p + 14. Does 12 divide p?
False
Let q = 50 - 50. Suppose -s - 4*i + 113 = q, -5*i + 132 = 2*s - 91. Let j = -54 + s. Does 11 divide j?
True
Does 23 divide (-39)/(-33) + -1 - 5/110*-148826?
False
Let g(n) be the first derivative of -78*n**2 - 60*n + 151. Is g(-6) a multiple of 73?
True
Suppose 5*n - 74 - 26 = -2*w, -4*n = 2*w - 80. Suppose n = -6*v + 20. Suppose -130*f + 125*f + 595 = v. Does 17 divide f?
True
Let a be (-2 + -28)*(16 + -6 - 2). Let g = -71 - 52. Let w = g - a. Is w a multiple of 13?
True
Let w(q) = 154*q - 3644. Is 3 a factor of w(31)?
False
Suppose -9*o + 6*o + 2 = -5*k, 0 = 2*o - k - 6. Suppose o*i = 5*v + 2577, -13*i - 2586 = -17*i + 2*v. Does 24 divide i?
True
Let o be (36/(-8) - -4)*-6. Suppose 5*k = -0*k - 5*u + 415, -2*u = o*k - 244. Let r = k - 19. Is r a multiple of 12?
False
Suppose -3*b + 4*i + 62 = 0, -35*b - 5*i = -39*b + 82. Is (30/8)/(b/3576) a multiple of 45?
False
Let g = 212 - 210. Suppose -2*d + 2*z - 4*z = -1146, 5*z = g*d - 1181. Does 44 divide d?
False
Suppose 7560*s - 7545*s = 70260. Is 19 a factor of s?
False
Suppose 5*b = -3*b - 128. Let i(q) = q**2 + 16*q - 9. Let v be i(b). Does 13 divide (-34 + -5)*24/v?
True
Let m = 649 + -642. Suppose -202 = -n + 3*a, m*n + 3*a + 772 = 11*n. Does 5 divide n?
True
Suppose -8*g = 12*g + 1800. Does 5 divide ((-36)/g)/((-2)/450*-1)?
True
Let y be (6 - -1) + 2/(-2). Let l be ((-2)/(-4) - 3)*(-12)/y. Suppose 0 = -2*x + l*g + 157, -x = g + 11 - 100. Does 16 divide x?
False
Suppose 5*s - 2 = 18, 2*w + 4 = 3*s. Let i be (4 - 3)*(135 + 0). Suppose -w*c - i = -323. Is 9 a factor of c?
False
Let y be (18 - -549) + (-1 - -3). Suppose -78 = -3*j - 4*u + y, -4*j - 2*u + 856 = 0. Is j a multiple of 55?
False
Suppose -40 = -5*q, -22*z + 20*z + 488 = 2*q. Is z a multiple of 118?
True
Suppose 26*c = 24*c + 1412. Let l = c - 370. Is 11 a factor of l?
False
Suppose 2*z = 6, -3*z - 1923 = w - 6872. Does 20 divide w?
True
Suppose 171*u - 2412535 = 220865. Is u a multiple of 140?
True
Let v(m) be the first derivative of -m**4 - 25*m**3/3 + m**2 - 16*m + 184. Is 16 a factor of v(-8)?
True
Is 34 a factor of 10/(((-1)/6)/((-71485)/290))?
True
Let t(k) = 30*k - 18*k - 13*k + k**3 - 3*k**2 - 9. Let y be t(4)