-c + 81 = -4*a, 5*a + 346 = 3*c + c. Is 9 a factor of c?
False
Let d(c) be the first derivative of c**2/2 + 4*c + 5. Let r be d(-7). Is 5 a factor of (-21)/r - (-3)/1?
True
Let j be (-7 - -4) + 7/1. Suppose j = -2*n, -2*n - 1 = -6*k + 3*k. Is (-42 + 2)*(-3 - k) a multiple of 20?
True
Suppose 4*j = 5*u - 21, 0*j + 5*j = -4*u - 16. Let m be -4 + j*(2 + 0). Is 8/(-24)*5*m a multiple of 10?
True
Suppose 4*b = 16 + 4. Suppose -b*t + 25 = -0*t. Suppose 2*g - 5*x - 66 = -23, t*g + 4*x - 25 = 0. Is g a multiple of 9?
True
Is 2/(-22) + 18234/198 a multiple of 23?
True
Suppose o = 2*g - 120, g - o - 10 - 50 = 0. Suppose 36 + g = 2*p. Is 8 a factor of p?
True
Let y be 0*(-1 + -1 - -3). Suppose 0 = 4*f + 5*x + 69 - 802, 5*x - 25 = 0. Suppose -4*s + 7 + f = y. Is s a multiple of 11?
False
Suppose 2*b + 274 = 2*a - 144, 5*a = -2*b + 1052. Let i = a + -76. Does 16 divide i?
False
Let g(q) = 5*q**2 - 3. Let i(p) = -p**2 - 4*p - 4. Let h be i(-6). Let y = h - -18. Does 14 divide g(y)?
False
Let d = 9 + -5. Suppose -3*a + 2*w = -133, -d*a + a + 113 = 2*w. Is a a multiple of 32?
False
Let i be 1*2/(-4 - -6)*3. Suppose -n = -4*v + 146, v + i*n - 26 = -2*n. Does 32 divide v?
False
Let i be 1155/12 + (-9)/36. Let v = i + -65. Is 18 a factor of v?
False
Let n(z) = -26*z - 3. Let x be n(3). Let q(u) = -7*u + 19. Let g be q(7). Let o = g - x. Does 17 divide o?
True
Let o(l) = 2*l**3 - 4*l**2 + 3*l. Let t be o(2). Suppose 0 = t*w - 3*w. Suppose w = 5*h + 42 - 172. Does 9 divide h?
False
Let k(o) = -9*o**2 + 3*o + 6. Let l(q) = 19*q**2 - 7*q - 13. Let z(r) = -9*k(r) - 4*l(r). Let i be z(1). Suppose -i*w - w + 25 = 0. Is w a multiple of 3?
False
Let h = 14 + -21. Let n(k) = -k**2 - 7*k + 3. Let g be n(h). Suppose -5*z = -m - 140, -112 = -4*z - g*m + 2*m. Is z a multiple of 28?
True
Is 33 a factor of ((9 - 17)/(-8))/((-1)/(-167))?
False
Let r(b) = b**3 - 6*b**2 + 5*b - 28. Is r(12) a multiple of 32?
True
Let l = -22 - -16. Let t(o) = -5*o - 3. Let i(f) = -28*f - 14. Let z(q) = 3*i(q) - 14*t(q). Is 24 a factor of z(l)?
False
Let v = 8446 - 5894. Does 29 divide v?
True
Suppose -16 = -4*x + 4*u, 0 = x + 3*u - 0*u + 4. Let c = 17 + x. Is c a multiple of 4?
False
Suppose -38 = -2*l - 2. Let m = l - -40. Does 13 divide m?
False
Suppose 0 = 33*m - 28*m - 8445. Suppose -16*b = -m - 999. Does 56 divide b?
True
Suppose 162*l = 157*l + 1000. Is l a multiple of 10?
True
Let f = -1151 - -1681. Is f a multiple of 42?
False
Let g(a) = 2*a**3 - 2*a**2 - a. Let v be g(2). Suppose -29 = -v*y - 11. Is (y - 92/12)*-3 a multiple of 14?
True
Let f = -11 - -18. Suppose 145 - 19 = f*s. Does 4 divide s?
False
Suppose -b + 3 - 3 = 0. Is 11 a factor of 658/8 - (b + 2)/8?
False
Suppose 23*d = 21*d - 24. Does 14 divide (-395)/(-4) + d/16?
True
Let u be 39/6 - (-1)/(-2). Suppose -u = -2*w - h, w - 19 = -2*w - 4*h. Does 6 divide (-76)/(-8)*(w + 1)?
False
Let f be (-9676)/(-36) - (3 - (-87)/(-27)). Suppose 9*w + 53 = f. Is 12 a factor of w?
True
Is -1*(1 - 0) - (-3234 + -98) a multiple of 16?
False
Suppose 0 = r + 5*x - 746, 5*r + 2*x + x = 3774. Suppose -u = -7*u + r. Is 17 a factor of u?
False
Suppose 3*k - 46*z - 3025 = -50*z, -3029 = -3*k - 5*z. Does 21 divide k?
False
Let p = 62 + -52. Is 13 a factor of -13*6/((-12)/p)?
True
Suppose 0 = -5*z + j - 4*j + 3, -2*j = -z - 2. Let o(x) = x + 25. Does 3 divide o(z)?
False
Let h = 73 - 73. Suppose 43*o - 39*o - 76 = h. Is o a multiple of 3?
False
Let i(z) = -z**2 + 3*z + 7. Let q be i(4). Suppose -l = -4*b + q*l + 44, 27 = 2*b - 3*l. Suppose n - 5 = b. Is n a multiple of 4?
False
Let p(c) = -c + 7. Let h be p(5). Let d = -2 + h. Suppose -4*z + 426 = -r, 5*r = 4*z - d*r - 434. Does 27 divide z?
False
Suppose 0 = -3*z + 3*n - n + 401, -n = 1. Does 19 divide z?
True
Let q be 24/10*(-80)/(-12). Suppose 0 = 4*f + 2*a - 0*a - q, -5*f + 2*a + 11 = 0. Is 13 a factor of 6/f*-5*-2?
False
Suppose 0 = -3*t - 2*f - 50 + 236, -9 = 3*f. Let o = t + 11. Is o a multiple of 7?
False
Suppose -y = -5*c + 18, 0 = -y - 1 - 2. Suppose 0 = 12*s - 140 - 40. Suppose -4*l = -5*i + 61, l - s = -c*i - 2*l. Is i a multiple of 5?
False
Let t(d) = -37*d - 48. Does 71 divide t(-17)?
False
Let f be (-3)/6 - ((-66)/4)/(-3). Let r(l) = -l**2 - 18*l + 13. Is r(f) a multiple of 21?
False
Let q be 0 - ((-2)/(-10) + 1105/(-25)). Let t be 106/4 - 1/2. Suppose 3*y - q = 4*l, -y + t = y - 2*l. Is y a multiple of 8?
True
Let w = 372 - 351. Is w a multiple of 2?
False
Let z = -321 + 575. Suppose -54 + z = 5*x. Suppose 0 = 3*j + l - 35, -4*j + l = -l - x. Is j a multiple of 4?
False
Does 15 divide 4 + -5 + 3 + (147 - -7)?
False
Suppose 0 = k + q - 50, -5*k + 68 = -4*k - 5*q. Let v = k + -48. Is 3 a factor of v?
False
Let q be (-38)/(-8) + (-5)/(-20). Suppose -2*u = -q + 3. Suppose w - 17 = -u. Is w a multiple of 16?
True
Let b = 64 - 66. Let k(m) = -22*m + 4. Is 13 a factor of k(b)?
False
Let a = -40 + 504. Does 16 divide a?
True
Let t = -1048 + 2693. Is t a multiple of 47?
True
Suppose 0 = -3*b + 11*b + 1008. Is (3240/b)/(-2 + 25/14) a multiple of 30?
True
Let v be 2 + (15 - 0)/(-3). Does 6 divide ((-528)/(-9))/(-8)*v?
False
Let t(w) = 5*w**3 + 8*w**2 + 11*w + 2. Let i(y) = 17*y**3 + 23*y**2 + 33*y + 6. Let g(u) = -2*i(u) + 7*t(u). Let p = -19 + 11. Is 14 a factor of g(p)?
True
Suppose 0*r = -r - 9. Let o = -6 - r. Suppose 98 = 5*t - o*t. Does 14 divide t?
False
Suppose -5*y = -3*p - 6222, -y + 3*p = 256 - 1498. Is 27 a factor of y?
False
Let b = 1552 + -1421. Is b a multiple of 9?
False
Let u = -237 - -677. Is u a multiple of 16?
False
Is 2 a factor of 296/48 - 3/18?
True
Let j(m) = m**2 - 3*m - 1. Let o be j(-6). Suppose 0 = -5*y - o + 13. Does 16 divide y/(2/(-6 + 2))?
True
Suppose 3*p - 5*v = 24, 0*p - 3*v + 6 = 5*p. Suppose 5*b + 6*t + 8 = 3*t, 0 = -2*b - p*t + 4. Is 11 a factor of b/28 - (-696)/21?
True
Let r(v) = -2*v**3 + v**2 + 7*v + 1. Let d be r(-5). Suppose -2*u + d = 11. Is u a multiple of 23?
True
Is 5 a factor of (399/(-14))/(((-42)/(-20))/(-7))?
True
Let n = -296 - -321. Is n a multiple of 5?
True
Let s = 180 + -112. Does 6 divide s?
False
Let c(h) be the third derivative of h**6/120 + 2*h**5/15 - h**4/3 - h**3/3 + 4*h**2. Let m be c(-9). Let k = 0 - m. Is 11 a factor of k?
True
Is 29 a factor of 415/(-83)*-2*2683/10?
False
Suppose 7907 = -14*q + 45875. Does 113 divide q?
True
Let w be (-1)/((-4)/120 - 1/6). Suppose w*q = 175 + 170. Is 6 a factor of q?
False
Let f be 204/42 - 2/(-14). Let z(s) = s - 7*s - 4 + f + 5. Does 15 divide z(-7)?
False
Let a = -11 - -16. Suppose -5*q + c = 25, -55 = a*q + 6*c - c. Is 21*(4/q + 1) even?
False
Suppose -4*x + 2*h + 0*h + 474 = 0, x - h - 119 = 0. Does 6 divide x/4 + 4/(-48)*-6?
True
Let n be ((-9)/6)/((-3)/2). Is 26 a factor of -1 + (62 - n)*3?
True
Suppose 28147 + 5540 = 19*m. Does 16 divide m?
False
Let o = -303 - -1287. Is 82 a factor of o?
True
Let x(y) = -y**3 + 7*y**2 + 12*y + 8. Let m be x(7). Let n = 153 - m. Is n a multiple of 16?
False
Let r = -2 - -5. Suppose -63 = -r*u - 0*u. Does 2 divide u?
False
Suppose -i = -5*r - 17, -5*i = -2*i + 2*r. Suppose i*w + w = 48. Does 2 divide w?
True
Suppose 0 = -5*z + 4*t + 270, 4*z + 67 = -4*t + 247. Does 5 divide z?
True
Let n(f) = f**2 - 3*f - 12. Let t be n(-3). Let m = 12 - t. Is 5 a factor of m?
False
Let i(a) = a**3 - 5*a**2 + 5*a - 1. Suppose 29 = 5*t + 9. Let c be i(t). Suppose -c*b + 11 = -28. Is b a multiple of 11?
False
Let y(v) = -47*v - 4. Suppose 2*h + 12 = 2, r - 2*h - 6 = 0. Let i be (-2)/r + (-5)/2. Does 27 divide y(i)?
False
Let m be -3 + (0 - 0) + 6. Suppose -i = -m*a + 14, -i = -2*a + 8 + 2. Is (-8)/8 - 64/i a multiple of 11?
False
Suppose 3*p + p = 4*c - 748, 4*c - 734 = -3*p. Let z(a) = -a**3 + 14*a**2 + 10*a - 7. Let t be z(15). Let x = c + t. Is 13 a factor of x?
False
Let m(g) be the second derivative of 3*g**4/4 + g**3/3 - g**2/2 + 2*g. Let n be m(4). Suppose -5*t + n = -84. Does 30 divide t?
False
Let y be (2/4)/((-6)/(-60)). Let w be ((-48)/30)/((-2)/y). Suppose -225 = -4*r - 3*g, 105 - 365 = -w*r + 4*g. Is 20 a factor of r?
True
Let y = 19 - 11. Suppose y = -2*z + 208. Is z a multiple of 10?
True
Suppose -4*i - 216 = -4*n - 2*i, -n + 5*i + 54 = 0. Suppose t + t - n = 0. Is 4 a factor of t?
False
Suppose 15184 = 160*m - 144*m. Is m a multiple of 3?
False
Let h = 25 +