4 divide z?
False
Let b(f) = 14*f + 308. Let g = 389 + -372. Is 14 a factor of b(g)?
True
Let f(w) = -291*w - 18. Let m be f(3). Let x = m - -1489. Is 22 a factor of x?
False
Let j = -6 + 9. Suppose 0 = 4*p + n + 4 - 55, 3*p = j*n + 27. Suppose f + 1 = 3*g, -p = 3*g - 4*g - 2*f. Does 2 divide g?
True
Let h = -70 - -720. Suppose 4*y - h = 3*r, 0 = 3*y - r - 257 - 233. Is y a multiple of 7?
False
Does 6 divide (30394/2)/(-399 + 400)?
False
Let w = -627 + 631. Suppose 34*a - 33*a - 303 = -2*z, w*z = 3*a - 879. Is a a multiple of 27?
True
Suppose 38*v - 129164 - 591708 = 169696. Is v a multiple of 54?
True
Suppose -4*b - 6950 = -2*o, 2*b + 3478 = -0*o + 2*o. Let k = -1046 - b. Is 15 a factor of k?
True
Let c be (-6 - -8) + (3 - -3). Suppose c*j = 13*j - 1215. Does 41 divide j?
False
Let h = 93177 - 59127. Is h a multiple of 15?
True
Let m be 68/51*3/2. Suppose 4*g = 0, 2*q - 32 = -0*q - m*g. Does 4 divide q?
True
Let u = 844 - 861. Is 2091/u*(-1)/3 a multiple of 3?
False
Suppose 2*i - a - 3605 = 0, -1471*i + 6*a = -1474*i + 5460. Is i a multiple of 301?
True
Suppose 1692 = 3*u - 5*y, -99*u + 1692 = -96*u - 2*y. Is u a multiple of 141?
True
Suppose 5*y - 4*i = 200, -3*i + 134 = 4*y - i. Let d be 0/(-2) + y + 22/11. Let c = d + -30. Is 8 a factor of c?
True
Suppose 0 = -2*h + 2*p + 7918, 11*p = 14*p + 9. Is h a multiple of 46?
True
Let k be 1/(-2)*(-2 + -2). Is ((2 - k) + -3)/((-57)/760) a multiple of 4?
True
Let v = 24 - 28. Let w be 1 + 1 + v + 167. Let i = w + -53. Does 14 divide i?
True
Let u(y) = -59*y**3 - 1. Let w be u(-1). Suppose -2*x - 302 - w = -4*l, 0 = -2*l - 5*x + 192. Is 18 a factor of l?
False
Suppose -f + 4*f = 6. Suppose f*r = -3*o + 157, -3*r + 261 = 6*o - o. Is 14 a factor of o?
False
Let f(m) = -m**3 + 6*m**2 + 8*m - 7. Let c be f(7). Let w = c - -3. Does 11 divide (3 - -85)/(-1 + w)?
True
Let h = 889 - 387. Suppose m + m - h = 0. Suppose 1167 = 5*c + 2*y, -m = -c + 7*y - 3*y. Is c a multiple of 47?
True
Let c = 16819 + -8064. Is c a multiple of 17?
True
Let f(s) = 5*s**2 - 15*s + 80. Suppose 2*q + 20 = 5*n, 3*n = -4*q + 3*q + 23. Is f(n) a multiple of 85?
True
Suppose 3*l - 2*u = -140, -95 = -l + 3*l - 3*u. Let r = -31 - l. Suppose r*o - 18*o + 258 = 0. Does 32 divide o?
False
Suppose -5*o = 5*r - 3035, -5 = -o - 0. Suppose -3*d + 5*n + 565 = -352, -2*d = -n - r. Does 15 divide d?
False
Suppose -2*f - 2 = -q - 8, f = -3*q + 3. Let z be (-231)/(-5) - (f - -3)/30. Suppose -5*v + 336 - z = 0. Does 29 divide v?
True
Suppose 0 = 25*c + 57 - 632. Suppose 14*v + 4905 = c*v. Is 5 a factor of v?
True
Let g = -20 - -26. Let u(x) = -g*x**2 - x**3 + 8*x + 7*x - x - x. Is u(-9) a multiple of 21?
True
Let p = 7840 - 1350. Is 160 a factor of p?
False
Suppose 3*r + 3*w = 11592, -w - 5764 - 9677 = -4*r. Let q = -2111 + r. Is q a multiple of 25?
True
Let x(r) = -r**2 - 13*r - 38. Let a be x(-7). Suppose a*h - 1326 = -m - 248, -3*h - 3*m + 804 = 0. Is 21 a factor of h?
False
Let k(p) = 2*p**3 - 21*p**2 + 9*p + 5. Let l be k(10). Let v(j) = -117*j - 98. Does 9 divide v(l)?
False
Let q(y) = -y**3 - 2*y**2 + 10*y + 12. Let c be q(-6). Let l = c + 54. Is 10 a factor of l?
True
Let j(i) = -i**3 + 8*i**2 - 12*i + 2. Let n be j(6). Suppose -306 = -n*m - m. Suppose -5*o = -m - 48. Is o a multiple of 15?
True
Suppose -5*c + 4*a = -556, -4*c + 0*c + a = -436. Let k = c + 9. Is k a multiple of 60?
False
Let m(q) = -3*q**2 - 2*q - 5. Let y be m(0). Let h = y + 56. Is 17 a factor of h?
True
Let g(i) be the third derivative of i**4/3 - 14*i**3/3 + 17*i**2. Let m be g(5). Suppose 13*z - m = 1158. Is 9 a factor of z?
True
Let w(c) = -847*c - 3069. Is 3 a factor of w(-6)?
True
Suppose 21 = 5*s - 14. Suppose 3*i = s*i + i. Suppose 5*z - 168 = -2*r, -z + r + 13 + 22 = i. Does 8 divide z?
False
Suppose 4*t + 2*l - 3508 = 0, 0 = -7*l - 0 + 28. Is 5 a factor of t?
True
Let t = -16218 + 28068. Is 50 a factor of t?
True
Is (1573 - -1) + (3 - 2)/((-23)/115) a multiple of 3?
True
Let v(z) = z**3 + 49*z**2 - 143*z + 68. Is 17 a factor of v(-51)?
True
Let n be -2 - ((-8)/1 - -4). Suppose -l = -6*l - n*c - 6, 5*l = c + 3. Suppose 12*f - 8*f - 332 = l. Does 8 divide f?
False
Let p(j) = 76*j + 252. Let m be p(8). Suppose 31*y - 33*y = -m. Does 45 divide y?
False
Let i be ((-2)/(-18))/((-4)/(-24))*6. Suppose -5*h + i*h = -2*r - 818, 4*h - 3228 = -3*r. Suppose -6*d - 3*d + h = 0. Is 15 a factor of d?
True
Let f = -130 - -211. Let g = f - 82. Is 93*(3/(-9))/(g/3) a multiple of 26?
False
Suppose -2*n + 6 = n. Suppose 0 = 2*q - n*w - 58 - 20, -211 = -5*q - 3*w. Suppose -q - 27 = -m. Is m a multiple of 17?
True
Let n = 25 + -20. Suppose -r + 0*j = -j + 12, -74 = n*r + 2*j. Is (-30)/105 - 788/r a multiple of 21?
False
Let q(b) = 2*b**2 + 37*b - 68. Does 14 divide q(18)?
True
Suppose 103*h - 96*h = -336. Does 13 divide (-18)/h - (-3985)/40?
False
Let a(i) = 3056*i + 1008. Is a(12) a multiple of 40?
True
Let g(h) be the first derivative of -h**3 + 29*h**2/2 + 9*h - 12. Let i(t) = 8*t**2 - 86*t - 26. Let b(s) = -14*g(s) - 5*i(s). Does 20 divide b(-14)?
True
Let w = 248 - 246. Suppose 1399 = w*j + 3*o, -5*o - 598 + 2695 = 3*j. Is j a multiple of 64?
True
Suppose 2*p = 5*h - 107, 0 = -p - 3*h + 6 - 54. Let q = 30 - p. Is q a multiple of 9?
True
Let c(g) = -g**3 + 7*g**2 + 19*g + 4. Let b(n) = -n**3 + 7*n**2 + 18*n + 3. Let y(x) = -6*b(x) + 5*c(x). Suppose 658 = 87*m - 125. Does 12 divide y(m)?
False
Let t(p) = p**3 + 18*p**2 - 35*p - 18. Is t(-9) a multiple of 19?
True
Suppose -21 = -6*r - 9. Suppose 1299 = c + r*c. Suppose -5*o + c = 3*s + 24, -71 = -o + 3*s. Does 22 divide o?
False
Let k = -82 - 3. Let y = 66 + k. Let p(b) = -2*b + 4. Does 6 divide p(y)?
True
Let q = 93 - -54. Let n be ((-30)/(-7))/((54/84)/9). Suppose n = 3*k - q. Is k a multiple of 9?
False
Let i(r) = 181*r - 35. Let o be i(-6). Let w = 626 + o. Let d = -271 - w. Is 56 a factor of d?
True
Let o = -10403 + 79442. Is o a multiple of 189?
False
Suppose 3*q = t - 2168, 0 = 4*t + 173*q - 170*q - 8612. Is 28 a factor of t?
True
Suppose -n = 2*n - 3*v - 39, -2*v = 4*n - 22. Suppose -24 = n*k - 0. Is -3 - (k - 80) - 4 a multiple of 18?
False
Suppose 23*v - 19*v = -3*b + 3405, -v = 4*b - 4514. Does 11 divide b?
False
Suppose -16267 = 143*t - 143654 - 257140. Does 37 divide t?
False
Let r(b) = 3*b - 1. Let o(h) = -h. Let i(j) = -10*o(j) - 5*r(j). Is i(-9) a multiple of 25?
True
Let c = 9 - 9. Suppose -4*u + 179 + 173 = c. Suppose 3*f = m + u, 3*f = f + 4*m + 42. Does 4 divide f?
False
Let g = 338 - 368. Does 7 divide (-8680)/(-12) + (-20)/g?
False
Is 189 a factor of (2664/(-16))/(((-95)/(-210))/(-19))?
True
Let x(y) = -y**3 + 3*y**2 - 13*y + 1. Let n(z) = 5*z - 14. Let d be n(4). Let u be x(d). Let b = u + 373. Does 24 divide b?
False
Suppose -409 = 8*f + 927. Let a = f - -291. Is 31 a factor of a?
True
Suppose -71940 = a - 8*a - 13*a. Does 11 divide a?
True
Let d(o) = -o**2 - 8*o - 7. Let s be d(-6). Does 20 divide 126/(-210) - (-703)/s?
True
Is 16 a factor of 2/(-34) + 736054/374?
True
Suppose 2*b + 2*j = 1630, -20*b + 15*b = j - 4079. Suppose -b = 20*g - 28*g. Is 6 a factor of g?
True
Let z(v) = 9*v - 13. Let h = -59 - -62. Suppose 21 - 6 = h*s. Does 3 divide z(s)?
False
Is 30 a factor of (810/540)/(6/23756)?
False
Let w be -597 + (-88)/(-55)*5/2. Suppose 0 = -5*b - 2*x - 4200, 2*b - 6*b - 3347 = -x. Let u = w - b. Is u a multiple of 35?
True
Let u be 16898/32 + (-5)/80. Suppose -2*q + u + 2004 = 0. Does 16 divide q?
False
Let m(v) = 187*v**3 + 2*v + 1. Let p be m(-1). Let z be p/(-3 + 22/8). Suppose -8*s + 880 + z = 0. Is 29 a factor of s?
False
Let p be -1*91 - (5 + -9). Let j = p + 87. Let b(t) = t**3 - t**2 - 4*t + 193. Is b(j) a multiple of 48?
False
Let g(h) be the first derivative of h**3 - 5*h**2/2 - 193*h - 109. Does 23 divide g(-12)?
True
Let y(a) = 10*a + 34. Let m be y(-4). Is 8*((-6)/m + 2) a multiple of 4?
True
Let g be (-74)/(-1) - (-7)/(21/9). Suppose 4*h - g = -o - h, -5*h - 311 = -3*o. Does 29 divide o?
False
Suppose -9*o = -21 - 24. Suppose -7*z + o*z + 8 = 0. Suppose z*n = 2*n - 5*r + 177, 0 = 4*n + 4*r - 360. Is 11 a factor of n?
False
Suppose -v + 5*j = -391, 4*j + 1730 = 5*v - 120. Is 122 a factor of v?
True
Let n be 1/((-4)/(-3)) + (-66)/(-8). Let z(v) = n*v**2 - v**2 - 2*v + 4 - 4*v + 0*v**2. Is