w(j) = j - 1. Let i(v) = -7*v - 9. Let f(p) = -i(p) + 5*w(p). Let a be f(-7). Is 20 a factor of (75/(-20))/(5/a)?
True
Let b(a) = 5*a**2 - 15*a + 17. Let c be b(7). Suppose c + 81 = s - 4*u, 876 = 4*s + 3*u. Is 11 a factor of s?
False
Let z(w) = 3457*w**3 - 3*w**2 + 23*w - 21. Is z(1) a multiple of 72?
True
Let f be 1 + 5 + -1238 - 2*2. Let h = 46 - f. Is 18 a factor of h?
False
Let q(z) = -37*z - 37. Let c be q(-3). Suppose -c - 106 = -2*x. Is x a multiple of 6?
True
Let i = -17887 - -33796. Is i a multiple of 45?
False
Suppose -14836 - 1790 = -p + 5*o, p + o = 16614. Does 124 divide p?
True
Let u = 9851 + -2741. Does 30 divide u?
True
Suppose -2*y - 3*c + 92266 = 0, -338*y + 3*c - 46145 = -339*y. Is y a multiple of 10?
False
Let o be 8/(-5)*5/(-2). Let t be 9/(-36)*o*-1. Suppose 4*c - 74 = -2*n, 0 = 3*n - 2*n + t. Does 19 divide c?
True
Let t(w) = -91*w + 3 + 70*w - 37. Let o be t(-9). Let m = -44 + o. Does 37 divide m?
True
Let j = 97 + -98. Let i be j + 1/(0 - -1). Suppose -4*m + 273 + 47 = i. Is 20 a factor of m?
True
Suppose -11*i + 9*i + 7138 = 0. Is i a multiple of 83?
True
Let b(p) = 7*p + 27. Let l(f) = 20*f + 80. Let z(g) = 8*b(g) - 3*l(g). Let o = -82 + 73. Does 6 divide z(o)?
True
Suppose 0 = y - 4*x - x + 629, 1234 = -2*y + 4*x. Let k = -350 - y. Is 46 a factor of k?
False
Is 15 a factor of ((-8822)/77)/(1*(-10)/805)?
False
Let x = 43 + -40. Suppose 0 = x*s - 15, -b + 103 + 9 = -s. Is 13 a factor of b?
True
Suppose -4*s + 5*p + 1076 = -14741, 4*s - 15812 = 4*p. Is 14 a factor of s?
True
Suppose 52*d = -4*d + 70840. Does 9 divide d?
False
Let o(k) = 7*k + 19. Let a(r) = 2*r + 5. Let i(n) = -9*a(n) + 2*o(n). Let t be i(-4). Suppose t*x = 7*x + 46. Is x a multiple of 2?
False
Let j(d) = d**3 + d**3 + 6*d + 15*d**2 - 2 + 0*d**3. Let l be j(-7). Let q(b) = -b**3 + 4*b**2 + 8*b - 4. Is 6 a factor of q(l)?
False
Suppose 15*x + 3*q = 16*x - 11, 2*x + 18 = -4*q. Let a(o) = -782*o + 23. Does 35 divide a(x)?
True
Let w = -10 - -7. Let h be w/(-6)*(-6)/(-1). Let r(d) = d**2 - 4*d + 15. Is 12 a factor of r(h)?
True
Suppose -3*l - 16*j + 19*j = -3048, 0 = 2*l + 4*j - 2050. Let w = -757 + l. Is 16 a factor of w?
False
Let r = -86 + 91. Suppose -r*y - 347 = t, y + t = 16 - 83. Let k = 122 - y. Does 12 divide k?
True
Suppose -w + 4*p + 4 - 3 = 0, 2 = 2*p. Suppose 223 = 4*l - w*d - 63, d = -4*l + 298. Is 18 a factor of l?
False
Let k(y) = 7*y + 9 - 13909*y**2 + 13911*y**2 + 10*y. Is 52 a factor of k(-23)?
True
Let s(x) = -x**2 - 12*x + 12. Let k be (22/(-8))/((-6)/96*-4). Let l be s(k). Suppose 5*m + l = 3*p - 335, 2*m + 496 = 4*p. Does 15 divide p?
False
Let h(j) = -96*j + 1164. Does 35 divide h(-76)?
False
Let j(f) = -2*f + 17. Let c be j(4). Suppose -c*u + 32 - 5 = 0. Suppose 91 = -u*g + 10*g. Is 12 a factor of g?
False
Let y = 34472 + -17722. Does 75 divide y?
False
Suppose -448818 = 4407*j - 4438*j. Is 38 a factor of j?
True
Let f = 9229 - 7616. Is f a multiple of 14?
False
Suppose -308*s = -255*s - 1443879. Does 9 divide s?
True
Is 12 a factor of (-5 + 1)/20 + (-32960)/(-50) + -7?
False
Let b be 10/(-4)*(-9)/((-135)/(-12)). Suppose -5*z + 50 = 5*l - 0*l, 3*z - 21 = -b*l. Is 3 a factor of l?
True
Suppose 10*u - 162 = -8*u. Let o be -20*u/6*-3. Is (-302)/(-6) + (-30)/o a multiple of 25?
True
Let j(l) = -l + 72 - 60 - l**3 - 40 - 5*l + 12*l**2. Suppose -12*u - 11 = -13*u. Is 4 a factor of j(u)?
False
Let t be (-4 + -289 + 2/1)*-21. Is 13 a factor of (-4)/26 + t/91?
False
Let h = 21282 - 8963. Is h a multiple of 97?
True
Suppose 5*w - w - 5*a = 20, w + a - 5 = 0. Suppose -3*u - 2*k + 707 - 195 = 0, w*u - 850 = -4*k. Let x = 6 + u. Is 12 a factor of x?
True
Let o = -850 - -479. Let n = o + 1186. Does 28 divide n?
False
Does 44 divide -5 - -18 - 26 - -2389?
True
Suppose -43*c = -692351 + 184349. Is 78 a factor of c?
False
Suppose -5*h + 10 = -y + 9, 4*h = 5*y - 16. Suppose -4*u + y = u + 3*d, 5*u - 8 = -d. Is u a multiple of 2?
True
Suppose 225*x = 27*x - 81*x + 872154. Does 53 divide x?
False
Let c = 13491 - 12079. Does 15 divide c?
False
Suppose 3*n = 5*n + 172. Suppose 6*s = -31 + 1315. Let h = s + n. Is h a multiple of 8?
True
Suppose 101 = 17*l - 16*l. Let i = 197 - l. Is i a multiple of 8?
True
Let r = -64 - -69. Suppose t = -r*t - 54. Is (4 + 264/t)*-3 a multiple of 13?
False
Let r = -442 + 445. Suppose -4*o + 3364 = -n, -4*n + 48 = r*o - 2475. Is 14 a factor of o?
False
Suppose -38837 = -32*q - 22*q - 335. Is q a multiple of 88?
False
Let a be (-4)/(-10) + 28/(-70). Suppose a*h - 3*h + 34 = y, 0 = 3*y - 5*h - 144. Suppose 3*z - 35 = y. Is 2 a factor of z?
True
Let z = 93 + -60. Let v be -2 - 11/(z/(-30)). Is 10 a factor of v/(-3)*(1 + -28)?
False
Let i(m) = -28*m + 17. Suppose 2*c - 14 = -38. Let n be i(c). Suppose 2*l - 5*k = n, 5*l = 9*l - 3*k - 741. Is 9 a factor of l?
True
Let k = 90 + -90. Suppose 2*o = -2*o + 5*j + 458, o + 4*j - 125 = k. Does 16 divide o?
False
Suppose 5*h + 4*p = 5*p + 141, p = -3*h + 83. Let u = -43 + 141. Suppose -u = -3*w + h. Does 42 divide w?
True
Suppose -9 - 15 = 12*i, 3*i + 18381 = 5*z. Is z a multiple of 15?
True
Let l(n) = -7 - 5*n + 4*n**2 + 55*n**2 + 1. Let r(o) = -65*o + 1883. Let y be r(29). Is 48 a factor of l(y)?
True
Let l = 365 - 353. Suppose -l*x + 220 = -392. Is 2 a factor of x?
False
Suppose 5*q + 2*y - 1475 = 0, -9*y + 6*y = -15. Let a = q + -103. Does 10 divide a?
True
Let n = 86 - 74. Let g be ((-144)/(-54))/(1/n). Let d = -21 + g. Is d a multiple of 2?
False
Let y = 5367 - 2847. Suppose -4*l - 17*l = -y. Is l a multiple of 6?
True
Let h = -15301 - -18762. Is h a multiple of 6?
False
Let i be 2*(168/(-10))/(3/15). Let r = i + 262. Is 17 a factor of r?
False
Suppose -4*c + 342 = -106. Let k = c - 102. Suppose -k*l + 12*l = 146. Is 18 a factor of l?
False
Suppose 673 = 9*n - 1505. Suppose -209 = -5*m - 3*v + 47, -n = -5*m + 4*v. Let t = -25 + m. Is t a multiple of 7?
False
Is (20136 + -439)/(-1 - -2) a multiple of 108?
False
Is 52 a factor of 5 - (-6 - -20) - (-3 + -22210)?
True
Is (5/80*24)/(2/15952) a multiple of 12?
True
Let m = -256 + 478. Does 13 divide ((-24)/(-36))/(2/m)?
False
Suppose -8 = s + 4*w, -3*s - 2*s = -3*w - 6. Suppose -l - 4 + 8 = s. Suppose 0 = l*o - 77 - 63. Does 3 divide o?
False
Let v(w) = 2*w**3 + 9*w**2 + 23*w + 63. Let i(l) = 3*l**3 + 19*l**2 + 45*l + 124. Let n(q) = 3*i(q) - 5*v(q). Does 28 divide n(13)?
False
Let g(c) = c**2 + 43*c + 192. Let r be g(-5). Suppose 5*w - 1154 = -r*p, 5*w = 5*p + 951 + 189. Is w a multiple of 23?
True
Let s be (-18183)/(-3) - (4 - 7). Does 38 divide 1/(-2)*(-2 - s/4)?
False
Suppose 29*m = -8*m + 2627. Suppose 6*t - 713 = -m. Is t a multiple of 25?
False
Let j = -231 + 155. Let c = -4 + j. Let q = -33 - c. Is 7 a factor of q?
False
Let w(n) = 25 - 12*n - 3 + 2*n. Suppose -4*b + 4*c = 24, 0 = -2*b + 2*c + 2*c - 14. Is w(b) a multiple of 9?
True
Suppose 0 = 171*m - 1936989 - 1442142. Is 27 a factor of m?
False
Let u be ((-156)/18 - -6)/((-4)/246). Suppose 161*g = u*g - 810. Is g a multiple of 10?
True
Is (-27)/6*(-132)/(-297) + (-1 - -26103) a multiple of 15?
True
Let t = 2657 + -1925. Is t a multiple of 12?
True
Suppose -4*a + 4*o + 6307 = -a, 8392 = 4*a - o. Is 29 a factor of a?
False
Let t(z) = 2*z**3 - 28*z**2 - 3*z - 433. Is 16 a factor of t(25)?
False
Suppose -40 = -539*t + 547*t. Is 54 a factor of -2*2/t*(237 + 33)?
True
Let r(x) = x**2 - x - 1. Let y(d) = 5*d**2 - 12*d + 51. Let t(j) = 2*r(j) + y(j). Let q be 4/(-8)*(4 + 66)/(-7). Is t(q) a multiple of 10?
False
Let f = 809 + -806. Let q(b) = 10*b**3 - 2*b**2 - 2*b - 6. Is 39 a factor of q(f)?
False
Let v(a) = 28*a**2 + 118*a + 8. Let x(b) = 31*b**2 + 117*b + 9. Let t(j) = -3*v(j) + 2*x(j). Is t(-4) a multiple of 12?
False
Suppose -5*a = -18*a - 14*a. Suppose a = 12*g - 14*g + 6, 3*f + 4*g = 3387. Is f a multiple of 75?
True
Is 3 a factor of 746 + (8 - -6) - 10?
True
Let m = 7957 + -3338. Does 17 divide m?
False
Let u(j) = j**3 - 11*j**2 - 5. Let n be u(11). Is (-1 - n) + 1047*(-1)/(-3) a multiple of 23?
False
Suppose 0 = -3*n - a + 13, 4*n + 7 - 19 = -4*a. Suppose y = -n, 2*q = 5*q + 4*y - 841. Does 35 divide q?
False
Let o be (-23)/((-23)/6) - 495. Let j = 649 + o. Is 51 a factor of j?
False
Suppose 2*r + 13 = 7*r - 2*f, -f = -2*r + 5. Let h be 20 + 4/(-6)*r. Does 15 divide 