) = 34*b**2 - 33*b - 97. Does 28 divide y(-3)?
True
Let p(x) = 14*x**2 + 4*x + 3. Is p(-2) a multiple of 3?
True
Suppose 0 = -2*i + 384 - 24. Suppose 2*p - k = 11, 3*p - 7*k + 2*k - 20 = 0. Suppose s - 68 = p*f, 2*f = -4*s - f + i. Does 16 divide s?
True
Let t(m) = 94*m + 238. Is t(17) a multiple of 108?
True
Let y(a) be the first derivative of -a**5/5 + a**3/6 + a**2 - 7*a - 8. Let b(r) be the first derivative of y(r). Is b(-2) a multiple of 8?
True
Let x be (-2999)/5 + (-1 - 24/(-30)). Let r = -408 - x. Is 32 a factor of r?
True
Let b = -152 - -67. Suppose 5 = -5*p - 5*q, q + 18 - 5 = -5*p. Is 2 a factor of b/(-15) + (-1)/p?
True
Let g(t) = 17*t + 3. Let u(s) = s. Let f(n) = g(n) - 4*u(n). Let z be f(2). Suppose -3 = -2*y + z. Is 6 a factor of y?
False
Let g(m) = 4*m**3 - 5*m**2 + 12*m + 8. Does 21 divide g(6)?
False
Let k = 23 + -31. Let b(u) = -u**3 - 6*u**2 + 15*u - 6. Is 2 a factor of b(k)?
True
Suppose -4*x + 5624 = -2*w, 0*w - 1428 = -x - 5*w. Is 105 a factor of x?
False
Let x = 35 + -35. Suppose u - 17 = -5*v, 0 = -2*v - x*v + 4. Suppose -u*y + 574 = -84. Is y a multiple of 18?
False
Let q = 1810 - 1234. Does 64 divide q?
True
Suppose 0 = -5*b + i + 8863 + 7507, 3*i + 16360 = 5*b. Does 35 divide b?
False
Suppose -f - 8 + 12 = 0. Let a be (-8)/2 - f/2. Is (9/6)/(a/(-164)) a multiple of 9?
False
Let y(v) = -24*v - 5. Let u(m) = -25*m - 5. Let z(q) = -4*u(q) + 5*y(q). Does 7 divide z(-3)?
False
Let o(n) = -331*n + 5. Does 28 divide o(-1)?
True
Let x = -21 - -28. Let q = 41 + x. Suppose 3*i - q = -4*u, 0 = 5*u - 5*i - 25. Is u a multiple of 9?
True
Suppose -4*c + 179 = 5*u, -c + 0 = 4. Suppose -w + 39 = 3*k - 12, -5*w = 3*k - u. Is 13 a factor of k?
False
Suppose -224 = -36*s + 32*s. Let k = s - -88. Suppose t - 2*t + k = 0. Does 36 divide t?
True
Let m = -18 - -23. Suppose 33 + 142 = m*q + 5*j, 100 = 2*q - 4*j. Does 11 divide q?
False
Suppose -2*y + 3407 = 4*x - 953, 4*x - 6538 = -3*y. Does 99 divide y?
True
Suppose 5*g + b - 38 = 0, -5*b + 10 - 2 = -g. Suppose 81 = -l - g. Let a = l + 155. Does 21 divide a?
False
Suppose 3*g - 5268 + 1483 = 5*o, 4*o = -4. Is g a multiple of 20?
True
Is (3 + -4)/((-5)/2315) a multiple of 49?
False
Suppose 3*v - 4163 = 5*c, -4*c = -2*v - c + 2777. Is v a multiple of 32?
False
Suppose -2*g = 2*c - 180, -3*c = 2*g - 4*c - 171. Is 7 a factor of g?
False
Let p = -36 + 40. Is 5 a factor of 28 - 2 - (-2 + p)?
False
Let r(f) = 47*f + 1392. Is r(0) a multiple of 24?
True
Let v = -307 + 455. Does 4 divide v?
True
Let n = 9 - 11. Let q be (n/6)/(3/(-45)). Suppose q*x + 8 = 2*k - 33, -3*x + 87 = 5*k. Is 6 a factor of k?
True
Let v(c) = -46*c - 2. Let z be v(-4). Let o = -129 + z. Let h = -29 + o. Is h a multiple of 6?
True
Let l = 1444 - 1018. Does 18 divide l?
False
Let v = -16 + 10. Let n be (-1)/2 - 201/v. Is 10 a factor of (2/2)/(1/n)?
False
Let a = -48 - -92. Let p = -31 + a. Is 13 a factor of p?
True
Let n(j) = j**3 - j. Let w(y) = -2*y**3 + 2*y - 10. Let u(f) = -3*n(f) - w(f). Let s(q) = q**3 - 8*q**2 - 19*q - 10. Let h be s(10). Is u(h) a multiple of 3?
False
Let a = 19 - 13. Suppose 0 = d - 3 + a. Is d + 2/((-4)/(-30)) a multiple of 6?
True
Let r = 1428 - 718. Suppose 0*m = -4*q + m + 581, r = 5*q + 2*m. Is 18 a factor of q?
True
Let o(m) = 5*m**2 - 49*m - 77. Is 7 a factor of o(16)?
False
Suppose 5*o + 4*s = 25, -2*s = 5*o + s - 25. Suppose 2*f = o*n + 43 - 260, -4*n + f = -173. Is n a multiple of 17?
False
Suppose 0 = 228*p - 224*p - 768. Does 18 divide p?
False
Let l be (6/(-20))/(18/24)*-15. Suppose -3*r + 300 = -4*d, 2*d = -0*d - l. Does 18 divide r?
False
Is 81 a factor of -324*5/5*1/(-2)?
True
Suppose -5424*j = -5423*j - 1310. Is j a multiple of 17?
False
Let u = -955 + 1950. Is 15 a factor of u?
False
Let u = -546 - -1465. Does 48 divide u?
False
Let b(o) = 9*o**2 - 5*o - 6. Let w be b(-5). Let k be (-4)/(-14) - w/(-28). Is 6 a factor of ((-15)/k)/5*-42?
False
Is (0 - 0) + (199 + -4)/5 a multiple of 13?
True
Let j(o) = o + 2 + 7 + 1 - 2*o. Let c(t) = t - 10. Let s(n) = 6*c(n) + 7*j(n). Does 3 divide s(4)?
True
Suppose 0 = -25*g - 27*g + 26936. Is g a multiple of 10?
False
Let h(k) = 19*k**2 - 200*k + 7. Does 29 divide h(-9)?
False
Let x(w) = -74*w**3 + 2*w**2 + 16*w + 41. Is x(-4) a multiple of 13?
True
Let l(k) = 71*k - 110. Is 10 a factor of l(10)?
True
Let w = -695 + 5596. Is 14 a factor of w?
False
Let x(s) = -117*s + 541. Does 16 divide x(-23)?
True
Let x(r) = 37*r**2 - 10*r - 8. Does 8 divide x(4)?
True
Let z(d) = -3 + 2 + 2 + 76*d. Suppose p - 2*n = -7, -5*p - 3 = -2*n - 0*n. Is z(p) a multiple of 34?
False
Let f(c) = 474*c**2 + 5*c - 4. Does 114 divide f(1)?
False
Let d(p) be the second derivative of 11*p**4/12 + p**3/2 - 35*p. Is d(-3) a multiple of 18?
True
Suppose 7567 = 11*a - 4313. Does 27 divide a?
True
Let p(q) = -2*q**2 - 5*q - 6. Let j(x) = -1. Let h(s) = -5*j(s) - p(s). Let m be -6 - (-3 + 0 + 2). Is 6 a factor of h(m)?
True
Let d = -1334 + 1358. Is 12 a factor of d?
True
Suppose 0 = 4*b - 12, -6 = -5*v + 2*v + 2*b. Suppose 237 = 5*m - y, 111 = v*m - 5*y - 87. Is m a multiple of 11?
False
Let k(t) = 2*t**3 + 2*t - 1. Let c be k(1). Let h be ((-48)/(-5))/(c/130). Suppose -l = 3*l - h. Is 30 a factor of l?
False
Let v(t) = 3*t**3 + 22*t**2 - 48*t - 10. Is v(8) a multiple of 102?
True
Let a = -2 + 8. Let w(j) = 6*j**2 + 2*j - 8. Let i be w(a). Let d = -157 + i. Does 21 divide d?
True
Suppose 105672 = 100*w - 26*w. Is w a multiple of 7?
True
Suppose 0 = 142*p - 152*p + 14900. Is p a multiple of 14?
False
Let f = 58 - -57. Suppose 3*s - 183 = -10*h + 7*h, 2*s = 5*h + f. Is 30 a factor of s?
True
Let x(p) = p**2 - 3*p - 1. Let w be x(4). Suppose -w*d = 2*a - 166, 2*d - 5*d + 3*a = -171. Is 30 a factor of d?
False
Suppose -2*u = 3*u - 5*v, -3*u = -4*v + 2. Is (-161 - 1)/(-3) - u a multiple of 26?
True
Suppose 0 = 2*d - 6, y = 4*d + 304 - 15. Is y a multiple of 43?
True
Let s be 1*18/3 + (-3)/3. Is 23 a factor of (-23)/(((-15)/9)/s)?
True
Let p(h) = -2*h + 25. Is p(-20) a multiple of 19?
False
Suppose 324 = b + 2*v, 0*b + b + v - 327 = 0. Is b a multiple of 18?
False
Let z = -71 + 64. Let t(a) = a**2 + 6*a + 16. Does 4 divide t(z)?
False
Is 9 a factor of (66/(-4 + 15))/(3/974)?
False
Let c = -223 + 237. Is c a multiple of 8?
False
Let w(j) = -2*j + 1. Let f be w(-1). Suppose 3*u = 2*t + 29 + 15, -4*u - f*t = -36. Is 4 a factor of u?
True
Let r(n) = 2*n**3 - 5*n + 5. Let p be r(2). Let d = 14 - p. Is 24/(-18) + 91/d a multiple of 5?
False
Does 32 divide 27/(-15) - (-864540)/300?
True
Does 75 divide 394464/392 + 1/(7/(-2))?
False
Let t(n) = 5*n**2 - 88*n + 7. Is 5 a factor of t(21)?
False
Let f(h) = h**2 + 19*h - 6. Is f(-30) a multiple of 12?
True
Let x(r) = r + 16. Suppose 7*g = 2*g. Let v be x(g). Let q = v - 10. Is 3 a factor of q?
True
Suppose 3*j + 1017 = 12*j. Suppose -5 = 5*z - 25. Suppose z*g - 5*l = j, 3*g = -l + 60 + 39. Is 8 a factor of g?
True
Suppose 0 = -49*v + 69250 + 121850. Is 20 a factor of v?
True
Let u = -4 - -22. Suppose 4*l - u = 34. Is l even?
False
Let u(m) = 9*m - 6. Let l(i) = -9*i + 5. Let t(s) = -5*l(s) - 4*u(s). Is t(2) even?
False
Suppose 101*o = 106*o - 2295. Does 16 divide o?
False
Let o(c) = -19*c - 27. Let h be o(-8). Suppose 6*v = h + 79. Is 6 a factor of v?
False
Let o(l) = l**3 - 3*l**2 - 10*l - 6. Let u be o(6). Suppose -3*p - 5*r - 53 = -5*p, -3*p + u = 5*r. Is p/(-57) + 49/3 a multiple of 4?
True
Suppose 3*k = -3 - 6. Let z be (k/(-2))/(16/32). Suppose z*w = -3*p + 312, -4*w = -7*p + 3*p + 400. Does 30 divide p?
False
Let b(m) = 5*m + 1. Let y be b(-4). Let q be 2/(-3)*(-7 - y). Does 6 divide ((-6)/(-2))/((-1)/q)?
True
Let j(m) = 2*m**3 - 7*m**2 - 13*m - 15. Let v be j(12). Suppose -8*b + v = b. Is b a multiple of 43?
False
Let b be 135/27 + 1/1. Suppose b*q = 7*q - 16. Does 8 divide q?
True
Suppose -5*t = -3*q - 413, -241 = -3*t - 5*q - 0*q. Let k = -41 + t. Is 12 a factor of k?
False
Let z = -36 + 102. Is 22 a factor of z?
True
Suppose 2*m - j - 310 = -109, -396 = -4*m - 4*j. Suppose 3*k + 8 = -4, -5*n + 5*k = -m. Is 12 a factor of n?
False
Suppose -4*w = -3*w - 7. Suppose w*n = 5*n + 74. Let a = 104 - n. Is 17 a factor of a?
False
Let y = 2 - 0. Let w(z) = -z**3 + 3*z**2 - 3*z + 2. Let a be w(y). Suppose -5*m + 25 = 0, a = -2*x + 3*m + m + 92.