/a?
False
Let x(m) = -20*m + 118. Is 18 a factor of x(-23)?
False
Suppose -4*q + 5 = -7. Let n(f) = 0*f**q - 10*f**2 - 5 + f**3 + 10*f + 0*f**3. Is 2 a factor of n(9)?
True
Suppose -23*m + 23489 - 6101 = 0. Is m a multiple of 54?
True
Suppose 10*k + 4 = 11*k. Does 27 divide (-654)/(-8) - k/(-16)?
False
Let c = 38 - 33. Suppose -1863 = -4*g - c*g. Is g a multiple of 23?
True
Suppose 4*w = -2*z + 3312, -12*w = 3*z - 9*w - 4962. Is 98 a factor of z?
False
Is 5 a factor of (1320/(-4))/(33/(-9) - -3)?
True
Let v(s) = -s**2 - 11*s - 9. Let u be v(-7). Let b = u - 12. Suppose 0 = b*y - 6*y - 10. Is 6 a factor of y?
False
Suppose -k + 2 = 4*r, 4*r + 2 = -k - 2*k. Let p = r - 2. Let u(z) = 44*z**2 - z - 1. Is 22 a factor of u(p)?
True
Let t = -128 + 306. Suppose 2*w = 4*r - t, 18 = 2*r - 2*w - 70. Does 9 divide r?
True
Suppose 3*m + 5*z = 185, 2*m - z - 216 = -2*m. Is 19 a factor of m?
False
Let k(v) = v**3 + 1. Let d(g) = 8*g**3 - g**2 + 6*g + 11. Let u(q) = d(q) - 6*k(q). Is u(4) a multiple of 47?
True
Let o = 785 - 556. Does 16 divide o?
False
Suppose 5*n + 0*n - 755 = 0. Suppose -155*o = -n*o - 380. Is o a multiple of 11?
False
Suppose -2 + 0 = -h. Suppose -1 = 3*p - 4*p + 4*r, 53 = 3*p - h*r. Is p a multiple of 21?
True
Let f(g) = g**3 + 4*g**2 - 2*g - 3. Let t = -5 - -1. Let c be t/18 + (-100)/36. Is f(c) a multiple of 12?
True
Suppose 5*b - 42 - 7 = 2*u, 3*u + 46 = 5*b. Suppose 24 + b = 5*d. Suppose 2*n - d = n. Is n a multiple of 2?
False
Let d(t) = -95*t + 846. Is d(-6) a multiple of 6?
True
Suppose 326*p + 4212 = 332*p. Is 26 a factor of p?
True
Suppose 2*h = -h - 5*h. Suppose -z + 69 = 2*z. Suppose 5*v - z - 72 = h. Is v a multiple of 6?
False
Let u(z) = z**2 + 14*z + 10. Let r(m) = m**2 + 11*m + 15. Let t be r(-7). Let a be u(t). Does 14 divide 17 - (5 - (5 + a))?
True
Suppose -4*t - 2*a = 20, 4*t - 4*a = -61 + 17. Let n(z) = z**3 + 2*z**2 - 2. Let u be n(-2). Does 9 divide 496/28 + u/t?
True
Let m(o) = 10*o**2 - 65*o**2 - 22 + 22 + 2*o. Let r be m(1). Let k = -38 - r. Does 4 divide k?
False
Let p be 8*4/8 - 24. Let g = -8 - p. Does 9 divide (9/(-2))/((-1)/g)?
True
Suppose 41 = -n - 4*q, 11*n - 2*q + 128 = 7*n. Let m(p) = -2*p**3 - 2*p**2 + 3*p - 1. Let g be m(3). Let z = n - g. Is 10 a factor of z?
False
Suppose 0 = -p - 3*t + 4*t + 209, -5*p - 2*t + 1052 = 0. Does 6 divide p?
True
Let c(u) = -36*u - 100. Is c(-21) a multiple of 13?
False
Suppose -250 = -9*l + 56. Is l a multiple of 17?
True
Let o = 24 - 23. Suppose -o = -n + 3*p + 1, 3*n - 5*p = 6. Is 24 a factor of 117/n - (-15)/(-10)?
False
Suppose -n = 2*l + 11, 4*n + 8 = -3*l + 7*l. Let m be (-4 - -7)*n/(-3). Suppose 3*y - m*f = 117, f + 41 = y - 0*y. Is y a multiple of 22?
True
Let f(z) = 21*z**2 - 46*z + 24. Suppose -3*h = -2*h + 2. Let t(j) = 4*j**2 - 9*j + 5. Let v(q) = h*f(q) + 11*t(q). Is v(9) a multiple of 25?
False
Let j = -721 + 1643. Is j a multiple of 82?
False
Suppose 2*h - 80 = -10. Let w = 83 - h. Does 12 divide w?
True
Let q be (-536)/(-44) - 2/11. Suppose -q + 8 = -2*j. Suppose 5 = j*l - 4*m - 17, -5*m = 5*l - 100. Does 5 divide l?
False
Suppose 0 = -2*n - 3*c + 24, -2*n + 5*c + 14 = 3*c. Suppose 0 = 2*u - 2*b, -3 - n = u + 5*b. Let d = 17 - u. Does 19 divide d?
True
Let t(r) = 16*r + 29. Let k(z) = -17*z - 29. Let o(b) = -4*k(b) - 5*t(b). Is o(-11) a multiple of 18?
False
Suppose 0 = 14*v - 7441 - 609. Does 23 divide v?
True
Let r(j) = -j**3 - 19*j**2 + 3*j - 16. Let g be r(-19). Does 23 divide (2 - g/(-2))*-2?
True
Suppose h - 143 = 192. Is h a multiple of 67?
True
Suppose 0 = 4*k - 2*k + 4. Let d be k/2 + 1 - -141. Let z = -89 + d. Is 26 a factor of z?
True
Suppose -2*j - 18 = -2*t, -t = t + 5*j - 11. Is 8 a factor of t?
True
Let h = -679 + 1123. Does 12 divide h?
True
Let s = 156 - 136. Does 4 divide s?
True
Let z = 37 - 33. Suppose -5*q = -2*q - u - 65, 0 = z*q + 5*u - 93. Is q a multiple of 22?
True
Let k be 1*(-196)/(-3) + 8/(-6). Suppose 3*t = 3*w + 102, -4*w + 5*t - 86 = 46. Let s = w + k. Is 13 a factor of s?
True
Let u be (-339)/(-9) - (-2)/6. Suppose 0 = j - 197 + 193. Suppose -j*w - u = -158. Does 15 divide w?
True
Suppose -5*k = z - 14, -2*k + 4*z - 26 = -7*k. Suppose a = k*a - 50. Let c = 73 - a. Is 11 a factor of c?
False
Let c(j) = j**2 - 7*j - 23. Let x = 43 + -32. Does 4 divide c(x)?
False
Suppose -s = 2*n - 96, 57 - 4 = n - 2*s. Does 7 divide n?
True
Let w = -47 - -68. Does 21 divide w?
True
Let y(u) = 4*u**2 + 31*u - 5. Let r be y(-8). Does 4 divide -4 + -4 + r - -2 - -26?
False
Let b(o) = 12*o**2 + 13*o + 7. Let r be b(-7). Suppose d - 5*d = -r. Let c = d - 75. Does 13 divide c?
False
Let v = 253 - 30. Suppose 6*n = v - 43. Suppose 0 = f + d - n, 2*f + d + 18 = 80. Is 16 a factor of f?
True
Let s(u) = 6*u**3 + 3*u**2 - 6*u - 3. Let z(q) = 3*q**3 + q**2 - 3*q - 1. Let v(w) = -6*s(w) + 13*z(w). Is 21 a factor of v(4)?
True
Suppose -5*h - 12 = -11*h. Suppose -2*c = 2*c - 20, -2*l + 28 = -h*c. Does 3 divide l?
False
Suppose -5*c = -2*c - 2*h - 74, 5*h - 109 = -3*c. Suppose -4*d + 60 = 2*g, -5*g = -d + c - 123. Is (8/1)/(2/g) a multiple of 13?
False
Let v(f) = 14*f**3 + f**2 + 2*f. Let l be v(-1). Let w(y) = y**3 + 15*y**2 - 14*y + 6. Does 12 divide w(l)?
True
Suppose 20*o - 16*o = 3456. Is 18 a factor of o?
True
Suppose 5*v - 2*u = 1442, -2*v - u + 571 = 4*u. Does 36 divide v?
True
Is ((-104)/130)/((-8)/3180) a multiple of 8?
False
Suppose 4*c - 37 = -3*z + 2*z, 5*c + 190 = 4*z. Is z a multiple of 4?
False
Let j = -83 - -107. Let t = j - -49. Is 12 a factor of t?
False
Let x = 7554 + -4419. Is x a multiple of 25?
False
Suppose -2*b = 3*b + 15. Let c be b/(-2*(-4)/16). Is 8 a factor of -1 - (c - (-2 + 5))?
True
Let c = -539 - -981. Is c a multiple of 17?
True
Does 17 divide ((-20)/(-50))/(2/110)?
False
Let x(u) = 45*u - 2. Let v be 8/2*15/12. Suppose 3*c + 2 = v. Does 8 divide x(c)?
False
Let z(r) = -r**3 + 10*r**2 + 1. Let s be z(10). Let h be -67*(-5 + 4) - s. Is (-12)/h - 488/(-22) a multiple of 9?
False
Let j = -604 - -1131. Let z = 283 - j. Let c = -136 - z. Does 19 divide c?
False
Let z(i) be the first derivative of 2*i**3/3 + 4*i**2 + 18*i - 12. Does 15 divide z(-7)?
True
Let w(k) = 2*k**2 + 13*k. Let m be w(4). Does 21 divide (m/30)/((-3)/(-45))?
True
Is ((-1)/(-2))/(-3*3/(-18720)) a multiple of 16?
True
Suppose -3*g = -2*a - 530, 5*a = 7*a - 10. Is 20 a factor of g?
True
Does 4 divide (1407/(-84))/(14/16 + -1)?
False
Suppose 7 = 4*o - 9. Suppose 2*b - 2*m + 6 = 0, 9 = 4*b + o*m - 11. Is b + (-3)/(-3) + 152 a multiple of 31?
False
Suppose -5*g - 2 = -32. Let i = 42 + g. Suppose i = 3*h - 54. Is 17 a factor of h?
True
Let k = 29 - 15. Let p be 60/k - (-14)/(-49). Suppose -p*d + 272 = 4*g, -5*g + 0*d - 4*d = -335. Does 27 divide g?
False
Let c = 2020 - 1935. Does 67 divide c?
False
Let j = 65 - 104. Let k = -23 - j. Is 8 a factor of k?
True
Suppose -20*b + 22*b + 510 = 2*y, -2*b + 498 = 2*y. Is y a multiple of 13?
False
Suppose -4*i - 20 = -0. Let w(m) = -m. Let r be w(i). Suppose r*t - 157 = -7. Does 15 divide t?
True
Suppose 42 = -0*p - 6*p. Let a = 57 + p. Is a a multiple of 22?
False
Let r be ((-11)/(-22))/(2/20). Suppose -y - 56 = -r*y. Is 10 a factor of y?
False
Let b be (-6)/(-4)*2 - 0. Let g be -2 - (22/(-3) - 2/(-6)). Suppose 3*s + b*v - g*v - 81 = 0, 3*v = -5*s + 116. Is s a multiple of 11?
False
Let m = 137 - -367. Does 24 divide m?
True
Suppose 0 = 5*v - 4*h - 3280, 3*h + 1881 + 1399 = 5*v. Is 19 a factor of v?
False
Let f be 74/(-10) - 4/(-10). Let n(p) = p**3 + 8*p**2 + p + 3. Is 9 a factor of n(f)?
True
Let c = 1256 + -896. Suppose -3*m + c = m. Is 28 a factor of m?
False
Let g(y) = y**3 + 18*y**2 - 6*y - 21. Let b be g(-18). Suppose 7*i - 487 - b = 0. Is i a multiple of 8?
False
Let j(o) = o**3 - 8*o**2 - 9*o + 5. Let d be j(9). Suppose -d*l = -l + 4. Is 26 a factor of 4 + -1 - 48/l?
False
Let m be -3 + 3 - 2/(-1). Suppose 4*f + 145 = 5*q + m*f, 0 = 4*q + 5*f - 116. Is q a multiple of 5?
False
Suppose 10*l - 14513 + 1913 = 0. Is l a multiple of 14?
True
Let q(i) = i**3 - 7*i**2 - 16. Let v be q(7). Let s = 34 + v. Does 2 divide s?
True
Let r = -23 - -23. Suppose r = -4*z - z + 4*h + 99, -62 = -3*z + 5*h. Let n = 36 + z. Is n a multiple of 9?
False
Suppose -14006 = -59*r + 6762. Does 16 divide r?
True
Let f be (1 - 4)*(-5)/1. 