= 3*a - g. Is a a multiple of 13?
False
Let h(l) = -l**3 - 7*l**2 - l - 7. Let w be h(-7). Does 18 divide -1 - -54 - (-1 + w)?
True
Let d(w) = -2*w - 14. Let n(j) = j - 4. Let x be n(-6). Is d(x) a multiple of 3?
True
Let h = 12 - 9. Suppose 0 = -h*l + 54 + 42. Is l a multiple of 32?
True
Let c(n) = n**3 + 8*n**2 - 8*n - 8. Suppose 2*k + 20 = -0*k - 2*f, 5*f + 42 = -4*k. Is c(k) a multiple of 15?
False
Let d = -145 - -225. Suppose 0 = 2*s - d + 30. Does 14 divide s?
False
Let b = 10 + -1. Suppose 5*n - 917 = y, 0 = -y + 4*y - b. Suppose -n + 64 = -3*v. Is 20 a factor of v?
True
Let u(k) = 92*k + 4. Is 32 a factor of u(1)?
True
Let q(o) = -o**2 + 17*o - 19. Is q(8) a multiple of 14?
False
Let f(b) = -8*b + 6 + 16*b - 2*b**2 + 4*b**2 - b**2. Is f(-9) a multiple of 9?
False
Let y(n) = -n**2 + 12*n - 11. Let s(l) = 3*l**2 + 2*l + 1. Let p be s(-2). Let f be y(p). Let r = 3 + f. Is r a multiple of 19?
True
Let t(h) = 5 - h**2 - 3 + 3 + h. Let q be t(0). Suppose 3*f + 5*x - 36 = 0, 0*x = 5*f + q*x - 60. Is f a multiple of 6?
True
Let c(p) = 1 + 4*p**2 + 6*p - 5 - 3*p**2 - 2. Does 5 divide c(-8)?
True
Suppose 0 = u - 18 - 127. Is u a multiple of 15?
False
Let u = -6 + 18. Let w be 2/(-18) - (-323)/153. Suppose 3 = -3*v + 3*l, -w*v - 2*l + u = 2. Is v a multiple of 2?
True
Suppose -3*g = -7*g. Is 32 + 2 + 0 + g a multiple of 16?
False
Let t = 1 + -14. Let y = t - -18. Is y a multiple of 2?
False
Suppose 17 + 403 = 6*y. Does 14 divide y?
True
Is (-9)/15 - (-3801)/35 a multiple of 17?
False
Let d(q) = -q**3 - 4*q**2 - 6*q - 5. Is 8 a factor of d(-4)?
False
Let d(f) = 2*f**2 + 2*f - 2. Let a be 4*(1 + -2) - -2. Let b be d(a). Is 18 a factor of 48 + b + (1 - 1)?
False
Let n(m) = -2*m + 16. Does 26 divide n(-18)?
True
Let u = -86 + 24. Let a = -26 - u. Suppose 0 = -3*r + r + a. Does 11 divide r?
False
Suppose 12 = -0*l - 2*l. Is (-108)/(-16) + l/8 a multiple of 6?
True
Suppose -3 + 0 = -s. Suppose -d + 20 = 2*v, -2*d - v + 55 = s*d. Does 4 divide d?
False
Let k(q) = -q**3 + 7*q**2 - q - 6. Let d(u) = -2*u**3 + 8*u**2 - u - 7. Let t(i) = 2*d(i) - 3*k(i). Let v be t(-5). Is 7 a factor of (-81)/(-12) - v/4?
True
Let u be 36/10 + (-6)/(-15). Let f = u - 0. Is 6 a factor of f/(-8) - (-25)/2?
True
Let q = 57 - 34. Let x = q - 0. Does 6 divide x?
False
Suppose 3*m - 102 = -2*c, 4*c - 164 = 5*m - m. Let y = c - 13. Is 5 a factor of y/(-2)*3/(-4)?
False
Let d(m) = -m**3 - 4*m**2 - 2*m - 4. Suppose 0 = -0*a + a + 4. Is 4 a factor of d(a)?
True
Suppose -356 = -4*b + j, 4*j - 336 = -b - 3*b. Does 11 divide b?
True
Suppose 0 = -12*s + 5*s + 938. Is 9 a factor of s?
False
Suppose 3*x + 5*a - 3*a = 17, -2*x = 2*a - 10. Suppose x = 3*j + 1. Suppose 0 = -j*t + 6*w - 2*w + 6, -23 = -5*t + 2*w. Is 2 a factor of t?
False
Let k be 2/3 - (-168)/(-9). Let q = k + 33. Suppose -i - 2 = -q. Is 13 a factor of i?
True
Let y = 202 + -101. Is 17 a factor of y?
False
Suppose -25 = -5*o - 4*n - n, 0 = 5*o - n - 31. Is o a multiple of 6?
True
Suppose -5*z - 1 = j, -2*j + 2 - 4 = -2*z. Let s be 3/(3 + (j - 1)). Suppose -x = -s*l - 16, 3*l = -x - 0*l - 8. Is x even?
True
Let g = 2 + 2. Is 4 a factor of g?
True
Let n = -18 + 24. Is 13 a factor of (-3)/n*(2 - 80)?
True
Is 10 a factor of 84/18*(2 - -7)?
False
Let l be 3/(-3)*(-16)/4. Suppose 0*g = -l*g - 40. Is (-35)/7*28/g a multiple of 7?
True
Let w(u) be the first derivative of -u**3/3 - 2*u**2 - 1. Let l be w(-3). Suppose -d = -2*d + l. Is d a multiple of 2?
False
Let j = -4 - -7. Suppose j*h - 3 = 2*z, 0 = -4*z + 2*h + 12 + 2. Suppose -4*t - z = -26. Does 5 divide t?
True
Let d be 4 - -3 - (3 + -2). Let g be (18/15)/(3/10). Suppose -j + d = -g. Is j a multiple of 5?
True
Let p be (3 + -3 - 3) + -92. Let d = p - -141. Does 23 divide d?
True
Suppose 3*c = 6*c - 15. Let t be 1/4 + 35/20. Suppose -c*y - 3*s = -129, -t*s + 132 = 5*y + 2*s. Is 12 a factor of y?
True
Let p = -1 - -6. Let w = -3 + p. Let y = 4 - w. Is 2 a factor of y?
True
Let a = 1 - 4. Suppose 0*p - 8 = -4*p. Is 8 a factor of a - (-3 - 40/p)?
False
Suppose -2*s + 10 - 2 = 0, -i - 2*s + 12 = 0. Is 9 a factor of (-3)/(i - 1) + 10?
True
Let k = 105 + -56. Is k a multiple of 12?
False
Let b = 11 - 3. Let u(k) = k**2 - 8*k + 3. Let r be u(b). Suppose 33 = 4*d - 3*v - 43, r*d - 2*v = 56. Is 8 a factor of d?
True
Suppose -v = 21 - 225. Suppose -5*k + p + v = 2*p, -45 = -k + 4*p. Is 17 a factor of k?
False
Let w(h) = 23*h**3 + 5*h**2 - 6. Let r(z) = -46*z**3 - 9*z**2 + 11. Let c(n) = 6*r(n) + 11*w(n). Is 7 a factor of c(-1)?
False
Let b(l) = -94*l**3 - 3*l**2 + 2. Does 15 divide b(-1)?
False
Let f = -2 + -1. Let q = f - -8. Suppose 20 = -l + q*l. Is l a multiple of 3?
False
Let j(p) = -7 + 7*p + 3 + 1. Let z be j(-3). Let k = z + 37. Is k a multiple of 13?
True
Suppose -2*k + 6 = k, -k = 4*y + 70. Is 12 a factor of y/8*16/(-3)?
True
Let l(n) = -n**2 + 12*n - 15. Let w be l(10). Suppose 3*q - w*u - 45 = 51, 3*u = -q + 46. Is q a multiple of 9?
False
Suppose -l = 4*s + 28, -3*l + l - 8 = 0. Let m = 11 + -7. Let x = m - s. Does 8 divide x?
False
Let h be -3 + 3 + 28 + 2. Does 7 divide 1 - -2 - h/(-3)?
False
Let l(w) = 3*w**2 - 2. Suppose -3*v - h - 3 = 4, 0 = -4*v - 2*h - 10. Does 10 divide l(v)?
True
Suppose -15 = -3*t + 15. Is 5 a factor of t?
True
Suppose 98 = 5*x - 2*x - 5*z, -122 = -5*x - 2*z. Let m = -13 + x. Does 13 divide m?
True
Suppose 2*b - 8 = 0, t + 5*b - 126 = b. Does 11 divide t?
True
Suppose 59 = -3*s + 302. Let u = s - 1. Does 20 divide u?
True
Let x(r) = 3*r + r - 3*r - r**3 - 2*r**2 - 4. Does 2 divide x(-3)?
True
Let h = -43 - -112. Is 23 a factor of h?
True
Is (-6)/4*462/(-9) a multiple of 16?
False
Let l(b) = 2*b**2 + 8*b - 3. Let v be l(-6). Is v/(-2)*2*-1 a multiple of 21?
True
Let x = 188 - 86. Is 6 a factor of x?
True
Suppose -4*o = 2*y + 18, 5*y + 2*o = y - 12. Let g = y - -1. Suppose g = -f + 34 + 6. Does 20 divide f?
True
Let k = 11 - 15. Let u = -7 - k. Does 11 divide -31*((4 - 2) + u)?
False
Suppose -2*g + u + 2*u + 65 = 0, 0 = u - 5. Does 8 divide g?
True
Suppose 9*i = 4*i. Suppose i = -3*y - 0*y + 6. Suppose -o + 5*d = -20, y*o + 4*d = 57 - 3. Is o a multiple of 13?
False
Let f(n) = 2*n**2 - 19*n - 18. Is 18 a factor of f(14)?
True
Suppose 0 = 5*k - 2*r - 316, 0*k + 3*r = 5*k - 319. Is k a multiple of 29?
False
Let s(i) = i**2 + i - 2. Let q be s(6). Suppose -3*c - q = 32. Let g = c - -58. Is 15 a factor of g?
False
Suppose -v - 3 = -2*h, 3*v = 2*h - 4*h - 1. Is 26 a factor of 8*(v + 42/8)?
False
Suppose -4*o + 76 = s, -4*s + 1 + 15 = 0. Suppose -5*q = -2*q - o. Suppose 20 = -5*t, -5*x - 2*t = -4*x - q. Does 7 divide x?
True
Is (-8)/(9/(-8) - -1) a multiple of 16?
True
Let s = 35 - -12. Is s a multiple of 13?
False
Let t(v) = -3*v**3 - 3*v**2 - 6*v - 6. Does 11 divide t(-3)?
True
Suppose 3*o - o = 506. Does 21 divide o?
False
Let p be 0 - (-8 + (4 - 1)). Suppose -4*v = -2*u + 16, u - p*u + 60 = -v. Is 8 a factor of u?
True
Let t = -7 + 33. Does 13 divide t?
True
Let c = 17 + -10. Suppose o + c = -6. Let k = o + 21. Is k a multiple of 8?
True
Let i(p) = -p**2 - 13*p - 14. Is i(-11) a multiple of 8?
True
Let m(n) = 7*n**2 - 4*n + 8. Is m(2) a multiple of 7?
True
Suppose j = 2*j + 4*l - 14, -3*j + 2*l + 14 = 0. Suppose -2*u + 4*u - j = 0. Suppose 47 - 11 = u*o. Is o a multiple of 12?
True
Let u be 1*(15 - 2) + 3. Let v = -7 + u. Is v a multiple of 2?
False
Let n(h) = h + 5. Let p be n(-5). Let w(q) = -q**3 - 5*q**2 + 6*q + 8. Let v be w(-6). Let z = v + p. Does 8 divide z?
True
Let v = -8 - -8. Suppose v = -t + 2*t - 26. Is 20 a factor of t?
False
Let a = 66 + 39. Suppose 0 = -4*k - 3*l + a, -3*k - 3*l = -k - 45. Does 21 divide k?
False
Let m(b) be the third derivative of -b**5/60 - 5*b**4/24 + b**3/6 + b**2. Is 3 a factor of m(-3)?
False
Let s = 357 + -181. Suppose -5*p = -3*o - 12, -5*p = -2*p + o - 10. Suppose 0 = -h - p*h + s. Is 22 a factor of h?
True
Suppose -2*o + 1 = -3. Let l = o - 1. Is (11/l + 0)*1 a multiple of 4?
False
Let v be ((-417)/15 - 1)*-5. Suppose -3*s - s = -v. Is 18 a factor of s?
True
Let v(j) = -2 + 3 + 5*j**2 - 4*j**2 + 2*j. Is 9 a factor of v(2)?
True
Let n(o) = 3*o - 8. Suppose 2*r - 3*r + 6 = 0. Is 4 a factor of n(r)?
False
Let c = 8 + -6. Let s be ((-6)/18)/(c/(-18)). Is (s - 27/(-6))*6 a multiple of 21?
False
Let h be -18*(0