
True
Suppose 0 = q - 5*o + 2*o - 52, 5*o = 4*q - 194. Suppose 0 = 4*y + 14 - q. Is 8 a factor of y?
True
Suppose -3*t = 5*d + 2*t - 600, -2*d - 4*t = -232. Does 31 divide d?
True
Let k(q) = 18*q**2 + 3*q + 4. Let o be k(3). Suppose 0 = -3*s + i + o, -4*s - i + 3*i + 230 = 0. Suppose 0*n = 2*n - s. Is n a multiple of 12?
False
Let g(n) = 3*n**2 + 6*n - 22. Is g(-7) a multiple of 11?
False
Let l be -1 + 1 + (-16)/(-2). Let q = 11 + l. Is 8 a factor of q?
False
Let v(y) = 2*y**2 + 3*y + 4. Is 3 a factor of v(-4)?
True
Let i = 40 - -156. Does 14 divide i?
True
Is 21 a factor of ((-14)/(-8))/(3/72)?
True
Let x = 0 - 1. Let j(m) = -17*m**3 + m**2 - m - 1. Does 9 divide j(x)?
True
Does 23 divide (-115)/(2/(-4) - (-5)/(-10))?
True
Let k = 115 + -22. Suppose -k = -5*h + 77. Is 14 a factor of h?
False
Suppose 0*k - 2*k = -160. Does 20 divide k?
True
Let o be 5/(-1)*12/20. Let k(t) = -12*t - 3. Does 14 divide k(o)?
False
Suppose 3*k - 5*o + 43 = 0, -k - 4*o - 10 = 27. Is 12 a factor of 6/k + (-279)/(-21)?
False
Suppose -107 = -7*n + 33. Is n a multiple of 19?
False
Is 22 a factor of ((-2)/3)/(2/(-843))?
False
Let b be 1 + (-2*3 - -3). Let t(x) = -2*x + 3. Is 2 a factor of t(b)?
False
Suppose 4*w = 5*j - 504, -2*j = j - w - 301. Does 25 divide j?
True
Let j be (12/(-16))/((-6)/16). Suppose -6 = -2*y + j. Suppose 2*s + 0*s = -5*d + 96, y*d + s = 78. Does 7 divide d?
False
Let v(p) = 43 + 0*p**2 - p**3 + p**2 - p**2 - p. Let r be v(0). Does 10 divide r/2 - 9/6?
True
Suppose 27*i = 30*i - 204. Is 4 a factor of i?
True
Let t be 3 + ((-2)/(-1) - 5). Let s be (-22)/(-3) + 4/6. Suppose 0 = 3*q + h - s, -5*q - 2*h + 7 + 7 = t. Is 2 a factor of q?
True
Let z(t) = -4*t + 1. Let w(v) = -v. Let p(d) = -7*w(d) + 2*z(d). Is 6 a factor of p(-4)?
True
Suppose 8 = -2*w, -3*h + h + 4*w + 62 = 0. Let i = h - -41. Suppose i + 5 = 3*r. Is r a multiple of 10?
False
Let r(c) = 4*c**2 + c + 4. Let f be 4/(-8)*(-4)/(-1). Does 6 divide r(f)?
True
Suppose o + 12 = 4. Let m(x) = x**3 + 9*x**2 + 7*x - 6. Let l be m(o). Suppose -7*u = -2*u - 5*n - 95, -l*u = 5*n - 66. Is u a multiple of 13?
False
Let h be 1/(-4) + 84/16. Suppose i = -2*g + 5*g + 74, -h*i + g = -356. Let p = i - 33. Is 17 a factor of p?
False
Suppose 5*t = 3*r + 21, 2*t - 6*t - 4*r = -4. Let d(h) = -h**3 + h**2 - 2*h - 1. Let n be d(2). Is 22 - 0/(n/t) a multiple of 11?
True
Let h = -1 + 1. Let c be 2 - 0 - (0 + 2). Does 13 divide 12 + (c - -1) + h?
True
Suppose k - 5*w = -2*w + 17, w - 5 = -5*k. Is 8 a factor of (k*8)/((-4)/(-6))?
True
Is 444/9*(0 - -3) a multiple of 21?
False
Let p = -48 + 111. Is 18 a factor of p?
False
Suppose 0*q - 3*q + 2*u = -130, 4*q - 150 = -2*u. Is q a multiple of 8?
True
Suppose 7*d = 3*d + 12. Let i(k) = k**3 - k**2 + 4*k + 1. Let z be i(4). Suppose 7*r = 4*r + 5*x + z, 3 = r + d*x. Is 9 a factor of r?
False
Suppose 20 - 5 = 5*y. Suppose -5*i - 2*n = y*n - 165, 0 = i - n - 23. Is i a multiple of 10?
False
Let z = 8 - 6. Suppose 4*x = 2*i - 4, i = z*i + 5*x - 9. Does 10 divide 5*(i - 1) + -2?
False
Let v(x) = -2*x**3 - 4*x**2 - 2*x + 2. Suppose -2*t + t - 1 = 0. Let l = -1 + t. Is v(l) a multiple of 2?
True
Let i = -22 + 32. Is i/(-15) + (-89)/(-3) a multiple of 16?
False
Let u = 2 + 4. Let l(y) = y**2 - 7*y + 8. Is l(u) even?
True
Let k be (-7)/(-28) - 78/(-8). Suppose 2*u - k = -x - 0, -u + 5 = x. Does 7 divide x - -6 - (-1 - 2)?
False
Suppose s - 2*i - 30 = i, -3*i = 4*s - 135. Is s a multiple of 17?
False
Let f(w) = 7*w**3 - w - 3. Does 17 divide f(2)?
True
Let n(k) = k**3 + 6*k**2 - 8*k - 5. Let b be n(-7). Suppose b*l = -2*l - 20. Let z(f) = -f**3 - 5*f**2 - 3*f. Is z(l) a multiple of 10?
False
Let u(x) be the first derivative of x**6/40 + x**5/30 - x**4/24 - 3*x**2/2 - 2. Let l(b) be the second derivative of u(b). Does 14 divide l(2)?
False
Let i(j) = -2*j - 3. Let t = 1 - 6. Let f be i(t). Let a(s) = -s**3 + 6*s**2 + 9*s - 7. Does 7 divide a(f)?
True
Let j = 17 + -12. Suppose -4 - 2 = -2*n, 0 = -5*t - j*n + 75. Is 10 a factor of t?
False
Suppose 3*y - 201 = 5*f - 0*f, 4*y - 5*f = 263. Is 15 a factor of y?
False
Suppose 2*s + 18 = 4*z, -2*z = -2*s - 4*z - 24. Let m(g) = -5*g - 5 - 2 + 1. Is 19 a factor of m(s)?
False
Let j be (19/57)/(1/60). Suppose 0 = -c - x + 2*x, j = 3*c + x. Is c a multiple of 4?
False
Let d(l) = l + 8. Let j = 12 + -6. Is d(j) a multiple of 14?
True
Suppose -2*k - 5*g + 53 = -141, 4*k = 2*g + 340. Is k a multiple of 14?
False
Let q be (-156)/(-27) - (-4)/18. Let t = q + -2. Let h(y) = y**2 - y + 5. Is h(t) a multiple of 11?
False
Suppose 0 = 4*z - 2*d - 320, -3*z = -d + 4*d - 249. Is 32 a factor of z?
False
Let f = -1 + 2. Suppose -k = -f - 23. Is 5 a factor of k?
False
Suppose -115 = -6*c + 257. Is c a multiple of 28?
False
Let u = -11 + -6. Let f(j) = -15*j + 2. Let k be f(2). Let a = u - k. Does 6 divide a?
False
Let r(d) be the first derivative of -29*d**5/20 - d**3/6 + 2*d + 1. Let i(p) be the first derivative of r(p). Is 15 a factor of i(-1)?
True
Let f = 29 + -8. Suppose x - f = -2*x + 3*u, 4*u - 44 = -4*x. Is 4 a factor of x?
False
Suppose 31*k = 26*k + 1680. Is k a multiple of 56?
True
Let o(i) be the second derivative of -i**4/12 + i**3 - i. Let w be o(5). Suppose z = 5*m - 4, -5*m = -2*z - 3 + w. Is z a multiple of 3?
True
Suppose 79*w + 36 = 80*w. Does 6 divide w?
True
Let b = 397 + -204. Does 20 divide b?
False
Let r = 35 - 14. Does 7 divide r?
True
Let u = -11 + 13. Suppose -3*y = -a + 24, u*a - 5*y + y - 44 = 0. Is a a multiple of 8?
False
Let m(k) = -2*k**3 - 5*k**2 - 2*k - 2. Let j be m(-4). Suppose -4*o = o - r - j, -2*o - 5*r = 0. Is o a multiple of 10?
True
Let q(f) = 8*f**2 + 7*f + 7. Is q(3) a multiple of 13?
False
Suppose 0 = 2*q + q + 3*w + 144, 3*q + 149 = 2*w. Let x = q + 81. Is x a multiple of 16?
True
Does 11 divide 66*((-10)/6 - -2)?
True
Suppose -k = -a - 3, -3*k + a = -k - 6. Suppose 0 = 2*q + 3*q - k*j - 8, -5*q + 4*j = -4. Is 2 a factor of q?
True
Suppose 5*n = -5*j + 90, -4*j = 2*n + n - 52. Suppose 0 = -2*s - 3*s - n. Let m = -1 - s. Is 2 a factor of m?
False
Let i = -178 + 301. Is i a multiple of 41?
True
Let j = 350 + -205. Is 29 a factor of j?
True
Suppose 3*v - v + 106 = 4*y, -100 = -4*y + 4*v. Is y a multiple of 28?
True
Let s be (-6)/3*-1*1. Suppose 0 - 20 = -s*l. Is 5 a factor of l?
True
Let v = -3 + 13. Let z be (-2)/v + (-1148)/35. Let m = z - -69. Does 12 divide m?
True
Suppose -232 = -2*g - 4*c, 4*g + c + 4*c - 470 = 0. Suppose -j = 4*j - g. Is 12 a factor of j?
True
Suppose -5*h = -4*f - 160, 5*f - 70 + 189 = 4*h. Is h a multiple of 18?
True
Suppose -2 = 4*f - 26. Let d(v) = v**2 - 7*v - 2. Let k be d(f). Let y(i) = -i**2 - 11*i - 3. Does 15 divide y(k)?
False
Does 21 divide ((-56)/(-24))/((-2)/(-102))?
False
Let g(v) = 3*v**2 + 18*v - 3. Does 9 divide g(-8)?
True
Let s = 69 + -102. Let y = -5 - s. Is 10 a factor of y?
False
Let u(d) = -5*d - 50. Does 5 divide u(-12)?
True
Suppose 2*c - 46 = -0*c. Is 10 a factor of c?
False
Suppose 0 = -3*g - 2*v + 30, 3*g - 45 = -g - v. Is 3 a factor of g?
True
Let q = 63 - 39. Is q a multiple of 6?
True
Let m = -151 - -304. Does 31 divide m?
False
Let h be -1*(-81)/(1 + 2). Suppose -d - 5*w = -21, d + 2*d + h = 3*w. Is 14 a factor of d/16 + 114/8?
True
Suppose 4*z - 7*z = -12. Does 15 divide 134/z - (-5)/10?
False
Let a(i) = 7*i + 5. Suppose 0 = -4*f - 0*f + 28. Let y be a(f). Let t = y + -30. Does 12 divide t?
True
Is 13 a factor of ((-91)/(-14)*-2)/(1 - 2)?
True
Let x(p) = 2*p**2 - p + 1. Let k be x(1). Let w = 14 - k. Is w a multiple of 12?
True
Let t(q) = 70*q + 1. Is 7 a factor of t(1)?
False
Let a = 220 + -58. Let n be a/(-2) - (-5 - -5). Let t = -53 - n. Is 10 a factor of t?
False
Suppose 0 = -19*y + 21*y - 24. Does 12 divide y?
True
Suppose 5*y + 797 = i, 3*y - 4*i - i = -465. Let s be ((-128)/24 - -2)*(-12)/5. Does 9 divide s/36 - y/9?
True
Let q(b) = 11*b - 4. Let x be 2*(-3)/(-3) - -2. Does 19 divide q(x)?
False
Let o = 29 + -20. Suppose 13 = 5*l + d, o*l - 4*d + 2 = 4*l. Suppose 0 = 4*c - 4*v - 100, -l*c + 2 = 3*v - 23. Is c a multiple of 9?
False
Let i = -6 - -8. Let l = 6 - i. Suppose 3*r - 2*f - 72 = 0, -l*f = r + f - 7. Does 18 divide r?
False
Is 3 a factor of (-1)/(4 + (-180)/44)?
False
Let b = 153 + 39. Does 6 divide b?
True
Let y(a) = 4*a - 6. Let n be y(9