) + (1 - (-5)/5)?
True
Suppose -10*s + 13*s - 12 = 0, -2*s = -j - 22. Is 2*21/j*-202 a multiple of 21?
False
Let g(r) = 2*r**2 - 9*r - 18. Let p be g(9). Suppose 5*x + 57 = -p. Let l = 34 + x. Does 5 divide l?
True
Let c be 0 + -26 - (2/2 + 0). Let r be (-63)/c - 2/6. Suppose -w + 208 = 2*w - 2*g, 0 = -r*w - 2*g + 152. Is 6 a factor of w?
True
Suppose -9*t + 4*i = -5*t - 4, t - 13 = -5*i. Suppose 2*b + 3*y = y + 312, 2*b - 337 = t*y. Is 12 a factor of b?
False
Let b = 6323 - 4293. Is 5 a factor of b?
True
Suppose 133*n - 144690 = 103*n. Is n a multiple of 41?
False
Suppose -5*a - 68 = -m, -m + 65 = -4*a - 0*a. Suppose 52*b - 49*b = -81. Let o = m - b. Is o a multiple of 10?
True
Suppose 0 = -0*o + 3*o - 15. Let n be 13089/30 - (-69)/(-230). Suppose c = o*c - 3*y - n, c = 4*y + 122. Is 24 a factor of c?
False
Let p be (-28)/(-2) + -5 - 4. Suppose -5*j + 10*j = 10, -4*n - j = -90. Suppose n + 44 = 4*r + 3*f, f = p*r - 73. Is r a multiple of 5?
True
Suppose 4*y + 3*t - 6485 = 16176, -3*y - 5*t = -17004. Is 36 a factor of y?
False
Suppose -2*b = 5*s - 1031, -267*s + 270*s - 2041 = -4*b. Is b a multiple of 4?
True
Let o = -104 - -107. Suppose -2*b = -5*s + o*b + 1535, 2*s - 616 = 3*b. Is s a multiple of 46?
False
Suppose 2*h = -4*n - 4, 0*n = 3*h + 3*n + 3. Suppose -7*k + 1513 + 1112 = h. Is k a multiple of 5?
True
Suppose 3*q + 3*o = 38241, 4*q - 45250 = o + 5763. Does 8 divide q?
True
Let g be -3*((-24)/9 + 2). Suppose 0 = -c - y + 8, -g*c + 17 = y - 2. Is 11 a factor of c?
True
Suppose -14*i + 3108 = -5404. Does 38 divide i?
True
Let q(j) = -53*j - 25. Let s be q(-5). Suppose 40*x - 10*x - s = 0. Is x a multiple of 8?
True
Let k be ((-16)/(-2))/2 + 33. Let n = k + -75. Let u = 146 + n. Is 36 a factor of u?
True
Let z = 967 - 677. Let h = z - 12. Does 24 divide h?
False
Suppose -5*n + 27*c - 30*c = -44098, -5*c + 44110 = 5*n. Does 16 divide n?
True
Let g = 21 + -19. Let j(l) = 3 + 120*l**3 + 4*l - g - 117*l**3 - 4*l**2 - 3. Is 7 a factor of j(2)?
True
Let b = -1576 + 849. Let c = -73 - b. Is 69 a factor of c?
False
Let n(t) = -t**3 + t. Let i(h) = -6*h**3 + 3*h**2 + 8*h - 6. Let u(l) = -i(l) + 5*n(l). Is 5 a factor of u(5)?
False
Suppose -5*h = 5*g, 0 = 5*g - 12*h + 11*h - 12. Suppose s = -5*u + g*s + 1139, 0 = -4*u - 3*s + 915. Does 12 divide u?
True
Suppose 0 = -0*c - c - 3*x + 1, 3*x + 4 = 4*c. Suppose l + c + 2 = -3*a, 13 = l - 5*a. Suppose -l*d + 2*d + 95 = 0. Is 10 a factor of d?
False
Suppose -20*g + 62498 = -2542. Does 56 divide g?
False
Let g be 264/60 - (-6)/(-15). Suppose 0 = -3*c, -g*c = -5*o + c + 1505. Is 43 a factor of o?
True
Let k(v) = -67*v + 12. Suppose 14 = 4*t - 2. Let a be t + (6/(-2) - 4). Is 40 a factor of k(a)?
False
Let s be 0/((-3)/((30/4)/5)). Let d be (s - (-1 + 58))*(-5 - -4). Let m = d + 105. Is m a multiple of 9?
True
Suppose 13*n - 32*n = -31597. Is 57 a factor of n?
False
Let w = 1238 + -734. Suppose 0 = 54*j - 57*j + w. Does 24 divide j?
True
Let b be ((-39)/2)/(((-102)/108)/17). Let d = b + -251. Is d a multiple of 20?
True
Let w(s) = -10*s**3 + 2*s**2 + 2*s - 4. Let g be w(-2). Suppose 0 = -g*i + 89*i - 2997. Does 11 divide i?
False
Let z(p) = 109*p**3 + p**2 + p + 1. Let s be z(-1). Suppose 2*o = 2*j + 452, 7*o - 8*o + 2*j = -231. Let r = s + o. Is r a multiple of 20?
False
Let z(s) = -4*s**2 - 4*s + 3. Let b be z(3). Let w be b/(-24) - 3/(-24). Suppose -w*j = -55 - 23. Is j a multiple of 13?
True
Suppose 0 = 5*s - 4*g - 52, -2*s - 3*s - 5*g + 25 = 0. Suppose 3*q = 5*y - 4862, 7*q - 4864 = -5*y + s*q. Is 39 a factor of y?
False
Suppose -25*x - 3200 + 19300 = 0. Suppose x + 56 = 7*a. Does 5 divide a?
True
Suppose 0*c = -5*r - c - 425, 3*c = 0. Is 20 a factor of (-104 - -103) + (0 - r)?
False
Let s = 39 + -69. Let a = 30 + s. Suppose a = 3*j - 157 - 32. Is j a multiple of 7?
True
Let l be (1/((-8)/14))/((-64)/256). Suppose -5*t + 168 - 13 = -4*b, -2*t = 3*b - 39. Let o = t - l. Is 4 a factor of o?
True
Let q = -28 - -33. Suppose 2*n + 19 = -3*r, q*n - 10*r + 7*r + 58 = 0. Let l(x) = -x**3 - 11*x**2 - 3*x - 20. Is 2 a factor of l(n)?
False
Is (-41045)/(-7) + (-432)/(-1008) a multiple of 39?
False
Suppose 186106 = 45*q - 939583 + 70349. Is 26 a factor of q?
True
Let n(x) = 2*x**2 - 14*x - 7. Let p be n(-10). Let w = p + -179. Is 13 a factor of w?
False
Let i = -5075 - -12067. Does 21 divide i?
False
Let r(k) be the second derivative of k**4/4 + 65*k**3/6 + 102*k**2 - 2*k - 25. Does 36 divide r(-24)?
False
Is 8 a factor of ((-552)/(-15))/(306/1260 - 1/7)?
True
Suppose 0*a - 370 = -5*a - m, 0 = a - 5*m - 48. Let r = 318 - a. Is 23 a factor of r?
False
Let f(u) = 34*u + 35. Let s(w) = 11*w + 12. Let y(k) = -6*f(k) + 17*s(k). Let b = 25 + -34. Is y(b) a multiple of 13?
False
Let k = 3114 - -8645. Is k a multiple of 11?
True
Suppose -174 = -m - 95. Let b = -76 + m. Suppose b = 3*g, 251 + 171 = 5*r - 3*g. Is r a multiple of 9?
False
Let g be (5 - (-42)/(-18))/((-4)/6). Let i(c) = -c**2 - 6*c - 6. Let y be i(g). Suppose y*s - 218 = -58. Is s a multiple of 30?
False
Let x = 676 - -584. Suppose -p + 6*p - 3196 = -4*a, -2*p + x = -3*a. Is 30 a factor of p?
False
Let p(l) = -l**3 + 7*l**2 + 8*l + 3. Suppose 0 = -3*t - 3*o - o + 20, -28 = -3*t + 4*o. Let m be p(t). Suppose m*x + 345 = 6*x. Is x a multiple of 25?
False
Let k(a) = 4*a**2 + 24*a - 26. Let u be k(-8). Suppose u*q - 46*q + 672 = 0. Is q a multiple of 69?
False
Let z = 2822 + 3604. Is 126 a factor of z?
True
Let k be 54/15 + (5 - (-23)/(-5)). Suppose 3*l - k*r = -9*r + 3310, r - 5 = 0. Does 24 divide l?
False
Let m be 20/((-5)/1) + (2 - 312). Let n = m + 408. Is 47 a factor of n?
True
Suppose 0 = -0*p - 8*p + 6788 + 74036. Does 82 divide p?
False
Suppose 6*t + 8*t = 112. Suppose -4*h + 2*w = -352, -89 = -h - t*w + 9*w. Is 25 a factor of h?
False
Let d(q) = -9*q**3 - 2 + q**2 - 2*q**3 - 4*q + 0. Let o be d(-2). Let p = o - 19. Does 9 divide p?
False
Let d be ((-26)/4 + -1)*14/(-21). Suppose 880 = -d*q + 16*q. Does 20 divide q?
True
Let b be ((-110310)/36)/(-5)*6. Suppose 4*v + 1851 = 6*v + 3*n, -n + b = 4*v. Does 34 divide v?
True
Suppose -26255 = -4*x + 14093 - 4272. Does 51 divide x?
False
Suppose 4*j + 3*v = 5*j - 7, -4*v - 4 = 0. Suppose 22*p + 1288 = 78*p. Suppose 3*t - t + j = 0, -5*t = -o + p. Does 4 divide o?
False
Let o(p) = p**3 - 13*p**2 - 52*p - 26. Let t be o(19). Let v = -738 + t. Is 69 a factor of v?
True
Let f = -67 + 59. Let h = f - -44. Suppose -h = -6*i + 210. Is i a multiple of 10?
False
Suppose -818*q = -843*q + 15250. Is q a multiple of 5?
True
Suppose 8*p - 4*p - 4*s - 64 = 0, 4*s = -5*p + 53. Suppose -2*n - p*t + 533 = -12*t, -t = -5. Is n a multiple of 9?
False
Let d(v) = -954*v + 2133. Does 35 divide d(-8)?
True
Suppose 275 = 5*z + 20. Suppose z*t - 47*t = -2*x + 1496, -t - 1 = 0. Is x a multiple of 10?
True
Let g(l) = -36*l - 6. Let o be g(4). Let i = -150 - o. Suppose 5*m - 920 - 130 = i. Is 42 a factor of m?
True
Suppose 0 = -12*r - 702 + 6882. Suppose -34*y - 193 = -36*y - 3*o, -5*y - o = -r. Is 13 a factor of y?
True
Suppose 3*j - 2498 - 8184 = 8155. Is 52 a factor of j?
False
Let g(s) = -s**3 - 5*s**2 + 15*s - 38. Let v be g(-12). Let z = v + -30. Is 20 a factor of z?
True
Suppose 8*h - 4*v - 2 = 5*h, -2*h = -4*v. Suppose o = -5*k + 272, -3*o - h*k = k - 804. Does 5 divide o?
False
Suppose 37 = -4*m + 213. Suppose n + 6 = m. Suppose 6*f - n = 5*f. Does 11 divide f?
False
Let p = 9018 - 1826. Is 31 a factor of p?
True
Let p = -123 - -93. Let w be ((-6)/(-4))/((-72)/(-2784)). Let d = p + w. Is 14 a factor of d?
True
Let u = 26790 - 16689. Does 39 divide u?
True
Let w(q) = -3*q**3 + 6*q + 6. Let k be w(-1). Suppose k*y = 81 + 177. Is 17 a factor of y?
False
Let l(w) = 123*w**2 - 218*w - 1586. Is 35 a factor of l(-7)?
False
Let g(w) = 7*w + 139. Let y(z) = -4*z - 70. Let o(x) = 3*g(x) + 5*y(x). Is o(-27) a multiple of 15?
False
Let k(g) = -g**3 + 10*g**2 - 11*g + 30. Let c be k(9). Let u(s) = 19*s - 118. Does 13 divide u(c)?
False
Suppose 3*w = -v + 132, -4 = 2*w + 4. Let c = -285 - -298. Suppose -17*n + v = -c*n. Is 18 a factor of n?
True
Let t(r) = 177*r**2 + 241*r - 5. Is t(-4) a multiple of 19?
False
Let p = 142 + -140. Suppose 3*c + 9*h - 14*h - 760 = 0, -c = p*h - 257. Is c a multiple of 17?
True
Let m(k) = 2*k**2 + k - 1. Let