 = -t. Let h be (-9)/t*(-16)/6. Is 7 a factor of (h - 3)*(0 + -1)?
True
Let d(i) = i + 37. Let z be d(0). Suppose 0 = 2*m - 15 - z. Does 13 divide m?
True
Is 4 a factor of ((-27)/6 + 3)*-8?
True
Does 18 divide (51/(-9))/(-1 + 25/30)?
False
Is (-2 + 10/4)*(-646)/(-17) a multiple of 16?
False
Let b = 26 + -22. Does 4 divide b?
True
Is 9 a factor of (4 - (3 + -1)) + 31?
False
Suppose -6 - 21 = -3*n. Let r(t) = 2*t - 8. Does 5 divide r(n)?
True
Let j = -18 - -70. Does 13 divide j?
True
Is 11 a factor of 68*(-5 + 2)/(-3)?
False
Let j(y) = y**2 + 8*y + 5. Let g be j(-10). Let k = g - 10. Suppose -k = -3*v + 57. Is 11 a factor of v?
False
Let p be (-33)/(-2)*(-4 + 12). Let n = p + -40. Does 23 divide n?
True
Let o(r) = 6*r**2 - 8*r - 3. Is o(6) a multiple of 17?
False
Let h(z) = 12*z + 8 - 5*z - 6*z. Does 6 divide h(15)?
False
Let l = -10 + 28. Is 14 a factor of l?
False
Suppose -o + 2*z = -2*o, 0 = 2*o - 2*z. Let p = o + 3. Suppose 2*k + 2*r = 24, p*r - 22 = k - 2*k. Is 3 a factor of k?
False
Let l be 2/(-6)*0/6. Suppose 0 = -s - l*s + 12. Does 6 divide s?
True
Let x be 114/15 - 4/(-10). Let r = -2 + 5. Suppose 2*p + x = r*p. Is p a multiple of 7?
False
Suppose 3*s - 13 = -2*p, 5*s - 3*p + 2 = 11. Let k = -1 + s. Suppose -k*h - 11 = -3*v, -v - 3 + 18 = 5*h. Does 2 divide v?
False
Let c(j) = -7*j**2 - 4*j - 2. Let a be c(-5). Let z = -74 - a. Does 35 divide z?
False
Is (-22)/(-33) - (-428)/6 a multiple of 9?
True
Let u(s) = 15*s**2 - 6*s - 31. Does 11 divide u(-5)?
True
Suppose 12*d = 6*d + 84. Is 7 a factor of d?
True
Let f = 5 + -2. Suppose 7 = 2*w - f. Suppose m = 0, -b + 22 - 4 = w*m. Is 9 a factor of b?
True
Suppose -42 + 3 = -t. Let n = 90 - t. Is n a multiple of 17?
True
Let i(a) = -3*a + 1. Let r be i(-1). Suppose 0 = r*m - 3*m - 14. Is 10 a factor of m?
False
Let r be ((-6)/4)/((-3)/8). Suppose 11 = -r*g - 5. Is g/5*(-5)/2 even?
True
Let t(k) = 23*k + 11. Does 9 divide t(5)?
True
Is 16 a factor of ((-396)/15)/(-4*(-6)/(-180))?
False
Suppose u - 3 - 9 = 0. Let g be (15/(-12))/(3/u). Let q = 13 + g. Is q a multiple of 3?
False
Suppose -9*x + 5*x = -160. Suppose x + 41 = 3*k. Is k a multiple of 9?
True
Is (-8*45)/(3/(-2)) a multiple of 32?
False
Suppose 1 = 2*v - 7. Suppose -f = -5, 9*q - v*q = f + 20. Is q even?
False
Let z(o) = -o**3 - 9*o**2 - 5*o - 5. Let q be z(-9). Suppose 5*b - g = -0*g + 77, 0 = -2*b + 5*g + q. Is b a multiple of 4?
False
Let o(j) = j**3 - 12*j**2 - 7*j + 6. Is o(13) a multiple of 21?
True
Suppose 2*o - g = -113, -2*o - 5*g - 118 = -g. Does 10 divide (-1)/(-2) + o/(-6)?
True
Let z = 87 + -49. Suppose 5*x = 15, -4*m - z + 456 = 2*x. Does 14 divide m/3 + 1/(-3)?
False
Suppose r - 38 = -z, -r + 2*z + 29 = -0*r. Is r a multiple of 8?
False
Let v be 159 - 1*(-3 - -6). Suppose -36 - v = -5*t - 2*f, t - f = 37. Is 15 a factor of t?
False
Suppose n - 58 - 135 = o, 4*o = -2*n + 368. Is 10 a factor of n?
True
Let o = 40 + -8. Does 8 divide o?
True
Does 13 divide (-5)/(-10) - (-218)/4?
False
Suppose -5*u - 2 = 3*v - 22, 5*v - 5*u - 20 = 0. Is v a multiple of 5?
True
Let x(l) = l**3 + 4*l**2 + 2. Let p be x(-4). Is ((-69)/(-6))/(1/p) a multiple of 6?
False
Let m = -188 + 278. Is 30 a factor of m?
True
Let g = 17 + 7. Is 13 a factor of g?
False
Let a = -52 - -45. Let u(h) = 2*h**2 + 3*h. Let q be u(-2). Let c = q - a. Is c a multiple of 9?
True
Suppose 3*b + 3*z = 24, 8*b - 3*b - 28 = -2*z. Suppose 0 = 4*y - 2*y - b. Suppose 0 = -3*i + 12, 0 = 5*j - 5*i + y*i - 93. Does 21 divide j?
True
Suppose -d = d - 108. Suppose 3*c = -0*c + d. Does 5 divide c?
False
Suppose -15 + 5 = -2*w. Does 5 divide w?
True
Let u = -369 + 765. Is u a multiple of 44?
True
Suppose 2*k = i + 4*i - 31, -27 = -3*i + 4*k. Suppose f - 3 = i. Is 4 a factor of f?
True
Suppose 0 = 2*i - 5*i - 327. Let l = -171 - i. Is 11 a factor of 10/15 + l/(-6)?
True
Let t(o) = -3*o**3 - 4*o**2 - o + 2. Let y be t(-2). Let j be (3 - 2)/(1 + 0). Is 6 a factor of j/((-10)/y)*-5?
True
Suppose -5*p = -s - 109 - 390, 5*s = -20. Is p a multiple of 27?
False
Let p(t) be the first derivative of -t**4/4 + 4*t**3 + 9*t**2 - 9*t - 2. Is 15 a factor of p(13)?
False
Suppose 0 = h + 4, i = -0*i - h. Suppose 3*m - i*m - 20 = 0. Let q = 28 + m. Is q a multiple of 3?
False
Let g be 4/(-10)*(-3 + -2). Suppose -68 = -2*z + n + n, -4*z + 160 = g*n. Is z a multiple of 13?
False
Suppose -5*w + 6*w = 36. Suppose 3*b + w = o - b, 3*o = b + 75. Does 5 divide o?
False
Let d(z) = z**3 - z**2 - z + 2. Let g be d(4). Suppose 2*b - g = b. Does 15 divide b?
False
Suppose -56 = -4*w + 24. Let b = w + 44. Is 13 a factor of b?
False
Let u(z) be the first derivative of z**3/3 + 3*z**2/2 - 4*z + 5. Does 9 divide u(5)?
True
Let d(g) = g**2 + 5*g + 6. Let s be d(-4). Is (s - (-27 - 3))*1 a multiple of 25?
False
Let u = 2 + 1. Suppose l - 126 = -4*l + n, -u*n = -2*l + 53. Is 9 a factor of l?
False
Let c = 47 - -31. Is 26 a factor of c?
True
Suppose -2*d - 3 + 61 = 0. Suppose 3*f + d = h + f, -4*f = 2*h - 58. Is h a multiple of 12?
False
Let p be 2/3*(2 - -7). Is 2 a factor of (-3 - 30/(-9))*p?
True
Let z(h) = -h**3 - 4*h**2 + 6*h - 6. Is z(-6) a multiple of 10?
True
Suppose -4*i = -0*i - 584. Suppose 5*p = i - 6. Does 14 divide p?
True
Suppose 4*a = -g + 37, -5*a + 5*g + 18 = 3. Let y = a + -6. Does 4 divide 1 - (y + -1)*-7?
True
Is (-4)/(-2)*56/16 even?
False
Let b = -5 - -2. Let y be b/(3 - 2 - 2). Suppose 71 - 25 = 2*r - 4*f, y*r + 4*f = 79. Is 10 a factor of r?
False
Let z(a) = -10*a - 2. Let b(f) = -f + 14. Let x be b(0). Suppose 0*u + 3*v = -u - 8, 2*v = -5*u - x. Is z(u) a multiple of 9?
True
Let w(i) be the first derivative of -i**4/4 + i**3/3 - 2. Is 2 a factor of w(-1)?
True
Let b(d) = d**3 + 9*d**2 - 28*d - 17. Is b(-11) a multiple of 14?
False
Let c be (-4)/10 + (-554)/(-10). Let o = -33 + c. Does 11 divide o?
True
Let m be (-42)/(-24) + 1/4. Suppose -269 = -3*y + f, m*y - f = 4*f + 175. Is 30 a factor of y?
True
Suppose -2*m + 0 = -8. Let c(y) = -m - 6*y - 5*y - y**2 - 1 + 0*y. Is c(-7) a multiple of 13?
False
Is (158 - 1) + 0 + (-4 - -7) a multiple of 32?
True
Suppose 4*d - 20 = 4. Suppose d*w + 68 = 5*u + 5*w, -u = -2*w - 10. Suppose h = 5*x - u, 0*h - 4*h + 19 = -5*x. Is h a multiple of 8?
False
Let x be (-1 - -3)*(-1)/2. Does 7 divide 2*(x + (-42)/(-4))?
False
Let f = -130 + 211. Is f a multiple of 27?
True
Suppose 15039 = 4*s - s. Suppose 2*i - s = -703. Is i/55 - 2/11 a multiple of 18?
False
Suppose 3 = -f - 2, 5*f + 33 = -2*v. Let m be (v - 0)*(-2)/4. Suppose -9 = -n - 5*y, -3*y - 30 = -m*n + 1. Is n a multiple of 7?
True
Let s(x) = x**2 + 7*x - 4. Let m be s(-8). Suppose -3*f + 14 = -m. Is 6 a factor of 4*f/(-4)*-2?
True
Suppose -i + 0*i + 34 = 2*p, -14 = -i + 2*p. Suppose -5*j + 4*d + 20 + i = 0, 2*j = -d + 28. Does 5 divide j?
False
Let d = 25 + 71. Does 6 divide d?
True
Let v = -77 - -42. Let p = -20 - v. Does 15 divide p?
True
Let t = 254 - 86. Suppose 2*y + t = 5*j, -y + 4*y = -5*j + 148. Is j a multiple of 32?
True
Suppose -4*l = -12, 4*b = 2*b + 3*l - 5. Suppose p - b*p + 32 = 0. Is p a multiple of 11?
False
Let n be 0 - (1 - 132/2). Suppose 4*b - 11 - 9 = 0. Suppose b*o = 4*l - n, -o + 4 = -l + 21. Is l a multiple of 10?
True
Let a be (-12)/(-8) - (-1)/2. Let b be (0 + 1)/((-2)/a). Let x = 9 + b. Is 4 a factor of x?
True
Let p(k) = -12*k - 8. Let a be p(-8). Suppose -s - 100 = -3*w, -3*w - 3*s + s = -a. Suppose 3*m - 73 + w = -4*n, -2*n - m + 23 = 0. Is 14 a factor of n?
True
Let j = 50 + -23. Does 9 divide j?
True
Let m(l) = l**2 - l + 1. Let n(q) = q**3 - 5*q**2 + 3*q. Let b be n(4). Let v(r) = -3*r**2 - 9*r + 8. Let h(w) = b*m(w) - v(w). Is h(8) a multiple of 11?
False
Let g(d) be the second derivative of d**5/120 + 17*d**4/12 + d**3/2 - 3*d. Let a(v) be the second derivative of g(v). Is 17 a factor of a(0)?
True
Suppose 3*g - 17 = 55. Is g a multiple of 7?
False
Let r(f) = -f**3 - 9*f**2 - 3*f + 5. Let c = 9 - 18. Does 11 divide r(c)?
False
Let k(a) = -96*a - 2. Does 25 divide k(-4)?
False
Suppose n - 33 = 4. Suppose 33 = 4*k - 7. Let w = n - k. Is 19 a factor of w?
False
Let l(j) = -j**3 - 5*j**2 - 6*j. Let g be l(-5). Suppose 0 = -4*c - p - 21, 0 = c + 4*c + 2*p + g. Does 13 divide (-59)/(-2) + 2/c?
False
Suppose 3*j + 332 = 2*h, 2*h + 304 = 4*h + 4*j. Does 20 divide h?
True
Sup