e
Let b(w) = -8345*w + 2290. Is 74 a factor of b(-4)?
False
Let t be (2 - 2)*(-2)/(-4) - -1298. Let j = 2379 - t. Is j a multiple of 47?
True
Suppose -7*l - 9015 = -42713. Suppose -2*r = 2*g - 2410, -g + l = 3*g + 2*r. Does 17 divide g?
False
Let v = 4228 + -2182. Let r be v/14 - (-9)/(-63). Suppose 2*u = 244 + r. Is u a multiple of 25?
False
Let k be -2 - -2 - (-3 - (-2 - 13)). Let z be (-404)/k + 2/(-3). Does 33 divide (-1)/(2/(-126)) + z + -30?
True
Does 11 divide 7/((-140)/(-260)) + 37882?
True
Let t(f) = -144*f - 16027. Is t(-145) a multiple of 211?
True
Suppose 5*q - 788 - 33 = j, -4*q = 4*j - 676. Let f = 243 - q. Is f a multiple of 13?
True
Let p(c) be the first derivative of -72*c**2 - 3*c - 29. Let j be p(-2). Suppose -j = -7*h + 261. Is h a multiple of 11?
False
Suppose 5*n + 117560 = 5*x, 779*x + 14*n + 23421 = 780*x. Does 17 divide x?
False
Suppose 0 = -4*u - 3*s + 146001, 3*u + s + 36509 = 4*u. Is 27 a factor of u?
True
Let h(w) = w**3 + 60*w**2 - 25*w + 588. Is 21 a factor of h(-50)?
True
Let i(c) = -61*c - 4. Let f(z) = -16*z**2 + 2 - 4*z + 11*z**2 + 3 + 0*z. Let m be f(1). Does 16 divide i(m)?
True
Let x be (-5)/(-1) - 14/(6 - -1). Suppose 89*a = 3*o + 86*a - 1452, 0 = -x*a + 6. Is o a multiple of 9?
True
Suppose 19*v = 58684 + 29647. Is 15 a factor of v?
False
Suppose 2*h - 3*h + 2*p = -16, 4*h = 2*p + 34. Let n(k) = -3*k - 5 + 10592*k**2 + k**3 - 10596*k**2 + 0*k**3. Is n(h) a multiple of 17?
False
Let v(n) = 2 + 16*n - 7 - 10. Suppose 0 = -j, 3*h - j - 24 = -4*j. Does 18 divide v(h)?
False
Suppose 0 = -6*v + 20*v - 420. Suppose -2*a + 40 = v. Suppose 0 = -a*f + 367 - 27. Does 6 divide f?
False
Let n(i) = -41*i + 5. Let u = -11 - -6. Is n(u) a multiple of 10?
True
Let k be ((0 - 0) + -1)*0. Suppose -57*l + 51*l + 2016 = k. Does 48 divide l?
True
Suppose -15*h = -0 + 30. Does 13 divide (h + -2754)/((-12)/6) - 0?
True
Let p(l) = l**3 + 3*l**2 + 3*l + 2. Let t = 81 + -83. Let b be p(t). Suppose -5*f = g + 3*g - 550, b = 4*g - 4*f - 568. Is g a multiple of 28?
True
Suppose -4*d + 452 = -0*d. Let u be 176 - (11 + (-39)/13). Let l = u - d. Is 19 a factor of l?
False
Does 10 divide (-2)/5 + 1471920/300?
False
Suppose 274*m = 185*m + 1031599. Is 173 a factor of m?
True
Let i(s) = -s. Let d be i(-4). Let m be (-4)/(-18) + (-1264)/(-711). Suppose 5*w + 3*l = 615, 0 = -d*w - 5*l + m*l + 492. Is 21 a factor of w?
False
Suppose -49903 + 477367 = 94*k + 67538. Does 9 divide k?
False
Let l(x) be the first derivative of 2*x**3 + 19*x**2/2 - 2*x + 2. Let m be l(-6). Let r = m - 60. Is r a multiple of 8?
True
Let v(d) = d**3 - 15*d**2 + d - 47. Let m be v(15). Let u = m + 149. Does 9 divide u?
True
Let l be (21 + -3)*(0 - 1). Suppose 13 = 4*b + 5*k, -k + 118 = 5*b + 128. Does 7 divide 54/3 + (2 - l/b)?
True
Suppose 4*s - s = -12. Let o(a) = 14*a + 20. Let y(q) = -q - 1. Let v(k) = -o(k) - 3*y(k). Is v(s) a multiple of 9?
True
Suppose -4*a - 20 = 0, 5*u + 51 = 3*a - 4. Let t(s) = 2*s**3 + 13*s**2 + 4*s - 14. Let c be t(-6). Is 11 a factor of 8/c*161/u?
False
Let t = 12919 + 11228. Does 27 divide t?
False
Let r(y) = 160*y**2 + 41*y - 50. Does 15 divide r(2)?
False
Let g = 69 - 64. Suppose 12*u - g*u - 14 = 0. Is 19 a factor of (u/3)/(((-2)/261)/(-2))?
False
Let u(a) = -a - 1. Let s(b) = 5*b**2 - 17*b - 16. Let i(j) = s(j) - 6*u(j). Is 10 a factor of i(10)?
True
Suppose 5*n + 2*i - 121 = 9, -4*i = 2*n - 36. Suppose -l = -0*l + n. Let x = l - -85. Is x a multiple of 5?
False
Let s = 88721 - 59277. Does 50 divide s?
False
Suppose 0 = 4*r - 4*o - 10992, -5*r + 22*o = 24*o - 13754. Is 5 a factor of r?
True
Suppose 4*m = 3*z + 32015, 8025 = m + 7*z - 12*z. Does 64 divide m?
True
Let h be (1 + (-51 - 0))/(4/(-10)). Suppose -11*i - 292 = -2*z - 7*i, 0 = -z - 5*i + h. Is z a multiple of 10?
True
Let s(y) = -y**3 - 13*y**2 + 41*y + 48. Let g(q) = -q**2 + 1. Let w(i) = 2*g(i) + s(i). Is 8 a factor of w(-18)?
False
Is 9 a factor of ((-41760)/168)/(-1 + (-76)/(-84))?
True
Is 12/(36/(-51)) + 43748 a multiple of 129?
True
Let k = -5183 + 11423. Does 38 divide k?
False
Let w = 355 - 182. Suppose -b - 4*c + w = 52, -4*b = -2*c - 502. Is b a multiple of 6?
False
Let n be (76/(-12) - -3)*(-342)/2. Let d = n - 446. Is 2 a factor of d?
True
Let p be 4/(-12) + 0 + (-19)/(-3). Is 3 a factor of 76/(-57) + 218/p?
False
Suppose -5 = -3*l + g, 5*l - 3*g - 11 = -0*g. Is -4 + (l/2*-2 - -461) a multiple of 36?
False
Let z(o) = 27*o**2 + 937*o + 95. Does 20 divide z(-39)?
False
Suppose -3*i + 8*i + 5*g + 8175 = 0, -2*i = -5*g + 3305. Let z = i - -2690. Does 15 divide z?
True
Does 17 divide 1/(-12*(-8)/527136)?
True
Let y(n) = 2*n**2 - 10*n - 4936. Is y(66) a multiple of 164?
True
Let a(n) = n**3 - 7*n**2 - 19*n + 11. Let m be a(9). Is m/4*(-60)/9*-18 a multiple of 12?
True
Let q = -702 - -698. Let a = -2 - -1. Does 18 divide a*q/(8/101)*2?
False
Let m be (-3 - 2)*-27 - 3. Let v = m + 12. Does 23 divide v?
False
Is 13 a factor of (277 - -2) + (1 + -7)/(-3)?
False
Suppose j = -5*w + 1164, -4*j + 6*j = -3*w + 704. Is (w/(-7) - 2)/((-16)/112) a multiple of 6?
True
Suppose 3*x - 18 + 3 = 0. Suppose -2*q + 2*z = -94, 0 = -q - x*z + 34 + 31. Is 10 a factor of q?
True
Let w = 76 + -76. Suppose s - 17 = -w*s. Does 11 divide s?
False
Let b be (749 - -32) + (-14)/2. Is b/2*-1*92/(-69) a multiple of 23?
False
Let q = 1360 + -911. Suppose 307 = 5*b + g, 4*g + 136 = -5*b + q. Is 12 a factor of b?
False
Suppose 552 = -12*l + 3636. Let n = -168 + l. Is n a multiple of 6?
False
Let a = -9 + 25. Let o(z) = -z**3 + 15*z**2 + 18*z - 30. Let d be o(a). Suppose -d*s + 720 = 4*s. Is 24 a factor of s?
True
Let t(r) = r**3 - 34*r**2 - 5*r + 176. Let n be t(34). Is 90 a factor of (15/10)/(n/(-12)) + 1282?
False
Suppose -9200 = -3*z - 2*f, -2*z - 1309 + 7398 = -5*f. Is 4 a factor of z?
False
Suppose 373 = 4*v + v - 2*w, -v - 4*w = -79. Let x = v + -70. Suppose x = 3*s - 241. Is s a multiple of 24?
False
Suppose -4*r + 3*u + 122 = 0, 0 = -3*r - 2*u - 3*u + 77. Suppose r = -c + 29. Does 12 divide (2 - c - (3 + -1)) + 48?
True
Let z(y) = 12*y - 39. Let h(n) = n**3 - 10*n**2 + 12*n - 15. Let u be h(9). Let v be z(u). Suppose 104*a + 35 = v*a. Does 6 divide a?
False
Suppose 26*h = 16966 + 23984. Suppose -64*q + 67*q = h. Is 75 a factor of q?
True
Let d(w) = -7*w**3 + w**2 - 9*w - 22. Let u(v) = -1. Let c(g) = d(g) - 3*u(g). Is 26 a factor of c(-3)?
False
Let m(g) = -801*g + 546. Is m(-7) a multiple of 72?
False
Let p be 140510/(-125) + 4/50. Is (5 - p) + 3/(3/(-4)) a multiple of 15?
True
Let k(x) = x. Let i be k(2). Suppose -640 = -113*o + 109*o. Suppose -2*y + o = i*y. Is 4 a factor of y?
True
Let t(o) = -o**3 + 16*o**2 + 35. Suppose 0 = 2*v - 4*b - 44, v - b + 6 - 25 = 0. Let h be t(v). Suppose h*s = 34*s + 72. Is s a multiple of 6?
True
Let r(a) be the first derivative of a**4/4 + 3*a**3 - 5*a**2/2 - 12*a + 8. Let x be r(-10). Is 9 a factor of (-3)/(-9)*3 - x?
True
Let r = 232 + -189. Let l(p) = 12*p - 208. Is 44 a factor of l(r)?
True
Suppose -z + 2*z = 3*b - 31, -26 = -3*b + 2*z. Let t(g) = 0*g + 50*g**2 + b - 48*g**2 + 7*g. Is t(-4) a multiple of 3?
False
Suppose -2*k = 5*k + 7. Suppose -136 = -3*h + 2*h. Does 35 divide 3/(-4)*k*h?
False
Let u(o) = 11*o**2 + 15*o + 1. Let q(a) = 5*a**2 + 8*a. Let s(i) = -9*q(i) + 4*u(i). Let r be s(-11). Suppose -b + 14 = -r. Does 10 divide b?
False
Let s = 341 + -339. Let i(r) = 25*r**2 + 3*r - 6. Is 25 a factor of i(s)?
True
Suppose -33*y - 150 = -38*y. Does 17 divide (y/(-18) + 2)*366 - 3?
True
Let h(p) = -188*p - 554. Is 9 a factor of h(-49)?
True
Let x(v) = 4*v**3 - 6*v**2 + 2*v + 3. Let i be x(4). Suppose 2*u - i = 19. Is u a multiple of 5?
True
Suppose 3*z - 3*p + 3 = 0, -5*z - 5*p = 34 - 9. Let u = 1763 - 1760. Is 19 + z + 3/u*-1 a multiple of 3?
True
Suppose -5*x + 69304 = 3*u, 783*u - 785*u + 69306 = 5*x. Does 29 divide x?
True
Let x be 160/85 - (-2)/17. Suppose -x*k + 3 = 9. Does 5 divide (27/2 + k)*(-10)/(-3)?
True
Is 7 a factor of (-2 - 1)/(((-1710)/190969)/30)?
False
Suppose 2*g + p = 868, -4*g = -p + 2*p - 1734. Suppose -2*s = -4*a + 1762, 0 = a - 0*s + s - g. Is 12 a factor of a?
False
Let x = 80 + -75. Suppose 7*h = x*h - 72. Does 36 divide 24/h + (-572)/(-3)?
False
Suppose 2*h = 2, -2*j - 6*h = -10*h - 6. Suppose -2*u = j*w - 2834, 0*u = -2*w +