he second derivative of i**3/3 - i**2/2 - 3*i. Let j be m(4). Is k(j) a multiple of 13?
False
Suppose 0*j + 5*j = 0. Does 7 divide 24 - (j/1 + 2)?
False
Let d(x) = 38 + 7 - 17 - x. Does 12 divide d(0)?
False
Suppose 0 = -4*w - 3*o + 700, 171 + 179 = 2*w - o. Does 25 divide w?
True
Suppose 5*i = 2*i - 3. Is 18 a factor of 24 - (i - (0 + -1))?
False
Suppose m - 3*q - 9 - 19 = 0, q + 44 = 3*m. Is m a multiple of 13?
True
Is 3 - 3 - 252/(-3) a multiple of 16?
False
Let i(g) = -g + 8. Let w be i(0). Is 11 a factor of (7 + -2)*w - -3?
False
Let x(g) = g**2 - 5*g - 17. Is 18 a factor of x(9)?
False
Suppose -33 = -3*l + 5*j - 0*j, -5*l + 24 = 2*j. Is (-28)/42 + 166/l a multiple of 20?
False
Is 10 a factor of ((-13)/(-26))/((-1)/(-68))?
False
Let g = 13 - 8. Let h(m) = -m + 9. Does 2 divide h(g)?
True
Suppose 540 = 24*d - 21*d. Is 12 a factor of d?
True
Suppose 2*z - 37 = 75. Suppose -5*p + 3*p = -z. Is p a multiple of 20?
False
Let b be 1/((3 + -2)/11). Suppose 5*i - b - 19 = 0. Is i a multiple of 6?
True
Let q(u) be the first derivative of u**4/4 + 4*u**3/3 - u**2 - u + 7. Is 5 a factor of q(-3)?
False
Let y be (-4 - -3)/(2/(-4)). Suppose -3*s + 2*t + 52 = -2*t, -2*s + 32 = -y*t. Does 4 divide s?
True
Suppose 0*t + 2*t - 54 = 0. Does 18 divide t/4*16/6?
True
Let d(q) = -q**2 - 21*q - 26. Is 12 a factor of d(-11)?
True
Suppose 299 - 43 = 4*r. Let y = r + -35. Is 20 a factor of y?
False
Let y(b) = -2*b + 28. Is 6 a factor of y(-13)?
True
Let m(y) = y**3 + 7*y**2 + 7*y. Let a be (-10)/25 - (-28)/(-5). Let t be m(a). Let x = t - -16. Is 7 a factor of x?
False
Suppose 1131 = 5*z - 284. Suppose -4*h + z = 87. Let n = h + -25. Is 12 a factor of n?
True
Let c = 5 + -3. Suppose -l - c*l = -12. Does 4 divide l?
True
Let q(c) = 32*c + 1. Let d be q(4). Let u be ((-81)/(-12))/(2/8). Suppose -3*j + d = u. Does 17 divide j?
True
Suppose 0 = -7*c + 2*c - 25. Let v = c - -10. Is 21*(v/3 + -1) a multiple of 14?
True
Suppose -2*b = -b + 5*v - 26, 4*v = 0. Does 13 divide b?
True
Suppose -l + 2*l = 0. Suppose l = -4*m - 4*w + 24, 0*w + 22 = 4*m + 3*w. Suppose 2*y + 3*b - 9 = m*y, -y = -4*b + 17. Is y a multiple of 3?
True
Suppose 5*u - 186 = 14. Is 14 a factor of 1210/u + 2/(-8)?
False
Let l be (0 - -1)/(1/(-7)). Let s = l - -9. Suppose 0 = -s*f - 2*f + 96. Does 12 divide f?
True
Let l = -2 + 5. Suppose -16 = 2*z - l*z. Is z a multiple of 7?
False
Let y(h) = h**2 + 8. Is 2 a factor of y(0)?
True
Suppose 0 = -10*v + 5*v + 320. Does 4 divide v?
True
Is 22 a factor of -4*(-12678)/192 + (-3)/24?
True
Let t(l) = l**3 + 8*l**2 - 2*l + 6. Let k be t(-7). Suppose r - k = -3*b, -2*r - 38 = -b - 8. Is b a multiple of 12?
True
Is ((-364)/(-20) - 0) + (-2)/10 a multiple of 5?
False
Suppose 0*t + 3 = -t. Let y(o) = -o**3 - o**2 - 4*o. Is y(t) a multiple of 12?
False
Let n = -7 - -32. Suppose n = 5*r - 0*r + 5*o, -5*r = -2*o - 46. Suppose 0*p = -2*p + r. Does 3 divide p?
False
Suppose -2*g = 3*g - 310. Let a(p) = p + 3. Let j be a(0). Suppose j*v - 5*b = -0*v + g, 77 = 4*v - b. Is 8 a factor of v?
False
Is 15 a factor of (-50)/20*(-6 + 0)?
True
Suppose 43 + 1 = 2*x + s, -3*x - s + 67 = 0. Is x a multiple of 12?
False
Let a = -36 + 64. Does 7 divide a?
True
Let w be (-22)/(-5) - (-2)/(-5). Suppose 0 = j + 4*k + 14, 2*j - k - w = 4. Does 2 divide j?
True
Does 12 divide (-2)/(-3*(-5)/(-435))?
False
Suppose -t - 2*t = -36. Suppose 2*p = 5*p - t. Does 3 divide p?
False
Is 38*(1 - (6 + -3))/(-4) a multiple of 14?
False
Let c be 1/(-1)*(1 - 13). Let z = 90 + -51. Let d = z - c. Is d a multiple of 9?
True
Let x = -3 + 1. Let w be x/(-3 + 2) - -4. Suppose -w*o = -o - 10. Is o a multiple of 2?
True
Let g(t) = t**3 + t**2 + t - 2. Let s be g(2). Suppose -3*v + s + 6 = 0. Is 6 a factor of v?
True
Let s = 42 + 2. Does 3 divide s?
False
Let p = 10 - 6. Suppose p*m - 162 + 54 = 0. Is m a multiple of 9?
True
Suppose -5*j + 31 = -h, -h + 6*h = 5*j - 15. Is j a multiple of 7?
True
Does 19 divide 2/(-4)*(-44 + 6)?
True
Suppose 116 - 16 = 5*f. Does 4 divide f?
True
Let n = -3 + 11. Let k = -2 + n. Is 6 a factor of k?
True
Suppose j = 6 + 7. Is 13 a factor of j?
True
Suppose 71 = 4*r - x, 6*r - r - 105 = -2*x. Does 10 divide r?
False
Suppose 3*y - 5 = 4. Suppose 3*s - y = 2*s. Suppose -d - s*d + 72 = 0. Does 18 divide d?
True
Let s = -9 + 7. Does 8 divide (s*1)/(3/(-45))?
False
Let i(q) = q**2 - 18*q + 21. Suppose x = 10 + 7. Is 4 a factor of i(x)?
True
Suppose -55 = -3*c - 4*l, 4*c - 56 = c - 5*l. Suppose -b + 2 + 8 = v, 2*v - b = c. Is v a multiple of 6?
False
Let m = 46 + -8. Does 7 divide m?
False
Suppose 188 = 3*m + 2*h, -4*m + 251 + 5 = 4*h. Does 12 divide m?
True
Let b(j) = j**2 + 7 + 1 - 8*j - 2*j**2 - 2*j. Does 12 divide b(-8)?
True
Let t be ((-3)/(-2))/((-45)/(-2040)). Let f = t + -20. Is 12 a factor of f?
True
Suppose 3*w = 3*r + 7 + 11, 2*r = -5*w + 23. Let m be (29*(r + 0))/(-1). Let s = -11 + m. Does 18 divide s?
True
Let j = 323 - 179. Suppose 0 = -5*s + s + j. Is 18 a factor of s?
True
Let q(h) = -h**2 - 7*h + 6. Let i be q(-9). Let y = 5 - i. Does 14 divide y?
False
Suppose -5*z + 24 = -11. Is 7 a factor of z?
True
Suppose -3*b + 175 - 34 = 3*y, 5*b - 233 = -3*y. Is 3 a factor of b?
False
Let i be 10/15 + 2/(-3). Suppose i*u = -u. Suppose 5*z + 15 = 0, u = 3*t - 3*z - 11 - 58. Is t a multiple of 10?
True
Suppose f = -5*d + 255, -3*f - 56 = -d - 5. Is d a multiple of 13?
False
Let l(p) = 8*p**2 + 2*p + 1. Suppose 4*q - 23 = -3*d, 1 = -3*d + 4*q + 8. Suppose -3*r - d = 2*r. Is 7 a factor of l(r)?
True
Suppose 75 = -0*o + 5*o. Is o a multiple of 15?
True
Is (37 - 1)*(-506)/(-184) a multiple of 19?
False
Let b = 27 + -18. Is b a multiple of 3?
True
Let t(k) = -k**3 + 7*k**2 - k + 7. Let f be t(7). Suppose -5*j = 5*d - f*d - 5, 0 = -d + j - 1. Does 6 divide (-1 - d)/((-3)/42)?
False
Let r(h) = 2*h + 32. Is r(-10) a multiple of 12?
True
Suppose 2*d - 3*f + 0*f = -30, -f = -4*d - 40. Is 6/d*1*-15 a multiple of 6?
False
Let i(h) = -h - 1. Let x be i(4). Let c be (8 + x)/((-3)/8). Let d = c + 11. Is 3 a factor of d?
True
Let f(w) = -w + 11. Let c be f(7). Is 8 a factor of 24 + (-4 + c)/(-1)?
True
Let x(t) = 4*t**2 + 5*t - 5. Let i = 17 + -22. Is 32 a factor of x(i)?
False
Suppose 25 = 3*x - 26. Suppose j = x + 4. Does 18 divide 2/3 - (-364)/j?
True
Let b = -1 - -7. Suppose b*j - j = 0. Suppose 3*d - 12 - 144 = j. Is d a multiple of 26?
True
Does 10 divide ((-7)/(-14))/(2/152)?
False
Suppose 8 = 2*o, r + 23 = -2*r + 5*o. Let b(f) = f**2 - 1. Let m be b(r). Suppose m = -2*x + x + 19. Is 19 a factor of x?
True
Let t = -19 + 15. Is (-1 - t) + 15/5 a multiple of 6?
True
Let v(u) = -u - 1. Let r be v(-3). Suppose -100 = -r*w - 2*w. Is 25 a factor of w?
True
Let p = 134 + -91. Does 14 divide p + -1 + (5 - 5)?
True
Let j(g) = -8*g**3 - 2*g**2 - g. Let l(s) = -s - 7. Let t be l(-8). Let c be 1 + -1 - (t - 0). Is j(c) a multiple of 4?
False
Let i be (0 + 17)/(2/(-2)). Let t = i - -40. Suppose 0*s - 3*s + 26 = -5*n, 3*s - 2*n = t. Does 2 divide s?
False
Let p = -1 + 3. Suppose -6*h + p*h = 0. Suppose h = -0*g - 3*g + 21. Does 4 divide g?
False
Suppose -v - 17 = -0*q + 3*q, -5*v = q + 141. Suppose -2*f = 4*m + f - 182, -48 = -m - 2*f. Let n = v + m. Does 15 divide n?
True
Suppose 5*j = w - 5*w + 21, 5*w = -j + 21. Suppose 4*f - 14 = 2*r, 4*r + f = 4*f - 13. Let c = r + w. Is c a multiple of 2?
False
Let x be 884/(-8) + (-2)/(-4). Suppose -7*w - 32 = -11*w. Does 7 divide 4/16 - x/w?
True
Suppose -4*j + 3*c - 5*c = -98, 0 = -3*c + 9. Does 10 divide j?
False
Let a = 17 - 10. Let o = 19 - a. Is 8 a factor of o?
False
Suppose -4*g = 19 - 79. Is g a multiple of 6?
False
Suppose -3*x + 2*b + 5 = 0, b = -4*x - 10 + 35. Suppose 2*d - 3 = 4*v - 1, 4*d + x*v = 43. Let i = 17 - d. Is i a multiple of 7?
False
Does 13 divide 4/(-10) - 574/(-35)?
False
Let z(s) = -s**3 + 5*s**2 - 2*s - 5. Suppose -4*p = -1 - 15. Is 2 a factor of z(p)?
False
Let k(n) = -14*n - 1. Let a be k(-1). Suppose 0 = 4*h - 20, 3*i - 4*h = 2*i - a. Does 4 divide i?
False
Let x(g) = g**3 + 8*g**2 - 10*g - 9. Let p be x(-9). Suppose -n = 2*n + 2*o - 26, 4*n + 2*o - 38 = p. Suppose n = 2*u - 4. Is 4 a factor of u?
True
Let s(g) = 3*g - 3*g + g. Let m be s(3). Suppose -m*v = -4*v + 36. Is 18 a factor of v?
True
Let s(d) = 9*d + 4*d**2 + 2 - 5*d**2 - 