 q**2 + q. Let n be i(-2). Suppose -2*y = t - 112, -t + 171 = 3*y + n*t. Is 26 a factor of y?
False
Let c(b) = 47*b**2 - 2*b + 1. Is c(1) a multiple of 8?
False
Suppose -1 = -l + 1. Suppose -l*x - 2*x + 40 = 0. Let y = x + -4. Is y a multiple of 3?
True
Is 4 a factor of ((-14)/6 - -3) + 136/12?
True
Does 10 divide (-1)/5 - (-408)/40?
True
Suppose 0 = 3*z - 114 + 9. Is z a multiple of 7?
True
Let i(y) = -y**2 + 8*y + 1. Let f = -14 + 4. Let n = 17 + f. Is 7 a factor of i(n)?
False
Suppose 6*l - 2 = 100. Does 17 divide l?
True
Suppose 2*i = 2 - 0. Suppose -2*h - 2 = -5*c, -c = h - 0*c + i. Does 7 divide 14 + (-1 - (0 + h))?
True
Suppose 0 = 3*g + 3 - 18. Suppose x - 58 = -2*x + 4*w, 4*x = -g*w + 36. Is 14 a factor of x?
True
Let f = 23 + -14. Let p be 1*82*f/6. Suppose 5*l + 33 = p. Does 9 divide l?
True
Suppose 5 = 4*i + 1. Let h(c) = 2*c + 1. Let n be h(2). Suppose -i = 2*q + 1, 0 = 4*l + n*q - 35. Does 5 divide l?
True
Let l(y) = y**3 + 7*y**2 + 3*y - 1. Suppose 0 = -3*w - 26 + 8. Does 17 divide l(w)?
True
Let t be (-33)/(-7) + (-6)/(-21). Suppose 1 = -r - t. Does 11 divide (-2)/r - (-285)/9?
False
Suppose -26 = 4*y - 5*y. Is y a multiple of 7?
False
Suppose -x + 30 = 2*x. Is x a multiple of 10?
True
Suppose 3*f - 104 = 28. Is f a multiple of 11?
True
Let q(v) = 3*v + 1. Let f be q(-3). Let d be (30/f)/(1/4). Let t = d - -26. Does 11 divide t?
True
Suppose -641 = -7*h + 416. Does 27 divide h?
False
Suppose 123 + 9 = 3*d. Let m = -19 + d. Does 25 divide m?
True
Suppose -3*i + 2 = -d, -4*d - d + 12 = -4*i. Does 33 divide 18/d*(-110)/(-15)?
True
Let g(r) = -r + 13. Let s(j) = -3*j + 39. Let p(n) = -11*g(n) + 4*s(n). Does 5 divide p(7)?
False
Suppose 2*w - 3*v = -1, 2*w + 5*v - 35 = -3*w. Suppose -w*z + 37 = -39. Does 15 divide z?
False
Let z(j) = 2*j**2 + 6*j + 7. Is 29 a factor of z(5)?
True
Suppose -2*r - 5*j = -9, -2*r - 4*j + 21 = -5*r. Let c be (15/(-5))/(r/10). Is -1 + 2*(c - 2) a multiple of 12?
False
Does 26 divide 17/68*(-1 - -413)?
False
Suppose -247 = -r - 18*r. Is 2 a factor of r?
False
Let l = -27 + 47. Does 10 divide l?
True
Let d be (0 + 1)/(2/(-4)). Let l be 16/(d - (-1 - 3)). Suppose -l = 2*r, -3*a - r + 3*r + 41 = 0. Does 10 divide a?
False
Suppose 0*g - 85 = g - 5*x, -175 = 3*g + 5*x. Let n = g - -160. Suppose 4*y - n = 45. Does 12 divide y?
False
Let l(d) = d**3 - 2*d**2 - 2*d. Let s be l(3). Suppose 3*x - x = 4*y - 88, -5*y = s*x - 110. Let c = 44 - y. Is 10 a factor of c?
False
Let t be (1 + 2)/((-12)/(-16)). Let s = 4 - t. Suppose s = -3*p + 16 - 1. Does 5 divide p?
True
Suppose 2*l = p - 0*l - 16, -l - 68 = -3*p. Suppose p = b + 2*f, -2*f - 23 = -2*b + 37. Suppose -b = -3*g + g. Is 7 a factor of g?
True
Let f(h) = -h + 3. Let u be f(3). Suppose b + 3*b + 36 = u. Let z = b - -13. Is 4 a factor of z?
True
Let a(f) = -f**2 - 6*f + 8. Suppose -2*r = j + 3*r - 13, -40 = 4*j - 3*r. Let o be a(j). Let i(u) = 21*u**2 + u - 1. Is 15 a factor of i(o)?
False
Suppose -3*j - 56 = -5*j + 4*z, 2*j - 88 = -4*z. Is 14 a factor of j?
False
Let h = -118 - -166. Suppose -24 = -3*a - 9. Suppose -a*k = v - k + 13, -4*v + h = -4*k. Is v a multiple of 4?
False
Suppose f - 3*c = -12, 3*f - 5*c + 6 = -2*c. Suppose -5*d + 565 = 5*z, -f*z - 3*d = -2*d - 333. Is z a multiple of 28?
False
Suppose 4*j = 3*j - 2. Let x be -50*3/(-6) + j. Is 19 a factor of x + 2/(2 - 3)?
False
Suppose 2*q + 8*q = 1620. Does 33 divide q?
False
Let u = -71 - 4. Let n = -51 - u. Does 12 divide n?
True
Suppose -3*j + 182 = 41. Is 7 a factor of j?
False
Does 12 divide (-1 - (-21)/12)*60?
False
Let q = 28 + -10. Is 18 a factor of q?
True
Suppose -6*y = -11*y + 15. Suppose 16 - 4 = y*q. Is 4 a factor of q?
True
Suppose o = -41 + 64. Is 2 a factor of o?
False
Let x = -7 + 7. Let w = x + 0. Suppose -4*s - 5*t + 36 = w, s + 2*s + 4*t - 27 = 0. Is 3 a factor of s?
True
Suppose -k + 16 = 3*j - 107, 5*j = 15. Is k a multiple of 19?
True
Let t(z) = -z - 9. Let f be t(-14). Suppose 0 = f*w - 67 - 23. Is 18 a factor of w?
True
Let n(f) = 5*f + 1. Let l be n(-1). Is (2/(l/(-46)))/1 a multiple of 16?
False
Let o(r) = -4 - 13*r + 0 + 6 - 1. Is o(-5) a multiple of 15?
False
Let r(f) = f**3 - 2*f. Let t be r(2). Let o be t/(-12) - (-253)/3. Suppose -3*z - 2*c + 52 = 0, 0 = -4*z + 5*c - 4*c + o. Is 7 a factor of z?
False
Let y(g) = g**3 + 7*g**2 + 4*g - 8. Let x(d) = -d**3 + 10*d**2 - 6. Let c be x(10). Does 3 divide y(c)?
False
Let z be (-14 - -2)*(-3)/(-2). Suppose 18 = k + k - 4*i, -3*k - 3*i = 0. Let y = k - z. Is y a multiple of 8?
False
Let q(y) = y**2 + 9*y. Does 13 divide q(4)?
True
Let z(i) = 4*i + 8. Is z(6) a multiple of 26?
False
Suppose -1 = 2*l - 3*l. Let u be 2*(-1 - l - -4). Suppose -u*n = 1 - 5, 66 = 2*b + 2*n. Is b a multiple of 16?
True
Suppose -t - 36 = -r + 4*t, 3*t = 9. Does 22 divide r?
False
Is 6 a factor of 1/2 + (3 - 250/(-4))?
True
Suppose -3*v + 20 = 5. Is v a multiple of 5?
True
Let t(l) = 2*l**3 + 6*l**2 - 3*l + 4. Does 27 divide t(4)?
True
Suppose -5*a - 4*w + 47 + 340 = 0, -2*a = 4*w - 150. Suppose -a = -2*c - 3. Is c a multiple of 19?
True
Let l(o) = o**2. Let g be l(4). Let v = g - 10. Does 4 divide v?
False
Let p be (-4)/12 - 38/(-6). Suppose 0 = -p*y + 2*y + 128. Is y a multiple of 16?
True
Suppose 418 = 4*c + 1310. Let a be (-2)/(-9) - c/9. Suppose 0 = -3*r + a + 29. Is 11 a factor of r?
False
Let x be (-3)/15 - 76/(-5). Suppose x = 2*s - 21. Does 6 divide s?
True
Suppose 5*o + 40 = 4*x, 22 + 7 = 5*x - o. Let n = x + 6. Is n a multiple of 6?
False
Suppose 3*t - 10 = -2*t. Suppose t*l - 3*l + 11 = 0. Is 6 a factor of l?
False
Suppose -y = -4*y - 48. Let z(n) = n**2 + 11*n - 2. Let h be z(-8). Let b = y - h. Is 5 a factor of b?
True
Let l = 257 + -91. Suppose -5*v + l = 2*m, 3*v - 3*m - 113 = -26. Is v a multiple of 10?
False
Let f = 10 + -6. Suppose y = f*y - 312. Is (-1)/3 - y/(-6) a multiple of 15?
False
Let t = 147 - -6. Does 9 divide t?
True
Suppose 0*x = -3*x. Suppose -5*u + u + 48 = x. Does 12 divide u?
True
Suppose 5*o - h = 4*h + 105, 0 = 2*o - 5*h - 51. Is 18 a factor of o?
True
Let b(z) = 51*z**2 - 3*z + 1. Is 42 a factor of b(1)?
False
Does 19 divide (2/(-3))/(2/(-192))?
False
Let o = -7 + 1. Is 1 - (-99)/(o/(-2)) a multiple of 10?
False
Is 16 a factor of ((-2)/(-6))/(10/1590)?
False
Suppose -2*m - 2*p - 4 = 0, 2*m = -0*m + 5*p + 10. Suppose -5*n = z + 14, m*z + 4*n - 2 = -2*z. Let i = -7 + z. Is 4 a factor of i?
True
Let m(q) = 2*q**2 + 4*q - 4. Is m(-5) a multiple of 7?
False
Suppose -c = 2*c - 39. Suppose -5*n = x - c, -3*n + 0*n + 21 = 5*x. Does 2 divide n?
True
Let t(q) = q. Let x be t(4). Let g(s) = x*s - 1 + 22*s**3 - s**2 - 3*s + s**3. Is 8 a factor of g(1)?
False
Suppose -5*i = t - 386 - 209, 3*t - 465 = -4*i. Does 12 divide i?
True
Suppose s - 2 = -s. Let i(q) = 10*q**3 - q + 1 + 0*q + 15*q**3. Is 11 a factor of i(s)?
False
Let a(d) = 6*d - 4*d + 6 + 1. Let t be a(8). Suppose 0 = 3*x - 25 - t. Is x a multiple of 16?
True
Suppose -k + 20 = -o, -2*k + 52 = -4*o - o. Does 4 divide k?
True
Suppose 3*w + 2*f - 20 = w, -2*w + 2*f = -16. Suppose 1 + w = -2*t, 4*m + 4*t = 108. Does 11 divide m?
False
Let l(o) = -3*o**3 - 4*o**2 - 2*o. Is 3 a factor of l(-2)?
True
Let u(v) = -v + 2. Let y be u(8). Is (y/(-7))/(2/42) a multiple of 9?
True
Let h = 36 - 27. Does 9 divide h?
True
Is 12 a factor of -1 + 2106/15 + (-15)/(-25)?
False
Let p(i) = -2*i - 6. Let n be p(-4). Let u(v) = -1 - 4*v + 7*v**2 + 0 + n*v + 2*v**2. Is u(-1) a multiple of 10?
True
Is 22 a factor of (-2)/3 + ((-2276)/12)/(-1)?
False
Suppose 0 = 3*l - 3*v - 3, 4*l + 5*v + 1 = -4. Let u = l + 18. Is 18 a factor of u?
True
Suppose -2*s + 6 - 2 = 0. Suppose -5*b = -2*p + 74, 5*b - 11 + 31 = 0. Suppose 0 = s*d + d - p. Does 9 divide d?
True
Suppose 2*t + 47 = j + 5, -122 = -3*j + 5*t. Does 17 divide j?
True
Let l = -75 + 135. Suppose -5*g + 3*w = -370, -g + 7 + l = -2*w. Is 13 a factor of g?
False
Let q(d) be the third derivative of d**4/4 - 5*d**3/6 + 6*d**2. Does 9 divide q(3)?
False
Let f(o) = -o**2 - 15*o + 6. Is 23 a factor of f(-6)?
False
Let g(u) = -u**3 - 17*u**2 - 7*u - 23. Does 6 divide g(-17)?
True
Let o(f) = f**3 + 15*f**2 + 12*f - 3. Does 5 divide o(-14)?
True
Let s = 111 - -63. Is s a multiple of 16?
False
Suppose 8 = -2*m + 30. Let v be 1338/22 + 2/m. Suppose u + f + v 