 -2*s + 3*o + 42 = 2*s. Is s even?
True
Let h(y) = y**3 - 12*y**2 - 10*y - 15. Let x be h(13). Let s = 141 + x. Suppose -o = 4*o - s. Is 11 a factor of o?
True
Suppose s - m - 114 = 0, -5*m - 13 = 7. Is s a multiple of 2?
True
Let a(k) be the second derivative of k**5/20 + 3*k**4/4 + k**3/2 + 3*k**2 + 5*k. Let j be a(-9). Is 15 a factor of 242/6 - 14/j?
False
Let n(j) = 1. Let b(g) = 10*g**2 - 10*g - 40. Let m(l) = b(l) + 40*n(l). Is m(-2) a multiple of 10?
True
Let p = 35 + -32. Suppose 3 + p = -h. Let o(k) = -k**3 - 5*k**2 + 4*k + 9. Is 7 a factor of o(h)?
True
Let y(m) = -18*m**3 - 6*m**2 - 8*m - 3. Let c be y(-3). Suppose 3*w = 5*n - 303 - c, 4*n - 608 = 4*w. Does 15 divide n?
True
Suppose -2*k - k = 4*h - 25, 4*h - 19 = -k. Suppose -3*l - 89 = 3*a - 620, -2*a = k*l - 357. Suppose -2*m - 4*m + a = 0. Does 17 divide m?
False
Let m = 3684 + 2181. Is m a multiple of 115?
True
Suppose 8*y - 10*y + 12 = 0. Suppose y = 6*w - 5*w. Is w a multiple of 5?
False
Is (-2650)/(-15) - (-8)/6 a multiple of 23?
False
Does 22 divide (-3073)/(-35) + (-2)/(-10)?
True
Suppose 0 = -4*r - 3*q + 28, q = -4*r + 2*q + 28. Suppose -509 = -2*s - 3*x, -r*s - 4*x + 252 = -6*s. Is 32 a factor of s?
True
Suppose -t = -5*q + 1, 5*t - q + 2*q - 21 = 0. Is (-12)/t + 7 + 91 a multiple of 16?
False
Suppose 0 = -3*p - 3*o - 2*o + 854, 0 = -2*p + 4*o + 606. Is 18 a factor of p?
False
Is 1584/14*(-5 + -9 - -21) a multiple of 8?
True
Let h(t) = 15*t + 7 - 11 + 28*t + 3*t**2. Is 30 a factor of h(-18)?
False
Let p(m) = -53*m + 1. Let w be p(-1). Suppose -5*f + 10 = 3*i, 0 = -f + i + 5 - 3. Suppose -f*z + z = -w. Is 14 a factor of z?
False
Let g = -211 + 118. Let j = g + 169. Is 19 a factor of j?
True
Let m = 185 - -257. Does 34 divide m?
True
Suppose 4*c + 119 = 2*g + 5*c, 3*g + 2*c = 177. Let j = 16 - g. Is 30 a factor of (j/(-3))/(3/6)?
True
Suppose 0 = -m + 93 + 11. Is m a multiple of 8?
True
Let d be (-17)/((4 - 5)/(-3)). Let a = -12 - d. Is a a multiple of 8?
False
Suppose 392 = 4*u + x - 613, -4*u + 5*x + 975 = 0. Is 25 a factor of u?
True
Suppose 519*v = 523*v - 3008. Is v a multiple of 16?
True
Let k be 2 + 1*-5 + 1. Suppose -2*b + o = 17, -3*b - b - 25 = -5*o. Is (k - b) + 0 - 0 a multiple of 5?
False
Does 9 divide ((-27)/(3/(-1)))/(2/60)?
True
Does 21 divide ((3402/12)/9)/(4/8)?
True
Suppose -4*g - 3*x - 860 = 0, 7*g + 5*x = 4*g - 634. Let y = 315 + g. Is y a multiple of 16?
False
Is 3 a factor of ((1888/(-6))/8)/(4/(-6))?
False
Suppose -2*p = 5*i - 13, -5*p - 4*i + 66 = -9. Suppose -4*r + 5*v = -p, -27 = 2*r - 7*r + 3*v. Suppose 0 = u + r*u - 105. Is u a multiple of 15?
True
Let r(u) = u**2 + 6*u - 1. Let a be r(-6). Let z be (a - 74)*(-2 - -1). Let g = z - 36. Is g a multiple of 13?
True
Let s be 4 + -4 + 18 + -3. Let m = -13 + s. Does 14 divide (-42)/(-2) - 6/m?
False
Let p = 2178 - 1378. Does 20 divide p?
True
Let j(h) = -52*h. Let n = 2 - 3. Is j(n) a multiple of 13?
True
Suppose 4*w = 5*w - 2. Suppose 14 = -w*f + 4*f. Suppose f*h - 6*h = 24. Does 12 divide h?
True
Let g be (-2 + 9/1)/1. Let z(t) = t**2 - 7*t - 1. Let n be z(g). Let j = 5 - n. Is j a multiple of 3?
True
Suppose 4*w - 3 = 5. Let s be (1/w)/(1/4). Suppose 0 = -2*c + c + 5, 4*c = s*f + 10. Is f a multiple of 5?
True
Suppose 4*y - 1165 = -205. Is 24 a factor of y?
True
Suppose 0 = -4*y + 159 + 673. Suppose -47*u - y = -51*u. Does 13 divide u?
True
Let l(v) be the second derivative of 10*v + 0 + 3/4*v**4 - 1/20*v**5 - 3*v**2 - 5/6*v**3. Does 4 divide l(8)?
False
Let p(j) = 6*j + 2. Suppose t + 11 = 3*b - t, 4 = -t. Suppose z - b = -0. Is 5 a factor of p(z)?
False
Suppose 0*o + 2*p = -5*o + 15, 0 = 4*o - 3*p - 35. Suppose -162 = -2*y + 24. Suppose 20 = 4*k, 0*k - o*k = 2*t - y. Does 12 divide t?
False
Let u(t) = -3*t**2 - 10*t + 4. Let w be u(-9). Let l = -35 - w. Is 2/(-3)*l/(-4) a multiple of 14?
False
Suppose -b + 114 = -2*t, b = -2*t - 113 + 3. Let k = t - 38. Let v = -50 - k. Is 10 a factor of v?
False
Let f = -2462 - -3974. Suppose -3*j - 6*u + 2*u = -f, -3*u + 9 = 0. Suppose -5*y = m - j, 5*y - 2*m = -m + 500. Does 25 divide y?
True
Let f(a) = 1 + 32 + 2*a + 11. Let b be f(0). Suppose -25 = -q + b. Is 20 a factor of q?
False
Let j(o) = 8*o**2 + o. Let x be j(-1). Suppose 3*q - x*q + 8 = 0. Does 6 divide 31 + -7 + -2 + q?
True
Let a = 8 - 3. Suppose a*b - 15 = 2*b. Suppose -b*c = -60 - 240. Is 20 a factor of c?
True
Suppose n - 16 = -4*g - g, n - 5*g = 26. Suppose -20*x + n*x = 17. Suppose -18*l = -x*l - 26. Does 10 divide l?
False
Suppose -1187 = -9*z + 1711. Is 6 a factor of z?
False
Let x(i) = 13*i - 15. Let u be 2/(0 + (-2)/(-9)). Does 12 divide x(u)?
False
Let v = 43 + 40. Let y = -64 + v. Is 7 a factor of y?
False
Let y(f) = -f**3 - 5*f**2 + 5*f + 9. Let k be y(-6). Let a = k - 12. Suppose a*w - 1 - 14 = 0. Does 5 divide w?
True
Suppose -2*l + l = 0. Suppose l*v = -4*v - 48. Is 2/6*(129 + v) a multiple of 14?
False
Suppose 5*s - 36 + 11 = 0. Does 2 divide (-10)/s + (17 - (-4)/(-4))?
True
Let y be (1*21)/(12/8). Suppose -y*m - 84 = -12*m. Let j = -12 - m. Does 6 divide j?
True
Let x(a) = -a**3 - 13*a**2 + 252*a + 13. Is 43 a factor of x(-24)?
True
Suppose 5*z - 5*q = 67 - 17, 28 = 2*z + 2*q. Is 12 a factor of z?
True
Let r(y) = -y**3 + 6*y**2 - 8*y + 9. Let t be r(4). Is 9 a factor of t + -2*(-4)/8?
False
Suppose -11*o = -12*o - 252. Let r = -177 - o. Is r a multiple of 7?
False
Let o be ((1 + -7)/2)/(3/8). Let x(t) = -t**3 - 7*t**2 + 6*t - 12. Does 4 divide x(o)?
True
Is 13 a factor of (-614 + -5)*(5 - 6)?
False
Let o be 2/6 + (-22)/(-6). Suppose -5*x + o*x + 3 = 0. Suppose -3*b + 67 = 4*d, -29 - 37 = -x*d + 3*b. Is 5 a factor of d?
False
Suppose -2*b = l - 936, 2*l + l = 0. Is 67 a factor of b?
False
Suppose -v - 4*v + 251 = 4*p, -2*p - 227 = -5*v. Let o = 257 - v. Is o a multiple of 12?
False
Let j(m) = 89*m**2 - 8*m - 4. Is 16 a factor of j(-2)?
True
Let z(i) = -13*i - 6. Let v be z(8). Let n = -67 - v. Does 31 divide n?
False
Let w = -52 + 95. Suppose 0 = 2*c - s - w - 63, 0 = 5*s - 10. Suppose -5*r + y + 4*y = -110, -3*y + c = 2*r. Does 12 divide r?
True
Let l(k) = -29*k - 190. Is l(-20) a multiple of 65?
True
Suppose -30*k + 7830 = -k. Is 26 a factor of k?
False
Let m = 49 - -293. Does 8 divide m?
False
Let j(o) be the third derivative of -o**6/120 + o**5/12 + o**4/6 + 2*o**3/3 + 3*o**2. Is 13 a factor of j(5)?
False
Let l(w) be the first derivative of w**4/4 - 4*w**3 + 12*w**2 - 10*w + 57. Is 13 a factor of l(11)?
False
Let q = -104 - -168. Suppose -y + 3*y - 5*j = 52, 2*y - 2*j = q. Is y a multiple of 6?
True
Suppose -3*z + 8*z - 6600 = 0. Suppose 0*f + z = 10*f. Is 26 a factor of f?
False
Let h be (-3)/9 - 208/(-3). Suppose 0 = 4*b + 7 - 23. Suppose -2*g + 2*j = -114, -g + h = -0*g - b*j. Is 19 a factor of g?
False
Let g = 1246 - -14. Does 63 divide g?
True
Suppose -a = -3*a + 282. Suppose -382 = -4*o + 566. Let w = o - a. Does 14 divide w?
False
Let g(x) = -96*x + 44. Let h(p) = 19*p - 9. Let u(m) = 3*g(m) + 14*h(m). Suppose 0*q = -2*q - 4. Is 11 a factor of u(q)?
False
Suppose -5*n + 2345 = 7*w - 4*w, 0 = -2*n + 5*w + 969. Is 59 a factor of n?
True
Suppose 0*x + 2*t = -3*x + 11, 5 = 5*t. Suppose d = -x*w + 62, 0*w = 2*w + 2*d - 48. Let l = 31 - w. Is 3 a factor of l?
True
Let g(b) = b**3 + 6*b**2 - 8*b + 9. Let q be g(-7). Let y = q - 13. Suppose -3*d + y*l + 9 = -15, -d + 2*l = -11. Is d a multiple of 5?
True
Is (-24638)/(-14) + (80/70)/8 a multiple of 11?
True
Let c be (-1)/5 + (-180)/100. Let a(g) = -7*g**3 - 3*g - 3. Let i be a(c). Suppose n + 17 - i = 0. Does 14 divide n?
True
Suppose -2*y = 2*y - 44. Let z = 13 - y. Suppose w + z*w - f - 52 = 0, 2*f = -5*w + 72. Is 16 a factor of w?
True
Let a = 26 + -24. Suppose 27 = 3*y + i - 40, -2 = -a*i. Is y a multiple of 10?
False
Let p be -2 - 1/((-2)/(-6)). Is (p + 1)/(2/(-28)) a multiple of 28?
True
Suppose 2*p - 3*x - 76 = -0*x, -5*p + 216 = -x. Is 4 a factor of p?
True
Suppose -4*b = 5*z - 7*z + 230, -2*b + 4 = 0. Does 7 divide z?
True
Let b(d) = 17*d + 7. Is b(21) a multiple of 7?
True
Let j(y) = 7*y**2 - 8*y + 30. Is j(5) a multiple of 14?
False
Let k(o) = -5*o + 2. Let c be k(-2). Suppose 5*y - 2*i = 22, -34 = 6*y - 11*y - i. Suppose 4*n = y*n - c. Is n a multiple of 3?
True
Let j = -5 - -7. Let b(a) = 4 + 9 + 2*a - 11 + 7*a