tiple of 13?
False
Let k be (1/2)/(3/6). Let z = k - 3. Let d = 9 + z. Is d a multiple of 4?
False
Suppose 2*y = -33 - 11. Let c = 47 + y. Suppose 3*z = -p + 1, 3*p = -p - 5*z + c. Is 5 a factor of p?
True
Let f(u) = -u + 2. Let a be f(-2). Suppose 4*d - 56 = j, j = -0*j + a. Is 12 a factor of d?
False
Suppose -3*a - 4 = -5*n, 5*n + 5*a + 16 = 4*n. Let z(c) = -c**2 - 12*c - 10. Let j be z(-13). Let v = n - j. Does 10 divide v?
False
Suppose 2*i - 57 = 23. Is 10 a factor of i?
True
Let u = 56 - 10. Is 5 a factor of u?
False
Let z = 6 + -5. Let k be (z + 0)/((-4)/(-8)). Suppose -k*p + 0*p - 2*f = -92, -2*p = -5*f - 106. Is 24 a factor of p?
True
Let o(g) = 19*g**3 - 4*g + g - 1 + 3*g. Let z be o(-1). Is z/15*(-33 - 0) a multiple of 22?
True
Let l be (-19)/2 - (-6)/(-12). Let d be (12/(-10))/(l/25). Suppose d*z = -z + 76. Does 19 divide z?
True
Suppose 4*q - 24 = 2*q. Is (-28)/q*(-9 + 0) a multiple of 14?
False
Let j(v) be the second derivative of -1/3*v**3 + v - 9/2*v**2 + 0. Is 2 a factor of j(-7)?
False
Let s(g) = -g - 3*g**2 - 5*g - 4 - 2*g**3 + 4*g + 1. Let r be s(-3). Suppose -35 = -3*i + o, -r = -4*i - o - o. Does 4 divide i?
False
Let p(f) = 63*f**2 - f + 2. Does 8 divide p(1)?
True
Let s be 16/6 + (-2)/3. Let n(i) = -3*i - 32. Let t be n(-20). Suppose u = -3*u + p + 44, s*p = 3*u - t. Is 7 a factor of u?
False
Let u(w) = 7*w**2 - 1. Let b be u(-1). Let n = b - 4. Does 12 divide (-8)/(8/6 - n)?
True
Suppose -187 = -5*m - 37. Is 12/(-2 + m/14) a multiple of 25?
False
Suppose 5*p - 5*h - 335 = 0, 2*p + p - 211 = -2*h. Suppose p = -3*u + 6*u. Does 8 divide u?
False
Suppose 0 = w - 43 - 6. Is w a multiple of 9?
False
Suppose -4*f + 0*f + 612 = 0. Suppose -57 = 4*h - f. Is h a multiple of 12?
True
Let l be 2 + (-2 - 1*20). Does 7 divide (16/l)/((-1)/10)?
False
Let x(h) = h**3 + h**2. Let q be x(1). Let j = -3 + q. Is ((-4)/(-8))/(j/(-38)) a multiple of 12?
False
Let i(r) = r**3 + 2*r**2 - 2*r + 2. Let g be i(-3). Let w(x) = -20*x**3. Is w(g) a multiple of 16?
False
Let b = 20 + 38. Let j = b - 23. Is j a multiple of 15?
False
Let c(v) = 7*v**2 - 2*v**3 - 12 + 2 + v**3 + 13*v. Is c(8) a multiple of 15?
True
Let q = 58 + -28. Suppose 3*t = -5*f - 37, -q = 2*f - 0*t + 5*t. Does 6 divide 2 + f/(10/(-8))?
True
Let s(a) = -12*a + 4. Let t be s(-6). Let m(i) = -i**3 + 16*i**2 - 18*i. Let f be m(15). Let g = f + t. Is 16 a factor of g?
False
Suppose 2*h + y - 44 - 25 = 0, -3*h + 5*y + 71 = 0. Is h a multiple of 32?
True
Suppose 5*w = 5*r + 95, 3*r + 7 = 2*w - 34. Is w a multiple of 8?
True
Let x be 3*(-3)/(-18)*126. Let p be (-2)/9 - 490/x. Does 19 divide ((-76)/(-16))/((-1)/p)?
True
Let z be 53/4 + (-4)/16. Let p = 19 - z. Let f = 11 - p. Does 2 divide f?
False
Let y(m) = -m + 9. Suppose -3*z = 2*o + 34, -4*z + 6 = -2*o - 0*z. Let r be y(o). Suppose 65 = 3*s + r. Is 8 a factor of s?
False
Let n be (-2)/4*(-38 - 0). Let m = 8 + -4. Let h = n - m. Is h a multiple of 5?
True
Let k = 61 - 39. Is 9 a factor of k?
False
Let i(p) = 13*p - 1. Let r be i(1). Suppose g = o + 30, -145 = -8*g + 3*g + 4*o. Let k = g - r. Is k a multiple of 7?
False
Suppose f = -3*f + 20. Suppose -2*x = -5*s + 24, -8*x + 3*x - 30 = -f*s. Suppose s*p = -3*j + 27, -2*p + j - 11 = -4*p. Is 2 a factor of p?
False
Let n be ((-40)/(-6))/((-4)/(-12)). Is (n/12)/((-2)/(-24)) a multiple of 17?
False
Let g be (-3)/(-2)*(-1 - -3). Suppose 0*i + 2*i + 12 = 4*z, -g*i + 5*z - 13 = 0. Does 4 divide i?
True
Suppose 0 = -2*t + 3*m + 4940, -t + 2425 = m - 35. Does 19 divide t/49 + (-2)/7?
False
Let f be (11/2)/(1/2). Suppose -5*i - f - 30 = -x, 0 = 4*x - 5*i - 149. Is 12 a factor of x?
True
Let t(j) = -8*j + 1. Is t(-3) a multiple of 12?
False
Suppose 2*n = p + 148, n + 4*n = 2*p + 368. Is 8 a factor of n?
True
Suppose 4*o - 840 = -o. Is 16 a factor of o?
False
Let y = 9 - -18. Is 6 a factor of y?
False
Let g = -72 - -168. Is g a multiple of 12?
True
Suppose 2 = w - 3*t - 1, 4*w - 12 = -3*t. Let p(h) = 2 + 1 + w*h + h**2 - 1. Is p(-5) a multiple of 12?
True
Suppose 0 = b - 4*b + 5*j + 32, 3*j = -b - 8. Suppose -y - 5*s + 24 = 0, 0 = -6*y + 2*y - b*s + 176. Is y a multiple of 17?
False
Let o be 126/3*(-1)/2. Let g = o - -46. Is 16 a factor of g?
False
Let p be 1/(-5) + (-1442)/(-10). Suppose z - p = -5*q - 12, -5*z + 120 = 5*q. Is q a multiple of 9?
True
Suppose b = -3*l + 1, -2*l + 18 = 4*b + 3*l. Does 12 divide b*2*(0 + 3)?
False
Let y = 108 - 52. Is 28 a factor of y?
True
Let l(w) = -w**2 + 8*w + 2. Let h be l(7). Suppose 3*i - h = 45. Is i a multiple of 6?
True
Let s(r) = -32*r + 9. Let l(u) = -11*u + 3. Let h(i) = 17*l(i) - 6*s(i). Is h(5) a multiple of 9?
False
Suppose 25 = -5*f, -2*w + 5*f - 210 = -7*w. Suppose w + 1 = 4*r. Does 6 divide r?
True
Let j be 584/6 - 3/9. Suppose 0 = 5*f + 5*i - 13 - j, 4*f - 3*i = 60. Is f a multiple of 9?
True
Is (-3)/(2 + (-63)/31) a multiple of 25?
False
Let t(x) = -x**3 - 14*x**2 + x + 18. Let y be t(-14). Suppose 50 = -0*c + 2*c + y*z, -3*z + 60 = 3*c. Does 8 divide c?
False
Let j(c) = -7*c - 3. Let p(k) = -10*k - 5. Let v(f) = 7*j(f) - 5*p(f). Let t be v(0). Let z(h) = h**2 - 3*h + 4. Is 8 a factor of z(t)?
True
Suppose -52*z + 56*z = 336. Does 21 divide z?
True
Suppose 4*z + 268 = 4*r, r + 0*z = 2*z + 67. Is r a multiple of 6?
False
Let q(r) = 0*r**2 - 1 + 0*r**2 - r**2 + 2*r**2. Let c be q(2). Let n = c + 23. Is 13 a factor of n?
True
Suppose -3*w - 1 = 2. Let y = 22 + w. Let k = y + -14. Is 6 a factor of k?
False
Let y be 42*2/4 + -3. Suppose -2*s = -s - y. Is 18 a factor of s?
True
Let k(u) = 8*u - 20. Does 6 divide k(5)?
False
Let o = -3 + 15. Is 12 a factor of o?
True
Let i = -117 - -236. Is 26 a factor of i?
False
Let j = -60 - -89. Let k(w) = w**2 - w + 10. Let s be k(0). Let u = j - s. Is u a multiple of 13?
False
Let l be (3/1)/((-3)/99). Let m(i) = i**3 + 10*i**2 - 16*i - 12. Let g be m(-10). Let w = l + g. Does 18 divide w?
False
Suppose 0*f + 15 = 5*f. Suppose -6*x + f*x = -78. Is x a multiple of 13?
True
Let g = 23 - -9. Is g a multiple of 8?
True
Let r = -4 + 5. Let u(d) = d**2 - 6*d - 8. Let w(q) = -q. Let a(b) = r*u(b) - 4*w(b). Is a(6) a multiple of 8?
True
Let n(c) = -4*c**2 - c - 3*c**3 + 4*c**2 + 0*c**3. Is n(-2) a multiple of 9?
False
Suppose 8 = 2*q, 0*z + 7 = 3*z - 2*q. Suppose -5*a + 0*a - z = 0. Let h = a - -14. Does 13 divide h?
True
Let x(p) = -p + 12. Let b be x(7). Let o(m) = -m**2 + 8*m - 7. Let l be o(b). Does 6 divide (-4)/l - (-26)/4?
True
Let r(p) = -p**3 + p**2 + p + 13. Let z be 6/(-21) - 4/(-14). Is r(z) a multiple of 5?
False
Let o(d) = d**2 + d - 9. Is o(5) a multiple of 14?
False
Let c(v) = -2*v - 7. Let f be c(-6). Suppose f*z = z + 104. Is 13 a factor of z?
True
Suppose -151 = -5*n + 39. Is 14 a factor of n?
False
Let k be (2 + 2)/(1*-1). Let h be 27 + (-1)/2*k. Is 17 a factor of (h*-1)/(1/(-1))?
False
Let o = -8 + 8. Let u(r) = r**2 + 5*r - 5. Let g be u(-6). Suppose o = j - 7 + g. Is 6 a factor of j?
True
Suppose -6*p = -p - 640. Is 14 a factor of p?
False
Let g(d) = -d**3 + 4*d**2 - d - 4. Let n(f) = f**3 - 4*f**2 - 4*f - 2. Let m be n(5). Let r be g(m). Suppose -u = 0, r*x - 7*x - 3*u = -115. Does 16 divide x?
False
Suppose -x = 3*x - 160. Let z = x - -8. Suppose 2*o = -0 + z. Is o a multiple of 12?
True
Let l = 26 - 18. Suppose l*k - 4*k - 104 = 0. Does 13 divide k?
True
Let m = 5 + 1. Let w(o) = o**3 - 5*o**2 + 3*o - 8. Is w(m) a multiple of 12?
False
Suppose 2*h - w = 13, 32 = 2*h + 2*h - 4*w. Suppose 68 = -o + h*o. Is 17 a factor of o?
True
Let b(f) = 6 - 5 - 3 + 7*f + 3. Is 22 a factor of b(3)?
True
Let k(w) = w**2 + 2*w + 5. Is 19 a factor of k(-7)?
False
Let m(o) = o**2 + o + 2. Let h be 12/(-7) - (-2)/(-7). Let b be m(h). Suppose 4 = -b*l + 4*q, -l = q - 3 - 2. Is 2 a factor of l?
True
Suppose 4*o = 3*l + 32 + 6, -2 = 2*o. Let k be 2*(l/(-4) - 2). Let v(u) = u**3 - 3*u**2 + 3*u + 3. Is 6 a factor of v(k)?
True
Let w = 288 - 164. Suppose -5*n - 39 = -w. Does 17 divide n?
True
Suppose 2*y + 5 = 61. Does 28 divide y?
True
Suppose 5*j + 78 = 188. Is j a multiple of 11?
True
Suppose -2*t + 2 = -4*t. Is 22 a factor of 3 + 1/t + 54?
False
Suppose -4*p + i + 1792 = 0, -4*p + 2240 = p - 2*i. Suppose r - 2*w = 71, 2*w - 109 = 5*r - p. Does 18 divide r?
False
Let l(u) = 7*u - 1. Let y be l(1). Let a = -41 - -