o = 15 + c. Does 6 divide o?
True
Let r(s) be the third derivative of 19*s**6/60 + s**5/60 - s**4/12 + s**3/3 - 7*s**2. Let y be r(2). Let w = y - 187. Is 17 a factor of w?
True
Suppose 3231 = 2*d - b, 154*d + 3*b - 3235 = 152*d. Is d a multiple of 16?
True
Suppose -2*s = 4*z - 32, 2*s + 2 - 16 = 2*z. Suppose -12*u + s*u = -3*t + 76, -72 = -3*t + 3*u. Does 4 divide t?
True
Is -584*-3*(-437)/(-114) a multiple of 25?
False
Let p be 2/9 - (-2)/(-9). Suppose -3*z = 5*h - 2, 3*h - 43 + 39 = z. Is (-149)/((z - p)*1) a multiple of 37?
False
Let v(s) = -7*s**2 - 30*s + 57. Let p(h) = -6*h**2 - 29*h + 56. Let x(w) = -5*p(w) + 4*v(w). Is 46 a factor of x(-21)?
False
Let k = 707 - -225. Let i = k + -672. Does 26 divide i?
True
Suppose 2*v + 3*w + 3 - 7 = 0, -3*w = 6. Suppose 1839 = v*x - 6*r + 4*r, -5*x + 4*r = -1833. Is 70 a factor of x?
False
Suppose 0 = -3*o + 5*x - 4, -4*x = o - 5*o. Suppose o*m + 3*z - 73 = 0, -5*m - 3*z = -88 - 90. Is m a multiple of 5?
True
Suppose -7664009 + 1843219 = -358*m - 57*m. Does 18 divide m?
False
Let k = 37 + -35. Suppose -89 = -2*x + 683. Suppose 0 = 5*w + k*a - x, 2*w - 5*a = -0*a + 137. Is w a multiple of 30?
False
Suppose a - 4*a + 48 = 3*j, -2*a = -3*j + 58. Let o be (-8)/5*(-45)/j. Suppose m = 5*g - 169, 0*m + o*m = 3*g - 115. Is 5 a factor of g?
False
Let r be -27 + (2 - -3) + 2. Let k be 10/r - (-791)/2. Is 11 a factor of 1/(-3)*-1 - k/(-3)?
True
Suppose -3*c + 753 = -5*i, 3*c + c + i - 1027 = 0. Let p = c - 25. Does 33 divide p?
True
Suppose -w + 2413 + 632 = 0. Is 87 a factor of w?
True
Let s be (-4)/(-18)*9 + -2. Suppose s = -10*z - 32 + 3642. Does 88 divide z?
False
Let v(w) = w**3 + 13*w**2 - 1. Let n be v(-13). Let i be n - (0 - -1)*(-10 + 11). Does 19 divide ((-65)/(-39))/(i/(-90))?
False
Suppose 0 = 5*z + 5*o - 1340, -4*o + 1342 = 23*z - 18*z. Does 18 divide z?
True
Does 51 divide 340/1530 - (-1)/(9/53242)?
True
Let t(w) = 23*w**3 - w**2 - 3*w + 4. Let c be t(2). Let u = c - 123. Is 9 a factor of u?
False
Let m = -10701 + 14176. Does 24 divide m?
False
Let s(i) be the first derivative of 9*i**2/2 + 8*i + 9. Let w be s(3). Suppose 0*k = f - 4*k - w, -105 = -3*f - k. Does 15 divide f?
False
Suppose -3*r + 3*r = -12*r + 12072. Is r a multiple of 15?
False
Let l(y) = 4. Let z(j) = 2*j - 40. Let p(x) = -6*l(x) - z(x). Suppose -4*v = 5*d + 8, 2*v + 27 = -3*v - 2*d. Does 6 divide p(v)?
True
Is 12*(-2)/(-3) + (-30 - -328) a multiple of 7?
False
Let a(d) = -d + 9. Let l be a(6). Suppose 3*f = -276 - 342. Is (-3)/(-9) - f/l a multiple of 30?
False
Let t = 3380 - -13. Is t a multiple of 13?
True
Is 11/((-99)/1530)*(-580)/25 a multiple of 68?
True
Suppose 2*d - 5768 = -5*n, 806 = 4*n - 2*d - 3794. Suppose 0 = 98*y - 106*y + n. Is 7 a factor of y?
False
Let u(n) = -4*n**3 + 190*n**2 - 51*n + 132. Does 181 divide u(46)?
False
Let k(q) = 5*q**2 - 19*q - 71. Is 71 a factor of k(18)?
True
Suppose -3*g = -x - 4638, 0 = 3*g + 693*x - 689*x - 4653. Does 15 divide g?
False
Suppose 4*s - 17888 = 3*x, 0 = -s - 3*x + 1304 + 3183. Is 25 a factor of s?
True
Suppose 8*i - 110 = 5*i - k, 42 = i - k. Let t be (32/20)/(4/70). Let o = i + t. Is o a multiple of 22?
True
Let m(x) = -x**3 + 8*x**2 + 20*x - 27. Is m(-11) a multiple of 4?
True
Let d = 136 - 5. Let v = 79 + d. Is v a multiple of 15?
True
Let k(l) = -651*l - 710. Is k(-40) a multiple of 73?
False
Does 37 divide 7104/(-20)*1/(-6)*15?
True
Suppose -428 + 98 = -15*y. Does 5 divide ((-33)/(-4))/(y/176)?
False
Let j(a) be the second derivative of -a**7/840 - a**6/45 + a**5/60 - a**4/4 + a**3 + 13*a. Let m(t) be the second derivative of j(t). Does 19 divide m(-9)?
True
Let m be 4/(-110)*-5 - 9/(-11). Does 12 divide (3 + (-104)/(-2))/m?
False
Suppose 3*i - 2*j = 55, 47 = 3*i + 2*j - 24. Is 46 a factor of 10515/i + (-6)/(-21)?
False
Suppose 146*u - 150*u + 36416 = -4*a, 0 = -2*a + 10. Does 7 divide u?
False
Let s = 12902 + -12870. Is s a multiple of 9?
False
Is 24802 + 1 + (-272)/16 a multiple of 306?
True
Let q be (-4 - -2 - 99)/(-1). Suppose -98*m + q*m - 2250 = 0. Does 15 divide m?
True
Suppose 341*o - 313*o - 336 = 0. Is 6 a factor of o?
True
Suppose -47*f = -69*f + 66. Suppose -3*b = -5*v - 776, -153*b - f*v + 996 = -149*b. Is b a multiple of 12?
True
Let w = 5578 + -2026. Is 12 a factor of w?
True
Let v be 3 - 0/(5 + (-5 - -1)). Suppose -4*t - 2*h + 637 = -3*h, -h - 477 = -v*t. Is t a multiple of 5?
True
Suppose 5*x - 20 + 168 = 3*b, -x + 103 = 2*b. Suppose 3*p - 15 = 15. Suppose p = b*u - 49*u. Does 5 divide u?
True
Let c = -280 - -737. Let s = c + -348. Is 6 a factor of s?
False
Suppose 2*n - 4*m = -7*m - 6, 4*n = -m - 2. Suppose -15 = -5*q, 4*i - q - 2*q - 379 = n. Is i a multiple of 40?
False
Let j = 15732 + -10210. Is 54 a factor of j?
False
Let v(s) = -5*s + 119. Let b be v(21). Suppose -4608 = -10*d - b*d. Is d a multiple of 32?
True
Let r be (-12)/3 - (10 + -334). Suppose -o = 2*z - 3*o - r, 0 = 2*o - 10. Does 15 divide z?
True
Is (9 + 30/(-20))*(29584/3)/4 a multiple of 103?
False
Let n = -4807 - -15990. Is 53 a factor of n?
True
Suppose 2*s + 411 = 5*f, -34*s + 79 = f - 36*s. Is f a multiple of 2?
False
Suppose -13*c + 5*c + 8 = 0. Let q(y) = 100*y**3 - y**2 + 3*y - 2. Let k be q(c). Suppose -52*p = -48*p - k. Is p a multiple of 2?
False
Suppose 3*d = -4*k + 11, -3*d + 3*k - 27 = d. Let b(l) = -14*l**3 - 3*l**2 - 10*l - 9. Does 15 divide b(d)?
False
Let v(b) = 2137*b + 79. Is 118 a factor of v(3)?
True
Suppose -8*y = -5*y - 6. Let i(h) = -2*h + 12 - 7 + 2*h**y - 2*h**3 - 6. Is 2 a factor of i(-2)?
False
Suppose 0 = -2*w + 5885 + 1218 - 43. Does 63 divide w?
False
Let h be (78 - (1 + 0)) + (-18)/6. Let b = 77 - h. Does 10 divide 4/((-12)/b)*1 - -121?
True
Let z be 13/(1690/(-20)) - 37730/(-26). Suppose 6*v - 9*v = -5*p + 1436, 0 = 5*p + 2*v - z. Is 24 a factor of p?
False
Suppose -25 = -4*u - 9. Suppose -58 = -2*y + u*y. Let w = y - -142. Is w a multiple of 13?
False
Let q(u) = 8*u + 16*u**2 + 2*u - 49 - 15*u**2 + 5*u**2. Is 61 a factor of q(-12)?
False
Suppose -5*q = -0*q - 240. Let g = -43 + q. Suppose 2*s = -5*h + 30, -4*s = -g*h + s + 30. Is h even?
True
Let s(z) = z**2 + 10*z + 45. Let l be s(-8). Suppose l*a = 38*a - 3240. Is 24 a factor of a?
True
Let u(k) = -4*k + 821. Is u(-51) even?
False
Let q be ((-4578)/(-42))/(1/3*-1). Let i = q - -434. Does 35 divide i?
False
Let j(r) = -9*r**2 + r - 7. Let u(t) = -4*t**2 + t - 3. Let d(f) = 2*j(f) - 5*u(f). Let k be d(4). Suppose o - k + 3 = 0. Does 18 divide o?
True
Suppose -6*k + 31 - 487 = 0. Let f = k + 797. Suppose 4*b - 4*g - 800 + 76 = 0, 5*g = 4*b - f. Is 23 a factor of b?
True
Let u(h) = h**2 - 22*h + 9. Let v be u(27). Let g(q) = 3*q**2 - 290*q + 44 + v*q + 143*q. Is g(-8) a multiple of 65?
True
Suppose 105 = -22*c + 1755. Suppose c = -3*n + 255. Is 12 a factor of n?
True
Suppose -10 = -o - o, o = 5*p + 30. Is 17 a factor of (82/(-16) - p) + 1697/8?
False
Let h be 12885/(-24) - (3 + (-46)/16). Let y = 8 - h. Suppose 9*q = 4*q + y. Is 8 a factor of q?
False
Let r(d) = -d**3 - 131*d**2 - 181*d - 1299. Does 243 divide r(-132)?
False
Let j be (-3)/(8/28 + (-1940)/6496). Suppose 0 = -4*t + 5*n + 967, -t + 3*n = 5*n - j. Is t a multiple of 19?
False
Let r(n) be the first derivative of -n**3/3 - 6*n**2 + 7*n + 3. Let b be r(-20). Let k = 235 + b. Is k a multiple of 41?
True
Let i(y) = 24*y - 1. Let n be i(6). Suppose -351 = 4*r - 7*j, 3*r + 257 = -11*j + 10*j. Let t = n + r. Is 4 a factor of t?
False
Suppose -2*k + d + 12 = -4, 5*k + 5*d - 55 = 0. Let r = 64 + k. Suppose 4*i - r = -q, 2*i - 5*q - 32 = -q. Does 2 divide i?
True
Let j(a) = -196*a**2 + 28*a + 1. Let z(m) = 197*m**2 - 27*m - 1. Let q(k) = -4*j(k) - 3*z(k). Is 32 a factor of q(3)?
False
Let z(y) = -2*y**2 + 10*y + 5. Let f = -11 - -14. Let j(p) = -p**2 + 5*p + 2. Let k(a) = f*z(a) - 7*j(a). Does 13 divide k(8)?
False
Suppose -w - 5*c = -5432, -c - 2320 = -w + 3112. Is w a multiple of 97?
True
Let k(o) = 9*o - 24. Let d be k(4). Suppose -2*j - 538 = -2*m, 10*m - d*m - 3*j = -538. Is m a multiple of 15?
False
Let k(q) = -q**2 - 6*q - 3. Let s be k(-5). Suppose 3*d = -125*g + 122*g + 9, d = 3*g - 9. Suppose 5*p + 3*o = 68, -g*o + 4*o = s*p - 36. Is 16 a factor of p?
True
Suppose -2*l + 2563 = -5*q, -3*l + 4567 = -2*q + 739. Suppose -l = -4*s + 182. Is 