p - 17. Does 13 divide v?
False
Let z be ((-1)/(-3))/((-9)/297). Let f = z + 15. Does 14 divide 1096/26 - f/26?
True
Let i = 86 + -58. Let f = i + 4. Does 16 divide f?
True
Does 9 divide (-2)/(-1) + -4 + 13?
False
Suppose 2 = -3*s - 4. Does 17 divide s + -2*(-201)/6?
False
Let x be (-154)/(-8) + (-8)/32. Suppose 5*p - x + 4 = 0. Suppose 3*f = 4*w + 48 - 4, -f - p*w = -19. Does 7 divide f?
False
Let c(o) = -o**3 - 10*o**2 - 2. Let m be c(-10). Let f be 0*m/(-6) - -17. Let q = 37 - f. Is 9 a factor of q?
False
Suppose 3*n - 30 = 30. Suppose v - 30 = -4*h, h + h = 2*v + n. Let o(s) = s**2 - 5*s - 11. Is 13 a factor of o(h)?
True
Let g be 2*1/4*10. Suppose -188 - 52 = -g*c. Is c a multiple of 16?
True
Is 28 a factor of (-16)/(175/(-55) + 3)?
False
Let r(c) = c**3 + 4*c**2 - c - 1. Let u be r(-4). Is 85/3 - 1/u a multiple of 14?
True
Let g = -1 + 1. Let f = 1 + g. Let t(s) = 12*s + 1. Is 9 a factor of t(f)?
False
Let c = 50 + 6. Does 4 divide c?
True
Let s(z) = -z + 10. Let h be s(6). Suppose 3*l - 65 = m, 3*l - h*m - 49 = 4. Is 14 a factor of l?
False
Suppose -3*x - 2*o = 28 - 361, -2*o = 0. Is 25 a factor of x?
False
Let u(y) be the first derivative of 3*y**2/2 - 4*y + 3. Is u(3) even?
False
Suppose 3*s = 8*s - 10. Suppose d + s*d + 4*h = 50, -5*h + 15 = -d. Does 10 divide d?
True
Suppose -135 = -4*s + s. Let z(l) = -l**2 + 6*l - 5. Let r be z(5). Suppose r = 5*f - 5*k - s, 4*f - 5*k - 13 = 7*f. Is f a multiple of 2?
True
Let b = 412 + -288. Is 17 a factor of b?
False
Suppose -5*m + 2*g = -592, 2*g - 372 = -3*m - g. Is 24 a factor of m?
True
Let t(j) = -j**3 - j - j + 2*j**3 + 2*j**2 - 1. Suppose -2*a - 4 = -4*a. Is t(a) a multiple of 11?
True
Suppose -4*a - 11 = -3*a. Let l = a - -15. Suppose d - l = 4. Does 8 divide d?
True
Let r(k) = 43*k + 1. Let j be r(1). Suppose 106 = 4*a + m, 0 = a + a + 5*m - j. Suppose -w = 5*c - 80, -a = -c + w + w. Is c a multiple of 7?
False
Suppose 0 = -2*h - 9 - 7. Let w = h - -12. Suppose -w*o + 40 = -196. Is o a multiple of 20?
False
Suppose f - 2*h = 14, 0 = -3*f - 4*h + h - 3. Let i = 117 + f. Suppose -5*w = -2*w - y - 107, i = 4*w + 3*y. Does 18 divide w?
False
Let j be 1*5/((-10)/(-4)). Let a(q) = 5*q - 5. Does 2 divide a(j)?
False
Let w(f) = 2*f - 2. Let k be w(3). Let i be (-1)/k - 26/(-8). Suppose -31 = -i*h + 2. Does 4 divide h?
False
Is 14 a factor of 2/(365/(-185) + 2)?
False
Let m = -1 - -4. Suppose -k = -m*k + 60. Let t = k - 16. Does 7 divide t?
True
Let a be ((2 + 4)/(-2))/(-1). Suppose 125 = 5*p + a*n, -139 + 39 = -5*p + 2*n. Is 15 a factor of p?
False
Suppose 0 = -6*n + 4*n - 10. Let k = 6 + n. Let c = 11 - k. Is 10 a factor of c?
True
Suppose 7*p = 15*p - 968. Is p a multiple of 7?
False
Let t = -37 - -113. Is 19 a factor of t?
True
Suppose 2*u + 14 = l - u, -5*u = -3*l + 30. Suppose -3*b + 4 - 34 = -3*k, -l*b = 5*k - 20. Suppose c + x - 13 = 4, -c - 3*x + k = 0. Does 6 divide c?
False
Let q = -17 - -30. Let r = q - -17. Does 15 divide r?
True
Let l = 18 - 39. Let v(s) = s**2 + 6*s - 2. Let z be v(-4). Let r = z - l. Does 5 divide r?
False
Let k(r) = 149*r**3 - 2*r**2 + 2*r - 1. Let x be k(1). Let w = x - 60. Suppose 0 = -0*m - 4*m + w. Is m a multiple of 9?
False
Suppose -2*m + 5*u + 11 = -78, 0 = 2*m - u - 85. Is 12 a factor of m?
False
Let l = 10 + 4. Suppose -l*u = -13*u - 32. Is 8 a factor of u?
True
Let z(a) = a**3 - 7*a**2 + 2*a + 4. Let i be z(7). Is 15 a factor of i/81 + (-403)/(-9)?
True
Let m(t) = -t**3 - 6*t**2 - 4*t - 2. Let b be m(-5). Let p(s) = -7*s - 5. Is p(b) a multiple of 10?
False
Let y(f) = 16*f**2 - 1. Suppose -6*a - 2 = -3*a - q, -5*a + 2*q = 3. Is y(a) a multiple of 6?
False
Suppose 6*c - 605 = 415. Is 34 a factor of c?
True
Suppose v = -4*v + 15. Suppose 0*d - d + 36 = 0. Suppose -v*x = x - d. Does 9 divide x?
True
Let s(m) = 5*m**3 + m**2 - 2*m + 1. Let o be s(1). Suppose -4*u + 4*p = -19 - 61, -5*u - o*p + 110 = 0. Is 7 a factor of u?
True
Suppose 0 = 2*q + 3*q - 145. Is 6 a factor of q?
False
Let g = 25 - 7. Is g a multiple of 5?
False
Let w(m) = m**2 - 7*m + 3. Let k be w(7). Let t = 0 + k. Suppose -t*y - 72 = -7*y. Does 7 divide y?
False
Suppose 0 = -2*j + 3*j - 4. Suppose j*y - y = 15. Is 3 a factor of y?
False
Let i(u) = 12*u**2 + u + 1. Let a be i(-1). Let m = a - 5. Does 4 divide m?
False
Let b(l) = l**2 + 7*l - 2. Let u = -7 - -1. Let w be b(u). Let n = w - -36. Does 14 divide n?
True
Let d(u) = 127*u - 11. Is 29 a factor of d(1)?
True
Is 9 a factor of (-2)/2 - (-100)/5?
False
Let d be 7 - (0 + 0) - -2. Let f = d - -20. Does 13 divide (4 - 2)/(2/f)?
False
Let v(p) = -p**3 + 9*p**2 - 8*p + 5. Let o be v(6). Suppose -2*k = -461 + o. Suppose -121 = -3*q + 4*s, 34 = -4*q + 4*s + k. Is 22 a factor of q?
False
Let b(g) = 3*g**3 - 5*g**2 + 2*g. Is b(3) a multiple of 14?
True
Let g = 162 + -51. Suppose -2*d - d + 355 = -5*u, g = d + 2*u. Suppose 2*o + d = 7*o. Is 15 a factor of o?
False
Is (0 - 1) + (16 - -12) a multiple of 9?
True
Suppose -3*o + 2*o = 4. Let w be (-91)/o - 3/(-12). Suppose 2*f - z - 4 = f, w = 5*f - 2*z. Does 2 divide f?
False
Suppose 0 = s + 4, -2*s = -3*p + 3*s + 20. Let m(u) = u**3 - u**2 + u. Let c be m(p). Suppose 3*a - 10 = -b - 0*b, c = 4*a + 8. Is 8 a factor of b?
True
Let i(y) = 3*y**2 + 13*y + 15. Let r(x) = 7*x**2 + 26*x + 29. Let d(l) = 5*i(l) - 2*r(l). Is d(-13) a multiple of 4?
False
Let n(j) = -2*j**2 - 26*j - 6. Is n(-11) a multiple of 19?
True
Let w(f) = 2*f - 6. Let c be w(4). Suppose 2*x = 4*x - 5*s - 16, c*x - 4 = -s. Does 2 divide x?
False
Let h = -14 - -106. Is h a multiple of 16?
False
Let g(o) = o**3 + 3*o**2 + 2*o + 4. Let v be g(-4). Let p be 4/(-14) + 452/14. Let s = p + v. Is 4 a factor of s?
True
Is -20*(6/(-4) + -1) a multiple of 11?
False
Suppose -4*g + 1 = -3. Does 13 divide (2*26/4)/g?
True
Let w be (1 + -2)*(-1 - -9). Let z = 12 + w. Suppose -2*p - 64 = -z*p. Is 11 a factor of p?
False
Suppose 8 - 4 = u. Suppose -3*b + b = -l + 17, u*l - 44 = 2*b. Is l a multiple of 9?
True
Let j = -28 - -82. Suppose 3*h - 2*a - 27 = a, -2*a = -5*h + j. Is 11 a factor of h?
False
Let u(g) = -g**3 + 12*g**2 + 15*g - 13. Is 4 a factor of u(13)?
False
Suppose 4*d - 12 = 60. Is 6 a factor of d?
True
Let b = 2 - 0. Suppose b*k - 39 = -k. Is 13 a factor of k?
True
Let q = -145 - -168. Is 5 a factor of q?
False
Suppose -g = -6*g. Suppose 4*a - 48 + 16 = g. Is a a multiple of 6?
False
Let n(g) = -16*g**2 - 5. Let f(k) = -3*k**2 - 1. Let r(y) = 11*f(y) - 2*n(y). Let q be r(2). Let d = 9 - q. Does 11 divide d?
False
Let i(u) = -u + 34. Does 9 divide i(16)?
True
Let j be (-2)/(-11) + (-40)/(-22). Suppose 3*p - 2 = j*p. Let w = 0 + p. Is w even?
True
Let i be 2/(-10) + (-5)/(-25). Suppose i = -3*r + 4*r - 18. Does 18 divide r?
True
Let q = -33 - -67. Does 17 divide q?
True
Suppose y + 2*h - 50 = 0, 2*y - 3*h - 100 = -h. Is 10 a factor of y?
True
Let p(v) = -v**3 + 2*v**2 + 5*v - 3. Let q be p(3). Let h(u) = u - 2. Let x be h(6). Suppose -x*k + q*k + 22 = 0. Is k a multiple of 9?
False
Suppose 3*n = n - 3*u - 11, n - 2*u - 12 = 0. Suppose -r - 5 = -1, -4*r = n*i - 26. Is 15 a factor of i?
False
Let v = 2 + -1. Let t be v - (0 - -1)*-1. Suppose t*z + 0*z = 16. Is z a multiple of 3?
False
Suppose -2*f - 6 = -0*f. Let c(m) = 2*m + 8. Let b be c(5). Is f - (-6)/4*b a multiple of 7?
False
Does 27 divide ((-2)/(-4))/(((-6)/(-2))/204)?
False
Does 15 divide 4/(-14) + (-2040)/(-84)?
False
Let z = 23 + -10. Suppose -6*m = -m + 4*j - 15, m + 4*j = -z. Is 7 a factor of m?
True
Suppose -2*q = -2*s + 22, -2*q + 6 - 76 = -5*s. Is 16 a factor of s?
True
Suppose -4*j = -121 + 13. Does 15 divide j?
False
Suppose 4*s - 4*r - 292 = 0, 371 = 5*s - 5*r + 3*r. Let v = s - 41. Suppose 4*u - 14 = v. Does 6 divide u?
True
Let a = -4 - -9. Suppose 0*d - 4*x = -2*d + 36, -2*d = a*x. Is d a multiple of 10?
True
Is 11 a factor of 1/2 + 225/6?
False
Let p = 155 - 108. Does 6 divide p?
False
Let a(r) = 9*r - 5. Let i be (-2)/(-4)*(7 + -1). Is a(i) a multiple of 19?
False
Let x(m) = 7*m - 4. Let f be x(3). Let s = 17 + f. Is s a multiple of 12?
False
Let o = 100 + -40. Is 12 a factor of o?
True
Suppose 4*c + 2 = 2*s, c - 6*s + 2*s + 11 = 0. Let w(k) = 271*k**2 - 1. Let z be w(c). Suppose f = 6*f - z. Does 18 divide f?
True
Let y(m) = 2*m - 2. Let b(g) = -g**2 - 7*g + 2. Let 