e 4*n = 4*p + 12, -7 - 2 = 2*p - 3*n. Is m(p) a multiple of 25?
True
Let b(s) = -s**3 + s**2 - s - 1. Let t(r) = 6*r**3 + 5*r**2 + 10*r - 3. Let f(m) = 5*b(m) + t(m). Is 14 a factor of f(-9)?
True
Let m = 5 - -52. Is m a multiple of 29?
False
Let u(b) = 2*b**2 - 2*b - 1. Let s be u(-1). Suppose -5*w + s*n = -2*w - 45, -3*w = 2*n - 50. Is w a multiple of 14?
False
Let m be ((-62)/4)/(2/56). Is 22 a factor of m/(-10) - (-12)/20?
True
Suppose 0*n = -2*n. Suppose -3*g - 2*c = -115, -2*g + c + 86 = -n*c. Is g a multiple of 12?
False
Suppose -4*j + 5 = -9*j. Let o = 123 + -67. Is j/(-2*2/o) a multiple of 10?
False
Does 14 divide 1*-52*3/(-6)?
False
Let p(k) = k + 1. Let d(g) = -4*g**2 + 3*g - 5. Let w(f) = -d(f) - 2*p(f). Does 22 divide w(4)?
False
Let k be ((-10)/20)/(1/(-76)). Let w be (3 - 1) + (2 - 2). Suppose -2*s - w*g = -k, 5*s - 2*g = s + 52. Is 6 a factor of s?
False
Let g be 8/3*78/4. Let y = g + -24. Suppose -x = x - y. Does 12 divide x?
False
Let y = -131 - -217. Is 13 a factor of y?
False
Suppose 5*i - 2*i - 33 = 0. Let p = 11 + i. Is 11 a factor of p?
True
Suppose 2*t + 10 + 13 = 5*q, t - 21 = -4*q. Suppose 10 = j - t. Is j a multiple of 8?
False
Let k = 103 - -79. Is 14 a factor of k?
True
Suppose -3 = -2*h + h. Let n(o) = -4 - 4*o**2 - o + 3*o**2 + o**3 + 0*o**2 + 3*o. Does 17 divide n(h)?
False
Let a(w) = 34*w**2 + 1. Let k be a(1). Suppose 3*n - k = 31. Is n a multiple of 12?
False
Let o(a) = -3*a. Let f = -10 + 2. Let r be o(f). Suppose b + 8 = r. Is 14 a factor of b?
False
Suppose 0 = -2*p - 0*i - 5*i + 24, 4*p - i - 4 = 0. Suppose -24 = -p*n + 2*t, n + t - 11 = 9. Is n a multiple of 16?
True
Let d(h) = -h**2 + 7*h + 4*h**2 - h - 4*h**2. Is d(5) a multiple of 3?
False
Suppose -m = -5*m + 1484. Is 31 a factor of m?
False
Let i be (-3 - -2)*-1*-3. Let q be (-3 - -6)*34/i. Let n = 67 + q. Does 15 divide n?
False
Does 7 divide 25 + (-2 - 16/(-4))?
False
Let q(x) = 9*x**2 - 3*x - 3. Is q(-1) a multiple of 6?
False
Let s be (3/5)/((-9)/(-135)). Is (20/(-15))/((-1)/s) a multiple of 5?
False
Let o = 3 - 17. Let c = o + 28. Is 14 a factor of c?
True
Let v = 45 + -15. Is 5 a factor of v?
True
Suppose 2*g = -0*o - 5*o + 178, -3*o + 104 = 4*g. Let m be (o/2)/((-1)/3). Let u = m + 80. Is u a multiple of 12?
False
Suppose -4*v = 5 - 13. Suppose v*b + 114 = 3*q + q, -4*q + 94 = 2*b. Is q a multiple of 13?
True
Let t be (-37 - 1)*13/(-26). Suppose p - 2 - t = 0. Does 15 divide p?
False
Is 2/(10/(-45) + 13/18) a multiple of 4?
True
Let u(v) = v**2 - v. Let p be (-16)/(-6)*18/(-8). Does 23 divide u(p)?
False
Let x(k) = -k**3 - 2*k**2 - 2*k - 8. Let o be x(-4). Let v = 0 + 0. Suppose v = 4*n - 4, 4*n = -5*z + o + 47. Is z a multiple of 10?
False
Let y(n) = n + 2. Let w(g) = -2*g - 14. Suppose 5*d = -25 - 25. Let i be w(d). Is y(i) a multiple of 4?
True
Let n(m) = -31*m**3 + 3*m**2 + 3*m + 1. Let q be n(-2). Suppose -5*p + q = 40. Is 16 a factor of p?
False
Suppose 0 = -y - 4*y + 50. Suppose 2*d = 3*a + 53, 0 = -2*a + 4*d - 12 - y. Let g = -3 - a. Does 14 divide g?
False
Suppose i + 4*f - 183 = 0, 5*f + 208 + 629 = 4*i. Let u = i - 119. Is u a multiple of 17?
False
Suppose 0 = -q + 4*q - n + 8, -q + 5*n - 26 = 0. Let h = q + 1. Suppose h = -6*t + t - 3*u + 118, -114 = -5*t - 4*u. Does 13 divide t?
True
Let k(r) = -r + 8. Let n be k(6). Let l be 0 + (4/2 - n). Suppose t + 0*x - 2*x - 36 = l, 0 = -2*x - 6. Is t a multiple of 11?
False
Let d be -2*(0 - 3 - -1). Suppose 2*z - d + 0 = b, -3*z = -b - 7. Suppose 0 = z*t - 2*t - 14. Is 6 a factor of t?
False
Let q be (67/(-2))/(7/(-14)). Suppose -3*r + q = -29. Is 16 a factor of r?
True
Let x be 1/(-1)*(-138)/2. Suppose x + 51 = 5*v. Is v a multiple of 8?
True
Suppose -y + 4*y - 12 = 0. Suppose -3*w + 35 - 87 = -4*z, -39 = -3*z - y*w. Is z a multiple of 13?
True
Let x = 15 + -11. Suppose x*r - 171 = -d, -r + 6*r = d + 207. Is r a multiple of 14?
True
Let j be 2 - (2 + -2 - -2). Suppose y + 8 = 4*n, -2*n + 26 = 5*y - j*n. Is 5*1 - (y - 7) a multiple of 4?
True
Let w(x) = -2*x + 6. Let f be w(5). Is 19 a factor of ((-43)/f)/(8/32)?
False
Let a(h) = -h**3 + 5*h**2 - 2*h - 5. Let j be a(4). Let k(x) = -4 - 5 - x + j*x + 2*x. Is k(8) a multiple of 8?
False
Let n be (-4)/(-16)*18*-2. Let f(z) = z + 21. Does 11 divide f(n)?
False
Suppose -n + 3 = -0. Does 13 divide 1*(42 + n - 1)?
False
Let o(q) = 6*q - 3. Let n be o(7). Suppose -13 + n = h - 4*a, -a + 41 = h. Is 18 a factor of h?
False
Let w be (6/9 + 0)*-147. Let r be (-2)/(-8) + w/8. Is (r/15)/(2/(-55)) a multiple of 11?
True
Let q(t) = -t**3 + 11*t**2 + 14*t + 4. Is q(12) a multiple of 9?
False
Suppose -3*a + 15 + 3 = 0. Suppose -67 = -2*w - 3*k, -72 = 3*w - a*w + 5*k. Is 7 a factor of w?
False
Suppose 4*f + 3*y - 31 = 108, -5*f - 5*y + 175 = 0. Suppose 0 = g - 2*g + f. Does 30 divide g?
False
Suppose 42 + 28 = 5*y. Let l = 29 - y. Is 5 a factor of l?
True
Let p(g) be the second derivative of g**4/12 + g**3/2 - 3*g**2/2 - 7*g. Does 14 divide p(6)?
False
Let s be 6/(-14) - (-76)/14. Suppose -s*w + 36 = -24. Is w a multiple of 3?
True
Suppose 7 = -l + 4*v, 3*v + v - 3 = 5*l. Suppose d + l = -0*d. Does 2 divide (-1 + d)/(6/(-15))?
False
Suppose -300 = -w - 2*w. Is 26 a factor of w?
False
Let k = 715 + -427. Let i = 34 - 49. Does 19 divide k/15 + 3/i?
True
Suppose -s = -7 + 49. Let o = s - -76. Suppose 3*p - p - o = 0. Does 17 divide p?
True
Let a(i) = i**2 + 3*i - 10. Let c(n) = -n - 1. Let d(x) = a(x) + 2*c(x). Does 4 divide d(-5)?
True
Suppose 4*r = -4*a + r + 67, 29 = 3*a - 2*r. Is 7 a factor of a?
False
Suppose q = -5*q + 54. Is q a multiple of 3?
True
Suppose -4*a - 2*l = -140, -a + 6*a + 4*l = 178. Is a a multiple of 17?
True
Suppose 8*t + 275 = 13*t. Is 27 a factor of t?
False
Let g(f) = -f**3 - 5*f**2 + 7*f + 3. Let k be g(-6). Let t(a) = 3 - 1 + 4*a - 10*a. Is 14 a factor of t(k)?
False
Let c(v) = 2*v**2 - 5*v + 3. Is 9 a factor of c(6)?
True
Let d(s) = -s**2 - 13*s - 7. Is d(-11) a multiple of 12?
False
Suppose -358 = -0*p - 5*p - y, 4*p - 299 = -5*y. Let n = 4 + 97. Let u = n - p. Is 10 a factor of u?
True
Let v = 292 + -167. Is v a multiple of 17?
False
Let f(i) = -4*i. Let h be f(7). Is 0 - 1 - h/4 a multiple of 4?
False
Suppose 0 = -y - 4*b + 33, 3*y = 5*y + 3*b - 81. Suppose j - 8 = -4*a, -3*j + 5*a + 47 = -y. Is 12 a factor of j?
True
Suppose 0 = 4*a + 4*h - 28, 0*h - 28 = -4*a - 5*h. Let d = -4 + a. Is (-6)/(-4) + d/2 even?
False
Let v(o) = -3*o - 3 + 1 - 4*o + 5*o. Does 3 divide v(-3)?
False
Let o be 0 - -2 - 2 - -6. Suppose -3*y - 5*r + 13 + 93 = 0, -o = -3*r. Does 11 divide (-4)/2 + -1 + y?
False
Let c(g) = -g**2 + 6*g - 6. Let m be c(5). Let h = 5 + m. Suppose -5*p - 3*q + 130 = 0, 4*p - h*q = -0*p + 104. Does 13 divide p?
True
Suppose 0*y + 12 = 3*y, 0 = 3*m - 2*y + 8. Let a = 7 - m. Is 2 a factor of a?
False
Let g(f) = -f + 17. Is g(-14) a multiple of 17?
False
Let g(v) = -v**2 + 15*v + 24. Is 4 a factor of g(13)?
False
Let r = -6 - -14. Suppose -l + 5*l = -r. Does 5 divide 1*-10*2/l?
True
Suppose -5*t = -18 - 7. Suppose t*c - 106 = 84. Is 12 a factor of c?
False
Let f(i) = -2*i + 2. Let w be f(-2). Suppose -5*d = -w*d + 4. Is d a multiple of 2?
True
Let d = 41 - 18. Is (d + -3)*(-8)/(-10) a multiple of 13?
False
Let p(b) be the second derivative of b**5/10 - b**4/6 + b**3/2 - b**2/2 + 8*b. Is p(2) a multiple of 13?
True
Suppose j = -6 + 28. Suppose u = -u + j. Is 10 a factor of u?
False
Suppose -x - 17 = 4*b, 4*x + 0 + 5 = 5*b. Let z = x - -6. Suppose 3*i - i + 30 = d, -i = -z. Does 9 divide d?
False
Suppose -10*t + 12 = -6*t. Does 30 divide (-5)/((-4)/(8*t))?
True
Suppose 0 = m + 3*m + 20. Let x = 0 - m. Is 3 a factor of x?
False
Suppose 17*t = 16*t + 2. Let f = 22 + t. Is f a multiple of 6?
True
Is 10/(-50) - 21/(-5) a multiple of 4?
True
Let m(l) = -2*l - 76*l**2 - 2 + 79*l**2 - 1. Let r = -1 + -2. Does 15 divide m(r)?
True
Suppose -4*h - 76 = -4*v - 252, 5*v + 52 = h. Is 16 a factor of h?
False
Suppose 2*l = -2*l + 468. Is 9 a factor of l?
True
Let d be ((-21)/(-28))/((-1)/(-128)). Let v = d + -54. Suppose 83 + v = 5*u. Is 11 a factor of u?
False
Suppose 2*v - 58 = 12. Does 7 divide v?
True
Suppose -i + 184 = 3*i. Let o = i + -21. Is 15 a factor of o?
False
Suppose 0 = -2*k - 0*k + 10. Let w(u) = u**3 - 5*u**2 - u + 1. Let v be w(