 c?
False
Let a be (1416/32 - 7)*8/1. Let h = a + -213. Suppose 0 = -2*q - 2, -4*m - q - 2*q = -h. Does 22 divide m?
True
Let p be 1/((-1)/(-38)*(-16)/(-568)). Suppose p = 5*v - 186. Is v a multiple of 24?
False
Let n = -6796 + 10612. Suppose -3*k + 7632 = 4*y - 0*k, 2*y = 5*k + n. Is 26 a factor of y?
False
Let u = -39 - -492. Let z = u + -107. Does 26 divide z?
False
Let n = 14627 - 3035. Suppose 64*v = 50*v + n. Does 18 divide v?
True
Suppose 0 = -2*o - 76*w + 81*w + 4247, 0 = -w - 3. Does 7 divide o?
False
Suppose -25*s = -24*s. Suppose s = -5*h - 0 - 25, 2870 = 5*w - 2*h. Is 17 a factor of w?
False
Let d(c) = -5*c + 49. Let v be d(14). Let p be (-22 - v)/((-1)/(-114)). Let x = p - -198. Is 24 a factor of x?
False
Suppose -3*h + 45 - 6 = 0. Is 53 a factor of 1/9 - h/(-9)*110?
True
Let i(v) = v**3 - 10*v**2 - 6*v + 15. Let t be i(10). Let b = 48 + t. Is (3 + -2)*1 + b a multiple of 4?
True
Let g(a) = 12*a**2 + 69*a - 58. Is g(5) a multiple of 4?
False
Let o = -73 - -30. Let n = o + 60. Suppose f - s - 156 = 0, n - 5 = 3*s. Does 14 divide f?
False
Let g(n) = -58*n + 14. Let c be g(5). Let p = 524 + c. Suppose -p = -10*k + 262. Is k a multiple of 8?
False
Suppose -c + 4*f = -12786, -101*c - f = -100*c - 12741. Does 15 divide c?
True
Suppose 3*r = 4*r + 4*i + 1, -2*r + 4*i + 10 = 0. Suppose 5*p - 217 = -r*d, -5*d + 7*p + 349 = 9*p. Is 10 a factor of d?
False
Let o = 497 + -422. Suppose o*z - 71*z = 1764. Does 63 divide z?
True
Let q(n) = 5*n**2 - 291*n + 2434. Is q(-77) a multiple of 32?
False
Let c(y) = 19*y**2 - 56*y + 596. Does 37 divide c(10)?
False
Does 173 divide (270/18 - 16)*-6515?
False
Let w be 21/105 + (-3292)/10. Let f = 581 + w. Does 9 divide f?
True
Suppose -44 = 2*o - 42. Let r(n) = -2*n - 2. Let b be r(o). Suppose 5 = i, 45 = 2*u - b*u + 5*i. Is u even?
True
Suppose 0 = -3*j - d - 1, 5*j - 2*j + 4*d + 13 = 0. Let w(r) be the first derivative of 55*r**2 - 3*r + 6. Is w(j) a multiple of 6?
False
Let x = -19690 + 39256. Does 18 divide x?
True
Suppose -186023 = -190*g + 174597. Does 26 divide g?
True
Is 52 a factor of (360/(-70))/(-4 + (-159523)/(-39886))?
False
Is (-1)/(4 + 1 - (-225)/(-44))*780 a multiple of 52?
True
Let b(d) = -6*d**3 - 13*d**2 - d. Let w be b(-4). Suppose 5*i - 41 = -3*c, 2*i - 5*i + 36 = -2*c. Suppose 0 = -i*p - w + 620. Does 11 divide p?
True
Let q = 5713 + -164. Is q a multiple of 31?
True
Suppose -2*a = 1202*i - 1197*i - 163084, -4*i - 4*a + 130448 = 0. Does 70 divide i?
True
Let p be 235/(-2)*(-16)/10. Suppose -759 + p = -4*b + 5*r, -5*r = -b + 154. Suppose -4*k - 16 = 0, 575 - b = 3*g - 4*k. Is 14 a factor of g?
True
Suppose -4*o - 5*g + 126675 = -808, 0 = -7*o - 2*g + 223048. Is 208 a factor of o?
False
Let g(c) = -c**3 + 87*c**2 - 64*c - 3524. Is 16 a factor of g(78)?
True
Let y be (-2)/4 + 70/4. Let q(i) = i**3 - 132*i**2 - 148*i + 1995. Let a be q(133). Let h = y - a. Does 17 divide h?
True
Let l(b) = -4*b - 71. Let s be l(-17). Is 24 a factor of ((-57)/(-76))/((s/1548)/(-1))?
False
Suppose -18 = -4*d + 2*d. Suppose d*t = -345 - 168. Is 27 a factor of -4 + (t/2)/(3/(-4))?
False
Suppose 45 - 24377 = -5*u + u. Is u a multiple of 79?
True
Is 133 a factor of (-157768)/(-24)*-3*(-1)/1?
False
Let w = -187 + 200. Suppose 6*a = w*a - 1183. Does 20 divide a?
False
Does 20 divide 16*9730/(-392)*-7?
True
Let o be (8 + -9)/(2/(-8)). Suppose -3 = 3*l, 3*m - o*m - l = 82. Is -2 + m/(-3) + -1 a multiple of 6?
True
Suppose 116 = 13*g + 16*g. Suppose l - f = 912, -10*f + 15*f = g*l - 3650. Is l a multiple of 65?
True
Suppose -l = -4, -2*g + 5*l + 37921 + 8049 = 0. Is 45 a factor of g?
True
Suppose -31*l - 60 = -28*l. Does 53 divide (l/(-3))/(86/6837)?
True
Let g = -706 + 706. Suppose g = -13*a + 61*a - 88800. Does 13 divide a?
False
Suppose 3*m - 1313 = -4*i - 20, -3*m = 3*i - 966. Let y = i + -20. Is y a multiple of 11?
False
Let n = 12243 + -3974. Is 98 a factor of n?
False
Let s be 9/6 - (-9)/6. Suppose -60 + 18 = s*h. Let b = h + 91. Is b a multiple of 20?
False
Let h be (-2)/10*6*10/(-6). Suppose h*s - 20 = -5*d, 4*d - s + 3 - 6 = 0. Is 34 a factor of 523/3 - d/(-3)?
False
Let v(s) = -7*s - 23. Let m(u) = -u. Let l(r) = -6*m(r) + v(r). Let i be l(-15). Is (-124)/i*(0 - -2) a multiple of 14?
False
Let i(v) = -v**2 - 13*v + 4. Let d be i(-10). Suppose -3*y - 4*r = -36, -r + d = 4*y - 14. Is y/8 + (-985)/(-10) a multiple of 25?
True
Let o(c) = -c**2 + c + 32. Let m be o(-5). Let x be (-5 - 23)/(1*m). Is x*(-9*(-8)/(-4) + 3) a multiple of 15?
True
Let b be (14/8 + -2)*0. Suppose -r + 3*z + b*z + 15 = 0, -z = 2*r - 58. Is 7 a factor of 1 + r/(-33) - 304/(-22)?
True
Let l = -276 + 668. Is l a multiple of 5?
False
Suppose 0 = 4*x - 15*x + 4661 - 1317. Does 12 divide x?
False
Let g be (-3288)/126 + 2/21. Let u = g + 247. Does 13 divide u?
True
Suppose -3*q + 0 + 15 = 0. Suppose -q*g - 3*x = -61, -g + 3*x + 3 = -2. Let b = 0 + g. Does 3 divide b?
False
Is 21 a factor of (-69)/(-345) - (2/(-12) + (-760898)/60)?
False
Let l be (-10)/4*(15 - -1)/(-4). Suppose l*b = -b. Suppose -2*a = -4*i + 370, b = 2*i + a + a - 188. Is i a multiple of 13?
False
Suppose -4*v + 6 = -14. Suppose w + 2*c - 83 = -20, 2*c + 267 = v*w. Let b = 17 + w. Is b a multiple of 18?
True
Suppose 2*l + 9 = -8*j + 3*j, l = 2*j + 9. Suppose l*a + 5*u - 188 = 3*u, -164 = -3*a + 4*u. Does 10 divide a?
True
Suppose 5580 = -29*z - 4570. Is 8 a factor of (-285*28/z)/(4/70)?
False
Suppose 0 = -8*c - 2*z + 255302, -4*z - 46708 = -4*c + 80968. Is c a multiple of 69?
False
Let c be (-480)/144*2/(-8)*-6. Is 9 a factor of 4*c/10 - -443?
True
Let q = -313 - -101. Let k = q + 481. Is k a multiple of 50?
False
Let z(l) = -42*l - 318. Let p be z(-8). Suppose 8*u - p*u = -2820. Does 47 divide u?
True
Let o = 4 + 298. Let k = 466 - o. Is k a multiple of 41?
True
Let z = -243 - -53811. Does 64 divide z?
True
Let s(f) = -3*f + 5. Let w be s(-5). Suppose 0 = b - 3*t - 13, -t - 1 = 2*b + 2*t. Suppose -l + w = b*l. Is l a multiple of 4?
True
Is 6 a factor of ((-2)/(-12)*(-10 - 6))/((-61)/47214)?
True
Let s be -145 + -3 + -3 + 3 + 3. Let g(z) = -z**3 + z**2 + 7*z - 1. Let q be g(5). Let f = q - s. Is 7 a factor of f?
False
Suppose -29*a = -18*a - 5588. Is 21 a factor of a?
False
Let t be (9/(-4))/(7/(-28)). Suppose -13 = -8*i + t*i. Is 10 a factor of (i/(-3))/(18/270)?
False
Let p(b) = -19*b - 5. Suppose -2*c + 9 = 21. Does 3 divide p(c)?
False
Suppose -7*v + 8*v + h - 2211 = 0, 4*h + 6612 = 3*v. Does 32 divide v?
True
Suppose -3*l = -5*v + 37 + 73, 5*v - 5*l - 120 = 0. Suppose -9042 - 6348 = -v*j. Is 15 a factor of j?
True
Let o(n) = -3*n**2 - 22*n + 2. Let x be o(-7). Let u(v) = 5 - 2 - 26 - x*v - 8*v. Is u(-4) a multiple of 5?
True
Let w = 90 - 67. Let q(t) = 8*t - 76. Does 6 divide q(w)?
True
Suppose -13*a + 6 = -20. Suppose 0 = 4*h + a*h - 4902. Is h a multiple of 19?
True
Suppose 7*u - 10*u + 2*j + 14 = 0, 2*u + 2*j = 6. Suppose u*s + 0*k + 61 = k, 78 = -5*s + 3*k. Is s - -23 - (1 - 4) even?
False
Let r = -1180 + 1570. Is 39 a factor of r?
True
Let g(s) be the third derivative of s**4/8 + s**3/6 + 14*s**2. Let k be g(-2). Let m(v) = v**3 + 4*v**2 - 8*v - 5. Does 2 divide m(k)?
True
Suppose 170*v - 1645425 - 362735 = 16*v. Is 163 a factor of v?
True
Let v(y) = -2*y + 7. Let a be v(6). Let g = a + 16. Let m(p) = -p**3 + 11*p**2 + p - 7. Is 2 a factor of m(g)?
True
Let o be (-256)/2*(27 + -28). Let j = 200 - o. Does 9 divide j?
True
Suppose 291 = c + 51. Suppose 4*z = -6*z + c. Suppose d = t + z, -82 = -3*d - 0*d + 5*t. Is 7 a factor of d?
False
Suppose y = 3*t + 4*y - 54, 4*y = 2*t - 6. Suppose -1684 = -t*f + 9*f. Is 73 a factor of f?
False
Suppose 61*b - 550188 = -26*b. Does 12 divide b?
True
Let u(f) = 3*f**2 - 97*f + 306. Is u(-34) a multiple of 52?
True
Let x be (2 - -41)*2 - 12/(-3). Suppose m = x + 16. Is 48 a factor of m?
False
Let w = 158 - 368. Let r = -54 - w. Is 12 a factor of r?
True
Let x(p) = 3*p**3 + 149*p**2 + 434*p + 54. Does 11 divide x(-46)?
True
Suppose 79*l - 71*l = 24. Suppose -3*m + 3*n = -1846 - 122, 0 = l*m + 2*n - 1983. Does 7 divide m?
False
Let m(j) = 8*j**3 - 2*j**2 - 34*j + 232. Is m(7) a multiple of 71?
False
Let l = -48 - -52. Suppose -l*f - 304 = -4*j, 3*j - 2*f - 3*f = 220. Does 14 divide (144/(-60))/((-6)/j)?
False
Let q = 4819 - 4740. D