 - 20. Let p be t(-9). Let q be l(p). Suppose -q*o + 220 = -o. Is 15 a factor of o?
False
Let j = -3735 - -4559. Is 103 a factor of j?
True
Let h(u) = -u**2 + u + 6. Let w be h(-2). Suppose -3*k + 1224 = 5*r, 0 = 3*r - 3*k - w*k - 720. Is r a multiple of 27?
True
Let y(v) = -v + 1. Let d be y(-1). Let p(h) = -2*h**3 + 2*h**2 - 4*h + 9. Let o be p(0). Is d/(-6) + 282/o a multiple of 9?
False
Suppose -8677*z = -8667*z - 582930. Does 153 divide z?
True
Suppose 10372 = j - o, 3*j + 1841*o - 31144 = 1840*o. Is 96 a factor of j?
False
Let i(w) be the first derivative of -8 + 17*w - 1/4*w**4 + 3*w**3 + w**2. Is i(7) a multiple of 33?
False
Let u be (-2)/(-7) - ((-60489)/(-7))/(-13). Suppose 0 = -f + u - 231. Is 16 a factor of f?
False
Let s(o) = o**3 + 2*o**2 - 3*o - 4. Let b be s(-3). Let u(n) = n + 7 + 6 + 30*n**2 + n**3 - 26*n**2 - 4. Is 4 a factor of u(b)?
False
Suppose -4*y - 3 = -4*s + 17, -4*s - 1 = 3*y. Suppose s*d - 4*i = 696, 4*d + i = 6*i + 1380. Does 24 divide d?
False
Let d be ((-30)/(-25))/(8/580). Let l = d - -237. Is l a multiple of 18?
True
Let p(j) = 227*j**2 + 19*j - 45. Does 116 divide p(10)?
False
Suppose 0 = 10*a - 83 + 283. Does 32 divide (-9604)/(-20) - (-4)/a?
True
Let m = -7833 + 11589. Suppose 3780 = 4*c + 5*i, 4*c + 4*i - m = 5*i. Is c a multiple of 51?
False
Let o = 10248 - 9558. Is o a multiple of 30?
True
Let m be 790 - (-3)/9*15. Let x = -392 + m. Does 13 divide x?
True
Suppose 7*i - 5*j = 11*i + 2002, -5*i - 4*j - 2498 = 0. Let n = -218 - i. Is 8 a factor of n?
True
Let w(m) be the first derivative of -m**3/3 + 5*m**2/2 - 2*m - 4. Let d be w(2). Suppose -d*r + 4*k = r - 659, 5*r - 691 = -4*k. Is r a multiple of 26?
False
Let c(v) = 19*v + 114. Let b be c(-5). Suppose -9*s - 360 = -b*s. Is 6 a factor of s?
True
Let c be (-34)/(-8) - 4/96*6. Let b be c/(-2)*(-145)/58. Suppose 0 = 3*z - 3*n + b*n - 264, -415 = -5*z + 5*n. Is z a multiple of 43?
True
Suppose -167755 - 575399 = -115*r + 20446. Does 10 divide r?
True
Suppose 6*l - 198 = 618. Does 8 divide (105/(-70))/((-3)/l)?
False
Let c be (1 + (-3)/5)*(116 + -126). Is 20 a factor of c/22 - ((-120175)/121 - 7)?
True
Let y(a) = a**2 + 5*a + 39. Let f = -119 - -106. Is y(f) a multiple of 13?
True
Let h(c) = 13*c**2 + 6*c + 17. Let v be (-9 + 6 - 5) + (6 - 1). Is 4 a factor of h(v)?
True
Let s = -337 + 349. Suppose 4*d + 3*i = 1630, 4*d - s*i = -17*i + 1634. Is 6 a factor of d?
False
Suppose 44*p + 240720 = 95*p. Does 5 divide p?
True
Let g = -139 + 66. Let c = 84 + g. Suppose -2*u + 29 = y + 4*y, -u + y = -c. Is u even?
True
Let g(f) = -322*f - 34. Let r be g(2). Is 29 a factor of (-1 - 4/(-12))*r?
False
Let a be (-3 - (-42)/12)*0. Suppose 2*t + 5*h - 736 - 183 = 0, -4*t + 4*h + 1852 = a. Is t a multiple of 33?
True
Suppose -5*r = 3*x - 9972, -19*r = -14*r - 15. Suppose k + x = 4*z, 2179 = 4*z + 5*k - 1170. Does 17 divide z?
False
Let a be (-1)/(7/(-400)) + (-15)/105. Suppose m + 35 = 2*y, 3*m = 3*y - a + 9. Is y a multiple of 16?
False
Let i be 6/(-12)*(-1 - 302/2). Let b = i + 41. Is b a multiple of 30?
False
Let y = 242 - 248. Is 4/y + (9 - (-221)/3) a multiple of 2?
True
Suppose 5390 + 10582 = 2*r. Is r a multiple of 22?
True
Let q(w) be the first derivative of -w**6/360 - 11*w**5/120 + w**4/12 - 2*w**3/3 + 5. Let s(o) be the third derivative of q(o). Is 5 a factor of s(-7)?
True
Suppose 9*b + 9472 - 31109 = 13031. Does 58 divide b?
False
Let t be 2/(-6) - ((-575)/15 - -6). Let i = t + -10. Suppose 2*y - i = -b, b - 4*y = -y - 3. Is 4 a factor of b?
True
Is (-19)/(152/176) + 69848 a multiple of 118?
False
Suppose 2 = 4*d - 50. Suppose 0 = 36*b + 3704 + 256. Let z = d - b. Is z a multiple of 19?
False
Let o(x) = 43*x**2 - 3*x + 10. Let y(a) = 4*a**3 - 2*a**2 - 8*a - 6. Let m be y(-1). Does 34 divide o(m)?
False
Let p(q) = 3*q**2 - 3*q - q - q**3 - 3*q + 3*q**2. Let n be p(4). Suppose l - n = -0*l + 4*m, m - 19 = -l. Does 2 divide l?
True
Let j = 179 + -80. Suppose 3*p = -2*h + j, -p + 14*h = 18*h - 43. Is p a multiple of 3?
False
Suppose q - 3*q + 12*q - 217310 = 0. Is 18 a factor of q?
False
Let u = -29950 + 50558. Does 322 divide u?
True
Is 15 a factor of (-3)/(-2)*(8 + 78272/96)?
False
Let k = 190 - -326. Suppose -12*z = -15*z + k. Is z a multiple of 28?
False
Suppose -6 = c - 3*c. Let j be c/(1/(-4 - -113)). Suppose 0 = -z - 5*v + 70, 2*z + 2*v - j = -3*z. Is z a multiple of 11?
False
Suppose -m - 5*m = 18. Does 13 divide (-1068)/m + 0 + 0?
False
Let s = 194 - 173. Is 3 a factor of 2/(-3)*-26*s/28?
False
Let l(o) = 535*o**2 + 1. Let x be l(2). Suppose -p - 741 - 870 = 3*h, x = -4*h + p. Is 16 a factor of (-4)/(-6) + h/(-24) + 0?
False
Suppose 0 = -124*i + 125*i - 5*b - 17370, -52086 = -3*i + 3*b. Is i a multiple of 112?
True
Let x(t) = t**3 + 5*t**2 - 5*t + 3. Let a be x(-6). Let u = -34 + a. Let j = 67 + u. Is j a multiple of 15?
True
Suppose -3*r + 5*b = -34, 4*r + 0*b - 7 = -b. Suppose 2*f = r*p - 432, 4*f + 718 = 4*p + p. Is p a multiple of 4?
False
Suppose 4*j = -2*m + 16, -5 = -j - 3. Suppose -2*u + m*y = -208, u - 2*y + 7*y - 90 = 0. Is 7 a factor of u?
False
Let z(r) = 2014*r + 1671. Is z(21) a multiple of 45?
True
Does 89 divide ((-2306)/40 - 50/500)/(3/(-712))?
True
Suppose -10*w + 5207 = 5*n - 13*w, w = -n + 1043. Does 3 divide n?
False
Suppose -5*a + 2 = -6*a + k, 3*a = -k + 2. Let s(w) = -3*w + a - 13 - 12*w. Is s(-7) a multiple of 18?
False
Suppose 0 = -2*d + n - 7, -5*d - 63 + 8 = 5*n. Let a(b) = 1. Let c(i) = 2*i - 2. Let m(q) = -3*a(q) - 2*c(q). Is m(d) a multiple of 5?
True
Suppose 83*r = 977245 - 280045. Is 48 a factor of r?
True
Let s(g) = g**3 + 49*g**2 + 180*g + 2. Let x be s(-45). Let w(v) = 91*v**3 - v**2 + 9. Is 21 a factor of w(x)?
False
Let b(t) = t**3 - 3*t**2 - 4*t + 5. Let n be (-6)/39 - -2*(-164)/(-104). Let c be b(n). Let o(q) = -25*q + 9. Is o(c) a multiple of 39?
False
Suppose 0 = 40*s - 320805 - 152643 + 44688. Is 9 a factor of s?
True
Suppose 3*f = w - 10410, -3*w + 26*f - 29*f = -31278. Does 25 divide w?
False
Suppose 0 = -8*n - 3 + 67. Suppose n*o - 884 - 1332 = 0. Is o a multiple of 15?
False
Let k = 182 + -72. Suppose -l = -4*v - k + 9, 4*v - 133 = -l. Does 13 divide l?
True
Let b be (4724/120 + (-6)/(-45))*-10. Let r = 643 + b. Does 4 divide r?
True
Suppose 0 = -5*y - 5*h + 4*h + 15423, y = h + 3087. Is y a multiple of 14?
False
Let x = 51 - 82. Let l = x - -35. Suppose 4*o - 72 = 4*z, l*o + 3*z - 19 = 67. Is o a multiple of 4?
True
Let u be ((-8)/(-3))/(3/144). Let g be 5/((27/(-30))/9). Let l = g + u. Does 9 divide l?
False
Suppose 11*y + 2*y - 107712 = 2*y. Is y a multiple of 32?
True
Let j = 38 + 8. Suppose -j*v = -32*v - 2898. Is v a multiple of 9?
True
Suppose -2*b + 8126 = 4*z, -43*b + z = -37*b - 24456. Does 30 divide b?
False
Let b = -149 - -155. Let g(t) = 4*t + 21. Is 3 a factor of g(b)?
True
Suppose -31319 = -7*z + 21811. Does 55 divide z?
True
Let i(k) = k + 26. Let c(w) = 3*w + 50. Let q(l) = -2*c(l) + 5*i(l). Is 8 a factor of q(-9)?
False
Let d = -6 - -28. Suppose -11*c + d*c = 1023. Is 7 a factor of c?
False
Let m = -16 - -16. Let s be m + (-3 - -2 - -6) + -1. Suppose 4*k - 536 = -s*n, -3*k + 7*n = 2*n - 386. Does 28 divide k?
False
Suppose -561 = -10*g + 329. Let m = 483 - g. Is 8 a factor of m?
False
Suppose -3*c + 23 + 47 = -2*z, c = -2*z + 18. Suppose -14*o - 512 = -c*o. Is o a multiple of 64?
True
Let h = -55 + 166. Suppose -5*z = -807 - 273. Suppose -114*d + z = -h*d. Is 24 a factor of d?
True
Suppose 100204 = 6*c - 145196. Is 20 a factor of c?
True
Let d(m) = m**2 + 11. Suppose -8 = 4*z - 0*z, -3*z = -3*p - 36. Is 23 a factor of d(p)?
True
Suppose -3*u + 4*j + 6286 = 0, 5*u + 2*j - 5376 = 5066. Does 22 divide u?
True
Does 22 divide 4*(1937 - (10/(-8))/(5/(-2)))?
False
Suppose -18213 = -3*a + 10491. Suppose -5*d = -28*d + a. Is d a multiple of 48?
False
Does 70 divide ((-14)/(-12) - (75/(-9) + 9))*8282?
False
Let s be (0 - 0) + -1 + -195. Let j(c) = -7*c**2 - 5*c + 75. Let u be j(7). Let r = s - u. Is r a multiple of 12?
False
Let i = 69 + -59. Suppose i*z - 11*z + 117 = 0. Is z a multiple of 5?
False
Suppose 0 = -2*g + 206 - 58. Suppose 0 = g*k - 49*k - 1325. Is 9 a factor of k?
False
Let n = -1212 + -72. Let x = -330 - n. Does 15 divide x?
False
Let z = 41 - 43. Let n be z - ((-447)/7 + (-4)/28). S