o - 66 = o - 3*f, 40 = -2*o + 4*f. Let t = o - -17. Is 2 a factor of 4/6*(-1 - t)?
True
Let s be 1/((-450)/226 + 2). Suppose 5*o = 2*u + 99, -5*o = -u - s + 16. Let v = o + -5. Is 14 a factor of v?
True
Suppose -4*r + 67 + 301 = 0. Is r a multiple of 23?
True
Let p(s) = s**2 - 6*s - 7. Let o be p(7). Suppose -9*w = -7*w - 544. Suppose 5*q - 53 - w = o. Is q a multiple of 18?
False
Let k(d) = d**2. Let t(a) = a**3 + 5*a**2 + 3*a + 3. Let h(b) = 4*k(b) - t(b). Let s be h(-2). Suppose -s*g + 165 = -297. Does 22 divide g?
True
Suppose -4*o + 3*l + 8 + 6 = 0, -3*l + 1 = -o. Suppose t = -3*u + 36, -4*t + 0*t + 212 = -o*u. Is 10 a factor of t?
False
Let x(h) = h**2 - 9*h + 8. Let r = -11 - -19. Let f be x(r). Let v = 13 - f. Is v a multiple of 2?
False
Let n(s) = -9*s + 69. Is 2 a factor of n(-3)?
True
Let l(n) be the first derivative of n**2/2 + 5*n + 21. Suppose 0 = -3*z - z + 20. Is l(z) a multiple of 10?
True
Suppose -5*a + 22722 = 9*a. Does 13 divide a?
False
Let c be 0 + 2/(4/14). Suppose 3*l - 6*l + v = -18, -2*l - 3*v + 1 = 0. Suppose l*q + 30 = c*q. Is q a multiple of 15?
True
Let y(s) = -s**2 - 6*s - 6. Let d = -2 - -2. Suppose 2*n + 7 = f - 2*f, d = 4*f - 4. Is 2 a factor of y(n)?
True
Suppose -9840 = -78*z + 66*z. Is z a multiple of 10?
True
Suppose 16*j - 51*j + 27755 = 0. Is j a multiple of 16?
False
Let s(p) = 2*p**3 + 3*p**2 - 6*p + 23. Is s(4) a multiple of 7?
True
Let l = 1 + -25. Let a = 52 + l. Is 7 a factor of a?
True
Let g be (12/10)/((-2)/(-15)). Let k be 1160/12 + (-6)/g. Does 12 divide (-5 + 6)/(2/k)?
True
Suppose -5*n = -0*n - 45. Let y be 3/(n/(-4))*-3. Suppose -256 = y*a - 8*a. Is 24 a factor of a?
False
Let y(h) = 46*h**2 + h - 1. Let z be y(2). Suppose 4*f + z = 765. Does 34 divide f?
False
Let k(z) = -z**3 + 12*z**2 + 3*z - 5. Let s be k(12). Does 10 divide (-15)/10*(-1 + s/(-3))?
False
Let s = 14 + -12. Suppose 4*x = -5*c - 0*x - 61, -4*c + s*x = 54. Let a = c + 32. Does 4 divide a?
False
Let g(x) be the second derivative of -x**3/2 + 6*x**2 - 7*x. Let b be g(-12). Suppose 0*h + h - b = 0. Is 12 a factor of h?
True
Let i be 148/18 + (-6)/27. Suppose -2*l - i = -2. Is 24 a factor of (12/15)/(l/(-180))?
True
Suppose 76*x = -35*x + 171495. Is x a multiple of 21?
False
Let o be 83148/66 - (-2)/11. Suppose -o = v - 10*v. Is 20 a factor of v?
True
Does 26 divide -4 + -4 + 2 - -1280?
True
Let i(x) = x**3 + 6*x**2 + 7*x + 17. Let u be i(-5). Let q(j) = j**3 + 2*j**2 - 3*j - 1. Let w be q(-3). Let m = w + u. Is 6 a factor of m?
True
Does 6 divide (41/(-7) + (-25)/(-5))*-658?
True
Let y(m) = 16 - m - 26 + 9. Let s be y(-6). Suppose s - 14 = -u. Is 3 a factor of u?
True
Suppose -2*n + 535 = k, -5*n + 444 = -4*k - 926. Is n a multiple of 20?
False
Let d = -69 + 27. Is 2 a factor of (-15)/(-10)*d/(-9)?
False
Let d(h) = -5*h**3 + h + 1. Let s be d(-1). Let x(b) = 2*b**2 + 24*b + 52. Let m be x(-9). Let o = s - m. Is 2 a factor of o?
False
Is (50/3)/((-7068)/(-882) - 8) a multiple of 35?
True
Let k(q) = 3*q**2 - 3*q - 4. Let c(l) = -l**2 - 8*l - 12. Suppose 4*b - 8*b = 20. Let p be c(b). Does 14 divide k(p)?
True
Let d = -1 + 6. Suppose y = 17*y - 80. Suppose -20 = -d*i + y. Is i even?
False
Let h(t) = t - 10. Let o be h(7). Let g = -38 - -18. Is (o - g/8)*-22 a multiple of 8?
False
Let o be (0 + -2 - -2)/1. Suppose -2*t + o = -4. Suppose -k + 2*k + 2*z - 9 = 0, t*z = k - 13. Is 9 a factor of k?
False
Is 18 a factor of ((-3)/4)/(9*6/(-93816))?
False
Let v(m) = m**2 + 13*m + 6. Let i be v(-10). Suppose 114 = 5*x + w - 150, 240 = 5*x - 5*w. Let a = i + x. Is 14 a factor of a?
True
Let t be (-7)/(-4) - 9/(-36). Suppose -4*i + 55 = q + 2*q, -2*q = t*i - 30. Does 5 divide ((-75)/i)/((-2)/4)?
True
Let y(v) = -2*v**3 - 3*v**2 - 3*v + 7. Let z(d) = -d + 1. Let f(j) = -y(j) + 5*z(j). Does 22 divide f(2)?
True
Suppose -x = -3*x - 4, -m - 4*x = -92. Does 10 divide m?
True
Suppose -5*g + 225 = -2*g. Suppose -n + g = -81. Is 13 a factor of 1/(2/n*3)?
True
Suppose 4*h - 51 = k, -2*h = -3*k - 38 + 5. Let l(d) = -d + 23. Is 11 a factor of l(h)?
True
Let c be 27/9 + 0/1. Suppose -o = x - 4*x - 72, 0 = -c*o + x + 232. Is o a multiple of 26?
True
Let q = -5 - -3. Let m be (q + 11)*(-4)/6. Is (-416)/m + 1/(-3) a multiple of 28?
False
Let f = 111 + -75. Suppose 4*i - f = -7*b + 2*b, -5*i - 3*b = -32. Suppose 0 = -i*u + 245 - 5. Is 20 a factor of u?
True
Suppose 0 = l - 7 + 2. Suppose b + l - 32 = 0. Let y = b - 14. Does 4 divide y?
False
Let n = -582 + 1032. Does 29 divide n?
False
Let w = -7 + 833. Is 14 a factor of w?
True
Suppose -f = -5*f - 24. Let d be (1/(-2))/(f/(-72)). Does 17 divide 15 - 3*d/9?
True
Let g = -182 - -23. Let o be (0 + -4)*g/12. Let n = 147 - o. Is n a multiple of 40?
False
Let v = 5690 + -3841. Is 25 a factor of v?
False
Does 19 divide 71/((-2)/12 + (-10)/(-24))?
False
Let q be (76/(-57))/(-1*(-1)/(-15)). Let h(g) = g. Let s be h(-1). Is 8*(q/16 + s) a multiple of 2?
True
Let j = -34 - -187. Suppose -2*f + 213 = -k, 168 = 3*f - 2*k - j. Is 15 a factor of f?
True
Suppose -3*p + 5*p - 136 = -w, 0 = p - 3. Let r = w + -45. Is 38 a factor of r?
False
Suppose 0 = -5*r + 4*z + 968, 3*r - 989 = -2*r - 3*z. Does 6 divide r?
False
Let r(i) = -i**2 + 18*i - 28. Let s be r(15). Suppose -n + 4*d = -36, -20 = -n + 5*d + s. Is n a multiple of 4?
True
Let f(g) = -20*g**2 - 15*g + 104. Let s(v) = -13*v**2 - 10*v + 69. Let d(w) = -5*f(w) + 7*s(w). Does 14 divide d(5)?
False
Suppose -4*g + l + 603 = 0, -3*l + l - 6 = 0. Does 30 divide g?
True
Suppose -334 - 113 = -3*n. Suppose -r - n = -2*r - 3*g, 2*g = 4*r - 540. Does 18 divide r?
False
Suppose t + 16 = 18. Does 20 divide 0 + t - (-172 - 7)?
False
Suppose -4*r - 7 = -3*q + 1, r = -5*q + 21. Suppose 5*v = t + 15, 5*v - 16 = 5*t - r. Is 8/v*(-36)/(-8) a multiple of 6?
True
Let n(u) = -u + 6. Let x be n(6). Let c be 5 - (3 - 0) - x. Suppose -2*r + 3*i + 2*i = -12, -12 = -2*r + c*i. Is r even?
True
Let a be -12 - -13 - 258/(-2). Suppose -y = -d - 67, -4*d + a = 2*y - 2*d. Is y a multiple of 11?
True
Let l(k) be the second derivative of -k**4/12 - 3*k**3 + k**2 + 5*k. Let g be l(-14). Let v = g + -38. Does 10 divide v?
True
Let i(v) be the third derivative of -v**6/24 - v**5/30 + v**4/12 + v**3/2 - 3*v**2. Let l = -26 + 24. Is 11 a factor of i(l)?
False
Suppose 3*h - 225 = 5*r, -2*r + 0*r = 3*h - 225. Let s = h - 24. Is 18 a factor of s?
False
Is 868/14 - (-6)/1 a multiple of 17?
True
Let p(b) = 8*b - 26. Let t be (14 - 4) + (-1 - -2) + 1. Is 10 a factor of p(t)?
True
Let f be 141/6 - (-1)/2. Suppose 5*m - 76 = f. Is 7 a factor of m?
False
Suppose -11*m + 58375 = -1388. Is 140 a factor of m?
False
Suppose -5*v - 5 = 5*d, 3*d - 3*v - 7 = 2*d. Is (-2 - (-4 + d))*92 a multiple of 13?
False
Let l(z) = 185*z - 8. Let f be l(-4). Let h = f + 1072. Is h a multiple of 27?
True
Let r(a) = a**3 + 10*a**2 + a + 14. Let y(s) = -3*s - 4. Let x be y(2). Let u be r(x). Is 20 a factor of 12/((0 + u)/20)?
True
Let z(k) be the second derivative of 57/2*k**2 + 1/12*k**4 - 1/3*k**3 - 5*k + 0. Does 12 divide z(0)?
False
Suppose 28*h - 7*h - 11571 = 0. Is h a multiple of 19?
True
Let r(h) = h**2 - 4*h + 1. Let k be r(3). Let c be k/(-4)*(-2 - -8). Suppose s - 2*s + 18 = -2*d, -c*s + d + 29 = 0. Does 3 divide s?
False
Let g = -79 - -163. Does 21 divide g?
True
Let y = 121 + -118. Suppose 3220 = 7*o + y*o. Is 46 a factor of o?
True
Suppose -k + 5*k = 5*d - 1113, -3*d + 669 = -3*k. Does 4 divide d?
False
Suppose 9 - 3 = 3*p. Suppose -3*j - 5*y = 0, -5*j + y + p*y = 0. Let b(n) = -n**3 + n**2 + n + 8. Does 8 divide b(j)?
True
Suppose 3*a - a = 40. Let x = 31 - a. Suppose 3*z + x = 221. Does 17 divide z?
False
Is 4 a factor of (-528)/9*-1*(-15)/(-10)?
True
Suppose 3*d - 263 - 1 = 0. Does 11 divide d?
True
Suppose -4*m + 2*u + 5032 = 0, 82*m = 81*m + 2*u + 1255. Is 28 a factor of m?
False
Suppose -3*r = -m + 311, 0 = -5*m - 2*r + 1096 + 510. Suppose m = -2*u + 6*u. Is 16 a factor of u?
True
Let q(p) = -p**3 - 4*p**2 + 2*p. Let m(a) = a**2. Let c(h) = m(h) + q(h). Let i be c(2). Does 26 divide (-24)/i*(-52)/(-3)?
True
Let c(i) = -10*i + 11 - 14 - 10 + i**2. Is c(15) a multiple of 13?
False
Let t = -1000 + 2598. Is t a multiple of 17?
True
Let p = -650 + 1042. Is 49 a factor of p?
True
Let t = -138 + 137. Is 39 a factor of t/1