-2*b - 0 - 19. Let r be -6*(z/2 - -4). Let c(p) = -11*p - 20. Is 13 a factor of c(r)?
False
Suppose -i + 28 = 2*w, 13 = 4*w + 5. Let k be (-2872)/64 - 3/i. Let n = k - -115. Is n a multiple of 35?
True
Is ((-4)/(80/1345))/((-5)/20) a multiple of 3?
False
Let o = -1189 - -1620. Is o even?
False
Suppose 4*y = -4*i + 128764, 30629 + 33738 = 2*y + 5*i. Is 13 a factor of y?
False
Let h = 3562 - 3316. Is h a multiple of 2?
True
Let y = 37 - 34. Let k be 3/(y - 195/70). Suppose s + k = 8*s. Is 2 a factor of s?
True
Suppose -21 - 193 = 2*u. Let n = -99 - u. Let c(b) = 4*b**2 - 11*b - 6. Is 31 a factor of c(n)?
False
Is 54 a factor of -2*(-3)/(66/55385)?
False
Let k be (-25)/(-1) + (-15 - -9). Suppose -859 = -k*s + 851. Does 10 divide s?
True
Suppose 3*r = -5*g + 2614, 2*r - 4370 = -3*r + 5*g. Suppose -12*w + r = -1095. Is w a multiple of 7?
False
Let l be (-1568)/(-24) + (-15)/(-9). Suppose p = 2*s - l - 28, -5*p - 34 = -s. Is 7 a factor of s?
True
Is ((-20)/14)/(2*(-27)/361557) a multiple of 23?
False
Let i = 21 - 18. Suppose -b = -4*v - 143, b + i*v - 16 - 113 = 0. Suppose -8*g + 5*g = -b. Is g a multiple of 7?
False
Let k(z) = -172 + 3*z + 3*z**2 - z + 170. Let a be k(-2). Does 39 divide 1322/12 - 1/a?
False
Let s(p) = p**2 - 11*p + 22. Let x be s(5). Let v be x/(-14) + (-168)/(-49). Is 42 a factor of -1 + 3/v - (-1685)/20?
True
Suppose p + 10 = 8. Let c(q) = -112*q + 5. Let v be c(p). Let t = 372 - v. Is t a multiple of 22?
False
Let y(x) be the first derivative of 50*x**2 + 62*x + 36. Let b(n) = -50*n - 31. Let z(v) = 9*b(v) + 4*y(v). Is 28 a factor of z(-5)?
False
Let u = 182 - 137. Suppose -q + u + 14 = 0. Is q a multiple of 2?
False
Does 25 divide 77010/52 + 6/156?
False
Let u = 250 + -245. Suppose 2*x = -u*p + 475, 5*x - 1125 = p + 22. Is 23 a factor of x?
True
Let a be (-147)/(-4) - (-99)/(-132). Does 51 divide 85*a*3/15?
True
Let a(q) = 471*q**3 - 9*q + 23. Let t be a(2). Suppose 41*m - t = -1149. Does 4 divide m?
True
Is 35 + -37 - 3/(6/(-4288)) a multiple of 34?
True
Does 25 divide (-9996)/595*(-620)/6?
False
Suppose m + 2*j = 5181, -3*j - 20746 = -372*m + 368*m. Does 61 divide m?
True
Suppose -3*g + 1191*w + 60382 = 1190*w, 0 = 4*w + 28. Is g a multiple of 35?
True
Is 12 a factor of -26 + 918/36 + (44733/2)/3?
False
Let p(b) = 2*b**2 + 16*b - 6. Suppose 4*j = 21*j - 170. Does 40 divide p(j)?
False
Suppose -2*k = 2*m - 11606, 29065 = 5*k - m - 4*m. Suppose k = 24*o - 2*o. Is o a multiple of 11?
True
Suppose 23*y + 3*b = 33*y - 43392, 3*y - 13030 = 4*b. Is 25 a factor of y?
False
Let y(b) = -b**2 - 15*b + 18. Let x be y(-17). Let p(m) = m**3 + 15*m**2 - 16*m - 11. Let q be p(x). Is 12 + q + 139/1 a multiple of 17?
False
Suppose 6*y - 10*y = -16. Suppose 3*o = -0*c + c - 485, -y*c - 5*o + 1991 = 0. Is c a multiple of 19?
True
Let d(c) = 1426*c - 1908. Does 11 divide d(8)?
False
Let g = 1643 + -983. Suppose 53*v - g = 50*v. Is 10 a factor of v?
True
Let u be 6714/21 - 24/(-84). Let l = 364 - u. Does 3 divide l?
False
Let o be (-112)/10*(-35 + 30). Suppose 4992 = 72*i - o*i. Is 26 a factor of i?
True
Let c = 108540 + -50987. Is c a multiple of 15?
False
Suppose 2*k = 2*r + 216, 3*r + 99 = 4*k - 222. Let v = r + 60. Let w = -49 - v. Is 2 a factor of w?
True
Let l(t) = 17*t**3 - t**2 + 3*t - 2. Let f(d) = d**3 + 6*d**2 + 7*d + 11. Let x be f(-5). Let n be l(x). Is 29 a factor of (n/3 + 5)/((-2)/(-6))?
False
Let s(w) = 9*w - 148. Suppose -106 = -4*n + 6*g, -5*n + 2*g + 113 = g. Is s(n) a multiple of 5?
True
Let s = 49663 - 20403. Is s a multiple of 35?
True
Suppose 116*w - 122*w + 12 = 0. Suppose -5*u - 2175 = -5*g, 4*g + w*u - 886 = 2*g. Is g a multiple of 15?
False
Suppose 3*n = -3*g + 2*g + 48, n + 244 = 4*g. Let h = g + -55. Suppose 0 = 2*m - h*j - 34, -m + 0*j + 4*j = -14. Does 18 divide m?
False
Let q = -65 - -68. Let l be (-2 + -6)*(-12)/q. Let d = l - -12. Is 11 a factor of d?
True
Let b(z) = z**3 - 4*z**2 + 6*z - 4. Let i be b(2). Suppose -3*p + 104 = -4*v - 464, 3*p + 4*v - 560 = i. Is p a multiple of 15?
False
Suppose 24*m - 4*x + 72756 = 27*m, 4*x = 24. Does 22 divide m?
True
Let l be 2/(-4)*(-70)/7. Suppose 263 - 83 = l*i. Is i*4/6*2 a multiple of 12?
True
Let t = 40 + -73. Let r = t + 38. Suppose -r*m = -475 - 40. Is m a multiple of 16?
False
Let k = 14 - 27. Let l = 39 + k. Suppose 5*j - 6 + l = 0, 2*h + j - 40 = 0. Is h a multiple of 11?
True
Suppose -k = 5*i - 0*i - 73358, 4*i - 58696 = 4*k. Is i a multiple of 11?
False
Suppose -77*n - 63*n + 70584 = -129056. Is 10 a factor of n?
False
Suppose 5*w - 5 = -0*b + b, -b + 5 = 0. Suppose -3*g + 13 = w*q, 2 = 2*g - 2*q - 0. Is 37 a factor of ((-300)/((-5)/(-1)))/(g/(-2))?
False
Let s(d) = 22*d**2 + 17*d + 48. Is s(-8) a multiple of 13?
False
Is 5 a factor of ((-322)/7 + 1/(1/3))*-43?
False
Suppose -u - 3*u = 12. Let c = -709 - 795. Is (u - 0)*c/24 - -2 a multiple of 19?
True
Let u = 1388 + 4570. Does 23 divide u?
False
Let m(u) = u**3 - 38*u**2 + 189*u + 103. Is m(46) a multiple of 245?
True
Let j(c) = 33*c**2 - 16*c + 72. Let u be j(-10). Suppose -28*i - u = -40660. Does 17 divide i?
True
Let s = -278 - -282. Let q(r) = 164*r. Let j be q(2). Suppose s*b + j = 3*d - 297, -440 = -2*d - 2*b. Does 25 divide d?
False
Let a be (10 + -10)/(0 - -1). Suppose a = 4*n - 8 - 0. Let i(h) = 10*h**2 + h + 1. Is 10 a factor of i(n)?
False
Suppose 9*a - a = -0*a. Suppose v + 1 - 7 = -2*l, a = -4*l - 5*v. Suppose 5*y = -l*j + 215, -4*j - 4 = y - 35. Does 22 divide y?
False
Is 92 a factor of (1 - -43474) + (-20 - -22) + -2?
False
Let t = -13318 - -23618. Is t a multiple of 66?
False
Suppose 13715 = 15*u - 35875. Suppose 25*r - 1069 - u = 0. Does 11 divide r?
False
Suppose 110*j = 102*j + 32. Is 1*(j/18 - (-704)/72) a multiple of 3?
False
Let t be (-26168)/(-14) + (-4)/28. Let g = t + -1063. Does 31 divide g?
True
Let r = -5308 - -14285. Is 47 a factor of r?
True
Let u = 337 - 333. Suppose 0 = 4*x - 2*x + 4*o - 414, -u*x + 838 = 3*o. Is 19 a factor of x?
False
Suppose -4*u = -5*h + 19650, 191*u - 190*u - 19650 = -5*h. Is 123 a factor of h?
False
Let z = -420 + 215. Let a = z + 300. Does 6 divide a?
False
Let o = 4419 + 6269. Is o a multiple of 66?
False
Let y be ((-35)/(-25) + -3)/(4/(-10)). Let c be 2 + -1 + y + -4 + -11. Is 13 a factor of (11 + c)/(2 + (-181)/91)?
True
Let v(p) = p. Let q be v(1). Let j be ((-3)/2)/(5 - (-21545)/(-4310)). Does 12 divide 1 + (j/(-12) - q/(-4))?
False
Let s(x) = 4*x**3 + 139*x**2 - 17*x + 21. Is 42 a factor of s(-32)?
False
Let o = 243 - 160. Suppose -c + 201 = -3*i - 0*c, i = -5*c - o. Does 3 divide (-459)/i - (-6)/(-8)?
True
Suppose 2*h - 4*i + 12 = 0, -7 = 5*h - 5*i - 2. Suppose -h*j - 44 = -6*j. Does 11 divide j?
True
Does 74 divide ((-5465)/(-30))/(5/(-50))*-3?
False
Suppose 0 = -s - 5 + 8. Suppose s*z - 96 = 540. Suppose -2*u + 4*b - z = -4*u, -u - 3*b = -111. Is 32 a factor of u?
True
Let d be -13 + -2 - 2*-1. Let p(z) = -150*z + 5 - 4*z**2 + 3*z**2 - 142*z + 431*z - 157*z. Does 35 divide p(d)?
True
Let m(u) = 2*u. Let z(o) = 18*o + 17 + 7*o - 35*o. Let s(w) = 6*m(w) + z(w). Is 3 a factor of s(-7)?
True
Let x = -195 - -193. Is 3399/12 + x/8 a multiple of 21?
False
Let f = -48 + 48. Let h(c) = c + 18. Let l be h(4). Suppose -p - 2*m + 1 + f = 0, m = 4*p - l. Does 2 divide p?
False
Let d be (-1 - 32)/11 + 228/(-1). Let v = 415 + d. Is v a multiple of 23?
True
Suppose -2*x = -5*z - 124, z = 2*x - 143 + 19. Suppose -4*w + x = -0*w - 3*s, 3*s = 3*w - 48. Is 3 a factor of w?
False
Let i(u) = 3*u**2 + 85*u - 40. Let p be i(-29). Let c(t) = 4*t**2 - 42*t + 41. Is c(p) a multiple of 7?
True
Suppose q - 6256 = -3*t, -24*q - 18796 = -27*q - 2*t. Is 106 a factor of q?
False
Let o(j) = 4*j + 85. Let x be o(-25). Does 19 divide 2 - ((1 - 3) + x)?
True
Let o be ((-31)/62)/(2/(-1452)). Suppose 0 = -g - 215 + 14. Let p = o + g. Is p a multiple of 6?
True
Let y(m) = -278*m - 17. Let n(v) = 831*v + 52. Let d(p) = -2*n(p) - 7*y(p). Is d(2) a multiple of 47?
False
Let c be 2/(-3) - (-10848)/72. Let x = 97 + c. Is x a multiple of 13?
True
Suppose 65*z = 75*z - 40. Let m(h) = 4 + 18 + 0 + 27*h. Is 14 a factor of m(z)?
False
Let y(d) = -d**2 - 11*d + 6. Let b be y(-11). Does 5 divide 1 - -22 - -7 - b?
False
Suppose 3*a - 3090 = 5*q + 3187, -3*q - 24 = 0. Is 11 a factor of a?
True
D