= a - 53. Is d a multiple of 12?
True
Let g(z) = -4*z**2 + 5*z - 1. Let a be g(4). Does 14 divide 0 - (-2 + 5) - a?
True
Let x(u) = -u**2 + 16*u - 14. Is x(14) a multiple of 8?
False
Suppose -u + 2 = -0*u. Suppose u*g - 6 + 106 = 0. Is 25 a factor of (g/3)/((-5)/15)?
True
Let p(c) = -5*c**3 + 7*c**2 - 17*c. Let x(w) = -2*w**3 + 3*w**2 - 8*w. Let d(b) = 6*p(b) - 13*x(b). Let j be d(-3). Suppose -k - j = -4*k. Does 11 divide k?
False
Let y = 37 - 32. Is y a multiple of 5?
True
Let n = 1 + 1. Suppose n*k = -d + 13, d = 3*d - 6. Let g(s) = 2*s**2 - s + 2. Is 12 a factor of g(k)?
False
Suppose 0*n + 3*n + 16 = -4*s, -4*n + 8 = -2*s. Let b(m) = m**3 + m + 3. Let i be b(0). Suppose 3*g = -u + g + 7, n = -i*u + 3*g + 3. Is u a multiple of 2?
False
Let n(v) = v - 3*v + 3*v**2 - v. Let s be n(3). Let b = 42 - s. Is b a multiple of 12?
True
Suppose -20 = -c + 26. Does 12 divide c?
False
Let g(h) = -h + 16. Does 2 divide g(4)?
True
Let p(n) = -n**3 - 7*n**2 + 5. Let j be p(-7). Suppose 0 = 2*s - 6, 0*s = -j*i - 2*s + 141. Does 12 divide i?
False
Suppose -4*p + 2 = -6. Suppose p*z + 3 = 1. Is 7 a factor of (-2 - 13)*z - 1?
True
Suppose -3*x - 2 + 20 = 0. Is 4 a factor of x?
False
Suppose -30 = -2*a + 26. Let z(d) = d**3 - 6*d**2 - 3*d + 2. Let j be z(6). Let m = j + a. Does 11 divide m?
False
Let o(v) = 7*v**2 + 6*v + 6. Is 8 a factor of o(-3)?
False
Is 8 a factor of 26/65 - (-236)/10?
True
Let p(j) = j**3 - 2*j**2 - 2*j - 1. Let v be p(-2). Let r = v - -66. Is r a multiple of 18?
False
Let a(w) = -8*w**2 - 3*w + 4. Let u be a(5). Let h = 317 + u. Suppose -3*j + 51 + h = 5*y, j - 3*y - 29 = 0. Does 16 divide j?
False
Does 9 divide 282/4 - (-2)/(-4)?
False
Let p(j) be the third derivative of -j**7/840 + j**6/120 + j**5/60 - j**4/12 - j**3/3 + 3*j**2. Let f(l) be the first derivative of p(l). Does 7 divide f(-2)?
True
Let s(q) = -2*q - 31. Does 11 divide s(-21)?
True
Let b be (-22)/(-5) - (-10)/(-25). Suppose -m - 42 = -b*m. Does 11 divide m?
False
Is 2*(-3 + 4)*5 a multiple of 10?
True
Suppose 2*g = 27 - 19. Does 19 divide 20 - 2*g/8?
True
Let m = 217 - 7. Is m a multiple of 30?
True
Let w = -3 - -6. Suppose 3 = 3*q - w. Suppose -5*n - 18 = -q*r, 0 = -r + 6*r + n - 72. Is r a multiple of 10?
False
Let a(j) = j**2 + 3*j + 11. Let o be a(-9). Let w be (228/(-9))/((-1)/15). Is w/o + (-2)/(-13) a multiple of 3?
True
Suppose 4*o = 6*o. Suppose o*s = -5*s + 120. Is 12 a factor of s?
True
Suppose 3*n = 4*n - 2. Suppose 4*g = n*g + 112. Is g a multiple of 14?
True
Does 19 divide 4/(-3) + 35/(-15)*-43?
False
Suppose -5*d + 2*h - 15 = -182, h = 4*d - 136. Let r = -21 + d. Does 6 divide r?
False
Let u(d) = -d**3 + 9*d**2 - d. Let m be u(9). Let j = m + 19. Is 3 a factor of j?
False
Let h = 140 - -1. Does 25 divide h?
False
Suppose 4*m - m + 3*f - 48 = 0, 2*m - 4*f - 32 = 0. Suppose 4*z + r + r - m = 0, 4*z - r = 22. Suppose 0 = z*n + 1 - 21. Is n even?
True
Let j(a) = 6*a + 31. Is j(0) a multiple of 9?
False
Let s be 1/(2 + 42/(-22)). Suppose 33 = -8*b + s*b. Does 9 divide b?
False
Let d(h) be the third derivative of -h**4/24 + 2*h**3/3 + 3*h**2. Let g be d(0). Is 6/g*(21 - 1) a multiple of 14?
False
Suppose 0*c - 12*c + 312 = 0. Is c a multiple of 3?
False
Let g(o) = o**3 + 4*o**2 - 6*o + 1. Let b be g(-6). Is 8 a factor of b*1*(-3)/5?
False
Suppose -2*o - 3 = -5*f + 11, -3*o - 3*f - 63 = 0. Let u = 26 + o. Is 6 a factor of u?
False
Suppose 2*m - 30 = l - m, -3*l - 42 = 3*m. Is 15 a factor of 3 - (3 + 3) - l?
True
Let o be 1 - (-3 + 0 - -1). Suppose -5*y + 28 = -o*y. Suppose 0 = -4*q - y + 118. Is 13 a factor of q?
True
Let j = 5 + -5. Suppose -v + 0*v + 2 = j. Is (-2 + -53)*(-2)/v a multiple of 14?
False
Suppose 4*c - 32 = -w, w - 3*w = -2*c - 14. Is 14 a factor of w - (-3 + 2 + -1)?
True
Suppose 0 = -3*o - 192 + 558. Is 24 a factor of o?
False
Suppose 5*t + 3*o - 78 = 0, -6*o = 4*t - 2*o - 56. Let u = t - 12. Suppose 3*k = f, k = -4*f + 5*f - u. Is f a multiple of 9?
True
Does 13 divide (8 - 2)*(-20)/(-4)?
False
Is 3 a factor of -4*9*(-36)/48?
True
Let d(h) = -19*h - 9. Does 8 divide d(-3)?
True
Suppose o - 5*o + 38 = 2*z, -4*o + 20 = -4*z. Let y = 4 - o. Is 10 a factor of 13 - (-1 + y/(-2))?
False
Suppose -4*y + 80 = -80. Does 26 divide y?
False
Let o be 4 + (-3)/(0 + 3). Suppose -o*y = -y - 36. Is 9 a factor of y?
True
Let d = -11 - -18. Suppose 0 = d*r - 2*r + 5*a - 35, -r + 4*a = -22. Is r a multiple of 5?
True
Suppose 0 = 3*y - 5*y + 4. Suppose -s = 5*v - 10, 0*v + 3*v - y*s = 6. Is v even?
True
Let l(k) = -k**3 + 10*k**2 + 9*k + 8. Is l(10) a multiple of 13?
False
Let v(z) = 30*z + 8. Is 40 a factor of v(7)?
False
Let n(h) = 4*h - 3. Let d be n(2). Suppose 6*x = 4*v + x + 5, 5*v - 4*x - d = 0. Suppose -2*j - v*y = -4*y - 20, j = 2*y + 5. Is j a multiple of 3?
True
Suppose 6*d - 159 = 3*d. Is 17 a factor of d?
False
Suppose -3*r + 4 = -w + 1, -2*w - 1 = -r. Let s(f) = 17*f**2 - f. Does 8 divide s(r)?
True
Let r be (-1 - -2) + -1 - -2. Suppose -r*m + 3*m = 0, -m = 4*b - 104. Is 13 a factor of b?
True
Let a(t) = -2*t**2 + 8*t - 10. Let i be a(4). Does 24 divide (-450)/27*24/i?
False
Let i(o) = -o**3 + 6*o**2 + o - 4. Let y be i(4). Let h be ((-16)/80)/(2/(-10)). Is 13 a factor of y + (-1 - -1 - h)?
False
Suppose -5*d - 2*z + 1502 = -3*z, 3*z + 306 = d. Does 20 divide d?
True
Let z(c) = -c**3 - 8*c**2 + 3*c. Let x be z(-6). Let s = 135 + x. Does 15 divide s?
True
Let q = -6 + 8. Suppose 0*j + q*j - 10 = -2*w, 5*w = 2*j + 4. Does 7 divide ((-34)/4 - w)*-2?
True
Let k(h) = 59*h**2 + 2. Let a be k(-2). Is a/10 + (-9)/(-45) a multiple of 12?
True
Let k = 2 + -17. Let b = -7 - k. Is b a multiple of 8?
True
Suppose -2*c - 13 = -1. Let f be c*((-4)/(-3))/(-2). Suppose 3*u + 2*i = 4 + 60, -f*i + 84 = 4*u. Is 9 a factor of u?
False
Let f = -11 - -12. Is 3 a factor of 13/f - (11 - 12)?
False
Let t(d) = -2*d + 13. Is t(0) a multiple of 4?
False
Does 9 divide (10/2 + -1 - 7) + 48?
True
Let t = 184 + -104. Is t a multiple of 20?
True
Suppose -67 = -4*c - 23. Let d(n) = 20*n**3 + n**2 - 2*n + c*n**3 + 1 - n**3. Is d(1) a multiple of 11?
False
Is (16/3)/((-12)/(-144)) a multiple of 32?
True
Suppose -2*c - 2 = -0, 4*i + 3*c + 7 = 0. Let m = 1 + i. Suppose m = -0*v + 2*v - 5*r - 63, 2*v + 5*r - 113 = 0. Is 15 a factor of v?
False
Let g(w) = -2*w. Suppose -1 = -5*a - 3*s, -4*s + 6 = -0*a + 2*a. Let n be g(a). Suppose -u + n*q - 34 = -3*u, -51 = -3*u + 5*q. Is u a multiple of 17?
True
Let u(v) = v**3 + 2 - 7*v**2 - 2*v + 0*v**2 - 5*v. Is 5 a factor of u(8)?
True
Suppose m + 1 = -1. Let f = m + 3. Is 10 a factor of (-13)/(-2 + 0 + f)?
False
Let g(z) = 8*z**3 + 3*z**2 - 2*z. Is 24 a factor of g(2)?
True
Suppose 17*n + 5 = 16*n. Does 12 divide (69 - n)*3/6?
False
Suppose 3*p = -0*p - 9. Let w(u) = u**3 + 3*u**2 + u + 1. Let a be w(p). Let m = 2 - a. Is m a multiple of 4?
True
Let v(o) = o**3 - 5*o**2. Let g be v(5). Suppose 3*y - 5*b - 107 = 0, g*y + 2*y - 4*b - 68 = 0. Does 22 divide y?
True
Let b be 2/13 + 4/(-26). Suppose -3*y - 2*s + 110 = 3*s, -4*y - 4*s + 160 = b. Let f = y - 11. Is f a multiple of 17?
True
Let c(a) = 15*a - 30. Is 9 a factor of c(8)?
True
Suppose -2*m + 29 = -21. Suppose 3*c = 5*y - 4*y + 86, 0 = 5*y + m. Does 9 divide c?
True
Let a(b) = 6*b - 2. Let f = 7 + -17. Let v = -4 - f. Is 17 a factor of a(v)?
True
Let o = -16 + -5. Is 5 a factor of 15 - (-7)/(o/(-6))?
False
Let p be 2/(3*(-2)/(-6)). Suppose -2*k = -3*y + 3*k + 64, -3*y = p*k - 50. Let l = y + 1. Is 9 a factor of l?
False
Is (-5)/(-10)*26 - 4/(-1) even?
False
Suppose 5*v = 3*s - 38, -2*v = s - 3*v - 12. Let l = s - 5. Is 3 a factor of l?
True
Suppose 0 = -3*q + 11 + 1. Suppose -4*r - r = l - 466, -2*r + 168 = 5*l. Suppose -q*o + r = 10. Is 7 a factor of o?
True
Let o(p) = p**2 + 8*p + 8. Let d be o(-6). Does 4 divide (d + (-5)/(-1))*11?
False
Let u(p) = 4*p**2 + 3*p + 5. Is u(4) a multiple of 15?
False
Suppose -2*k + 2 = -4*g, -5*k + 3 = 2*g - 2. Suppose g = p - 0 + 4. Let b = p - -11. Is 5 a factor of b?
False
Suppose 0 = 3*x + x - 152. Suppose -3*f = 8 - x. Is f a multiple of 10?
True
Let k(i) = 4*i**2. Let u be k(1). Suppose 4 = u*o - 20. Is o a multiple of 4?
False
Does 24 divide (-18)/(-3*(-4)/(-64))?
True
Let x(q) = -2*q**2 - 14*q + 2. Let g be x(-7). Suppose 75 = 2*w - g*a - a, w = -2*a + 5