*g = 346 - u. Is 21 a factor of g?
False
Suppose 5 = 5*y, -4*y - 356 = -4*m - 0*y. Suppose 4*s = -130 - m. Let a = 91 + s. Is a a multiple of 9?
True
Suppose -i = -4*x - 20, -14 = -5*i + x + 10. Suppose 0 = i*l - l - 15. Suppose 3*c + 75 = 3*k, 0 = -0*c - c - l. Does 16 divide k?
False
Let q(x) = -x**3 + 27*x**2 - 70*x - 57. Does 8 divide q(23)?
False
Let r(z) = -146*z + 95. Is 15 a factor of r(-5)?
True
Suppose 10973 - 2463 = 10*d. Is 7 a factor of d?
False
Let v be -6*(-1 + 0) + -3. Let p be 0 + -4 + 1 - v. Let r(q) = q**2 - q - 7. Does 19 divide r(p)?
False
Suppose 6 = -2*h - 24. Is 15 a factor of 3/h - 2632/(-35)?
True
Suppose 2*d - 5*o + 8 = -o, -3*d + 2*o + 4 = 0. Suppose -5*f + 8 = -f + d*b, 4*b = 4*f - 8. Suppose 0 = n - f*n + 65. Does 14 divide n?
False
Let a be (3 - (-70)/(-22)) + 4/22. Suppose a = -4*m + 91 - 11. Does 5 divide m?
True
Suppose 0 = -5*v + v + 112. Suppose -b = -2*d + v, -5*b - 118 = 2*d - d. Let k = 36 - b. Does 19 divide k?
False
Let x = -1216 + 1743. Is x a multiple of 31?
True
Suppose 4*y = y + 1326. Is 3 a factor of y?
False
Let d(o) = -2*o**3 - 8*o**2 - 16*o + 26. Does 74 divide d(-8)?
True
Let n = 869 + -356. Is n a multiple of 27?
True
Let l(z) = -162*z + 317. Is l(-14) a multiple of 11?
True
Let d be 12/8 - 15/(-6). Is 10 a factor of d + (7 - (6 - 3)) + 42?
True
Suppose 5*z + 12 = -4*j + z, 5 = z. Let u = -10 - j. Does 4 divide 9 + -4 - (u - 0)?
False
Suppose 0*q + 1 = q. Let d be 8/(-16)*(q - 27). Suppose -1 = x - d. Does 6 divide x?
True
Let v(i) be the second derivative of i**5/20 + 5*i**4/4 + 7*i**3/6 - 4*i**2 + 4*i. Let c be v(-14). Suppose p + c = 6*p. Does 6 divide p?
True
Let t be (-2 - 1)/(-3) + -1. Suppose -3*l + 5*m + 78 = 0, 5*l - 130 = 2*m - t*m. Is 6 a factor of l?
False
Let o(h) = -2*h**3 + 28*h**2 - 37. Does 49 divide o(12)?
True
Let p(f) = 9*f - 16. Let c(v) = 9*v - 17. Let i(r) = -2*c(r) + 3*p(r). Let w(x) = -x**3 + 15*x**2 - 14*x + 6. Let g be w(14). Does 11 divide i(g)?
False
Let s(v) be the third derivative of -v**6/30 - v**5/10 - 7*v**4/24 - 7*v**3/6 - 28*v**2 + 2. Let z(x) = -4*x**2 - x. Let r be z(-1). Does 19 divide s(r)?
False
Let u(o) = o**2 + 2*o - 1. Let p be u(-3). Suppose 4*a + 5*j = 91, -p*a + 5*a - 5*j = 42. Is 17 a factor of a?
False
Does 82 divide (-4057)/(-4) - (-5)/((-160)/8)?
False
Is (-338)/169 - 499*(-5 + 1) a multiple of 110?
False
Let p = -19 + 10. Is 8 a factor of (-225)/5*3/p?
False
Is 1 + (-3)/6 - 1215/(-18) a multiple of 4?
True
Does 126 divide (-143)/2*(-7 - 11)?
False
Suppose -23*p - 288 = -29*p. Let l = p - -65. Is l a multiple of 13?
False
Suppose 20 = -2*o + 2*r, -4*o + r - 48 = -r. Let g be 88 + 7/(o/(-4)). Let h = g + -51. Is 13 a factor of h?
True
Suppose 3*r = -w + 2531, -r + 371 = 4*w - 491. Suppose -3*o + 4*s = -r, 2*o - 5*s + 6*s = 565. Does 47 divide o?
True
Suppose -227*c = -226*c - 515. Is c a multiple of 6?
False
Let n(s) = -s - 8. Let d be n(-2). Let b(y) = -4*y + 44. Is b(d) a multiple of 17?
True
Let w = -43 - -80. Suppose 3*i - w - 23 = 0. Does 5 divide i?
True
Suppose 5 = 5*b + w, 4*b + 2*w + 18 = 16. Suppose 5*u = -3*q + 51, -3*q + b*u = 5*u - 45. Does 12 divide q?
True
Let u be (46/6)/((-2)/(-6)). Let x = 39 - u. Is x even?
True
Let r be (-12)/(-3) + -1 + 416. Suppose -4*w + 337 = 5*v, -7*v = 5*w - 3*v - r. Is 15 a factor of w?
False
Let n(h) = h**2 + 5*h - 4. Let z be n(4). Suppose 3*q - z = -2*b, -3*b = -5*q + 8 + 20. Is q a multiple of 3?
False
Suppose 2*o = 8 + 12. Does 5 divide (2/4)/(1/(o + 0))?
True
Let r = -575 - -634. Is r even?
False
Suppose 7*f + 32 = 9*f. Does 8 divide 142 - 0 - f/(-4)?
False
Let y be -1*3*(-5)/3. Suppose y*q - 144 = 3*z, -5*z + 60 = 4*q - 70. Is q a multiple of 12?
False
Let t be 2317/49 + 2/(-7). Suppose 4*n - 3*n = t. Let d = n + -19. Does 9 divide d?
False
Suppose 2*x + 10 = 7*x. Suppose 0 = x*d + 20 - 62. Is 4 a factor of d?
False
Let q be (2 - (-2)/(-1)) + -572. Let n be q/24 + (-3)/18. Does 14 divide (-18)/n + (-89)/(-4)?
False
Let c(m) = 2*m**3 + 6*m**2 + 2*m + 3. Let u be c(-5). Let k = 161 + u. Let b = k + -37. Does 9 divide b?
False
Let v be (-1)/2 - 123/(-6). Let s be v/16*-1*20. Let p = 36 - s. Is p a multiple of 16?
False
Suppose -548 = 3*j - 8. Is 16 a factor of j*1/((-5)/5)?
False
Suppose 1380 = -3*z + 4278. Does 46 divide z?
True
Let i(r) = r**3 - 4*r**2 - 21*r + 75. Is i(10) a multiple of 21?
False
Let f = 613 - -243. Does 13 divide f?
False
Suppose -4*n = -20, -71 = -5*y - 2*n + 109. Does 3 divide y?
False
Let i = 2956 - 1566. Suppose -26*k = -31*k + i. Is 40 a factor of k?
False
Let d(q) = 3*q**2 - 22*q + 36. Does 12 divide d(12)?
True
Let i = -63 - -58. Is 10/50 + (-59)/i a multiple of 5?
False
Suppose -4*p + p + 42 = 0. Let m(v) = 2*v**3 - 5*v**2 - 3*v + 1. Let l be m(4). Suppose p = b - l. Is b a multiple of 11?
False
Suppose 5*d - 4 = -4*u + 15, 0 = 3*u + 2*d - 9. Let n(p) = -4*p**2 + 2*p - 1. Let z be n(u). Let o = 32 + z. Is o a multiple of 17?
False
Let u(o) = -21*o + 150. Let n be u(7). Suppose -3*r + r + 107 = -x, -3*x = -4*r + 211. Suppose -4*m = -n*m - r. Is 16 a factor of m?
False
Let x be (-2)/(-13) - 1503/(-117). Let k = x + -9. Let s(q) = 16*q - 10. Is s(k) a multiple of 18?
True
Let m = -345 - -531. Is m a multiple of 6?
True
Suppose 1101 = 22*m - 285. Is 9 a factor of m?
True
Let r(a) = a + 1. Let y(p) = 33*p + 3. Let v(f) = 4*r(f) - y(f). Let s = -36 + 35. Is 15 a factor of v(s)?
True
Let q(i) = -4*i + 80. Does 16 divide q(12)?
True
Suppose 2 = 25*f - 23*f. Does 17 divide 141*(-1 - -2)*(f + 0)?
False
Let z(n) = -2*n**2 + 22*n + 28. Let j be z(22). Let p = 648 + j. Is 32 a factor of p?
True
Suppose m - 1330 + 52 = -4*n, 5*m - 2*n - 6412 = 0. Is 27 a factor of m?
False
Let d(a) = a + 52. Let k(c) = -c**3 + 7*c**2 + 9*c - 8. Let r be k(8). Let u be d(r). Let o = u - 37. Is 15 a factor of o?
True
Suppose -41*k - 300 = -43*k. Is 11 a factor of k?
False
Suppose 3*j - 5*q - 90 = 134, -5*q + 360 = 5*j. Let z = 21 - j. Let p = 88 + z. Does 9 divide p?
True
Suppose 4*s = -5*x + 598 + 93, 5*s = -x + 134. Let l = x - -32. Suppose 63 = 2*j + 3*b, 0*b = -5*j - 3*b + l. Is 9 a factor of j?
True
Let w(p) = p - 5. Let n be w(5). Suppose 3*l = -n*l + 441. Let i = l - 96. Is 26 a factor of i?
False
Let c(i) be the third derivative of -i**6/120 + 13*i**5/60 - 3*i**4/4 - 4*i**3/3 + 2*i**2. Is 18 a factor of c(11)?
True
Suppose -47 = -5*t - 47. Is -3 + (3 + t - -118) a multiple of 20?
False
Is 7 a factor of (0 - (-122)/6)/(37/777)?
True
Suppose -5*p - 5*n = -3*n - 5240, 2*n + 10 = 0. Does 10 divide p?
True
Suppose 0 = 7*q - 3600 - 4863. Is 13 a factor of q?
True
Let n(o) be the second derivative of 5*o**4/6 - o**3/6 + o**2/2 - 17*o. Let z = -3 + 4. Does 6 divide n(z)?
False
Suppose 0 = -10*z + 7*z, -3*d - 5*z = -267. Is 23 a factor of d?
False
Suppose 3*b - 11 - 28 = 0. Let m = b - 1. Does 9 divide ((-45)/4)/((-3)/m)?
True
Suppose 5*z - 2*b - 1625 = 3*b, z + 2*b - 331 = 0. Is z a multiple of 8?
False
Suppose -8*n = -3*n - 4*r - 4792, 4*n - 3834 = 3*r. Is n a multiple of 15?
True
Suppose q - 5*s - 5 = 0, 4*q - 5*s = -0*q + 20. Suppose q*d + 30 = -0*d. Does 21 divide 81 + (-2 - d - 3)?
False
Let l = -35 + 37. Does 6 divide (-26)/(-2) - (0 + l)?
False
Suppose 1764 = 3*k - 2*h, 3*k - 4*h - 1755 = 9. Does 21 divide k?
True
Let l(f) = -3*f**2 + 4*f. Let z be l(4). Let r = -95 - -167. Let s = z + r. Is 16 a factor of s?
False
Let c = -487 + 779. Does 10 divide c?
False
Let g = 22 - 37. Let a(x) = 3*x - 2*x + 22 - 3*x - 44 - x. Is 4 a factor of a(g)?
False
Does 61 divide -269*(-3 + (-2)/(0 + -1))?
False
Is 13 a factor of (-16)/88 + ((-243720)/66)/(-4)?
True
Let x(f) = -26*f + 448. Is x(-37) a multiple of 94?
True
Let l(j) = 4*j**2 + 4*j - 3. Let n be l(2). Suppose -19*i = -n*i + 86. Does 6 divide i?
False
Suppose 10*t = 5*t + 10. Suppose 4*m - 1950 = -t*m. Suppose -u + m = 4*u. Is u a multiple of 13?
True
Let x be -6*(-4 + 2 + 0). Let b = 14 - x. Suppose 2*z - 71 = -4*h + 93, -b*z - 41 = -h. Does 16 divide h?
False
Let p be (-7)/(-21) - 17/(-3). Let m be p*1/(0 - -2). Suppose 0*x = -m*x + 207. Is 23 a factor of x?
True
Suppose 3*v - 828 = 5*g, 4*v - 472 = -4*g + 664. Is 15 a factor of v?
False
Let x = 1516 + -1510. Is 2 a factor of x?
True
Suppose 0 = 6*f + 7*f - 3003. Does 21 divide f?
True
Let q = -