31*z - 2. Is 22 a factor of f(n)?
False
Let v(d) = -d + 11. Let f be v(8). Let o(s) = -4 + 69*s**3 - 2*s - f*s**2 + 4*s**2 + 6. Does 13 divide o(1)?
False
Is 13*(-5 - -8 - -5) a multiple of 13?
True
Let p(t) = 142*t - 35. Is p(4) a multiple of 4?
False
Let r(c) = 469*c**2. Is 67 a factor of r(-1)?
True
Is 5 a factor of ((-90)/(-7))/(((-92)/168)/(-23))?
True
Suppose 3*g - 5*i = -2*i + 744, 0 = 4*g + 3*i - 964. Is g a multiple of 16?
False
Let i be ((-22)/(-4))/(1/(-2)). Let g be (-4)/6 + (-100)/12. Let h = g - i. Is h a multiple of 2?
True
Let b(k) = -2*k**3 - 9*k**2 + 7*k + 16. Let m be b(-7). Suppose 3*r + 2*n = m, 0*r + 2*r = -4*n + 144. Does 35 divide r?
True
Is (8/144*-6)/((-1)/10782) a multiple of 31?
False
Let i be ((-1)/(-1) - 1)/(-1). Let k be (i + -58)*(-8)/16. Let m = k + -11. Is m a multiple of 18?
True
Let c(r) = 4*r**2 - 1. Let z be (-2)/(-14) - (-340)/70. Let d be (6/z)/(15/50). Is 19 a factor of c(d)?
False
Let c(v) = 116*v + 2. Let t be c(1). Let f = t - 36. Is 7 a factor of f?
False
Suppose 0 = -x, 4*g + 20 = 4*x - 0*x. Let c(z) = -3*z**3 - 6*z**2 - 8. Is 31 a factor of c(g)?
True
Let p = -896 - -1182. Is 21 a factor of p?
False
Let t = -1452 + 6401. Is 101 a factor of t?
True
Suppose -5*t + 19 = -2*g, 3*g - 20 = -4*t + 9. Suppose 2*m - 3*c - 18 = 2*c, 0 = -m - t*c + 24. Is (108/(-10))/(m/(-35)) a multiple of 9?
True
Let q(z) be the second derivative of 5*z**3/3 + 3*z**2/2 + 3*z. Let v be q(1). Suppose -2*n = -3*n + v. Does 3 divide n?
False
Suppose z = 6*v - 3*v + 206, -2*v + 4*z = 124. Is 14 a factor of (-1 - v) + -3 + 4?
True
Let c(b) = -4*b - b**2 - 4 - 2 + 11*b. Let u be c(8). Let g = 11 - u. Does 12 divide g?
False
Let k be ((-16)/6)/(8/12). Let g = k - -9. Is 16 a factor of 31/(2/(g - 1))?
False
Suppose 4*l = 4*j - 247 - 705, 0 = 2*l. Is 9 a factor of j?
False
Let s(q) = -59*q. Let b be s(-1). Let v = 13 + b. Suppose -3*o + 3*r - 3 = -v, -5*o + 123 = 3*r. Is o a multiple of 12?
True
Suppose 0 = 2*s + 2, 2*r - s - 4 = -3. Suppose b = 4*d - 3*b - 4, -3*b + 12 = r. Let a = d + 3. Is a a multiple of 8?
True
Let c(y) = y**3 + y**2 + 11*y - 58. Is c(7) a multiple of 27?
False
Suppose 21 + 64 = 5*s. Let z = s + 41. Is z a multiple of 9?
False
Let b = -12 - -17. Let z(o) = -34 + b*o**2 + 33 - 3*o**2 + 0*o**2 + 8*o. Is 10 a factor of z(-7)?
False
Let u be (320/15)/4*(-39)/(-4). Is 21 a factor of (u - 8)*(-11)/(-4) - -3?
False
Suppose 3*x = -37 + 109. Is 4 a factor of x?
True
Suppose 45*c - 9708 = 34977. Is 3 a factor of c?
True
Suppose -m + 5*m + 2*q = 704, 2*q = 3*m - 514. Is 11 a factor of m?
False
Is 6 a factor of -30*(-3)/27*(-315)/(-6)?
False
Let o(j) = -76*j - 285. Is o(-9) a multiple of 57?
True
Let u = 3 + 1. Suppose 5*k + 101*v - 100*v = 16, 2*k - 4*v - 24 = 0. Suppose 5*z = -k*t + 41 + 11, 0 = 2*z - u*t - 4. Is 4 a factor of z?
True
Suppose -11*x + 9*x = -2. Let m = 5 - x. Does 13 divide (m/(-5))/(6/(-390))?
True
Let h be (-4 - -9)/(3/(-18)). Let w = h + 56. Is 6 a factor of w?
False
Let v(x) = -x**2 + 22*x + 29. Let r be v(22). Let c = 38 - r. Is c even?
False
Let u(j) = 171*j + 22. Is 21 a factor of u(3)?
False
Suppose 0 = -4*j + j + 15. Suppose k + 1320 = j*k. Suppose -k = -5*c + 5*p, -c - p = p - 69. Is 10 a factor of c?
False
Suppose a - 5*u + u - 4 = 0, 0 = a - 5*u - 4. Suppose 5*v - 26 = -l, l - 7 = -2*v + a*l. Is 2 a factor of v?
False
Let z = -684 + 1031. Does 50 divide z?
False
Let j = 33 + -14. Suppose -2*u - j = -x - 4*u, u + 63 = 2*x. Does 8 divide x?
False
Let n(y) = y**2 + 20*y + 55. Let v be n(-17). Suppose -4*z = -v*r - 58 + 786, -4*z = 2*r - 352. Does 15 divide r?
True
Let i(k) = -k**2 - k + 6. Let h be i(0). Let c = h + -2. Does 11 divide (-699)/(-21) + c/(-14)?
True
Let j be 32/(-6)*63/6. Is j/(-35)*(1 - (-36 + 2)) a multiple of 19?
False
Let v(f) = 48*f - 42. Let o be v(6). Is o/18 + (-3)/(-9) a multiple of 2?
True
Suppose -9*y + 5*y = n, -4*n + 2*y = -90. Let a = -131 - -61. Is n/a + 1124/14 a multiple of 20?
True
Let b be 0 + 1 + (-4)/(-4). Suppose 0*j + 2*j + 130 = 2*i, 0 = b*j + 5*i + 144. Let o = -48 - j. Does 10 divide o?
False
Let z(s) = -1030 - s**2 + s + 1063 - 17*s. Does 9 divide z(-15)?
False
Let r(v) = -7*v - 8. Let s(o) = -o + 1. Let l(u) = -r(u) + 6*s(u). Let f be l(11). Does 15 divide (-3 - 87/(-15))*f?
False
Let u = -114 + 273. Is u a multiple of 10?
False
Suppose -2*k + k = -7. Let j(y) = -k*y + 2 - 2*y + 11*y**2 + y - y**3 - y**2. Does 7 divide j(9)?
False
Let d be -884*(-22)/36 + 6/(-27). Suppose -d = o - 4*o. Is 18 a factor of o?
True
Let c(r) = 7*r - 181. Does 30 divide c(43)?
True
Suppose -1424 = -y + q, 3*q = -y + 2*y - 1424. Does 8 divide y?
True
Suppose -29*u = -26*u + 4*s - 397, 3*u + 5*s - 401 = 0. Is u a multiple of 8?
False
Let u be 6/((-30)/(-17)) + 2/(-5). Suppose 0 = -7*b + u*b + 20. Does 4 divide b?
False
Suppose 4*o = 6*o - 176. Does 41 divide (o/6)/(((-50)/15)/(-10))?
False
Let s(k) = -k**2 - 8*k - 3. Let g be s(-7). Suppose 3*q - 5 = -2*z, -2*q - 4 = -g*q - 2*z. Suppose -2*j - q = 9, -4*r + 5*j = -165. Is 15 a factor of r?
False
Let j(i) be the third derivative of 5*i**4/24 + i**3/2 + 4*i**2. Let c be j(-3). Let q = 16 + c. Does 2 divide q?
True
Suppose -6 = -3*f + 9. Suppose -423 = -f*g + 57. Is 31 a factor of g?
False
Let i = 135 + 205. Is i a multiple of 16?
False
Suppose 2*r + o - 37 = 0, -r + 3*o + 87 = 4*r. Is r a multiple of 3?
True
Suppose -5*n + 126 = -49. Suppose 0 = 4*b - 45 - n. Is b a multiple of 3?
False
Suppose 3*o = -o - 124. Let v = o + 100. Does 36 divide v?
False
Let u = -41 - -41. Is 8 a factor of (15/10)/(u - (-3)/176)?
True
Let t(s) = 101*s + 312. Is 10 a factor of t(18)?
True
Let s be 2/(-9) + (-165)/(-135). Let l be 75/10 - s/(-2). Let y = l - 2. Does 6 divide y?
True
Let o(u) be the third derivative of 1/3*u**3 + 2/15*u**5 + 0 - 6*u**2 - 1/8*u**4 + 0*u. Is 2 a factor of o(1)?
False
Does 12 divide 76/(-57)*27/2*-50?
True
Let j be (-3)/(-18) - (-145)/30. Suppose -j*n = -308 - 132. Is 11 a factor of n?
True
Let r(j) = -3*j**3 - 15*j**2 - 8*j. Is 70 a factor of r(-7)?
True
Let r = 18 - 48. Let n = 30 + r. Suppose 4*y - 47 - 45 = n. Does 5 divide y?
False
Let p(o) = -4*o**2 - 1. Let i be p(1). Let d = i - -21. Is 4 a factor of d?
True
Suppose -18 - 12 = -q + 2*n, -1 = -n. Let h = q - 2. Does 10 divide h?
True
Let j(s) = -s**3 - 3*s**2 - 4. Let y be j(-4). Suppose 100 = 14*b - y*b. Is 8 a factor of b?
False
Suppose o + 2*o = -3*c - 39, -4*o + 2*c = 34. Does 14 divide o/(-65) + (-2362)/(-26)?
False
Suppose -734 = -3*f - 68. Let p be (5/15)/(1/f). Suppose p + 118 = 4*i. Is 16 a factor of i?
True
Let g(o) = -o**3 + o + 2. Let m be g(0). Let k(v) = 2*v. Let f be k(m). Suppose -2*a = -t + 36, 20 - 8 = -f*a. Does 5 divide t?
True
Let a = -23 + 16. Let m be 107/a - 4/(-14). Is 2 a factor of 8*(m/12 + 2)?
True
Suppose 0 = 37*k - 2584 - 7628. Is 4 a factor of k?
True
Let s be (-2748)/(-27) - (-1 - (-21)/27). Suppose 10*r - 8*r = s. Is r a multiple of 17?
True
Suppose 8 = -2*z, -s + 469 - 4 = -5*z. Let j = s + -302. Is j a multiple of 13?
True
Suppose -4*u - 14 = 2*o, o - u - 1 - 7 = 0. Let d = 1 + -1. Does 6 divide (d + (-1 - o))*-6?
True
Let v = 285 - 157. Does 16 divide v?
True
Let k(q) = 9*q**2 - 3*q + 20. Let y be k(7). Suppose -o + 92 = n, 5*n - o = -2*o + y. Does 16 divide n?
False
Let g be 14/3*(-72)/(-16). Suppose 267 = 6*c - 159. Let o = c - g. Is o a multiple of 14?
False
Let s(i) = i**3 - 10*i**2 + 11*i - 12. Let v be s(9). Let q be (1/1)/(v/(-18)). Let g(p) = 5*p**2 + 2*p + 3. Is 14 a factor of g(q)?
True
Let l(j) = -j**3 + j**2 - 4*j + 3. Let v be l(-6). Let i be 92 + -3 - (0 - -4). Suppose 4*s = i + v. Is 13 a factor of s?
True
Let y be (-1 - 2932/(-8)) + 2/(-4). Is 15 a factor of (-3)/((-33)/y) - (-14)/(-77)?
False
Let s be 36/24*20/6. Suppose -3*k + 56 = 5*g, 2*k - 60 = -s*g - 6. Is g a multiple of 2?
True
Let n(p) = 25*p**2 - 2*p + 1. Let v be n(1). Suppose 0 = -21*d + v*d - 90. Does 3 divide d?
True
Suppose 5*a - 521 = 4*f, 8*a = 11*a - 2*f - 313. Is 15 a factor of a?
True
Suppose -15 = b + 4*b. Let s be (-5)/b - 1/(-3). Suppose -3*m + 3 = 0, 0 = 4*o - m - s*m - 149. Is 11 a factor of o?
False
Let i(u) be the first derivative of u**5/60 + u**4/12 + u**3 + 3*u**2 - 4. Let r(n) be the second derivative of i(n). Does 9 divide r(-6)?
