p?
False
Let n(z) = 2*z**2 - 7*z + 4. Let g be n(4). Suppose -2 = -2*j + g. Does 3 divide j?
False
Let z = 37 - 25. Does 10 divide z?
False
Let h = 1 + 4. Suppose -2*x - h*u - 13 = x, 2*x - 5*u = 33. Suppose 0*n + 199 = x*j - 3*n, 0 = -5*j + 5*n + 255. Is j a multiple of 18?
False
Let k = -65 - -133. Does 20 divide k?
False
Suppose c = -0*c - 4*z + 70, -3*c - 2*z = -240. Is 24 a factor of c?
False
Let t(g) = 29*g**2 - 4*g. Let j be t(3). Suppose 5*b = 2*b + j. Is 25 a factor of b?
False
Let w(n) = 21*n**2 - 7*n. Let x(h) = 20*h**2 - 6*h. Let g(z) = -3*w(z) + 4*x(z). Is g(2) a multiple of 14?
False
Let h = 58 - -1. Is 18 a factor of h?
False
Let l(h) = -5*h - 9. Let m be l(-7). Let w = 40 - m. Is w a multiple of 5?
False
Suppose 60 = 4*b + h, 2*b - 7*h + 3*h - 30 = 0. Does 5 divide b?
True
Let k(n) = 6*n + 6. Let z be k(6). Suppose -z = -t - 4*u, 3*t - 104 = 4*u - 42. Let a = t - 11. Is a a multiple of 6?
False
Let l(q) = -q**3 + 3*q**2 - 2. Let z(t) = -t**2 + 6*t + 2. Let p be z(6). Let v be l(p). Suppose -74 = -v*c + 22. Is c a multiple of 13?
False
Let y(v) = v**2 - 10*v - 25. Is y(13) a multiple of 14?
True
Let t be (-1*6)/(12/(-8)). Suppose 0 = t*m - 13 + 1. Suppose -2*p - m*p = -60. Does 6 divide p?
True
Suppose -37*q = -34*q - 306. Does 19 divide q?
False
Let r = 16 - 11. Suppose 0*j - 230 = -r*j. Is j a multiple of 23?
True
Suppose 85 = 5*s - 225. Does 12 divide s?
False
Let z(s) be the second derivative of s**5/20 - 7*s**4/12 - s**3/2 + 5*s**2/2 + 2*s. Let o be z(6). Let c = 88 + o. Is c a multiple of 10?
False
Suppose 10 = 3*q - q, r - 116 = -4*q. Does 48 divide r?
True
Suppose 0 = g - 5*x - 16, -2*x + 10 = -4*g - 16. Let f = 38 + g. Is 13 a factor of f?
False
Let y = 15 - 3. Suppose 3*t = -4*f + t + 48, 2*f - 5*t = y. Does 5 divide f?
False
Suppose -2*t - 138 = -o, 0 = -0*o - 2*o - 2*t + 270. Is o a multiple of 17?
True
Let h(d) = 5*d**2 + 2*d + 5*d - 3*d + 4. Let g be h(-4). Suppose 3*z - 41 = -4*i, 4*z - 20 = 4*i - g. Does 11 divide i?
True
Suppose 0 = 5*q + 3*c + 140, -2*q - q = -2*c + 65. Let t = -18 - q. Is 4 a factor of t?
False
Let a = -299 - -537. Does 37 divide a?
False
Suppose 9 = -4*a - 3*l - 24, -2*a + 5*l - 23 = 0. Let s = a + 13. Suppose 0 = 5*g - z - 78, 2*g + s*z + 12 = 52. Is 6 a factor of g?
False
Suppose 0 = -5*u + 68 - 18. Is u a multiple of 10?
True
Suppose 2*y = 3*x - 15, 0*x - 3*x + 15 = 3*y. Suppose 0 = x*p + 2*r - 136, 4 = 3*p - 3*r - 86. Is 16 a factor of p?
False
Let c be (4/(-2))/((-4)/8). Suppose w = -c + 6. Is (-82)/(-4) - (-1)/w a multiple of 9?
False
Let v(z) = -5*z**2 + 10*z + 10. Let k be v(8). Let u be k/(-18) - 10/(-45). Let y = u + -3. Is y a multiple of 5?
True
Let l(h) = -h**3 + 8*h**2 - 2*h + 4. Is 23 a factor of l(7)?
False
Is 20 a factor of (-3 - 7)/((15/(-42))/5)?
True
Let s = 3 + 2. Let i = 8 - s. Does 9 divide -1 + i + (12 - 0)?
False
Does 5 divide 8/(-16)*(-26 + 2)?
False
Let w(r) = -5*r**3 - r**2 + 5*r + 4. Let k be (4/1)/(1/2). Let n(b) = 14*b**3 + 3*b**2 - 14*b - 11. Let m(l) = k*w(l) + 3*n(l). Is m(2) a multiple of 15?
True
Let t = 35 - 69. Let m = -16 - t. Is 13 a factor of m?
False
Suppose 5*t - 19 = f + 2, f - 24 = -4*t. Suppose -t*l = 4*g - 101, g + 2*g + 5 = l. Does 10 divide l?
False
Let n(r) = -2*r**2 - 11*r + 11. Let f(z) = 5*z**2 + 32*z - 32. Let w(m) = 3*f(m) + 8*n(m). Does 5 divide w(4)?
False
Let z(s) be the second derivative of 2*s**3/3 - 2*s**2 - 2*s. Does 4 divide z(3)?
True
Let p(u) = -8 + 2 + 2 + 5 + 12*u. Is p(1) a multiple of 3?
False
Let v(i) = i**3 + i**2 - i - 71. Let f be v(0). Let r = -8 - f. Suppose -3*o + 0*o = b - r, 3*o + 5*b = 75. Is 7 a factor of o?
False
Let m be -3 + 7 + -2 - 0. Suppose -4*p = -0*p - m*l + 694, -175 = p - l. Does 12 divide p/(-14) + 2/(-7)?
True
Let a(g) = -2*g + 7. Let f be a(7). Let i be (2/(-6))/(5/(-105)). Is ((-18)/i)/(1/f) a multiple of 9?
True
Suppose a - 126 - 65 = 0. Is 22 a factor of a?
False
Suppose -f = -3*u + 6 + 6, -16 = -5*f - 4*u. Suppose f*t = 2*t - 56. Is 10 a factor of t?
False
Suppose -12 = -4*l - 4. Suppose -j = l*j - 15. Does 5 divide j?
True
Let k be (144/42)/(4/14). Does 6 divide (-286)/(-12) + k/72?
True
Let m(v) be the third derivative of v**5/30 + v**4/6 - 5*v**3/3 - 5*v**2. Is 23 a factor of m(6)?
False
Does 34 divide 2/(3 - 5) - -152?
False
Let i = -282 + 399. Does 20 divide i?
False
Does 5 divide (-3 - 0)*(-40)/6?
True
Suppose -5*w + 93 = -37. Is 26 a factor of w?
True
Suppose -3*c + 34 = 2*h - 0, -3*h = c - 65. Does 8 divide h?
False
Let t(f) = -11 - 17 - 2*f + 38 + 2*f**2 - f**2. Is t(8) a multiple of 13?
False
Let y(m) = m - 4. Let j be y(6). Suppose -1 = z - 3, -j*z = -5*n + 16. Suppose 3*f - n*r - 57 = 0, 2*r = -5*f - 0*r + 95. Does 5 divide f?
False
Suppose -5*p + 3*f - f = -54, -3*f + 14 = 2*p. Suppose l + 4*l = p. Suppose l*y - 28 - 8 = 0. Does 5 divide y?
False
Suppose -5*h - 8 = -2*m, -h + 5*h = 0. Suppose -5*l + 3*x + x - 3 = 0, -5*x = l + 18. Is m - (l - -5) - -8 a multiple of 10?
True
Let t be (-4)/((-3)/(-2) - 2). Let u(f) = 22 + 4*f**2 - 9*f + 0*f**2 - 11 - 3*f**2. Is u(t) a multiple of 2?
False
Let v be 1 + 4 + 1 + -1. Suppose 0 = 4*l - 3*g - 159, 3*l + v*g - 94 = 47. Is l a multiple of 21?
True
Let j be (-2)/((24/57)/(-4)). Let b = 36 - j. Let m = b - 10. Is m a multiple of 2?
False
Let p be ((-30)/8)/5*8. Let f be 72/p*(-5)/(-4). Let t = f + 86. Does 25 divide t?
False
Let h(n) be the third derivative of -3/2*n**3 + 0 + 1/30*n**5 + 5/12*n**4 + 0*n + n**2. Is 12 a factor of h(-8)?
False
Let w be -6*6/(-27)*3. Suppose 0 = -w*r - 8, 0*r - 56 = -2*n + 5*r. Is 11 a factor of n?
False
Let b = -4 + 2. Let k(q) = 23*q + 1. Let y be k(b). Does 21 divide (-955)/y + (-4)/18?
True
Let o(m) = m**2 + 5*m - 10. Let x be o(-7). Suppose x + 0 = 4*h. Suppose -2*a + h = -39. Does 9 divide a?
False
Let f = -6 - -8. Suppose -14 = o - f*o. Does 7 divide o?
True
Let l = -26 - -30. Does 2 divide l?
True
Let u(h) = -12*h - 1. Let b be u(-5). Suppose 0 = -5*i + 174 - b. Does 9 divide i?
False
Let j(v) be the third derivative of 0 + 0*v + 0*v**4 + 7*v**3 - v**2 - 1/60*v**5. Is j(0) a multiple of 21?
True
Let h = -108 + 186. Suppose 3*q + 111 = -3*y, 2*q - 78 = 2*y + 8. Does 13 divide (y/30)/((-4)/h)?
True
Suppose 0*a = 2*a - 2*g - 70, -g + 29 = a. Is a a multiple of 31?
False
Does 15 divide 4/26 - 3840/(-52)?
False
Suppose -12*c + 15*c - 147 = 0. Is c a multiple of 11?
False
Let i(x) = -18*x + x**2 - 6*x**2 - 13 + 3*x**2. Let k(t) = -t**2 - 9*t - 7. Let c(d) = -4*i(d) + 7*k(d). Is c(-9) a multiple of 3?
True
Suppose 0 = -0*v - v + 3. Suppose -m - 3*o - 4 = 3*m, -5*m = 4*o + 6. Suppose -v*k + 65 = m*k. Is 7 a factor of k?
False
Let l(w) = 286*w**2 + 4*w - 1. Does 12 divide l(-1)?
False
Let r = -11 + 18. Suppose -2*a - 525 = -r*a - 5*w, -316 = -3*a - 4*w. Suppose 0 = -3*l + 2*v + a, -132 = -7*l + 3*l + v. Is l a multiple of 14?
False
Suppose 3*q = 5*b + 748, -b = -5*b + 16. Let y = 380 - q. Let t = -83 + y. Does 20 divide t?
False
Let z = 3 + -2. Let s = 13 + z. Is 12 a factor of s?
False
Let p be (-341)/(-7) + 2/7. Let z = p + -29. Does 10 divide z?
True
Let f(x) = 56*x + 23*x + 31*x. Let t be f(1). Suppose n + 4*n = t. Is n a multiple of 11?
True
Let l(r) = -r**3 - 3*r**2 - 3*r - 7. Is l(-5) a multiple of 29?
True
Suppose o = 5*w - 34, -2*w = 2*o - 0*o - 4. Does 15 divide (-5 + 17)*8/w?
False
Suppose -9 = 2*w - 3*w. Does 9 divide w?
True
Let m be (-3 - -1) + 0 - -50. Suppose 0 = -x + m - 4. Is x a multiple of 22?
True
Let z be (-2)/(-9) + (-14161)/(-63). Let r = z - 138. Is r a multiple of 29?
True
Is 44 a factor of (122/(-3))/(8/(-12))?
False
Let r be 0 + 4*11 + 2. Suppose 0*v - r = -v. Is 13 a factor of v?
False
Let f = 6 + -5. Let j = f + 5. Is j a multiple of 6?
True
Let v(b) = -b**3 + 7*b**2 - 3*b - 4. Does 7 divide v(6)?
True
Let f(d) = -36*d**3. Let g be f(1). Let q be 6/(-15) + g/10. Is 7 a factor of q/(-14) + 68/7?
False
Let q be (-5 + (1 - -2))*5. Is 14/35 - 66/q a multiple of 7?
True
Let o(b) = b**2 + 4*b + 4. Let x be o(-4). Suppose 23 - 95 = -x*u. Is u a multiple of 18?
True
Let n(c) = c - 7. Let y be n(9). Suppose -l + y + 15 = 0. Does 17 divide l?
True
Is 9 a factor of ((-21)/(-6) - 2)*1*36?
True
Let j = 6 + -4. Let n(d) = -5*d**j - 8*d - d**3 - d**2 + 0*d**3 - 3. Does 6 divide n(-5)?
True
Let p 