se -f*m = m - c. Is 27 a factor of m?
False
Let u = 48 + -23. Suppose -9*f + 95 = -148. Let q = u + f. Does 23 divide q?
False
Suppose 4*y = -18 + 2. Let a be (-490)/(-154) + y/22. Suppose -7*l + a*l + 140 = 0. Does 13 divide l?
False
Does 4 divide (1/(4/56))/2?
False
Let b(w) be the first derivative of 67*w**4/2 + 2*w**3/3 - w**2 + w - 6. Does 15 divide b(1)?
True
Suppose -3*x + 5*q = 9, 1 = -4*x + 4*q - 3. Suppose 0 = -5*z + x*b + 928, -5*z + 900 = -0*b + 5*b. Is 23 a factor of z?
True
Suppose 0 = 2*p - 5*c - 1435, 3*p - c = p + 1431. Does 11 divide p?
True
Let w = 15 + -17. Is -3 + (w/(-1) - (-33 + -1)) a multiple of 11?
True
Let m(q) = 21 - 2*q - 5*q**2 + 5*q**2 - q + q**2. Does 13 divide m(10)?
True
Let z(f) = -f**3 - 6*f**2 + 8*f + 13. Let d be z(-7). Does 5 divide ((-40)/(-16))/(1/d)?
True
Let l = 23 - 24. Is 25 a factor of 75 + (2 - 2)/l?
True
Let d = 19 + -17. Suppose 0 = -3*g + 12, -d*x - 5*g = -0*g - 118. Is x a multiple of 23?
False
Suppose 5*s - 9 = 26. Suppose 0 = -s*r + 4*r. Suppose r = -3*z + 2*q + 187, -2*z + q + q + 124 = 0. Is 21 a factor of z?
True
Let o(l) = l**2 - 4*l + 3. Let j be o(5). Suppose -v = -j*v + 406. Does 5 divide v?
False
Let f = -15 - -177. Is f a multiple of 18?
True
Suppose -2*m + 0*m = 168. Let k be (-2)/(-2 - m/39). Let a = k - -25. Does 5 divide a?
False
Let m(n) = -2*n**3 + 19*n**2 - 8*n - 20. Is m(8) a multiple of 10?
False
Does 11 divide 55119/57 + 0/(-3)?
False
Suppose 23*b = 19*b. Is 2/4 + (-153)/(-6) + b a multiple of 3?
False
Let j = -89 - -89. Suppose -3*p + 5*z = -75, -p + j = -2*z - 26. Does 2 divide p?
True
Let u(a) = 2*a**2 - 4*a - 21. Let s be u(9). Let v = s - 45. Does 10 divide v?
True
Suppose -2*r - 3*f = 38, -r - 3*f = -4*r - 72. Let l = 2 - r. Is 8 a factor of l?
True
Is 53*3 + (0 - -6 - 9) a multiple of 14?
False
Let f(h) = -h**3 - 15*h**2 + 7*h - 3. Let j(n) = -n**3 - 14*n**2 + 6*n - 3. Let y(u) = -6*f(u) + 7*j(u). Let c be y(-8). Is (-8)/(6/c - 0) a multiple of 3?
False
Let i(d) = d + 23. Let h be i(-9). Let z(x) = x**2 - 13*x + 21. Is 8 a factor of z(h)?
False
Let l(v) = 1 - 9 - 2*v**2 + 5*v**3 + 4*v + 6 + 83*v**3. Is l(1) a multiple of 20?
False
Is 16 a factor of (-4432)/(-8) + (20/2 - 4)?
True
Let r(f) = f**3 + 10*f**2 - 5*f - 21. Is r(-10) a multiple of 24?
False
Let o = -597 - -930. Does 9 divide o?
True
Suppose -4*l + 464 = j - 3*j, 5*j = -2*l + 208. Is l a multiple of 57?
True
Is 30 a factor of 8/6*(-66)/(-44) - -369?
False
Is (-7421 + 11)/3*-1 a multiple of 19?
True
Suppose -5*w = -7*f + 5*f - 77, 3*f = -w - 90. Let b = f - -51. Does 10 divide b?
True
Suppose 2*r + 9386 = 21*r. Does 26 divide r?
True
Let s = -10 - -8. Let p(z) = -5*z - 2. Does 4 divide p(s)?
True
Suppose 12*f + 5*a = 7*f + 500, f + 5*a - 104 = 0. Is f a multiple of 3?
True
Let j = -4 + 8. Let b(x) = -1 - 3*x**2 + 0 + j*x + 4*x**2. Does 20 divide b(3)?
True
Suppose -4*d = -5*b - 1137, -43*d = -44*d - 3*b + 280. Is d a multiple of 6?
False
Suppose -2*l = -5*i - 1166, -2*i = i + 4*l + 710. Is (i/(-45))/((-1)/(-5)) a multiple of 12?
False
Let h(w) = 4*w**2 - w. Let f = 2 + -7. Let u(l) = -l - 3. Let c be u(f). Is h(c) a multiple of 7?
True
Suppose 26*x = 14*x + 13164. Is 14 a factor of x?
False
Let o be (6 - -2) + -4 + 1. Let l = -7 + o. Is l - (-10)/(-1 - -3) even?
False
Suppose -5*n - 430 = -b, -10*b + 5*b + 3*n + 2128 = 0. Does 25 divide b?
True
Suppose -11717 = -8*c - 3109. Does 32 divide c?
False
Let b(o) = 3*o**2. Let f = -32 - -37. Suppose 0 = f*h + 5*n + 25, -2 = -2*h + n - 0. Does 2 divide b(h)?
False
Let i be 4/(-14) - 18/(-14). Suppose 6*v - 449 - i = 0. Does 25 divide v?
True
Suppose 11*p = -3*p - 70. Let y(k) be the first derivative of -4*k**2 + 5*k + 1. Is 9 a factor of y(p)?
True
Suppose -5*k - 3*x + 1748 = 0, 3*k + 2*x = -x + 1050. Does 20 divide k?
False
Suppose 160546 + 172 = 58*s. Is s a multiple of 14?
False
Let d(n) = -n**2 + 10*n + 2. Let f = -22 - -27. Let y be d(f). Is 27 a factor of (-180)/y*78/(-4)?
False
Suppose -5*y - 653 = -3*i, -3*i - 6*y = -2*y - 671. Is 45 a factor of i?
False
Is 20 a factor of (-4)/6*6 - -1*282?
False
Suppose 87 + 585 = 2*q. Does 21 divide q?
True
Let r be 11/3 + (-4)/(-12). Let z(d) = 2*d**2 + 2*d**2 - 2*d**2 - 198 - 2*d + 197. Is 9 a factor of z(r)?
False
Suppose 0 = 37*c - 55*c + 57456. Is 114 a factor of c?
True
Let r = 30 - 27. Suppose 59 = d + r*m, m + 0*m = 4*d - 223. Is 19 a factor of d?
False
Suppose 5*i = 5*o - 5, 26 = i + 4*o + 2. Suppose -125 = -5*m - 5*g, -m + i*m - 4*g - 68 = 0. Is m a multiple of 6?
True
Let x = 90 + -30. Suppose 2*n = 2*z - 0*z - 40, 0 = 4*z + n - x. Suppose 0*j - j + z = 0. Does 16 divide j?
True
Suppose 2*r + 2*r + 4*b - 204 = 0, -5*r + 4*b = -210. Does 3 divide r?
False
Let p(m) = -m**3 - 6*m**2 - 3*m + 7. Let o be p(-6). Suppose -10 + o = -g. Does 17 divide 12/g*(0 - 85)?
True
Suppose -651 + 5643 = 4*h. Suppose -4*d = 20*d - h. Is d a multiple of 13?
True
Let f = -11 + -37. Let b = -43 - f. Is b a multiple of 2?
False
Let c be (3 + 20/(-5))*-2. Is (48/28)/(c/35) a multiple of 21?
False
Let d(i) = 112*i - 236. Is d(5) a multiple of 17?
False
Let b = -1108 + 1863. Is b a multiple of 21?
False
Let x be 0*(1 + 8/(-4)). Suppose 5*k - 219 + 59 = x. Suppose 0 = 4*s - 128 - k. Is s a multiple of 10?
True
Let s(c) = c**3 + 7*c**2 + 3*c + 2. Let t(r) = -r + 1. Let a be t(6). Let l be s(a). Suppose 327 = 5*n + l. Does 29 divide n?
True
Suppose -10*t = -13*t. Suppose t = -4*w + j + 199 + 241, 3*w - 5*j - 330 = 0. Is w a multiple of 10?
True
Suppose 33 - 15 = -6*a. Let q(f) = 7*f**2 - 2*f + 1. Is 10 a factor of q(a)?
True
Let r(g) = 9*g + 13*g - g**3 + 24 - 4 + 15*g**2. Does 15 divide r(16)?
False
Suppose -9*c = -4483 + 514. Is c a multiple of 42?
False
Let v(a) = 5*a - 9. Let g(m) = 4*m - 8. Let h(s) = -4*g(s) + 3*v(s). Let w be h(6). Is 14 a factor of 4*w + 1 - -45?
True
Let p = 5913 - 3481. Does 38 divide p?
True
Suppose -414 = -r - 3*d, d + 1604 = -4*r + 8*r. Is 20 a factor of r?
False
Suppose -4*f - 1491 = -5*c - 5141, 0 = -f + c + 912. Is f a multiple of 91?
True
Let b(a) be the first derivative of a**5/60 + 3*a**4/8 + 8*a**3/3 - 3*a**2 - 6. Let c(t) be the second derivative of b(t). Is c(-13) a multiple of 17?
True
Let i(m) = -2*m**2 + 9*m - 28. Let s be i(6). Let n(k) = -8*k**3. Let y be n(-1). Does 5 divide ((-28)/y - -3)*s?
False
Suppose 181 = u + 3*y - 7*y, -2*y = -2*u + 374. Is u/(-6)*(-4)/3 a multiple of 24?
False
Let d = -767 + 1275. Is 34 a factor of d?
False
Let h = 14 - 9. Suppose 22 = 2*p - 4*f, -h*f - 16 = -f. Is (6/1)/(p/8) a multiple of 16?
True
Let y = -423 + 539. Is y a multiple of 10?
False
Let m be ((-57)/(-9) + -1)*(-36)/(-16). Let q(i) = -2*i + 29. Is q(m) a multiple of 5?
True
Let q = 0 + 4. Suppose 0 = 2*i - 4, -2*i + 916 = q*u. Is 38 a factor of u?
True
Let y = 94 + -61. Let f = y + 19. Is 8 a factor of f?
False
Let k(x) = x + 12. Let a be k(-8). Suppose 5*q - 13 - 25 = -d, a*q - 31 = -d. Let n = 12 + q. Is 6 a factor of n?
False
Let w(r) = -7*r**3 + r - 11. Is w(-3) a multiple of 71?
False
Let s = 29 - 25. Suppose 0 = -d + l + 6, l - s*l = 15. Let p(j) = 104*j**3 + 2*j**2 - 1. Does 35 divide p(d)?
True
Let p = 11 - -8. Let x = p + -3. Is x a multiple of 8?
True
Let q be -27*(3 + 2/(-1)). Is (117/q)/(2/(-42)) a multiple of 7?
True
Let p(j) = 53*j**3 + 3*j**2 - 3*j + 5. Let o be p(2). Suppose 916 = 7*k - o. Does 32 divide k?
False
Suppose 0 = -4*r - 12 - 0. Let a be (-41 - 1)*r/2. Suppose -32 = -3*p - i + 35, 3*p = 3*i + a. Is 11 a factor of p?
True
Suppose -24*p + 20*p = -5*c - 2148, -5*p = -3*c - 2672. Is p a multiple of 19?
True
Let i(c) = -1000*c - 44. Is i(-1) a multiple of 20?
False
Let t be 0 - 1 - 1 - -9. Let a(c) = -7*c**2 + c - 11. Let o(p) = 10*p**2 - 2*p + 17. Let r(i) = 7*a(i) + 5*o(i). Is 9 a factor of r(t)?
True
Suppose -5*f = -3*o + 226, 7*f + 296 = 4*o + 3*f. Is 4 a factor of o?
True
Let f(v) = 4*v**2 - 2. Let i be (2/2)/(2/22). Suppose 4*u = i + 1. Does 7 divide f(u)?
False
Let r(y) = -5*y + 70. Let u(o) = -o + 14. Let n(g) = -2*r(g) + 11*u(g). Let c be n(5). Let b = 6 + c. Does 9 divide b?
False
Let n(w) = 4*w**2 - 3*w + 6. Let v be n(-4). Suppose 0 = c - v + 27. Is c a multiple of 13?
False
Suppose -k = -3*r + 17, -2*r + 2*k - k = -13. Let b(g) = 2*g + 23. Let n be b(-10). Suppose r = -