+ -10. Suppose 3*t - 123 = -3*m, -2*t = 4*m - 82 + z. Does 14 divide t?
True
Let a(j) = -j**3 + 3*j**2 + 2*j - 3. Let b be a(3). Suppose -b*d + 39 = -5*w, 5*d = w - 3*w + 34. Does 3 divide d?
False
Let r(z) = -9. Let b(n) = n + 1. Let f(v) = b(v) + r(v). Let c be f(0). Is -1*(c/(-2) - 40) a multiple of 12?
True
Let v(y) = -y**3 + 12*y**2 + 9*y + 7. Is 39 a factor of v(9)?
False
Let n = 22 - 13. Let f be 3/(n/15*1). Suppose 0 = f*w - 109 + 29. Does 8 divide w?
True
Let y(q) = q**3 - 3*q**2 - 5*q + 4. Let j be y(4). Suppose j = -2*v + 68 + 60. Is 16 a factor of v?
True
Suppose 18*o = 12*o - 840. Let d = o + 388. Is d a multiple of 31?
True
Suppose 22 = -v - 4*y, 5*y + 26 = 3*v + 7. Let i be (4/(-10))/(v/40). Suppose 0 = i*b - 6*b - 64. Is 11 a factor of b?
False
Let m(g) = -g + 4. Let y be m(9). Let k be (-12)/y - 14/35. Suppose 7 - 61 = -k*w. Is 9 a factor of w?
True
Let o(q) = 7*q + 5. Let g(d) = -d**2 + 4*d - 3. Let x be g(3). Suppose -5*t + 15 + 10 = x. Is o(t) a multiple of 23?
False
Suppose 0 = -n + 1 + 2. Let z be -202*((-15)/6 - -2). Suppose 5*l + 2*o = z, 4*o + 17 = n*l - 28. Is 5 a factor of l?
False
Let v = 26 - 21. Suppose 2*g = 2*d - g - 323, -v*g = -15. Is 22 a factor of d?
False
Let b(l) = -l**3 + 9*l**2 - 12*l + 7. Let z be b(5). Let t = z - 31. Is t a multiple of 7?
False
Suppose 2*l = -3*x - 13, l + 3*x + 3 = -2*x. Let d(s) = -30*s - 9. Does 12 divide d(l)?
False
Let r = 9 + -6. Let u be r + (-4)/2 - -22. Suppose u - 9 = f + 4*z, 2*f - 4*z = 52. Is f a multiple of 13?
False
Suppose -2*c - 5 - 3 = 0. Is (-14)/1*22/c a multiple of 11?
True
Let q(m) = 2 - 5*m**2 - 2*m**2 + 3 + 6*m + 8*m**2. Let w be q(-5). Suppose w = -3*v + 4*x + 292, 5*v + 2*x - 502 = x. Does 20 divide v?
True
Let q be (10 - 0) + 1 + 3. Let k(v) = -v + 26. Is k(q) a multiple of 3?
True
Let o(v) = 2*v - 2*v**2 + 45*v**3 - 6 + 4*v - 46*v**3. Is o(-6) a multiple of 17?
True
Let i(n) = -n**2 + 17*n + 2. Let o(w) = -5*w - 4. Let l be o(-4). Let q be i(l). Suppose -2*v + 7*v = -r + 15, 2*r = 2*v - q. Is v a multiple of 3?
False
Let a(x) = x**2 + 5*x - 14. Suppose -m = -3*g + 25, -3*m + 15 = 12*g - 11*g. Does 11 divide a(g)?
False
Let x(y) = 2*y**2 - 5*y - 17. Let o be x(7). Does 4 divide (-2)/(-3) - o/(-3)?
True
Let z be 2/(-8) + -1*8024/32. Let v = z - -359. Is v a multiple of 27?
True
Suppose -4*s + 2976 + 6816 = 0. Is 18 a factor of s?
True
Let c be (-110)/(-22) - (2 + -1). Suppose -5*x - 2*q + 444 = 0, 0 = -c*x + q + 301 + 49. Does 41 divide x?
False
Suppose -2*n - 2*c - 26 = 0, -n - c - 11 = 2*c. Let t = n - -13. Let y = 57 + t. Is y a multiple of 14?
True
Suppose -5*s + 10526 = -114. Does 12 divide s?
False
Suppose 0 = 20*a - 3*a - 2261. Is 7 a factor of a?
True
Suppose -25*r + 600 = -21*r. Is r a multiple of 25?
True
Let h = 370 - 249. Let y = h + -53. Is 17 a factor of y?
True
Suppose 0*q + 2*q - 94 = 0. Let m = q - 38. Is 9 a factor of m?
True
Suppose -6*i + 24 - 6 = 0. Is 393/i + 3*16/12 a multiple of 45?
True
Let j(a) = a**2 - 5*a + 6. Let o be j(5). Let x(g) = -1 + g**3 - 2*g + 3*g - 2*g**3 + o*g**2 + 2. Is 15 a factor of x(4)?
False
Let q = 12 - 15. Let z be -2*(14/4 + q). Let w = z + 30. Does 6 divide w?
False
Let v = -135 - -149. Is v even?
True
Let q = -114 - -184. Is (q - 1) + 9/(-3) a multiple of 33?
True
Let i(g) = 3*g - 3. Let k be i(3). Let f(d) = 36 - 39 + 11*d - 2*d. Is f(k) a multiple of 17?
True
Suppose 51*s - 10340 = 4*s. Is s a multiple of 4?
True
Suppose 0 = -5*g - 50 + 60. Suppose 6*c + 260 = 4*k + 8*c, 0 = -g*k - 2*c + 128. Is 11 a factor of k?
True
Suppose 7*h = -h + 3616. Is 8 a factor of h?
False
Let s(g) be the third derivative of -g**6/120 + g**5/12 + g**4/24 - 5*g**3/6 - 5*g**2. Let p be s(5). Let a(b) = -b**3 - b**2 + 11. Is 4 a factor of a(p)?
False
Let x(s) = 7*s - 190. Does 13 divide x(35)?
False
Let y(k) = -83*k**3 - 2*k + 1. Let u be y(1). Let x = u - -188. Suppose -3*j = 4*t - x + 39, 3*t - 2*j - 36 = 0. Does 8 divide t?
False
Let g be ((-3)/6)/(1/(-8)). Suppose -2*w - g = -3*w. Suppose 2*l - 188 = 4*v, -w*v - 7 - 433 = -5*l. Is 21 a factor of l?
True
Let d be (-8)/(-6)*2*66/(-44). Is (49/(-3) + 5)/(d/6) a multiple of 6?
False
Suppose -842 + 2267 = 19*p. Does 2 divide p?
False
Suppose 0 = 2*a - 2*w, -4*w + 5 = 3*a - 23. Suppose 1 = a*m - 7. Suppose 4 + m = x. Is x a multiple of 2?
True
Let q(p) = -7*p + 25. Let u be q(7). Let r = u + 27. Does 2 divide r?
False
Suppose 11 = 4*u + 3. Let w be (1 - 6/(-9))*(-1 - -4). Suppose -w*j = -3*o - 131, -u*j + 29 = -j - 2*o. Is 5 a factor of j?
True
Let g(a) = -a**2 + 12*a - 6. Let f be g(9). Suppose -x + f = -15. Suppose -3*q = -0*q - x. Is 2 a factor of q?
True
Suppose -4*a + 5*s + 3487 = 0, s + 2613 = 3*a - 2*s. Is 31 a factor of a/8*8/14?
True
Suppose -5*p - 187 = 2*v, -195 = -5*v - p - 697. Let o = -65 - v. Is o a multiple of 6?
True
Suppose -f + 3*m = -5, -3*f = -0*f - m + 9. Let s = f + 8. Suppose 0 = -s*q + 275 + 5. Is q a multiple of 15?
False
Suppose 0 = -5*i + 5*d + 160, 0 = 4*i + 3*d - 0*d - 128. Does 7 divide 1/(-4) + 1128/i?
True
Suppose 6*w - 2418 = -690. Suppose -8*x = -392 - w. Is 17 a factor of x?
True
Suppose 3*i - j - 400 = -i, -2*i = 5*j - 200. Let z = i - 60. Is z a multiple of 8?
True
Let p = 4294 - 3287. Is 29 a factor of p?
False
Let y = 80 + -4. Let o = y + 47. Does 30 divide o?
False
Let m = -764 - -54. Let w = m + 1021. Does 19 divide w?
False
Let m be 0/(-5)*1 - -153. Let x = -88 + m. Does 3 divide x?
False
Let s = 65 - -89. Is 14 a factor of s?
True
Let k(d) = -4 + 13 + 20 + 4*d + 3*d. Is 14 a factor of k(22)?
False
Suppose -5*q + 45 + 140 = 0. Let h = 91 - q. Is h a multiple of 9?
True
Let o(k) = -169*k + 101. Does 37 divide o(-4)?
True
Suppose 0 = 5*a + 10, 2*a + 240 + 160 = -4*l. Let c = 174 - 329. Let b = l - c. Is b a multiple of 14?
True
Suppose 27 = 11*z - 17. Suppose 76 = g - 3*h, -6*h = g - z*h - 96. Does 14 divide g?
False
Suppose -14*y - 220 = -15*y. Is 5 a factor of y?
True
Let c(v) = -v**2 - 16*v - 6. Let t be c(-7). Suppose -t = -4*i + 3*o, 3*o + 71 = 5*i - o. Let u = 36 - i. Is 5 a factor of u?
False
Suppose -4*s - j = -7*s + 7505, 3*s - 7489 = 5*j. Is 11 a factor of s?
False
Let s(w) = -86*w**3 + 9*w**2 - 4*w + 7. Let n(m) = -43*m**3 + 4*m**2 - 2*m + 3. Let d(t) = -5*n(t) + 2*s(t). Does 3 divide d(1)?
True
Suppose -39 = 3*y - 39. Suppose -2*x - 4*f + 2*f + 38 = 0, y = 3*x + 5*f - 61. Is x a multiple of 11?
False
Let s(m) = 3*m - 24. Let l be s(4). Let f(x) = 3*x**3 - 8 - 15*x + x - 2*x**3 + 11*x**2. Is f(l) a multiple of 15?
False
Let n(m) = m**3 + 15*m**2 - m - 21. Let p be (-8)/(64/60)*2. Let c be n(p). Let v(j) = -8*j - 14. Is v(c) a multiple of 11?
False
Suppose 2 + 7 = -i. Let g be 3*(-39)/i + 4. Let q = 20 - g. Is 2 a factor of q?
False
Let p be (-5)/15*(2 - -1). Let b(f) = -7*f. Let j be b(p). Let g(d) = 2*d**2 - 8*d. Does 14 divide g(j)?
True
Let d(h) = -5*h - 21. Let n be d(-3). Let z = 28 + n. Is z a multiple of 7?
False
Suppose -4*h - 10*d = -8*d - 2884, -5*d + 10 = 0. Is 26 a factor of h?
False
Let q(o) = o**2 + 3*o + 1. Let j be 1/2 - 209/(-22). Suppose 3*s + 4 - j = 0. Is 3 a factor of q(s)?
False
Suppose 36*q + 40*q = 10336. Is q a multiple of 68?
True
Does 62 divide -6 - (-922 - (15 + -9))?
False
Suppose 5 - 11 = -3*p. Let o be (18/(-36))/(p/8). Does 5 divide 30 - 1/((-2)/o)?
False
Let h(p) = p**3 + 19*p**2 - 6*p - 115. Does 7 divide h(-18)?
False
Let d be 1*(2 - 3) + -2. Let m be 163/3 + (-2)/d. Let c = -23 + m. Is 16 a factor of c?
True
Is 9 a factor of 34/(-8) + (-10)/(-40) - -173?
False
Let i = -288 - -946. Is i a multiple of 112?
False
Let b(v) = -8*v**3 - v**2 + v + 3. Let l be b(-3). Let w = -110 + l. Let k = w - 51. Is k a multiple of 21?
False
Let c(t) be the first derivative of -17*t**2/2 + 5*t - 42. Does 3 divide c(-2)?
True
Suppose -155*u = -158*u + 312. Is 35 a factor of u?
False
Suppose -2*i - 5*f = -28, -2*i - f = -6*i + 12. Suppose x - a = 7, x + i = 5*x + 2*a. Suppose -58 = x*m - 373. Is m a multiple of 19?
False
Let t = 10 - 6. Let q be (1 + -2)*0/t. Suppose r + 3*o - 17 = q, 5*r + 5*o - 129 = o. Is 8 a factor of r?
False
Suppose -25*d - 787 = -26*d. Let g = -427 + d. Suppose 0 = 4*x + 4*q - g, -52 + 233 = 2*x + q. Is x a multiple of 13?
True
Let f be (-9)/6 - ((-2211)/6 - 1). Suppose f = 4*l + 3*y - 691,