23/9 + -3). Suppose -t*k + 474 = -4134. Is 36 a factor of k?
True
Suppose 5*r - 30 = 2*q, -3*q + 8 - 3 = 5*r. Let s(i) = -i**3 + 15*i**2 - 21*i + 234. Let l be s(14). Suppose -4*n = 0, l = r*j - 2*j + 3*n. Is 14 a factor of j?
False
Suppose f + 8 = 3*f. Suppose -2238 = -2*u + 8*l - f*l, 3*u + 2*l - 3341 = 0. Is u a multiple of 19?
False
Is 8 a factor of (-2721986)/(-434) - (-8)/7?
False
Let d(w) = w + 7. Let j be d(-2). Suppose 15 = -4*c + 3*u, 2*c + j = -c + u. Suppose -3*s + 3*p + 189 = c, -2*p = -4*s + 208 + 34. Is s a multiple of 29?
True
Let m(y) = -8*y. Suppose 5*k - 2*k + 9 = 0. Is m(k) a multiple of 4?
True
Let t = -11383 + 59669. Does 14 divide t?
True
Suppose 83207 = 33*y + 2984. Is y a multiple of 19?
False
Let f be (-12)/28*-7*442/3. Let m = 186 + f. Is m a multiple of 10?
False
Let u be (-249372)/(-81)*((-21)/(-6) - -1). Is 4/14 + u/21 a multiple of 44?
True
Let o = -42 - -44. Suppose 0 = 3*r - 5*r + o*h + 596, 2*h - 4 = 0. Is 20 a factor of r?
True
Let m = -29 - 95. Let z be (m/5)/((-2)/60). Suppose -z = 2*a - 8*a. Does 31 divide a?
True
Let u(i) be the second derivative of i**3/6 + 4*i**2 + 8*i. Let q be u(4). Suppose -q = -2*s + 176. Does 11 divide s?
False
Let v(j) = 35*j**2 + j + 5. Let b be v(0). Let a(o) be the first derivative of o**4/2 - 4*o**3/3 + 5*o**2 - 1. Is a(b) a multiple of 50?
True
Let i = -19284 + 34278. Does 49 divide i?
True
Let i(f) = 609 + 31*f - 106*f - 616. Is i(-1) a multiple of 8?
False
Let k(u) be the first derivative of u**3/3 - 17*u**2/2 - 21*u + 25. Let a be k(20). Suppose -2*q + w = -434, -4*w + a = 3*q - 601. Does 27 divide q?
True
Let s be (-14 + 14)/(-1*1). Suppose -p - u + s*u = 9, 4*p - u = -26. Let y(f) = -4*f - 11. Is y(p) even?
False
Suppose 0 = 2*m + 3*n - 65 - 46, -12 = 4*n. Let z = m - -36. Does 8 divide z?
True
Let o(q) = 7 - 7 - 37*q + 19 + 23. Is o(-2) a multiple of 6?
False
Let g = -183 + 188. Suppose -6*b + 196 = g*l - 2*b, 4*b = -2*l + 88. Does 6 divide l?
True
Let z = 37095 - 23247. Does 4 divide z?
True
Let s(i) = -3*i**3 - 86*i**2 + 26*i + 20. Is 13 a factor of s(-29)?
False
Suppose 0 = 5*t - 16 + 1. Suppose 10 = t*y - 8. Let v = 68 - y. Is 17 a factor of v?
False
Let j(a) = -68*a + 71. Let u be (-2)/9*6*(-3)/(-2). Is j(u) a multiple of 9?
True
Let u(l) = -45*l**3 - l**2 + l. Let g be u(1). Let c be -3 - (-187)/55 - (-548)/(-20). Let m = c - g. Is m a multiple of 9?
True
Let m(b) = 2*b**2 + 13*b + 2. Let x be m(-8). Suppose -l - x = -0. Let h = l - -82. Is 14 a factor of h?
True
Suppose -5*i - 352 = -16*i. Suppose k - 804 + i = -2*n, 3*k - 2*n = 2300. Is k a multiple of 16?
True
Suppose 3015 + 2223 = -9*y. Is 13 a factor of (y/(-4))/((-5)/(-30))?
False
Suppose 4*d + 4*r = -24, r = -0*d + 3*d + 10. Let u be (-27864)/(-153) + d/34. Suppose 5*v = 18 + u. Is 10 a factor of v?
True
Suppose 42536 + 140664 = 50*r. Does 5 divide r?
False
Let m be ((-12)/8)/1 + (-765)/(-6). Suppose -18*n = -1764 - m. Does 15 divide n?
True
Let t = 14955 + -5385. Does 55 divide t?
True
Suppose -4115173 = -482*c + 10278311. Is c a multiple of 63?
True
Suppose 83*g - 970584 = -65*g. Is 96 a factor of g?
False
Let g = -18 + 20. Suppose g*p - 2*p = -p. Suppose 0*y = -y + 2*n + 149, 5*y - 2*n - 753 = p. Is y a multiple of 15?
False
Does 31 divide ((-2)/(-6) + (-44582)/(-30))*(39 - 29)?
False
Suppose -3*z = 5*w - 9650, 2*z + 162 - 2099 = -w. Is 19 a factor of w?
False
Let i be (-50 + 27)/(-2 - -3). Let p(b) = -2*b**2 - 52*b - 46. Is p(i) a multiple of 8?
False
Let x(h) = 1180*h + 3866. Is 7 a factor of x(0)?
False
Let v(m) = 2*m**2 + 12*m + 2. Let q be v(-6). Suppose q*w + 2*j = 392, -5*w + 4*j + 1220 = 222. Does 11 divide w?
True
Let z(r) = 23*r**2 + 9*r - 15. Let j be z(2). Suppose j = 2*l + 3*h, 4*l - l - 2*h - 123 = 0. Is l a multiple of 3?
False
Let u = -6041 - -21461. Does 15 divide u?
True
Let l(p) = -p**2 - 11*p - 6. Let k be l(-10). Suppose -2*r + 114 = u + 2*u, k*u = -4*r + 224. Does 51 divide r?
False
Does 15 divide (1350/105)/(3/357)?
True
Suppose 81*k - 85*k = 20. Let l(i) = -2*i - 3. Is l(k) a multiple of 4?
False
Let c(i) = 28*i - 227. Is 5 a factor of c(25)?
False
Suppose 40 = 287*u - 285*u. Is 5 a factor of 108 + u/(-5) + (6 - 4)?
False
Let z(c) be the first derivative of -c**4/4 - 10*c**3/3 + 19*c**2/2 + 146*c - 84. Is 25 a factor of z(-13)?
False
Suppose 672 = 13*t - 1720. Is t a multiple of 56?
False
Let n(d) be the second derivative of 7/4*d**4 + 0 - 3/2*d**2 - 2/3*d**3 + 9*d. Is n(-2) a multiple of 14?
False
Suppose 15*s = 25*s - 8400. Suppose 3*o - s = 1719. Is 35 a factor of o?
False
Let r(w) = 103*w - 288. Let j = -722 + 736. Does 8 divide r(j)?
False
Suppose -11161 = -3*a - 4*r + 524, 3*r = a - 3908. Is a a multiple of 2?
False
Let l = -259 + 277. Let w = l + 72. Does 18 divide w?
True
Let n be ((-60)/(-2))/((-10)/(-5)). Let t be ((-12)/10)/((-6)/n). Suppose t*h = 4*p - 3*p + 211, 0 = -h - 5*p + 97. Does 9 divide h?
True
Let r(q) = -11*q**3 + q**2 + 4*q + 3. Suppose 0 = -b + 6*b - 2*x - 63, 28 = 4*b + 4*x. Suppose -b = 4*c + 3*n, -c + n + 1 = 2. Is r(c) a multiple of 12?
False
Let t be 1 - (2 - 2)/3. Let i be -3*t/1 + (-28)/(-7). Let k(h) = 6*h**2 - 4*h + 5. Does 7 divide k(i)?
True
Suppose 5*p = 3*a - 863, -2*a + 2*p + 400 = -182. Suppose -a = 4*o + 232. Is (2 + -3)/(1/o) - 3 a multiple of 17?
False
Let o be 68/11 + (-2)/44*4. Does 19 divide ((-304)/o)/(-7*6/63)?
True
Suppose 2*t - 3*s + 72 = 6*t, 0 = 4*t - 2*s - 92. Suppose p = -5*n + 30, -11 - t = -n + 5*p. Is n a multiple of 7?
True
Let i = -1348 + 6118. Is 9 a factor of i?
True
Let v(c) = 499*c - 141. Let f be v(10). Suppose 93*l + f = 106*l. Does 16 divide l?
False
Let x(q) = -4483*q - 3172. Does 65 divide x(-5)?
False
Let o(r) = r**3 - 17*r**2 + 7*r + 13. Let t be o(17). Let h = 258 - t. Is 4 a factor of h?
False
Suppose 32 = -2*v + m + 4*m, 2*v - m + 16 = 0. Does 50 divide 851 + -2 + (-1 - 12/v)?
True
Let u = 2551 - -11554. Is u a multiple of 13?
True
Suppose -195*b = -70*b - 36569 - 18556. Is b a multiple of 7?
True
Let m(y) = y - 9. Let c(a) = a**3 - 3*a**2 - 14*a + 15. Let l be c(5). Let q(o) = -o + 13. Let w(h) = l*q(h) - 8*m(h). Is 5 a factor of w(-6)?
True
Let j(m) = -m**3 + 49*m**2 - 51*m + 140. Let d be j(48). Let v(i) = 42*i - 10. Let n(w) = 1. Let y(f) = -2*n(f) - v(f). Is y(d) a multiple of 31?
False
Suppose -2*b + 1 + 3 = 0. Suppose 16 = -b*s - 0*s. Is 24 a factor of (-4)/16 + -266*1/s?
False
Let m = -130 + 164. Suppose 2*v - 2*j = m, 4*v + 0*j - 98 = -2*j. Is 11 a factor of v?
True
Let r = 738 - -8430. Is r a multiple of 48?
True
Let c(r) = 11*r + 47. Let l be c(16). Let j = -8 + l. Is 43 a factor of j?
True
Let g be (-2)/((-12)/(-10))*-12. Suppose -66613 + 5593 = -60*h. Suppose -g*w + h = -1503. Does 42 divide w?
True
Let i = -48 - -52. Suppose z + i*u + 115 = 0, 2*z - 2*u = -0*z - 220. Let o = z - -206. Does 9 divide o?
False
Suppose 63*u = -67*u + 629850. Is u a multiple of 15?
True
Let g = -20 + 20. Suppose -13 = 8*r - 5. Is 9 a factor of (9 - -16)/(g - r)?
False
Let b = 860 - -844. Does 3 divide b?
True
Let w = 4 + 10. Let i be (8/w)/((-14)/(-98)). Suppose -4*f - 3*u - 51 = -5*f, 0 = i*u + 4. Does 6 divide f?
True
Let s(n) be the third derivative of -47*n**5/120 - 3*n**4/8 - 4*n**3/3 - 15*n**2. Let t(k) be the first derivative of s(k). Is t(-3) a multiple of 33?
True
Let g = 155 - 258. Let j = 81 + g. Does 48 divide j/99 + (-5188)/(-18)?
True
Let c = 109 + -101. Suppose 2*z - n = 37, -c*z + 3*z + 91 = -n. Is (1488/72)/(2*1/z) a multiple of 31?
True
Suppose -d = -2*g - 582 + 1830, 1246 = -d + g. Let v = d - -1794. Is v a multiple of 22?
True
Suppose -4*d = -4*r - 4, -11*d + 8*d - 21 = 0. Let n(k) = 24*k + 48. Let c(w) = -8*w - 16. Let f(j) = -8*c(j) - 3*n(j). Is 8 a factor of f(r)?
True
Let y(t) = 1330*t**2 + 20*t - 31. Is 169 a factor of y(3)?
True
Let o(n) = -318*n + 9. Is 57 a factor of o(-17)?
True
Let a be 2/(-1) - (1 + -4 + -4). Suppose 5*u - 18 = w, u = 4*u + a*w - 22. Let h = u + 1. Is h a multiple of 3?
False
Let g(n) = 2*n**2 - 41*n + 59. Let w be g(19). Is 9 a factor of (1350/(-525))/((w/98)/(-1))?
True
Let q be (0 - -2) + -6 + 29 + -6. Suppose 53 = r + 4*a, r - 30 = -2*a + q. Suppose -59 = -4*n + r. Is 4 a factor of n?
False
Suppose -7*g = 6*g. Suppose g = -6*b - b + 9*b. Suppose -6*z + 1113 - 1