43 - 1144, f*c + 3*w = 2385. Is c a multiple of 18?
True
Let b(a) = -a - 2. Let z be 4 - (-1)/((-5)/15). Let i be b(z). Let n(p) = -2*p**3 + 2*p**2 + 2*p + 4. Does 14 divide n(i)?
True
Let z(j) = -j**3 - 5*j**2 - 22*j - 69. Let f be z(-4). Suppose -8*u + f*l = -7*u - 852, l = 5*u - 4316. Does 24 divide u?
True
Let m(s) = 34*s**2 - 2*s. Is m(5) a multiple of 28?
True
Let y(f) = -21*f**2 + 1. Let o be y(-1). Is 14 a factor of 4/o - (3 - 8130/25)?
True
Let i(q) = q**2 + 8*q + 9. Let p be i(-12). Let l be (2/(-1) - -9)*3. Suppose l = -3*w + p. Does 4 divide w?
True
Let q = 35 - 32. Suppose 1138 = q*h - 2*f, h + f = -3*f + 384. Is h a multiple of 53?
False
Let m(s) = 3*s**2 + 6*s - 1. Let n be m(-3). Suppose -q = 3*r - 546, 6*r + 364 = n*r + 4*q. Is r a multiple of 26?
True
Is (22/9)/((-8)/(-13434)) + 282/1692 a multiple of 5?
True
Let p(b) = 83*b**2 + 76*b - 25. Is p(-7) a multiple of 65?
True
Let r(o) = 36*o**2 + 142*o + 1002. Does 4 divide r(-7)?
True
Suppose -3*g + 1085 = 28*g. Let l(h) = 12*h - 206. Is l(g) a multiple of 6?
False
Let n(g) = 4*g - 23. Let i be n(12). Let y = 28 - i. Suppose -2*q = y*m - 114, m = q + q - 114. Does 43 divide q?
False
Suppose -31*t = -33*t - 2. Is 8 a factor of -3 - t*(32 + -5)?
True
Let l(k) = k**3 - 7*k**2 - 3*k + 21. Let g be (-4408)/44 - 6/(-33). Let b = g + 109. Is 52 a factor of l(b)?
True
Let y(i) = -i**3 + 6*i**2 + 4*i - 20. Let s be y(6). Suppose 7*k - 4*k - 5*r - 1179 = 0, s*k + r - 1549 = 0. Is k a multiple of 29?
False
Let p(z) = 6*z**2 + 4*z + 4. Let j be 0 + -1 - (-7 - 1)/1. Suppose -q + 4*a + j = 4*q, 4*q + 2*a + 10 = 0. Is 3 a factor of p(q)?
True
Suppose 261*f - 347*f = -862924. Is f a multiple of 32?
False
Suppose 2*u + 30 + 164 = 2*d, -5*d - 25 = 0. Does 28 divide 17/(u/(-1296)) - 3?
False
Let v = -38 - -57. Let f(r) = -24*r**3 + 49*r**3 - 7*r - 24*r**3 - 4 - 11*r**2 + v*r. Is 2 a factor of f(10)?
True
Let o(v) be the second derivative of -v**4/12 - 7*v**3/2 + 19*v**2/2 - 9*v. Let g be o(-19). Let k = g + -10. Does 10 divide k?
False
Let m(l) = 2*l - 33. Let y(z) = 1. Let p(r) = -m(r) + 2*y(r). Let u be p(17). Suppose -43 = -2*o - u. Is 7 a factor of o?
True
Suppose -5*w + 34 = 14. Let z be -12*1*(-55)/w. Suppose 14*b = 11*b + z. Does 11 divide b?
True
Let g = -12091 + 24799. Suppose -4*u + g = 14*u. Does 13 divide u?
False
Suppose -n - 2*m = -3*m - 10, -5*m + 10 = 0. Let r(u) be the third derivative of 7*u**4/12 - 3*u**3/2 - 4998*u**2. Does 11 divide r(n)?
False
Let n(h) = 3*h**2 - 46*h + 4323. Is n(-54) a multiple of 76?
False
Suppose -1659*h + 1656*h + 3*y + 172131 = 0, -3*h + 172156 = 2*y. Does 13 divide h?
True
Let y = 22853 - 22967. Let a = -139 - -310. Let j = a + y. Is j a multiple of 15?
False
Suppose 0 = 5*f + 5*t - 72500, 0 = -f + t + 22480 - 7980. Does 10 divide ((-4)/(-10))/(10/f)?
True
Let y = 32 + -35. Is y + 0 - -2 - -85 a multiple of 6?
True
Let i = 50177 + -34798. Is i a multiple of 13?
True
Suppose 0 = -2*j - 4*g + 13786, -3*g = 4*j - 2*j - 13782. Is 49 a factor of j?
False
Suppose -f = -5*v - 10445, -f - 10445 = 7*v - 2*v. Let k = -954 - v. Does 29 divide k?
False
Suppose 1632 = 4*k - 4*w, -2*k + 3*w = 3*k - 2046. Let a = 109 + k. Is 25 a factor of a?
False
Let s(m) = -m**3 - 13*m**2 + 38*m + 18. Let x(p) = 2*p**3 + 27*p**2 - 77*p - 37. Let o(g) = -13*s(g) - 6*x(g). Is o(-10) a multiple of 4?
True
Suppose 5*l = -11*l. Suppose l = 7*r - 166 - 506. Does 24 divide r?
True
Suppose -3*k + 49101 = -3*g - 15696, -k + 5*g = -21611. Is k a multiple of 27?
False
Suppose -26250 = l - 3*r, -92701 = 4*l + 5*r + 12367. Does 22 divide (-3)/(-21) + l/(-63)?
False
Let v(y) = -6 + 9 - 3 - y. Let i be v(0). Suppose i = 8*d - 10*d + 10. Is 4 a factor of d?
False
Let p be ((210/20)/(-21))/((-1)/2). Is 25 a factor of 43 - -129 - (p - 4)?
True
Let k(w) = -23*w**3 + w - 2. Let l be k(1). Let z = -21 - l. Is (-8)/(-6) - (-47)/z a multiple of 2?
False
Suppose 2*o - 3*o + 5*p = -9, 5*o - 2*p - 22 = 0. Suppose o*d = 276 + 284. Is d a multiple of 17?
False
Let g = 88 - 72. Suppose -t + 5*t = g. Does 7 divide 1/(t/(-1) - -3)*-91?
True
Let p = 7882 + -7595. Let w = -5 + -173. Let x = w + p. Is 16 a factor of x?
False
Let r(p) = 175*p + 100. Is r(20) a multiple of 37?
False
Suppose 414 = -4*b + 462. Suppose -b*h - 9504 = -45*h. Is 10 a factor of h?
False
Suppose k + 7 - 3 = 0. Let c(s) = -s + 1. Let b(h) = -7*h - 13. Let p(f) = k*c(f) - b(f). Is 13 a factor of p(24)?
True
Let u(z) = -z**2 - 249*z - 142. Is 5 a factor of u(-180)?
False
Suppose 9781 - 2956 = 5*p. Does 105 divide p?
True
Let a be 16 - 18 - -2*2. Let b = 258 + a. Is b a multiple of 13?
True
Does 17 divide 4*(1703518/1624 + 4/14)?
False
Suppose 0 = 3*s - 8*q + 3*q - 6777, 5*q + 15 = 0. Does 186 divide s?
False
Does 7 divide 34154 - (-21 + (-18)/(-18))?
True
Let d(x) = 9*x - 5. Let v(p) = p**3 - p**2 - 6*p + 7. Let n be v(3). Let o be d(n). Suppose o + 206 = 11*z. Is z a multiple of 3?
True
Let a(h) = h**3 + 39*h**2 - 65*h + 102. Does 21 divide a(-27)?
True
Suppose -4*l = -5*z + 9*z - 7896, -1956 = -z + 2*l. Does 16 divide z?
True
Suppose 0*m - 19*m = -3078. Let x(i) = -50*i + 1. Let n be x(2). Let w = n + m. Is 15 a factor of w?
False
Suppose 52981 = l + 37845. Does 32 divide l?
True
Suppose 4*f - 32 = -5*m, 5*f = -0*f + 15. Suppose m*w + 570 = 6*w. Let t = w + -89. Does 14 divide t?
True
Let u(q) = q**2 + 14*q - 46. Suppose 4*y - 5*y - 5*d = 17, -3*y - 51 = -5*d. Let n be u(y). Suppose -p = n*t - 1, -3*t - 72 = -4*p + 1. Does 5 divide p?
False
Let j(q) = 452*q - 52. Let g be j(-2). Let v = g - -1356. Is v a multiple of 16?
True
Let i(l) = -l**3 + 6*l**2 + l - 2. Let c be i(6). Suppose c*p = u + 2*u + 78, 0 = -p + 5*u + 28. Is p a multiple of 3?
True
Suppose -18 = 3*d - 24. Suppose d*t - 7*t + 20 = 0. Is 2 a factor of 183/9 - t/12?
True
Is 37/(37/4760) - 8 a multiple of 66?
True
Let m = 7090 + -64. Is 22 a factor of m?
False
Let t(f) = 2*f**3 - 196*f**2 - 131*f - 120. Is 4 a factor of t(99)?
False
Suppose -25*g + 25091 + 37957 = 12*g. Does 5 divide g?
False
Let b(z) = -43*z**2 + 0*z + 35*z**2 - 3*z - 2 + 200*z**2. Let w be b(-1). Suppose -w*a + 198*a = 90. Is 18 a factor of a?
True
Let y = 5381 - 2751. Suppose 1549 = 7*z - y. Does 34 divide z?
False
Let a = -5638 + 185. Is 49 a factor of -2 + a/(-7) + 7?
True
Let q(l) = 7*l**2 - 22*l - 67. Let w be (19/(-2) - -3)*(-12)/6. Does 52 divide q(w)?
False
Suppose u + 6 = -u. Let a(o) be the third derivative of -17*o**4/24 - 3*o**3 + 13*o**2 - o. Is a(u) a multiple of 3?
True
Suppose 0 = d + 1 + 11. Let v = d - -14. Is 42/(v/(-64)*-3*4) a multiple of 28?
True
Let x(l) = -2*l**2 - 20*l - 29. Let i be x(-7). Suppose -i*s = 22 - 646. Is 12 a factor of s?
True
Suppose 2*s + 0*y - y = 6834, 0 = -5*s + 5*y + 17090. Is s a multiple of 28?
True
Is (-3 + ((-654456)/55)/8)/(1/(-5)) a multiple of 162?
True
Suppose -30*b + 183907 = 4567. Is b a multiple of 9?
False
Is 32 a factor of ((-202149)/(-9))/(13 + -10)?
False
Let i(t) = -t**2 + 11*t + 14. Let a be 20 + -4 + -4 - 0. Let w be i(a). Suppose -2*c = 3*v + 3*c - 345, -5*v + w*c + 606 = 0. Is v a multiple of 30?
True
Let y(p) = -p**2 - 6*p + 10. Let f be y(-7). Suppose -556 = -f*d - 211. Suppose 4*s + 25 + 72 = 5*i, 5*i + 5*s = d. Is 4 a factor of i?
False
Let n = 200 + -550. Let d be 5 - (n + (0 - -2)). Let z = -176 + d. Does 27 divide z?
False
Let b(m) = -61*m + 568. Does 8 divide b(-16)?
True
Suppose 0 = -5*r + r - 12. Let g = 1382 + -1380. Is ((-65)/1 - 1)/(r + g) a multiple of 6?
True
Suppose 15*a + 108 = 9*a. Is ((-66)/a)/(3/171) a multiple of 12?
False
Suppose 0 = 26*b - 24*b + 24. Let w(s) = -3*s - 40. Let l be w(b). Let u(m) = 10*m**2 + 6*m + 8. Is u(l) a multiple of 36?
True
Let l(s) = -2*s - 38. Let k be l(-20). Suppose -5 = k*j - 3*j, -18 = 4*x - 2*j. Let m(b) = 11*b**2 + 2. Does 23 divide m(x)?
True
Let j be ((-6)/(-36))/(1/(-32))*-54. Does 44 divide (j + -2)/((-3)/(-6))?
True
Let n(d) = 52*d**2 - 539*d - 257. Does 13 divide n(46)?
True
Let k(p) = -4*p**2 - 39*p + 12. Let i be k(-10). Suppose i*t - 3*t - 5*w + 691 = 0, -2*w = 2*t - 1390. Is 24 a factor of t?
True
Let n = 247 - 253. Is (-17)/51 - ((-4034)/n)/(-1) a multiple of 12?
True
Is 10 a factor of (6/5*(-300)/18)/((-8)/4408)?
True
Let j(u) = -u**2 - 4*u. Let y be j(-3). Let z(t) = -55*t**y -