et w = -183 + d. Is 9 a factor of w?
False
Let q be ((-56)/(-50))/(2/5)*20. Let f = -38 + q. Does 2 divide f?
True
Does 130 divide ((-6)/111 + (-1782)/(-111))/((-3)/(-3282))?
False
Let z = -3025 + 3042. Let x(v) = v**3 - 15*v**2 - 36*v + 22. Let f(w) = -2*w**3 + 30*w**2 + 72*w - 43. Let l(u) = 6*f(u) + 11*x(u). Is l(z) a multiple of 5?
False
Let d(p) be the first derivative of p**2 - 20*p + 1/4*p**4 - 6*p**3 - 11. Is d(18) a multiple of 13?
False
Suppose 315*p + 463*p = -5446. Suppose 0 = -l + 4*b + 20, 0*l + 4*b = -4*l + 140. Let g = p + l. Does 3 divide g?
False
Suppose -16834*f = -16865*f + 605492. Does 19 divide f?
True
Let p be ((-9)/6)/((-20)/8 + 3). Let c be 270 + (p - -4 - 3). Let j = 478 - c. Is 14 a factor of j?
True
Suppose -4*t - 14*s + 800 = 0, -5*t + 294 = 4*s - 652. Is 5 a factor of t?
False
Suppose -43094 = -42*u + 102226. Does 69 divide u?
False
Let f = 55 + -205. Let q be 2/(-8) - f/(-40). Does 3 divide (-6)/q - 255/(-30)?
False
Let n(d) = -5*d - 18. Let h be n(-5). Suppose -h*f + 0*f = -595. Is f a multiple of 10?
False
Suppose 80*v - 75*v + 15 = 0. Is 6 a factor of (-14)/v*(-1935)/(-30) + 5?
True
Let q = -37 + 40. Does 40 divide -5 - -5 - q*-36?
False
Let j(q) = 88*q**2 + 5. Let i(l) = -177*l**2 - 9. Let z(m) = -7*m + 58. Let s be z(9). Let w(t) = s*i(t) - 9*j(t). Does 6 divide w(1)?
False
Suppose 69 = r - 35. Let l be (-7 - -22)*(-3)/((-18)/(-4)). Let x = r + l. Is x a multiple of 22?
False
Suppose 9*u - 7*u + 4*g = 0, -2*u + 27 = -5*g. Suppose 337 + 275 = 3*x + r, 2*r = u. Does 4 divide x?
False
Suppose 7*j - 4*z = 8108, 7*z + 3484 = 3*j + 3*z. Is 34 a factor of j?
True
Is ((-286)/(-44) + -9)/((-15)/27978) a multiple of 10?
False
Let u(y) = 26*y**3 + 13*y**2 - 20*y - 10. Is u(4) a multiple of 5?
False
Is 30 a factor of 150*-6*179/(-6)?
True
Let f be (-5)/2*(-32)/20. Suppose -f*h = -119 + 71. Does 2 divide h?
True
Suppose 50*p + 30599 = 103899. Is p a multiple of 9?
False
Let p = -835 - -1467. Let m = p + -425. Is m a multiple of 8?
False
Let a = 546 - 328. Let d = a + -169. Does 2 divide d?
False
Let f = -3080 + 16615. Does 111 divide f?
False
Suppose 3*v + 5 + 10 = 0, 5*j + 5*v - 55 = 0. Let d(m) = -m**3 + 15*m**2 + 19*m - 1. Let w be d(j). Let k = w + 5. Does 10 divide k?
False
Suppose -20 = 5*k + 2*m, 10 = -k + 5*m + 6. Is k/(-8)*(0 + 2 - -320) a multiple of 7?
True
Let z(w) = 4*w**2 + 5*w - 3. Let m be z(4). Suppose m = k - 63. Is (k/(-20))/(1/(-15)) a multiple of 27?
True
Suppose 0 = -8*h + 20899 - 6515. Does 29 divide h?
True
Does 19 divide ((-452)/(-16))/(2/(-760))*(-8)/10?
True
Let y = 2709 + 1013. Is y a multiple of 40?
False
Let n = -119 - -136. Suppose -n*m = 911 - 3818. Is m a multiple of 9?
True
Let l(u) = -17*u**2 - 18*u + 63. Let m(a) = -5*a**2 - 6*a + 21. Let y(x) = -4*l(x) + 11*m(x). Is y(-5) a multiple of 10?
False
Let i(g) = -g**2 + 10*g - 5. Let o be i(9). Suppose -o*y - 460 = -5*h + 628, -4*h + 866 = -y. Is 9 a factor of h?
True
Let q = -77 + 64. Let m = 19 + q. Suppose -m*k = -2*k - 400. Does 13 divide k?
False
Let f be (6 - -50) + -2 + 0 + 5. Suppose -183 = -2*c + f. Does 11 divide c?
True
Suppose x + 1123 = 3*u, -u - 3*u = -2*x - 1496. Suppose 0 = -2*s - 3*z + 307, 5*s - 3*z - 340 = u. Is 9 a factor of s?
False
Suppose p - 97 = -1204. Let u = -766 - p. Suppose 7*f = 1038 + u. Is 15 a factor of f?
False
Let s be (-11 + 1)*56/(-70). Suppose 0*c = -4*c - n + 2012, 2*n = -s. Does 12 divide c?
True
Suppose -33320 = -176*o + 168*o. Does 158 divide o?
False
Is 35 a factor of (51/(-9) + 4)/((-43)/557280)?
False
Let v(a) = a**3 - 2*a**2 - 2. Let o be v(2). Let x be (-26)/(-6)*(o - (-3 - 2)). Suppose 0 = b - x + 2. Is b a multiple of 8?
False
Let a(j) = 84*j + 4. Let w be (-8)/((-32)/(-12)) - (-5 + 1). Is 8 a factor of a(w)?
True
Let q = 217 + -217. Suppose q*n + 640 = 4*x + 5*n, -3*x + 480 = -2*n. Is x a multiple of 5?
True
Suppose 3*b - t - 8751 = -1228, 4*b - 10016 = 5*t. Is b a multiple of 17?
False
Let m(p) = -2016*p - 940. Is m(-3) a multiple of 61?
False
Suppose 4*q + s = -0*q + 26, 3*q - 4*s - 29 = 0. Let k be -115*(14/(-5))/q. Is 12 a factor of (23/k)/((-1)/(-192))?
True
Suppose 2 - 11 = -3*r - s, 4*r = -5*s + 23. Suppose r*u + 48 = 3*u. Does 13 divide u/30*(-25)/(-2)?
False
Suppose -391 + 331 = -5*j. Does 4 divide j*6/(108/6)?
True
Is (-1585 + (2 - -4))*-11 a multiple of 11?
True
Suppose -s = -4*s + 15. Let p be (6/(-8))/(12/(-64)). Suppose -p*a = z + 3*z - 556, -a + s*z = -169. Is a a multiple of 9?
True
Suppose -14 = -13*c + 181. Suppose 17*f = 22*f - c. Suppose -8*v = -f*v - 125. Is v a multiple of 25?
True
Suppose 3*p - 2*m + 2 = 21, -4*p - 2*m = -16. Suppose -p*g = -14 - 1. Let n(o) = 8*o**2 + 5*o + 4. Does 13 divide n(g)?
True
Let p(h) = 67*h + 23. Let s = 57 + -49. Is p(s) a multiple of 43?
True
Let x(w) = 171*w**2 + 56*w - 26. Does 4 divide x(-6)?
False
Suppose -12*b = -5*d - 371666, 4*b + 13*d - 123902 = 8*d. Is 149 a factor of b?
False
Let m = 108998 - 51640. Is m a multiple of 11?
False
Let u = 51773 - 43496. Is 9 a factor of u?
False
Suppose 0 = -86*d + 64280 + 61624. Is d a multiple of 122?
True
Suppose 0 = -15*y + 20*y - 4*v - 12927, 4*v + 12 = 0. Is 9 a factor of y?
True
Let q be -3*(-5)/(5/68). Let a = q + 561. Is 9 a factor of a?
True
Let f(s) = 2*s + 11. Let v be f(5). Let t(y) = -y**3 + 20*y**2 + 15*y + 27. Let q be t(v). Is 9 a factor of 5/(-3 + -2)*q?
True
Let m(n) = 2*n**3 + 12*n**2 + n + 6. Let s be m(-6). Suppose 0 = -s*j + 3*j - 5*x - 9, 9 = 3*j - 3*x. Suppose -4*b = -j*b - 14. Is b a multiple of 7?
True
Suppose 10*t - 117435 - 42766 = -35671. Is 12 a factor of t?
False
Suppose 0 = 2*n - 26 + 20. Suppose 3*t + 9 + 6 = 0, n*s - 43 = -4*t. Suppose s*d = 25*d - 216. Does 9 divide d?
True
Let d = 201 + -195. Suppose -r - 3*b = -210 + d, -4*b = -4*r + 736. Does 7 divide r?
True
Suppose -8 - 7 = -g - 3*p, -3*p + 15 = 0. Suppose 0 = 4*n - 76 - 88. Suppose 4*w - n = -2*v + 97, -5*w = g. Does 38 divide v?
False
Suppose -1212 = 51*n - 47*n. Does 20 divide (1 + n)/(12 - 14)?
False
Let h = -3570 - -3510. Suppose 0 = 4*z - 4*y + 840, 5*z + 0*y + 1010 = -3*y. Let t = h - z. Is t a multiple of 29?
True
Let u = 13437 - 7568. Is u a multiple of 55?
False
Suppose 0 = 2*s - 10*s + 336. Suppose -s*q - 1115 = -47*q. Does 20 divide q?
False
Is (36701/42)/49*66 a multiple of 11?
True
Suppose -4*s + 3*n - n = -60, -12 = -3*n. Let l = s - -230. Suppose -4*c + 5*v = -296 - l, 2*c + v = 261. Is 30 a factor of c?
False
Let o(z) = z**2 - 19*z - 50. Let s be o(22). Suppose -19*d + 23*d - s = 0. Suppose 0 = -d*m + 4*v + v + 237, 0 = m - v - 60. Does 25 divide m?
False
Let i(u) = -206*u**3 - 5*u**2 - 8*u + 3. Let h be i(-2). Let o = h - 918. Is 81 a factor of o?
True
Let k = -1 - -29. Suppose 3*s = -y + k, -3*y - 5*s = -y - 52. Suppose -34 = -5*o + y. Does 10 divide o?
True
Let z be -300 - (-5 - 2/(-4)*4). Let q = 26 - z. Does 17 divide q?
True
Let b = -398 - -279. Suppose 49*z - 7*z + 10038 = 0. Let u = b - z. Is u a multiple of 11?
False
Let h be ((-6)/(-4) + 0)*(28 + -26). Is ((-189)/5)/(3/(-102 - h)) a multiple of 39?
False
Suppose -72*a + 184782 = 19*a - 13*a. Does 13 divide a?
False
Suppose -248*c - 3355488 = -821*c. Is 24 a factor of c?
True
Let r be (-1 + 1/1)/2. Suppose -c + 5 = 0, r*q + 2*c + 90 = q. Does 25 divide q?
True
Suppose x - 103 = 4*w, -4*w + 382 = 4*x + 10. Suppose -90*l + x*l = 5. Let t(b) = 83*b**2 + b - 3. Is 14 a factor of t(l)?
False
Let m(b) = 4*b - 64. Let a be m(17). Is (-12)/a - (3 - 127) a multiple of 11?
True
Let z(w) = 70*w**2 - 11*w + 378. Does 14 divide z(14)?
True
Let w be -2142 + -4 + 2/1. Let k(n) = n**3 - 32*n**2 + 81*n + 166. Let b be k(29). Does 17 divide b + 560/72 + w/(-9)?
True
Let n(d) = -47*d + 8. Let t be n(-13). Suppose 3*k - 1238 = t. Is 52 a factor of k?
False
Let p be (-3 - (6 - 11)) + 7. Suppose -p*g + 3168 = -3*g. Is g a multiple of 88?
True
Suppose 72 = -6*j + 7*j - 3*h, -5*j + 3*h = -336. Does 23 divide j?
False
Let s = 113 - -222. Suppose -s = -2*m - 0*u - u, -500 = -3*m - 4*u. Is 28 a factor of m?
True
Does 39 divide (-22)/88*-3*24024?
True
Let i(y) = -4*y + 450. Suppose -3*h + 2*g = 5*g - 12, -4*g + 16 = 0. Is i(h) a multiple of 30?
True
Let h(x) = 0*x**2 + 4*x**2 + 0*x + 3*x - 2. Let w(g) = 465*g + 2785. Let r be w(-6). Does 36 divide h(r)?
F