 g?
False
Suppose -4*h + 10*h + 54 = 0. Let c be (-1815)/h - (-4)/(-6). Let w = c - -88. Is 44 a factor of w?
False
Let q be -4 - -1 - (-18)/2. Suppose -r = -4*y + q*y + 5, -5*y = 4*r + 8. Suppose -r*s + 212 = -4*p, -3*s - p + 270 = s. Is s a multiple of 17?
True
Let c(x) = 355*x**2 - 272*x - 799. Is c(-3) a multiple of 22?
True
Suppose 815*j - 818*j = 1461. Let m = 278 - j. Is m a multiple of 9?
True
Let x = -1454 + 1444. Let l(n) = -3 + 5 + 2 - n**2 - 12*n. Is l(x) a multiple of 4?
True
Let m = 23 + -31. Is 4 a factor of (3/((-24)/(-76)))/((-1)/m)?
True
Does 68 divide (-815 + -6)/((-9)/171)?
False
Let p be 14451/12 - 3/36*3. Let u(a) = -6 + 1214*a + a**2 - 6 - p*a. Is u(12) a multiple of 28?
True
Let t(d) = -d**2 + d + 657. Let h be t(0). Suppose -h = 5*p - 2057. Suppose -3*z + 161 = -4*s - 0*s, 0 = 5*z + 5*s - p. Does 11 divide z?
True
Let p = -100 - -104. Let w be 22*(p - 35/10). Let s(i) = i**3 - 10*i**2 - 10*i + 14. Is 25 a factor of s(w)?
True
Let x = 35 + -37. Let d be (144 - 12)*1/x. Does 8 divide (d + 0)/(-5 + 3)?
False
Suppose -4*k - 2*f + 271 = k, 0 = k + 4*f - 47. Let d = k - 7. Is d a multiple of 13?
False
Let n be -1 - 2817 - (-107 + 104). Does 27 divide 6*(-5)/40 - n/4?
False
Let s be 1/(-5 + (-5471)/(-1094)). Suppose 2*u + n = s, 4*n + 0*n + 1084 = 2*u. Does 7 divide u?
True
Suppose -s + 2*d = -27786, -10347 = -s + d + 17442. Is s/408 - (72/34 - 2) a multiple of 17?
True
Suppose 4*j - 50 - 69 = v, 370 = -3*v - j. Let z = -946 + 952. Does 26 divide v*(1 - 3)/z?
False
Let b(c) = c**2 - 10*c - 5. Let r(l) = 2*l**2 - 30*l - 16. Let x(h) = -8*b(h) + 3*r(h). Let i be x(-6). Let d = i + 47. Is d a multiple of 6?
False
Suppose 2*k + 13 = 7, 0 = 2*t - k - 161. Suppose -r + 215 = -t. Does 29 divide r?
False
Suppose -c + 0*o = o - 109, 3*c = 5*o + 311. Let p = c - -370. Does 55 divide p?
False
Let n = 103516 + -71536. Does 62 divide n?
False
Suppose -5*k = -4*p + 1 + 63, -2*k + 3*p = 27. Let m = k + 15. Suppose 5*t = -4*i + 66, 2*i = m*i + 4*t - 22. Is 3 a factor of i?
False
Let g be 6/(3/((-15)/(-10))) - -1. Suppose -4*q = 3*t - 952, -g*t = -2*q - 3*t + 486. Does 54 divide q?
False
Suppose 3*s = -4*k + 713 - 264, -3*s - 2*k + 457 = 0. Is -5 - s/(-35) - 19935/(-35) a multiple of 14?
False
Let q(x) = -x - 4. Let f be q(-7). Suppose -f*r + 3*d - 33 = 7*d, r + 3*d + 11 = 0. Is 15 a factor of ((-6)/8)/(r/792)?
False
Suppose -7*j + 3*s - 67 = -2*j, s + 29 = -3*j. Let o(p) = -p**3 + 17*p + 15. Is o(j) a multiple of 19?
True
Let n(x) = 47*x - 11. Let v(b) = 93*b - 21. Let z(h) = 9*n(h) - 5*v(h). Let t be (0 - -15) + 35 + -51. Is z(t) a multiple of 8?
True
Is 6/4 - 25541/(-2) a multiple of 124?
True
Let q(s) = -3*s**3 - 48*s**2 - 8*s - 57. Is q(-21) a multiple of 57?
True
Let u(y) = 2*y**3 - 9*y**2 + 6*y - 2. Let l be u(4). Suppose j + 35 = l*j. Suppose 124 = 4*o - 5*p, 5*o + 2*p + 62 = j*o. Is 2 a factor of o?
False
Let b be (2 + -1 + 28)*1. Let z(i) = i**3 - 29*i**2 + 8*i - 52. Let q be z(b). Suppose -p + 3*p - 120 = 5*w, -3*w = 3*p - q. Is 15 a factor of p?
True
Suppose 4*w - 3436116 = -323*w. Is 12 a factor of w?
False
Suppose -632*y + 462*y + 5338340 = 0. Is 263 a factor of y?
False
Let o be (378/147)/((-6)/(-140)). Suppose 0 = 2*z - 2 - 2. Suppose 0 - o = -z*l. Is 6 a factor of l?
True
Let r(c) = 4576*c**3 + 5*c**2 - 6*c. Is 24 a factor of r(1)?
False
Does 9 divide 16/48*(10140 + -9)?
False
Suppose -36*v - 50830 = -137268 - 869326. Is v a multiple of 16?
False
Let u(b) = 4*b**3 - 11*b**2 - 368*b - 15. Is u(15) a multiple of 18?
True
Let t(u) = 2*u**2 + u + 4. Let y be t(0). Suppose 20 = p + y*p. Suppose -p*d + 88 = 4*j, d + 2*j - 12 = 12. Is d a multiple of 10?
True
Suppose -5*s - 4*u = -55208, u - 4764 = -5*s + 50438. Does 20 divide s?
True
Let f = 217 + 11322. Is f a multiple of 9?
False
Suppose 2137 + 2505 = 4*v + 2*a, 0 = -2*v + 3*a + 2333. Suppose 4*j - 4*k = 1552, -18*j + v = -15*j - k. Does 9 divide j?
True
Let m = 28965 + -18395. Is 20 a factor of m?
False
Let q be (142/5)/((-8)/40). Let i = 394 + q. Suppose 3*w - i = -4*w. Is 23 a factor of w?
False
Let r(l) = 188*l + 1908. Is r(-2) a multiple of 2?
True
Suppose 3*t - 2261 = 109. Let f = -454 + t. Is 24 a factor of f?
True
Suppose -6*z + 670 = 2*v, 3*v - 73 = -z + 52. Let a(h) = -h**2 + 2*h + 5. Let b be a(-5). Let f = b + z. Is 16 a factor of f?
True
Suppose f - 6 + 9 = 0, 2*z = -2*f - 6952. Does 22 divide 74/(-296) - z/4?
False
Let v = -6046 - -16988. Is 287 a factor of v?
False
Let y be 3/(-12) - (-78)/24. Suppose y*s = -22 + 28. Is (114/s - 4)*1 a multiple of 4?
False
Let f(g) = -5*g**2 + 26*g + 25. Let d be f(6). Let n(j) = 848*j + 76. Does 33 divide n(d)?
True
Let m = 31441 + -14749. Does 78 divide m?
True
Let d(n) be the first derivative of 3*n**2 + 28*n - 141. Is d(10) even?
True
Let r be -10 + (-6)/(-33) + (-6)/33. Does 10 divide (-83488)/(-80) - (-6)/r?
False
Suppose 29*r - 69*r = -29*r - 17787. Is 77 a factor of r?
True
Suppose 32*w - 4*w = 6*w. Let y(v) = 2*v**2 + 4*v - 6. Let g be y(-5). Is g - w - (9 + -11) a multiple of 4?
False
Is 10 a factor of (-484 - -482)/(-2*2/8522)?
False
Let u(s) = -28*s**3 + 3*s**2 - 3*s - 2. Let j be u(2). Let i = j + 263. Is i a multiple of 2?
False
Let d = -3544 - -5924. Suppose -2*u = -9*u + d. Does 9 divide u?
False
Suppose 0 = -6*s + 110 + 142. Let r be (s/15 + -2)/((-16)/(-40)). Is 10 a factor of (-55*4)/(r/(-1))?
True
Let p = -642 - -650. Suppose 5*f - 2161 = -p*g + 6*g, -3237 = -3*g - 3*f. Does 49 divide g?
True
Let p be 21/(-12)*(-8 - -4). Let i(z) = -z**3 + 10*z**2 - 9*z - 37. Is i(p) a multiple of 9?
False
Let y(f) = -f**3 - 3*f**2 + 9*f + 24. Let n(c) = -c**3 - 2*c**2 + 3*c - 4. Let b be n(-3). Let m be y(b). Suppose 273 = m*w - 87. Is w a multiple of 10?
True
Suppose -99*m + 200*m = 89*m + 188232. Does 46 divide m?
True
Suppose 16290 = 4*t + 5*r, -44*t = -46*t + 3*r + 8178. Does 17 divide t?
True
Suppose 0 = s + 6*s. Suppose -r + 4*r - 12 = s. Suppose -407 = -r*p + 1. Is 18 a factor of p?
False
Let q = 55242 + -33176. Does 12 divide q?
False
Suppose 4*p + 2*s - 141 = -s, 0 = -4*s - 4. Suppose -410*r + p = -409*r. Does 2 divide r?
True
Let a(y) = -3*y**3 + 21*y**2 + 21*y - 6. Is a(-8) a multiple of 66?
True
Suppose 33036 + 109358 = 4*x + 10*x. Does 195 divide x?
False
Suppose 2*m - 1110*a + 1108*a - 17274 = 0, -3*m + 5*a + 25897 = 0. Is 16 a factor of m?
False
Let n(k) = -k**2 + 9*k + 3. Suppose -3*w - 6 = 4*c, -w - 3*c - 1 = 1. Let m be 82/14 - w/14. Does 6 divide n(m)?
False
Let b = -28316 + 44338. Is b a multiple of 68?
False
Let k be 18/2 + (18 - 13). Suppose k*v = 9*v + 1240. Is 6 a factor of v?
False
Let y(i) be the second derivative of 11*i**4/12 + 13*i**2/2 - 6*i + 9. Is y(-3) a multiple of 28?
True
Is 94 a factor of ((-6)/9 - 2)*790305/(-236)?
True
Let c be 1 + 26/(-4) - (-9)/6. Let l(x) = x**2 + 5*x + 10. Let p be l(c). Let k(f) = 11*f - 18. Does 7 divide k(p)?
False
Suppose 0 = 2*s - 5*l - 2 - 6, -3*s + 5*l = -22. Let j(a) = -a**3 + 17*a**2 + 8*a - 34. Is j(s) a multiple of 26?
False
Suppose -2*x - 2 = 0, -4*x - 59 = o - 208. Let n = 74 + o. Suppose b = 5*s + n, s = -3*b - 4*s + 661. Is b a multiple of 37?
True
Let k(x) = x**3 + 3*x**2 - 3*x. Let r be k(6). Let h(a) = r - 60 + a + 2*a + a. Does 45 divide h(0)?
False
Suppose -376 = 2*s - 432. Suppose s*t + 861 = 31*t. Is t a multiple of 24?
False
Let x(t) = -103*t - 11*t - 23 - 72*t - 24 + 15. Does 25 divide x(-2)?
False
Let b(g) = -4*g**3 - 18*g**2 + 7*g + 9. Let w(y) = 7*y**3 + 35*y**2 - 14*y - 16. Let n(l) = -5*b(l) - 3*w(l). Is 42 a factor of n(-17)?
True
Suppose 0 = -3*o - 9*z + 4*z + 143, 2*o = -3*z + 97. Let u = o - 56. Suppose u*b + 567 = 9*b. Is b a multiple of 21?
True
Let h be -1 - (-1 + -1 + -3). Suppose 0 = -p - h*p + 1340. Suppose -4*w + 2*w - 2*r + 104 = 0, 0 = 5*w + 3*r - p. Does 5 divide w?
False
Let g(k) = 10*k**2 + 3*k + 10. Let v = 77 - 75. Let l(h) = 2*h**2 - 3*h + 1. Let y be l(v). Is g(y) a multiple of 10?
False
Let u(p) = -3*p**2 - 8*p + 50. Let h be u(4). Let q(w) = w**3 + 31*w**2 - w + 30. Is q(h) a multiple of 24?
True
Let c(b) = 267*b - 100. Is c(2) a multiple of 4?
False
Let i(x) = x + 7. Let t be i(-5). Suppose 3*v - 440 = -t*p, p = 2*v - p - 300. Suppose 0 = z - 4*z + 6, v = c - z. Is 27 a factor of c?
False
Suppose 0 = 2*c - 17*c +