= 2*y - i - 24. Is y a multiple of 14?
True
Let q = 143 + -64. Is q a multiple of 10?
False
Let s = 6 - 6. Does 12 divide (s - 2)*(-11 - -5)?
True
Let g(i) = -i**2 + 13*i + 4. Is 14 a factor of g(11)?
False
Let n be (-9 + -3)*(-3)/(-4). Let s = 29 + n. Is s a multiple of 12?
False
Let a be (0 - (-66)/(-9))*-3. Suppose -j + 2*j = a. Is j a multiple of 8?
False
Does 36 divide (-2)/((-60)/3235) - (-1)/6?
True
Suppose -3*k + 6*k + 2*b = 10, -k - 3*b + 1 = 0. Suppose k*z = z + 12. Does 2 divide z?
True
Let w be 75*1/((-15)/(-6)). Suppose -2*s + w = s. Is 324/s + 6/10 a multiple of 19?
False
Let a(w) = -w + 17. Let v be a(12). Does 26 divide 56*(3 - v/2)?
False
Let d(k) = k**3 + k**2 - 2*k + 1. Let u be d(-2). Is 483/14 + u/(-2) a multiple of 17?
True
Suppose 120 = 3*n - 0*n. Suppose -n = -4*g + 4. Suppose 0 = -i + 3*c + 11, i = -0*i - 5*c + g. Does 11 divide i?
True
Let g(q) = -q + 16. Is 11 a factor of g(-13)?
False
Is 12 a factor of -6 - (-97)/3 - 2/(-3)?
False
Suppose 4*a - 24 = -2*b, 3*a - 52 = -5*b + a. Is b a multiple of 10?
True
Let a(g) = 4*g + 71. Is 11 a factor of a(-15)?
True
Let r be 2562/18 - 2/(-3). Suppose -35 + r = 3*v. Does 24 divide v?
False
Is 30 a factor of (3/(-4))/(3 - (-363)/(-120))?
True
Let c(t) = -2*t - 1. Let p be c(-3). Let o(d) = d + 17. Let z be o(-12). Suppose 22 = p*m - 3*k - 13, -35 = -z*m - 4*k. Is 7 a factor of m?
True
Suppose -5*y - 45 = 5*l, 4*y = 5*l + 89 - 26. Let k(g) = 6*g - 16. Let o(h) = 5*h - 15. Let j(p) = -6*k(p) + 7*o(p). Does 2 divide j(l)?
True
Suppose -2*y + 16 = 2*i, 4*y + 5*i - 14 = 19. Is 5 a factor of y?
False
Let r(a) = -2*a - 2. Is 3 a factor of r(-4)?
True
Suppose 5 = y - 3*k, 0*y + 2*k + 5 = y. Suppose 4*d - 3*h = 4 + 23, 5*d - 35 = y*h. Is d a multiple of 6?
True
Let r(c) = -3*c - 5. Suppose 2 = z + s + 5, -3*s - 17 = 5*z. Does 5 divide r(z)?
False
Suppose 0 = 6*p - 24 - 138. Does 9 divide p?
True
Let m(b) = -b**3 - 11*b**2 + 2*b + 24. Is m(-11) even?
True
Let o = 4 + -1. Suppose 2*i - 2*h = 46, 2*i - o*h - 16 = 27. Does 8 divide i?
False
Let r(j) = 2*j**2 - 18*j - 13. Let y be r(13). Does 35 divide y + -6*2/(-4)?
False
Let a(t) = 17*t**2 - 2*t + 1. Is 16 a factor of a(-3)?
True
Suppose -5*y = -g - 4*y, 2*g + 4*y - 24 = 0. Does 2 divide g/6 - 19/(-3)?
False
Suppose -5*q + 2*x = 28, -7*x = -q - 2*x - 1. Is 5 a factor of (-1)/3 + (-32)/q?
True
Let t(p) = -p**2 + p - 6. Let g be t(-8). Let v be (-2 + g/15)*-5. Suppose i - v = -2*i. Is i a multiple of 12?
True
Let f be -2*(-2)/((-8)/(-6)). Suppose -2*r + 63 + 15 = -4*n, -f*r - 114 = 5*n. Is 7 a factor of 4/((-12)/n) - 0?
True
Let j = -36 - -72. Is 18 a factor of j?
True
Let g(o) = o**2 + 1. Let n be 0 + 4/2*-1. Let p be g(n). Suppose 3*f - 2*z + 3*z = 80, 0 = -2*f + p*z + 76. Is 14 a factor of f?
True
Suppose -4*k + 6 = 18, 0 = 2*z + 3*k + 5. Let x = 8 - z. Is x a multiple of 2?
True
Let i(q) = q**3 - 11*q**2 + 14*q - 8. Let x be i(10). Suppose 24 = 5*y + 4*h, y + y - x = 4*h. Let c = y + 11. Does 14 divide c?
False
Suppose 5*z - 3*z - 15 = h, 0 = z + 2*h. Does 2 divide z?
True
Let a be (1 - -1)/4*-108. Let k = 34 + a. Let f = 31 + k. Does 9 divide f?
False
Let a = -4 - -9. Let q(l) = l**2 - 2*l. Let c be q(2). Is c - ((a - 3) + -16) a multiple of 14?
True
Let n(m) = 3*m - 10. Let q be n(4). Suppose -q*g - 9 = -29. Is g a multiple of 4?
False
Let r = 1 + 4. Suppose -4*s - r*f + 3*f = -74, 0 = -s - 3*f + 26. Is 11 a factor of s?
False
Let o = 43 + -2. Is 4 a factor of o?
False
Suppose 6*o - 50 - 22 = 0. Suppose 4*h - 13 = 7. Suppose 3*i = 2*r + 29, -4*i - h*r + o = 4. Does 4 divide i?
False
Suppose -i = i - 8. Suppose 0 = i*c - 0*c - 112. Is 12 a factor of c?
False
Is 42 a factor of 170 - (1/(-1) - -3)?
True
Let c = 59 + 61. Is 31 a factor of c?
False
Let u(i) = i**2 + 7*i - 8. Let h be u(-8). Let j = 3 - h. Let c = j + -1. Is c a multiple of 2?
True
Is 114/(-10)*1*-5 a multiple of 35?
False
Let i(m) = -m**3 - 9*m**2 + m + 9. Let v be i(-9). Suppose 0 = -v*x + 2*x - 4. Is (21 - 1) + -2 + x a multiple of 20?
True
Let s(g) = -g**3 - g**2 + 8*g - 10. Is 10 a factor of s(-7)?
False
Let g = 23 + -53. Let q = 82 + g. Suppose -23 = -t + 4*c, 2*t + c = -3*t + q. Is 4 a factor of t?
False
Let n = 69 - -15. Is 28 a factor of n?
True
Suppose -5*d - 23 = -v, 5*d - 28 + 75 = 4*v. Suppose -v + 23 = 3*n. Suppose 2*g + n*h = 49 + 7, -5*g = -3*h - 109. Does 10 divide g?
False
Suppose -13*m = -153 - 107. Is m a multiple of 3?
False
Let d(n) = n**2 - n + 4. Is 8 a factor of d(-3)?
True
Suppose -22 = h - 6*h - g, 3*h - 18 = g. Let o be ((-15)/(-6))/h*6. Suppose x + o*d - 35 = -d, -3*x + 89 = -4*d. Is x a multiple of 10?
False
Let i = 2 + -4. Let l be (2 + -3)*-2 - 0. Is l - (-25 + 0 - i) a multiple of 12?
False
Let u = 48 + -26. Does 22 divide u?
True
Let c(l) = 1 + 0*l**2 - 3 + 2*l**2 - 1 - 6*l. Does 29 divide c(7)?
False
Let v be (-42)/(-9)*9/6. Let u(y) = 5*y - 6. Is u(v) a multiple of 16?
False
Suppose -4*s + 6*s + 10 = 0. Is (-302)/(-5) + 2/s a multiple of 28?
False
Let t(r) = r**2 - 16*r - 4. Is 7 a factor of t(18)?
False
Let v(n) be the second derivative of -1/20*n**5 + n + 0 - 2/3*n**3 + n**2 - 5/12*n**4. Is v(-4) even?
True
Let j be 16*(0 - (-9)/4). Let r = -43 - -62. Suppose -j = -5*i + r. Does 7 divide i?
False
Let l(u) = u**3 - 9*u**2 - 10*u + 4. Let z be l(10). Let q = z - -43. Is 9 a factor of q?
False
Let s(j) = -4*j - 1. Suppose 0*l + 16 = l. Suppose 4*f = -16 - l. Is s(f) a multiple of 12?
False
Does 2 divide (-36)/(-40)*-2*-5?
False
Let c(q) = 3*q**3 - q**2 - 2*q - 4. Let p(g) = g**3 - g**2 - g - 2. Let v(a) = -2*c(a) + 5*p(a). Let r be v(-3). Is (-1 - r) + 102/3 a multiple of 16?
True
Suppose -9 = -3*y + 2*y. Let z = y - 2. Let a = 9 + z. Is 16 a factor of a?
True
Suppose -4*m + 3*m + 34 = 0. Is 10 a factor of m?
False
Suppose -i - 4*i + 185 = 5*z, 2*z + 4*i = 84. Suppose 49 + z = o. Is o a multiple of 35?
False
Let b = 12 - -23. Is b a multiple of 35?
True
Suppose 2*u + 0*a - 52 = -a, -3*a - 60 = -3*u. Is u a multiple of 8?
True
Suppose 3*j - 11 - 19 = 0. Is j a multiple of 2?
True
Suppose 5*o = 38 + 92. Does 7 divide o?
False
Suppose -5*m + 13 = -67. Does 16 divide m?
True
Let z = -13 - -38. Let r = z + -8. Does 17 divide r?
True
Suppose 0*g - 47 = -g. Suppose -5*h - 2 = -g. Suppose -n = -4, -s + n = -2*n - h. Is 7 a factor of s?
True
Is 18 a factor of -2 + -1 + 3 - -195?
False
Suppose 4*z + z = 2*u + 8, 4*z = 5*u + 3. Suppose -7*b = -z*b - 80. Does 6 divide b?
False
Suppose -4*g + 2*b + 10 = 0, -2*g + 3*b + 15 = -0*g. Suppose g = 3*m - 26 - 10. Is ((-63)/(-12))/(3/m) a multiple of 7?
True
Let r(d) = -26*d**3 + d**2 + d. Suppose -5*q - 5*c = 5, -q - 5*c = q + 2. Is 13 a factor of r(q)?
True
Let z = -21 + 23. Suppose 2*d = -2*d + 88. Suppose 5*t - d = -q, 5*t - z*q - 14 = q. Is 4 a factor of t?
True
Suppose 4*t - 965 = -5*s, -2*t - 1199 = -7*t + s. Suppose -7*i + t = -2*i. Is 12 a factor of i?
True
Suppose 3*h = -0*h - 15. Let a = 12 + h. Is 2 a factor of a?
False
Let i = -28 - -34. Is i even?
True
Let c be 0 + 1*36 - 0. Is 11 a factor of (9/12)/(1/c)?
False
Suppose u - 96 = -2*u + 2*y, 0 = 2*u - y - 65. Is 27 a factor of u?
False
Suppose 1543 = 7*z + 290. Is 17 a factor of z?
False
Let s = 16 + 117. Is s a multiple of 19?
True
Let a be 10*-2*2/(-8). Suppose -3*d = d - 4*l - 28, a = -5*l. Is d a multiple of 2?
True
Suppose -l + 14 + 1 = 0. Is l a multiple of 4?
False
Let z(k) = 3*k + 18. Is 13 a factor of z(0)?
False
Let s = 61 + -39. Is 5 a factor of s?
False
Let u(v) = -v**3 - 4*v**2 + v + 1. Let s be u(-3). Let d = s + 24. Suppose 2*k - d = 49. Is k a multiple of 11?
False
Suppose -w = -0 - 4. Suppose -2*m + w = 4*j, 3*m - 2*j = -3*j + 6. Suppose -2*a + 14 = 5*c - 29, -a = -m*c - 8. Is 6 a factor of a?
False
Let j = 43 + -14. Does 7 divide j?
False
Suppose 3*o - a - 4*a = -23, 0 = 4*o + 4*a + 20. Is 25 a factor of 51/2*(-12)/o?
False
Suppose 14*o = 13*o + 60. Is 15 a factor of o?
True
Suppose -2*b + 64 = -5*j, 5*b - 3*b - 48 = -3*j. Let u = -80 + 143. Let k = u - b. Is 12 a factor of k?
True
Let j = 18 - 6. Is j a multiple of 12?
True
Let y(i) = i**3 + 4*i**2 - i - 3. Let c be y(-4). Let u = c + 3. Suppose -k = u*k - 25, 5*k = -2*j + 57. Does 16 divide j?
True
Let b be ((-2)/(-3))/(11/33). Suppose -b*s + 0*s + 270 = 0. Suppose -h = -2*u 