5. Is 10 a factor of v?
False
Suppose c + 140 = 2*z + 6*c, z = -2*c + 68. Does 30 divide z?
True
Let z be 14/6 + (-5)/15. Suppose 2*d = -d + 4*j + 176, 3*d - z*j = 166. Does 12 divide d?
False
Let u = 15 - 11. Let s(l) = 2 + 2*l - u + 14 - 6. Is 6 a factor of s(6)?
True
Is 196*1/4 - (0 - -5) a multiple of 30?
False
Suppose -t + k + 3 = -4, -2*t = 3*k + 6. Does 32 divide t + (-7)/((-14)/(-4)) + 154?
False
Suppose 4*s = 3*v - 7*v + 8, v = -3*s + 6. Is 15 a factor of 3 + (s - 5) + 160?
False
Is 7 a factor of 10/(-6)*1098/(-15)?
False
Let s(h) = 31*h - 21. Let l(n) = -435*n + 295. Let g(w) = 4*l(w) + 55*s(w). Does 10 divide g(-5)?
True
Suppose 0*l - 36 = -4*s - 2*l, -s + 3 = 2*l. Suppose -3*i + s + 10 = 0. Suppose 0 = y - 16 - i. Does 23 divide y?
True
Let l = 32 - 36. Let x(z) = -14*z - 2. Does 18 divide x(l)?
True
Let o = 459 + 1356. Does 26 divide o?
False
Let i(q) = q + 2. Let b be i(-4). Let v be 4 + 8/b + -2. Let l = v - -10. Is l a multiple of 3?
False
Suppose -428 = -2*w - 86. Is 3 a factor of w?
True
Let n(m) = -m**3 + 19*m**2 + 21*m - 8. Is n(19) a multiple of 17?
True
Let k(l) = l**3 + 4*l**2 + 6*l + 4. Let s(z) = -z**3 - 5*z**2 - 5*z - 5. Let f(c) = 4*k(c) + 5*s(c). Is 25 a factor of f(-10)?
False
Suppose -881 = -4*f + d, -5*f + 5*d + 833 = -272. Does 17 divide f?
False
Let w be (1 - -1)*7 - 3. Let c = w + -3. Suppose 0 = -d + 3*x + 19, -2*d + 4*x - c = -4*d. Is d a multiple of 10?
True
Suppose 3*v = -v - 216. Is 9 a factor of (v/(-8))/((-6)/(-32))?
True
Let y = -53 - -446. Does 19 divide y?
False
Let r(y) be the third derivative of y**4/6 - 13*y**2. Is r(3) a multiple of 4?
True
Let a(c) = -c**3 - 6*c**2 + 10*c + 1. Let n(m) = 2*m + 1. Let s be n(-5). Let h be a(s). Let l = -79 + h. Does 21 divide l?
False
Let z = 708 - 548. Does 6 divide z?
False
Suppose 36 = -n - 44. Let x be 3/((12/(-448))/1). Let o = n - x. Is 16 a factor of o?
True
Suppose -6*y + 2126 = -976. Is 20 a factor of y?
False
Suppose -4*v = 2*z - 120, -v - 87 = -4*v - 3*z. Let p(n) = n**2 + 10*n + 24. Let x be p(-7). Let y = v + x. Is 34 a factor of y?
True
Let j(c) = 85*c**3 - c + 2. Let t = -7 - -11. Suppose 0 = -2*b + t*l + 2, -b = 2*b - 3*l - 3. Does 19 divide j(b)?
False
Let z(p) = -p + 14. Let m be z(10). Suppose m*c - 218 + 6 = -5*s, -2*c = 2*s - 104. Does 8 divide c?
True
Let k be (-1 + -1 + 1)*7. Let g = k - -7. Suppose g = -5*a + 425 - 150. Is a a multiple of 26?
False
Let c = 0 + 6. Let y(h) = 29*h - 168. Let l be y(33). Does 35 divide l/c + 1/2?
False
Suppose z - 298 = -3*w, 5*z - 199 = 3*w - 527. Does 8 divide w?
False
Let v(x) = -49*x - 3. Let i be v(-1). Suppose -f = -3*s - 98 - i, -4*s = f + 199. Let p = 124 + s. Is p a multiple of 15?
True
Suppose 0*c = -h - c + 8, 0 = -5*h + 5*c - 10. Suppose -5*g + 7*a = 3*a - 494, -h*g + 294 = -3*a. Does 34 divide g?
True
Let h(o) = -5*o - 42. Let t be h(-10). Let p(u) = -u**3 + 5*u**2 + 26*u + 5. Does 3 divide p(t)?
True
Is 1/(1/1) + 731 a multiple of 6?
True
Let j(w) = 6*w**2 - 3*w - 4. Let k be j(4). Is 9 a factor of (3 - (-4 + 2 + 4)) + k?
True
Let g = 440 - 363. Is g a multiple of 7?
True
Let i be 0/(-1*2) - -29. Suppose -5*y - 62 = 3*s, 2*y + s + 20 = -4. Does 7 divide 5/y + i/2?
True
Let z be ((-1)/3)/(1/(-6)). Suppose 4 = 2*q + z*q, 0 = -5*i + 4*q + 101. Let s = 57 - i. Is 18 a factor of s?
True
Suppose 0*j - j = -4*h + 26, 0 = h - 5*j - 16. Let m = 2 - 3. Let i = h - m. Is 7 a factor of i?
True
Let i(o) = -o + 1. Suppose 2*f = 2*t - 8, 3*t - f - 12 = 3*f. Let j be i(t). Does 18 divide 136/3*j/(-2)?
False
Is 7 a factor of (6590/6)/((-75)/(-135))?
False
Let h = 209 + -119. Suppose h = 2*g - 2*k, 124 + 97 = 5*g - k. Does 11 divide g?
True
Suppose 4*v - 2096 = -9*l + 7*l, -2*l = 5*v - 2091. Does 46 divide l?
True
Let o = 246 + -127. Suppose -2*c = -3*f + o, 0 = 2*f - 2*c - 94 + 14. Is 39 a factor of f?
True
Let f(b) = 2*b + 4. Let a be f(-2). Suppose z - 216 - 89 = a. Suppose u - 6*u = -z. Is 32 a factor of u?
False
Let b be ((-204)/80*-5)/(3/40). Suppose 60 = -z + 2*h + 12, -2*z = h + 121. Let v = z + b. Is v a multiple of 16?
True
Suppose -6*u + 279 = -15. Let z = 3 + 31. Let a = u - z. Is a a multiple of 15?
True
Let c = -18 - -23. Suppose -28 - 122 = -c*z. Does 10 divide z?
True
Let w(u) = 45*u**2 + 3*u - 1. Does 3 divide w(1)?
False
Let o(q) = 9*q**2 - 6*q + 91. Is 3 a factor of o(7)?
False
Let n be 3/(-2) - 6/(-12). Let r be (12/(-3))/(n - 1). Suppose -11 = r*g - 3, 3*c = -3*g + 72. Is 7 a factor of c?
True
Suppose 3*i = -5*v - 2 - 1, 3*i + 4*v = 0. Is 35 a factor of 2 + 154 + i + -5?
False
Let b(t) = 41*t - 4. Let r be b(7). Suppose r = -14*o + 1501. Is 19 a factor of o?
False
Suppose 43 = -5*u - i - 0*i, -4*u - 20 = -4*i. Let w(c) = c**3 + 7*c**2 - 9*c - 7. Let t be w(u). Does 8 divide (-3)/t*(-171)/27?
False
Let x be 3 + -22 + 4/4. Is (-2 - (-132)/x)/((-2)/15) a multiple of 35?
True
Suppose 6 - 9 = -x. Suppose -3*d + 48 = x*d. Is 3 a factor of d?
False
Suppose -5*a + 183 = -4*a. Let o = a + -68. Is 23 a factor of o?
True
Is 60 a factor of 75/45 - (-25232)/24?
False
Let f = 148 + -60. Suppose -y - 2*p = -f, p = -4*y - p + 358. Let k = -57 + y. Is k a multiple of 11?
True
Let x(p) be the third derivative of -p**6/60 - p**5/10 + 7*p**4/24 - p**3/6 + 26*p**2. Is 4 a factor of x(-5)?
True
Suppose 0*z + 2*z = 3*h - 6, -5*z = -5*h + 10. Suppose z*d - 64 = -d. Is d a multiple of 12?
False
Let w(v) = 2 + 0 + 18*v + 9*v**2 - 24*v + 3. Is w(3) a multiple of 34?
True
Let i(s) = -53*s + 14. Suppose -20 = -4*v, -13 = -o - 2*v - 2*v. Let k be i(o). Suppose 3*b - 8*b = -k. Is b a multiple of 13?
False
Let u = 81 + -86. Is (-92)/(3/u - (-4)/(-10)) a multiple of 12?
False
Suppose -4*h = 2*p + 2*p - 1244, -5*p = -4*h - 1591. Suppose 2*f + 2*v + 3*v = p, -4*f + 635 = 5*v. Is 40 a factor of f?
True
Let p be ((-40)/6)/((-2)/6). Let y be 24 + 15 - (1 + -1). Suppose 5*d - y = -3*c + 34, -p = 5*c. Is 17 a factor of d?
True
Suppose 3*g + 1 = -5*k - 12, -4 = 3*k - 2*g. Let d(j) = 0*j**2 + 2*j + 13*j**2 - 3*j**2. Is d(k) a multiple of 12?
True
Let b(s) = -2*s + 20. Let p(c) = -c + 14. Let d(z) = -5*b(z) + 7*p(z). Suppose -5*g + 22 + 6 = 2*w, 0 = 2*w - 2*g. Does 3 divide d(w)?
False
Suppose -5*y + 4*n = -664, 0 = -0*y - y + n + 133. Does 6 divide y?
True
Suppose -227 = 26*l - 1267. Does 20 divide l?
True
Suppose 0*f + 259 = f - d, -5*f + d = -1311. Suppose -733 - f = 4*p. Is (-6)/27 - p/27 a multiple of 3?
True
Let b = -43 + 691. Is b a multiple of 54?
True
Let t(v) = v**2 + 18*v + 37. Let g be t(-21). Let p = g - 70. Is 20 a factor of p?
False
Suppose 0 = 4*v + 5*z - 1054, 785 = -2*v + 5*v + z. Suppose -2*f + 0*f + k = -v, 2*k + 264 = 2*f. Is 17 a factor of f?
False
Suppose -3*z = -4*x + 27, -2*x = -4*z - 5*x - 11. Let w be (27/45)/((-1)/z). Suppose l + 12 = w*l. Does 4 divide l?
False
Is 18 a factor of 903/(1 - -2) + 0?
False
Let b be 33/22*(-28)/(-2). Suppose a = -3*h + 18, -3*a = 3*h - a - b. Suppose -148 + 568 = h*r. Is 12 a factor of r?
True
Let n be 1*8/(-4) + 8. Suppose 3*y - 4*a = a + 16, -5*y = 2*a - n. Suppose -5*m + y*j = -263, 0*j = -m + j + 55. Does 17 divide m?
True
Suppose -2*x + 5*b = 8, 4*x - 40 = -5*b + 4. Let d = 131 + x. Does 12 divide d?
False
Let k = 586 - 122. Does 14 divide k?
False
Let y = -37 + 73. Let d = -22 + y. Is 7 a factor of d?
True
Let r(w) = w**3 - w**2 + 11*w + 215. Is r(0) a multiple of 33?
False
Suppose 9*v - 4*v + 290 = 0. Let o be ((-18)/4)/3*(-2002)/21. Let k = v + o. Does 24 divide k?
False
Suppose 726 + 624 = 10*q. Is 15 a factor of q?
True
Let u = -13 - -13. Suppose 4*b - 4*a - 48 - 380 = 0, -2*a - 10 = u. Does 26 divide b?
False
Is -1 + 0 - 5/((-5)/1209) a multiple of 95?
False
Let c(g) = -g**3 + 9*g**2 - 11*g + 28. Let n be c(8). Suppose -3*q - 2*o = -455, n*q = -2*o + 3*o + 592. Is q a multiple of 19?
False
Is 119 a factor of (11 - -311)*22/4?
False
Let b(o) = -16*o**2 + 41*o - 6. Let x(q) = -3*q**2 + 8*q - 1. Let k(c) = 2*b(c) - 11*x(c). Suppose 2*s = l + 11, -5*l - 22 = -0*l + s. Is 27 a factor of k(l)?
True
Suppose -p - 5*r - 270 = 2*p, 3*r = -2*p - 179. Is (3349/p)/(2/(-10)) a multiple of 52?
False
Suppose -q = -2*r + 9, -3*q + 3 = 12. Suppose r*v + 3*o = 4*v - 51, -4*o = 20. Suppose 30 + 22 = 2*j - x, v = j - 3*x. Does 16 divide j?
False
Let o(q) = 6*q**3 - 6*q**2 - 9*q + 1.