 -2*y - 2*y. Suppose y*x + 3*d - 44 - 1 = 0, -5*d - 55 = -x. Is x a multiple of 3?
True
Suppose -58 - 348 = -2*l. Let n = l - 143. Is 24 a factor of 3132/n - 1/5?
False
Let v = 201 + -200. Is 13 a factor of 40 + -38 - (-43 + v - -2)?
False
Let l(o) = 6*o - 26. Let d be l(5). Suppose d*s - 2*z - 173 - 1081 = 0, -s + 317 = -4*z. Is s a multiple of 49?
False
Suppose -5*n - 9 = -2*v, 3*n = v + 2*n - 9. Let j be (-1025)/(-6) - 3 - (-2)/v. Suppose -8*y = -7*y - j. Does 13 divide y?
False
Let x(y) = 4*y + 51. Let q be x(-10). Suppose q*o - 1932 = 565. Is 25 a factor of o?
False
Let r(q) = -2641*q - 8422. Is r(-22) a multiple of 23?
True
Let q(t) = t**3 + 4*t**2 - 13*t + 4818. Is q(0) a multiple of 22?
True
Let v(t) be the first derivative of t**4/4 + 23*t**3/3 + 11*t**2 + 43*t + 75. Is 3 a factor of v(-22)?
False
Suppose 11*w - 8657 = 1595. Is 47 a factor of w?
False
Let p = 123 - -3. Suppose 2*d + 24 = -p. Let k = d + 124. Is 18 a factor of k?
False
Suppose t - 3552 = 3023 + 2605. Is t a multiple of 85?
True
Is -5 + -26*2/(-13) + 1021*2 a multiple of 8?
False
Let v be (-3672)/(-84) + 4/14. Let n = 108 - v. Is n a multiple of 4?
True
Let t = 1354 + 9826. Is t a multiple of 52?
True
Suppose -4*y = 5*b - 49065, b - 3*y - 6111 = 3702. Does 16 divide b?
False
Suppose -60 = -6*i + i. Let j be -1*(-22 + 11 + -21). Let n = i + j. Is n a multiple of 11?
True
Let d = -372 + 375. Let c(x) = 397*x + 1. Is c(d) a multiple of 56?
False
Suppose -194*r + 258*r - 275776 = 0. Is 13 a factor of r?
False
Suppose 0 = 3*h + 6 - 21. Suppose h*a + 3*i - 8 = 0, 2*a - 2*i - 16 = -0*a. Suppose a*y = -2*s + s + 606, 2*s = -4. Is y a multiple of 24?
False
Let a(y) = y**3 - 12*y**2 + 13*y - 17. Let v be a(11). Suppose 8 + 127 = v*c. Is 15 a factor of (-3 + c/6)*54?
False
Suppose 163*d - 1190640 = -27*d - 15*d. Is 66 a factor of d?
True
Let p(b) = 1 + 4 + 7*b**2 - 19*b**2 + b**3 + 4 + 10*b. Let j be p(11). Let d(i) = 13*i**2 - i. Is d(j) a multiple of 12?
False
Let p be 0*((-6)/(-4) + (-4 - -3)). Suppose -s + 2*m + 52 = p, s + m - 4*m - 54 = 0. Is 12 a factor of s?
True
Suppose 5*o - 2609 = -3*m, 2*o + 2*m - 3*m - 1037 = 0. Suppose o = 5*i + 7*z - 3*z, 3*z = i - 123. Is 27 a factor of i?
True
Suppose 3*x = 2*b - 780, x - 1967 = -6*b + 353. Is b a multiple of 129?
True
Suppose 223*l = -353597 + 2366163 + 53975. Is l a multiple of 20?
False
Does 82 divide (9/5 - 1) + 11515776/480?
False
Let m(z) = -z**3 + 12*z**2 - 13*z + 22. Let i be m(11). Suppose 34*s - 6346 - 4432 = i. Is s a multiple of 18?
False
Suppose -287*v + 11648 = -271*v. Is 13 a factor of v?
True
Suppose 69155 = 84*r - 164485 + 5580. Does 7 divide r?
False
Suppose 4*y = 0, 2*y + 40 = 5*u + 4*y. Let o = u + 3. Let r(m) = 14*m - 37. Is r(o) a multiple of 28?
False
Let r be 1 + 18/(-22) - 2650/(-550). Suppose r*d - 181 = 299. Does 17 divide d?
False
Suppose 2*s - 5*s = 4*j + 7, -4*j = -5*s - 33. Let g(d) = 15*d - 15. Let l be g(j). Is 12 a factor of ((-33)/2)/(l/(-140))?
False
Suppose 8*t + 1788 = 236. Let c = t - -505. Is c a multiple of 13?
False
Let z(l) = 27*l + 187. Let h be z(-7). Is -4 + (h + 6 - -93) a multiple of 3?
True
Let f = -62 + -305. Let w = f + 1096. Is 23 a factor of w?
False
Let p = 1945 + 125. Does 69 divide p?
True
Let o(x) be the third derivative of x**8/20160 + x**7/5040 - x**6/120 + 2*x**5/15 - 7*x**2. Let t(m) be the third derivative of o(m). Is 14 a factor of t(-9)?
False
Suppose -40*d + 43*d + 4*k - 24685 = 0, 0 = d + 2*k - 8227. Is d a multiple of 34?
False
Suppose 206 = 4*q - 5*y, -4*y = -5*q + 242 + 11. Suppose 5*v - q = -2*v. Let t(o) = -o**2 + 13*o + 15. Is 26 a factor of t(v)?
False
Let c = 65 + -65. Suppose y + 12 = 2*y. Is 9 a factor of (c + y/10)*30?
True
Let r be 0/(-2 - (-1 + 0)). Suppose 0 = 54*w + 8*w - 186. Suppose -73 - 22 = -q - w*g, 4*g - 20 = r. Does 18 divide q?
False
Let q(z) = 4976*z - 510. Is 11 a factor of q(1)?
True
Let v(f) = -f**3 + 57*f**2 - 64*f + 1320. Does 4 divide v(54)?
True
Suppose 5*a - 67 + 57 = 0. Suppose 0 = -4*b - 0*b - 5*c + 1210, 0 = -2*b - a*c + 606. Is 14 a factor of b?
False
Let d = -41 + 7. Is 61 a factor of ((-1445)/d)/(2*(-3)/(-108))?
False
Let j be 14/21*162/4. Suppose 9*k - j = 9. Is 19 a factor of k + -2 - (-74 - 0)?
True
Suppose 0 = 17*c - 11488 - 10578. Is 22 a factor of c?
True
Let a = 412 + -183. Suppose -2*g + a = 69. Is g a multiple of 22?
False
Let r(y) = 2*y**2 + 21*y + 10. Suppose -g - 18 = 2*v, 2*g - 6*g - 42 = 5*v. Let o be r(v). Suppose o*t - t = -126. Is 18 a factor of t?
True
Suppose 51840 = 45*p - 30*p. Does 48 divide p?
True
Suppose 17*c = 10471 + 46649. Is c a multiple of 24?
True
Let r be (-39)/26*(-2)/(-6)*-8. Let d be (3/6)/(r/40). Suppose -m = -d*z + 1063 - 225, 5*m = -z + 178. Is 12 a factor of z?
True
Let i(q) = 81*q - 10. Let o be i(-3). Let l = -184 - o. Is 9 a factor of l?
False
Suppose 5*f - 2109 = -4*j, 4*f + 3 - 7 = 0. Suppose -3*p + 20*p = -5831. Let i = p + j. Does 14 divide i?
False
Suppose 73*m = 63*m + 20. Suppose 43 = w + 3*o - 115, m*w - 328 = -3*o. Is 12 a factor of w?
False
Let q(n) = -7*n - 9. Let j be q(-2). Suppose -389 = -j*y - 4*x, -5*x - 142 = -2*y - 10*x. Is y even?
False
Suppose 0 = -y + 2, 2018 = 14*q - 13*q + 2*y. Is q a multiple of 106?
True
Suppose 4002 = 3*c + 3*w, 4*w + 5304 = -26*c + 30*c. Is c a multiple of 28?
False
Let b(s) = 6507*s**2 - 15*s - 10. Does 12 divide b(-2)?
False
Let y(v) = -2*v**2 - 1. Let s be y(1). Let a be (-14)/(-21) + (-22)/s. Is ((-4)/a)/(1/(-140)) a multiple of 14?
True
Let j be (-13)/(11 + -63) + 79/4. Let g(p) = p**3 - 21*p**2 + 24*p - 61. Is 2 a factor of g(j)?
False
Suppose -7*f + 15736 + 4460 = -3478. Is f a multiple of 106?
False
Suppose 0 = -4*q - 12 + 8. Let a be (-1)/(-2)*0*q/(-2). Is 10 a factor of (-12)/(-42) + (-138)/(-7) + a?
True
Suppose 0 = y + 6*i - 37508, 5*y = -i - 27091 + 214718. Is 47 a factor of y?
False
Suppose -1288741 - 1946571 = -137*g - 1120991. Is 61 a factor of g?
True
Suppose -21*n = -228 + 18. Let k(u) = -9*u**2 + 9*u + 10. Let m(h) = -5*h**2 + 4*h + 5. Let y(r) = -3*k(r) + 5*m(r). Does 39 divide y(n)?
False
Suppose -4*u - 1220 = -5*k - 0*k, -5*k - 3*u = -1185. Is k a multiple of 3?
True
Suppose 2422 = 21*x - 17696. Suppose 0 = -6*s + 8*s + 2*b - x, 9 = 3*b. Is 14 a factor of s?
True
Suppose 4*y - 2255 + 743 = 0. Suppose 5*c - y = 3*c. Is 9 a factor of c?
True
Let b = -77 + 78. Suppose -b = o - n, -5*o - 19 = 3*n + 10. Does 12 divide (o + (-47)/(-2))*2?
False
Let f(g) = g**2 - 7*g + 20. Let m = 77 + -72. Suppose -j - 3*c = 0, m*j + 6*c - 30 = c. Is 38 a factor of f(j)?
True
Let z(d) = -12*d**3 - 5*d**2 - 39*d + 16. Does 4 divide z(-4)?
True
Suppose 7*m + 21 = 147. Does 16 divide (m/21)/(16/5376)?
True
Suppose 1069 = 4*i + 3149. Let x be (i/24)/(2/6). Let j = x + 115. Does 25 divide j?
True
Let a be (2 + -3)/((-1)/(-3)). Suppose 11 = 3*v - 1. Does 15 divide a/v + (-2751)/(-84)?
False
Let n(g) = 4*g - 33. Let j be n(9). Suppose -2*s + 7 = j*i + 3*s, 0 = -4*i + 3*s - 10. Is 3 a factor of (i - -4)/1 - (0 + -50)?
False
Let x = -35 + 40. Let m(u) = -u**3 + 4*u**2 + 3*u - 4. Let y be m(x). Let p(i) = i**2 + 7*i + 4. Is p(y) a multiple of 31?
False
Let c(l) = -23*l - 14. Suppose 0 = 3*f + 12, 3*a + 60 = -2*f - 92. Let j = -51 - a. Is 13 a factor of c(j)?
False
Let i(n) = n**2 - 5*n - 16. Let r = 58 + -65. Is i(r) even?
True
Let j(q) = -q**3 + 10*q**2 - 10*q + 12. Let i be j(9). Suppose -4*w - i = -5*w. Suppose 2*d - w*u = 41, -2*d + 5*u + 29 = -14. Is 5 a factor of d?
False
Suppose -2*c - s = 3*c - 13, 0 = 5*s + 10. Suppose -5*p - 5*d = -c*p - 3, -3*d - 7 = -p. Suppose 20 = p*a - 232. Is 9 a factor of a?
True
Suppose 358 = -4*x + 2*n + 1750, -3*x + n = -1047. Let p(y) = 256*y - 1. Let b be p(2). Let q = b - x. Is q a multiple of 40?
True
Suppose -f = 3*f + 204. Suppose -149*b + 123*b - 312 = 0. Let g = b - f. Does 10 divide g?
False
Let a = 5656 + -904. Is a a multiple of 48?
True
Let r(d) = -d**2 + 4*d + 1. Let k be r(3). Suppose k*f - 34 - 18 = 0. Suppose -f*y + 192 = -10*y. Is y a multiple of 16?
True
Let a be 14898/24 - (-2)/8 - 4. Suppose -11*i - 846 = a. Let d = -73 - i. Is d a multiple of 5?
True
Let y = 4658 - -8218. Does 37 divide y?
True
Let a(i) = 5*i - 21. Let g be a(5). Let p be (-602)/21*(-2)/g*-6. Let c = 112 + p. Is 5 a factor of