 -4*m - 4. Let s be x(1). Let u be s/(-3)*(-10 + 7). Let l = u + 14. Is l a multiple of 3?
True
Let h be (4/8)/((-2)/(-60)). Suppose 20*a = h*a + 30. Suppose -246 = -3*r - a. Is 16 a factor of r?
True
Suppose 3*r = -g - 23, -7*r - 34 = 2*g - 4*r. Is 20 a factor of 1447/9 - g/((-99)/(-2))?
False
Let p = 509 + -506. Does 26 divide 5/p + (-7748)/(-78)?
False
Does 27 divide ((-1)/(-3))/(23/(-207)) - -921?
True
Let n = 380 + -731. Let p be (-4)/26 - 9/(n/84). Let y(u) = 14*u**2 + 3. Is y(p) a multiple of 10?
False
Suppose 90*d - 869167 = -49*d. Is 17 a factor of d?
False
Is 172 a factor of ((-7826)/(-104))/(-7*(-1)/1008)?
True
Let r be (2 - (-1 + 1))*(-68)/8. Let t be (3 - r/(-5))/((-1)/(-155)). Let y = 227 + t. Does 33 divide y?
True
Let a(b) = -116*b - 42. Let n be 2*((36/8)/(-1))/3. Is 17 a factor of a(n)?
True
Let o(k) = -1868*k - 362. Is o(-4) a multiple of 101?
False
Suppose 5*g + 20 = 0, 6*g - 3*g = 5*f - 8312. Is 4 a factor of f?
True
Let y = -5169 - -7845. Is 4 a factor of y?
True
Let x(m) = 655*m**3 - 4*m**2 - 13*m + 38. Is x(2) a multiple of 14?
True
Suppose l - 1032 = -3*y + 7*y, -2*l + y + 2043 = 0. Suppose -l = -4*h + 4*x, 4*h - 605 = -x + 415. Suppose 4*v - 159 = -s + h, -5*s = 10. Is v a multiple of 18?
False
Let q be 3*(-2*(-33)/18 - 3). Let o = 7 + -4. Suppose -m - o*s = -3*m + 243, -q*s - 2 = 0. Is 40 a factor of m?
True
Let i(q) = -1624*q**3 + 4*q + 9. Does 24 divide i(-2)?
False
Is 4/2*(4046 + 213) a multiple of 25?
False
Let g(r) = 19*r**3 + r**2 + r. Let n be g(-1). Let c(t) = t**3 + 20*t**2 + 19*t + 5. Let i be c(n). Is 2 a factor of (1 - 90/i)*-1?
False
Let s(f) = 1102*f + 1556. Is 13 a factor of s(16)?
True
Let u(z) be the second derivative of z**3 + 28*z**2 + 25*z. Let a(j) = -12*j - 114. Let t(s) = 2*a(s) + 5*u(s). Is t(9) a multiple of 31?
False
Suppose 365 = 9*l - 4*l. Let k = l - 67. Is ((-16)/3)/(k*8/(-1224)) a multiple of 17?
True
Let l(i) = -i**3 + i**2 + 2*i + 10. Let c be l(5). Let b = 268 + c. Suppose 0 = -2*k + 4*g + b, 0*k + 446 = 5*k - 4*g. Is k a multiple of 25?
False
Let p(t) = -t**3 - 19*t**2 - 21*t - 44. Suppose 3*d + 51 = 3*g - 0*d, 0 = d - 5. Suppose 3*k + 2*x + 62 = 0, g = -4*x + 6. Is p(k) a multiple of 5?
True
Let z = -8804 + 13704. Is 20 a factor of z?
True
Let m(q) = -13*q + 5. Let a be m(1). Let d be (8/a)/((-3)/9). Does 27 divide (-81)/((-1 - -2)/(d/(-3)))?
True
Let r(z) = 150*z + 25. Let h be r(3). Let b = h + -267. Does 4 divide b?
True
Suppose 56103 = 4*h + q, 334*h - 2*q = 337*h - 42071. Does 13 divide h?
True
Suppose 5*o = 6*o - 53. Suppose -5*i + o + 87 = 0. Is i a multiple of 7?
True
Let c(x) = x**2 - 7*x - 14. Suppose 25 = 2*o + 7. Let m be c(o). Suppose 398 = m*l - 118. Is l a multiple of 19?
False
Suppose -232*o + 87071 = -195*o - 143809. Is 65 a factor of o?
True
Let n be 13/5 - 6/(-15). Suppose 0 = n*x + p - 971, 0 = -4*x - 6*p + 3*p + 1288. Does 29 divide x?
False
Suppose 5*c + 395 = 4*b, 71 = b - c - 28. Suppose -9 = l - 5*o + 16, 0 = 4*l - 2*o + b. Let x = l + 39. Is x a multiple of 7?
True
Suppose -10*k - 3*k = -4225. Let w = k - -12. Does 15 divide w?
False
Suppose -4696 = -5*z + 3*d, 3*z + 5*d - 153 = 2685. Suppose -26*o = z - 3463. Does 9 divide o?
False
Let f be 1 + (-107)/(-1) + 8/4. Suppose -5*i + 735 - f = 5*x, -2*x = 3*i - 248. Suppose -x = -11*l + 335. Does 4 divide l?
False
Let n(f) be the first derivative of 9*f**2 + 36*f + 48. Is n(16) a multiple of 18?
True
Let m = 14 + -15. Let i be ((-2)/6)/(m/9). Suppose i*g - 174 = -2*k + 5*g, 3*k - 4*g = 258. Is 10 a factor of k?
True
Suppose 118 = 3*y - 2*r, 3*y - 5*r - 135 = -2. Suppose v = 2*v - 51. Let j = v - y. Is 5 a factor of j?
True
Let l be (-5)/(2/(-35 + 1)). Suppose -2917 = -40*q - 397. Let m = l - q. Is m a multiple of 22?
True
Let g(f) be the third derivative of f**5/60 - f**4/8 + 59*f**3/6 + 20*f**2. Let d be g(0). Does 30 divide d/2 - (15/(-6))/5?
True
Suppose -23964 = -96*n - 5830 + 300106. Is 5 a factor of n?
True
Let o(d) = d**3 - 6*d**2 - 9*d + 17. Let p be o(7). Suppose -p*v + 2*v - 5*m = 7, 5 = 5*m. Let l = 1 - v. Is 6 a factor of l?
False
Suppose -i - 8 = -2*x - 3*x, 0 = 2*i - 3*x + 2. Let u(q) = 381*q - 42. Does 15 divide u(i)?
True
Let i(w) = 2*w + 1391. Does 7 divide i(46)?
False
Let v be 2*1/1*(-4 + 0). Let f be 0 + 0 + (v - -5). Let k = 129 - f. Is 22 a factor of k?
True
Suppose -3851 - 7730 = -4*h + 11. Does 42 divide h?
True
Let t = -16 + 585. Let b = t + -429. Is 42 a factor of b?
False
Suppose x + 3*z = 5090 + 2101, 14382 = 2*x - 2*z. Does 55 divide x?
False
Let b = -45 - -58. Suppose 35 + b = 4*x. Let z(c) = 2*c**2 - 7*c - 18. Does 31 divide z(x)?
True
Let f(h) = 7*h**2 + 172*h - 933. Is f(6) a multiple of 27?
True
Suppose -4*g + b - 2314 = 0, 0 = -4*b + 7 - 15. Let h = g - -3483. Suppose 0*c - 12*c = -h. Does 22 divide c?
True
Suppose -920 = -10*z + 2*z. Suppose 6*f - f + 5*b + 135 = 0, 5*f + 114 = 2*b. Let n = f + z. Does 9 divide n?
False
Let w(f) = -101*f - 1020. Is 23 a factor of w(-18)?
False
Let l be (-351330)/(-315) + (-3)/((-9)/2). Let a = l + -668. Is 7 a factor of a?
True
Suppose 0 = 2*d + 4*j + 144, 5*d + 275 = -j - 112. Let b = d + 87. Suppose b*i + 120 = 10*i. Does 6 divide i?
True
Let b(l) = 749*l**2 - 214*l - 73. Does 265 divide b(9)?
False
Suppose 96*l = 929747 + 149965. Does 68 divide l?
False
Let u(y) = 6*y - 45. Suppose 170*t - 165*t - 70 = 0. Is 7 a factor of u(t)?
False
Let k = -51003 + 87743. Does 44 divide k?
True
Let v = -6 - -11. Suppose 4*g = v*k - 903, -4*k + 800 = -4*g + 80. Is 26 a factor of k?
False
Suppose 1730 = 5*o + 350. Suppose 6*v - o = 282. Suppose 12 - v = -3*i. Is i a multiple of 7?
False
Suppose 36*d + 48 = 2316. Suppose -90*p + 89*p + d = 0. Is 4 a factor of p?
False
Let v be 1*-10*(-6)/15 - 14. Is 2400/(-32)*16/v a multiple of 20?
True
Let r be ((-1 - 0) + -4)*-1 + 59. Let i = 18 + -13. Suppose i*v - r - 51 = 0. Is 4 a factor of v?
False
Let n(u) = -2*u**2 + 80*u - 591. Is 2 a factor of n(28)?
False
Suppose 6*p + 12 = 9*p. Suppose f = -8 + p. Is ((-15)/f)/(24/512) a multiple of 8?
True
Suppose 3*b - 12 = b. Let l(y) = -17*y + 10. Let m be l(2). Let u = b - m. Does 12 divide u?
False
Suppose 78*u = 79*u - 4. Suppose -8*c - 9151 = -13*c - u*m, -3658 = -2*c - 4*m. Is c a multiple of 33?
False
Suppose -4*p = -17 - 3. Suppose -3*a = 3*r - 792, 1314 = p*a + 4*r - 2*r. Is a/8 + 6/(-8) a multiple of 8?
True
Suppose -43*h = 98*h - 2586363. Is h a multiple of 17?
True
Let g(d) = -6*d**2 + 11*d - 2. Let c be g(-3). Let n = c - -189. Does 4 divide n?
True
Let i(b) = 117*b**2 - 32*b + 296. Is i(9) a multiple of 35?
True
Let p(y) = 344*y - 2128. Does 6 divide p(8)?
True
Suppose 103*g - 2682000 = -122*g + 805050. Is 63 a factor of g?
True
Suppose 0 = -87*n + 91*n - 604. Suppose 2*q = -0*a + a - 27, q + 3*a + 24 = 0. Let v = n + q. Is v a multiple of 10?
False
Let k(u) = 29*u**2 - 31*u + 23. Is k(9) a multiple of 8?
False
Let m be (-40)/6*114/(-95) - -4. Suppose 8*w + y = m*w - 1690, 4*y - 854 = -2*w. Is w a multiple of 24?
False
Suppose 2*t + 161 = p - 67, -967 = -4*p - 3*t. Does 7 divide p?
True
Let u be 1114/(-30) + (-86)/(-645). Let m = u + 1088. Is m a multiple of 59?
False
Suppose -4*h = -4*p + 32, -3*p = -0*h + 5*h. Suppose -1500 = -5*r - 3*n, p*r - 2*n - 1103 = 422. Is r a multiple of 13?
False
Suppose 0 = 2*c + d - 42781, 0 = -c - 13*d + 14*d + 21401. Does 11 divide c?
False
Suppose -2*x = -472 + 580. Does 36 divide 1031 + 24/x + (-42)/27?
False
Suppose -2215 + 301 = -22*q. Suppose 0 = -b - t + 192, -2*b + 2*t = -q - 309. Is b a multiple of 7?
False
Let v be ((-1)/2)/(3 + (-183)/60). Let p = v - 7. Suppose 2*l + p*a - 166 = -0*a, -5*a + 20 = 0. Does 11 divide l?
True
Let k(z) be the second derivative of -z**4/12 - 2*z**3 + 5*z**2/2 + 13*z. Let b be k(-12). Let j(x) = 4*x + 2. Does 6 divide j(b)?
False
Let h(x) = x**3 + 2*x**2 - 1. Suppose -3*z = 3*a - 15, -4*a + 2 + 10 = 2*z. Let w be h(a). Suppose q = 3*j - 256, 3*j = -j + w*q + 342. Does 42 divide j?
False
Is 12 a factor of ((-689112)/(-2815))/(2/30)?
True
Suppose 3*c = -c + 108. Suppose 1086*r - 1087*r + 3 = 0. Suppose -q + 6*w - w = -17, r*w = q - c. Is q a multiple of 15?
False
Suppose -4784*n + 4793*n = -63. Let p(h) = 9*h + h**3 + 2*h**3 - 5*h**2 - 4*h**3 - 9. Is 13 a factor of p(n)?
True
Let d(o) = 