q. Let i be y(-1). Suppose -5*z = -4*z - i. Is 2 a factor of z?
True
Let q(l) be the third derivative of l**5/60 + l**4/3 - l**3 + 11*l**2. Let y(c) = -c - 12. Let d be y(0). Is q(d) a multiple of 21?
True
Let g be (-11 - -9) + (63 - 1). Suppose -3*y - 3 = -9. Suppose -5*b - j + g = -5, 5*b - 70 = -y*j. Is b a multiple of 6?
True
Let p(v) = 5*v**2 - 14*v - 8. Is p(8) a multiple of 11?
False
Suppose q - 13 - 20 = 0. Is q a multiple of 13?
False
Let w = 1 - -2. Suppose -2*r - 3*g = 7, -5*r - w*g + g + 10 = 0. Suppose 2*v + 4*i - 9 = 5, -i + 28 = r*v. Is v a multiple of 3?
False
Let i(t) = -t**3 + t**2 + 4*t - 4. Let s(k) = -k**3 + 2*k**2 + 3*k - 3. Let u(r) = -5*i(r) + 6*s(r). Is u(6) a multiple of 9?
False
Let m = -52 - -63. Is 11 a factor of m?
True
Suppose -6*s = -19*s + 2457. Is 12 a factor of s?
False
Suppose -238 = -2*y + 2*c, 5*c + 349 = y + 2*y. Is 7 a factor of y?
False
Let g = -7 + 5. Does 10 divide ((-4)/(-5))/(g/(-25))?
True
Let v(i) = 2*i**2 - i - 4. Let g be v(-3). Suppose -o - 2*o = -2*h - 6, -g = h - 5*o. Is h a multiple of 3?
True
Let s be (-1)/((-4)/98)*2. Suppose -s = -3*y - 19. Does 5 divide y?
True
Let k = 119 + -62. Does 57 divide k?
True
Let y = 279 + -184. Does 15 divide y?
False
Suppose -17*a = -13*a - 792. Is 22 a factor of a?
True
Let d = 42 - -13. Suppose 4*i + d = 3*f, -5*f + i - 26 = -112. Is f a multiple of 17?
True
Let f = 6 - 7. Let l(x) = -16*x**3 + x**2 + 2*x + 1. Is 16 a factor of l(f)?
True
Suppose 0 = 2*c - 5 - 15. Is c a multiple of 4?
False
Let q = 2 + 0. Suppose 0 = w - 10 + q. Is w a multiple of 8?
True
Suppose -2*b + 3*x - 18 = 7, x - 25 = 4*b. Let z(m) = 2*m**2 + 2. Let g(c) = -c**2 - 1. Let p(j) = -6*g(j) - 2*z(j). Is 19 a factor of p(b)?
False
Let u = 2 - 0. Let d be 4/(-2) + 12/u. Suppose -46 = -5*s + d. Does 5 divide s?
True
Let h(s) = s**2 - 8. Is 6 a factor of h(4)?
False
Let y = 130 + -90. Is 27 a factor of y?
False
Let i be 5 - (-1 - 1)*-1. Suppose 2*n = i*o - 3*n - 32, -n = -2*o + 19. Let l = 5 + o. Is l a multiple of 12?
False
Let g = -12 - -26. Does 7 divide g?
True
Let w be (1 + -3 - -2) + 0. Is -2 + w + 1 + 17 a multiple of 14?
False
Suppose 0 = -z + 3*z - 6. Suppose -z*k + 36 = -0*k. Is 4 a factor of k?
True
Let y(m) = m**3 - 3*m + 1. Let z be y(2). Let d be 100/36 + 2/9. Is ((-3)/d)/(z/(-69)) a multiple of 12?
False
Suppose -2*p + 127 = -3. Is p a multiple of 17?
False
Does 33 divide 19/(-3)*-16 + 6/9?
False
Suppose 0 = x + 4*x. Let g be (2 + x)/2 - -92. Suppose -c = -4*c + g. Does 20 divide c?
False
Let k = 5 - -10. Let w = k + 9. Is w a multiple of 24?
True
Let u(l) = 9*l**3 - l**2 - l. Let t(j) = -j**3 + 4*j**2 + j - 2. Let f be t(4). Is u(f) a multiple of 15?
False
Let q = -25 - -43. Is 10 a factor of q?
False
Is (2/5)/((-14)/(-1960)) a multiple of 14?
True
Suppose -6*f = -2*f - 16. Let n be ((-6)/f)/((-3)/4). Suppose -4*o + 0 = -3*q - 6, -19 = -5*o - n*q. Is o a multiple of 2?
False
Suppose 0 = r + 3*r - 5*b - 44, 5*b + 8 = -2*r. Suppose 60 = -f + r*f. Is f a multiple of 12?
True
Does 34 divide (-1)/(2/34)*-6?
True
Suppose 95 = 4*t + 5*l, 4*t + 0*l = -2*l + 86. Is t a multiple of 6?
False
Suppose 5*p = 977 - 72. Suppose 0 = 3*g + 5*v - 136, 4*g - p - 15 = -3*v. Is 26 a factor of g?
True
Let r be 66/14 + 10/35. Suppose -54 = 2*b - r*b. Is b a multiple of 5?
False
Suppose 5*g - 20 = 0, 4*n = -2*g + 17 + 179. Does 18 divide n?
False
Let m(j) be the third derivative of -1/60*j**5 + 1/24*j**4 + 4*j**2 + 1/120*j**6 + 0*j**3 + 0 + 0*j. Is m(2) a multiple of 3?
True
Suppose -15 = 2*i + 6*x - x, 5*x = -5*i - 15. Let b be (-7 + i + 2)*-1. Suppose -4*s = -b*p + 220, s = 4*p - 32 - 133. Does 18 divide p?
False
Suppose -3*v + 31 + 26 = 0. Let f = v - -10. Is f a multiple of 14?
False
Let m(u) = -4*u**2 - 2*u - 1. Let l(d) = d**3 + d**2 - d. Let r(v) = l(v) + m(v). Does 3 divide r(4)?
True
Let g(s) = 10*s + 6. Let f be g(5). Suppose -c - 3*c = -f. Is 13 a factor of 4/c - 330/(-21)?
False
Let a(j) be the first derivative of -j**3/3 - 9*j**2/2 + j + 1. Let l be a(-7). Suppose 3*r + 0*r - l = 0. Is r a multiple of 5?
True
Let x(b) = 3*b**2 - b + 7. Let j be x(-5). Suppose -2*m - m + j = 0. Is 7 a factor of (m - 0) + (4 - 6)?
False
Let m(p) = -p**3 - 8*p**2 - 8*p - 4. Let a be m(-7). Suppose -5*o + a*o = -5*q + 38, -5*o = 5*q - 45. Is q a multiple of 3?
False
Let u be -6*((-4)/3 + 1). Let r be ((-1)/u)/((-1)/16). Let m = 33 - r. Is 9 a factor of m?
False
Suppose -2*g - 3*o = -2*o + 9, 2*g - 2*o + 6 = 0. Let i = g - -3. Let h = i + 21. Is 11 a factor of h?
False
Let r(w) = 4*w**2 - 4*w + 33. Does 46 divide r(-7)?
False
Let c(m) = 3*m - 3. Let j(s) = 8*s - 1. Let u be j(1). Is 18 a factor of c(u)?
True
Is 13 a factor of 19/(-2)*(-4)/2?
False
Suppose 4*l + 3*a = 900, 0 = 4*a - 0 - 16. Is 28 a factor of l?
False
Let q(z) = -z**3 + 30. Suppose -4*m = m. Is q(m) a multiple of 15?
True
Let r = 65 + -17. Suppose -5*b + r = -2*b. Suppose x = -3*x + b. Is 2 a factor of x?
True
Let n(u) = 0*u - 9 + 1 - 3*u. Is 5 a factor of n(-7)?
False
Let c = 10 + -7. Let h(m) = -17*m - 1. Let j be h(-3). Suppose g + j = c*g. Does 14 divide g?
False
Let s(q) = -2*q + 6. Let f be s(5). Let n(m) = -m**2 - m. Let p be n(-1). Let u = p - f. Is u a multiple of 4?
True
Let i = 7 + -4. Suppose i*m = -2*m + 15. Suppose 0 = -2*q + j + m*j + 72, -2*j = q - 28. Does 16 divide q?
True
Let s(x) = x**2 - 3*x - 3. Let d be s(-5). Let g = d + 18. Is g a multiple of 11?
True
Let i = -8 - -9. Is i - ((-3 - 3) + 2) a multiple of 5?
True
Let r(d) = 3*d**3 - 3*d**2 + 7*d - 3. Does 8 divide r(3)?
True
Suppose -h + 19 = -16. Is h a multiple of 10?
False
Let b = 14 + -10. Suppose 8*k = 4*k - 4*a + 28, 3*k + b*a = 25. Is 7 a factor of 3*k/((-18)/(-28))?
True
Let d = 71 - 99. Let o = 9 - d. Does 7 divide o?
False
Suppose -38 = 2*l + 8. Let q be l + 4 - (1 - -1). Let s = q + 73. Is 20 a factor of s?
False
Let y = -5 - -14. Suppose y = 2*x - 39. Is x a multiple of 12?
True
Let k = 170 - 104. Suppose -2*t + k = -0*t. Does 11 divide t?
True
Is 34 - (-2 - 6/(-3)) a multiple of 23?
False
Let s(h) = -h**3 - 10*h**2 - 7*h - 1. Let x be s(-9). Let d = x - -39. Is d a multiple of 6?
False
Let q be 3 + (99/77 - 4/14). Let f = -11 + 20. Suppose p - f = q. Is 12 a factor of p?
False
Let i = 159 + -91. Let y = i - -67. Is y a multiple of 34?
False
Is -1 + (-59 - -4)*-1 a multiple of 18?
True
Suppose 0 = -k - 4*a + 7, -2*k - 2*k + 9 = -3*a. Suppose 3*d + k*j = 78, 3*d - j + 89 = 7*d. Is 18 a factor of d?
False
Let x(m) = 3 + 1 - 5*m - 2*m**3 + m**3 - 7*m**2. Let p be x(-6). Does 19 divide (-804)/(-21) + p/7?
True
Suppose 5*p - 202 = 88. Suppose -c - a - 64 = -2*c, c - 4*a = p. Let o = c + -42. Is o a multiple of 12?
True
Let w(r) = -49*r - 1. Let b(x) = -x - 6. Let l be b(-5). Is w(l) a multiple of 24?
True
Let r be 1*-2*(-1)/2. Let o be 15/12 + r/(-4). Is 13 a factor of (25 + (-1 - -3))*o?
False
Let b be ((-3)/(-5))/((-4)/(-340)). Suppose -4*y = i - 96, 4*y - i - 53 = b. Is y a multiple of 7?
False
Let x be 1/(-4) + 74/8. Let t = x - 4. Is t even?
False
Let f(j) = 1 + 3*j + 3*j - 2*j. Does 13 divide f(3)?
True
Suppose -3*p = -7*p + 192. Does 19 divide p?
False
Let a(h) = h**2 - 2*h + 3. Let k(v) = v**3 + v**2 - 5*v + 6. Let p(f) = 5*a(f) - 2*k(f). Let z be p(3). Let d = -10 - z. Does 7 divide d?
True
Let r be (123/(-9) + 3)*-3. Suppose -4*k = -j + 19, 5*k + 3 = 5*j - r. Is j a multiple of 2?
False
Let p(f) = -f - 1. Is 4 a factor of p(-8)?
False
Suppose 2*k - 3*u - 460 = 0, -3*u = -0*u + 12. Is k a multiple of 31?
False
Suppose w = -0 - 3. Let n be (-4 - w) + (0 - -17). Does 6 divide (-27)/12*n/(-3)?
True
Suppose -z + 5*j - 24 = 0, 5*z - 5*j = 3*z - 23. Let f be (-1 + 0)/(z/2). Does 8 divide 9 - (-4 - (0 + f))?
False
Let p be -2 - (3 - (3 - -4)). Is 8 a factor of 25 + (2 - 5) + p?
True
Let y(p) = -2*p**3 - 6*p**2 - 9*p - 10. Is 6 a factor of y(-4)?
False
Let w = -139 - -231. Is w a multiple of 16?
False
Suppose 5*i - 4*i = 15. Is 15 a factor of i?
True
Let g = -3 - -1. Let y(i) = -i + 2. Let h be y(g). Suppose 4*c + t - 97 = 117, -3*c + h*t + 151 = 0. Is 18 a factor of c?
False
Let o = 9 - 5. Is (-10)/15*(-150)/o a multiple of 23?
False
Let r(t) = -t - 6. Let s be r(11). Let h(p) = p**3 - 7*p**2 + 8*p - 7. Let d be h(7). Let f = d + s. Is 16 a factor of f?
Tru