4 - -5)/((-1)/j)?
True
Let t(q) = -7 + q - 2*q + 6 + 5. Let s be t(8). Let g = s - -6. Is g a multiple of 2?
True
Let n = 36 + -30. Let b = n - -7. Does 13 divide b?
True
Suppose -4*f - f = -20. Let w be (10/(-8))/(1/(-4)). Suppose -2*g - 41 = -5*y + 21, f*g = -w*y + 56. Is 12 a factor of y?
True
Let g be (-19)/(-1) - (14 + -11). Suppose g = 8*p - 7*p. Does 16 divide p?
True
Suppose -2*x + 13 = 3*h - 0, x - 2 = 3*h. Suppose -4*c - x*c = -2142. Is 34 a factor of c?
True
Let k(y) = y**3 + 4*y**2 + 2*y + 2. Let g be k(-3). Suppose g*l + 516 = 9*l. Suppose 2*j - 4*h - 111 = -5*h, 5*h = 2*j - l. Does 19 divide j?
True
Let z(c) = 3*c**2 + 4*c. Let s = 24 - 28. Does 16 divide z(s)?
True
Let h(m) = 5*m**2 - 9*m - 5. Let o be h(5). Suppose -o = -2*j + 253. Let d = j + -98. Does 22 divide d?
True
Let g(w) = 3*w**2 - 8*w + 3. Let v be g(8). Suppose -10*p + 11*p - v = 0. Is 21 a factor of p?
False
Let l(n) = 275*n**2 - 19*n + 69. Is 21 a factor of l(3)?
False
Let l = -34 + 8. Let a = l + 367. Does 31 divide a?
True
Let u = -138 - -120. Is 15 a factor of (-192)/u*(-90)/(-8)?
True
Suppose -4*p + 2*h - 2 = 0, -9*h - 1 = -10*h. Suppose p = 4*f - 249 - 159. Is f a multiple of 16?
False
Suppose 3*o - 328 = 4*j, 22*j - 3*o = 20*j - 164. Let m(l) = -5*l**2 + 4*l + 8. Let v be m(6). Let h = j - v. Is 22 a factor of h?
True
Does 7 divide ((-780)/(-8))/3*2?
False
Suppose -14 = -3*v + 7. Let g(s) = s**3 - 7*s**2 + s - 2. Does 5 divide g(v)?
True
Suppose 3*k - 2*m = 1508, -2044 = -4*k - 4*m - 0*m. Is k a multiple of 22?
True
Suppose g - 5 = 0, 4*h - 532 = 3*h - 2*g. Is 20 a factor of h?
False
Suppose 7*w - 5*w - 6 = 0. Suppose 3 = w*t - 3. Is 12 a factor of -2*(-1 - 21/t)?
False
Let a(f) be the first derivative of -2*f**2 + 16*f + 8. Is a(-11) a multiple of 20?
True
Suppose -3*r - 5 = -2*i - 16, -4*r = -i - 8. Let o be i/10 + 153/45. Let k(v) = v**2 + 4. Is 3 a factor of k(o)?
False
Let g = 7 - 2. Suppose -3*b + b - 20 = -g*l, -5*l - 5*b = -20. Is l + 25 + (5 - 2) a multiple of 16?
True
Let d = 29 + -6. Suppose 2*q - d = 3*p, -3*p = -4*q + 28 + 3. Let c(x) = -x**2 - 8*x - 4. Is 3 a factor of c(p)?
False
Let i be ((-8)/5*-1)/(10/75). Suppose i*q - 4*q = 1128. Is 39 a factor of q?
False
Let u(a) = 4*a**2 + 2*a - 1. Let t be ((-4)/12)/(1/3). Let i = 3 + t. Is 19 a factor of u(i)?
True
Let u(v) be the first derivative of -23*v**2/2 + 2*v - 21. Suppose p = -p - 5*r - 24, -r + 6 = -5*p. Is u(p) a multiple of 24?
True
Suppose w - 31 + 23 = 0. Suppose 3*z - 5*q - 236 = 0, -4*z + 3*q + 303 = w*q. Does 27 divide z?
False
Let t(q) = 23*q**3 - 2*q**2 - q + 1. Suppose 4*a = 12*a - 16. Does 35 divide t(a)?
True
Is 4/(-14) + (23760/(-77))/(-2) a multiple of 14?
True
Suppose -43 - 13 = 2*o + 3*b, -5*o - 163 = -4*b. Let z = -40 - o. Let c(s) = -4*s - 4. Is c(z) a multiple of 16?
True
Let r = 7 + -2. Suppose -4*c - b + 6 = -3*c, r*c - 3*b = 62. Is c even?
True
Suppose -2*t - 48 = 2*f, -3*f - t - 60 = 2. Let k = -6 - f. Does 13 divide k?
True
Let n(v) = v + 41. Let u be n(-18). Does 7 divide 0/1 - (14 - u)?
False
Let u = -2421 + 5214. Does 19 divide u?
True
Let f = -14 - -34. Is 10 a factor of f?
True
Let t(g) = 3*g + 11. Let v(w) = w**2 + 6*w + 5. Let s be v(-6). Does 11 divide t(s)?
False
Let i(n) = 3*n**2 + 15*n - 20. Is i(-8) a multiple of 13?
True
Suppose 335 = -5*y - 7*l + 2*l, -4*y - 272 = 2*l. Let a = -49 - y. Does 9 divide a?
False
Let a be -10*(96/(-15) + 1). Suppose 0 = 3*l - 2*l - a. Is 6 a factor of l?
True
Suppose 3*r = -2*r - 10, -5*r = 4*c - 8898. Is 36 a factor of c?
False
Let k(i) = -i**3 - 9*i**2 - 18*i + 11. Let b be k(-8). Let o = 156 - b. Is 13 a factor of o?
True
Suppose 2*w = 4*p + 46 + 94, 2*w = -5*p + 131. Is w a multiple of 9?
False
Let m = 43 - 28. Let y(p) = -9*p**3 - p**2 + p - 1. Let q be y(3). Is q/m*(-36)/10 a multiple of 20?
True
Let p be -2 - (8/(-16) + 42/(-4)). Suppose d = 66 - p. Does 13 divide d?
False
Suppose 2*g - 2*k = 970, 4*g - 1922 = -3*k - 2*k. Is g a multiple of 22?
False
Let g = 657 - 19. Does 11 divide g?
True
Does 23 divide 75860/50 + 4/5?
True
Suppose 14 = -8*l - 26. Is 60 - (l - 0) - 0 a multiple of 5?
True
Let g be 10/(-45) - (-184)/18. Let o(u) = 9*u + 12. Let x be o(g). Let s = x - 49. Does 18 divide s?
False
Suppose 2*m = -k + 3 - 0, 4*k - 5*m - 38 = 0. Suppose -k*g = -881 - 344. Does 25 divide g?
True
Let v(h) be the first derivative of -7 - 1/4*h**4 + 12*h + 3/2*h**2 + 4*h**3. Does 12 divide v(12)?
True
Suppose 13*f - 2459 = 479. Is f a multiple of 23?
False
Let x = -3 - -28. Suppose -x = -m - 1. Is m a multiple of 3?
True
Suppose -3*b - 24 = 3*t, 5*b = t + 1 + 1. Let f(j) = 2*j + 35. Is f(t) a multiple of 3?
True
Suppose -8 = -2*r, -5*p - 3*r - 2*r = -40. Suppose p - 8 = x. Is 3 a factor of (2 + -2)/x - -14?
False
Suppose 12*h - 24 = 8*h. Let f = 15 - 3. Is 2 a factor of ((-38)/h)/((-4)/f)?
False
Let j(b) = b**3 - 52*b**2 + b + 90. Is 41 a factor of j(53)?
True
Let p be (-1 + (-6)/(-18))*9/(-2). Suppose 87 = 2*l + p. Is 3 a factor of l?
True
Let u = -59 - -223. Is 32 a factor of u?
False
Let c(y) be the third derivative of y**4/3 - 5*y**3/6 - 12*y**2. Suppose 4*r + 2*g - 14 = 0, -r + 6*r + 3*g - 17 = 0. Does 6 divide c(r)?
False
Let z = -14 - -16. Let v(y) = 0*y + 4*y + 22 + z*y - 7*y. Is 12 a factor of v(-17)?
False
Is 28 a factor of (-83)/(-1) + 2/((-6)/15)?
False
Let m = 42 - -60. Let i = 168 - m. Suppose -4*z - i = -5*z. Is z a multiple of 14?
False
Let q(x) = 28*x**3 - 3*x**2 - 8*x. Is 42 a factor of q(3)?
False
Let g = 804 - 424. Is g a multiple of 20?
True
Suppose -14*r - 3969 = -21*r. Is 9 a factor of r?
True
Suppose 5*u - 10734 = a, -5*u - 4*a = -9*a - 10750. Does 32 divide u?
False
Let v(y) = -y + 21. Suppose -15 = -3*z - 4*q + 44, -3*z + 47 = -2*q. Let o be v(z). Does 19 divide 56 + (7 - o - 4)?
False
Let z(p) = 7 - 7 - 16*p - 16 - 6 + p**2. Is z(19) a multiple of 9?
False
Is 10 a factor of (-12 - -7) + (43 - 0)?
False
Suppose 455 = 7*y + 35. Does 6 divide (y/14)/(4/84)?
True
Let r(k) = -k**2 - 7*k - 10. Let m be r(-4). Suppose m*p + p = 570. Does 13 divide 1/3 + p/15?
True
Suppose -2*x = n - 9 - 14, -2*n = -2*x + 8. Suppose -16*b = -11*b - 780. Suppose -b = 5*v - x*v. Is v a multiple of 13?
True
Let o be 63/(-5) - (-20)/(-50). Let f(y) = -44*y**2 - 13*y - 15. Let i(v) = -22*v**2 - 6*v - 7. Let p(r) = o*i(r) + 6*f(r). Is 23 a factor of p(-1)?
True
Is -4 + 10 + (732 - 1) a multiple of 19?
False
Suppose -25 = -6*r + r. Is 4/(-5*r/(-200)) a multiple of 8?
True
Let n be 2/4 - (-2)/4. Let b be n/(-2) + 1915/10. Suppose -5*l - 5*p + b = -l, 135 = 3*l + p. Is 15 a factor of l?
False
Suppose 4 = 3*y - y. Suppose 5*u = 3*i - 298, -y*u - 98 = -2*i + i. Does 23 divide i?
False
Let k be 1 + -7 + 7 + -4. Let a be -4 - (1/1 + 3). Is 8 a factor of k*8*6/a?
False
Let n(d) = 69*d**3 + 4*d**2 - 21*d + 36. Does 16 divide n(3)?
True
Suppose j - 4*j + 2*a + 1058 = 0, 699 = 2*j + 5*a. Suppose -z - 4 = z, -4*z = 2*g - j. Suppose -2*l - 2*l + g = 0. Does 15 divide l?
True
Suppose s + 1 + 0 = 0. Let x be (-6)/24 + 42/8. Does 3 divide (-3 + 1)/(s/x)?
False
Let j(i) = i**3 + 19*i**2 + 7*i - 3. Is j(-15) a multiple of 33?
True
Let h(p) = -72*p - 30. Is 39 a factor of h(-8)?
True
Let n = 4401 + -2338. Is n a multiple of 52?
False
Let s(w) = 28*w - 242. Is s(39) a multiple of 34?
True
Let b = 2829 - 1929. Is 36 a factor of b?
True
Suppose 0 = -4*g + 4*x - 8, -4*g + 20 = 3*x - 0*x. Suppose -g*v = -5*o + 180, -4*o + 36 = -3*o - 4*v. Let z = 79 - o. Is z a multiple of 9?
False
Suppose 0*g - 112 = -3*q + g, 5*g - 16 = -q. Suppose u - q = 2*u. Is 13 a factor of (0 - 4)*351/u?
True
Suppose -3*o = 4*c - 4*o - 5112, 3*o - 5112 = -4*c. Does 71 divide c?
True
Let u be (-3)/9*1*-42. Suppose 0 = u*y - 13*y - 20. Is 5 a factor of y?
True
Suppose -772 = -3*p - 4*b, -3*b - 7 = -1. Is p a multiple of 13?
True
Suppose -10 = -4*o + 2*k, 3*o - 6*k - 7 = -5*k. Suppose 4*q - 64 = -q - 4*x, o*q - 4*x - 20 = 0. Is 12 a factor of q?
True
Let u = -15 - -32. Suppose 0 = 2*k - 303 - u. Is k a multiple of 16?
True
Let c = -24 + 34. Suppose 41 + c = m. Suppose 3*l = 5*w - m, 5*w - 3*l = 2*l + 55. Is w a multiple of 2?
False
Let h = -19 - -11. Let b be h/(-3) - 2/3. Suppose 0 = -b*p + 70 + 8. Is 12 a factor of p?
False
Let r(y) = -498*y + 6. Let q be r(-1). Let v = -351 +