*q - 10. Let c be r(5). Let o(l) = l**3 - 2 + l - 5 + 11*l**2 + 5*l. Does 16 divide o(c)?
False
Does 13 divide (2/5)/((-356256)/(-178110) - 2)?
False
Suppose -194002 = -13*g - 29708. Does 23 divide g?
False
Let a be 3/(-18) + (-2)/(-12). Suppose -29 = -x + 5*k, 4*k + 40 = 5*x - a*k. Suppose x*r + 4*v = 92, 5*r - 111 = -0*r - v. Is 7 a factor of r?
False
Does 38 divide 5*-5 + 2995 + 260?
True
Let v(k) = 434*k**2 + 12*k - 11. Suppose -y + 7 = 4*n, 12*n + y = 7*n + 8. Is 15 a factor of v(n)?
True
Suppose -5*s + 938 = 2*u - 1447, u = 0. Is s a multiple of 53?
True
Let n = 13244 + -6779. Is 15 a factor of n?
True
Suppose -48*y + 56*y - 176 = 0. Does 18 divide y/(-33)*2/((-8)/3252)?
False
Suppose -2*x - 3*x + 4*v = -94, 4*x = -3*v + 69. Let w be (x/15)/(15/25). Suppose -75 = -5*p + 5*l, 2*l = -4*p - w*l + 60. Does 3 divide p?
True
Let p be 66/(-12)*(2 - (-2 + 2)). Let s(b) = -b**3 - 10*b**2 + 7*b + 21. Does 2 divide s(p)?
False
Suppose -48 = -4*j + 3*k, 0*j - 30 = -2*j + 3*k. Suppose j*m = 13114 - 1180. Is m a multiple of 78?
True
Let k(r) = -17*r**2 + 21*r + 25. Let g(n) = -8*n**2 + 11*n + 12. Let f(b) = -5*g(b) + 2*k(b). Suppose -3*v - v + 32 = 0. Is 45 a factor of f(v)?
True
Let g(j) = 1601*j - 52. Let d be g(4). Suppose 20*a - 17452 = -d. Does 37 divide a?
True
Suppose -4*u = 2*f + 12, -5*f - 5*u = -u. Suppose -s + 7 + 11 = -f*o, 2*o - 68 = -3*s. Is s a multiple of 22?
True
Suppose 701*u = v + 705*u - 4109, 2*v - 5*u - 8140 = 0. Is v a multiple of 33?
False
Let a(o) = -75*o**3 - 4*o**2 - 2*o - 1. Let k be a(-1). Is (207/4)/(9/k) a multiple of 18?
True
Does 12 divide ((-66)/21)/((-26)/12558)?
False
Suppose -f + 5189 + 124 = 3*l, 5316 = 3*l + 2*f. Is 15 a factor of l?
True
Suppose -378*t = -403*t + 27400. Does 6 divide t?
False
Let t(b) = 8*b - 41. Let i be t(21). Suppose y - i = -39. Is 35 a factor of 1 - (-2 + -2 - y/2)?
False
Let s(k) = -k**3 - 36*k**2 + 87*k + 37. Let r be s(-38). Let g = 693 + r. Is g a multiple of 13?
True
Suppose -32*g + 159573 - 564290 = -111*g. Is 47 a factor of g?
True
Suppose 6*p - 137474 = -u, 78*p - 74*p = -3*u + 91640. Does 14 divide p?
False
Suppose -4*b + 2*f + 308 = 0, 0 = -2*b - 2*f + 228 - 86. Is 36 a factor of b?
False
Let x(u) = 24 - 38 + 29 - u. Is 17 a factor of x(-19)?
True
Suppose 95*r + 817007 - 3351917 = 1641765. Is 15 a factor of r?
True
Let a be 12/16*-1*-4. Suppose 3*u - 5*f + 7*f = 746, -1243 = -5*u - a*f. Is 33 a factor of u?
False
Let t be ((-52)/12)/(6/(-108)). Let a = t + 32. Is a a multiple of 11?
True
Let s be (6 - -4)*4/5. Suppose s = 4*h + 2*z, 5*z = -h + 2 - 0. Suppose h*m = 85 + 75. Is m a multiple of 16?
True
Suppose n + 5*x - 3*x - 51 = 0, 4*n = -2*x + 228. Let b(c) = 6*c + 19*c - c**3 - 25*c**2 - n + 36. Is 3 a factor of b(-26)?
True
Suppose 5*t + f - 24 = 0, -4*f = -4*t - 2*f + 8. Suppose -7*z - t*z = -462. Does 14 divide z?
True
Is 11 a factor of (-4930)/(-408) - 12 - (0 + (-232942)/24)?
False
Let l(d) be the first derivative of -d**3/3 + 4*d**2 + 14*d - 20. Let a be l(10). Is 17 a factor of (-1398)/(-9) + 20/a + 3?
False
Suppose -2970 = -3*p - 4*x, p + 10*x - 990 = x. Does 45 divide p?
True
Let h be (-15)/10 + 414/4. Let t = h + -83. Is t a multiple of 19?
True
Let f = -169 - -948. Let s be (-4)/14 - f/(-7). Suppose -s = 3*k - 4*k. Does 18 divide k?
False
Let b(p) = -p**3 - 21*p**2 + 35*p - 16. Let o(k) = -k + 2. Let i(g) = -b(g) + 5*o(g). Is i(-22) a multiple of 51?
False
Let k = -260 - -566. Let w = k + -194. Is 7 a factor of w?
True
Let y be (-2)/6 - 10/(-3). Let a be (6 - 5)*(0/1)/(-7). Suppose 3*x + 2*q - 75 = a, -35 = -2*x + y*q + 28. Is x a multiple of 9?
True
Let z = 28269 - 12694. Does 77 divide z?
False
Let v(z) = z**2 - 13*z + 14. Let o be v(12). Suppose 2*h = o*u + 500, -785 + 39 = -3*h + u. Suppose t + h = 3*t. Is t a multiple of 28?
False
Suppose -4*d + 4*p = -158 + 26, 104 = 3*d + 2*p. Suppose 5*n - 50 - 5 = b, -2*b = 2*n - d. Is n a multiple of 12?
True
Suppose -3*f - x + 24 = 9, -3*f = 5*x - 27. Let g be 2 + (-6)/(-9) + f/12. Suppose 451 = -0*n + g*n - m, -2*m - 452 = -3*n. Is 25 a factor of n?
True
Suppose 2*s - 2*i = 134538, 0 = -3*s - 2*i + 304631 - 102779. Is s a multiple of 238?
False
Let b = 359 - 1550. Let h = b + 1778. Does 20 divide h?
False
Suppose 9296 = -106*z - 118*z - 3472. Suppose 0 = 2*q - 9 - 3. Is -140*(z/90 - 1/q) a multiple of 26?
False
Suppose 17 = 5*h + 15*q - 19*q, -8 = -2*h + q. Suppose 3*v + 11 = h, -b + 4*v + 551 = 0. Does 46 divide b?
False
Let p = -7955 - -12450. Is 10 a factor of p/30 - (-5)/30?
True
Let g = -9 + 6. Is g/3 - -3 - -79 a multiple of 3?
True
Suppose -f - 1201 = b, 3*b + 3892 = -f + 291. Let i = b + 2041. Does 29 divide i?
True
Does 77 divide 42302*14*21/294?
False
Suppose -x + 312 = -4*i, 3*i - x = -6*x - 234. Let q be -12*5/((-40)/i). Let j = q - -165. Does 16 divide j?
True
Suppose -6*p = -5*l - p + 10, 8 = 2*l - 4*p. Is 2 a factor of (-136)/(-16)*(0 + 2 + l)?
False
Suppose 3*s = -l + s - 5, -s = -l + 7. Suppose -l*b - q + 27 = -30, -81 = -5*b + 3*q. Suppose 351 = 3*p + b. Does 31 divide p?
False
Suppose -7*a + 3*a - 1160 = 0. Let q be (6/4)/(a/(-72) + -4). Suppose -q = -17*w + 14*w. Is 6 a factor of w?
True
Suppose -43*i + 686507 = 75141 - 354629. Does 352 divide i?
False
Suppose -5*x + i = -58, -2*x + 13 = 3*i - 0*i. Suppose n + 8 = x. Suppose 45 + 33 = n*d. Is 13 a factor of d?
True
Let l = 794 + -361. Suppose -3*m + l = c, -6*m + 2*m - c + 579 = 0. Is 17 a factor of m?
False
Let i = 2207 + -2175. Suppose o = -4*o. Suppose o = -2*k + i - 6. Is k a multiple of 13?
True
Let z be 1 + 5 + (-16)/4. Suppose -4*o = -3*x, -z*x + 10 + 1 = o. Let w(g) = 2*g**2 + 10*g. Does 12 divide w(o)?
True
Suppose 1 = -14*f + 57. Let y be 22/(-2)*f/(-22). Is 2 a factor of y - 5 - 175/((-25)/5)?
True
Suppose 4*b = -4*l + 86768, -8663 - 13014 = -b + 4*l. Is b a multiple of 41?
True
Suppose 14*o - 4*d = 11*o + 59611, -2*d = 5*o - 99291. Does 36 divide o?
False
Is (-42)/154 - 24665/(-11) a multiple of 19?
True
Let d = 50 - 695. Let x = 763 + d. Is 6 a factor of x?
False
Let s(t) = -2*t - 10. Suppose -2*o = -0*o + 10. Let l be s(o). Suppose 5*u = -5*q + 270, 3*q = -l*u - 5*u + 268. Is 16 a factor of u?
False
Suppose 165*u = 1804236 - 221061. Is u a multiple of 95?
True
Let b(z) = 61*z - 13. Let n be (20/30)/((-2)/(-27)). Suppose -21 = -16*r + n*r. Does 34 divide b(r)?
True
Let m = 675 + 505. Suppose -980 - m = -10*c. Does 14 divide c?
False
Let g(h) be the first derivative of -h**4/4 + 7*h**3/3 - 5*h**2/2 - 4*h - 10. Let t be g(6). Suppose l = -w + 6*w + 1, -t*w + 20 = 3*l. Is l even?
True
Let w = -6 - -348. Suppose 3*q = -3*q + w. Is 26 a factor of 96/9*q/4?
False
Let o(p) = p + 47. Suppose -d - 25 = -15. Does 11 divide o(d)?
False
Let s(i) = -i**2 - 18*i - 23. Suppose 0 = 17*r - 2*r + 90. Is 29 a factor of s(r)?
False
Suppose 5*l + 28 = 12*l. Suppose -2*z = 3*o - 729, 359 - 116 = o + l*z. Is o a multiple of 16?
False
Suppose -4*y + 23430 = -3*u, -17550 = 19*y - 22*y - 9*u. Is y a multiple of 17?
False
Suppose 2*n = 14*n - 60. Let j(x) = 2*x**2 + x + 6. Let w be j(n). Let v = w - 34. Does 3 divide v?
True
Let t(n) = -34*n + n**2 - 12 + 38*n + 10*n. Does 57 divide t(-24)?
True
Let y(s) = 227*s**2 + 2*s - 54. Does 17 divide y(-4)?
True
Suppose 0 = 6*w + 5*w - 198. Suppose 0 = w*b - 789 - 759. Is b a multiple of 3?
False
Let y(d) = -63*d**3 + 37*d**2 + 227*d - 8. Does 59 divide y(-6)?
True
Let l be (-8)/10 + 10478/10. Suppose 0 = -6*c + l - 45. Suppose 0 = -5*x + q + c, 0 = -2*x + 4*x - q - 65. Does 34 divide x?
True
Suppose 4*c + 3*h = 13911, -11007 = -4*c + 3*h + 2874. Is 9 a factor of c?
True
Suppose 36*j - 31*j = 0. Let q be (-2*1)/((-7)/14). Suppose 121 = 5*x - j*p - q*p, 2*x + 3*p = 30. Does 7 divide x?
True
Let l be (0 - -2)*13899/(-82). Let i = 979 + l. Is 42 a factor of i?
False
Suppose 0 = 17*t - 21 + 55. Is 9 a factor of ((-1832)/(-56))/(t/(-14))?
False
Suppose 209*i + 5220 = 211*i. Let o = -1350 + i. Is 15 a factor of o?
True
Let y = 392 + -403. Let g(l) = l**3 + 14*l**2 + 25*l - 24. Is g(y) a multiple of 8?
True
Let q = -4440 - -4759. Is q a multiple of 4?
False
Let t(r) be the third derivative of 3*r**5/40 - 11*r**4/24 - 3*r**3/2 - 17*r**2. Let l(s) be the first derivative of t(s). Is l(20) a multiple of 22?
False
Let u(s) = -s**3 