a factor of v?
False
Let g(f) = 7*f**2 + 53*f - 50. Let n(w) = -10*w**2 - 79*w + 75. Let p(z) = -7*g(z) - 5*n(z). Let o be p(-11). Let k = o - -258. Is k a multiple of 9?
True
Let s be 11/(693/27) + 3/(-7). Suppose 4*n + s*n - 172 = 0. Is n a multiple of 17?
False
Let y(h) = -97*h**3 + 3*h - 16. Does 28 divide y(-4)?
False
Let y = 252 - 228. Suppose -5*q + y*v + 2100 = 22*v, 3*q = -3*v + 1239. Does 27 divide q?
False
Suppose -4245 = -3*i + k, -3*i + 0*i + 4260 = 4*k. Suppose -x + 399 = -n - 319, 2*x - i = -2*n. Is 60 a factor of x?
False
Let p = 299 + -418. Let i = 78 + -227. Let d = p - i. Is d a multiple of 5?
True
Let w(v) = v**3 + 2*v**2 - 17*v + 4. Let r be w(-6). Let x = r - 11. Let d = x + 90. Is 7 a factor of d?
False
Let n(i) = 530*i + 20. Let h be n(1). Let r = -224 + h. Does 14 divide r?
False
Does 10 divide (-62524)/(-28) + -8 + -1?
False
Suppose 3*b - 4*m - 1650 = 0, -9*m = -b - 6*m + 550. Is 110 a factor of b?
True
Suppose 7*h = -5*t + 2*h, t + 2*h = -2. Suppose t*x - 339 = 21. Does 9 divide x?
True
Let q(m) = 17*m**3 - 3*m**2 - 1. Let c be q(2). Suppose 4*k = k + c. Let x = k + -28. Is x a multiple of 13?
True
Let i(j) be the second derivative of -16*j**3/3 - 5*j**2 + 16*j. Is 30 a factor of i(-5)?
True
Let n = -8561 - -13796. Is n a multiple of 26?
False
Suppose 0 = -3*z + 5*r + 6766, 4*z + r - 5134 = 3849. Does 11 divide z?
False
Is 162 a factor of 772910/18 + 808/(-1818)?
False
Let r(a) = -2*a**2 - 36*a + 6. Let i be r(-18). Suppose -3 + 147 = -i*v. Let d(m) = -7*m - 77. Is 29 a factor of d(v)?
False
Suppose 5*t = -234*s + 239*s - 340630, 3*s = -3*t + 204420. Does 104 divide s?
False
Let u = 2671 + -2328. Is u a multiple of 6?
False
Suppose 0 = u - 6*r + 37, -2*u - 5*r + 29 - 1 = 0. Let k(i) = 2*i - 2 + 0*i - 3*i - 192*i**3. Is k(u) a multiple of 57?
False
Let n = 31420 + -7070. Is 52 a factor of n?
False
Let c(d) = -d**3 - 3*d**2 - d - 3. Let t be c(-3). Suppose t = -4*m + 11*m + 42. Is (-204)/(-54) + m/(-27) - -3 even?
False
Suppose -4*i + 54308 = -3*r, -2*i + 4*r + 8623 + 18521 = 0. Is 35 a factor of i?
True
Suppose 12 = 3*b + 3*b. Suppose 0 = 2*s + 2*l - 78, s + 2*l = -b*l + 51. Suppose p + 1 - s = 0. Does 9 divide p?
False
Let i = -28 + -73. Let n = i - -151. Is n a multiple of 16?
False
Suppose 0 = -1382*i + 1409*i + 31020 - 348675. Does 45 divide i?
False
Let n = 70 - 83. Let l(v) = v**2 + 13*v + 3. Let d be l(n). Suppose -d*q + 27 = -15. Is 10 a factor of q?
False
Suppose -4*w + 9 = 21. Let r be 2 + (40 - (w + 0 + 5)). Suppose -2*h + r = -20. Is h a multiple of 15?
True
Let q(y) = -y**3 + 87*y**2 + 123*y - 213. Is 69 a factor of q(87)?
True
Suppose 0 = -3*a + 5*w + 9198, a - 4*w - 1120 = 1946. Is 48 a factor of a?
False
Let o(w) = 2*w - 1. Let s be o(3). Suppose -3*k - 4 = -s*k. Is (k - (2 - 2))*19 a multiple of 3?
False
Suppose -101*c + 3*q + 4084 = -99*c, 6120 = 3*c - 3*q. Does 4 divide c?
True
Suppose 0 = 5*z - 33 + 898. Let b = 9 - z. Is 14 a factor of b?
True
Suppose 24950 = -121*t + 123*t + 2*j, 2*j - 37420 = -3*t. Does 53 divide t?
False
Let z be (-8)/(-24) - 767/(-3). Suppose 2*h - z = 4. Suppose 2*i - h = -q, -q = 4*i + 19 - 139. Is 36 a factor of q?
False
Let h be 3/4 + 735/(-20). Let o = h + 40. Is o/12*-3*-174 a multiple of 29?
True
Does 30 divide -8 - (0/(-2) - 4518)?
False
Let n(u) = 4*u**3 + 3*u**2 - 13*u + 33. Let a be -27 + 23 - (1 + -9). Let d be n(a). Suppose -11*o = -16*o + d. Does 3 divide o?
True
Suppose -v - n - 47 = 0, 7*v - 3*v + 5*n = -191. Let b = v - -98. Suppose 3*d = 246 - b. Is d a multiple of 8?
True
Is 27 a factor of (3312 - 0*(-1)/(-6)) + 56/(-7)?
False
Let n(j) = -4*j - 164 + 8*j - 9*j + 16*j**2 - 24*j. Let z(s) = -3*s**2 + 6*s + 33. Let d(o) = 2*n(o) + 11*z(o). Is d(10) a multiple of 6?
False
Suppose -30*d = -145968 + 35268. Is 41 a factor of d?
True
Let m = 103488 + -60540. Is 52 a factor of m?
False
Suppose -a + 8785 = 2*z, -a - a = -4*z - 17586. Is 47 a factor of a?
True
Suppose 54*x = 47*x + 35. Suppose x*m + c - 714 = 0, 2*c = m - 0*c - 134. Is m a multiple of 10?
False
Suppose 4*d + 20 = 2*v + 6, -5*d - 30 = -5*v. Let g be (-56)/14 - (d - 1). Let m(u) = -20*u - 1. Is 9 a factor of m(g)?
False
Does 60 divide (2 - (-22570)/(-25))/(4/(-92 - 8))?
False
Let k be (-8 - 7/4)*-4. Suppose 0 = -y + 2*j + 403 + k, 2*j = -3*y + 1286. Is y a multiple of 27?
True
Let i = 318 - 296. Does 50 divide 1 + -4 + 3 - -25*i?
True
Suppose -2*p - 2*o = -18, -2*p + 4 + 29 = 5*o. Is 11 a factor of ((-11214)/p)/7*110/(-33)?
False
Let p(o) = -25*o + 27. Let s be p(1). Suppose 5*j - 3*a = 63, s*a + 7 + 55 = 5*j. Is j a multiple of 12?
True
Let f be ((-2604)/30 - -4)/(9/(-120)). Suppose -43*y + 37*y + f = 0. Does 4 divide y?
True
Suppose -1650*d + 1605*d = -141840. Is d a multiple of 32?
False
Let u(a) = -27*a**3 - 3*a**2 - 2*a + 6. Let r be u(-2). Let j = r - -299. Does 5 divide j?
False
Suppose 0 = -9*y + 11*y - 10. Suppose y*j - 18*n = -13*n + 405, -5*j = 4*n - 387. Does 79 divide j?
True
Let p(g) = 14*g**2 + 138*g + 675. Is 7 a factor of p(-28)?
False
Is 4 a factor of ((-7666)/(-7))/(235/(-35) + (21 - 14))?
False
Let r = -2697 + 7695. Is r a multiple of 51?
True
Let q be (84/18)/(((-2)/(-3))/1). Suppose 8*t + q = 23. Suppose 2*b - 18 = 4*j, -t*b + 5*j = 2*b - 42. Is b a multiple of 13?
True
Let x = 69534 + -41499. Is 105 a factor of x?
True
Suppose 236*v - 1529910 = -59*v - 52255. Is v a multiple of 88?
False
Suppose u = -n, 3*u + 7 = -n + 11. Is (12/16*n)/(1/(-588)) a multiple of 14?
True
Let g(a) = -476*a + 2814. Does 68 divide g(-5)?
False
Suppose 107 - 103 = n. Suppose 3*x - 6*x + 829 = n*f, -205 = -f - 3*x. Is 13 a factor of f?
True
Suppose -12*m + 6*m = 0. Let k = m + 7. Suppose 8*b - 300 = k*b. Is 60 a factor of b?
True
Let a = -11 + 18. Let o(r) = 36*r - 268. Let x be o(6). Is x/(-2) - (-7 + a) even?
True
Suppose 30 = 2*w - 3*c, -4 = -w + 2*c - 6*c. Suppose 3 = -3*l + w. Suppose 4*n - 42 = 3*n - 5*q, 106 = l*n + 5*q. Does 8 divide n?
True
Let c(j) = 94 + 63 - 194 + 8*j + 9*j. Suppose -2*z + 15 = 5. Is c(z) a multiple of 6?
True
Let b = -35 + 181. Suppose 0*h - 2*h = -b. Let d = 137 + h. Is 14 a factor of d?
True
Let t = -1 - -232. Let q = t - 18. Let c = -85 + q. Does 16 divide c?
True
Let o(k) = 3*k**3 + 3*k**2 + k - 2. Let q be o(1). Suppose 12*v = -q*n + 7*v + 170, -n = -3*v - 14. Is 6 a factor of n?
False
Let f = -91 - -91. Suppose f = -5*s + 13 + 2. Suppose -s*o - 5*y + 19 = -6*y, 0 = 3*o + 3*y - 3. Is 2 a factor of o?
False
Let q be -4 - (1167/2 - (-6)/12). Is 35 a factor of ((-54)/(-21))/(-8 - 4722/q)?
False
Let z = 127 + -68. Suppose z = 9*r - 49. Is r a multiple of 7?
False
Let w(d) = -8*d - 58. Let o be w(-10). Suppose -o*j = -27*j + 570. Does 39 divide j?
False
Let b be 2*(4/16 - (-14044)/16). Suppose 5*s - f - b = 0, -24*s + 4*f = -22*s - 706. Is s a multiple of 35?
False
Suppose -13*a + 8*a = -1235. Let j = 423 - a. Is 22 a factor of j?
True
Suppose 0 = -2*f - 12, -2*h + 5563 = f - 11385. Does 49 divide h?
True
Let z(l) = 191*l**2 + 5*l + 4. Let q(w) = -w**2 - 2*w - 1. Let o be q(-2). Let f be z(o). Suppose -10*m + 220 = -5*m + n, -2*n = -4*m + f. Does 6 divide m?
False
Let n(z) = 13*z**2 - 54*z - 62. Let i be n(-46). Suppose 0 = 46*k - i + 6700. Is k a multiple of 50?
False
Suppose 8*w - 4*w - 20 = 0. Let c = -2603 + 2604. Does 17 divide (38/c)/(0 - w/(-20))?
False
Let d = 551 + -546. Suppose d*h = -4*b + 2240, 6*h + 2235 = 11*h + 3*b. Is h a multiple of 14?
False
Suppose 10*w = -56195 + 39270 + 160005. Does 28 divide w?
True
Let g(v) = 4*v**2 + 48*v + 78. Let f(m) = -17*m**2 + 4*m + 3. Let n be f(-1). Is 30 a factor of g(n)?
True
Suppose 9*y = 4*y + 10, -5*d = -3*y - 9. Let k be 1 + (-3)/(-1)*4. Suppose 0 = -d*h - 3, -k = -n + 3*h + 19. Does 12 divide n?
False
Suppose 4*d = -2*c - 85040, 3*c = -d - 17318 - 3942. Let q be 4/38 - d/190. Does 32 divide q + (6 + -3)*4/(-3)?
False
Suppose 3*x = -3*w - 6, 4*w - 3*x + 10 = -w. Let u = w - -7. Suppose -2*n - 290 = -u*n - g, 4*g = -2*n + 210. Is n a multiple of 19?
True
Suppose -139*v + 162*v - 32200 = 0. Is v a multiple of 5?
True
Suppose 29*x + 5187 = 68*x. Suppose -119*j - 21658 = -x*j. Does 13 divide j?
True
Suppose 609 - 288 = n + k, 0 = k - 1. Is n a multiple of 64?
True
Let d(z) = -z**3 + 14*z + 38. Let h = 186 - 192. Is 10 a f