Let g be -2 + 24 + -3 + 1. Let r = g - -2. Is r a multiple of 11?
True
Let h(w) = 2*w**2 - 5*w + 4. Suppose v = -2 + 5. Is h(v) a multiple of 2?
False
Let o = -4 + 8. Let a be 8/1*2/o. Suppose -a*l + 6 = -14. Is 5 a factor of l?
True
Suppose -3*r = -0*r. Suppose -2*z = -r*z - 98. Is z a multiple of 16?
False
Suppose 0 = 5*t - 3*f - 277, 2*t = 3*f + 114 - 5. Is 6 a factor of t?
False
Let w = 14 + -15. Suppose 2*n - j = -2*j + 8, -5*j = -5*n - 10. Is (-4)/w - n - -9 a multiple of 6?
False
Let k(u) = u**3 - 4*u**2 + u. Let d be k(4). Suppose 3*l + 11 = 4*y + 4, 5*y - 1 = -d*l. Is 21 a factor of -1*l*35 + -1?
False
Does 32 divide (-2 - (40/(-4))/2) + 157?
True
Let i = -2 + 3. Suppose 5*g + u + i = 43, 3*g - 36 = 3*u. Let j(k) = k**3 - 9*k**2 + 6*k - 11. Is 17 a factor of j(g)?
False
Let z = 51 - 24. Let j = z - 17. Is 4 a factor of j?
False
Let v(k) = 6*k + 1. Let l be (3/(9/66))/2. Let n be v(l). Suppose -3*q - 16 = -n. Is q a multiple of 8?
False
Let b(c) be the first derivative of -c**4/4 + 2*c**3 - 3*c**2/2 - 7*c + 1. Let y be b(5). Is 12 a factor of 75/y - (0 - -1)?
True
Suppose 5*x - 12*x = -448. Does 5 divide x?
False
Let w be -13*(3 + 12/3). Let b = -53 - w. Is 13 a factor of b?
False
Suppose 4*s - 4*o = 112, 2*o - 124 = -3*s - 20. Suppose 8*z - 9*z + s = 0. Does 5 divide z?
False
Is 7 a factor of 28 - (4 + -2 + -2)?
True
Suppose 0 = -14*r + 127 + 279. Is 4 a factor of r?
False
Suppose 24 = 3*b - 7*b. Let y(g) = -g**2 - 7*g + 8. Is 7 a factor of y(b)?
True
Let c be 0*((-3)/6 + 0). Suppose -3*q - 6 + 18 = c. Suppose a + 1 = q*x, 2 = a - 2*x - 3. Does 6 divide a?
False
Suppose -99 = -2*c - v, 0 = 4*v - 4 + 24. Suppose 5*q - 3 = k + c, 5*q - 55 = 2*k. Is q a multiple of 11?
True
Let v(d) = 3*d - 8. Suppose 0 = i + i, -2*l = -3*i - 20. Is 11 a factor of v(l)?
True
Let c = -144 - -74. Let o = c + 130. Does 32 divide o?
False
Suppose -a + 2*a = 0. Suppose -3*w = -2*n + 22, 3*w + 5*n - 13 = -a. Is 22 a factor of (-190)/w + (-12)/8?
False
Let v = -178 + 416. Is v a multiple of 17?
True
Let x(f) be the third derivative of -f**4/24 + f**3/6 - 3*f**2. Let g be x(-3). Suppose 0*y + y - g = 0. Is y a multiple of 4?
True
Is 2 a factor of (((-9)/6)/3)/((-2)/52)?
False
Let d be (-1293)/(-9) - 4/(-3). Suppose -m = 4*m - d. Is 16 a factor of m?
False
Let i(p) = -70*p + 1. Let u be i(-1). Suppose -j - 4*b + 46 = 0, -u = -3*j + j - b. Does 11 divide j?
False
Is 17 a factor of (-27 + -1)*27/(-12)?
False
Suppose 5*g = 86 + 179. Is 14 a factor of g?
False
Let x = -8 + 27. Is 18 a factor of x?
False
Let w(t) = 17*t - 1. Let u be w(1). Suppose g - u = 3. Is 12 a factor of g?
False
Let c = -15 + 16. Does 12 divide (c + -4 - 0)*-16?
True
Suppose 0 = 2*o + 4, 3*t + 2*t = -o + 28. Is t even?
True
Let t = 4 + -6. Let z be -1 - ((-6)/(-2) + -2). Is 15 a factor of (z - (27 - -1))/t?
True
Let y = 42 + -34. Is y a multiple of 4?
True
Let y be 73/3 - 1/3. Suppose 4*r = -0*r + y. Is -2*(-33)/r*2 a multiple of 9?
False
Let d(c) = -3*c**3 + 2*c**2 + 4*c + 3. Is 9 a factor of d(-3)?
True
Suppose 0 = -2*j + 398 + 78. Is j a multiple of 17?
True
Let g(f) = -2*f - 9. Let w(x) = -6*x - 28. Let n(p) = 7*g(p) - 2*w(p). Let q be n(-6). Suppose -50 = -q*j + 5*a, 0 = 2*j - j + 4*a - 25. Does 13 divide j?
True
Let l(w) = 45*w - 1. Does 19 divide l(1)?
False
Suppose d + 1 = -5. Let x = 4 + d. Is 9 a factor of (10/6)/(x/(-42))?
False
Let u(z) = 3*z - 9. Let b be u(9). Suppose 0*d - b = -d. Does 7 divide d?
False
Let t be (-3 - -1) + (-4)/(-1). Suppose -t*a + 5 = -g, -3*a = 2*a + g - 9. Suppose -38 = -a*l - 0*l. Does 8 divide l?
False
Let a = 24 + -21. Is (a/2)/(24/320) a multiple of 10?
True
Suppose -10 = o + z, 20 = -2*o - 0*z - 4*z. Is (o - -39) + (1 - 3) a multiple of 9?
True
Let j(k) = -k**3 + 7*k**2 - 5*k - 4. Let z(r) = r**3 - 4*r**2 + r + 1. Let m be z(4). Is j(m) a multiple of 7?
True
Let b = 59 + -14. Let r = -21 + b. Does 24 divide r?
True
Let n be -3 - (-1 - (7 - 3)). Let o be 465/4 + n/(-8). Suppose v = -3*v + o. Is 17 a factor of v?
False
Let s = 93 + -3. Suppose 0*d = 5*d - s. Does 6 divide d?
True
Let y(b) be the first derivative of 3*b**2/2 - b + 3. Is 5 a factor of y(2)?
True
Let p(s) = s + 13. Let y be p(0). Suppose -h + 13 = -b, h - 3*b - y = b. Is 13 a factor of h?
True
Suppose -2*k + 5*a = -7 + 2, 5*a = -5*k + 30. Suppose 0 = -q + k*q + 32. Is (-138)/q*16/6 a multiple of 12?
False
Suppose 35 = 5*y - 2*r, -4*r = -4*y + r + 11. Is y a multiple of 3?
True
Let u = 2 + -4. Let d be (-3)/4*-1*56. Let z = d - u. Is z a multiple of 15?
False
Is 4 a factor of 22/(4/2) + 3?
False
Suppose 3*a - 7 - 6 = 2*f, -3*f - 2*a + 13 = 0. Let y be 6/((-4)/(-2) - f). Suppose -3*k = -4*g - 0 - y, 0 = -4*k - 5*g + 8. Does 2 divide k?
True
Suppose -4*f = -4*p - 4, -2 = 5*f - f + 2*p. Suppose -3*q + 0 + 3 = f. Suppose -q = -2*a + 3. Is a a multiple of 2?
True
Suppose 4*w + 7 = 15. Let q(l) = -4 - 2 - 11*l - 2 + 0*l - l**w. Is q(-7) a multiple of 10?
True
Suppose 3*b + 19 = 4*b. Suppose 0 = -4*t + 3*t + 5, 3*t + 150 = 5*c. Let l = c - b. Is 6 a factor of l?
False
Let a be (4/12)/((-2)/6). Is 10 a factor of 22 - (-1 - a - -2)?
True
Let k be (1 - -11)/(1/6). Suppose -3*j = -j - k. Suppose 0 = -2*n + j + 52. Is 12 a factor of n?
False
Let x = 119 + -85. Is x a multiple of 17?
True
Let s be -1*(1 + -1) + 1. Let r be ((-19)/s)/((-1)/5). Suppose 0*v + 5*v = r. Does 17 divide v?
False
Suppose 7*m - 715 = 643. Is 23 a factor of m?
False
Let t = 8 + -6. Let n(h) = h**2 - h. Let u be n(t). Let l = 7 - u. Is l a multiple of 5?
True
Let n(h) = -8*h - 4. Let x(p) = p**3 - 5*p**2 + 3*p. Let j be x(4). Does 10 divide n(j)?
False
Suppose 4*d = -2*i + 86, d + 5*i - 55 = -d. Suppose 3*o - 53 = -0*f + 2*f, -d = -4*f. Is o a multiple of 14?
False
Let r(v) = v**2 + 5*v - 20. Is 15 a factor of r(-10)?
True
Let j be (-6)/9 - 46/(-6). Let f = j + -5. Suppose 0 = -f*t + 37 - 11. Is t a multiple of 7?
False
Let q be ((-1)/(-2))/((-6)/(-12)). Suppose -2*j - j + 4*y = 12, 6 = -2*j + 2*y. Suppose 2*h - q = 3*f - 40, j = 3*h. Is 6 a factor of f?
False
Let v = -58 - -126. Is 10 a factor of v?
False
Suppose 0 = 2*o - 3 - 5. Suppose -4 = o*q, 4*q = 2*n - 57 + 9. Is n a multiple of 11?
True
Does 7 divide -30 + 94 + 2/(-1*1)?
False
Suppose 2*q + 19*q - 3087 = 0. Does 15 divide q?
False
Is 10 a factor of -1 + 0 + -2 + 23?
True
Let a be -7*(0 + (-1 - 1)). Let c = a - -11. Suppose 0 = -5*z + c, x + 3*z + 45 = 3*x. Is 13 a factor of x?
False
Suppose -10 = 4*p - 38. Let b(t) = t**2 - 6*t - 7. Let k be b(p). Suppose 6*f - m - 89 = 4*f, -f - 5*m + 39 = k. Does 23 divide f?
False
Suppose -5*x = -113 - 72. Suppose 0 = 4*n + 2*w - 26, 7 = -4*n - 4*w + 23. Suppose 2*p - x = -n. Is 7 a factor of p?
True
Suppose 5*b = 5*z - 275, 4*z - b = 2*b + 217. Does 26 divide z?
True
Let t(o) = -o**3 - 4*o**2 + 4*o. Let b be t(-5). Suppose -3*k = 4*g - 42 + 6, -g - b*k = -26. Let c = 20 - g. Is 5 a factor of c?
False
Let f be 2*((-75)/6 + -2). Let a = f - -20. Let l(h) = h**2 + 6*h - 6. Is l(a) a multiple of 21?
True
Let u be (10 - 12)/((-4)/(-42)). Does 8 divide (u/(-2))/(9/24)?
False
Let f = -9 - -20. Suppose -3*c + 35 = h - f, -4*h + 4*c + 184 = 0. Does 12 divide h?
False
Suppose -5*l + 189 = -56. Is l a multiple of 5?
False
Let m(v) = -v**2 + 21*v + 17. Does 19 divide m(13)?
False
Suppose 4*c - 9*c = -150. Is c a multiple of 13?
False
Suppose -2*t + 3*t = 2. Suppose -24 = -5*v + t*v. Is 5 a factor of v?
False
Let j(r) = 4*r**2 - 1. Let y be j(1). Suppose y*c + 68 = c. Let x = 47 + c. Is x a multiple of 5?
False
Let p(y) be the second derivative of y**6/720 + y**5/10 - y**4/6 - y. Let v(z) be the third derivative of p(z). Is 12 a factor of v(0)?
True
Is (-2)/(-13) + 4336/208 a multiple of 3?
True
Suppose 4*f - 49 = v, -3*f = 4*v - v - 18. Is f a multiple of 11?
True
Let x(c) = 36*c**3 + 2*c**2 - 1. Let f(k) = k - 8. Let j be f(9). Does 8 divide x(j)?
False
Let d = -73 + 105. Is d a multiple of 15?
False
Let w(d) = d**3 - 9*d**2 + 10*d - 7. Let z be w(8). Let h = z + 20. Does 15 divide h?
False
Let w = 521 + -245. Let r = -182 + w. Is 16 a factor of r?
False
Let f(g) = g**3 + 13*g**2 + g + 3. Let x be f(-13). Let s = x - -15. Is s a multiple of 5?
True
Let j be 3 + -3 - (-16)/1. Does 29 divide 234/8 - 4/j?
True
Let p(o) = 46*o**2 - o. Suppose -7*f 