(o) = 51*o + 5. Let n(b) = 17*b + 2. Let t(q) = -17*n(q) + 6*y(q). Let z be t(-2). Is z/(-4) + (-3)/2 a multiple of 3?
False
Suppose 5*l + 11 = -9, 5*w - 3*l = -173. Let r = w + 42. Suppose -r*d + 147 = -2*d. Does 11 divide d?
False
Let p(b) = -28*b + 207. Let u be p(5). Suppose 76*n - 2826 = u*n. Does 15 divide n?
False
Suppose -99*o + 28 = -103*o. Let p(m) = -3*m**3 - 10*m**2 + 11*m + 21. Let k be p(o). Suppose 5*s - 2*s - k = 0. Does 23 divide s?
True
Suppose 4*g = -3*y + 576 - 194, 0 = 4*y - 8. Suppose -674 = -24*w + g. Is w even?
True
Let w = -904 - -965. Is 61 a factor of w?
True
Let x be 0/4*2/(-4). Suppose -4*b - 6*b + 70 = x. Suppose 3*k - b*k = -88. Is k a multiple of 11?
True
Suppose 1660 = a - 2295. Is 18 a factor of 1/2 - a/(-10)?
True
Is 5 a factor of ((-4344)/(-32) + 1)*4 - -3?
True
Let c = 990 + -997. Let g(k) = 5*k**2 + 8*k - 33. Let o(v) = 3*v**2 + 4*v - 17. Let b(a) = -4*g(a) + 7*o(a). Is b(c) a multiple of 18?
True
Let g(d) = 2*d**2 + 10*d - 6. Let n(k) = -8*k - 11. Let t be n(-2). Suppose 2*m = -t - 9. Is g(m) a multiple of 22?
True
Let q be ((-1)/(-3))/(-4*8/(-384)). Suppose 764 = 2*p - 4*f, -20*p - q*f + 358 = -19*p. Is 22 a factor of p?
True
Let m be 1*(23/4 + (-9)/12). Suppose m*s = 8*s. Suppose n = -s*n + 45. Is 14 a factor of n?
False
Let u = -3527 + 7784. Is 17 a factor of u?
False
Let h(v) = -38*v - 18*v + 6424 - 6461. Is h(-2) a multiple of 6?
False
Suppose 1220 = 12*p - 16*p. Does 27 divide (9*(-2)/15)/(1/p)?
False
Does 47 divide (13 + 3 - 18487)*(3 + -4)?
True
Suppose 0 = 25*f - 40162 - 167938. Suppose -15*i + f = -1456. Is i a multiple of 33?
False
Does 59 divide 43240 + ((-25)/5*-1 - -1*3)?
False
Suppose -5*h = 5*q - 726 + 236, 0 = -3*q + 6. Let i be (-6345)/(-63) + 2/7. Suppose h*g - i*g + 875 = 0. Is 33 a factor of g?
False
Suppose -208*x = 91*x - 74*x - 606375. Does 35 divide x?
True
Suppose 38*f = 13*f + 24*f + 5835. Is 35 a factor of f?
False
Suppose 30*w = 1129800 - 309390. Does 41 divide w?
True
Let b(l) = l**2 - 3*l + 3. Let o = -53 - -56. Let g be b(o). Suppose -g*u = -4*t - 167, -69 = -u - 2*t - 0*t. Is u a multiple of 17?
False
Let d be (-17)/3*(-40 + 34). Suppose -38*t = -d*t + 4*z - 3052, -4*t + 3052 = 5*z. Is t a multiple of 10?
False
Suppose -1988 = -n - 6*f, 0 = 3*n - 5*f - 0*f - 5987. Does 64 divide n?
False
Let v be (18 - 21)*(-8 - (0 + 2)). Suppose 50 = 5*m + q, m - 5*q + v = 6*m. Let a(c) = c**3 - 10*c**2 + 3*c + 14. Is 14 a factor of a(m)?
True
Suppose 0 = -6*d + 39 - 9. Suppose -d*j + 928 = -z, z + 6 = -z. Let v = j - 17. Is 12 a factor of v?
True
Let u(s) = -s**3 + 65*s**2 + 3*s + 80. Is u(43) a multiple of 24?
False
Let z(x) = 232*x**2 + 12*x + 15. Let b be z(-2). Let j = -672 + b. Is j a multiple of 19?
True
Let q(w) = w**2 + 53*w - 4667. Is 13 a factor of q(85)?
False
Let a(d) = d**3 + 43*d**2 - 111*d - 371. Is a(-23) a multiple of 24?
False
Suppose 52*p - 65*p + 23803 = 0. Suppose p - 484 = 3*s. Is s a multiple of 44?
False
Suppose 5*i + 4*k - 65668 = 0, -2*i + 19889 = 2*k - 6375. Is i a multiple of 219?
True
Let i be 3/((-21)/(-28)) + (-1)/1. Suppose -q = -1 - 2, -i*a = 3*q - 270. Does 7 divide a?
False
Let h be 22/(-44)*-2*3. Suppose x - 4*a - 201 = 0, 4*a - 375 = -2*x + h*a. Does 27 divide x?
True
Does 8 divide (-14)/63*-156*(67 - 7)?
True
Let s(h) = 38*h**2 + 336*h + 85. Is s(-35) a multiple of 279?
True
Let n = 43 + -40. Suppose -5*f - 4*l + n*l = -62, 43 = 4*f + 3*l. Suppose g = 4*k + 40, 3*g - 83 + f = 2*k. Is 3 a factor of g?
False
Let h(p) = 4471*p + 12049. Is h(13) a multiple of 39?
False
Suppose -11*l - 36 = -23*l. Suppose 1 = -4*t + x, -2*t - 3*x = -0*x - 3. Suppose m - l*m + 540 = -2*s, t = 3*m - s - 806. Does 29 divide m?
False
Let q(h) = 12*h - 30*h + 8*h + 13*h + 77. Does 7 divide q(-21)?
True
Suppose -5*v + 0*u - 8610 = -5*u, -3*v + 4*u - 5164 = 0. Is (-2)/(-18) - 5/(180/v) even?
True
Let f(o) be the first derivative of 5*o**4/4 - o**3 + 4*o - 5. Let j(k) = -k**2 - 7*k - 4. Let t be j(-6). Is 16 a factor of f(t)?
True
Suppose 5*d + 2101 = 7*q - 10*q, -1254 = 3*d + 4*q. Let l = d - -1175. Does 22 divide l?
False
Suppose -g + 3*g + 28 = 5*r, 3*r + 5*g = -8. Let q = -10 - -24. Let h = q - r. Is h a multiple of 7?
False
Let y = -19 - -23. Let v be 6/(4/y*2). Suppose -a = -g - 80, -v*g - 30 = -2*a + 132. Does 7 divide a?
False
Suppose 0 = -22*i - 6173 - 3815. Let a = i - -1077. Is 9 a factor of a?
False
Let d be (17 - 23)/(2/11). Let j = d - -36. Suppose -5*r + j*m + 550 = -m, -5*r - 5*m = -505. Is 24 a factor of r?
False
Let w(o) = 40*o + 9. Let x = 65 - 65. Suppose i + 3*q = 3*i + 8, x = -5*i + 5*q - 10. Is w(i) a multiple of 18?
False
Suppose -106*w + 52482 = -63*w - 3246. Is 25 a factor of w?
False
Let q(l) = -7*l + 16. Let f be q(2). Suppose 2*g - 5*d = 220, -3*d + 612 = f*g + 3*g. Is 15 a factor of g?
True
Suppose 5*b + 6 = 2*b. Suppose 0 = -46*n - 8*n + 270. Does 25 divide (n + 0)/(b + (-182)/(-90))?
True
Let g(x) = 2*x**2 - 6*x - 24. Let l be g(-3). Suppose c + 4*f = 314, 3*c - 9*f - 987 = -l*f. Is 17 a factor of c?
False
Let v be (-1)/(12/(-99)) + 3/(-12). Suppose 296 = v*y - 2216. Does 9 divide y?
False
Let o be 57 - 32 - (6 + 2). Let c(n) = n**3 + 5*n**2 + 5*n + 5. Let p be c(-4). Let s = o - p. Is 4 a factor of s?
True
Suppose 4*x + 2*b = -242, b = -4*x - 3*b - 244. Is 19 a factor of 310/8 + x/80?
True
Let r = -198 + 198. Suppose r = 35*z - 5042 - 10253. Does 64 divide z?
False
Suppose 0 = -12*x + 1113 + 147. Let a = 105 - 166. Let r = a + x. Is 22 a factor of r?
True
Let h = 147 - 148. Let j(x) = 20*x**2 + x - 1. Is j(h) even?
True
Suppose -3481 = -33*b + 5000. Let t be 31*2 + -2 + 3. Suppose 2*f = b + t. Does 15 divide f?
False
Suppose 9013 + 4331 = 8*l. Suppose -l = r + 2*r. Is 28 a factor of r/(-10) - (-4)/10?
True
Let x(g) = g**3 + 11*g**2 - 10*g + 8. Let y be x(-11). Let m = y + -171. Let w = 73 + m. Is 17 a factor of w?
False
Suppose -58017 - 408526 = -52*a - 7279. Is 12 a factor of a?
True
Let q = 8682 + -6078. Is q a multiple of 42?
True
Suppose 0 = -84*m + 14*m + 32480. Is m a multiple of 7?
False
Suppose -n + 11 - 16 = 5*v, -3*v + 9 = 0. Suppose -2*g = -2*h + 176, -174 = 3*g - 4*h + 94. Let l = n - g. Is l a multiple of 8?
True
Let x(y) = 92*y + 4*y**2 + 85 - 9 - 5*y**2 - 90*y + 44. Let k be (-2)/4 + (-8)/(-16). Is 24 a factor of x(k)?
True
Suppose 2705 = 490*u - 1452 - 7603. Does 6 divide u?
True
Let p = 120 - 105. Let s = 289 - p. Is 19 a factor of s?
False
Suppose 9*j - 4*j = 0, -2*j = 2*i - 58. Suppose -2*z - 13 = -z - 5*g, -4*z + 3*g - 18 = 0. Is (i/(-5) - z)*5*-7 a multiple of 7?
True
Let q = 8 + -20. Let p be ((-4)/(-6))/(q/(-162)). Let k = 63 + p. Is 18 a factor of k?
True
Let f = 1411 - -382. Is 11 a factor of f?
True
Let o(g) = 2*g**3 + 7*g**2 - 9*g - 5. Let k be o(-4). Suppose -k*h + 16*h = 77. Is 7 a factor of h?
True
Suppose 47*q = 417286 + 509554. Is 34 a factor of q?
True
Let h(d) = -11*d + 54. Suppose -5*m + 4*m + 3*a + 9 = 0, 0 = 2*a + 6. Does 9 divide h(m)?
True
Let g(i) = 8*i - 55. Let d be g(7). Is 26 a factor of (d - (-22)/(-18)) + (-117050)/(-225)?
True
Let x(t) = 4*t**3 + 22*t**2 - 15*t + 11. Let a(v) = -7*v**3 - 45*v**2 + 31*v - 20. Let b(i) = 3*a(i) + 5*x(i). Is b(-26) a multiple of 29?
True
Let d be (-20)/(-12) + (-1528)/24. Does 17 divide -2*d*100/16?
False
Suppose -5*y = -3*p - 2*y + 6, 2*p - 3*y = 4. Is (9 - p - -25)*17 a multiple of 49?
False
Let b(a) = -13*a + 80. Suppose -2*c = 4*j - 5*c - 24, 24 = 4*j + 2*c. Is b(j) even?
True
Let y = -7230 + 7233. Suppose 0 = 3*h - 0*h - 1122. Suppose -2*z = -s - h, -y*z = -2*z - 4*s - 180. Is 45 a factor of z?
False
Let k(n) = n**3 + 7*n**2 - 19*n + 19. Let q be k(5). Suppose q*y - 212*y = 4248. Is y a multiple of 17?
False
Let q(v) = 7499*v**2 + 150*v + 9. Is 15 a factor of q(3)?
True
Let z(t) = t**3 + t**2 + t - 6. Let f be z(0). Let g be (-3 - f) + (-50)/(-1). Let r = -21 + g. Is 8 a factor of r?
True
Does 75 divide 2/(-7 - -5) + (-8 - -1500)?
False
Suppose 89 = 13*t + 271. Let j be (-4)/t - -12*66/21. Suppose 2*b = 5*z + j, -b - 5*z + 28 = -3*z. Is 3 a factor of b?
True
Suppose 2*w + 0*r = -r + 260, -3*w + 2*r = -376. Let i = 158 - w. Is 3 a factor of i?
True
Let u(n) be the second derivative of -10*n**4 - n**3/2 + n**2/2 - 14*n. Let t be u(1). Let k = t - -222. Is 20 a fa