 Suppose 5*p - 25 = 0, 2*z - 6*z + x = p. Does 14 divide (-100)/(-3)*z/55?
False
Is 53 a factor of ((-12)/(-16))/((-43)/(-5332))?
False
Does 18 divide 1049132/1335 - (-4)/30?
False
Let d(p) = -p**2 + p. Let r be d(1). Suppose 0*n - 5*n = r. Suppose n = -k - k + 196. Does 25 divide k?
False
Let a(c) = -892*c - 114. Is 22 a factor of a(-4)?
True
Suppose 21*s + b = 16*s + 383, -3*b = -4*s + 314. Is 3 a factor of s?
False
Let c be (-216)/(-8)*1/3. Let k = c + -1. Is 2 a factor of k?
True
Suppose 2*j + 88 = 128. Suppose q = -2*q. Suppose 2*b - j - 4 = q. Is 12 a factor of b?
True
Does 55 divide -5 - -29*(4 + 36)?
True
Let x = 51 + -31. Suppose 10 = -2*m - x. Is 72/(-14)*(-22 - m) a multiple of 18?
True
Let q(n) = 2*n**3 - 13*n**2 + 3*n + 8. Let b be q(9). Suppose -5*z + 440 = 4*t, 4*t + 4*z = 2*z + b. Is t a multiple of 10?
True
Let p = -17 - -29. Suppose 2*y + p = 5*y, -3*k - 2*y = -23. Suppose 136 = k*r - 54. Is r a multiple of 12?
False
Let i = -70 - -64. Let j(p) = -3*p**3 - 16*p**2 - 8*p - 10. Is j(i) a multiple of 42?
False
Let b(x) = 7*x**3 - 3*x**2 + 12*x - 6. Let l be (-23)/(-6) - (4 + -2)/(-12). Is 46 a factor of b(l)?
False
Suppose -4*c - 19 = 1, 2*j - 4*c = 158. Let x = 12 + j. Does 13 divide x?
False
Suppose 21*r + 125 = 22*r. Is r a multiple of 32?
False
Suppose 40 = 4*m + l - 1061, 0 = -6*m + 3*l + 1665. Is m a multiple of 4?
True
Suppose 4*v + 7 = -3*u + 2*v, -4*u + 2*v = -14. Let b = u + 2. Suppose -35 = -b*j - 2*j. Is j a multiple of 4?
False
Is 213936/216 - 8/18 a multiple of 22?
True
Let d(i) be the first derivative of i**3 - 3*i**2/2 + 5. Let v be d(2). Let b(r) = 7*r - 3. Is 29 a factor of b(v)?
False
Let a(r) be the third derivative of -r**4/8 + r**3/2 + 2*r**2. Let s be a(-2). Let f = s + 31. Is f a multiple of 20?
True
Let l = -17 + 26. Let s be (24/l)/((-6)/(-9)). Suppose 0 = s*z - 2*z - 126. Is 21 a factor of z?
True
Suppose -2*n + 6 = 3*p, -p = -4*p + 12. Does 26 divide (-318)/3*(n - 30/(-12))?
False
Let c be (24/10)/((-21)/70). Let v(j) = -j**2 - 8*j - 2. Let m be v(c). Is 33 + 6/(m + -1) a multiple of 8?
False
Let i(w) = -18*w - 9. Let h be i(-5). Suppose -76*z - 1085 = -h*z. Is z a multiple of 31?
True
Let o be 8/5 - (-20)/50. Suppose 3*y - 3 = 0, o*y = 2*k - y + 13. Does 3 divide (k - -1)/((-8)/16)?
False
Suppose 43*o + 9 = 46*o. Is o a multiple of 2?
False
Let s be 0 + -1 - (-5 - -4). Let g be 6/(2 - s) - -70. Is g + 2/(3/3) a multiple of 15?
True
Let t(b) = -9*b - 4. Let d be (4 + -1)/((-8)/24). Let i be t(d). Suppose i = 3*o - 37. Is o a multiple of 20?
False
Does 20 divide (0 - 0) + (427 - 17)?
False
Suppose -u = -5*k + 58 - 18, 2*k + 4*u = 16. Suppose k = 3*p - 4. Suppose 10 + 9 = 5*t + 4*y, 0 = -3*t + 5*y + p. Is 3 a factor of t?
True
Suppose s = 5*s. Suppose 5*u - u = s. Is 12 a factor of -1*(u + -1) - -30?
False
Let z be (-5)/(-10) - (-791)/2. Suppose 390 = 3*b - 0*b + 3*c, -c + z = 3*b. Let r = b + -93. Does 9 divide r?
False
Is 10 a factor of 9 - -6982*11/22?
True
Let a = 395 + -179. Does 27 divide a?
True
Suppose -180 - 630 = -3*u. Let s = -171 + u. Is 32 a factor of s?
False
Suppose -3*x + 9498 = -2*m, -3*x - 5*m = -4*m - 9507. Is x a multiple of 24?
True
Let h(z) be the first derivative of -z**4/4 + 8*z**3/3 + z**2 - 2*z - 7. Let x be h(8). Suppose -x - 7 = -3*c. Is 6 a factor of c?
False
Suppose -35*b + 61*b = 104. Suppose -d + 2*d = 579. Suppose -b*n = -d + 47. Does 41 divide n?
False
Suppose -9*y = 23 - 527. Does 2 divide y?
True
Let f(p) = p**3 + p**2 + p + 1984. Does 16 divide f(0)?
True
Let i = 161 - -679. Is 21 a factor of i?
True
Let q be ((-2)/5)/((-1)/5 + 0). Suppose -x = x - 3*r + 9, 0 = -3*x - r + 14. Suppose x*m - 3*i = 117, -q*i + 0*i = -10. Is 11 a factor of m?
True
Let x(d) = 6*d + 4. Let i(l) = 19*l + 13. Let q(g) = 2*i(g) - 7*x(g). Is 2 a factor of q(-2)?
True
Let k be 1/((-9)/5 - -2). Is 3/(2 - (k - 4)) a multiple of 3?
True
Let g be 402*(-2)/(-15)*5. Let j = g - 163. Is 10 a factor of j?
False
Suppose o = 14 - 4. Let a(g) = -g**3 + 11*g**2 - 8*g + 15. Let y be a(o). Let q = 59 - y. Is 12 a factor of q?
True
Let q(d) = -d**2 - 5*d - 1. Let m be q(-4). Suppose -16 = -m*g + 7*g. Is 21 a factor of -2 - (43 + g)/(-1)?
False
Let s(d) = 467*d**2 + 6*d + 4. Let h be s(-1). Let a = 656 - h. Does 30 divide a?
False
Let z(o) = o**3 + 29*o**2 - 173*o - 47. Does 42 divide z(-34)?
False
Let r(c) = -15*c - 20. Let o be r(-8). Let u = -25 + o. Does 15 divide u?
True
Let y(l) = -190*l + 477. Does 15 divide y(-3)?
False
Let l = 1184 + 470. Does 84 divide l?
False
Let n = -63 - -63. Let m(d) = 2*d**3 + d**2 - 4*d + 23. Is 14 a factor of m(n)?
False
Let j be (-5)/2*(-28)/35. Suppose -23 = -3*c - 4*k + 6, 4*k + 6 = j*c. Suppose 3*r = c*r - 164. Is r a multiple of 31?
False
Suppose -5*k = -9*k. Is 6 a factor of 3 - (k + (-3)/1)?
True
Let y(r) = 10*r**2 + 25*r + 55. Does 7 divide y(-10)?
True
Let g(o) = 1 - 2*o**2 - 4*o**2 + 1 + 2*o**2. Let n be g(-2). Is 20 a factor of (-2)/7 - 844/n?
True
Let g(k) = 20*k**2 - 6*k - 38. Does 13 divide g(-10)?
False
Suppose -18 = -5*p + 4*s + 20, 4*p - 28 = 2*s. Is 5 a factor of ((-27)/p - -4)/(2/(-68))?
False
Let z(h) be the first derivative of h**4/4 - 10*h**3/3 - 8*h**2 + 3*h - 52. Is z(12) a multiple of 33?
True
Suppose -3*a = a. Let n(c) = c**2 - 13*c - 27. Let t be n(15). Suppose y + 3*w = -t*y + 42, a = 4*y - 5*w - 58. Does 3 divide y?
True
Let s(t) be the third derivative of -23*t**4/24 - t**3/2 + 6*t**2. Let k be s(-2). Does 23 divide k + 1 + -2 + 4?
True
Let s(t) be the third derivative of 7*t**4/12 - 3*t**3 - 3*t**2. Is 19 a factor of s(5)?
False
Let i(k) = 7*k**3 - 4*k**2 + 10*k - 28. Is 44 a factor of i(4)?
True
Suppose 0 = -4*u + 2*u + 992. Suppose 5*x + 2*n + u = 2*x, -2*n + 512 = -3*x. Let m = -99 - x. Is 20 a factor of m?
False
Suppose 3*u - 83 = 2*u. Does 4 divide u?
False
Suppose 6*o = 4*o + 6. Does 4 divide o + -6 - 7*1/(-1)?
True
Let q = 2847 - 1657. Does 35 divide q?
True
Let p(i) = 2*i**2 + 8*i - 5. Let a be p(-8). Let x = a + -28. Does 12 divide x?
False
Let c(a) = -a**2 - 6*a - 4. Let d be c(-5). Does 8 divide 316/(-8)*-4 + d + 1?
True
Is 68 a factor of 1572 - (-22)/(-77)*28?
True
Let a be 846/(-108) - (-2)/(-12). Let p(d) = 11*d**2 + 17*d + 25. Let n(v) = -5*v**2 - 9*v - 13. Let b(r) = 9*n(r) + 4*p(r). Is b(a) a multiple of 13?
False
Let w(h) = 2*h - 6. Let z be w(4). Suppose -2*u + 11 = 3*r - 1, -5*u = 2*r - 8. Suppose -a = -z*y - 34, 2*a + y = r*a - 53. Is a a multiple of 24?
True
Let z(r) = 10*r**2 + 2*r + 2. Let p = 20 + -6. Suppose 0 = 5*t + p + 1. Does 24 divide z(t)?
False
Let g(s) be the first derivative of -s**4/4 + 8*s**3/3 - 2*s**2 - 14*s + 4. Does 5 divide g(7)?
False
Is 22 a factor of ((-24)/(-150)*-5)/((-10)/11175)?
False
Suppose 0 = -z + 6*z - 50. Let b = 13 - z. Suppose 0 = -b*r + v + 20, -3*v + 18 = r - 2. Does 4 divide r?
True
Suppose 0 = 2*s - 5 + 39. Let g = 28 + s. Let k = -5 + g. Is k a multiple of 2?
True
Is -4 + (2*130 - 6) a multiple of 10?
True
Suppose 3*y = -3*c + 195, 0 = 4*y + y + c - 313. Let z = y - 5. Is z a multiple of 21?
False
Let y(i) = i**2 - 7*i + 9. Let t be y(4). Let r be 1*40 + 5 + t. Suppose -u - 5*d + 42 = 0, -u + 2*u = 3*d + r. Is u a multiple of 14?
True
Let g(s) = 7*s**2 - 4*s**2 - 1 + 4*s - 7 - 3*s. Is 10 a factor of g(4)?
False
Let m(x) = 32*x + 142. Is 9 a factor of m(9)?
False
Let z(s) = 3*s**2 + 12*s + 128. Is 77 a factor of z(-9)?
False
Let s be (1/(-1))/((-1)/14). Suppose 2*u - s = 2*g, 4*u + g - 9 = u. Suppose -5*l + 3 + 12 = 0, -4*t + 100 = -u*l. Does 11 divide t?
False
Suppose -14211 + 4091 = -23*b. Is b a multiple of 20?
True
Suppose -172 = -4*f + 3*o + 2*o, 0 = f - 3*o - 43. Let a = f + 35. Is a a multiple of 13?
True
Suppose -29*y + 10434 = 18*y. Is y a multiple of 6?
True
Let z = 24 + -22. Suppose q + 4*y - 13 = 1, -3*q + z*y = -28. Suppose -q*b + 79 = -9*b. Does 13 divide b?
False
Let n(l) be the first derivative of 11*l**5/15 + l**4/12 + l**3/6 - 2*l**2 + 10. Let i(h) be the second derivative of n(h). Is i(-1) a multiple of 16?
False
Let p be 404/44 - (-4)/(-22). Suppose -l = 13*y - p*y - 39, 0 = -l - y + 27. Is l a multiple of 5?
False
Suppose 5*p + 1 = -29. Let v = 4 + p. Does 17 divide (3/v)/((-13)/624)?
False
Suppose 5*u - v = 502, -2*v = u - 0*u - 96. Is 22 a factor of u?
False