**2/2 + 27*m - 128. Is v(9) a multiple of 9?
True
Suppose 51531*t + 1586184 = 51555*t. Is 45 a factor of t?
False
Suppose 352276 - 1129186 = -29*p. Is p a multiple of 114?
True
Let n(j) = -j**3 + 33*j**2 - 23*j + 33. Does 81 divide n(21)?
False
Let x = -200 - -185. Is (-213)/(-2) - x/(-10) a multiple of 6?
False
Let x(a) be the first derivative of -a**3/3 + 5*a**2 + 90*a + 36. Does 34 divide x(14)?
True
Let d = 18374 + -14194. Does 55 divide d?
True
Suppose 5*u = 32 - 2. Let j be (-5866)/(-196) + (-1)/(-14). Is 5 a factor of (j - u - -7) + 1*-2?
False
Suppose 9*s + 15*s - 144 = 0. Let h(j) = 5*j + 5*j + 7*j. Is 14 a factor of h(s)?
False
Suppose -t - 233 = -3*k, -2*k + t + 167 - 12 = 0. Suppose 4*m - 1496 = 3*z, -m + k + 287 = -3*z. Is 8 a factor of m?
False
Let g(r) be the third derivative of -5*r**4/8 + 3*r**3 + 23*r**2 - 3. Does 22 divide g(-12)?
True
Suppose -25748 = -65*k + 151038 - 18446. Is k a multiple of 58?
True
Let o be 5 - 1 - -2*(-81)/(-18). Suppose 17*b + 47 - o = 0. Does 26 divide 131/b*(-4 - (3 + -5))?
False
Suppose 15490 + 9224 = 9*g + 9*g. Is g a multiple of 144?
False
Let l = 2177 - -656. Is l a multiple of 38?
False
Suppose -6*c + 4 = -5*c. Suppose 4*o + c*w + 82 = 2*w, -3*w = 4*o + 79. Is 4 a factor of o/(-6) + 6/18?
True
Does 108 divide (63720/(-10))/((-3)/9)?
True
Suppose -2*i = -4*o - 14, -3*o - 10 = 3*i - 4*i. Is 549 - (i + -5 + 1) a multiple of 46?
True
Suppose 0*n + 4*n - 2*b = 1634, -5*b - 1215 = -3*n. Suppose 403*l - n*l = -1617. Is l a multiple of 33?
True
Suppose -3*c + 3960 = -3*x - x, -1339 = -c - 5*x. Let b = 2318 - c. Is 46 a factor of b?
False
Let b(m) = 20*m**3 - 11*m**2 - 2*m - 2. Let i(k) = -7*k**3 + 4*k**2 + k + 1. Let u(z) = -3*b(z) - 8*i(z). Let l = -3469 - -3467. Does 8 divide u(l)?
False
Let z be 3/(-12) + (-63)/(-28). Suppose r + 0*r - 30 = -z*s, 3*r - 68 = 5*s. Suppose -513 = 7*t - r*t. Is 16 a factor of t?
False
Let j(p) = -p**3 + 4*p**2 + 2*p. Let i be j(4). Let l(s) = -1. Let f(b) = -b**2 + b + 12. Let r(n) = -f(n) + 3*l(n). Is 10 a factor of r(i)?
False
Let b = 106 + -106. Is (48/10)/((-2)/(-40) - b) a multiple of 2?
True
Suppose -4*k - 4*i = -704 - 6896, 3*i = -5*k + 9500. Let s = k - 1023. Is 76 a factor of s?
False
Suppose -49 + 501 = -4*p. Let i(z) = 28*z + 2. Let c be i(7). Let x = p + c. Does 16 divide x?
False
Let t = 1852 + 281. Suppose d + 3*c - 1127 = 0, -5*d - t = -5*c - 7788. Suppose 17*b = 3527 - d. Is b a multiple of 47?
True
Let f = 106 - 103. Suppose -11*a + 2128 = f*a. Is 28 a factor of a?
False
Suppose -4*o - 15*j + 6111 = -10*j, 0 = o - 3*j - 1549. Does 13 divide o?
True
Suppose 449*k = 467*k - 3672. Let c be 2 - (1 - 2)*87. Let s = k - c. Is 11 a factor of s?
False
Suppose 1536 = 2*c + 4*h, 2897 = 4*c + h - 168. Suppose -2*w + 3*x + c = 3*w, -778 = -5*w - x. Let v = w - 6. Does 38 divide v?
False
Suppose -9*f + 101 = a - 5*f, 4*f = -12. Suppose -d + 478 = 4*i, -a = -i + 10*d - 7*d. Is 7 a factor of i?
True
Is 21483/6*(-56)/(-21) a multiple of 77?
True
Suppose 39*a - 34*a = -10. Is 13 a factor of -2 + (16/(-32))/(a/748)?
False
Let u = 70 - 68. Suppose 4*m = -t - 144, 0 = u*t + 3*t + 2*m + 702. Does 15 divide (15/10)/((-1)/t)?
True
Suppose -1766 = -5*r + 724. Suppose r = 5*s + 78. Is s a multiple of 12?
True
Suppose 18*y - 16*y + 16 = 0. Let c = -20 - y. Let u(t) = -t**3 - 12*t**2 - 14*t + 12. Is u(c) a multiple of 18?
True
Let u(o) = -27*o - 10. Let c(v) = 4*v + 18. Let i be c(-4). Suppose -i = 6*b + 4. Is 15 a factor of u(b)?
False
Let v(h) = -49*h + 90. Let k(x) = 33*x - 60. Suppose 3*w - 5*y = 5, w = -2*w - 3*y - 27. Let f(j) = w*v(j) - 7*k(j). Is 29 a factor of f(11)?
False
Let x(c) = 31*c**2 + 1. Suppose 4*a + u + 6 = 8*a, -2*u - 2 = -3*a. Is 22 a factor of x(a)?
False
Suppose -263*f = -1290034 + 190957. Is f a multiple of 21?
True
Let z(x) be the first derivative of -x**4/24 + 11*x**3/3 + 19*x**2/2 - 33. Let f(d) be the second derivative of z(d). Is f(-8) a multiple of 3?
True
Let g be -3 - (-5)/((-20)/(-344)). Let m = g + 69. Suppose 3*b - m = -b. Is b a multiple of 19?
True
Let i(y) = -y**3 + 8*y**2 + 14*y - 46. Suppose -1 = 3*g - 25. Does 2 divide i(g)?
True
Suppose -5427*o + 2*y = -5429*o + 40806, 0 = -4*o + 5*y + 81585. Does 120 divide o?
True
Suppose -6*k = -11*k + 20. Suppose q = -5*d + 65, 6*q - k*q = 0. Suppose 8*p = d*p - 60. Is p a multiple of 5?
False
Is ((-1134)/(-90))/(0/(-2) - 9/(-750)) a multiple of 210?
True
Let z = 80 - 65. Let n(k) = -z + k + 20 + 34. Is n(9) a multiple of 7?
False
Let c = -256 + 250. Does 3 divide (-96)/64*404/c?
False
Let c(z) = 9*z**2 - 36*z + 44. Let w be (51 + -41)*(-8)/(-10). Is 9 a factor of c(w)?
False
Suppose 2*i + 25 = -5*j, 2*i + i + 2*j + 32 = 0. Is 9 a factor of (((-108)/i)/3)/(18/3735)?
True
Let c(s) = 18*s**2 + 7*s - 8 - 35*s**2 + 18*s**2. Let j be c(-8). Suppose -612 = -2*y - 3*y + 4*r, j = -2*r - 6. Is y a multiple of 30?
True
Suppose o + 3*l = 1707, 4*o - l - 3075 = 3766. Is 19 a factor of o?
True
Let x(y) = -15*y**3 + 7*y**2 + 26*y + 13. Does 49 divide x(-4)?
False
Let k = -441 + 283. Let v = -190 - -189. Is (1 - 4) + k/v a multiple of 16?
False
Suppose 9 = 4*g - 7. Suppose -g*d - 2*i + 85 + 91 = 0, -5*d + 5*i + 235 = 0. Let y = -36 + d. Is 2 a factor of y?
False
Suppose 2*j - 5*b - 3958 - 5785 = 0, 2*j - 9767 = -3*b. Is 119 a factor of j?
True
Let m(k) be the third derivative of -25*k**4/12 - 71*k**3/6 + 176*k**2. Is 13 a factor of m(-20)?
False
Let w be 6*((-40)/12)/(-5) - 1. Suppose c - 11 = 3*m, -5*m - w*c - 5 = 2*c. Is 9 a factor of 25/10*42/(-9)*m?
False
Let x = -2614 + 3752. Let p(q) = 4*q + 218. Let o be p(26). Suppose o - x = -8*v. Does 6 divide v?
True
Let g be 508*-4*9/(-144). Let u = 253 - g. Is u a multiple of 63?
True
Let c = 78 + -119. Let h = 91 + c. Is 3 a factor of (-22)/(-5) - 20/h?
False
Suppose 4*x = 3*y - 661, 5*y - y - 874 = -2*x. Suppose 0 = -2*c + 213 + y. Is c a multiple of 54?
True
Suppose 1403 - 437 = -14*d. Let u = d - -251. Does 26 divide u?
True
Let i(f) = -2*f**2 + f + 3. Let c be i(-2). Is 22 a factor of (-115943)/(-497) + 2/c?
False
Let k(d) = 289*d**2 - 296*d + 123. Is k(-7) a multiple of 23?
False
Let q(k) = k**2 + 8*k + 12. Let s be q(-4). Let a be (s - (-3 + 0))*-2. Suppose -a*d + d = -34. Is 34 a factor of d?
True
Is ((-20)/8)/(50/(-21300)) a multiple of 15?
True
Let d(c) = c**3 + 41*c**2 - 253*c - 22. Does 26 divide d(-40)?
False
Let t(o) = 290*o + 17 + 7 - 291*o. Suppose -3*j + 21 = -0*j. Is t(j) a multiple of 3?
False
Suppose 28*x - 738594 + 35594 = -67*x. Does 20 divide x?
True
Suppose -1148550 = 47*q - 61*q - 413354. Does 62 divide q?
True
Let t(c) = -c**3 - 6*c**2 - 6*c - 5. Suppose 0 = 46*f - 49*f - 15. Let y be t(f). Suppose 0 = -r - 5*w + 16, y = r + r - 4*w - 32. Is r a multiple of 16?
True
Suppose 0 = -81*m - 5*m - 93*m + 2033798. Is 13 a factor of m?
True
Let s = 921 - 902. Let r(h) = 9*h**2 + 32*h - 81. Let v(z) = -5*z**2 - 16*z + 41. Let x(f) = -6*r(f) - 11*v(f). Does 23 divide x(s)?
True
Does 81 divide (-36448)/(-144)*-15*-6?
False
Suppose 10*t + 18668 = 66438. Is t a multiple of 7?
False
Suppose u - 22 = -12. Suppose 16*l - 204 = u*l. Is 17 a factor of l?
True
Let r = 148 + 139. Suppose 0 = 8*m - 6*m + 3*u - r, 5 = u. Does 10 divide m?
False
Let a(t) = 17*t + 5. Let p(k) = 18*k + 5. Let m(o) = 2*a(o) - 3*p(o). Suppose 19 + 5 = -4*y. Does 10 divide m(y)?
False
Let d(a) = -a**2 - 3*a + 7. Let f be d(-5). Let i be -1202*(-1 + 1*f/(-6)). Let u = -313 + i. Is 12 a factor of u?
True
Is 3 a factor of ((-3 + 87/6)*-1)/(6/(-1224))?
True
Suppose -99*v = -104*v + 4250. Suppose m - 208 = -5*y + 70, 3*m - y = v. Is m a multiple of 10?
False
Let n(t) be the third derivative of t**5/12 + 5*t**4/8 - 13*t**3/3 - 4*t**2 + 1. Is n(2) even?
True
Let d(t) = 7*t**3 - 2*t**2 - 13*t - 28. Let q(o) = 13*o**3 - 4*o**2 - 27*o - 54. Let l(f) = -11*d(f) + 6*q(f). Does 48 divide l(7)?
True
Let a(j) = -9*j**2 - j + 69. Let p(z) = -10*z**2 + z + 70. Let w(u) = -6*a(u) + 5*p(u). Does 7 divide w(5)?
True
Let l(d) be the second derivative of d**5/20 - 11*d**4/6 + 2*d**3 + 5*d**2/2 + 4*d. Let s be l(21). Is (-4 - s/10)*5 a multiple of 12?
True
Suppose -277*r - 1055160 = -457*r. Does 210 divide r?
False
Let h(a) = 196*a**2 + 12*a - 45. Is h(-8) a multiple of 79?
True
Let t(m) = 658*m**3 - 24*m