4*d - 1501 = 5*j - 2*j. Does 12 divide d?
False
Suppose 0*n + 3*n - 12 = 0. Is 4 a factor of (3 - 127)/n*(-2)/2?
False
Suppose 3*w + 12 = 0, -3*o = -2*w - 274 - 454. Is 15 a factor of o?
True
Suppose -4*m + 1263 = 4*u - 5*m, 337 = u + 4*m. Let t = -119 + u. Is t a multiple of 22?
True
Suppose -155 + 214 = 3*x - j, x = 3*j + 17. Does 10 divide x?
True
Suppose 0 = -19*o + 490 + 308. Is o a multiple of 7?
True
Let o = -9 + 18. Suppose 0 = m - o - 4. Is 7 a factor of m?
False
Let r = -7 - -10. Let v be (-19 - (2 + -2))*r. Let t = v - -81. Is 17 a factor of t?
False
Let o be 56/10 - 6/(-15). Let r(x) = -157 + 169 - x**2 + 2*x**2 - 6*x. Does 6 divide r(o)?
True
Suppose 1880 = 3*f + 2*f. Let v = f + -257. Is v a multiple of 19?
False
Suppose i + 4*r = -17, -4*i - 29 = 5*r - 2*r. Let b be ((-2)/6)/(i/45). Suppose 3*o = -b*o + 150. Is 7 a factor of o?
False
Suppose 4*y + 3*l + 11 = -0*y, -l = -y + 6. Suppose -2*w + 3*w - 2*a = 5, 0 = 2*w - a - y. Is 4 a factor of 1/(w/(-48)*2)?
True
Let l be (15/(-2))/((-5)/10). Let m = -12 + l. Is (1/m)/((-6)/(-1098)) a multiple of 13?
False
Let l(g) = 7*g**2 - g + 2. Let y be l(-5). Is 9 a factor of y/(-39)*(-12)/2?
False
Suppose -5*t = 28 + 32. Let o be (56/t)/(-2)*3. Suppose -11*k = -o*k - 64. Is k a multiple of 10?
False
Let a(w) = 13*w - 14. Let o be a(2). Is o/16*-22*(-14)/3 a multiple of 10?
False
Let z(g) be the first derivative of -g**4/2 - 2*g**3/3 + g**2/2 - g - 3. Let i be z(-2). Let q = i + 14. Does 6 divide q?
False
Suppose 4*q = q - 12. Let d be q - -10 - 0 - 4. Suppose d*u - 40 = -4*v, 2*v = -v. Does 10 divide u?
True
Suppose -18*j = -4*k - 14*j + 1092, -j + 2 = 0. Is k a multiple of 5?
True
Let l = 147 + -141. Is l a multiple of 6?
True
Let g = 1385 + -917. Is 55 a factor of g?
False
Let s be 3/9 - 16/(-6). Let f = s + 10. Does 7 divide f?
False
Suppose -343*j = -344*j + 280. Is j a multiple of 10?
True
Let c be 14/2 - 0/(-1)*1. Suppose -o - 10*h + 46 = -c*h, 3*o - 138 = h. Does 17 divide o?
False
Is 44 a factor of 4/16 - (-1173)/12 - -3?
False
Suppose 5*u - 173 = 3*b - b, -4*b - 5*u = 271. Let a = -45 - b. Is a a multiple of 8?
False
Suppose 194 = -10*z + 11*z. Is 16 a factor of 2/(-4)*1 + z/4?
True
Suppose f + 0*f = -4. Let o(w) = -w**3 - 3*w**2 + 2*w - 2. Let t be o(f). Is 6 a factor of (-16)/t*18/(-4)?
True
Suppose 26 = 7*o + 5. Let u be (-4)/(-10) + 4/(-10). Suppose -4*t - 2 = -w - u*t, -o*w + 2*t + 26 = 0. Is w a multiple of 5?
True
Let s = 183 + -17. Let i = -84 + s. Suppose 4*n + 5*x - 8 - i = 0, -4*n = 4*x - 92. Does 25 divide n?
True
Let j(k) = k**2 + 2*k + 358. Let w be j(0). Suppose -4*q + w = -p - 90, -p = -3*q + 336. Does 16 divide q?
True
Suppose 2*y - 3*z - 606 - 763 = 0, -3*y + 2057 = -z. Does 14 divide y?
True
Suppose -3*a = -0*d - 3*d + 300, 2*a = -5*d + 493. Is d a multiple of 8?
False
Let a(p) = p**3 - 5*p**2 - 4*p - 4. Let g be a(6). Suppose r - g = 2*r. Let j(s) = s**3 + 9*s**2 + 3*s + 7. Does 7 divide j(r)?
False
Suppose b + 5 - 70 = -3*i, -4*b + 2*i + 302 = 0. Suppose n - 3*n - b = 0. Let v = -23 - n. Does 14 divide v?
True
Let n = 232 + -77. Let w = n + -77. Does 10 divide w?
False
Let p(s) be the second derivative of s**4/12 + 5*s**3/6 + 5*s**2 + 2*s. Is 20 a factor of p(5)?
True
Let o(k) = k**2 - 9*k + 18. Is o(-18) a multiple of 13?
False
Suppose -2*f + 306 = 2*r - 0*r, -r + 2 = 0. Let u = f + -101. Is u a multiple of 25?
True
Let z(x) = 11*x**2 - 3*x - 3. Let t be z(-2). Let a = 87 - t. Does 10 divide a?
True
Let u(m) = -m**3 - 6*m**2 + 5*m + 10. Let v be u(-7). Suppose 8 + v = 4*n. Suppose 5*f = n + 87. Does 11 divide f?
False
Let r = 17 + -14. Suppose 0 = -3*d - r*t + 4*t - 50, -t = d + 10. Is (-110)/d*(-3)/(-2) a multiple of 4?
False
Suppose -19*z + 558 = -10*z. Is 5 a factor of z?
False
Does 35 divide (2 - (-7)/(-14))*560/6?
True
Suppose -78 = 2*y - 536. Suppose 0 = l - 2*j + 6*j - 87, -3*l + y = -4*j. Suppose -d + 3*a + 39 = 0, 2*d - 2*a = 3*a + l. Is 7 a factor of d?
True
Suppose -14*t = -10*t - 1092. Let h = t - 163. Does 25 divide h?
False
Let w = -13 - -12. Let f be -18*((-3)/(-6))/w. Let l = f - -68. Does 33 divide l?
False
Let g(w) = -w**3 + 6*w**2 + w - 1. Let h(f) = -f**3 + 6*f**2 + f - 2. Let a(d) = -4*g(d) + 5*h(d). Let c be a(6). Suppose c = i + i - 44. Is i a multiple of 10?
False
Is -2 + (-32)/(-20) + (-1252)/(-5) a multiple of 25?
True
Suppose 0 = 5*a - 3*a - 8. Suppose 0*p - a*p = 3*f - 80, 3*p + 4*f - 67 = 0. Does 5 divide p?
False
Let k = -6 - -18. Suppose -t + 7*t - k = 0. Suppose z + 5*s = 74, 3*s = -z - t*z + 174. Is 9 a factor of z?
True
Let s(m) = m + m**2 + 4*m + 2 + 0*m. Let k be s(-4). Is 17 a factor of 2 + ((-188)/(-4) - k)?
True
Let g(z) = -17*z - 16. Suppose -18 = -2*c - 4*j, 5*c = -0*j + j + 56. Let m(n) = -6*n - 5. Let q(a) = c*m(a) - 4*g(a). Is q(7) a multiple of 13?
False
Suppose 0 = l - 4*g - 2354, 44*l + 2319 = 45*l + 3*g. Is 43 a factor of l?
False
Suppose -3*x - 33 = -3*w, 4*x - 2*x = 0. Let s = w - 9. Suppose -s = 2*v - 10. Is 2 a factor of v?
True
Suppose 109*m = 112*m - 228. Is 3 a factor of m?
False
Let s be (-662)/(-6) - 1/3. Suppose 0*y - 3*y = -5*v - s, y + 4*v - 48 = 0. Suppose y = 5*x - 5. Is x a multiple of 3?
True
Suppose -3*m - 2*o = -5*m + 3026, 4*m - 3*o = 6055. Is m a multiple of 25?
False
Let g = -42 - -44. Does 26 divide g + (-1 - -2) + 123 + -7?
False
Let q be (0 + 3/5)*15. Let v = q - -24. Is v a multiple of 12?
False
Suppose 4*h + 132 = 5*h - 2*j, 2*h - 264 = -5*j. Is 11 a factor of h?
True
Let d(l) = 5*l**2 - 15*l + l**2 + 11*l - 2*l**3 + l**3. Let j be d(5). Suppose -j*k + 25 = 0, 0 = -3*c - 3*k + 58 + 35. Does 18 divide c?
False
Let u be 682/154 + 3/(-7). Let v(i) = 2*i**3 - 3*i**2 + 5*i + 6. Is 44 a factor of v(u)?
False
Let v(d) = 4*d + 5. Let t(o) = -3*o - 4. Let m(n) = 6*t(n) + 5*v(n). Let f be m(0). Does 18 divide (-2 + 5)/(f/21)?
False
Let i(t) = 7*t - 5. Let w(k) = 22*k - 15. Let q(f) = -11*i(f) + 4*w(f). Let x(b) = 3*b - 1. Let j(h) = 2*q(h) - 9*x(h). Does 12 divide j(-5)?
True
Let g(k) = k**2 + 2*k - 106. Let a be g(0). Let r = a - -152. Does 10 divide r?
False
Let l = 1371 + 2035. Is (-4)/18 - 1/((-18)/l) a multiple of 27?
True
Let h = -8 - -8. Let j = -6 - h. Does 11 divide 2/j - 335/(-15)?
True
Let k(h) = -h**3 - 25*h**2 + 2*h - 16. Is 38 a factor of k(-28)?
True
Suppose 249 = -10*j + 7*j. Let x = 128 + j. Let v = x - 23. Is 11 a factor of v?
True
Let q(o) be the second derivative of o**4/24 + 7*o**3/6 - 4*o**2 - 7*o. Let b(r) be the first derivative of q(r). Is b(5) a multiple of 3?
True
Let h(t) = -t**2 + 4*t + 5. Let q be h(4). Suppose -4*i + 3*s = -50 - 88, -2*i = -q*s - 76. Let p = 57 - i. Is 11 a factor of p?
False
Suppose -624 = -4*d + 2*j - 0*j, 0 = 3*d + 2*j - 454. Is 11 a factor of d?
True
Let m be (-6)/(-1 + 6 - 3). Let n be (-2)/(-4) - m/2. Is (-3 - -5)*16/n a multiple of 4?
True
Let t be (150/(-8))/(8/(-64)). Let p be ((-2)/2)/((-5)/t). Suppose -3*r = 4*k - 70 - 15, r = k - p. Is 6 a factor of k?
False
Let d(u) = -2*u - 12. Let f be d(-8). Suppose f*g - 284 = 4*p, 3*p = -0*p - 12. Let n = g + -47. Is n a multiple of 20?
True
Suppose -4*v = -3*c + 75, -2*c + v + 49 = -2*v. Let u = c + 24. Does 12 divide u?
False
Suppose -3*a = 3*n - 12, 5*a + 0*a = 4*n + 29. Does 49 divide 1468/a - (3 - (-102)/(-30))?
True
Suppose 0 = 4*c + 5*y - 58 + 10, -4*c = -y - 24. Suppose 0 = c*t - 9 - 26. Suppose -t*g - 3*x + 14 = 0, -3*g = 5*x - 0*x - 2. Is 4 a factor of g?
True
Suppose 0 = -5*v + v - 4*f + 12, 0 = -2*f - 2. Suppose -8*j + 16 = -v*j. Does 2 divide j?
True
Does 4 divide (-42)/(-12) - 2223/(-18)?
False
Suppose -2*s + s - 1 = 0, -k - 7 = 5*s. Does 37 divide -3 - 24/k*50/15?
True
Let p(k) = k**2 + k - 1. Let i be p(0). Let l be i*(-12)/(-4) - -417. Does 30 divide l/14 - 6/(-14)?
True
Suppose 0 = -2*a - 8, 2*s + 2*a = 6*a + 1718. Does 37 divide s?
True
Suppose 5*o = 4*d - 25, -2*d = -4*o + 3 - 11. Let s = 15 - d. Let m(v) = 5*v - 12. Is m(s) a multiple of 13?
True
Let y(x) = -x**3 + 6*x**2 - 9*x + 2. Let r be y(5). Is 13 a factor of ((-3)/2)/(r/564)?
False
Let t(f) be the first derivative of f**3/3 + 3*f**2 - 11*f - 2. Let o be (4/(-3) - 0)/((-4)/(-42)). Does 23 divide t(o)?
False
Does 20 divide -362*(-7 - 0/1)?
False
Suppose 4*k = h + 1370, -2*h = -4*k + 2*h + 1376. Is 18 a factor of k?
True
