 Let z be p(3). Suppose z = 3*r - 0*r. Suppose r*n + 2*n = -3*x - 3, -3*x = -3*n + 33. Is n a multiple of 4?
False
Let n be 2 + (-4 - -1) - 15. Is 18 a factor of (-1032)/n - (-3)/2?
False
Let i(l) = 0 + 3*l - 7 - 4. Does 16 divide i(9)?
True
Suppose 4*a = 4*y, 2*y - 3*a + 0 = -4. Is 33/y - 2/8 a multiple of 5?
False
Does 26 divide (-14)/105 + -586*(-4)/30?
True
Suppose 3*p - 50 = 8*p. Does 17 divide 5*(204/p)/(-2)?
True
Does 9 divide 15 + -1*(1 + -1)?
False
Is 100/(-15)*(-27)/15 a multiple of 3?
True
Let c(n) be the third derivative of n**5/15 + n**4/12 - n**3/2 - 2*n**2. Is 17 a factor of c(2)?
True
Let p(a) = -21*a**2 + 3*a + 1. Suppose -2*q + t = -q + 8, 0 = 4*q - 2*t + 26. Let h(o) = 22*o**2 - 4*o - 1. Let l(u) = q*h(u) - 6*p(u). Is l(1) a multiple of 6?
False
Let c(w) = -1 - 1 - 1 - 7*w - 6. Does 12 divide c(-6)?
False
Suppose 0 = 5*g - 2*f - 14, -4*g + 2*f + 3*f + 18 = 0. Does 2 divide g?
True
Let q be 6/(-3 - (-1 + -1)). Let z(o) = o**3 + 10*o**2 + 5*o + 8. Let u be z(-9). Is 4/q + u/3 a multiple of 7?
True
Suppose -3*r = r - 448. Is r a multiple of 16?
True
Let f(r) = -r**2 + 14*r - 1. Does 39 divide f(4)?
True
Suppose -r - 2*r = -9. Suppose t - r*i + i = 4, 0 = -2*t - 5*i + 44. Is -3*7*(-8)/t a multiple of 5?
False
Let o = -7 - -3. Let b(y) = -y**3 - 4*y**2 + 4*y. Let w be b(o). Let f = w - -50. Is f a multiple of 17?
True
Let a(y) be the first derivative of y**3/3 + 7*y**2/2 + 4*y + 1. Let o be 7/(3 - (-4)/(-1)). Is a(o) a multiple of 2?
True
Let t be ((-4)/(-6))/(-1)*-3. Suppose -t*v + 10 - 2 = 0. Does 3 divide v?
False
Suppose 4*k + 0*k + 33 = 5*c, -2*k - 4 = 0. Suppose -2*n = c*x - 2*x - 9, 5*x - 7 = -2*n. Does 14 divide (140/15)/(2/n)?
True
Let a(g) = 34*g**2 - 2*g + 2. Let o(t) = 17*t**2 - t + 1. Let w(n) = 4*a(n) - 7*o(n). Let k be w(1). Is k*(0 + 0 + 2) a multiple of 10?
False
Let j(m) = 2 - 3 + 2 + 28*m. Is 13 a factor of j(1)?
False
Suppose 2*m = -2*r + 222, 0 = 4*r - 0*r - 4*m - 420. Is r a multiple of 12?
True
Let y(j) = j - 2. Let a be y(2). Suppose a*z = z - 15. Suppose -4*v + z = -21. Does 4 divide v?
False
Let p(s) be the third derivative of s**4/24 + s**3/3 - s**2. Does 4 divide p(2)?
True
Suppose -4*u + s + 538 = 0, -2*u + 4*s + 101 + 161 = 0. Is 45 a factor of u?
True
Let f(l) = 29*l + 6. Is 31 a factor of f(3)?
True
Suppose -7*y + 275 = -68. Is 4 a factor of y?
False
Let q(a) = a + 1. Let y be q(-5). Let r be 20/(-3) + y/(-6). Is (4/r)/(2/(-54)) a multiple of 9?
True
Let m(c) = c**3 - 6*c - 1. Let h(a) be the first derivative of -a**3/3 - a**2/2 + a + 2. Let k(y) = 3*h(y) - m(y). Is k(-4) a multiple of 4?
True
Is 13 a factor of (-1)/2*-207 - 2/(-4)?
True
Let d be -1*(-1 + (1 - 4)). Suppose -d*v - b + 51 = 0, 2*v + v = 5*b + 67. Is 7 a factor of v?
True
Let g = 29 - 17. Is 12 a factor of g?
True
Let j = -3 + 51. Is 24 a factor of j?
True
Let y = 6 - 1. Let a(d) = -d + 9. Let p be a(y). Suppose -5*i = p*q - 35, 4*q + 14 = -i - q. Is i a multiple of 11?
True
Let g(n) = -29*n + 1. Suppose -4*l + 4*f - 12 = 0, -2*l - 2*l - 4*f = -4. Does 14 divide g(l)?
False
Suppose 8*r - 384 = 4*r. Is r a multiple of 21?
False
Let x(o) = -o**3 - 6*o**2 + o. Let s be x(-6). Let n(d) = -9*d - 8. Let i be n(s). Suppose i = 4*v - 10. Does 9 divide v?
False
Let r be (1/3)/((-1)/(-3)). Suppose 5*z - 12 = -4*h + r, -4*z + 10 = 3*h. Suppose 3*m = h*m + 8. Is m a multiple of 8?
True
Does 8 divide (-18)/(-12) + (-90)/(-4)?
True
Suppose 3*w - 305 - 346 = 0. Is 31 a factor of w?
True
Let p = -302 - -482. Is 20 a factor of p?
True
Let n(o) = 7*o + 43. Let x(k) = 13*k + 85. Let y(r) = -11*n(r) + 6*x(r). Is 11 a factor of y(0)?
False
Let w = 208 - 103. Is 40 a factor of w?
False
Let x(r) = -r**3 - 2*r**2 + 3*r - 18. Is x(-6) a multiple of 12?
True
Let g(i) = -i**3 + 7*i**2 + 2*i - 10. Let p be 1/(-2 - 15/(-7)). Let h be g(p). Suppose 0 = y - 12 - h. Is y a multiple of 12?
False
Let h be (-6)/(-21) - (-60)/(-14). Is (-63)/(-2) - 2/h a multiple of 16?
True
Is (-260)/(-3) + (-12)/18 a multiple of 19?
False
Let t = -32 - -70. Is 27 a factor of t?
False
Let l = -1 - -73. Is l a multiple of 9?
True
Let v(r) = 4*r**2 + 3*r + 12. Is 25 a factor of v(-5)?
False
Let h(u) = -24*u + 1. Let x be h(3). Let b(n) = 2*n**3 + 5*n**2 + n + 3. Let l be b(-4). Let f = l - x. Is f a multiple of 11?
True
Let i be 2/7 + 18/(-14). Let l be (-5)/(-2)*(i - -3). Suppose l*q + 60 = 3*g, -40 = 5*g - 4*q - 153. Does 9 divide g?
False
Suppose -3*y + 19 = -2*y. Suppose y + 6 = 5*q. Suppose 4*w - 103 = -q*z + 89, -4 = 2*w. Does 23 divide z?
False
Does 10 divide (-2)/4*10/(-15)*48?
False
Suppose 5*g + 3*k = -2*k + 315, 5*g + 3*k - 317 = 0. Is 8 a factor of g?
True
Let f(y) = 4*y**2 + y - 1. Does 13 divide f(-2)?
True
Let q(m) = -2*m - 12. Let k be q(-6). Suppose -4*n - 66 + 330 = k. Is 22 a factor of n?
True
Let w(r) = -r**3 - 12*r**2 + 6. Suppose p - 4*x = -11 - 13, 3*p = 4*x - 48. Does 3 divide w(p)?
True
Suppose -2*c + 2*q + 12 = 0, 0*q = 3*c - 5*q - 22. Let t(u) = 0*u**2 - 3 + 5*u**2 - 2 - u**3. Does 3 divide t(c)?
False
Suppose 3*u = -2*p + 66, 0 = -3*p - p - 2*u + 148. Is 13 a factor of p?
True
Suppose -5*f + 2*o = 20, -5*f - 6*o + 2*o - 50 = 0. Let u(a) = 9*a. Let r be u(f). Let x = -7 - r. Is x a multiple of 21?
False
Suppose 0 = -4*k - 5*f + 141 + 270, -5*k = -f - 521. Does 26 divide k?
True
Is 10 a factor of 1*7/((-28)/(-40))?
True
Let s = -34 + 58. Is s a multiple of 12?
True
Is 11 a factor of (-2 + 1)*99/(-9)?
True
Suppose 4*h - 14 - 2 = 0. Suppose -h*p - 5*r + 43 = 0, 4*p = 2*r + 52 - 2. Suppose 0 = -3*c + p + 3. Is c even?
False
Suppose 5*g - 1171 = c - 4*c, 5*c = 3*g - 689. Does 21 divide g?
False
Suppose 2*x = x + 34. Suppose -4*p - 2*m + x = -0*p, -5*p + 44 = 2*m. Is p a multiple of 6?
False
Let o = 85 - 34. Is 51 a factor of o?
True
Let d = 10 + -5. Let h = 15 + -16. Let b = d - h. Does 3 divide b?
True
Let r(n) = -n**2 + 10*n + 4. Let o be r(9). Suppose -4*d + o + 19 = 5*w, -5*w + 17 = -d. Suppose 0 = 3*j + w*y - 5, -3*j - 4*y = j - 8. Does 3 divide j?
True
Let s be 1/(-3) + (-314)/(-6). Does 18 divide s + 6 + -1 + -2?
False
Suppose -3*r - 3*s + 144 = -7*s, -r = s - 48. Does 25 divide r?
False
Let g = 49 + 99. Is g a multiple of 23?
False
Suppose -4*i + 53 = -299. Does 11 divide i?
True
Suppose -3*h + 36 = -h. Let c = h - -7. Is 25 a factor of c?
True
Let m be 2 + 0 + 1 + 0. Suppose 6*s - s = 15, 3*s = m*b - 6. Is ((-2)/b)/(1/(-20)) a multiple of 8?
True
Let d(j) = -10*j. Let b(k) = -k. Let h(x) = -24*b(x) + 3*d(x). Suppose 4 = 3*c + 13. Does 18 divide h(c)?
True
Suppose -3*i = i + 64. Let t = 72 + i. Does 15 divide t?
False
Let i(n) = 20*n - 8. Does 10 divide i(4)?
False
Let t(l) = 3*l**2 - 1. Does 13 divide t(-5)?
False
Let u be (1 - 10/(-1)) + -1. Is 137/5 - 4/u a multiple of 12?
False
Suppose -u - u = 0. Suppose u = -s + 14 + 18. Does 16 divide s?
True
Let w = 7 + 11. Is w a multiple of 5?
False
Let v = 76 - 47. Is v a multiple of 12?
False
Let z = 111 - 14. Let l(m) = -m**3 + 5*m**2 + 5*m + 2. Let q be l(4). Suppose 4*i = 5*b + z, -i - 2*b + 6*b = -q. Is 11 a factor of i?
False
Let g(d) = 2*d + 17. Is g(0) a multiple of 14?
False
Suppose 4*j - 5*p - 40 = -0*j, 2*j = 2*p + 18. Let v be ((-2)/(-5))/((-1)/j). Is 2/(-4)*(-8 + v) a multiple of 5?
True
Let g be 1 + (1 + 0)*3. Suppose n - 12 = -3*n. Suppose 3*c = g*c - n*x - 1, -2*c = -4*x - 10. Is 10 a factor of c?
False
Does 40 divide (-68)/(-1)*(1 + 1)?
False
Let p = -39 + 51. Is 6 a factor of p?
True
Let h = -4 + 11. Let t(p) = -p + 6. Let i(k) = 3*k - 17. Let v(y) = 6*i(y) + 17*t(y). Does 7 divide v(h)?
True
Suppose 0 = 3*l - 3*x - 22 - 149, -4*x = -3*l + 170. Suppose 4*c - l = -22. Is c a multiple of 3?
True
Let i(w) = w + 3*w**2 + 3*w**2 - 7*w**2 + 8. Let u be 0/(-2 - -7 - 2). Is 8 a factor of i(u)?
True
Let u be (-6 - -4)*2*35. Let w be (u/12)/((-1)/(-3)). Let p = w - -58. Does 17 divide p?
False
Suppose 104 = 34*i - 30*i. Is 7 a factor of i?
False
Let n(j) = 3*j**2 + 11*j + 9. Let t be n(-9). Suppose c = -2*z - 0*z + 77, -t = -4*z - c. Is z a multiple of 16?
False
Suppose 3*f - 20 = -2*f. Suppose -a + f = -2. Is a a multiple of 3?
True
Let t(b) = 57*b**2. Does 19 divide t(1)?
True
Is (-1 - -18) + 2 + -3 a multiple of 6?
False
Suppose -17 = -4*c + 47. Is c a multiple of 16?
True
Let u = -4 + 10. Is 7 a f