s*a = 3*d - 5. Suppose 117 = -4*t + d*t. Is t a multiple of 12?
False
Let s(j) be the third derivative of j**6/120 + 19*j**5/60 - 11*j**4/12 - 4*j**3 - 10*j**2. Is 16 a factor of s(-20)?
True
Let j(o) = -o**3 - 6*o**2 - 6*o - 6. Suppose -5*z + 10 = -7*z. Let w be j(z). Is 7 a factor of 52 - -2 - (w - 1)?
True
Suppose 0*y + 2*y - 4 = 0. Suppose 12 = y*g + 58. Let m = g - -64. Is m a multiple of 9?
False
Let v be (-8)/(-6 - -2) + 6. Let f be ((-6)/v)/((-8)/224). Suppose -f = 2*x - 5*x. Is x even?
False
Let u(i) = -i**3 + 10*i**2 - 9*i + 4. Let k be u(9). Suppose 2*n = -0*z + 5*z + 141, k*n - 207 = -5*z. Is 24 a factor of n?
False
Let r be 2/11 + 31/11. Let j be (-24)/6 + -2 - -9. Suppose -2*g = -g + 4, j*g = r*h - 258. Does 23 divide h?
False
Let z(g) = -g**2 - 15*g + 2. Is z(-11) a multiple of 23?
True
Let y = 15 - 30. Is 13 a factor of (-234)/y*10/4?
True
Let x = -458 + 876. Is x a multiple of 11?
True
Let u(s) = -s**3 - 7*s**2 + 8*s - 3. Let m be u(-8). Let q be 916/6 - 1/m. Suppose 2*z - 5*z + q = 0. Does 17 divide z?
True
Let m(j) = j**3 - 13*j + 6. Let c be m(5). Suppose -w + 2*z = -22 - c, 2*z + 8 = 0. Does 10 divide w?
True
Let a(g) = -20*g**2 - 4*g - 3. Let m(z) = -z - 1. Let w(y) = -a(y) + 4*m(y). Is w(1) a multiple of 5?
False
Let l(m) = m**2 + 2*m - 11. Let i be l(-5). Suppose 5*y + 3*a + 44 - 980 = 0, -2*y - i*a = -366. Is y a multiple of 18?
False
Let z(p) = p**3 + 4*p**2 + 4*p + 16. Let x be z(-8). Let t = -165 - x. Is t a multiple of 9?
False
Suppose -3*m + 239 + 370 = 0. Let u = m + -92. Is u a multiple of 24?
False
Let r(s) = -2*s + 33*s**3 + s**2 - 7*s**3 + 3 - 4 - 24*s**3. Let d = 6 + -4. Is 15 a factor of r(d)?
True
Let j be 2/9 + (-205)/(-9). Suppose -k - 1 = j. Let s = k - -45. Is s a multiple of 13?
False
Let w = 13 - 11. Suppose -2 = 4*d - w*l, -2 = 3*l + 1. Does 3 divide 4/12*(d - -19)?
True
Let x(s) = 64*s - 1. Let v be x(2). Let o be (74 + -80)*(1 + 0 - 2). Suppose -2*n + j = -v, 15 = o*j - j. Is n a multiple of 13?
True
Suppose 0 = 21*p - 10*p - 1287. Let z be (2 - -1 - 2) + 3. Suppose z*a - p - 65 = -5*g, 2 = -g. Does 12 divide a?
True
Let f(s) = -s**3 - 10*s**2 - 8*s + 4. Let g be f(-8). Let c be (g/(-50))/(4/10). Suppose -c = -3*q + 33. Is q a multiple of 10?
False
Let y(l) = -l**2 - 6*l. Let h be y(-6). Suppose 3 = c - h*p + p, 0 = -5*c - p + 19. Suppose -2*o + 2*a + 22 = 0, -2*o = 2*a - 14 + c. Does 4 divide o?
True
Suppose 3*q = -y + 127, -5*y + q = -q - 550. Is y a multiple of 7?
True
Suppose 22*t + 80 = 27*t. Suppose -3*g = t - 190. Is g a multiple of 11?
False
Suppose 0*s + s + 11 = 0. Let b(h) = -11*h**2 - h**3 + 0 - 2*h + 1 - 5. Does 6 divide b(s)?
True
Suppose -5 = -5*i, 2*i + 168 = -3*d + 602. Let z = d - 66. Is 20 a factor of z?
False
Let l = 311 - -175. Is 54 a factor of l?
True
Let l = 30 - 29. Let s(z) = 74*z + 4. Is 6 a factor of s(l)?
True
Let f be (-3)/(5/1460*-6). Let a = f + -75. Is 6 a factor of a?
False
Let x(i) = 102*i - 18. Does 22 divide x(3)?
False
Let t = 691 + -519. Is 13 a factor of t?
False
Suppose 200 = 9*r - 8998. Is 73 a factor of r?
True
Let f(s) = -10*s - 1. Let v be f(-3). Let a = -76 - v. Is 5 a factor of (a/(-12))/(-7)*-8?
True
Let c(s) = -3*s + 27. Let j be c(8). Suppose 0 = 4*l + 3*g - 212, -8*l = -j*l - 2*g - 288. Does 7 divide l?
True
Suppose 20 = -4*c, 2*m - 4*m = -2*c - 18. Suppose 4 = p + y, -12 = -3*p - 0*p - m*y. Suppose p*q = 4*k + k + 458, -4*q - 5*k = -438. Does 14 divide q?
True
Suppose 0*z + 3*z = 0. Suppose -5*o = 3*r - 359, 4*r = 2*o - z*r - 128. Is o a multiple of 19?
False
Suppose 22*i - 4*p = 26*i - 4188, 5*p = 5*i - 5265. Is i a multiple of 87?
False
Suppose 0 = 11*z - 8*z - 21. Is (-1 + (-5)/z)*378/(-4) a multiple of 18?
True
Suppose -8*m + 7 = -1. Let t(x) = 181*x. Is t(m) a multiple of 14?
False
Suppose 0 = -2*z, 102 + 238 = 2*v + 4*z. Is v a multiple of 3?
False
Let w(a) be the second derivative of a**5/5 - a**4/3 + a**3/3 - 3*a**2 - a. Does 19 divide w(3)?
False
Suppose -17*u = -4*u + 39. Let x(j) = -3*j**3 + 2*j**2 - j + 2. Is x(u) a multiple of 27?
False
Suppose -5*c - 3*z + 5529 = -1581, c - 1409 = 2*z. Is c a multiple of 18?
False
Let k(w) = w**3 + 16*w**2 - 10*w - 20. Is 20 a factor of k(-16)?
True
Let p = -1875 + 3075. Does 12 divide p?
True
Let l = -14 + 15. Let g be l/4 + (-9)/(-12). Is (2/(-5))/(g/(-70)) a multiple of 7?
True
Let o(z) be the second derivative of -z**6/360 + z**5/8 - z**4/4 + 7*z**3/6 - 5*z. Let b(a) be the second derivative of o(a). Does 18 divide b(11)?
False
Suppose 4*p - 9*p = -2285. Does 5 divide p?
False
Let d(k) = -k + 4*k**3 - 49*k**3 - 34*k**3 - 11*k**3 - 1. Does 35 divide d(-1)?
False
Let j(n) = 2*n**3 + 3*n**2 + 11*n + 2. Does 16 divide j(5)?
False
Suppose 317 = -4*z - 3*o, -o = -4*z - 0*z - 337. Let m = 137 + z. Is m a multiple of 18?
True
Let u(p) = -51*p + 37. Is 36 a factor of u(-7)?
False
Let k = 3129 - 839. Is 47 a factor of k?
False
Let r be (-1650)/(-8) - 1/4. Let l = -123 + r. Is 16 a factor of l?
False
Let z = -561 - -649. Is z a multiple of 4?
True
Is 8 a factor of ((-14)/5)/((-51)/4080)?
True
Let t(i) be the second derivative of i**4/4 + 5*i**3/6 + 7*i**2/2 + 38*i. Is 3 a factor of t(-3)?
False
Suppose -2*t + 15 = 4*f - 3, -5*t + 9 = f. Suppose 58 = f*v - 2*u, -5*v - 20 + 92 = -3*u. Is v even?
False
Suppose -5*j - 398 - 8449 = -3*i, -4*j + 14782 = 5*i. Is 4/(-36) + i/18 a multiple of 30?
False
Suppose 2*u + 0*u - 452 = 0. Is 13 a factor of u?
False
Let i(k) = 17*k - 71. Let s be i(17). Suppose -221*a + 711 = -s*a. Does 22 divide a?
False
Let b(u) = -5*u**2 + 5. Let k(f) = -4*f**2 + 4. Let d(h) = 3*b(h) - 4*k(h). Let s be d(1). Suppose s = 8*x - 5*x - 78. Is x a multiple of 13?
True
Let h = 8 + -22. Let r = h - -39. Is r a multiple of 8?
False
Let v(h) = -h + 3. Let w(o) = 1. Let z(s) = v(s) - 4*w(s). Let t be z(-4). Suppose 2*u = -0*u, t*f - 5*u - 84 = 0. Is 6 a factor of f?
False
Suppose 3*d - 27 = -3*f, -f = -2*d - 8 - 4. Let v(k) = -2*k**2 + 20*k - 47*k + 4*k**2 + 6 + 4*k + 9*k. Is v(f) a multiple of 14?
False
Let q be 5/((-6)/(-9)*24/(-64)). Let o be (1 + -2 - -7)*13. Let a = o + q. Does 25 divide a?
False
Suppose -1779 = -2*b - 3*y, -4*b + 21*y + 3555 = 24*y. Does 12 divide b?
True
Let d(g) = 6*g - 4*g**2 + 3*g**2 + 2*g**2 + 5 - 1. Let p be d(-4). Let k(x) = -4*x - 4. Is 4 a factor of k(p)?
True
Suppose -483 = 3*b - 45. Let m = b + 224. Is 12 a factor of m?
False
Let m(u) = -u - 15. Let i be m(-9). Let j(h) = h**3 - 6*h**2 - 8*h - 3. Let b be j(i). Is 12 a factor of ((-6)/(-18))/((-3)/b)?
False
Is 7 a factor of ((-286)/(-66))/(1/21)?
True
Let p = 8 - 14. Let k = 9 + p. Suppose -66 = -2*t + t + u, 0 = -k*t - u + 202. Does 12 divide t?
False
Suppose -3*z = -0*z - 42. Let a = z - 5. Does 2 divide a?
False
Let f(y) = y**2 - 21*y + 3. Let d be f(21). Suppose 4*q = q - d, 3*a - 2*q = -172. Let h = a - -103. Does 10 divide h?
False
Suppose 0 = 8*k - k. Suppose 5*y - 2*y - 9 = 2*c, c = 3*y - 9. Suppose k = 4*v + y*b - b - 142, v - 37 = -b. Is 12 a factor of v?
False
Suppose -5*h - 13 + 33 = 0. Let z(l) = l**3 - 2*l**2 - l + 2. Is z(h) a multiple of 15?
True
Let i(u) = u**3 - u**2 + u + 23. Let g be i(0). Let c = g - 23. Let b = c - -26. Does 13 divide b?
True
Suppose 2*f = 3*f + 4*i + 55, -3*f - 204 = -i. Let m = f - -97. Does 4 divide m?
False
Let s(y) = -177*y - 7. Let l(x) = -353*x - 14. Let h(w) = -3*l(w) + 5*s(w). Does 31 divide h(1)?
False
Suppose 5*h + 4*s - 4148 = 0, h = 5*s + 329 + 489. Is 12 a factor of h?
True
Let y = 23 - 15. Suppose 0 = -4*g - 3*f + y, -3 = -g + f - 1. Is g + 2 + -7 - -25 a multiple of 12?
False
Let m(r) = -2*r + 28. Let n be (8/(-3))/((-2)/3). Suppose -2*u + u = -x - 3, -5*u = -n*x - 12. Is m(u) a multiple of 7?
True
Is 13 a factor of (1 + (-993)/(-4))*-2*-2?
False
Let x = 60 - 223. Let i = 333 + x. Does 34 divide i?
True
Let s(i) = -122*i + 18. Does 24 divide s(-3)?
True
Let y(f) = f**2 - 8*f + 12. Let l be y(7). Suppose -u - 2*o = -l*u + 142, 4*u - 5*o = 127. Is 38 a factor of u?
True
Let g = -16 + 18. Suppose 8*z = g*z + 762. Suppose h + 109 = 4*u, 3*u + 5*h - z = -u. Does 28 divide u?
True
Let y = 154 - 50. Let w = y - 72. Is w a multiple of 16?
True
Suppose -7 = 4*s - 19. Let f be s - 0 - (1 - 1). Suppose 0 = -3*y + 12, -f*u + 30 = -2*u + 4*y. Is 14 a factor of u?
True