036 = -151*a. Does 2 divide (-3)/y + a/(-42)?
False
Let a(y) = y + 25. Let v be a(-5). Is 37 a factor of ((-518)/(-3))/(v/30)?
True
Let m be -5*1/4*60/(-15). Suppose 0*i + 3*n = -m*i + 70, -4*i - n + 56 = 0. Is i a multiple of 3?
False
Suppose -62*f + 6030 = -47*f. Suppose 2*w = 3*u + 739, w = -u - 4*u + f. Is w a multiple of 15?
False
Let b be 3*1*10/6. Suppose -15 - 30 = -45*z. Is z - (-4 + b)*(-9 + 0) a multiple of 10?
True
Suppose -8 = 4*b - 20. Suppose 3*g + b*i - 4*i - 271 = 0, 5*g = -5*i + 445. Suppose -3*j - 3*q + 378 - g = 0, 4*q + 453 = 5*j. Is 14 a factor of j?
False
Let d be 320/(((-42)/(-7))/18). Suppose -4*x + 960 = -5*i, 4*x + 6*i - d = 8*i. Is 15 a factor of x?
True
Suppose 4*b + 10*f - 13*f = 12726, -4*b - f + 12750 = 0. Is b a multiple of 9?
True
Suppose -2*u + 29 = 5*g - 0*g, -2*g = -5*u. Suppose -g*m + 1716 = -o, -5*m - 3*o = o - 1711. Does 49 divide m?
True
Let t = 77 - 93. Let a(y) = 1399*y + 9. Let f be a(-6). Is 35 a factor of (-6)/t + f/(-104)?
False
Let r(u) = u**3 + 42*u**2 + 83*u + 8. Does 105 divide r(-32)?
False
Let w(y) = y**3 + y**2 - y + 1. Let o(d) = -5*d**3 - 14*d**2 - 16*d. Let v(q) = o(q) + 4*w(q). Is v(-9) a multiple of 3?
False
Suppose 21*o + 630000 = 47*o - 6*o. Is 140 a factor of o?
True
Is (1/1)/((-82399)/27472 - -3) a multiple of 101?
True
Let b(n) = -n**2 - 7*n - 15. Let m be b(-7). Is 18 a factor of 2 + (-4)/30 + (-3092)/m?
False
Suppose 27 - 23 = 2*i. Suppose 330 = i*l - 4*x - 0*x, l - 156 = 5*x. Is l a multiple of 9?
True
Let o(f) = -2*f**3 + 94*f**2 - 83*f - 52. Does 10 divide o(46)?
False
Suppose 2170 = 7*j + 3*j. Let k = 36 - 36. Suppose k = 2*v - j - 7. Does 8 divide v?
True
Let r = 7953 + -6295. Does 200 divide r?
False
Let f = 133498 + -94410. Does 56 divide f?
True
Let o be ((-277776)/56)/(-3) - 8/(-14). Suppose o = -15*i + 7069. Does 66 divide i?
False
Let g(f) = 359*f**2 - 20*f - 66. Does 30 divide g(-10)?
False
Let a(m) be the second derivative of -m**4/12 + m**3/6 + 15*m**2/2 - 12*m. Let h be a(-3). Suppose 3*c + s = 577, -2 = h*s - 5. Is 16 a factor of c?
True
Suppose -81600 - 128016 = -24*a. Does 22 divide a?
True
Let y = 15558 - 11258. Is 10 a factor of y?
True
Suppose r - 67*r - 47088 = -280860. Does 6 divide r?
False
Suppose 2*a - 8*r = 6240, 5*a - 11*r - 15688 = -13*r. Does 18 divide a?
False
Let x = -209 - -211. Suppose -4*q - o = -7*q + 3232, 5394 = 5*q + x*o. Is q a multiple of 49?
True
Let j(p) = 380 - 380 + 18*p. Is 18 a factor of j(1)?
True
Suppose 4*k - 55*g - 18295 = -52*g, 0 = -2*g + 6. Is k a multiple of 44?
True
Let r = -149 + 152. Is 33 a factor of ((-23)/r)/((-5)/45*1)?
False
Let h = 11156 - 5306. Is h a multiple of 10?
True
Suppose 30*b = 28*b. Suppose b = -3*c + 11 - 2. Suppose -c*d - 55 = -8*d. Is 11 a factor of d?
True
Let t(s) = s**2 - 13*s - 15. Let z be t(-4). Suppose -47*q + z*q - 288 = 0. Is q a multiple of 6?
True
Is (6/6)/(4/4804) a multiple of 7?
False
Let s(j) = 18*j - 66. Let k be s(3). Is (-8650)/k - 5/6 a multiple of 34?
False
Suppose -208 = -3*v - 145. Suppose 0 = 6*m - v*m + 6675. Is 12 a factor of m?
False
Let x be (-2)/5 + 912/(-120). Is 300/x*(154/(-21) + -2) a multiple of 14?
True
Suppose -26*i + 11*i + 7586 = 446. Does 14 divide i?
True
Does 25 divide (5/((-15)/(-2982)))/(2*(-2)/(-90))?
False
Let v = 342 + -339. Is 5 a factor of v/(-9) - (-228)/9?
True
Suppose -10*j = -5*j - 5. Let v be (-11)/(-11)*(-167 + j). Let x = v + 309. Is x a multiple of 20?
False
Let r = -1389 + 7679. Is 10 a factor of r?
True
Let q be 124/(-3) - (-3)/9. Let p = 102 - q. Suppose 2*m = 4*z - 572, 2*z + m + p = 3*z. Does 13 divide z?
True
Let y(u) = -u**3 - 10*u**2 - 9*u. Let k be y(-9). Let o(j) = j**2 + 8*j + 76. Let c be o(-10). Suppose k = -3*s + 78 + c. Is 12 a factor of s?
False
Let q(h) be the first derivative of 9*h**2/2 - 5*h - 10. Let l be q(1). Suppose l*j - 6*j = -78. Is 13 a factor of j?
True
Let h = -19921 - -31218. Is 79 a factor of h?
True
Let b(z) = 14*z**2 + 1014*z + 8172. Does 11 divide b(-8)?
False
Let k(g) = -2*g**2 - 45*g - 22. Let a be k(-22). Let w be (-25)/15*-3 + a. Is w/(25/(-26) - (-1 + 0)) a multiple of 13?
True
Let b(s) = s**3 - 36*s**2 + 45*s + 110. Let g be b(35). Let f = g + -372. Is f a multiple of 4?
True
Suppose -2*b + 3*k = -0*b - 17, 3*b = 5*k + 27. Let r be (b/10 + (-9)/10)*0. Suppose -2*i + 415 = 3*l, -i - i + 4 = r. Is 28 a factor of l?
False
Suppose 26*f = 152 - 13672. Is 13 a factor of (f/156)/(-1 + (-388)/(-390))?
True
Let w be (2 - 18368/(-36)) + (-10)/45. Let d = -382 + w. Is 13 a factor of d?
True
Let p(z) = 51*z**3 + 21*z**2 - 5*z + 7. Let h be p(3). Suppose 0 = 3*n - 2*n + 3*i - 515, -3*n + 4*i = -h. Is 7 a factor of n?
True
Suppose -11*j + 9*j = -102. Suppose -59*b + 192 = -j*b. Is 3 a factor of b?
True
Suppose -49875 - 370237 = -121*z. Is z a multiple of 16?
True
Suppose -1918 = -2*l + 2*o, -2*o + 950 = 13*l - 12*l. Is 4 a factor of l?
True
Let f(r) = 21*r + 51. Let j be f(9). Let c = j + -166. Does 12 divide c?
False
Let j(w) = 3*w**3 - 9*w**2 - 46*w + 22. Is 12 a factor of j(7)?
True
Let u(y) = 3*y**3 - 4*y + 2. Suppose 7*l = 8*l - 60. Suppose 4*s = l - 52. Is 3 a factor of u(s)?
True
Suppose -5*a = -2*w - 9*a + 9160, -w + 4*a + 4556 = 0. Let t = w + -3077. Is t a multiple of 23?
True
Suppose -10 - 32 = 16*i - 10. Let b(t) be the second derivative of -19*t**3/3 + 3*t**2/2 + t. Is b(i) a multiple of 27?
False
Suppose -9 = 5*v + 21. Let d be 165/22 - v/(-4). Suppose -7*a = -d*a - 142. Is 11 a factor of a?
False
Let s(b) = 2*b + 50. Let x(a) = 4*a + 100. Let y(g) = 5*s(g) - 2*x(g). Let p be y(0). Let v = 134 - p. Is 14 a factor of v?
True
Is 4 a factor of ((-1196)/(-2) - 0) + (-78)/13?
True
Suppose 4*w + 56 = -8. Let h = -46 - w. Let t = -18 - h. Is 3 a factor of t?
True
Let b(s) = -8*s + 34. Let n be b(21). Let r = 321 + n. Suppose 8*u = 437 + r. Does 9 divide u?
False
Let j = -89 - -92. Suppose d - 189 = j*t, 2*t + 2*t + 194 = d. Suppose 5*h = -5*n + d + 6, 5*n = -20. Is h a multiple of 9?
False
Let f(n) be the second derivative of 17*n**5/20 - n**4/4 + n**3/3 - n**2/2 - n. Let a(m) = m**2 - 25*m - 24. Let u be a(-1). Is f(u) a multiple of 27?
False
Let j = 178 - 173. Suppose -f = 3*f - 4*g - 1900, -j*f + 2390 = -2*g. Is f a multiple of 24?
True
Suppose -j + 136 = -20. Let y = -105 + 109. Suppose q - a - 72 = y*a, 2*q - 4*a = j. Does 18 divide q?
False
Let d(a) = 6*a**2 + a - 1. Let m be d(-2). Suppose 13*u = m*u - 192. Does 24 divide u?
True
Let l be (267/(-15) - 2)/(3/(-10)). Let j be (-12)/l - 40/22. Is 7 a factor of (14/6)/(j/(-60))?
True
Let z = -5560 - -11796. Does 138 divide z?
False
Let j = 5878 - -9162. Does 235 divide j?
True
Let l(r) = -r + 7. Let h be l(6). Let s be 0 + -1 - (h + -13) - 1. Is 28 a factor of ((-156)/s - 0)/((-9)/30)?
False
Let m(v) = -2*v**2 - 5*v + 16. Let d be m(10). Let i = 484 + d. Does 25 divide i?
True
Suppose -17 = -2*y - 3*d, 0 = 2*y - 0*d - 4*d - 52. Let k be (2 - -3)/10*y. Suppose 4*z + k = 0, -4*z - 30 = -p - 11. Is p a multiple of 2?
False
Suppose 0 = -4*f + 2*f - 2*a, f - 5*a - 30 = 0. Suppose 0 = -c + 42 + f. Let q = 52 - c. Is 5 a factor of q?
True
Suppose -5*z = -x - 219 - 2619, 3*x + 562 = z. Is z a multiple of 8?
True
Suppose -3*a + 9 + 14 = l, a - 3 = -5*l. Is (4*(-2252)/a)/((-2)/3) a multiple of 20?
False
Let i be (-9 + 5)*(-3)/6. Suppose -4*p + 2*a + 32 = -i*p, -4*p = 5*a - 37. Suppose 8*r - 115 - p = 0. Is 5 a factor of r?
False
Suppose -2*x + 4*z = 7*z - 74568, -37275 = -x - 3*z. Does 31 divide x?
True
Suppose -369*k = -365*k - 5*t - 114227, -2*k + 57131 = -5*t. Does 78 divide k?
True
Suppose 2*z + 167 - 175 = 0. Suppose 0 = w - 3*g - 18, -w - z*w + g = -160. Does 11 divide w?
True
Suppose 27*s + 23355 = 72*s. Is s a multiple of 14?
False
Suppose -7 - 65 = 12*o. Let q(j) = 11*j**2 + 7*j + 49. Is q(o) a multiple of 59?
False
Let l = 1 - -1224. Is 35 a factor of l?
True
Let c(x) = -2*x**2 + 8*x - 11. Let b be c(7). Let t = b - -89. Does 6 divide t?
True
Suppose 0 = 2*r + 2*x - 862, -2*x + 430 = -3*r + 4*r. Is 3 a factor of r?
True
Let b = 368 + 238. Let k = b + -396. Suppose 0 = -c + 6*c - k. Is 21 a factor of c?
True
Suppose 12470 = -17*m + 72327. Is 51 a factor of m?
False
Let k = 93344 + -46745. Does 317 divide k?
True
Let p(o) = -217*o + 6230. Let c(w) = -7*w + 20