 z(p) = p + 48. Let y be z(0). Suppose 2*x = -x + y. Suppose -r + x = r. Does 6 divide r?
False
Suppose -2*u + 2*l + 148 = -0*l, 0 = -4*l. Is u a multiple of 25?
False
Let f(b) = -b**2 + 13*b + 3. Does 13 divide f(9)?
True
Let f(n) = -n**3 - 5*n**2 - 4*n + 1. Let x be f(-4). Let a(l) be the second derivative of 7*l**4/6 + l**3/6 - 2*l. Does 15 divide a(x)?
True
Let o(x) = -x**2 - 7*x - 4. Suppose 3*v + 3 = 0, -3*v + 9 = -2*y - 0*v. Let g be o(y). Suppose -9 = -g*q + m + 9, q - 27 = -4*m. Does 4 divide q?
False
Let b(u) = 2*u + 4. Is b(7) a multiple of 9?
True
Let k = -11 + 15. Suppose k*l - 2*r = 28, 2*l + 2 = -4*r - 4. Suppose 4*a - l*m = 211 - 87, 0 = -3*m - 12. Does 13 divide a?
True
Let m = 14 - 13. Let u = 8 + m. Is 9 a factor of u?
True
Suppose 5*x + 65 + 455 = 5*h, -5*h + 499 = 2*x. Is 13 a factor of h?
False
Suppose -4*y + 140 = -76. Suppose -2*v + 2*c = -2*c - y, c = 5*v - 108. Does 13 divide v?
False
Let f(u) = -u**3 + 5*u**2 + 5*u + 6. Let x be f(6). Suppose 2*v = -x*v. Suppose -o + 6 = -v*o. Does 4 divide o?
False
Let s be (-3)/12 + (-1)/(-4). Suppose s*d + 4*d = 2*z - 62, 55 = z + 4*d. Does 13 divide z?
True
Let y = 306 + -180. Is 42 a factor of y?
True
Suppose -5*g - 2*y = -156, -5*y - 136 = -4*g - y. Let l = g + -2. Is l a multiple of 15?
True
Suppose -3*o - o = 648. Is 17 a factor of o/15*(-15)/2?
False
Let y = -10 + 24. Is 14 a factor of y?
True
Let a(l) = 7*l + 4. Let d(c) = 1. Let m(i) = -a(i) + 5*d(i). Does 26 divide m(-4)?
False
Let g(f) = f**2 + 7*f - 17. Is 9 a factor of g(-12)?
False
Let m be (12/21)/((-2)/(-14)). Suppose 0 = m*o - 52 - 0. Does 3 divide o?
False
Let i(f) = -4*f**2 - 2*f + 1 + 6 - 2 - 1 - f**3. Let l be i(-4). Let w = l - 3. Does 8 divide w?
False
Let w(x) = x**2 + 2*x - 12. Is w(-10) a multiple of 21?
False
Let v(t) = t**2 - t - 1. Suppose 4*p + m + m = 24, -4*p + 24 = -5*m. Let n(k) = 3*k**2 - 4*k - 6. Let q(l) = p*v(l) - n(l). Does 7 divide q(3)?
True
Suppose 3*u + 1 = 172. Is 19 a factor of u?
True
Suppose -81 = f - 4*f. Is 7 a factor of f?
False
Let b(o) = o**3 - 9*o**2 + 3*o - 9. Let a be b(8). Let q = -13 - a. Does 11 divide q?
False
Let k(u) = -10*u. Let c be k(1). Let q be (-18)/(-15)*c/(-3). Suppose -q*b + 3 = t, -t + 2*b + 2*b + 11 = 0. Is t a multiple of 5?
False
Suppose 2*r - 5*a - 329 = 0, -3*r - 2*a = -0*r - 446. Suppose -4*l + 88 = -r. Is 16 a factor of l?
False
Suppose t + 80 = 4*y, -25 = -y - 5*t - 5. Does 6 divide y?
False
Let q(k) = 15*k**2 - 3*k - 9. Is 19 a factor of q(-2)?
True
Suppose -3*y + 10 = 2*y. Let h(w) = w**3 - w**2 - 2*w + 2. Let b be h(y). Is (-1 - -2)/(b/38) a multiple of 19?
True
Let q be (11/4)/((-3)/12). Let x = 5 + q. Is 14 a factor of 3/((x/10)/(-3))?
False
Let c(j) = -5*j - 1. Let r be c(-3). Does 10 divide (1 + -6)/((-7)/r)?
True
Let u = -17 - -76. Suppose u = 3*r - 61. Does 16 divide r?
False
Let d be (-9)/(-12) + 29/4. Let q = d - 2. Does 6 divide q?
True
Suppose 3*o = 6*o. Suppose k = 7 - o. Is 7 a factor of k?
True
Let c(t) = t - 3. Let l be c(6). Let r be ((-12)/42)/((-1)/7). Suppose -r*d + j + 56 = -l*j, -2*d + 2*j = -46. Does 10 divide d?
False
Let g(i) = i**3 + 8*i**2 + 11*i + 4. Let w be g(-7). Let n be 6/(-8) - (-6)/w. Does 9 divide 10/((2 + -3)*n)?
False
Let y be 13/6 + 1/(-6). Suppose 3*t = -i - 1, -5*i + 2 = -y*t + 24. Is 9 a factor of (-172)/(-16) + t/4?
False
Let g = 239 - 132. Suppose 5*o - 43 = g. Is 10 a factor of o?
True
Let t be (-2)/4 + (-9)/(-2). Let r = 62 - 10. Suppose t*a - 8 = r. Does 15 divide a?
True
Is (7770/120)/((-1)/(-4)) a multiple of 37?
True
Let h be -98 + (2 - (2 + -2)). Let m = h - -144. Suppose -12 + m = 2*p. Is p a multiple of 7?
False
Let p(j) = j**2 + 2*j. Let z be (-4)/(-6) - (-42)/(-9). Is p(z) a multiple of 6?
False
Suppose i = 4*y + 53, 0*i = -2*i - 3*y + 51. Is 8 a factor of i?
False
Suppose -k = -5*i + 17, -4*k = 2*i - 5*i. Suppose 0*n + i = -n. Is 15 a factor of (n/6)/(2/(-87))?
False
Let m(x) = -x**3 - 2*x**2 - x + 176. Is m(0) a multiple of 44?
True
Suppose 4*s + s + 370 = 0. Let n = s + 104. Does 15 divide n?
True
Let q = 0 + 0. Suppose q = 5*o - 3*b + b - 224, -2*b = -2*o + 92. Does 22 divide o?
True
Let x be (-75)/(-3 - (-3)/2). Suppose -4*n + 9*n + 2*p = 92, -4*p = -3*n + x. Is 6 a factor of n?
True
Is (-2)/((-128)/(-68) + -2) a multiple of 10?
False
Suppose 0 = 5*x + u - 99, u + 77 = 3*x + 6*u. Is x a multiple of 12?
False
Does 13 divide 26 + (-3 - -1) + 3?
False
Let s be (-12)/(-4) + -83*1. Is 10 a factor of s/(-6) - 4/12?
False
Let y(b) = -b**2 - 5*b + 8. Does 4 divide y(-5)?
True
Suppose 2*c - 3*c + 18 = 0. Is c a multiple of 6?
True
Does 12 divide (0 + 2/4)*60?
False
Let o = -124 + 181. Is o a multiple of 14?
False
Let w = -87 + 171. Is 14 a factor of w?
True
Suppose 0 = -n - 2*s - 3, 3*n = 2*s + 23. Suppose -30 - 90 = -n*w. Let t = 37 - w. Does 13 divide t?
True
Suppose 2*y - 244 = -2*t, 0*t = -t + 2. Does 3 divide (-4)/(-14) + y/21?
True
Let i = -6 + 10. Suppose a = p + i, -a + 2*a = 4*p + 4. Let r = 34 - a. Is r a multiple of 15?
True
Let l(s) = s**3 + 12*s**2 + 8. Let x(q) = 13*q + 1. Let v be x(-1). Let k be l(v). Suppose -j + 1 = -4*o - k, 4*o = -2*j + 18. Does 9 divide j?
True
Is 10 a factor of -2 - 3*(-11 + -3)?
True
Suppose -v = -9*f + 6*f, 16 = 4*v + 4*f. Is (-10)/v*(-72)/15 a multiple of 8?
True
Let z = 7 - 4. Suppose 0 = 2*v - 11 + z. Does 4 divide v?
True
Let y be 36/20 + 1/5. Suppose -5*w + y*k + 5 = -0*k, -5*k + 22 = -w. Suppose 3*m + 105 = w*g, 5*g + m - 81 = 94. Is g a multiple of 22?
False
Let j be (-2 - 9/(-6))*-2. Let b be -5 + 7 - j*-1. Suppose -2*k - 3*l + 6*l + 2 = 0, b*k + l = 25. Is k a multiple of 7?
True
Let s be ((-8)/12)/((-2)/(-129)). Let b = 75 + s. Is 14 a factor of b?
False
Suppose -6*f = -4*f - 20. Is 4 a factor of f?
False
Let g = 41 - 25. Is g a multiple of 4?
True
Let v be (-33)/(-15) + (-2)/10. Suppose 0 = -7*x + v*x + 70. Is 14 a factor of x?
True
Let p(m) = 30*m. Is p(3) a multiple of 13?
False
Let m = 400 - 127. Is 30 a factor of m?
False
Let i be 1 - -1 - (-1 - -2). Suppose 0 = 3*p - 2 - i. Is 39/p*(-1)/(-3) a multiple of 13?
True
Suppose -s - 5*m + 19 = 0, 3*s + 3*m = -0*m + 21. Let b(p) = p**3 - 4*p**2. Let y be b(s). Suppose 0*c - 4*c + 168 = y. Is 18 a factor of c?
False
Suppose 4 = s + 1. Suppose 3*a = -5*r + 17, -4*a + a = s*r - 9. Let v(y) = -63*y**3. Does 23 divide v(a)?
False
Let l(s) = -2 - 2 + 2*s**2 + 3*s - 2*s**2 + s**2. Does 7 divide l(3)?
True
Let j = -1 + 6. Suppose -j*h - 2*g = -205, -7*h + 3*h + 176 = 4*g. Is h a multiple of 13?
True
Suppose 2*j - 8 = 4*n, 4*j - 3*n + 2 = 18. Suppose 0 = -j*b + 2*b + 10. Suppose 3*z + 22 = b*z. Does 10 divide z?
False
Let d be 2*(-2 + 7 + -2). Suppose 0 = -2*o + d*o - 4. Does 7 divide (44/(-4))/(o/(-1))?
False
Let f = -56 - -128. Is f a multiple of 9?
True
Suppose -5*t + 348 + 172 = 0. Is t a multiple of 13?
True
Let r(c) = -c**2 - 21*c + 14. Is 24 a factor of r(-14)?
False
Suppose 4*t - 15 = -t. Let m be ((-2)/4)/(4/(-24)). Suppose j + 39 = t*q - 0*j, -m*q + 36 = -2*j. Is 14 a factor of q?
True
Suppose 4*g + 5 = 3*q, 10 = -q - 3*g + 3. Let a(v) = -31*v**3 + v. Does 30 divide a(q)?
True
Let u = 75 + 10. Is u a multiple of 24?
False
Let j be 1 + -1 + 15/5. Suppose n = -5*g + g - 5, g = -3. Suppose 0 = -5*c + 25, 0 = 2*w - n*w + j*c + 155. Does 17 divide w?
True
Does 38 divide (4/(12/675))/((-2)/(-2))?
False
Let q = 355 + -48. Suppose d - 229 = -3*s, 2*s + d = -2*s + q. Suppose -s - 14 = -2*i. Is 23 a factor of i?
True
Suppose 6*j + 15 = j. Let d(m) = -m. Let c be d(j). Suppose c*s = -i + 62, 5*s + 5*i = 3*s + 63. Does 8 divide s?
False
Suppose 6*p + 0*p - 126 = 0. Is 7 a factor of p?
True
Let n(s) = -4*s - 7. Let o(w) = w - 1. Suppose -3 = i - 2. Let k(q) = i*n(q) + 6*o(q). Is 6 a factor of k(1)?
False
Let h be -10*((-10)/(-4))/(-5). Suppose -j = -h*j + 144. Is j a multiple of 16?
False
Let f(c) = -3*c - 6. Let l be f(-8). Suppose 0 = -3*u - l + 72. Does 18 divide u?
True
Let z(k) = k**3 - k**2 - k + 7. Does 7 divide z(4)?
False
Let t(c) be the first derivative of c**4/4 + 7*c**3/3 + 3*c**2 - 2. Let k be t(-6). Suppose 0*w + 3*w + 2*n - 26 = 0, k = -4*w + 3*n + 46. Is w a multiple of 5?
True
Let i = -8 - -17. Is ((-28)/3)/((-6)/i) a multiple of 14?
True
Let f(o) = o**2 - 7. Let d be f(0). Let p(w) be the firs