 v(h) = 3*h - 25. Let q be v(10). Suppose -q*y - 19 = -u, 3*y + 39 = -2*u - 2*u. Does 10 divide 18 + 8/u*3?
False
Let d(n) = n**2 + 2*n + 4. Let x be d(-3). Suppose -25 + x = -3*r - 4*y, -r - y + 6 = 0. Is 5 a factor of r?
False
Let n = 691 + -470. Is n a multiple of 17?
True
Let s(f) = 2*f + 7. Let n be s(7). Suppose 6*i = -0*i + 30. Let o = n - i. Is o a multiple of 8?
True
Suppose 5*u - 72 - 933 = 0. Let l = 372 - u. Does 38 divide l?
False
Let w be (-41 - -13)/((-2)/4). Let j = -34 + w. Is j a multiple of 11?
True
Suppose -2*u + 1716 + 1308 = 0. Is u a multiple of 63?
True
Let n(a) = a**3 + 25*a**2 - 6*a - 46. Does 23 divide n(-25)?
False
Suppose y - n - 125 = -3*n, n + 347 = 3*y. Is y a multiple of 2?
False
Let b be 6/(-4)*(-16)/3. Let i = b + -2. Suppose -i*s = -4*s - 118. Is s a multiple of 13?
False
Suppose 6*o - 2*x - 9 = o, -o + 2*x - 3 = 0. Suppose 7 = o*d - 2. Suppose 3*j + 2*t - 32 = 0, -d*j + 68 = 2*j - 4*t. Is 8 a factor of j?
False
Suppose 0 = 3*f + i - 2*i, 2*f - 3*i = 7. Let v(a) = -5*a. Let u be v(f). Let r(k) = k**3 - 5*k**2 + 3*k + 3. Is 8 a factor of r(u)?
False
Let j(h) = 11*h**3 + 12*h**2 - 40*h - 2. Is j(5) a multiple of 27?
False
Suppose 0 = 5*h + a - 389, 3*a + 2*a = -2*h + 151. Is 26 a factor of h?
True
Let q(i) = -3*i - 16. Let a be q(-7). Suppose 12 = 5*p + 3*x, 9 = -3*p - a*x + 29. Does 13 divide (-5)/((-10)/156) - p?
True
Suppose 9*c - 2007 = 2196. Is 26 a factor of c?
False
Let p = -12 - 12. Let f(x) = -x - 1. Let w be f(-4). Is 2 a factor of (w/(-2))/(9/p)?
True
Let k(n) = 32 - 21*n - 14 - 15. Does 12 divide k(-1)?
True
Suppose 603 = 9*o - 81. Does 2 divide o?
True
Let f(l) = 7*l**2 - 1. Let m be f(-1). Suppose 15 = g + 3*s + 3, -g + m = s. Suppose 2*r = -g*r + 45. Is 3 a factor of r?
True
Suppose -2*t - 26 = -4*t. Let h = t - 11. Suppose -h*i + 4 = -0. Is 2 a factor of i?
True
Let o be 0 - -5 - (-140 + -2 + -2). Let h be (-4)/18 - (-1850)/(-18). Let y = o + h. Does 11 divide y?
False
Let h(x) = x**2 - 21*x - 54. Is 18 a factor of h(33)?
True
Suppose -3*k = -4*k + 30. Suppose -6 = 3*q - 6*q. Suppose k = 4*p - q*p. Is 15 a factor of p?
True
Let h(u) = u**3 - 7*u**2 + 7*u + 20. Let v be h(9). Let d = 371 - v. Is d a multiple of 22?
False
Suppose -11085 = -16*j + 2355. Is 12 a factor of j?
True
Suppose -5 = -6*u + 889. Let y = u + 43. Is y a multiple of 15?
False
Let a = 1353 - 1025. Is a a multiple of 8?
True
Let b be (5 - 6)/(1*3/(-6)). Suppose -3*l - 5*s = -145, b*s + 14 = l - 27. Is 9 a factor of l?
True
Suppose 5*y - 7 = -5*u + 23, -y + 4 = 0. Suppose -2 = -u*j + 186. Is j a multiple of 19?
False
Suppose -5*z + 617 = -553. Is 18 a factor of z?
True
Let l(d) be the first derivative of -d**4/4 - 3*d**3 - 5*d**2 - 3*d - 3. Let c be 4 + (4 - (-51)/((-9)/3)). Is 29 a factor of l(c)?
True
Let n(w) = -w - 8. Let f be n(-5). Does 19 divide ((-5)/(5/f))/(6/76)?
True
Let y = 414 + -29. Does 35 divide y?
True
Let h be 38/(-5) + (-4)/10. Let v(w) = -w**3 - 9*w**2 - 10*w + 5. Is 5 a factor of v(h)?
False
Suppose -3*s - 4*b + 3 = -0*s, -7 = s + 4*b. Suppose n + 0 = -2*z + 4, 0 = 5*z + s. Is 91/3 - n/(-9) a multiple of 9?
False
Let r be 6*((-212)/8 - -4). Let u = r - -244. Is u a multiple of 52?
False
Suppose -2*w - w = -225. Suppose 0 = 13*t - 16*t + w. Suppose -3*a - 6*x = -x - 11, 3*a = 2*x + t. Does 2 divide a?
False
Let q(v) be the first derivative of -2 - 5/2*v**2 - 11*v. Is q(-7) a multiple of 23?
False
Let t = 12 + -22. Is 3 + -5 - (-2 + t) a multiple of 2?
True
Let b(r) = r + 16. Let x be b(-14). Suppose 180 = m + x*m. Suppose -2*s = -0*s - m. Does 7 divide s?
False
Suppose 3*l + 2*l = 4*l. Suppose l = -y + 5*y - 1024. Does 32 divide y?
True
Suppose 96*k = 93*k + 9720. Does 12 divide k?
True
Suppose -3*t - 277 = 236. Is 19 a factor of 2/(3 - (-507)/t)?
True
Let m(z) = -12*z - 31. Let i be m(-11). Suppose 0 = -2*w + k + i, w + 2*k - 30 = 8. Is 34 a factor of w?
False
Is 29 a factor of 943 + -2 + (-5)/45*0?
False
Is 16 a factor of (4/5)/(5173/(-5180) + 1)?
True
Suppose 5*u + 4*b - 1863 = 0, 3*u - 1667 = -b - 545. Let x = u - 140. Is 30 a factor of x?
False
Suppose 20 = 4*q - 3*o, 3*q = -5*o + 19 - 4. Let j = q - -55. Suppose 5*h - h - j = 0. Is h a multiple of 15?
True
Let m = -162 + 233. Suppose 2*r - r + m = 0. Let u = r - -116. Does 15 divide u?
True
Suppose 0*t = 3*t - 12. Suppose 0 = -4*r - t. Is 5 a factor of -1 - (10/(-2) + r)?
True
Suppose 10*f = 15*f + 5, -2*m = -3*f - 209. Does 2 divide m?
False
Let r = 979 + -643. Is r a multiple of 27?
False
Suppose -15*z = -3949 + 1489. Is 4 a factor of z?
True
Suppose 24 = 25*a - 22*a. Is 14 a factor of 674/a + (-8)/32?
True
Suppose g - 21 = p - 2, -5*g - 5*p + 105 = 0. Does 18 divide g?
False
Suppose -51*a - 1179 = -3*l - 54*a, 4*l - 1563 = 5*a. Is l a multiple of 56?
True
Suppose 33*g = 47*g - 22610. Is g a multiple of 19?
True
Suppose 0 = -5*r + h + 188, 4*r - 2*r = -h + 71. Let z = -20 + r. Is 17 a factor of z?
True
Let c be (1/1)/(4/40). Suppose -3*l - 3*x - 3 = 0, -l + 5*x + c = -19. Suppose l*f + b - 7 = 0, 2*f + 4*b = 4*f - 26. Is f a multiple of 2?
False
Let c be (-846)/(-10) + (-4)/(-10). Let z = c - -51. Does 14 divide z?
False
Let q(s) = s - 13. Let b be q(9). Let j(d) = -19*d + 8. Does 23 divide j(b)?
False
Let m be (-8)/(-3)*(357/4)/7. Suppose -82 + m = -4*s. Is 12 a factor of s?
True
Suppose 3*v + 4*k = 18, -k = -4*v - 5*k + 20. Suppose 3*c - 14 = -2, v*n = -2*c + 64. Does 9 divide n?
False
Suppose -3*k = 3*g - 1491, -4*k + 5*k + 503 = g. Does 40 divide g?
False
Let w(t) = t**3 - 12*t**2 + 19*t + 43. Does 9 divide w(13)?
True
Let b(a) = 47*a - 65. Does 7 divide b(7)?
False
Let u be ((-16)/24)/((-2)/18). Let r be 362/u - 2/6. Suppose 0 = -4*l + 2*l + 5*m + 31, -5*l - 5*m + r = 0. Is l a multiple of 13?
True
Let r be (-3 - -3)/(1 - 2). Suppose -7*l = -9*l + 2*w + 102, r = -2*l - 4*w + 90. Is l a multiple of 5?
False
Suppose 11522 = 13*m - 12970. Does 85 divide m?
False
Let o(m) = 7*m - 2. Let n be o(4). Suppose 16 + n = p. Does 6 divide p?
True
Suppose 42*l + 7673 = 47*l + y, 3*y - 6145 = -4*l. Is l a multiple of 52?
False
Let f(q) = 4*q**3 - q**2 + 2*q - 1. Let r be f(1). Suppose -2*g + 19 + 31 = -r*y, 0 = -g - 3*y. Is 270/g*(-4)/(-3) a multiple of 12?
True
Let z(a) = 7*a + 2. Let i be z(6). Let d = -7 + i. Does 16 divide d?
False
Is 51 a factor of (20/30)/((-14)/(-7497))?
True
Let u(b) = -b**3 + 13*b**2 - 9*b - 11. Let r(i) = i**3 + 7*i**2 - 5*i + 5. Let t be r(-6). Suppose -t = -5*o - 11. Does 5 divide u(o)?
True
Let f(m) = -30*m - 143. Does 10 divide f(-20)?
False
Is ((-2)/(1*-2))/(38/3306) a multiple of 3?
True
Suppose -2*m - m + 9 = 0. Does 15 divide ((-45)/(m/3))/(-1)?
True
Let w = -186 - -321. Is 2 a factor of w?
False
Let z(d) = d**2 + 19*d + 32. Let y be z(-17). Is 4 a factor of (-1*15 - -4)*y?
False
Suppose -8*u - 8 = -16*u. Is (u - 66)/(-1) + -3 a multiple of 34?
False
Suppose -n + 49 = u, -2*n + 5*n = 5*u + 139. Is 266/5 + n/60 a multiple of 9?
True
Is 5*(-12216)/(-30) + -8 a multiple of 30?
False
Suppose -17*t + 39 = -16*t. Suppose 3 = 2*r - 5, 4*q - 5*r + 28 = 0. Is 7 a factor of t/4 - q/8?
False
Let q be 4/(-14) - 16/(-7). Suppose p + 3*m - 3 = 0, 9*m - 18 = -q*p + 6*m. Does 15 divide p?
True
Let j be (-836)/26 + 30/195. Let u = j + 63. Is 14 a factor of u?
False
Suppose 0 = -g - g + 4. Suppose g*z - 22 - 20 = 0. Let b = z - 0. Is b a multiple of 15?
False
Let p = -1835 - -2420. Is p a multiple of 13?
True
Suppose l = -113*f + 110*f + 395, -3*l + 1150 = 2*f. Does 95 divide l?
True
Let s = 16 - 14. Does 32 divide (1 - 6 - -9)*64/s?
True
Let s(m) = m**2 - 8*m + 3. Let g be s(7). Is 14 a factor of (-2)/((-16)/142) + (-1)/g?
False
Let a(k) = 225*k**2 + 15*k. Is a(-2) a multiple of 10?
True
Suppose -8133 - 5307 = -10*i. Is i a multiple of 109?
False
Suppose -4*c - 15 = -5*i, 3*i - 13 = 2*c - 4. Suppose -512 = i*y - 7*y. Is y a multiple of 32?
True
Let t = -57 - -472. Is t a multiple of 14?
False
Suppose 17 - 43 = i. Is 13 a factor of (3 - i/(-4))*-30?
False
Let s = -4272 - -6186. Is 29 a factor of s?
True
Suppose 2 = -5*k + 12. Suppose 30 = -3*w - k*w - 2*m, 4*m = -w - 24. Let q = 7 + w. Is q a multiple of 3?
True
Let k = -276 + 472. Let y = k - 145. Is y even?
False
Let l = 0 - -4. Let f = l - 7. Is f + 3 - (-3 + 0) even?
False
Is 31/(-2)*