3*q**2 - 6*q - 2. Let l(t) = 2*j(t) - 7*y(t). Let m be l(-5). Is 13 a factor of (2 + -9 - -3)*m?
False
Let y = 18 - 25. Let p = y - -25. Is 6 a factor of p?
True
Let k be 25/20 + 2/(-8). Suppose 2*o + k = -b - 0*o, 5*o = -2*b - 5. Suppose -26 + 76 = b*y. Does 8 divide y?
False
Suppose -12 = c - 2*c + 4*p, -2*c - 3*p = -79. Is c even?
True
Suppose l + 5*h = -7, 4*h = -3*l - 21 - 0. Let j = l + 11. Does 4 divide j?
True
Suppose 245 = 3*n + 2*n. Suppose -43 = -4*c + n. Is c a multiple of 8?
False
Suppose j + 8*r - 4*r + 23 = 0, 3*r = 0. Let k = 1 - j. Does 6 divide k?
True
Suppose -f + 2 = -2. Suppose f*z = -4, 0*x - 3*x + 123 = -3*z. Is 17 a factor of x?
False
Let t(l) = 3*l**2 - 11*l - 35. Is 40 a factor of t(-6)?
False
Let f(w) = -w + 181. Does 43 divide f(0)?
False
Suppose 8*j - 282 = 158. Is j a multiple of 3?
False
Suppose m = 3*w - 10, -2*m - 2*w + 5*w - 35 = 0. Let h = m + 37. Is h a multiple of 12?
True
Let y = 27 - -25. Is 15 a factor of (-4 - 6/(-2)) + y?
False
Suppose 0 = 4*c - s - 42, -c - 4*s - 3 + 22 = 0. Let d = 18 - c. Let b(i) = -i**3 + 7*i**2 + i. Is 2 a factor of b(d)?
False
Does 7 divide (-10)/(-1)*14/4?
True
Suppose 3 = -5*f + 28. Let u(x) be the second derivative of x**5/20 - x**4/3 - x**3/6 + x**2 + 5*x. Is 11 a factor of u(f)?
True
Let n(g) = -g**2 - 3*g + 3. Let t be n(-3). Let q(k) = t*k**2 - k**2 + 7 - 2*k + 2*k**2 - 3*k**2. Is 11 a factor of q(5)?
True
Let r = -31 - -34. Let k(b) = 22*b - 4. Let i be k(3). Suppose -r*w + w + i = 4*y, -w = y - 27. Is w a multiple of 16?
False
Suppose -3*q - q + 5*a + 3 = 0, -3 = 4*q - 3*a. Let b(d) = 5*d - 3. Let c be b(q). Is ((-80)/(-12))/((-4)/c) a multiple of 15?
True
Suppose 5*m + k = 6*k + 385, 0 = -4*m - 5*k + 299. Does 7 divide m?
False
Let z(w) = w**3 - 11*w**2 + 3*w - 13. Let o be (-128)/(-12) - 1/(-3). Let p be z(o). Suppose 2*y - 3*y + p = 0. Is y a multiple of 7?
False
Let g = -153 - -1. Is 17 a factor of (-4)/(-12) + g/(-3)?
True
Let b be 1*-3*(-2)/6. Let y be 10/4*(b - 3). Is 5 a factor of (1 + 0)/((-1)/y)?
True
Let l be 5/((-15)/6)*-1. Let b be (3 + 0)/(2/34). Suppose l*y - 3*w = b, -29 = -3*y - 4*w + 5. Is 18 a factor of y?
True
Suppose 0 = -10*n + 3219 + 191. Does 54 divide n?
False
Let m = 10 + -12. Does 17 divide (m/(-2))/(7/259)?
False
Let x be (42/(-9))/(4/(-72)). Suppose -n - x = -5*n. Does 7 divide n?
True
Let c(m) = 23*m + 3. Let v(l) = l**3 + 4*l**2 + 2*l - 2. Let o be v(-2). Let u(x) = 24*x + 4. Let t(i) = o*u(i) - 3*c(i). Does 10 divide t(-1)?
True
Suppose 3*x - 501 = -5*d, -x = 2*x - 5*d - 471. Is 27 a factor of x?
True
Let o = 5 + -25. Let h = 36 + o. Is 5 a factor of -2 - -4 - h/(-2)?
True
Let w be 5*7/(70/36). Suppose 5*a = w - 3. Is 3 a factor of a?
True
Let c be 1/(2 - 9/6). Suppose 2*b + 1 - 5 = 0. Suppose -b*k = c*k - 28. Is 7 a factor of k?
True
Let s = 4 - 1. Let g(r) = -r**3 - 7*r**2 + 6*r + 9. Let v be g(-8). Let m = v + s. Does 13 divide m?
False
Let k be 9/5*(4 - -1). Let w = -5 + k. Does 4 divide w?
True
Let i = -52 + 88. Does 4 divide i?
True
Let d(z) be the second derivative of 3*z**3/2 + 7*z**2/2 + 3*z. Is d(5) a multiple of 14?
False
Suppose -14*i + 1337 = -2149. Is i a multiple of 53?
False
Suppose 3*i - l = 2, 0*i + 6 = -3*i + 3*l. Suppose -8*a + 65 = -4*a - 3*q, 0 = i*a + 4*q - 16. Does 5 divide a?
False
Does 5 divide 3 - -22 - (-1 + (2 - -3))?
False
Suppose 5*i + 4*u - 62 - 4 = 0, 58 = 5*i + 2*u. Is i a multiple of 5?
True
Is 5 a factor of (9/(-3) + 7)*4?
False
Let t(f) = -2*f**3 - 2*f**2 + 2*f + 1. Let x be t(-2). Let z(p) = 5*p - 7. Is 5 a factor of z(x)?
False
Let l(s) = 5*s**2 + s + 1. Is 12 a factor of l(2)?
False
Suppose -5*p + 100 = -2*t, 4*p + 0*p = -t + 80. Is 4 a factor of p?
True
Is 11 a factor of 88*((-10)/(-4) - 2)?
True
Let d(b) = b - 1. Let x be d(-3). Let h(z) = z + 4. Let t be h(x). Let c(p) = p**2 + p + 6. Is c(t) a multiple of 6?
True
Suppose 0 = -x + 6*x - 400. Is x a multiple of 40?
True
Let t(w) = 66*w + 1. Let u be t(1). Suppose -2*h = j - u, -4*h + 98 = -h + 2*j. Is 12 a factor of h?
True
Let u(x) = 5*x**2 + 3*x + 4. Suppose 4*l + 8 = 2*l. Let w be u(l). Suppose -h + 3*h = w. Does 15 divide h?
False
Does 4 divide (1/(-3))/((-1)/(144/3))?
True
Let c(a) = -a + 2*a**2 - a + 0*a**2. Let i = 5 - 3. Is 4 a factor of c(i)?
True
Let n = -103 + 109. Let z(t) = -1 + t**2 + t**2 - 7*t - 2. Does 12 divide z(n)?
False
Let w = -6 - -12. Let v be (4/w)/((-1)/(-9)). Suppose -3*c - 15 = -v*c. Is 2 a factor of c?
False
Suppose 5*k = -107 - 68. Is 13 a factor of 1/(-5) + (-812)/k?
False
Let g(u) = 12*u**2 - 12. Does 48 divide g(-5)?
True
Suppose 20*p - 816 - 144 = 0. Is 4 a factor of p?
True
Let u(h) = 2*h - 2. Let j be u(3). Suppose -3*i - j*r - 4 + 3 = 0, 4*i + 4*r = 4. Is i a multiple of 3?
False
Let b = 25 - 39. Let r be 18/b - (-14)/49. Is 3 a factor of (-1)/(2/6*r)?
True
Suppose 12 = 5*l - 2*f, 4*f + 10 = -3*l + 6*l. Let v be -4 + 4 + l*1. Suppose -2*k = v*w + k - 39, -5*k = 5*w - 95. Is w a multiple of 18?
True
Let s = 14 + 4. Is 15 a factor of s?
False
Suppose -42*b + 46*b - 780 = 0. Is b a multiple of 13?
True
Suppose 0 = -g - g + 104. Suppose -4*k = 3*o + g, k + 2*o + 18 = -0*k. Is 12 a factor of 0 - (k + 3 + -6)?
False
Let y = -3 - -4. Let z = 15 + y. Does 8 divide z?
True
Suppose 4*i + 5*z = 253 - 67, 3*i + z - 134 = 0. Is 14 a factor of i?
False
Let b(p) = -2*p + 4 + p**2 + 11 + 3*p. Let q be b(0). Suppose -3*n + q = -27. Is n a multiple of 14?
True
Let t(p) = -p**2 + 6*p + 7. Suppose 2*u = -u + 21. Let f be t(u). Suppose d + f*y - 32 = 3*y, 4*d + y - 76 = 0. Is d a multiple of 7?
False
Suppose 16 = 3*b - 4*c - 4, 4*b = 5*c + 26. Suppose 0 = b*r + r - 15. Does 6 divide (r + -5)/(2/(-8))?
False
Suppose 0 = 5*b - 50 - 190. Is b a multiple of 12?
True
Let p = 55 - 21. Is 10 a factor of p?
False
Suppose r = 5*v - 0*v + 3, 2*v = 5*r + 8. Let t = 2 + r. Suppose 2*d + 2*x = 7*x + 24, -d - 5*x + 42 = t. Is 11 a factor of d?
True
Suppose c + 756 = 4*a, 422 = 3*a + 2*c - 145. Is 30 a factor of a?
False
Let s(t) = t**3 - 13*t**2 + 17*t - 1. Is 13 a factor of s(12)?
False
Does 3 divide 1/(1 + (180/(-64))/3)?
False
Let a = -110 + 222. Suppose -2*c - a = -4*c. Is c a multiple of 11?
False
Suppose -8 = -5*m + 12. Suppose -84 = -3*w - m*c, 0 = -4*w + 4*c + 31 + 53. Is w a multiple of 24?
True
Let w be 8/4*(-1 - -11). Let p be ((-4)/(-5))/((-1)/w). Let l = p - -27. Is 11 a factor of l?
True
Suppose -j - 9 = -4*j. Suppose 16 = -j*w - 11. Does 4 divide (w/6)/((-2)/16)?
True
Suppose -5*m = -48 - 127. Let k = 6 - -7. Suppose -r + m = k. Does 8 divide r?
False
Suppose -2*j = -4*q - 6 - 0, -4*j + 26 = -q. Is j a multiple of 4?
False
Let l = -41 + 59. Is 3 a factor of l?
True
Suppose 0 = 3*n - 4*n - s + 2, 3*n + s - 8 = 0. Suppose 3*r - 40 = -4*h + 41, -n*h = -r - 51. Is h a multiple of 12?
False
Let j(d) be the first derivative of -d**4/12 + 2*d**3 - 13*d**2/2 - 2*d - 1. Let n(u) be the first derivative of j(u). Does 7 divide n(10)?
True
Let l = 32 - 20. Suppose 0*a + l = 4*a. Does 3 divide a?
True
Let u(p) = 3*p - 15. Is 5 a factor of u(9)?
False
Let n(r) = 10*r - 5. Is 3 a factor of n(2)?
True
Suppose 0 = 2*x - 7*x + 600. Is 10 a factor of x?
True
Let n = -60 + 133. Is 13 a factor of n?
False
Suppose -24 = -7*f + 3*f. Let q be (f/5)/((-6)/20). Let w = 26 - q. Is 10 a factor of w?
True
Let w = -76 - -158. Is 19 a factor of w?
False
Suppose 3*a + 150 = 3*y, 0 = -5*y + a - 3*a + 257. Does 17 divide y?
True
Suppose 19 = 4*v - 93. Let l = v - 7. Does 7 divide l?
True
Let p be (3 - -1)*(-1 + -1). Is p*(0 + -1) + 1 a multiple of 9?
True
Suppose 5*p - 5*g = -175, -2*p - 4*g = -p + 40. Let n = p - -63. Does 8 divide n?
False
Suppose 0 = 4*b - 14 - 6. Is b a multiple of 3?
False
Let u(o) = 13*o**2 - 3*o + 8. Is u(-3) a multiple of 9?
False
Is 243/6*4/3 a multiple of 18?
True
Is -9 + 142 - 0/1 a multiple of 17?
False
Let p(t) = t**3 - t**2 - 7*t + 2. Let u be p(5). Suppose -u = -4*b + 65. Is b a multiple of 16?
False
Suppose -4*z + 1 + 19 = 0. Suppose 0*v - 4*f + 2 = -v, z*v = 5*f - 10. Is 3 a factor of (v/(-3))/((-2)/(-9))?
True
Let a = 353 - 224. Is a a multiple of 22?
False
Let q = 15 - -21. Suppose 2*x + n = 4*x + 45, -4*x - 4*n = 72. Let r = x + q. Is 13 a factor of r?
False
Suppose -11*t + 15*t = 0. Is -4*(-14 + -3) - t a multiple of 17?
