se
Let q be -1*(4/(-18) + 86/(-18)). Let b(v) = 5*v - 20. Does 5 divide b(q)?
True
Suppose -3*j + 392 = 4*f, 21*f = 18*f - 2*j + 295. Does 5 divide f?
False
Suppose -3*o + 24 = -27. Let u = -35 + o. Is 14 a factor of 741/18 - (-3)/u?
False
Suppose 0 = -5*r + 10, -2*k - 3*r = -4*r - 8. Suppose 3*z = k*z + 30. Is 10 a factor of 2/z*-5*30?
True
Suppose 6*f = 14*f - 16. Let r(w) = 112*w + 1. Does 24 divide r(f)?
False
Let x(v) = v**3 + 6*v**2 - 6*v. Let p be x(4). Suppose -i - p = -341. Suppose -5*k + 3*b + i = 0, -4*k - b = -0*b - 181. Does 22 divide k?
True
Is (3/(-18)*-1185)/(3/6) a multiple of 45?
False
Suppose 126 = -n + 393. Is 29 a factor of n?
False
Let w be 4 + -1 + 15 + -5 + -5. Suppose w*d - 1595 = -3*d. Is 31 a factor of d?
False
Let z(h) be the second derivative of -5/2*h**2 + 10*h + 1/6*h**4 + 0 - 1/3*h**3. Does 3 divide z(3)?
False
Suppose 4*l = -4, 18*m - 14*m = -2*l + 218. Does 11 divide m?
True
Let b(y) = 8*y + 5. Suppose 5*n + c = 50, 5*c = -2*n + 54 - 11. Let p be b(n). Is (-14)/p + (-1522)/(-22) a multiple of 23?
True
Let x = -7 + 12. Let q(n) be the second derivative of -n**5/20 + 7*n**4/12 + 5*n**3/6 + 9*n**2/2 - 49*n. Does 32 divide q(x)?
False
Let i(q) = 6*q**2 - 10*q. Let c(a) = -5*a**2 + 9*a + 1. Let d(o) = -4*c(o) - 3*i(o). Is 12 a factor of d(-4)?
False
Suppose -3809 = -9*j + 3004. Is 17 a factor of j?
False
Let t(b) = -b**3 + 11*b**2 + 13*b - 8. Suppose 5*k - 91 = -31. Let r be t(k). Suppose -9 = -r*q + 15. Is 2 a factor of q?
True
Let z(h) = -71*h + 11. Let m(q) = 24*q - 4. Let b be 3*6/(-9)*2. Let l(x) = b*z(x) - 11*m(x). Does 11 divide l(1)?
False
Let r(j) = j**3 - 4*j**2 + 6*j - 7. Let x be r(3). Suppose x*p = -5*h - 748, -p - p = 2*h + 304. Let q = -79 - h. Is 11 a factor of q?
False
Suppose 3*n - 2*j = 76, 3*j - 6*j = -3*n + 72. Suppose -m + 2*p = -n, -5*m + 9*m - 122 = -2*p. Is 2 a factor of m?
True
Suppose 5*s - 1145 = -345. Suppose -2*k + s = 2*k. Is (192/k)/(6/20) a multiple of 8?
True
Suppose 0 = t - 8. Suppose 0 = l + 5*c + 14, 3*l = t*l + 2*c + 1. Is 1/(4/56) - l a multiple of 10?
False
Let u(r) = 50*r + 214. Is 11 a factor of u(3)?
False
Let d be 3/9 + 23/3. Let u = 13 - d. Let b = 28 + u. Is 14 a factor of b?
False
Suppose -2*q - 2*i = i - 16, 18 = 2*q + 4*i. Suppose q*n = n + 64. Does 5 divide n?
False
Suppose -46*g = -104324 - 41726. Is g a multiple of 26?
False
Suppose 99 = -5*k - y, -k - 4*y = -2*y + 18. Let b be (-8)/k - 6/(-10). Is 3 a factor of 11 + b*(-1 - 0)?
False
Let b(s) = s. Let p be b(0). Suppose 0 = -r - p*d - 2*d + 24, 36 = r - 2*d. Does 5 divide r?
True
Let c(l) = -l**3 + 3*l**2 + 27*l + 7. Let s be c(7). Suppose 9*m - 11 - 871 = s. Is 14 a factor of m?
True
Let w(c) = -36*c - 282. Is w(-17) a multiple of 55?
True
Suppose 2*q + 2 - 6 = 0. Suppose 145 = q*c + 3. Is 19 a factor of c?
False
Let r(p) = -p**3 - p**2. Let d be r(3). Is 3 a factor of (d/21)/((-8)/84)?
True
Let k be -63*-1*(-2 - -3). Suppose 0 = k*a - 67*a + 340. Is 15 a factor of a?
False
Suppose 3*z + 2*b + 1318 = 7*z, -2*b + 1298 = 4*z. Is 20 a factor of z*2/6 + 0?
False
Suppose 0 = -5*g - 15, 5*g + 121 + 90 = 4*w. Suppose -264 = -a - w. Is a a multiple of 43?
True
Let x = 11 - 10. Does 27 divide 56 + (-4)/x - -2?
True
Suppose f - 1 - 3 = 0. Let q(d) = 2 - 6*d**2 + f*d**3 + 2*d**3 + 3*d - 5*d**3. Is q(6) a multiple of 20?
True
Let j(l) = l**2 + 8*l - 9. Let g be j(-9). Suppose g = -3*o + 14 + 1, 0 = m - 4*o + 10. Suppose 6*a + m = w + 4*a, 4*w = -a + 40. Is 10 a factor of w?
True
Suppose -10 = -3*r - 5*b, 3*r - 2*b = -2*r + 27. Suppose 3*k = r*k - 128. Is 16 a factor of k?
True
Suppose 24 - 4 = 4*u. Suppose 0 = -u*h + v + 570, -3*h - 3*v = 219 - 543. Is 13 a factor of h?
False
Let s(r) = 3*r**2 - 9*r + 4. Let g(l) = 6*l**2 - 17*l + 7. Suppose 0 = 2*a + 5 - 1. Let p(v) = a*g(v) + 5*s(v). Is p(7) a multiple of 17?
False
Is 11 a factor of 4718/4 + (-205)/82?
True
Does 2 divide (31/(-2))/(8 + (-637)/78)?
False
Suppose 12*o - 2227 = -5*o. Does 22 divide o?
False
Suppose 0 = 21*a - 16*a. Suppose -5*o + 196 + 524 = a. Does 24 divide o?
True
Let w be ((-276)/(-115))/(2/5). Does 21 divide (-498)/(-9) - (-4)/w?
False
Suppose 0 = 56*i - 60*i - 24. Let c(d) = 6*d**2 - 8*d - 7. Let p(x) = -2*x**2 + 3*x + 2. Let f(l) = 4*c(l) + 11*p(l). Is 30 a factor of f(i)?
True
Let b(r) = 2*r**2 - 32*r - 121. Does 3 divide b(-5)?
False
Suppose 0 = 3*y - 3*j - 3, y = 6*y + 4*j - 14. Suppose 2*k - y = k. Suppose 69 = 3*z + s + k*s, -z + 5*s = -29. Is 10 a factor of z?
False
Let s(f) = 2*f**2 - f + 2. Let d be s(-4). Let l = -28 + d. Does 4 divide l?
False
Let c = 6 - 2. Let v(x) = -4*x**3 - 10 - 3*x**2 + 3*x + 0*x + 5*x**3. Does 18 divide v(c)?
True
Let k = 12 - 17. Let u(i) = -6*i**3 + 13*i**2 - 9*i + 3. Let y(r) = 5*r**3 - 12*r**2 + 8*r - 2. Let m(j) = k*y(j) - 4*u(j). Is 6 a factor of m(7)?
False
Let o be 192/(-18)*(-6)/4. Let l be 37*(3 + -1) + -2. Suppose 14*y + l = o*y. Is 18 a factor of y?
True
Is (-408)/(-4 + -4) - -6 a multiple of 2?
False
Suppose 3*k + 5*l = 45, 3*k + l + 1 - 46 = 0. Suppose 14*v + 119 = k*v. Is 36 a factor of v?
False
Suppose -17808 = 302*i - 310*i. Does 43 divide i?
False
Let k(v) = -v - 2. Let r be k(-6). Suppose -207 - 39 = -4*n + 2*i, n + r*i - 75 = 0. Is 7 a factor of n?
True
Suppose 18*d = 8*d + 5790. Suppose 0 = -5*y + d - 79. Does 25 divide y?
True
Let g(j) = 11*j - 72. Is 44 a factor of g(25)?
False
Let f(o) = -3*o**2 - 6*o - 14. Let p be f(-4). Let t = p - -68. Does 3 divide t?
True
Let t(u) = -6*u - 12. Suppose -2*k - 6 = -k. Let c be t(k). Let m = c - 8. Does 8 divide m?
True
Let i be (16/3)/1*-24. Let k = 38 + -36. Is 5 a factor of (-2)/(k - i/(-60))?
True
Let r = 4021 - 1701. Is r a multiple of 145?
True
Suppose -2*b + 0*b + 24 = -4*w, -5*w - 45 = -5*b. Let a be b/((27/6)/3). Is 9 a factor of (26 - 0) + -3 + a?
True
Suppose -27*y - 16 = -31*y, 0 = 4*h + y - 4404. Does 10 divide h?
True
Suppose t = -5*g - 24 + 8, -5*g = 10. Does 12 divide 36/((2/12)/(t/(-24)))?
False
Suppose -24*r - 134 = -26*r. Is 45 a factor of r?
False
Let i(x) = -x - 11. Let f be i(-13). Suppose -5*v + 0*v + f*l = 48, -3*v + 2*l = 32. Is 8 a factor of 489/12 - 2/v?
False
Does 5 divide ((-10)/2 - 4) + 474?
True
Let s(p) = 5*p**2 + 27*p - 35. Is s(-23) a multiple of 17?
True
Let t(a) = a**2 - 9*a + 10. Let g be t(8). Does 28 divide 24*(7/g)/1?
True
Let d(w) = 4*w + 28. Let u be d(-6). Is 11 a factor of (-8)/(u/30*-3)?
False
Suppose 3*a + a = 16. Let n = a - -11. Is 5 a factor of n?
True
Let t be -3*(-4)/3 - (-1 - -1). Suppose -64 + 304 = 2*j + q, t*q = -4*j + 484. Is j a multiple of 17?
True
Suppose 4*j + 124 + 56 = 0. Is (0 + (-12)/15)/(3/j) a multiple of 3?
True
Suppose -4*a - 2*q - 544 = 2*q, 0 = 5*a + 2*q + 680. Let g = 190 + a. Is 7 a factor of g?
False
Let v(j) = 6*j**2 - 52*j - 29. Is v(-13) a multiple of 34?
False
Let t = -2 + 62. Let o = t + -30. Does 15 divide o?
True
Let r(x) = 12*x + 11 - 4*x - 12*x. Does 34 divide r(-23)?
False
Suppose -2*w = -2*z - 10, 4*w + 0*z = 2*z + 20. Let l(i) = 4*i - 6. Let d be l(w). Suppose -d - 14 = -2*s. Is s a multiple of 7?
True
Let h(j) = 139*j**2 + 2*j - 6. Is h(-3) a multiple of 21?
True
Suppose 0 = -10*g + 2562 - 562. Is 50 a factor of g?
True
Let x be (-6)/(-3) + (-4)/2. Suppose -9 = n + z, -5*n - 3*z - 49 + 10 = x. Is 228/30 - n/(-10) a multiple of 7?
True
Suppose 4*u + o - 5*o = 648, -476 = -3*u + 5*o. Is u a multiple of 8?
False
Let k(v) be the first derivative of v**3 - v**2/2 + 6. Is k(4) a multiple of 11?
True
Suppose 0 = -7*m - 4*m + 957. Is m a multiple of 9?
False
Suppose -9*y = -11*y. Let a be y/5 - (-13 - 0). Let m = 19 - a. Does 3 divide m?
True
Suppose -3*s + 49*u = 48*u - 505, 175 = s - 2*u. Is s a multiple of 31?
False
Let c(s) = 7*s + 2 + 0*s**2 - 5*s + 4*s**2 + 2*s**3 - 3*s. Let w be c(3). Let p = -45 + w. Is p a multiple of 15?
False
Suppose -2*v + 57 = -i, 173 = -4*i - 2*v - v. Let g = i - -56. Is g a multiple of 3?
True
Let m be (25/(-15))/((15/(-9))/5). Suppose -m*o = 2*c - 465, 285 = 3*o + 5*c + 6. Is 18 a factor of o?
False
Let t(b) = b**2 - 6*b + 4. Let a be t(6). Let n be (-2)/a + 66/4. Suppose -x = -2*x + n. Is 8 a factor of x?
True
Let j(z) = 7*z - 22. Let t be j(9). Suppose -5*v = -c - c - 52, 71 = -3*c + 4*v. Let m = t + c. Is m a multiple of 6?
False
Let d(r) = 