Is 19 a factor of y?
False
Let d(k) = k**2 - 4*k - 7. Is 19 a factor of d(-5)?
True
Let n = -229 + 347. Suppose -2*v - 518 = 5*s, -n = -4*s + 3*v - 537. Does 9 divide (-18)/(-27) + s/(-6)?
True
Suppose 4*a + y = 5, 0*a + 4*a - 11 = y. Let r be 55 - (4/a + -1). Is 18 a factor of r/1 + 4 + -4?
True
Is (-10)/(-40) - (-310)/8 a multiple of 23?
False
Let i be 2 + -2 - (-8)/(-4). Let m be (-561)/21 - i/(-7). Is 3 a factor of -1 + (m/(-3) - 1)?
False
Let y = 4 - 4. Let n(i) = -11 - i**2 + 0 + 11*i + y. Is n(9) a multiple of 7?
True
Let k = -12 + 33. Is k a multiple of 5?
False
Suppose 26 = 5*x - 3*s - 0*s, 3*x + 2*s - 8 = 0. Let h(t) = -3*t**2 + 0*t - 2*t**3 + 6*t - 6 + 3*t**3 - x*t**2. Does 13 divide h(7)?
False
Let i(t) be the first derivative of 2*t**3/3 - 5*t**2/2 - t + 6. Is 3 a factor of i(4)?
False
Let x = 74 - 30. Is 22 a factor of x?
True
Suppose 0 = -0*y - 2*y + 56. Is y a multiple of 4?
True
Let n = -85 + 218. Suppose -3*x = 2*i - 91, -2*x + 61 = 4*i - n. Is i a multiple of 12?
False
Suppose -5*k + 5*p - 86 + 26 = 0, 2*p - 44 = 4*k. Is (-136)/k + 6/15 a multiple of 7?
True
Let y be (-1)/(-3) - (-2)/(-6). Let j(l) = -l - 15. Let q be j(y). Is (-5)/(q/(-6)) - -18 a multiple of 13?
False
Suppose 5*m = l - 4*l, -2*m = -5*l. Suppose m*n = 4*n - 24. Is n a multiple of 3?
True
Suppose 5*t + 4*k = 7, 19 = 5*t - 4*k + 2*k. Is t a multiple of 3?
True
Suppose -4*u = -u - 9. Let k be 8/12 + 142/u. Suppose 0*o = 2*o - k. Is o a multiple of 12?
True
Let o(j) be the third derivative of j**5/60 - j**4/8 - j**3/6 - 2*j**2. Let m be (2/4)/((-2)/(-20)). Does 4 divide o(m)?
False
Let t be (-1)/5 - 31/(-5). Is (-2 - 124/(-12))*t a multiple of 14?
False
Let w(p) = -p**3 - 5*p**2 + p - 5. Let y be w(-5). Let m = -1 - y. Is m a multiple of 4?
False
Suppose z + 4*z + 5 = 0. Is 5 + 0 + -1 + z a multiple of 2?
False
Suppose 5*v - 356 = 3*q, -v = v + 5*q - 130. Does 5 divide v?
True
Let u = 3 - 9. Let b(z) = 2*z**2 + 7*z - 3. Let f be b(u). Let r = 51 - f. Does 12 divide r?
True
Suppose 6*d - 8 = 4*d. Suppose -3*w - 243 = -3*c, d*c - 5*w = -0*c + 321. Is 14 a factor of c?
True
Suppose 2*i = -0*i + 238. Does 17 divide i?
True
Suppose -66 = -w + 55. Suppose -3*x + 15 = 0, 0 = 4*h - 2*h + x - w. Let y = -27 + h. Is y a multiple of 16?
False
Suppose 5*i - 35 = 20. Does 9 divide i?
False
Suppose 4*z - 3*c = 39, 0*z - 29 = -3*z + 2*c. Is z a multiple of 4?
False
Let j(f) = -f**2. Let o be j(0). Let g = 3 + o. Suppose -4*k + 116 = -5*d, 2*k + g*d = -0*d + 80. Is 17 a factor of k?
True
Let h(a) = -a**3 + 8*a**2 + 5*a - 5. Suppose 3*k - 8 = 2*k. Is h(k) a multiple of 22?
False
Let s = 9 - 8. Suppose -3*f = -h - s, 4*h + 2*f = -3*f + 13. Is 13 - (0 - (2 - h)) a multiple of 7?
False
Let f = 10 - 10. Is 7/((-2)/(-12) - f) a multiple of 13?
False
Let k(j) = 5*j**2 - 7*j + 5. Does 31 divide k(6)?
False
Let t = 123 - 74. Is t a multiple of 7?
True
Let b = -5 - -15. Let p(v) = 3 - 3*v + 2*v + b. Is 6 a factor of p(0)?
False
Let n = 17 - 13. Suppose -n*t = -0*j - j - 36, 5*t - 32 = -2*j. Is t even?
True
Suppose 2*u + 16 + 19 = l, 3*l - 109 = 5*u. Is 8 a factor of l?
False
Suppose -2*z + 2 = -2*f, -2*z + 2*f - 7 = 3*z. Let g be (-2)/z*-3*-1. Suppose -g*n = -23 - 3. Is 13 a factor of n?
True
Let g = -135 + 235. Is g a multiple of 25?
True
Suppose 0 = 4*r + 4*z + 8, z - 2 - 5 = -4*r. Suppose -32 = -r*x + x. Does 10 divide x?
False
Suppose -q + 5*b + 87 = 0, q - 134 = -5*b - 37. Let l = q + -62. Does 15 divide l?
True
Suppose -72 = -2*c - c. Is 5 a factor of c?
False
Let y = 2 - 0. Suppose 0 = -2*f + 10 + y. Is f a multiple of 3?
True
Let u(q) = -q**2 - 10*q + 15. Let p be u(-11). Is (-18)/(1*(-2)/p) a multiple of 12?
True
Let w(r) = r + 8. Let j be w(0). Is 7 a factor of (j/10)/(6/105)?
True
Let j(g) = -g**2 - 15*g - 1. Is 13 a factor of j(-9)?
False
Let n = 2 + -2. Suppose n = 3*k - 4*d - 57, 0 = -3*k + 2*d - 3*d + 42. Let t = k + 0. Does 7 divide t?
False
Let f be -1 + 7*6 + 0. Let k = -70 + f. Let m = k - -47. Is m a multiple of 9?
True
Suppose -6 = 2*f - 46. Let c = -10 + f. Is c a multiple of 5?
True
Suppose 48 - 480 = -6*m. Is m a multiple of 36?
True
Let i(d) = -d**2 - d + 1. Let v be i(-1). Is 32 + -3 + (v - 0) a multiple of 15?
True
Suppose -4*t - 3*z = -28, -3*t + 3 = 3*z - 18. Suppose t*b - 25 = 2*b. Suppose 0*a - b*a = -170. Does 17 divide a?
True
Let s(f) be the third derivative of f**4/8 - 3*f**3/2 + 5*f**2. Is s(9) a multiple of 4?
False
Let k(n) = -7*n + 11. Let x(i) = -3*i + 5. Let h(v) = -6*k(v) + 13*x(v). Is 18 a factor of h(7)?
False
Let m = 22 - -12. Let j = 13 - m. Let i = j + 54. Is 13 a factor of i?
False
Suppose 10 = -5*i, -2*l - 5 = 2*i + 13. Let o(m) be the first derivative of m**2/2 + 10*m - 2. Is 3 a factor of o(l)?
True
Is (-4 - -1)*(1 - (-160)/(-15)) even?
False
Let p(h) be the third derivative of h**5/4 - h**4/24 - h**3/3 - 4*h**2. Does 23 divide p(2)?
False
Let a = -9 + 3. Let z(r) = r**2 + 5*r + 2. Is 2 a factor of z(a)?
True
Suppose 3*l - c = 46, 0*l + 4*c = l - 8. Suppose -62 = -2*x - l. Does 4 divide x?
False
Suppose -c + 2 = c. Let o(g) = -g**2 - 10*g - 5. Let u(z) = z**2 + z + 1. Let n(m) = c*o(m) + 6*u(m). Does 17 divide n(3)?
True
Let k = 219 + -90. Does 43 divide k?
True
Let t = -7 - -7. Suppose 5*g - 24 = 4*w, t*g - 4*g + 19 = -3*w. Does 4 divide g?
True
Does 50 divide ((-66)/(-7))/(2 - 26/14)?
False
Let n(y) = 5*y + 3. Let v be n(6). Suppose -q = 2*q - v. Is 11 a factor of q?
True
Does 10 divide 4/6 + 174/9?
True
Let q = -111 - -163. Is 13 a factor of q?
True
Let q be 3/5*(10 + -5). Suppose 0*u + 69 = q*u. Does 8 divide u?
False
Suppose 0 = 5*m + 4*a + 21, 5*a = 3*m + 2*a + 18. Let s = 10 + m. Is 3 a factor of s?
False
Let f = -4 + 7. Suppose 2*q + f*q - 10 = 0. Suppose 0*h - q*h + 14 = 0. Is 3 a factor of h?
False
Let m = 14 + -20. Let h be (2 - 0)*(-3)/m. Is 6 a factor of 14/(h + 1) + -1?
True
Suppose -11 + 1 = m. Is (12/(-3) - m)*8 a multiple of 16?
True
Let s(z) = -z**2 - 6*z + 4. Suppose -6*r - 25 = -r. Is s(r) a multiple of 3?
True
Let p(g) = g**2 - 7*g - 4. Let s be p(8). Let i(o) = s + 3 - 7 + 2*o + 2*o**2. Is 12 a factor of i(2)?
True
Suppose -r - 4*r + 9 = -4*n, -r = -3*n + 7. Suppose 5*j + 5*c - 172 = 18, -128 = -n*j + 4*c. Does 7 divide (12/(-15))/((-2)/j)?
True
Let i = 22 + 3. Is i even?
False
Let v(g) = 6*g**2 - g - 2. Does 15 divide v(4)?
True
Suppose 2*o = 5*o + 15. Let x = o - -7. Suppose 4*s - 40 = -4*g, g - x*s + 10 = 35. Is 13 a factor of g?
False
Let n(k) = -k**2 - 13*k + 13. Let p be n(-14). Suppose -i + 5*i = -80. Does 5 divide p/(2*1/i)?
True
Let j be -4 - -1 - -30*1. Is 1*(2 - (2 - j)) a multiple of 9?
True
Let n be (-2)/(-3) - (-592)/12. Suppose 2*l - n = 42. Is 25 a factor of l?
False
Suppose 3*m - 3*o = -0*m + 48, -4 = m - 5*o. Suppose i + 3 - m = 0. Is i a multiple of 8?
False
Let p = 4 - 4. Suppose p = 2*w + 1 + 3. Is (w + 41)*4/6 a multiple of 13?
True
Is 4 a factor of -1*(2 + 2 - 9)?
False
Suppose -6*x + 266 = -118. Is x a multiple of 13?
False
Does 15 divide -3 + 8/(-4) + 80?
True
Let p(b) = -2*b - 8. Is p(-15) a multiple of 11?
True
Suppose -8*a + 4*a + 320 = 0. Is 37 a factor of a?
False
Let f(a) = -a + 2. Let s be f(0). Suppose -5*y - 5*h + 25 - 5 = 0, 2*y = 4*h + s. Suppose -y*d - 54 = -5*d. Is d a multiple of 15?
False
Let q = 2 + 2. Suppose -2*g - 6 = 0, -3*j - q*g - 9 = -2*j. Is 11 - (-1 + j)/(-1) a multiple of 13?
True
Suppose 0 = 5*w - 15, -w + 204 = 3*o + w. Is 23 a factor of o?
False
Suppose -7*s - 24 = -8*s. Is 5 a factor of s?
False
Suppose 20 = -2*u + 156. Is 29 a factor of u?
False
Suppose -86 = -2*a - 0. Suppose 22 = m + n - 2*n, n = 2*m - a. Is 7 a factor of m?
True
Suppose -4*p + 7*p + 1124 = 5*z, 3*z - 5*p = 668. Is z a multiple of 47?
False
Let j(z) be the third derivative of -z**6/60 + z**5/20 - z**3/3 - 2*z**2. Let w be j(-2). Suppose -2*b - w = -g, -2*b + 0 = 2*g - 34. Does 11 divide g?
False
Let o = -116 + 57. Suppose 3*g = -2*f + 97 + 91, 0 = -4*g + 8. Let w = f + o. Is 16 a factor of w?
True
Let t(q) = -11*q**2 - q. Let j(k) = 56*k**2 + 4*k. Let i(g) = 3*j(g) + 14*t(g). Is 15 a factor of i(-2)?
True
Let x(u) = 10*u + 4. Is x(14) a multiple of 9?
True
Is 16 a factor of 3 + 122/2 + 0?
True
Is 1 + 62 + 2 + (-4 - 1) a multiple of 30?
True
Suppose 4*d + 25 - 65 = 5*t, t = -d - 17. Let 