 2*w + 11, 5*r + 8*w + 75 = 3*w. Let t be 1*52 + 0 + 3. Let m = r + t. Does 12 divide m?
True
Let l(a) = 12*a - 257. Does 3 divide l(27)?
False
Let x be (-7)/(-1) - (-7 - -9). Suppose q + 16 = x*q. Is q a multiple of 3?
False
Let q be 0 + (0/3 - -3). Suppose -6*x + 216 = -q*x. Is 9 a factor of x?
True
Suppose 0 = 3*u - 5*f - 14, 0 - 13 = -5*u - 2*f. Suppose -280 = -u*o + 32. Is o a multiple of 11?
False
Suppose 4*k = 4*u + 252, 2*u + 4*k = -2*u - 260. Let f = -23 - u. Does 12 divide f?
False
Let y be -11 - (1 + (-1 - 3)). Let g = 10 + y. Let c = g - -14. Does 7 divide c?
False
Is (-4 + 88/16)*1246/3 a multiple of 17?
False
Let s(b) be the first derivative of 25*b**2 - b - 4. Let j be s(1). Suppose -3*i + j = 3*n - n, 0 = 2*i - 4*n - 22. Is i a multiple of 15?
True
Is (3 + -2 + 0)*(-8 - -302) a multiple of 21?
True
Let c(z) = -5*z + 3. Let x(p) = 65*p - 40. Let v(t) = 40*c(t) + 3*x(t). Let r be v(-1). Suppose -7*d + 32 = -r*d. Is 8 a factor of d?
True
Let p = 9 + 1101. Does 15 divide p?
True
Suppose 4*f = d - 145 - 68, -4*d = 3*f - 871. Suppose -d = -4*g + 119. Is 28 a factor of g?
True
Suppose 2*o = p + 6*o - 10, 4*p - 2*o - 4 = 0. Suppose -3*x + p*c - c - 169 = 0, 0 = -x + c - 57. Is 14 a factor of (-111)/(-8) - 7/x?
True
Let d = 9 + -4. Suppose 3*o = 15, 3*l - d*o + 1 = 6. Is 8 a factor of l?
False
Suppose -1 - 8 = -4*x - 3*s, 2*s = -2. Suppose -x*o - 2*c - 49 = 0, o + 4*c = -12 - 21. Let l = o - -25. Does 4 divide l?
True
Let v = -93 + -48. Let q = -99 - v. Suppose -p = 5*s - 92, 0 = 3*s - 5*p - 30 - q. Does 19 divide s?
True
Let x(f) = f**2 - 4. Let n be x(10). Suppose 3*j - 3*l - n = 0, 2*l - 2 + 0 = 0. Is 33 a factor of j?
True
Suppose 5*d + 432 + 108 = 0. Let b = 156 + d. Is b a multiple of 8?
True
Let w(m) = m**2 - 14*m + 9. Let i be w(13). Let x(v) = -v**2. Let o(s) = 3*s**2 - 6*s + 4. Let a(j) = o(j) + 4*x(j). Is 12 a factor of a(i)?
True
Let j be (-3 - -1) + 40 - 2. Suppose 0 = -0*z - 2*z + j. Is 3 a factor of z?
True
Suppose -613 = 9*u - 5041. Is u a multiple of 9?
False
Let d(w) = 3*w + 27. Let y be d(-8). Suppose -7*n - b = -3*n - 683, -y*n - 5*b + 525 = 0. Is 35 a factor of n?
False
Let h(z) = -z + 8. Let u be h(4). Suppose -u*o = -9*o + 80. Is 2 a factor of (o/10)/(14/35)?
True
Suppose 5*s - 4*o + 32 + 18 = 0, -o - 19 = 4*s. Let t(x) = x + 7. Let i be t(s). Let c = i + 5. Does 3 divide c?
True
Suppose 3*j - 2*z - 5 = 0, -7*j + 4*j = 4*z - 17. Suppose j*n - 45 = 45. Does 30 divide n?
True
Suppose 17*c + 1165 = 3052. Does 14 divide c?
False
Let x(q) be the third derivative of q**6/120 + q**5/30 - 5*q**4/12 - q**3/2 - 75*q**2. Suppose 0 = d + 4. Does 4 divide x(d)?
False
Let k(a) = -a**3 + 8*a**2 - 15*a + 16. Is 2 a factor of k(5)?
True
Suppose 4*h = 7832 + 1004. Is h a multiple of 8?
False
Let m(a) be the first derivative of 5*a**2 + 2*a - 6. Is m(6) a multiple of 9?
False
Suppose 0 = -c - 10*c + 2838. Suppose -z = 5*x - 598, -3*z - 348 = -5*x + c. Is x a multiple of 15?
True
Let k = 95 + -37. Let o be 6*4/12 + k. Let d = o + 28. Is 33 a factor of d?
False
Suppose 0 = -48*s + 10370 - 3266. Is 14 a factor of s?
False
Let d(x) = -35*x + 21. Let j be d(-6). Suppose -j = -i - 6*i. Does 7 divide i?
False
Let d be 1*2/(5 - 4). Let i = 133 + -68. Suppose -d*o - z - z + 86 = 0, 5*z = 2*o - i. Is o a multiple of 8?
True
Let q(l) = l**3 + 11*l**2 + 6*l - 10. Let j be q(-9). Let v = j - 54. Suppose 0 = -t - t + v. Is t a multiple of 6?
False
Let t(i) = -2*i**2 + 4*i - 9. Let n be t(3). Is (12/n)/(1/(-140)) a multiple of 28?
True
Suppose 0 = -2*x - 5*z + 8687, -7*x = -11*x - z + 17383. Does 106 divide x?
True
Suppose -169 + 65 = -f. Does 4 divide f?
True
Suppose -7*i = 4 + 10. Let u(s) = -101*s - 11. Is u(i) a multiple of 22?
False
Is 158739/84 + 1/4 a multiple of 27?
True
Suppose 3*h + 38 = 5*h. Let r be h + -11 + 3*-1. Suppose 0 = r*i - 15 - 55. Is 4 a factor of i?
False
Suppose c + 5*v = 61, -6*c + 5*c + 5*v + 21 = 0. Suppose -u + c = -19. Is 6 a factor of u?
True
Let t = 2063 - 559. Does 18 divide t?
False
Suppose -5*a = -4*b - 1036, -2*a + 311 = -2*b - 105. Does 12 divide a?
True
Let z(f) = 79*f - 1. Let q be z(1). Suppose -44 = -x - 2*k, -x + q = x - k. Is x a multiple of 12?
False
Let v be (-4 + 4)/(0 - -3). Suppose v = -3*u - 185 + 770. Is 15 a factor of u?
True
Suppose 16*r - 105 = 11*r. Suppose -r*h - 180 = -23*h. Does 14 divide h?
False
Let s = 171 - -1. Is 14 a factor of s?
False
Suppose 6*g + 360 = 14*g. Is 9 a factor of g?
True
Suppose 6*u + 147 = 15. Let z = 2 + u. Does 7 divide z/(-8)*6 - 1?
True
Let r be 3/(-15) + 1 + (-28)/10. Does 14 divide (-1545)/(-30) + (r - (-1)/2)?
False
Suppose -23*v + 37*v = 15400. Is 22 a factor of v?
True
Suppose 3*a = 4 + 2. Suppose k - 37 = 3*c, -a*k + 2*c + 78 = -2*c. Does 22 divide k?
False
Suppose -5*h = -15 - 0. Let i(m) = -m**2 + 4*m - 3. Let k be i(h). Suppose -v = 4*j - 53, k*v - 4*j + 118 = 2*v. Is v a multiple of 19?
False
Let m = 118 - 40. Is 16 a factor of -1*(-2 + 0)*(m + -1)?
False
Let f = 184 - 95. Let q = 154 - f. Is q a multiple of 8?
False
Let t(a) = -2*a**3 - 5*a**2 + 13*a + 34. Is t(-10) a multiple of 18?
True
Let m = -890 - -2755. Is m a multiple of 10?
False
Suppose -2*j + l + l = 30, 10 = -2*l. Is (-21 - j)*-1*37 a multiple of 37?
True
Suppose 2*c + v - 2 = 0, -v = 2*c + v - 4. Let r = 21 - 27. Is (r + -5)/(c + -1) a multiple of 11?
True
Is -6*2/18*-189 a multiple of 9?
True
Is (204624/7)/12 + 0 a multiple of 29?
True
Suppose -41 = 5*t + 29. Let o = 30 - 50. Let r = t - o. Is r a multiple of 3?
True
Let h(c) = 15*c**2 - 4*c - 8 + 0 + 12*c - 16*c**2. Let p be h(6). Suppose -p*b - 27 = -99. Is 6 a factor of b?
True
Suppose -6*p = -70 - 530. Does 23 divide p?
False
Suppose 152*b + 11875 = 157*b. Does 95 divide b?
True
Let o = -45 - 39. Let q = o + 151. Is 18 a factor of q?
False
Suppose -4*n = -4*h - 720, 0 = -16*n + 13*n + 4*h + 538. Is n a multiple of 14?
True
Let g = 3725 - 2499. Is g a multiple of 41?
False
Is (-924)/(-35)*(-260)/(-6) a multiple of 13?
True
Let l be 4 + (-2)/(4/8*4). Suppose l*g - 18 = 93. Is g a multiple of 5?
False
Suppose 0 = 8*n + 5*n - 1040. Suppose -4*l + 2*l + 70 = 2*z, -4*l + n = 2*z. Is z a multiple of 3?
True
Let x = 31 + -29. Let v(b) = 7*b**2 + b - 4. Let m be v(x). Suppose 18 = 3*u - w - 0*w, -2*u + m = 4*w. Does 4 divide u?
False
Let p = -18 - -23. Let s = 111 + p. Suppose -c + 4*c = y + 174, 2*c + 2*y = s. Does 9 divide c?
False
Let t = 704 - 144. Suppose -5*v - 5*f + t = 0, 0 = -v - 5*f + 64 + 64. Is 9 a factor of v?
True
Let x be (2/(-4))/1*-14. Let z be 3*x/(42/4). Let u(k) = 5*k**3 - 2*k**2 + 3*k. Does 11 divide u(z)?
False
Let h = -530 + 803. Is 21 a factor of h?
True
Let f = 19 - 14. Suppose 4*g + y - 902 = 73, f = -y. Suppose s = -4*s + g. Does 11 divide s?
False
Let y = 7 + -5. Suppose a - 24 = y. Suppose 0 = 2*f - 4*f + a. Is 8 a factor of f?
False
Suppose -24*y = -5062 - 9602. Is 13 a factor of y?
True
Let b = 2 + -3. Suppose c - 4*y = -51, -107 = -3*c - y - 260. Is (-2)/(((-6)/c)/b) a multiple of 17?
True
Is 89075/275 + (-2)/(-22) a multiple of 12?
True
Let s be (-6)/(-4) + (-220)/8. Suppose -15 - 153 = -4*n. Let c = s + n. Does 5 divide c?
False
Is 20/50 - 16632/(-20) a multiple of 8?
True
Let m be (17 - 15)*135/2. Suppose i - 3*w = 62, -3*i + 2*w = -23 - m. Is i a multiple of 25?
True
Suppose 2*k - i = 4, -5*k + 3*i + 12 = i. Suppose 11 = -k*q + 123. Is 5 a factor of q?
False
Let k(c) = -c**2 - 4*c + 1. Let z be k(-3). Suppose -60 = z*y - 7*y. Is 4 a factor of y?
True
Let i(u) = -u**3 - 5*u**2 + 8*u + 20. Let s(t) = t**2 - 1. Let x(w) = -i(w) + 5*s(w). Is 30 a factor of x(-10)?
False
Let f(c) = -c + 16. Let g be f(11). Suppose 0 = o, -12 = 3*q - g*q + 4*o. Is q a multiple of 3?
True
Let x(b) = -69*b**3 + 13*b + 22. Does 3 divide x(-2)?
False
Suppose 2*k - 8*o + 1212 - 5660 = 0, -o - 2230 = -k. Is 93 a factor of k?
True
Let c be 49 + (1 - (-2 + 3)). Let x = 71 - c. Is x a multiple of 6?
False
Suppose -9 = 2*o + o. Does 13 divide -20*(o - 2/8)?
True
Suppose 3*v = -12 + 75. Let h = v - 5. Does 8 divide h?
True
Suppose -3*b - 4*f + 202 = 0, -3*f + 4 = -2*f. Let i = 13 + b. Suppose q - i = -4*q. Does 8 divide q?
False
Suppose 3*d - 7*d + c - 3065 = 0, -5*d - c = 3838. Let l = -501 - d. Suppose -s + 70 = 3*u, 0 = 2*s + s - 5*u - 