 2*g, -2*o = -o + 4*g - 12. Is 9 a factor of o?
False
Let v = -871 - -1787. Is v a multiple of 20?
False
Suppose 4*s = -4*l + 200, -4*l + 241 - 31 = -s. Is 26 a factor of l?
True
Let b(c) = -11*c**3 + c**2 + 5*c - 5. Let j be b(1). Let a(q) = q**2 + 7*q + 17. Is 9 a factor of a(j)?
False
Suppose 3*v - 5*u = -3*u + 67, 9 = v + 2*u. Suppose -3*w = 4*t - 13, v = 5*w + 2*t + 2*t. Is 54/(w/(-1) + 4) a multiple of 18?
True
Let p(z) = 3*z**3 - 6*z**2. Suppose -10*s + 4 = -36. Does 24 divide p(s)?
True
Let h(j) = -40*j + 188. Is h(3) a multiple of 12?
False
Suppose 5383 = -35*k + 44268. Does 16 divide k?
False
Let p be ((-15)/(-3) - 5) + (0 - -2). Suppose -5*i = -p*i - 126. Does 4 divide i?
False
Let h(q) = -2*q**2 - 2*q - 4. Let a be h(0). Is 3 a factor of a/10*1*-35?
False
Let f(i) = i**3 + 13*i**2 - i - 14. Let n be f(-13). Does 31 divide n + (-6)/2 - -139?
False
Let n = 113 - 75. Let c be (2 - 1) + n + 0. Does 13 divide c*(-1 + (2 - 0))?
True
Let q(t) = t**2 - 7*t + 29. Is q(11) a multiple of 3?
False
Suppose -4*i + 3*o + 729 = 0, -4*i + 0*o - 5*o + 705 = 0. Is 30 a factor of i?
True
Let x = 614 - 590. Does 8 divide x?
True
Suppose -4*y = 5*v - v - 108, 4*v - 102 = -y. Is v a multiple of 25?
True
Suppose -12804 = 464*k - 476*k. Is k a multiple of 40?
False
Suppose 25 = j - 5*l, -4*j + 76 = 4*l - 0*l. Let h = 62 - j. Is h a multiple of 21?
True
Suppose 2*y - 7 = 1. Suppose 0 = -3*x + 11*x - 2096. Suppose 0*j + n = -y*j + x, 5*n + 274 = 4*j. Does 24 divide j?
False
Suppose -3 + 7 = -2*l, 2*m - 14 = 4*l. Suppose 3*k = -4*w - 112, -128 = m*k + 3*w - 14. Is ((-32)/k)/((-2)/(-15)) a multiple of 6?
True
Suppose -5*m + 12 = -13. Suppose -5*x + m*k = -0*x - 10, 2*k - 24 = -5*x. Suppose -x*f + 52 = -3*f. Is f a multiple of 18?
False
Let t(h) = -3*h + 21. Suppose 6 = 4*p + l + 75, 5*l + 73 = -3*p. Does 23 divide t(p)?
True
Suppose -3*z - 4*b + 1 + 8 = 0, -z = b - 2. Is 6 a factor of -4*2/8 - z*79?
True
Let t be 4 + (-3)/(-6)*-4. Suppose 0 = t*s + 1 - 5. Suppose -9 = 3*x - 6*x, 5*j - s*x = 59. Is 13 a factor of j?
True
Let o = -113 + 51. Let q = 42 - o. Does 8 divide q?
True
Let a = 506 + -871. Does 41 divide 1 - a - (17 - 20)?
True
Suppose 0 = 2*r - 11 - 11. Let z = 56 + r. Suppose 13 = -3*k + z. Does 3 divide k?
True
Suppose -12 = -5*n + 13. Let u(k) = 0 - 6*k + 15*k - 1. Is u(n) a multiple of 22?
True
Let n(s) = s**3 + 7*s**2 + 14*s - 36. Does 58 divide n(8)?
False
Suppose 301 = 5*t - 4*u - 71, 0 = 4*t - 5*u - 294. Is 19 a factor of t?
True
Let h(p) = -p**3 - 4*p**2 - 5*p + 8. Suppose -a = 1 - 3. Suppose -2*c = 2*f + 10, 1 = -a*c - 5*f - 6. Is 20 a factor of h(c)?
False
Let q(k) = 198*k + 1. Let v be q(1). Suppose -46 - v = -7*d. Suppose -205 = -3*o + d. Is o a multiple of 20?
True
Let z(w) = 6*w - 8 - 19*w**3 + 5*w**3 + 13*w**3 + 3*w**2. Does 5 divide z(3)?
True
Let a = 1627 + -643. Suppose 7*v + v = a. Is v a multiple of 21?
False
Suppose -5*c = 3*c - 16. Suppose -3*o + 1 + 2 = 0. Does 2 divide (o/(-2))/(c/(-24))?
True
Let y = 18 - 12. Let f be (-194)/10 - y/(-15). Let j = -9 - f. Is 6 a factor of j?
False
Suppose 1299 = 2*o - 5*p, -o + 56 = 5*p - 586. Is o a multiple of 6?
False
Suppose c - 287 = 3*l, -4*c - 21*l = -20*l - 1096. Is c a multiple of 19?
False
Let b(x) = 6*x**2 + 16 - 4 + 2 + 2. Does 12 divide b(5)?
False
Is (-12)/(-2)*(-1414)/(-42) a multiple of 15?
False
Suppose 0 = -k + 7 - 3. Suppose k*s + 396 = 10*s. Does 33 divide s?
True
Is -100*(-11 - 4/(-4)) a multiple of 25?
True
Let t = 22 + -22. Suppose -5*b + t*b = 210. Let d = b + 74. Does 16 divide d?
True
Suppose -2*n - 4 = -4*f, 0 = -4*n - 4*f + 11 + 5. Suppose -5*h = -5*x + 365, 2*h - 292 = -4*x - n*h. Is 16 a factor of x?
False
Suppose -726 + 3690 = 6*v. Is 26 a factor of v?
True
Is 30 a factor of (-10)/(-8 + 1006/126)?
True
Let i be 16/(-3) + 18/(-27). Is 16 a factor of ((-106)/(-2))/(-3 + (-24)/i)?
False
Suppose 2*y - 162 = h + 303, 4*y - 912 = -4*h. Let f = y - 102. Is f a multiple of 15?
False
Let n(o) = 4*o + 2. Let g be n(0). Suppose g*j + 456 = 4*l - 478, -2*l = -3*j - 473. Is 29 a factor of l?
True
Let d(y) = -y**2 + 2*y - 1. Let n be d(1). Suppose 0 = -3*b + 6 - n. Suppose -4*o + 7*o + 51 = b*a, -o = -1. Does 9 divide a?
True
Let r = -1837 - -3217. Does 10 divide r?
True
Let c = -363 + 388. Is 3 a factor of c?
False
Let z be 1/((-1)/(-1)*(-1)/(-8)). Suppose 5*p = -2*c + 232, -3*c + 3*p = -z*c + 561. Is c a multiple of 37?
True
Suppose -4*z = -2*s - 338, -2*z = -0*z - 5*s - 165. Is z a multiple of 2?
False
Let n(i) = 31*i + 3. Let h(c) = 16*c + 1. Let u(v) = -5*h(v) + 3*n(v). Let p be u(3). Suppose 4*d = 77 + p. Is d a multiple of 12?
False
Let a = -16 - -13. Is 16 a factor of (0 + 1)*(-417)/a?
False
Suppose 3*y = -5*s + 81, -27 = -2*y + 4*s + 5. Let n = y + -4. Is 6 a factor of n?
True
Let k = 642 - 320. Is k a multiple of 14?
True
Let n(i) = -i**3 - 11*i**2 + 8*i + 4. Let g be n(-12). Let x = g - 40. Is 6 a factor of x?
True
Let f(w) = 6*w + 12. Let t be f(-14). Let q = 112 + t. Is 8 a factor of q?
True
Let k = -14 - -18. Suppose 3*r - k = r. Suppose 2*s - r*o + o = 71, -s = 3*o - 25. Is s a multiple of 17?
True
Suppose v = -b + 181 + 14, 190 = b + 2*v. Is 40 a factor of b?
True
Let w be (-4)/(-5)*(-25)/(-10). Suppose -32 = -2*u - 5*j + 6*j, w*j = -u + 11. Does 21 divide 12/u + (-963)/(-15)?
False
Suppose -6 = -3*w - 3*m, -2 - 2 = w - 5*m. Let g be (3 - 2)*w - -1. Does 10 divide 20 - 0/(g/1)?
True
Let m be ((-40)/(-12))/(((-16)/12)/(-2)). Suppose -c = 4*u - 39, -c + m*u + 24 = -24. Is c a multiple of 6?
False
Let v = -259 + 425. Does 9 divide v?
False
Suppose 0 = -6*x - 65*x + 4473. Is x a multiple of 14?
False
Let n = 567 + -9. Is 62 a factor of n?
True
Suppose -6*v + 1007 = -2113. Is 40 a factor of v?
True
Let r(d) = 27*d**2 + 11*d + 60. Is 12 a factor of r(-4)?
False
Let o = 687 + -455. Let c = o - 171. Is c a multiple of 15?
False
Let s = 5559 - 2399. Does 158 divide s?
True
Let c = -89 - -160. Suppose 5*k - 42 - c = 3*l, 3*l = -4*k + 85. Is k a multiple of 5?
False
Let n be (1 + -3)/(3/(-141)). Let x = 61 - n. Is 18 a factor of (-55)/(-3)*x/(-11)?
False
Suppose -5*p + p - 6210 = -5*w, -5*w + 2*p + 6220 = 0. Does 82 divide w?
False
Let h(r) = -74*r + 310. Is 7 a factor of h(-17)?
True
Suppose -5*j + 2*f = -0*j - 1205, 5*f - 268 = -j. Is j a multiple of 9?
True
Let q(x) = 4*x - 15. Suppose 2 = -5*t - 5*d - 18, t + 3*d = -8. Let u(c) = 3*c**2 + 2*c + 2. Let v be u(t). Does 14 divide q(v)?
False
Suppose 0 = -3*d - 95 + 383. Is 3 a factor of d?
True
Let y = -8 + 11. Suppose 0 = -5*g - 4*p + 193, -p = 3*g - 0*p - 113. Suppose -b - 2*b = -y, 2*b = -5*o + g. Does 7 divide o?
True
Let v(c) = -c**3 + 20*c**2 - 18*c - 17. Let p be v(19). Suppose 54 = -p*m + 2*a, 5*m + 2*a - 21 = -163. Does 22 divide m/(-126) + (-392)/(-18)?
True
Is (-4)/(-22) + (-61726)/(-154) a multiple of 18?
False
Suppose 3*i = -0*b - b + 493, -2*b - 4 = 0. Does 11 divide i?
True
Let a(u) = -84*u - 68. Is 22 a factor of a(-5)?
True
Let w(r) = r**2 - 33*r + 30. Is 28 a factor of w(40)?
False
Let d(b) = 15*b - 16. Let g be (7 - (-2 + 3))*(-2)/(-4). Is 22 a factor of d(g)?
False
Suppose -307 + 19 = -8*u. Let v = 55 - u. Is v a multiple of 3?
False
Let j(w) = w**2 + 9*w + 12. Let r be j(-8). Suppose 2*x - 2 - r = 0. Suppose -x*c + 4*g + 64 = 0, 3*c = c + 4*g + 40. Does 6 divide c?
True
Suppose -13 = -m + 11. Is 24 a factor of m?
True
Is 2/(10/325*50/2920) a multiple of 27?
False
Let s(r) = 2*r**3 - 19*r**2 - 16*r + 19. Does 8 divide s(11)?
False
Suppose 0 = -5*c - 15, -3*k + 20 + 280 = c. Let z = k + 25. Is 12 a factor of z?
False
Suppose 3*h = -12 + 21. Suppose 2*u + j - 2*j = 195, 2*u = -h*j + 183. Does 12 divide u?
True
Suppose -937 = -32*k + 23. Is k a multiple of 25?
False
Let o = 931 + -619. Does 3 divide o?
True
Suppose -5*p + 336 = 4*o, -252 = -4*p + 2*o - o. Let i be 3 - (1/(-3))/(2/6). Suppose -2*m - p = -i*m. Does 8 divide m?
True
Let p = -534 - -551. Does 5 divide p?
False
Suppose -6*t + 3*t - 3*j = -3, -2*t - 13 = 5*j. Suppose -t*y + 2*y + 176 = 0. Is y a multiple of 22?
True
Let o = -877 + 1320. Does 44 divide o?
False
Let u = 594 - 398. Let f = u - 59. Is f a multiple of 19?
False
Suppose 0*i + 3*i + o = 252, -o + 168 = 2*i. Suppose 0*m = 2*m - 5*t - 33, -4*m = -4*t - i. Suppose 6*f - m = 3*f. Is f