 3*f = m. Is 10 a factor of b?
True
Let v(m) be the second derivative of m**4/12 + 19*m**3/6 + 23*m**2 - 611*m. Let b be (-38)/(-2)*-1 + 1. Does 11 divide v(b)?
False
Let x(p) = -131*p - 7*p**2 + 5*p**2 - 132*p + 258*p - 6*p**3. Let g(f) = f - 3. Let z be g(0). Is 18 a factor of x(z)?
False
Let d(b) = 2*b**2 - 2*b + 9. Suppose 0*u + u = -48. Let x be (-2)/3 + (-560)/u. Is 33 a factor of d(x)?
False
Suppose -7*t - 17*t = 22*t - 29440. Does 10 divide t?
True
Let o = -1982 - -7886. Is o a multiple of 12?
True
Let l(s) = 25*s - 85. Let g(o) = 3*o - 2. Let v be g(5). Is 10 a factor of l(v)?
True
Let s be ((-2)/4)/(4 - (-282)/(-72)). Let g be (14/s - -1)*-9. Is (g/(-18) + (-350)/6)*-1 a multiple of 6?
False
Suppose 5*v = 6*v + 47. Let y = 44 + v. Is 25 a factor of (-336)/(-49)*(-1 + 15) + y?
False
Let f be (5 - 1)/(2/(-6)*-2). Let u(h) = 7*h**2 - 33*h - 1. Let g(v) = -4*v**2 + 16*v + 1. Let o(j) = f*u(j) + 11*g(j). Is o(-10) even?
False
Let c(i) = 59*i - 1888. Is 127 a factor of c(42)?
False
Suppose 12*q - 1039 = 1349. Let l = -69 + q. Is l a multiple of 2?
True
Let x(v) = -17*v**3 + v**2 - 1. Let t be x(-2). Suppose 2*m = 0, m - t + 715 = 2*f. Suppose -153*p - f = -156*p. Is 12 a factor of p?
True
Let d(s) = -s**3 + 6*s**2 - s - 1. Let l(w) = -w**3 - w. Let n(c) = -d(c) + 5*l(c). Does 18 divide n(-5)?
False
Suppose 19*o + 603 = 22*o. Let b(j) = -24*j + 1. Let y be b(-4). Let h = o - y. Is h a multiple of 9?
False
Suppose -162*l + 1045990 = 95*l. Is l a multiple of 3?
False
Let p(a) = -13*a - 96. Let b be p(-8). Does 6 divide (b - 119/14)/((-1)/36)?
True
Let b(k) = 425*k**2 + 30*k + 51. Does 6 divide b(-2)?
False
Is 18 a factor of -9 + (536 - 0) - 15/3?
True
Let h(k) = -21*k + 10 + 4 - 26*k + 6*k. Suppose 3*t + 362 = 356. Is 24 a factor of h(t)?
True
Let a(b) = b**3 - 22*b**2 + 6*b + 3. Does 3 divide a(22)?
True
Let j(p) = 2*p**3 - 55*p**2 + 27*p + 2. Let y be j(27). Suppose -y*f + 3*o = -1837, 5*f - 3*o - 2751 = 2*f. Does 30 divide f?
False
Let t(o) = 2*o + 16. Let d be t(-12). Does 3 divide (-64)/(-24)*(234/d)/(-3)?
False
Let a(j) = j**3 + 18*j**2 - 11*j. Let p be a(-14). Suppose 5*c = 287 + p. Is c a multiple of 49?
True
Let h = 2 - -7. Let u(p) = -p**3 + 8*p**2 + 9*p + 4. Let i be u(h). Suppose -3*m = -5*t - 192, -i*m = -0*t + 2*t - 256. Does 18 divide m?
False
Let j = 2 + -6. Let t(u) = u + 10. Let f be t(j). Suppose 45 = 5*g - 4*h - f, -28 = -3*g + 5*h. Does 5 divide g?
False
Suppose -5*a + 29*b = 30*b + 2, 0 = -2*b - 4. Suppose -44*y + 15777 + 19071 = a. Does 66 divide y?
True
Suppose 0 = 4*x - 6*x + 1230. Let b = -423 + x. Suppose 0 = -3*m + 3*k + b, -3*k - 515 = -5*m - 201. Is m a multiple of 7?
False
Let n(m) = -2*m**3 - 25*m**2 - 12*m. Let b be n(-12). Suppose 0*w - 4*s = 5*w - 632, 5*w - 2*s - 614 = b. Is w a multiple of 22?
False
Let z be ((-109)/2*-1)/(2/12). Suppose 0 = -2*h - 4*j + 1140, 5*j - z = -5*h + 2533. Is 14 a factor of h?
True
Suppose 0 = 5*v - 40 + 10. Is 21 a factor of 9*(2 - (-32)/v)?
False
Let m be (-9)/7 - -1 - (-18644)/1652. Suppose -4*k + 7*z = m*z - 680, -3*z = 2*k - 342. Is 84 a factor of k?
True
Let m(o) be the second derivative of 3*o**4 + 5*o**3/3 + o**2 - 170*o. Does 16 divide m(-4)?
False
Suppose 0 = 117*n + 174*n - 5660356 + 1583737. Is 18 a factor of n?
False
Let j = -51 + 53. Suppose -j*h - 3*c = -204, h - 3*c = -0*c + 120. Suppose 0 = -2*u - g + h, 0 = -g - 4. Is u a multiple of 8?
True
Suppose 2*m + 4 = 3*l, 0 = -3*l - m + 2 - 4. Suppose l = 2*s - 382 + 304. Does 13 divide s?
True
Let k = 48 + -97. Let u = k - -61. Let h = 14 + u. Is 8 a factor of h?
False
Suppose 0*y - 2*y + 2*i = -6, -y + 3*i + 3 = 0. Let j(u) = 132*u**2 - 41*u. Does 71 divide j(y)?
True
Suppose -10*d + 1015 = -8*d + 5*i, -4*d = -3*i - 2043. Suppose 9*r - 1506 - d = 0. Is r a multiple of 32?
True
Let u be 2/4 + 860/(-8) + 2. Let b(h) = 4*h**2 + 14*h + 10. Let a be b(-9). Let f = u + a. Is f a multiple of 7?
False
Let v = 2527 - 1299. Is v a multiple of 4?
True
Let q(w) = -w**2 + 14*w - 7. Let j be q(11). Let v be (-11)/44 + j/8. Let g = v + 4. Does 6 divide g?
False
Suppose 51*r - 7381 = 50*r - 2*b, -2*b = 4*r - 29482. Does 53 divide r?
True
Suppose -17*a = -14*a - p - 842, 4*a - 1128 = 4*p. Let f = a + 42. Is 23 a factor of f?
True
Suppose 4*b = -3*h + 24067, 12032 = 2*b + 33*h - 31*h. Does 13 divide b?
True
Let h(t) = 4*t + 149. Let j be h(-41). Is 190 - (-3)/(j/6 - -4) a multiple of 3?
True
Let z = 47361 + -25187. Suppose -z = -8*x - 7278. Does 49 divide x?
True
Does 20 divide (335*1702/(-555))/(1/(-15))?
False
Let n(l) = 30*l**3 + 5. Let b = 47 - 41. Let x(k) = -2*k**3 + 14*k**2 - 14*k + 14. Let u be x(b). Is n(u) a multiple of 38?
False
Let x = -3 - -6. Let o(q) = 102*q + 45. Let a(r) = -10*r - 5. Let d(f) = -21*a(f) - 2*o(f). Is d(x) a multiple of 13?
False
Suppose -4*t - 56 = 4*d, -6*d - 3*t - 54 = -2*d. Is 20 a factor of (-8)/d - 5/(60/(-2392))?
True
Let g be 3/(-21)*(7 - 7). Suppose -3*o - 5*s + 461 = g, -o + 4*s + 256 - 74 = 0. Is 18 a factor of o?
True
Suppose -z - 600 = -20*y + 17*y, 0 = -4*y - z + 786. Is 3 a factor of y?
True
Let k(u) = 20*u**2 + 88*u + 472. Is 2 a factor of k(-5)?
True
Suppose -73*t - 42*t + 1829190 = 0. Does 20 divide t?
False
Let q(u) = 31*u**2 - 74*u - 18. Is 22 a factor of q(-10)?
False
Let y = -4498 + 8011. Is y a multiple of 124?
False
Suppose -28*v + 27*v + 5832 = t, -4*v + 23316 = -2*t. Is v a multiple of 5?
True
Let o = -692 - -869. Let k = 738 + o. Does 15 divide k?
True
Suppose 5*d - 22156 = -3*c, -5*d + 8*d = 15. Suppose -38*l + 5923 = -c. Is l a multiple of 19?
False
Let z(b) = -b**2 + 18*b - 57. Let p be z(13). Is 11 a factor of 2/4 + p/((-80)/(-2745))?
True
Let u(d) be the first derivative of -d**2 + 23*d - 32. Let i be u(8). Let b = 3 + i. Is b a multiple of 3?
False
Let t(y) = 13*y**2 - 79*y + 562. Is t(26) a multiple of 64?
True
Let a(j) = 2*j**2 - 6*j + 9. Let q be a(-10). Let d = 51 + q. Does 40 divide d?
True
Let f = -12507 + 12655. Is f even?
True
Is 100 a factor of (49/((-10976)/(-1856)))/(2/1918)?
False
Suppose 4*t - 5*v + 10 = 0, -3*v + 6 = -0*t - t. Suppose t = -3*f - 4*f - 63. Does 9 divide 14/(1 - f/(-15))?
False
Let k(i) = i**3 - 52*i**2 - 749*i - 197. Does 2 divide k(64)?
False
Suppose 0 = d + 5*x - 3868, -5*d + 10693 = 3*x - 8603. Is 80 a factor of d?
False
Let m(q) = q**3 - 5*q**2 - 6*q + 71. Let w be m(8). Is (1032/w)/(2/110) a multiple of 6?
True
Let v be (-4 - 1)*(-105)/(-175). Does 37 divide ((-4)/(-4))/(((-3)/89)/v)?
False
Let f = -983 + 553. Let d = -360 - f. Does 35 divide d?
True
Suppose -14*j + 15*j - 33 = 0. Let q = 33 - j. Suppose 0 = -q*n - n + 2. Is n a multiple of 2?
True
Let b = -4460 + 6349. Suppose 13*w - b - 2661 = 0. Is 25 a factor of w?
True
Let h(y) = 2*y**2 + 4*y + 7. Let b be h(-3). Suppose b*g - 15*g = -128. Is 16 a factor of g?
True
Let a = -13725 - -22989. Is (1 + 0/2)/(24/a) a multiple of 31?
False
Is ((-168)/(-56))/((-6)/2) + 44653 a multiple of 12?
True
Let n be 4/12 - (-31755)/45. Suppose 5*t = 936 - n. Is t a multiple of 2?
True
Let t = -104 - -106. Let g be (4/(-6) - t/6)/1. Let w = g + 181. Does 36 divide w?
True
Let h(f) = 32*f + 5. Let v(r) = 16*r + 4. Let b(i) = -2*h(i) + 5*v(i). Is b(5) a multiple of 10?
True
Let g = 11685 - 7687. Is g a multiple of 44?
False
Suppose -5*u + 2*n + 69 = 0, 2*u - n = 13 + 14. Suppose 0 = 3*v + 2*v + u, -3*y + 3*v + 3 = 0. Is -2 - -65 - (1 + y)*-3 a multiple of 10?
True
Suppose -2*i + 59 = -4*a + 341, 4*a = -5*i - 719. Let l = i - -426. Is l a multiple of 22?
False
Is 7 a factor of (9 - -245)*3 - (-1 + 7)?
True
Let x(p) = p**2 - 17*p + 65. Let a be x(12). Suppose -2*g - 4*o = -2*o - 116, 0 = a*g - 5*o - 250. Is g a multiple of 9?
True
Let w(n) be the third derivative of n**5/15 - 7*n**4/4 + 10*n**3/3 + 7*n**2. Does 46 divide w(12)?
True
Let y(i) = 1142*i + 8310. Does 18 divide y(-6)?
True
Let n = -6056 + 9320. Is 32 a factor of n?
True
Let x be 26 - 7/((-28)/(-16)). Let t = 25 - x. Does 3 divide t/5 + 2*(-52)/(-10)?
False
Suppose 122100 = 36*l - 20460. Is 60 a factor of l?
True
Let o(b) = -127*b + 250. Does 118 divide o(-64)?
True
Let s(z) = -2*z**3 + 9*z**2 - 82*z - 30. Is 18 a factor of s(-14)?
True
Does 19 divide (-15)/315 - (-84590)/42?
True
Suppose -6 = -5*v + 19. Suppose 4*d = 4*n, 3*d - 4*n - n + 