+ 13 = -g*x - l, 2*x = 2*l + 14. Suppose -x*f - b = -7*f + 113, -2*f + 74 = -4*b. Is f a multiple of 10?
False
Let y = 9 - 15. Let k = 4 - y. Does 7 divide k?
False
Does 8 divide (44/(-77))/((-2)/28)?
True
Let p(c) = -c**3 - 5*c**2 - 10*c - 2. Does 11 divide p(-4)?
True
Suppose -5*k - 3 = -2*x - 2, 11 = 3*x + 2*k. Suppose -2*r = -4*v + x*v - 196, 4*r = 3*v + 396. Is r a multiple of 29?
False
Let m(v) = v**2 - 6*v + 6. Does 21 divide m(8)?
False
Let u = 16 + -18. Is 9 a factor of (1 - 0)*u + 15?
False
Let a = 3 + 4. Let m = a - 3. Is 3 a factor of 18/m*(-12)/(-6)?
True
Let g(w) = 3*w**3 + 2*w**2 + 2*w - 2. Let y(t) = t - 9. Let m be y(11). Let z be g(m). Suppose 2*j = -0*j + z. Is 8 a factor of j?
False
Suppose 3*m = 4*n - 215, 3*m - 65 - 112 = -3*n. Does 28 divide n?
True
Let v(k) = -k + 4. Let s be v(3). Suppose 2*w - y = -3, -y - s = -w - 0. Let m(g) = 2*g**2 + 4*g + 3. Is m(w) a multiple of 8?
False
Is (3/1)/(6/226) a multiple of 11?
False
Let w = -28 + 43. Is w a multiple of 5?
True
Suppose 0 = -4*k + 131 + 53. Does 7 divide k?
False
Let n(d) = d**3 + d**2 + d + 16. Does 4 divide n(0)?
True
Suppose 3*r - 111 = 2*w, 0*r + 4*r + 4*w - 168 = 0. Is 7 a factor of r?
False
Let a = 20 + -14. Let b(p) = 5*p**3 + 26*p**2 + 8*p - 26. Let s(n) = 2*n**3 + 9*n**2 + 3*n - 9. Let r(o) = -3*b(o) + 8*s(o). Is 3 a factor of r(a)?
True
Suppose 2*o - 152 = -40. Is 9 a factor of o?
False
Let s = -5 - -8. Suppose s*a - 2*l = 98, 2*l - 26 + 4 = -a. Suppose 0 = -w - 4 + a. Is 11 a factor of w?
False
Let p(r) = -4*r - 4. Let g be p(7). Let b = -20 - g. Is 5 a factor of b?
False
Let o = 38 - -27. Does 15 divide o?
False
Let q = 26 - -1. Is q a multiple of 27?
True
Let a(d) = 61*d - 3. Let o be a(2). Let q = o + -31. Suppose m - 16 = -3*m, q = 3*g - 5*m. Does 18 divide g?
True
Let t(x) = -x**2 - 7*x + 12. Let y be t(-9). Let l = 14 + y. Is 4 a factor of l?
True
Suppose -123 = 5*o - 333. Is 14 a factor of o?
True
Let l(t) = -t**3 - 4*t**2 + t. Let k be l(-4). Let u = 5 + k. Is 11 a factor of (-2 + u)*(-69)/3?
False
Let w(g) = -9*g**3 + 13*g - 15. Let x(k) = -5*k**3 + 7*k - 8. Let z(s) = 4*w(s) - 7*x(s). Does 21 divide z(-4)?
False
Suppose 0*x = x + 5*h + 19, 3*h = -3*x - 9. Is 12 a factor of 261/12 + x/4?
False
Let d(s) = s**3 + 6*s**2 + 4*s + 5. Suppose -2*b + 2*r = 0, -3*b + 2*r = 3 + 2. Does 10 divide d(b)?
True
Suppose -2*a + 6*b = 3*b - 196, 4*b = 2*a - 194. Let n = -51 + a. Let y = -34 + n. Is 16 a factor of y?
True
Let i be (3*-1)/(-3) - 1. Let y = i - 0. Suppose y = g - 4, 0 = 6*q - 4*q - 5*g. Does 5 divide q?
True
Let n be -5*(-35 + 6/3). Suppose -2*y - 2*y - 3*j + n = 0, -2*y + 3*j + 87 = 0. Does 12 divide y?
False
Let h be 0 + -3 - 57*-2. Suppose 0 = 4*c + 5*n - 26 - h, -2*c + 36 = -4*n. Is 15 a factor of c?
False
Let x = 2 + -4. Let l be (x/(-6))/(2/(-12)). Is (24/(-10))/(l/45) a multiple of 14?
False
Let x(a) = a**2 - 8*a. Is 16 a factor of x(-7)?
False
Suppose 4*s + 3 = 23. Suppose -30 - 175 = s*g. Is 9 a factor of 4/12 - g/3?
False
Let f = 48 + -33. Suppose 0*t - 3*t = -f. Suppose -2*c = t*o - 88 - 9, -c + 77 = 4*o. Is 10 a factor of o?
False
Let b = 6 + 8. Is b a multiple of 5?
False
Let k be (2/4)/((-1)/8). Let t be 1/(k/(-10))*2. Suppose 0 = 2*n - t*q - 122, -4*n = 2*q - q - 266. Is n a multiple of 18?
False
Let w = 4 - 4. Is -1*(1 + w - 16) a multiple of 15?
True
Suppose -2*q = -5*q - 918. Let a = -1 - -2. Does 13 divide q/(-12) + a/(-2)?
False
Let s(u) = 2*u**3 + 3*u**2 - 29*u - 31. Let d(p) = -p**3 - p**2 + 15*p + 16. Let a(q) = 11*d(q) + 6*s(q). Is 13 a factor of a(-7)?
False
Suppose 5*d - 8 = d. Suppose -2 = d*q + 2. Is 7 a factor of 15 - -2*1/q?
True
Let q(m) = -20*m + 18. Does 18 divide q(-9)?
True
Suppose 5*b + 2*g - 1424 = 0, 4*b + g - 1135 = -2*g. Is b a multiple of 22?
True
Is -3 + (0 - (0 + -189)) a multiple of 27?
False
Let g(v) = v**2 + 9*v + 2. Let y be g(-9). Suppose 5*l + 3*r - r = 21, -5*l = -y*r - 29. Suppose 5*n - 3*t - 114 = 0, -2 = n - l*t - 16. Is n a multiple of 8?
True
Suppose 2*b - 4 = 3*t, -t + 21 = 2*t + 3*b. Suppose -c + 3*w = -0*w + 7, -5*w + 30 = t*c. Is 0 + 18 + (c - 3) a multiple of 12?
False
Suppose -2*q - 4*r = -74, 3*r - 113 = -3*q - r. Is q a multiple of 13?
True
Let m = -20 + 30. Let k be 1*(0 + 8) + -3. Suppose u = -k + m. Is u a multiple of 3?
False
Let o(a) be the third derivative of -a**4/4 - a**3/6 + 3*a**2. Is o(-4) a multiple of 13?
False
Suppose -4*g + 9*g - 630 = 0. Is g a multiple of 63?
True
Suppose 8*u = 5*u + 168. Does 12 divide u?
False
Let o(g) = 2 + 2 + 5*g - 3. Let c be o(-1). Let f = c + 15. Does 4 divide f?
False
Let a be (-36)/(-3) + -3 - 2. Let x = 12 - a. Is 5 a factor of x?
True
Is 124/6 - (234/27 - 8) a multiple of 20?
True
Let n(s) = s**2 + 9*s - 6. Let u be n(-9). Does 10 divide (-403)/(-7) + u/(-14)?
False
Suppose -2*n = -5*s + 290, -4*s - n - 2*n + 232 = 0. Is 9 a factor of s?
False
Let y be (-9)/(-3) - 266/2. Let w = 211 + y. Is w a multiple of 27?
True
Is 26 a factor of (-536)/6*(-33)/22?
False
Suppose 30 = 5*k - 6*y + 2*y, 0 = k - 4*y + 10. Let h be 25/k - 1/(-2). Let l(j) = j**3 - j**2 + j + 2. Is 8 a factor of l(h)?
False
Suppose 147 = 3*n + 3*g, -g = -2*n - 4*g + 96. Is 17 a factor of n?
True
Suppose 5*v - 3*x + 25 = x, -2*x + 6 = 4*v. Does 7 divide 6/3*(-7)/v?
True
Let t = 33 + -26. Is 3 a factor of t?
False
Let t(l) be the second derivative of -5/2*l**2 + 0 + l + 2/3*l**3 + 1/12*l**4. Is t(-6) a multiple of 7?
True
Let j be 12/9*(-3)/(-2). Let x(n) = -4 - 10 + 4 - 10*n + n**j. Is x(12) a multiple of 7?
True
Let r(h) = 2*h**2 - 4*h + 3. Let q be r(-6). Let l = q - 55. Is 20 a factor of l?
False
Let d = -6 - -7. Let b(s) = 19*s**3. Is 12 a factor of b(d)?
False
Let z(j) = 0 + 6 + 2 - 3*j**2 + 4*j**2. Is z(-6) a multiple of 11?
True
Suppose 0 = 4*c - 19 - 5. Let r be 9/(6/(-2)) + c. Let i = 10 - r. Is 3 a factor of i?
False
Suppose 3*n - 248 = n. Suppose -4*w + n = 5*t, 3*w + 2*t = 58 + 42. Is 12 a factor of w?
True
Suppose -18*q + 2 = -20*q. Let d(s) = -4*s. Let i be d(1). Is 8 a factor of q*(3 + i) + 20?
False
Let r(u) = -u**3 + 3*u**2 + 4. Let b be r(3). Suppose -b*z + 4 = -148. Is z a multiple of 19?
True
Let g(o) = 0*o + 4*o**2 + 5*o - 3*o**2 - 2*o - 16. Is 4 a factor of g(-7)?
True
Suppose 0 = 4*q + 3*d - 23 + 1, 0 = 2*d - 4. Suppose q*a - 217 + 73 = 0. Is 18 a factor of a?
True
Let g = 98 - -43. Suppose 5*u - g - 24 = 0. Suppose -3 + u = 5*n. Does 3 divide n?
True
Let u(n) = 3*n**3. Does 27 divide u(3)?
True
Let l be (-2*1)/6*-6. Is 98/6 + l/3 a multiple of 9?
False
Let z = -6 + 10. Suppose 4*k - i - 60 = 0, 4*k + z*i - 60 = -i. Is 5 a factor of k?
True
Suppose 0 = -m + p - 1, -m + p - 5 = -2*m. Suppose -m = 4*n + 38. Let w = n + 29. Is 19 a factor of w?
True
Is 1/(-11)*-2 + 1140/22 a multiple of 26?
True
Suppose -4*z = z + 20. Is z*((-390)/8)/5 a multiple of 13?
True
Let c(a) = -a**3 - 10*a**2 - a. Let i(b) = -b**2 - 10*b - 10. Let j be i(-10). Is 10 a factor of c(j)?
True
Suppose 5*u = -5*n + 1835, -3*u - 246 = -2*n + 498. Is 34 a factor of n?
False
Suppose -34 = -5*u + 2*d, -3*u - d + 20 = -7. Let g be 1 - (3 + 0/1). Let a = u + g. Is 4 a factor of a?
False
Let h(a) = 18*a - 5. Is 19 a factor of h(2)?
False
Suppose 16 = 2*k - 4. Is k a multiple of 7?
False
Let z = 140 - -148. Is 36 a factor of z?
True
Suppose -63 = -5*m + 4*m. Is 25 a factor of m?
False
Let a(u) = 6*u**2 - 2*u - 2. Let j be 2 - (-2)/4*2. Let y be (-2)/(0 + 2) + j. Is 13 a factor of a(y)?
False
Let x = -2 + 4. Suppose -330 = -x*s - 3*s. Is 22 a factor of s?
True
Suppose -3*f + 12 = k - f, -4*k + 3*f = 7. Let m(p) = -p**3 - p**2 - 3*p. Let b be m(0). Suppose u + k*u - 54 = b. Is u a multiple of 9?
True
Let h = 17 - 56. Let z(a) = -a**2 + 2*a + 5. Let i be z(4). Is 7 a factor of 0 + 1 + h/i?
True
Let y = 67 - 62. Is 3 a factor of y?
False
Let m(l) be the second derivative of -l**5/20 + l**4/2 + 7*l**3/6 + 9*l**2/2 + l. Does 9 divide m(7)?
True
Let p(h) = h**3 - 8*h**2 - h + 11. Let y be p(8). Is (-32)/8 + y*7 a multiple of 7?
False
Let h(d) = d**2 + d - 3. Let w be h(-3). Let k = 0 - 0. Let p = w - k. Does 2 divide p?
False
Suppose -4*n + 14 = -6. Suppose 1 = -b, 3*b = -2*f + n + 48. Does 14 divide f?
True
Is (-2)/3*84/(-8) a multiple of 7?
True
Suppose 0 = 5*a + c - 5 - 5, 0 = 3*c. Does 15 divide 280