 1 = k - 1, -2*v = -4. Suppose k*x = 2*x. Suppose x*o - 24 = -o. Does 12 divide o?
True
Suppose 3*w + 2 = 4*w. Suppose -w*u + 3*q = 7, -u + 3*q - 10 = 1. Suppose 3*t + 2*t + u*m = 98, 2*m + 32 = 2*t. Is 11 a factor of t?
False
Suppose -p - 16 = -3*p. Suppose p*j = 4*j + 224. Does 14 divide j?
True
Let c(f) = -f**3 - 3*f**2 + 2. Let m be c(-2). Let i = 13 + -7. Is (m/i)/(2/(-36)) a multiple of 6?
True
Let v(i) = i**3 - i**2 + i + 6. Let j be v(0). Let y = j + 72. Is 6 a factor of y?
True
Suppose 0 = -53*m + 63154 - 31. Does 32 divide m?
False
Let l = 11 + -12. Let u(h) = -3*h - 1. Let d be u(l). Suppose -3*p + 43 = 5*i, i - d*p = 9 + 10. Does 11 divide i?
True
Suppose -4*q - q = 0. Suppose x + q*x - 17 = -2*g, -x = -1. Suppose 0 = 5*s - g - 42. Is 2 a factor of s?
True
Let w(l) = -1945*l**3 + 13*l**2 + 14*l. Does 24 divide w(-1)?
True
Let a(r) = 2*r**2 + 8*r + 4. Let o be a(-3). Let z = o + 191. Is 38 a factor of z?
False
Let z(t) = -t**2 - 5*t - 4. Let h be z(-4). Let d = h + 0. Suppose d = 5*x + q - 226, -x - 3*q + 23 = -11. Is x a multiple of 30?
False
Suppose 0 = -5*r - m + 28, 3*r - r = 3*m + 1. Let g(j) = 2*j**2 - 2. Let o(c) = -5*c**2 + 2*c + 7. Let u(q) = -g(q) - o(q). Does 27 divide u(r)?
False
Suppose -6*w - 30*w + 58140 = 0. Is 85 a factor of w?
True
Does 29 divide 2 + (-866)/(3 + -7 - -2)?
True
Does 8 divide 63 - ((-5)/(-4))/((-2)/(-8))?
False
Let p be ((-1)/(-3))/(-8 - 161/(-21)). Let i(f) = -121*f**3 - f**2 + f + 1. Does 24 divide i(p)?
True
Let a = -7 - -9. Let t be -90 + (4/4 - a). Let c = t - -139. Is c a multiple of 24?
True
Suppose q + 15 - 5 = -4*k, -23 = -4*q + 5*k. Suppose q*d - 1 - 47 = 0. Suppose 0*g = 2*g - d. Does 4 divide g?
True
Suppose -5*u = -5*l - 5230, -5*u = -41*l + 42*l - 5248. Does 55 divide u?
False
Suppose 0 + 6 = -2*q. Let y(r) = -6*r**3 - 5*r + 3. Does 12 divide y(q)?
True
Let z be ((-5)/(-2))/(9/18). Suppose -z*t + 13 = -p, -3*p + p - 12 = -3*t. Suppose t*q - 50 = 68. Is 17 a factor of q?
False
Suppose 6*c - 11*c + 10 = 0. Suppose -c*g + 272 = 6*g. Does 11 divide g?
False
Suppose 624 + 4436 = 5*u - 2*v, 0 = -2*u - v + 2033. Does 13 divide u?
True
Suppose 423 = z + 3*y - 2*y, 2*z - 2*y = 834. Suppose -5*t + 8*t - z = 0. Does 24 divide t?
False
Does 22 divide 2/6 - ((-29440)/15 + 5)?
True
Suppose 2 = -2*c - 3*a, -3*c - 16 = 2*c + 2*a. Let d(b) = b**3 + 5*b**2 + 4*b + 4. Let k be d(c). Suppose -116 = -k*f - 28. Does 6 divide f?
False
Let h = 1363 + -1325. Is h a multiple of 31?
False
Does 13 divide 54/((-12)/(-3)*7/182)?
True
Let m(t) = -t**3 + 11*t**2 + 3*t + 1. Let w be m(10). Let a = 36 + -36. Suppose 5*k + j - w = 3*k, a = -2*k + 5*j + 113. Does 13 divide k?
False
Let s(c) = 2*c + 11 - 12*c + c**2 - 4*c + 32. Does 34 divide s(19)?
False
Let n(y) = 16*y**2 - y - 1. Let t be (-3 + 1)/2*-7. Suppose -3*r + t*r = -4. Is 6 a factor of n(r)?
False
Let y(t) = -7*t**3 + 19*t**2 + 7*t - 14. Let b(j) = -10*j**3 + 28*j**2 + 10*j - 21. Let n(w) = 5*b(w) - 7*y(w). Does 6 divide n(5)?
True
Suppose 2*q = -3*q. Suppose -m = p + 3*m - 1, q = 5*m + 20. Does 16 divide p?
False
Let c(a) = -5*a**2 + 25*a - 29. Let l(b) = 2*b**2 - 12*b + 14. Let h(y) = -4*c(y) - 9*l(y). Is 5 a factor of h(-9)?
True
Suppose 0 = 3*g + 259 + 269. Let r = g + 8. Does 14 divide (9/(-12))/(3/r)?
True
Let w(d) = -12*d**3 + 5*d**2 + 3*d - 2. Is 5 a factor of w(-3)?
False
Let f be -4 + 868 + -2 - 1. Suppose -6 = 3*b, -5*k = -3*b - f - 195. Suppose -6*c + c = -k. Is c a multiple of 21?
True
Let u(g) be the first derivative of g**4/12 + g**3 + 4*g**2 + 3. Let t(i) be the second derivative of u(i). Is 7 a factor of t(3)?
False
Let b be ((-4)/16 + -1)*-4. Let g be 4552/20 - (-2)/b. Suppose g = -2*w + 8*w. Is w a multiple of 12?
False
Suppose 5*f - 3*o = -2*o - 223, -f - 56 = -4*o. Let j = -16 - -24. Is 11 a factor of f*4/j*-1?
True
Let d be ((-1)/1)/((-11)/(-77)). Let c be -1*(d - -4 - 2). Suppose c*g - 45 - 70 = 0. Is g a multiple of 9?
False
Suppose 2*b = -l - 3*l + 60, -b + 2*l + 22 = 0. Let h = 54 - b. Is 8 a factor of h?
False
Let b = -804 - 141. Does 54 divide ((-27)/5 - -3)*b/6?
True
Let f = -2013 - -2888. Does 53 divide f?
False
Suppose -13268 = -5*r - 2638. Is 4 a factor of r?
False
Let p = -70 - -370. Is p a multiple of 25?
True
Suppose -3*d = 2*d. Suppose 4*a - m - m - 102 = d, -a + 20 = 5*m. Let z = -13 + a. Is 6 a factor of z?
True
Suppose 0 = -j - w + 2*w - 3, 5*j - 2*w = 0. Suppose c = j*c - 48. Does 16 divide c?
True
Let u(r) = 29*r + 24. Let g be u(-6). Let f = -99 - g. Is f a multiple of 8?
False
Suppose 4*a + 49 = 241. Suppose a*b = 44*b + 360. Is b a multiple of 10?
True
Suppose -1272 = -7*x + 6526. Does 10 divide x?
False
Suppose 2643 = 4*j - 3*s, -5*s + 2076 = 3*j + 101. Is j a multiple of 12?
True
Let o(d) = -4*d + 3. Let z be o(2). Let f = z - -15. Let v = 4 + f. Does 7 divide v?
True
Let c(h) = h**2 + 5*h + 45. Let j(z) = 2*z + 23. Let t(u) = -2*c(u) + 5*j(u). Let g be ((-8)/(-56) - 2/14)*1. Is 4 a factor of t(g)?
False
Suppose -3*k = q - 896, -q + 6*k + 886 = 4*k. Suppose -2*d = -12*d + q. Is 11 a factor of d?
False
Let i(t) = t**3 + 5*t**2 - t - 7. Suppose 3*c + 32 = -4*z, -5*z - c = 7 + 22. Let v = 1 + z. Is i(v) a multiple of 13?
True
Suppose -2*p = 4*y - 186, 0 = 5*p - 7*p + 4*y + 226. Is p even?
False
Let w(x) = 5*x - 2. Let s be w(4). Is 5 a factor of ((-26)/(-2))/(6/s)?
False
Let x(i) = 2*i**2 - 1. Let j be x(2). Is (-376)/(-28) + (-3)/j a multiple of 7?
False
Suppose 6*m - 7*m + 48 = 0. Suppose 0 = -4*t + l + m, 0*l = -l + 4. Is t even?
False
Let m be (-3 + -1)/((-14)/(-28)). Suppose 2*k - 5*c + 3 + 1 = 0, 4*k = 5*c + 2. Does 35 divide (m - -11)*70/k?
True
Let t(i) = 0*i - 37 + 5*i - 8 - 4. Does 15 divide t(15)?
False
Suppose 0 = -11*y + 18*y - 483. Does 11 divide y?
False
Let m = 1693 - 1163. Is 36 a factor of m?
False
Suppose 2*m - 21 = -3*m + 3*t, -3*m + 5*t + 3 = 0. Is 20 a factor of (4/10)/(m/1200)?
True
Suppose b + c - 335 = 0, 3*c - 1339 = -4*b - 2*c. Is 21 a factor of b?
True
Let r = 11657 - 7813. Does 77 divide r?
False
Suppose 4*a + 0 = -28. Suppose -6 = -3*m, -m + 77 = 5*n - 0*n. Let l = a + n. Is 7 a factor of l?
False
Let d = 706 - 474. Is 29 a factor of d?
True
Suppose -130 = -18*a + 17*a. Does 9 divide a?
False
Let b(p) = -47*p + 6. Does 72 divide b(-6)?
True
Let x = -32 + 57. Suppose -j + x = -2*j. Let f = 8 - j. Is 11 a factor of f?
True
Let z = 8 + -2. Suppose 40 = z*b - b. Is (b - 1) + (4 - 7) a multiple of 2?
True
Let v(w) = -2*w**2 - 22*w + 5. Let p be v(-11). Suppose -h + n - 29 = 0, p*n = -3*h - h - 98. Is 2/8 + h/(-4) a multiple of 7?
True
Let u be (-3 - 2)/(3/6). Let w = u + 10. Suppose 0 = 5*o + 2*k - 180, o - 3*k - 16 - 3 = w. Does 23 divide o?
False
Is -4*((-5222)/(-8))/(-7) a multiple of 51?
False
Let s(y) = -y**3 + 11*y**2 - 13*y - 3. Let g be s(9). Let i(v) = -v**3 - 10*v**2 - v - 14. Let u be i(-10). Does 21 divide g + 0*u/(-16)?
True
Let u(m) = m**2 + 5*m - 1. Let a be u(-5). Let p be 4 - (1 + a - -2). Suppose -6 = 4*d - 4*t - 78, -d - p*t = -21. Is 19 a factor of d?
True
Suppose 5*m - 3*m = 5*k + 2753, 0 = -2*k + 5*m - 1118. Does 20 divide (10/30)/((-1)/k + 0)?
False
Let f = -445 - -504. Is f even?
False
Let h(b) = -6*b**3 + 6*b**2 - 12*b - 11. Let j = -25 - -21. Let a(y) = 5*y**3 - 7*y**2 + 11*y + 10. Let w(t) = j*h(t) - 5*a(t). Does 8 divide w(10)?
True
Let c = 242 - -127. Is 12 a factor of c?
False
Let w(b) = 256*b**2 + 73*b + 147. Does 7 divide w(-2)?
False
Let p = 1339 + -349. Does 33 divide p?
True
Let k be ((1 - -2) + 2)*1. Suppose j - k - 6 = 0. Let m = 19 - j. Is m a multiple of 8?
True
Let a be -2 + (-428)/8*-2. Suppose -3*q = -2*k - a, -4*q + 177 = -3*k + 37. Does 7 divide q?
True
Suppose -1500 = 4*n + 8*n. Let q = 116 - 298. Let v = n - q. Does 19 divide v?
True
Suppose 3*g - 20 = -g. Suppose -10*u = -5*u - g. Is 15 a factor of 19/(-1)*(u + -5)?
False
Suppose -3*q = g + 2*g - 1230, -5*g - 25 = 0. Suppose 7*j - q = 320. Is j a multiple of 35?
True
Let s(y) = -6*y**3 + 6*y**2 - 2*y - 12. Is 15 a factor of s(-3)?
True
Let k = 3123 + -341. Does 13 divide k?
True
Let u = 7 + -2. Suppose 0*h = v + 2*h + 10, -5*v + u*h - 35 = 0. Does 10 divide -16*(10/v + 0)?
True
Let x(y) = -11*y + 2. Let t be ((10 - 0)/1)/((-6)/3). Does 17 divide x(t)?
False
Let k = -22 - -40. Is (-2)/(-3) - (-