 -b**3 + b + 36. Is d(u) a multiple of 6?
True
Let t be ((-2)/(-3))/(1/93). Suppose 8*n - 256 + 64 = 0. Let j = t - n. Is 9 a factor of j?
False
Suppose 182 = 5*g + 3*d + 50, 52 = 2*g + 2*d. Is 6 a factor of g?
False
Suppose 87 = 3*z + i, 0 = z - 2*i - 22. Is 4 a factor of z?
True
Suppose 4*u = w + 1871, -56*w = 3*u - 57*w - 1403. Is u a multiple of 12?
True
Does 19 divide 7316/40 + (-20)/(-200)?
False
Let d = 63 + -61. Suppose d*j - 367 = -j + i, 5*j - i = 609. Is j a multiple of 11?
True
Suppose -28*o + 10436 = -764. Is 25 a factor of o?
True
Let l(u) = 2*u**2 - 15*u - 3. Let g be l(8). Let d = 43 + g. Is d a multiple of 16?
True
Let g(i) = -i**3 - 16*i**2 - 12. Let r be g(-16). Let n = -10 - r. Suppose -n*h + 6*h = -2*v + 58, -4*v + 109 = h. Is v a multiple of 9?
True
Suppose 2*s + 10*i = 15*i - 33, 0 = 2*s + 2*i - 2. Does 4 divide s*(-4)/(16/18)?
False
Let q(j) = -j**2 + 14*j - 16. Let z be q(10). Does 6 divide z - (8/14)/((-4)/(-14))?
False
Suppose -2*q = 3*x - 5783 - 908, 2*x - q = 4456. Is x a multiple of 16?
False
Let b = 1 + 2. Suppose b*d - 4 = 2. Suppose -s - 34 = -5*f + d*s, 4*f = s + 23. Is f a multiple of 2?
False
Does 8 divide 54/(((-31)/155)/(1/(-10)))?
False
Is (-1)/(30/(-12))*570 a multiple of 12?
True
Let s = 3859 + -3131. Is s a multiple of 26?
True
Let h(s) = -2*s**2 + 7*s - 9. Let z be h(4). Let r(q) be the second derivative of q**4/12 + 5*q**3/3 - 5*q**2 + q. Is r(z) a multiple of 10?
False
Let n = 4 - -6. Does 18 divide (-15)/n + 2 + (-70)/(-4)?
True
Suppose 64*r + 6*r = 129640. Is r a multiple of 97?
False
Suppose 0 = 4*o - 0*d - 3*d + 377, -5*d + 367 = -4*o. Let n = o + 200. Is 12 a factor of (-3 + 1)/((-12)/n)?
False
Suppose 5*w = -4*d + 10, -3 - 5 = -4*w. Let x be (-2 + 1)/(1/6). Let p = d - x. Is 6 a factor of p?
True
Let l = 2548 + -762. Is l a multiple of 19?
True
Let b(s) = 2*s - 13. Let y = 14 + -5. Let x be b(y). Suppose 4*u - 61 = 2*u + x*f, 2*u - 85 = -3*f. Is u a multiple of 19?
True
Let g = -211 + 473. Is 26 a factor of g?
False
Let d = 88 - 86. Suppose -d*p - 34 - 14 = -s, 5*s = 5*p + 230. Is s a multiple of 11?
True
Suppose p + 3*d + 49 = 0, -4*p - 3*d + d = 176. Let z = -28 - p. Is z a multiple of 11?
False
Suppose 26*a = 22*a + 192. Suppose -2*r - a = -5*r - 4*s, 4*s + 52 = 2*r. Is r a multiple of 5?
True
Suppose 7*n - 2*n - 4363 = k, -2 = -k. Is n a multiple of 11?
False
Let p(z) = 5*z**2 - 39*z - 48. Does 67 divide p(-10)?
False
Let c be (-1)/((-21)/(-9) - 2). Let w be 3/(((-12)/c)/(-60)). Let y = w - -115. Is y a multiple of 14?
True
Suppose 5 = 3*p - 10, a - p = 77. Suppose 4*o - 212 = -2*z, a = 2*z + o - 139. Suppose -m = -3*g + 246, -3*g + z + 140 = -3*m. Does 12 divide g?
False
Let q(u) = 5*u**2 - 9*u + 38. Let a be q(9). Suppose -206 = -4*k + a. Is 41 a factor of k?
False
Let f(a) = -11*a + 5. Let j(g) = 4*g - 2. Let q(n) = 3*f(n) + 8*j(n). Let m be q(-9). Let v(h) = 9*h - 3. Is v(m) a multiple of 19?
False
Is 964 + 1 - (-4)/(-4) - 4 a multiple of 10?
True
Suppose 2*z + 3*v = -15, 2*v - 2 = -8. Let p be (z - -6)*31/3. Is 15 a factor of (2 + -1)*-1 + p?
True
Let a(z) = 2*z - 17. Let k be a(13). Let o(u) = -u**3 + 6*u**2 - 9*u + 11. Let f(h) = h**3 - 7*h**2 + 9*h - 10. Let t(d) = -4*f(d) - 3*o(d). Does 6 divide t(k)?
False
Suppose -4*g - 60 = -n - 4*n, -5*g + n - 96 = 0. Let u = 28 + g. Is 13 a factor of u/2*(-11 - -18)?
False
Suppose -22310 = -17*p - 4970. Does 68 divide p?
True
Let b be 64/(-24)*42/8. Let x = b + 134. Is x a multiple of 20?
True
Let r(x) be the second derivative of x**5/20 + 11*x**4/12 + 5*x**3/6 - 17*x**2/2 + 15*x. Is 8 a factor of r(-7)?
True
Let u(d) = d**3 + 12*d**2 + 12*d - 2. Let b be u(-7). Suppose 5*m + b = p, -m = p - 30 - 135. Is 9 a factor of p?
False
Let z(y) = -y**3 + 12*y**2 + 10. Suppose -2*n - 2*n + 48 = 0. Is 5 a factor of z(n)?
True
Suppose 0 = 5*t - 2*t - 12, -3*s - 5*t + 596 = 0. Is 12 a factor of s?
True
Let y = 44 + -1. Let p = y - 15. Is p a multiple of 5?
False
Let z = -631 - -1156. Is z a multiple of 35?
True
Suppose 5*y - 25 = 5*k, -4*k = 2*y - k - 15. Is 27 a factor of (-2955)/(-35) + y/(-14)?
False
Let d be 0 - (-2)/7 - (-3860)/14. Suppose 4*l + d = 6*l. Is l a multiple of 40?
False
Suppose 0 = 3*z - 4*z - 5. Let q(v) = 3*v + 8. Let l(p) = -2*p - 4. Let c(o) = z*l(o) - 3*q(o). Does 4 divide c(9)?
False
Is (4 - (4 - 183)) + -4 a multiple of 7?
False
Let f(o) = o - 3. Let x(l) = -l**2 + 1 - l**3 - 2 - 2 - 4*l. Let q be x(-2). Is f(q) a multiple of 6?
True
Let x(c) = c**3 + 2*c + 3. Let r be x(-2). Let f be 2 + 15*(-1 - -2). Let y = r + f. Is 7 a factor of y?
False
Suppose -353 = -o + 82. Let y = o + -295. Does 42 divide y?
False
Suppose 2*s - 1476 = -5*m, 2*m + 2*s - 594 = -0*s. Does 6 divide m?
True
Let y(x) = 2*x + 3. Let q be y(0). Suppose -2 = 5*a + q. Let p(m) = 10*m**2 + 2*m + 1. Is 9 a factor of p(a)?
True
Let s(h) = h**3 + 18*h**2 + 27*h - 17. Suppose 2*x + 56 = -4*o, -x + 34 = -4*o - 34. Is 9 a factor of s(o)?
True
Let x be (44/198)/((-2)/(-18)). Is (0 - x) + 15 + 13 a multiple of 2?
True
Let i(u) = u + 9. Let m be i(0). Suppose 6*j - 3*j - m = 0. Suppose -12 = 4*a, j*s - 94 = -2*s - 2*a. Does 5 divide s?
True
Suppose n - 20 = -0*n. Suppose 5*m - 5 = -n. Does 2 divide (4 - 5) + (-27)/m?
True
Suppose 7*b - 1711 = 1859. Is b a multiple of 85?
True
Let n(c) = 40*c**2 - 1. Let m(s) = -s**2 - 17*s - 41. Let b be m(-14). Is 13 a factor of n(b)?
True
Suppose 7 = 10*q + 47. Does 42 divide ((-36)/10)/(q/140)?
True
Let m(f) = -f**3 - 7*f**2 - 8*f + 16. Is m(-8) a multiple of 16?
True
Let c(u) = -22*u - 66 + 14*u**2 - u**3 + 82 + 8*u. Does 2 divide c(13)?
False
Suppose 0 = 33*s - 20905 - 4439. Does 11 divide s?
False
Suppose 3700 + 3315 = 23*m. Does 49 divide m?
False
Does 21 divide -60*174/116*(-4)/3?
False
Let g(y) = y**2 - 9*y - 15. Let j be (6/9)/((-1)/(-3)). Let c be 22*j/(12/3). Does 2 divide g(c)?
False
Let w = 1385 - 431. Is 22 a factor of w?
False
Suppose 0 = -5*h + 20, 2*l - 47*h - 1258 = -51*h. Is 63 a factor of l?
False
Let w = -470 - -698. Is w a multiple of 4?
True
Suppose -5*c = -5*y - 3955, 29*c - 4*y = 28*c + 788. Is c a multiple of 24?
True
Suppose 0 = -2*z - n - 402, -3*n + 321 + 264 = -3*z. Let t = 65 - z. Is 22 a factor of t?
True
Suppose -2*g = 21*o - 17*o - 1630, -4*o = -4*g + 3272. Does 36 divide g?
False
Suppose 4*q = 5*q + 59. Let r = q + 139. Is 40 a factor of r?
True
Let g be (7/(-14))/(3/60). Is 9 a factor of (-1 + g/2)*(-11 + 2)?
True
Does 28 divide (10 + 4)/((-13)/(-312))?
True
Suppose 16 - 10 = l. Let a be 272/72 - l/(-27). Is ((-2)/a)/((-1)/220) a multiple of 31?
False
Let s(f) = 3*f**2 + 6*f + 3. Let i be s(-3). Suppose -i*d = -9*d - 15. Suppose k = -d, 6*n - 3*k - 168 = 3*n. Is n a multiple of 16?
False
Does 27 divide (24/20)/((-36)/(-2250))?
False
Let y be 0 + 1/8*4*4. Suppose f - 38 = -k + 32, -3*f + 185 = -y*k. Does 13 divide f?
True
Suppose 0 = -3*z - 5 - 7, -3*z = 4*w + 12. Let s(l) = -3*l + 70. Is 35 a factor of s(w)?
True
Suppose -2*t = 5*r - 167, -4*t - 4*r + 241 = -87. Is 14 a factor of t?
False
Let j(x) = -x**2 - 16*x - 11. Let g be j(-15). Let n be (g*-1)/(2 + -3). Suppose -n*b + 2*d + 98 + 6 = 0, -3*d = 0. Is b a multiple of 7?
False
Let d be (-10)/35 - 172/(-14). Let z(x) = -x**3 + 16*x**2 - 24*x + 9. Does 56 divide z(d)?
False
Is 24 a factor of -7*54/315*(-290)/6?
False
Let o(k) = k**2 - k - 2. Let r(z) = z**3 + 5*z**2 + 3. Let n be r(-5). Let i be o(n). Suppose -i*x - 40 = -5*x. Does 8 divide x?
True
Let n(x) be the first derivative of x**3/3 + 3*x**2/2 - x + 5. Let z be n(-5). Let m(o) = o**2 - o - 10. Is m(z) a multiple of 19?
False
Let d be -7*((-124)/28 + 4). Suppose d*o + 165 = 5*i - 78, -2*i = 4*o - 92. Does 16 divide i?
True
Let s(y) be the third derivative of -y**5/60 - y**4/2 - 2*y**3 + 3*y**2. Let n = -3 + -5. Is 12 a factor of s(n)?
False
Let w(h) be the first derivative of 53*h**2/2 + 2*h + 2. Let y be w(1). Suppose 2*u - 48 = -4*j - 2, -5*u = -2*j - y. Does 3 divide u?
False
Suppose 2*y - 1015 = n, -3*y - 15*n + 1512 = -20*n. Does 49 divide y?
False
Let p(x) = -6*x - 4. Let z(n) = -6*n - 5. Let a(w) = 4*p(w) - 3*z(w). Let t be a(-1). Suppose -6 = t*j - g - 97, -4*j + 96 = 5*g. Is 19 a factor of j?
True
Suppose -4*y - 5 = -13. Is -5 + y + 17 + 5 even?
False
Suppose z + 5*s = 360, 0 = 2*z 