)/(70/(-68) + 1). Suppose 2*y - l = 5*d, -4*y - d + z = 3*d. Is 19 a factor of y?
True
Let k be 5/(-10)*(-452 + 0). Let d = k + -158. Let h = 193 - d. Does 9 divide h?
False
Let f(y) = -7*y + 31. Let x be ((-494)/(-95))/(2/5). Let j be f(x). Is 25 a factor of (j/9)/(14/(-189))?
False
Suppose 0*j + j = -4*b + 28, -100 = -3*j + 4*b. Let a(d) = -d**3 + 30*d**2 + 71*d - 14. Is 7 a factor of a(j)?
True
Suppose 8*c + 976971 = 14*c + 63*c. Is c a multiple of 49?
False
Suppose 12430 = 19*m - 31346. Is 48 a factor of m?
True
Let i(f) = 317*f - 2593. Does 39 divide i(37)?
False
Let x(l) = 10*l + 3610. Is 13 a factor of x(-10)?
True
Suppose -2*l = -5*x + 38 + 7, 0 = 2*l. Suppose a = -x*u + 13*u + 428, -2*a = -3*u - 881. Is 32 a factor of a?
True
Let s = -14 + 8. Let h(j) = -15*j + 1 + 8*j - 3 + 4 + 3. Does 9 divide h(s)?
False
Let o(u) = 21*u**2 - 11*u - 40. Is 30 a factor of o(14)?
False
Let r be 1420/120 - (0 + (-1)/6). Suppose -5*l + r = -4*u, -5*u + 2 + 12 = l. Is 2 a factor of l?
True
Let l(w) = -27*w - 13. Let b be l(4). Let n = b - -240. Is 17 a factor of n?
True
Suppose 7*l = -0*l + 1225. Let f = l - 156. Is 10 a factor of f?
False
Let c = 65 + -69. Let p(t) = -3*t - 8. Let a be p(c). Suppose -a*u + 54 = -170. Is 29 a factor of u?
False
Let y(h) = -h**2 - 6*h + 2. Suppose 26 - 6 = 4*g. Let c(l) = -3*l**2 - 13*l + 4. Let z(j) = g*y(j) - 2*c(j). Is z(7) a multiple of 15?
False
Is 36 a factor of (144*7/70)/(248/(-125) - -2)?
True
Suppose 4*x - 62 = 34. Suppose -4*y = x*y - 1680. Is y a multiple of 24?
False
Let s be ((-8)/20)/(1/(-5)). Let d(q) = 47*q - 6. Is d(s) a multiple of 11?
True
Suppose 71100 = -24*j + 99*j. Is 79 a factor of j?
True
Let a(o) = -o**3 - 44*o**2 - 56*o + 785. Is 15 a factor of a(-50)?
True
Let d(z) = 2*z + 10. Let n be d(9). Let l = 28 - n. Suppose 4*q + 3*i - 182 = l, -3*q + i + 47 = -83. Is q a multiple of 22?
True
Suppose 5*i + 1907 + 2351 = -3*s, -i + 4*s - 870 = 0. Let q = 1966 + i. Is 13 a factor of q?
False
Suppose -i - 6629 = -2*d, 2*d + 157*i - 154*i - 6609 = 0. Is 48 a factor of d?
True
Let b = 1016 - 230. Let y = -140 + b. Does 34 divide y?
True
Let r = 1143 - 311. Suppose m = 2*m - 5, 3*x - m - r = 0. Suppose 0 = -8*z + x + 361. Is 10 a factor of z?
True
Let t(a) = -562*a - 108. Is 6 a factor of t(-3)?
True
Let h = 36 - 32. Suppose -10*k + 16 = -h. Suppose 0 = k*x - 142 - 502. Does 34 divide x?
False
Let l(x) = x**3 - 39*x**2 + 38*x + 2. Let r be l(38). Suppose k = -2*a + 326, -r*k = 5*a - 7*k - 815. Is a a multiple of 15?
False
Is (-5 - 1029)/(((-4)/(-30))/(80/(-48))) a multiple of 28?
False
Let b be 1212/(-16) + (-2)/8 - -2. Does 22 divide (b + -3)/(6/(-24))?
True
Suppose m + 6*p - 9737 = 3*p, -4*m - p = -38915. Suppose 30*o - 14*o - m = 0. Is 68 a factor of o?
False
Let h(p) be the third derivative of 0 - 5/3*p**3 + 0*p + 31/24*p**4 + 13*p**2. Does 13 divide h(2)?
True
Let a(i) be the second derivative of -35*i**3/2 + 40*i**2 - 17*i. Is 10 a factor of a(-6)?
True
Let d be 219/4*16/(-6). Let o = d + 153. Is o a multiple of 2?
False
Suppose f + 3*a = 2538, 2*f - 29*a + 25*a = 5086. Is 52 a factor of f?
False
Suppose 2*a - 3*q = -9, 3*q = 1 + 8. Suppose a = -2*j - 3*g + 105, -7*g = j - 10*g - 66. Does 19 divide j?
True
Suppose -55*v + 60*v - 14980 = -2*d, -3*d - 4*v + 22470 = 0. Is 107 a factor of d?
True
Let n(r) = -r**2 + 6*r - 3. Let i be n(5). Suppose i = -5*t + 22, -3*x - 2*t = 154. Let p = x + 145. Is 17 a factor of p?
False
Let o = -503 + 626. Suppose -129*g = -o*g - 6642. Is g a multiple of 79?
False
Suppose 5*z = -0*z + 15. Let b be (-31)/(-1) + (z - 4 - 0). Does 3 divide b + (-3)/(-6)*-6?
True
Suppose 0*i - 6*i = -18. Suppose p = 2*p + i, 0 = -4*c - p + 21. Suppose 0 = -c*f + 18 + 594. Is 17 a factor of f?
True
Let y(s) = 0 + 2*s**2 + 5 + 124*s + 33*s**3 - 122*s - 6. Is y(2) a multiple of 25?
True
Suppose -v - 4*m - 2 = 3, -5*v = -m - 17. Suppose v*q = -5*q + 752. Is 47 a factor of q?
True
Let w = 23020 + -11290. Is 15 a factor of w?
True
Suppose -2*o + 2*x + 6 = 0, -o - 4*x = -3*o + 12. Suppose 104*k - 99*k - 880 = o. Is k a multiple of 11?
True
Let m = 1588 - -2654. Is m a multiple of 8?
False
Let r(n) = n**2 - 27*n - 12. Let g be r(-6). Suppose 8*b - g = 6*b - 2*m, -5*m = 3*b - 281. Is b even?
True
Is 29 a factor of (-25189376)/(-1152) - 4/(-54)*3?
True
Let y(a) = -9*a**2 - 34*a + 69938. Does 22 divide y(0)?
True
Suppose -150 = 5*d - 5*q, d - 3*q = 3*d + 75. Is 35870/110 + 3/d a multiple of 6?
False
Let f = -29 - -24. Let z be (-2)/((f + -1)/3). Is ((-2)/((-3)/(297/3)))/z a multiple of 11?
True
Suppose -4*n - 4*d = -5091 + 41739, 5*n = -d - 45810. Does 7 divide (2/(-6))/(2/n*3)?
False
Suppose -2*t = -s + 21353, t = 11*s - 10*s - 21358. Is s a multiple of 7?
False
Is 89 a factor of 142*37 - (-6 + 20 + -11)?
True
Let d(w) = 2*w**3 + 2*w**2 + 5*w - 7. Let c be ((-3)/1)/(9/(-4))*3. Is 39 a factor of d(c)?
False
Let u(p) = 13*p**3 - 4*p**2 + 49*p - 210. Is u(5) a multiple of 78?
True
Suppose -279095 - 50532 = -287*j - 67309. Is 16 a factor of j?
False
Let n = 23 - 135. Suppose 767 = -5*t - 93. Let b = n - t. Is 12 a factor of b?
True
Suppose -186*w + 88*w = -78*w - 414840. Is 283 a factor of w?
False
Let n = -975 + 136. Let o = n + 1406. Does 63 divide o?
True
Suppose -23*u + 924893 - 321143 = 0. Is u a multiple of 35?
True
Suppose 5*z + 21 = -234. Let t = 154 + z. Is t a multiple of 16?
False
Suppose 0 = -5*o - 10*u + 115, -9*u = -4*o - 4*u + 144. Does 8 divide o?
False
Let g(n) = -n**3 - 20*n**2 + 21*n + 2. Let p = 77 + -13. Suppose -3*x + i - p = -0*i, 0 = 3*x + 5*i + 58. Is g(x) even?
True
Let b = -16720 - -28200. Does 28 divide b?
True
Let n(f) = f**2 - f. Let q(i) = -3*i**2 - 11*i - 16. Let t(y) = -2*n(y) - q(y). Let m be t(-14). Let p = -26 + m. Does 3 divide p?
False
Suppose 0 = -5*v - 6*v + 44. Suppose -4*k + 4*p + 372 = 0, -v*k + 4*p = k - 469. Suppose 2*m - 37 = k. Is 14 a factor of m?
False
Let g = 12 + 5. Suppose -3*z = 2 - g. Suppose -6*t = -z*t - 52. Does 13 divide t?
True
Suppose -3*x + 2*z = -14925 - 6307, -3*x = -3*z - 21231. Does 19 divide x?
False
Does 18 divide (-4)/10 + 1585873/95 + -22?
False
Let w(g) = -g**2 - 2*g - 12. Let p be w(0). Let h = 2 + p. Let q(b) = b**2 + 8*b + 1. Is 13 a factor of q(h)?
False
Suppose -4*b + w - 36 = 0, -b + 0*w = -w + 9. Let x(n) = 2*n**2 + 5*n - 25. Is x(b) a multiple of 10?
False
Let k(b) = -3*b**2 + 370*b + 244. Let u be k(124). Suppose v + 10 + 5 = 0. Does 2 divide -20*5/v*(-6)/u?
True
Suppose -2*m - 278 = 4*w - 2*w, 4*w - 4*m + 532 = 0. Is 8 a factor of 3/((-2)/w*6)?
False
Let t(c) = -3*c**2 + 3*c + 1. Let h be t(-1). Let g be h/((-75)/(-66))*-45. Let n = g - 114. Is n a multiple of 8?
False
Let s = 129 + -124. Suppose 13 = m + 2*c, 2*c = -s*m + c + 65. Let y(n) = -n**3 + 14*n**2 - 5*n + 8. Is 12 a factor of y(m)?
False
Let j(l) = -22*l**3 + 2*l**2 + 4*l - 4. Let y be j(3). Suppose -2*r - 2*i + 0 = 2, 2*r = -i - 3. Does 10 divide r/(-11) - (y/22 + 2)?
False
Suppose -p + 3*n + 19 = 0, 40 = -4*p - 3*n + 116. Is 8 a factor of (48/(-10))/(p/(-190))?
True
Is 145 a factor of 12327 + 5 + 3 + 10/(-1)?
True
Let z = -1317 + 1328. Let d be ((-13)/2)/((-2)/4). Let l = z + d. Is 8 a factor of l?
True
Let d(h) = 2*h**2 + 1. Let q(v) = -10*v**2 + 57*v + 45. Let a(t) = -6*d(t) - q(t). Is a(-27) a multiple of 15?
True
Suppose 0*x - 7200 = -10*x. Suppose -15*j + 3*j = -x. Suppose 9 = -3*s, -h = -2*h - 3*s + j. Is h a multiple of 31?
False
Let j be 10 - (2 - (-35)/(-7)). Let f(z) = z**3 - 14*z**2 + 20*z - 9. Is f(j) a multiple of 19?
False
Suppose 7*k - 2 = 5*k. Let d(g) = 9*g**3 - g**2 + g - 1. Let o be d(k). Let h = o + -1. Is h a multiple of 7?
True
Suppose 11*c - 73142 = 12008 - 18050. Is 20 a factor of c?
True
Suppose 390 = -4*z - 3*s - 2912, 2*z - 3*s + 1660 = 0. Let q = -465 - z. Suppose 5*y - 2*y - q = -4*p, -2*y + 241 = 3*p. Is 24 a factor of y?
False
Let r(o) = 5*o + 207. Is 2 a factor of r(2)?
False
Let p be 3774/114 - 2/19. Suppose y + 5*s - 278 = p, 598 = 2*y - 2*s. Is y a multiple of 48?
False
Let m be (-380)/(-16) - (-3 - 60/(-16)). Suppose -m*p + 2822 = 476. Is 6 a factor of p?
True
Let r(v) = -6*v**2 + 20*v - 1. Suppose -20 = 5*n, a + 4*n + 1 + 9 = 0. Let c be r(a). Is -1 - (1 - 1) - c a multiple of 12?
True
Let n(h) = 2 - 16 - 21*h - 22 + 2. Is 