4*a. Does 23 divide p?
True
Suppose v = 2 + 1. Let h = v + -5. Let d(a) = -18*a - 2. Is 17 a factor of d(h)?
True
Let f be 43/9 - 6/(-27). Does 28 divide f/(-20) - 337/(-4)?
True
Let s = 64 - 40. Let q = s - 8. Is q a multiple of 8?
True
Let v be (0 - (-2)/3)*33. Suppose -s = -58 - v. Does 16 divide s?
True
Let l be 1/(-2) + 31/2. Is ((-4)/(-10))/(1/l) even?
True
Suppose 0 = 3*n + 3*l + 24, 5*n + 13 = -3*l - 17. Let a = 5 + n. Is a a multiple of 2?
True
Is 26 a factor of 5/(10/4) + 93?
False
Suppose d - 12 = -3*d. Let t(z) = -9*z + 5*z**d - 3*z**3 + 8*z. Is t(2) a multiple of 7?
True
Let w(l) = 2*l - 3. Let f be w(3). Does 7 divide (-38)/(-4)*(f + -1)?
False
Is 5 a factor of 1*(11/1 + 2)?
False
Let u = 11 + -6. Let h = u + 3. Is 8 a factor of h?
True
Let g(o) = o + 6. Does 4 divide g(6)?
True
Suppose -525 = -5*q - 0*q. Does 35 divide q?
True
Let g(k) = -k**2 - 8*k - 10. Let r be g(-7). Is 1/r + (-474)/(-18) a multiple of 18?
False
Is ((-24)/(-20))/((-3)/(-20)) a multiple of 8?
True
Let x(m) = -m**3 - 4*m**2 - 3*m. Let t be x(-2). Let b = t - 1. Let d(q) = 4*q**2 + q + 1. Is d(b) a multiple of 13?
False
Suppose 2*q = 3*q - 40. Suppose 0*r + 4*r - q = 0. Is 3 a factor of r?
False
Let w(q) = 14*q. Let z be 3 - (-2 - (-3 - -1)). Let l be w(z). Suppose 4*g + c - 28 = -3*c, -2*c = -5*g + l. Is 4 a factor of g?
True
Let r = 70 + -37. Let t = 1 + r. Does 7 divide t?
False
Suppose 3*r + 4*a - 594 = r, 0 = 4*a - 12. Is r a multiple of 25?
False
Let f = -33 + 67. Let m = f - 18. Is m a multiple of 15?
False
Suppose -2*o - 4*j - 48 = -4*o, 4*j = -3*o + 102. Is 15 a factor of o?
True
Suppose 4*v = -2*n + 11 + 21, 16 = n + 3*v. Suppose 0 = -c + 2*i + n, -4*i - 30 = -2*c + i. Suppose c = 4*l - 4. Is 3 a factor of l?
True
Let p(s) = s + 4. Let q be p(-3). Does 25 divide q + -3 + 138/3?
False
Let c(a) = 5*a - 15. Is c(11) a multiple of 15?
False
Let d be (1 + 10)/(3/42). Suppose 0*v + 2*v + b = -d, 4*b = v + 77. Let r = -50 - v. Is r a multiple of 13?
False
Let v(s) = s**3 - 3*s**2 + 2*s - 5. Is v(4) a multiple of 6?
False
Suppose 24 = 3*a - 36. Does 10 divide a?
True
Let z(j) = 1 + 3*j**2 + 3 - 2*j**2 - 5. Let q be z(1). Let b = q - -16. Does 16 divide b?
True
Suppose -1 - 7 = -w. Is 7 a factor of (-5)/5 - w*-1?
True
Let r = -7 - -9. Suppose -r = -3*q + q. Is 10 a factor of 30 + (q + -1)/1?
True
Suppose -156 = -4*d - 0*d - 5*w, 5*w - 78 = -2*d. Does 5 divide d?
False
Is 37 - 0*5/20 a multiple of 7?
False
Suppose -1 = -2*s + 1. Suppose -13 = -z - s. Is z a multiple of 6?
True
Let o be 16*(2 - 0/(-1)). Is (o/12)/(2/9) a multiple of 6?
True
Suppose 3*h + 2*l - 64 = 0, h + 0*h - 4*l + 2 = 0. Does 6 divide h?
True
Let k(t) = -t**2 + 5*t - 2. Let c be k(4). Suppose -z - 3*z = 2*l, -c*l + 5*z = -27. Does 3 divide l?
True
Let t = -262 - -534. Suppose 2*c + 2*c - t = 0. Suppose -2*v + c = -0*v + 4*a, 5*v - 3*a - 170 = 0. Is v a multiple of 15?
False
Let b(c) = -c - 27. Let w be b(-14). Let f = 8 - -13. Let l = w + f. Is l a multiple of 8?
True
Let j(l) = l - 7. Let s be j(-11). Is 10/((-21)/s + -1) a multiple of 13?
False
Let m = 129 + -106. Is m a multiple of 3?
False
Let x = 64 - 60. Is x even?
True
Suppose 3*a - 560 = -5*a. Does 10 divide a?
True
Let b(w) = w**3 + 10*w**2. Let z be b(-10). Suppose 5*t - 20 = z, -2*s = 6*t - 3*t - 100. Does 22 divide s?
True
Let r(j) be the first derivative of 2*j**3/3 - 9*j**2/2 - 11*j + 2. Let d be r(8). Suppose -6*a + g + 175 = -2*a, -d = -a - g. Does 17 divide a?
False
Let w = -6 - -9. Suppose 4*h - w*h = 14. Is h a multiple of 7?
True
Let z(h) = -4*h - 11. Is 8 a factor of z(-8)?
False
Suppose -6*k = -3*k + 9. Is 20 a factor of (4 + k)/(2/106)?
False
Let q be (-1)/((-2)/8*1). Suppose 5*g - q*h = 64 + 14, 3*g + 2*h - 38 = 0. Suppose 0 = c - g + 1. Is 5 a factor of c?
False
Suppose 16 = -z + 101. Suppose -3*o - s + z = 0, -3*o + 77 = -0*o + 5*s. Does 12 divide o?
False
Let b be (-8)/(-12)*9/2. Suppose 4*t - 195 = b*l, -t - 146 = -4*t + 2*l. Is t a multiple of 24?
True
Let d = 9 + -32. Let y = 95 + d. Does 19 divide y?
False
Suppose -2 - 14 = -4*n. Suppose -n*p + 3*r = -p - 24, -3*r = -5*p + 36. Does 3 divide p?
True
Suppose 0 = -8*a + 6*a. Let z be (a + 4)/(5 + -3). Is 4 a factor of (-2)/z + 5*3?
False
Let q(x) = -x - 2. Let f be q(-4). Suppose -17 = -2*b - f*j + 53, 5*b + 3*j = 183. Is 19 a factor of b?
False
Suppose -2*j + 4*j + 4*q - 68 = 0, 106 = 3*j + 4*q. Is j a multiple of 6?
False
Let g(f) = 6*f - 9. Is 10 a factor of g(9)?
False
Let j(v) be the first derivative of -v**4/4 + 4*v**3/3 - 3*v**2/2 - 3. Is j(2) even?
True
Let p = -8 + 10. Suppose 3*u = -7*b + p*b + 53, 2 = -b. Is 7 a factor of u?
True
Let k(i) = 2*i**2 - 19*i + 20. Is 30 a factor of k(15)?
False
Let q = 19 - 12. Suppose -20 = -3*l + q. Does 9 divide l?
True
Let s = 53 - 13. Suppose -l + 10 = 4*l, -2*l = -5*y - 54. Let k = s + y. Does 10 divide k?
True
Let f(k) = k**3 + 4*k**2 - 5*k + 1. Let h be f(-5). Let p = 25 - h. Does 9 divide p?
False
Let p be (-2)/((-64)/(-36) - 2). Suppose 0 = 4*x - p*x + 60. Does 6 divide x?
True
Suppose -4*s - 4 = 0, -5*d + 2*s + 19 = -3. Does 8 divide (-3)/(-2)*24/d?
False
Let s be (3/(-4))/(1/4). Let z(r) = -r**2 - 11*r + 17. Let q be z(-13). Let o = s - q. Is o a multiple of 6?
True
Let h = -156 - -310. Is h a multiple of 14?
True
Let a = 10 + 18. Suppose -5*i + a = -27. Suppose 0*h - h + i = 0. Is h a multiple of 11?
True
Let h(b) be the second derivative of 1/3*b**3 + 1/20*b**5 - 3/2*b**2 - b + 0 + 5/12*b**4. Is 7 a factor of h(-3)?
False
Let a(i) = 3*i - 12*i**2 + 4*i**2 + 15 - 6 - i**3. Let n be a(-8). Does 10 divide 20/15*n/(-2)?
True
Suppose -7*g - 84 = -266. Does 5 divide g?
False
Let m be (-12)/(-9)*(-18)/4. Let v = 9 + m. Suppose -v*c = -4*j + 108, -3*c + 0*c = -5*j + 138. Does 13 divide j?
False
Let h = 214 + -48. Does 14 divide h?
False
Let t = -9 - -1. Let g = -1 - t. Is 3 a factor of g?
False
Suppose -9 = 3*g - 5*v, -3*v = 2*g - 2*v - 7. Suppose 4*d - n - 12 = g*d, -d - 4 = -3*n. Does 8 divide d?
True
Let r(f) = -f**2 - 8*f + 7. Let t be r(-7). Let d = -8 + t. Does 3 divide d?
True
Let k = -118 + 214. Is 24 a factor of k?
True
Let h(o) = -2*o**3 - 4*o**2 - 4. Let d be h(-3). Let q(b) be the first derivative of b**3/3 - 6*b**2 - 14*b + 18. Is q(d) a multiple of 4?
False
Suppose r - 10 = -31. Let t = r + 34. Is t a multiple of 13?
True
Suppose 2*p + 2*p = 8. Suppose -2*c = p*c - 52. Is 4 a factor of c?
False
Let h(b) = b**3 - 17*b**2 + b - 13. Let t be h(17). Suppose 4*g - 2*g - 4*a = -6, -5*g + 55 = t*a. Is 4 a factor of g?
False
Let h be 2/5 - 37/5. Let g = -3 + h. Is 3 a factor of -2 - (0 - g)/(-2)?
True
Let s(h) = h**3 + 6*h**2 + 5*h + 5. Let b be 1 - 21/(2 + 1). Let g be s(b). Let l = 47 + g. Is 11 a factor of l?
True
Let x(n) = -2*n - 1. Let v(f) = -f - 2. Let k(l) = -3*v(l) + 2*x(l). Is k(-5) a multiple of 3?
True
Suppose 5*o - 5*d + 185 = 0, -3 = -2*d + 5*d. Let s = o - -65. Does 7 divide s?
False
Suppose 2*h - 85 = -3*h. Let r = h - 11. Is r a multiple of 3?
True
Let x = 43 + -71. Let q = 90 + x. Is q a multiple of 24?
False
Let y be 8*((-9)/(-12))/1. Does 3 divide (y/5)/((-6)/(-20))?
False
Let k(n) = -19*n + 13. Does 8 divide k(-3)?
False
Let z(x) = 4*x**2 - 4*x + 3. Let t(r) = 5*r**2 - 5*r + 4. Let o(h) = 5*t(h) - 6*z(h). Is 5 a factor of o(4)?
False
Let u(z) = -z**2 + 8*z + 2. Suppose 8 = d + d. Let i be 2*(-2)/d - -7. Is u(i) a multiple of 14?
True
Let c be ((-4)/(-5))/((-2)/(-10)). Suppose w - d = -23, d + 0*d = -c*w - 97. Is 5 a factor of w/(-2) - 0/2?
False
Let n(s) = s**3 + 12. Let k(q) = q - 6. Let y be k(6). Does 12 divide n(y)?
True
Suppose 0 = -4*u - 0*u + 20. Suppose -c - 4*c + u*x + 120 = 0, -2*x = -2. Is 11 a factor of c?
False
Let g be (2 - (1 - 2))*1. Suppose 5*n + 3*f + f = 47, 25 = g*n + 4*f. Is 7 a factor of n?
False
Let c(a) be the third derivative of -a**4/24 + 7*a**3/2 - 10*a**2. Is 8 a factor of c(0)?
False
Let k be -2*122/8*-2. Suppose -2*y + 3*x = 80, 2*y - 4*x = 2 - 84. Let o = k + y. Is o a multiple of 9?
False
Suppose 2280 = -8*y + 27*y. Is y a multiple of 12?
True
Let z(y) = y**3 + y + 5. Let t be z(0). Suppose 10 = -t*g - 5, -4*g = 3*j - 15. Is j a multiple of 3?
True
Let y be 5 - 2*(-3)/6. Suppose y = -4*a - 2. Let z(m) = -5*m + 2. Does 6 divide z(a)?
True
Let a(y) = y - 3.