
True
Suppose -3*l - 4*n = 2, n - 2 = -2*l - 0*l. Suppose 0 = u + 1, i = -2*u + 4 - l. Is 2 a factor of i?
True
Suppose 4*z - 768 = -0*z. Is z a multiple of 32?
True
Let u(w) = -w**2 + w + 8. Suppose -5*p = -p. Is u(p) a multiple of 4?
True
Let r(x) = -x + 4. Let i be r(4). Suppose 440 = -i*u + 5*u. Is 9 a factor of (u/(-10))/(8/(-20))?
False
Let z be (2 - 5) + -1*2. Let t = 5 + z. Suppose -2*i = -6 - t. Does 2 divide i?
False
Suppose 3*y - 4 = 4*q, -5*q + 26 = y + 3*y. Suppose -3*h = 5*p + h - 300, 4*h = y*p - 204. Is 14 a factor of p?
True
Suppose 9 = -w + 5*l + 39, -5*l = 2*w - 45. Let y = -65 + 94. Suppose y = 2*b - w. Is b a multiple of 12?
False
Let r = 6 + -3. Suppose -d + 0*d + 6 = 0. Is 21 a factor of (r/d)/((-1)/(-100))?
False
Let j(t) be the second derivative of t**3/2 - 2*t**2 - 2*t. Let w be j(4). Let d = w + -2. Is 3 a factor of d?
True
Let x(f) = 0 - f + 1 + 2*f. Let c be x(1). Suppose -c*n + 22 + 20 = 0. Is 8 a factor of n?
False
Suppose -4*h = -3*y + 131, 5*y + 125 = -5*h + y. Let k = h - -104. Does 25 divide k?
True
Let n = -52 - -121. Is n a multiple of 10?
False
Let t be 40/(-6) - (-3)/(-9). Let h = -6 - t. Suppose -u + 11 = -h. Does 12 divide u?
True
Is 8 a factor of (-6)/60*4 + 722/5?
True
Let f be (5/2)/(3/(-6)). Suppose s - 2 = -1. Is f - -3 - (-28)/s a multiple of 14?
False
Let y(s) = -s**3 + 3*s**2 + s. Suppose 3*f + 2*f + 13 = -p, -4*p = -8. Let t be f - (-2)/4*10. Does 3 divide y(t)?
True
Suppose -7*a + 236 - 54 = 0. Is a a multiple of 7?
False
Let k = 82 + -33. Does 12 divide k?
False
Suppose -55 - 7 = h. Does 19 divide h/6*-1*6?
False
Suppose 0 = f + 2*a + 6, -4*a = -f - 3*f. Let b = -20 - -6. Is 16 a factor of 1*f*b - 2?
False
Suppose -4*a - 12 - 14 = 2*d, 0 = 4*a + 20. Let g be -8 - -40 - (-1 - -1). Is g - 1 - (0 - d) a multiple of 28?
True
Let v(w) = 3*w**2 - w - 3. Let d be v(4). Let k be ((-2)/(-1))/(2/45). Suppose d = 5*u + c, u - 5*c = 6*u - k. Is u a multiple of 4?
True
Let d = 35 + -22. Does 13 divide d?
True
Let a be (-2 - (-2 - -1))*36. Does 3 divide (-14)/4*a/21?
True
Let f = 18 - -23. Does 26 divide f?
False
Suppose -14 = -2*r + s + 38, 0 = r + 3*s - 12. Does 5 divide r?
False
Let u = 53 - 17. Is 12 a factor of u?
True
Suppose 4*y = m + 2, -4*m + 15 = 5*y + 2. Let x be (m*-1)/((-3)/(-24)). Is (-2)/(-8) + (-156)/x a multiple of 4?
False
Suppose -3*p + 2 = -4*l - 2, -3*l - p + 10 = 0. Let s be (-5)/l*(-2)/1. Suppose 58 + 37 = s*z. Is 19 a factor of z?
True
Let d(y) = -y**3 - 3*y**2 + 8*y + 3. Let w(c) = 2*c**3 + 7*c**2 - 16*c - 6. Let t(s) = 13*d(s) + 6*w(s). Let g be t(6). Let p = -40 - g. Is p a multiple of 6?
False
Let y be (-36)/(-4)*4/6. Let q be (3/y)/(1/40). Suppose 171 = 7*z - 2*z + 4*x, 0 = 5*x - q. Is z a multiple of 13?
False
Suppose -5 - 1 = -3*j. Suppose -5*b + j = -4*i, -9 = 3*i - 0*i. Does 5 divide (0 - 15)*b/6?
True
Let x = -31 + 43. Is 12 a factor of x?
True
Let g be 4*4/(32/34). Suppose -5*f + g = -28. Does 9 divide f?
True
Let x(g) be the third derivative of -g**5/60 - 5*g**4/12 + 5*g**3/6 - 2*g**2. Is x(-10) a multiple of 5?
True
Let w(j) = -4*j**2 - 6*j + 3. Let d(f) = 12*f**2 + 18*f - 9. Let x(p) = -2*d(p) - 7*w(p). Does 8 divide x(2)?
False
Suppose -4*h = -2*g - h - 3, -g = 4*h - 15. Suppose -4 = -u + 3*q, -g*u = u - 2*q - 36. Is u a multiple of 3?
False
Suppose -2*t - 7 + 1 = 0, 5*u - 212 = 4*t. Is 10 a factor of u?
True
Let i(p) = p**3 - 6*p**2 - 6*p - 4. Let o be i(7). Suppose -o*s = 2*l - 2, 0 = s - 0*s - 2. Let k = 29 + l. Is k a multiple of 10?
False
Let c be (-3*2/(-3))/1. Suppose 82 = 4*r - c*k, -3*k - 24 - 36 = -3*r. Does 9 divide r?
False
Let u(k) = -k**2 - 5*k - 3. Let n = -7 - -4. Is u(n) a multiple of 3?
True
Let m = 6 + -8. Let t be (-185)/(-3) - m/6. Is (-1)/((-2)/t) + -1 a multiple of 15?
True
Let u(w) = w**2 - w - 2. Is 38 a factor of u(-6)?
False
Let o = -5 - -8. Suppose 4*f = o + 33. Is 3/(f/(-60)*-2) a multiple of 5?
True
Let w = -148 - -218. Does 5 divide w?
True
Let j(b) = -b**3 + 18*b**2 - 30*b - 17. Does 15 divide j(16)?
True
Let z be (-4)/(-14) - 36/(-21). Suppose -i + 18 = z*i. Is 6 a factor of i?
True
Let m = 62 + -92. Let o = -16 - m. Let c = o - 6. Is c a multiple of 4?
True
Does 16 divide (-47 + 7 + -3)/(-1)?
False
Let n = -16 - -32. Does 14 divide n?
False
Let y(d) = -181*d. Let s be y(-1). Suppose -2*a + s = 63. Is a a multiple of 18?
False
Suppose 160 = -7*n + 2*n. Let a = 47 + n. Does 15 divide a?
True
Suppose 2*y + 33 = o - 33, -o = 4*y - 72. Let h = o - 13. Is 23 a factor of h?
False
Suppose -6*t = -t - 90. Is 6 a factor of t?
True
Suppose -i - 2*i = 0. Let w = 39 + i. Is 13 a factor of w?
True
Suppose 3*t - 3 = -5*c + 10, -2*c - 10 = 5*t. Suppose 108 = c*y - 132. Does 13 divide y?
False
Let i = 9 + -6. Suppose -i*a = x + x - 41, 9 = 3*a. Is x a multiple of 8?
True
Let i = -112 + 73. Let z be (i/21 + 1)*-7. Suppose -z + 70 = 4*v. Is 7 a factor of v?
False
Suppose 2*c + 4*y - 27 - 5 = 0, -4*c + 5*y + 25 = 0. Does 2 divide c?
True
Suppose -2*z + 3*q - 9 = 0, -4*q - 1 = 5*z + 10. Let s(v) = -v**2 - 8*v - 4. Let m be s(z). Let h = 18 - m. Does 7 divide h?
True
Let o be (-2)/(-1) - (-2)/(-1). Suppose 0 = -u + v + 3*v + 19, -u - 5*v + 64 = o. Is 11 a factor of u?
False
Let m(r) = 0 + 3*r**2 - 1 + r + 2. Let z = -15 - -13. Does 8 divide m(z)?
False
Suppose 35 = -b - 4*b. Let a = 11 + b. Suppose -17 - 47 = -a*z. Is 16 a factor of z?
True
Let f(j) be the second derivative of j**7/840 + j**6/720 + j**5/120 + j**4/6 - j. Let k(t) be the third derivative of f(t). Is k(2) a multiple of 15?
True
Let g(f) = f. Let z be g(3). Suppose 3*v + 2*o - 2 = 1, 24 = 5*v - z*o. Does 2 divide v?
False
Suppose 8 = -h + 2*h - 2*k, h - k - 5 = 0. Let y(j) = -j**3 - j**2 + 2*j + 2. Let w be y(-2). Suppose w*i = -h*i + 112. Does 14 divide i?
True
Let q(w) = w**3 + 2*w**2 - w + 1. Let a be q(-2). Suppose -5*z + 2*i = -77, 0 = -a*i + i - 2. Let b = -8 + z. Is b a multiple of 5?
False
Let m(j) = -j**3 + 8*j**2 - 5*j - 6. Let n be m(7). Suppose 12*w = n*w + 104. Is w a multiple of 16?
False
Let g be (-28)/8*12/(-7). Let j(y) = -y**2 + 14*y. Is 12 a factor of j(g)?
True
Let w(y) = -1. Let m(q) = -q. Let j(h) = -4*m(h) - 2*w(h). Let i be j(-2). Is (-3 + (3 - i))*4 a multiple of 7?
False
Let y = -3 + 8. Let w = 0 + y. Does 10 divide -1*2 - (-60)/w?
True
Suppose -w = -4*c + 368, -2*c = -3*c + 5*w + 92. Is 23 a factor of c?
True
Let y = 127 + -101. Is 3 a factor of y?
False
Let b = 23 + -7. Let v = b + -1. Is v a multiple of 13?
False
Let x be (-126)/(-8) - 2/(-8). Suppose 4*d - v = 167, 31 + 32 = d + 4*v. Let u = d - x. Does 13 divide u?
False
Is 3 a factor of (-3)/3*3/3*-33?
True
Let h be ((-1)/(-2))/((-1)/(-8)). Does 8 divide (-152)/(-20) - h/(-10)?
True
Suppose 4*c = 5*x + 5 - 1, 4*x - c + 1 = 0. Is -2 + 7 + (x - -2) a multiple of 7?
True
Suppose -2*s - 2*i + 0*i + 26 = 0, 3*s - 43 = -i. Does 15 divide s?
True
Let w(l) = 4*l + 1. Let p be w(-4). Let m = p - -39. Is m a multiple of 23?
False
Let c(j) = j**3 + 5*j**2 + 3*j - 2. Let u be c(-6). Let s = -24 - u. Let l = s + -17. Is l a multiple of 5?
True
Is (-6)/(-6) + (1 - -19) a multiple of 7?
True
Let s(w) = 2*w**2 + 16*w + 7. Does 24 divide s(-12)?
False
Let s(y) = -y - 3. Let b be 0 - (-21)/(-2 - 1). Let g be s(b). Suppose -g*r + 7 = 4*i - 93, -4*r + 109 = -5*i. Does 13 divide r?
True
Let p = 4 - 3. Let r be p/2*8/2. Suppose -5*d = -3*u + 58, -8 = -r*d - 0*d. Is u a multiple of 10?
False
Let r = 30 - -29. Is 13 a factor of r?
False
Suppose -l + 10*l - 2376 = 0. Is l a multiple of 11?
True
Suppose 18 = -4*a + a. Let q(t) = -t**2 - 10*t + 7. Is q(a) a multiple of 7?
False
Suppose 3*z - 4*n - 62 = z, -122 = -5*z - n. Suppose -2*j - 5*p = -j + 7, 2*j - z = 3*p. Does 4 divide j?
True
Let p(q) = -q**3 + 2*q**2. Let d be p(3). Let j = d + 24. Is j a multiple of 13?
False
Let c be (-430)/(-4)*8/5. Suppose 4*x - z - 685 + c = 0, 129 = x - z. Suppose -5*a + x = -a. Is a a multiple of 10?
False
Let u = 0 + -3. Let w = u - -5. Suppose -w*d - 3*r = -6, -3*r + 2*r = -d + 13. Is d a multiple of 9?
True
Let u(k) = 4*k - 3. Let y be (-7)/(-1) + (-3 - -1). Let n be u(y). Let w = n - 10. Is 3 a factor of w?
False
Let k(l) = l**3 + 6*l**2 + 5. Let z be k(-6). Suppose z*f - 4*w = 70, 3 = f - w - 11. Is f a multiple of 6?
False
Let p(g) = -g**2 -