p?
True
Let o = 529 + -313. Is 24 a factor of o?
True
Suppose 3*l = 243 - 45. Does 22 divide l?
True
Is (-4 + 2)/(8/(-12)) even?
False
Let y be (-2)/(12/(-5) - -2). Suppose -4*a = p - 206, p + 311 = y*a + 49. Does 26 divide a?
True
Let y be 73 - (-1 - 8/(-2)). Suppose -7 = 3*h - y. Is h a multiple of 7?
True
Suppose 3*m - 144 = 150. Does 31 divide m?
False
Suppose 3*d - 6 = -0*d. Suppose -3*k = -2*f + 27, 2*f - d*k - 23 = -3*k. Suppose 4 = 2*o - f. Is o a multiple of 3?
False
Let c(d) = -12*d - 32. Is c(-15) a multiple of 14?
False
Suppose 5*a - 4 = -34. Is 10 a factor of 30/9*(0 - a)?
True
Suppose -h - h = 0, 0 = -3*a - 4*h + 6. Is (a/(-4))/((-2)/128) a multiple of 16?
True
Let t = -104 - -119. Does 3 divide t?
True
Let p = -13 - -21. Suppose r = -3*r + p. Is (-1)/r*(-36 + -2) a multiple of 11?
False
Let t = -7 - -12. Suppose 0*p - p + t = 0. Is 5 a factor of p?
True
Suppose 3*l - 10 = -5*w, w - 5*l = -w + 4. Does 9 divide (18/(-5))/(w/(-15))?
True
Suppose -4*v = -l + 35, 0*v - 4*v = l - 11. Let k be (-2)/(-6) - 1/3. Suppose -4*t + 2*z + z + 22 = k, -3*t = z - l. Is t a multiple of 5?
False
Let i be (-6)/(-27) + 176/18. Let j = 29 + i. Does 13 divide j?
True
Let f = 10 - 7. Suppose -2*i = -4*y + i + 15, f*y - 4*i - 20 = 0. Let n = y - -9. Is n a multiple of 9?
True
Let t = -9 - -16. Let u = 22 - 2. Does 7 divide (-1)/(u/t + -3)?
True
Let d be -3 - 0 - 6/(-3). Is 6 a factor of 6*(d + 4 + -2)?
True
Let g = -4 + 2. Is 2/(g/3) - -35 a multiple of 16?
True
Let o(j) = j + 9. Let a be o(-7). Suppose k = 4*s + 25, a*k + 4*s - 5 = -3*k. Suppose 0 = -d + k*d - 8. Is d even?
True
Let z = -13 - -23. Is 5 a factor of z?
True
Let c(t) = -4*t - 6. Let q = -7 - -4. Is 6 a factor of c(q)?
True
Let t = 19 - 7. Suppose -4*k + 9*r - 4*r + t = 0, 0 = -k - 2*r + 3. Suppose k*z = 2*m + 62, -5*z - 2*m = -4 - 94. Is 20 a factor of z?
True
Suppose -4*c + 201 = -5*g, 3*g - 111 = -2*c + 2*g. Is 18 a factor of c?
True
Let w be (-214)/9 + 6/(-27). Let c = 42 + w. Is c a multiple of 10?
False
Let s(n) = 10*n + 5. Does 19 divide s(9)?
True
Suppose n - 9 = -2. Is n a multiple of 5?
False
Suppose -5*u + 0 + 5 = 0. Let x = 6 - u. Does 5 divide x?
True
Suppose 3*y + 80 = 2*q + 4*y, -2*y + 201 = 5*q. Suppose -164 = -3*h - q. Is 9 a factor of h?
False
Suppose -3*t - v = -141, -3*t + 124 = 4*v - 17. Is 8 a factor of t?
False
Is 18 a factor of 7*((-108)/(-14))/3?
True
Let z(r) = -r**3 + r**2 + 5. Let a be z(-4). Let d = -50 + a. Is d a multiple of 17?
False
Let g be 3/(306/(-100) - -3). Is 11 a factor of (-30)/g - 107/(-5)?
True
Let j = 5 - 9. Let y = 0 - j. Let z = y - -6. Is 8 a factor of z?
False
Let i = 25 + 7. Is 12 a factor of ((-14)/(-4))/(4/i)?
False
Suppose 3 = -4*q + 23. Suppose -2*k - q*h + 15 = 0, 4*k + 19 = 5*h + 64. Does 5 divide k?
True
Let r(j) = -j**2 - 8*j - 5. Let k be r(-7). Does 4 divide (11/(-3))/(k/(-6))?
False
Let n(b) = 4*b**2 + 6*b - 1. Let h(c) = 6*c**2 + 9*c - 2. Suppose 2*i = -i + 15. Let y(v) = i*h(v) - 7*n(v). Is y(3) a multiple of 12?
True
Let i(g) = -20*g - 1. Suppose 0 = z - 3, -2*c + 3*z - 5 = -4*c. Is 13 a factor of i(c)?
True
Let j = -89 - -208. Suppose -61 = 5*g + j. Does 3 divide g/(-8) + (-1)/2?
False
Suppose 0 = -2*t - 4*y + 40, 8 = -0*t - t + 5*y. Suppose 2 + t = 2*q. Does 2 divide q?
False
Let w(i) = i + 110. Let a be w(0). Let n = -54 + a. Suppose 3*x + n = 5*x. Is 14 a factor of x?
True
Suppose 0 = 3*r - 8 + 2. Is 92/2 - 3 - r a multiple of 12?
False
Let i(a) = -5*a - 4*a - 2*a. Is i(-1) a multiple of 5?
False
Let l = 147 - 59. Is l a multiple of 13?
False
Let t(i) = -i**2 - 8*i + 6. Let c be t(-8). Does 2 divide (-16)/c*(-3)/2?
True
Let x = 108 - 0. Is x a multiple of 9?
True
Let j(v) = -20*v**3 - 18*v**2 + 5*v - 6. Let w(a) = 7*a**3 + 6*a**2 - 2*a + 2. Let n(s) = -6*j(s) - 17*w(s). Does 5 divide n(-4)?
False
Is (-25 + 9)/((-2)/3) a multiple of 12?
True
Let d(b) = b**2 - 3*b - 2. Let h be d(5). Suppose -3*o + 4 = -h. Does 8 divide (-2 + 8)/(o/6)?
False
Let y(k) be the second derivative of -k**4/12 + 7*k**2/2 + 4*k. Let m = -4 - -4. Does 5 divide y(m)?
False
Let c = -39 + 45. Is c a multiple of 2?
True
Let t = -253 + 424. Does 19 divide t?
True
Let m(k) = -k**3 - 4*k**2 + 4*k + 3. Let c = -3 - -8. Suppose -u = -0*u + c. Does 4 divide m(u)?
True
Let y = 164 - 76. Let d = y + -54. Is d a multiple of 17?
True
Let m = 5 - 3. Suppose -k - 3*c = 6, -16 = k - 0*c + 5*c. Let w = k - m. Is 3 a factor of w?
False
Let r(o) = 10*o + 7. Let p(d) = 2 - 7 - 10*d - 1. Let n(b) = -6*p(b) - 5*r(b). Does 14 divide n(3)?
False
Let j(l) = l + 2. Let k be j(0). Let z be 0/(k - (-3 - -6)). Suppose -4*f + 20 + 4 = z. Is 6 a factor of f?
True
Let g(l) = 4*l - 4. Let i = 17 + -13. Is 12 a factor of g(i)?
True
Let z(k) = 5*k**2 + 4*k + 14. Is 16 a factor of z(-4)?
False
Let x(o) = -o**3 + 7*o**2 + 8*o + 4. Let z be x(8). Suppose -i + 4 = -z. Suppose -2*s = 4*j - i, -2 = 5*s + 2*j - 46. Is 10 a factor of s?
True
Suppose 0 = 5*d + 3*a - 2*a - 43, 5*d - a - 47 = 0. Is d a multiple of 4?
False
Let n = 13 + -1. Let r(g) = g**3 - 12*g**2 + 2*g - 4. Is 20 a factor of r(n)?
True
Suppose -2*c = -88 - 38. Is 13 a factor of c?
False
Let m(k) = k**2 - 3*k - 2. Suppose -4*h = -f + 6, 5*h = -5*f + 6 - 1. Suppose 3*p - 17 = -f*w, 0 = p + 2*p + w - 19. Is m(p) a multiple of 25?
False
Let z(n) = 10*n + 2. Let g(d) = -9*d - 2. Let v(q) = 3*g(q) + 4*z(q). Does 14 divide v(2)?
True
Let r be 684/45 - 1/5. Let v = 24 - r. Is 3 a factor of v?
True
Let b be -93 - ((-8)/4)/1. Let m = b - -139. Is 14 a factor of m?
False
Let s(b) = -b**2 + 10*b - 8. Let l be s(6). Suppose -2*i + m + 46 = -2*m, -3*m - 98 = -4*i. Let g = i - l. Is 5 a factor of g?
True
Let y be -2*((-3)/6 - 1). Suppose -3*g + 3 = -y. Suppose -4*p + 148 = 3*v, 102 = 2*p + g*v + 30. Is p a multiple of 20?
True
Let y(r) = -r + 3. Let g be y(0). Suppose 4*m - m - 4 = 2*a, -2*a + 8 = 0. Suppose 20 = m*l + 5*h, 66 = 5*l - h - g*h. Does 5 divide l?
True
Let d be 1 + 4/6*3. Is 14 a factor of 14/(-3)*d/(-1)?
True
Let w = 254 - 55. Is 15 a factor of w?
False
Let x = -6 - -6. Suppose x = r - 2*r + 6. Does 3 divide r?
True
Let u(n) be the second derivative of n**5/20 + 5*n**4/12 + 5*n**2/2 - n. Let b be u(-5). Suppose -34 = -b*y + 26. Is y a multiple of 12?
True
Is (-3)/(-9) - (-86)/3 a multiple of 22?
False
Let u(f) = -18*f**3 - 2*f**2 + f - 1. Let j be u(-2). Suppose 2*y + 13 - j = 0. Suppose 5*q - y = 3*q. Is 15 a factor of q?
True
Let r(b) = b**2 - 3*b - 1. Let a be r(4). Let i(m) = a - 8*m - 3 + 0. Is 6 a factor of i(-2)?
False
Suppose t + i = 36, -4*t + 165 = i - 4*i. Is t a multiple of 13?
True
Suppose 5*v = -3*i + 30, v - 2*i = -4*i + 13. Suppose -v*k + 1 + 14 = 0. Is 5 a factor of k?
True
Let v = 61 - -3. Is v a multiple of 13?
False
Let b(q) = 22*q - 4. Is b(4) a multiple of 13?
False
Suppose 5*n = 25, 2*n = -q - 5 + 19. Suppose -2*b + 4*b = -y + 7, -b - 64 = -q*y. Is y a multiple of 7?
False
Is 34 a factor of 1/(819/204 - 4)?
True
Suppose 0 = -2*w + h - 1, -12 = w + 5*h + 5. Let d(j) = -31*j + 15. Let k(f) = -10*f + 5. Let m(o) = w*d(o) + 7*k(o). Is 15 a factor of m(-4)?
False
Is 4/(-6) - (-1408)/33 a multiple of 21?
True
Let t(x) = 5*x**2 + 10*x - 8. Is t(-6) a multiple of 16?
True
Suppose -3*j = -3*h + 132, j - 3*h - 32 = 2*j. Let k be ((-6)/3)/(2/j). Suppose -4*z + k + 11 = 0. Is 7 a factor of z?
False
Is 4 - 6732/(-42) - (-4)/(-14) a multiple of 41?
True
Suppose -3*w + 19 = -59. Is w a multiple of 13?
True
Suppose 2*z + 45 = 7*z. Suppose 1 = 5*p - z. Is 2 a factor of p?
True
Let n(p) = p**3 - 3*p**2 - 9*p - 8. Is 12 a factor of n(6)?
False
Is (-1)/3*(-150)/5 a multiple of 10?
True
Suppose d - 194 = -d. Let q = 166 - d. Does 23 divide q?
True
Let c = 25 + -11. Does 7 divide c?
True
Let j(p) = p**2 + 6*p - 7. Let n be j(-7). Suppose n*x = -2*x + 44. Let k = 45 - x. Is k a multiple of 10?
False
Suppose -5*k = 2*u + 10, 3*k + k - u - 5 = 0. Suppose -3*w + k*w + 36 = 3*j, 5*j = 5*w - 80. Does 7 divide w?
True
Suppose 0 = -3*v + 125 + 352. Is 9 a factor of v?
False
Let l(w) = 5*w - 6*w + 5*w + 5. Let z be l(5). Let g = -13 + z. Is g a multiple of 11?
False
Is 9*2/(-2)*-5 a multiple of 9?
True
Suppose -4*v = 0, 0 = 5*w - 0*v - v - 425. Is w a multiple of 17?
True
Suppose -2*s - x + 4*x = -16, 0 = 4*s - 4*x - 32. Is 3 a fact