y + 17 = 3*n, -4*y - 14 = 2*n - 4. Suppose 3*c + 4*b - 259 = 9*b, n*b = -2*c + 198. Does 39 divide c?
False
Suppose 9*j + 4*m = 7*j + 18268, -4*j = 2*m - 36500. Is 80 a factor of j?
False
Let i(o) = -5*o - 11. Let z be i(-5). Suppose 7*h + 0 + z = 0. Does 36 divide (-1)/((8/16)/(83/h))?
False
Suppose -73 = 10*p + 47. Let q be ((-8)/(64/p))/((-1)/(-130)). Let x = q - 16. Does 34 divide x?
False
Let s(t) = -86*t**3 + 68*t**2 - 2*t. Is 12 a factor of s(-6)?
True
Suppose 2*z = i + z - 53, -4*i + 222 = z. Let s be (0 + (-16)/(-10))*i/22. Suppose s*a - 69 = -n + a, 3*n + 2*a - 207 = 0. Is 23 a factor of n?
True
Let s(w) = 46*w - 38. Let c be s(8). Suppose -970 = -2*g + c. Suppose 0 = 8*o - 3*o - g. Does 25 divide o?
False
Let j = -5663 - -9220. Suppose -5*f - 428 = -5*u + j, 3*f = 4*u - 3189. Does 53 divide u?
False
Let w be 1 - (-2)/(-4)*(14 + -8). Let h be w + (2 - 2) + 5 + -13. Does 24 divide 2*10/(-4)*48/h?
True
Suppose 49*q - 70934 = -6*f + 51*q, f - 11792 = -4*q. Is f a multiple of 20?
True
Is 14 a factor of (50/(-2))/(205/(-676746))?
True
Let x = -2566 - -676. Let h be ((-6)/(-2))/((-5)/x). Is 27 a factor of h/(-6)*6/(-7)?
True
Let v = -22 + 32. Let y = -7 + v. Suppose 4*g = m - 65 + 17, m + y*g - 27 = 0. Is m a multiple of 12?
True
Let s(b) = -b**3 - 6*b**2 + 6*b - 4. Let m be s(-7). Does 11 divide -1 + 3 + 0 + (209 - m)?
False
Does 143 divide 1405170/351 - 4/(-6)?
True
Suppose z + 3*m = 2*z - 306, -2*z + 612 = m. Let o = -255 + z. Does 6 divide o?
False
Suppose 0*c - 140 = -a + 2*c, -4*c - 724 = -5*a. Let q = 146 - a. Does 7 divide 141 + 7 + q + 4?
False
Let t = -70 - -58. Let n be ((-78)/t - 4)*4. Suppose -n*m + 1040 = -6*m. Is 10 a factor of m?
True
Let u be 8 - (-3)/(5 + -6). Suppose -907 = -u*l + 268. Is l a multiple of 47?
True
Let s(y) = -5*y**2 - 7*y + 36. Let q(t) = t**2 - t + 1. Let n(w) = -6*q(w) - s(w). Let l be n(6). Suppose -24*i + 20*i + 88 = l. Does 22 divide i?
True
Suppose -821959 = -258*o + 743843. Is o a multiple of 17?
True
Let x(p) = -49*p + 19093. Is x(-75) a multiple of 71?
False
Suppose 0 = -2*v - 4*o + 39496, v = -o + 10028 + 9727. Is v a multiple of 96?
False
Let u be (-173)/(-2) + 18/36. Let b = u + -141. Let l = b - -182. Is 32 a factor of l?
True
Let w be (-208)/(-72) + (-1)/(-9). Let q be (21/(-63))/((-1)/w). Suppose 31 = j + q. Is j a multiple of 5?
True
Let a(f) = -8*f**3 - 10*f**2 + 5*f - 63. Is a(-16) a multiple of 271?
False
Suppose 110*u - 5553 = 107*u. Let m = u - 1288. Does 39 divide m?
False
Let x(b) = -b**2 - b + 10. Let p be x(0). Suppose 8*d + 5 = 12*d - z, -3*d + 5*z = 9. Suppose 164 = 2*q + d*t, -q = -4*t - 47 - p. Does 7 divide q?
True
Suppose 2*u - v = -0*v + 35, -v = 5*u - 105. Let x be 6/(-5)*(-50)/u. Is (-1 + x)/(3/60) a multiple of 5?
True
Let m(t) = t**3 - 13*t**2 + 25*t - 13. Let n be 88/(-4)*(-3)/6. Does 12 divide m(n)?
False
Is 42 a factor of 8 + (-530)/35*(-5 - 254)?
False
Suppose 0*v + 2*v = 2*c + 310, -3*c - 625 = -4*v. Suppose -v*j = -161*j + 154. Is 20 a factor of j?
False
Suppose 11*x - 2728 = 737. Let f = x + -238. Is 11 a factor of f?
True
Let d(y) = -1971*y**3 + 3*y**2 - 27*y - 29. Is 52 a factor of d(-1)?
False
Let o(r) = -4*r**2 + 57*r + 954. Is o(0) a multiple of 6?
True
Let y(b) = 4*b - 4*b + 8*b + 13 - 31. Let a be y(11). Suppose 5*v + h = 86, 5*v + 4*h = -h + a. Is v a multiple of 6?
True
Let z(f) = 13*f**2 + f - 2. Let p(s) = 28*s**2 + s - 3. Let r(b) = -6*p(b) + 13*z(b). Let c be r(-8). Suppose c = 5*g - 260 - 385. Does 28 divide g?
False
Suppose -w = -5*w + 16. Suppose 3*b = 4*x + 63, 3*x + 2*b + w = -39. Let k(j) = -j**3 - 14*j**2 + 12*j + 7. Is k(x) a multiple of 18?
False
Let d(q) = -87*q + 256. Is d(-80) a multiple of 8?
True
Suppose -3*t - 4*q = -8*t + 25724, 4*q = 4*t - 20576. Is 170 a factor of t?
False
Let w = 91 - 85. Does 40 divide 80/(-3*w/(-63))?
True
Let d = -155 + 159. Suppose 2*w = 4*z - 608, -d*z - 5*w = -8*z + 596. Is 23 a factor of z?
False
Let q = 59 - 49. Suppose q + 8 = 4*o + 5*c, -4*o = -3*c - 2. Is 84 - (1 - o - -1) a multiple of 12?
True
Suppose -91*j + 4 = -89*j. Suppose 4*z - 9*s + 7*s = 1692, -3*z + 1268 = -j*s. Is z a multiple of 8?
True
Suppose -12*k + 2*k + 50 = 0. Suppose -161 = -w - 5*q + 3*q, k*w = -2*q + 821. Does 4 divide w?
False
Let w = 61 - 33. Suppose 8*b + 12 = -w. Does 2 divide (b/15)/((-1)/21)?
False
Let d be (-3)/((20/44)/5). Let y = d + 36. Is 11 a factor of -2 + (-4 - -95 - y)?
False
Let h(q) = -787*q - 956. Does 62 divide h(-17)?
False
Suppose 5*o - 10*o - n + 17 = 0, -21 = -5*o - 3*n. Is ((-21)/(-4) - o)*(-8)/(-3) even?
True
Let r(n) = -n**2 - n + 20. Let a be r(-7). Let c be 92/a + 6/33. Is 2 a factor of (c/(-9))/((-58)/(-261))?
True
Let c(n) = 233*n + 17. Is 30 a factor of c(11)?
True
Suppose -y - 2*g + 32 = 3*y, 4*y - 46 = 5*g. Let l(i) = 33*i - 29. Let c(b) = 49*b - 43. Let s(o) = -5*c(o) + 8*l(o). Does 22 divide s(y)?
True
Let m(d) = -d**2 + 8*d - 12. Let y be m(11). Let z = y - -24. Is 20 a factor of (-12)/z - (-1647)/21?
False
Let d be (77/2)/(7/(-560)*-4). Let n = 1394 - d. Is n a multiple of 13?
True
Let i(v) = 22*v**2 - 50*v + 315. Is i(5) a multiple of 5?
True
Let m(z) be the second derivative of -2*z**2 - 16/3*z**3 + 0 - 13*z. Is 12 a factor of m(-2)?
True
Suppose 10 = 5*o - 0. Let r(i) = -i**2 + i**o + 8*i**2 - 3*i + 4*i**2. Is 3 a factor of r(1)?
True
Suppose 8*t + 26 = 21*t. Is 15 a factor of ((-156)/(-18))/(t/72) + 2?
False
Let b = -66 - -81. Suppose -b*v + 5 = -85. Suppose 4*d - v = -26, 3*g = 3*d + 165. Is 10 a factor of g?
True
Suppose 2433 = 2*n - 17979. Is 189 a factor of n?
True
Suppose -25*i - 5*b - 360 = -30*i, i - 76 = -b. Let h(p) = -p**3 - p**2 + 7*p - 6. Let r be h(4). Let f = i + r. Is f a multiple of 3?
False
Let x = -62198 - -103800. Does 62 divide x?
True
Let z = 17550 - 8009. Is z a multiple of 141?
False
Let o(a) = 11*a - 68. Let d be o(10). Suppose -d = -z + 3*s, 2*z = -4*s + 96 + 18. Is 3 a factor of z?
True
Suppose -4*m + 8 = -2*m - 2*g, -4*m = g - 26. Let b be 3/(m/(-8))*45/(-36). Suppose 0 = -b*u - 14 + 139. Does 17 divide u?
False
Suppose 3*d - 6*u + 7*u = -2, 0 = 4*d + 2*u. Is 29 a factor of -406*(5 + d)*(-1)/3?
True
Suppose 2*u = -5*i + 3195, -u - 2*u + 5*i + 4855 = 0. Suppose -2*o + 4*a = -882, -562 = -5*o - a + u. Is 13 a factor of o?
False
Let u = 381 - 365. Is (-280)/2*(2 - 44/u) a multiple of 35?
True
Let d(i) = 69*i**2 + 109*i + 23. Does 101 divide d(9)?
False
Let w(k) = 288*k**3 - 4*k**2 - 4*k + 6. Suppose -7*f = -5*f - 2*x + 4, -4*f + 16 = 4*x. Is w(f) a multiple of 26?
True
Suppose -1038 + 195963 = 64*a - 151635. Does 95 divide a?
True
Let d be 108/(-90)*(-20)/6. Let x(t) = 42*t + d - 24*t + 76*t**2 - 20*t. Is 16 a factor of x(2)?
True
Let x(m) = 232*m**2 - 8*m + 27. Is 11 a factor of x(4)?
True
Let n be (-57)/95*(-25)/(-1). Let z(g) = -g**3 - 13*g**2 + 29*g + 8. Is z(n) even?
False
Suppose -2*s + 18 = 0, -7017 = -3*d + 63*s - 68*s. Does 2 divide d?
True
Let f(q) = -2*q**2 + 159*q - 510. Is 45 a factor of f(63)?
False
Let j = -50 + 55. Suppose -2*k - 24 = -j*o - k, 2 = o - 3*k. Suppose 2*a + o*u = 139, -3*a + 3*u = -a - 131. Does 13 divide a?
False
Suppose 0 = -6*k - 218 - 40. Is 41 a factor of -5 - (6 + 3)*k?
False
Suppose -108 = 2*i - 6*i. Let t = -30 + i. Does 3 divide t/2*(-26)/3?
False
Suppose -3*u + 13593 = 5*n, 19414 - 5800 = 3*u - 2*n. Does 63 divide u?
True
Let m = 334 + -229. Let j be 48/(m/(-24) - -4). Is 12 a factor of (32/j)/(302/152 - 2)?
False
Let g = -169 - -69. Let i = g - -111. Is i even?
False
Suppose 4*i - 12 - 4 = 0. Suppose 2*m = -i*m + 36. Is 13 a factor of 2413/95 + m/10?
True
Let q = 373 - 324. Suppose 0 = 7*g - 10*g + 36. Let j = q - g. Does 11 divide j?
False
Suppose 3*a - 62104 = -2*y, 5*y - 203 = -223. Is 41 a factor of a?
False
Suppose 1123 = 2*g - 141. Let z = -288 + g. Does 40 divide z?
False
Let s(f) = 4*f**2 - 102*f - 11. Is 5 a factor of s(34)?
True
Let f(m) = 8*m + 10. Let r be (-262)/(-38) - (-6)/57. Let z be f(r). Suppose z - 18 = 3*k. Is k a multiple of 15?
False
Suppose -412 - 92 = 14*m. Let a = 253 - m. Is a a multiple of 11?
False
Is 44 a factor of 268/6*13992/106?
True
Suppose 93*g - 49833 = -115*g + 61*g. Is 78 a factor of g?
False
Let n = 63 + -28. Suppose n*p = 29*p - 6. Does 11 divide (11 - 4)*p*-43?
False
Let w = 6145 - -