?
True
Suppose -4*q + 4*r - 17 = -5, -3*q = -2*r + 10. Does 18 divide (-16)/10*90/q?
True
Suppose -r + 20 = 4*s, -2*r + 12 + 4 = 2*s. Suppose -s*k + i = -2*i + 50, -8 = k - 3*i. Is (1 - k)*27/15 a multiple of 14?
False
Suppose -8*n + 670 - 270 = 0. Does 10 divide n?
True
Suppose -5*j = 2*p + 15, 2*j + 10 = -3*p - 3*j. Suppose p*z - 4*x = 23, -x - 2 = -0*x. Is 3 a factor of z?
True
Suppose -s = 5*m - 27, 0*m = 5*m - 2*s - 21. Let b be (-694)/10 - (-2)/m. Let z = 105 + b. Is 15 a factor of z?
False
Let m be ((-2 + -1)/(-3))/1. Let x be -4*m*26/(-4). Let j = -12 + x. Is 7 a factor of j?
True
Let t(s) = 8*s + 37. Does 28 divide t(12)?
False
Suppose -2*g = -3*t - 7, 2*t + 13 = t - 2*g. Let s = 52 - t. Does 19 divide s?
True
Let i be (-2)/(-8) + 166/8. Is 4/6 - (-406)/i a multiple of 13?
False
Let r(x) = 58*x. Let g be r(2). Suppose 3*k - 5*k + g = 0. Is 29 a factor of k?
True
Let b = 5 - 6. Let r be b/(-5) + 153/(-15). Let g(z) = z + 22. Does 12 divide g(r)?
True
Suppose 0*q + c = -3*q + 266, 3*q = -2*c + 268. Does 22 divide q?
True
Let c(d) = 0*d - 4*d + d**2 - 2 + 8 + 0*d. Is c(5) a multiple of 7?
False
Let j = -8 - -20. Is 12 a factor of (-9)/j - (-189)/12?
False
Let r be (-1)/(363/366 + -1). Suppose -3*a - 5*i = -r, -4*i = -a + 3*a - 82. Is 13 a factor of a?
True
Let a(i) = 43*i - 20. Is 6 a factor of a(2)?
True
Suppose 0 = -h - h - 6, -3*y + h + 9 = 0. Let t be (-3 + 1 + 1)*-1. Does 3 divide 5 - y - (t + -3)?
False
Suppose d = -d + 3*x + 23, -5*x = d - 5. Is 5 a factor of d?
True
Let u = 0 + 5. Suppose 5*l - 96 = -x, 40 = l - 0*x - u*x. Does 11 divide l - (-3 - (-1)/1)?
True
Let w(u) = -u**2 - 5*u - 6. Let r be w(-4). Is (12 - 1)/(r - -3) a multiple of 4?
False
Suppose 2*i = y + 6, 5*i = 2 + 23. Suppose -r - 4*d + 0*d + 39 = 0, 2*r + y*d = 78. Is r a multiple of 25?
False
Let h = -8 - -31. Is 23 a factor of h?
True
Let s = -26 - -12. Let x = 26 + s. Is 6 a factor of x?
True
Let u be 7/(-1 + 1 - 1). Suppose n + 2*n = 0. Let k = n - u. Is 6 a factor of k?
False
Suppose 3*a + a = 8. Suppose -4 = a*h - 4*y, -5*y + 2*y + 23 = h. Is h a multiple of 2?
True
Let v = -3 + 3. Suppose 2*d + 2*d - 5*y = 0, 2*y + 12 = 4*d. Suppose d*p - 30 = -3*z, v = -z + 3*p - 8*p. Does 8 divide z?
False
Let n(c) = 16*c**3 - 26*c**2 - 51*c + 30. Let a(y) = 3*y**3 - 5*y**2 - 10*y + 6. Let i(k) = 11*a(k) - 2*n(k). Does 8 divide i(5)?
True
Suppose 0 = -2*u - o + 65, 2*u - 6*o + o - 47 = 0. Does 12 divide u?
False
Suppose -5*n - 6 = -21. Does 6 divide 26/n + (-6)/9?
False
Let f be 0 + (43 - 6/(-2)). Is 7 a factor of (f/(-4))/((-2)/4)?
False
Let y(g) = -g**3 - g**2 - g + 19. Suppose 8*i = 5*i. Is y(i) a multiple of 18?
False
Let t(s) = 12*s - 8. Is 23 a factor of t(3)?
False
Let r be (-4)/6 + 237/(-9). Let m = -9 - r. Does 18 divide m?
True
Let z be (-12)/(-2 + (-38)/(-16)). Let r = -6 - z. Is 13 a factor of r?
True
Suppose -4*h = h - 5. Suppose -h = -v + 1. Suppose -22 = -v*d - 6. Is d a multiple of 3?
False
Let l = 621 + -276. Is l a multiple of 41?
False
Let w = -63 + 93. Is w a multiple of 10?
True
Let m(w) = 2*w**3 - 3*w**2 + 2*w - 3. Let i = -1 - -3. Let k be m(i). Let x = 8 - k. Is 3 a factor of x?
True
Let x be ((-26)/14 - -1)*7. Let o(d) = -d**2 - 8*d - 6. Let i be o(x). Suppose -2 = -k + i. Is 8 a factor of k?
True
Let s be (0 - 2)*(-1)/2. Let i = 0 + s. Is 11 a factor of i/2*4 + 17?
False
Suppose -5*q - k + 7 = 0, 0 = 5*q - k - 20 + 7. Suppose q*z = 22 + 88. Let g = z + -35. Is g a multiple of 10?
True
Let a = -27 - -27. Suppose a*h + 203 = 3*h + 2*o, 2*h - 3*o = 157. Does 15 divide h?
False
Suppose -16 = -4*k + 16. Suppose -5*v + k*v - 12 = 0. Suppose 0 = -3*g + v*g - 10. Does 5 divide g?
True
Suppose 0*m = -4*m - 124. Let l(j) = 3*j**2 + j. Let k be l(1). Is -2 + k/((-4)/m) a multiple of 9?
False
Suppose -18*a + 414 = -9*a. Is a a multiple of 5?
False
Suppose -5*s + 0*s = -375. Is 22 a factor of s?
False
Let v = -9 + 10. Let d be 39 - v - (-6)/3. Let r = -24 + d. Is r a multiple of 5?
False
Let v(s) = 8*s + 11. Is v(13) a multiple of 18?
False
Let p be (0 + (-1 - 2))*-1. Let q(f) = p*f**2 - f**3 - 7*f**2 - 1 + 3*f + 7. Is 8 a factor of q(-5)?
True
Let y = -5 - -8. Suppose 2*k = 4*k + a - 139, 277 = 4*k + y*a. Does 25 divide k?
False
Let z(m) = m**3 - 6*m**2 - m + 8. Let t(i) = i - 1. Let a be t(-5). Let c = a + 12. Does 2 divide z(c)?
True
Does 4 divide ((-6)/9)/(1/(-144))?
True
Does 12 divide 3 - (5/1 - 62)?
True
Suppose -13 = -3*i + 2. Suppose g + 0*t = -5*t + 40, i*t - 20 = 0. Suppose -v + 4 + 33 = q, 5*v - g = 0. Is q a multiple of 12?
False
Let m(g) = 3*g**3 - 4*g**2 + 32*g - 5. Let n(h) = 5 - 3 - h**3 - 3*h**2 - 11*h + 4*h**2. Let b(z) = 4*m(z) + 11*n(z). Is 18 a factor of b(5)?
False
Suppose -4*k - 20 = -3*k. Does 15 divide (-448)/(-10) + (-4)/k?
True
Let r(a) be the third derivative of 0*a + 1/24*a**4 - 1/120*a**6 + 2*a**2 - 5/6*a**3 + 0 - 1/30*a**5. Is r(-4) a multiple of 12?
False
Let x(t) be the first derivative of -t**3/3 + 3*t**2 + 13*t + 8. Does 13 divide x(6)?
True
Let d(n) = -n**2 + 6 + 2*n**2 - 7. Let k be d(-2). Suppose k*a - a = 30. Does 7 divide a?
False
Let p be (-2 + (-3)/(-2))*-94. Let f(v) = v**3 + 6*v**2 - 3*v - 5. Let z be f(-7). Let m = p + z. Is m a multiple of 14?
True
Suppose 2*w - 615 = -n, -5*w - 4*n + 3*n = -1533. Is 45 a factor of w?
False
Let d be ((-6)/4)/(1/2). Let j = 8 + d. Suppose 37 = o + j. Does 13 divide o?
False
Let h(x) = -x**2 - 5*x. Let q be (-1)/((-3)/(-9)*-1). Let l be -6 - (6/q)/(-1). Is 4 a factor of h(l)?
True
Let f(r) = 6*r + 26. Let s be f(-5). Let u be (-378)/10 + 1/(-5). Does 25 divide (u/s)/(4/16)?
False
Let t = -86 - -91. Let c = 6 - 1. Suppose 0 = t*m + 3*i - 128, 3*i - i - 127 = -c*m. Is 9 a factor of m?
False
Let d = -28 - -20. Let u(k) = 0*k - 4 - k**2 - 3*k - 7*k. Is 12 a factor of u(d)?
True
Suppose 4*x + 3*x - 203 = 0. Does 11 divide x?
False
Let u(s) = s - 15. Let o be u(0). Let c = 36 - 48. Is (-4)/((c/o)/(-2)) a multiple of 10?
True
Let q(t) be the third derivative of t**5/30 + 7*t**4/24 + t**3 - 2*t**2. Is q(-4) a multiple of 5?
True
Let r be (6/2)/((-3)/(-30)). Let l(w) = w - 4*w**3 + r - 9 + w**3 + 2*w**3. Does 13 divide l(0)?
False
Suppose 4*g + 0*u - 24 = u, -2*u - 3 = g. Suppose -g*a + 2*a + 54 = 0. Is a a multiple of 9?
True
Suppose -2*l = 2*i - 5*i + 158, 4*i - 5*l = 220. Is i a multiple of 25?
True
Let x(g) = 7*g**2 + g + 4. Is 22 a factor of x(2)?
False
Let v(a) = 3 + a**2 + 0 + 4 - 3. Does 10 divide v(4)?
True
Let a(f) = 2*f**2 - 5*f - 3. Let j be (25/(-10))/(1/(-2)). Is 11 a factor of a(j)?
True
Let k(w) = 4*w + 3. Let h be k(8). Let g = -15 + h. Is g a multiple of 20?
True
Let d = -13 - -18. Suppose 5 = -d*a, 3*c - 4*a = -2*c - 6. Does 10 divide 1 + 6/c + 18?
False
Suppose -2*q = 2*o - 138, 0 = -3*q + 2*o - 111 + 323. Is 10 a factor of q?
True
Suppose 0 = -4*z - 20, -3*z + 140 = 4*r - 7*z. Is r a multiple of 15?
True
Suppose 4*f - 153 - 7 = 0. Is f a multiple of 9?
False
Suppose 0 = 5*f - 155 - 200. Let x = -41 + f. Suppose 0*a + 2*a = x. Does 14 divide a?
False
Let f(z) = -22*z + 5. Let q be f(-6). Let h = q + -91. Is 17 a factor of h?
False
Let v(l) = -4*l**2 - l**2 - 11*l**3 + 2*l + 5 + 12*l**3. Is 5 a factor of v(5)?
True
Let a = 92 - 61. Is a a multiple of 4?
False
Let u(s) = -2*s**2 + 7*s + 43. Let o(t) = 3*t**2 - 11*t - 64. Let m(n) = 5*o(n) + 8*u(n). Let d be m(0). Suppose 84 - d = 5*l. Is 9 a factor of l?
False
Let x = 3 - -3. Is x a multiple of 2?
True
Let q(u) = -7*u + 2. Let r = 1 - 2. Let l = -1 + r. Is q(l) a multiple of 8?
True
Let g(s) = 3*s + 8. Let v(b) = -7*b - 16. Let f(h) = 9*g(h) + 4*v(h). Let q be f(7). Does 6 divide 8 - (0/(-2) - q)?
False
Suppose 3*b = -j + 291, 2*b + 4*j = -2*b + 388. Is 8 a factor of b?
False
Let t = -11 + 4. Let u(d) = -d**2 - 9*d - 10. Does 3 divide u(t)?
False
Let c = 28 + -22. Is 3 a factor of c?
True
Suppose -m - 2*m = 0. Suppose o - 2*i = 36, m = o - 4*o + 4*i + 104. Suppose 2*f = -o + 138. Is f a multiple of 25?
False
Suppose 15 = -5*s - 15. Let w be (s/9)/((-2)/6). Suppose 3*a = w*a + 28. Is 15 a factor of a?
False
Suppose -o = -0*o - 10. Is o a multiple of 5?
True
Let a = 52 + -37. Suppose -z + 112 - a = 0. Suppose -5*t + 3*r + 18 = -z, -5*t - 5*r = -75. Is 13 a factor of t?
False
Does 7 divide ((-36)/5 + 3)/(2/(-50))?
True
Le