- 16*n + 5. Let d be i(-12). Let y = 83 - d. Does 25 divide y?
False
Let o(n) = 209*n**2 + 10*n - 2. Is o(-2) a multiple of 74?
True
Let i = -24 - -36. Let t be (6/(-5))/(i/(-20)). Let j = 34 - t. Is j a multiple of 5?
False
Let q = 93 + -221. Let w = -61 - q. Does 22 divide w?
False
Suppose -1885 = -19*v + 21827. Is 16 a factor of v?
True
Let p be 10/35 - (-12)/7. Let q be 12/(-20) - 2/5. Is 3 a factor of p/(28/(-36) - q)?
True
Let q(f) = 12*f**3 - f**2 + 1. Let m(w) = -2*w**3 - w**2 + 1. Let l be m(-1). Let s be q(l). Suppose -4*z = -s - 75. Is 9 a factor of z?
False
Does 22 divide 2 + 714 + (-66 - -54)?
True
Let k(a) be the third derivative of 3*a**5/10 + a**4/4 + 2*a**3/3 - 2*a**2. Does 34 divide k(-4)?
False
Suppose 0 = -5*u + 3*h - 35, 0 = 2*u - 7*u - 3*h - 5. Let l be ((-4)/u - 107) + 4. Let o = l - -153. Is 15 a factor of o?
False
Let h(s) be the third derivative of s**5/15 + s**4/12 - s**3/2 - 2*s**2. Suppose -3*j - 10*j = 39. Is h(j) a multiple of 27?
True
Let z = 22 + -3. Let m = 49 - z. Is 6 a factor of m?
True
Let r = 7 + -9. Let w(f) = -50*f + 5. Is w(r) a multiple of 21?
True
Let k(z) = -z**3 + 11*z + 5*z**2 + 8 - 3 + 2*z**3 + 5*z**2. Let h = -14 + 6. Is 12 a factor of k(h)?
False
Let b = 12 - -17. Suppose -b = -l + o + 5, -2*o + 43 = l. Let p = l - 5. Is 16 a factor of p?
True
Let o = -8 - -12. Let h = o - 0. Suppose -5*x + 52 = -h*x. Is 25 a factor of x?
False
Let p(x) = -11*x - 12. Let v = -8 - -20. Let c be p(v). Is 12 a factor of (c/4)/(-4 - -3)?
True
Suppose -15*n = -6899 - 7921. Is n a multiple of 19?
True
Let d(i) = i**2 + 3*i - 3. Let x be d(-7). Suppose -3*y - 1 + x = 0. Suppose 2*v = -0 + y. Does 2 divide v?
True
Let v = -29 - -28. Let d = 8 - v. Is d a multiple of 8?
False
Let v = 6 - 27. Is 13 a factor of (156/21)/((-6)/v)?
True
Suppose 2 = 4*q + 22. Is (-3 - (-13)/q)*-10 a multiple of 14?
True
Let j = 3919 - 1692. Does 17 divide j?
True
Let t = 10 - -85. Let f = t - -7. Is 17 a factor of f?
True
Does 30 divide (-56)/12*(-9135)/30?
False
Is (-3)/(-36) - (-954205)/420 a multiple of 71?
True
Let z = -296 - -376. Is 27 a factor of z?
False
Suppose -145 = 3*b - 4. Let f = b + 69. Does 12 divide f?
False
Suppose 4*d - j = 2605, 7*d - 4*j + 1949 = 10*d. Does 14 divide d?
False
Let o(i) = -15 - 4 + 2*i + 0*i - 3*i. Let u be o(10). Is 3 a factor of u/(-3) - 6/9?
True
Let b(y) be the second derivative of y**4/12 + y**3/6 - 41*y**2/2 - 14*y. Does 13 divide b(-8)?
False
Let l = 477 + -356. Is 5 a factor of l?
False
Let q be (56/(-12)*1)/((-4)/6). Suppose -y + q + 11 = 2*w, w + 56 = 2*y. Is 13 a factor of y?
True
Let m(d) = 134*d - 222. Is 71 a factor of m(15)?
False
Let c = -185 + 341. Does 8 divide (c/(-91))/(3/(-14))?
True
Suppose -w + 1 + 4 = 0, 2*w = -3*m + 22. Suppose 2*a = -4*c + 262, -24 = 5*c - m. Does 14 divide a?
False
Let p be (-9)/(-12) + (-5)/(-4). Suppose g + 0*v - 35 = -3*v, p*v - 31 = -g. Let a = 12 + g. Is a a multiple of 15?
False
Suppose 2*u = -2*u + 64. Let v = 20 - u. Suppose -8 = -i - v, -258 = -5*o - 2*i. Is o a multiple of 14?
False
Let v(c) = c**2 + 9*c + 3. Let f be v(-9). Let k be (3 + 44/(-6))*f. Let t = -10 - k. Is t a multiple of 3?
True
Suppose -3*g + 266 = -148. Suppose 13*l - 16*l = -g. Is l a multiple of 46?
True
Does 15 divide (-9135)/(-116)*(5 - 1)?
True
Let n be 2 - (17 + 3)/(-2). Let h be (-2)/n - 38/(-12). Suppose g = -y + 29, -g - h*y + 21 + 4 = 0. Is g a multiple of 11?
False
Suppose 3 = -k - 2*k. Let d(i) = i**2 - i + 2. Let g be d(0). Let s = g - k. Is 3 a factor of s?
True
Suppose -3 = 2*p - 3*t, -2*p - 2*t - 3 = 5. Let g be 3 + -2 + (-3)/p. Suppose -4*m + 8 = z, -12 - 24 = -g*z - 4*m. Is 14 a factor of z?
True
Let h = -28 - -48. Let f = h + -20. Suppose f*m - 40 = -2*m. Does 15 divide m?
False
Suppose r = 4*r + 33. Let w(g) be the third derivative of -g**6/120 - 11*g**5/60 - g**4/8 - g**3 + g**2. Is 7 a factor of w(r)?
False
Suppose -4*r + x - 2 = 0, 2*r - 3*x + 4*x = 2. Suppose r*b = 3*b - 63. Does 7 divide b?
True
Let t(k) = k - 15. Let a be t(7). Is 24 a factor of 6/(-24) + (-234)/a?
False
Let p = 28 + -31. Does 16 divide p*(1 + 1/(-3)*97)?
False
Let q be (-1)/(-3) + (-10)/(-15). Let r(f) = 116*f**2 - f. Let x be r(q). Suppose -5*y - x = -5*o + 40, 0 = -4*o - 4*y + 164. Is 13 a factor of o?
False
Let h(w) = w + 8. Let d be h(-6). Suppose d*y - 7 - 3 = 0. Suppose -239 + 9 = -y*i. Is 17 a factor of i?
False
Let l = -17 - -38. Is 3 a factor of 65/7 + (-6)/l?
True
Suppose 2*f = 2*g + 267 + 127, 0 = -g + 3. Does 25 divide f?
True
Let m = -335 - -235. Let f be (m/6)/((-6)/9). Suppose n = i - f, 3*n + n + 121 = 5*i. Is i a multiple of 7?
True
Suppose -2*j + 1 - 10 = -d, -3*d + 15 = -2*j. Suppose -2*x - i - 5 = -127, 0 = d*x + 3*i - 177. Does 7 divide x?
True
Let c = 56 - 35. Suppose c + 3 = 2*j. Is j a multiple of 6?
True
Let x = -531 - -583. Is 52 a factor of x?
True
Let w(o) = -o**2 + 5*o - 6. Let z be w(4). Let d be z*3*3/6. Let j(v) = -3*v - 3. Is 3 a factor of j(d)?
True
Is (-3015)/(-12) - (-21)/28 a multiple of 84?
True
Let n = -10 + 14. Suppose n*q = 5 + 11. Suppose 0 = 3*o - b - 113, 2*o - 97 = q*b - 5. Does 19 divide o?
False
Suppose 35862 = 18*t - 1002. Does 8 divide t?
True
Let a = -13 - -16. Suppose -a*b = -b - 72. Is b a multiple of 12?
True
Let b = -40 - -85. Is 13 a factor of b + (-5)/((-15)/9)?
False
Let c be -121 + -3*1/3. Let p = -63 - c. Suppose -6*i + p = -37. Is i a multiple of 16?
True
Let t(u) = -u**2 + 3*u - 2. Let c be t(4). Let o = 6 - c. Is o a multiple of 4?
True
Suppose m = 4*l, 3*l - 2*m = -m + 1. Is (-2 - l)/((-6)/162) a multiple of 13?
False
Does 6 divide (-1864)/24*-3 - -5?
False
Let a be (-3 - -1) + 7 + 1. Let m = 31 - 34. Is ((-4)/m)/(a/486) a multiple of 31?
False
Let j = -20 - -25. Does 3 divide ((j - 2) + -6)*1 - -18?
True
Suppose 4*b = -3*l + b - 27, -3*l - b - 35 = 0. Let j(c) = c**3 + 13*c**2 - 10*c + 1. Let z be j(l). Let u = z - 83. Is 12 a factor of u?
True
Let y = -1 - -1. Let f(l) be the first derivative of l**4/4 - l**3/3 + 3*l + 1. Is f(y) even?
False
Let b = -441 + 621. Is b a multiple of 15?
True
Let w = 194 + -72. Does 3 divide w?
False
Let x = 86 + -81. Suppose -o = x*o - 858. Is o a multiple of 11?
True
Let n be (56/(-35) + 2)*60/2. Suppose -10*d = -n*d + 112. Is d a multiple of 14?
True
Suppose 3*u + 33 = -4*x, 0 = -3*x - 5*u - 12 - 21. Let j(r) = r**2 + 2*r + 3. Does 4 divide j(x)?
False
Let y = 24 - 26. Let v be y/(-4)*(6 + 0). Suppose -p + 250 = 4*p - 5*n, 3*n - 132 = -v*p. Does 41 divide p?
False
Let o(l) = 263*l - 13. Let i be o(19). Suppose 9*t = i - 1357. Does 63 divide t?
False
Suppose 0 = -6*j + 10*j - 36. Is 12 a factor of j*(-2)/6 + 95 + -1?
False
Suppose -4*g = 2*s - 2802, 2*g + 3*s - 771 - 636 = 0. Suppose 3*f - g = -30. Is f a multiple of 11?
False
Let n = -13 - -18. Suppose n*x + 71 = l, -382 = -5*l - 0*l - 2*x. Suppose -3*h = -4*h - 2*t + 38, 2*h = -2*t + l. Is h a multiple of 15?
False
Let v(c) = -c**2 + 4*c + 3. Let t be v(-2). Let y = 12 + t. Suppose 3*n = -a + y*a - 68, 5*a - 192 = 2*n. Is a a multiple of 9?
False
Let g be (6 - 4)*(-2)/(-2). Let c be ((-3)/g)/((-9)/18). Does 12 divide 136/3 + (-1)/c?
False
Let o = -48 - -48. Suppose 4*w = o, 2*v - 4*w + 6*w = 60. Does 3 divide v?
True
Suppose 9 = -3*m, 2*v - m + 153 = 686. Is 53 a factor of v?
True
Suppose 2*d = 4*d. Let s = d - 6. Is (4/s)/((-8)/180) a multiple of 4?
False
Suppose 4386 = 8*s - 582. Is s a multiple of 27?
True
Let d be (7 + -4)/((-3)/(-3)). Suppose -d*k + 81 = -39. Is k a multiple of 10?
True
Suppose -2*y = -g + 60, 5*g - 114 = 5*y + 186. Is 3 a factor of g?
True
Suppose 21 - 9 = -4*u, 0 = 2*y + 2*u - 244. Is y a multiple of 5?
True
Let o(k) = k**2 - 2*k - 5. Let z = -6 - -10. Let u be o(z). Is (u - 2)*-1 + 43 a multiple of 11?
False
Let w = 205 - 75. Let b be 6/33 + (-1522)/22. Let i = b + w. Is 21 a factor of i?
False
Suppose 5*q - q = -3*b - 15, 3*q + 3*b + 9 = 0. Let i be (104/(-12))/(4/q). Suppose 0 = -2*g + 3*d + 6 + 45, -g + i = -4*d. Is 11 a factor of g?
True
Does 2 divide 160/1 - (-4 + 0)?
True
Let w(u) = u**3 + 14*u**2 + 7*u - 22. Suppose 0*a = -5*a - 65. Is w(a) a multiple of 8?
True
Let m = -6 + 8. Suppose 0 = -3*c, m*u - 5*c = -3*u + 215. Does 19 divide u?
False
Let g(w) = w**2 + 7*w - 195. Does 55 divide g(25)?
True
Let c = 10 +