
Let z(y) = 39*y - 4. Let n be z(4). Suppose -n = -7*m + 5*m. Is 35 a factor of m?
False
Let w(o) = o**3 - 39*o**2 + 2*o + 153. Does 39 divide w(40)?
True
Let o(p) be the first derivative of p**4/4 + 3*p**3 + 2*p**2 - 6*p + 1. Suppose 0 = -b - w - 3*w + 10, -2*b + 3*w = 24. Is o(b) a multiple of 26?
True
Suppose -10*p + 402 + 438 = 0. Is p a multiple of 17?
False
Suppose 2*a = 193 + 567. Does 10 divide a?
True
Suppose 139 = -9*y + 292. Is 3 a factor of y?
False
Let k(r) = -r**2 - 8*r - 10. Let o be k(-2). Suppose o*y - 47 = 169. Is 15 a factor of y?
False
Let c(m) = m**2 + 4*m + 1. Let h be 2*(27/(-6) + 0). Let t be c(h). Let y = t + -28. Does 12 divide y?
False
Let n(k) = 3*k**2 + k. Suppose 0 = 3*i - 2*z - 2, 5*z - 16 = i + z. Let j be 1/(-2)*(-8 + i). Does 3 divide n(j)?
False
Suppose -q = -5*z + 6 + 20, 0 = -z + 5*q + 10. Suppose -4 + 754 = z*v. Is 10 a factor of v?
True
Suppose 3*m = -0*m + 807. Suppose 3*p = -9*z + 4*z + m, 4*p + 92 = 2*z. Is z a multiple of 26?
True
Let d(k) = k**2 + 8*k + 4. Let p be d(-8). Suppose -4*s = -5*y + 1 - 2, 0 = p*y + 4*s - 28. Suppose 4*x + 0*u = -5*u + 45, 5*x = -y*u + 53. Is 5 a factor of x?
True
Suppose -p - 1644 + 499 = -5*c, -5*c - p = -1155. Is 23 a factor of c?
True
Let h(j) = 5*j - 10. Suppose 0 = -f - f + 88. Suppose 3*o + f = 7*o. Is 22 a factor of h(o)?
False
Suppose -2*q - 846 = -5*q. Suppose 3*u - 144 = q. Is 16 a factor of u?
False
Suppose -154 = 5*r - 1129. Is (r + -1)*((-15)/10 - -2) a multiple of 13?
False
Let n(w) = 170*w + 8. Is 16 a factor of n(4)?
True
Let s(d) be the third derivative of -13*d**6/60 - d**5/60 - d**4/24 + d**3/6 + 34*d**2. Is s(-1) a multiple of 9?
True
Suppose -4*o + 0 + 31 = x, -x + 2*o + 1 = 0. Let g = x + -6. Is 15 a factor of 2/g - 952/(-20)?
False
Suppose -25*b = -30*b + 225. Suppose -2*j - 3*a - 4 = 3, 5*j - 5*a - b = 0. Does 4 divide j?
True
Suppose 4*f + 18 = -0*f + 5*j, -j + 6 = -2*f. Let k = -5 - f. Let w(y) = -15*y - 3. Is w(k) a multiple of 21?
True
Let f = -18 + 20. Suppose -f*g + 86 = -g + 5*v, -3*g - 4*v = -269. Is g a multiple of 13?
True
Suppose -159 = 5*x - 424. Suppose 5*j - x = 42. Does 9 divide j?
False
Let u = -86 - -16. Suppose 0 = l - 6*l - 170. Let b = l - u. Is 9 a factor of b?
True
Suppose 0 = 44*j - 35*j - 774. Is 23 a factor of j?
False
Suppose -24 + 27 = -u. Does 18 divide (-275)/u + (-4)/(-12)?
False
Let h = -206 - -605. Does 11 divide h?
False
Let y(a) = 2*a**3 + 8*a**2 - 5. Is y(5) a multiple of 18?
False
Suppose 3*g - 1002 = -3*n, -664 = -2*g - 3*n - 0*n. Suppose 0 = -4*d + 2*r + 334, 4*d - 10*r - g = -12*r. Is 21 a factor of d?
True
Suppose 124*p - 99*p = 66375. Is 18 a factor of p?
False
Let i(n) = -n**3 + 16*n**2 + 11*n + 10. Let y be i(16). Suppose 5*o - y = 129. Is o a multiple of 9?
True
Suppose 8*z - 1215 - 2737 = 0. Does 25 divide z?
False
Suppose r - 2*z = -6*z - 8, 0 = -r - 2*z + 2. Let p(f) = f**2 - 11*f - 11. Let n be p(r). Let g(o) = 51*o**2 - o. Does 13 divide g(n)?
False
Suppose 0*j = -3*j + 3*u + 1404, 1436 = 3*j + 5*u. Is j a multiple of 7?
False
Let z(j) be the third derivative of j**6/120 + j**4/24 + 4*j**3 - j**2. Let l(p) = 2*p**2 + 17*p + 21. Let t be l(-7). Does 6 divide z(t)?
True
Suppose 3 = -m - 3*l, -3*l + 1 = 3*m - 8. Let v(f) = 6*f - 1. Does 7 divide v(m)?
True
Suppose 5*n = 2*l - 26, 0 = -l - 0*l - 2*n + 4. Let v(f) = -f**3 + 8*f**2 + 7*f - 12. Is v(l) a multiple of 10?
False
Suppose -3*f + 268 = 2*t - 5*f, 139 = t - 2*f. Suppose a + 0*a - 52 = -2*y, -3*a + t = -3*y. Does 7 divide a?
False
Let d = -116 - -129. Suppose -d*q + 78 = -12*q. Is 13 a factor of q?
True
Let x be 8/(-28) + (-564)/(-14). Let r = -21 + x. Suppose -l + r = 4. Is 15 a factor of l?
True
Let r(s) = 345*s - 90. Does 36 divide r(6)?
True
Let h = -1270 + 2245. Does 10 divide h?
False
Let l(k) = k**2 - 2*k + 1. Let t be l(1). Suppose -i + 4 = -t*i. Suppose 0 = 5*c + n - 85, -i*c - n = n - 68. Is 6 a factor of c?
False
Let z(j) = j**3 + j + 1. Let b(i) = 23*i**3 - 5*i - 6. Let f(c) = b(c) + 6*z(c). Is 15 a factor of f(1)?
True
Suppose 5*t + 3*j - 1500 = 0, -1991 = -5*t + 2*j - 466. Is t a multiple of 13?
False
Let v = 1613 - 1188. Is v a multiple of 25?
True
Let y = 475 - -317. Does 44 divide y?
True
Let o(n) = -9*n - 2. Suppose u - 1 = -3*x + 1, x - 4*u - 5 = 0. Let c = -7 + x. Is o(c) a multiple of 16?
False
Let t(o) = -o**2 - 4*o + 4. Let w be t(-3). Let y be 3*w/((-84)/(-8)). Is 21 a factor of (-1 - (y + 0))*-25?
False
Suppose -j - 2*b + 6*b + 10 = 0, -5*j = 3*b - 27. Does 6 divide j/39 + (-466)/(-13)?
True
Let v = 57 - 51. Is 22 a factor of (-2)/4 - (-651)/v - 3?
False
Let m be (-40)/6*12/4. Let u(f) = -4*f**2 + f + 5. Let w be u(4). Is (22/w)/(1/m) a multiple of 2?
True
Let g = 11 + -11. Is g + 4 - (1 + -81) a multiple of 21?
True
Let q be -1 + 0 + (6 - 3). Let w be 4/(2 - 1 - q). Is 3 a factor of (7/w)/((-1)/4)?
False
Let a(v) = v**2 + 7*v. Let j(i) = 5*i**2 + 34*i - 1. Let t(o) = 11*a(o) - 2*j(o). Let n be t(-6). Let m = n - -32. Does 7 divide m?
False
Suppose 6*m = 4*o + 2*m - 216, o + 4*m = 64. Is 22 a factor of o?
False
Does 4 divide 0 + 1 + (-4 - -6 - -35)?
False
Let z be (10/8)/(2/(-32)). Let u = -23 - z. Let l = u + 85. Does 14 divide l?
False
Suppose -n - 2*k = -1, 3*k + 13 = n + 2. Suppose n*m - 576 = 3*t, m = -t + 1 + 111. Is m a multiple of 19?
True
Let v(d) = d**2 - 7*d + 14. Let x be v(14). Let t = 168 - x. Is t a multiple of 8?
True
Let t = 2232 + -1525. Does 5 divide t?
False
Suppose l = -7*w + 4*w - 77, 0 = 2*w + l + 53. Let z be ((-7)/(-28))/((-2)/w). Suppose 4*n - v = -2*v + 37, -3*v + z = 0. Is n a multiple of 2?
False
Suppose 0 = -4*q - 2*h + 4, -3*q + 21 = h - 4*h. Suppose -5*g = -3*g - 4*m + 20, -5*m + 34 = -q*g. Let r(b) = -b**3 - 17*b**2 + 15*b. Is r(g) a multiple of 27?
True
Let y = -71 + 39. Let b = 106 - y. Is b a multiple of 27?
False
Let n be (-2 + 2)/((-4)/(-4)). Suppose 1 + 19 = 4*i. Suppose n*m + 60 = i*m. Is m a multiple of 4?
True
Let v(f) = 6*f**3 - 6*f**2 + 9*f + 1. Let m(h) = 11*h**3 - 11*h**2 + 17*h + 2. Let t(q) = 4*m(q) - 7*v(q). Is t(3) a multiple of 36?
False
Let v = -16 + 18. Is v/(-8)*-2 - 833/(-14) a multiple of 10?
True
Let x(g) be the second derivative of 0*g**3 + g + 0 + 1/20*g**5 + 3*g**2 + 4/3*g**4. Does 5 divide x(-16)?
False
Let w(a) = -24*a - 120. Is 24 a factor of w(-14)?
True
Let q be 1/(10/(-15))*-2. Suppose 5*v - q*v - 8 = 0. Suppose -w = 2*g - 123, -g + v*w + 11 = -37. Does 11 divide g?
False
Let l be ((-2)/7)/(7/(-49)) + 1. Suppose -s - 2*g = -28, 5*g - 55 = s - l*s. Does 5 divide s?
True
Let g(w) = w**3 - 7*w**2 + 5*w + 9. Let p be g(5). Let k(o) = -7*o + 20. Is 38 a factor of k(p)?
False
Let o be (4 - 65/15)*-21. Suppose -o*a - 311 = -1116. Is a a multiple of 23?
True
Suppose 3*y + 1070 = 2*t, -2*y = -2*t - 5*y + 1046. Is 9 a factor of t?
False
Let t(g) = g + 2*g - g**2 + 9*g - 11*g + 22*g**3. Does 19 divide t(1)?
False
Suppose 9*p + 69 - 2454 = 0. Does 70 divide p?
False
Suppose g + 9 = 4*g. Suppose 3*l - 4*n = 16, 3*n = -g*l + 2*n - 4. Suppose 3*d + 172 = 7*d - 3*b, l = -3*d + 4*b + 129. Is 21 a factor of d?
False
Let b(s) = -13*s**2 + s. Let v be b(1). Is 13 a factor of (-16)/v*-3 - -95?
True
Suppose -5*j + 4279 = 3*i, 9*j + i - 4283 = 4*j. Is 20 a factor of j?
False
Let d(a) = -2*a**2 + 3*a + 3. Let t be d(3). Let z(l) = l**3 + 6*l**2 - l - 2. Let f be z(t). Suppose 7*k = f*k + 90. Does 5 divide k?
True
Let w(q) = -41*q + 1. Let t be w(-4). Let h(g) = g**3 + 4*g**2 - g. Let l be h(-4). Suppose u = -l*u + t. Does 11 divide u?
True
Suppose 44*r = 27*r + 41310. Does 45 divide r?
True
Let l(v) = v**3 - 23*v**2 + 6*v - 35. Is 15 a factor of l(25)?
True
Let u(f) = 5*f - f**2 - f**2 + 3 - 7*f + f**3. Let v be u(3). Suppose -h = -v*h + 375. Is 25 a factor of h?
True
Let n = -280 - -1314. Does 22 divide n?
True
Let u(b) = 9*b**2 - 25*b + 305. Does 40 divide u(9)?
False
Is 31 a factor of 915/(-2)*(200/30 - 8)?
False
Let v = -107 + 718. Is v a multiple of 5?
False
Suppose -2*t + 3*j = -3223, 9*j = 3*t + 12*j - 4842. Is 85 a factor of t?
False
Suppose -d + 1 = -1. Let g(n) = 2*n**2 - 20*n + 2. Let h be g(10). Suppose -h*v = d*v - 5*y - 60, 3*v = 5*y + 45. Is 6 a factor of v?
False
Let y(p) = -5*p - 5*p - 39 + 13*p + 9. Let u = 24 - 4. Does 26 divide y(u)?
False
Let c(m) = -27*m +