t c(o) = -5*o**2 - o - 9. Let v be c(-4). Let l = -58 - v. Does 27 divide l?
True
Is 23 a factor of 1*1123 - (-55)/(-11)*1?
False
Is 37 a factor of 552 - 4 - 70/(-10)?
True
Let y(h) = -2*h**2 + 14*h - 7. Let p be y(7). Let q be (4 + p)/((-3)/2). Does 22 divide 3/(3/(56 - q))?
False
Let d be ((3 - 3)/(-5))/(0 - -2). Let p(i) = i + 189. Is p(d) a multiple of 39?
False
Suppose -2*u - 2*r = -38, r = -0*r - 4. Suppose 6*x - 5*x = 5*o - 5, 0 = -o + 5*x - u. Does 2 divide o?
True
Suppose 20 = 3*s - 8*s. Let h(u) = u**3 + 6*u**2 + 4*u - 5. Let b be h(s). Is (7 - 2)*(b + -8) a multiple of 15?
True
Suppose -3*q + 36 = -2*t + 6*t, t + 29 = 4*q. Is q a multiple of 8?
True
Suppose -56 = 4*i - 0*g - 3*g, 0 = 2*i + 4*g + 28. Let o be 7*(20/i)/(-5). Suppose c - 10 = -o*j, -2*c = 3*j - 5*c + 3. Is 3 a factor of j?
True
Suppose 5 - 41 = 2*z. Is ((-4)/(-8) + -4)*z a multiple of 7?
True
Suppose 0 = -2*r - 0*r + 60. Let p be 162/r + 6/10. Let c(b) = b**2 - b - 4. Does 9 divide c(p)?
False
Is (-2)/(-10) - (101808/(-30))/7 a multiple of 8?
False
Suppose -5*d = -10 - 15. Suppose -f - j = 0, -19 - 5 = f - d*j. Is 24 a factor of ((-28)/(-6))/(f/(-30))?
False
Let x(z) = -42*z + 252. Let f(y) = 17*y - 101. Let t(a) = 12*f(a) + 5*x(a). Is t(-9) a multiple of 6?
True
Let k be 116/(-1) + (-7 - -3) + 1. Let g be 1497/(-21) - (-2)/7. Let j = g - k. Does 16 divide j?
True
Let l(a) = a - 3. Let u be l(2). Let v = -10 - u. Does 5 divide (252/30)/(v/(-30))?
False
Let t = 955 - 607. Does 15 divide t?
False
Let l be 15/10*(-32)/(-6). Let g(t) = -t + t - 5*t + l - 26. Is 27 a factor of g(-18)?
False
Suppose -3*x - 42 + 113 = 2*m, 206 = 5*m - 2*x. Suppose 3*a = -2*a + m. Is (-22)/(-55) - a/(-5) a multiple of 2?
True
Let z = 45 + -50. Let r(f) = -4 - 7*f + f - 2*f. Does 14 divide r(z)?
False
Suppose 307 + 344 = -7*l. Let x = l + 157. Is x a multiple of 7?
False
Suppose -20*b + 20759 = -38461. Is b a multiple of 32?
False
Suppose -573 = -s - 3*s + b, -3*s = -b - 431. Suppose h + 5*g = 146, -16 - s = -h - g. Does 17 divide h?
False
Suppose 3*l + 4*n - 377 = 0, 3*l - 4*n + 221 = 558. Is 7 a factor of l?
True
Suppose 0*s + 4*s = 280. Suppose -b = -6*b + s. Let w = b - -5. Is 19 a factor of w?
True
Suppose -9 = 14*o - 13*o. Let i be 4/1 - 99/o. Is 3/i - (-78)/10 a multiple of 2?
True
Let k = 774 - 238. Does 26 divide k?
False
Let g = 3175 - 2157. Does 21 divide g?
False
Let s(m) = 2*m**2 - 16*m + 15. Suppose 4 = 3*d - 2. Suppose -20 = -d*w - 5*t, -t + 6*t = 0. Does 22 divide s(w)?
False
Let l(d) = -d**3 + 6*d**2 + 2*d - 9. Let g be l(6). Let r = -33 - -85. Suppose -t + 19 = s, -s = g*t + s - r. Does 7 divide t?
True
Let f = -47 + 119. Does 18 divide f?
True
Let c(o) = -5*o + 6. Let f be c(-12). Suppose 4*h - 2*h = f. Does 11 divide h?
True
Let y(k) = -1264*k**3 + 7*k**2 + 23*k + 17. Does 55 divide y(-1)?
True
Suppose 0 = 2*j - 3*p - 156, 387 = 4*j + 3*p + 111. Let x = j - 39. Suppose -5*f = -177 - x. Does 14 divide f?
True
Suppose -15 + 111 = 4*q. Let v = 20 - q. Does 20 divide -2 + 2 + (16 - v)?
True
Let o = -504 + 854. Is 25 a factor of o?
True
Suppose 0 = 5*i - 24 + 4. Suppose -i = -3*o + 14. Is 14/(-42) + 350/o a multiple of 29?
True
Let r = 66 + -65. Let u be (1 + 4/(-6))*-3. Is u - r/1 - -30 a multiple of 14?
True
Let u(h) = 14*h**2 + 7*h - 3. Let m be (21/14)/(2/4). Is 16 a factor of u(m)?
True
Let o = 3 + -8. Let m = 52 + o. Let d = -31 + m. Is d a multiple of 4?
True
Suppose 0 = 2*v - 0*v. Suppose l + 4*n - 20 = -v*l, 20 = 5*l + 4*n. Is 31 - 0/(l - 1) a multiple of 31?
True
Let x = -1035 + 1460. Is x a multiple of 25?
True
Is 1455/30 - (-3)/(-6) a multiple of 16?
True
Suppose 15*n - 19*n = -796. Does 3 divide n?
False
Suppose 4*j - 5*c = -304, -4*c = -0*j + 2*j + 126. Let p = 127 + j. Is 7 a factor of p?
True
Let l(o) = -o**2 - 9*o - 1. Let v be l(-9). Let p be -6 + 6 + 12 + v. Suppose 5*i + p = 2*w, -2*w + i = -4 - 11. Does 4 divide w?
True
Let z(y) = -y + 597. Is z(61) a multiple of 16?
False
Does 17 divide 6/(-24)*-4*1*839?
False
Let h be 2 + -5 - (-9 + 2). Suppose -y - 401 = -4*k + h*y, -k + 5*y = -89. Is 8 a factor of k?
True
Let b(r) = r + 11. Let l be b(-8). Suppose -2*a + l*t + 16 = 0, -3*a + 4*t = -t - 25. Suppose -5*q + 187 - 67 = a*y, -2*q - y + 44 = 0. Is 5 a factor of q?
True
Suppose -2*d - 5 = -3*d. Suppose 0 = g - 107 - 56. Suppose 28 - g = -d*h. Is 16 a factor of h?
False
Suppose -469070 = -74*w - 132666. Does 138 divide w?
False
Suppose n + 0*n = 91. Suppose 5*f = -0*f - u + n, -4*f + 60 = 4*u. Suppose g + 34 + 33 = 5*b, 3*g = 2*b - f. Does 7 divide b?
True
Let h be (-2)/4 - (-15)/(-2). Let a(k) be the third derivative of -k**6/120 - 7*k**5/60 + k**4/6 - k**3 - 8*k**2. Is a(h) a multiple of 6?
False
Let a = 81 + -37. Suppose -a = -8*y + 196. Is y a multiple of 30?
True
Let r(s) = -2*s**2 + 21*s - 15. Let v(o) = 3*o**2 - 43*o + 29. Let k(i) = -5*r(i) - 3*v(i). Is 6 a factor of k(-27)?
False
Let y(q) = -q**3 - 13*q**2 - 5*q - 17. Suppose -6*i = -4*i + 26. Does 24 divide y(i)?
True
Let i(x) = -x**3 + 13*x**2 + 3*x + 16. Suppose -4*t - 7 = -59. Let k be i(t). Suppose 0 = 5*m - 5*f - k, f - 7 = -3*m + m. Does 2 divide m?
True
Let m be 12/(-9)*(-285)/(-2). Let j = 266 + m. Is j a multiple of 38?
True
Let x = -150 - -283. Does 15 divide x?
False
Suppose -3*r - 2*z = -4*r, 4*z = 0. Suppose r = 4*m - 205 - 155. Is m a multiple of 10?
True
Let v = -12 + 14. Suppose -d = -v*r + 329, 4*r - 329 = -2*d + 333. Is r a multiple of 34?
False
Let h = 2119 + -1169. Suppose 8*g = 178 + h. Is g a multiple of 30?
False
Let f(h) = h**2 + 4*h - 8. Let i be f(-6). Let c(u) = 2*u**3 - 4*u**2 - u - 1. Is 11 a factor of c(i)?
False
Suppose 0 = -2*f - 2*b + 50, 0*f - 2*b - 10 = -f. Let l(g) = g**2 - 20*g + 28. Is 7 a factor of l(f)?
True
Let j(p) = 29*p - 206. Is j(13) a multiple of 3?
True
Suppose 4 = -4*b, b = 2*z - b - 16. Let x = -8 + z. Let q(r) = -64*r**3 - r**2 + r + 1. Does 21 divide q(x)?
True
Let p(n) = n + 12. Suppose -17 = -4*d - 57. Let b be p(d). Is (b/6)/((-7)/(-567)) a multiple of 14?
False
Does 2 divide 904/14 - (-212)/(-371)?
True
Suppose 3*v = 2*o - 1225, 5*o + 0*v + 3*v - 3010 = 0. Does 55 divide o?
True
Suppose 33*n - 35*n + 66 = 0. Let m = 36 - n. Suppose -m*w + 189 = -39. Is 19 a factor of w?
True
Let j(h) = -h**2 - 7*h + 18. Let m be j(-8). Suppose -923 = -3*w - m*w. Does 8 divide w?
False
Let x(p) = p**3 + 8*p**2 + 6*p - 4. Let q = 4 + -11. Let u be x(q). Suppose z - 33 = -3*v, 2*z - 5*v = -u*v + 74. Is z a multiple of 12?
True
Let o(g) = 4*g**2 + 13*g - 4. Let r be o(-11). Let b = r + -239. Is b a multiple of 14?
True
Suppose -2*h = -h + 3*z - 7, -3*z = 5*h - 95. Let b = h - 18. Suppose 0*a - b*a = -52. Is a a multiple of 8?
False
Suppose -82 = -5*j + 2*h - 3*h, 0 = -j - h + 18. Suppose 23*n - j = 19*n. Is n a multiple of 4?
True
Suppose -3*h + 727 - 2311 = 3*p, -1579 = 3*p + 4*h. Let i = p - -789. Does 57 divide i?
False
Suppose 3*v = 2*n + 63, 3*n - 17 = -5*v + 69. Suppose -v + 4 = -5*c, -5*f + c = -37. Suppose 0 = -f*m + 13*m - 140. Is 13 a factor of m?
False
Let c = 461 - 275. Let s = c - 105. Is 34 a factor of s?
False
Suppose 18*c = 22*c. Suppose -4*n + 27 + 105 = c. Is 11 a factor of n?
True
Is (0 - (-560)/30)/(1/27) a multiple of 21?
True
Let u be 4 - (-2 - (2 - 4)). Suppose -3*l = -u*l + 95. Does 19 divide l?
True
Let a(o) = -30*o**3 - 5*o**2 - 3*o - 1. Is a(-3) a multiple of 5?
False
Let y(c) = c**3 + 13*c**2 - 15*c - 15. Let o be y(-14). Let k(u) = -85*u**3. Is 17 a factor of k(o)?
True
Suppose -20*k + 1554 + 44866 = 0. Does 76 divide k?
False
Suppose 0 = 7*h + 2*h - 180. Let y = 39 - h. Is y a multiple of 9?
False
Is 8 a factor of 4/44 - (30720/(-33) - 5)?
True
Let u(b) = 19*b + 4. Is 7 a factor of u(11)?
False
Suppose 2*f = 3*w + 1675, -w = -f + 2*w + 839. Is f a multiple of 19?
True
Suppose -5 = 9*a - 4*a. Let t be 2 - a*4/2. Suppose 5 = -u, -t*w = -w + 2*u - 86. Does 7 divide w?
False
Let b(m) = 7*m**2 - 14*m - 1. Let r be b(15). Suppose -2*y + 5*c = -689, 4*c - r = -4*y - 0*c. Is 38 a factor of y?
True
Suppose 8*q = q + 28. Suppose 4*n = 3*n - q*m + 336, -n = -2*m - 336. Is n a multiple of 21?
True
Suppose 0*o = -o + 2. Suppose 5 = -2*w + 3*w. Suppose -o*a + i = 2*i - 115, -a = -w*i - 85. Is 12 a factor of a?
True
Let z(x) = -12*x - 5 + 2*x - 125*