t k = -7 - -31. Is 24 a factor of k?
True
Suppose -o + 101 = -90. Is o a multiple of 9?
False
Suppose 2 - 17 = -5*y. Let n(s) = -26*s + 6. Let w be n(-2). Suppose -4*i + 78 = 2*u + y*u, -w = -3*i - 4*u. Is i a multiple of 16?
False
Suppose -3 - 1 = -z, -12 = -j - 2*z. Suppose 0 = -j*f + 2 + 26. Does 2 divide f?
False
Suppose -y = -2*y + 13. Suppose -4*j = -3*z + y, 3*j + 36 = z + 8*j. Does 7 divide z?
False
Let t = -8 + 20. Suppose 2 = -5*m + t. Suppose s + 8 = -3*s, -m*g + 3*s = -34. Does 6 divide g?
False
Let x = 198 + -103. Is x a multiple of 7?
False
Let v = 10 + 16. Is v a multiple of 26?
True
Let m(y) = -y. Let f be m(0). Suppose -5*o - 4*t - 5 = f, t = 3*o - 4*o - 2. Suppose -3*p + 38 = 2*i, 0*i - 52 = -o*p + 5*i. Does 7 divide p?
True
Let l = -7 + 7. Suppose q + 4 = 0, -5*z + 0*q - q - 189 = l. Let r = -13 - z. Is 24 a factor of r?
True
Let a be (-3 + 1)*(-282)/(-4). Let f = a + 199. Let b = -32 + f. Is b a multiple of 13?
True
Let l(m) be the third derivative of -m**4/12 + 2*m**3/3 - 2*m**2. Let c be l(-4). Let u = c - 5. Does 7 divide u?
True
Let t(o) be the first derivative of -2*o**2 + 2*o - 1. Let k be t(-2). Does 15 divide ((-5)/k)/((-2)/60)?
True
Let g(u) = u**2 - 4*u - 3. Let p(l) = 3*l**3. Let f be p(1). Let y be g(f). Is 5 a factor of 4/6 + (-56)/y?
True
Let z(v) = -v**3 - 12*v**2 - 13*v - 3. Is z(-11) a multiple of 19?
True
Let t(c) = 8*c**2 + 2*c + 1. Does 11 divide t(3)?
False
Let v(i) = -i**3 - i**2 + i + 56. Is v(0) a multiple of 10?
False
Let k(p) = -p**3 - 4*p**2 - 2. Let s be k(-4). Let l be (s/(-1))/((-2)/(-4)). Suppose 3*c - 35 = -4*n + 9, -5*c + l*n + 52 = 0. Is c a multiple of 11?
False
Let u(l) = -3*l**3 - 2*l**2 + 3*l + 7. Let o(r) = -4*r**3 - r**2 + 3*r + 8. Let w(b) = 2*o(b) - 3*u(b). Does 9 divide w(-2)?
True
Let f(c) = -c + 1. Let q be f(-1). Suppose -4 = -3*r + q. Suppose n + 3*z = r*n - 50, -z = 2*n - 72. Does 19 divide n?
True
Suppose -z + 72 = -0*z. Suppose -3*a - z = -6*a + 3*i, -a = -5*i - 12. Suppose a = -j + 4*j. Is 8 a factor of j?
False
Suppose f + 3 = -2*z + 9, -f + 3*z + 31 = 0. Is ((-15)/(-3))/(4/f) a multiple of 16?
False
Let g be 4 + -3 + (-3 - -5). Suppose g*p - 42 = -3*c, -38 = -5*c - 4*p + 27. Does 9 divide c?
True
Let t(k) = -k**2 - 5*k + 3. Let a be t(-5). Suppose -4*s = -5*f + 9, -6*f - 2*s + a = -f. Suppose 0 = -5*g - f + 16. Is 3 a factor of g?
True
Suppose 2*v - 3 = 5*v. Let c = v - -13. Is 12 a factor of c?
True
Let l(n) = -n - 2. Let f be l(-2). Suppose 2*w + 2*j - 3*j - 251 = f, 3*w + 5*j - 409 = 0. Suppose 4*i - w = y, -4*i = 4*y + y - 152. Is 13 a factor of i?
False
Let t(n) = -2*n - 5. Let m be t(-4). Let p be -3 + m + 4/2. Suppose 0 = -y + p*y - 24. Is y a multiple of 12?
True
Let f(a) = a**2 + 3*a + 7. Does 19 divide f(8)?
True
Let y = 272 + -140. Does 33 divide y?
True
Suppose 25*b - 26*b + 13 = 0. Does 13 divide b?
True
Suppose -6*m = -17 - 37. Does 7 divide m?
False
Let g(d) = -5*d - 6. Is 7 a factor of g(-4)?
True
Let v(f) be the second derivative of -f**4/12 + 2*f**3 + 5*f**2 + 5*f. Is 15 a factor of v(10)?
True
Suppose 0 = -5*p - 229 + 749. Is p a multiple of 13?
True
Suppose 0 = 2*s - 2*p - 0*p - 648, 0 = 2*s + 5*p - 620. Is 2/14 + s/112 a multiple of 3?
True
Let d = -13 - -18. Let x = d + -12. Is (-131)/x - 2/(-7) a multiple of 7?
False
Let b(p) = p - 8. Let c be b(6). Let u(r) = -r**2 - 4*r - 1. Let z be u(c). Let g = z - 0. Does 3 divide g?
True
Suppose 15 = 2*n - l, 2*n + l - 24 = 5*l. Let d = n + -3. Is 8 a factor of d/1*(-24)/(-9)?
True
Let i = 62 - -5. Does 29 divide i?
False
Let f(o) = -o**2 + 13*o + 7. Is f(13) a multiple of 2?
False
Let t = 0 + 6. Let o be (-2)/t - 5/(-15). Suppose -d = -o*d - 13. Does 9 divide d?
False
Suppose -4*p - 7 = 3*d, 7*d - 4*p + 1 = 2*d. Let j(l) be the second derivative of 5*l**4/12 + l**3/3 + l**2/2 - l. Is j(d) a multiple of 3?
False
Suppose 529 - 200 = 7*b. Is 36 a factor of b?
False
Suppose -5*j + 384 = -3*h + 2*h, -4*j + 5*h + 303 = 0. Is 12 a factor of j?
False
Does 11 divide ((-23)/(46/132))/(3/(-4))?
True
Suppose y = -3, y - 5*y = -3*q - 3. Let d be q*1/4*-4. Let s(b) = b**3 - 5*b**2 + 3*b - 1. Does 13 divide s(d)?
False
Suppose z = -0*z + 36. Let u = z + -24. Does 12 divide u?
True
Suppose 5*g - 146 = -3*i, -4*i + 3*g = -225 + 69. Does 17 divide i?
False
Let h be (-90)/(-24) - 6/8. Is 16/(-20)*(h - 8) even?
True
Let k = -6 - -13. Let q(c) = c**2 - 6*c - 1. Is 6 a factor of q(k)?
True
Let g(w) = w**3 - 8*w**2 - 11*w + 22. Does 14 divide g(10)?
True
Let u = 20 - 18. Suppose -5*b + 76 = -c, -5*c - 16 + 4 = -u*b. Does 8 divide b?
True
Let o(h) = -h**3 + 12*h**2 - 9*h - 5. Let a = 5 + 6. Is o(a) a multiple of 9?
False
Let h(n) = -17*n + 3. Let i be h(3). Does 10 divide (i/9)/((-3)/9)?
False
Suppose 42 = 3*i - 81. Is i a multiple of 21?
False
Let v(o) = o - 3. Let n be v(-4). Let f(w) = -7*w - 2. Let u be f(-2). Let k = u + n. Does 4 divide k?
False
Let r be 1644*1*3/6. Suppose -3*p + 1107 = -4*x + 8*x, 0 = -3*x - 5*p + r. Is 9 a factor of 2/(-8) + x/12?
False
Let v(b) = b**2 - 2*b - 3. Let h be (-57)/(-9) - 2/(-3). Is v(h) a multiple of 9?
False
Let d = 6 - 17. Let t = -6 - d. Suppose -25 = t*g - 95. Is g a multiple of 7?
True
Let p = -46 + 24. Let m = p + 45. Does 6 divide m?
False
Suppose -5*g - 215 = -4*o, 1 = 5*g - 24. Does 10 divide o?
True
Suppose 0*p = -4*n - 3*p + 17, 19 = 5*n + 3*p. Let h = 7 - n. Is h a multiple of 2?
False
Suppose 0 = 3*s, 2*y + 5*s - 4 = 4*y. Does 8 divide (y - -1 - -11) + 0?
False
Let v(n) = 18*n**2 + n - 4. Does 22 divide v(-2)?
True
Suppose 3*g + 0*g = -x - 6, 0 = 3*x + 9. Let o(i) = 63*i**2 + i + 1. Does 25 divide o(g)?
False
Let v(b) = -b**3 - 3*b**2 + 7*b - 1. Is 14 a factor of v(-5)?
True
Suppose 3*j = -4*r + 351, r - 287 = -3*j + 64. Is 16 a factor of j?
False
Does 19 divide (2 + (-3)/4)/((-1)/(-76))?
True
Is 4/10 - 2072/(-70) a multiple of 10?
True
Let f(w) = 92*w**2 - 20*w + 20. Let m(u) = 13*u**2 - 3*u + 3. Let y(v) = 3*f(v) - 20*m(v). Is y(-1) a multiple of 9?
False
Let l = 40 - -36. Does 38 divide l?
True
Suppose -790 = -5*d + q, -5*q + 10*q - 184 = -d. Does 30 divide d?
False
Suppose 0 = -2*w + 3*w - 8. Let h(d) be the first derivative of d**3/3 - 4*d**2 + 5*d + 2. Does 3 divide h(w)?
False
Is 13 a factor of ((-140)/(-8))/((-2)/(-4))?
False
Let z(p) = p + 12. Let y be z(-12). Suppose y = -8*l + 3*l + 25. Does 4 divide l?
False
Suppose 3*p - 7*p + 960 = 0. Is p a multiple of 24?
True
Suppose z - 3*t + 71 = -253, -5*z = 5*t + 1520. Is 13 a factor of 1/4 - z/12?
True
Let w(j) = 6*j**3 - 12. Does 50 divide w(3)?
True
Let f(v) = v**3 - 3*v**2 + 2*v - 2. Is f(3) even?
True
Suppose -r = 0, -4*r = 5*v - 2*r - 390. Is 17 a factor of v?
False
Is ((-10)/(-25))/(3/1200) a multiple of 32?
True
Let y(d) be the third derivative of -d**4/24 + 13*d**3/6 + d**2. Let s be y(7). Let q(o) = o + 6. Is q(s) a multiple of 12?
True
Let s(m) = -3 - m + 0*m + 6 + 0*m. Let k be s(0). Suppose k*f + 72 = 7*f. Is 6 a factor of f?
True
Let x = 71 + -20. Let s = -6 + x. Is s a multiple of 15?
True
Suppose 3*t - 4*t + 4 = 0. Suppose -2 = 2*n - t*y + 10, 0 = -n - 2*y + 6. Suppose n = -3*x - 0*x + 24. Is 8 a factor of x?
True
Suppose 0 = 5*v - 275 - 225. Is 25 a factor of v?
True
Let y be -8 + (-2 - 1/(-1)). Does 6 divide (-105)/y - (-1)/3?
True
Let w(p) = 3*p - 1. Does 3 divide w(4)?
False
Suppose 419 = 2*c - 157. Is c a multiple of 48?
True
Let c be (-25)/(-10)*4/10. Let j(a) = 8*a**2 + a. Does 3 divide j(c)?
True
Let f(l) = -93*l - 5. Is f(-1) a multiple of 5?
False
Let c = 20 + -9. Is c even?
False
Let u = -312 - -520. Is u a multiple of 20?
False
Suppose 0 = 2*n + 2 - 6. Suppose -4*u = -4*k - 2*u + 20, 20 = 3*k - 4*u. Is 6 a factor of (3/k)/(n/32)?
True
Let b = -28 + 54. Is b a multiple of 13?
True
Let x(o) = -o - 3. Let b be x(-6). Suppose b*c - 4*c = -57. Suppose -3*q + c = 6. Is 8 a factor of q?
False
Let j(o) = 0 - 4*o**2 + 1 - 2*o + 14*o**2. Let u be j(1). Does 6 divide (-1)/(-3) - (-51)/u?
True
Let a(g) = g**2 + g + 2. Let b be a(-3). Let d(s) = s**2 + 10*s - 12. Let x be d(-11). Let u = b - x. Does 9 divide u?
True
Let k = -66 + 129. Suppose k = z + 1. Suppose d = 2*v - 23, -4*d - 22 = 4*v - z. Does 5 divide v?
False
Let n(q) be the second derivative of -q + 3*q**2 + 0 + 4/3*q**3 - 1/12*q**4. Does 8 divid