ose u*p + 6 = 14. Suppose 5*l + 2*b - b - 139 = 0, 24 = l + p*b. Does 23 divide l?
False
Let q(o) = o**3 + 8*o**2 - 6*o + 4. Let f be 2 + -5 - 8 - -3. Is q(f) a multiple of 13?
True
Suppose 0 = 8*b - 5*b - 24. Is b a multiple of 5?
False
Let x(j) = -j - 9. Let w be x(-9). Let d = w - -12. Does 12 divide d?
True
Let t = -4 + -1. Let m = 11 + t. Is 6 a factor of m?
True
Let f = -165 - -335. Is 16 a factor of f?
False
Is ((-78)/12)/(3 - (-43)/(-14)) a multiple of 11?
False
Suppose 55 - 1 = 3*a. Does 6 divide a?
True
Let w(b) = b**2 - 8*b + 8. Let z be w(4). Let m(r) = -3*r - 9. Is 15 a factor of m(z)?
True
Let m(i) be the second derivative of i**4/3 + i**3/2 - 3*i**2/2 + i. Does 9 divide m(-3)?
False
Let j = 11 + 23. Let i = 59 - j. Is i a multiple of 9?
False
Suppose 5*m = -2*z + 121, -4*m = -9*m - 4*z + 127. Suppose -5*a + 11 = -4, -4*g = 5*a - m. Is -3 - -27 - -1*g a multiple of 10?
False
Let s(g) = -2*g + 3. Let n be s(-3). Let t be 3/(n/6) + -2. Suppose t = -5*d + d + 48. Does 12 divide d?
True
Let x = -48 - -57. Is x a multiple of 2?
False
Let s(r) = 0*r**2 - 1 - r + r**2 + 0. Let d(n) = 2*n**3 - 2*n - 3. Let k(g) = d(g) - 3*s(g). Does 4 divide k(2)?
False
Let d = -4 - -8. Suppose 0 = d*v - 17 + 5. Suppose 0 = 5*h - 5, -8*h = -c - v*h + 28. Is 11 a factor of c?
True
Let n be -2*(-3)/(-3)*-1. Suppose -n*z - 4 = -3*z. Suppose 0 = 2*u - 4, l + 0*l + 5 = z*u. Is l even?
False
Let j be 1*-2*(-10)/1. Suppose -4*g - j = 16. Is (3/g)/(1/(-21)) a multiple of 6?
False
Let y = 3 + 0. Suppose 12 = -3*r, -5*n + y*r + 72 = -0*r. Suppose -28 = -5*i + n. Does 4 divide i?
True
Is 4 a factor of ((-110)/(-20))/(1/2)?
False
Suppose 65 = 3*j + 2*j. Is 13 a factor of j?
True
Let z = -21 + 31. Let r be 3*z/12*2. Suppose 0 = 2*j - 31 + r. Is 6 a factor of j?
False
Suppose -5*m = 344 - 109. Let c = m - -23. Let i = 5 - c. Does 12 divide i?
False
Is (9/(-12))/(-3*4/2448) a multiple of 11?
False
Let i(l) = l**3 - 5*l**2 - 6*l + 11. Is i(6) a multiple of 11?
True
Let c be 7400/(-72) - 2/9. Let a = 151 + c. Is a a multiple of 12?
True
Let q(g) = -2*g**3 + g. Let i be -1 - -2 - (1 + 2). Is 10 a factor of q(i)?
False
Let c be 3 - 3*(-1 + 2). Let w(j) = -j**3 - j**2 - j + 2. Let b be w(c). Suppose -5*u + 73 = 5*f + 23, -41 = -5*f - b*u. Is f a multiple of 3?
False
Suppose -5*u = -u + 20. Let w = u + 8. Let n = w + 18. Is 18 a factor of n?
False
Suppose 995 = 5*t + 4*d, t - 213 = -d + 3*d. Does 29 divide t?
True
Let m(y) = -34*y. Let l be m(1). Is (l/1)/(4/(-2)) a multiple of 17?
True
Let p(c) = c + 7. Let a(f) = -f - 6. Let s(v) = 5*a(v) + 6*p(v). Is s(-6) a multiple of 6?
True
Suppose -6 = -a - 3. Is 5 a factor of (0 + 14/a)*3?
False
Let r(y) = -25*y + 24*y + 2 + 5. Let h be 9/(-6)*(5 + -1). Is r(h) a multiple of 8?
False
Suppose 2*b = 10 - 50. Let t = b + 36. Is 8 a factor of t?
True
Let g(q) = -q**2 - 14*q + 17. Does 13 divide g(-8)?
True
Let u = -8 - -6. Let o(t) = -8*t - 3 - 1 + 5 - 3. Is o(u) a multiple of 14?
True
Let j = 97 - 57. Suppose 0 = -4*t + 2*t + j. Is t a multiple of 12?
False
Let j = -3 + 9. Let y(d) = 8*d - 2. Let h be y(7). Suppose -j*c + 4*c = -h. Does 11 divide c?
False
Suppose 2*x - 4*x - s + 184 = 0, 3*x - 277 = -s. Is x a multiple of 7?
False
Suppose -l - s = s - 2, -4*s = 3*l. Is 11 a factor of (-122)/l + 1/(-2)?
False
Suppose 2*u = 13 - 1. Suppose -4*o = -n - u, -7*n = -3*n - o - 51. Does 9 divide n?
False
Let v(z) = 2*z + 3. Let j be v(6). Is 12 a factor of (-20)/j*(-27)/1?
True
Let w be 3 + -4*3*-1. Suppose 3*q + w = 0, -24 = -2*x - 2*q + 26. Is 6 a factor of x?
True
Let j = -10 - -6. Does 17 divide ((-10)/(-6))/(j/(-108))?
False
Suppose 16 = 2*t - 6. Does 11 divide t?
True
Let g = -98 - -192. Is g a multiple of 25?
False
Suppose 2*q = -5*z - 3 - 0, 2*z + 2 = 0. Let t be 102/(-9)*3*q. Is 2/(-3) - t/6 a multiple of 5?
True
Let m(s) = -s + 4 + 2 - 4. Is 2 a factor of m(-2)?
True
Suppose 6*o = 3*z + o - 20, -3*o + 90 = 5*z. Let q be (-72)/(-5) + (-6)/z. Suppose -3*t = -4*p - q, 4*t + t - 31 = -p. Does 6 divide t?
True
Let k(a) = 2*a - 19*a + a. Let r be k(2). Let n = 67 + r. Is n a multiple of 15?
False
Suppose 4*n + 12 = -0. Let p = n - -18. Is 14 a factor of p?
False
Let k(l) = -l**3 + 6*l**2 + 2*l - 9. Let a be k(6). Suppose -q = -a*q - 16. Let m(g) = -3*g. Does 12 divide m(q)?
True
Let f(b) be the third derivative of -b**5/60 + 5*b**4/12 - 4*b**3/3 - b**2. Is f(7) a multiple of 13?
True
Suppose -4*d = 4*a, a = -2*d + 3 + 1. Let f = 8 + a. Suppose -4*t + 13 + f = o, 0 = 5*t - 5*o - 15. Is 2 a factor of t?
True
Let a = 31 + -90. Let h = -19 - a. Is 17 a factor of h?
False
Let d(b) = 13*b - 5. Is 8 a factor of d(1)?
True
Let y be (-6)/4*(-4 + 2). Suppose 2*m - 5*d - 26 = 0, 0 = -y*m - d - 13 + 52. Is m a multiple of 13?
True
Let h(a) = -a**2 + 9*a + 18. Does 7 divide h(10)?
False
Let z(b) = 40*b + 1. Let o be z(-4). Let p = o + 231. Does 24 divide p?
True
Let o be 24/(-15) + (-4)/10. Let u = 48 + o. Suppose 2*v = q - 37, -3*v = 3*q - q - u. Is 13 a factor of q?
False
Let u be (8 - -2)*2/4. Suppose -73 = -3*t + t - 5*f, 5*f - 205 = -u*t. Is t a multiple of 11?
True
Let x(q) = -25*q**2 + 2*q - 11. Let u(f) = 12*f**2 - f + 5. Let b(d) = 13*u(d) + 6*x(d). Let m be b(-1). Let i = m + -1. Is 3 a factor of i?
False
Let m = 13 + 7. Suppose 5*f = 4*f + m. Does 20 divide f?
True
Suppose 0 = n - 10 - 18. Does 3 divide (n/(-2) + 1)/(-1)?
False
Suppose 0 = 8*p - 3*p. Suppose p*i + 60 = i. Is 20 a factor of i?
True
Let g = -162 + 345. Is g/12 + 6/8 a multiple of 10?
False
Suppose 5*a - a + 128 = -4*x, 5*x + 163 = -4*a. Let g = 63 + x. Does 5 divide g?
False
Suppose r + 525 = 5*n, 4*n + 3*r = 498 - 78. Is n a multiple of 20?
False
Suppose -25 = 2*c - 137. Is 8 a factor of c?
True
Is 5980/18 + 11/((-594)/12) a multiple of 51?
False
Suppose -39 = -2*t + 13. Is 13 a factor of t?
True
Suppose 7*n - 2*n - 20 = 0, -3*s = 3*n - 129. Suppose -204 = -3*d - s. Let a = d + -17. Is 19 a factor of a?
True
Let d(m) = -m + 6. Let h be d(4). Let a = h + 2. Is a a multiple of 3?
False
Suppose -2*l + 5*b = -455, 5*l + 131 = -4*b + 1252. Does 25 divide l?
True
Is 6 a factor of (4 + 8/4)*1?
True
Let z(a) = -10 + 5 + 1 - 2*a. Does 6 divide z(-11)?
True
Suppose -2*s + s - 3*b = -4, 4*s + 2*b - 6 = 0. Is 11 - (s - (-4)/(-2)) a multiple of 6?
True
Let v(k) = 5*k - 2. Suppose -2*t - 1 = -j, -11 = -3*t + 5*j - 2. Let y be t/((2 - 4)/2). Is v(y) a multiple of 8?
True
Let r(v) = 36*v - 1. Is 19 a factor of r(2)?
False
Let r = 5 + -3. Suppose 119 = 4*y + 5*g, r*y - 3*g - 47 = 40. Is 18 a factor of y?
True
Let d = 90 - 54. Let v = -2 + -18. Let a = d + v. Is 8 a factor of a?
True
Suppose -3*q - 3 = 3, -4*g = q - 102. Let k = g + 46. Is 24 a factor of k?
True
Is 9 a factor of (21/5)/(1/10)?
False
Suppose 3*d = -2*z + 338, -3*d - 2*z + 450 = d. Is d a multiple of 28?
True
Let w = 23 - 12. Is 3 a factor of w?
False
Let v be 126/10*(3 + 2). Suppose -v = -5*c + 157. Is 16 a factor of c?
False
Suppose 4*o = 44 + 4. Is o a multiple of 6?
True
Let g be ((-188)/6)/(-2)*3. Suppose 5*o - 128 = -3*k, o - 3*o + g = -3*k. Is o a multiple of 7?
False
Let n(c) = 8*c - 7. Suppose -2*v + 4*z = -6*v + 20, 4*v - 20 = -z. Let u be n(v). Let x = 54 - u. Does 14 divide x?
False
Let y = 23 + -11. Is y even?
True
Suppose 2*x - 45 = 5*j, x = 5*x + 5*j - 75. Suppose 6*v = v - x. Does 15 divide v + 4 + 23 + 0?
False
Suppose 88 = 5*g - 3*g. Does 6 divide g?
False
Suppose -25 - 27 = -2*h - 4*l, h - 5 = 5*l. Suppose 4*x - h = 0, 2*w - 4*x = 7*w - 370. Is 22 a factor of w?
False
Let y(g) = g**3 + 3*g**2 - 5*g. Let z be y(-4). Suppose 4*u = z*d - 104, 2*u + 81 = 3*d - 2*u. Is 10 a factor of d?
False
Let i(u) = -u + u**2 - u + 3 + 3*u - 6*u. Let c be -2 - (-9 + (-2 - -3)). Is i(c) a multiple of 9?
True
Is 40/8*(-44)/(-5) a multiple of 5?
False
Suppose d + 0 = 3. Let h be (-132)/(-10) + d/(-15). Suppose -h + 91 = 4*b - 2*f, b + 2*f = 22. Does 10 divide b?
True
Let n(u) = 5*u**2 - 3*u + 4. Is 8 a factor of n(2)?
False
Let f be 11/2 + (-6)/(-12). Let a(d) = -d - 18. Let q be a(-14). Does 26 divide (q/f)/(2/(-201))?
False
Let i(v) = -168*v**2 + 4*v. Let s be i(3). Is (2/5)/((-15)/s) a multiple of 10?
True
Suppose 4*g + 23 - 7 = 0, -4*h = -2*g - 12. Is 2 - (h + 2 + -32) a multiple of 15?
False
Let c = -85 + 157. Is c a mul