)?
True
Let g = 623 - 620. Is 46 a factor of 44*(6 - (-22)/12*g)?
True
Suppose -466 = -4*g + 2*g + 4*f, -2*g = 5*f - 511. Suppose 78*o = 81*o - g. Does 4 divide o?
False
Let i be (-4)/25*-10*-365. Let p = -44 - i. Is 60 a factor of p?
True
Let x(d) = -2*d**2 - 26*d + 4. Let r be x(-13). Suppose r*f + 6 = 7*f. Suppose f*t - b - 110 = 0, -2*t + 2*b = -3*b - 102. Is t a multiple of 15?
False
Suppose 0 = -6*w + 1270 + 1622. Suppose 4763 = 3*s + w. Does 11 divide s?
False
Suppose m + 45 = 7*k - 2*k, 0 = -3*k + 2*m + 27. Let w(b) = -b**2 + 12*b - 28. Let r be w(k). Is 14 a factor of -2 + 128 - (-4 - r - -3)?
True
Let v(x) = x**3 + 27*x**2 - 44*x + 56. Let g be v(-26). Let u = g + -1219. Is 14 a factor of u?
False
Suppose 6*h - 11*h + 52992 = 27*h. Is h a multiple of 12?
True
Let s(i) = -54*i - 181. Let j(p) = -p - 4. Let d(y) = 2*j(y) + s(y). Does 35 divide d(-19)?
True
Let b(f) = f - 1. Let k(l) = 234*l - 58. Let q(o) = 8*b(o) + k(o). Is 78 a factor of q(5)?
False
Let u(q) = -3*q + 16. Let n(r) = 4*r - 17. Let x(z) = 4*n(z) + 5*u(z). Let l be x(-5). Suppose -2*s + 70 = 3*h - l*s, -106 = -3*h - 4*s. Is h a multiple of 19?
False
Let c(l) = 250*l**2 - 2*l - 2. Let o(h) = -3*h - 1. Let r be o(0). Does 4 divide c(r)?
False
Let r be 165 + (1 - -3) + -3. Suppose 4*s + 2*a = -r - 100, -4*a + 183 = -3*s. Let l = s + 116. Is 17 a factor of l?
True
Let z = 1976 + -1861. Is 28 a factor of z?
False
Suppose -9*i + 11*i + 5*o = -440, -i = 5*o + 220. Let b = i + 250. Is 2 a factor of b?
True
Suppose 5*w - 1325 = -x - 4*x, 2*x = -w + 535. Let i = x + -217. Is 3 a factor of i?
False
Is 41 a factor of 1722/(-12)*(-1 + (-135)/21)?
True
Let g(l) = l**2 + 18*l - 12. Let x = -34 + 17. Let j be g(x). Let d = 13 - j. Is d a multiple of 3?
True
Let y = 26 - 84. Let j = 63 + y. Suppose -62 = -j*d + 88. Does 5 divide d?
True
Suppose -2*c + 697 - 53 = 0. Suppose 4*r - 366 = c. Let h = 360 - r. Is h a multiple of 15?
False
Let x(h) = 1305*h + 585. Is 85 a factor of x(6)?
True
Suppose -6792 = -98*o + 94*o - 4*z, 5*z = 3*o - 5118. Is o a multiple of 21?
True
Does 9 divide (-37260)/(-144) - 2/((-16)/18)?
True
Let l(z) = z**3 + 7*z**2 - 2*z - 10. Let b be l(-7). Suppose b*s - s + 534 = 0. Is 10 a factor of -2 + s/(1 - 3)?
False
Let f = -196 - -181. Is 2 + (-7116)/f + 18/30 a multiple of 6?
False
Suppose 3*c - 4*c = -4*r - 318, 0 = 3*c + r - 1019. Suppose 4*z + c = 5*y, -5*y = -2*y + 4*z - 222. Does 3 divide y?
False
Let h(l) = 6*l + 25 - 30*l + 6. Suppose 4*y - 48 = 4*a, -43 = -46*a + 50*a - 3*y. Is h(a) a multiple of 13?
False
Let r = -68 - -90. Suppose r*t - 207 = 541. Is t a multiple of 2?
True
Let l be (-42)/15 - ((-27)/15 - -2). Let v = 6 + l. Suppose -v*q + 204 - 18 = 0. Is 6 a factor of q?
False
Suppose -16*v + 350 + 69 = -2333. Is v a multiple of 4?
True
Suppose 42*p = -17*p + 12862. Suppose -15 = 3*l, -77 = o + l - p. Does 2 divide o?
True
Let w(z) = 46*z + 24. Let t(c) = 15*c + 8. Let q(p) = 7*t(p) - 2*w(p). Suppose 5*u - 60 = -55. Is 3 a factor of q(u)?
True
Let m = -16 - -15. Let q(h) = -5*h**2 - 1. Let b be q(m). Is b - (-1 - 1) - -13 a multiple of 2?
False
Suppose -17*q + 12 = -13*q. Is 7 a factor of (-3)/(q/(-112)*4)?
True
Let b be 5723/2 + 39/182*7. Suppose -o = 6*o - b. Is 5 a factor of o?
False
Let g(c) = -c**3 - 9*c**2 + 9*c - 22. Let r be g(-8). Let b = r - -290. Is 35 a factor of b?
False
Does 42 divide (18 + -15)*-1 - (-12618)/6?
True
Let n(f) = -f**3 - 12*f**2 + 31*f + 144. Is 41 a factor of n(-21)?
False
Let p(b) = 28*b**3 - 4*b**2 - 94*b - 26. Does 78 divide p(13)?
True
Let g(u) = 27*u**2 + 33*u + 131. Is g(-30) a multiple of 31?
False
Let j = 26 - 10. Suppose 15*f + 223 = 1483. Suppose -2*a + j = -f. Does 9 divide a?
False
Let d(b) = b**2 + 13*b + 8. Suppose r + 5*a - 54 = 4*r, r - 3*a + 22 = 0. Does 8 divide d(r)?
True
Suppose 144 + 16 = -5*f. Let t = f - -65. Suppose g + 2*a - 2 - 10 = 0, -g + t = -5*a. Is g a multiple of 9?
True
Let l = -105 - -77. Let w be 3 + (16/4)/((-2)/l). Suppose -9*v + w = -22. Is 3 a factor of v?
True
Let c = 40 - 11. Suppose 3*x - c = 115. Suppose 0 = -6*o + 3*o + x. Does 3 divide o?
False
Suppose -1295952 + 379984 = -27*i - 37*i. Is i a multiple of 163?
False
Let r be (-111)/2*80/15. Let m = 255 + -321. Let x = m - r. Is 22 a factor of x?
False
Suppose -2*t - 171 = 5*y, -2*y - t - 33 = -y. Let q(z) = -26*z + 6. Let h be q(-4). Let j = h + y. Is 23 a factor of j?
False
Suppose -d + 2 + 3 = 0. Suppose -100 = d*l - 35. Let z = 47 + l. Does 17 divide z?
True
Let w(b) be the second derivative of -5*b**4/24 - b**3/2 + 5*b**2 + 27*b. Let p(h) be the first derivative of w(h). Does 7 divide p(-4)?
False
Suppose -2571 = 3*m - 32471 - 11428. Does 56 divide m?
True
Let h(g) = 2*g**2 + 20*g - 36. Let i(w) = w - 2. Let t(s) = h(s) - 5*i(s). Let d be t(-17). Suppose 13*q - 327 = d. Does 8 divide q?
True
Let n = 92 - 89. Suppose n*b + 982 = -4*h, 4*b - 577 = 2*h - 75. Let q = h + 463. Is q a multiple of 18?
True
Let t be 3/(-2)*70/(-15). Suppose 160 = 3*c - t*c. Does 17 divide (-30)/(-9)*(-816)/c?
True
Let r be (4977/(-35))/(-3 + (-14)/(-5)). Let m = r - 101. Is m a multiple of 26?
False
Is ((-104)/78)/(12/18*1/(-544)) a multiple of 9?
False
Let x = 37177 + -3287. Is 12 a factor of x?
False
Let w be ((-21)/15)/(2/(-10)). Let j be -99 - (w + 12/(-3)). Let s = -70 - j. Is 3 a factor of s?
False
Suppose 41140 = -641*f + 696*f. Is f a multiple of 43?
False
Suppose 0 = 10*t - 12*t - 446. Let z = t - -340. Is 13 a factor of z?
True
Let x(i) = 12*i**2 + 25*i - 2. Let z(h) = h**3 - 22*h**2 - 47*h - 28. Let j be z(24). Does 21 divide x(j)?
False
Does 47 divide 198829/45 - (-4)/(-18) - 17/85?
True
Let d = -387 - -878. Suppose d = 5*m + 51. Is m a multiple of 11?
True
Let m = -1783 + 6501. Is m a multiple of 18?
False
Suppose -3*s = 5*u - 5, 0 = -5*u + 5*s + 36 + 9. Suppose -7*d + 189 = -u*d. Suppose -w - 126 = -3*w - n, -n - d = -w. Is 9 a factor of w?
True
Let f(s) = s**3 - 24*s**2 - 53*s + 16. Let k be f(26). Does 11 divide 117 - k*5/(-10)?
False
Let m(r) be the second derivative of 35*r**4/12 - 3*r**3/2 + 11*r**2/2 + 186*r. Does 19 divide m(2)?
True
Suppose 28*y + 6*y - 35282 = 11*y. Does 26 divide y?
True
Does 269 divide (-2)/6*1603590/(-60) - (-3)/18?
False
Let r(o) = o**2 - 15*o + 28. Let n be r(13). Suppose -3*c - 4*l = -8*c - 157, -5*c = n*l + 169. Is (-8*1)/(11/c) a multiple of 4?
True
Let b be (6/(-5))/(18/(-60)). Suppose 361 = b*z + 57. Let m = z - 71. Does 5 divide m?
True
Let h(z) = 565*z**2 + 32*z + 1. Is 89 a factor of h(-1)?
True
Let l be (55/25 + -3)*85/(-2). Suppose 13 = -7*n + l. Is (9 - n/1) + 1*-2 a multiple of 2?
True
Let q(x) = 14*x + 7. Let r(l) = -l**3 - 3*l**2 - l - 1. Let p be r(-2). Let t be (-1)/((-1)/5 + (p - -3)). Is 10 a factor of q(t)?
False
Suppose -10*t + 511 = -1489. Let u = 691 - t. Is u a multiple of 15?
False
Let q(x) = 2*x**3 - 17*x**2 + 10*x - 9. Let f be q(8). Suppose -2*z - 305 = -f*z. Let u = z - 39. Is 2 a factor of u?
True
Let n(f) = f**3 - 20*f**2 + 28*f + 9. Let c be n(19). Suppose -2*v - 18 = -c. Suppose -v = 6*y - 495. Is 7 a factor of y?
False
Let t(k) = k**3 - 2*k**2 - 36*k - 10. Let f be t(7). Let i = 87 - f. Is 8 a factor of i?
True
Let b(d) = d**2 + d - 1. Let z be b(-4). Let u(f) = 76*f - 1 + z*f**2 - 79*f + 2*f**2. Is 19 a factor of u(-2)?
True
Suppose 0*j - 5*j = 30. Let o(i) = -2*i - 10. Let p be o(j). Suppose p*m + 29 = 263. Is 15 a factor of m?
False
Suppose -67*i + 6224 = -21*i + 152. Is 33 a factor of i?
True
Let i(t) = -17*t + 21. Let d be i(-5). Let z = -123 + d. Let s = z - -94. Is 18 a factor of s?
False
Let j = -41 + 45. Suppose j*x + 5*d - 3980 = -x, 3*x - 2391 = -4*d. Does 22 divide (x/52)/(2/16)?
False
Is (-1026)/(-4) + (2/14)/((-20)/210) a multiple of 15?
True
Let z = -317 + 322. Suppose -6*t + 9*t - 1975 = -z*r, 2*t - 1285 = 3*r. Does 65 divide t?
True
Suppose 2*a + 6 = 0, 0 = 5*i + a - 5 - 117. Suppose 5*d - i = 0, 16*m - 17*m = 5*d - 85. Is 4 a factor of m?
True
Let z be -4*(-8)/20*5. Suppose -z*p = p - 3636. Is p a multiple of 49?
False
Let p(z) = -46*z**2 + z - 28. Let x(a) = -138*a**2 + 3*a - 87. Let y(c) = 11*p(c) - 4*x(c). Is 65 a factor of y(-4)?
True
Is 21 a factor of 6/(-14)*1 - (666240/(-84) - 1)?
False
Does 3 divide (-2)/14*5 + (-14883968)/(-4774)?
True
Let g(x) =