s = 19 + t. Does 7 divide s?
True
Suppose 0 = 3*h - 3*m - 6, -2*h + m = -3*m - 2. Suppose 0 = h*v - 0*v. Suppose 30 = 2*d + x - 0*x, v = 4*x. Does 15 divide d?
True
Suppose 6*k = 192 + 96. Does 6 divide k?
True
Let i be ((-12)/10)/(3/(-20)). Suppose 18 = -h + i. Let u = 18 + h. Is 7 a factor of u?
False
Is (3 + -1)*(-85)/(-10) a multiple of 9?
False
Suppose -w + 3 = -b, 4*w + 2 + 1 = b. Let i be (-1 - 3)/(-2) + w. Suppose -k + i*m = -4*m, 4*k - 100 = -4*m. Is 10 a factor of k?
True
Suppose 5*d + 5*p = 95, 3*p + 48 = 2*d - 0*d. Suppose -n = -d - 42. Is n a multiple of 19?
False
Let y be (-10)/3*(-36)/15. Let x = 4 - y. Does 22 divide x/14 + 312/14?
True
Suppose -56 = -2*n + 184. Does 15 divide n?
True
Let i be (19 - 0)/((-7)/(-28)). Let m be 6/2 + 2/(-2). Suppose -m*a + 3*p + i = 4*p, -3*p - 92 = -2*a. Is a a multiple of 20?
True
Let o(q) be the first derivative of q**2/2 - 11*q + 4. Let k be o(11). Suppose 2*p = -k*p + 2*f + 52, -f - 53 = -2*p. Is 9 a factor of p?
True
Suppose -q + 3 = -5*k - 38, 0 = -5*q + 4*k + 163. Suppose -107 = -4*o - q. Does 12 divide o?
False
Suppose -3*t + 4*o = -192, 114 = t + t + 2*o. Is 10 a factor of t?
True
Let s(g) = -g**3 - 11*g**2 + 16. Does 8 divide s(-11)?
True
Suppose -25 = -5*n - 4*u + 51, -5*u - 5 = 0. Does 3 divide n?
False
Let n be 3*4/(-30)*-95. Let i be n/(-12) + (-1)/(-6). Let g(u) = 3*u**2 - u - 2. Is g(i) a multiple of 10?
False
Let m(r) = r**3 + r**2 - r + 3. Let p be (0 - 3/3) + 1. Is m(p) a multiple of 2?
False
Suppose -2*s + 69 = 23. Suppose 0 = p - 0*c - 4*c - 15, 0 = -p + 3*c + 12. Let t = p + s. Does 22 divide t?
False
Suppose -5*l + 90 = 5*r - 350, 3*r = 5*l - 424. Suppose m = 4*v + l, 0 = -4*m + v + 66 + 218. Suppose n = -4*n + m. Is n a multiple of 14?
True
Suppose 4*r - 24 = 3*r. Suppose -2*f = 4*q - 20, 3*f - 3*q = -q - 2. Suppose r = f*k + 8. Is k a multiple of 4?
True
Let c(t) = 16*t - 28. Does 14 divide c(6)?
False
Suppose 0*r + 32 = r. Is r a multiple of 16?
True
Let u(l) = l - 3. Let n be u(5). Let y(h) = h**3 - 2*h**2 - 2*h + 2. Let o be y(n). Does 10 divide (-31)/(-3) - o/(-6)?
True
Let l(d) = 3*d**3 + 2*d**2 - 4. Let a be l(3). Let u = -61 + a. Is 9 a factor of u?
False
Suppose -10 = -4*t - 2*c - 2, -t - 5*c - 7 = 0. Suppose 6*n = 14*n - 32. Suppose -3*x - 90 = -n*o, -t*x = -5*o + 4*o + 18. Does 8 divide o?
True
Is (-2)/(-4) - 1 - (-2037)/42 a multiple of 6?
True
Suppose -5*q + 168 = -q. Does 14 divide q?
True
Suppose -l - 2*i - 4 = -i, -3*l - 2*i - 12 = 0. Is 3 + l + 0 - -9 a multiple of 8?
True
Let j(l) = -l**3 + 4*l**2 - 3*l - 2. Let p be j(3). Is 4 a factor of (p/4)/((-2)/48)?
True
Let d be (-2 + 4)*(4 - 3). Suppose 0 = -2*t - t + 27. Is 7 a factor of (2/d)/(1/t)?
False
Let j(l) = 6*l - 1. Let n be j(-4). Let g = 1 - n. Does 13 divide g?
True
Suppose 23 = 5*c - 2. Suppose -3*u + u - n + 10 = 0, -5*u - c*n + 15 = 0. Is 5 a factor of u?
False
Let g = 13 - 9. Let k = g - 8. Does 14 divide (8/10)/(k/(-70))?
True
Let b = -42 + 85. Suppose 4*k - 3 = -b. Is (-45)/k*(-8)/(-6) a multiple of 3?
True
Suppose r = -0*r. Suppose i - 5*p + 17 = r, -4*i - 2*p = -2*i - 26. Is 7 a factor of i?
False
Suppose 5*s + 10 + 5 = -3*b, -b - 5 = -4*s. Suppose -3*q - 2*v - 39 = -4*q, s = -2*q - 4*v + 86. Does 7 divide q?
False
Suppose -2*r + 284 - 76 = 0. Is 26 a factor of r?
True
Let m = -99 + 246. Does 21 divide m?
True
Suppose 0 = -2*x + 22 + 12. Suppose -5*t + 13 = -2*p, -4*p + 2*t = 30 + 4. Let h = x + p. Is h a multiple of 8?
True
Let p = 5 + -2. Does 3 divide p?
True
Let u = 6 + -1. Suppose 35 = u*k - 115. Is 10 a factor of k?
True
Suppose 0 = -3*v - 13 + 4, 0 = x + 3*v - 135. Is x a multiple of 36?
True
Let p be 7 + -1 - (1 - -2). Suppose -2*t + 162 = p*t - 4*b, -5*t = -5*b - 160. Is 17 a factor of t?
True
Is 4 + 45/5 - -2 a multiple of 10?
False
Let f = -15 + 48. Is 15 a factor of f?
False
Suppose x - 148 = -0*a - 3*a, 0 = 4*a + 2*x - 200. Does 16 divide a?
True
Suppose 13 = 5*k - 12. Let w(f) = 6*f**2 - 13*f - 6. Let z(d) = -5*d**2 + 12*d + 6. Let g(l) = k*z(l) + 4*w(l). Is 13 a factor of g(7)?
True
Suppose 0 = 7*j - 4*j - 15. Suppose j*w = 30 - 5. Is w even?
False
Suppose 663 = 5*r - 37. Suppose -3*j - r = -7*j. Does 9 divide j?
False
Let m(i) = -i**2 + 6*i - 6. Let k = -7 + 12. Let y be m(k). Is 16 a factor of (y - -31)/1 - -2?
True
Let w = -91 - -190. Let v = w - 63. Is v a multiple of 9?
True
Let q(p) = -p - 3. Let t be q(-7). Let s be ((-9)/(-12))/((-2)/(-8)). Suppose 5*y + 4*z - 9 = 0, -s*y - t*z + 0*z - 1 = 0. Is y even?
False
Suppose 40 = 4*f + 8. Suppose l - 2*q + 19 + f = 0, 2*q = -2*l - 30. Let a = l + 31. Is a a multiple of 8?
False
Is (3 - 27/6)*-2 a multiple of 2?
False
Suppose -4*v = -4, -2*n - 5*v = -n - 18. Let g = 22 - n. Does 4 divide g?
False
Suppose 3*v + 2*w - 168 = 2*v, 780 = 5*v - 5*w. Suppose 0*s - 3*f = -2*s + 47, 5*s - v = -f. Is s a multiple of 31?
True
Suppose 3*l - 10 = 5*a - 3*a, 4 = -3*l - 5*a. Suppose -l*x - 97 = -2*d + 3*x, 5*d - 2*x - 190 = 0. Suppose 5*c - d = -1. Does 7 divide c?
True
Does 8 divide (-4)/(1 - (-21)/(-18))?
True
Suppose -v = -3*v + 116. Is 25 a factor of v?
False
Let u = -273 - -413. Does 35 divide u?
True
Let f(q) = -5*q**3 - 3*q + 4*q**3 + 2*q**3 + 0*q. Let k be f(4). Suppose 3*p - k = -2*h, 2*h + 46 = 3*p + h. Is p a multiple of 10?
False
Let n = -252 + 396. Does 16 divide n?
True
Let a = 61 - 29. Does 16 divide a?
True
Let n(v) be the second derivative of v**5/20 - v**4/6 + v**3/6 - v**2 - v. Let p be (-2)/(-6) - (-16)/6. Is n(p) a multiple of 5?
True
Suppose -13 = u - 5*s + 10, -3*s = -2*u - 11. Suppose 5*z = 3*i - 72, -i + 12 = u*z - 12. Does 6 divide i?
True
Is 135/4 - (-18)/(-24) a multiple of 11?
True
Suppose 3*l + 21 = 5*u, -2*u - 4*l + 0 = 2. Let b be ((-84)/(-10))/(u/10). Suppose -5*g = 3*v - b, -6*g - 47 = -4*v - 3*g. Does 11 divide v?
True
Suppose -3*q - q = -16. Suppose -2*h + 56 = 2*r - 12, r - q*h - 44 = 0. Is 8 a factor of (r + -2)*3/6?
False
Let s(q) = -21*q - 5. Is 25 a factor of s(-4)?
False
Suppose 4*k + 11*k = 2175. Is k a multiple of 17?
False
Suppose 0 = x + 2*p - 10, -3*p = -4*x + x + 66. Does 9 divide x?
True
Let v(r) = r + 5. Let m be v(0). Suppose -2*t + 208 = 5*z, 2*z + m*t - 4*t - 84 = 0. Is 20 a factor of z?
True
Let q(m) = 170*m - 10. Is 32 a factor of q(1)?
True
Let l be 4*(-1 - 1/4). Does 3 divide (l/(5/(-14)))/2?
False
Let x(j) = j**3 - 2*j**2 + 96. Is x(0) a multiple of 17?
False
Let j(k) = 21*k - 9. Is 25 a factor of j(4)?
True
Suppose 0 = m - 0*m - 4. Suppose 20 = h + m*h. Suppose -p = -2*k - 29, 0 = p - h*p + 2*k + 67. Is 7 a factor of p?
False
Let w be 1/((-8)/(-6) + -1). Suppose 0 = -5*g, -w + 7 = 2*d - 3*g. Suppose t - 33 = -d*t. Is t a multiple of 4?
False
Let w = -258 + 483. Is 15 a factor of w?
True
Let s(x) = -x**2 - 10*x - 3. Let d(f) = f**2 + f - 1. Let z(r) = -2*d(r) - s(r). Let i(m) = 2*m + 6. Let g be i(0). Does 16 divide z(g)?
False
Let l(o) = -2*o. Is 15 a factor of l(-30)?
True
Let o(c) = 3*c**2 + 5*c + 6. Let n be o(-5). Let j = n - 34. Does 8 divide j?
False
Let b = 118 - 54. Does 14 divide b?
False
Suppose 202 = 3*j - 0*v + 5*v, 0 = 4*j - 4*v - 280. Is 7 a factor of j?
False
Suppose x + 140 = 5*k, -3*k + 0*k - 3*x = -102. Let s = -3 + k. Does 13 divide s?
True
Let h(x) = x**3 - 3*x**2 + 5*x. Let g(n) = n**2 + 2*n + 1. Let l be g(-3). Is 12 a factor of h(l)?
True
Let w(m) = m**2 + m. Let f be w(0). Let a(g) = g**3 + 4*g**2 - 2*g + 1. Let k be a(-3). Let v = k - f. Is 12 a factor of v?
False
Let w(h) = -h**3 - 10*h**2 - 6*h + 10. Let l be w(-9). Suppose -2*b + 3*b = 61. Let p = b + l. Does 13 divide p?
False
Let l be (0/(-1))/((-5)/(-5)). Let q be 60/(1 - l - 0). Let a = q + -28. Is a a multiple of 16?
True
Let g(k) = 13*k**2 - k - 4. Suppose 0 = -0*t + 4*t + 12. Let r be g(t). Suppose -r = -4*z + 5*j, 4*j + 145 = 6*z - z. Is z a multiple of 11?
False
Is 23 + 0 + (-2 - -1) + -2 a multiple of 4?
True
Suppose -5*d + 5*g = 0, g - 9 + 4 = 0. Suppose -d*o + 12 = -3. Is (-1)/o - 39/(-9) a multiple of 4?
True
Suppose 3*c = 2*c + 1. Let l = -21 - c. Let o = l + 31. Is 6 a factor of o?
False
Suppose 4*i - 5*l = 59, 4*l - 83 = -5*i + l. Let g = 32 - i. Is 5 a factor of g?
False
Suppose -2*k + t = 0, -3*k = -5*t - 15 + 1. Let y(o) = -7*o**3 - 2*o**2 + 3*o + 2. Does 15 divide y(k)?
False
Suppos