divide w?
False
Suppose 8484 - 129 = 15*d. Is d a multiple of 81?
False
Let u = 25 - 30. Let c = u - -33. Is c a multiple of 7?
True
Suppose 5*f + 95 = -5*t, 2*f - 4*t - 58 = 5*f. Let a = -123 - -163. Let r = f + a. Is r a multiple of 22?
True
Suppose -3 = 2*k - k. Let v be 1/(-3)*(-15 + k). Suppose -2*b = 2*z - v*b - 46, -2*z + 1 = 5*b. Does 6 divide z?
False
Let k(j) = 73*j**3 - 2*j**2 + 4*j + 3. Let h(f) = f**3 - f**2. Let g(t) = 4*h(t) - k(t). Does 17 divide g(-1)?
True
Let m be (-426)/(-30) - 16/(-20). Suppose v + m = 35. Is 4 a factor of v?
True
Let f(i) = 146*i + 2. Let m(q) = -731*q - 11. Let k(g) = 22*f(g) + 4*m(g). Let n be k(1). Suppose 6*z - n - 48 = 0. Is z a multiple of 14?
True
Suppose -1144 = -16*j + 12*j. Is j a multiple of 26?
True
Let i(r) = -r**2 + 11*r - 10. Is i(7) a multiple of 9?
True
Let k(r) = r**3 - 9*r**2 + 8*r - 5. Is 65 a factor of k(12)?
False
Suppose -4*p + 2*p + 21 = -5*g, p - 38 = -3*g. Is p a multiple of 8?
False
Suppose -77 = 4*o + 4*f + 59, 4*o = f - 131. Is 4 a factor of (-1550)/(-55) + 6/o?
True
Is 32 a factor of 322 + -5 + 3/(-2 - -3)?
True
Let a(s) = 36*s + 1541. Does 23 divide a(0)?
True
Let r(y) = -y**3 - 3*y**2 + 28*y + 6. Let g be r(-7). Suppose 8 = 2*d - 6*d, 2*d + 24 = w. Let k = w - g. Is k a multiple of 14?
True
Let s be (-6)/(-9) - (-5)/15. Let j be (s/(-2))/(11/(-1320)). Let i = -42 + j. Is i a multiple of 5?
False
Let z(u) = -u + 97. Let o be z(0). Suppose 8*q - 295 - o = 0. Does 15 divide q?
False
Let d(p) = 6*p**3 + 11*p**2 - 3*p - 17. Let b(k) = -k**3 - k**2 + 1. Let c(y) = -5*b(y) - d(y). Let u be c(-6). Is 13 a factor of 26/u*(-15)/5?
True
Let u(o) = -o**2 + 6*o + 6. Let t be u(6). Suppose 0*w + w - t = 0. Suppose -a + 9 - w = 0. Does 2 divide a?
False
Let p(g) = 72 - 28*g**2 - g**3 + 28*g**2. Is p(0) a multiple of 9?
True
Let f = 3294 + 139. Does 30 divide f?
False
Let x be 0 - (-3)/((-3)/(-4)). Suppose -n = -0*y + 3*y - 675, x*n + 1125 = 5*y. Is y a multiple of 21?
False
Let p(n) = 7*n - 1. Let i be p(3). Does 13 divide ((-50)/i)/((-1)/10)?
False
Suppose -49*r + 71*r - 25740 = 0. Is r a multiple of 9?
True
Let t(a) = 3*a**2 + 63*a - 157. Is 30 a factor of t(-35)?
False
Let h(b) = b**2 - 43*b - 120. Is h(48) a multiple of 20?
True
Let d(f) = -9*f - 5 + 0*f**2 + 12 - f**3 - 10*f**2. Let n be d(-9). Does 11 divide (-23*1)/(n - 8)?
False
Suppose -4*y - 4*m - 887 = -2179, -5*m + 652 = 2*y. Let o(j) = j**3 + 10*j**2 + 7*j - 22. Let l be o(-9). Does 7 divide y/15 - l/(-10)?
True
Suppose -n + u + 3 = -3, -5*n - 3*u = -14. Suppose -n*s + 5*s = 4. Suppose -s*d + 30 = -18. Is d a multiple of 12?
True
Suppose 5*m = 3*f + 15, 4*f = -f - 4*m + 12. Suppose i - 4 + 2 = f. Suppose 6*u = 2*n + 2*u - 72, 3*n + i*u = 148. Does 26 divide n?
False
Let a(t) be the first derivative of -t**3/3 - 3*t**2 + 9*t - 5. Let d be a(-7). Suppose 4*p = d*c + 358, -c = -3 + 2. Is 30 a factor of p?
True
Let q(w) = 8*w + 8. Let d(f) = -f**3 + 5*f**2 - 6*f + 4. Let n be d(4). Let i be 147/28 - (-1)/n. Is q(i) a multiple of 19?
False
Let u(y) = y + 11. Let p be u(-13). Is 29 a factor of 3/(-1) + (-30)/p*5?
False
Let p(h) be the first derivative of -h**4/4 + 7*h**3 + 53*h**2/2 - 31*h + 17. Is 5 a factor of p(23)?
True
Let y = -231 + 427. Let a = -41 + y. Suppose 190 = -f + 4*f - 2*w, -5*w = 3*f - a. Is f a multiple of 16?
False
Let x = 5 + -1. Suppose 5*t = -x*b - 246, -b - 5*t - 128 = b. Let s = b + 83. Is 8 a factor of s?
True
Does 8 divide -3 - -9 - -110 - (-3 + -1)?
True
Suppose 3*d = -12, -4*w + 2*d - 146 = -6*w. Suppose t - 1 - 3 = 0. Suppose -4*o + 308 = t*l, 0 = -0*l + l - o - w. Does 16 divide l?
False
Let c = 6 + -11. Let q be -21*(-4)/(-30)*c. Suppose -6*n + 2*n + 40 = 2*m, 2*n - 2*m - q = 0. Does 2 divide n?
False
Suppose 1167 = 5*o + 322. Is o a multiple of 13?
True
Suppose -d = 2*z - 817, -z + 3*z - 823 = 5*d. Does 16 divide z?
False
Let q be (-10)/20*(1 - 9). Let c be -103*2/(8/q). Let u = -61 - c. Is 14 a factor of u?
True
Let a = -15 + 18. Suppose -a*d + 25 - 10 = 0. Suppose -b - 43 + 143 = d*z, 3*b - 80 = -4*z. Does 20 divide z?
True
Let z = -1430 + 2660. Is 41 a factor of z?
True
Suppose -5*j - 4*u + 2826 = 0, -5*u + 2827 = 5*j - 2*u. Does 9 divide j?
False
Suppose -10*m + 13097 = 3207. Is m a multiple of 43?
True
Let m = -14 - -36. Let w = m + -19. Suppose 38 = w*z + 5. Is z a multiple of 2?
False
Is 44 a factor of 24660/70 - -4*1/(-14)?
True
Suppose -9248 = -13*a + 2400. Is a a multiple of 32?
True
Suppose -11*z + 13410 = 2828. Is 26 a factor of z?
True
Let u(t) = 2*t**2 - 13*t - 20. Let r be u(10). Suppose -4*k + 2*l = -r, -7*k = -3*k - 4*l - 40. Is k a multiple of 3?
True
Let a(u) = -177*u - 7. Is 11 a factor of a(-3)?
False
Let c = -1651 - -2231. Is c a multiple of 29?
True
Suppose w - 174 = -3*o + o, w - 154 = 3*o. Let v = w - 31. Is v a multiple of 28?
False
Suppose h = 5*t - 13, -5*t + 2 = 4*h + 4. Let j be ((-24)/20)/(t/20). Does 28 divide (-339)/j - 1/4?
True
Suppose -t = -j - 31, -2*j = -5*t - 25 + 90. Let x be -1 - -217 - (2 - 2). Is 7 a factor of (x/j)/((-3)/10)?
False
Let t(g) = 3*g**3 + g**2 - 3*g + 3. Let b(c) = -c**3 - 15*c**2 - 13*c + 16. Let p be b(-14). Is 5 a factor of t(p)?
True
Let w = 23 + -15. Suppose -h - w*v + 30 = -3*v, 0 = 4*h + 3*v - 35. Let f(y) = y**3 - 6*y**2 + 11*y - 5. Is f(h) a multiple of 4?
False
Let t = -26 + 23. Is 15 a factor of (t/(-6))/(9/810)?
True
Let u(a) = 4*a**3 - a**2 + 1. Suppose 7*t = 5*t + 6. Is 14 a factor of u(t)?
False
Let f(g) = 3*g + 2. Let l be f(2). Suppose -2*y + 5*n - 11 = 2*n, -5 = -n. Suppose -l = -z + 2*b, -2 = -y*z - b + 29. Is z a multiple of 7?
True
Let i(m) = -m + 21. Let y be i(8). Let r(o) = -o + 38. Does 5 divide r(y)?
True
Suppose -20*s = 3335 - 8495. Is s a multiple of 31?
False
Suppose 5*s - 1 - 19 = 0. Suppose 2*u + s*n - 8 = -0*n, -n = -5*u - 13. Is 11 a factor of u/(-1) - (-186)/6?
True
Suppose -18*w + 10 = -8*w. Does 32 divide (190 + 2)*w - 0?
True
Does 34 divide (4 - 38)/(6/(-264))?
True
Suppose -11*a = -0*a - 77. Let y(g) be the second derivative of 4*g**3/3 + 7*g**2 - g. Is 14 a factor of y(a)?
True
Suppose 23 = b + 93. Let a = -47 - b. Is a a multiple of 23?
True
Let b(s) = -85*s - 67. Does 93 divide b(-7)?
False
Let t(r) = -2*r + 6. Let a be t(2). Suppose 5*s - 49 = -a*h, 5*s - 4*h - 12 = 25. Is s a multiple of 9?
True
Let a(t) = -5*t**3 - 3*t**2 - t + 1. Let g be a(-1). Let y be -4 - (g - 8) - -62. Suppose -d + y = d. Is 8 a factor of d?
False
Let i(k) = -k**2 + 25*k - 39. Does 9 divide i(12)?
True
Suppose 5*h + 36 = 3*n, -3*n + 16 = -4*h - 17. Suppose 0 = 5*j - 13 - n. Suppose -c + 90 = j*c. Does 5 divide c?
False
Suppose 5*k + 0*b - 4*b - 8 = 0, -4*b + 24 = 3*k. Does 8 divide 1 - -2 - (-4 - 4/k)?
True
Let l be -2 + 7 - -52 - -3. Suppose -5*n + 3*q = -345, -2*n + l = 2*q - 62. Is 10 a factor of n?
False
Is 126/(28/8 + -2) a multiple of 14?
True
Let a be 2/4*-6*-2 + -2. Suppose 0*r + 172 = a*g - 4*r, -5*g + 199 = -r. Is 16 a factor of g?
False
Let o(i) = i**2 - i - 6. Let f be o(0). Let z(r) = r**2 + 4*r - 8. Let p be z(f). Suppose p*t - 39 = 141. Is 13 a factor of t?
False
Let r(a) = a - 4. Suppose o + 2*o = 33. Is 5 a factor of r(o)?
False
Suppose -4*l - 2272 = -2*a, 892 = 3*a + 2*l - 2500. Does 57 divide a?
False
Suppose 2*g - 3*k = 4*g - 12, 3*g + 3*k = 24. Let r = -49 - -47. Let b = g - r. Is 6 a factor of b?
False
Suppose 2*p - i + 0 - 80 = 0, 0 = -3*p + 2*i + 119. Let y = -128 + 101. Let j = p + y. Is j a multiple of 10?
False
Let r be 0 - ((-5 - -2) + -1). Suppose 5*y + 5*t - 160 = 0, 0 = r*y + 3*t - 66 - 60. Is 4 a factor of y?
False
Does 13 divide (-6)/39 + (-11520)/(-13)?
False
Suppose 3 = 3*h - 12, -3*y = 5*h - 742. Is y a multiple of 15?
False
Let q(k) = 27*k**2 - 14*k + 7. Is q(3) a multiple of 8?
True
Let b = 316 - -408. Is b a multiple of 44?
False
Let l = 36 + 31. Let a = l - -7. Suppose -3*c - 2*z = -a, 5*z = -5*c + z + 120. Is c a multiple of 10?
False
Suppose -4 = 4*s - 12. Suppose -f = 3*z - 0*f - 296, -s*f - 200 = -2*z. Is z a multiple of 33?
True
Suppose -519*t + 640 = -514*t. Does 16 divide t?
True
Does 116 divide 8*((-12)/4)/((-8)/116)?
True
Let o = 8000 + -5660. Is o a multiple of 12?
True
Suppose -236 = 9*z - 5*z. Let d be -10*(1/(-2) - 1). Does 20 divide (4 + z)*(-18)/d?
False
Let z = 1047 - 