- 4*w**2 - 3*w. Let x be z(-3). Let a be d(x). Let b = a - 7. Does 15 divide b?
True
Let x(c) = -c**3 + 3*c**2 + c. Let u be x(3). Let p(b) = -3*b + 8 + u*b + 10 + b. Does 6 divide p(0)?
True
Let k = -21 + 21. Suppose 0 = 4*v - 2*a - 66, 5*v - a - 14 - 73 = k. Is 13 a factor of v?
False
Suppose -2*r = 3*q + 11, q = -5 - 0. Let o be 0 + r - (-1 + -52). Suppose -5*z + 0*z = -o. Is z a multiple of 11?
True
Suppose -b + 0*s - 3*s = 0, -2*b = -4*s + 30. Let i = b - -42. Suppose -2 = p + v - 14, 5*p - 4*v = i. Does 9 divide p?
True
Let g be (0 + 10)*228/15. Suppose i = 3*i - g. Suppose -2*n + 3*h - 8 = -i, 58 = 2*n + 2*h. Is n a multiple of 12?
False
Let y = 8 - 6. Suppose 3*k + 12 = f, -y*k = -0*f + f + 8. Suppose f = -5*o + 2*b + 10 + 30, 3*o + 3*b = 45. Is o a multiple of 3?
False
Let y = 10 - 7. Let c be y/3*2 - -40. Let b = c - 28. Does 14 divide b?
True
Suppose 3*s = 8 - 2. Suppose 2*y + s*l = -2, -4*y - 3*l = -2*l + 13. Does 7 divide 6/y*12/(-2)?
False
Let d(g) = -2*g + 13. Does 2 divide d(4)?
False
Let v(u) = 6*u**2 + u + 2. Let s be ((-24)/(-18))/(1/3). Let z be v(s). Suppose 2*b - 68 = 2*l, 3*b - 4*l = z - 4. Is 19 a factor of b?
True
Suppose -z - a - 5 = 1, -2*a = -z + 9. Let s(r) be the second derivative of 3*r**4/4 - r. Is 5 a factor of s(z)?
False
Is (-830)/(-20) + (-2)/(-4) a multiple of 21?
True
Let f = 12 - 7. Let j be (0 - -9) + (6 - f). Let q = 26 - j. Is 8 a factor of q?
True
Let q(d) = 2*d**2 - 2*d. Let r be q(3). Is 20 a factor of 152/6 + 8/r?
False
Suppose 7*t - 5 = 8*t. Let x = -3 - t. Suppose y = x*v - 5 - 13, -2*v = -2*y - 18. Is 4 a factor of v?
False
Suppose -2*t = -3*x, t + 0*t = 3*x. Suppose 2*m + 0*u + 3*u = x, -5*m + 5*u = -25. Suppose m*d + 33 = -2*y + 3*y, y - 18 = -2*d. Does 8 divide y?
True
Let j(f) = 25*f**3. Let w be (-6)/10 + 10/(-25). Let c be j(w). Let r = c - -47. Is r a multiple of 11?
True
Let c(k) = -k**2 - 2*k - 3. Let j be c(-3). Let i(q) = -q**2 + 6*q + q**2 + 2*q**2 + 4. Does 17 divide i(j)?
False
Let t(x) = 3*x + 2. Let k be t(7). Let i = 36 - k. Is i a multiple of 7?
False
Let s be 4/2 - 3*-2. Let c be 90/24 - (-2)/s. Suppose -5*x + 36 = -c*x. Is 18 a factor of x?
True
Is (-9)/(-3)*(-86)/(-6) a multiple of 41?
False
Suppose -16 = -4*q, 4*k + 4*q = 2*q + 260. Does 17 divide k?
False
Let f be (164/6)/((-18)/(-27)). Let l = f - 23. Is 17 a factor of l?
False
Suppose 0 = 3*a + 11 + 4. Is 2/2 - a/5 even?
True
Suppose -9 = -3*x, d - 4*x - 3 + 11 = 0. Suppose d*n - 3*f + f = 134, n = 3*f + 41. Is 16 a factor of n?
True
Let y = 91 - 72. Does 15 divide y?
False
Let q be (-3)/4 - (-9)/(-4). Let o(s) = -6*s - 3. Does 15 divide o(q)?
True
Let c(y) = -y**3 + 9*y**2 - 3*y - 5. Is c(7) a multiple of 36?
True
Let c(r) = 3*r**3. Let m be c(1). Suppose -m*x = -x + 12. Let j(s) = -3*s. Is j(x) a multiple of 9?
True
Suppose -4*o - 5 = -4*b - 1, -4*b = 3*o + 24. Let f be 14/21 + (-28)/b. Suppose -2*a + 4*p = a + f, -2*a + p = 0. Is 2 a factor of a?
True
Let c = -6 + 8. Suppose -c*k - 45 = -5*k. Is k a multiple of 5?
True
Is 5 a factor of (1/3)/(1/195)?
True
Suppose 0 = 3*l - 42 - 102. Does 24 divide l?
True
Suppose -2*n = -4*l + 100, l - 4*l = -n - 77. Suppose 107 = 5*c + l. Is c a multiple of 4?
True
Suppose -4 = -v, 9*a - 4*a - v = 371. Is 6 a factor of a?
False
Let u = 8 - 8. Suppose -2*t + 3*a + 215 - 58 = 0, 5*a - 15 = u. Suppose -4*y + 57 + t = 0. Does 9 divide y?
False
Let k = -12 + 36. Is k a multiple of 12?
True
Suppose 2*p - 4*s + 0*s = 18, p + 2*s = -3. Let f(v) = -2*v**2 + p*v**2 + 3 - v**3 + 2*v - 3*v**2. Is f(-3) a multiple of 3?
True
Is ((-2)/(-1) - 3)*-36 a multiple of 9?
True
Suppose t - 14 + 1 = 0. Let u = t + 4. Is u a multiple of 5?
False
Let z = 2 - -2. Suppose k + 12 = -2*x, -5*x - 7 = -z*k + 10. Does 21 divide (x/2 + -1)*-12?
True
Suppose 378 = 4*x + 3*x. Is x a multiple of 6?
True
Suppose -2*f = -0*f - 6. Suppose -f*x + 0*x + 12 = 0. Suppose -57 = x*n - 225. Is 19 a factor of n?
False
Suppose -r + 3*w = -15, 3*r + 2*w = -1 + 2. Is r/(-9) + 484/12 a multiple of 32?
False
Let g be -1*(3 + -1 + 26). Suppose 2*i - i = 3*h + 130, -4*h + 5*i = 177. Let x = g - h. Is 6 a factor of x?
False
Suppose -104 - 46 = -5*g. Is 5 a factor of g?
True
Let m(u) = u**2 + 2*u - 3. Is 5 a factor of m(-4)?
True
Suppose 45 = x - 2*y, -130 = -5*x + 3*y + 102. Is 5 a factor of x?
False
Let s = -12 + 18. Suppose 8*m + 5*t - 10 = 3*m, -s = -m - 3*t. Let v = m - -3. Does 2 divide v?
False
Suppose 0 = g + 3, g - 31 = -4*o - 150. Let d be (0 + 6)/(4/(-46)). Let w = o - d. Is w a multiple of 21?
False
Let o(p) = 78*p - 10. Let b be o(6). Is b/22 + (-2)/(-11) a multiple of 7?
True
Let k = 14 + -47. Does 2 divide ((-11)/k)/(1/18)?
True
Let x be (-16)/(-3)*(-171)/(-12). Suppose -4*k + 96 = -x. Is k a multiple of 17?
False
Let o be -2 + 3/3 + 4. Suppose 3 = -3*q, 22 = -o*w + 2*q + 108. Does 14 divide w?
True
Let p(t) = 2*t**2 + 2*t + 2. Let v be p(-2). Let m(n) = -n**2 + 10*n - 9. Let o be m(v). Suppose 5*d - 40 + o = 0. Does 5 divide d?
True
Let c(p) = 4*p**2 - 1 - p**2 - 2*p - p**2 - p. Is c(7) a multiple of 16?
False
Let w be ((-2)/(-6))/((-3)/9). Let q be 1/w - -39 - 3. Is q/(-2)*(-28)/35 a multiple of 7?
True
Let r(a) = a**3 - 2*a**2 - a + 4. Let k be r(6). Suppose 4*o = k + 94. Is 27 a factor of o?
False
Let y(a) = -a**3 - 5*a**2 - 2*a + 8. Is y(-6) a multiple of 17?
False
Suppose 0*m = 2*m - 14. Is 5 a factor of m?
False
Let d(x) = x + 56. Is 28 a factor of d(0)?
True
Is 9 a factor of 5/10 - 205/(-2)?
False
Let c be ((-16)/6)/(2/6). Let b = c + -25. Let z = b + 62. Is z a multiple of 23?
False
Suppose -5*n - 2*c + 158 = 0, 4*n - 131 = -c + 4*c. Does 32 divide n?
True
Let g(t) = -t**2 - 13*t + 11. Does 10 divide g(-13)?
False
Let n(s) = -1 + s**2 - 2*s + 1 - 2*s - 3. Let g be n(5). Is 7 a factor of 3/(g + -3) + 24?
True
Let c(w) = w**2 + 5*w - 2. Is c(4) a multiple of 17?
True
Let r(l) = l**3 + 5*l**2 - l - 2. Let v be r(-5). Suppose -3*n - 65 = -v*m + n, -3*m = -5*n - 70. Does 15 divide m?
True
Suppose 64 = 26*h - 22*h. Is h a multiple of 16?
True
Let o(g) = -g**3 + 6*g**2 - 5*g + 4. Let k be o(5). Suppose 64 = k*u - 8. Is 6 a factor of u?
True
Let t(r) = -r**3 - 3*r**2 + 4*r + 5. Let s be t(-4). Suppose -p - 3*p - s*g = -287, g = -4*p + 275. Does 17 divide p?
True
Suppose 5*h = -5*y + 250, h - 4*y - 20 = y. Is 9 a factor of h?
True
Let g(l) = -157*l. Let o be g(-1). Let a = o - 79. Suppose 3*m - 21 = a. Does 14 divide m?
False
Let z(j) = j + 34. Is z(-14) a multiple of 4?
True
Suppose 0 = -3*h + 4*h - 87. Is h a multiple of 22?
False
Let v = 1 - 1. Let a = v + -1. Is 13 a factor of 3/(a + 2) - -25?
False
Suppose 0 = -5*n - 5, -4*g = -3*g + n - 10. Suppose 0 = 3*q - g - 10. Is q a multiple of 7?
True
Suppose 0 = -d + 2*m + 4, 3*m + 6 = -5*d - 0*d. Suppose d = g + g. Is 17 a factor of g + 2 + -2 + 40?
False
Let k(r) = -r + 6. Let m be k(8). Let b be m - (8*-11 + -1). Suppose 4*l = -4*d + 124, d - b = -2*d + 3*l. Is 15 a factor of d?
True
Suppose -2*n = 15 + 27. Is 4 a factor of (-14)/n - 22/(-3)?
True
Let n be (-10 + -2)/4*1. Let j(v) = 4*v**2 - 4*v - 3. Is 12 a factor of j(n)?
False
Suppose 2*b = 5*b - 5*p - 236, 4*b = -5*p + 268. Is 24 a factor of b?
True
Let t(g) = 3*g**2 + 3*g + 2. Does 23 divide t(-6)?
True
Let m = -47 - -75. Is m a multiple of 14?
True
Suppose t - 5 = 55. Does 4 divide t?
True
Let p(m) = -m**2 - 6*m - 2. Let t be p(-5). Suppose 4*w - 30 = t*w. Does 11 divide w?
False
Let d = 5 + -2. Suppose d*l - 16 = -1, -5*a - 4*l = -70. Is 10 a factor of a?
True
Is 20 a factor of (38 - (-2)/1)*35/10?
True
Let p(a) = a + 9. Let n be p(-5). Let j(x) = 2*x + 2*x + 8 - n. Does 12 divide j(5)?
True
Is 3/2 + -70*20/(-16) a multiple of 13?
False
Suppose -21*u = -14*u - 560. Is u a multiple of 20?
True
Let w(g) = 10*g**2 - 3*g + 4. Is 23 a factor of w(2)?
False
Let x be -7*1*5 + 1. Let b = x + 50. Is b a multiple of 8?
True
Suppose 5*h - 124 = h. Is h a multiple of 15?
False
Suppose -81 = -5*w + 369. Is w a multiple of 30?
True
Let l be ((-6)/(-3))/((-1)/(-2)). Let j = 12 - l. Does 4 divide j?
True
Let n(o) = -2*o - 4. Does 2 divide n(-5)?
True
Suppose -5*u + 3*u + 16 = 0. Let w be (2 - 2*-2)/2. Let x = u + w. Is 7 a factor of x?
False
Let g(z) = z**2 - 3*z - 7. Let s be g(-6). Suppose -2*y = -3 - s. Is y a multiple of 1