*2 + 19*k + 16. Let r(s) = -5*f(s) - 6*o(s). Let n be r(-14). Suppose -14*h - n = -16*h. Is h a multiple of 4?
False
Let l(i) = -45*i**2 + 267*i + 3. Is l(4) a multiple of 117?
True
Let r(g) be the second derivative of 41*g**3/6 + 31*g**2/2 - 4*g + 11. Does 63 divide r(10)?
True
Let z(p) = -p**2 + 2*p + 9. Let w = 33 + -35. Let u be z(w). Is 40 a factor of 301 + u + -1 + 0?
False
Let t(o) = -2*o**2 + 107*o - 526. Is t(41) a multiple of 9?
False
Is 18 a factor of 92/(-1564) + (-182992)/(-68)?
False
Suppose 0 = -588*q + 592*q - 4*g - 391212, 0 = 5*q - g - 488995. Is q a multiple of 107?
True
Let z be 1/(-2) + (-4968)/(-16) + 2. Is 48/z - 180/(-13) a multiple of 9?
False
Suppose -66*v + 3408 = -64*v. Let u = -843 + v. Is 41 a factor of u?
True
Suppose -454*o + 510*o + 897 = -11199. Let h(n) = -2*n + 5. Let j be h(4). Is 10 a factor of (0 + (-15)/(-20))/(j/o)?
False
Let j(a) = 10*a - 147. Let r(o) = -16*o + 293. Let n(v) = 5*j(v) + 2*r(v). Is n(26) a multiple of 5?
False
Suppose 120073 = 46*w - 16*w + 24673. Does 28 divide w?
False
Suppose 124*z - 2413454 - 720522 = 0. Does 65 divide z?
False
Let w = -1682 - -3913. Is w a multiple of 77?
False
Suppose -79*y - 61*y = -867836 - 376064. Is y a multiple of 46?
False
Let p(n) = n**3 - 6*n**2 - 9*n + 4. Let c be ((-1)/(4/(-15)))/((-3)/(-16)). Suppose -5*l + 19 = -2*l - 2*f, -5*f + c = 0. Does 39 divide p(l)?
False
Let x(s) = s**3 + 2*s**2 - 5*s + 4. Let t be x(-5). Let g = t + 28. Does 16 divide g/(-99) - (-348)/22?
True
Let m(u) = 2*u**3 - 14*u**2 + 13*u + 4. Does 57 divide m(11)?
False
Let p(i) = 200*i + 3760. Is 152 a factor of p(23)?
True
Let m(k) = -14*k - 39. Let v be m(-3). Suppose -5*g + 3699 = v*h, -4*g + 125*h + 2974 = 120*h. Is 13 a factor of g?
True
Let k(c) = -3*c + 29 - 1 + c. Let o(l) = -l**3 + 23*l**2 - 104*l + 21. Let h be o(17). Does 10 divide k(h)?
False
Let a = 1189 + 883. Suppose -5*i + 2878 + a = 0. Suppose 0*t = 11*t - i. Is t a multiple of 15?
True
Suppose -5*k = 5*b - 44625, -b - 169*k + 8941 = -164*k. Does 59 divide b?
False
Let t(v) = v**3 + 9*v**2 + 17*v + 1. Let c be t(-7). Let g = 64 + c. Suppose 10*k = -g + 1164. Is 16 a factor of k?
True
Suppose -4*t + 29524 = -f, 3*t + f - 11977 = 10166. Does 41 divide t?
False
Let v(u) be the first derivative of 7*u**2/2 + 36*u + 20. Let b be v(12). Suppose -314 = -5*l + x, 2*l + 0*x = -x + b. Is l a multiple of 8?
False
Is 9240/1 + (-221 - -228) a multiple of 14?
False
Let q = -68521 - -121666. Does 45 divide q?
True
Let f(d) = -2*d - 20. Let g be f(-11). Suppose s - 2*y - 14 = -5*y, 2*s - 4*y + 2 = 0. Is 9 a factor of g/s - (2 - 806/10)?
False
Suppose 0 = 2*y + 6, 4*x + 641*y - 646*y - 40635 = 0. Is x a multiple of 15?
True
Let g = 330 + -323. Let b(o) = 26*o**2 + 3*o + 25. Is b(g) a multiple of 88?
True
Suppose 48*t + 172*t - 231795 = 67*t. Does 5 divide t?
True
Let q = -654 - -654. Suppose 5*x - 4052 = 2*j, 5*x - 3*x - 4*j - 1624 = q. Is x a multiple of 24?
False
Let t be ((-30)/(-75))/((-1)/745). Let f = t - -314. Does 5 divide f?
False
Suppose 4*s + 2*s + 54 = 0. Let j(w) = w**3 - w**2 - 2*w + 18. Let m be j(0). Does 11 divide (-295)/s + m/81?
True
Suppose -5*h - 69 = 21. Let q be ((-136)/h)/2 + (-34)/(-153). Suppose -q*r = j - 709, -3*r + 673 = 5*j + 137. Is r a multiple of 23?
False
Suppose -18025 = -11*o - 3813. Is o a multiple of 34?
True
Let t = 9954 - 7627. Does 30 divide t?
False
Suppose -3*u = 139 - 1264. Suppose 8*j - 13*j + u = 0. Let l = j - 38. Is 18 a factor of l?
False
Let a(o) = 339*o**2 - 343*o**2 + 3 + o**3 - 2*o - 6*o. Is 16 a factor of a(9)?
True
Let v = 283 + -279. Is 18 a factor of (1 + 203/v)/((-3)/(-24))?
True
Does 144 divide 4/2 + (8270 + -8)/3?
False
Suppose 0 = -14*k - 43*k + 90288. Is k a multiple of 33?
True
Suppose 0 = 416*n - 418*n + 3062. Suppose 2*x + 4*z = 504, z + 280 = -5*x + n. Is x a multiple of 45?
False
Suppose -5*l - l = -9444. Let b = l + -1071. Let m = b - 319. Does 22 divide m?
False
Let i(o) = o**2 - 9*o. Let k(v) = -5*v**2 + 45*v - 1. Let f(u) = -11*i(u) - 2*k(u). Let j be f(10). Is 6 a factor of ((-24)/(-10))/(j/60*-3)?
True
Let v(p) = p**2 - 6*p + 5. Let a be v(1). Suppose 2*o - 1236 = 3*u, -3*o - 3*u - 214 + 2068 = a. Is o a multiple of 47?
False
Let g(y) = 2372*y - 5837. Is g(15) a multiple of 14?
False
Let m = -40068 - -57272. Is m a multiple of 17?
True
Suppose 0 = -25*n + 32*n - 1932. Does 13 divide 2/4*(n + 9 + -7)?
False
Suppose 4*y + 2545 = -22*d + 23*d, 0 = 4*d - 4*y - 10228. Does 197 divide d?
True
Does 16 divide (-11)/1 - (95 + -71402)?
True
Let o(n) = -116*n + 30. Let t be o(-5). Suppose -22*u + t = -17*u. Does 10 divide u?
False
Let b(h) = 64*h**2 + 29*h + 437. Does 11 divide b(25)?
True
Let k(s) = -9*s - s**2 + 7*s**2 + 28*s - 76 + 10. Let n(j) = -2*j**2 - 6*j + 22. Let r(f) = 4*k(f) + 11*n(f). Is r(-9) a multiple of 50?
True
Does 3 divide (111 + -112)*(-2843)/1?
False
Suppose 4*d + 3*g - 54 = -0*d, 5*g - 58 = -4*d. Let k(c) = -c**2 + 12*c + 14. Let p be k(d). Suppose -p = -2*h + 38. Is h a multiple of 13?
True
Let t(c) = 11*c**2 + c - 23. Let z(q) = 2*q**2 + q. Let f(x) = t(x) - 5*z(x). Suppose -s + 5*m + 27 = -2*s, 0 = 3*s + 2*m + 29. Is f(s) a multiple of 42?
False
Is (3/(-9))/(21/(-63) + 4198/12596) a multiple of 134?
True
Suppose 91*g - 94*g = -18. Is 7 a factor of g - 9 - (-5 + -271)?
True
Let v(l) = 42*l**3 - 22*l**2 + 141*l - 37. Is 22 a factor of v(7)?
True
Suppose 498 = 3*r - 123. Suppose -4*v - 177 = 4*g + r, v + 4*g = -81. Let c = -80 - v. Does 8 divide c?
False
Suppose 46*y = 41*y + 3*d + 17, -d + 13 = 3*y. Suppose -y*i + 28*x + 674 = 26*x, -3*x - 181 = -i. Is 7 a factor of i?
False
Is (-5*(-6)/(36/(-6)))/(19/(-172349)) a multiple of 235?
True
Let v = 3061 - 1525. Does 24 divide v?
True
Suppose -5*y = j - 85, 0*y = 2*y - 3*j - 34. Let v(r) be the second derivative of 4*r**3/3 - 8*r**2 - 396*r + 2. Is v(y) a multiple of 16?
False
Let m be (-1 - 0 - -1) + -3. Let w be m*3/9*3. Is (w - (-2 - 2))*34 a multiple of 14?
False
Suppose 3*h + 4 = -3*c + 5*h, -2*c - 8 = 4*h. Does 8 divide (122 - 4) + -1*(-8)/c?
False
Let w(r) = -2*r + 3. Let k be w(10). Let m(y) = -y**3 - 16*y**2 + 18*y + 5. Let n be m(k). Let u = n - -233. Is u a multiple of 13?
True
Let z be (-2 + 2)/(-3) - (-6)/3. Let o(x) = -12 - 3*x + 2*x**2 + x**2 - 10*x + x**z. Does 15 divide o(9)?
True
Is 7 a factor of (-2530)/115*(-911)/2?
False
Let n(o) = -138*o**3 + 13*o**2 + 5*o + 57*o**3 - 56 + 80*o**3. Is n(12) a multiple of 37?
True
Let w be (-1)/7*-2 - 544/(-7). Let b = w - 60. Suppose b = -6*s + 48. Is 3 a factor of s?
False
Let l(g) be the first derivative of 3*g**4/4 + g**3/2 - g**2 - 11*g - 4. Let s(r) be the first derivative of l(r). Is 10 a factor of s(-3)?
True
Let n be 38/6 - (1 - 3/(-9)). Suppose 3*b - 5*y = -1 - 0, 17 = -b + n*y. Suppose 1822 = b*t + 310. Does 21 divide t?
True
Let b(g) = -12*g**2 - 22*g + 19. Let o be b(6). Let y = -320 - o. Is y a multiple of 25?
True
Let h be 8 + -7 + (-1 + -1)*-27. Let q = h - -12. Suppose -f = -x - 16 + q, 2*f - 36 = -x. Is x a multiple of 23?
True
Let f(j) = 979*j + 56. Is 21 a factor of f(7)?
True
Is ((-5412)/(-1722))/((-4)/(-70)) a multiple of 7?
False
Let g = 27806 + -16292. Is 45 a factor of g?
False
Suppose 56*l + 36*l - 488851 = -107051. Is l a multiple of 166?
True
Does 7 divide 9 - (119 + -123)*3847/2?
False
Let a be (-4 + 24/5)*(6 - 1). Let x be -2 + (a - 4) - 0. Is (6/24)/(x/(-872)) a multiple of 19?
False
Suppose 4*m - 8 = 4*z, 5*m + 0*z = z + 26. Is 13 a factor of 6/m + 4 + (828 - 0)?
False
Let c be (27 + -6)/7 - (80 - -1). Let y = 12 - c. Is y a multiple of 45?
True
Let q(s) = 2*s**2 + s - 2. Let o be q(-2). Let j(c) = -11*c - 194. Let n be j(-18). Suppose b - 88 = -n*a, b - 60 = o*a - 140. Is 4 a factor of a?
False
Suppose -253*t + 1525598 = -83*t - 5778622. Is 14 a factor of t?
True
Let f = 278 + -276. Suppose 3*c - 12 = 0, 2*r + f*c = 4*r - 570. Is 13 a factor of r?
False
Let z = -36 + 41. Suppose z*a - 219 = -5*p - 59, -2*a + 126 = 4*p. Suppose -3*s + p = -8. Is 4 a factor of s?
False
Let c(m) = 245*m**2 - 7*m + 9. Let g be c(3). Suppose 0 = -9*j + 5433 - g. Is j a multiple of 24?
True
Let m be (-537336)/255 - 4/5. Let n = m - -3123. Is 35 a factor of n?
True
Suppose -38*s + 471282 = 16*s - 12*s. Does 15 divide s?
False
Suppose -9*x