)/1 - 0. Let p = x - -29. Suppose 5*f = p + 45. Is f a multiple of 6?
True
Let u(o) = 2*o**3 - 2*o**2 + 6*o - 3. Does 13 divide u(4)?
True
Let n(b) = -b + 0*b**3 - 4*b**2 + 0*b**3 + 1 + b**3 + 2*b. Let l be n(4). Suppose 0 = 5*u + 2*t - 23, 3*u + l*t - 12 = -2. Does 5 divide u?
True
Let d be 2/4 + 5/2. Suppose -4*n + 4*g + 130 = 6*g, -93 = -3*n + d*g. Is n a multiple of 17?
False
Let t(r) = 5*r - 6. Let f be t(7). Let w = f + -19. Is 10 a factor of w?
True
Suppose 4*l + 37 = 3*l. Let k = -61 - l. Is k*4/((-24)/9) a multiple of 11?
False
Let c = 26 + -21. Suppose 0*z + c*z = 4*a + 25, z + 5*a = 5. Is 2 a factor of z?
False
Let g(x) = -7*x**2 - x + 3. Let t be g(4). Let p = t + 163. Let z = -34 + p. Does 8 divide z?
True
Let b = 25 + -7. Is (-216)/(-15) - b/(-30) a multiple of 5?
True
Let y be 13 - ((-6)/(-2) - 1). Suppose 0 = -2*h + 5*g + 79, 5*g + 4 = -y. Is h a multiple of 17?
False
Let x(o) be the first derivative of -o**2/2 - o + 3. Let w be x(-1). Suppose s + 4*s + 5*m = 80, w = -4*s + 4*m + 40. Is 12 a factor of s?
False
Let p be ((-6)/(-3))/1 + -116. Is p/(-4) - 2/(-4) a multiple of 14?
False
Suppose 2*v = -47 + 143. Does 12 divide v?
True
Let x = -6 - -8. Suppose -3*z + 26 = -x*z. Suppose g = -g + z. Is 10 a factor of g?
False
Suppose r + 2*r + 4*v - 21 = 0, -4*v = 0. Suppose 2*f + 3*f = 0. Suppose f = -h + r. Is h a multiple of 7?
True
Suppose 0 = 8*f - 3*f. Suppose 4 = -4*p, -2*s + 5 = -p + 2*p. Let o = s - f. Is o a multiple of 3?
True
Is -1 + (-20)/(-16) - 31/(-4) even?
True
Let t(q) = -q**2 + 10*q + 6. Suppose -2*j = -3*b + 18, 3*j + 15 = 8*j. Is t(b) a multiple of 13?
False
Suppose -2 = -0*u + u. Let z = 4 + u. Suppose z*h + 5 - 97 = 0. Does 14 divide h?
False
Let a = 20 + -30. Let v = 19 + a. Is 9 a factor of v?
True
Suppose -q + 4 = 5*a - 0*q, 2*a = -5*q + 20. Suppose 3*x + x - 48 = a. Let p = 7 + x. Does 15 divide p?
False
Let v(g) = -g**3 - 18*g**2 - 18*g - 42. Is 47 a factor of v(-18)?
True
Let s(g) = g**3 + 4*g**2 - 8*g - 5. Let n be s(-5). Let u(m) = -n*m + 2*m - 9 - m**3 - 6 + 12*m**2. Does 9 divide u(11)?
True
Let w = 13 + -28. Let a be ((-15)/6)/1*-10. Let y = w + a. Is 5 a factor of y?
True
Suppose -2*a - v + 21 = 4*v, a + 3*v = 12. Suppose 3*g - 15 = a. Does 3 divide g?
True
Let r = -4 + 3. Let y be (r/3)/(2/12). Let j(h) = 7*h**2 + 2*h. Does 8 divide j(y)?
True
Suppose -2*p - 5*s + 98 = -0*s, -s - 35 = -p. Is p a multiple of 22?
False
Let y = 15 - 2. Suppose 3*p - y - 107 = 0. Does 19 divide p?
False
Let u = -21 - -25. Suppose -5*y - 20 = -3*n - 10*y, -2*n = -5*y + 20. Let v = n + u. Is 3 a factor of v?
False
Suppose -v + 2 = v. Let z = -57 - -38. Let j = v - z. Is 10 a factor of j?
True
Suppose -f + 40 = -2*j - 179, 2*j - 438 = -2*f. Is f a multiple of 15?
False
Does 13 divide 1146/15 + (-6)/15?
False
Let f = -8 - -11. Let k be 0 + (-2 - (-4 - f)). Suppose 198 = 5*j + 3*z - z, 0 = -j + k*z + 45. Is j a multiple of 20?
True
Let j(n) = n**3 + 3*n**2 - n - 3. Is 45 a factor of j(6)?
True
Suppose 0 = -4*o - 3*c - 0*c + 403, 0 = 5*c - 5. Let p(f) = -12*f - 4. Let z be p(-6). Let q = o - z. Is q a multiple of 15?
False
Suppose o = 2 + 1. Let g = o + -5. Does 2 divide ((-1)/g)/(1/10)?
False
Suppose 5*b - 5*d = -3*d + 12, 4*b - 3*d = 4. Suppose -c = b*c - 205. Suppose -1 + c = 4*z. Is z a multiple of 5?
True
Let d(l) = -l**3 - 14*l**2 + 18. Is 16 a factor of d(-14)?
False
Let j(y) = y**3 + y + 6. Is j(0) a multiple of 6?
True
Let l = -1 + 4. Is 3 + (45 + -2 - l) a multiple of 15?
False
Let c be (8/(-6) - -2)*9. Let k be ((-2)/(-6))/(1/c). Is 4 a factor of (18/3 + k)*1?
True
Let y(h) = -4*h**3 + h**2 - h - 1. Let i be y(-1). Let m = i - -3. Does 8 divide m?
True
Let k = 12 - 8. Suppose -k*n + 105 = n. Does 7 divide n?
True
Suppose -2*q = -0*g - 5*g + 392, -312 = -4*g + 2*q. Is 16 a factor of g?
True
Let g = 6 + -2. Let o = g + -23. Let a = -9 - o. Is 10 a factor of a?
True
Let y(z) = z**2 + 6*z + 10. Is y(-10) a multiple of 12?
False
Let k(w) = w**2 - 6*w - 8. Let b be 18/12 - 26/(-4). Let l be k(b). Suppose 120 = 3*d - 5*m, 5*d - 4*m + l*m - 237 = 0. Is d a multiple of 17?
False
Suppose 5*d + 3*l = 60 - 9, 3*l = d - 3. Suppose 43 - d = n. Does 9 divide n?
False
Let r = -15 + 21. Let y(d) = d**2 - 6*d + 3. Let p be y(r). Suppose p*o + 0*o - 6 = 0. Is 2 a factor of o?
True
Let x(b) = -b - 1. Let i be x(-2). Let g be (30/(-4))/(18/(-24)). Suppose -g + i = -y - 4*p, -55 = -4*y + 3*p. Does 13 divide y?
True
Let m(v) = -v**3 + v**2 + v + 3. Let i be m(0). Is i + 6*27/6 a multiple of 10?
True
Let t(m) = 10*m**3 + 3*m**2 + 2*m. Let x(y) = 20*y**3 + 7*y**2 + 5*y. Let z(w) = -5*t(w) + 2*x(w). Does 3 divide z(-1)?
True
Let x(d) = d**2 - 3*d + 4. Let p be x(3). Suppose -p*m + 4*h + 68 = -0*h, h - 49 = -2*m. Does 13 divide m?
False
Let h = 0 - 0. Suppose h = 3*m + 2*a - 120, 2*m - a - 80 = -6*a. Does 25 divide m?
False
Is 24/12 - (-19 + -1) a multiple of 6?
False
Let y(x) = -11*x + 2. Is 3 a factor of y(-3)?
False
Suppose 0*i + 9 = 3*i. Suppose 0 = -i*w - 5*m + 70, -m - 35 = -3*w + m. Is 1/(w/12 + -1) a multiple of 3?
False
Is (-7)/(28/8)*-4 a multiple of 8?
True
Let k = -22 - -26. Suppose -4*w = -3*w - 5*d - 9, 0 = 5*w + k*d - 132. Does 12 divide w?
True
Let k = -50 - -90. Is k a multiple of 22?
False
Is ((-322)/(-35) - 6)*5*4 a multiple of 10?
False
Let y = -14 - -19. Suppose -y*k + 180 = -0*k. Does 9 divide k?
True
Let v = 10 + -1. Let i = 19 - v. Is i a multiple of 4?
False
Let f = -90 + 293. Suppose -3*n + 2*u + f = 0, n + 3*n + u - 256 = 0. Is n a multiple of 17?
False
Let b = 226 + -404. Is 3 a factor of 10/65 - b/26?
False
Let l = -3 - -3. Suppose -2*y - 2*y = l. Suppose y = 3*f + 3*o + o - 73, -97 = -4*f - 5*o. Is f a multiple of 16?
False
Let v(r) = -20*r + 16. Let l(a) = 7*a - 5. Let o(i) = 7*l(i) + 2*v(i). Let n(h) = -14*h + 5. Let x(b) = -5*n(b) - 7*o(b). Does 12 divide x(3)?
False
Suppose -l + 3*c + 76 = 7*c, 0 = -2*l - c + 159. Let k be l/6*3/(-2). Let n = k + 29. Does 9 divide n?
True
Let s be 1864/(12/3) + 3. Suppose 0 = 5*r - 3*o - 0*o - s, -2*o - 374 = -4*r. Is r a multiple of 19?
False
Let r be 7/((-2 + -1)/(-3)). Does 2 divide (-2 - -3) + 0 + r?
True
Is (-20)/16 + (-10)/(-8) + 34 a multiple of 18?
False
Let s = -100 - -244. Does 16 divide s?
True
Suppose 0*q - 2*q = 0. Let r = q - 0. Suppose 3*x - 47 + 8 = r. Does 9 divide x?
False
Suppose -2*g - 27 + 5 = 0. Let y = g + 16. Suppose l - 16 = -y*t, t - 8 = 5*l - 62. Is l a multiple of 11?
True
Suppose -3*o + 6*o - 141 = -2*a, 2*a - 146 = -4*o. Is a a multiple of 8?
False
Let i(x) = 3*x**2 - 36*x + 29. Is 17 a factor of i(16)?
True
Suppose 5*v = -4*u + 51, -6*v - 53 = -2*u - 3*v. Does 11 divide u?
False
Let f(r) = -r**3 - 4*r**2 + 5*r + 2. Let q be f(-5). Suppose q*h = -h. Is h - -29 - (2 - 1) a multiple of 14?
True
Suppose 87 = 3*n + 3*t, -2*n + 6*n - 132 = 4*t. Is n a multiple of 12?
False
Suppose 3*h = d - 6*d + 262, 5*h + 3*d = 458. Does 10 divide h?
False
Let b(o) = -o**3 + 7*o**2 + 9*o - 5. Let v be b(8). Suppose h = v*h. Suppose -t + 4*p + 15 = h, -5*t + 94 = -3*p + 2*p. Does 7 divide t?
False
Is (-10)/35 + (-72)/(-7) a multiple of 10?
True
Suppose -4*x = -7*x + 96. Does 16 divide x?
True
Suppose -5*p - 24 - 41 = 0. Let t = 41 - p. Does 21 divide t?
False
Let v(n) = 4*n**3 + 2*n + 1. Let w be v(-1). Let f = 30 + w. Is f a multiple of 25?
True
Let c = 11 - -1. Is 12 a factor of c?
True
Suppose 4*t + b - 2*b = 769, 5*b = -4*t + 763. Is t a multiple of 32?
True
Let m(q) be the second derivative of q**5/20 + q**4/2 + 5*q**3/6 + 3*q**2/2 + 3*q. Is 4 a factor of m(-3)?
False
Let h(s) = -2*s + 2. Let z be h(0). Let y = z - -28. Does 5 divide y?
True
Is 2/4*6 - -83 a multiple of 20?
False
Suppose -11*t + 7*t - 12 = 0. Let u be ((-2)/(-6))/(t/(-351)). Suppose 3*c - 53 - u = j, j + 32 = c. Is c a multiple of 10?
True
Let n(l) = -l**2 + 16*l + 2. Is n(14) a multiple of 10?
True
Suppose 237 = 5*c - 3. Is c a multiple of 22?
False
Suppose 0 = -2*v - 3*v - 310. Let j = v + 122. Suppose j - 15 = 5*y. Does 4 divide y?
False
Let b(l) = -l - 1. Let t be b(-2). Let i = t - -1. Is i even?
True
Suppose j = 5*j - 5*o - 208, -2*o + 179 = 3*j. Is j a multiple of 10?
False
Let q(j) = j - 1. Let g be q(-8). Let m(s) = -10*s**2 - 34*s - 30. Let n(z) = 3*z**2 + 11*z + 10. Let a(r) = 2*