
Suppose -3*a - 6 = -12. Suppose a*u = 2*i - 0*i, -3*i + 2 = -4*u. Is (-470)/(-15) + u/6 a multiple of 31?
True
Let s = 557 + -386. Suppose 6*o - 8 = 4*o, s = h - o. Does 35 divide h?
True
Let g be 6/(-4)*2*1. Let c be (-3 + g)*(-27)/3. Suppose 73 = 5*b + 4*s, 0*b = -3*b + s + c. Is 14 a factor of b?
False
Let t = -149 - -171. Is 22 a factor of t?
True
Let y(r) = 20*r**3 + r**2 - r. Let n be y(1). Suppose -2*w + 4 = 4*q - 12, -4*w - n = -5*q. Is (0 - 0) + 20/q a multiple of 2?
False
Let i = -9 - -15. Is 18 a factor of (-1)/((-79)/(-162) + (-3)/i)?
False
Let u(r) = -r**3 - 10*r**2 + 8*r - 30. Let a be u(-11). Is 13 a factor of (a*3)/(50/(-26) - -2)?
True
Let g be 33/(-5) - (-4)/(-10). Let i(n) = -n - 6. Let d be i(g). Is 10 a factor of 26/d + -1 + 0?
False
Let c be 42*1*3/(-6). Let b = c + 20. Is 13 a factor of ((-1162)/(-14))/(b/(-1))?
False
Suppose -q + 5 - 15 = 2*z, 5*z = 3*q - 14. Let a be (20/(-15))/(z/6). Suppose 5*y = a*k - 94, -k + y + 128 = 2*k. Is k a multiple of 14?
True
Let b = -274 + 466. Let l = b - 84. Suppose 0*n + 4*w = -3*n + l, w + 29 = n. Is 8 a factor of n?
True
Does 23 divide (-1 + 3)/(17/5083)?
True
Suppose -4*n - 4*q + 2531 = -3781, -3*q - 6291 = -4*n. Does 23 divide n?
False
Let o = 17 - 21. Let j(l) = -l**3 - 3*l**2 + 6*l + 2. Let f be j(o). Is 9 a factor of f/15 - (-57)/5?
False
Let c(v) = 4*v + 2. Let k be c(-2). Suppose 4*a + 0*a = 2*g - 94, 0 = 5*g - 3*a - 207. Let h = g + k. Is 11 a factor of h?
True
Let r(f) = -f**2 - f + 15. Let s be r(-4). Suppose 270 = -0*m + s*m. Does 10 divide m?
True
Suppose -l = 2*w - 26 + 85, 2*w = 2*l + 106. Does 26 divide ((-572)/l)/((-2)/(-20))?
True
Let n = -115 + 232. Does 21 divide n?
False
Let w = -60 + 93. Suppose 2*a + a = 5*a. Suppose a*o - o = -w. Is o a multiple of 11?
True
Suppose 0 = 3*c + 2 - 14. Suppose 295 = 5*y + 5*b, y - c*b = -9*b + 43. Is y a multiple of 9?
True
Let l be (-6)/(-9) + 2*4/6. Suppose -4*o - l*x = -174, 2*o + 0*o - 99 = 3*x. Does 9 divide o?
True
Let x(s) = 8*s**2 - 39*s - 296. Does 8 divide x(-8)?
True
Let h(p) = 96*p**2 - 34*p + 125. Is 14 a factor of h(4)?
False
Suppose -3*d + 3*c - 14 = -8*d, 0 = 3*d + 4*c - 4. Let i be (2 - -1)/(6/4). Suppose -4*b + i*b = 4, -3 = l + d*b. Does 5 divide l?
True
Let l(d) = -52*d**3 + 6*d**2 + 43*d + 4. Is 44 a factor of l(-4)?
True
Is 20/3*594/15 a multiple of 8?
True
Let y = 928 - 606. Is 14 a factor of y?
True
Let n(v) = 14*v + 3. Let r be n(-5). Let q(p) = 2*p**2 + p. Let z be q(1). Is 23 a factor of (5 - z) + 0 - r?
True
Let m be 2/6 - 3/9. Suppose m = x - 0 - 29. Let u = x + -17. Does 3 divide u?
True
Let s = -83 + 119. Let z = 125 - s. Is z a multiple of 25?
False
Let f(d) = -d**3 - 5*d**2 - 2*d + 4. Let b be f(-3). Is 2 a factor of (2 + b/5)/((-6)/(-90))?
True
Let n = -71 - -143. Suppose 2*z + 3*q = -z + n, -3*q + 114 = 5*z. Let l = 69 - z. Does 16 divide l?
True
Suppose -6*f - 8*f = 14. Is f/3 - (-740)/15 a multiple of 7?
True
Let r(x) = -15*x + 1085. Is 31 a factor of r(0)?
True
Let d(z) = z**3 - 7*z**2 - 3*z + 4. Let o be d(7). Let a = o - -16. Is 7 a factor of (-13)/(-26)*(a + 15)?
True
Suppose 0*s - 3*p = 3*s + 42, 2*p = 2*s + 20. Let x be 2/s - (-21)/18. Does 9 divide (-108)/(-3) + x + -1?
True
Suppose 5*x + 5*t - 840 = 0, -5*x = -6*t + t - 860. Is x a multiple of 34?
True
Let a(w) = -w + 12. Let i be a(8). Suppose r + 1 = 0, h + 3*r - 19 = i*r. Does 6 divide h?
True
Is (-42)/(-8)*-36*24/(-18) a multiple of 25?
False
Suppose 6*g - 45 = g. Let v = g - 5. Suppose t + 3*p - 9 = 0, v*p - 3*p = -t + 11. Is t a multiple of 8?
False
Suppose -g - 5 - 6 = 0. Let m = g - -53. Is 14 a factor of m?
True
Suppose 3*a + 3*h - 324 = 0, -4*a + 3*a + 2*h = -93. Does 13 divide a?
False
Suppose 3*s - 4*l = 49, s - 10 = -0*s - 5*l. Suppose 50 + 4 = 2*z. Suppose 0 = v - z - s. Is v a multiple of 21?
True
Let w be -1*(4 + 1/(-2))*-2. Is ((w/4)/((-12)/(-384)))/2 a multiple of 14?
True
Let f(h) = 4*h + 14. Suppose -2*x + 26 = -0. Is f(x) a multiple of 32?
False
Let m = 44 + -40. Is 897/13 + -1 + m a multiple of 12?
True
Suppose k + 211 = -33. Is 31 a factor of (-3)/6*k + -2?
False
Let n(j) = -7*j + 7. Let q = 49 + -66. Is 15 a factor of n(q)?
False
Suppose 42*u = -21988 + 57898. Is 57 a factor of u?
True
Let s(c) = c + 15. Let x be s(-12). Suppose -4*w = -x*z - 30, -2*w + 7*z - 2*z + 22 = 0. Does 5 divide w?
False
Suppose 5*l - 1416 = 4*r, 4*l + 0*r - r = 1124. Does 50 divide l?
False
Let h be 4/18 + 26/(-117). Suppose h - 24 = 4*f. Is 24 a factor of (f + 18)*(-24)/(-9)?
False
Let h = -65 - -157. Is 41 a factor of (3 + 1)/(-2)*-1 + h?
False
Let i(d) = -d**3 + 7*d**2 + 3*d - 5. Let y be (-8)/(-32) - 38/(-8). Let x be i(y). Is 16 a factor of x*(24/(-10))/(-3)?
True
Let j = 1872 - 1206. Let f = j + -415. Is f a multiple of 20?
False
Suppose -5*d = -2*u + 2681, u - 1343 = -5*d + 8*d. Does 12 divide u?
False
Let l = -33 + 47. Let m be (-4)/l - 31578/21. Is 18 a factor of m/(-28) + (-2)/(-7)?
True
Let k be (4 - 6) + -19 - 4. Let l = 61 + k. Suppose l = 2*n - 12. Does 10 divide n?
False
Suppose -4*m = -331 - 253. Let z = m - 87. Is z a multiple of 7?
False
Let y(x) = x**2 + 2*x + 5. Let o(z) = -z**3 + 6*z**2 - 7*z + 3. Let p be o(5). Let d be y(p). Suppose f - d = -2*k, 0 = 2*k - k - 2. Does 9 divide f?
True
Let c(b) = -2*b**2 - 13*b + 7. Let l be (-4)/8 - 13/2. Let j be c(l). Suppose 3*d - d - 34 = -4*o, j = 4*o + 8. Does 20 divide d?
False
Let y = -91 - -164. Is 13 a factor of 0 + y + (0 - -2)?
False
Let f be 3 - 5/((-15)/(-24)). Let k = f + 10. Suppose -3*z - 131 = -k*n - 12, n = -z + 27. Is n a multiple of 15?
False
Suppose 0 = -26*k + 29*k - 2934. Is k a multiple of 24?
False
Let j = -399 + 629. Is j a multiple of 23?
True
Let k(i) = 61*i + 5. Let d be k(2). Let q = d - 59. Does 8 divide q?
False
Let i = -16 + 5. Let g = -10 + i. Let z = g + 50. Does 14 divide z?
False
Let v(c) = c**3 - 6*c**2 + 5*c - 6. Let n be v(6). Is 12 a factor of n/(-7)*(-6 + -1)?
True
Suppose 0 = -4*k + 4*c + 1396, -8*c + 3*c = -2*k + 704. Let r = k - 91. Does 16 divide r?
True
Let l be (0 - 1/(-3))*6. Suppose -3*r = -4*n + 412, 0*r = -3*n + l*r + 308. Let y = n + -34. Is y a multiple of 14?
False
Let k(f) = -f**3 - 7*f**2 - 5*f. Let c be k(-6). Let y be ((-90)/75)/(c/20). Suppose -5*d = -y*d - 60. Does 24 divide d?
False
Suppose 3*c = -4*l - 2, -c = -2*l - 0*l + 14. Let o(p) = 2*p**2 + 7*p - 2. Let r be o(c). Suppose j - 3*u + 12 = 0, -5*j - 3*u + r = -2. Does 3 divide j?
True
Suppose 167 = 13*m - 1471. Does 6 divide m?
True
Let s(z) = 20*z**2 + 3*z - 1. Suppose 0 = -2*t - 3*q + 14, -15 = 3*t + 2*t - 5*q. Does 2 divide s(t)?
True
Is 17 a factor of -32 - -30 - (-3)/((-9)/(-1587))?
True
Suppose 3*p = 4*p - 4*h - 7, -3*h = 3*p + 9. Let a(g) = -43*g**3 + g**2 + 2*g. Is a(p) a multiple of 14?
True
Suppose 3*x - 5*i + 4*i - 21 = 0, 2*i = 5*x - 36. Let s = -19 - -13. Does 5 divide 4/s - (-76)/x?
False
Does 43 divide (1 + 1259)*(9/(-2) + 5)?
False
Let f be 3/9*60/4. Let t = -6 + 90. Suppose o - t = -0*o + f*a, 0 = -5*o - 2*a + 312. Is 16 a factor of o?
True
Suppose 0 = 13*t + t - 42. Suppose 0 = -5*p - o + 187 + 378, -t*p - 4*o = -356. Is p a multiple of 8?
True
Suppose 0 = o + 1, -4*q - 9*o + 10*o = -3673. Is 39 a factor of q?
False
Let d(c) = c**3 + c**2 + 3*c + 141. Let o be d(0). Suppose -7*t = -251 - o. Is t a multiple of 8?
True
Suppose 4*x + x + 3 = h, -4*x - 4*h = 12. Is 5 a factor of (-15*2/2)/x?
True
Let g(i) = -i + 4 + 2*i + 0 - 1. Let z be g(-2). Is 5 a factor of z/(-2) - 21/(-2)?
True
Suppose -h = -12*h + 33. Is -4*h/(-4) - -123 a multiple of 20?
False
Let q(i) = -4*i**3 + 6*i**2 + 9*i - 5. Let s(n) = -5*n**3 + 7*n**2 + 10*n - 6. Let g(l) = 4*q(l) - 3*s(l). Suppose -8*r = -9*r + 4. Is g(r) a multiple of 6?
True
Let v = 3041 - 2172. Is 67 a factor of v?
False
Suppose -6046 = -2*a - 1210. Does 31 divide a?
True
Suppose 0 = 3*n - 3, 3*n + 30 = b - 18. Let z = 2 - b. Let m = z + 95. Does 12 divide m?
False
Let d = 0 + -7. Let t(h) = h**3 + 8*h**2 + 4*h - 9. Let k be t(d). Suppose -8*v - 168 = -k*v. Does 14 divide v?
True
Suppose -5*x + 4*b + 1088 = 0, 0 = -x - 28*b + 23*b + 235. Is 29 a factor of x?
False
Is (154/(-55))/(-3 - (-178)/60) a multiple of 7?
True
Let k(o) be the third derivative of o**5/60 - o**4/24 - o**3 - 11*o**2. Let g be k(3). Suppose