Suppose -2 = p - m*r - 30, -5*p + 130 = -5*r. Is 12 a factor of p?
False
Let y = -105 + 176. Does 12 divide y?
False
Let t(q) = 10*q**2 + 2*q - 14. Let v(c) = -11*c**2 - 2*c + 15. Let s(w) = 5*t(w) + 4*v(w). Does 13 divide s(-4)?
True
Suppose -5*h + 3375 = 2*p + 241, 4*h = -3*p + 2510. Is 8 a factor of h?
False
Let o = 24 + -18. Suppose 3*n + 3*s = 24, -s = -4*s - o. Is 5*(4 + 132/n) a multiple of 14?
False
Let t(x) = x**3 + 34*x**2 + 42*x + 95. Does 17 divide t(-32)?
True
Does 20 divide 4/(-10)*-1 - 37352/(-70)?
False
Suppose 3*f + 144 = -3*n, -96 = 2*n - 0*f - f. Suppose -4*j + 8*j = 100. Is (n/30)/((-2)/j) a multiple of 10?
True
Let p = 142 - 139. Let n(q) = -20*q**2 + 84*q + 32. Let u(g) = -3*g**2 + 13*g + 5. Let j(z) = -5*n(z) + 32*u(z). Is j(p) a multiple of 8?
True
Suppose 4*j - 35 = x - 4*x, 0 = -3*j - 2*x + 25. Suppose -l = -j*v - 147, 2*l - 62 - 277 = -5*v. Is 18 a factor of l?
True
Let s be 2/4*-43*2. Let f = s + 50. Does 7 divide f?
True
Suppose -30*s + 15 = -25*s. Let f be (-429)/(-13)*2/s. Let u = f + -12. Does 10 divide u?
True
Let j be 2*12/(-9)*-6. Suppose -5*t - 43 = -3*y, 2*y = 5*t + 25 + 12. Let o = j + y. Is 7 a factor of o?
False
Let w(s) = s**2 - 6*s + 3. Let c be w(4). Does 15 divide 35*((-235)/(-35) + c)?
True
Let y(d) = d**3 + 8*d**2 - 7*d + 7. Let j be (-241)/4 - (-13)/52. Let c be j/40*(-16)/(-3). Is 10 a factor of y(c)?
False
Let j be (-14)/4*2*1. Let y be (6/(-8))/((-69)/368). Let q = y - j. Is 11 a factor of q?
True
Let r(q) = 2*q + 19. Let j be r(-7). Let l(i) = 9*i + 5. Let f be l(j). Suppose o - f = -o. Is 4 a factor of o?
False
Suppose -h - 1365 = -4*h + w, -3*h + 1365 = -5*w. Is h a multiple of 11?
False
Let j(x) = -x**2 - 11*x - 25. Let p be j(-5). Suppose -4*r - 225 = -p*v, -2*v - r + 67 = 2*r. Is 13 a factor of v?
False
Suppose 5*n = 4*n + 91. Is 26 a factor of (n/(-14))/((-1)/16)?
True
Suppose 222 + 258 = 2*c. Does 24 divide c?
True
Suppose -88*d + 4556 = -86*d. Does 34 divide d?
True
Let i = 416 - -649. Does 15 divide i?
True
Does 4 divide (-14*18/(-189))/((-2)/(-18))?
True
Let z = 3 - -1. Suppose -166 = -z*l - t + 137, -4*l + 306 = 2*t. Is 18 a factor of l + (1 - (-8)/(-2))?
True
Suppose 3*k - 6*k = -480. Does 40 divide k?
True
Let w = 574 + -893. Let u = 475 + w. Does 26 divide u?
True
Is 3 a factor of (-11)/4*(-9 - 30/(-6))?
False
Let s = -206 - 198. Let d = -121 - s. Is d a multiple of 13?
False
Let n(p) = 3*p**3 - 5*p - 3*p + 4*p + 6*p**2 + 5. Let d be n(4). Suppose 4*c - 119 = d. Is c a multiple of 26?
False
Suppose 6*t - 7 - 17 = 0. Let g(u) = 40*u - 10. Does 16 divide g(t)?
False
Let u(m) = -28*m**3 + 1. Let k be u(-1). Suppose -25*r + 24*r + k = 0. Is 12 a factor of r?
False
Let t = 31 - 10. Suppose -t - 7 = -u. Is 5 a factor of u?
False
Let u = 55 - 52. Let t(k) be the first derivative of 2*k**3/3 + k**2/2 + 4*k + 3. Is 18 a factor of t(u)?
False
Let v(y) be the second derivative of -y**4/12 + 5*y**3/6 + 7*y**2/2 - 5*y. Let i be v(5). Suppose 3*b - i*b + 136 = 0. Is 16 a factor of b?
False
Let n(g) = 96*g**2 - 6. Is 66 a factor of n(3)?
True
Let f = 8 - 9. Is 44 a factor of f + 6/5 + (-35816)/(-220)?
False
Let a(u) = u**3 - 7*u**2 + 5*u + 8. Suppose 4*z - 39 = 3*v, z + 2*v = 5*v + 21. Let c be a(z). Is 14 a factor of 56 + (c - 3 - 1)?
False
Let r(i) = 84*i - 65. Does 5 divide r(6)?
False
Let g = -31 + 35. Suppose -g*d - 372 = -8*d. Is 15 a factor of d?
False
Is 7/((9/(-378))/(24/(-14))) a multiple of 6?
True
Let o(k) = 9*k**3 - 10*k**2 + 3*k - 24. Is o(8) a multiple of 16?
True
Suppose 0 = 3*p - 4*s - 1606, 1594 = 2*p + p - s. Does 10 divide p?
True
Suppose y = 0, 0 = 24*p - 28*p + 3*y + 1824. Is 9 a factor of p?
False
Let d(c) be the second derivative of -c**4/12 + 2*c**3/3 - 3*c**2/2 + c. Let v be d(2). Is 14 a factor of 17 - (4/2 + v)?
True
Suppose 0*i = 2*i - 10. Let c(k) = -k**2 + 5*k + 2. Let f be c(i). Suppose 4*x - 4 = 0, f*q - 5*x = -0*x + 1. Is q a multiple of 2?
False
Let y = -122 + 422. Is 4 a factor of y?
True
Let s = -10 - -9. Let x be 791/21 - s/3. Let j = -26 + x. Is 12 a factor of j?
True
Suppose -z + v + 235 = 0, 3*v + 139 = 2*z - 330. Does 37 divide z?
False
Let y(d) = -4*d + 1 + 5*d - 2 - 20*d**3 + 2. Let h be y(-1). Suppose 4*m - 6*m - 3*z + h = 0, -3*z + 46 = 4*m. Is m a multiple of 4?
False
Let y(q) = q**2 - 8*q - 12. Let h(t) = -t**3 + 5*t**2 - 6. Let r be h(4). Let b be y(r). Suppose k + b = 134. Does 21 divide k?
True
Suppose 21*b - 36613 = -20*b. Is b a multiple of 19?
True
Let r be (-30660)/165 + (-4)/22. Let x = -21 - r. Is x a multiple of 17?
False
Let g be (-1)/(-4) + 27/36. Let p(z) = 157*z**3 - 14*z**2 + 8*z + 3. Let a(x) = 52*x**3 - 5*x**2 + 3*x + 1. Let w(n) = -8*a(n) + 3*p(n). Does 18 divide w(g)?
True
Suppose 5*a + 3*j - 2606 - 4213 = 0, 5*j = -3*a + 4085. Is 28 a factor of a?
False
Let j be 20/(-6)*(5 - (-13)/(-2)). Suppose 0 = -16*t + j*t + 616. Is 8 a factor of t?
True
Let k = 170 - 110. Let b = k + -20. Suppose -p + b = 4*p. Is p a multiple of 4?
True
Suppose -26*v = -21*v + 1560. Let o = -165 - v. Is o a multiple of 19?
False
Let p be (20/(-8))/(-5)*0. Let l = p + -1. Is ((-4)/3)/(l/18) a multiple of 8?
True
Let f(y) = -27*y - 15. Let p be f(-5). Suppose -p = -45*a + 40*a. Is 12 a factor of a?
True
Suppose -4 = 3*x - 97. Let v = x - -42. Is v a multiple of 26?
False
Let r(t) = t - 3. Let a be r(0). Let n be 0 + a - (-1 + 1). Is 10 a factor of (-6 - 3)/n - -14?
False
Suppose -3*x + 103 = -4*h + 284, -4*x - 227 = -5*h. Is 2 a factor of h?
False
Suppose 5*o = 9*o - 20. Suppose 30 = o*h + 2*c, -h + 9*c - 6*c - 11 = 0. Is h even?
True
Let n(w) be the third derivative of w**7/2520 - 13*w**6/720 - w**5/24 - w**4/24 - w**2. Let i(b) be the second derivative of n(b). Does 38 divide i(-5)?
False
Let f(j) = -19*j**3 - 4*j**2 + 2*j + 1. Let g be f(-1). Suppose b - 6*b + 150 = 0. Let n = b - g. Is 12 a factor of n?
False
Let x = 13 - 28. Let u(i) = -i**2 - 16*i - 12. Let l be u(x). Does 33 divide (-1 - 35/l)*-6?
False
Let w(b) = -b**2 + 45. Let v(h) = h**3 + 5*h**2 - 7*h - 6. Let c be v(-6). Is 8 a factor of w(c)?
False
Let k(a) = 5*a**2 + a - 20. Is k(5) a multiple of 22?
True
Let d(h) = -61*h + 2. Let o(f) = f**3 + f + 1. Let k be o(-1). Is d(k) a multiple of 21?
True
Let v = 8 + 1. Let h = v + 4. Let q(p) = -p**2 + 16*p - 18. Does 21 divide q(h)?
True
Let s be (15/10)/(9/(-12)). Let z be (0/1)/4 + s. Let c(d) = -15*d. Is c(z) a multiple of 10?
True
Let a = 372 + -221. Suppose -5*t + a = -34. Is t a multiple of 7?
False
Suppose 3*h - t = 7*h - 483, 5*t + 147 = h. Suppose 0 = -3*u - 50 + h. Is 22 a factor of u?
False
Let c be (-54)/15 + 4/(-10). Let m be (-4)/(-22) - c/(-22). Is ((-3)/9 + m)*-69 a multiple of 12?
False
Let q = -1310 + 2160. Suppose 5*d - q = -3*g, -3*d - 1443 = -4*g - 329. Is 56 a factor of g?
True
Let o(m) = -m**3 + 29*m**2 + 9*m - 49. Does 9 divide o(29)?
False
Is 13 a factor of (-656)/(-10) + (-75)/125?
True
Let p = -282 + 722. Is 44 a factor of 6/(-4)*p/(-3)?
True
Let p be 1/(20/16 - 1). Suppose -b = -p*b - 180. Is 14 a factor of (-2510)/b + (-1)/(-6)?
True
Let x(j) = 121*j**3 + 2*j**2 - 1. Let s be x(1). Suppose 10 - 171 = -3*d + 5*n, -2*d + s = 4*n. Is d a multiple of 17?
False
Let f(v) = 96*v**3 + 3*v**2 - v. Let b be f(1). Suppose 5*m = -y + 3*m + 10, 0 = 5*y - 2*m - b. Is 18 a factor of y?
True
Suppose -11*n + 11 = -10*n. Let i = n - -9. Is i a multiple of 5?
True
Suppose i = 32 - 4. Is 14 a factor of i?
True
Suppose 20*g - 60 = 18*g. Suppose 4*z - d = 45, 6*z = 2*z - 2*d + g. Is 9 a factor of z?
False
Let q be 2 + (-1)/((-3)/33*1). Let y = -7 + q. Does 3 divide y?
True
Suppose 5*g = -5*g + 3380. Is g a multiple of 32?
False
Suppose 5*x - 22 = -r, 4*x = -x + 2*r + 16. Is 10 a factor of (-366)/(-7) + -2 + x/(-14)?
True
Is (-1330)/(-171) + (-2)/(-9) a multiple of 4?
True
Let w(l) = l**3 + 8*l**2 - 4. Suppose -d - 8 = -3*d, -4*d + 30 = -2*q. Is 12 a factor of w(q)?
False
Suppose -3*k = 3*m + 141, -2*k + 200 = -5*m - 0*k. Let l = m + 133. Is l a multiple of 13?
True
Let c(l) = -3*l - l + 4 - 1. Suppose 116*r - 3 = 117*r. Is 6 a factor of c(r)?
False
Let f(d) be the first derivative of -d**4/4 + 2*d**3 + 3*d + 6. Let z be f(6). Is z/(-2)*(-364)/21 a multiple of 8?
False
Let l = 39 + -31. Is 7 a factor of (-1368)/(-32) + (-6)/l?
True
Suppo