6)/4)/3. Does 12 divide 2 - (v - (23 + 1))?
True
Let o(z) = -40*z + 1. Let f be o(-2). Suppose -3*u - 3*w + f = -u, -u - w + 38 = 0. Let r = u + -23. Is r a multiple of 5?
True
Let k(u) = u**3 - 6*u**2 + 6*u + 4. Is 4 a factor of k(5)?
False
Is (-2 + -3)/5 - -37 a multiple of 12?
True
Let t(z) = 5*z - 4. Does 3 divide t(8)?
True
Let i(p) = -p**3 - p**2 + 109. Let x be i(0). Let l = x - 73. Does 12 divide l?
True
Is 26 a factor of 10/15*(-774)/(-4)?
False
Let b(v) = 21*v**3 - v**2. Let u(l) = -l - 3. Let s be u(-4). Does 10 divide b(s)?
True
Suppose -3 - 2 = -x. Does 3 divide 3 + x - 0/1?
False
Let m(q) = q**2 + 10*q + 8. Let z be m(-8). Suppose 0 = -5*b + 4*w + 35, 5*w + 16 = -2*b - b. Let y = b - z. Is 4 a factor of y?
False
Let d(f) = -f**2 + 8*f - 3. Let l be d(7). Let k = -4 + 4. Suppose l*y + 0*y - 112 = k. Is y a multiple of 12?
False
Suppose 4*m - 3 = 9. Is 5 - 1*6/m even?
False
Suppose p = -0 + 5. Is 4 a factor of p?
False
Suppose -2*m + 0*m + 4 = 0. Suppose -4 = -2*d + m. Does 14 divide ((-40)/1)/(d + -4)?
False
Suppose 5*m + 9 = u - 40, -120 = -4*u + m. Let j = -21 + u. Suppose j + 22 = 5*d. Is d a multiple of 3?
True
Suppose 9*h - 162 = 6*h. Is 18 a factor of h?
True
Let a be (-2)/(-6) - 47/(-3). Suppose m - x = 3, -3*m + a = 4*x - 0. Does 2 divide m?
True
Let o = -64 - -94. Does 15 divide o?
True
Let g be ((-2)/(-6))/(3/(-9)). Let y be g/(-2) + (-82)/4. Let o = y + 35. Is o a multiple of 12?
False
Suppose 4*l + 4*p = 12, -l + p - 13 = -2*p. Is 16 a factor of ((-18)/21)/(l/42)?
False
Let d be 64/28 + (-2)/7. Suppose 4*m + 16 = d*a, 5*a + 3*m - 34 = 7*m. Is a a multiple of 3?
True
Suppose 0*f - 2*f + 414 = 0. Does 16 divide f?
False
Suppose -4*f - 262 - 182 = -4*x, -2*f = -4*x + 448. Does 15 divide x?
False
Let m(h) = h**3 - 8*h**2 - 8*h - 5. Let x be m(9). Suppose -s = -5 - x. Let p(r) = -r + 17. Does 8 divide p(s)?
True
Is 12 a factor of ((-42)/28)/(6/(-292))?
False
Suppose 2*z - 12 = -g, 0 = -g - g + 5*z - 12. Let q be g/(-6) - (-56)/12. Suppose m + q*m = 15. Is m even?
False
Let w(g) = g**2 + 2*g + 3. Let f be w(0). Suppose 3*v = -f, -4*v = -q - 0*q + 44. Is 10 a factor of q?
True
Does 11 divide (36/(-21))/((-14)/147)?
False
Let x = 27 - 5. Let v = x + 27. Is 19 a factor of v?
False
Does 11 divide (-18)/(-12)*(172/6 - 0)?
False
Let b = 0 - -5. Let i = 5 + -5. Suppose i*u = b*u - 60. Is 9 a factor of u?
False
Let j(o) = o**3 + 4*o**2 - o + 1. Does 2 divide j(-3)?
False
Let z(x) be the third derivative of -x**6/120 + x**5/15 + 5*x**4/24 + x**2. Let j be z(4). Suppose b = -0 + j. Is b a multiple of 10?
True
Let h(b) = 211*b**3 - b. Is 15 a factor of h(1)?
True
Suppose 4 = 5*b - 4*p + 2, 4*p - 14 = -3*b. Suppose -113 = -b*y - 5*o, y = -0*o - o + 61. Does 16 divide y?
True
Let b(f) = -13*f - 5. Let q be b(-5). Suppose -4*x - 16 = -q. Does 11 divide x?
True
Suppose 100 + 38 = -3*f. Let o = f - -74. Does 14 divide o?
True
Suppose 5*d - 8 = 92. Is 5 a factor of d?
True
Let c(o) = -o**3 - o + 2. Let w(g) = -3*g**2 + 1. Let y be w(1). Let k be c(y). Suppose 0 = 3*t + 4*a - 40, -t + k = -2*t + 5*a. Is t a multiple of 4?
True
Suppose 72 = 2*q - 4*q. Let r = 52 + q. Does 8 divide r?
True
Let q(w) = w + 6. Let h be q(-5). Let y = 3 - h. Suppose y*l = -3*l + 30. Is l a multiple of 5?
False
Suppose -12*q + 14*q = 66. Is 6 a factor of q?
False
Suppose -g - 202 = -4*j - 0*g, 4*g + 8 = 0. Let t = -20 + j. Is 15 a factor of t?
True
Suppose -9*d = 5*k - 7*d - 253, -2*d = 2. Is 6 a factor of k?
False
Let l = 42 + 11. Let i = -22 + l. Suppose 5*a + 5 = 0, m - 2*m + i = -a. Does 20 divide m?
False
Suppose 7*a - 6*a - 20 = -3*x, 0 = -a + 3*x + 14. Is a a multiple of 9?
False
Suppose v = -2*i + 14 + 23, -64 = -2*v - 2*i. Does 2 divide v?
False
Suppose -4*c - 97 = -5*g, 0*c - 76 = -5*g - 3*c. Is 4 a factor of g?
False
Let h(b) = -b**2 - 2*b - 1. Let y be h(-1). Suppose y = 3*d + 2*d + 4*t - 57, 3*d - 31 = -4*t. Is 13 a factor of d?
True
Let t(f) = f - 6*f + 3*f + 6. Let b be t(-8). Let m = b + -5. Does 17 divide m?
True
Suppose 28 = -4*a - 8. Is 21 a factor of (a + 4 + -4)*-7?
True
Let l(w) = 173*w - 1. Let c be l(1). Suppose -5*d + 98 = 3*y, 5*y = -d + c + 6. Does 12 divide y?
True
Let g be 5*1 + -3 + 2. Suppose g*v = -v. Suppose -3*k + 0*k + 3*b = -9, -k - 3*b + 7 = v. Is 4 a factor of k?
True
Let o be (-4)/(-18) - (-16)/9. Let q = -4 - o. Is 14 a factor of (-200)/(-14) + q/21?
True
Let g = -14 - -10. Is 15 a factor of 1/g + 354/8?
False
Suppose -4*o = 4*p - 147 + 23, 2*o + p - 66 = 0. Is 4 a factor of o?
False
Suppose 100 = 6*m - m. Is m*(-1)/(3 + -4) a multiple of 6?
False
Suppose -4*l - w = w + 98, -5*l - 124 = 3*w. Let u = -11 - l. Is 12 a factor of u?
True
Is 6 a factor of 1/(-6) - 545/(-30)?
True
Let i(q) = 5*q + 3. Is i(9) a multiple of 24?
True
Let q be (8 + -11)*(0 - -3). Let l = -5 - q. Suppose -5*h + g = -57, -4*h + l*g = 2*g - 48. Is 11 a factor of h?
True
Let y(p) = -13*p**3 + 6*p**2 - 5*p. Let b(i) = -26*i**3 + 13*i**2 - 11*i. Suppose 5*j - 20 = -0*j. Let a(n) = j*b(n) - 9*y(n). Is a(1) a multiple of 12?
True
Suppose -r + 2*r = 1. Suppose m + r = -2. Is 2 a factor of m/(6/2)*-3?
False
Let g = 8 - -18. Is 13 a factor of g?
True
Suppose 0 = -8*d + 7*d + 126. Does 18 divide d?
True
Let m = -24 + 38. Is m a multiple of 3?
False
Let k = 3 + -2. Let x be (625/(-20))/(k/(-4)). Suppose -5*d = -30 - x. Does 8 divide d?
False
Suppose -160 - 26 = -3*m. Let j = m - 28. Is 17 a factor of j?
True
Let s be (-1)/3*-3*81. Let n = 166 - s. Is n a multiple of 16?
False
Suppose -12 + 67 = 5*t. Does 3 divide t?
False
Suppose -2*d = 3*d. Suppose 4*r - 3*r + 3*s - 11 = d, -4*r + 14 = 2*s. Is r even?
True
Let m(n) = n**2 - 12*n + 45. Does 25 divide m(10)?
True
Suppose b - 5 = 0, -3*z - 126 = -b - 31. Is 10 a factor of z/8*64/(-8)?
True
Let g = -200 + 359. Is g a multiple of 11?
False
Suppose 3*s - 288 = -5*f, -f = -s - s - 68. Is 10 a factor of f?
True
Let i = 19 + -7. Let w = -5 + i. Is w a multiple of 3?
False
Let f(r) = -r + 47. Let o(c) = -c**3 + 10*c**2 + 11*c. Let j = 15 - 4. Let u be o(j). Is f(u) a multiple of 12?
False
Let s(n) = -7*n**2 + 11*n + 7. Let w(z) = z**2 + 1. Let q(k) = s(k) + 6*w(k). Suppose -2*c + 9 = t, 4 = 2*t - 2*c - 20. Is q(t) a multiple of 13?
True
Suppose 5*p = g - 3*g + 393, 85 = p + 2*g. Is p a multiple of 11?
True
Let y = 7 - 3. Is y a multiple of 4?
True
Suppose 2*l + 27 = -4*a + a, 2 = -2*l + 2*a. Let w = 1 + l. Let c(m) = 2*m**2 + 7*m + 2. Does 12 divide c(w)?
False
Suppose -2*f = f. Suppose f*x = 2*x. Suppose x = -p - 2*p + 39. Does 5 divide p?
False
Suppose -51 = -5*n - 11. Is 2 a factor of n?
True
Let n(d) = -d + 12. Let k(o) = o - 12. Let s(i) = -6*k(i) - 5*n(i). Let v be s(10). Does 19 divide ((-1)/(-3))/(v/228)?
True
Let g = 34 - 21. Is 8 a factor of g?
False
Let s be -2 - (-42)/(1 + 2). Suppose 0 = -5*w + w + s. Suppose 6*m - w*m = 102. Is 17 a factor of m?
True
Suppose 3*w + 8 = 7*w. Let h(f) = -f**2 - 4*f + 8. Let n(m) = -m**2 - 5*m + 9. Let o(i) = w*n(i) - 3*h(i). Is 8 a factor of o(4)?
False
Suppose 8*y + 596 = 10*y. Is y a multiple of 49?
False
Suppose 322 = -5*f + 1542. Suppose 6*o = 2*o + f. Is o a multiple of 15?
False
Let c be (46/4)/(-1)*-2. Let s = c - 12. Is 11 a factor of s?
True
Suppose 2*a - a + 3*h - 31 = 0, a = 2*h + 41. Is a a multiple of 3?
False
Suppose -44 - 7 = -3*g. Is g a multiple of 12?
False
Suppose 3*w = c - 2*c + 101, -5*w + 5*c = -175. Is 6 a factor of w?
False
Suppose -24 - 56 = -x. Is x a multiple of 4?
True
Let o = 375 + -219. Is 9 a factor of o?
False
Let u(k) = -3*k + 2. Let j be u(4). Suppose 0 = 3*g + g + 20. Let c = g - j. Is c a multiple of 2?
False
Suppose c - 3*c = -98. Let i = 118 - c. Does 23 divide i?
True
Let x = 13 + -8. Suppose 0 = -3*c - 5*i + 81, 2*c + x*i - 44 = 5. Is c a multiple of 15?
False
Let o(y) = -y**3 - 7*y**2 - 4*y - 1. Suppose r + 7 = -0*r. Does 7 divide o(r)?
False
Let t = -3 - -1. Does 7 divide 94/14 - t/7?
True
Suppose -5*n + 245 = -75. Let h = -46 + n. Is h a multiple of 9?
True
Let s(l) = -313*l + 3. Let r be s(1). Is (-4)/(3 + r/102) a multiple of 34?
True
Suppose -5*a + 8 = -4*w, 0 = -0*a + 3*a - 4*w. Is a/(-20) - (-423)/15 a multiple of 14?
True
Suppose 2*z - 384 = -4*z. Let v = 139 - z. Does 15 divide v?
True
Let h = -3 + 6. Suppose -6*r = h*a - r - 