*2. Let v be o(6). Suppose -23 = -3*k + 4*a, -4*k + 3 + 11 = v*a. Is 5 a factor of k?
True
Let n be ((-5)/(-15))/(1/12). Suppose -2*a = -n*x + 1892, -1765 = -3*x + a - 348. Is 29 a factor of 4/16*4 + x/3?
False
Suppose -5*b + 5180 = 5*p, 0 = -4*b - 3*p + 3652 + 491. Is b a multiple of 7?
False
Let h be (-313)/(-2) - 3/(-2). Let n = h - -52. Does 15 divide n?
True
Let n(t) = -8*t**2 + 14 + 5*t + 7*t + 16*t**2 - 6*t**2. Let l be n(12). Let i = 647 - l. Is 26 a factor of i?
False
Let s(a) = 248*a**3 + 5*a - 12. Let f be s(2). Suppose 23*n - f - 11220 = 0. Does 82 divide n?
True
Suppose 15*q - 426 = 9*q. Is 11 a factor of 893 - 1 - (-74 + q)?
False
Let v(w) = -3*w. Let n be v(-1). Suppose -n*s = -2*s. Suppose 0 = -s*k - 5*k + 20, -5*j + 2*k = -67. Is 6 a factor of j?
False
Let d(p) = 6*p**2 - 2*p + 1. Let w be d(1). Suppose 4*z - 4*k = 2*z, 0 = -3*z + 2*k. Suppose n - 5*x = -2*x + 107, z = w*n - x - 549. Does 10 divide n?
True
Let r(v) = -3*v. Let x(t) = -17*t. Let f(q) = 11*r(q) - 2*x(q). Let n = -19 + 35. Is 16 a factor of f(n)?
True
Let c = 69571 - 41235. Is c a multiple of 253?
True
Suppose 5*h = 5*o - 35, -4*h + 60 = 2*o + 2*o. Suppose -9287 - 35107 = -22*g + 1762. Suppose o*k - g = -217. Does 19 divide k?
True
Suppose 0 = 18*z - 12*z - 156. Let j(i) = 13*i + 16. Is j(z) a multiple of 59?
True
Let m(g) = -g**3 - 9*g**2 + 6*g - 59. Let f be -14 - 0/((-9)/(-1)). Is m(f) a multiple of 78?
False
Let r = 993 - -28. Does 7 divide r?
False
Let n(d) = d**3 - 7*d**2 - 23*d + 22. Let m be n(10). Let b = 35 + m. Is 1*(-2 + b)*1 a multiple of 9?
False
Let l be ((-104)/16)/(3/(-6)). Let u(g) = g**2 - g - 50. Let z be u(l). Suppose -3*p + 68 + 90 = -5*h, 2*p - z = 3*h. Is p a multiple of 9?
False
Let g(v) be the third derivative of -5*v**4/12 + 5*v**3/2 + 539*v**2. Let w be (-1 + 3)/((-4)/10). Does 13 divide g(w)?
True
Let g(z) = 231*z**2 + 8*z - 4. Let c be g(-5). Suppose -23*p - c = -25948. Does 17 divide p?
False
Let y(r) = -r**3 - 5*r**2 + 7*r + 8. Let p be y(-6). Suppose 3*j = -t + 104 + 132, 0 = p*t + 8. Suppose 4*o + j = 192. Does 7 divide o?
True
Suppose -380835 = -72*h + 7*h. Is 7 a factor of h?
True
Let c = 914 - 468. Suppose 439*w - c*w + 2625 = 0. Is w a multiple of 25?
True
Suppose 4*h = 2*h. Suppose -6*i + 46 + 50 = h. Suppose 3*a = 3*r + 4*a - 9, -4*a - i = -r. Does 4 divide r?
True
Let n = -21 - 4. Let m = n - -28. Suppose 2*o = m*u - 62, 0*o + 47 = 3*u - 5*o. Is u a multiple of 22?
False
Let z(s) = s**2 + 6*s - 5. Let r(q) = -q. Let i(j) = 2*j**2 + 12*j - 10. Let v(c) = i(c) - r(c). Let y(n) = -3*v(n) + 7*z(n). Does 22 divide y(-7)?
False
Let z(b) = b**3 + 5*b**2 - 14*b + 14. Let j be z(-7). Suppose r = -j + 28. Let q(n) = n**2 - 15*n + 34. Does 10 divide q(r)?
True
Let u(m) = m**3 - 5*m**2 + 7*m - 1. Let j be u(4). Suppose 2*g + 1461 = 5*o, -2*o - j*g = -6*g - 596. Does 10 divide o?
False
Suppose 0 = -24*t + 56*t - 19*t - 45500. Does 28 divide t?
True
Suppose 162 = -162*g + 153*g. Is (-2013)/g - 1/(-6) a multiple of 16?
True
Let i(b) = 22*b**2 + 45*b + 7. Let d be i(7). Suppose t + 0*v - 5*v = 488, -3*t + d = v. Is t a multiple of 26?
True
Let b = -1478 + 1594. Is b a multiple of 116?
True
Let k = 6253 + -4743. Is 7 a factor of k?
False
Suppose -6*o - 11771 - 39919 = -36*o. Is o a multiple of 13?
False
Suppose -t - k = -209, 39*t - 44*t - 4*k = -1040. Is t even?
True
Let p(h) = 17*h + 335. Let n = 523 - 530. Is p(n) a multiple of 6?
True
Let d(t) = 11420*t**2 - 134*t - 130. Is 51 a factor of d(-1)?
True
Let l = 711 - -4889. Does 16 divide l?
True
Let o(p) = p + 3. Let w be o(-3). Suppose w = -15*y + 3403 - 1378. Is 27 a factor of y?
True
Let h(c) = -19*c**2 + 24*c - 5. Let t(x) = 1. Let j(a) = a**2 + 5*a - 25. Let z be j(3). Let f(g) = z*h(g) - 3*t(g). Is f(4) a multiple of 21?
True
Is (-1218)/(4*(-8)/352) a multiple of 231?
True
Let k(a) be the first derivative of 9*a**2/2 + 4*a + 3. Let x(l) = l + 1. Let o(g) = -k(g) + 4*x(g). Does 2 divide o(-1)?
False
Let u(p) = -30*p**3 - p**2 - 2*p. Let n be u(-4). Suppose -662 = -11*f + n. Is f a multiple of 26?
True
Suppose -9*y - 18*y = -324. Let t be -2 + 10 + (-2)/(-2). Let l = t + y. Is l a multiple of 2?
False
Let x be (-20 + 18)*148/8. Let u(g) = 3*g**2 + 86*g + 127. Does 22 divide u(x)?
False
Suppose 8008 = 14*j - 27*j. Does 22 divide 102/7*6 - 352/j?
True
Suppose 2*s - 680 = -8*s. Let p = s + -58. Suppose -6*t - 168 = -p*t. Is t a multiple of 42?
True
Let k be 1/((-16)/(-12)) + 9/4. Suppose i - 20 = 4*j + 4, -k*j = 5*i - 5. Does 40 divide 158 + 2/2 + i + -3?
True
Let l = 124 - -3202. Is l a multiple of 62?
False
Let c(f) = -3*f + 1. Let h be c(2). Let i be -3*h/(25/5). Suppose -3*j + 806 = -5*a, -i*j + 109 = -2*a - 712. Is 35 a factor of j?
False
Let z be (-2 - -2)/((-6 + 26)/(-20)). Suppose 1 = 2*v - 9. Suppose -4*p + x + 53 = z, -v*p + 0*x + 82 = 4*x. Is 2 a factor of p?
True
Let i(a) = 4*a + 13*a - 5 - 4. Let p be (-54)/(-117)*(-156)/(-9). Is 33 a factor of i(p)?
False
Suppose -3*b + 10 = 2*b. Let n be (-24)/(-66) - (-36)/22. Suppose 0 = n*y + 5*z - 89, -4*y + b*z = -2*z - 248. Is 19 a factor of y?
True
Let z(m) = -5*m**2 - 10*m - 26. Let o(p) = -4*p**2 - 9*p - 26. Let b(s) = 6*o(s) - 5*z(s). Let k be b(19). Suppose 8*f = f + k. Is f a multiple of 9?
False
Let s = 6905 - 3631. Is s a multiple of 88?
False
Let w be (-200)/14 - 6/(-21). Let t = 156 - 116. Is 6 a factor of (-14)/4*t/w?
False
Let f(b) = -b**2 + 46*b + 369. Is f(36) a multiple of 7?
False
Let i = 14230 - 12872. Is 14 a factor of i?
True
Suppose 0 = -u + 8*t - 7*t + 602, 0 = u + t - 594. Is u a multiple of 2?
True
Let p = 2570 - 2534. Does 36 divide p?
True
Let u = -15 - -69. Let x = u + -210. Let p = 261 + x. Is p a multiple of 13?
False
Let a = 596 - -120. Let w be (-10)/50 + -2 + a/5. Suppose 4*l - w = x, -3*l - x = -2*x - 105. Does 16 divide l?
False
Let j(s) = -483*s - 2154. Does 12 divide j(-68)?
False
Let t(b) = b**3 - 3*b**2 - 3*b + 10. Let k be t(4). Suppose -k*v + 152 = -10*v. Let l = -10 + v. Does 7 divide l?
True
Let r be -942 + (0/(-5))/3 - -5. Let k = r - -1457. Is 65 a factor of k?
True
Let j(s) = s**2 + 6*s - 70. Let k be j(-12). Is 3 a factor of 5 - -46 - k - 4?
True
Let m = -85 - -22. Is 14 a factor of (-1590)/(-14) - (108/m)/4?
False
Suppose -3*j - 16 = -4*s, -j = -2*s + 7 - 1. Let d = j + 56. Suppose -i + 35 = 8*g - 7*g, -2*g + 4*i = -d. Is g a multiple of 16?
True
Suppose -2*x = -45 + 39. Suppose -q + 2128 = 3*b + 3*q, -3*q + x = 0. Is b a multiple of 11?
False
Suppose 5*d = -2*f + 20708, -4*f + 34*d - 39*d + 41456 = 0. Is 21 a factor of f?
True
Let k(o) = 224*o**2 - 445*o + 1804. Is 44 a factor of k(4)?
True
Let b(i) = -i**3 - 5*i**2 - 7*i - 52. Does 26 divide b(-6)?
True
Suppose 4*p + 26 = -3*h, 22*p + 78 = -5*h + 24*p. Does 6 divide (-2619)/(-21) + -5 - h/49?
True
Let v be -1*10/(-2) + (0 - 0). Suppose v*k + 14 = 4*k + 2*o, -5*o = 2*k + 37. Is (k/5)/(14/(-35)) a multiple of 3?
False
Suppose 5*h - 4765 = 2*z, 5*z - 2*z = 3*h - 2850. Is 69 a factor of (-2)/(-8) - h/(-4)?
False
Let z(v) = -322*v + 79. Let p be z(-7). Suppose 9*q - p = -335. Is q a multiple of 5?
False
Suppose 9*y + 129 = 183. Let b(o) be the second derivative of -o**5/20 + 7*o**4/12 - 2*o**2 - 2*o. Does 3 divide b(y)?
False
Let z be (-4024 - 9)/(3/(-3)). Is 4 a factor of (2 + (2 - 2))*z/74?
False
Let q(u) = 8*u - 18. Let x(f) = -7*f + 17. Let n(c) = 3*q(c) + 4*x(c). Let p be n(-8). Suppose 0 = -5*r + 10, -3*d + p = 5*r - 3*r. Does 3 divide d?
False
Suppose 0 = -4*q - 4, 4*q = -w + 5 - 6. Suppose -8 + 7 = s, -w*j = 3*s - 489. Is 50 a factor of j?
False
Let q be 3/24*2206 + 1/4. Suppose -792 = -6*l + q. Let f = -110 + l. Is 12 a factor of f?
False
Suppose 0 = 1550*a - 1517*a - 475469 - 495292. Is 240 a factor of a?
False
Let v be (-1415)/(-1) + 4 - -1. Suppose -g - 1067 = -3*s + v, 3*s - 2493 = 3*g. Is s a multiple of 36?
True
Suppose 2*c + 4 = -g - 0, -2*c - 2 = 0. Let z be g/((-1)/17*2). Let v(p) = -p**3 + 17*p**2 + 6*p - 17. Is v(z) a multiple of 8?
False
Suppose 0 = -38*c + 25331 + 16507. Is c a multiple of 2?
False
Suppose -q + 1429 + 551 = 0. Is q a multiple of 10?
True
Let m(c) = -465*c**3 + 39*c**2 + 118*c + 41. Does 85 divide m(-3)?
False
Let v = -330 + 325. Is 17 a factor of 1 + (-13576)/(-40) - (-2)/v?
True
Suppose 3*h = i -