 of u?
True
Suppose 0 = 3*g - 0*g - 5*v + 75, 0 = 4*g + v + 77. Is 81 a factor of (-2)/(-2) - 4600/g?
False
Suppose -1657*w + 1659*w = -k + 19551, 0 = 2*k + 3*w - 39109. Is k a multiple of 35?
True
Let p = 11885 + -2017. Does 4 divide p?
True
Is (-351)/(-18) + -18 - (-2626)/4 a multiple of 42?
False
Let z(o) = 3*o**3 - 83*o**2 + 39*o - 75. Let p be z(34). Does 24 divide (12/9)/(p/(-3870) + 6)?
True
Let n be (-22 - -1)/(3/(-5)). Does 50 divide -10*(-1 + 10)*n/(-7)?
True
Suppose 0 = 4*q - 4, 178 = y - 2*y + q. Let p = 3 - y. Does 20 divide p?
True
Suppose 372*g + 2*d + 16208 = 376*g, 4049 = g + d. Does 11 divide g?
False
Let g = 12882 + -4250. Does 58 divide g?
False
Suppose -18*i + 5*i - 19*i + 1015808 = 0. Does 256 divide i?
True
Suppose -4*l + 4*o + 2823 = -69825, o = 2*l - 36316. Is l a multiple of 24?
False
Suppose 30*a = 98*a - 172980 - 73996. Is a even?
True
Let k(s) = 159*s - 40. Is 46 a factor of k(3)?
False
Let v(c) = 74*c + 6871. Does 32 divide v(-85)?
False
Does 75 divide 172*(-6 + (-117)/(-18))*367?
False
Suppose -28*c + 532646 = -18382 - 274076. Does 212 divide c?
True
Let y be (-1)/(5/30*-3). Suppose 3*n - 126 = -y*t - 0*n, 5*t = -n + 302. Suppose 5*p - t = p. Does 6 divide p?
False
Suppose 0 = 197*i - 331374 - 2686666. Does 15 divide i?
False
Let x(a) = 845*a**2 + 51*a + 195. Is 11 a factor of x(-4)?
False
Let l be (-3)/(-15) - 216/(-45). Let i be 0 + 3/(3/5). Suppose -l*x + 3*u = -186, 176 = i*x + 3*u - u. Is x a multiple of 9?
True
Let s be 3/5 + -6 + (-2358)/30. Let x = s + 132. Suppose -x*k + 53*k = 1345. Is k a multiple of 31?
False
Suppose -1244 = 11*q + 296. Let x = -5 - q. Is 27 a factor of x?
True
Suppose 87710 = -52*o + 54*o - 4*h, 0 = -o - 4*h + 43831. Is 69 a factor of o?
False
Let u = 40 - 38. Let c(s) = 0*s - 5*s**2 - 351 + 356 - u*s + 17*s**2. Is 13 a factor of c(3)?
False
Suppose 603 = 5*l + 3*g, 0 = 2*l - 4*g - 121 - 141. Let d = -117 + l. Suppose d*b - 2*b - 572 = 0. Is 11 a factor of b?
True
Let h(d) = -3*d - 1. Let p(y) = -2*y. Let n(v) = -3*h(v) + 5*p(v). Let j be n(4). Is 520/12 + 4 + j/3 a multiple of 12?
False
Let p(b) = -6*b - 26. Let a be p(-5). Suppose -2 = a*u - 42. Let y(k) = 2*k**2 + 5*k - 32. Is 13 a factor of y(u)?
False
Let z(g) = 288*g - 665. Is 62 a factor of z(27)?
False
Let p = 13244 + -1205. Is p a multiple of 102?
False
Let c(z) = 12*z**2 + 10*z - 2. Let j(s) = s**3 + 2*s**2 + 4. Let f be j(0). Let w be 3/(3/f*2). Is 14 a factor of c(w)?
False
Let j = -22 - -128. Suppose j*p + 2304 = 118*p. Is 64 a factor of p?
True
Let l be 1/(-12)*-6*66. Is 35 a factor of (-6)/l + (-27296)/(-88)?
False
Let h(s) = 1 + 7*s - 6 + 4 - 2*s**2 + 8. Let p be h(4). Suppose 0 = -3*f - p*j + 90, j - 165 = -5*f - j. Is 12 a factor of f?
False
Suppose -q - 32703 + 91295 = 15*q. Is q a multiple of 8?
False
Is (2261/204 - (5 - -6)) + 40859/12 a multiple of 5?
True
Let u be 1*-15*(-18)/15. Suppose -u*a = -20*a + 86. Does 43 divide a?
True
Let x = -66 - -70. Suppose -4*t = 2*n - 328, -5*n + 0*n + x*t = -890. Does 51 divide n?
False
Let d = 2959 - 2853. Is d a multiple of 53?
True
Let t(m) be the first derivative of -m**4/12 + m**3 + 5*m**2 - 2*m + 10. Let h(q) be the first derivative of t(q). Does 6 divide h(6)?
False
Suppose 125046 = 54*v - 50*v + 2*r, 5*v = -5*r + 156295. Is v a multiple of 91?
False
Let a(w) be the third derivative of w**6/120 - w**5/15 + 7*w**4/24 - 2*w**3 + 53*w**2. Does 3 divide a(5)?
True
Let y = -61 - -54. Let h(j) = j**3 + 7*j**2 - 9*j - 8. Let p be h(y). Is (842/10 - 11/p)/1 a multiple of 14?
True
Suppose 2*l + 27 - 162 = -3*j, -4*l - 2*j + 290 = 0. Is 13 a factor of -962*(30/l + (-21)/15)?
True
Suppose 48*m - 22172 = -3*t + 49*m, -4*t + 4*m + 29576 = 0. Is t a multiple of 9?
True
Suppose -5*p - 10 = 0, 3*p = 10*s - 12*s + 2958. Is s a multiple of 26?
True
Let c(d) = -d**3 + 63*d**2 - 67*d + 400. Is c(62) a multiple of 9?
True
Let q be (-129)/(-5) + ((-22)/(-10) - 2). Suppose 2*z = 15*z - q. Does 12 divide z/2 - ((-1136)/4)/4?
True
Suppose -2*l = -2*r + 176, 91 = -l - r + 1. Let o = 140 - l. Is o a multiple of 11?
False
Let b = -103 + 115. Let d(p) = -p**3 + 14*p**2 + 13*p - 28. Let o be d(b). Suppose 0 = 6*a + 2*a - o. Is 8 a factor of a?
False
Suppose -121*r + 922240 = 83*r - 124*r. Does 88 divide r?
True
Let t be ((0 - 0) + 15)*(-30)/(-90). Suppose 2435 = t*a - 3*x, -2*x + 974 = 4*a - 2*a. Is 86 a factor of a?
False
Suppose -3*u - 21*c = -18*c - 75060, 2*c = 14. Is 23 a factor of u?
False
Let o(u) = -u**3 - 30*u**2 + 15*u - 170. Is o(-35) a multiple of 10?
True
Let v(p) = -p**3 + 17*p**2 - 6*p - 17. Let u(a) = -4*a + 26. Let c be u(3). Is 13 a factor of v(c)?
False
Let q(p) = p**3 + 4*p**2 - 3*p - 10. Let s be q(-4). Suppose 0*k + 4*x = s*k, 5*k - x = 9. Is 5 a factor of (-2)/(-3) + (-124)/(-24)*k?
False
Let p(m) = -1. Let s(z) be the third derivative of -7*z**4/8 + 8*z**3 - 14*z**2. Let w(b) = 5*p(b) - s(b). Is 13 a factor of w(13)?
False
Let l(q) = -q**3 + 2*q**2 + 13. Let g be l(0). Suppose -g*w = w. Let p(j) = j**3 + j**2 + 4*j + 86. Is p(w) a multiple of 22?
False
Let u be 155685/(-388) - (-3)/(-4). Let z = u + 2022. Is z a multiple of 32?
False
Let z(l) = -l**2 + 17*l - 2. Let u be z(10). Let p = 112 - u. Suppose -t - 21 + p = 0. Does 10 divide t?
False
Suppose -4*y = l - 36 - 240, -3*l + 5*y + 947 = 0. Is 13 a factor of l?
False
Suppose -117*b + 5*b = -1049683 - 97533. Does 11 divide b?
False
Let x(d) = -206*d - 14453. Is x(-170) a multiple of 16?
False
Suppose -4*f - 2*n + 15 = n, 10 = 2*f + 2*n. Suppose f = w + 4*y - 3*y - 55, 5*w - 5*y = 325. Does 10 divide w?
True
Let v(s) = -5*s - 34. Let n be v(-6). Let b(h) = 1 - 4*h**3 + 5*h**2 + 2*h + 0*h**2 + 3*h**3. Is 37 a factor of b(n)?
False
Suppose -11*b + 7*b = -24. Let w = -3 + b. Is 7 a factor of ((-21)/w)/((-7)/35)?
True
Let i = 121 + -119. Suppose 0 = i*c + 7*c - 207. Does 2 divide c?
False
Let s(d) = 621*d + 65. Let a be s(14). Suppose -6*o - 13*o = -a. Is 60 a factor of o?
False
Let v(r) = -45*r**3 + 4*r**2 + 5*r - 24. Does 44 divide v(-5)?
True
Suppose -32646 = -4*o + 2*s, -10*o + 4*s - 39326 = -120934. Does 21 divide o?
False
Suppose 185*r = 166*r + 703. Is 7 a factor of r - (18/(-3) + (-1)/(-1))?
True
Let q(u) = 2*u**3 - 22*u**2 - 4*u - 2. Is 58 a factor of q(16)?
True
Let i be 4*1 - (-26)/(10 - -3). Suppose -i*g = -5*g - 105. Is g a multiple of 21?
True
Let n be -3 - 20/(-12)*3. Suppose -3*d + 4*d = -n. Is (-2 + (-11)/d)/((-2)/(-60)) a multiple of 11?
False
Suppose -11669 = -2*a + 5*t, 10*a - 9*t = -11*t + 58318. Is 81 a factor of a?
True
Is 2/3 + 15 + 127391/33 even?
True
Let z(c) = -219*c + 209. Let b be z(1). Suppose -4*f - 5*l - 204 = 0, -6*l + l = 3*f + 148. Is ((1776/b)/3)/(f/140) a multiple of 16?
False
Let b be 336/7*162/4. Suppose 5*y - 53 = -2*s, 2*s - 3*y - 98 = y. Is 18 a factor of (-10)/(-65) + b/s?
False
Suppose -n = 4*h - 34928, -86*n - 2*h + 104854 = -83*n. Is n a multiple of 18?
True
Suppose 2*s - 2*n - 18 = 0, 0*n - 29 = -5*s + n. Suppose -5*z - 15 + 320 = s*k, -3*k = -z + 77. Is z a multiple of 6?
False
Suppose 4*m + 2*o - 14 = 0, -5 = -m + 3*o + 9. Suppose -p + 303 = 3*x, -x - 1709 = -m*p - 242. Is 42 a factor of p?
True
Let h = -530 - -539. Does 3 divide ((-18)/h)/(34/(-16) + 2)?
False
Is 2 a factor of 29/(116/4512) + (-2)/1?
True
Suppose 89*z = -5*h + 95*z + 305412, -2*h = 3*z - 122127. Does 351 divide h?
True
Let b = -36 - -36. Suppose b*n - 78 = n. Let q = 111 + n. Is q a multiple of 9?
False
Let b(q) = -q**3 + 8*q**2 + 25*q - 10. Let t be b(11). Let p = 145 + t. Is p a multiple of 32?
False
Let o(y) = y**3 - 25*y**2 + 25*y - 27. Let w be (-27)/(-1) + (-28 - -26). Is o(w) a multiple of 63?
False
Suppose -3 = -2*c + 9. Let p be 3/c*1*(3 - 3). Suppose p = 6*z + 101 - 713. Is z a multiple of 13?
False
Let y be (10 + -19)*2/(-3). Let p(b) = 77*b - 32. Let j(f) = -26*f + 11. Let t(k) = 11*j(k) + 4*p(k). Does 10 divide t(y)?
False
Suppose -z - 28 = -2*s + 204, 3*s = -4*z + 359. Suppose -y = 2*c + s, -3*c - 177 = 2*y + y. Let n = 76 + c. Does 5 divide n?
False
Let k be ((-23)/(-46))/(2/6356). Let y = 2872 - k. Is y a multiple of 14?
False
Let y = 6408 - 1377. Is y a multiple of 86?
False
Let i(x) = -3 - 4 + 2*x**3 + 0 - 7 + 4*x**2 - 16*x. Let b be i(-6). Let t = -110 - b. Is t a multiple of 24?
True
Let 