
True
Suppose 104*t + 158 = 5*u + 106*t, -3*u - 5*t = -91. Does 2 divide u?
True
Let c(g) = -15*g - 231. Let p be c(-10). Suppose 2*x + 84 = -68. Let f = x - p. Does 5 divide f?
True
Let j(k) = 8*k**2 - 7*k + 1. Let z be j(-3). Is (z - 97)*(-1)/(-1)*-15 a multiple of 15?
True
Suppose -8*r + 3596 = 708. Suppose -97 + r = 2*l. Is 33 a factor of l?
True
Suppose -3*g = 5*k - 127, 3*g + 0*g - 4*k = 136. Let l be (-4 - g/(-8))/((-6)/(-896)). Suppose 5*f - l = -3*f. Is f a multiple of 7?
True
Does 106 divide (-43 + 1)/(-12 + (-36464)/(-3040))?
False
Let l be (-861)/84 - (1 + 10/(-8)). Let d = 280 + l. Suppose -h = -7*h + d. Does 15 divide h?
True
Let a be ((-21 - 1) + 0/(-16))/(-1). Suppose -2*k - 5*y + 30 = 0, -2*k + 6*y + a = 9*y. Suppose -u - 2*u - 253 = -k*f, 0 = 3*f - 5*u - 155. Is 20 a factor of f?
False
Is 136 a factor of -21*51/(-238)*850?
False
Suppose 0*a - b = a + 11, b + 18 = -2*a. Let l be (-4)/(-1) - (-13 - -542). Does 5 divide 12/a*l/10?
True
Let c(f) = -2*f**3 + 14*f**2 - 3*f + 21. Let i be c(7). Suppose 4*b - 388 = -v, -3*b + 272 = -i*v - 4*v. Is b a multiple of 12?
True
Let p(s) be the third derivative of -s**6/60 - s**5/4 + 9*s**4/8 + s**3/6 - 60*s**2. Does 32 divide p(-10)?
False
Let r(v) = 71*v - 447. Let t be (-36)/(-6) + 17 - 2. Is r(t) a multiple of 116?
True
Suppose o + 3*b = 4180, 5*b - 4896 = -o - 720. Is o a multiple of 26?
True
Suppose -2*s + 144 + 38 = 0. Let p = -916 + 857. Let l = s + p. Is l a multiple of 16?
True
Suppose -3*k + 24*k - 198702 = 0. Is k a multiple of 38?
True
Let x(t) = 6*t + 36. Let v = -26 - 104. Let u = v + 143. Is x(u) a multiple of 38?
True
Let s = -26868 + 39518. Is 61 a factor of s?
False
Suppose 4*u - 8068 = -4*z + 512, -5*z = -4*u - 10779. Does 35 divide z?
False
Let r(t) = 511 + 507 + 74*t + 8*t**2 - 1024. Does 13 divide r(-16)?
True
Suppose 29*i + 19136 - 135776 = -25*i. Is i a multiple of 144?
True
Let y = -31 - -41. Suppose -11*m + y*m = -182. Suppose 0 = -5*c - 67 + m. Is 11 a factor of c?
False
Let s(a) = a**3 - 2*a**2 + 5. Let g be s(5). Suppose 13*x = 21*x - g. Does 2 divide x?
True
Let m(b) = 3*b**3 - 4*b**2 - 15*b + 7. Let r be (-460)/(-69)*3/4. Is 4 a factor of m(r)?
False
Suppose -2*o = -3*k + 5, 5*k = -o - 0*k + 17. Suppose -5*t + 228 = -g - 437, -4*t - o*g = -518. Is t a multiple of 33?
True
Is (0 + 2)*1821/(-24)*(10 + -18) even?
True
Suppose 11*h - 6*h = 5265. Suppose -8*n + 787 = -h. Is n a multiple of 11?
False
Let s(i) = i. Suppose -2*p + 7 + 1 = 0. Let v be s(p). Suppose -j = 2*y - v*y - 68, 4*j = -2*y + 292. Does 36 divide j?
True
Is (-8)/36 + 1494440/360 a multiple of 5?
False
Let t be 34/(-2)*(-18)/9. Suppose 2*k = -4 + t. Is 20 a factor of (-2)/k + (-12614)/(-105)?
True
Suppose -95*y + 50682 = -92*y. Is 12 a factor of y?
False
Let o(u) = u**2 - 19*u + 24. Suppose -56 = -3*a - 4*r + 8*r, -4*a = r - 100. Is o(a) a multiple of 10?
False
Let a(l) = -l**3 + 21*l**2 - 39*l + 18. Let p be a(19). Is (0/p)/(-21 - -20) - -192 a multiple of 12?
True
Suppose -2*i - x + 9109 = 0, 0 = i + 2*x - 2699 - 1866. Is 3 a factor of i?
True
Let b(h) = 60*h. Let i be ((-10)/(-6))/(6/18). Suppose 0*t - t = -3*v + 5, i*v - 10 = 0. Is 16 a factor of b(t)?
False
Let w(z) = 2*z + 12. Let r be w(4). Let i(u) = u**3 - 15*u**2 - 63*u + 14. Is 21 a factor of i(r)?
False
Let n be 524 - (3 - (-1 - -7)). Suppose -2*z + 473 = -n. Suppose 2*m - z + 140 = 0. Is m a multiple of 28?
False
Suppose 2 = m + 5*x - 2, -20 = -5*m - 5*x. Let u(q) = -3*q + 14. Let p be u(m). Suppose 3*z - 258 = -p*g, -6*g - 2*z + 524 = -2*g. Is g a multiple of 12?
True
Suppose -4*k = 3*o - 14279, 3*o - 5*k = 6*o - 14275. Is o a multiple of 14?
False
Suppose -19*f + 204 = -7*f. Suppose -f*b = -12*b - 360. Is 9 a factor of b?
True
Let j = 273 + -519. Let l = j - -358. Suppose 3*q = 14 + l. Is 23 a factor of q?
False
Is 24 a factor of 182/7 - (-30968 + -17)?
False
Suppose 44*j - 537849 = -10*j + 2192121. Is j a multiple of 35?
False
Suppose 0 = 29*x - 36254 - 200995. Is x a multiple of 27?
True
Let o = 712 - 712. Suppose o = -3*r - 6, 0 = 19*a - 20*a + 5*r + 437. Is 5 a factor of a?
False
Let c(o) = 14*o**2 - 63*o + 55. Let x(b) = 9*b**2 - 42*b + 36. Let g(d) = -5*c(d) + 8*x(d). Let h be g(10). Suppose h*u - 19 = 53. Does 2 divide u?
True
Suppose 11*h + 2204 = 8150 + 23050. Is 29 a factor of h?
False
Let r(y) = -y**3 - 26*y**2 - 47*y + 32. Let j be r(-24). Does 85 divide 20/j - (-29840)/32?
True
Let p(s) = 73*s + 16. Let q be p(-2). Let b = -34 - q. Is 2 a factor of b?
True
Does 38 divide 9 + -7 + 9 + 863?
True
Let m(j) = -j**3 + 4*j**2 + 2*j - 7. Let c be m(4). Is 37 a factor of (2 - (c + -6))*37?
True
Let h = -25145 - -48744. Does 323 divide h?
False
Suppose -y = -5*g + 41926, -5*y - 9 = 21. Does 16 divide g?
True
Suppose -23726 + 28594 = 49*h - 43887. Is h a multiple of 5?
True
Let r = 24130 - 20821. Is 8 a factor of r?
False
Suppose m - x = -274, 0*x - 5*x = -3*m - 812. Let p be ((-2)/(-6))/(-5 - 1398/m). Suppose 0 = -p*u + 34*u - 336. Is u a multiple of 13?
False
Suppose -2876186 - 2169070 = -149*i + 777813. Is i a multiple of 28?
False
Let x be 24/16 + 134/4. Suppose -4*h + 5 = 5*i - 3, 5*h + x = 5*i. Does 35 divide 2/(-5) - (h + (-8685)/25)?
True
Let p(q) = -9*q + 81. Let z be p(8). Suppose 0 = 3*v + z*b - 7*b - 2041, 10 = 2*b. Does 9 divide v?
False
Let j(v) = 10*v**2 - 61*v + 13. Suppose y + h - 16 = 0, y + 5*h - 22 - 14 = 0. Is 4 a factor of j(y)?
True
Let n be (3 + (-39)/26)*2. Let d be (-3)/((-6)/4) - 0. Suppose -n*k = -d*k - 61. Is k a multiple of 3?
False
Let q(r) = 2*r**2 - 19*r - 15. Let n be q(12). Let y(k) = k**3 + 15*k**2 + 27*k + 32. Let w be y(-13). Suppose n = o - w. Is 13 a factor of o?
False
Let q(g) = 9*g**2 + 4. Let d be q(-2). Let p be 2*7905/d + (-3)/(-4). Suppose -364 = -5*x - 2*o, 3*o + p = 4*x + 114. Is 9 a factor of x?
True
Let v = -628 + 600. Let p(g) = g**2 + 17*g + 12. Does 11 divide p(v)?
False
Suppose 3*z + 4*l = 70367, -21*z + 26*z - 117270 = -5*l. Is z a multiple of 131?
True
Let f = 618 - 363. Let b = -110 + f. Suppose -3*x - b = -4*q, -136 + 1 = -3*q - 3*x. Is q a multiple of 4?
True
Is 5 a factor of 3892 + (-28 + 16 - -5)?
True
Let b = 77 - 81. Is 20 a factor of b/(-46) + ((-71736)/92)/(-3)?
True
Let n(g) = 487*g**2 + g - 1. Let m be n(-1). Let q = 679 - m. Is q a multiple of 23?
False
Let p = 36 + -40. Let o be 38/8 - (-1 - 3/p). Suppose d + o*y - 150 = 3*y, 0 = 5*d + y - 759. Is d a multiple of 27?
False
Let f = 4112 - 2096. Suppose -f - 789 = -5*u. Does 39 divide u?
False
Let r(t) = 2286*t - 2593. Is r(7) a multiple of 38?
False
Let t(s) = 136*s**2 + 33*s + 672. Is 29 a factor of t(-24)?
False
Let q(s) = 801*s + 123. Let l be q(9). Does 12 divide 5 + (16/40 - l/(-20))?
True
Suppose 2*h = -0*h + 4*i + 14, -h - 1 = -4*i. Suppose -220 = 11*q - h*q. Suppose 3*y = -3*d + 516, y + 3*d - q = 109. Is 16 a factor of y?
True
Let o(d) = d**2 - 301*d**3 - 18 + 149*d**3 + 4*d + 151*d**3. Is 20 a factor of o(-5)?
False
Suppose 0*s - 704 = s - 10252. Is s a multiple of 28?
True
Suppose 5*z = c + 37, -4*c + 2*c - 2 = -z. Is 5 a factor of 27/z*-2*-4?
False
Let l(m) = -m**3 + 6*m**2 + 16*m + 11. Let q be l(8). Suppose -41 = -5*n - q. Suppose -7*y + 92 + n = 0. Is y a multiple of 14?
True
Let h = 108 + -104. Suppose h*g - 47 = -27. Let s = 133 - g. Is s a multiple of 15?
False
Let a(v) = -63*v + 270. Is 26 a factor of a(-1)?
False
Is 19 a factor of 63440/4 + 1 + (-34)/(-17)?
False
Suppose -454342 = -76*z + 155*z - 113*z. Is 29 a factor of z?
False
Let c = -190 + 4502. Is c a multiple of 88?
True
Let g = -20571 - -28562. Does 8 divide g?
False
Let o = 0 - 24. Let l be (232/16)/((-1)/(-10)). Let j = l + o. Does 11 divide j?
True
Is 7 a factor of 36726/(-15)*(-25 + 315/14)?
False
Let v(n) = 17*n - 129. Let s be v(0). Let u = 236 - s. Is 73 a factor of u?
True
Let w(g) = 10 - 22 + 10*g**2 + 8*g - g**3 - 13*g**2. Let l be w(-8). Suppose 5*p - 3*p - l = -2*n, -2*n - 4*p + 238 = 0. Is n a multiple of 26?
False
Suppose 0 = 4*n - 5*a - 37046, 46258 = 5*n - 3*a + 5*a. Does 73 divide n?
False
Is 9 a factor of (-150)/(-90) + (-1754)/(-12)*20?
True
Suppose -2*f - 45*l + 8418 = -50*l, 2*l - 21103 = -5*f. Does 48 divide f?
False
Is 5/5*-5 - (16 + -4 + -10146) a multiple of 85?
False
Let p be 48/(-27)*-3*(-3684)/(-16). Supp