
True
Suppose 0 = -2*l - 3*j + 4, -1 = -l + 2*j + 1. Let v = 4 + 0. Suppose d + 3 = -l*x - v*d, 21 = x - 2*d. Is 11 a factor of x?
True
Suppose -4*z + 1 = -15. Does 2 divide z?
True
Let n = 17 + -7. Let j = 19 - n. Does 21 divide 64/3 + (-3)/j?
True
Let j = -6 - -10. Suppose -j*x - 25 = -1. Does 3 divide (3 + x)/(6/(-10))?
False
Let i(t) = -t**3 + 7*t**2 - 6*t + 5. Let v be i(4). Let s(p) = -p + 10. Let f be s(7). Let d = v - f. Is 13 a factor of d?
True
Suppose -h + 2 + 3 = 0. Suppose -80 = -h*f - 20. Is 7 a factor of f?
False
Suppose -3*f + 0*f = -12. Suppose 2*w = 2*u + 72, f*w = u + 4*u + 148. Does 17 divide w?
False
Suppose 3*p - 15 = -2*p + 5*a, 0 = -2*p + 5*a + 9. Suppose -g + 58 = p*s, -5*s + 40 + 79 = -4*g. Is s a multiple of 27?
True
Let q(o) be the third derivative of o**4/24 + o**3/2 + 3*o**2. Let n be q(4). Let t = n - -24. Does 11 divide t?
False
Suppose 14*o - 17*o = -555. Does 62 divide o?
False
Suppose -3*q = -5*j + 9, 3*j - 2*q - 4 = 1. Suppose 2*k - 20 = -j*h, -3*k = 2*h - 19 - 11. Is k a multiple of 5?
True
Let h = 23 - -69. Let j be (1/2)/((-1185)/(-396) - 3). Let f = j + h. Is 10 a factor of f?
False
Let c(v) = v**2 - 4*v + 2. Let b be c(3). Let p be (-1 + 1 - b) + 2. Suppose 2*a - 2*l = p*a - 53, -3*a + 153 = 4*l. Is a a multiple of 16?
False
Let u = 135 - -81. Is u a multiple of 36?
True
Let x = -7 + 10. Suppose -x*f + 41 = -2*f. Is 14 a factor of f?
False
Suppose 951 = 12*p + 231. Does 20 divide p?
True
Let z = -113 + 33. Is -3*(z/6 + -3) a multiple of 15?
False
Let k(d) = 2*d**3 - 3*d**2 - 8*d - 6. Does 14 divide k(4)?
True
Suppose 41 = 5*a - 14. Is 2 a factor of a?
False
Let g(j) = 2*j - 4. Let r be g(3). Let l = -8 + 12. Suppose r*h = -10, -29 = -l*z + z - 2*h. Is 13 a factor of z?
True
Suppose -9*c - 132 = -11*c. Does 22 divide c?
True
Let q = 8 + -32. Let k(f) = -2*f**2 + 3*f. Let a be k(2). Is q/(-3) + a/(-1) a multiple of 4?
False
Let s(g) = 6*g + 3. Let p(o) = o + 1. Let c(n) = 5*p(n) - s(n). Let w be c(-3). Suppose 3*q = 3*f - 9, 2*f - 3 = -f + w*q. Is f a multiple of 6?
True
Let t(f) = -7*f - 9 + 0*f + 0*f. Is 20 a factor of t(-7)?
True
Suppose -6*j + 10*j = 136. Is 17 a factor of j?
True
Let g = -7 - -12. Suppose -4*t + 15 = -5*m, g*t - 4*m = 2*t + 12. Suppose -5*r - 53 + 148 = t. Does 13 divide r?
False
Let v = 8 - 5. Suppose 4*p + 0*x = v*x + 214, x = 5*p - 262. Does 16 divide p?
False
Let p(l) = -7*l - 5. Let k be p(-6). Let q = k + -19. Is 18 a factor of q?
True
Let v = -2 + 2. Let u(p) = -4*p + 23. Let x(g) = -g. Let w(k) = u(k) - 3*x(k). Is w(v) a multiple of 8?
False
Suppose 0 = 2*h - v + 5, -3*h + 8*h - 5 = -v. Let o(z) = 10 + 2*z**2 - 3*z**2 + z + 5. Is 8 a factor of o(h)?
False
Let y(d) be the first derivative of d**4/2 - d**3 - 2*d**2 - d - 1. Let v = 11 + -8. Is y(v) a multiple of 7?
True
Let w = 54 - 24. Let n be (40/(-12))/((-4)/w). Does 18 divide -2 + (n - (-2 - -2))?
False
Let x = 207 - 64. Suppose -2*j + 3 = 2*y - 55, 4*j - 5*y = x. Is j a multiple of 16?
True
Let t = 16 - 9. Let x = 3 + t. Is x a multiple of 8?
False
Let v(p) = p - 3. Let b be v(7). Let r be b*9*16/12. Let i = r + -34. Is i a multiple of 14?
True
Suppose -5*y = 3*n - 54 - 44, 0 = 4*n - 4. Suppose -q + y = 3*f, -5*q + f + f = -61. Is 13 a factor of q?
True
Suppose 0 = 4*n + 19 + 5. Let h be 19 + 3/(n/4). Suppose -2*l = 2*s - 66, -2*s + 3*l = -h - 49. Is s a multiple of 14?
False
Let a(f) = f - 5. Let c be a(6). Suppose c = 3*h - 8. Suppose -h*y + 2*y + 25 = 0. Is 10 a factor of y?
False
Suppose -37*q = -34*q - 108. Is q a multiple of 6?
True
Is -1 - -2 - 1 - (-82 + 18) a multiple of 14?
False
Let n = 10 + -6. Suppose n*l + 27 = 111. Let o = l + -8. Is o a multiple of 6?
False
Suppose 0*z - 3*z = -9. Suppose 0 = -u - z*u + 20. Is 3 a factor of u?
False
Let m(g) = 19*g**2 - 2*g + 1. Is 8 a factor of m(2)?
False
Let v(u) = -u**3 + 6*u**2 + 2*u - 3. Let r be (10/5)/((-4)/(-10)). Is 16 a factor of v(r)?
True
Suppose -4*p + 0*r = 3*r - 13, 2*p = 3*r + 11. Let h be ((-63)/6)/((-3)/p). Let k = h + -6. Does 8 divide k?
True
Suppose 19 = d - 73. Is 23 a factor of d?
True
Let x = -149 + 218. Suppose -h = 2*h - x. Does 14 divide h?
False
Suppose -3 = -2*g - 1. Suppose -3*b = 5*h - g - 12, -b + 11 = 5*h. Suppose -h*w = 4*j - 10, j = 3*w + 7 - 15. Is 2 a factor of w?
False
Suppose 0 = -0*i - i + 7. Suppose y - 5*l + 4 = i, -3*y = -5*l - 29. Does 5 divide y?
False
Suppose 0*x + 16 = 2*x - 5*q, 3*q + 18 = 4*x. Is x even?
False
Let h = -7 - -3. Let v(w) = -w - 2. Let n be v(4). Is 19 a factor of h/(-6) + (-224)/n?
True
Let i = 8 - 11. Is 10 a factor of (5/i)/(3/(-18))?
True
Does 16 divide (-6)/9*-177 + 3?
False
Let v(u) = -u**2 + 7*u + 11. Let o be v(8). Suppose 0 = 5*h - 2*r - 69, 2*r = -o*h + r + 37. Is h a multiple of 13?
True
Let i = -1 - -3. Let j be (12/9)/(i/(-9)). Is 3 a factor of 2*(-1)/(j/9)?
True
Let l(a) = -24*a - 30. Is l(-5) a multiple of 24?
False
Let q = 46 - 7. Does 13 divide q?
True
Let v(c) = -c**3 + 7*c**2 - c - 3. Is v(6) a multiple of 7?
False
Is -3 + (-3)/1 + 12 a multiple of 3?
True
Let o = 4 + -3. Let l = 24 - o. Is l a multiple of 10?
False
Suppose 28*j - 122 = 27*j. Is 22 a factor of j?
False
Let c(i) = i**3 + 14*i**2 + 5*i - 6. Suppose -8*d = -3*d + 45. Let f be c(d). Does 10 divide f/11 - (-12)/(-66)?
False
Suppose 0 = 9*c - 4*c - 385. Does 28 divide c?
False
Is (363/(-6) + 5)*(-1 + -1) a multiple of 8?
False
Suppose 3*l + 66 = 2*j, -l + 3 - 1 = 0. Suppose -108 = -5*f + 6*w - 3*w, 3*w = 2*f - j. Is 8 a factor of f?
True
Suppose m = 3*m - 24. Does 6 divide m?
True
Let x be 1*20/2 - 0. Let q = x + -3. Is q a multiple of 3?
False
Suppose 8*x = 3*x + 170. Is x a multiple of 12?
False
Let k(o) = 2*o**2 - o - 1. Suppose -q - 1 - 1 = 0. Let d be k(q). Suppose -4*z = 3*t - d*z - 79, 2*t + 4*z - 60 = 0. Does 13 divide t?
False
Let v(i) = 36*i + 8. Let b(r) = 24*r + 5. Let o(n) = 8*b(n) - 5*v(n). Suppose 0 = 5*a + 6*w - 2*w - 36, 2*a + w = 12. Does 14 divide o(a)?
False
Suppose 2 = 5*w - 23. Suppose -3*z + 2 = -4*z + w*r, r = 2*z - 32. Does 6 divide z?
True
Let u = -5 + 4. Is (-10 + -2)*u/3 even?
True
Let q = -288 - 120. Does 13 divide (-3)/(-6*(-3)/q)?
False
Let a be 25/(-3) - (-2)/6. Let m = 8 + a. Suppose -2*j + 5*o + 56 = m, -6*j + 84 = -3*j + 2*o. Is j a multiple of 13?
False
Suppose -5 = n - 0*n, 5*n + 33 = 2*s. Suppose 2 - 7 = 5*h, s*f - 131 = -5*h. Is 12 a factor of f?
False
Let t(c) = 4*c - 4. Let j be t(-2). Is ((-279)/j)/(4/16) a multiple of 31?
True
Let w(a) = 2*a - 5. Let h be w(5). Suppose -h*p = -p - 88. Does 11 divide p?
True
Let o(m) = -20*m - 2. Let d(h) = -21*h - 3. Let y(b) = -5*d(b) + 6*o(b). Is 16 a factor of y(-3)?
True
Suppose -3*y + 3*a = 72, -36 = -3*y + 4*y - 4*a. Let h = y + 13. Let p(w) = w**2 + 3*w + 8. Is p(h) a multiple of 15?
False
Suppose -k + 108 = c, 0 = -5*k + 2*k + 5*c + 356. Does 28 divide k?
True
Let z = 180 + 1093. Suppose -b - z = 2*u, u - 4*b - 1276 = 3*u. Is (-4)/(-18) + u/(-54) a multiple of 6?
True
Suppose 4*k + 7 + 5 = 0. Let b = k - -3. Is -2 - -8 - (-1 - b) a multiple of 5?
False
Let d(o) = -6*o + 20. Is d(-5) a multiple of 25?
True
Let k = 37 - 17. Is k a multiple of 4?
True
Let y = 8 + -6. Suppose 4 + 1 = i, -34 = -b + y*i. Is 11 a factor of b?
True
Let v(q) = 2*q + 2. Let n be v(2). Suppose -x + n*x = 65. Is 13 a factor of x?
True
Is 26 a factor of (-16)/(-5)*(-6)/(18/(-195))?
True
Suppose 5*y = y + 316. Let n = y - 46. Does 11 divide n?
True
Suppose 2*w + 70 = 4*w. Is 6 a factor of w?
False
Suppose -4*b + 5*z + 17 = 0, b + 0*b - 14 = -2*z. Suppose b*p - 30 = 3*p. Is 2 a factor of p?
True
Let m(u) be the first derivative of u**3/3 + u**2 - 5*u - 1. Let j = -4 + -2. Does 19 divide m(j)?
True
Is 104/130 - (-2 + 3212/(-10)) a multiple of 46?
False
Let u be (-6)/5*5/1. Let d be (-40)/12*u/4. Does 6 divide d - 2 - 2 - -11?
True
Let q(w) = -5*w - 4. Let i = 10 - 15. Let s = -10 - i. Is 12 a factor of q(s)?
False
Let a = -6 + -13. Is 11 a factor of (a/3)/((-3)/9)?
False
Suppose 3*j - 66 = 51. Is j a multiple of 31?
False
Suppose 5*v + 838 = 3*x + 7*v, 3*v = -3. Does 29 divide x?
False
Let y be (-2)/(1/((-15)/6)). Suppose 3*r - 16 = -4, 41 = y*h + 4*r. Does 2 divide h?
False
Suppose 3*f - 88 = -2*s + 21, 3*s - 5*f - 173 = 0. Is s a multiple of 14?
True
Let w(y) = y**3 - 14*y