4*x**2 - 12*x + 16. Let m be u(-13). Suppose -f + 160 = m*f. Does 12 divide f?
False
Suppose -v - 1 = -2. Let q = v - 0. Suppose 0 = 2*u + 3*h - 9 + q, -5*u + 4*h = -66. Does 6 divide u?
False
Suppose 4*a = -38 + 254. Does 18 divide a?
True
Suppose 0 = 4*b - 1270 + 374. Is 28 a factor of b?
True
Is (3 + -1)*(-345)/(-5) a multiple of 23?
True
Let p(d) = -d - 3. Let u be p(-5). Let r be (1 + -1)/(4 - u). Suppose r*t = t - 3. Does 2 divide t?
False
Suppose 3*j = j + 4. Suppose j*m = 2 + 2. Suppose -4*b = -m*b - 14. Is b a multiple of 7?
True
Let x(m) = m**3 - 5*m**2 + 2. Let c be x(5). Let o = 3 - c. Does 8 divide (8 - 0)*o*1?
True
Suppose 0 = z - 9 - 22. Suppose -z - 1 = -2*d. Suppose 0*v - d = -v. Is v a multiple of 8?
True
Let w(b) = -b**3 + 7*b**2 - 4*b + 10. Let i be w(7). Let k = i + 29. Let m = -7 + k. Is 4 a factor of m?
True
Suppose 9*h - 32 = h. Suppose -3*j + 5 + 1 = 0. Suppose -2*u + r = -41, h*u + j*r = 5*u - 28. Is u a multiple of 5?
False
Let h = 14 - -132. Does 41 divide h?
False
Is ((-200)/(-4) - 0) + -2 + 0 a multiple of 24?
True
Let b(z) = -z**2 + 9*z - 6. Is b(6) a multiple of 12?
True
Let i(c) = c**3 - 6*c**2 + 8. Let d be i(6). Suppose d = -z - 4. Is (-10)/(-3)*z/(-8) a multiple of 3?
False
Let q(w) = w - 6 - 6 + 6. Let k be q(6). Let s = k - -8. Is 4 a factor of s?
True
Let t = 2 - 2. Suppose -81 = -b - t*b. Is (-2)/4 - b/(-2) a multiple of 20?
True
Let k(o) = -3*o + 27. Does 15 divide k(-14)?
False
Suppose -108 = -2*f - 2*m, -4*m - 130 - 11 = -3*f. Suppose 0*g + 3*g = f. Suppose -q = -5 - g. Is 13 a factor of q?
False
Let y(g) = -3*g**2 - 3*g + 1. Let s be y(4). Let u = s - -85. Is u a multiple of 12?
False
Suppose 5*q - 90 = 115. Suppose -q = -2*m + 3*y, -y - 22 = -0*m - m. Does 13 divide m?
False
Let r(y) = -y**3 - 7*y**2 + 10*y + 12. Let a be r(-8). Is (a - 7)*(-4)/2 a multiple of 12?
False
Suppose -d = 4*b - 46, 2*b = 3*d + 10 + 6. Suppose 0 = 4*k - 5 - b. Suppose 14 = k*o - 22. Is 4 a factor of o?
False
Let p = 24 + 144. Is 28 a factor of p?
True
Let y(c) = 3*c**2 + 7. Does 11 divide y(-4)?
True
Suppose 0 = -2*b + 5 + 39. Suppose 4*y + b = -2*h + 4*h, -h + 5*y = 1. Is h a multiple of 19?
True
Is 10 a factor of 2/(-12) + 3311/66?
True
Is (175/(-30) + 2)*-6 a multiple of 16?
False
Let y(r) = 11*r + 6. Let w(u) = -5*u - 3. Let a(d) = 9*w(d) + 4*y(d). Let j be a(-3). Suppose j = 2*c - f - 77, -118 = -3*c - 0*f + 2*f. Is 12 a factor of c?
True
Does 4 divide 48/4*(-6)/(-9)?
True
Suppose -3*s - 2*p + 73 = 0, 4*s - 115 + 6 = -5*p. Is s a multiple of 4?
False
Let i = -1 + 15. Suppose 0 = -5*p + u + 79, -11 = -3*p - 5*u + i. Is 10 a factor of p?
False
Suppose 2*k + 2*k + 5*o = 238, -4*k = 3*o - 234. Is 11 a factor of k?
False
Let v = 70 + -40. Is 17 a factor of v?
False
Is 2*(1 + -3)*-16 a multiple of 14?
False
Suppose 84 = -18*g + 22*g. Is 15 a factor of g?
False
Let b = 48 + -14. Let o = b + -24. Is o even?
True
Suppose -2*h = -c - 10 + 34, -3*c = -h - 87. Let g = -14 + c. Does 7 divide g?
False
Suppose -r + 3*j + 33 = 11, 5*r + 2*j = 76. Is 16 a factor of r?
True
Suppose 0 = z + 2*m - 104, z - 59 = -4*m + 51. Suppose 4*f + 4*x = 2*x + z, f - 4*x = 2. Is f a multiple of 13?
False
Let y(l) = -l. Let v be y(-5). Suppose 5*m = 5*k + 255, 2*k = -v*m + 3*m + 102. Is m a multiple of 12?
False
Is ((-57)/(-6) + 1)/((-2)/(-4)) a multiple of 9?
False
Let r = 3 + -3. Suppose r = -0*u + u - 4. Does 2 divide u?
True
Let q = 31 - -53. Is q a multiple of 8?
False
Suppose f + 4*y = -2*f + 283, 0 = -5*f - 2*y + 495. Is f a multiple of 47?
False
Let t = 0 + 9. Suppose -g + 29 = t. Does 20 divide g?
True
Let j(i) = -5 + 4*i**2 + 2 - 5*i**2 - 10*i. Let v be j(-9). Is 13/2 - v/(-4) a multiple of 8?
True
Suppose 2*h - 512 = 2*w, 4*w - 3*h + 908 = -113. Let i = -180 - w. Is 25 a factor of i?
False
Let k(i) = -2*i**3 - i**2 + 2*i - 2. Let h be k(-4). Suppose -46 = -d + 5*j + 7, 4*d + 2*j = h. Is d a multiple of 12?
False
Suppose 5*b - 29 = -2*r - 12, -3*r = -5*b + 12. Let p(j) = -119*j + 1. Let f be p(-1). Suppose 7*m - f = b*m. Does 10 divide m?
True
Let c be ((-15)/(-18))/(1/6). Suppose c*d = -0*d + 65. Does 6 divide d?
False
Let w be -3 - -3 - 3/1. Is 15 a factor of 8/w*(-315)/28?
True
Let z be (-4 + 1)/(3/(-2)). Suppose -z*w - 216 = -5*a, -4*a + 78 = -5*w - 88. Does 14 divide a?
False
Let h = 5 - -1. Is 2 a factor of h?
True
Let w = -1 + 4. Suppose 0 = -2*i - w*i + 30. Does 3 divide i?
True
Let q(r) = -r**2 - 5*r - 3. Let u be q(-3). Suppose t = -u*t + 24. Is 2 a factor of t?
True
Suppose 4*j = 7*j. Let b = j + 9. Is 4 a factor of b?
False
Let a(i) = i**3 - 6*i**2 + 3*i + 3. Is 9 a factor of a(6)?
False
Let k(y) = y + 2. Let b(t) = t + 1. Let l(u) = 5*b(u) - 3*k(u). Is l(7) a multiple of 4?
False
Suppose 0 = -4*l + 3*t + 14, -4*t + 0 = -4*l + 12. Suppose 0 = -l*j + 48 + 32. Does 8 divide j?
True
Suppose 4*q + 20 = 4*u, -2*u = -0*q + 4*q + 8. Suppose 2*r - u*h - h = 20, -3*r + 23 = -h. Is r a multiple of 2?
False
Let d(r) = -r**3 + 9*r**2 - 6*r + 1. Is d(7) a multiple of 17?
False
Let c = -11 + 4. Let t = c - -12. Suppose -t*y + 139 = 4*o, -4*y + 54 = 2*o - 8. Is 16 a factor of o?
False
Suppose 3*r - 14 = 4. Suppose -3*b = -r*b + 63. Does 21 divide b?
True
Suppose -242 = -3*s + 4*j, 3*s - 3*j - 241 = 2*j. Suppose -88 - s = -5*f. Does 17 divide f?
True
Let v = 3 + -5. Let i = 4 + v. Suppose -7*l - 4*p = -2*l - 103, -p - 36 = -i*l. Is l a multiple of 10?
False
Suppose -3*f + y + 12 = 0, -3*y + 7*y = -12. Let u(v) = -2*v + 7*v + f*v. Does 16 divide u(2)?
True
Let u(w) = -6*w - 1. Let k be u(-2). Let i = 13 + -18. Let h = i + k. Does 3 divide h?
True
Let v(p) be the third derivative of -p**4/8 + p**3/6 - 3*p**2. Let l be v(-2). Suppose -3*r = l - 40. Is r a multiple of 6?
False
Suppose 3*b + b = 5*z + 18, 4*z + 4 = -2*b. Is 2 a factor of b?
True
Suppose h = -3*x - x + 1, 4*x - 3*h + 3 = 0. Suppose x = -4*p + 379 - 139. Is p a multiple of 19?
False
Let q = -3 + -1. Let t be (-22)/q - 2/4. Suppose 4*o - 2*y = 8, -t*y + 10 = 4*o + o. Is 2 a factor of o?
True
Let k = 139 - 123. Is 3 a factor of k?
False
Suppose 3*f = -3*h + 1065, -h + f = -f - 340. Is h a multiple of 14?
True
Is (7*-7)/(-8 + 7) a multiple of 11?
False
Let y(z) = 15*z + 5. Does 7 divide y(8)?
False
Let o(n) = -n**3 - 4*n**2 - 2*n + 2. Suppose p - 10 = 2*a + 2*p, 4*a = 3*p - 10. Does 5 divide o(a)?
True
Is 11 a factor of (1 - 2)*(-495)/15?
True
Let f(z) = 2*z**2 - z - 4. Let s be (22 + 2)*(-4)/(-8). Let o be 60/16 - (-3)/s. Is f(o) a multiple of 8?
True
Let p(d) = d**2 - 2*d + 1. Let g = -5 + 9. Let y be p(g). Is 16 a factor of (-146)/(-9) + (-2)/y?
True
Let h(w) = w + 2. Let c be h(2). Suppose 7*m - c = 5*m, 2*r + m - 158 = 0. Is r a multiple of 25?
False
Let h be 88/(4/(2 - -2)). Suppose 0 = -4*m - 4 + h. Is m a multiple of 4?
False
Let p be 2 + 2 + -5 + 2. Let r(n) = 3*n - 3*n + n**2 + 2*n**3. Is r(p) a multiple of 2?
False
Let a = -1 + 3. Suppose 0 = a*h - 5*h + 135. Is h a multiple of 10?
False
Suppose 0 = -c - 2*c. Suppose c = -2*f + 7*f - 50. Is f a multiple of 3?
False
Let k(s) = -2*s + 4. Let x be (-4)/(-18) - (-101)/(-9). Let v = x + 6. Is k(v) a multiple of 7?
True
Let w(x) = x**3 + 6*x**2 - 6*x + 5. Is 30 a factor of w(-5)?
True
Let v(s) = -s**3 + 6*s**2 - s. Is 10 a factor of v(5)?
True
Let x = 101 + -52. Is 7 a factor of x?
True
Let i(h) = h**2 + 12*h + 15. Let p be i(-11). Let d be 1/2 - 1/2. Suppose 3*r - 17 = -p*n, -5*r = n - d*n. Is n a multiple of 5?
True
Let a(n) = -3*n**3 - 2*n**2 - n + 2. Is a(-2) a multiple of 20?
True
Suppose 10*k = 5*k - 65. Suppose -2*v + 29 = -v. Let r = v + k. Does 16 divide r?
True
Suppose -s + 21 = 1. Is s a multiple of 5?
True
Let n(o) = o**3 - o**2 - o. Let i(c) = -2*c**3 + c**2 - 2*c - 1. Let u(a) = i(a) + 3*n(a). Let h be u(5). Let z = 97 - h. Does 15 divide z?
False
Let p(j) = -11*j. Let m be p(-3). Suppose m = o - 2*i + 3*i, o + 2*i - 34 = 0. Does 13 divide o?
False
Let f = 12 + -10. Let m(x) = -4*x**2 + x + 8*x**2 - 1 + 0*x**f + 9*x**2. Is m(1) a multiple of 8?
False
Let l(v) be the first derivative of v**3/3 + 9*v**2/2 + 2*v + 2. Let r be l(-9). Suppose -53 = -r*d + 3. Is 8 a factor of d?
False
Let i = 4 + -2. Suppose 0 = -3*z - i*z + 45. Suppose -z = -0*h - 3*h. Does 2 divide h?
False
Suppose -163 = -4*d - 51. Suppose -3*g + 85 =