he second derivative of v(i). Is k(-4) a multiple of 3?
True
Let n(x) = -16*x - 3. Does 9 divide n(-13)?
False
Suppose 481*g = 488*g - 8967. Is g a multiple of 21?
True
Let f(q) = -6*q - 4. Let d be f(11). Let t = 31 + d. Let p = t - -75. Is 18 a factor of p?
True
Suppose -8*t + 11*t = -3*b + 6522, 4*b - 4*t - 8680 = 0. Does 12 divide b?
True
Is (1 + 99/(-15))*(-100)/8 a multiple of 35?
True
Suppose -7 = -n - 3*q + 2, 2*n = 3*q. Let a = -354 + 418. Suppose j + n*j = a. Is 4 a factor of j?
True
Suppose -23*c = -21*c - 996. Let a = c - 331. Does 13 divide a?
False
Suppose 5*h - 16 + 1 = 0. Suppose 0 = 3*p - z - 71 - 73, 0 = -3*p + h*z + 150. Is 11 a factor of p?
False
Let q = 118 + -109. Suppose -q*i + 574 = 5*i. Does 7 divide i?
False
Is 16 a factor of 16*((-322)/(-4) + -12)?
False
Suppose 0 = 4*l - u + 121, 2 = 4*u - 2*u. Suppose -5*f = -4*n + 9 + 28, 3*f + 43 = 5*n. Does 7 divide (-396)/l + n/10?
True
Suppose -8*t + 9*t = -3*s + 11747, -5*s = -4*t - 19567. Does 45 divide s?
True
Let m(z) = z + 5. Let n be m(0). Let t be 2/3 + (1110/9)/1. Suppose 2*h - s - 76 = -3*s, -n*s = 3*h - t. Is 11 a factor of h?
True
Let b be 11/77 - 13/(-7). Suppose 3*r + 2*p + 665 = 0, b*r + 4*p + 425 = -p. Let s = r - -357. Is 33 a factor of s?
True
Let d(k) = -6*k - 96. Is 3 a factor of d(-20)?
True
Let f = 1690 - 1549. Is f a multiple of 4?
False
Suppose 0 = 4*b - 5*i - 2019, -b - 2*i - i = -526. Is 73 a factor of b?
True
Suppose -5*a - 2*p - 97 = 0, 2*a - 5*p = 3*a + 24. Let b = a + 19. Suppose d = 3*v + 24, 136 = 5*d - b*v + v. Does 10 divide d?
False
Let o = -12 + 17. Suppose -16 = u + o. Is ((-2)/5)/(u/2310) a multiple of 10?
False
Let c(v) = 106*v**3 - 2*v**2 + 8*v + 5. Is 17 a factor of c(3)?
True
Suppose -5*z = -4*w - 278, 0 = z + 4*w - 3*w - 61. Let q = -1 + z. Does 57 divide q?
True
Suppose 0 = 3*p - 5*p + 4. Suppose -5 = -5*s, -p*s - 127 = -2*z - s. Does 4 divide z?
True
Suppose 4*y - 170 = -o - 0*o, 3*o = 2*y + 440. Is 15 a factor of o?
True
Let t(x) = -2*x**3 + x**2 - 10*x + 24. Let g(l) = -l**3 - 5*l + 12. Let c(y) = 5*g(y) - 3*t(y). Let p be c(5). Suppose 69 = 4*z - p. Is z a multiple of 25?
False
Suppose -75*i = -74*i - 45. Is i a multiple of 15?
True
Does 9 divide (-11)/33 + 380/6?
True
Suppose 2*i = 7*i + 4*q - 8090, -2*q = 2*i - 3234. Does 22 divide i?
False
Let l(h) = 4*h + 3. Let p be l(3). Let c = 12 - p. Does 6 divide ((-27)/(-2))/(c/(-4))?
True
Let b be ((-3)/6)/(1/78). Let z = b + 63. Is z a multiple of 12?
True
Suppose 2*d + 5 = 9. Suppose j = -3*k - d*j + 72, -4*j = 0. Is k a multiple of 5?
False
Let z = 0 + 4. Suppose 3*i - z*i = -17. Let w = i - 11. Is w a multiple of 3?
True
Let a be 4/(-6)*3*-1. Suppose 4 = -a*v - 2*v, 2*s - 3*v - 63 = 0. Does 13 divide 770/s + (-1)/(-3)?
True
Suppose -4 - 2 = -2*d. Suppose -3*g + 414 = -d*z, -g + 0*g = -3*z - 140. Is 15/25 + g/5 a multiple of 14?
True
Suppose -3232 = -11*t - 482. Is 25 a factor of t?
True
Suppose 0 = 3*v - 9, 2*t + 3*v - 1402 = 579. Does 58 divide t?
True
Suppose -18648 = -28*x + 14*x. Does 20 divide x?
False
Suppose -h - 7*h + 32 = 0. Suppose -3*r + 275 = -j, 2*j = -h*r - j + 345. Does 9 divide r?
True
Suppose 7 = 5*s - 3*i + 4*i, -9 = 3*s + 5*i. Let h(o) = 3*o + 2. Let k(u) = 3*u + 3. Let d(l) = 4*h(l) - 3*k(l). Is d(s) a multiple of 5?
True
Suppose -c = 4*h - 19, 28 = 4*c + 3*h + h. Suppose 4*p + f = -3*f + 152, c*p = 2*f + 109. Does 37 divide p?
True
Is 17 a factor of (-27)/4 - (-33)/44 - -57?
True
Let i(f) = 11*f**2 + 33*f + 22. Let h(o) = -5*o**2 - 16*o - 11. Let u(l) = 9*h(l) + 4*i(l). Let v be u(-5). Suppose -v = -z - 2*z. Is z a multiple of 4?
True
Suppose 0 = -30*t + 18319 + 31751. Is 38 a factor of t?
False
Let v = 1228 + -702. Is v a multiple of 16?
False
Let j be 1 - -3248 - (25 + -24). Suppose j = 2*f + 14*f. Does 7 divide f?
True
Let z be 5/(-20) + 27/12. Is 3 - (z + -4 + -53) a multiple of 29?
True
Let z(r) = r**2 + 6*r - 4. Let a be z(-5). Let n = a - -7. Let t = n + 4. Is t a multiple of 2?
True
Let p be (3 - 2)/(3 + -4). Let z(f) = -2*f**2 + f + 2. Let v be z(p). Is 9 a factor of -3 + v/((-3)/90)?
True
Suppose -4*b - w = -24, 2*w = 2*b + b - 7. Suppose 2*o = -4*t - 4 + 216, -4*t + 198 = -b*o. Does 26 divide t?
True
Suppose 0*z = -2*z. Is (4 + -556)/(-4) + z a multiple of 31?
False
Suppose -113*l = -111*l - 32. Does 4 divide (-32)/(-5) + l/(-40)?
False
Let g(j) = -j**2 + 2*j + 4. Let m be g(3). Is 4 a factor of m + 33/3 + 3?
False
Suppose 3*z + 10 = -2*m, 3*z = 5*z - 5*m - 6. Is 6/z*-1 - (-36 - -1) a multiple of 4?
False
Let h be ((-45)/(-20))/(2/592). Suppose h = 5*b + 16. Let o = b + -76. Is 9 a factor of o?
True
Suppose -p + 1018 = -113. Is 10 a factor of p?
False
Let d = -1853 - -2329. Is d a multiple of 7?
True
Suppose 8*a - 77 = 6227. Is a a multiple of 19?
False
Let z(a) = -9 + 9 + 222*a - 27*a. Is z(1) a multiple of 13?
True
Suppose 4*x + 2*z - 5*z - 1987 = 0, -2*z = -6. Does 47 divide x?
False
Suppose 2*u = -2 + 8. Suppose u*i + i + 24 = 0. Let r = 51 - i. Does 12 divide r?
False
Let w(n) = -n**3 - 12*n**2 + 12*n + 7. Is w(-13) a multiple of 5?
True
Is 181 + (7 + -6)*-6 a multiple of 3?
False
Let w be 24/(-16) + (-26)/(-4). Suppose j - 5 = c, 0 - 5 = -w*c. Suppose j = 2*r - 30. Does 10 divide r?
False
Let j(u) = -u**3 + 5*u**2 - 3*u - 2. Let s be j(6). Let x = s + 94. Is 19 a factor of x?
True
Let d be (-1)/((-5)/30)*5. Suppose -4*p + d = -p. Is p a multiple of 5?
True
Suppose 2*c + 4*c - 252 = 0. Suppose 2*v - 5*v = -c. Does 7 divide v?
True
Let g(x) = -x + 7. Let f be g(0). Let q(w) = w**3 - 4*w**2 - 11*w + 11. Is q(f) a multiple of 27?
True
Suppose 5*j - 9064 = -5*q + 2*q, 5*q + j - 15114 = 0. Is q a multiple of 14?
False
Let w(g) = 8*g**2 + 15*g - 272. Is w(-16) a multiple of 24?
True
Suppose 28*h - 33*h = -5440. Is h a multiple of 37?
False
Let g(d) = 34*d**2 + 5*d + 5. Is g(4) a multiple of 17?
False
Let n = -29 - -14. Let v be 28/70*n/(-2). Suppose -3*x - 108 = -5*j + j, -v*j = 2*x - 64. Is j a multiple of 24?
True
Is (3 - 8) + 7/(28/2200) a multiple of 5?
True
Let v = -8 + -5. Let x be -39 - (-3*1)/(-3). Let n = v - x. Is 16 a factor of n?
False
Let w be 44/16 - 1/(-4). Let h be (-247)/w - (-4)/12. Let d = 127 + h. Does 9 divide d?
True
Suppose 5*j = 8 + 12. Suppose j*p + 7 = -5. Does 19 divide (6 + p)*(-26)/(-3)?
False
Suppose 0 = 3*a - 5*m + 9, -a + 14 = 5*m - m. Suppose a*k = -3*k + 545. Does 8 divide k?
False
Let v(w) = 3*w + 2 - 1 - 3*w**2 + 3 + 6*w**2. Does 10 divide v(-4)?
True
Let k(l) = l - 9. Let q be k(4). Let x(d) = 34*d + 6. Let u be x(q). Is 6 a factor of u/(-14) - 4/(-14)?
True
Suppose 4*k = 5*x + 273 + 22, -5*k - 3*x + 341 = 0. Does 10 divide k?
True
Is 29 a factor of (-10)/(-8) + 11005/124?
False
Is 3/(-5) - 3746/(-10) a multiple of 12?
False
Let f be (-50)/20 - (-1)/(-2) - -90. Suppose 5*w - 2*w = -15, f = 2*n - w. Is n a multiple of 34?
False
Let c(m) = -6*m**2 - 75*m + 46. Let q(k) = -k**2 - 15*k + 9. Let d(p) = 2*c(p) - 11*q(p). Suppose -2*w + w - 32 = -2*a, -3*w + 44 = 4*a. Is 7 a factor of d(a)?
True
Suppose -2*l - 7*u = -9*u - 92, -4*l = 3*u - 156. Does 14 divide l?
True
Let q(k) = 1. Let o(r) = -8*r + 42. Let i(z) = -o(z) - 5*q(z). Is 25 a factor of i(28)?
False
Suppose 42435 = 53*w - 12*w. Is 10 a factor of w?
False
Let c = -864 + 3443. Is 75 a factor of c?
False
Suppose -1618 = -5*j - v, 0 = 3*j - 5*v - 370 - 612. Is j a multiple of 4?
True
Suppose 2*q + 30 = 5*q. Suppose 11*d - 16*d = q. Does 5 divide 1/d + (-65)/(-10)?
False
Let x be ((-6)/4 + 2)*4. Suppose -x*w + 16 = m - 6*w, 4*m - 30 = -w. Is m a multiple of 4?
True
Let k = 109 - 107. Suppose -k*f - 5*c + 384 = 0, 3*c = -6*f + 2*f + 740. Does 14 divide f?
True
Let n(m) = 3*m**3 - 7*m**2 - 3*m - 1. Let v be n(4). Suppose -4*c + v = -25. Is c a multiple of 4?
False
Suppose 612 = -0*u + u. Is u a multiple of 18?
True
Suppose 2*l = -0 - 8. Let x be l/(-4)*-11 + 3. Let j(p) = -3*p - 3. Is j(x) a multiple of 21?
True
Let w(y) = -y**2 - 11*y - 6. Let l be (3 + 14/(-4))*-2. Let a be -9 + 2 + (l - 3). Does 4 divide w(a)?
True
Let y be (5/(-10) - (-2)/4) + -4. Does 12 divide ((-20)/15)/(y/324)?
True
Let k be -3*60/(-9) - 3/(-1). Let v = 52 - k. Is v a multiple of 29?
True
Let n = 744 + -381. Is 20 a factor of (-7)/21 - n/(-9)?
True
Suppose 3*k - 4*a = 38, 4*k - 78 + 10 = a