
False
Let w = 4 + -4. Suppose 4*o - 352 - 260 = w. Suppose -4*u = 45 - o. Is u a multiple of 12?
False
Let d(o) = 5*o + 5. Let l(w) = w. Let s(v) = -d(v) - 6*l(v). Let p be s(-7). Suppose p = -2*j + 6*j. Does 9 divide j?
True
Suppose 3*b = 3*d - 117, 5*d + 4*b - 186 = -27. Does 14 divide d?
False
Let n be -1 - (-1)/((-2)/42). Let q = -14 - n. Is 4 a factor of q?
True
Let m = 9 - 3. Does 27 divide (172/5)/(m/15)?
False
Suppose 8*o = 5*o + 15. Suppose f + 4*g + 23 = 0, 15 = -o*f - 0*f + 5*g. Let j = f + 11. Is j a multiple of 4?
True
Suppose 0 = 2*r + 2*d + 6, -28 = 3*d - 13. Suppose r*y = -2*t + 12, -4*y = 13 + 3. Does 4 divide t?
False
Suppose r - 8 = 7. Is 5 a factor of r?
True
Suppose u = 5*u + 3*i - 400, -3*i - 182 = -2*u. Does 5 divide u?
False
Suppose l - 10 = -4*h + 73, 5*h + 3*l = 102. Is 21 a factor of h?
True
Let m = 2 + 10. Suppose -2*j - m = u, u - 2*j = -3*j - 7. Is 13 a factor of (-49 - (u - -5))/(-2)?
True
Is 156*(-2 - (-7)/3) a multiple of 13?
True
Let d(v) = 7*v**3 + 3*v**2 + 6*v + 5. Let w(g) = g**3 - g**2. Let m(y) = d(y) - 6*w(y). Let k be m(-8). Suppose x - j = -7 + k, 2*x - 32 = j. Does 9 divide x?
True
Let b(s) = -s. Let a be b(-2). Suppose 2*t - 44 = -a*t. Is 7 a factor of t?
False
Let g = -40 - -77. Is 10 a factor of g?
False
Suppose 4*m + 25 = 137. Is 14 a factor of m?
True
Suppose 0 = p - 0*p - n - 41, -4*p + 5*n = -165. Suppose 56 = 3*j - p. Is j a multiple of 16?
True
Let t(y) be the first derivative of 2*y**3 + 6*y + 5/2*y**2 - 1 + 1/4*y**4. Is 6 a factor of t(-5)?
True
Let s(a) = -4*a - 9. Is s(-13) a multiple of 20?
False
Suppose 8 = -2*l - 0*l, 0 = y + 3*l + 19. Let t = y + 13. Is 6 a factor of t?
True
Does 18 divide (-9)/((3/12)/(-1))?
True
Let g be (-47 - 1) + (-45)/(-15). Let y = g - -70. Is 5 a factor of y?
True
Let u(l) = -5*l**2 - 12*l - 2. Suppose 0 = -2*a + 6*a - 16. Let h(p) = 6*p**2 + 13*p + 3. Let y(r) = a*h(r) + 5*u(r). Is 14 a factor of y(-6)?
True
Let m(q) = q**2 - 23. Does 14 divide m(11)?
True
Suppose 2 + 2 = c. Suppose c*p = -3 - 1, r = 2*p + 30. Is r a multiple of 14?
True
Suppose -2*c + y + 240 = 0, -5*c + 2*y + 376 = -223. Suppose 5*f = 2*g - c, -3*f = -g + 39 + 33. Let v = 39 + f. Does 7 divide v?
True
Let y be 57/(-2) + 3/6. Let b = y + 46. Is b a multiple of 18?
True
Let p be (-8)/(-12)*(-9)/(-6). Let i = p + 17. Does 17 divide i?
False
Let f be (1 - 0) + (-1 - -12). Suppose m + 3 = 5*n + f, -3*n - 9 = 0. Does 6 divide 6/9 + (-32)/m?
True
Suppose -4*t = 2*f - 30, -5*f = 5*t - 69 + 4. Let j = f - -5. Does 5 divide j?
False
Let s be (2/(-4))/((-1)/(-2)). Is 2 - 2 - (-9 + s) a multiple of 6?
False
Let b(g) = -g**3 - 5*g**2 + 5*g + 9. Is b(-6) a multiple of 5?
True
Suppose 3*v + 111 = 2*b, 0 = -b + 3*b + 5*v - 135. Is b a multiple of 28?
False
Suppose 1 = p - 4. Let f = 11 - p. Is f a multiple of 3?
True
Let b(k) be the second derivative of -k**4/12 + 27*k**2 + 2*k. Is b(0) a multiple of 18?
True
Suppose l = -l. Suppose -f + l*f + 13 = 0. Does 12 divide f?
False
Suppose 3*d = 5*p - 20 + 52, 0 = -d - p. Let y = d - 0. Is 10 a factor of 1/y - (-134)/8?
False
Let w(d) = -6*d - 7. Does 29 divide w(-6)?
True
Suppose 2*a = 7*a - 165. Suppose -m + 3*x + 15 = -2*m, -3*m = 5*x + a. Let o = 16 + m. Does 5 divide o?
True
Let t be ((-7)/(-3))/((-3)/(-9)). Suppose 3*z = 2*z - i + 40, 0 = -3*z + 3*i + 132. Suppose -4*u + t*u - z = 0. Is 14 a factor of u?
True
Suppose 2*f = 2*x - x - 60, -5*x = 4*f - 300. Is 12 a factor of x?
True
Let g = -49 - -90. Is g a multiple of 7?
False
Let z(x) = -x**2 + x + 8. Is z(3) a multiple of 2?
True
Let r(n) = -4*n - 16. Let d be r(-11). Let j = -14 + d. Is j a multiple of 14?
True
Let h be 15/6 + (-2)/(-4). Does 2 divide 2/h - 100/(-30)?
True
Suppose -3*h + 10 = 1. Suppose 4*u - 716 = -0*t + h*t, 192 = u - 4*t. Suppose 3*o + 3*f = u - 62, -2*o - 5*f = -88. Does 17 divide o?
True
Suppose -308 = -4*b - 4*w, 2*b - 4*b - w + 150 = 0. Is b a multiple of 10?
False
Suppose -2*f - 5 = 4*y - 9*y, y - f + 2 = 0. Suppose -5*t + 411 = -y*u, 0*t - 3*t + 233 = 5*u. Let m = t + -43. Does 19 divide m?
True
Is 20 a factor of (2 + -26)*5/(-2)?
True
Let q(i) = -31*i - 76. Is q(-10) a multiple of 24?
False
Let a(w) be the third derivative of -w**6/120 - w**5/10 - w**4/8 + w**3/3 + 2*w**2. Does 10 divide a(-6)?
True
Let h(l) = -l - 1. Let v be h(6). Let s be 2344/28 - 2/v. Suppose -32 - s = -4*b. Is 13 a factor of b?
False
Suppose -3*v - 2*v = 30. Suppose -4 = 2*o, -5*s + 10 = 2*o - 6. Is ((-6)/s)/(3/v) even?
False
Suppose -34*a - 48 = -36*a. Does 14 divide a?
False
Let d = -50 - -79. Is 15 a factor of d?
False
Let b(q) = 5*q**2 + q + 5. Is 14 a factor of b(3)?
False
Let z(g) = -g**2 + 3*g + 2. Let m be z(3). Suppose m*f - 9 = -f. Suppose 2*c - c + 4 = 2*d, f*c - d - 13 = 0. Does 4 divide c?
False
Is 13 a factor of 2073/39 + 12/(-78)?
False
Is 11 a factor of (-3 - (-11525)/40) + (-3)/24?
False
Let x(c) = 23*c**3 - 5*c**2 + 4*c - 4. Is 42 a factor of x(2)?
True
Let q = 8 - 11. Let a be (0 + -1)/(q/6). Suppose 2*t = -2*t - 3*r + 124, -a*r = 0. Is t a multiple of 19?
False
Let f(i) = -i**3 + 4*i**2 + i - 1. Let m be f(4). Let r = m - -4. Let o(x) = x**2 - x - 10. Does 16 divide o(r)?
True
Let r be 1 + 4 + (-2 - -1). Suppose 275 = -0*t + 4*t - l, -334 = -5*t - 2*l. Suppose -r*c = -52 - t. Is 10 a factor of c?
True
Let m = -16 + 28. Let q(v) = -v**2 + 4*v - 1. Let i be q(4). Let c = m - i. Is c a multiple of 13?
True
Let v(g) = 6*g. Let j = -1 + 3. Does 12 divide v(j)?
True
Suppose -z - 49 = -2*z. Does 12 divide z?
False
Let o be 3/(-1*(-6)/4). Let g(y) = y**3 + 4*y**3 + 3*y - o*y**2 + y - 4*y**3. Does 21 divide g(3)?
True
Suppose 3 = 3*c - 3. Let x(h) = -9*h + h**3 - 13*h**2 + 14 + 3*h**c + 0*h. Is 10 a factor of x(11)?
False
Let x(v) = v**2 + v - 1. Let r(d) = d**3 - 11*d**2 - 4*d - 6. Let i be -2 + -2 + 2 + 1. Let l(y) = i*r(y) - 2*x(y). Does 13 divide l(9)?
True
Let u = 7 + 15. Does 11 divide u?
True
Let u(i) = -i**3 + 4*i**2 + 7*i - 1. Let w be ((-2)/((-6)/15))/1. Let v be u(w). Suppose n - 5 = v. Does 14 divide n?
True
Let v = -13 - -38. Let l = 17 - v. Is 17 a factor of l/(-28) + 792/21?
False
Suppose 89 = 5*c + w, 1 + 2 = -3*w. Let g = c + -5. Does 3 divide g?
False
Let z = 4 + 10. Is z a multiple of 7?
True
Suppose 0 = -3*y + 9 + 3. Does 9 divide 7/(2/y - 0)?
False
Suppose 2*b + b = 4*y - 459, 0 = -5*y - b + 588. Does 10 divide y?
False
Suppose -5*z + 0*z = -165. Does 11 divide z?
True
Let g(c) = -3*c + 11. Let h be g(6). Let m(i) = -3*i + 13. Is m(h) a multiple of 9?
False
Suppose -4*f - 1 + 13 = 0. Suppose 2*z - 30 = -f*j - j, -2*j = 4*z. Suppose a = -a + j. Is a a multiple of 3?
False
Let v(h) = h**3 - 4*h**2 - h + 8. Does 14 divide v(5)?
True
Let t = 20 + -10. Is t a multiple of 10?
True
Let q(z) = -2*z + 6. Let c be q(-5). Let s = 23 - c. Is s a multiple of 7?
True
Let s = -133 + 269. Suppose -z - 136 = -4*v, z - 4*z = -4*v + s. Is v a multiple of 17?
True
Let a be (-5)/(-15)*(-2 - 25). Is 9 a factor of a/(-6)*80/12?
False
Suppose 4*p + 35 = 211. Suppose -n - 3*n = -p. Is n a multiple of 11?
True
Let w(g) = -12*g**2 + 3*g + 5. Let v be w(-4). Let h = -141 - v. Is h a multiple of 11?
False
Let w(m) = m**2 - 3. Let o be w(-3). Does 3 divide ((-30)/(-9))/(4/o)?
False
Let k(r) = 2*r**2 - 5*r + 2. Does 27 divide k(5)?
True
Let h(s) = -5*s**2 + 3*s**2 - s + 3*s**2. Let n be h(1). Suppose 0 = g - 2*j + 1, g + 3*j - 14 = n. Is 4 a factor of g?
False
Let a(x) = -x**2 - 7*x + 6. Let r be a(-8). Let g be r - (-4 + -1 + 4). Does 10 divide 3*g + 4 + 27?
False
Let r(d) = -26*d + 47. Is 23 a factor of r(-5)?
False
Let k be (-2*(-7 + 4))/(-2). Let w(l) = -7*l - 5. Does 4 divide w(k)?
True
Let y(k) = -k**3 - 7*k**2 - 5*k + 4. Let i be y(-5). Let w = 31 + i. Let o = 5 + w. Does 12 divide o?
False
Let t(l) be the third derivative of -l**7/1008 + l**6/360 + l**5/15 - 2*l**2. Let d(w) be the third derivative of t(w). Is d(-4) a multiple of 22?
True
Let d(y) = -y**2 + 2*y - 3. Let x be d(3). Let m = -4 - x. Let v = 8 - m. Is 3 a factor of v?
True
Suppose 2*d - 228 = -56. Is d a multiple of 6?
False
Let c = -9 + 17. Suppose 3*s + 2*s = 10. Let w = c + s. Is 10 a factor of w?
True
Suppose 12*z - 542 = 574. Is 11 a factor of z?
False
Let u be (-9 - -1)*(-1)/2. Let v be -2 - ((u - 1) + -2). Let q(c) = -6*c