13). Let y be k(r). Is 2 a factor of (-86)/y + 24/(-40)?
True
Let c(p) be the third derivative of p**4/8 + 14*p**3/3 - 21*p**2. Is 15 a factor of c(7)?
False
Suppose 0 = 3*o + 9, -11 - 1 = 2*l + 4*o. Let q = 72 + l. Is q a multiple of 12?
True
Suppose 3*b = 4*s - 46, 4*s + b = -3*b + 32. Suppose 0 = -s*m + 342 + 8. Does 4 divide m?
False
Let j(v) = -6*v - 45*v - 6*v - 17*v - 5. Does 23 divide j(-1)?
True
Let n = 2609 + -1679. Does 15 divide n?
True
Let p(q) = -q**3 - 21*q**2 - 19*q + 22. Let j be p(-20). Suppose -176 = f - j*f + o, 0 = f + o - 176. Does 49 divide f?
False
Let z = 57 - 55. Suppose -z = -5*l + 148. Is 6 a factor of l?
True
Let k(j) = -j**2 + 21*j - 26. Does 18 divide k(7)?
True
Let h = 67 - 104. Let r = h + 46. Does 3 divide r?
True
Let j(v) = -2*v + 4. Let o be j(-8). Suppose 0 = 5*i - 27 + 92. Let y = i + o. Is y a multiple of 7?
True
Suppose -10 = 4*a - 170. Suppose -4*w - 2*l = a, -2*l - 56 = 4*w - 4*l. Does 10 divide (-8)/w + 88/3?
True
Let q(z) = -z**3 - 6*z**2 - 6*z - 1. Let u be q(-5). Suppose 9*k = u*k. Suppose 5*a - 3*a = 4*s - 60, k = 5*s - 3*a - 76. Is s a multiple of 11?
False
Let z(l) = l**3 + l**2 + l + 144. Suppose -d = -2*d. Let t be z(d). Suppose 8*r = 11*r - t. Is 21 a factor of r?
False
Suppose -4*i - l + 7011 = -2*l, -2*i + 3533 = 5*l. Is i a multiple of 11?
False
Let y(j) = j**3 + 31*j**2 + 30*j - 26. Is 28 a factor of y(-29)?
False
Let t be (-22 + 23)/((-1)/5*-1). Suppose 3*v - 7*v = -8, t*v = -2*q + 210. Is 20 a factor of q?
True
Let i(b) = -b**3 + 0*b - 3*b - 8*b + 5*b + b**2 - 7. Is 25 a factor of i(-5)?
False
Suppose -3*s - 2*s = -25. Suppose -2*z + z = s. Let r(l) = -l**2 - 5*l + 7. Does 7 divide r(z)?
True
Let n be -4 - (2/6 - (-12)/18). Let f be (-9)/1*11 + -1. Is 6 a factor of ((-3)/(-4))/(n/f)?
False
Let t(b) be the first derivative of 0*b**3 - 1/4*b**4 - b**2 + 3 - b. Is 20 a factor of t(-4)?
False
Suppose 4*p = 4*j + 8, 3*p = -p + 20. Is j/2*(46*-6)/(-6) a multiple of 31?
False
Let a(k) = -k - 37. Let v(q) = -18. Let m(r) = -3*a(r) + 7*v(r). Let i be m(6). Suppose i*f = 2*f + 16. Is 3 a factor of f?
False
Let a be 4/(-14) - (-231)/(-49). Is (-136)/(-3) - a/(-15) a multiple of 5?
True
Let t = -454 + 1264. Does 15 divide t?
True
Suppose 0 = 5*b + 25, 8 = -2*c - 0*b - 2*b. Let y = c + 2. Suppose 10 = -y*v + 8*v, 0 = 4*x - v - 182. Does 21 divide x?
False
Let n be (-10)/(-4)*(-28)/(-1). Let t(f) = 12*f**2 - 2*f - 1. Let j be t(-1). Suppose 0 = 3*c - n + j. Is c a multiple of 7?
False
Let c = 10 - 5. Let h be (-37 + 38)/((-2)/(-6) - 0). Suppose b - 64 = -f, 0*f + c*f + 216 = h*b. Is b a multiple of 13?
False
Let h(j) = -29*j**3 - 13*j**2 + 12*j + 7. Is h(-3) a multiple of 36?
False
Suppose n + f - 189 = 0, 2*n + 3*f + 937 = 7*n. Let l = 0 + n. Is l a multiple of 47?
True
Suppose 19*t - 24953 = 26974. Is 12 a factor of t?
False
Suppose -8*b + 7620 + 15300 = 0. Is 13 a factor of (-16)/(-88) - (-2)/(66/b)?
False
Suppose -5*g = 3*p - 2730, -2*g - 3*p + p + 1088 = 0. Is 61 a factor of g?
True
Suppose a - 3482 + 1121 = -2*s, 2*s + 14180 = 6*a. Is a a multiple of 18?
False
Suppose -3*w + 9 = 0, -2*w - 3 = 2*q - 15. Suppose 3*k + 3*l + l - 15 = 0, -l - 48 = -5*k. Let j = k - q. Is 3 a factor of j?
True
Let t be (-1 - 1 - -3) + (-59)/(-1). Suppose -n + t + 0 = 0. Is n a multiple of 5?
True
Let i(o) be the third derivative of -11*o**2 + 0 - 1/3*o**3 + 5/6*o**4 + 0*o. Does 6 divide i(1)?
True
Suppose 22*t + 10*t - 23040 = 0. Does 80 divide t?
True
Let v be 14/(-18) - 2/9. Let x be 3 + (1 - (-2)/v). Suppose 0 = -4*f - o + 42, 4*f + 5*o - 46 = x*o. Does 4 divide f?
False
Suppose -5*j - 1 = -16. Suppose j*h - 4*l - 90 - 64 = 0, -2*h + 97 = 3*l. Let q = h - 28. Is 11 a factor of q?
True
Let q(l) = l**3 - 13*l**2 - 93*l + 60. Let b be q(18). Suppose 0 = -5*a - 2*m, -3*a + 4*a + 3*m = 0. Suppose a = b*u - 7*u + 36. Is 9 a factor of u?
True
Let x = -364 + 743. Is 17 a factor of x?
False
Let q = -4 - -9. Let p(x) = -8 + x - 2*x - q*x - 1. Is 13 a factor of p(-8)?
True
Let z(m) = 19 - m - 18 + 32. Suppose 8 = -5*d - 0*r - 4*r, 0 = 3*r + 6. Does 11 divide z(d)?
True
Let d(w) = -63*w - 43. Let j be d(-10). Suppose -j = -3*q - 188. Does 18 divide q?
False
Let x be 2/7 + (-1834)/(-98). Suppose -3*n = 4*h + x - 46, -5*n + 5*h = -45. Is n a multiple of 9?
True
Let h = -38 - -26. Let j be 4/24 + (-634)/h. Suppose -j = -2*d + 143. Does 27 divide d?
False
Let y(t) be the third derivative of t**5/60 - t**4/24 - 2*t**3/3 + 2*t**2. Let l be y(3). Suppose -5*r = -q - r + 12, -4*q + l*r = -48. Is q a multiple of 12?
True
Suppose -3*k + 4*h + 12 = -12, 3*h - 57 = -4*k. Suppose 2*f + 3*u - 155 = 0, -2*u - 2*u = k. Let v = f - 12. Is v a multiple of 21?
False
Let b(c) = c**3 + 6*c**2 - 6*c - 7. Let z be (-13)/3 - 10/15. Does 12 divide b(z)?
True
Let c(b) = b**2 + 5*b - 5. Let i be c(-6). Let r(k) = 4*k**3 + k - 1. Let y be r(i). Suppose -8*p = -y*p - 72. Is 9 a factor of p?
True
Let l(h) = 6*h**2 + 3*h + 1. Suppose -2*x = -4*w + 34, -3*w + 2*x + 31 - 6 = 0. Let p = -11 + w. Is 5 a factor of l(p)?
False
Suppose -2*c = 50*c - 17732. Is 11 a factor of c?
True
Suppose 4*x = 61 + 155. Let z = x - 45. Does 2 divide z?
False
Let c be (13 + -3)/(-4 - -6). Suppose c*o + 51 = 96. Is o a multiple of 9?
True
Let j(f) = 26*f**2 + 2*f - 2. Let d be j(1). Let t = d + -12. Is 7 a factor of 105/t*28/6?
True
Suppose -6*h + 3 = -9. Suppose 5*m = 5*j - 25, 4*m - h = 2*m - j. Does 25 divide ((m - 26) + 2)/(-1)?
True
Let l = 62 - 46. Suppose -3*w - l = -7*w. Does 4 divide w?
True
Let q(x) = 174*x**2 - 25*x + 1. Is q(4) a multiple of 11?
False
Suppose 3*g + 734 = 6*g + 5*r, r + 234 = g. Does 17 divide g?
True
Let h(p) = -p**2 + p. Let x(o) = 2*o**2 - 8. Let w(n) = h(n) + x(n). Suppose -4*a - 6 = -3*a. Is 11 a factor of w(a)?
True
Let a = -18 + 12. Does 21 divide 45/a*168/(-20)?
True
Let t(v) = -8*v**2 + 5*v + 13. Let w(c) = -17*c**2 + 10*c + 27. Let m be (6/(-5))/(1/(-5)). Let r(h) = m*w(h) - 13*t(h). Is 14 a factor of r(5)?
False
Suppose 2*x - 73 = 105. Let g = x + -36. Let q = g - 26. Is 9 a factor of q?
True
Let r = 0 - 3. Let v be (-60)/r - (-4 - 0). Suppose -v = 4*d - 7*d. Does 6 divide d?
False
Let p = -302 - -342. Is p a multiple of 35?
False
Let u = -3 + -1. Let r be (8/5)/(u/(-10)). Is (-1)/((-2)/(6*r)) a multiple of 12?
True
Does 19 divide ((-9540)/75)/((-2)/15)?
False
Suppose 4*m + 3*y - 3726 = 0, -m + y = 97 - 1032. Is 79 a factor of m?
False
Let q(r) = -2*r**3 + 3*r**2 + 10*r + 8. Let z(c) = -5*c**3 + 5*c**2 + 21*c + 17. Let f = 12 - 15. Let n(d) = f*z(d) + 7*q(d). Is 2 a factor of n(-4)?
False
Suppose -400 - 136 = -4*i. Let q = -78 + i. Is 18 a factor of q?
False
Let l = 397 - -65. Is l a multiple of 11?
True
Let f(h) = 31*h**2 + 5*h + 5. Is 31 a factor of f(-1)?
True
Let a = 119 - 116. Suppose 1 = -o, -4*o = 2*i - a*o - 153. Is i a multiple of 7?
True
Let q = 15 + -11. Suppose t - 4*l + 6 = 0, -q*t - 4 = -5*l - 13. Suppose -t*u - 44 = -7*u. Is u a multiple of 11?
True
Suppose -652 = -8*u + 828. Is u a multiple of 23?
False
Suppose 6*n - 1144 + 184 = 0. Is n a multiple of 32?
True
Let r(n) = n**2 + 3*n. Let c = -6 - -11. Suppose 0 = -c*j + 1 - 51. Is 14 a factor of r(j)?
True
Let c(f) = f**2 + 3*f + 1. Let n(h) = -h**3 + 7*h**2 - 5*h - 7. Let k be n(6). Let y be c(k). Is (6/y)/((-2)/11) a multiple of 16?
False
Suppose y + 3*t - 2*t = 34, 3*t + 43 = 2*y. Does 28 divide y - (-3)/(3/(-1))?
True
Let a(m) = m**3 + 4*m**2 - 4*m + 10. Let p be a(-5). Suppose -652 = -p*u + 248. Is 20 a factor of u?
True
Suppose 832 + 1742 = 5*h + 3*u, 4*u - 508 = -h. Is h a multiple of 6?
True
Let f(j) = -j - 7. Let i be f(-6). Let x(n) = -3*n + 4. Let c(r) = -r + 1. Let v(h) = i*x(h) + 2*c(h). Is v(8) a multiple of 3?
True
Let y = 276 + -198. Is y a multiple of 22?
False
Let w = -23 - -24. Does 7 divide 29 + 4/(-4) - w?
False
Let s = 41 - 29. Suppose 3 + s = w. Is 15 a factor of w?
True
Let a be 11*1/(-2)*-2. Let w(p) = -p**2 + 15*p + 9. Let q be w(a). Let b = q + -25. Is b a multiple of 14?
True
Suppose p = 5*t - 267 - 127, -2*t - 2*p + 160 = 0. Is t a multiple of 14?
False
Let x(t) = -t**3 + 9*t**2 + 51*t + 1. Is x(11) a multiple of 10?
True
Suppose -5*t = -3*w - 1, 2*t - 7 = -2*w + w. Let m be -3 - ((3 - t) + -6). Suppose 104 = 4*i - m*i. Is i a multiple of 13?