2/24*-344997) + (-2)/(-8)?
True
Let x be ((-21)/(-42))/(1/2). Suppose -i + x - 3 = 0. Is 37 a factor of (183 - (-2 - -4)) + i?
False
Let m(r) = -246*r + 23. Let z(i) = 247*i - 25. Let b(n) = 4*m(n) + 5*z(n). Is 67 a factor of b(2)?
True
Let u(d) = -63*d + 1267. Is 6 a factor of u(5)?
False
Let r = -31 - -66. Let w = r - 75. Is 15 a factor of w/(-6)*(-495)/(-60)?
False
Let b(m) = 12*m + 6. Let u be b(-7). Let h be (-2)/(-13) - (-2898)/u. Let c = h + 90. Is c a multiple of 12?
False
Let j(r) = 11*r - 20. Let x be j(13). Let o = x + -61. Let n = o + -32. Does 5 divide n?
True
Let y(u) = u**2 - 11*u + 4. Let p(w) = 3*w**2 - 32*w + 12. Let q(t) = -4*p(t) + 11*y(t). Let v be q(6). Suppose -9 = -v*k + 61. Is k a multiple of 35?
True
Let f = 2081 - -493. Does 4 divide f?
False
Let s = 74 + -377. Let q = -158 - s. Is q a multiple of 31?
False
Suppose -5*l = r - 1475, 2*l - 139 = -5*r + 474. Suppose -4*i + n + 619 = 51, -2*i = 2*n - l. Is 52 a factor of i?
False
Let z(t) = -t**3 + 17*t**2 + 47*t + 524. Does 13 divide z(-13)?
False
Suppose -5*g - 2*b = -19238, g = -2*b - 189 + 4043. Is g a multiple of 3?
True
Suppose -r = 2*r - 4*z + 1104, -4*z - 1500 = 4*r. Let m = r - -128. Let f = -146 - m. Does 33 divide f?
False
Let x(z) = 3*z**2 + 3*z - 4. Let k be x(1). Suppose 2*p = -2, -3*v + 5*v + k*p - 898 = 0. Does 10 divide v?
True
Let x = 3444 + -2455. Is x a multiple of 13?
False
Let x(p) = 10*p + 124. Let u be x(-12). Let q(k) = 2*k**2 + 5*k + 2. Let r be q(-3). Suppose 2*o = -3*i + 137, o + u = r. Does 9 divide i?
True
Suppose 20*r = 675710 + 293530. Does 197 divide r?
True
Suppose 10*t + 2074534 = 19*t + 68*t. Does 38 divide t?
True
Let r be -20*(-5 - (-14 - -3)). Does 13 divide (-55900)/r + (-2)/(-12)?
False
Suppose 16*m + 28*m - 245100 = 14*m. Does 38 divide m?
True
Suppose 0 = -5*k - a - 145, -k = 2*k + 2*a + 94. Let v = 8 - k. Let f = -21 + v. Is f a multiple of 15?
True
Let d(a) be the first derivative of a**4/4 + 6*a**3 - 23*a**2/2 - 11*a + 22. Is d(-19) a multiple of 5?
True
Let j be (-1)/((15/3)/(-695)). Is (0 - 2) + 10 + j a multiple of 29?
False
Let k(d) = -d**2 + 19 + 4*d + 14*d**2 - 33. Does 6 divide k(-5)?
False
Suppose -5*t = -2*i - 4*i - 93982, -3*i = 3*t - 56409. Does 40 divide t?
True
Let n(k) = -540*k - 9. Let j be n(-3). Suppose 9*g + 171 = j. Is 5 a factor of g?
True
Suppose -17*u - 524 = z - 16*u, 2*u = -6. Let q = 841 + z. Is 40 a factor of q?
True
Let q be ((-24)/20)/((-12)/80). Suppose -215 = -5*z - 3*k, -10*z - 5*k = -q*z - 105. Does 6 divide z?
False
Let c be ((-810)/(-50))/(2/10). Let x(y) = y**3 - c*y**2 - 5*y + 222 + 82*y**2 + 0*y**3. Is x(0) a multiple of 12?
False
Does 5 divide ((-7 - 0) + (-326)/(-5))*15?
False
Let m(j) = 6*j + 14. Let p be 4 - 2 - 5 - (18 + -16). Let x(i) = -i**2 - 5*i + 7. Let b be x(p). Is m(b) a multiple of 14?
True
Let j(b) = 49*b - 2. Suppose o = -2*p + 45, 3*o - 7*o = -2*p + 30. Let l be 1/(-4) - (p/12 - 4). Is 32 a factor of j(l)?
True
Let z(f) = 2*f**3 - 12*f**2 - f - 1. Let j be z(6). Let r be (-2 - j)*2/15*246. Let k = 32 + r. Does 28 divide k?
True
Let s(h) = -h**3 - 4*h**2 + 5*h + 2. Let a be s(-5). Suppose d = n - 176, -n + 4*d = a*d - 175. Suppose 2*x + 141 = 4*v + x, 0 = -5*v + x + n. Does 12 divide v?
True
Let h(j) = -2*j**2 - 19*j + 27. Let b be h(-14). Let l = b - -133. Does 3 divide l?
False
Suppose -5*p - 15870 = -5*b, 5*b - 4*p - 4987 = 10885. Suppose 3*o = c + 1892, b = 12*o - 7*o + 4*c. Is 13 a factor of o?
False
Suppose 26 = 2*v + 4*f, 25 - 6 = -2*v + 5*f. Suppose 0*w - 3*w = v*j - 15, 0 = w - 3*j + 3. Suppose w*l - h - 374 = 3*h, 3*l = -3*h + 381. Is 15 a factor of l?
False
Let k be ((-27)/6 - -1)/(2/(-120)). Suppose g + g = k. Does 72 divide g?
False
Suppose -m - 1628 = 3*y - 7874, -3 = -3*y. Does 140 divide m?
False
Let u = -77 + 78. Let t be (260/8)/(u/2). Let a = t - -15. Is 9 a factor of a?
False
Suppose -575 = -13*d + 23. Is d a multiple of 3?
False
Is (-11)/(77/98)*5/(20/(-1136)) a multiple of 8?
True
Suppose q = -6*u + 158552, 5*q + 53095 = 2*u + 255. Does 175 divide u?
True
Let p(n) = 4*n + 55. Let v be p(5). Let m = v + -72. Suppose 2*r - 4*g - 125 - 1 = 0, -r + m*g = -62. Is 54 a factor of r?
False
Suppose i - 11653 = -2*s - 2820, -i = s - 8840. Is 9 a factor of i?
True
Is 3 a factor of (-692)/(-6)*(-40)/180*-54?
False
Let l(i) = 41*i - 405. Let a be l(10). Suppose -469 = -h - a*d, d - 10 = -8. Is h a multiple of 38?
False
Let h = -130 - 90. Let t = h - -264. Is t a multiple of 35?
False
Let y be (48/20)/(2/190). Suppose 4*q - 7*z - 233 = -2*z, 4*z + y = 4*q. Is 5 a factor of q?
False
Let h(a) = -77 + 3*a + 2*a - 82 + 174. Does 10 divide h(11)?
True
Let a(c) = -13*c**3 - 6*c**2 - 11*c - 6. Is 12 a factor of a(-3)?
True
Let o = 0 - -3. Suppose -4*z + 2*z = -h - 4, 5*h = o*z - 20. Suppose 2*q - 3*q + 4*m + 18 = z, -q - 3*m = -25. Is q a multiple of 11?
True
Let q = -7290 - -12473. Is 83 a factor of q?
False
Suppose -5*c - 1313 = 1117. Let h = c - -510. Does 6 divide h?
True
Let c = -5526 - -5528. Let u(v) = 31*v**2 + 5*v + 4. Let o be u(-3). Suppose 0 = -c*b - j + o, -4*b - j = -0*j - 538. Is b a multiple of 15?
True
Let w(x) = -x**3 - 32*x**2 + 48*x + 1819. Is 56 a factor of w(-37)?
True
Let k(f) = -648*f - 1140. Does 175 divide k(-5)?
True
Let b = 37 - 43. Does 74 divide 483/6 + (b/(-12))/(-1)?
False
Suppose 0 = 19*t - 21*t - 4*h + 20778, -41576 = -4*t - 3*h. Does 37 divide t?
True
Suppose -32*s = -s - 713. Let l(n) = 6*n**2 - 79*n + 8. Is l(s) a multiple of 20?
False
Let d(k) = 42*k**3 - 11*k**2 + 24*k + 89. Is 118 a factor of d(7)?
False
Suppose 36873 = 4*f - 5*g, 3*f = f - 4*g + 18404. Does 14 divide f?
True
Let g = -83 - -85. Let r(d) = -54*d**2 + 2*d. Let p be r(g). Let l = p - -465. Does 21 divide l?
False
Let x be 7/35 - 12063/15. Is 2 a factor of (-3)/(-7) + x/(-84)?
True
Suppose 3*f - 13 = 80. Suppose -48*h + f*h + 3621 = 0. Is 33 a factor of h?
False
Suppose 0 = -2*v - 5*x - 35, 3*v + 5 = x + x. Does 12 divide ((-4 - -7) + v)*2 + 244?
True
Let d(t) = 8*t**2 - 9*t - 11. Let u(v) = v**2 - 3*v + 2. Let g be u(1). Let r(w) = w**2 - w - 5. Let h be r(g). Does 26 divide d(h)?
True
Let w(y) = 6*y**2 - 2*y + 3. Let l(a) = 5*a**2 - 2*a + 3. Let p(u) = 3*l(u) - 2*w(u). Let t(g) = -g**2 + 9*g - 23. Let h be t(4). Is 18 a factor of p(h)?
True
Suppose l + a = -911, -6*a = -5*a - 2. Let z = -498 - l. Is 68 a factor of z?
False
Suppose 3*t + 3*x - 53766 = 0, 4*t + 405*x - 71680 = 409*x. Is t a multiple of 11?
False
Let d(v) = 2*v**2 + 11*v - 13. Let w(c) = -2*c**2 - 13*c + 12. Let n(k) = -6*d(k) - 5*w(k). Is n(-3) a multiple of 2?
False
Suppose -o = -s - 3*o + 10638, o + 53201 = 5*s. Is s a multiple of 12?
False
Let g = 465 + -756. Let r = g - -435. Let o = -52 + r. Is o a multiple of 7?
False
Suppose 44*p + 18653 = 11*p + 119633. Is 18 a factor of p?
True
Let u(k) = 10*k + 82. Let h be u(-8). Suppose -8 = h*d, -4*w + 4*d = -3*w - 78. Does 31 divide w?
True
Suppose -3*b - 30 = -5*o - 0*b, b + 14 = 3*o. Suppose 5*l - s - 507 = 0, 3*l - 3*s = -24 + 333. Suppose -o*w + l = -67. Does 13 divide w?
False
Suppose -b = 3, -3*m + 5623 = b + 1828. Let v = 553 + m. Is 17 a factor of v?
True
Let c(g) = -17*g + 46. Suppose -104*s + 103*s - 22 = 0. Is c(s) a multiple of 28?
True
Let y(z) = 5*z**3 + 2*z**2 + 2*z + 3. Let t be y(-2). Let j = 96 + t. Suppose 0*m = 4*m - 3*o - j, o = 4*m - 61. Does 5 divide m?
True
Let d(w) be the first derivative of w**3/3 + 3*w**2 - 3*w + 29. Let t be d(-7). Suppose 4*m = t*n + 744, -m - 2*n = 36 - 225. Is m a multiple of 31?
False
Let a(w) be the third derivative of w**6/120 - w**5/12 - w**4/3 + 11*w**3/6 + 8*w**2 + 15. Suppose -2*s = 2*s - 3*r - 26, r - 18 = -2*s. Is 24 a factor of a(s)?
False
Let r be 4 - 2/(8/(-308)). Suppose 4*d - 3 = r. Let x = -2 + d. Is 19 a factor of x?
True
Let o be (6/(-2))/(3 - 2). Does 16 divide 20/o*(-492)/41?
True
Suppose 3092*q + 1125 = 3093*q. Is q a multiple of 16?
False
Is 4 a factor of (12*(-16)/40)/(24/(-75520))?
True
Let a(q) = 382*q - 7. Let o be a(4). Let u be 2/3*o/6. Let n = -91 + u. Is n a multiple of 26?
True
Let g = -4771 + 6249. Does 18 divide g?
False
Let w = -72 + 128. Let z be 36/10 - (-14)/35. Suppose -2*k + w = -z. Is 7 a factor of k?
False
Let a(m) = -m**2 - 11*m - 4. Let v be a(10). Let h(u) = u**3