 multiple of 8?
False
Let w(o) = -o**3 - 4*o**2 - 9*o - 14. Suppose 0 = 2*u + r + 9, -3*u + 3*r - 19 = -r. Is w(u) a multiple of 8?
True
Let z be 9526/44 - (-1)/(-2). Is (3/9)/(6/z) a multiple of 5?
False
Let i = -40 - -14. Let c(p) = p + 7. Let g be c(-6). Does 25 divide -1*(i + g)*3?
True
Let u be -4*(-46)/6*54/72. Suppose 2*l - 5*r + 3*r = -38, 62 = -4*l - 3*r. Let f = u + l. Is f even?
True
Let f(i) = -i**3 - 51*i**2 - 16*i - 127. Is 13 a factor of f(-51)?
True
Let g(a) = 4*a**3 - 5*a**2 + 4*a + 6. Let y be (-3)/5 - (-2 + (-54)/15). Does 34 divide g(y)?
False
Let v = -151 - -633. Let m = v - 339. Is m a multiple of 39?
False
Is 64 a factor of (-14)/(-49) + (-1578)/(-14)?
False
Suppose -3*a = -10*a + 49. Is a - -37 - (0 + (-2 - -1)) a multiple of 30?
False
Suppose 3*u = -4*h + 14, 0*h + h + 2*u = 1. Suppose 0 = h*a + 9 - 359. Is a a multiple of 5?
True
Let i(q) = -32*q - 16. Let x be i(-11). Let o be 3/(-6)*2 + 15. Suppose o*l = 10*l + x. Does 28 divide l?
True
Does 20 divide 181 + 0/(-2) + 0/2?
False
Let j(f) be the second derivative of -f**5/20 + f**4/3 + f**3/3 - 3*f**2/2 - f. Let d(y) = -y + 12. Let b be d(8). Is j(b) a multiple of 5?
True
Suppose 0*u = 5*d + 4*u - 6552, 2*d - 2607 = 3*u. Is d a multiple of 109?
True
Suppose 0*p - k + 9 = p, 3*p + 3 = 3*k. Suppose -4*o + p = -4. Suppose 25 + 1 = o*b. Is b a multiple of 13?
True
Let g(k) be the first derivative of 4 - 1/3*k**3 + 4*k**2 + 9*k. Does 8 divide g(8)?
False
Suppose -25 = -4*r - 9. Let t be 0 - (-40 + 8/r). Suppose -4*o + 26 + t = 0. Is 4 a factor of o?
True
Suppose 3*n + 2 = 446. Does 11 divide n?
False
Let t(r) = r**2 - 6*r - 4. Let q be t(7). Suppose 2*d + 5 = d, 246 = q*a - 3*d. Is 21 a factor of a?
False
Let h be (-19 + 0)/((-2)/36). Suppose h = 19*f - 17*f. Is f a multiple of 24?
False
Suppose -2*h + 35 = a - 21, 319 = 5*a - 3*h. Suppose 0 = 57*s - a*s + 575. Is 10 a factor of s?
False
Let q(t) = 2*t**2 + 2*t - 6. Let g be q(-3). Suppose -g*o + 96 = -0*o. Does 13 divide o?
False
Let d(f) = 4*f**2 - 112*f + 49. Is 11 a factor of d(33)?
False
Let o(v) = -v**2 + 11*v - 21. Let g be o(8). Suppose g*m - 1992 = -3*m. Does 34 divide m?
False
Let i = 390 + -276. Does 19 divide i?
True
Let y(l) be the first derivative of -5*l**2/2 - 65*l + 31. Is y(-17) a multiple of 2?
True
Suppose 0 = 3*a + 3*u - 687, 2*a - 5*a + 3*u + 693 = 0. Is a a multiple of 10?
True
Let i(s) = -12*s - 55. Does 5 divide i(-15)?
True
Let y = 329 - 161. Let r(o) = o**3 - 4*o**2 + 2*o - 1. Let m be r(4). Suppose -10*t + y = -m*t. Is t a multiple of 10?
False
Let g(k) = k**2 - 27*k + 95. Is g(-7) a multiple of 48?
False
Is 31 a factor of (-129)/15*-5 + -7?
False
Let q(l) = 14*l + 130. Is q(17) a multiple of 13?
False
Let v(z) = -z**2 + 15*z - 2. Let r(x) = -2*x**2 - 12*x - 1. Let d(g) = 5*g**2 + 35*g + 2. Let f(j) = -4*d(j) - 11*r(j). Let q be f(5). Is v(q) a multiple of 12?
True
Let p = 321 - 188. Is 3 a factor of p?
False
Let s(o) = o**3 - 2*o**2 - 4*o + 230. Is 9 a factor of s(0)?
False
Let x(f) = 943*f - 64. Does 4 divide x(1)?
False
Let x(j) = j**3 + 7*j**2 - 8*j - 6. Let h be x(-8). Let q be (4 - h/3)/1. Let v(s) = 4*s + 4. Does 16 divide v(q)?
False
Suppose -3*r + h + 432 = 0, 4*r - 5*r = -2*h - 144. Suppose 0 = 3*o - o - 8, r = 5*z - 4*o. Is z a multiple of 10?
False
Suppose -4*b = -9 - 11. Let g = b + 15. Let l = 19 + g. Is 15 a factor of l?
False
Does 38 divide 2138 - (-112)/(-32)*(-20)/(-14)?
False
Let n be (-16)/5*(-60)/8. Let v = n - -17. Is 41 a factor of v?
True
Let m(g) = 93*g**2 + 3*g + 2. Suppose 0 = 3*u + 6 - 3. Is 23 a factor of m(u)?
True
Suppose -2*a - 3*r = -2, -3*a = 2*a + 2*r - 27. Let j = a - 3. Suppose 102 = j*u - 2. Is u a multiple of 11?
False
Let m be 2*-6*6/9. Let v = -5 - m. Suppose -v*w = -7*w + 188. Is w a multiple of 15?
False
Let c be 6*(-15)/10*-35. Suppose -7*f + 2*f - 227 = -2*r, 3*r + f - c = 0. Is 28 a factor of r?
False
Let w = -32 - -32. Suppose w = 2*a - 2*f - 94, -3*f = a + 2*f - 59. Is 7 a factor of a?
True
Let p(u) = -u**3 - 4*u**2 + 4. Let g be p(-3). Does 47 divide 13/26 + g/(-2) - -241?
False
Suppose -85 = 4*c + 11. Is 16 a factor of (4*-1)/(1/(c/3))?
True
Suppose 0 = 4*g - 5*l + 17, -g + 2*l = 10 - 2. Let i be (2 - g)*1/(-2). Suppose i = s - 4*s + 126. Is 14 a factor of s?
True
Let r(f) be the third derivative of -f**5/60 + 7*f**4/12 + 5*f**3/3 - 4*f**2. Is r(13) a multiple of 11?
False
Is 8315/10 - (-4)/(-8) a multiple of 7?
False
Suppose 46*n = 50*n - 88. Is 7 a factor of n?
False
Let k(a) = 30*a + 244. Is k(10) a multiple of 8?
True
Let y(q) = q - 10. Let p be y(13). Suppose -p*c + 85 = -47. Let i = c - 25. Does 19 divide i?
True
Let i = -1 + 0. Let n be i/((3 - -1)/(-40)). Is 9 a factor of n/4*136/10?
False
Suppose 4*f - 1369 = -489. Does 20 divide f?
True
Is ((-5)/(15/(-331)))/(3/54) a multiple of 12?
False
Let f(u) = 8*u**2 + 3*u - 2. Let b be f(1). Let a(w) = b*w**2 + 2*w**3 + 6 - w**3 - 23 + w. Is 9 a factor of a(-8)?
False
Let t = -1274 + 2250. Is t a multiple of 16?
True
Suppose 8*y + 1110 = 2*p + 3*y, -1682 = -3*p - y. Is p a multiple of 70?
True
Let p(d) = -2*d - 31. Let c be p(-17). Suppose -h + 37 = -0*h - 4*l, -l = -c*h + 100. Let j = 25 + h. Does 17 divide j?
False
Let i(f) = -f + 19. Let g be i(14). Suppose -2*j + 6 = 2*t, -g*t = -2*j - 1 - 0. Does 19 divide ((-9)/12)/(t/(-92))?
False
Let d(v) = -64*v**3 + v**2 + 4*v + 3. Is 12 a factor of d(-1)?
False
Suppose 6*i - i - 2*a - 1831 = 0, 0 = -4*i + 3*a + 1469. Suppose 9*v - 4*v = i. Let j = v + -13. Is 15 a factor of j?
True
Let q = 8 + 97. Suppose q + 175 = 4*v. Is v a multiple of 14?
True
Let c(g) = g**2 - 6*g - 7. Let z be c(7). Let j be ((z - 1) + -1)*-4. Is 13 a factor of -2*(-4)/j + 13?
False
Suppose 5 = 5*k - 5. Suppose -8*g = 10 - 26. Suppose w + 5*n = 9, 7*w - 22 = k*w - g*n. Is w a multiple of 4?
True
Let l(r) be the first derivative of 2*r**3/3 - 14*r**2 + 38*r - 28. Does 13 divide l(18)?
True
Suppose 0 = 17*v - 16*v - 10. Suppose 0 = v*j - 0*j - 830. Is j a multiple of 15?
False
Let q(z) = z**2 - 5*z + 16. Let o be (9 + 0)*2/2. Does 18 divide q(o)?
False
Let p = 177 - 121. Let v = 16 + p. Does 6 divide v?
True
Let z(a) = 0*a**2 - 55*a**3 - 3*a**2 + 29*a**3 + 25*a**3 - a. Let l be z(-3). Suppose -22 - 98 = -l*x. Is 10 a factor of x?
True
Suppose -5*b + l + 797 = 0, -5*b + 6*l + 788 = 2*l. Let c = 5 + -2. Suppose c*v = -v + b. Is v a multiple of 20?
True
Does 37 divide 2/14 - ((-250148)/(-161))/(-2)?
True
Suppose m + 3*o - 631 = 0, 4*m + 8*o = 4*o + 2524. Is m a multiple of 14?
False
Let r be -4 + 0 + (2 - -12). Suppose -r*u - 39 = -11*u. Suppose 2*l + 57 = 4*l + 3*c, -3*c - u = -2*l. Is l a multiple of 24?
True
Let v(d) = -d**3 - d**2 + d + 60. Suppose 5*r = 6*r - 12. Let i = -12 + r. Is v(i) a multiple of 20?
True
Suppose -w + 11*h + 1029 = 13*h, -h = -2*w + 2078. Does 61 divide w?
True
Let i be ((-272)/(-6))/((30/5)/18). Let n = 91 + i. Is n a multiple of 17?
False
Suppose -g - 2 + 1 = -n, -5*n = 2*g - 5. Suppose g*i = -2*i + 4. Suppose -3*a + 31 = 5*v, 3*a + i*v = 2*a + 10. Is 12 a factor of a?
True
Let x be (-106)/(((-9)/6)/3). Let n = -397 + 248. Let v = n + x. Is 24 a factor of v?
False
Suppose 25882 = 26*q - 25312. Is q a multiple of 84?
False
Suppose -3*g + 5*g - 134 = 0. Let f = -33 + g. Is 10 a factor of f?
False
Let v(m) = 17*m**2 + 20*m - 20. Is v(5) a multiple of 18?
False
Let d = -381 + 556. Suppose 4*z = -3*o + d, -4*z - 4*o + 176 = -0*z. Does 22 divide z?
False
Suppose 14*p = 5*p + 630. Suppose -y - 65 = -f, f + 3*y - p = -y. Is 33 a factor of f?
True
Suppose 3127 = 5*q - 143. Is q a multiple of 14?
False
Let f(u) = u**3 - 5*u. Let m(j) = -j**2 + 5*j + 4. Let a be m(5). Let o be f(a). Suppose 2*h - o + 12 = 0. Is h a multiple of 16?
True
Suppose 4*g = 5*y - 810, 3*y + 33*g = 31*g + 486. Does 39 divide y?
False
Let j(x) = 89*x - 246. Is 57 a factor of j(33)?
False
Let w = 16 + -17. Is w*(-786)/(-15)*(-65)/26 a multiple of 10?
False
Let k = 1514 + -906. Is 19 a factor of k?
True
Let z = 210 + -138. Is z a multiple of 24?
True
Let l = 22 - 25. Suppose -4*c = 2*a + 13 - 43, -4*c + 4*a = 0. Is c + 4 + 1 + l a multiple of 5?
False
Let f be (-8)/((-6)/(-3)) - 0. Let d be (5 + f)/(2/206). Suppose -4*l + d = -65. Does 21 divide l?
True
Let w(r) = -3 - 4 + 0 + r + 2*r**2. Is