- s + 39. Is d a multiple of 14?
False
Let r = 223 + -39. Suppose 5*v - 4*i = r, 4*v = -v + i + 181. Is 12 a factor of v?
True
Suppose 0*j = -2*j + 34. Is 2 a factor of j?
False
Let p = 5 + -3. Let k be (12/(-15))/(p/(-5)). Suppose k*a = a + 38. Is 19 a factor of a?
True
Let z = 10 + -9. Let t be (z + 3)/2 + 5. Suppose t*v - 2*v = -4*y + 94, 4*v = -4*y + 92. Is y a multiple of 7?
True
Let p = 17 + 92. Let n = p + -59. Is 25 a factor of n?
True
Suppose -2*t = -2*m - 136, 0 = 4*t + m + m - 296. Does 24 divide t?
True
Suppose 0*h - 3*h + 2*w = -20, 2*w = -8. Is h a multiple of 3?
False
Let t(j) = -j + 9. Is 6 a factor of t(0)?
False
Let u(x) = 54*x - 7. Let z be u(3). Suppose -2*r + z = 3*v, 5*r + 195 = 5*v + 595. Does 16 divide r?
False
Let u(z) = -z**2 - 2*z. Let c be u(2). Let n(i) = 3*i**2 - 5*i - 7. Let f be n(c). Suppose -5*a + f = -0*a - b, 4*b = -4*a + 180. Is 18 a factor of a?
False
Suppose -5*h + h = -20. Suppose l + 84 = 5*p, -h - 31 = -p + 5*l. Does 10 divide p?
False
Suppose 5*k - p = 748, 5*p + 117 + 323 = 3*k. Suppose 2*a - k = 3*z, -300 = -5*a + a + 5*z. Does 18 divide (1 - (-1)/(-3))*a?
False
Suppose -13 = -3*c + r, -3*r = -c - 0*c + 15. Does 2 divide c?
False
Let k = 285 + -93. Is k a multiple of 16?
True
Let q(a) = 2*a**3 - 4*a**2 - 3. Let l be q(3). Suppose 0 = -2*i - i + l. Suppose -o + 103 = 2*x + 4*o, 0 = i*x + 5*o - 265. Is 21 a factor of x?
False
Let z = 9 + 0. Suppose 5*b - z = -2*n, -n - 5*b + b = 0. Is n a multiple of 4?
True
Suppose 4*r = -3*x + 56 + 244, -3*r = -x - 225. Is r a multiple of 25?
True
Suppose 0 = -k - 0 - 6. Let d(s) = 4*s**3. Let f be d(-2). Does 16 divide (-24)/((-4)/(f/k))?
True
Suppose 3*k = 4*j + j + 44, 0 = -3*k + j + 64. Let i = k - 11. Suppose -s + i = s. Is s a multiple of 3?
True
Let z(i) = 8*i**2 - 3*i + 1. Let s be z(2). Let b = -13 + s. Does 4 divide b?
False
Let j(l) = -8*l + 28. Is 21 a factor of j(-7)?
True
Let m = 0 + -4. Let u(x) = x**2 - 4*x - 5. Does 9 divide u(m)?
True
Let k be 2*(-14)/4 - -2. Let c = 28 + k. Suppose 4*j - 123 = -2*u - c, 12 = 3*u. Does 11 divide j?
False
Let k be (-3)/3 + -2 - -15. Let m be k/(-30) - (-674)/10. Let y = m + -31. Does 12 divide y?
True
Let p be ((-18)/(-12))/(3/34). Let u = p - -5. Does 11 divide u?
True
Suppose 4*i = -5*v - 1 - 9, -v = 4*i - 14. Is 28/1 - (-18)/v a multiple of 7?
False
Let a = -491 - -898. Does 11 divide a?
True
Let m be 16/3 + 7/(-21). Suppose 0 = m*d - d - 60. Does 4 divide d?
False
Suppose -6 = 4*c + 26. Let x = 101 + -62. Let s = x + c. Is s a multiple of 11?
False
Let d be ((-6)/3)/(1 - 2). Suppose -d*t - t = -5*q - 5, -4*q - 4 = t. Let x(p) = -p**2 - p + 12. Is x(t) a multiple of 12?
True
Suppose 4*l = 4*x - 8, -x + 2*l + 3*l - 10 = 0. Suppose 0*d + d - 83 = 2*n, -3*d - x*n = -205. Let o = d - 43. Is o a multiple of 13?
False
Let t(n) = -9*n - 4. Suppose 0 = 2*c - 5*c. Let d(r) = -r**3 - r**2 + r - 4. Let o be d(c). Does 12 divide t(o)?
False
Let f(w) = -62*w. Let p = -8 + 7. Is 18 a factor of f(p)?
False
Suppose -4*b - 5*v - 40 = 0, -b + v + 3*v = -11. Let c(q) = -3*q - 1. Is 14 a factor of c(b)?
True
Suppose -3*c = c - 2*z - 260, 3*z = -5*c + 314. Suppose -j + 0 + 4 = -2*o, 5*j - c = -o. Is j a multiple of 12?
True
Let q be -3 + (1 - -4) - 2. Suppose -3*i + q = -6. Suppose -225 = -5*t - 2*p, -t = i*p + p - 45. Is 22 a factor of t?
False
Let p(c) = -8*c + 6. Let t be p(-7). Suppose 5*g - 2 = -k + g, 4*k - 2*g = t. Suppose 5*n = k + 11. Is 3 a factor of n?
False
Suppose -5*i + 40 = -0*i. Is 4 a factor of i?
True
Let l(p) be the second derivative of -p**6/40 - p**5/60 - p**4/12 - p**2 + p. Let a(i) be the first derivative of l(i). Is a(-2) a multiple of 18?
False
Suppose 26*m = 27*m - 6. Is 4 a factor of m?
False
Does 34 divide -5 + 2 - (-62 + -3)?
False
Let r(p) = p + 3. Let q be r(7). Let s(y) = -q + 8*y + 0*y**2 - 14*y + 2 + 2*y**2. Does 17 divide s(6)?
False
Let d = -6 - -11. Is (75/d)/(3/8) a multiple of 20?
True
Suppose -3*d - i = -6*i - 4, -3*i + 3 = 0. Suppose 0*b - d*b = 5*r - 147, -122 = -4*r + 2*b. Suppose 0 = 2*h - 7*h + r. Is h a multiple of 6?
True
Suppose -9*b = -5*b - 240. Is b a multiple of 15?
True
Let u(d) = d**3 + 10*d**2 + 2*d + 15. Let y be u(-10). Is 2 a factor of 1*y/((-10)/6)?
False
Does 4 divide (-1 - -55) + 15/5?
False
Suppose 0*w = -w + 5. Suppose -j - 4*h + 7 + 7 = 0, -3*j - w*h = -35. Is 5 a factor of j?
True
Suppose o + 12 = 3*o. Let a(f) = f**3 - 5*f**2 - 7*f + 6. Let j be a(o). Suppose 2*x = -j*x + 24. Is x a multiple of 10?
False
Suppose 4*m - 12 = m. Suppose -58 = -m*o + 6. Is o a multiple of 10?
False
Suppose 3*l + 110 = -u + 5*u, 3*l + 100 = 2*u. Let j = 50 + l. Is -6*(2 - j/6) a multiple of 4?
True
Let l(n) = -n**2 - 11*n - 9. Is l(-9) even?
False
Let q = 284 + 139. Suppose 4*v = -q + 79. Let m = -47 - v. Is 19 a factor of m?
False
Suppose 0 = h - 4*h - 108. Let s = h - -64. Is s a multiple of 14?
True
Let p(n) = 33*n**3 + 2*n**2 + 1. Let c be p(2). Suppose c = 5*j + 58. Is 16 a factor of j?
False
Let m(s) = s - 8. Let f be m(0). Let d = f - -13. Does 4 divide d?
False
Let x(y) = 2*y**3 - y**2 - y. Let f be x(2). Suppose 2 = 2*d - f. Is 6 a factor of d?
True
Let g(l) = l**2 - 7*l - 6. Let t(r) = 2*r - 1. Let b be t(5). Does 4 divide g(b)?
True
Let y(c) = c**2 + 6*c + 2. Let t be y(-6). Suppose x - 5*p = 9 + t, -4*x - 19 = p. Let a = x - -12. Does 3 divide a?
False
Let j(h) = 3*h**2 - 2. Let u be j(2). Suppose u = t - 8. Does 6 divide t?
True
Is 4 a factor of 404/6 + 1/(-3)?
False
Let z(f) = 47*f + 18. Is z(8) a multiple of 17?
False
Let t be (3/5)/((-2)/(-10)). Suppose -a + 164 = t*a. Is a a multiple of 14?
False
Let p(n) = -34*n - 6. Let u be p(-4). Suppose 4*k + 14 = u. Suppose -2 = 2*m - 3*f - 29, -f - k = -4*m. Is m even?
True
Suppose 0 = -3*x - 5*t - 19 - 6, -5*x + 5*t = -25. Suppose -k = -2*r + 4*k + 24, 3*k = x. Is r a multiple of 9?
False
Suppose -g = -2*o - o + 17, -3*g + 27 = 4*o. Let h(q) = -3. Let j(z) = z - 7. Let f(s) = -5*h(s) + 3*j(s). Does 9 divide f(o)?
False
Let n = 116 + -76. Suppose q + n = 3*q. Is 13 a factor of q?
False
Let j be 3/6 - (-147)/(-2). Let p = j - -25. Let z = p - -72. Is 12 a factor of z?
True
Let c(r) = r + 4. Let w be c(0). Let a(g) = 3*g**2 - 3*g. Let p be a(w). Suppose -3*v = o - 3*o + p, 12 = -3*v. Is 12 a factor of o?
True
Let z = -151 - -216. Is z a multiple of 13?
True
Let h(k) = k**2 - 10*k + 12. Let d be h(9). Let f(b) = -b + 0*b + d + 14. Does 6 divide f(0)?
False
Suppose 4*p - l - 129 = 2*l, 0 = 4*p + 4*l - 108. Does 6 divide p?
True
Let r(l) = 6*l**3 - 4*l**2 + 4*l - 3. Suppose 0 = 2*h - 2*n - 10, 2*n + 2 = -2*h - 0*n. Let f be r(h). Let w = -19 + f. Does 18 divide w?
True
Suppose 2*a - 158 = -14. Does 24 divide a?
True
Let m = -46 - 68. Is m/(-10) - (-12)/(-30) a multiple of 11?
True
Suppose -4*q + 2 = -5*q. Is 48 - (q + 7 - 2) a multiple of 15?
True
Let p(v) = v**2 - 4*v + 2. Suppose 0 = -2*z - 3*b + 4, -4*z - z + 4*b + 33 = 0. Let s be (1 + -2)/((-1)/z). Is 6 a factor of p(s)?
False
Let h(i) = i**2 + i. Let r be h(-1). Suppose -4*a + s + 4 = -17, 2*a = -5*s - 17. Suppose r = -a*l + 2*l + 8. Is 4 a factor of l?
True
Let x be (-5)/(50/(-5))*4. Let q(h) = -h**3 + 2*h**2 + h - h + 3*h - 1. Does 4 divide q(x)?
False
Let i(z) be the second derivative of -z**8/6720 - z**7/2520 + 2*z**5/15 + z**4/12 + 2*z. Let a(w) be the third derivative of i(w). Is 8 a factor of a(0)?
True
Let k = 143 - 77. Does 11 divide k?
True
Let v = 44 - 12. Suppose 5*u - v = 3*u. Is 11 a factor of u?
False
Let j(h) = h**3 - 3*h**2 + h - 7. Let i(w) = -6*w**3 + 16*w**2 - 6*w + 35. Let b(y) = -2*i(y) - 11*j(y). Is b(0) a multiple of 3?
False
Suppose 0*s + 131 = 2*z + 3*s, 5*z = -3*s + 341. Is 14 a factor of z?
True
Let h = 170 - 71. Is 40 a factor of h?
False
Suppose -4*r + 24 = -2*b, 3 = 2*r + 1. Let t(a) = -a**3 + 6*a**2 - a - 3. Let v be t(5). Let q = b + v. Is 7 a factor of q?
True
Is -3*5/15 - -17 a multiple of 3?
False
Suppose 4*a - 196 = 5*i, 5*a + 0*a + 4*i = 245. Let w = a - 32. Is 11 a factor of w?
False
Is 27 a factor of (-4)/(-3)*15*3?
False
Suppose -5*f + 2*f + 36 = 0. Does 6 divide f?
True
Is 15 a factor of 2 - -29 - (-3 - -2)?
False
Let m(q) = -2*q**2 + 2*q**2 - 7*q + q**2. Let a be m(6). Let i(s) = s**3 + 5*s**2 - 7*s - 2. Is 4 a factor of i(a)?
True
Let