 + -2). Let a = -50 + j. Is 13 a factor of a?
False
Suppose -o + 3*o = -36. Let l = -1 - o. Is 8 a factor of l?
False
Suppose 2*f - f - 297 = 0. Suppose 5*o = 3*x - 6*x + 362, 4*o - 5*x - f = 0. Does 15 divide o?
False
Let y be -1 + -2 + 0/1. Let a be (-1)/y - (-51)/9. Suppose -3*b + 51 = -a. Is 7 a factor of b?
False
Suppose 5*v + 2*c + 10 = 0, -5*v = 5*c + 12 + 13. Suppose -4*s + v*s + 160 = 0. Is 20 a factor of s?
True
Let y(o) = -3 + 0*o - 5*o + 11. Let k be y(-7). Let x = k - 29. Does 14 divide x?
True
Let b(d) = 3*d**2 + d + 1. Let x be b(-1). Suppose -8*s + 140 = -x*s. Is 9 a factor of s?
False
Let n = 51 - -202. Is n a multiple of 11?
True
Let v(d) = d + 5. Let r be v(-8). Let j = r + -3. Let q(u) = -u + 3. Is 5 a factor of q(j)?
False
Let m = 207 + -103. Is m a multiple of 20?
False
Let m(f) = -10*f - 5. Let n be m(-4). Suppose -n = -2*w + 49. Is w a multiple of 14?
True
Let n = 155 + -51. Suppose -2*x - n = -264. Is x a multiple of 17?
False
Suppose 0 = 7*n - 2*n - 135. Suppose 0 = 4*b - 4*o - 36, 0*b + o - n = -3*b. Let p = 19 - b. Is 4 a factor of p?
False
Let z(y) = 62*y + 7. Is z(1) a multiple of 4?
False
Let w(n) = -5*n + 3. Suppose 2*l - 3*s = l - 2, 5*s - 20 = 5*l. Is 14 a factor of w(l)?
True
Suppose -8 = -4*y - 0*y. Let v be (-1)/y - (-5)/2. Suppose 0 = c + v - 9. Does 7 divide c?
True
Suppose -19 - 5 = -4*d. Is 6 a factor of d?
True
Let k(h) = 4*h**2 - 2*h. Is 9 a factor of k(-4)?
True
Let a(h) = 8*h - 4*h + 1 + 5 - 4. Let p be a(4). Suppose 2*t = 3*u + p, u = t - u - 8. Is 12 a factor of t?
True
Let m(b) = -2*b**3 - 5*b**2 - 2*b - 4. Is 13 a factor of m(-4)?
True
Suppose 8*y - 449 = 31. Is y a multiple of 10?
True
Let w(o) = -5*o**2 + 10*o + 10. Let n(y) = -6*y**2 + 10*y + 10. Let q(i) = 4*n(i) - 5*w(i). Is q(15) a multiple of 13?
True
Let c = 26 + -4. Let g = -12 + c. Suppose -2*r + 62 = -g. Is r a multiple of 18?
True
Suppose 0 = -6*n - 4 + 46. Is n a multiple of 2?
False
Let d = -2 + 4. Suppose -4*h - 6 = d. Is (-42)/(-9) - h/(-3) a multiple of 2?
True
Let f be 1*3/((-12)/(-388)). Suppose 4*j + 17 = f. Does 4 divide j?
True
Suppose 0 = 7*h - 4*h - 480. Is 16 a factor of h?
True
Suppose 0 = 6*i - i - 175. Let t = 3 - i. Let d = -6 - t. Does 13 divide d?
True
Let t be 0*(-3)/9*-1. Let n be t/1*1/(-1). Suppose 2*d - 3 - 19 = n. Is 3 a factor of d?
False
Let y(u) = 3*u**2 + 3*u - 5. Suppose 2*a = l - 12, -5*a - 4*l - 17 = -0*a. Does 23 divide y(a)?
False
Let n = -9 + 28. Suppose 0 = 4*h - 4*v - 12, -5*h + n = 5*v - 6. Does 12 divide (27/h)/(3/12)?
False
Is (-268)/(-6) + 3/9 + 0 a multiple of 11?
False
Let m(z) = -z**2 - 9*z - 3. Let q be m(-7). Let a = q - 22. Let r = 5 - a. Does 5 divide r?
False
Does 36 divide (-3 + 0)*-10*(-12)/(-5)?
True
Let l be -1 - -4 - 1*2. Is -2 + l/1 + 15 a multiple of 14?
True
Let d = -2 - -5. Let r(l) = l**3 - l**2 - 2*l + 4. Does 4 divide r(d)?
True
Let f = 1 - 1. Suppose f = a - 2*n - 64, -a = -4*a - n + 199. Suppose 14 = 5*p - a. Is 8 a factor of p?
True
Is 9 a factor of 96 + (4/(-1))/4?
False
Let r be 4/(-3 + 1 - -1). Does 2 divide (-13)/r - (-3)/4?
True
Suppose 0 = -7*j + 110 + 30. Suppose 0*d - d = -j. Does 10 divide d?
True
Let v = 3 - 3. Suppose v = -3*k - 9, 3*k = f + 17 - 4. Let r = 33 + f. Is 4 a factor of r?
False
Is 7 a factor of 14/3*(-15 - -24)?
True
Suppose 0 = 5*a - 16 - 9. Suppose -3*o + 109 = u, -2*o - 27 + 78 = a*u. Does 13 divide o?
False
Let b(m) = -5*m + 8. Is b(-16) a multiple of 22?
True
Suppose 0*d = -2*d + 4. Suppose -4*j = -d*j - 8. Is 4/8 - (-154)/j a multiple of 13?
True
Let m(j) = 2*j**2 + j + 6. Let i(l) = 2*l**2 + l + 6. Let r(k) = 3*i(k) - 2*m(k). Is 14 a factor of r(-5)?
False
Let n(w) = -2*w + 3. Suppose 5*j + 34 = k - 0*k, -5*j - 10 = 0. Suppose g = -2*g - k. Does 7 divide n(g)?
False
Let p(b) = b**2 - 4*b - 9. Is 13 a factor of p(10)?
False
Suppose 4*k = -k + 50. Is k even?
True
Let w(b) = -b**2 - 6*b + 2. Suppose -27 = 4*d + 4*n - n, 2*n + 10 = 0. Is 10 a factor of w(d)?
False
Suppose 2*a = -4*d + 30, 4 = -2*a + 2*d + 22. Let v = a + -7. Suppose v*s - 88 = 4*f - 16, -3*s - 2*f = -44. Is 9 a factor of s?
False
Let r(g) = 8 - 7 - 12*g**2 + 5*g - 16 + g**3. Does 14 divide r(12)?
False
Let o be 13 - 10 - (0 + 3). Let w(s) = -2*s + 3*s + 2*s**3 + 38 - s**3. Is 19 a factor of w(o)?
True
Let f(m) = m**2 + m - 18. Is 3 a factor of f(6)?
True
Let s = -76 - -150. Is s a multiple of 22?
False
Suppose 0 = 4*w - 3*w - 19. Is w a multiple of 5?
False
Suppose -1040 = -11*y + 6*y. Is y a multiple of 52?
True
Let h = -15 - -17. Suppose h*v = -8 + 38. Does 5 divide v?
True
Suppose -l - 3*k = -11, 3*l - 3*k = -2*l - 35. Is 25 a factor of 2/l*-8*11?
False
Let a(j) = -j - 3. Let s be a(-5). Let f(q) = 3*q**s + 3*q + 3*q**2 + 0*q - 4*q - 3. Is f(3) a multiple of 24?
True
Let s be 4/6 + 13/3. Suppose m = s*m + 12. Let j = m - -19. Does 8 divide j?
True
Let p(j) = j - 1. Let z be p(2). Let g be (z - -24) + (-3 - -2). Let o = g - 14. Does 5 divide o?
True
Suppose -5*n = -4*n + 4*f + 9, -2*n = -f - 9. Let k = n + 15. Is 12 a factor of k?
False
Suppose -6*g = -74 - 58. Is 6 a factor of g?
False
Let w(o) = 5*o + 10. Is 20 a factor of w(4)?
False
Let l(f) = -f**3 + 11*f**2 + 17*f - 17. Let r be l(12). Let y = 71 - r. Is 20 a factor of y?
False
Let u(d) be the third derivative of -d**6/12 + d**5/20 + d**4/6 + 5*d**3/6 - 10*d**2. Is u(-2) a multiple of 19?
False
Suppose r = 3*s + 15 + 44, 5*r = s + 281. Suppose -10 = -x + r. Is x a multiple of 24?
False
Suppose 6*f - 1632 = -540. Is 13 a factor of f?
True
Let v be 24/(-3 - (-9)/6). Let a = v + 21. Does 2 divide a?
False
Let o = 36 - 28. Suppose p - 3*t - 49 = -o, 15 = 3*t. Is p a multiple of 14?
True
Is 24 a factor of 2/(-7) - 3370/(-35)?
True
Let x(c) = c**3 - 3*c**2 + 4*c - 1. Let w be x(4). Let u = w + -7. Is u a multiple of 8?
True
Suppose -c + 0 = -13. Suppose 5*o = -c - 2, -2*o = 4*j - 2. Suppose -7*z + j*z = -5*t - 35, 0 = 4*t + 8. Is z a multiple of 4?
False
Suppose 2*n + o - 13 = 0, -n - 10 = -6*o + o. Suppose -n*v - 3*i + 336 = 0, -3*v + 2*i = -0*i - 194. Does 25 divide v?
False
Let g(w) = 7*w**2 + 2*w - 1. Is g(1) a multiple of 2?
True
Let j = 4 + 0. Let y(c) = 4*c**2 - 4*c - 6. Does 9 divide y(j)?
False
Suppose 6*k - 293 = -101. Let b = k + -4. Is b a multiple of 5?
False
Is 5 a factor of (-2)/7 - 576/(-56)?
True
Suppose 3*o = -0*o + 21. Suppose 4*y + p = 19, -y + 0*p - p = -o. Is y even?
True
Let a = 9 - 4. Suppose 8 = -c - c, -y + 76 = -a*c. Does 21 divide y?
False
Suppose 4 = -c, m - 3*c - 35 = -0*c. Is 11 a factor of m?
False
Let z(u) = -11*u**3 + u. Let h be z(-1). Suppose 3*r - t = 13, 0*r - 4*t = 2*r + h. Suppose 88 = r*v - 35. Is 15 a factor of v?
False
Suppose 5*g = 140 + 285. Is 14 a factor of g?
False
Let w = -7 - -5. Does 9 divide w + (3 - 2) - -28?
True
Let u(a) = 2*a**2 + 19*a + 18. Let x be u(-13). Suppose -2*f - x = -3*p, f - 94 = -2*p - p. Does 8 divide p?
False
Suppose 0 = 4*u - 3*u - 4. Suppose -u*x + l + 38 + 62 = 0, 0 = 4*x + 2*l - 100. Does 5 divide x?
True
Suppose -98 - 22 = -4*t. Is 5 a factor of t?
True
Suppose 12 = -3*c - 3*p, 2*p = -0*c - 5*c - 20. Does 4 divide c/(-4 + 3) - -9?
False
Let q(n) = n + 1. Let x be -2 + 1/1 + 1. Suppose x = 3*m - 4 - 5. Is 2 a factor of q(m)?
True
Let x(j) = -3*j - 3*j - 4*j - j**2. Is 7 a factor of x(-9)?
False
Is 4 a factor of (-50)/(-20)*(-172)/10*-1?
False
Let d be 3*(2/(-3) + -1). Let a(j) = 4*j**2 + 12*j + 2. Let z be a(-3). Is (-58)/(-2) - (d + z) a multiple of 16?
True
Let z = 8 + -6. Let k be z/4*6 - 1. Suppose 0 = -k*u - n - 5 + 41, 5*u - 3*n = 112. Does 6 divide u?
False
Let g be ((-61)/(-3))/((-1)/3). Let u = 37 - g. Suppose 4*d - 38 = u. Is 15 a factor of d?
False
Suppose 4*u + 53 - 148 = -3*m, -2*m + 45 = -u. Is 5 a factor of m?
True
Let i = -48 + 70. Let x = i - 14. Does 2 divide x?
True
Let b = 8 + 20. Suppose 14 - 2 = 2*r + l, 3*r + 4*l = b. Is 3 a factor of r?
False
Suppose -2*s + j = -160, -4*j = -s + 5*s - 296. Does 28 divide s?
False
Let t be ((-26)/10 - -2)*-5. Does 13 divide (26/t)/(2/6)?
True
Suppose 0 = 3*c - 55 - 20. Suppose -6*t = -t - c. Suppose -2*i - 46 = -3*f, t*i + 37 = -f + 2*f. Is 5 a factor of f?
False
Let c = 553 - 295. Does 18 divide c?
False
Suppose 0 = 5*m - 3*s - 414, 2*m - 5*s + 3*s = 164. Is m a multiple of 21?
True
Let q(g