= 4*y + 3. Let k = 17 + y. Is k a multiple of 8?
True
Let g(y) = 10*y**3. Let k be g(2). Let v = -45 + k. Suppose -4*x = -9*x + 5*c + v, -2*x - 14 = 5*c. Does 2 divide x?
False
Let v = -67 + 125. Does 13 divide v?
False
Let s(n) be the first derivative of -3*n**2 - 1. Is 9 a factor of s(-3)?
True
Let u(n) = -2*n**2 - n - 1. Let q be u(-1). Let j be (12/10)/(q/(-5)). Suppose m - 124 = -j*m. Is 12 a factor of m?
False
Suppose x - 4*f = 0, -x - 3*f = -2*x - 1. Let u(v) = v**2 - 10*v + 12. Let q be u(9). Let k = q - x. Is 5 a factor of k?
False
Let q(y) = y**3 - 5*y**2 + 4*y - 1. Let b be q(4). Let u be -3 + 5 + b - -1. Suppose -3*d + 84 = 6*w - u*w, -w + 38 = 5*d. Is 14 a factor of w?
False
Let l(a) = -a**3 + 6*a**2 + 2*a + 4. Let q be l(6). Suppose 0 = -5*n + 9 + q. Suppose -n*c - 7 = -2, 39 = 5*i + c. Is 4 a factor of i?
True
Is ((-10)/8)/(1/(-12)) a multiple of 5?
True
Suppose -s + 37 = 23. Does 14 divide s?
True
Let u = 1 - -38. Does 14 divide u?
False
Suppose 4*u = 6*u - 16. Let l = 19 - u. Suppose 3*c = l + 52. Is c a multiple of 12?
False
Suppose -l = -3 - 0. Suppose -24 = -5*h - l*t + t, 2*t = -4*h + 20. Suppose -h*r + 21 = -27. Is 6 a factor of r?
True
Suppose 258 = t + t. Suppose u - 67 = -5*v, -u + 3*v = 2*u - t. Is u a multiple of 12?
False
Let g(a) = a**2 + 3*a - 4. Let k be g(-4). Suppose -4*f + 148 = u, f + k*f - 52 = -4*u. Does 12 divide f?
True
Let w(h) = h + 3. Let s be w(-3). Let j = 2 + s. Suppose 3*r = 3*y - 87, 0*y + 4*r - 46 = -j*y. Is y a multiple of 11?
False
Let o = 163 - 82. Does 27 divide o?
True
Let p(m) = -m + 8. Is p(-9) a multiple of 5?
False
Suppose 3*i - 157 = 545. Is 9 a factor of i?
True
Let u = -11 + 11. Suppose 4*t - 136 + 32 = u. Is 13 a factor of t?
True
Suppose -5*m = -865 - 435. Is 52 a factor of m?
True
Suppose -3*o + 8*o = 690. Does 35 divide o?
False
Let m(v) = -5*v + 1. Does 4 divide m(-5)?
False
Let w be 2/(-4) + (-183)/(-6). Suppose 80 = 5*p + 5*x, 2*p + 0*x = -x + w. Does 7 divide p?
True
Let p(f) = -f**2 - 12*f - 13. Let z be p(-10). Let a(h) = h**2 - 3*h - 8. Is 7 a factor of a(z)?
False
Let x(y) = 2*y - 6. Let h be x(8). Let s = h - 3. Is s a multiple of 7?
True
Let w(o) = -2*o - 5. Let k be w(-5). Let d = -1 + k. Suppose 0 = -d*l + m + 135, 0 = -m + 1 + 4. Is 12 a factor of l?
False
Let u(h) = -2*h**3 + 3*h**3 + 4*h**2 + 6 + 0 - 3*h. Let d be u(-5). Let a = 9 + d. Is 3 a factor of a?
False
Let l(w) = -w**2 - 5*w - 4. Let j be l(-3). Suppose -j*g + 68 = -i - 2, 0 = 4*g - i - 136. Is 20 a factor of g/2*20/15?
False
Let h = -87 + 99. Does 6 divide h?
True
Does 26 divide 128/(-20)*(-2 - 13)?
False
Let u = -2 + 4. Let y be u/(-7) - (-332)/(-14). Let c = 23 - y. Is 15 a factor of c?
False
Let p be ((-2)/4)/((-2)/12). Suppose 2*r + 2*j + p*j - 29 = 0, -31 = -r + 3*j. Does 11 divide r?
True
Let j be 1*(-3)/3*-4. Suppose -j*o = -0*o. Suppose -3*i + 3 = -6, o = h + 4*i - 16. Is 4 a factor of h?
True
Let s(l) = -l**2 + 6*l - 3. Let z be s(4). Suppose 2*i + 2*i = -2*q - 8, i - z = 3*q. Let d = q + 25. Is 6 a factor of d?
False
Let j(p) = -p + 15. Let q be j(9). Suppose -a - 60 = -q*a. Is 4 a factor of a?
True
Let f(v) = 7*v**2 - v - 1. Let m be f(3). Let k = m + -16. Is 12 a factor of k?
False
Is 26 a factor of 2*(-675)/20*(-4)/6?
False
Let c = 11 + -8. Let m(i) = 2*i**c - 6*i**2 + 8 + 0 - 3*i**3. Does 5 divide m(-6)?
False
Suppose 520 = 5*m - 3*w, 3*m + 0*m + 2*w = 312. Does 21 divide m?
False
Suppose -3*y - 4*w + 362 = 0, 4*y + 3*w - 339 = 153. Is y a multiple of 12?
False
Let c = 49 - 2. Suppose -2*q + c = -21. Is 34 a factor of q?
True
Suppose -5*m = -4*i + 25, -i + 2 + 0 = 3*m. Suppose -i*n - 2*p + 48 = 0, -n = -2*n - 2*p + 8. Suppose n = 3*v - 50. Is 17 a factor of v?
False
Let b(k) = 5*k**2 - 14*k - 2. Let v(h) = -9*h**2 + 27*h + 4. Let l(i) = -11*b(i) - 6*v(i). Is l(-6) a multiple of 3?
False
Let j = -16 + -6. Let d be 6/(1 - 4)*j. Suppose u = -3*u + d. Is 7 a factor of u?
False
Let j(s) = -s**2 - s + 4. Let x be j(-6). Let t be (-8)/(-28) - x/7. Suppose -5*z = -r - 2*r - 240, 0 = -t*z + 5*r + 205. Is 18 a factor of z?
False
Suppose 5*k - 168 = -3*z - 0*z, 0 = k + 2*z - 35. Suppose 0 = 2*g + 2*g. Suppose -5*p + k + 7 = g. Is p a multiple of 5?
False
Let v(m) = m**3 - 7*m**2 - 12*m. Let s be v(9). Let w = s - 27. Is w a multiple of 9?
True
Let t(w) = 0 - 3 - 4*w + 6*w**2 + w**3 - 5*w. Is 4 a factor of t(-7)?
False
Let x = -51 - -101. Is x a multiple of 10?
True
Let b be (3/2)/(3/(-6)). Let q be ((-2)/1 - b)*-1. Is -7*2*q/2 a multiple of 7?
True
Suppose 10 = b - 8. Suppose -3*f + 39 = -b. Is 19 a factor of f?
True
Is (78/1)/(-5 - (-148)/28) a multiple of 21?
True
Is 15 a factor of (-6)/4*846/(-27)?
False
Suppose -60 = u - 0*r - r, 5*r + 30 = -u. Let s = u - -84. Does 16 divide s?
False
Let o(s) be the first derivative of s**4/4 + 5*s**3/3 - s**2 - 3*s - 2. Is 7 a factor of o(-5)?
True
Let q be (-4)/14 + 23/7. Let y be (2/(-5))/((-1)/5). Suppose 4*a - 33 = n - 4*n, 29 = q*a - y*n. Is a a multiple of 4?
False
Let w be ((-7)/4)/((-5)/20). Suppose 5*x = -5*l + 35, -3*l + w + 18 = 4*x. Suppose -l*v = -v - 44. Does 10 divide v?
False
Suppose 0 = -4*m - 2*g + 164, -3*g - 39 = 4*m - 203. Is 9 a factor of m?
False
Suppose 24 = 4*g - 136. Is 10 a factor of g?
True
Let z = 104 + 6. Does 10 divide z?
True
Let s be -2*(0 - 3)/6. Let g = 6 - s. Suppose -3*x - 15 = 0, -2*f - f + 14 = g*x. Does 5 divide f?
False
Suppose -44 = v - 5*v. Is v a multiple of 4?
False
Let s be 3 - (-1)/(-2)*2. Suppose -h - s*f + 21 = 0, 5*h + 0*f - 145 = -2*f. Is 7 a factor of h?
False
Let q(a) = -a**3 - 6*a**2 + 7*a + 5. Is q(-8) a multiple of 7?
True
Let j(w) = 2*w**2 + 22 + 5*w - 2*w**2 - 4*w + w**2. Let b(z) = z**3 + 5*z**2 + z + 5. Let m be b(-5). Does 10 divide j(m)?
False
Is -3 + (9/27 - (-826)/6) a multiple of 23?
False
Let w = -552 - -845. Does 41 divide w?
False
Let u = 141 + -33. Is u a multiple of 13?
False
Let o = 372 + -17. Is o a multiple of 27?
False
Let y(q) = -q**2 + 6*q + 7. Let u = -9 - -15. Does 3 divide y(u)?
False
Let h = 54 + -33. Is h a multiple of 7?
True
Suppose -3*j - 5*d + 20 = 0, 15 + 1 = 3*j + d. Suppose -3*r = -4*s + j, 3*s - r = s + 5. Suppose 2*o + o = -3*a, 2*a = -3*o - s. Does 4 divide a?
False
Let t = -58 + 160. Does 29 divide t?
False
Let r = -75 + 123. Is 12 a factor of r?
True
Let t = 0 - -3. Let m = -2 + t. Is m + (-4)/(12/(-9)) even?
True
Let k = 10 - 20. Is -4*-2*k/(-4) a multiple of 5?
True
Suppose 3 = 3*l - 15. Does 8 divide 2/6 - (-46)/l?
True
Let s = 3 + -2. Suppose s = 5*m - 29. Is 6 a factor of m?
True
Let w(x) = x**3 + 7*x**2 + 6*x + 3. Let g be w(-4). Let u = -51 + g. Let a = u - -48. Is a a multiple of 9?
False
Let o be 36/(-8)*(-2)/3. Suppose -2*i - d + 105 = o*i, i - 35 = -3*d. Suppose -2*b = -i + 2. Does 5 divide b?
False
Suppose u + 110 = 5*d, -u - 87 = -4*d - 0*u. Is 8 a factor of d?
False
Let d(j) = -j**3 - 7*j**2 + 3. Let a be d(-7). Let o(x) = 3*x**3 - 3*x**2 - 3. Is 15 a factor of o(a)?
False
Let x(t) = -t**2 + 14*t - 10. Let b be x(13). Suppose b*q - 4 - 8 = 0. Is q a multiple of 2?
True
Let s(n) = n - 7. Is 7 a factor of s(14)?
True
Suppose 0 = 15*m - 17*m + 74. Is 2 a factor of m?
False
Suppose -3*y + 4*r - 3*r + 7 = 0, 0 = 5*r + 20. Suppose -z + y = -62. Is 11 a factor of z?
False
Suppose 6*b - b = 5, -2*r - 3*b = -45. Let k(h) = h**2 - 9*h - 12. Let y be k(10). Is (r/9 + y)*39 a multiple of 13?
True
Let h(b) = 2*b**2 + 7*b - 15. Is h(7) a multiple of 8?
False
Let t(q) = -q + 6. Let x be t(7). Let z be -1 + 0 - (x - 5). Suppose -s - 28 = -d, d + 10*s = z*s + 40. Is 13 a factor of d?
False
Let t(z) be the second derivative of 3*z**5/10 - z**4/12 + z**3/3 - z**2/2 + 2*z. Is t(2) a multiple of 13?
False
Let z = -2 - -5. Does 7 divide 4 + (-6)/(1 - z)?
True
Let q = -25 + 308. Is 59 a factor of q?
False
Let m(a) = 4*a**2 + 3*a + 4. Let n be m(3). Suppose 3*t + n = 139. Does 15 divide t?
True
Let t = 28 + -17. Is t a multiple of 11?
True
Let w be (1 + -2)*1*-155. Suppose 0 = -5*v - 15 + w. Is 14 a factor of v?
True
Let h be 2 + 3/1 + -7. Let a be 2/(-4)*(-4)/h. Is 5 + -5 - (-46 - a) a multiple of 15?
True
Let z = -9 - 16. Let u = -4 - z. Is 21 a factor of u?
True
Suppose y + 385 = 3*y - 5*i, 0 = y + i - 210. Suppose -6*x + 5*x - y = -4*u, -2*x = -5*u + 257. Is u a multiple of