
Let c(n) = 2*n - 15. Let b = -32 - -42. Let r be c(b). Suppose 3*a + s + 3*s = 43, r*a = 3*s + 120. Is a a multiple of 7?
True
Let o(w) = 537*w + 10306. Does 10 divide o(28)?
False
Let c(u) = -u**3 + 11*u**2 - 13*u + 22. Let r = -77 + 87. Let o be c(r). Let y(w) = 2*w**2 + 11*w + 6. Does 21 divide y(o)?
False
Is 244 a factor of 3 - ((-1031445)/60 - (-6)/8*1)?
False
Let o(a) = -a**3 - 14*a**2 + 9*a - 9. Let s be o(-13). Let v = s + 490. Does 29 divide v?
False
Let n be (-8)/5*(-45)/2. Suppose 2 = -3*j + 2*l, -3*j + 2 = -39*l + 41*l. Let z = j + n. Does 12 divide z?
True
Suppose 0 = -69*s + 23*s + 30130. Does 5 divide s?
True
Let z(w) = w**3 + 8*w**2 + 2*w - 4. Let k be z(-7). Let h(f) = -12 - k - 66*f - 24 + 9. Is h(-6) a multiple of 57?
False
Let v = 2477 + -1288. Suppose -4661 = -26*l + v. Is 25 a factor of l?
True
Suppose -75*m + 78*m = 15. Suppose 0 = m*j + 15, -d + 4*d = -5*j + 1179. Is d a multiple of 11?
False
Suppose 3*k - n - 101428 = 0, 10*n = -k + 13*n + 33804. Is 46 a factor of k?
True
Let o(w) = 3*w**3 - 6*w**2 + w - 28. Let q(f) = -2*f**3 + 6*f**2 - f + 30. Let i(r) = -3*o(r) - 4*q(r). Does 7 divide i(-8)?
True
Suppose -3*c - 18 = -6*c. Suppose 0 = -4*y, -y - 48 = -3*o + 3*y. Let p = o + c. Does 9 divide p?
False
Let l = 2010 - 1022. Suppose -4*p = 4*d - l, -4*d + 2*d + p = -500. Does 83 divide d?
True
Let g = -287 - -566. Suppose 4*y - 8*n + 4*n - 4 = 0, 5*n - 31 = -4*y. Suppose h - 145 = -3*r, -2*h + 99 = -y*r + g. Is r a multiple of 9?
False
Suppose 9*n - 143 = 20*n. Does 16 divide 2 + -4 - (n + -26)?
False
Is 23 a factor of (852/(-5))/(-3 - (-3)/(690/686))?
True
Suppose 5*t - 11631 = -2*s, -s - 2329 = -3063*t + 3062*t. Does 5 divide t?
False
Let u = -13491 + 15136. Is 35 a factor of u?
True
Let g = -542 - -713. Is 19 a factor of g?
True
Suppose 240*t = -198712 + 2614312. Does 61 divide t?
True
Suppose 8*p = p + 329. Let f = 119 - p. Is f a multiple of 5?
False
Suppose 5*q + p - 38 = 2*p, -p + 2 = 0. Is 5 a factor of (-222)/(-8)*((-96)/(-9))/q?
False
Let p be (21/7)/((-3)/(-9)). Is 13 a factor of (68958/(-72))/(p/(-12))?
False
Let f = 208 - 199. Does 29 divide ((-957)/f)/(3/(-9))?
True
Let k(o) = -10*o**3 - 5*o**2 - o + 2. Let y be k(-1). Let v(g) = -g**3 + 8*g**2 + 3*g + 15. Does 13 divide v(y)?
True
Let l(c) = -67*c**2 - 26*c + 80. Let f be l(6). Let k = f + 3621. Is k a multiple of 11?
True
Let x(z) = -122*z + 12. Is 31 a factor of x(-3)?
False
Let x = 37192 - 19033. Is x a multiple of 18?
False
Let i(s) = s**3 - 7*s**2 + 23*s + 24615. Does 50 divide i(0)?
False
Let s be 14343/28*(2 - -2). Suppose s = 2*a + 2*a + k, 0 = -3*k + 3. Is a a multiple of 32?
True
Let b(r) = -r**2 + 10*r - 22. Let z be b(3). Let n(y) = 351*y**2 - 2*y - 2. Does 9 divide n(z)?
True
Let p = -251 + 250. Let q(b) = -256*b**3 - 2*b**2 + 3*b + 6. Is 26 a factor of q(p)?
False
Suppose -2*a + 6*a + 10*a = 0. Suppose a = -15*f + 80 + 220. Is f a multiple of 8?
False
Is 23 a factor of (-216450)/300*92/(-3)?
True
Let g = 14 + 4522. Is g a multiple of 36?
True
Suppose -3*f - o = -1172, -4*f - 3*o - 177 = -1738. Is f a multiple of 5?
False
Suppose 199*a = -148*a - 209*a + 20340704. Does 163 divide a?
False
Let x(n) be the second derivative of 5*n**3/2 - 16*n**2 + 23*n - 1. Is 5 a factor of x(4)?
False
Suppose 1436 = 38*n - 1718. Let c be (-5)/10*-11*22. Let v = c + n. Is 22 a factor of v?
False
Suppose 6524*l - 48770 = 6519*l. Is 11 a factor of l?
False
Let r be (4*1 - (-65)/(-13))*-123. Suppose -1836 = 114*j - r*j. Is j a multiple of 17?
True
Let l be (1/(-2))/((-4)/568). Suppose -2*b = -l - 37. Let r = b - 49. Does 4 divide r?
False
Suppose 3*h + 6352 = 5*s, s - 6*h + 11*h = 1304. Is 98 a factor of s?
True
Suppose -37*l = 57*l - 567384. Does 4 divide l?
True
Let i be ((-13)/3 + 4)/(2/30). Let s(d) = d**2 + 3*d - 6. Let a be s(i). Suppose -2*j + 4 = 2*k - 12, a*k = -5*j + 41. Is j a multiple of 9?
True
Let h be 76/16 + -5 + (-17)/(-4). Suppose 4*u = 4*c - 32, -8*c + 9*c - h*u + 1 = 0. Is 2 a factor of c?
False
Let a(l) = -861*l - 1329. Is a(-4) a multiple of 15?
True
Let s(p) = -p**3 - 22*p**2 - 20*p + 23. Let q be s(-21). Suppose -3668 = -q*r - 26*r. Is 8 a factor of r?
False
Let o be 4 + (-4 - -4) - 2. Suppose -2136 = -c - o*c. Suppose c = -0*r + 4*r. Is r a multiple of 25?
False
Suppose 12*q - 8*q = 5*w - 19, 8 = w - 5*q. Suppose -3*h - w*n = -57, h + 4*n + 28 = 44. Is 18 a factor of h?
False
Let h(s) = -s**3 + 3*s**2 + 3*s + 4. Let j be h(4). Suppose 3*t - 5*t + 4*o + 288 = j, -t + 3*o = -141. Suppose w + t = 4*w. Is 30 a factor of w?
False
Let t(c) = -c**3 - 16*c**2 - 35*c - 23. Is 33 a factor of t(-17)?
False
Let d(i) be the third derivative of i**5/60 - i**4/8 - 9*i**3/2 + 149*i**2. Is d(14) even?
False
Suppose 0*j - 13*j = -52. Suppose 2*s - 5*z = 6, -j*s + 12 = 4*z - 0. Suppose s*p - 125 = -5*y, -2*y - y = 2*p - 74. Is 4 a factor of y?
True
Let t(b) = -b**3 - 196*b + 15663. Is t(0) a multiple of 100?
False
Suppose 253*p = 256*p - 3276. Suppose 0 = -55*x + 53*x + p. Is 26 a factor of x?
True
Suppose -40*h = -98*h + 357280. Is 176 a factor of h?
True
Let k = 46 - 54. Let j(i) = i**3 + 6*i**2 - 18*i. Let g be j(k). Suppose -12*s = -g*s + 160. Does 4 divide s?
True
Let t = -152 + 122. Is 9 a factor of (5/(t/74))/((-4)/12)?
False
Does 6 divide ((-8664)/(-532))/((2/(-84))/(-1))?
True
Suppose g - 4*g + c + 84060 = 0, g + 2*c - 28020 = 0. Does 12 divide g?
True
Does 11 divide ((-10)/5)/(13/(-17368))?
False
Let k = -11 - -18. Suppose -634 - 601 = -360*c + 113*c. Suppose -2*m - k*b + 84 = -5*b, -186 = -4*m + c*b. Is m a multiple of 27?
False
Let o = 17 + -15. Suppose 4*i = x - o*x + 363, 5*i + 5*x - 465 = 0. Let c = i + -39. Does 17 divide c?
True
Let g(r) = 2*r**2 + 1. Suppose -15*p + 1 = -16*p. Let h be g(p). Suppose -h*w = -w - 68. Does 11 divide w?
False
Let g(d) = 15*d**2 - 17*d. Let w be g(14). Suppose -3*z - 796 + w = 2*k, 0 = -4*k + 2*z + 3780. Does 46 divide k?
False
Is 25 a factor of 10/6*(-3854532)/(-220)?
False
Let o be -5*2/(-15)*3. Suppose -3*q - 18 = 5*h - o, -4*h - 23 = -q. Suppose 0 = -q*l + 6, -2*t + 3*l + 109 = 3*t. Is 23 a factor of t?
True
Let a(u) = -13*u + 35. Let c(i) = 6*i - 17. Let g(t) = 3*a(t) + 7*c(t). Let o be g(6). Suppose -24 = -4*m + 4*h, o*h - 3*h = -2*m + 9. Does 3 divide m?
False
Let t(p) = p**2 + 14*p + 5. Let g be t(-14). Let r(k) = -k**2 + 7*k - 6. Let x be r(g). Suppose x*b - 3*w - 864 = -74, -w - 198 = -b. Is 28 a factor of b?
True
Let s(m) = 4*m**3 + 7*m**2 - 2*m + 10. Let h be s(-8). Let o = -809 - h. Does 30 divide o?
False
Let w = 39863 - 30040. Is 11 a factor of w?
True
Does 16 divide 54752/12 - (-3 + 6)/(36/8)?
False
Let r = -52 - -47. Let g(j) = -j**3 + 5*j**2 + 2*j - 10. Is g(r) a multiple of 8?
False
Let i(r) = -r**3 - 21*r**2 + 44*r - 41. Let n be i(-23). Suppose -4*s - 435 = -7*s + 5*h, n*s - 753 = -h. Does 6 divide s?
True
Suppose 5*l - 6 - 14 = 0. Let v(b) = -3*b**2 + 8*b - 10. Let n(u) = u - 1. Let s(w) = 6*n(w) - 2*v(w). Does 4 divide s(l)?
False
Let o(r) = -26*r + 8096. Is o(-88) a multiple of 118?
True
Is 49 a factor of -2 - (5302/(-4) - 0 - 250/(-500))?
True
Suppose 60 = 2*v - 17*v. Does 16 divide (61 - -12)/(v/(-28))?
False
Let x = 1626 - -671. Is x a multiple of 26?
False
Is 107/6 + -7 + -10 - (-283070)/12 a multiple of 70?
True
Let m(n) = -25*n**3 + 4*n**2 + 3*n + 5. Is 2 a factor of m(-2)?
False
Does 70 divide ((-17850)/28)/(-51)*(-7112)/(-10)?
True
Let m(r) = r**2 + 22*r + 3. Suppose -132 = -2*k + 8*k. Let b be m(k). Is 25 a factor of (2 + b/(27/(-93)))*-21?
True
Let k(b) be the first derivative of -8*b**2 - 31*b + 33. Let t be k(-6). Suppose 2*p = 3*p - t. Does 13 divide p?
True
Suppose 102220 = -17*t + 72*t - 304450. Is t a multiple of 6?
False
Let n(c) be the first derivative of -43*c**4/4 - c**3 - c**2/2 + 2*c - 30. Let k be n(-2). Does 11 divide (k/(-32))/(6/(-40))?
False
Let y(d) = 362*d - 424. Does 148 divide y(58)?
True
Suppose 4*v - t - 6140 = 6016, 5*t + 12172 = 4*v. Is v a multiple of 10?
False
Let h(w) = -110 - 96 + 3*w + 243 - 124. Is 2 a factor of h(32)?
False
Let o = 140 + -156. Let u(b) = -b**2 - 17*b + 21. Is u(o) a multiple of 7?
False
Let m(v) = -5*v + 18. Let w(p) = -14*p + 54. Let x(q) = -7*m(q) + 2*w(q). Let o be x(3). Suppose 0 = -0*d - d + 2, -3*n + 375 = o*d. Does 18 d