2 - 52*x + 10. Does 13 divide t(-5)?
True
Is 6 a factor of (-78)/(539/187 - 3)?
False
Let j(y) = 2*y**2 - 2*y - 1. Let l be j(-4). Let g be (-2)/(-4) + l/2. Suppose -5*c + o = -6*c + g, 3*c - 5*o = 100. Does 14 divide c?
False
Let k(o) = -17*o**2 - o + 9. Let h be k(-3). Let r = h + 215. Is 22 a factor of r?
False
Suppose -u + 13 = 12. Let l be u + (-3 - -3 - -4). Is l/(-40) + (-130)/(-16) a multiple of 2?
True
Let m = -9 - -16. Let f(b) = -b**2 + 13*b + 4. Let a be f(m). Suppose -3*u + a = -2*u. Is u a multiple of 17?
False
Let l(n) = -2*n + 29. Let x be l(12). Let z be (-36)/(-30)*x/2. Suppose -g + 132 = z*f - 2*f, 0 = 4*g - 16. Does 32 divide f?
True
Let y = -11 - 10. Let s(h) = 2*h**2 + 30*h - 27. Is 25 a factor of s(y)?
True
Let i be -1 + (1 - 3) + 112. Let u = i + -45. Is 32 a factor of u?
True
Let z(d) = 7*d - 4*d**2 - 1 + 0*d**2 + 0*d**2 + d**2. Let a be z(5). Let p = a + 94. Is 21 a factor of p?
False
Suppose 0 = -40*o + 41*o - 10. Is (-456)/(-95)*o/3 a multiple of 4?
True
Suppose 8*n = -2*x + 3*n - 8, -3*x - n - 12 = 0. Let a = 32 + x. Let j = 33 + a. Is j a multiple of 27?
False
Is 21 a factor of ((-1431)/(-45))/(6/40)?
False
Let f(g) = g**2 - 9*g + 12. Suppose 5*a - 8*a + 27 = 0. Is 3 a factor of f(a)?
True
Let o(k) be the third derivative of -29*k**4/24 - k**3/6 + 2*k**2. Let j be o(-1). Suppose d - 121 = -5*m, -d - 107 + j = -3*m. Is m a multiple of 11?
False
Suppose 0 = -2*q + 5*k + 2765, -3*k - 2*k = -4*q + 5515. Is 25 a factor of q?
True
Let a be 6 + 0 - (15 - 14). Does 19 divide 208 + (-4)/(-9 + a)?
True
Does 5 divide 2*13*(27/18 + 1)?
True
Let n(d) = -32*d - 5. Let j(g) = -48*g - 7. Let z(f) = 5*j(f) - 8*n(f). Let o(c) = 1. Let h(r) = 5*o(r) - z(r). Does 24 divide h(-3)?
True
Let p(v) = -26*v - 1. Let z(l) = 2*l**3 - 3*l**2 + 2*l - 3. Let r be z(2). Suppose -20 = 5*k - r. Is 27 a factor of p(k)?
False
Suppose 5*y - 3258 = -y. Is 19 a factor of y?
False
Suppose 75 = 4*k - 189. Let t be -1 + (3 - -1 - k). Let n = t - -110. Is 16 a factor of n?
False
Suppose 3*d - 1219 = -5*m + 196, -m - 1925 = -4*d. Is 8 a factor of d?
True
Suppose 3*p + 0*c = 2*c + 168, 3*p = -c + 159. Let t = 133 - p. Is 24 a factor of t?
False
Let a(q) = -3*q - 4. Let z be a(-3). Suppose -100 - z = 5*m. Is 14 a factor of (-20)/5*m/2?
True
Let u(m) = 237*m**2 - 20*m + 55. Is 38 a factor of u(3)?
True
Is 65 a factor of 5/15 + 3976/6?
False
Suppose j - 1 = 3*k + 5, -5*j + 5*k = -10. Suppose j = -3*t + 5*p - 36, 3*t - 5*p = -2*p - 36. Let h = 28 + t. Is h a multiple of 14?
False
Suppose -3*j + 24 = -0*t - 5*t, 3*t + 5*j - 6 = 0. Let y be (-1)/7 - t/21. Suppose y = 2*q + s + 4*s - 94, 0 = -5*q + 3*s + 235. Is q a multiple of 9?
False
Let m = 858 - 468. Is m a multiple of 13?
True
Suppose -15 = -f - 4*z, -3*f - 4*z - 5 = 2*f. Let j be (-699)/f + (-2)/(-10). Suppose -2*l + 7*l = j. Is 7 a factor of l?
True
Let c be 4734/8 + 1/4. Suppose 539 - 167 = 3*f - 3*b, -2*b + c = 5*f. Suppose 17*h - f = 12*h. Is 12 a factor of h?
True
Suppose -a - 3*d + 27 = 4*a, 0 = -3*a - 3*d + 21. Suppose 99 = a*o - 3*m, -2*o = m - 4*m - 71. Is 4 a factor of o?
True
Let a be 5/(-5 + 4 + 0). Let c(t) = -2*t - 6. Let d be c(a). Is 5 a factor of 17 - d/8*2?
False
Let o = 74 - 72. Suppose 0 = 4*m - 4*t - 1 - 23, 17 = o*m - t. Is m a multiple of 9?
False
Let n(u) = u + 8. Let a be n(-6). Let p = 4 - a. Does 11 divide ((-33)/p)/(2/(-4))?
True
Suppose -2*g - 4*x = -3*x - 1760, -g + 5*x + 869 = 0. Is g a multiple of 11?
False
Suppose 0 = 3*q + 184 + 296. Let h = -42 - q. Is h a multiple of 12?
False
Suppose 377*n - 381*n = -1216. Is n a multiple of 19?
True
Let s = 17 - 14. Let p be (-2 + s)/((-4)/(-88)). Suppose -5*w - 5 = 0, -y + w + 3*w = -p. Does 6 divide y?
True
Let m(j) = 12*j + 16. Let f(r) = -3*r - 4. Let o(v) = -9*f(v) - 2*m(v). Let u be o(2). Suppose -g + u = -7. Does 6 divide g?
False
Let k(t) = -t**2 - 6*t. Let d be k(-3). Let w(q) = 2*q**2 - 13*q + 3. Let h be w(d). Is 10 a factor of h/(1 + 2) + 1?
False
Let n(c) = -c - 8. Suppose 10*s - 39 = 13*s. Is n(s) a multiple of 2?
False
Let r(z) = z**2 + 6*z + 9. Let s be r(-4). Let b = 3 - s. Suppose 0 = -3*i - b*i + 265. Is 22 a factor of i?
False
Let z(p) = p - 1. Let v(l) = -29*l + 6. Let n(a) = v(a) + 3*z(a). Let g be n(-5). Let x = 189 - g. Does 14 divide x?
True
Let c = -64 + 65. Let v(r) = 196*r - 2. Does 20 divide v(c)?
False
Let j = -6 - -9. Is (-1)/j*-6 - -75 a multiple of 20?
False
Let y(i) be the third derivative of 19*i**6/120 - i**4/12 + i**3/6 + 126*i**2. Let r be (-4)/(-2)*2/4. Does 11 divide y(r)?
False
Suppose -y - 325 = -4*m + 4*y, 3*y = -5*m + 397. Does 15 divide 5968/m - (-4)/10?
True
Let p(n) = -n**2 + 3*n - 19. Let k be p(6). Let j = -25 - k. Is j a multiple of 12?
True
Suppose 0 = 4*m - 4 - 24. Suppose -m*r = -4*r. Suppose r = 2*x - 5*x + 108. Does 12 divide x?
True
Let u = -816 - -2241. Is 19 a factor of u?
True
Let b(d) = -d + 13. Let o = 29 + -17. Suppose 4*k = o*k + 48. Does 6 divide b(k)?
False
Let r(z) = -1 + 4*z + 3*z + 6 - 4*z**2 + z**3 - 4*z**2. Let g be r(7). Suppose -a + g = 2. Is a even?
False
Let w be 5/(-25) - (-11)/5. Suppose -48 = -3*i + w*d + d, -d = -3*i + 44. Is 14 a factor of i?
True
Suppose 5*w - 14 = 41. Suppose -o = 4*p + 2*o - 125, -14 = -p + 5*o. Suppose -4*x + p = -w. Is 10 a factor of x?
True
Let h(x) be the second derivative of -x**4/12 + 2*x**3 - 9*x**2/2 + x. Suppose 32 + 8 = 5*z. Is 23 a factor of h(z)?
True
Let x(k) = k. Let m = -1 - 2. Let o be x(m). Is 10 - ((-36)/(-4))/o a multiple of 4?
False
Let r = -1436 + 1493. Suppose 2*u + 6 = 5*u. Suppose 0 = -u*n - q + r, -n - 4*n - 5*q = -130. Is n a multiple of 8?
False
Let j = 56 + -108. Let m = j + 95. Is m a multiple of 23?
False
Suppose 0 = -8*c + 15107 + 3989. Does 33 divide c?
False
Suppose 22 + 55 = x. Let j = 146 - x. Is 23 a factor of j?
True
Let b = -12 + 18. Let y = -2 + -1. Let c = b + y. Is c a multiple of 3?
True
Suppose 2*q - 7 = -5*m, -5*q - 14 = -m + 3*m. Suppose -26 = -2*z + m*z. Let y = z + 52. Does 26 divide y?
True
Suppose -36*g = -102*g + 23232. Does 8 divide g?
True
Suppose 4*s - 3*s = p - 265, -2*p = -s - 529. Does 6 divide p?
True
Let b(d) = -d**2 + 8*d - 1. Let c be b(7). Let y(w) = 4 - w + 6*w + w**2 - c*w. Does 5 divide y(-4)?
False
Let s(g) = 2*g**2 + 7*g + 211. Let t(y) = -3*y**2 - 10*y - 317. Let f(z) = -7*s(z) - 5*t(z). Is f(0) a multiple of 27?
True
Let m = -4 - -8. Suppose -m*a = k - 13, k + 3*a - 14 = -5. Is 5 a factor of 18 - (k + -2 + 2)?
False
Let h be (1 + -11 - 0) + 0. Let p = 17 + h. Suppose p = u - 11. Is 18 a factor of u?
True
Suppose 24 = 2*p + 5*a, 3*p + 2*a = -a + 27. Let i = 91 - p. Does 17 divide i?
False
Let v be 16/1*12/(-8). Does 6 divide 6/v + 627/12?
False
Suppose -43*o + 1260 = -28*o. Does 6 divide o?
True
Let j(n) = -2*n + 5. Let d = 1 + 4. Let y be j(d). Let t = y - -17. Does 6 divide t?
True
Let i(w) = w**2 + 7*w + 7. Let r be i(7). Suppose 8*m - r = 5*m. Is 14 a factor of m?
False
Is 6 a factor of 1442/5 + 60/(-25) + 2?
True
Let m(h) = h**2 + 14*h - 18. Does 17 divide m(12)?
False
Let u(h) = 16*h**2 - 4*h + 3. Is u(3) a multiple of 21?
False
Let z = -2 + -4. Let y be (z/4)/((-3)/8). Suppose -y*v + 190 = v. Is v a multiple of 23?
False
Suppose 3*w + 12 = 0, 3*j - 2236 = 83*w - 82*w. Does 24 divide j?
True
Let t(i) = -7*i - 10*i - 1 - 7*i. Is t(-5) a multiple of 21?
False
Let l be ((-20)/(-15))/(2 - (-8)/(-6)). Is 4 a factor of (150/105)/(l/14)?
False
Let q(b) = 9*b**2 - 2*b - 2. Let j = -5 - -4. Is 3 a factor of q(j)?
True
Suppose 2*o + 22 = -a + 116, 2*a - 5*o = 215. Does 16 divide (-2)/10*-2 + 12360/a?
False
Let x(h) = -h**3 + h**2 + h + 288. Does 12 divide x(0)?
True
Let h = 33 - 30. Suppose -143 = h*j + 2*y, -j + 4*y - 79 = -8. Let g = j + 123. Does 12 divide g?
True
Let p be 638/4 - 30/20. Suppose -p = 4*n - 5*n. Let d = n - 50. Does 29 divide d?
False
Suppose d - r - r + 5 = 0, -5*d = 5*r - 50. Let z(m) = -m + 8. Let c be z(d). Suppose 2*n - 3*f = -2, -c*f + 0 + 7 = -n. Is 2 a factor of n?
False
Let b = 172 - 169. Let k(o) = 3*o**3 - 9*o**2 + 17*o - 6. Let s(y) = 2*y**3 - 6*y**2 + 11*y - 4. Let i(p) = -5*k(p) + 8*s(p). Is 3 a factor of i(b)?
False
Does 74 divide (4 - 0/5) + (1639 - -2)?
False
Let i(n) = n**2 - 2. Let z(k) = -k**3 - k + 6. Let y be z(0). Let v be i(y). Let