 0 = 5*g - 249 - y. Let m = g + -61. Is 18 a factor of m?
False
Suppose 5*p + 158 = 4*x, x - 4*p - 34 = -0*x. Does 14 divide x?
True
Let v be 3/2*8/6. Suppose 0 = -v*u - 4*p + 26, 5*u - 4*p - 23 = -0. Does 5 divide u?
False
Let c = 21 + 0. Suppose 0 = i - 6 - c. Suppose 0 = -4*f - 3 + i. Is f a multiple of 6?
True
Suppose -100 = 3*z - 289. Is z a multiple of 22?
False
Let r = -6 + 5. Let j(u) = -12*u**3 - 2*u - 1. Is j(r) a multiple of 13?
True
Let a be (-1)/4 - (-3486)/(-8). Let g = 14 - 24. Is 22 a factor of a/g - 2/(-5)?
True
Let z(p) = 3*p. Let h be z(1). Let d(g) = -6*g - h - 2*g + 4. Does 9 divide d(-1)?
True
Suppose 4*y = 7*y + 45. Is y/(-6)*208/20 a multiple of 13?
True
Suppose 0*y + 5*s - 1505 = -5*y, -4*s - 8 = 0. Is y a multiple of 26?
False
Let f(u) = -u**2 + u. Let d(l) = -5*l**2 - 4. Let b(z) = d(z) - 6*f(z). Is b(8) a multiple of 12?
True
Let o(l) = 2*l. Let f be o(1). Suppose -72 = -f*a - a. Does 6 divide a?
True
Let s(m) = 2*m**2 + 9*m - 4. Is s(-7) a multiple of 31?
True
Let m(f) = f**3 + 2*f**2 - 2*f - 1. Let b be m(-3). Is 2/(-4) - 14/b even?
False
Let z(n) = -28 + 25 + n**2 + n**2 - 8*n. Suppose 2*x + 3 = 15. Does 10 divide z(x)?
False
Let d be -18 - 2 - -2 - 0. Let m = -25 - d. Let j(u) = -u + 8. Does 15 divide j(m)?
True
Let m = 0 - 3. Let i = m + 4. Suppose -5*a + 21 = i. Is a even?
True
Suppose 0 = -4*u + 5*x + 246, 3*u - x + 116 = 5*u. Does 20 divide u?
False
Let g(c) = -c**2 + 12*c + 13. Let x be g(13). Suppose n - w - 10 = 0, x*n + w + 21 = 2*n. Does 4 divide n?
False
Suppose -4*h - 3*y = 74, y - 70 = 4*h + 6*y. Let k be (-4)/h - (-24)/5. Suppose 4*i + 5*u - 28 = 90, 150 = 5*i + k*u. Does 16 divide i?
True
Let w(l) = -l**3 - 6*l**2 + l + 4. Let r be w(-6). Does 4 divide (16/6 + r)*6?
True
Let k = -2 - -4. Suppose h + 0*y = 4*y + 26, -4*h + 160 = -k*y. Does 14 divide h?
True
Suppose 55 = -q - 5*c, -4*q - 152 = -2*c + 5*c. Let f be 1/(-4) + q/20. Is 143/5 - f/5 a multiple of 11?
False
Suppose -h = 3*l - 3*h - 60, l - 20 = -4*h. Is 20 a factor of l?
True
Suppose 0 = 5*k - 521 + 21. Is 19 a factor of k?
False
Suppose 1 = -4*s - 11. Let w be 2/s + 7/(-3). Let i(n) = n**2 - 2*n - 3. Is 6 a factor of i(w)?
True
Let m(c) be the first derivative of c**2/2 + 6*c - 7. Is 2 a factor of m(4)?
True
Let t = 1 - -1. Let z(r) = -5 + 10*r + 0*r**t - r**2 - 2. Is 7 a factor of z(7)?
True
Suppose -8*n + 50 = -3*n. Let l = -7 + n. Suppose -16 - 26 = -l*f. Is f a multiple of 7?
True
Let k(b) = b**3 - 2*b**2 + 2*b. Let d be k(2). Suppose l - 26 = -d. Let r = -10 + l. Is r a multiple of 12?
True
Let r = 16 - 14. Does 2 divide r?
True
Let w = -73 + 103. Suppose -s + 2*s = w. Is 8 a factor of s?
False
Let c(v) = v**2 - 7*v + 4. Let d be c(5). Let k(f) = -f**3 - 7*f**2 - 7*f + 2. Let n be k(d). Suppose -n*l + 4*l = -136. Does 17 divide l?
True
Let o(r) = r**3 + 12*r**2 + 2*r + 2. Does 17 divide o(3)?
False
Let v = -122 + 340. Does 17 divide v?
False
Suppose 0 = 2*f + 1 + 7. Suppose 0 = 6*p - 9*p. Let g = p - f. Is g a multiple of 2?
True
Suppose -12 - 3 = -3*u. Suppose 0 = -4*w - u + 1, -1 = 2*i + 5*w. Suppose 42 = 4*p + i*q, -3*p + 5*q = -6*p + 28. Is 5 a factor of p?
False
Suppose o = -o + 2*z + 10, -35 = -o - 5*z. Let v = -5 + o. Suppose 0 = -v*r + 5*l + 200, -3*r + 5*l + 114 = -0*r. Does 16 divide r?
False
Let k = -361 - -215. Is 9 a factor of 3/(-12) - k/8?
True
Let r = -15 - -18. Suppose -4 = -4*z + 20. Suppose m - h = 6, -3*h + z*h = -4*m + r. Is m a multiple of 2?
False
Suppose -5*s = -c - 19, -3*s = -4*s - 5*c - 17. Suppose -38 = -5*k - s. Is 7 a factor of k?
True
Suppose z + z - 2*n - 92 = 0, 5*z + 5*n = 220. Does 15 divide z?
True
Let x be (-2)/(-6)*2*3. Suppose x*z - c = -3*z - 6, 1 = -2*z - c. Let u(f) = 23*f**2 - 1. Is u(z) a multiple of 11?
True
Let m(x) = x - 2. Let k be m(4). Suppose -k*p + 14 = -28. Does 21 divide p?
True
Suppose 20*d - 160 = 18*d. Does 25 divide d?
False
Suppose 0 = 2*v + 3*v + f - 152, -f = -2. Is 30 a factor of v?
True
Suppose a + 4 = 2*r, -5*a = -0*a + 5*r - 10. Suppose 4*q - 167 + 11 = a. Is q a multiple of 13?
True
Let v = 3 - 4. Let n = 1 - v. Suppose -d + 14 = -n. Does 12 divide d?
False
Suppose 15 + 111 = -3*v. Is 7 a factor of v*((-9)/3)/6?
True
Let s(x) = -x**3 - 2*x**2 - 2*x + 2. Let t be s(-2). Suppose 0 = -3*k + t*k - 3*f - 87, 87 = 3*k + 4*f. Does 11 divide k?
False
Let z = 18 + -13. Suppose 10*h = z*h + 30. Is 11 a factor of ((-6)/4)/(h/(-88))?
True
Suppose 3*f + 3*t = -2*t + 65, 2*f = -5*t + 35. Suppose 4*m + f = 2*z, 4*z - 3*m - 67 = 13. Is z a multiple of 9?
False
Suppose 97 - 238 = 3*u. Let o = -24 - u. Does 9 divide o?
False
Let f(i) = i**2 - 2. Suppose 0 = -5*g + 6*g - 7. Does 21 divide f(g)?
False
Is 10 a factor of (4*5)/(-5 - -7)?
True
Let b be (1 - -8)/3 + 300. Let k be (0 + 2)/6*b. Let i = -69 + k. Does 16 divide i?
True
Let q = 12 + -3. Is q a multiple of 9?
True
Let g be 1*(-5 - -2) + -1. Let j = g - -58. Is j a multiple of 22?
False
Suppose -5*f = -8*f + 9. Suppose 0 = 4*q + f - 27. Does 2 divide q?
True
Suppose 3*v - 20 = -2*w, -2*v + 0*w + 24 = 4*w. Let a(j) = 5*j + 1. Let c be a(v). Let r = -2 + c. Is r a multiple of 19?
True
Let i(c) = -c - 12. Let y be i(0). Suppose 0*q - 6 = -q + k, -3*q + 5*k = -14. Let u = q - y. Does 15 divide u?
False
Let j = 0 - -5. Suppose o = 4*o - 180. Suppose -j*d + d = -o. Is d a multiple of 5?
True
Suppose 4*m = -0*m + 16. Let j(q) = 3*q**2 - 7*q + 4. Let o be j(m). Let w = 0 + o. Is w a multiple of 12?
True
Suppose 4*p + 34 = 210. Suppose p = q + 16. Is 14 a factor of q?
True
Let h = 82 - 21. Is 12 a factor of h?
False
Let a = -9 - -5. Let p be -2 - (3 + -1 + a). Suppose -3*f + 5*f - 49 = -5*d, -5*f - d + 88 = p. Is f a multiple of 17?
True
Let x = 7 - 19. Let u = x - -41. Is u a multiple of 24?
False
Suppose 39 = -4*z + 5*q, -12 = -0*z + 4*z + 4*q. Let m be 1/(3/2)*z. Does 10 divide (312/(-9))/m*3?
False
Let o(j) = 67*j**2 - 4*j + 2. Is o(1) a multiple of 7?
False
Let x be 2 + -14 - (-1 - 2). Let i = 26 + x. Does 12 divide i?
False
Let x(k) = -k**2 + 8*k - 9. Suppose -l + 6 = 5*u - 0, -3*u + 18 = 3*l. Is 3 a factor of x(l)?
True
Let j = 0 + 21. Let n = -8 + j. Does 11 divide n?
False
Let w be 2/(-3) + 16/(-3). Let b(v) = v + 8. Let o(y) = -y - 1. Let r(t) = b(t) + 3*o(t). Does 8 divide r(w)?
False
Suppose -4*i - 1 = -13. Does 22 divide (i - 0/(-2)) + 50?
False
Let k(u) = -u**2 + u - 1. Let g be k(-3). Let b = 0 - g. Does 13 divide b?
True
Let h(x) = -x**3 - 5*x**2 - 3*x - 6. Let w be h(-5). Let v(k) = -k + 5. Let a be v(w). Does 2 divide (0 + 2)/a*-10?
False
Suppose -7 = -5*i - 2. Suppose -18 + 6 = -2*a. Does 10 divide ((a - i) + -1)*5?
True
Let u be (-3)/(-12) + (-3)/12. Suppose 0*p + p - 22 = u. Does 11 divide p?
True
Let x(g) = g**3 - 3*g**2 + 6*g - 6. Is x(5) a multiple of 46?
False
Let j(x) = -5*x**3 + 4*x + 3*x**3 - 11 + x**3 + 8*x**2 - 5*x. Is j(5) a multiple of 17?
False
Suppose 2*j = 4*y - j - 962, -j + 2 = 0. Is 22 a factor of y?
True
Let r = 8 + -3. Suppose -5*y + 10 = -2*v + 82, r*v + y = 180. Suppose s = -n - 3*s + v, 0 = 2*n - 4*s - 12. Does 16 divide n?
True
Let j(s) = s**2 + 5*s + 3. Let d be j(-5). Suppose 165 = d*n - 81. Let a = -54 + n. Is 17 a factor of a?
False
Suppose t - 72 = -2*t + 5*d, -t - 3*d = -38. Suppose 4*y + 3*v = 5*v + 106, y - v - t = 0. Is y a multiple of 12?
True
Let d be 46 + 1/((-1)/(-2)). Suppose -2*y - 2*y = -d. Is 7 a factor of y?
False
Is 10 a factor of ((-340)/30)/(2/(-6))?
False
Let a = 17 + -2. Let f be (-46)/((-5)/(a/6)). Suppose 0 = s + 3*j + 7, 0*s - 2*j - f = -3*s. Does 2 divide s?
False
Let r(q) = q**3 + q**2 - 1. Let o(h) = -h**3 - 7*h**2 + h + 1. Let c(a) = o(a) + 2*r(a). Let s be c(5). Suppose -d = s*d - 115. Is 10 a factor of d?
False
Suppose 6*w = 4*w + 36. Is 18 a factor of w?
True
Let c be (-34)/(((-3)/6)/(-1)). Does 17 divide ((-24)/16)/(2/c)?
True
Let v = -100 - -216. Suppose -2*u = 2*u - v. Is u a multiple of 24?
False
Let p = 10 - 5. Suppose s = -3*b - 8 + 36, -2*s = p*b - 47. Does 11 divide (-2)/6 + 102/b?
True
Let w = -75 + 38. Let u = 47 - w. Is 34 a factor of u?
False
Suppose -2*o = -4*o + 118. Suppose 101 = 4*f - o. Is 10 a factor of f?
True
Let d(r) = r**3 + 8*r**2 - r. Let q be d(-4). Suppose -j - 3*j + q = 0. Is j a multiple of 5?
False
Suppose -2*k - 3*s + 35 = 0, 3*k - 