). Suppose z*x - 9 = 61. Let w = 34 + x. Is 12 a factor of w?
True
Is 57 a factor of (-5 - 13/(169/(-726323))) + -6?
True
Let t(i) = 21*i**2 - i - 108. Let c = -184 + 191. Is 36 a factor of t(c)?
False
Suppose r = -5*f + 8, -r + 6 = -2*f + 5. Suppose 0 = -3*x - z + 328, r*x - 331 = -2*z - 2*z. Is x a multiple of 13?
False
Suppose 0 = 4*y + 20, 4*j + y = -3 + 6. Suppose -24 + 16 = -2*i, j*r = -i + 232. Is 19 a factor of r?
True
Suppose 10*a - 24*a + 168 = 0. Suppose 3125 = 2*g + f, -a*f = -3*g - 8*f + 4660. Is 27 a factor of g?
False
Let y be (1*-17 + -1)/((-84)/(-56)). Is (y/(-16))/(0 - 5/(-3060)) a multiple of 51?
True
Let b = -61 - -62. Let n be (0 - -1) + 0 - (-1)/b. Suppose 0 = n*t - 2*r - 256 + 2, 5*t - 625 = -5*r. Is 14 a factor of t?
True
Let j(u) = 11*u**3 - 6*u**2 - 35*u + 4. Does 10 divide j(8)?
False
Let w be 6 - (-3 + 9) - -567. Let d = w - 525. Does 3 divide d?
True
Let x(s) = s**3 - 6*s - 7. Let v be x(6). Suppose 2*g - 223 = v. Let n = 306 - g. Is n a multiple of 36?
True
Let b(x) = -13*x - 5 - 5 + 1. Suppose 19*y - 10*y = -81. Is b(y) a multiple of 27?
True
Suppose 0 = -6*q + 45 - 117. Let m be (q/36)/((-38)/36 - -1). Suppose -m*f + 366 = -66. Is 15 a factor of f?
False
Suppose -2*n = -171 + 105. Suppose f + f = -i - 48, -i + f = n. Let l = 34 - i. Is l a multiple of 12?
True
Suppose 153*n - 150*n = -3*a + 285, 4*a = 2*n + 374. Let y be (2 - -38)/(0 - -1). Let b = a - y. Is b a multiple of 45?
False
Let j be -10 - -35*12/30. Let y be (185/(-1))/((-1)/3). Does 17 divide (2 + y/20)*j*1?
True
Suppose 4 = -c + 7. Suppose c*d = -15*d + 5616. Is d a multiple of 26?
True
Suppose 5*m = -5*x + 4105, -3*m + m + x + 1654 = 0. Suppose 5*v = m + 85. Is v a multiple of 26?
True
Let t = -19049 + 22039. Does 15 divide t?
False
Let k(g) = 114*g**3 + 8*g**2 - 8*g + 7. Is k(2) a multiple of 95?
False
Is 6722 + -2 - (-32 + 23) a multiple of 24?
False
Let g be (-8)/24 + (-8787)/(-9). Let i = g + -688. Is 24 a factor of i?
True
Let p(w) = w**2 + 17*w - 16. Let j be (-12)/1*(-3)/(-2). Let q be p(j). Suppose 3*s - 36 = q*d + 17, -d = 2*s - 40. Does 8 divide s?
False
Let t = -1370 + 1243. Let z = -3 + -3. Let w = z - t. Is 11 a factor of w?
True
Suppose 2*a - 19 = g, 36 = 7*a - 4*a - 3*g. Is 19 a factor of 117 + 1 + 42/a + -1?
False
Suppose r - 5*m = 2040, -3*r + 2503 + 3551 = -4*m. Does 10 divide r?
True
Does 2 divide (-126)/(-7) + 615/5?
False
Suppose 24034 = 3*w + z, -465*w = -463*w + 4*z - 15996. Is 44 a factor of w?
False
Let g(k) = -k + 24. Let n be g(8). Let q be 1 - 12/n*288/2. Let b = -97 - q. Is 2 a factor of b?
True
Suppose 0 = b + 2, -2*b = -3*x + 3*b + 193. Let v = 61 - x. Suppose 5*c + 3*m - 6*m - 29 = 0, 3*c + m - 9 = v. Is 3 a factor of c?
False
Suppose -715*z + 17055 = -714*z - 5*i, 0 = -2*z - 5*i + 33990. Does 5 divide z?
True
Suppose r - 50*i - 4449 = -53*i, -2*r = 2*i - 8894. Does 13 divide r?
True
Let d(z) = 272*z - 264. Is d(9) a multiple of 84?
True
Let y(l) = -l**3 - 5*l**2 - 16*l - 237. Is 16 a factor of y(-9)?
False
Suppose 4*k + 3*z - 62 - 9 = 0, 2*k - 3*z - 13 = 0. Does 17 divide 2722/4 + 77/k + -5?
False
Let r(d) = 68*d**2 + 97*d + 148. Is r(-9) a multiple of 3?
False
Suppose -8*s + 7325 = -62731. Is s a multiple of 63?
True
Let t be 6/(-4)*28/(-6). Let d(p) = p**2 - 6*p - 12. Let l be d(-2). Suppose -2*q + z = -359, -l*q + 2*z + 725 = t*z. Is 40 a factor of q?
False
Let z(v) = v**3 + 5*v**2 + 2*v + 11. Let l be z(-5). Let b be -170*((-3 - l) + 3). Suppose -f - 104 = -3*f + 4*q, 3*f - b = -q. Does 9 divide f?
False
Let l = 141 + -150. Is 13 a factor of 907 + l/(-21)*7?
True
Let q(o) = -137*o + 75. Does 12 divide q(-10)?
False
Let u = -4274 + 4564. Is u a multiple of 10?
True
Let g(w) = 19*w**3 - 10*w + 11. Let b be g(1). Let z = 167 - 95. Let v = z + b. Does 23 divide v?
True
Is 14/(-5 - (-17647)/3528) a multiple of 9?
True
Is (5 - -1402)/1 - (-3 + 5) a multiple of 6?
False
Is (-64)/(-20)*(-465090)/(-148) a multiple of 39?
False
Let u(i) = -i**3 - i**2 + 134. Let f be u(0). Let b be (4/12)/((-57)/16929). Let h = f - b. Does 51 divide h?
False
Let h be 6/(-8) + (-2914)/(-248). Is 40 a factor of 872 - -3 - (h - 13)?
False
Suppose 125*u - 145656 = -11*u. Is 9 a factor of u?
True
Let u be ((-1)/(-1) + -20)*5. Let d be 0 + (-7)/14 - 981/6. Let t = u - d. Is 20 a factor of t?
False
Suppose p - 12090 = -4*a, 4*a + 0*p - 2*p - 12096 = 0. Is 13 a factor of a?
False
Let g = -162 + 97. Let k = g + 69. Suppose -459 = -k*r + m, -3*r = -7*r + 5*m + 471. Does 19 divide r?
True
Let c(h) = 34*h**3 + 22*h**2 - 80*h + 196. Is c(6) a multiple of 28?
False
Let p = -5238 - -13923. Does 15 divide p?
True
Suppose -4*l - 1549 = -5*h + 755, 0 = -l - 1. Does 10 divide h?
True
Let s be (-10)/(-1) - (16 - 17). Suppose -s*u = -3*u. Suppose 3*p = -5*c + 150, u*p - 5*p = -3*c + 124. Is 5 a factor of c?
False
Let x = 25816 + -15026. Is x a multiple of 83?
True
Let m be (-23)/(-7) + (-12)/42. Suppose 0 = 8*y + y - 18. Suppose -4*c + 121 = 5*z, -5*c + 145 = m*z + y*z. Is c a multiple of 8?
True
Suppose 5*z - 77 = -4*d + 35, 0 = d - 3*z - 11. Suppose 6 = d*j - 21*j. Suppose 0 = j*o + 2*g - 57, -2*o + 38 = -g + 7. Is o a multiple of 5?
False
Suppose 19835 - 4742 = -324*w + 337*w. Is w a multiple of 27?
True
Let m = -820 + 813. Is (-2190)/m - (-318)/(-371) a multiple of 3?
True
Let p(c) = 7*c + 12. Let z(r) = 2*r**3 - 8*r**2 + 6*r + 4. Let v be z(5). Let t = v - 76. Does 19 divide p(t)?
False
Suppose 0 = -22*y + 12*y + 20. Does 7 divide ((-18)/(-12))/(y/4)*10?
False
Suppose 3*k + 4*w - 2081 = 0, -5*k - 5*w + 2963 + 502 = 0. Suppose -2*v = -k - 191. Is v a multiple of 28?
False
Suppose 157*t - 153*t + z = 3905, t + 4*z - 965 = 0. Does 17 divide t?
False
Suppose -2*u - 5*f + 2020 = 0, u + 3*f + 2988 = 4*u. Suppose -3*r + 35 = 27*d - 23*d, 13 = r + d. Suppose -9*x + r*x = u. Is 13 a factor of x?
False
Let r(v) be the second derivative of v**5/20 - 17*v**4/6 + 16*v**3/3 + 81*v**2/2 + 69*v. Is 24 a factor of r(33)?
True
Suppose 5*n = 2196 - 936. Is n a multiple of 9?
True
Let j = -42064 + 74727. Does 14 divide j?
False
Let c(q) = 5*q - 47. Let s be c(12). Suppose -k + 11 = 4*y, -2*k - s = -7*k + y. Suppose 861 = k*z - 3*i, 4*z - 5*i = -19 + 1163. Is z a multiple of 19?
False
Suppose 0 = 15*p - 95*p + 316160. Is p a multiple of 26?
True
Suppose -190*o = 24*o - 158462 - 460854. Is o a multiple of 127?
False
Is 7 a factor of 2/(-23) + 27166652/5497?
True
Let m(d) = 5*d**2 + 5*d - 12. Let z be m(-6). Let b be z/(-42) - 4/(-14). Let r(f) = -7*f + 7. Does 14 divide r(b)?
True
Let k = 48859 - 33423. Is 17 a factor of k?
True
Let r = 714 + -997. Let u = r + 385. Is 17 a factor of u?
True
Let f(w) = 110*w**3 - w**2 + w. Let h be f(1). Let q be (8/(-16))/(14/1316). Let n = q + h. Does 11 divide n?
False
Let t = 5476 + 51414. Is t a multiple of 10?
True
Suppose 303 = 2*k + j, 3*k - j + 2*j = 453. Let m be ((-5)/(100/(-312)))/(9/k). Suppose 0 = c + 1, -5*b + 5*c + m = 15. Is 27 a factor of b?
False
Let w(f) = 2*f**3 - 80*f**2 + 64*f - 368. Is 46 a factor of w(43)?
True
Suppose -455009 = 66*h - 456367 - 971614. Does 18 divide h?
True
Let d be ((-5)/2)/(3/342). Let b = 133 - d. Is b a multiple of 17?
False
Suppose 0 = -h + 3*p + 20503, 5*p = -147*h + 151*h - 81963. Is h a multiple of 154?
True
Let m be (-6084)/5 - 4/20. Let k = 2193 + m. Is k a multiple of 59?
False
Let g(x) be the first derivative of 3*x**2 + 5/3*x**3 + 17 - x. Is g(-5) a multiple of 17?
False
Let x(y) = -53*y**3 - 12*y**2 - 13*y + 11. Let v be x(-4). Suppose 4*r + 132 = 3*q - 3128, -r = -3*q + v. Is 58 a factor of q?
False
Let d = -117 - -282. Suppose 5*r - d = b, -4*r + 153 = -3*b - 2*b. Suppose -4*g = -3*u + 100, -r = -u - 0*u + g. Is 7 a factor of u?
True
Let v(d) = -d**3 - 8*d**2 - 8*d - 5. Let t be v(-7). Suppose 4*u = -4*c + 1308, 2*u + 666 = -0*c + t*c. Does 10 divide c?
True
Let p = 50 - 87. Let m = p - -27. Is 40 a factor of 8/m*215/(-2)?
False
Suppose 3*b - 3 = 5*l, 3 = -4*l + 5*b - 2. Suppose x + 168 = s, 3*x - 6 = -l*x. Let y = s + 97. Is 22 a factor of y?
False
Let r(f) = -f**3 - 6*f**2 - 27*f - 22. Let a be r(-12). Suppose 5*z = a - 206. Is 7 a factor of z?
False
Let w be 4/10 + (-126)/15. Let b(a) = 3*a**3 - 27*a + 16*a + 7*a**2 - 2*a**3 - 36 + 16. Does 3 divide b(w)?
False
Let g(r) = 57*r -