((-3)/30)?
True
Suppose 0 = -4*p - 21 - 31. Let s = -15 - p. Let u(t) = -19*t - 3. Does 8 divide u(s)?
False
Let l(x) = 31*x - 2. Let d be (-1)/(-2)*(-2)/(-4)*8. Is 12 a factor of l(d)?
True
Let w = -6 - -8. Suppose 5*t + 48 = w*p + 2*t, -5*t = 5*p - 120. Is 7 a factor of p?
False
Suppose -2*c = -2*v + 126, 13*v + 4*c - 53 = 12*v. Is 2 a factor of v?
False
Let c(d) = -d**3 + d**2 + d - 3. Suppose 0 = 4*j + j. Let k be c(j). Let n = k - -20. Is 5 a factor of n?
False
Suppose -6*a = 3*c - 7*a - 4028, 4*c - 5380 = -a. Does 32 divide c?
True
Suppose 2*g = 2*f + 3258, 685 = -2*g + 3*f + 3938. Does 39 divide g?
False
Let w be (-5 - -1)*(-47)/(-4). Let z = -112 - w. Let v = z - -125. Is 15 a factor of v?
True
Suppose -6*t - 10*t = -192. Let u(k) = -k**3 + 12*k**2 + 9*k - 40. Does 10 divide u(t)?
False
Does 24 divide (2 + 105/(-12))/(10/(-320))?
True
Let l(s) = -56*s + 87. Is 41 a factor of l(-10)?
False
Let q = 13 - 0. Suppose -4*f + q = 4*p + 1, -f = 3*p - 13. Is ((-11)/2 + f)*-4 a multiple of 15?
True
Suppose 5 - 11 = -3*c. Suppose -99 - 89 = -c*a. Is a a multiple of 16?
False
Suppose 0 = -3*a + 4*u - 17, 5*u + 3 + 2 = -5*a. Is 8 a factor of 1*(6 - a) - 1?
True
Let k(r) = -r**3 - 2*r**2 + 13*r + 7. Let j(x) = -1. Let a(f) = -5*j(f) + k(f). Is a(-5) a multiple of 17?
False
Suppose -g = 2*m - 7, m - g = -5*g + 7. Let y(h) = 6*h + m*h**3 - 2*h**2 - 6*h - 2*h**2. Does 15 divide y(3)?
True
Suppose 2*r + 2 = -3*q, 2*q - r + 2*r = -1. Suppose -2*h + 2*k - 103 = -7*h, -2*h - 2*k + 46 = q. Suppose -y = -h - 8. Is 17 a factor of y?
False
Suppose -1 = 3*u + 5. Let k be 293 - u*15/10. Let r = k + -160. Is r a multiple of 28?
False
Let x be (-30)/(-9)*(168/(-10))/(-1). Suppose 0 = -2*w - 0*w + x. Does 11 divide w?
False
Let h(k) = 7 - 3*k - 31 + 0. Does 3 divide h(-15)?
True
Let j = -59 + 67. Suppose j*x + 75 = 243. Does 3 divide x?
True
Let x = -771 + 1331. Is x a multiple of 14?
True
Let k(d) be the first derivative of -d**2/2 + 129*d - 5. Does 12 divide k(0)?
False
Suppose r + k - 33 = -0*k, 0 = -3*r + 4*k + 120. Let v be 4/18 + 232/9. Let y = r - v. Does 10 divide y?
True
Let n be (-1)/(-1 + (-2 - -4)). Let m(x) = 2*x**2 - x. Let z be m(n). Suppose -2*f + 15 = z*f. Is 3 a factor of f?
True
Let c(d) = -d**2 - 25*d + 16*d + 6*d. Let z be c(-2). Suppose n + z*n - 90 = 0. Is n a multiple of 19?
False
Let v(j) = -4*j + 7. Let w(o) = 8*o - 15. Suppose -4*m + 3*y + 2*y = 29, -y = m + 5. Let r(q) = m*w(q) - 13*v(q). Is r(6) a multiple of 8?
False
Let p(w) = 154*w**3 - 4*w**2 - 3*w. Let h(b) = 77*b**3 - 2*b**2 - b. Let i(a) = 5*h(a) - 2*p(a). Let y be i(1). Let d = -47 + y. Does 14 divide d?
False
Let s(b) = b + 5. Let i be s(10). Let x = 16 - i. Does 26 divide x/1 - 5*-5?
True
Is (106*(-7)/28)/(1/(-2)) a multiple of 35?
False
Suppose -622 = -2*x - 3*f - 2*f, -x = 4*f - 311. Is x a multiple of 70?
False
Let w = -39 + 67. Let p = 38 - w. Is p a multiple of 3?
False
Is (387/(-54) - -4)*-42 a multiple of 15?
False
Let l(y) = y**2 - 3*y + 2. Let b be l(-2). Let w(i) = 3*i + 3. Does 9 divide w(b)?
False
Let t(h) = -h**2 + 5*h + 6. Let x be t(6). Let w be (-2)/(-1) - x/(-1). Suppose w*j = -2*j + 200. Is j a multiple of 25?
True
Let q = 381 + -192. Is q a multiple of 65?
False
Suppose -5*l = -3*q - 905, l - 4*l + 559 = -5*q. Suppose f - l = -f. Let t = -64 + f. Is 14 a factor of t?
False
Is 167 - ((-44)/(-154))/(2/14) a multiple of 6?
False
Suppose 0 = 5*k - 2*h - 2 + 6, h + 3 = 0. Let n = 4 + k. Suppose n*z + 355 = 7*z. Does 18 divide z?
False
Let g = -1084 + 1702. Is g a multiple of 18?
False
Let m(r) = 9*r - 5*r + 4 - r - 4*r. Let l be m(0). Suppose -l*u + 0*u + 128 = -4*v, 0 = 5*u - 4*v - 156. Does 14 divide u?
True
Let d(q) = 5*q**2 + 9*q + q - q + 47 - 6*q. Is d(-6) a multiple of 19?
True
Let h = 244 - -100. Is 8 a factor of h?
True
Suppose 5*w - 63 = 332. Suppose 369 - w = 2*j + 2*o, 3*o = 4*j - 573. Is 36 a factor of j?
True
Suppose 0 = 4*k - 100 - 120. Let z = 33 - k. Let r = z + 56. Does 10 divide r?
False
Suppose -n = 4*i - 7, 4*n - 1 = -5*i - 6. Suppose -63 = -15*k + 6*k. Suppose 141 = i*y - 3*u, k*y + 4*u - 208 = 2*y. Is y a multiple of 22?
True
Is 13 a factor of 2103/6*2 - -4?
False
Is 94 + (6 - 6 - 5) a multiple of 41?
False
Suppose -4*d = -d. Let i(v) = 0*v + d*v - v + 2*v + 21. Does 4 divide i(-13)?
True
Let x be 10/((-5)/(125/10)). Let q = x - -83. Does 10 divide q?
False
Let m(u) = -u**3 - 5*u**2 + 6*u + 21. Let t be (-1 + -11)*(-3 + (-7)/(-2)). Is 21 a factor of m(t)?
True
Suppose -2*g = 3*d - 132, 5*g + 8 = -4*d + 338. Is g a multiple of 6?
True
Let y(c) = -3*c - 14 + 2*c**2 + 17 - 4*c**2. Let n be y(2). Let l = n + 44. Does 11 divide l?
True
Let p(c) = 5*c + 4 + c**2 + 4*c**3 - 6*c**3 - 10*c + 15*c. Is 12 a factor of p(-4)?
True
Suppose -5*w + 20 = -5*m, -5*m = 4*w - 2*m - 23. Suppose 28 = l - 5*i + 8, l = 4*i + 17. Suppose w*v + 260 = l*k, v + 248 = -2*k + 7*k. Is k a multiple of 9?
False
Let d(l) = -20*l**3 + 8*l**2 + 6*l - 2. Is 83 a factor of d(-5)?
False
Let r(p) = 11*p + 2. Let s(t) be the third derivative of -7*t**4/8 - 2*t**3/3 + 10*t**2. Let l(w) = -11*r(w) - 6*s(w). Is l(2) a multiple of 12?
True
Suppose -12*d = -13*d + 4. Suppose 6*p = -d*p + 660. Does 11 divide p?
True
Let y(v) = -v**3 + v - 1. Let x be y(-2). Suppose 19 = l - 3*l - x*o, 0 = -3*l - o + 4. Suppose l*i + g - 156 = 0, g - 195 = -4*i + 4*g. Is 9 a factor of i?
False
Let c = 59 - 51. Suppose c*p - 1398 = 1346. Is p a multiple of 49?
True
Let r be (-3)/(-2)*152/57. Suppose r*b - 230 = 2*g, -2*b + 2*g = -0*b - 118. Is b a multiple of 12?
False
Suppose -57 = -5*t - 3*i, 0*i - 4 = -i. Is (3/t)/(3 + (-350)/117) a multiple of 8?
False
Let i be -1*1 - (-28 - -17). Suppose i = 45*l - 44*l. Does 5 divide l?
True
Suppose -i = 5*m - 28, -5*m + 2*m + 24 = 3*i. Suppose -c - 9 = -a, -3 = i*c - 6. Is 6 a factor of a?
False
Suppose -3*h + 5*g + 1213 = 0, -3*h + 0*h + 1195 = 4*g. Is 8 a factor of h?
False
Let n be -6*((-5)/2)/5. Suppose n = -r + 8. Does 16 divide (-2)/r - 1210/(-25)?
True
Let f = 1405 - 673. Is 6 a factor of f?
True
Let i = -76 - -72. Does 2 divide (-3)/((-36)/32)*(-6)/i?
True
Suppose 6*m = 2*m + 16. Suppose -m*l + 45 = 3*d, 3 = d + 8. Is 15 a factor of l?
True
Let y(p) = -p**3 + 6*p**2 + 5*p + 8. Let k be (154/44)/((-1)/(-2)). Let j be y(k). Let d(v) = -8*v - 24. Does 24 divide d(j)?
True
Suppose p = 0, -2*p + 8 = n + n. Suppose -x = n, -10 = 3*g + 3*x - 1. Is (3 - g)*429/13 a multiple of 32?
False
Let f be (-2)/(6/(-66)*2). Suppose 0 = -s + f + 31. Is 8 a factor of s?
False
Suppose y = 4*s - 0*s + 90, -4*s = 8. Does 9 divide y?
False
Let m(q) = -2*q**3 + 4*q**2 - 7*q + 30. Is m(-6) a multiple of 54?
True
Is (-2)/(-17) - (5 + 35555/(-221)) a multiple of 12?
True
Let d(o) = -12*o - 1. Let c be d(1). Let z(p) = 6*p - 15. Let f be z(7). Let v = c + f. Does 11 divide v?
False
Suppose -619 = -3*y + 4*h, -h + 800 = 3*y + y. Suppose 0 = -4*o + 3*d + 417, 3*d = -2*o + 6*d + y. Is 35 a factor of o?
False
Let z(a) = -29*a + 9. Let h be z(-5). Suppose 2*f - 2*n - h = 0, -3*n - n + 16 = 0. Suppose 3*b - 372 = -f. Is 31 a factor of b?
False
Suppose m + 3*m = -12. Let u be -4*(0 - (-3)/m). Suppose -4*y - 4*d = -d - 225, d + 213 = u*y. Is 18 a factor of y?
True
Let i be (5/(-2))/((-9)/(-36)). Let g(k) = k**2 + 12*k - 1. Let l be g(-9). Let w = i - l. Is 6 a factor of w?
True
Suppose 3 - 5 = k, -5*h - 1 = 3*k. Let r be (0 - h)*(1 + -56). Suppose -r = -a - 3*x, 2*a + 0*x = -x + 90. Does 19 divide a?
False
Let o(n) = 31*n**2 + 15*n + 15. Is o(8) a multiple of 13?
True
Let n(f) = -2*f - 3. Let t(u) = -u**2 + 4*u - 1. Let v be t(3). Suppose -v*d + 6*d + 28 = 0. Is n(d) a multiple of 5?
False
Let t(c) = c**3 - 11*c**2 + 2*c + 8. Let b be t(11). Is 2 a factor of (1 + -2)/((-15)/b)?
True
Let c(i) = 1014*i**2 + 9*i + 11. Is c(-1) a multiple of 28?
False
Suppose -3*n = d - 645, -5*n = 367*d - 370*d + 2005. Is 5 a factor of d?
True
Suppose -5*q + 404 = -w, -3*q + 244 = 2*w - 3*w. Is 4 a factor of q?
True
Suppose 0 = -p - 17 + 3. Let l be 2/p - (-58)/14. Is 11 a factor of l*23 + (-17 - -14)?
False
Let g be 0*((-3)/(-6) - 1). Suppose 0 = -g*c - 3*c - b - 26, -b = c + 10. Is 4 a factor of (c - 1)/(42/(-56))?
True
Suppose 2*a = -4*u + 5*u - 155, -4*a = -3*u + 461. Is u a multiple of 8?
False
Let x(h) 