 3*v - 2*v. Is 15 a factor of x(y)?
False
Suppose -u + 0*u - 5*m = -23, -4*u + 16 = m. Suppose 5*q - 51 = -z, 0 = u*z + q - 4 - 163. Is z a multiple of 14?
True
Let w(k) = 3*k**2 - k**2 - 11 - k**2 + 2*k - 7*k. Does 12 divide w(8)?
False
Let d(j) = -j**3 - 7*j**2 + 5. Let s = 15 - 22. Let c be d(s). Suppose -c*a - 40 = -2*g, 3*g = -3*a - a + 14. Is g a multiple of 10?
True
Let r = 7 - 3. Suppose 120 = r*c + c. Is 12 a factor of c?
True
Suppose 42 = 12*a - 11*a. Does 21 divide a?
True
Let v(g) = -g**3 - 3*g**2 - 6*g - 11. Is 29 a factor of v(-4)?
True
Let x = -82 - -51. Let l = x - -91. Does 15 divide l?
True
Let a be 7/(-2)*(-3 + 1). Suppose 42 + 43 = 5*i. Suppose a + i = 4*c. Is 6 a factor of c?
True
Let c(u) = -u - 7. Let l be c(0). Let t(s) = -s**3 - 8*s**2 - 6*s + 8. Let k be t(l). Is (25 - 4) + -1*k a multiple of 8?
False
Let y(g) = 4*g + 3. Let q be y(-9). Let f be (-25)/5*(-138)/(-10). Let o = q - f. Is o a multiple of 13?
False
Suppose 41 = 3*y - 1. Suppose -3*p + y = -1. Is p a multiple of 4?
False
Let b = -13 + 7. Let r(y) = -y - 1. Let n(l) = -7*l - 12. Let z(j) = n(j) - 3*r(j). Does 15 divide z(b)?
True
Let c = 90 + -45. Is c a multiple of 3?
True
Let v = -15 - -36. Let b = v + -49. Let w = 48 + b. Is w a multiple of 10?
True
Suppose 2*y = 2*z + 194, 3*y = -z - 0*z + 287. Does 16 divide y?
True
Let x be (1 - 2)*-2*2. Let l be (x/(-6))/((-4)/18). Suppose -4*i - 4*j = -136, 2*i - 5*j + 42 = l*i. Is 16 a factor of i?
True
Let x(y) = -y + 10. Suppose -2*h + 4*w = -4*h + 28, 3*h - 18 = 2*w. Let r be x(h). Is (-1)/r*(-1 + -71) a multiple of 17?
False
Let n be (-146)/(-3) + (-5)/(-15). Let o = 37 + n. Is 27 a factor of o?
False
Let p(c) = -5*c**2 - 4*c - 7. Let d(h) = 4*h**2 + 3*h + 6. Let j(k) = -6*d(k) - 5*p(k). Does 12 divide j(-6)?
False
Let y(z) = -z - 1. Is y(-4) a multiple of 3?
True
Suppose -4*k + 93 = 5*t, -3*k + 5*t + 123 = k. Is 27 a factor of k?
True
Let p = 60 + -24. Is p a multiple of 12?
True
Let o be (-6)/(-3)*(-11)/(-2). Suppose 82 = 3*i - o. Let h = -18 + i. Is 13 a factor of h?
True
Let s(n) = -n**2 + 2*n. Let g be s(2). Suppose 4*c + 0*c = g. Let u(m) = -m**3 - m**2 + m + 11. Is u(c) a multiple of 11?
True
Suppose 2*i - 4*u + 3 = 5, 2*i - 3*u = 3. Let n = 33 + i. Does 12 divide n?
True
Let p = -77 + 141. Is p a multiple of 16?
True
Suppose f + 4*x - 96 = -0*x, 5*f - 5*x = 430. Is 10 a factor of f?
False
Let m be (-12)/54 + (-38)/(-9). Suppose -a + m*a = 231. Suppose -a = -5*b + 68. Is 10 a factor of b?
False
Let j be 6/(5 + -2) + 14. Suppose -u = 4*g - j, -4*u = 2*g + g - 90. Is 24 a factor of u?
True
Let r(z) = z**3 - 7*z**2 - 11*z - 12. Is 17 a factor of r(9)?
True
Let q be -1*15*(-81)/15. Let z = q - 41. Is 20 a factor of z?
True
Let x = 86 + -62. Is x even?
True
Let v be 2/(-6) - (-19)/3. Suppose -33 = -i - v. Suppose 3*l = 2*l - 3*f + 19, 0 = -l + f + i. Is l a multiple of 20?
False
Let l(r) = 4*r - 4 - 4*r**2 + 5*r**2 - 10*r. Let f be l(8). Does 17 divide (-4)/24 - (-410)/f?
True
Let z be (35/(-5))/((-1)/33). Suppose 4*g - 57 = z. Is g a multiple of 24?
True
Let x(h) = 0*h + 10*h**2 - 3 + h**3 + h - h**2. Let j be x(-5). Let r = 137 - j. Is r a multiple of 17?
False
Let j(o) = 2*o**2 - 2*o - 20. Is j(-6) a multiple of 8?
True
Let q(r) be the second derivative of r**4/6 + r**3/2 + 3*r**2/2 + 3*r. Suppose -4*a - 1 = -13. Is q(a) a multiple of 15?
True
Suppose 0 = -5*v - 5. Let q = v + 3. Suppose -16 = -q*n + n. Is n a multiple of 8?
True
Let v(p) = 2*p**2 - 14*p + 8. Let f(w) = -5*w**2 + 41*w - 24. Let x(a) = -3*f(a) - 8*v(a). Is x(-10) a multiple of 9?
True
Let a be (-2)/(-6) + 436/6. Suppose g + 3 = 2*g. Suppose g*t - a = -6*c + 2*c, 2*c - 43 = 5*t. Is 9 a factor of c?
False
Let j be -6 + 5 - (-49 - 0). Suppose 0*k + k = j. Is k a multiple of 13?
False
Let h(z) = z**3 + 9*z**2 + 7*z - 1. Let s be h(-7). Suppose -3*f = -4*f + s. Is 12 a factor of f?
True
Is 9 a factor of (-474)/(-10) + 39/65?
False
Let k(g) = g**3 + 5*g**2 - 2*g + 4. Let i = -6 - -15. Let x = i - 14. Is k(x) a multiple of 4?
False
Suppose -2*o = -6*o + 16. Is 2 a factor of o?
True
Let x = 10 + -5. Suppose -305 = -x*s + 3*o, s - o + 19 = 82. Is s a multiple of 15?
False
Let d(u) = -2*u - 2*u + 3*u - 17 + 49. Does 6 divide d(10)?
False
Suppose 196 = 9*m - 2*m. Is m a multiple of 14?
True
Let k(i) = -2 + 6 + 0*i**3 - 5*i**2 - 6*i + i**3. Let q be k(6). Suppose 0*w + 3*d - 19 = -2*w, q*d = -4. Is 11 a factor of w?
True
Suppose -2*x - 3*m = -296 - 190, 0 = x - 3*m - 261. Suppose 3*k + 3*s - x = 0, -3*k - 2*s + 251 = -s. Is 28 a factor of k?
True
Suppose 7*g - 117 = 16. Is g a multiple of 7?
False
Suppose -11*v = 2*v - 1053. Does 7 divide v?
False
Let j(b) = -8*b**3 + b**2 + 3*b + 2. Let q be j(3). Does 8 divide 12/(-18) - q/6?
True
Suppose -4*l = -m + 12, 3*m - l + 8 - 33 = 0. Is m a multiple of 8?
True
Is (-6)/3 + 0 + 36 a multiple of 17?
True
Let u = 11 + -14. Is 1*((-114)/(-2) + u) a multiple of 11?
False
Suppose 0 = -4*n + 5*k - 5, n = 4*n - 4*k + 4. Suppose n = u + 4*u - 100. Is u a multiple of 10?
True
Let u(i) = 2*i - 4. Let r(d) = d**3 - 3*d - 2*d**3 + d**2 - 3*d**2. Let n be r(-2). Does 4 divide u(n)?
True
Suppose 45 + 18 = 3*j - 3*z, -j + 2*z = -21. Suppose 101 = 2*l - j. Suppose 5*t - 4 = l. Does 12 divide t?
False
Let u(g) = 20*g**3 - 4 + 5 - 3 - g**2 + 2*g. Let a be u(2). Is 7 a factor of a/14 + 2/(-7)?
False
Let g be 12/18 + (-40)/6. Let q(y) = -y**3 - 4*y**2 + 9*y + 5. Is 6 a factor of q(g)?
False
Suppose 0*p - p = 0. Let c be (-2)/4 + 26/52. Suppose c = 3*k - p*d - 3*d - 114, -k + 5*d = -42. Is k a multiple of 11?
False
Suppose -c = -2*c + d - 2, c + 26 = -5*d. Is 12 a factor of (-5)/(35/c)*14?
True
Let u be 73 - (0 + (-4 - -1)). Suppose -3*x - u = -190. Does 19 divide x?
True
Let t = 1 - -5. Is 16 a factor of 292/t + 12/(-18)?
True
Suppose -20*o = -15*o - 490. Is 11 a factor of o?
False
Let c(y) = 13*y - 5. Let g be c(5). Suppose 2*s + 3*s - g = 0. Does 17 divide 4*((-645)/s)/(-5)?
False
Let f(a) = -2*a**2 + 2*a + 1. Let z be f(-1). Is 9*z/(6/(-16)) a multiple of 24?
True
Is (60 - 1 - -4)*1 a multiple of 8?
False
Suppose 3*h = -4*p + 18, 4*p - 2*h + h - 10 = 0. Suppose -3*q + 0*q + 15 = -w, -p*w - 5 = q. Does 4 divide q?
True
Let h(i) = -i**2 - 3. Let w be h(0). Let x = w + 0. Is x*(130/6)/(-5) a multiple of 13?
True
Suppose -33*w - 610 = -38*w. Does 30 divide w?
False
Let f = -12 - -17. Suppose -18 = f*p - 173. Is 8 a factor of p?
False
Let j = -7 - -37. Suppose j = 2*n - 5*y, 5*y + 45 = 3*n + 2*n. Is n a multiple of 4?
False
Suppose -5*a + 10 = 5*z, a - 3*z - 5 + 3 = 0. Suppose 0 = n + 5*i - 63, 118 = -0*n + a*n + 2*i. Suppose -2*b = -4*b + n. Is 11 a factor of b?
False
Suppose 0 = 5*g + 4*y + 10, -y - 15 = -6*g + g. Suppose c = 5 + g. Is 7 a factor of c?
True
Let y be (-14)/(-3 + 22/6). Let b = 31 + y. Is b a multiple of 3?
False
Let s(y) = -y**2 + 2*y + 4. Let h be s(3). Let n(c) = 3 + 2*c**3 - 4 + 2*c**3. Is n(h) even?
False
Let l(f) be the second derivative of f**3/2 - 5*f**2/2 + 2*f. Let k be l(10). Let h = k + -13. Is 6 a factor of h?
True
Let p be 8*((-27)/(-6) - 3). Let x(a) = -a**2 + 4*a + 3. Let g be x(4). Let y = p + g. Is 15 a factor of y?
True
Suppose -60 = 2*c - 4*z - 8, 2*c + 2*z = -28. Is (-794)/(-14) - c/63 a multiple of 25?
False
Suppose 19 = 3*f + q, 2*f = -f - 5*q + 11. Is f even?
False
Let i(n) = n**2 + 4*n - 13. Is 47 a factor of i(6)?
True
Let u = -21 - -55. Does 17 divide u?
True
Let m be (40/(-25))/((-1)/(-5)). Is 15 a factor of 8/m*(-49 + -1)?
False
Suppose 5*l = -185 - 60. Let h = -48 + 13. Let w = h - l. Is 7 a factor of w?
True
Suppose -2*f + 4*c = -30, -4*c + 3 = 5*f - 2. Does 5 divide ((-26)/10)/(f/(-25))?
False
Suppose 48 + 107 = 5*p - x, 0 = -p + 3*x + 31. Is p a multiple of 3?
False
Let k = 32 - 20. Suppose k = 5*b - 173. Does 25 divide b?
False
Suppose 5*a = -3*p + 45 + 28, 5 = 5*p. Is 14 a factor of a?
True
Let w(g) = g**2 + 9*g + 8. Suppose -u = -3*u - 20. Is 18 a factor of w(u)?
True
Let d = -13 + 12. Does 20 divide (4 - (d + -3))*5?
True
Suppose -5*a = 2*l - l - 60, 270 = 3*l - 3*a. Does 28 divide l?
False
Is ((-9)/18)/(2/(-200)) a multiple of 25?
True
Let k be -1 - (4 + 0 + -2). Let t = k + 4. Let i = t - -10. Is i a multiple of 5?
False
Let k = 59 - 41. Suppose 4*f = f + k. Suppose -u - 3