5*h + 2*h, h - 15 = -5*o. Suppose o*b - 3 = 2*b. Is 9 a factor of (6/4)/(b/68)?
False
Let p(l) = 2*l**3 + 12*l**2 + 7*l + 6. Is p(-5) a multiple of 21?
True
Suppose 25*a - 6*a = 2052. Is 34 a factor of a?
False
Let l be 0/(-18) - (-5)/1. Is l*(-35)/(-25)*12 a multiple of 21?
True
Suppose -2*m = 5*y - 557, 5*m - 389 = -3*y + 1013. Suppose 2*b - m = -5*j, 3*j = -0*j - 5*b + 161. Does 8 divide j?
False
Suppose 3*d - 3*r - 252 = 0, -5*d + 2*r = 7*r - 380. Suppose 0 = -x + 5*m + d, 2*m + 78 = x - 2*m. Is x a multiple of 14?
True
Suppose 3*n + 20 = 7*n. Is 15 a factor of ((-172)/(-10))/(2/n)?
False
Let i = -1 - -13. Let r be -3 + i/(-8)*-4. Is 26 a factor of r/(5 + -2) - -56?
False
Let n be (-8)/28 - 51/(-7). Suppose 57 = 14*w + 5*w. Suppose -w*k - 80 = -n*k. Is 10 a factor of k?
True
Suppose 4*p + 4 = -3*j, 0 = p - 0*j - 4*j - 18. Suppose 5*w - 4*q + 2*q = 550, 0 = p*q. Does 17 divide (1/(-2))/((-1)/w)?
False
Suppose -3*g - 1056 = -3*d, 2*g + 3 = -3. Is 9 a factor of d?
False
Let k = -16 + 20. Suppose 5*r = k*r + 2. Suppose 4*p - 2*o = 138, -2*o + 114 = p + r*p. Does 18 divide p?
True
Suppose 2 - 6 = j. Is 765/((-15)/(-3)) - j a multiple of 23?
False
Suppose 6 = -5*c - 3*p, -2*c - 4 = -0*c + 2*p. Let r(h) = -h**2 - h + 5. Let o be r(c). Is 24 a factor of (-2)/(-10) + 339/o?
False
Let x = -5 + 9. Let k be 1/x + 854/8. Suppose -5*h = -k - 133. Does 12 divide h?
True
Suppose 2*g + 152 = -2*g. Let h = g + 146. Is h a multiple of 15?
False
Suppose 0 = -12*n + 4*n + 16. Suppose 340 = 7*z - n*z. Is 7 a factor of z?
False
Let t = -18 + 23. Suppose 0 = t*z - 3*z - 200. Does 38 divide z?
False
Is -1*20/35 - 34966/(-14) a multiple of 87?
False
Let w = -8208 + 12991. Is 30 a factor of w?
False
Suppose -22*s = -3*i - 20*s + 2971, 0 = -3*i + 5*s + 2959. Is i a multiple of 10?
False
Let z be ((-12)/10)/(8/(-20)). Suppose 15 = z*t, 5*n + 2*t + 32 = 157. Does 6 divide n?
False
Suppose 3*a + 16 + 8 = 0. Let t(v) = -5 - 1174*v**2 + 1173*v**2 - 5*v - 4*v. Is t(a) a multiple of 3?
True
Suppose 0 = -9*y + 4*y + 650. Is y + -12 - (2 + -1) a multiple of 13?
True
Is -100*(342/(-288))/(1/4) a multiple of 41?
False
Let f(g) = g**2 - 20*g + 209. Is 8 a factor of f(8)?
False
Let o be -2 + 1/1 + 4. Suppose -82 = -n + o*y, 4*y = -3*n + 4*n - 78. Is 26 a factor of n?
False
Suppose b - 49 + 36 = 0. Let l = b + 35. Does 12 divide l?
True
Let y = -792 + 1353. Is y a multiple of 51?
True
Let p = -548 + 328. Let f = -166 - p. Is 5 a factor of f?
False
Suppose 0 = 2*d - 2, 4*f + 3*d = -d + 16. Suppose -f*y = -9 - 3. Suppose -169 = -3*q - 5*j, 5*q + y*j - 61 = 4*q. Is 9 a factor of q?
False
Let q = -211 - -692. Does 37 divide q?
True
Suppose 53*t - 11511 = 52672. Is 21 a factor of t?
False
Let r = 162 + -135. Suppose -2*j - 18 - 6 = 0. Is 6 a factor of 4*r/j*-2?
True
Let b(k) = 7*k - 2. Let c(u) = -u. Let a(w) = -b(w) - 3*c(w). Does 3 divide a(-1)?
True
Let g be 6 + 2*-2 + 3. Suppose -2*i - 18 = -g*i. Suppose -292 = -i*v + 2*v. Is v a multiple of 19?
False
Suppose -2*u = -4*u + 4. Suppose -y - u*y = -24. Does 28 divide (-369)/(-7) - y/(-28)?
False
Suppose 172 = 4*y - 4*w, 0*y + 3*y = 2*w + 125. Is y a multiple of 39?
True
Let g(h) = 2*h - 12. Let y be g(9). Suppose y*o - 144 = -3*o. Does 8 divide o?
True
Let g be ((-6)/(-4))/((-15)/(-20)). Suppose 2*i - 2*b - 4 = -b, g = -b. Is (2 - -52*i) + -3 a multiple of 17?
True
Let k = 33 + -31. Suppose 9*j = -k*j + 341. Does 18 divide j?
False
Suppose 163*n = 120*n + 16813. Does 17 divide n?
True
Let g be (0/3)/(-5) + 6. Let x = g - -130. Is x a multiple of 34?
True
Let d = 7 + -4. Suppose 4*w = d*l - 12, -6 = -3*l + w + w. Suppose l*p = -p + 40. Does 9 divide p?
False
Let w = -31 - -41. Does 8 divide -12*4*(1 + w/(-4))?
True
Let x = -85 + 345. Is 20 a factor of x?
True
Let p(z) be the third derivative of -3*z**4/4 + z**3/6 + 3*z**2. Let r(c) = 19*c - 2. Let t(h) = 5*p(h) + 4*r(h). Is t(-2) a multiple of 16?
False
Is 76 a factor of ((-1)/(2/(-6)))/(6/760)?
True
Let b be (22/2 + -1)*1. Let o be ((-34)/3)/(b/(-60)). Suppose -o + 28 = -5*x. Is 4 a factor of x?
True
Suppose -4*y = -3*y. Suppose -4*r - 23 - 109 = y. Let s = 77 + r. Is s a multiple of 17?
False
Let z(q) = q - 6. Let h(a) = a. Let d(p) = -2*h(p) + z(p). Let u be d(-6). Suppose 4*k - 3*v + 5*v = 46, k - 2*v - 19 = u. Does 11 divide k?
False
Let l(i) be the third derivative of 13*i**6/15 + i**4/12 - i**3/3 - 18*i**2. Is l(1) a multiple of 14?
False
Let n = 23 - 16. Let k = 13 - n. Does 16 divide (-9)/54 + 265/k?
False
Suppose 478 - 19 = -3*w. Let k = w + 272. Does 17 divide k?
True
Suppose 0 = a + 1, -4*t + 23 = -5*a + 2*a. Let g(d) = -35*d + 2. Let i be g(-1). Suppose -i = -t*z + 2*u, 0*u + u = z - 5. Does 9 divide z?
True
Let l(i) = 129*i + 292. Is l(6) a multiple of 13?
True
Let m(g) = 2*g**2 + 5*g + 17. Suppose 3*q - 2*n + 20 = -0*q, 0 = -3*q - 5*n - 34. Is 19 a factor of m(q)?
False
Does 5 divide (5136/20)/2 + (-2)/5?
False
Let c be -12 + (0 - 1)*18/6. Let t(b) = 2*b - 4. Let q be t(-11). Let x = c - q. Is 5 a factor of x?
False
Let r = 190 - -35. Is 25 a factor of r?
True
Suppose -5*l - 29 + 9 = 0. Let i(c) = -2*c**3 - 7*c**2 - 3*c + 5. Is i(l) a multiple of 11?
True
Suppose 2*l - 6 = -2. Let o be 4/12 - (-11)/3. Suppose 2*i + o*h - 4 = 0, 0*i + l*h = 4*i - 48. Is i a multiple of 10?
True
Let j(t) be the third derivative of 0*t - 3/8*t**4 + 0 + 3*t**2 + 1/2*t**3. Does 13 divide j(-4)?
True
Suppose -45*z + 24879 = 39. Is z a multiple of 5?
False
Let w(r) = -22*r**2 - 3*r - 3. Let v be w(-5). Is 36 a factor of v/(-3) + (-6)/(-9)?
True
Let w(o) = -25*o + 10. Let s be w(7). Let r = -116 - s. Does 15 divide r?
False
Suppose 2*q - 8*q = 198. Is 19 a factor of -2*(q/2 - -2)?
False
Let a(f) = 15*f - 43. Is a(21) a multiple of 27?
False
Suppose z + 9 = -2*o, 0 = o - 2*o + 4. Let n = z + 25. Is 8 a factor of n?
True
Let j(y) = -y**2 + 6*y + 10. Let x be j(8). Does 5 divide 4 + x - (-48)/3?
False
Suppose 95*h = -17*h + 147168. Does 37 divide h?
False
Suppose w + 34 = 5*r, -4*r - 15 = -4*w - 39. Does 2 divide 94/14 - (-1)/(r/2)?
False
Let u be 3/6 - 62/(-4). Let a be (u/(-2))/((-4)/(-2)). Does 9 divide a/18 - 728/(-36)?
False
Suppose -9*h + 13*h + 84 = 0. Let v(t) = -3*t - 40. Is v(h) a multiple of 23?
True
Suppose -p = 3 - 1. Let v(r) be the first derivative of -7*r**2/2 - 3*r - 52. Does 10 divide v(p)?
False
Let b = 59 - 57. Suppose -2*w + 4*z = -0*z - 100, -82 = -2*w - b*z. Is 14 a factor of w?
False
Let b(z) be the third derivative of -z**8/20160 + z**7/630 + z**6/180 - z**5/12 + z**2. Let v(k) be the third derivative of b(k). Is v(8) even?
True
Let o = 815 + -275. Is o a multiple of 10?
True
Let k(z) = 2*z - 2. Let s be k(7). Let n = s + 32. Is n a multiple of 16?
False
Let n(s) = -4*s - 22. Let g be n(-17). Suppose 0*v = -2*k - 2*v + 68, 5*v = k - g. Suppose k = t + 3*t. Does 3 divide t?
True
Let l(i) = -2*i**3 - 3*i**2 - i - 1. Let h be l(-2). Let p = 25 - h. Suppose -3*j - 2*j - 3*n = -32, 0 = -3*j - n + p. Is j even?
False
Suppose 0*r = 21*r - 2982. Does 12 divide r?
False
Suppose -6 + 7 = s. Let u be ((-42)/6)/(s - 2). Suppose 0 = -k + 68 + u. Is k a multiple of 25?
True
Suppose 69*q - 1940 = 65*q. Is q a multiple of 11?
False
Suppose 7*p = -20*p + 34884. Is 38 a factor of p?
True
Suppose 8 = x + x. Suppose x*n = n. Suppose 4*k + 2*p = k + 152, n = 3*k + p - 148. Does 16 divide k?
True
Let s(j) be the second derivative of 0 + 2*j**2 - 1/2*j**3 - 10*j + 1/12*j**4. Is s(8) a multiple of 9?
False
Let v = 1761 + 1147. Does 50 divide v?
False
Does 2 divide ((-380)/8 + 0)*(-32)/10?
True
Let p = -6901 + 10570. Is 111 a factor of p?
False
Let r(l) = 126*l - 138. Is r(24) a multiple of 13?
True
Let v = 27 - 49. Let x = v - -20. Does 9 divide 0/5 - (-54 - x)?
False
Is 4/5 - 7832/(-10) a multiple of 24?
False
Let a = 31 + -21. Suppose -31 = -5*x - 2*k, 4*x - a = 3*k + 1. Suppose -x*v + 214 = 14. Does 19 divide v?
False
Let a = 19 - 1. Let x(o) = 3*o - 4. Let q be x(a). Is q - (1 + -5 - -2) a multiple of 26?
True
Let s(c) = 15*c - 50. Suppose -8*h = n - 3*h + 15, 5*n = 4*h + 70. Does 20 divide s(n)?
True
Suppose 0 = -4*q - 5*h + 4859, 0*q = -4*q + h + 4841. Does 93 divide q?
False
Let d(r) = -r**2 - 6*r + 11. Let l be d(-7). Suppose 0 = -l*c + 8*c - 312. Does 13 divide c?
True
Let t be -7 + 