*g(v) + y(v). Is 12 a factor of o(5)?
False
Suppose -42*b = -30*b - 4596. Let r = 692 - b. Is 9 a factor of r?
False
Let c be (-213)/27 + 42/(-378). Is 14 a factor of 1711 + c - ((-36)/(-3))/3?
False
Let u(r) = -114*r - 14563. Is 76 a factor of u(-148)?
False
Let g(w) = w**2 + w + 12. Let y be ((-1)/(-2)*-6)/((-3)/12). Is 16 a factor of g(y)?
False
Let z = -493 + 538. Does 9 divide z?
True
Let q(c) = 15*c**2 + 3*c + 14. Let a be q(-10). Suppose u = 4*x - 5980, 0 = -3*x + 4*x - 3*u - a. Does 88 divide x?
True
Let h(v) be the third derivative of 9*v**5/20 + 5*v**3/6 - 2*v**2 - 15*v. Is h(-5) a multiple of 10?
True
Suppose 5*b - 142957 = -3*y, -12*y = b - 17*y - 28625. Is 95 a factor of b?
True
Let b(n) = n**2 - 19*n + 44. Suppose 5*p + 3 - 13 = 0. Suppose 0 = -d + p + 17. Is b(d) a multiple of 22?
True
Let q(m) = -m**3 + 11*m**2 - 7*m - 30. Let z be q(10). Suppose 3*c + 2*p - 1293 = -z*c, c - 426 = p. Does 27 divide c?
False
Suppose 2*h - 2*n - 5262 = 1628, -5*n = 3*h - 10319. Is 23 a factor of h?
False
Suppose 2*k - 3*r + 189 = 0, -11*k - 5*r + 375 = -15*k. Is k*(1/3 - 5) a multiple of 10?
True
Let l be (2 + 16)/((-17)/(-17)). Suppose 0 = -l*r - 13*r + 3906. Is r a multiple of 21?
True
Let t(x) = 7*x**3 - 19*x**2 + 97*x - 1028. Is 32 a factor of t(10)?
False
Let k(b) = -b**3 - 15*b**2 + 19*b - 1. Let q be k(-16). Let g = q + 76. Is -1 + g + 30/10 a multiple of 4?
False
Let i(u) = 11*u**2 + 221*u - 65. Is 21 a factor of i(26)?
False
Let q = -140 + 44. Let u be (q/120)/(2*1/10). Let l = u - -19. Is 2 a factor of l?
False
Let u(l) = l**2 - 33*l - 169. Suppose -5*b - 3 + 28 = 0, 148 = 3*f + 5*b. Does 11 divide u(f)?
False
Suppose -3*g - 1 = -4*w - 95, -3*w - 4*g = 58. Let z be 1/(((-7)/(-92))/7). Let m = z + w. Is 10 a factor of m?
True
Let m be (-3)/(-9) - 80/(-30). Suppose 15 = -m*w - 129. Let q = w - -119. Does 25 divide q?
False
Suppose -3*r - 4 = 44. Let z(y) = -y**2 - 18*y - 35. Let v be z(r). Let w = v - -27. Does 24 divide w?
True
Let n be ((-121)/(-308)*7)/((-1)/32). Is (n - -1)*(-20)/15 a multiple of 54?
False
Let w(x) = -x**3 - 4*x**2 - 2*x + 2. Let k be w(-2). Let r(n) = -3*n - 4. Let b be r(k). Is 37 a factor of (-292)/(-8) - b/(-4)?
True
Suppose 0 = 4*x - 4*h - 268, 8*x - 11*x + 2*h = -201. Suppose 0 = -37*f + x*f - 18900. Does 9 divide f?
True
Suppose 17*v - 11815 = 3*v + 16409. Does 32 divide v?
True
Let m(s) = 4*s - 48. Let z be m(16). Is 14 a factor of z/32 + (-2294)/(-4)?
True
Suppose 7*d = 818 - 69. Let m = -34 + d. Suppose -11 = -6*q + m. Is q a multiple of 3?
False
Suppose 5 = -3*j - 2*p, 2*j + p = 11 - 15. Let z be (2/j)/((-3)/396). Let y = z + 10. Does 14 divide y?
True
Let v = 64 - 37. Suppose -7 - v = 2*a. Let j(q) = q + 33. Is j(a) a multiple of 8?
True
Suppose -m - q - 33 = 3*m, -4*m - 48 = -4*q. Let o be (1 - 66/5)/(m/45). Suppose -2*z + o = 11. Does 15 divide z?
False
Let a = -348 + 353. Suppose a*z - 289 = 601. Does 11 divide z?
False
Suppose 17*l - 640 = -79. Let y = 11 + l. Does 25 divide y?
False
Let x(a) = -12*a - 4. Let b be 32/4*-1 + 3. Does 28 divide x(b)?
True
Let m = -74 - -67. Let t = -2 - m. Suppose 56 + 89 = t*o. Does 2 divide o?
False
Let a(s) = 306*s**3 - 2*s**2 - 6*s - 7. Let m(p) = -306*p**3 + 3*p**2 + 6*p + 7. Let o(d) = -5*a(d) - 4*m(d). Is 20 a factor of o(-1)?
False
Let l(x) = 32*x**2 - 17*x + 28. Let j = 7 - 3. Is l(j) a multiple of 59?
True
Let f(h) = -3*h**2 + 10*h - 12. Let i(w) = 4*w**2 - 9*w + 13. Let o(y) = 5*f(y) + 4*i(y). Let v(x) = -x - 7. Let g be v(8). Is o(g) a multiple of 3?
False
Suppose 153 = 3*g - 3*t, 2*t - 23 - 16 = -g. Let d = -32 + g. Is 16 a factor of (-9)/(-6)*320/d?
True
Let k be ((-9)/(-5))/(7/35). Suppose -k*u + 2592 = -3*u. Is 6 a factor of u?
True
Suppose 2*z = 4*c - 16, -4*z - 18 = 2*c - 3*c. Suppose -3*w = -3*u - c*w + 17, u - 4*w - 24 = 0. Suppose -5*q = -u*q - 27. Is 3 a factor of q?
True
Let f(r) be the first derivative of r**6/360 + r**5/120 + r**4/6 + 29*r**3/3 + 12. Let n(u) be the third derivative of f(u). Is n(4) a multiple of 4?
True
Suppose -66822 = -18*d - 25*d. Suppose 25*l - 3571 = d. Is l a multiple of 14?
False
Suppose -3*n + 115 = 2*n. Suppose -3 = w, -n = -s - 4*w - w. Is 49 a factor of 2124/14 + s/(-14) + 3?
False
Let z(n) = 2628*n - 3132. Is z(6) a multiple of 78?
True
Let h(w) = -w**2 + 11*w - 22. Let l be h(9). Let r be l/6 + 1065/45. Suppose 0 = -2*y + 31 + r. Does 8 divide y?
False
Let n = 50 - 85. Let l be (-2)/(-7) - 95/n. Suppose 4*s - 354 = -5*b, l*b - 352 + 138 = -4*s. Is 8 a factor of b?
False
Suppose 227*t + 26532 = 233*t. Is 67 a factor of t?
True
Suppose -17734 = -3*v + 4*p, 20*v = 16*v + p + 23641. Does 15 divide v?
True
Let m(x) = x**2 - 7*x + 13. Let u be m(5). Suppose -3*q + u*z - 7*z = -20, z - 10 = -2*q. Suppose 4*y - 56 = -q*o, -4*y + 16 = -5*o - 22. Is y a multiple of 6?
True
Let w = 680 + 527. Is w a multiple of 17?
True
Let n be (-135)/2 + (-6)/12. Let j(f) = -2*f**3 + 14*f**2 + 6*f - 32. Let w be j(6). Let y = n + w. Is y even?
True
Let y = 2272 + 1853. Is y a multiple of 36?
False
Let d(w) be the second derivative of w**4/2 - 5*w**3/6 + 21*w**2/2 - 26*w. Let h be d(3). Suppose 42 = 6*m - h. Does 13 divide m?
False
Let j = -9243 - -13158. Does 45 divide j?
True
Let o be (-17)/34*(0 + -4). Suppose -3*y - o*c + 80 = 0, -y - 4*c = -0*y - 10. Does 5 divide y?
True
Suppose -30*p + 22122 + 20898 = 0. Is p a multiple of 3?
True
Let y be (4/18)/((-2)/(-18)). Is 11 a factor of 68/51 - y/((-12)/1354)?
False
Let i be (4 - (-21)/(-3))/((-3)/4). Suppose -i*w - 120 = -4*q, -35 = 2*w - 5*q + 13. Does 9 divide 1712/26 + w/(-221)?
False
Let o be (-1)/(-3*(-2)/6). Let c(u) = -15*u + 2. Let l be c(o). Suppose -l - 3 = -2*k. Is k a multiple of 2?
True
Let k be (2 - 0)*4*(-30)/(-48). Suppose k*f - 25 = 0, -p + 4*f + 62 - 27 = 0. Is p a multiple of 11?
True
Is ((-22446)/(-12))/(4/8) a multiple of 43?
True
Suppose 38*m - 2*r + 130554 = 42*m, 5*r = m - 32589. Does 18 divide m?
True
Let f be ((0 + -3)/(-1) - 3)/(-2). Let m = f + 14. Suppose 4*r - m - 118 = 0. Does 8 divide r?
False
Let n(m) = m - 11. Let p be n(21). Suppose -p*q + 9*q + 136 = 0. Is q/(0 - -2) - (-25 - -24) a multiple of 15?
False
Let z = 65 - 32. Let l = 400 + -400. Suppose -3*s + 4*n = -z, l*s - 4*n = -2*s + 26. Does 2 divide s?
False
Suppose g + 2 = 2*b + 14, 16 = 4*g. Does 13 divide 7/(4 + 165/(-42)) + b?
False
Suppose -269*u = -267*u - 8371 - 3681. Is 8 a factor of u?
False
Let a = 214 - 104. Suppose 10 = a*w - 105*w. Does 39 divide (60 + -3)*w - 3*-1?
True
Let b(n) = -5*n - 3. Let m(t) = 11*t + 7. Let r(p) = -5*b(p) - 2*m(p). Let s be r(1). Suppose -3*h - 468 = -4*d - 0*h, d - s*h - 104 = 0. Is 21 a factor of d?
False
Let c = -114 + 353. Let l = -64 + c. Does 13 divide l?
False
Let x = -51 - -69. Suppose 0 = o - 1, c - o = -5*o + x. Let w(n) = -n**2 + 17*n - 6. Does 36 divide w(c)?
True
Let d = -5 - -47. Suppose 0 = t + d. Let p = 74 + t. Is 7 a factor of p?
False
Let j = 15611 + -9613. Suppose -21*p + 15469 = j. Does 41 divide p?
True
Let q(h) = 4*h**2 + 10*h - 127. Let i(z) = 3*z**2 - 28*z - 12. Let n be i(10). Is 17 a factor of q(n)?
False
Let b(i) = i**2 + i + 20. Let c be b(0). Suppose 0*n = -2*n - c. Is 10 a factor of (-266)/n - 6/(-15)*1?
False
Let j(u) = -u**2 + 6*u - 9. Let g be j(4). Let f = g - -28. Suppose -2*b = -2*l + 50, 4*b = -3*l + 95 - f. Does 4 divide l?
True
Let u = 30 + -32. Let d be 7 + -9 - ((-8)/(-2) + u). Does 4 divide (-164)/(-10) + d/10?
True
Let i(u) = -7*u**3 - 31*u**2 + 43*u - 17. Let l(t) = 15*t**3 + 64*t**2 - 88*t + 34. Let o(x) = -13*i(x) - 6*l(x). Is o(-10) a multiple of 53?
False
Let k = 773 - -749. Is k a multiple of 26?
False
Let d = 1379 - -231. Does 23 divide d?
True
Let h be (-4)/(3 - -1) + 8. Suppose 20*l - 455 = h*l. Is 3 a factor of l?
False
Suppose 123*g - 593862 + 591209 = 1093277. Is g a multiple of 90?
True
Let w = 26883 + -15791. Does 59 divide w?
True
Is 192 a factor of 40/(-30)*(-2 + 0)*10728?
True
Suppose 5*w + 8*w - 130 = 0. Is 3 a factor of -330*(4 + (-44)/w)?
True
Suppose 0 = 6*w - 10*w - 276. Is 38 a factor of 46/w*2280/(-1)?
True
Let j(v) = 6*v**2 - 5*v. Let b be j(4). Suppose 32*s + 266 = 10. Let d = b - s. Is d a multiple of 13?
False
Suppose 9629 = 3*t - 4*o, -t + 9*o - 6*o + 3218 = 0. Is t a multiple of 13?
False
Le