 be w(5). Suppose -3*j + u - 3 = 0. Is 3 a factor of j?
True
Let a(f) = f**3 + 6*f**2 - 3*f - 8. Let d be a(-6). Suppose 5*l = -5*t + 10, -l - t - 4*t = d. Suppose 0 = -r + l*r - 40. Is 10 a factor of r?
True
Suppose 0 = -d + 5. Suppose -3*c - 75 - 41 = d*s, -4*c - 8 = 0. Let z = 86 + s. Is z a multiple of 21?
False
Suppose -2*t = -25*t + 6095. Does 6 divide t?
False
Let r(v) = v - 4 - 5*v - 19. Does 7 divide r(-16)?
False
Let o be -3 - -6 - (5 + -2). Suppose o = 10*b - 12*b - 2. Does 22 divide b + 2/2 + 110?
True
Let x be 5/(-2)*3*(-4)/5. Suppose -x*c - 241 = -3*j - 5*c, -332 = -4*j + 4*c. Does 18 divide j?
False
Suppose 0 = 7*a - 3*a - 4*r - 1348, 0 = -a - r + 339. Is 13 a factor of a?
True
Suppose 3*n - 271 = -w, 5*w - 168 = -4*n + 197. Suppose n = 27*c - 22*c. Is 9 a factor of c?
True
Let n = -319 + 1033. Is n a multiple of 17?
True
Suppose 0*x - 31 = x. Let z(r) = 2*r**3 + 3*r**2 + 2*r - 2. Let v be z(-2). Let g = v - x. Does 10 divide g?
False
Suppose -2*l + 8 = 28. Let u be l*(-2)/(-4)*-1. Is 3 a factor of (1 + 1)/(u/10)?
False
Suppose -2*x = -4*i - 6*x, -3*i + 3*x = 0. Suppose i = -4*b - a - 1 + 12, -2*a = -3*b + 11. Suppose -4*v + 72 = -4*o + o, 5*v - 90 = -b*o. Is v a multiple of 6?
True
Let p(k) = 40*k**2 + 5*k - 11. Let x(j) = j**2 - 6*j + 2. Let z be x(6). Does 30 divide p(z)?
False
Let s = 3910 - 2654. Is 21 a factor of s?
False
Let m(t) = 83*t - 52. Is m(4) a multiple of 25?
False
Let s(u) = -9*u - 24. Let w be s(-3). Let d(f) = -2*f**3 - f. Let p be d(-4). Suppose p = 5*k - w*n, -n = -5*k + 2*k + 76. Is 8 a factor of k?
True
Suppose -8*p - 311 = -1071. Suppose i - 5 = 0, -i = l - 0*i - p. Does 24 divide l?
False
Let u = 1117 + -557. Suppose -u = 7*f - 15*f. Is f a multiple of 14?
True
Suppose -u + 226 = -2*d, -2*u + 446 = -d - d. Suppose 0 = -33*m + 37*m - u. Does 14 divide m?
False
Let k(u) = u**3 - 20*u**2 + 23*u - 31. Let f be k(19). Does 5 divide (144/f)/(4/10)?
False
Let b be 6/3*(-5)/(15/12). Let n = b + 89. Does 9 divide n?
True
Let w be ((-3)/(-3) - 8) + 1. Is 8625/90 - 1/w a multiple of 18?
False
Let x be (4/(-6))/((-6)/(-9)). Let o be (-3)/(-6)*0/x. Suppose 5*h - 2*w - 6 - 7 = 0, o = -4*h + 3*w + 9. Is 3 a factor of h?
True
Suppose 2*p - 1330 = -440. Is 89 a factor of p?
True
Is 46 a factor of 23*(-4 + (-8)/(-1))*1?
True
Let b(y) = -y**2 - 6*y - 6. Let g be b(-6). Suppose 2*m - 6 = 3*o, 4*o = o - m - 6. Is 9 + o - (-3 - g) even?
True
Let p(q) = q**3 + 7*q**2 - 5*q + 17. Let t be p(-7). Suppose -2*s + 7*s - t = 4*d, 3*s = 3*d + 33. Is 4 a factor of s?
True
Let b(a) = 3*a**3 - 3*a**2 - 9*a - 13. Does 11 divide b(5)?
True
Suppose 2*h - 27 = 23. Suppose -520 = -h*c + 21*c. Is 51 a factor of c?
False
Suppose -4*w - 5*q + 1420 + 140 = 0, -2*w + 4*q + 780 = 0. Does 5 divide w?
True
Let r(f) = f**3 + 10*f**2 + 3*f + 14. Let c be r(-10). Let k = c + 35. Does 19 divide k?
True
Suppose 5*t - 40 + 7 = -2*s, -19 = -2*t + 5*s. Let c(v) = v**3 - 6*v**2 - 5*v - 12. Let f be c(t). Suppose -f*m = -28 + 2. Is 13 a factor of m?
True
Let p(o) = o**2 - 13*o + 3. Does 8 divide p(-5)?
False
Let f(r) = -5*r**3 + 4*r**2 + 3*r - 20. Is 5 a factor of f(-7)?
True
Suppose -4*k = 7 - 15. Suppose -3*z = 5*f + 22, -z + k*f = -f - 16. Is 3 a factor of ((-16)/(-4))/(z/3)?
True
Suppose -5*u = -4*u - 4*r + 24, -3*u - 2*r - 44 = 0. Let i = u - -124. Suppose 4*y = -3*p + i, -2*y - 6*p = -p - 54. Is y a multiple of 15?
False
Let c(n) = 4*n + 24. Is 20 a factor of c(9)?
True
Let x = -889 - -987. Is x a multiple of 14?
True
Let h(k) = -k**2 + 19*k + 11. Let x be h(-7). Is 41 a factor of -1 - -4 - (-3 + x)?
False
Let j(y) = y**2 - y. Let z be j(-1). Suppose 8 = 5*g - z*b, 4*b = -0*b - 16. Suppose 3*k - 5*m - 99 = g, 4*m = -5*k + 2*k + 126. Does 19 divide k?
True
Is 252/(-15)*-23*20/8 a multiple of 7?
True
Suppose 4*r = u + 15, 2*u + 22 = 5*r + 4*u. Does 29 divide r/2*(-2 + 62)?
False
Let p(b) = -3*b - 3. Let k be p(-2). Suppose -k*r = -7*r + 124. Let n = 11 + r. Is n a multiple of 14?
True
Suppose 5*i = 4*i + 12. Is 3 a factor of (22/6)/(4/i)?
False
Let b = 95 + -90. Suppose -b = -j, -4*o + 47 = -2*o + j. Does 21 divide o?
True
Let l = 151 - -171. Is l a multiple of 20?
False
Let r = 1078 + -550. Is r a multiple of 16?
True
Let t = 251 - 58. Suppose -6*u + 449 = -t. Suppose -5*m = -4*n + u, 4*m - 19 - 15 = -2*n. Is 4 a factor of n?
False
Suppose 0 = 5*v - 5*f, -20 = -v - v - 2*f. Suppose -v*g = -2*q + 133, 2*q + g = -0*q + 163. Is q a multiple of 21?
False
Suppose 0 = -2*n + 4*d - 82, -3*n - 143 = -2*d - 0*d. Is (-5 + n/(-9))*102 a multiple of 17?
True
Let n = 207 - -423. Is n a multiple of 15?
True
Let u(x) = 55*x - 66. Let d(m) = -m + 1. Let k(r) = 66*d(r) + u(r). Let y be k(1). Is (-388)/(-44) - 2/y a multiple of 4?
False
Is 7 a factor of (2540/(-10))/(-2)*7?
True
Let d = 17 - -20. Suppose d + 27 = j. Does 11 divide j?
False
Suppose 0 = -3*c + 12, 63*y - 68*y - 3*c = -2712. Is y a multiple of 20?
True
Let k(n) = -66*n + 4. Let c be (8/(-12)*-9)/(-1). Let m be k(c). Suppose -5*i - l + m = 0, i = -4*i - 5*l + 400. Is 18 a factor of i?
False
Let z = -27 - -29. Suppose 0 = -4*x - z*t + 232, 3*t = -2*x - 2*t + 124. Does 19 divide x?
True
Suppose -5*g - 6 = 39. Let x(q) = q**2 - 6*q + 17. Is x(g) a multiple of 8?
True
Suppose -2*w + 109*u - 110*u = -3740, -7468 = -4*w - 5*u. Is w a multiple of 16?
True
Let g = 96 + 181. Let u = 467 - g. Is u a multiple of 17?
False
Let x be (18/(-12))/(3/4). Is 15 a factor of 200/30*(-9)/x?
True
Let r(c) = -99*c + 117. Is 51 a factor of r(-25)?
False
Let z = 4386 + -2190. Is 38 a factor of z?
False
Let r(p) = -16*p + 12. Let y be r(-4). Suppose c - y = -3*c. Is c even?
False
Is 25962/10 + (-351)/(-195) a multiple of 63?
False
Let v(k) be the second derivative of k**3/2 - 3*k**2 + 2*k. Suppose -4*b - 4*j + 0*j = -8, -3*j - 4 = b. Is 9 a factor of v(b)?
True
Is 58 a factor of (1 - 0)*(66 + 1105)?
False
Suppose 287*q = 333*q - 1702. Is 6 a factor of q?
False
Suppose -465 = -3*u + 105. Is u a multiple of 38?
True
Let k = -14 + 14. Suppose 5*h - 2*p - p = 2, -3*h - 4*p + 7 = k. Let m(i) = 12*i. Does 4 divide m(h)?
True
Let a(g) = 2*g**3 + 4*g**3 + 2 - g**3 - 9*g**3 + 2*g**2 - g. Does 11 divide a(-2)?
True
Suppose -15 = -l - 2*l. Let f(g) = 3*g**2 - 5*g + 20. Is 13 a factor of f(l)?
False
Suppose -5*l + 1399 = -4*l - 4*i, -3*l + 4242 = 3*i. Suppose 17*m - 204 - l = 0. Is 33 a factor of m?
False
Let i(f) = -f**3 - 2*f**2 + 9*f + 10. Suppose p + 8 = -k, 4*k = 8*p - 5*p - 18. Is i(k) a multiple of 48?
False
Suppose -9*y + 3490 - 727 = 0. Does 7 divide y?
False
Let q be -8 + 4 - 8/(-2). Let x = 15 - q. Is 4 a factor of x?
False
Suppose 3*c = -c - 100. Let r be ((-30)/c)/((-3)/(-170)). Let k = -38 + r. Is k a multiple of 17?
False
Suppose 2*m - 50 = 5*h, -h + 4*h - 6 = 0. Let a = m - 20. Suppose 0 = o - a. Is o a multiple of 5?
True
Let a(p) = 20*p**3 - 4*p**2 - p + 3. Let o be a(-5). Is (-2)/(-10) - o/40 a multiple of 10?
False
Is (333/(-180)*4)/(3/(-465)) a multiple of 132?
False
Suppose 2*n - m = 1513, 2*n - 3*m - 2*m = 1533. Is 23 a factor of n?
False
Let l(v) = -v**3 + 15*v**2 - 13*v - 5. Let i(d) = -d**2 - 3*d + 4. Let b be i(3). Let n = b - -28. Does 2 divide l(n)?
False
Suppose 70 = a + 10. Is 5 a factor of a?
True
Let z(q) = 18*q**2 - 5*q - 5. Let i be z(-2). Suppose 4*a - 3 = i. Does 11 divide a?
False
Suppose -5*j + 35 = z, 2*z - 2 = 8. Let g be 26/j - 3/9. Is 5 a factor of (-10)/(-15)*174/g?
False
Let s(i) be the second derivative of i**4/6 - 3*i**3 - 4*i**2 + 7*i. Is 16 a factor of s(12)?
True
Let x(j) = 1810*j**3 - 10*j + 11. Does 6 divide x(1)?
False
Suppose -2*m + 5*p + 134 = 0, -3*m + 168 = 3*p + 9. Let b be 2/(-7) + m/(-21). Is 26 + b*(-1)/3 a multiple of 6?
False
Is 107 a factor of (280/(-30))/(-14)*2874?
False
Let p be (-5)/2*(-18)/(-15). Let o(m) = -m**3 - 4*m**2 - 2*m + 3. Let r be o(p). Suppose n = -n - 6, r = 3*d - 2*n - 36. Is d a multiple of 6?
False
Suppose 0*z - 837 = -u - z, 0 = -2*u - 4*z + 1668. Does 13 divide u?
False
Suppose -89*a - 607 = -92*a + 4*u, -3*u + 600 = 3*a. Does 41 divide a?
False
Suppose 0 = 18*a - 13*a - 15. Suppose -a*x + 169 = f, -2*x = -f - x + 157. Is f a multiple of 12?
False
Is (120/(-7))/((-17)/833) a multiple of 28?
True
Let b(w) = w**2 - 13*w + 4. Let s be b(12). Let x be (28/(-8)