 multiple of 13?
True
Let v = -12 - 1. Let p = -1 - v. Does 5 divide p?
False
Let w(a) = -a**2 + 5*a + 5. Let q be w(6). Let g be (-3 - -6)*q/(-1). Suppose 0 = -c + 3, 24 = -g*x + 4*c + 72. Does 10 divide x?
True
Suppose 5*p + 2*k + 304 = 1218, -3*p - 3*k + 543 = 0. Is 39 a factor of p?
False
Let i = -10 + 12. Suppose 635 = 5*z - i*l - 2*l, 0 = 3*z + 4*l - 381. Is 37 a factor of z?
False
Suppose -8*l + 3*l = -60. Does 12 divide l?
True
Let c = 69 - 27. Is 12 a factor of c?
False
Suppose 0 = 3*d - 5*h - 29, 5*h = -2*d + 7*d - 35. Suppose -4*a + 236 = -52. Suppose -d*f - f = -a. Is f a multiple of 6?
True
Suppose 3*c - 16 = -c, 636 = 4*q + 4*c. Suppose 0 = -6*u + u + q. Suppose -4*n + 5*n - u = 0. Is n a multiple of 9?
False
Let a be 66/10 + (-6)/(-15). Let c(w) = 5*w - 17. Is c(a) a multiple of 9?
True
Let f(o) be the third derivative of o**5/30 - o**4/24 + 9*o**2. Is 3 a factor of f(-1)?
True
Is (2 + 0 - 5)*-1 even?
False
Let p(d) = 4*d - 6. Let y = 8 - 2. Does 6 divide p(y)?
True
Let u(x) = x**2 + 11*x + 12. Does 36 divide u(-15)?
True
Let m = -5 - -10. Let p = -3 + m. Suppose 3*j = p*d - 4, j + j = -2*d + 24. Does 8 divide d?
True
Suppose -5*t + 5*k + 100 = 0, -60 = -7*t + 3*t - k. Is t a multiple of 8?
True
Suppose 1899 = 9*c - 351. Does 16 divide c?
False
Suppose -3*p - 3*g = 0, 0*p + 3*p = 2*g + 15. Suppose p = 3*i - 3. Is i a multiple of 2?
True
Is 9 a factor of ((-18)/(-15))/((-2)/(-15))?
True
Let u(c) = 4*c**2 - c. Let t be u(1). Suppose 3*s - 19 = -z, 2*z - t*s - 2*s - 38 = 0. Does 19 divide z?
True
Let d(l) = 3*l**3 - 3*l**2 + 5*l + 5. Does 19 divide d(3)?
False
Let m(g) be the first derivative of g**4/4 + 7*g**3/3 - 11*g**2/2 + 5*g - 2. Does 12 divide m(-8)?
False
Suppose -136 = -3*u + 284. Is 22 a factor of u?
False
Suppose 0 = 2*q - 58 - 190. Suppose -s - 2*a + 46 = 0, 3*s + q = 6*s - a. Is s a multiple of 21?
True
Let w be (-10)/(-3)*(-15)/(-10). Is w/15 + (-29)/(-3) a multiple of 10?
True
Is -7*(-1 + 2)*-1 a multiple of 7?
True
Let o(g) = g**2 - g - 7. Suppose -5*l + 4*w = 13, 2*w + 7 = 4*l + 21. Does 9 divide o(l)?
False
Let m = -138 + 166. Does 3 divide m?
False
Let y(c) = -3*c**3 - c**2 + 9*c - 3. Is 6 a factor of y(-4)?
False
Suppose -8*x = -4*x + 72. Let r be 6/(-9)*x/(-4). Let b(t) = 4*t**2 + 4*t. Is b(r) a multiple of 12?
True
Suppose 4*s = -3*h + 6, -3*s + 13 = -h - h. Suppose -2*d - s*d = o - 38, 5*o = -5*d + 130. Is o a multiple of 23?
True
Let s(d) = 3*d**2 - 6*d + 5. Let l be s(4). Suppose 3*b - 5*v - 15 = 0, 3*v = -0*b - 2*b + l. Suppose -j + 9 = -b. Is j a multiple of 7?
False
Let f(a) = -13*a + 5. Let m be f(-7). Suppose 4*s - 352 = -m. Suppose 3*v - s = 8. Is v a multiple of 12?
True
Let a = -13 + 18. Let c(l) = 12*l**2 - 2*l - 2. Let o be c(a). Suppose -o = -5*p - 4*q, -p - 3*q = 2*q - 66. Is 28 a factor of p?
True
Let p be (81/6)/((-1)/2). Let w = 39 + p. Is 4 a factor of w?
True
Suppose 0*o = o - 4. Suppose -3 = 4*q + 5, o*u + 6 = -3*q. Is -13*(u - (0 + 1)) a multiple of 7?
False
Let c be (-2)/6 - 2/3. Let i = c - -1. Suppose -2*n + 8 = -i. Is n even?
True
Let k(v) = 15*v - 20. Is 24 a factor of k(5)?
False
Let q = -25 + 45. Let r(f) = -f**2 + 2*f + 3. Let l be r(3). Suppose 2*c - 30 = -3*c + j, -5*c - j + q = l. Does 4 divide c?
False
Does 26 divide ((-39)/2)/((-5)/40)?
True
Let y = 19 + -13. Let v = y + -4. Does 9 divide 0 + 23 + v - -1?
False
Suppose -2*u = -0 - 58. Does 8 divide u?
False
Let u = 43 - 22. Is 7 a factor of u?
True
Let w = 7 - 1. Suppose w*h - 192 = 2*h. Is h a multiple of 16?
True
Let i(k) = -k**3 + 3*k**2 - 2*k. Let m be i(2). Suppose m = -l - 3 - 39. Let u = -20 - l. Is 11 a factor of u?
True
Let z(b) = -b**2 - 6*b + 8. Let j be z(7). Let v = 128 + j. Is 10 a factor of v?
False
Let s(r) = -r - 21. Let l be s(0). Let v(u) = -4*u**2 - 1. Let k be v(3). Let t = l - k. Does 8 divide t?
True
Let t = -22 - -54. Is 16 a factor of t?
True
Suppose -12*h = -6*h - 1050. Does 36 divide h?
False
Let y = 5 + 16. Is y a multiple of 13?
False
Let a be (-3)/(-6) + (-2)/4. Let d = a - -4. Suppose -4*z + 60 = -4*k, d*z - 5 - 53 = 2*k. Is z a multiple of 6?
False
Let f = -18 + 12. Let u(g) = -g**2 - 9*g - 3. Does 15 divide u(f)?
True
Let b(w) = -5*w**3 - 2*w**2 + w - 1. Is b(-2) a multiple of 6?
False
Let z = -22 - -10. Is 12 a factor of (z/(-8))/(2/16)?
True
Let m(u) = u - 8. Let g be m(0). Let j = g + 29. Is j a multiple of 7?
True
Let f(l) = l**3 - 3*l**2 - 4*l - 1. Does 29 divide f(5)?
True
Suppose 32 = -o - o. Let i = o + 27. Is i a multiple of 11?
True
Suppose 4*b + 3 = -9, 5*b - 345 = -5*m. Is m a multiple of 20?
False
Let b = -23 + 25. Suppose -v + 2*v - 11 = 4*d, 4*v = -b*d + 134. Does 31 divide v?
True
Let f = 685 - 300. Does 35 divide f?
True
Let s(i) = i**3 + 9*i**2 + 9*i + 8. Let r be s(-8). Let w(o) = 0 + r + 7*o**2 - 2*o + 0*o. Is w(2) a multiple of 12?
True
Suppose -k - 2*k = t - 523, k + 4*t = 156. Suppose l + k = 3*l. Is 11 a factor of 3/2*l/6?
True
Let i be ((-6)/12)/(2/(-12)). Suppose -81 = -i*f + 5*x, -5*f + 120 = -5*x - 5. Is f a multiple of 22?
True
Suppose -j = -4*y + 5, -3*j = j - 12. Suppose -6*v + y*v = 0. Suppose -z + 3 = -v. Is z a multiple of 3?
True
Let c = -136 - -53. Let p = -57 - c. Is p a multiple of 13?
True
Let m(x) = -x**2 - x. Let a be m(-1). Let q(d) = a - 3 - 6 + 3 - 3*d. Does 6 divide q(-6)?
True
Let c(f) = -f**2 + 4*f + 7. Let t be c(5). Suppose -2*a - 167 = -5*b, -t*b + 2*a = -75 + 7. Does 11 divide b?
True
Let x(d) = -d**3 - 3*d**2 + d + 3. Let r = 0 + -4. Let w be x(r). Is (0 - -1)/(-1) + w a multiple of 7?
True
Let b be 63/6 + (-3)/6. Is 10 a factor of (-4)/10 - (-154)/b?
False
Let c(i) = -4*i + 6. Let k(w) = 2*w - 3. Let x(b) = -3*c(b) - 5*k(b). Let l be x(6). Suppose -2*g + l = 1. Is g a multiple of 2?
True
Suppose -3*u = x + 10, 6*u = 2*u + 4*x - 8. Let a(i) = 264*i. Let g be a(-1). Is (u/2)/(11/g) a multiple of 10?
False
Let z be (3/(-3) - -3) + 3. Let l be 0 - (z - 0)*-1. Suppose -l*p + 4*x = -4, -p + 24 = x + 4*x. Does 4 divide p?
True
Let r be (0 - -3)*1/(-3). Let a = r + 6. Let b = a - -5. Is 10 a factor of b?
True
Let h(o) = 3*o - 3. Let f be h(3). Let t(d) be the first derivative of d**4/4 - 7*d**3/3 + 3*d**2 + 4*d - 1. Is t(f) a multiple of 2?
True
Let k(b) = b - 4*b**2 + 0 + 5*b**2 + 2 + 7. Is 12 a factor of k(-4)?
False
Suppose 8 = -3*q + q. Let z be 6 + (3 + q - 2). Is 291/9 - (-2)/z a multiple of 13?
False
Let r be 54/(-15)*(-80)/6. Let t = r + 2. Is 11 a factor of t?
False
Suppose -154 = -2*t + 2*x, 0 = -6*t + t + 2*x + 397. Is 6 a factor of t?
False
Suppose 3*x - 542 = 382. Does 22 divide x?
True
Let h(u) be the second derivative of u**4/3 + u**3/3 - u**2/2 + u. Let t be h(1). Does 10 divide (-64)/(-5) - (-1)/t?
False
Is 146/24*-3*-16 a multiple of 18?
False
Let w(j) = -4*j + 11. Is 23 a factor of w(-7)?
False
Is 5*1 - 4/(-2) a multiple of 7?
True
Let w(j) = 5*j**3 - 21*j**2 - 12*j - 1. Let n(z) = 3*z**3 - 11*z**2 - 6*z. Let k(m) = 7*n(m) - 4*w(m). Is 8 a factor of k(-5)?
True
Suppose 0 = 7*x - 3*x - 8. Let b(s) = 25*s - 3. Is 10 a factor of b(x)?
False
Let q(t) = 4*t + 9. Suppose -a + 5*u - 1 = 2, 0 = -4*a - 2*u + 32. Is 8 a factor of q(a)?
False
Let c = 72 - 101. Let j = 82 + c. Is 19 a factor of j?
False
Does 11 divide 495/18*(-12)/(-5)?
True
Suppose -3*o + 119 = -79. Does 22 divide o?
True
Suppose 3*z + 13 = 4*q, q + z = 3*q - 5. Does 8 divide (-35)/(-5) - q/(-1)?
True
Let s = -46 - -86. Is 8 a factor of s?
True
Let j(l) = -l**3 + 7*l**2 - l - 8. Is 6 a factor of j(6)?
False
Suppose -2*j - 5 = 3*j. Is 20 a factor of j - 1 - (-2 + -20)?
True
Let k be (1 + 0)*0/(-2). Suppose k = p - 8 - 78. Let l = -49 + p. Is l a multiple of 20?
False
Let j = -31 + 52. Does 7 divide j?
True
Let f = 8 + -3. Suppose f*u = -4*i - i + 170, -2*u = -3*i + 112. Is i a multiple of 18?
True
Suppose 8*m - 5 = 3*m - 5*r, 0 = 5*r + 5. Suppose -5*f = -m - 13. Suppose 5*k - 46 = f*k. Does 18 divide k?
False
Let z(v) = -5*v + 3. Let r(b) = 6*b - 3. Let h(y) = 4*r(y) + 5*z(y). Let o be h(10). Let t = o - -18. Does 11 divide t?
True
Let j = -6 - -6. Let k be ((-18)/3 - j) + 2. Let p = 14 - k. Is p a multiple of 18?
True
Is 19 a factor of (-23*3)/(7 + -8)?
False
Let b = 2 + 0. Suppose b*i - 2 = -0. Suppose p + i = 4. Is p a multiple of 3?
True
Let s(g) = 2*g**2 + 8*g - 7. 