- 12. Let o be n(2). Suppose -r - o*r + 2890 = 0. Does 17 divide r?
True
Does 87 divide 0/7 + 15737 + 60/6?
True
Let q(n) = 14*n**2 + 17*n - 111. Is q(25) a multiple of 168?
False
Let u be 0 - 0*(-5)/(-10). Suppose 2*k + r - 19 = u, r - 49 = -5*k - 0*r. Suppose 65 = -9*o + k*o. Is o a multiple of 13?
True
Let u(t) = 74*t**2 - 3*t + 137. Does 80 divide u(-9)?
False
Let t(j) = -j**3 + 5*j**2 + 3. Let z be t(5). Suppose 3*r - 27 - 28 = -n, -4*n - z*r + 184 = 0. Does 7 divide n?
False
Let m(v) be the first derivative of -v**4/4 - 7*v**3/3 + 4*v**2 + 11*v - 17. Let r be m(-8). Let y = r + 70. Does 51 divide y?
False
Let h(k) = 188*k + 543. Is 6 a factor of h(16)?
False
Let x(v) = 615*v - 378. Let s(c) = -205*c + 125. Let w(f) = -11*s(f) - 4*x(f). Is 29 a factor of w(-4)?
True
Is 9 a factor of (-30)/((-152433)/(-15246) - 10)?
False
Let k = 16 - 12. Suppose -23*l + 27*l = -k*b + 768, -3*b + l + 592 = 0. Is b a multiple of 19?
False
Let t be (-1446)/10 - (-7)/(175/(-10)). Let a = t - -278. Is a a multiple of 45?
False
Let g = -2820 - -771. Does 3 divide g/(-12) - (-1)/4?
True
Suppose s + 9*b = 10*b + 6941, 13847 = 2*s + 5*b. Is 12 a factor of s?
True
Suppose 10 = l + 23. Let t(a) = a**3 + 13*a**2 + 13*a + 3. Let g be t(l). Let v = g + 247. Does 25 divide v?
False
Let y = 6281 - 1155. Is 9 a factor of y?
False
Suppose 8*h + 5 = -35. Does 3 divide ((-240)/h)/6*5?
False
Let r(j) = -4*j**3 + 9*j**2 + 86*j + 76. Does 13 divide r(-9)?
False
Let c be -21*(1888/(-84) - 2/3). Let r = c + -121. Let a = r + -252. Is 21 a factor of a?
False
Let k(l) be the first derivative of 101*l**2/2 + 177*l + 22. Does 7 divide k(7)?
False
Let a be (95/(-57))/((-1)/717). Suppose -4*i - 1 = -13, a = 4*k + i. Does 16 divide k?
False
Suppose -3*v = -4*u - 7276, 2841*v - 2839*v - 4846 = -2*u. Is v a multiple of 6?
True
Suppose -252*j - 130320 = -272*j. Is 36 a factor of j?
True
Suppose s - 4*z = -4, 15 = 5*s - 3*z + 1. Suppose q - h - 23 - 19 = 0, -3*q - s*h + 154 = 0. Is q a multiple of 27?
False
Let s = 128 - 433. Let q = s + 172. Is 3 a factor of 8/36 + q/(-9)?
True
Let k = 2064 - -27. Does 128 divide k?
False
Let f = 34730 + -16652. Is f a multiple of 138?
True
Let l be (3 + 0)/(3*1/3). Let f(a) be the third derivative of 5*a**4/2 - 3*a**3/2 + 7*a**2. Is f(l) a multiple of 19?
True
Suppose -3*g = q - 818, 5*g - 3256 = -4*q + 9*g. Let s = 819 - q. Is 2 a factor of s?
True
Let k = -1993 - -4908. Does 27 divide k?
False
Let h = -8020 + 10225. Does 21 divide h?
True
Suppose -5*m = 253 + 352. Let j = m - -73. Let o = j + 112. Is o a multiple of 19?
False
Let u be (-3021)/2 + 4/8. Let r = 2226 + u. Is r a multiple of 8?
False
Suppose 1054*x + 95326 = 1076*x. Is 10 a factor of x?
False
Suppose -15*q + 96543 + 72859 = -187028. Does 218 divide q?
True
Let v be (-58)/(-5) - 18/30. Suppose 5*g - 2740 = 2*f, -v*g - f + 2755 = -6*g. Is g a multiple of 50?
True
Let u(c) = -480*c + 2576. Does 16 divide u(-114)?
True
Let q = 1861 - -4103. Does 5 divide q?
False
Let a(p) = -7*p**2 + 9*p + 2. Let z be a(-3). Let t be z - (-5)/10*6. Is -3 + 4 + -1 - t a multiple of 14?
False
Suppose 0*o = -3*o + 17820. Suppose 20*u = 2*u + o. Does 15 divide u?
True
Let c(z) be the third derivative of z**5/10 - 17*z**4/24 + 14*z**3/3 - 2099*z**2. Suppose 0*b = 2*b - 14. Is 29 a factor of c(b)?
True
Suppose -7*q - 4*q = 165. Is (401/3)/(((-25)/q)/5) a multiple of 49?
False
Let i(b) = b**2 + 12*b - 41. Let s be i(-15). Suppose -w + 15 = -3*a, -s*a + 13 = 3*w - 32. Does 5 divide w?
True
Let s = 2074 - -3902. Does 29 divide s?
False
Suppose k = -5*k + 36. Does 8 divide k - 588/18*-15?
True
Let y = 13 - 1. Let t(x) = x**2 + x + 1. Let r be t(y). Let z = r + -105. Does 9 divide z?
False
Let c = -254 + 313. Suppose -4*k + 67 = -3*k + 3*i, -i + c = k. Is k a multiple of 2?
False
Suppose 4*b + 0*j = -5*j + 3580, -5*j = b - 880. Is b/(-30)*(-20)/(-6)*-4 a multiple of 4?
True
Let n = 11340 + -4573. Is n a multiple of 67?
True
Suppose -53*d + 55*d - 4*r = 9980, -14956 = -3*d - r. Is 62 a factor of d?
False
Suppose -3*u + u = -3*h + 31, 3*u - h = -29. Let o(w) = -w**2 + 18*w + 17. Let z be o(-13). Is 9 a factor of z/u - 9/36?
False
Let u = 644 - 35. Let d = -546 + u. Is d a multiple of 6?
False
Does 134 divide (1/(-5))/(3/15) - (-57900)/12?
True
Does 30 divide (-2308380)/(-270) - (60/(-27))/5?
True
Let c be 7/(-1)*54/63. Let d be ((-6)/(-4))/(c/(-36)). Suppose 0 = -4*o + 20, 0 = 5*i + d*o - 4*o - 155. Does 6 divide i?
False
Let w(h) = 5*h + 19. Let s be w(-12). Let r(i) = -i**3 + 11*i**2 + 4*i + 24. Let y be r(12). Let a = s - y. Is 7 a factor of a?
False
Let u = 58 + 0. Suppose 3*j - 21 = 10*j. Is u/(j - -4) + 1 a multiple of 11?
False
Let o = 2115 - -2897. Is 3 a factor of o?
False
Let n = 20059 - 951. Is n a multiple of 64?
False
Let y(p) = -p**3 + 55*p**2 - 39*p - 98. Does 219 divide y(26)?
False
Let z(a) be the second derivative of -5*a**3/6 + 4*a**2 - 4*a. Let l be z(-4). Suppose 3*u - 3*i + l = 154, -168 = -4*u - i. Does 25 divide u?
False
Let n(g) = 3*g**3 + 25*g**2 + 12*g + 7. Is n(6) a multiple of 4?
False
Does 300 divide (-12)/(-138) - 57447675/(-1587)?
False
Suppose -y - 4*y = -15. Suppose -3*q - 6 = -3*l, 2*q + 4*l = -y*q - 55. Is 47 a factor of ((-2)/5)/(q/1645)?
True
Let m(v) = 30*v - 25. Let a(j) = j. Let p = 17 - 16. Let z(r) = p*m(r) - 25*a(r). Is z(10) a multiple of 6?
False
Let y = 9992 - -33496. Is y a multiple of 18?
True
Let p(t) = 3*t**2 + 45*t - 307. Is p(26) a multiple of 11?
False
Let h(u) = -u - 9. Let p be h(-9). Suppose 2*z = -0*a - 2*a + 8, -4*a + 8 = p. Is (-201)/(-5) + z/(-10 + 0) a multiple of 5?
True
Let w(k) = 6*k**3 - 40*k**2 + 3*k - 110. Is w(7) even?
False
Let l(s) = 302*s + 6. Let c be l(-2). Let a = c + 1102. Is a a multiple of 36?
True
Does 24 divide (-4)/32 + (-2530909)/(-424)?
False
Suppose -2*r = -0*t - t - 1319, r - 5*t = 682. Let o = r + -457. Is o a multiple of 14?
False
Let o(v) = 0*v**2 - 2*v + 35 - v - 4*v + 2*v**2. Is 8 a factor of o(11)?
True
Let o be (-32)/(-128) - 1/4. Suppose -5*c + 4*i - 5*i + 22 = o, -3*c + 16 = 2*i. Suppose -2*h + 3*s + 184 = 0, 0 = c*h + 2*s - 256 - 112. Is h a multiple of 18?
False
Suppose -5*c = g - 121240, 7*c - 70194 - 99555 = -4*g. Is 362 a factor of c?
False
Let v(u) = 10*u**2 + 9*u - 12. Suppose 4*c + 3*a + 25 = 2*c, -4*c = 2*a + 30. Does 13 divide v(c)?
False
Let x = -934 + 2856. Let t = x + -569. Is t a multiple of 18?
False
Let l be ((-6)/(-4))/(21/98). Suppose 0 = 8*p + l*p - 3075. Does 10 divide p?
False
Suppose -32*j = -37*j + 5080. Let v = -56 + j. Is v a multiple of 48?
True
Let v = 18 + 774. Suppose 5*d - 1020 = l, 4*d + 9*l - v = 5*l. Let s = d + -27. Does 22 divide s?
True
Suppose d + 2*d - 14 = -x, 5*d - 34 = -3*x. Suppose 0 = 5*f - x*f. Suppose f*g = 2*g - 56. Is g a multiple of 5?
False
Let o(w) = 210*w + 210. Let d(u) = -4*u + 13*u + 7 - 2*u. Let m(n) = 182*d(n) - 6*o(n). Does 17 divide m(10)?
False
Let b(i) = i**2 + 7*i + 12. Let f be b(-6). Suppose 0 = -7*q - f*q - 2275. Is (q/55 - 2/(-11))*-14 a multiple of 8?
False
Let t(i) = i**3 - 18*i**2 + 4*i + 12. Let r be t(5). Let w = -161 - r. Does 3 divide w?
True
Suppose -2*l - q + 947 = 0, -5*l + 3579 - 1239 = -3*q. Let w = 826 - l. Suppose -336 = -4*c - k + 169, 4*k + w = 3*c. Is 9 a factor of c?
False
Let f = -303 + 344. Suppose 0 = 3*o - 2*c - 18, 0 = 4*o - c - 70 + f. Is 4 a factor of o?
True
Let z be (2 - -1) + -3 + 9. Suppose -5*a + 195 = -5*q, -4*q = -a - z + 57. Let d = a + -18. Is 18 a factor of d?
True
Let q(u) = -u**2 + 21*u - 37. Let o be q(15). Suppose 4*m - 53 - o = -5*t, 4*t - 8 = 0. Is (96/1)/(-1)*(-18)/m a multiple of 7?
False
Suppose -25578 = -15*v + 35262. Is 29 a factor of v?
False
Suppose 5*n - 4842 - 5814 = 4*x, 2*x = 3*n - 6392. Is 112 a factor of n?
True
Suppose -b + 125 = -5*o - 194, -586 = -2*b - 3*o. Let c = 597 - b. Is c a multiple of 9?
False
Let w(i) = -i**2 + 23*i - 122. Let n be w(9). Let d = -22 + 17. Is ((-80)/3)/n*48/d a multiple of 5?
False
Suppose 2*s - l = 24, 5*s + l = 55 + 12. Suppose -3*o - 17*o - 35*o = -6435. Let y = o + s. Is y a multiple of 20?
False
Let v = 4084 + 350. Does 6 divide v?
True
Let m = -206 - -204. Is ((-4)/8)/((6/m)/354) a multiple of 8?
False
Let b(m) = 13*m**3 - 13*m**2 - 14*m**3 + 13*m + 3*m**2 - 71. Is b(-13) a m