t q(v) = v**3 - 5*v + 5. Let o be q(2). Suppose 2*n = 5*d - 0*n - 272, o*d = 5*n + 148. Is d a multiple of 8?
True
Let n(f) = f**2 - 10*f + 17. Let x = 0 - -9. Let m be n(x). Suppose -m*r - 93 = -469. Does 9 divide r?
False
Let y = -11404 - -17720. Is 6 a factor of y?
False
Let m be (3/(-1))/(3 - 0 - 4). Suppose 0 = z, m*z = -5*x + 535 + 655. Does 34 divide x?
True
Let v be (-10)/(-15) - 585/27. Let x(f) = -5*f + 141. Is x(v) a multiple of 41?
True
Let w(h) = 2*h + 24. Let o be w(-14). Is (74/o)/(54/(-12) - -4) a multiple of 6?
False
Suppose 128*u - 131*u + 3936 = 0. Is u a multiple of 147?
False
Let x(y) = -6*y**3 - 5*y**2 + 9*y + 15. Let k be x(-5). Let l = -399 + k. Does 36 divide l?
False
Suppose -11*f - 11 = -55. Suppose -3*v - 9 = 0, 8*o - f*v - 1650 = 5*o. Is 26 a factor of o?
True
Let m(t) = 7*t**2 + 220*t - 2. Does 45 divide m(-41)?
True
Suppose -9*m + 204 = 3*m. Let o(x) = x**3 - 18*x**2 + 23*x + 14. Is 84 a factor of o(m)?
False
Let s(g) = -287*g + 1446. Is 4 a factor of s(0)?
False
Suppose -4*a - 2 = -3*r, -3*r - 2*r + 9 = -a. Suppose 0 = 12*d - 11*d - r. Suppose -d*i - 69 = -q - 4*q, 3*i = 2*q - 21. Does 9 divide q?
False
Let n(v) be the third derivative of 35*v**4/8 - 70*v**3/3 + 21*v**2 + 2. Is 35 a factor of n(8)?
True
Let d = 17 - 14. Suppose -3*y - 3 = -0*y, -4*y + 50 = d*q. Is 11 a factor of (5 - (0 + 1)) + q?
True
Let v(r) be the first derivative of 25*r**2/2 + 11*r + 8. Let n be v(8). Suppose -4*c - o + n - 28 = 0, 0 = c - 3*o - 36. Is c a multiple of 5?
True
Suppose 2086*u - 2102*u + 96624 = 0. Does 11 divide u?
True
Let v be 19/57*(-1 - -1). Suppose 3*j - 1052 = j - 2*z, v = -5*j + 4*z + 2666. Is 10 a factor of j?
True
Let c(g) = -g + 2. Let y(q) = -11*q - 165. Let m(t) = -3*c(t) - y(t). Is m(0) a multiple of 13?
False
Is 92 a factor of (-437180)/(-18) + 2*(-18)/(-162)?
True
Suppose -140 - 64 = -3*g. Suppose 5*o + 507 = 4*r, -2*o - 58 = -r + g. Is r a multiple of 8?
True
Suppose -23*a + 7 = -315. Suppose -34*p = -a*p - 11520. Is p a multiple of 49?
False
Let l = -3 + 10. Let v(g) = -g**3 - 13*g**2 - 27*g + 42. Let y be v(-10). Suppose -y*o = -l*o - 325. Is o a multiple of 8?
False
Let l(y) = -44*y - 216. Let c be l(-5). Suppose -1250 = -3*a - c*k, 10*k = 3*a + 9*k - 1225. Is 47 a factor of a?
False
Let v(b) = -b**2 - 11*b + 4. Let d be v(-7). Suppose -2*a = -u - 155, -28 = -a + 4*u + d. Is 43 a factor of (42/5*-2)/((-12)/a)?
False
Let d(o) = o**3 - 2*o**2 + o + 3. Let y be d(0). Suppose 3*s - w = 496, -5*w + 160 = -y*s + 4*s. Does 25 divide s?
False
Suppose -4*b = -3*b - 3756. Is (-57)/95 + b/10 a multiple of 25?
True
Let t be (-2)/6*(-17 + 17). Suppose -25*i + 24*i + 576 = t. Is 24 a factor of i?
True
Is 4 a factor of 7819*(80/1260 - (-2)/9)?
False
Suppose 2782 = 3*g + a + 828, 3*g - a - 1964 = 0. Suppose -6*o = -211 - g. Does 6 divide o?
True
Let c = -101 - -143. Does 31 divide (-14)/(-21) + (-7)/(c/(-368))?
True
Let j(t) = -t**3 - 9*t**2 - 3*t + 349. Is 24 a factor of j(-23)?
True
Let g = -2509 + 3736. Suppose g = 16*t - 533. Is 11 a factor of t?
True
Let h(a) = a**2 - 21*a + 51. Let o be h(18). Is (4914/(-51))/o - (-2)/(-17) a multiple of 30?
False
Suppose 0 = 4*r + 4*m - 147536, -2*r - 4*m - 28802 + 102576 = 0. Does 162 divide r?
False
Suppose 10587 = 3*w - 5*j, 0 = w - 4*j - 1734 - 1795. Is 11 a factor of w?
False
Suppose -280950 = -65*m - 410. Is m a multiple of 7?
False
Let r(g) = g + 21. Let a be r(0). Let b = a - 16. Suppose 0*y - b*y + 135 = 0. Is y a multiple of 3?
True
Suppose 196290 = 73*h - 43*h. Is 18 a factor of h?
False
Let u = 2652 + 2555. Is u even?
False
Suppose -645*g = -650*g + 35. Suppose 671 = 8*r - g*r. Does 24 divide r?
False
Suppose 2*n = 4*z + 1180, 0 = -3*z - 10 - 2. Suppose -7*f = -3228 + n. Is 18 a factor of f?
True
Let w = 1704 - 1099. Is 29 a factor of w?
False
Suppose 2*p - 9 + 1 = 0, -3*i + 50 = -p. Suppose -i*u = -6*u - 24. Suppose 4*s = -u*j + 354, -3*s + 2*j = -0*s - 248. Does 7 divide s?
False
Let z be 30/20*(-4)/(-3). Suppose 5*p - z = -3*u - 6, 4*p = -u - 6. Does 14 divide 155/p*56/(-35)?
False
Is 247480/140 + 14/49 a multiple of 34?
True
Let g = 568 - 356. Suppose 199*p = g*p - 5460. Does 28 divide p?
True
Let r be (-28160)/(-264) + 4/(-6). Is 6 a factor of 5883/r + (2/4)/1?
False
Let v = -10651 - -32519. Is v a multiple of 7?
True
Let w(n) = 3043*n - 1362. Is w(10) a multiple of 28?
False
Suppose -6*y - 43 - 77 = 0. Is 30 a factor of 4032/(-64)*y/6?
True
Let l be 4/(-16)*0 + 8*11. Let a = -38 + l. Let s = a + -5. Is 19 a factor of s?
False
Let w(j) = 720*j**3 - 4*j**2 + 6*j + 24. Is 139 a factor of w(3)?
False
Suppose -b = 110 + 370. Let z = 989 + b. Suppose -7*o = -793 - z. Is 12 a factor of o?
False
Let v = -20 - -23. Suppose -s = -4*p - 3*s + 70, v*p - 3*s - 48 = 0. Let k = 5 + p. Is 3 a factor of k?
False
Suppose 7780 = 5*h - y, 18*h + 6210 = 22*h + 2*y. Suppose 4*u = h + 117. Is 19 a factor of u?
True
Let h = -11133 - -33587. Is 103 a factor of h?
True
Suppose -2*c = -3*u - 599, 0 = 2*c - u - 295 - 314. Is 2 a factor of c?
False
Let w be (-4 + -3 + 6)*-3. Suppose -5*f + 3*u = -399, -205 = -3*f + w*u + 32. Suppose m + d = -3*d + 36, d = 2*m - f. Does 5 divide m?
True
Suppose t = -i + 10903, -t = 2*i - 1385 - 9515. Is t a multiple of 38?
True
Let c(u) = -59*u - 48 - 27*u - 45 + 7 - 4. Is 55 a factor of c(-10)?
True
Let u(j) = -j**2 + 3*j + 17. Let q be u(5). Suppose s = 1 - q. Let k = s + 19. Does 13 divide k?
True
Let r = -10604 - -58078. Does 14 divide r?
True
Let x(v) = 6*v + 3. Let q be x(11). Suppose -3*w - q = 60. Let f = 85 + w. Does 21 divide f?
True
Suppose 0 = -12*i + 6*i - 72. Let m be (i/((-3)/1))/(2/(-8)). Is 33 a factor of (-484)/(-6) + (m/(-12))/4?
False
Let o be 4 + ((-96)/15)/(3/(-120)). Let q be o/15 + (-4)/3 + 1. Suppose 5*z - 2*l = l + q, -4*l + 4 = 0. Is z a multiple of 4?
True
Is (-410435)/345*1*-3 a multiple of 21?
False
Let v be (133/(-21) + 6)*186. Let b(z) = z**2 - 2*z - 9. Let t be b(11). Let f = v + t. Is f a multiple of 7?
True
Let w(p) be the second derivative of p**3/6 - 13*p**2/2 + 14*p. Let q be w(18). Suppose -4*a = f - 207, -q*f + 3*a = 277 - 1197. Does 11 divide f?
True
Suppose b - 48 = -11*b. Suppose 15 = -b*s + 63. Is 3/4*3*s - -3 a multiple of 3?
True
Let z = 2576 - -952. Is z a multiple of 8?
True
Let n be (-1)/(-10) + (-1617)/(-330). Suppose 5*c - 1220 = -n*h, 4*c + h - 972 = 10. Is c a multiple of 27?
False
Let b be 3/15 + (2 - 845/(-25)). Let w(m) = -b*m + 112*m - 13 - 3. Does 27 divide w(3)?
False
Let v = -8522 - -33470. Is v a multiple of 333?
False
Is 82 a factor of (0/(-15) - 51)*(-50 - -1)?
False
Let p(y) = 12*y + 9 - 6*y + 11. Does 44 divide p(4)?
True
Let d(r) = -r**3 - 12*r**2 - r - 4. Let x be d(-12). Let t(j) = -45*j - 6 + 9 - x. Is 4 a factor of t(-1)?
True
Let i = 29 + -25. Suppose -2*a + 3*a = 2, i*y - 1018 = -5*a. Suppose q - w - 95 = 0, 4*q + 2*w - 98 = y. Is 15 a factor of q?
True
Let i(x) = -2*x**3 - x**2 - 5. Suppose 4*t - 6*j = -3*j - 23, -j - 14 = 3*t. Let n be i(t). Suppose 4*c = n + 268. Does 18 divide c?
False
Suppose 11*c + g + 1 = 10*c, -19 = 3*c - g. Is 23 a factor of 115*((-9)/(-3) + 11/c)?
True
Let y = -31 + 33. Suppose y*f - 69 = 39. Suppose -l + 4*l - f = 0. Is 4 a factor of l?
False
Let p be 0 + -1 + 0 + (7 - 2). Suppose -5*g + 115 = 2*v, 104 + 103 = 3*v - p*g. Is v a multiple of 5?
True
Let g = 21995 + -2699. Is 20 a factor of g?
False
Let x = 172 + 2169. Suppose f = 2*u - 1554, -3*u + x = -17*f + 13*f. Is 31 a factor of u?
True
Let a(s) = -71*s + 16. Let y be a(-16). Suppose 10*c - y = 7*c. Is 24 a factor of c?
True
Let q(p) = 2 - 4 - 4 + 5 + 36*p - 111*p. Suppose -3*u - 8 = 1. Is 20 a factor of q(u)?
False
Let f(t) = -46*t - 1618. Is f(-88) a multiple of 8?
False
Let a(k) = -k**2 - 20*k + 32. Let i be a(-22). Let c be (-2)/i*2 - 100/(-60). Suppose -5*y - 4*f = -81, 0 = c*f - f - 4. Is y a multiple of 3?
False
Let n = 4 + 1. Suppose -2*q = 6*i - i + 26, -i = n*q + 19. Does 6 divide -3*13/q - -3?
False
Let j(y) = -7*y**2 - 13*y + 2. Let k(v) = -8*v**2 - 14*v + 3. Let u(o) = -7*j(o) + 6*k(o). Let w be u(-5). Does 30 divide (-30)/(w - -4 - -1)?
True
Let d(h) = 68*h - 44. Let n be d(-7). Is 13 a factor of (36/(-15))/(3/n)?
True
Suppose 20*n = -n + 93554 + 142738. Does 11 divide n?
False
Let x = 178 