False
Suppose 12301 = 3*p + z, -16401 = -4*p + 5*z - 6*z. Does 25 divide p?
True
Let j = 3 - -18. Does 26 divide j/(-15) + 1 + 392/5?
True
Let l(h) = -4*h + 6. Suppose -q + 1 - 4 = 0. Let m be -1 + q - (3 - 2). Is 9 a factor of l(m)?
False
Let v be (6 - -2)*(-2)/4. Does 7 divide (v + 0)*140/(-16)?
True
Let u be 0*(0 - 1 - 0). Suppose w + 2*r - 20 = 25, u = -4*w - 4*r + 172. Is w a multiple of 10?
False
Let t(n) be the first derivative of 11*n**4 + 2*n**3/3 - n + 4. Let r be t(1). Suppose -370 = -5*p - r. Does 11 divide p?
False
Does 31 divide (868/8)/((-2)/(-8))?
True
Is (-7)/((5 - 6)/(-3 + 170)) a multiple of 75?
False
Let v = 330 + 197. Does 11 divide v?
False
Suppose -2*x + 80 = -7*x. Let y be ((-9)/(-6))/((-3)/x). Suppose -5*u = 25, u = r + 6*u + y. Is r a multiple of 5?
False
Suppose -2*g + 4*g + 8 = 0. Let n(z) = -13*z + z + 5 - 2 + 4*z. Does 6 divide n(g)?
False
Let s = -1243 + 3076. Does 67 divide s?
False
Suppose 2*g = 4*g. Suppose 9*q - 5*q = g. Suppose -5*m + 0*m + 185 = q. Is m a multiple of 8?
False
Let i(d) = -d**3 - 5*d**2 + 9*d - 9. Let l = -7 - 0. Let z be i(l). Let y = -18 + z. Is y a multiple of 7?
False
Let y(u) = -u**2 - 11*u - 6. Let i be y(-11). Is 41 a factor of (-2)/3 + (-988)/i?
True
Let z(l) = l**2 + 13*l + 15. Let j be z(-12). Let t be (-5 - j)*(3 - 5). Does 8 divide (t/(-10))/((-3)/15)?
True
Suppose 4*t - f - 573 - 664 = 0, 4*f - 288 = -t. Is t a multiple of 7?
True
Let v be (-2 - -3)/((-2)/(-632)). Suppose -6*r = -10*r - v. Let g = -51 - r. Is g a multiple of 7?
True
Suppose -13 = -2*k + 1. Suppose 2*y - 369 = -k*y. Does 17 divide y?
False
Suppose 5*v + 2*w - 2512 = 0, 0 = v + w - 0*w - 500. Is v a multiple of 40?
False
Let c(b) = -b**3 + 8*b**2 + 5*b - 11. Let x(s) = 2*s + 1. Let a(u) = -3*u - 1. Let r(n) = 5*a(n) + 8*x(n). Let f be r(5). Does 14 divide c(f)?
False
Suppose 1 = -4*o + 17. Suppose o*g + 24 = 6*g. Is 8 a factor of (g - 0)/((-10)/(-15))?
False
Suppose 16512 = 26*o - 43262. Does 7 divide o?
False
Let l be (0 - 3/(-3))/(4/8). Suppose -l*g + 216 = -g. Is g a multiple of 36?
True
Let y(w) = -w**3 + 6*w**2 + 8*w - 4. Let k be 1 + (-3 - -4)*5. Does 13 divide y(k)?
False
Suppose 1624 = d + 5*p, -5*d = 2*p - 5126 - 3040. Is d a multiple of 19?
True
Let r be (12/(-10))/(30/(-200)). Is 14 a factor of r/10*455/26?
True
Let n(z) be the first derivative of z**3 - 2*z**2 - 11*z - 3. Let m be n(-5). Suppose -t = 2*t - m. Is t a multiple of 7?
True
Suppose -2*n = -3*k + 4*k + 4, 0 = -5*n - 15. Let o be (-113)/(-4) - (6 + 81/(-12)). Suppose -k*q + 3*u + o = 0, u - 6*u = 5*q - 85. Does 16 divide q?
True
Let z(x) = -x**2 + 2*x - 1. Let l be z(1). Let s(h) = 675*h + 36 - h**2 - 339*h - 337*h. Is s(l) a multiple of 14?
False
Let v(n) be the second derivative of -n**3/2 - 13*n**2/2 - 4*n. Let f be v(-9). Let q = 24 - f. Is 7 a factor of q?
False
Let f = 39 - 39. Suppose -5*q = -5*j + 470, 0 = 4*j - f*q + 2*q - 364. Is j a multiple of 23?
True
Let j = -438 - -532. Is j a multiple of 5?
False
Suppose 0 = 4*x - 13 - 3. Let u = x + -1. Suppose u*i = -i + 56. Does 8 divide i?
False
Let u(i) = i**2 + i - 2. Let q be u(-4). Suppose 50 = 8*p + q. Suppose p = -4*s + 117. Does 14 divide s?
True
Let u = 4 + 2. Let b be -6 + -4*(-3)/u. Is 3 a factor of (81/18)/((-2)/b)?
True
Does 12 divide 4*214 + (-9 - (-1 + -4))?
True
Suppose 0 = -84*f + 107*f - 32775. Is 75 a factor of f?
True
Let x(h) = h**3 - 5*h**2 + 3*h - 14. Let p be x(6). Does 20 divide 8/p - (-874)/5?
False
Suppose -3*b = -6*b - 4*y + 626, 624 = 3*b + 3*y. Does 13 divide b?
False
Let s be (-7)/((-28)/9984) - -3. Let g be (s/6)/7*2. Suppose 229 = 4*h - g. Is h a multiple of 24?
False
Is 24 a factor of 2 + (567 - (-12 - -5))?
True
Let v be 0 - (4/4 + -16). Suppose -f + 4*f = v. Suppose -29 = -f*x + 21. Does 6 divide x?
False
Let t(w) = -7*w - w**3 - 14*w + 1899 - 1909 - 16*w**2. Does 12 divide t(-15)?
False
Let n(w) = w**3 + 10*w**2 - w - 2. Let r be n(-5). Suppose s + 3*z = -32 - 60, -3*s - 263 = -4*z. Let c = r + s. Is 13 a factor of c?
True
Suppose 0 = -33*z + 32*z + 592. Is 13 a factor of z?
False
Suppose 2*y - p - 4*p - 29 = 0, 0 = y + 4*p + 18. Suppose y*q = -2*a + 384, -3*a - 376 = -5*a - 4*q. Does 49 divide a?
True
Let w be (-93)/(-15) + (-2)/10. Let p = -6 + w. Is (4/(-1) - p)*-1 a multiple of 3?
False
Suppose 0*f = f + 2. Let m be f/1 - -2 - 0. Suppose a + 5*q - 4*q - 35 = m, -2*q = -2*a + 82. Is a a multiple of 19?
True
Let z(h) = -3*h**3 - 107*h**2 - 73*h - 37. Does 4 divide z(-35)?
True
Let s be ((-6)/8*-38)/(-3)*-10. Suppose -h + s = 4*h. Is h a multiple of 10?
False
Suppose -2*s - 2*b + 330 = 0, 4*s + 5*b + 687 = 8*s. Does 6 divide s?
True
Suppose 0 = -35*j + 18*j + 8670. Is 30 a factor of j?
True
Does 52 divide (-45932)/(-24) + 49/42 + -1?
False
Let a be -9*1*(-4 - -3). Suppose 6*q - 3*q - a = 0. Suppose 2*b - q*g - 31 = 0, -4*b - 2*g + 60 = -6*g. Is b a multiple of 14?
True
Let w be (-2 - -3)*(-3 - -4). Let d be (w - -1) + 113 + -3. Suppose 5*g = -4*k - d + 628, -492 = -4*k + g. Does 18 divide k?
False
Suppose 0 = -2*p + 5*r + 201, p - 5*r - 69 = 24. Suppose 102 = h - 4*v, -3*v + 29 = h - p. Is h a multiple of 31?
False
Let b(a) = -2*a**3 + 2*a**2 + 2*a + 1. Let c be b(-1). Does 6 divide (c/(-5))/(8/(-160))?
True
Is 91 a factor of (-44)/(25 - 21)*(0 + -363)?
False
Let x = 6 - 1. Is -2*x/(-10)*45 a multiple of 9?
True
Suppose 5*d + 3*o + 256 = 10*d, 0 = 5*d - 4*o - 258. Is d a multiple of 25?
True
Suppose 0 = -3*k - 7*s + 10*s + 78, 3*s = 3. Is k a multiple of 9?
True
Let i(d) = 17*d + 6. Let w = 0 + 4. Is i(w) a multiple of 16?
False
Let m = -41 - 373. Is 34 a factor of m*((-1)/6 - 2/6)?
False
Let f be 0/((-15)/(-3) + -3)*1. Let h(c) = -c**2 + 2*c + 201. Does 50 divide h(f)?
False
Suppose -52 + 16 = -3*o. Suppose -5*t + o + 3 = 0. Suppose -t*p + 120 = -0*p. Is p a multiple of 5?
True
Let a(b) be the third derivative of 0*b + 5/24*b**4 + 7*b**2 + 0 + 5/6*b**3. Is 15 a factor of a(11)?
True
Suppose 5*x + 2 + 3 = 0. Let s = 1 + x. Is s/(-1) + 20 + -3 a multiple of 11?
False
Let j(v) be the second derivative of v**4/3 + 2*v**3/3 - v**2/2 - v. Let x = -35 + 32. Does 5 divide j(x)?
False
Suppose -2*i = -6*i. Suppose -3*x - 2*w = -50, -2*w + 66 = -i*x + 4*x. Is x a multiple of 4?
True
Let c = -46 - -449. Is c a multiple of 31?
True
Suppose -4*u + 2*u = -4. Suppose -2*r - u = 46. Is 27 a factor of (-40)/3*126/r?
False
Suppose -4*p - 380 = -3*u, 3*p + 2*p = 5*u - 640. Let v = u - 94. Let g = -22 + v. Does 6 divide g?
False
Let t = -430 - -855. Is 22 a factor of t?
False
Let r(x) = x**3 + 15*x**2 + 7*x + 21. Is 10 a factor of r(-4)?
False
Let y(g) = -91*g**2 - 2*g - 5. Let x(n) = 182*n**2 + 4*n + 11. Let j(p) = -2*x(p) - 5*y(p). Is 23 a factor of j(-1)?
True
Suppose -9 = -5*x - 29. Is 6 a factor of (-4)/2 - 4/(x/55)?
False
Suppose 3*p + 5 - 5 = 0. Suppose -4*d - 388 = -2*h - 0*d, h - 5*d - 200 = p. Is h a multiple of 10?
True
Let u(m) = -m**2 - m + 36. Is 9 a factor of u(0)?
True
Let z = 4 + 0. Suppose 3*k - 60 - 75 = -x, 4*x - 3*k - 510 = 0. Suppose x = -n + z*n. Is n a multiple of 14?
False
Suppose a + 21 = -0. Let t be (-3)/15 - a/5. Suppose -z + s + 7 + 9 = 0, -8 = -t*s. Is z a multiple of 9?
True
Let g(n) = -n**3 - n**2 + n. Let p(l) = -33*l**3 + 2*l**2 - 2*l + 1. Let d(i) = 2*g(i) + p(i). Does 11 divide d(-1)?
False
Let w(l) = l**2 + 9*l + 14. Let n be w(-12). Suppose -4*b - m + 221 = 0, 0 = -7*m + 4*m + 15. Let q = n + b. Is 26 a factor of q?
True
Let s be 3*(2 + 4/6). Suppose -h + 4*k = -23, -2*h - 4*k + 4 = 18. Suppose d - h*a - s = 8, 15 = d - 4*a. Is d a multiple of 9?
False
Suppose -46*i = -44*i - 6. Let x(g) = 28*g - 8. Does 23 divide x(i)?
False
Let p(i) = i**3 - 39*i**2 + 7*i + 168. Is 63 a factor of p(39)?
True
Suppose s = 6*s - 5*y - 55, 4*s = -2*y + 14. Suppose -s*z = -z. Let a(h) = -h**2 + 48. Does 18 divide a(z)?
False
Let l(w) = w + 2. Suppose 2*x - x = 3. Let t be l(x). Suppose 3*i - m = -4*m + 57, t*m - 19 = -i. Is 5 a factor of i?
False
Let l(b) = 12*b**2 + 2*b + 5. Suppose -5*x = 3 + 7. Is 7 a factor of l(x)?
True
Let k be 1/2 - 5/10. Let o(v) = -1 - 2*v + k*v + 4 + v. Is o(-4) even?
False
Let q(i) = i. Let x be 0 + (-3 - (-2)/1). Let w(c) = 40*c + 1. Let o(p) = x*w(p) + 4*q(p). Is 9 a factor of o(-1)?
False
Suppose 2 = x - 2. Suppose m + 