pose 0 = -2*o - 2*k + 1182, 5*k - 47 = -32. Is o a multiple of 4?
True
Let u(s) = -2*s**2 + 3*s - 3. Let c be u(2). Let a be 23/c - 12/(-20). Is 16 a factor of (-10)/(a*2/20)?
False
Let q(s) be the third derivative of s**6/120 + 2*s**5/15 + s**4/12 + 5*s**3/2 + 4*s**2. Is 10 a factor of q(-7)?
True
Let m = 801 - 359. Is 35 a factor of m?
False
Let f(x) = -3*x**2 - 7*x + 9. Suppose 5*j = 15, -2*y + 3*j + 3 = -5*y. Let d(g) = -8*g**2 - 21*g + 27. Let l(m) = y*d(m) + 11*f(m). Is 3 a factor of l(4)?
True
Let j = 2180 - 1262. Is j a multiple of 121?
False
Let z(p) = -2*p + 9. Let q be z(-4). Suppose 240 = q*k - 15*k. Is k a multiple of 40?
True
Suppose 4*n = 5 + 7, 3*n - 4841 = -2*b. Is b a multiple of 18?
False
Suppose -6*b + 4*b + 4 = 0. Suppose 0*p + 8 = -b*p. Is 2/p*(-28 - -4) a multiple of 3?
True
Suppose 2*b - 45 = -b. Suppose 3*y - b = -2*y. Suppose -117 = -0*p - y*p. Does 13 divide p?
True
Let s(l) = 5*l**2 - 46*l - 58. Is 87 a factor of s(-14)?
True
Suppose -5*q + v = -0*v - 2535, -5*q = -4*v - 2550. Does 47 divide q?
False
Suppose 0 = 6*r + 23 - 4733. Does 13 divide r?
False
Suppose -j = 2*a - 4, -4*j + 4*a - 11 - 9 = 0. Let r be 3*94 + 5 + j. Suppose 5*o = -0*o + r. Is 25 a factor of o?
False
Let h(w) = -w**2 - 12*w - 17. Let x be h(-10). Let t(n) = 14*n - 10. Does 16 divide t(x)?
True
Let x(n) = n**3 + 4*n**2 - 2*n + 4. Let k be x(-3). Let l = k + -15. Suppose 152 = l*w - 0*w. Is 12 a factor of w?
False
Suppose 4*f + 0*f = 684. Let c = -88 + f. Does 19 divide c?
False
Let o = -8 + 15. Suppose 3*b + s - 3 = 0, -o*s + 15 = -2*b - 2*s. Suppose b = 5*p + 2 - 197. Is 13 a factor of p?
True
Let c = 824 - 375. Let v = c + -232. Let k = v + -120. Does 39 divide k?
False
Suppose -2376 = -326*l + 320*l. Is l a multiple of 22?
True
Suppose -3*z + 65 = -34. Let s = z - 6. Is 6 a factor of s?
False
Let z(a) = a**2 - a + 10. Let x be (6/18)/((-1)/(-18)). Is 8 a factor of z(x)?
True
Is 6 a factor of (714/(-10) + -3)*5/(-2)?
True
Suppose -2*m - 564 = -5*m. Suppose -4*b + x = 3*x - m, b + 4*x = 47. Is b a multiple of 20?
False
Suppose 0 = 16*t - 17*t - 4*z + 145, -655 = -4*t - z. Is 33 a factor of t?
True
Let o be (-490)/28*(-8)/14. Let h(i) = 3*i - 4*i**3 + 3*i**3 + 9*i + 9*i**2 - 2. Is h(o) a multiple of 9?
True
Let t = -238 - -415. Is t a multiple of 30?
False
Is (-40)/120 - (-10040)/6 a multiple of 10?
False
Let z be (16 - 14) + 1*94. Suppose 4*g = 2*n + 130, 2*g - 5*g = -2*n - z. Suppose 20 = 3*x - g. Does 18 divide x?
True
Let y(u) = 13*u**2 - 26*u + 143. Is 14 a factor of y(10)?
False
Let s(l) = -3*l**2. Let o be s(1). Let u = 1 - o. Suppose -5*x + 107 = k, 16 + 74 = u*x + 3*k. Is x a multiple of 7?
True
Let w = -26 + -10. Does 9 divide (6 + w)*(-6)/5?
True
Let x(k) = 10*k**2 - 26*k + 140. Does 7 divide x(7)?
True
Let s be (-22)/(-3) + 2/(-6). Let q(y) = 6 + 16*y - 9*y - 12*y + 3*y**2 - 2*y**2. Is q(s) a multiple of 5?
True
Suppose s = 5*b - 20, -5*b + 4*b = s + 26. Suppose -n = 4*n + 40. Let a = n - s. Does 9 divide a?
False
Does 79 divide (-3 + 175)/(6/18)?
False
Let v(s) = -8*s**3 - s. Let c be v(-1). Suppose -4*o = -c*o + 475. Suppose 3*f + 2*f = o. Is f a multiple of 19?
True
Is 6 a factor of (-315)/2*(-22 + 20)?
False
Let d be (-11*1/(-2))/(1/14). Suppose -79*b + 176 = -d*b. Is b a multiple of 11?
True
Let l(o) = -5*o - 13*o**2 + o**3 + 2*o**2 - 2 + 20*o - 5*o**2. Let h be l(15). Is h/7 + (-1371)/(-21) a multiple of 13?
True
Let b = 56 + -192. Let r = b - -240. Is r a multiple of 8?
True
Let q(r) = 19*r**3 - r**2 + 4*r - 2. Let m be q(1). Let y = 114 - m. Is 47 a factor of y?
True
Let c(x) be the second derivative of x**4/12 - 2*x**3/3 + 3*x**2/2 - 5*x. Is 12 a factor of c(7)?
True
Is (-6)/(-20)*2 - 25323/(-345) a multiple of 8?
False
Let o(p) = p**2 + p + 29. Let z be o(0). Let h be (-1)/25*-10 + 18/5. Suppose h*l - 3*a = z, -3*a - 5 = -3*l + 16. Does 3 divide l?
False
Let q be 2/(-4)*(-6 - -6). Suppose -6*r + 7*r - u + 124 = 0, -u - 1 = q. Let f = 209 + r. Is f a multiple of 34?
False
Let b = 8 - 5. Let k be (b/3)/(4/20). Suppose 1 = 2*p - k*u - 6, 75 = 5*p - u. Is 12 a factor of p?
False
Suppose -3 = -i, -2*i + 1385 = 4*q - 497. Does 19 divide q?
False
Is 1076 - 1 - (-60 + 49) a multiple of 60?
False
Suppose 0 = -9*d + 2296 + 2051. Is 17 a factor of d?
False
Let l = 9520 + -5110. Does 15 divide l?
True
Let u be 1*2 - (-8 + 5). Suppose u*r = 6*r - 2. Is 4 a factor of (r + -1)*(9 - 1)?
True
Let u(i) = 32*i**2 + 91*i + 463. Is 13 a factor of u(-5)?
False
Suppose 0 = -162*y + 163*y - 451. Does 41 divide y?
True
Suppose 5 = 3*o + 2, -q + 4*o = 1. Suppose q*n + 2*p - 683 = -113, -n - 4*p = -200. Is 29 a factor of n?
False
Suppose 0 = -20*z + 21*z - 3*s - 367, z - 5*s - 375 = 0. Is 18 a factor of z?
False
Does 6 divide (187/3)/11*33?
False
Suppose 0*s + 221 = 5*s + z, -4*s + 184 = -z. Suppose -2*v + s = 3*v. Does 2 divide v?
False
Let j be 620/(-30)*(0 + -6) - 2. Let h = j - 98. Is 12 a factor of h?
True
Let f = 71 + 589. Does 66 divide f?
True
Let r(k) = k**2 + 27*k - 3. Let z be r(-15). Let s = 372 + z. Is 21 a factor of s?
True
Suppose 6 + 0 = 3*h. Suppose 0 = -0*f - 3*f - h*s + 892, 288 = f + 3*s. Suppose 9*r - 4*r - f = 0. Is r a multiple of 20?
True
Let r(g) = -51*g**3 + 3*g**2 + 3*g + 6. Is 15 a factor of r(-2)?
True
Suppose 16*n = -505 + 1273. Suppose 4*l + 0 + 18 = 2*k, -4*k + 4*l + n = 0. Is k a multiple of 7?
False
Suppose 935 = 3*m - 469. Is 82 a factor of m?
False
Let i(v) = 41*v - 15*v - 2 - 18*v + 5*v**2. Suppose 12 = 4*c, 2*c - 15 - 11 = 4*b. Does 37 divide i(b)?
False
Suppose 3*o - 20 = -5*r, -3*r - 3*o - 2*o + 12 = 0. Suppose 3*h - r*v = -v + 24, -3*v = 9. Suppose -h*w - 16 = -u, -2*u - 2*w - 7 = -87. Does 9 divide u?
True
Let c = 967 + -424. Is c a multiple of 16?
False
Let x(o) = 14*o - 14. Let y be x(7). Suppose 4*c = 4*u - 108, y = 16*u - 13*u - 4*c. Is u a multiple of 8?
True
Suppose -7*u = -5*u - 18. Suppose -y + u + 56 = 0. Is 5015/y - 2/13 a multiple of 23?
False
Let x = 83 + -129. Let s = -31 - x. Is s a multiple of 10?
False
Let x = -63 - -59. Let b(k) = -2*k**3 - 8*k**2 - 10*k - 1. Is b(x) a multiple of 4?
False
Let t(v) = -5 + 0 + 25*v**2 + 3 + 1. Does 29 divide t(2)?
False
Let g(r) = r**3 + 2*r**2 - 4*r - 4. Suppose s + 5 = 4*l - l, -2*s + l - 5 = 0. Let c be g(s). Let i(d) = d**3 - 2*d**2 + 2*d. Does 17 divide i(c)?
False
Let s(q) = -73*q - 296. Is s(-8) a multiple of 24?
True
Suppose -c = 4*c - 2*z - 1974, 3*z + 1575 = 4*c. Is c a multiple of 9?
True
Suppose 3*f - 6 = 0, 0 = 6*l - 4*l + f - 12. Suppose 72 = l*j - 4*c, j + j + 2*c - 36 = 0. Is j a multiple of 16?
True
Let m(v) = v**3 + 2*v**2 - 12*v - 14. Let i be m(-4). Does 4 divide -1 + i/5 - 1599/(-65)?
True
Suppose -t - 207 = -17. Let p = t - -294. Is p a multiple of 20?
False
Does 25 divide -2*(-749)/14 + 0 + 5?
False
Suppose 0*z + 2*z - 140 = 0. Let q = z - 43. Is 18 a factor of q?
False
Let q(p) be the first derivative of 8 + 10*p - 1/2*p**2. Does 19 divide q(-14)?
False
Let j be -120*(-4 + -4 + 7). Suppose -j = -4*m - 0*m. Does 6 divide m?
True
Let q(k) = 2*k + 39. Let r be q(-18). Suppose r*g = 2*g + 96. Is g a multiple of 8?
True
Let p be 10/20*0/(-1). Suppose 0 = y + 3*o - 74, p = y - 0*o - o - 66. Is 19 a factor of y?
False
Let z(h) = h**3 + 3*h**2 + 4*h + 1. Let g be z(-2). Is 303/6 + (5/(-2) - g) a multiple of 17?
True
Let o(c) = c**3 + 3*c**2 + 15*c - 8. Is o(6) a multiple of 14?
True
Suppose -33*u = -12*u - 1911. Does 2 divide u?
False
Let g(n) = 2*n**2 - 2*n + 1. Suppose 2*w - 3*w - 7 = 0. Let c be g(w). Suppose 19 = 2*m - c. Is m a multiple of 19?
False
Let j = 7 + -10. Let h(y) = -6*y - 1. Let n be h(j). Let w = n - -27. Does 19 divide w?
False
Suppose -4*i + 4*n = -2956, -2*i - 2*n = -0*i - 1486. Is 13 a factor of i?
True
Let s = -68 - -112. Is 22 a factor of s?
True
Suppose -2*j - 6 = -b, 3*b + 3*j - 6*j - 15 = 0. Suppose -b*k + 207 + 49 = 0. Is k a multiple of 10?
False
Let o be ((-10)/4)/(1/(-2 - -8)). Is 8/(-20) - 141/o a multiple of 3?
True
Is (3/2)/(7 + (-380)/56) a multiple of 7?
True
Let n = -43 + 54. Suppose -12*b + 46 = -n*b. Does 23 divide b?
True
Let p(z) be the first derivative of -z**6/120 - z**5/12 + 3*z**4/8 - 3*z**2 - 14. Let o(h) be the second derivative of p(h). Is o(-8) a multiple of 30?
True
Suppose -16*c + 12 = -15*