85 + -202. Is z a multiple of 14?
False
Suppose 19*v - 21*v + 32 = 0. Is v a multiple of 4?
True
Does 18 divide (54/(-1))/(18/(-12))?
True
Let w be (-30)/(0 - 6/4). Is 13 a factor of 65*(-3 - (-68)/w)?
True
Let p(k) = -k - 5. Let j be p(-7). Suppose j*u = -u. Suppose -5*w - 12 = -c - w, -2*c - 3*w + 46 = u. Is c a multiple of 8?
False
Let a(f) = f**3 + f**2 - f. Let s be a(0). Suppose 0 = -4*p - s + 40. Does 4 divide p?
False
Let v = 10 - -9. Suppose -d + v = -3*j, -3*d - 2*j + 2 = -0*d. Is d even?
True
Let o = -2 - -38. Suppose o + 20 = 4*b. Is 7 a factor of b?
True
Let o(c) = c**2 - 6*c - 16. Is 16 a factor of o(13)?
False
Suppose -8*w + 88 = -7*w. Does 14 divide w?
False
Suppose -3 + 6 = -3*m, -5*m - 95 = -3*n. Does 10 divide n?
True
Let q = 31 + 5. Suppose 7*l = 4*l. Suppose l*s + 4*t + q = 2*s, t = -4*s + 72. Does 18 divide s?
True
Let j(y) = -3 + 0*y**3 - 10*y**2 + 3 - y**3 - 12*y. Let l be j(-10). Suppose g + 2*g = l. Is g a multiple of 20?
True
Suppose 2*c - c + 5*k - 39 = 0, 2*k = 3*c - 66. Is c a multiple of 19?
False
Let i(l) = 7*l - 4. Is i(7) a multiple of 9?
True
Let x(f) = -2 + 21*f**2 + 1 + f + 0*f. Is 10 a factor of x(1)?
False
Suppose -3*j + 6 = -5*b - 24, 3*j = -2*b + 9. Suppose j*w - 276 = -81. Is 13 a factor of w?
True
Let l be 1/(2/10*1). Let y(k) be the second derivative of k**3/6 + 7*k**2/2 - 3*k. Is 9 a factor of y(l)?
False
Let j = -80 + 125. Does 9 divide j?
True
Let v = 44 - 28. Let n = v - -2. Suppose -3*d + w + 74 = 0, -n - 66 = -4*d + 5*w. Is 13 a factor of d?
True
Let f(l) = -l**3 + 6*l**2 - 1 - 3*l + 0*l + 0*l**3 + 4*l. Suppose 16 - 46 = -5*i. Does 4 divide f(i)?
False
Suppose 0*y - 3*y = 3*g - 60, 0 = 2*g + 3*y - 42. Suppose 7 = 5*k - g. Suppose -5*t + 143 = 2*u - 11, -k*t + 148 = -u. Is t a multiple of 13?
False
Suppose -5*n - 2*x + 7 + 3 = 0, 2*x = 5*n + 10. Suppose 5*p + 3*o + 497 = n, o + 254 = -3*p - 45. Let w = 142 + p. Does 14 divide w?
True
Suppose -5 = -3*t + 4. Suppose -t*c + 3*q + 21 = 0, -5*q + 3*q - 8 = 0. Suppose 4*s - 2*k - 124 = c*k, 4*k = 0. Does 13 divide s?
False
Suppose -v + 0*v + 36 = 0. Let x(u) = -3*u - 8. Let k be x(6). Let q = k + v. Is 4 a factor of q?
False
Suppose 0 = f + 3*f - 8, 14 = 2*i + 3*f. Suppose i*d - 6*d + 10 = 0. Let q = 22 - d. Is q a multiple of 7?
False
Suppose -48 = -4*q - 2*z, 3*q - 33 - 5 = -z. Does 6 divide q?
False
Let x(g) = g**2 + 5*g - 2. Let b be x(-4). Let l = -6 - -3. Does 2 divide b/(-4)*(-4)/l?
True
Does 7 divide 1*(-2 - -6 - (1 + -108))?
False
Suppose -x - 579 = -4*i - 6*x, 3*i - 463 = 2*x. Is i a multiple of 30?
False
Suppose -k = -4 + 1. Let o be (-1)/(-3) - 1/k. Suppose -2*m = y - 15, 5*y + 3*m - 82 = -o*y. Does 7 divide y?
False
Let s(j) = j - 6. Let c be s(8). Suppose -2*y - 68 = c*y. Let l = y - -32. Does 15 divide l?
True
Suppose 0 = 4*w + 4*r + 48, r = -3*w + 2 - 28. Is 94/14 + (-2)/w even?
False
Let r = -3 - -1. Let a be (-2)/2 - (-1 - r). Does 22 divide 3/a*(-172)/3?
False
Let q = 26 + -14. Suppose -3*m + 36 = q. Is 4 a factor of m?
True
Let d be -1 - -2 - (-4)/(-4). Suppose d = o - 2*w - 23, 3*o = -o + 2*w + 86. Is 8 a factor of o?
False
Let z = -924 - -1308. Is z a multiple of 48?
True
Suppose -3*m - 2*m = -500. Is 26 a factor of m?
False
Let r(y) = -15*y - 3. Does 18 divide r(-5)?
True
Let l = 78 + -33. Does 27 divide (6/(-5))/((-1)/l)?
True
Let f = -14 - -16. Suppose f*h + 15 = -h, -4*h = -5*o + 170. Does 10 divide o?
True
Suppose -3 + 12 = -3*t + 3*l, -2*t - l + 9 = 0. Is t a multiple of 2?
True
Suppose -x - s + 55 = 0, -4*s - s = 2*x - 122. Suppose 0 = t - 2*f + 31, 5*t - f + 62 + 102 = 0. Let n = x + t. Does 10 divide n?
False
Let b = -14 - -16. Is (224/40)/(b/10) a multiple of 7?
True
Let v(n) = 4*n**2 + 3*n - 8. Let d(h) = 3*h**2 + 3*h - 8. Let s(k) = 3*d(k) - 2*v(k). Suppose 0 = 3*p + 3 + 18. Is 10 a factor of s(p)?
True
Suppose 3*x - 295 + 43 = 0. Is x a multiple of 11?
False
Suppose -5 = -p - n, 4*p + 4*n - 7*n - 20 = 0. Suppose 220 = p*m + 25. Is m a multiple of 14?
False
Let o be (-74)/(-14) + (-2)/7. Suppose 1 = g - o. Is 15 a factor of ((-42)/5)/(g/(-15))?
False
Let g be (-57)/(-6) - (-1)/2. Is 5 a factor of (-4)/(-10) + 206/g?
False
Let d(i) = i**3 - 3*i**2 + 2*i - 2. Let k be d(4). Let x = -15 + k. Is 7 a factor of x?
True
Suppose -7*f - 154 = -9*f. Let t = f + -22. Is t a multiple of 11?
True
Let o be -13 + (0/(-3))/1. Let d be (-6)/9 - o/(-3). Is ((-48)/10)/(d/25) a multiple of 12?
True
Let t(j) = 2*j**2 - 6*j. Let z(r) = -r**2 + 3*r + 4. Let k be z(3). Does 5 divide t(k)?
False
Suppose -3*f - 30 = 2*f. Let t(v) be the third derivative of v**5/60 - v**3 + v**2. Does 12 divide t(f)?
False
Let c(h) = -59*h**3 + h**2 + 3*h + 1. Does 25 divide c(-1)?
False
Suppose 550 = d - 6*d. Is 12 a factor of d/(-6) + 12/18?
False
Suppose -4*d = d - 65. Let f be (-2)/(-6) + 2/(-6). Let h = d + f. Is h a multiple of 13?
True
Let t be (-36)/28 + 4/14. Let j = t + 1. Does 11 divide (-3)/((-1)/6 + j)?
False
Suppose 15 = -s + 92. Does 7 divide s?
True
Suppose -4*f = -0*a - 5*a - 1, -2*f + 5*a = -3. Let s = 5 - f. Is 6 a factor of s?
True
Let c(f) = f - 5. Let v be c(7). Let h be (1/(-1))/(v/2). Is (h + -8)*(-2)/6 a multiple of 3?
True
Suppose -3*j + 7*j = -24. Let k be (15/10)/(j/16). Is 10 a factor of (-6)/k + (-29)/(-2)?
False
Suppose -3*u = 2*u - 45. Let z(l) = 2*l - 1. Let q be z(-1). Does 17 divide u/q + -2 + 61?
False
Is 25 a factor of (20/(-6))/((-4)/60)?
True
Let y be (1 + -2)*(-4)/2. Suppose -85 = -3*l - y*l. Does 17 divide l?
True
Suppose 0 = 4*p + 19 - 91. Is 8 a factor of (0 - 2) + p/1?
True
Let k(s) be the third derivative of s**8/20160 + s**7/5040 - s**6/120 - s**5/20 + s**2. Let g(w) be the third derivative of k(w). Is g(-5) a multiple of 7?
True
Suppose 4*y + 0*y = 5*i + 22, 0 = 5*i + 10. Does 18 divide 4/(-6) - (-110)/y?
True
Let g = 18 - 10. Let w = 14 - g. Is w a multiple of 3?
True
Suppose 0 = 2*j - 6*j + 40. Suppose 0*u - u + j = 0. Is 4 a factor of 1/(0 - 1) + u?
False
Let i be (-7)/(-14)*(0 - -6). Suppose -4*f - i*d = -37, 2*d - 7 = -17. Is f a multiple of 13?
True
Let o = 8 - -8. Is 4 a factor of o?
True
Suppose -i = -2*c + 4 - 2, 3*i = 4*c - 8. Let q be (2 - (c + 3))*-1. Suppose 3*r - 33 = -q*r. Is 11 a factor of r?
True
Let t = 100 + 9. Is t a multiple of 60?
False
Let w = -13 - -19. Let j = 10 - w. Suppose -j*k = -2*k - 46. Does 13 divide k?
False
Let u be (0 + (0 - 0))/(-2). Suppose u = 4*t - 30 - 18. Does 6 divide t?
True
Suppose -6*u + 0*u + 546 = 0. Does 7 divide u?
True
Let y(s) = 4*s - 14. Let v be y(6). Is (2 - (-3)/(-6))*v a multiple of 5?
True
Suppose 2*m - 5*m + 34 = 5*b, 5*m + 3*b - 46 = 0. Let v = 23 - m. Is v a multiple of 12?
False
Suppose -2*u - 43 = -3*p - 4*u, -4*p = 5*u - 62. Let v = p + -8. Is 5 a factor of v?
True
Suppose 0 = -2*s + 8. Let h = -2 - 0. Does 16 divide h*2/s + 36?
False
Let n be (-2 - 0)*(-10)/4. Let s(i) = i**3 - i**2 + 5 - 3*i - 2*i**2 - 4*i. Is 10 a factor of s(n)?
True
Suppose 0 = 10*a - 5*a - 420. Does 15 divide a?
False
Let x = -13 + 16. Is x/3 - (1 + -22) a multiple of 22?
True
Let s(u) be the second derivative of u**4/12 - u**3 - 3*u**2/2 + 7*u. Does 13 divide s(11)?
True
Does 24 divide (12 - 0)/((-9)/(-18))?
True
Suppose -6*f = -197 + 23. Is f a multiple of 13?
False
Let v(w) = 2*w - 3. Let c be v(-6). Let t = 13 - c. Is 14 a factor of t?
True
Let n be (5 - 2)*(-20)/6. Let y be n/(-4)*(-1 - -3). Suppose 5 = b - y. Is 10 a factor of b?
True
Is (-103)/(-2) - 3/6 a multiple of 12?
False
Let j(f) = 21*f - 2. Let d be j(-2). Let y = d - -74. Is y a multiple of 10?
True
Let s = 5 - -4. Suppose -2*w + s = -w. Does 6 divide w*(16/(-3))/(-4)?
True
Let f(n) = 3*n**2 + 6*n - 9. Is f(4) a multiple of 8?
False
Suppose -10*b + 2*b + 592 = 0. Does 33 divide b?
False
Let c(v) be the second derivative of -v**5/20 + v**4/3 - v**3/2 + 3*v**2/2 - 2*v. Let w be c(3). Does 16 divide ((-2)/w)/((-6)/432)?
True
Suppose -35 = -4*w + 4*o + 13, -6 = 3*o. Is 16 a factor of 6/(-4) - (-335)/w?
True
Suppose 34 = 3*f + 5*c, 1 = c - 2*c. Does 2 divide f?
False
Suppose -5*h + 10 = 2*w, -6*h + 10 = -h + 4*w. Suppose 0 = -5*t - 3*l + 83, 22 = 3*t - h*l - 24. Does 8 divide t?
True
Suppose 6 + 0 = 3*b, 0 = 4*z - 3*b - 2. Suppose -4 = -0*f - z*f. Suppose f*w - 53 - 67 = -4*g, w + 114 = 4*g. Is 11 a factor of g?
F