Let z = 49 + f. Is z a multiple of 10?
True
Is 20 a factor of 4*(-1 - (-19 - -3))?
True
Let g = -70 + 103. Let u = -1 + g. Does 14 divide u?
False
Suppose 2*f = -7*f + 1260. Is f a multiple of 35?
True
Let j(h) = -h**2 - 7*h + 1. Let t be j(-6). Suppose t*c - 3*c - 64 = 0. Does 8 divide c?
True
Let z(x) be the second derivative of -x**3/6 - 3*x**2 + x. Let j be z(0). Is (4 - 0)/(j/(-42)) a multiple of 14?
True
Let q(y) be the third derivative of y**7/1260 + y**6/120 + y**5/60 - y**2. Let g(v) be the third derivative of q(v). Is 15 a factor of g(6)?
True
Let q = -17 - -37. Suppose 12 = -2*u - 3*a, -u - 5*a - q = 3*u. Suppose 4*y = -2*k + 16, u = 4*k - 5*y + 4 - 23. Is k a multiple of 3?
True
Suppose -95 = -2*l + 61. Suppose -4*a = -0*a - t - l, 3*t = a - 14. Is 10 a factor of a?
True
Let m(w) = -2*w**2 + 4*w**2 + 2*w**2 - w + 2*w + 1. Let c be m(-1). Suppose -3*f = -c*z - 27 - 10, 3*z - 66 = -4*f. Is f a multiple of 15?
True
Let c(n) = -n**2 + 4*n + 5. Does 2 divide c(4)?
False
Let d(s) = -2*s - 8. Is d(-6) even?
True
Let o = -1 + 1. Let a be 32/6 + (-2)/(-3). Let d = o + a. Does 3 divide d?
True
Suppose -9*w + 14*w - 85 = 0. Let s(l) = -2*l - 2. Let g be s(-2). Suppose -w = -g*v + v. Does 17 divide v?
True
Let s(u) = u**3 + 4*u**2 + u. Let b be s(-3). Let t be ((-20)/b)/((-2)/48). Suppose 2*q - 2*h - 34 = 2*h, -4*q = -4*h - t. Is 8 a factor of q?
False
Suppose 4*u + f - 56 = 0, -2*u = 3*u + 5*f - 70. Does 2 divide u?
True
Let a(t) be the second derivative of -t**5/24 - t**4/12 + t**3/3 + t. Let k(u) be the second derivative of a(u). Is 3 a factor of k(-2)?
False
Suppose 5*b - 109 = -5*g - 14, 4*g - 46 = -2*b. Suppose -3*c + 33 = -b. Is 4 a factor of c?
True
Let z = 212 - 15. Does 22 divide z?
False
Let g = -11 + 26. Is g a multiple of 13?
False
Is 21/(-7) + (-2 - -110) a multiple of 12?
False
Let g(c) = 0 + 0 - 9*c**3 + c**2 - 14*c**3. Suppose -6*z - 15 = -z + 2*n, 2*z + n = -7. Does 8 divide g(z)?
True
Let s(l) = 4*l - 24. Let h(d) = d. Let a(i) = 8*h(i) - s(i). Is a(12) a multiple of 22?
False
Suppose 7 = -b + 17. Does 9 divide b?
False
Let q be (28/(-12))/((-1)/(-3)). Let r = q + 10. Is 10 a factor of 1 + r/(-1) + 22?
True
Is (124 + -1)*18/27 a multiple of 17?
False
Suppose -4*d + 450 = d. Is 30 a factor of d?
True
Suppose -4*a - 16 = -0*x + x, -4*x = -5*a - 41. Let r be 27/6*(-50)/(-15). Suppose -k = -x*k + r. Does 5 divide k?
True
Let d(m) = -m - 3. Let j be d(-6). Does 25 divide (j - 1) + (-110)/(-2)?
False
Let b be (-92)/(-12) + (-2)/(-6). Let s = b + -5. Let t(m) = 5*m + 1. Does 8 divide t(s)?
True
Suppose h - 66 = -h. Is 11 a factor of h?
True
Suppose -4 = 2*s + 2*w - 0, -4*w - 6 = 5*s. Suppose 3*i = s*i + 51. Does 16 divide i?
False
Let c(w) be the first derivative of w**2/2 + 3*w - 2. Is 3 a factor of c(3)?
True
Suppose -4*o + 453 = -371. Is 12 a factor of o?
False
Let m(s) = 2*s - 2. Suppose x - 27 = -3*o + 15, -2*o + 148 = 4*x. Suppose -x = -5*u - w, 0 = 3*w + 2*w - 5. Is m(u) a multiple of 12?
True
Let x = -6 - -8. Suppose 5*w - 5 = -2*v + v, -x*v + 10 = 0. Let z(f) = f + 11. Is 11 a factor of z(w)?
True
Suppose 5*x + 25 = -55. Is 162/(-4)*x/12 a multiple of 19?
False
Let b(v) = -9*v - 5. Let h be b(4). Let l = h + 57. Suppose -m + l = -15. Does 13 divide m?
False
Let z = -3 + 5. Suppose z*m + m = 87. Is m a multiple of 15?
False
Suppose -n - 5*z + 5 = 15, -4*z - 12 = 0. Suppose 10 = 3*x - n. Is (x*2)/((-4)/(-8)) a multiple of 11?
False
Let w(c) = -c**2 + 4*c - 3. Let x be w(4). Does 3 divide ((-1)/(-3))/(x/(-36))?
False
Let o(q) be the first derivative of -3*q**2/2 + 2. Let i = -1 - 5. Does 16 divide o(i)?
False
Suppose 3*o - 4*d = -1, -o - 2*o - 3*d = 15. Let p(k) be the second derivative of k**4/12 - k**3/6 - k**2/2 + 2*k. Is 11 a factor of p(o)?
True
Let x(r) = -r**3 + 9*r**2 - 8*r - 2. Let g be x(8). Let p = g - -10. Does 6 divide p?
False
Let q = 122 + 2. Is 4 a factor of q?
True
Let s(t) = t**2 + 11*t + 15. Let n be s(-10). Let y(q) = q**3 - 4*q**2 - 6. Let g be y(n). Suppose -5*h = -g - 11. Is h a multiple of 3?
True
Suppose 7*c - 20 = 2*c - 5*x, -5*x = -3*c + 12. Suppose t - 2*f = c*t - 28, 4*t = -f + 44. Is t a multiple of 12?
True
Suppose 0 = 2*t + 3*t - 270. Is 13 a factor of t?
False
Suppose -5*p = 4*n - 35, 3*n + 8 = 5*p - 27. Suppose 0 = -3*j + 6, -z - 2*j + p = 1. Suppose 7 = z*o - 1. Does 2 divide o?
True
Let w(c) = -43*c**3 + c**2 - c - 1. Does 10 divide w(-1)?
False
Let k(m) = 10*m**2 + 3*m + 2. Is k(-2) a multiple of 9?
True
Let s(d) = d. Let c(o) = -o + 1. Let y(i) = 6*c(i) + 5*s(i). Is 6 a factor of y(0)?
True
Suppose 4*d = -5*l + 275, 2*d + 2*l = -0*d + 140. Does 15 divide d?
True
Does 7 divide (-21)/(-28) - 274/(-8)?
True
Let f = 22 + -21. Is 32/(5 - 2 - f) a multiple of 8?
True
Let v(t) = -2*t**3 - t**2 + 3*t + 2. Let y be v(3). Let i be (1*6)/3 - y. Let z = i - 36. Does 10 divide z?
False
Suppose -4*s - 24 = 40. Let h = s + 35. Is h a multiple of 9?
False
Let k(d) = -d**2 - 7*d. Suppose 0 = 3*g - g + 12. Is 6 a factor of k(g)?
True
Is 2 a factor of (-1 - (-5 - -2))*(5 - 4)?
True
Let r = -5 + 8. Suppose r*q + 90 = 8*q. Is q a multiple of 6?
True
Suppose -2*c + 4*c = 14. Let a(v) be the third derivative of v**4/24 + v**3/2 + v**2. Does 5 divide a(c)?
True
Let h = 6 - -50. Does 20 divide h?
False
Suppose -3*m + 6*m = -414. Let w = 233 + m. Does 19 divide w?
True
Let m(v) be the third derivative of -v**6/360 - v**5/120 + 31*v**4/24 - v**3/2 - 3*v**2. Let n(p) be the first derivative of m(p). Does 12 divide n(0)?
False
Let d(v) be the second derivative of 41*v**5/20 - v**3/6 - v. Is 13 a factor of d(1)?
False
Let i = -1 + 1. Let y = 3 - 0. Suppose i = -y*f + 9 + 21. Does 10 divide f?
True
Suppose 4*f = 3*f + 3. Suppose -q - f*q + 24 = 0. Does 6 divide q?
True
Let x be 1 + -3 - (-1 + -2). Let k be x/2*0/(-4). Let g = 8 + k. Does 8 divide g?
True
Let j be (2 + -2)/(-2 - -4). Let f = -29 + 46. Suppose -r = -j*r - f. Is 17 a factor of r?
True
Let i be (-16)/(-12)*(-18)/(-8). Suppose -2*n = 2*o - 56, 5*o - 115 = -n - i*n. Is n a multiple of 5?
True
Let v(f) = 4*f**2 - 2*f - 2. Does 12 divide v(-2)?
False
Suppose -o - 2*o + 15 = 0. Suppose -5*c + 3*c = 0, 3*c = 2*p - 4. Suppose 34 = o*r - 4*s, -3*s = p*r - 4*s - 13. Is r a multiple of 6?
True
Let h(y) = 9*y**2 - 3*y - 2. Is 16 a factor of h(3)?
False
Let j be (-4)/1*(2 + -12). Let t(d) = 4*d**2 - 1. Let v be t(-1). Suppose 0 = -4*f - 5*n + j, -2*f + f + 2*n - v = 0. Is 5 a factor of f?
True
Let o = -26 - -50. Suppose 4*k - o = -0*k. Is k even?
True
Let s(c) = 3*c**2 + 13*c + 4. Is s(4) a multiple of 5?
False
Suppose -320 = -6*n + 4*n. Does 6 divide n?
False
Let i(w) = -w - 2. Let x be i(7). Let t = 18 + x. Is 5 a factor of t?
False
Suppose -4*k + 5*z = -46, k - 8 = -5*z + 16. Suppose o + k = -0. Let c = o + 32. Is 7 a factor of c?
False
Let f(b) = 3*b**2 + 17*b - 15. Does 19 divide f(7)?
False
Suppose 3*c - 7*c + 368 = 0. Suppose -c = -5*h + 18. Is 11 a factor of h?
True
Is (-2)/(-7) - (-873)/7 a multiple of 25?
True
Let x(b) = -9*b**2 + b. Let t be x(1). Let p = -6 - t. Suppose -7*s = -2*s + 5*h - 105, -7 = -p*s + 5*h. Does 15 divide s?
False
Let m(i) = i**3 + 2*i**2 + i + 5. Let q be m(0). Suppose 42 = q*x - 3. Is x a multiple of 2?
False
Suppose -7*d + 8*d - 48 = 0. Is d a multiple of 32?
False
Let p = 8 - 6. Suppose -4*m = p - 90. Is 7 a factor of m?
False
Suppose 3*w = 5*p - 744, 0 = -5*p - 5*w - 151 + 911. Suppose p = 4*l - 6. Is l a multiple of 12?
False
Let b(x) = x**3 - x**2 - x - 22. Let a be b(0). Let c = -10 - a. Is 6 a factor of c/(-1*(3 + -4))?
True
Let o be (1 - 9/6)*0. Suppose o = y + 5, d + 3*d = y + 201. Does 28 divide d?
False
Suppose 2*v = 4 + 2. Suppose 4*w - 2*j = 154, -5*w + v*j + 242 = 49. Suppose 4*m = -2 + w. Is m a multiple of 9?
True
Let h = 112 + -41. Does 9 divide h?
False
Let q(w) = 25*w**3 - w**2 + 3*w - 2. Is 20 a factor of q(1)?
False
Suppose 0 = -y + 1 + 4. Suppose -y*o + 23 = -12. Is o a multiple of 7?
True
Let o(m) = 3*m**2 - 2*m - 3. Let q(f) = f**2 - 3*f - 6. Let b be q(5). Does 15 divide o(b)?
False
Let z be ((-14)/4)/((-3)/54). Is 7 a factor of 2/(-2 - z/(-30))?
False
Let x = 18 - -72. Does 5 divide x?
True
Let k(o) = -83*o - 13. Is k(-1) a multiple of 10?
True
Let l be -1 + -9*2 + 2. Let a = -9 - l. Is a a multiple of 