 -19*u - 8134. Is 12 a factor of u?
True
Let j = 4843 - 3024. Is j a multiple of 75?
False
Does 40 divide (-3)/8 + 17721/88 + -1?
True
Let i = -48 - -226. Does 8 divide i?
False
Let r be ((-3 - -7) + -3)*-1. Let s = -8 + r. Let y = s + 16. Is 7 a factor of y?
True
Suppose 22*i - 4361 = -27*i. Does 22 divide i?
False
Let p(n) = -4*n**3 - 2*n**2 - 2*n - 1. Let j be p(-1). Suppose -3 = j*k - 0. Does 25 divide (k - (0 + -51))*1?
True
Suppose 0 = 5*m - 3*h - 385, 0 = -3*m - 2*h + 4*h + 230. Suppose -m*x = -76*x - 428. Is 16 a factor of x?
False
Let a = -28 - -31. Suppose 2 = a*d + 5. Does 13 divide d + 8*22/4?
False
Suppose -21*i + 1056 = -9*i. Is i a multiple of 44?
True
Let n(a) = -a - 6. Suppose 0 = 4*m + 4*f + 4, -m - 38 = 2*m - 4*f. Let u be n(m). Suppose 4*q + 11 + 5 = 0, -g - 5*q + 55 = u. Is g a multiple of 25?
True
Suppose 4*y - 2 = 5*p, 3*p - 6*p + 5*y = 9. Suppose 0 = p*w - 0*i - 3*i - 20, -4*i = -16. Is w a multiple of 5?
False
Let k = -2 - -12. Suppose 6*j = k + 2. Suppose j*m + m = -4*t + 140, 3*t - 95 = -2*m. Does 8 divide m?
True
Let w(g) = -g**3 + 11*g**2 + 14*g - 45. Is 15 a factor of w(10)?
True
Let s(r) = 3*r**2 + 6*r + 49. Is 14 a factor of s(-9)?
True
Suppose 0*i + 7*i - 14 = 0. Suppose -4 - 18 = -i*d. Does 11 divide d?
True
Suppose 10*z + 396 = 14*z. Let b be (588/16)/((-2)/(-8)). Let h = b - z. Does 8 divide h?
True
Let p = -195 - -403. Suppose 0 = 3*y + 4*k - 166, -2*k + 0*k = 4*y - p. Let m = y - -8. Does 16 divide m?
False
Let q(z) = 6*z**3 + 3*z**2 - 10*z + 2. Let y(i) = -6*i - 9. Let w be y(-2). Does 23 divide q(w)?
True
Suppose -2*h - 9*h = 715. Let n = h - -123. Is n a multiple of 29?
True
Let x = -15 - -11. Let u be (15/x)/(3/(-12)). Let t = u + -12. Does 3 divide t?
True
Suppose -154 - 245 = -3*h. Does 20 divide h?
False
Suppose 2*v = -2*v + 12. Suppose 4*k + 3*o - 53 = 0, -v*k - 5*o + 47 = 10. Is k a multiple of 14?
True
Let o = -125 + 146. Is 3 a factor of o?
True
Let c = -768 + 899. Does 2 divide c?
False
Suppose 3*j - 24 = -4*q - 0*j, -20 = -4*q - 2*j. Let f = 3 - 1. Suppose 3*b = q*h - 33 - 45, 2*h - 48 = -f*b. Is 11 a factor of h?
False
Suppose 5*t - t + 2*g - 64 = 0, 16 = t - 4*g. Is t a multiple of 6?
False
Let y = -9 - -12. Suppose -24 = -3*l - y*k, 2*l - 3 = -k + 8. Suppose 5*n = -0 + 5, -l*h - 5*n = -23. Is h even?
True
Let f(g) = 9*g - 19. Suppose 0 = -8*n + 4*n + 24. Let z(l) = 2*l - 5. Let c(v) = n*f(v) - 26*z(v). Is 16 a factor of c(0)?
True
Let j = 173 - -43. Does 6 divide j?
True
Let u(j) be the second derivative of -3*j**5/10 - j**3/6 - j**2/2 - 9*j. Does 7 divide u(-2)?
True
Let u be 42/(-5)*(0 + -5). Suppose -r + 3*b = 2*r - u, -4 = b. Does 5 divide r?
True
Suppose 2*x + 2*h + 25 - 165 = 0, 2*h - 338 = -5*x. Does 6 divide x?
True
Let o(b) = -b + 359. Is o(-33) a multiple of 28?
True
Let j be 3 + (2 - 1) + 0. Does 10 divide 3706/187 + j/22?
True
Let q(l) = -19*l**3 - l**2 + 7*l + 9. Let n be q(-2). Let f = 1 + n. Is 8 a factor of f?
True
Let q be (-3*1 + 1)/((-8)/116). Let x = q - -83. Is 28 a factor of x?
True
Let x = -37 - -26. Let j be 5*1 + 10 + x. Suppose 8*l - j*l - 96 = 0. Is l a multiple of 12?
True
Suppose 2*r + 14 = 18. Suppose 0 = -r*u + 3*u + 2*t - 106, 0 = 3*t + 9. Suppose -3*l + u = l. Does 14 divide l?
True
Let j(k) = -k**3 - 7*k**2 - 7*k - 1. Let b be j(-6). Suppose 3*t + 2*r + 40 = 0, t - 5*r - 6 = 9. Is 6 a factor of 2/t - (-56)/b?
False
Let a be 43*(3*-1)/3. Suppose 5*r - 960 = -10*r. Let v = a + r. Does 14 divide v?
False
Let k be (6/(-1))/(12/(-32)). Let h(q) = 7*q - 7. Does 35 divide h(k)?
True
Suppose 1068 = 5*f + 4*x, 0 = 2*f + f - 2*x - 654. Does 27 divide f?
True
Let p be 1/(-3)*(1 + -1). Suppose -53 = -3*s + 82. Suppose p*g + 49 = 4*m + g, -5*m + 2*g + s = 0. Is m a multiple of 5?
False
Let u(v) = 658*v + 285. Is u(3) a multiple of 31?
False
Suppose 2609 = 16*u - 399. Is 19 a factor of 0 - (-3 + (1 - u))?
True
Let a be (-26)/3 - 4/(-6). Suppose 7*c + 11 = 6*c. Let l = a - c. Is l a multiple of 2?
False
Suppose -4*w - 5*c + 1132 = 0, 27*w + 3*c - 290 = 26*w. Is w a multiple of 16?
False
Suppose -5*s + 3*a + 85 = 0, 0 = 3*s - 2*s + a - 25. Let k = -13 + s. Is 7 a factor of (-2)/k + (-792)/(-28)?
True
Let u = 43 + -14. Let f = -26 + u. Suppose 2*w = -0*w + f*d + 43, -3*d + 41 = 4*w. Does 5 divide w?
False
Let i(u) = u + 5*u**2 - 8*u**2 + u**3 - 6*u**2 - 7. Let b be i(9). Is b - (-20 - (-1 + -3)) a multiple of 9?
True
Suppose 0 = -s + 141 + 197. Let x = s - 235. Suppose 0 = 4*b + 39 - x. Does 3 divide b?
False
Let n = 26 - 26. Suppose h + 3*l - 17 = 0, 2*h + n*h - 18 = -2*l. Is h a multiple of 2?
False
Suppose -1976 = 19*y - 38*y. Is y a multiple of 13?
True
Suppose 5*f - 327 = -37. Is 3 a factor of f?
False
Is (-502 - 1)*(18/(-2) + 8) a multiple of 13?
False
Let w be 1/(35/18 + -2). Let q = 248 + -223. Let f = q + w. Is f even?
False
Does 18 divide 38 + (-2)/(-3 + 4)?
True
Let b(w) = w**3 + 13*w**2 - 14*w - 4. Let s be b(-14). Let i be 6 + 4*2/s. Suppose -d + 44 = i*q, -5*q - 3*d + 21 = -27. Does 12 divide q?
True
Suppose 514 = -2*t - 5*u + 5, 0 = -5*t + 3*u - 1288. Let o = 386 + t. Does 19 divide o?
False
Let a(u) = 7 - 2 + 0*u + 5*u - 4*u. Let z be a(-4). Suppose -2*f = z - 63. Does 11 divide f?
False
Let j = 77 - 50. Suppose j + 3 = 5*p. Suppose 5*b = -5, -3*y - 50 = -p*y + 5*b. Is 4 a factor of y?
False
Let d = 9 - -9. Suppose 3*k - 30 - d = 0. Let t = k - -12. Does 7 divide t?
True
Let k(p) = 197*p + 21. Is k(5) a multiple of 45?
False
Let v(m) = 42*m - 7. Let z be v(-3). Let d = 201 + z. Is 15 a factor of d?
False
Let q(a) = a**2 + 7*a. Let k be q(-7). Suppose -3*s + 43 + 113 = k. Is 4 a factor of s/(-6)*45/(-30)?
False
Let b = 257 - 139. Suppose -11*a + 690 = 4*a. Let j = b - a. Is 36 a factor of j?
True
Is 16 a factor of (42/35 + 2)*210?
True
Suppose 2808 = 9*l - 4374. Is 45 a factor of l?
False
Suppose d = -3*d + 656. Let w = d - 233. Let c = -39 - w. Is 6 a factor of c?
True
Suppose -s - 1 = 6. Let c = 39 + s. Suppose -12*a + c = -10*a. Is 8 a factor of a?
True
Let h be 2 - -4 - 2 - -3. Let b = h + -3. Suppose 7*q - 30 = b*q. Is 5 a factor of q?
True
Let x(w) = 14*w**3 - 4*w**2 - w + 1. Is x(1) a multiple of 7?
False
Suppose -749*u = -752*u + 3696. Is 16 a factor of u?
True
Let j(u) = -22*u**3 - 13*u + 11. Let s(q) = 1 - q - 6*q - 11*q**3 + 5. Let d(m) = 6*j(m) - 11*s(m). Is d(-1) a multiple of 12?
True
Let q be 2 - (7 - (-2 - -2)). Let y = -1 - q. Suppose 0 = -y*c - 4 + 36. Is 5 a factor of c?
False
Suppose -2*n + g = -21, g + 5 = n - 8. Does 8 divide n?
True
Let f(x) = 6*x - 4. Let z be f(1). Let r be -3 + (z - -9) + 0. Suppose -r*k + 252 = -308. Is 18 a factor of k?
False
Let c be 1 + 0 + 0 - -1 - -6. Does 12 divide (2 + -7)*-9*c/2?
True
Suppose 0 = 5*n - 3*g + g - 33, 2*g = -5*n + 37. Let u(k) = k - 6 - k**2 + k + n*k. Does 7 divide u(5)?
True
Let o be (-16)/(-12)*(-9)/(-6). Suppose 0 = 5*b - 237 + o. Is 18 a factor of b?
False
Suppose -4*x + 1 = -5*o - 1, 3*x - 11 = -o. Suppose x + 1 = 2*p. Suppose -28 = -2*b - p*b. Is 7 a factor of b?
True
Let f(o) be the first derivative of o**4/4 + 3*o**3 - 16*o + 149. Let h be (-108)/14 - (-4)/(-14). Is f(h) a multiple of 12?
True
Let h = 1262 - 695. Is h a multiple of 4?
False
Let s(d) = d**3 + 9*d**2 - 15*d - 11. Let y be s(-10). Does 26 divide 143/y*(1 + -7)*-8?
False
Let t(z) = 7*z + 380. Is 73 a factor of t(17)?
False
Let d(a) = -125*a**2 + 2 + 192*a**2 - 3. Does 6 divide d(-1)?
True
Let t be (-7)/3 - 4/6. Let g(x) = -x**2 - 2*x + 7. Let n be g(t). Suppose 8 + 55 = 3*j + 5*o, 3*j + n*o - 63 = 0. Is j a multiple of 8?
False
Suppose 8*j = 373 + 171. Is 17 a factor of j?
True
Let x(q) = 8 - 24 + 87*q - 77*q + q**2. Does 8 divide x(-12)?
True
Let w(h) = h**2 - 2*h. Let r(i) = -3*i - 10. Let t(b) = -b + 3. Let d be t(9). Let s be r(d). Does 24 divide w(s)?
True
Let r be 4/(-6)*(-30)/4. Suppose r*z + 6 = 16. Suppose -z*w + 4*w = 90. Does 22 divide w?
False
Is 10 a factor of 710/((9 - 6) + 2*-1)?
True
Suppose 11 = 5*w - 14. Let p be w/(-25) - 63/(-15). Is 100 + 0 - p/1 a multiple of 32?
True
Suppose -4*l = -2*n - 88, 0*n - n - 3*l - 69 = 0. Does 44 divide (-277)/(-6) + (99/n)/11?
False
Suppose 0 = 2*b + 2 - 6. Let y(h) = 9*h**2 + h + 20*h**b - 1 + 0*h + 4*h**2. Does 22 divide y(1)?
False
Suppose 3*z = -v - 3*v + 26, -4