a multiple of 4?
True
Let f(r) = r**2 + r - 44. Let j(c) = c**3 - 8*c**2 - 2*c. Let p be j(8). Does 26 divide f(p)?
False
Let r(b) = 21 + 170*b - 5*b**2 + 27*b**2 + b**3 - 136*b. Is 74 a factor of r(-17)?
True
Let r = 6029 - 3299. Does 65 divide r?
True
Suppose y - 3931 = -3*f, -5*y - 3125 = 5*f - 22750. Does 74 divide y?
True
Suppose -8*v = -v + v - 4296. Is 7 a factor of v?
False
Let a(w) = 2*w**3 + 20*w**2 - 3*w - 94. Let u be a(-9). Let v be 20/(-3)*30/(-4). Let b = u - v. Is 9 a factor of b?
True
Suppose 0 = c + 54 - 188. Let z = c - -7. Is z a multiple of 3?
True
Let b(h) = 2*h**2 - 32*h - 77. Let m be b(-30). Let y = m + -1595. Does 16 divide y?
True
Let j(d) = 35*d**3 - 2*d**2 - 7*d - 8. Let k be j(-2). Let g = -29 - k. Is g a multiple of 8?
False
Let r(k) = 2*k + 20. Let z be r(-6). Let d = 37 - z. Does 4 divide d?
False
Suppose d = -5 + 7. Suppose -y + 15 - d = 3*b, -3*b + 2*y = -1. Suppose 0 = -0*i - b*i + 108. Is i a multiple of 18?
True
Suppose 52*t - 22268 = 161188. Is t a multiple of 9?
True
Let i(o) = -5*o**2 + 132*o + 5. Is i(16) a multiple of 98?
False
Suppose -4*k - 8 = 3*t, 3*t = 4*k - 5 + 13. Let n be (-7076)/(-4) - ((-6)/k - 6). Suppose 16*a = 180 + n. Is 30 a factor of a?
False
Let x(c) = 19*c - 71. Let s(w) = 4. Let u(z) = 5*s(z) + x(z). Is u(4) a multiple of 2?
False
Suppose -2*z - 3*z = 5*n - 40, 2 = -n - 3*z. Suppose 0 = 5*t + n*r - 17*r - 573, -4*r = t - 129. Is 28 a factor of t?
False
Let k(o) = -217*o - 25. Is k(-30) a multiple of 162?
False
Suppose 0 = l + l + 3*l. Suppose -341 = -4*u + s, -5*s - 5 = -l. Is 17 a factor of u?
True
Suppose 3*i + 3*t = 26751, -14*i = -10*i - 5*t - 35641. Is i a multiple of 8?
False
Let m(q) = -q**3 - 5*q**2 + 4*q + 32. Let h be m(-4). Suppose -177*v + 181*v - 664 = h. Is v a multiple of 21?
False
Suppose 0 = -t + 5*c + 371, t - 6*c = -5*c + 391. Does 6 divide ((-13)/26)/((-3)/t)?
True
Suppose 0 = 4*u + b - 3365, 4*u + u + 5*b = 4210. Suppose -9*j + 968 = -u. Does 3 divide j?
True
Suppose -2*u + 29 = 5*h, 4*u - h = -6 + 119. Does 23 divide 3/u + 2065/45?
True
Let a = 1495 + -1355. Is a a multiple of 4?
True
Suppose 8060*a = 8076*a - 705856. Is 49 a factor of a?
False
Let a(r) be the third derivative of -r**6/120 + r**5/30 + 59*r**3/2 - 17*r**2 - 2*r. Is 11 a factor of a(0)?
False
Let y be (-26)/(-3)*8/((-48)/(-9)). Suppose 5*q - y = 287. Suppose -3*v + 6 = -q. Is 11 a factor of v?
True
Suppose -3*x - 2*c = -174, -c = x + 2*c - 51. Is (x/18)/(-1)*(-48 - 0) a multiple of 8?
True
Let j(f) = -4*f + 1 - 2*f + 7*f - 2*f. Let p(y) = -8*y + 6. Let c(m) = -12*j(m) + p(m). Is 14 a factor of c(12)?
True
Suppose 23*t - 19*t + 3*g - 21 = 0, -4*t + 3*g = -3. Suppose w - 3*x - 250 = -84, 782 = 5*w - t*x. Is 22 a factor of w?
True
Suppose -4*t - 4*q = 1216, 2*t - 19*q + 592 = -17*q. Let o = t - -790. Is 10 a factor of o?
True
Let q be (2/(-7))/((-12)/168). Let u be 4/(-1)*18/8. Does 3 divide (u + 29)*1/q?
False
Let n be (20/(-6))/((-2)/153). Let d = -111 + n. Is d a multiple of 12?
True
Let l = -121 - -3795. Is l a multiple of 119?
False
Suppose -2*c + 7420 = -s + 284, -3*c + 5*s = -10732. Is c a multiple of 36?
True
Let o be (-3)/(-5) - (-421253)/245. Suppose 14*i = 9*i + o. Is 8 a factor of i?
True
Suppose 0*d - 2*d + 2 = -5*t, 0 = 4*d - 4*t + 20. Let n(p) = -p**3 - 7*p**2 - p + 7. Let u be n(d). Let k = u + -125. Is 14 a factor of k?
False
Let g(m) = 35*m**2 - 5*m - 40. Is g(11) a multiple of 12?
True
Suppose -71168 = -2*u + 4*p, 4*p + 61421 = -3*u + 168193. Does 31 divide u?
True
Let q(c) = 46*c. Let f be q(1). Suppose -5*b + 1090 = -0*b. Let a = b - f. Does 43 divide a?
True
Suppose 3*g - 107 + 4581 = -n, 2*n + 2976 = -2*g. Let d = g - -2718. Is d a multiple of 28?
False
Let w(c) = 369*c**2 + 38*c + 74. Is w(-2) a multiple of 98?
False
Suppose 4*j - 183272 = -4*m, 46*j - 4*m = 44*j + 91660. Does 16 divide j?
False
Suppose -3*w + 6171 = 5*b, b - 4953 = -3*b + 3*w. Does 3 divide b?
True
Let x = -17858 + 18294. Is 10 a factor of x?
False
Let v(y) = 8*y + 154. Suppose -6 = 3*h - 0, -2*f - 3*h + 38 = 0. Is v(f) a multiple of 10?
True
Let t = 326 + 243. Suppose 23*w + t = 8389. Is 70 a factor of w?
False
Let k = -6992 + 8863. Is 13 a factor of k?
False
Let r = 5285 + -2910. Does 2 divide r?
False
Let y(q) = 43*q - 20. Let c be y(16). Suppose -3*s + c = 2*j, -4*s + 3*j = -2*s - 454. Does 14 divide s?
True
Suppose -3*p - 5 = r + 4, -2*r + 4*p = -12. Suppose r = -3*g + 115 + 965. Suppose -b = -6*b + g. Does 14 divide b?
False
Suppose 4*t - 5*t + 27791 = 5*d, 3*d + 3*t - 16677 = 0. Is 26 a factor of d?
False
Suppose 3*d + 2*d = 4*d. Does 12 divide -5*((-1380)/25 + d)?
True
Let c(w) be the first derivative of -w**3/3 + 13*w**2/2 + 51*w - 10. Is c(16) even?
False
Suppose 0 = -9*l + 51 - 15. Is 6 a factor of (12/(-9))/(l/(-90))?
True
Let d be (-18)/(-36)*6/(-1). Does 7 divide 0/8 + 90 + d + -3?
True
Let i = -50 - -62. Suppose -7*n - i*n = -95. Suppose n*b + h = 685, b - 3*h = 40 + 81. Is b a multiple of 17?
True
Let h = -115 - -314. Let j = 823 - h. Is 18 a factor of j?
False
Let w be (-8)/(-28)*(-28)/8 + -71. Let a = w + 100. Does 3 divide a?
False
Let a(k) = 2*k - 28. Let h be a(14). Suppose 4*t - 163 + 31 = h. Is (-2 - -1) + -3 + t - -3 a multiple of 16?
True
Let p = -658 - -1672. Does 8 divide p?
False
Let m be ((6 - -14) + -2)/((-6)/(-44)). Suppose 4*s + m = 2*s. Let j = 170 + s. Is j a multiple of 39?
False
Let l(t) = 79*t - 24. Let x be l(7). Suppose x - 1873 = -28*w. Is w a multiple of 4?
True
Let g(i) = 19*i + 79. Let d be g(-3). Is 12 a factor of d/6 + 6/18 - -618?
False
Suppose 2*h = -5*y + 7760, y - h + 5*h - 1534 = 0. Let o = -908 + y. Is o a multiple of 38?
True
Let o = -25 - -28. Suppose 4*f = 4*p + 92, -f - 19 = o*p + 70. Let i = p - -161. Is i a multiple of 13?
False
Let z be (-38)/(-133)*(0 - (0 - 7)). Let n be 560/(-3) - z/6. Let w = 382 + n. Is 15 a factor of w?
True
Let c(t) = -60*t - 593. Does 12 divide c(-29)?
False
Let f(j) = -19*j + 14. Let y(x) = -39*x + 28. Let t(i) = -5*f(i) + 3*y(i). Let l be t(-18). Suppose -10*b + 400 = -l. Is b a multiple of 29?
False
Let t be (21/(-6))/((-1)/58) - 3. Suppose -502 - t = -2*s. Is 9 a factor of s?
True
Suppose -o + 19 = 5*m - 10, 2*o = m + 3. Suppose m*a = -a + 30. Suppose -25 = -a*v, 6*q - 2*q = 2*v + 38. Does 12 divide q?
True
Let j be (0/2)/(9 + (-20 - -9)). Let n = -885 + 1253. Suppose q - 5*b + j*b = 62, -4*q = 4*b - n. Does 12 divide q?
False
Suppose -11*o = -16*o - 55. Let w be (-3 - 7/(-2))*-54. Let y = o - w. Is y a multiple of 4?
True
Let i be 6/9*(-27)/(-6). Suppose -7*c + 4*c = i. Let p(n) = 14*n**2 - n. Is p(c) a multiple of 8?
False
Suppose 0 = -22*g + 25*g + 18, 4*g = 4*u - 83296. Is u a multiple of 91?
False
Let y be 4/22 + 0 - (-3115)/(-979). Let u = y + 84. Is 13 a factor of u?
False
Suppose -h = -2*h + 2*g + 13, 4*h + 3*g - 8 = 0. Suppose h*v + 5*c - 170 = 0, 3*v - 92 = -0*v - 5*c. Is 28 a factor of ((-26)/v)/((-2)/84)?
True
Let t(z) = z**2 - 16*z - 15 - 7*z + 17*z. Let u be t(7). Does 41 divide -2*(-82)/(-8)*u?
True
Is 33 a factor of 3887 + 5 + -16 + 4?
False
Let s(x) be the third derivative of 3*x**5/20 + x**4/12 + 2*x**3/3 + 7*x**2. Let g be s(3). Suppose -3*z + 51 = q, q = 2*z + 3*z + g. Does 11 divide q?
True
Is 17 a factor of -9 - (-20 + 7) - (1 + -3669)?
True
Let r(m) = 52*m**2 + 508*m + 23. Is r(-21) a multiple of 63?
False
Let o(x) = -x**3 + 3*x + 93. Let d be o(0). Let k = -62 + d. Suppose 0 = -3*h + k + 35. Is 18 a factor of h?
False
Suppose -17*u + 151 + 2 = 0. Let q(x) = -x**2 - 12*x - 9. Let w be q(-6). Is 8 a factor of w/u - (-52)/2?
False
Let l be (-564)/(-14) - 34/119. Suppose 0 = l*x - 44*x + 12. Does 34 divide x/(-4) - (-2428)/16?
False
Suppose 0 = 35*p - 1486610 + 225280. Is p a multiple of 74?
True
Let d(p) = -p + 15. Let z be d(14). Let l = -2 + z. Is 36 a factor of (-263 - l)*16/(-32)?
False
Let n = 54688 - 20872. Does 43 divide n?
False
Does 4 divide (0 - -20)*24376/176?
False
Suppose -5*t = 102 + 33. Let u = 151 - t. Does 48 divide u?
False
Let x(m) = -94*m - 254. Suppose -4*s + r - 6 - 9 = 0, r + 25 = -4*s. Does 24 divide x(s)?
True
Suppose 16*t + 39*t - 29*t = 287300. Is t a multiple of 170?
True
Suppose 5*p = -2*j + 8960, 5*p - 129*j - 8960 = -127*j. Does 8 divide p?
True
Let t be 1/3 - (177/(