 Let b be 26/x*(-1)/(-1). Does 13 divide (-1)/((-1)/b)*1?
True
Suppose 3*y - p = 127, -2*y + 43 = -y - p. Is y a multiple of 30?
False
Does 9 divide (-2 - (-23)/4)*24?
True
Let q = 116 + -80. Does 9 divide q?
True
Suppose -2*w = -144 + 34. Is 19 a factor of w?
False
Let f(l) = 18*l**2 - 4*l - 9. Is 45 a factor of f(-4)?
False
Let l = 12 + 10. Is l a multiple of 12?
False
Let b(v) = v + 29. Let x be (4/1 + -4)*1. Does 29 divide b(x)?
True
Let s(k) = -k - 1. Let n be s(-5). Suppose n*z + z - 150 = 0. Is z a multiple of 12?
False
Let z(l) = 2*l**2 + 10*l. Let f(c) = -c**2 - 6*c - 2. Let j be f(-5). Let v be 0/(-3) + j - 10. Is z(v) a multiple of 14?
True
Let u = 16 - -101. Does 13 divide u?
True
Let t = 118 + -12. Does 4 divide t?
False
Suppose 428 = 4*q - 12. Is 22 a factor of q?
True
Suppose -3*k = -3*b + k + 96, 5*b - 160 = -4*k. Is 8 a factor of b?
True
Suppose -5*u + 16 = 3*s, 3*u + 4*s + 2 - 16 = 0. Suppose u*o + 2 = 12. Suppose -2*v = -o*v + 18. Does 3 divide v?
True
Let p be (2/4)/((-4)/48). Let a = p - -26. Suppose 2*l = t - a, t + 0*l - 18 = l. Does 12 divide t?
False
Let m = -260 - -460. Is m a multiple of 35?
False
Suppose 5*v = 3*r + 662, -5*r = -2*v + 131 + 149. Is 10 a factor of v?
True
Let s = -1 - -3. Let i = 2 - s. Let v = 20 + i. Is 13 a factor of v?
False
Let m be (9/(-6) - -2)*-12. Let u be m/15*(1 - 11). Suppose -3*x = -u*x + 9. Does 8 divide x?
False
Let u be (-2766)/(-24) + 6/8. Suppose 3*c - 5*c + u = 0. Does 19 divide c?
False
Let i(y) = -2*y**2 - 4*y + 1. Let a be i(-3). Let l(p) = -7*p - 3. Is 13 a factor of l(a)?
False
Let t(l) = 26*l + 6. Let k be t(6). Let a be (k/(-6))/((-3)/4). Suppose -2*o - o + a = 0. Is 6 a factor of o?
True
Suppose -2*m = -65 + 15. Does 10 divide m?
False
Let z = 7 - 2. Suppose 3*m + 150 = -0*u + z*u, 3*m = 2*u - 60. Is u a multiple of 15?
True
Suppose -w + 3*p = 7*p - 49, -3*p = w - 48. Is 19 a factor of w?
False
Let n = -52 - -88. Is n a multiple of 12?
True
Suppose 0 = -5*h + 20, 0 = 3*l - 6*h + 3*h - 648. Is l a multiple of 19?
False
Let z(s) = -s**3 + 8*s**2 + 3*s - 8. Is 24 a factor of z(-4)?
False
Suppose -609 = -8*o - 57. Is 12 a factor of o?
False
Let u(l) = -2*l + 6*l**3 + 0*l**2 + 6*l**2 + 8 - 5*l**3. Is u(-6) a multiple of 20?
True
Let t(h) = h**2 - 5*h + 4. Suppose -v + 5*f + 10 = 0, 0 = 5*v + 2*f - 0*f - 50. Suppose -4*s + 3*q + 16 = 0, -32 = -2*s - 2*q - v. Is t(s) a multiple of 6?
True
Let o(t) = t**2 - 3*t - 3. Let s be o(3). Does 4 divide s/6*6 - -12?
False
Let r be (4 + -3)/(-2 + 3). Let i = r + 33. Does 21 divide i?
False
Let m(w) = -w**2 - 7*w - 3. Let x be m(-6). Suppose 3*k = -q - q + 104, -99 = -x*k + 3*q. Does 14 divide k?
False
Let g(h) = -h**3 - h**2 + 2*h - 5. Is 26 a factor of g(-6)?
False
Suppose -b = 4*v, 5*b - 5*v - 63 = 62. Is b a multiple of 10?
True
Suppose 5*s - 2 = 8. Is 7 a factor of s/(4 + -2)*7?
True
Is 7 a factor of 1 - 10*-17 - 3?
True
Suppose 3*f - 10 = -49. Let g = -9 - f. Suppose -g*x - 18 = -6*x. Does 4 divide x?
False
Let w = 2 + -1. Let g = 9 + w. Does 5 divide g?
True
Suppose m = 4 + 1, 5*n + m + 25 = 0. Let y = -3 - n. Let u(t) = 6*t + 4. Does 11 divide u(y)?
True
Let a(q) = -3*q**2 - 3*q + 2. Suppose -4*w + w - 2*k + 6 = 0, 4*w + 2*k - 8 = 0. Let o be a(w). Let z = o - -34. Is z a multiple of 10?
False
Let b be -1 + -1*(-5 - -2). Suppose 0 = -4*n + 3*n - b. Is 8 a factor of n/(-6) - 88/(-6)?
False
Suppose 0 = 4*g + 3*y - 35, -g - 2*y + 6 = -9. Suppose i = -2*i. Suppose -g*p + n + 17 + 6 = i, -5*p = 3*n - 31. Does 3 divide p?
False
Let i(n) = 50*n + 4. Does 11 divide i(2)?
False
Let b = -22 + 25. Suppose 2*i + b*c = -i + 195, 2*i = -c + 134. Does 10 divide i?
False
Suppose 4*x - 3*y - 162 = 0, 3*x + 2*x - 208 = y. Suppose -x = -s + 4. Is 16 a factor of s?
False
Suppose -2*k = 8*d - 7*d - 178, -2*k = -3*d + 502. Does 10 divide d?
True
Is (-2 - -33)*10/5 a multiple of 31?
True
Is 4 a factor of (1 - (-8)/4) + 25?
True
Is 4/(-3)*(-4 + -80) a multiple of 14?
True
Suppose 0 = -3*i + 5*i. Let x = i + -2. Is 11 a factor of -3*(15/(-9) + x)?
True
Let n(r) = 1. Let p(a) = 13*a**3 - 2*a**2 - a - 6. Let b(q) = -6*n(q) - p(q). Is b(-1) a multiple of 14?
True
Let n be 0/(2/(0 + 2)*1). Let s = 1 - -1. Suppose n*r = r - s. Does 2 divide r?
True
Let r(h) be the third derivative of h**5/60 + h**4/8 + h**3/3 - 2*h**2. Let o be r(-2). Suppose o = q + 5 - 22. Does 14 divide q?
False
Suppose 0 = -a + 3*y + 2, -4*a + 7*a - y - 6 = 0. Suppose a*r + 3*r = 55. Does 4 divide r?
False
Suppose -5*a + 93 = 8. Suppose 0 = n - 4*y + a, -5*n = -6*y + y + 10. Suppose -n*u + 9 + 21 = 0. Is 5 a factor of u?
True
Suppose -4*z + 3*m = 24, 0 = -6*z + 2*z - m - 8. Let g be (6/z)/(0 + 2). Does 13 divide 3*g*(-78)/6?
True
Let f(b) = 6*b - 5. Suppose -3*w - i + 6 = -14, 0 = -4*w + 4*i + 16. Is f(w) a multiple of 23?
False
Suppose p + 6*p = 0. Suppose 2*h - 7*v = -3*v - 40, 2*v + 40 = -2*h. Does 3 divide (p + (-4)/10)*h?
False
Let f = -10 - -45. Let a = 74 - f. Is 24 a factor of a?
False
Suppose 5*r - 45 = -2*x + 3*x, 0 = 5*r + 3*x - 25. Is r even?
True
Let w = 236 - 123. Let n = w + -67. Is n a multiple of 12?
False
Let v(l) = -2*l + 6. Let a be v(5). Is 4 a factor of (42/a)/((-15)/20)?
False
Suppose -3*y + 0 = -21. Suppose y*v - 3*v = 92. Is 23 a factor of v?
True
Suppose 0 = 5*p - 65 - 80. Suppose 2*s - p = d, 0*s - 2*s - d = -19. Is s a multiple of 6?
True
Let t(u) = -u**2 + 10 + u**2 - 3*u**2 + 4*u**2 + 18*u. Let p be t(-12). Let j = -22 - p. Does 11 divide j?
False
Suppose -6*n + 6 = -3*n. Let t be 60/n + (-1 - 1). Let s = -15 + t. Is 13 a factor of s?
True
Suppose a + 279 = 5*k, 4*a - 2*a + 166 = 3*k. Does 14 divide k?
True
Let j(z) = 2*z**3 + z**2 + 4*z - 1. Is 37 a factor of j(3)?
True
Let w(d) = -1 + 1 + 2*d + 0*d. Is w(5) a multiple of 10?
True
Suppose -2*a = a - 6. Is 12 a factor of 497/35 - a/10?
False
Suppose 4*p - 2 + 29 = 5*l, -2*l = -3*p - 15. Suppose 5*j + l = -4*y, -5*j - 17 = -3*y + 7. Is y a multiple of 3?
True
Let c(u) = u**3 + 7*u**2 - 11*u - 4. Suppose a = -12 - 5. Let b = 9 + a. Is 15 a factor of c(b)?
False
Suppose -2*a + 15 = 3*a. Suppose 2*b + a*p + 1 = -4, b - 11 = 3*p. Suppose 2*x = -2*l + 48, b*x + 4*l = -20 + 78. Is x a multiple of 7?
False
Suppose -24 = -3*p + 264. Suppose -d + p = 2*d. Does 12 divide d?
False
Let b be (-1)/(-1) + 1*3. Suppose -13 = b*f - 1. Is 3/1*(-8)/f a multiple of 7?
False
Suppose -5*r = -13 - 47. Let y be 3*((-40)/6 + 4). Let i = y + r. Does 3 divide i?
False
Suppose 29*n - 30*n = -6. Is n even?
True
Let l = 33 + 11. Is l a multiple of 11?
True
Let b(d) = -d**2 - 2*d + 295. Does 28 divide b(0)?
False
Let c(w) be the second derivative of w**4/4 + w**3/3 + 4*w. Let x be (-2)/(-5) + (-16)/(-10). Does 8 divide c(x)?
True
Let c be (30/(-20))/((-3)/(-4)). Let k = 9 + c. Is k a multiple of 4?
False
Let m(p) be the second derivative of p**4/12 - 2*p**3/3 - 3*p**2/2 + 2*p. Let c be m(3). Does 7 divide 2/((-1)/(21/c))?
True
Let n(k) = -k**2 + 7*k + 5. Let s(g) = g**2 - 10*g. Let r(p) = -1. Let x(w) = 3*r(w) - s(w). Let q be x(9). Is 11 a factor of n(q)?
True
Let v(c) = c**3 + 3*c**2 - 5*c - 4. Let i be v(-4). Suppose 2*h + i*n = 4*n + 82, -47 = -h + 4*n. Does 16 divide h?
False
Suppose 4*k = 2*k. Suppose k = 4*d - 49 + 13. Is 9 a factor of d?
True
Let b be 27/(-2)*18/(-27). Suppose i = b - 2. Is 5 a factor of i?
False
Is 6 a factor of (10 - (-2 - 1)) + 1?
False
Let d = 6 - 6. Let c = d - -18. Does 9 divide c?
True
Let u(l) = -3*l**3 + l**2 + l - 1. Let a be u(1). Let g(w) = w**2 + 1. Let b be g(1). Is (b/a)/(2/(-10)) a multiple of 2?
False
Suppose 5*n - 176 = 49. Does 5 divide n?
True
Suppose l = 4*a + 4*l - 176, 8 = -2*l. Suppose -5*w - 63 = -2*c, 3*w + 44 + a = 4*c. Is c a multiple of 7?
False
Is (0 + 0 - 1)/(2/(-76)) a multiple of 7?
False
Suppose 4*z - u = -4*u + 67, 0 = -z - 2*u + 18. Suppose 2*h + 136 = 4*o, -3*o + 4*o = 5*h + z. Is o a multiple of 12?
True
Let d be 8/2 + (-2 - -3). Suppose -d*y + 2*y + 207 = 0. Does 20 divide y?
False
Let b(f) be the second derivative of f**4/12 + 3*f**3/2 - 3*f**2 + 2*f. Is 18 a factor of b(-12)?
False
Suppose 4*q - 182 = 2*q. Suppose j - 48 = -0*x - 3*x, -5*x + q = -2*j. Does 6 divide x?
False
Let t = -4 - 1. Let b(s) = -s**3 - 3*s**2 + 6*s - 7. Is b(t) a multiple of 5?
False
Let q be 4/(8/98) -