factor of m(-15)?
False
Let u(f) = -34*f**2 - 9*f - 39. Let j(m) = 11*m**2 + 3*m + 13. Let q(h) = -8*j(h) - 3*u(h). Is 13 a factor of q(-3)?
True
Suppose 0 = 2*l - 4, 0 = 4*k - 16*l + 13*l - 11390. Is 73 a factor of k?
False
Let i(t) = 3*t**3 + 116*t**2 - 4*t + 36. Is i(-38) a multiple of 12?
False
Let o(i) = -i**2 - 6*i + 1. Let l(f) = f**2 + 5*f - 3. Let p be l(-4). Let v be o(p). Let x(s) = -s**2 - 10*s + 10. Is 14 a factor of x(v)?
False
Let n = -2062 - -3423. Does 10 divide n?
False
Let h(l) = -l**3 - 15*l**2 + 26*l + 40. Let u be h(-17). Let i = -52 + u. Is 17 a factor of i?
False
Let d be 10/(-4)*(-78)/65 + 0. Is 2 a factor of (296/(-24))/((1 + -2)/d)?
False
Suppose -2 + 8 = -2*p, 69 = -3*q - 5*p. Is (80/45 - 4/q) + 152 a multiple of 9?
False
Suppose 0*s + 6 = 2*s. Let i be (-2 + -3)*s + -2 + -1. Let v = 58 + i. Is 7 a factor of v?
False
Let x = 974 + -755. Suppose -138 = -m + x. Is m a multiple of 17?
True
Let h = -173 + 181. Suppose -h*y - 1664 = -16*y. Does 16 divide y?
True
Is 218 a factor of (-5)/(5/2) - 97/(291/(-115110))?
True
Let v be (-1184)/(-5) + 10/50. Suppose b - v = -2*b + 3*m, -5*b = 5*m - 395. Is 5 a factor of b?
False
Let z(q) be the first derivative of -3*q**2 + 106*q - 31. Does 17 divide z(-5)?
True
Suppose 2*v - 3*d = 3*v - 19, -v + 2*d = 6. Let n = -5 + 7. Suppose -5*l + 2*x - v*x = -74, -x = -n*l + 26. Is l a multiple of 4?
False
Suppose 0 = 10*c + 146 + 14. Let w(z) = 2*z + 69. Does 37 divide w(c)?
True
Let x(k) = 20*k**2 + 30*k**3 + 4 + 0*k + 19*k - 29*k**3. Let n be x(-19). Suppose -o + u + 45 = n, -154 = -4*o - u. Is 13 a factor of o?
True
Let n = 2817 - 2154. Is n a multiple of 15?
False
Suppose 9*s - 61 = 20. Let x(g) = -9*g**2 - 2 + g**3 - 14 + 3*g + 7. Is x(s) a multiple of 2?
True
Let n(q) be the second derivative of -q**4/12 + 5*q**3/6 - q**2/2 - 10*q. Let d be n(2). Suppose 0 = d*o - 2*p - 220, 4*p + 25 - 245 = -5*o. Does 37 divide o?
False
Let w(u) = 26*u**3 - 8*u**2 - 28*u + 37. Is 161 a factor of w(12)?
False
Let l(c) = -762*c + 1340. Is l(-41) a multiple of 18?
False
Suppose -2*k - 8 = -3*t, -3*t + 0*t - k + 14 = 0. Suppose t*b = 5*z + 500, 2*z + 398 = 3*b + 4*z. Is 6 a factor of b?
False
Let y = -148 - -148. Is 54 a factor of (y - 2/(-11)) + 165708/99?
True
Let v(d) = -11*d**3 - 2*d**2 - 2*d - 13. Let w(a) = -23*a**3 - 5*a**2 - 6*a - 26. Let s(m) = -7*v(m) + 3*w(m). Is s(3) a multiple of 11?
False
Let z(j) = -3853*j + 202. Is 71 a factor of z(-2)?
False
Suppose 40*s - 2*s = -7*s + 57240. Is s a multiple of 12?
True
Let w = 42654 - 27498. Let o be w/(-270) + (-4)/(-30). Let q = o + 116. Is 12 a factor of q?
True
Suppose 3*l - 7 = -4*i, -5*i - l + 4*l + 29 = 0. Suppose 3*h = o + 173, -2*o = -i*h - 5*o + 209. Is 14 a factor of h?
True
Suppose -5*q - 2*k + 13039 = 0, q + 5*k - 936 = 1658. Does 29 divide q?
False
Let c(p) = 1413*p**2 - 91*p + 186. Is c(2) a multiple of 14?
True
Let q be -5 - ((-32)/(-20))/(4/(-10)). Is 20 a factor of (-11 + 12)/((q + 2)/260)?
True
Let n(k) = 18*k**2 - 27*k - 1071. Does 105 divide n(26)?
True
Suppose -3*l - 10*l - 1638 = 0. Let b = 239 + l. Does 9 divide b?
False
Suppose 0 = -22*x + 20*x + 5*h + 89, 5*x = -4*h + 140. Let o(r) = -132*r. Let s be o(-1). Suppose 0 = 2*n + x - s. Does 6 divide n?
False
Suppose -5*d + 2*n + n + 2107 = 0, 5*d + n = 2091. Suppose -3*u = u - h - 1688, -h - d = -u. Suppose 3*j = u - 0. Does 47 divide j?
True
Let i = 57 + -54. Let a be 0 + -4 + i + 38 + -3. Suppose 4 - a = -2*l. Does 5 divide l?
True
Let v = -7375 - -11485. Does 30 divide v?
True
Let k(a) be the second derivative of a**5/20 - 5*a**4/3 + 23*a**3/6 + 51*a**2/2 - 14*a + 1. Does 2 divide k(19)?
False
Suppose -60 = -34*c + 29*c. Let h = 14 - -222. Does 8 divide h*(15/c + -1)?
False
Let x(q) = -6*q**2 - 133*q - 17. Let i be x(-22). Suppose -k + 3*c + 113 = -469, -4*k - i*c = -2260. Does 10 divide k?
True
Is 62*(5/10 + 5) a multiple of 11?
True
Let f(w) = -2697*w - 407. Is f(-3) a multiple of 34?
True
Let z = 308 + -316. Does 12 divide ((2*z)/4)/(2/(-264))?
True
Let z(x) = -x**2 + 105*x + 186. Is 87 a factor of z(29)?
False
Suppose 2*l = -c + 6, 6*l - 10 = 4*l - 3*c. Suppose 0 = 3*o - l*a - 1680, -5*a - 247 = -2*o + 862. Does 83 divide o?
False
Let z(f) = f**2 + 33. Let s be z(0). Let d be (-2)/(6/s + 0). Let u = d + 23. Is u a multiple of 3?
True
Suppose 5*z - 2445 = -56*c + 55*c, -9888 = -4*c - 2*z. Is 45 a factor of c?
True
Suppose 70983 = 24*p + 8307 - 217260. Is p a multiple of 162?
True
Let c = -4175 - -6994. Does 15 divide c?
False
Let w = 1063 - -2047. Suppose 58*v = 53*v + w. Is v a multiple of 43?
False
Is 155/30 + 2/(-12) + 51884 + -5 a multiple of 19?
False
Does 11 divide 36038 - 1 - (6 - 15/(-5))?
False
Let c = 135 + 98. Suppose 9*q - c = -917. Let l = 216 + q. Does 35 divide l?
True
Let i(h) = -5 + h - 7 + 4 - 7. Let k be i(25). Suppose k*b - 1044 = b. Is b a multiple of 34?
False
Suppose 14 + 21 = 5*w. Let y(v) = 4 - 23*v + 9*v + w*v. Does 30 divide y(-8)?
True
Let d(y) = -14*y**3 - 2*y**2 - 2. Let k(c) be the first derivative of -c**2/2 - 4*c + 33. Let s be k(-2). Is d(s) a multiple of 13?
False
Let h = -644 - -346. Let n = h + 518. Does 10 divide n?
True
Suppose 0 = 4*n + 8, 5*n - 1029 = 5*v + 2*n. Let g(m) = -m**2 - 12*m + 21. Let k be g(-19). Let r = k - v. Does 13 divide r?
False
Is 8 a factor of 1*(-15328)/(-8) + (-12 - -7)?
False
Let v(x) = -x**3 - 18*x**2 - 16*x + 24. Let r be v(-17). Suppose -2*y - 1075 = -r*y. Is 5 a factor of y?
True
Is ((-265229)/(-123))/(16/(-6) + 3) a multiple of 38?
False
Suppose -2*z + 636 = -13*g + 15*g, 4*z = -5*g + 1272. Is 8 a factor of z/((-4)/6*-1)?
False
Let g be (57 - -941)*1/2. Suppose a - 153 = -3*r, -3*a + 2*r - r + g = 0. Is 33 a factor of a?
True
Suppose 3 = -2*f + 13, 0 = -m - 2*f + 10. Suppose m = -93*o + 94*o - 294. Does 21 divide o?
True
Is 1167 + -30 + 15 + 10 a multiple of 5?
False
Suppose -27*l - 3419 = 8191. Let q = 564 + l. Does 12 divide q?
False
Let u(d) = 8*d**2 + 58*d + 1835. Does 28 divide u(49)?
False
Let k(z) = -4*z**3 - 75*z**2 + 163*z + 167. Is k(-31) a multiple of 18?
False
Let j(n) = n**3 - 14*n**2 + 13*n + 36. Let k be j(13). Suppose -32*x = -k*x - 32. Is 3 a factor of (1 - (-2)/x)*(29 + 7)?
True
Let k = -555 - -559. Suppose 4*a = -4*v + 7*v - 157, 205 = k*v - a. Does 17 divide v?
True
Suppose 2*a + 4*a - 102 = 0. Let r be -6*9/(-6)*a. Suppose 0 = f + 2*x - 80, -5*f + 277 + r = 4*x. Does 10 divide f?
True
Suppose 32*r - 31053 = -r. Suppose -3*w + r = 50. Is w a multiple of 13?
False
Suppose -d - 7 + 4 = -g, -4*d + g = 3. Suppose d = 7*q - 14*q. Suppose q = -3*c + 6*c - 663. Is 17 a factor of c?
True
Let i(l) = -9*l**3 - 10*l**2 + 43*l - 146. Is i(-14) a multiple of 137?
False
Let g(u) be the third derivative of u**6/120 - u**5/6 - 2*u**4/3 + 3*u**3 - 2*u**2 + 50. Let c be 7*-6*8/(-28). Does 19 divide g(c)?
True
Suppose 77 - 63 = n. Let s be 4618/14 + 2/n*1. Is (s/(-25))/((-3)/20) a multiple of 36?
False
Does 70 divide 2/36 + (-19992665)/(-6930)?
False
Suppose -35*h + 22465 = -58805. Is 27 a factor of h?
True
Let h(x) be the second derivative of -x**3/6 - x**2 + 12*x. Let w be h(-4). Suppose -3*m + 3*u = -2*u - 170, w*u + 120 = 2*m. Does 13 divide m?
True
Suppose 0 = m - p - 2496, -5*p - 6 = -21. Does 13 divide m?
False
Suppose 4*u - 361 - 479 = 0. Let q = 296 - u. Let c = -14 + q. Is c a multiple of 18?
True
Let p = 126 + -83. Suppose -p*m + 50*m - 5194 = 0. Does 63 divide m?
False
Let v(s) = 89*s + 94. Let t be v(-4). Does 14 divide (t/8)/(2/(-8))?
False
Let h = 2262 + 4772. Is h a multiple of 9?
False
Let s = 4234 + -3304. Is 31 a factor of s?
True
Does 330 divide 88*(9 + -15*(-221)/65)?
True
Let x = -3163 + 4443. Is x a multiple of 5?
True
Let n(i) be the third derivative of -i**4/12 + 37*i**3/6 - 24*i**2. Let s be n(18). Is (2132/65)/((6/15)/s) a multiple of 13?
False
Let q = -96 - 37. Let z = q - -191. Is 13 a factor of z?
False
Let r(l) = -2*l**3 + 49*l**2 - 145*l + 24. Is r(18) a multiple of 6?
True
Let s = 104685 + -67333. Is s a multiple of 28?
True
Suppose 4*k = 1378 - 118. Let n be ((-6)/5)/((-6)/k). Suppose -4*l + 206 = -3*d, 3*d - 49 = -2*l + n. Is l a multiple of 13?
False
Suppose 2901*o - 2974*o + 1938296 = 0. Is o a multiple of 21?
False
Let h(q) = -q**2 + 21*q - 86. Let w be h(15). Supp