**3/3 - 5*v + 1. Does 14 divide o(i)?
True
Let k = -66 + 68. Suppose -k*h = -35 - 15. Let p = h - -2. Does 12 divide p?
False
Let l = -49 - -52. Let w be (-126)/(-12)*(32/l - 0). Suppose 2*z + 2*v = 156, v - 294 - w = -5*z. Does 22 divide z?
False
Let c be 4/12 + (-32)/(-12). Let y = c - -26. Let b = -12 + y. Does 8 divide b?
False
Is 37 a factor of 2/((-8)/1526)*(93 - 167)?
True
Let b(i) = -515*i + 2062. Let v be b(4). Suppose 4*r = 5*n + 853, -5*r + 394 = -3*r + 4*n. Does 19 divide (r/27)/(v/24)?
False
Suppose 5*q = -3*j - 280 - 203, -3*q + 805 = -5*j. Let d = 70 + j. Let w = d + 162. Is 8 a factor of w?
False
Suppose 7*m = 995 - 20959. Is (-4)/(-34) - m/34 a multiple of 8?
False
Suppose -3*c - r = -445 - 273, -5*c = -4*r - 1191. Suppose -c - 34 = -n. Is n a multiple of 12?
False
Let n be (-14 - -10) + 1666/2. Suppose -6*c + n = -1715. Suppose c = 4*j - 3*w, -w + 206 = 2*j - 4*w. Does 19 divide j?
False
Suppose 258*a + 664673 = 3528473. Is 12 a factor of a?
True
Suppose -7*j = -11*j + 4*k + 4, 0 = -5*j - k + 23. Suppose -3*n + 1487 + 4112 = 5*c, 12 = j*n. Does 43 divide c?
True
Let l be 4/(-3) - 4272/36. Is 18 a factor of (3*28)/((-80)/l)?
True
Let t(q) = -22*q**3 - 3*q**2 - 4*q + 2. Suppose -k - 36 = 17*k. Is t(k) a multiple of 29?
True
Let u = 169 - 156. Suppose 12*g - u*g + 387 = 0. Is g a multiple of 43?
True
Let v(d) = d + 927. Is v(107) a multiple of 34?
False
Let x(s) = s**2 + 2. Let y be ((-4)/(-3))/(16/24). Suppose y*o = 4 + 6. Does 3 divide x(o)?
True
Let o(p) = 5*p**3 + 8*p**2 - 9*p. Let i be o(1). Suppose 1185 = 4*q + z - i*z, -z = -2*q + 593. Does 13 divide q?
False
Let s(d) be the first derivative of d**4/4 + 3*d**3 - 3*d**2 + 70*d - 108. Is s(-10) a multiple of 3?
True
Let v = 246 - -254. Let q = v + 193. Is 33 a factor of q?
True
Suppose -4*i - 101 + 745 = 0. Suppose 446 = 3*o + i. Does 29 divide o?
False
Suppose 11 = -20*w + 19*w. Let t(g) = g + 9. Let x be t(w). Let m = 23 - x. Is 16 a factor of m?
False
Is (4/2)/(3*2/3804) a multiple of 10?
False
Let t(y) = -88*y**3 - 20*y**2 - 6*y - 10. Is 46 a factor of t(-3)?
False
Let g(b) = 6*b**2 - 53*b. Let n(z) = -7*z**2 + 54*z. Let r(d) = -6*g(d) - 5*n(d). Is 7 a factor of r(28)?
True
Suppose 0 = 3*p - i - 14899, 0 = -2*p + 2*i - 4*i + 9946. Does 92 divide p?
True
Suppose -25 = -5*d, -34*j = -30*j + 4*d - 28. Suppose 0 = j*r + 3*k - 802 - 190, -2*k = r - 495. Does 22 divide r?
False
Suppose 4*b + 3*t - 182 = -b, b = -2*t + 35. Let d = 38 - b. Suppose -2*g + 53 = d. Is 2 a factor of g?
True
Suppose 4*g - 1956 = -3*n + 85, 4*n = -g + 494. Let r(s) = -2*s - 35. Let y be r(-20). Suppose y*f - 3*o - g = 0, -4*f + 578 - 164 = -o. Is f a multiple of 26?
True
Let p(s) = -9*s**3 - 2*s**2 - 6*s - 5. Let b be p(-3). Let z = 524 - b. Suppose -z = -71*l + 69*l. Does 11 divide l?
True
Let i = -171 - -173. Suppose 4*y = -y - 15, i*y = 2*c - 122. Is 22 a factor of c?
False
Suppose 11 = 4*h + 5*g, -5*h = -4*h - 3*g - 7. Suppose -4*o - 5*v - 25 = 0, -3*o + 8*o + h*v = -20. Suppose o = -14*q + 171 + 1509. Is q a multiple of 12?
True
Is (1536/(-160))/(1/(-80)) a multiple of 77?
False
Let l = -18628 - -19233. Is l a multiple of 69?
False
Does 21 divide (-343)/(-28)*(-1014)/(-7)*2?
True
Let i = -3190 - -6590. Suppose 5*k + 2*l - i = 0, -4*k + k = -l - 2051. Does 9 divide k?
False
Does 21 divide 2131892/(40 + 9) + (-1)/((-2)/8)?
True
Suppose 97*n - 91*n = 24. Suppose 5*u - 785 = -n*o, 13 = -4*o - 7. Does 12 divide u?
False
Suppose -2*f = -4*v + 16, -5*v + 0*v - 4*f - 6 = 0. Let o be ((-35)/v)/7*-40. Suppose 3*z - o = -4*s + 636, 0 = -s + 5*z + 184. Does 10 divide s?
False
Let k = -25963 - -30118. Is 5 a factor of k?
True
Suppose 0 = 129*i - 131*i - 8. Is 4913/17 + 2/(i/6) a multiple of 11?
True
Suppose -11*o + 13*o = -2*u + 17860, 15 = 3*u. Is o a multiple of 17?
True
Suppose 685235 = 171*k - 699358 + 446487. Is 6 a factor of k?
False
Let h = -4194 + 6913. Is h a multiple of 2?
False
Let s(v) = -4*v**3 - 3*v**2 - 6*v - 5. Let f be (-5)/(45/6) + 20/(-6). Let j be s(f). Suppose -6*c - j = -755. Is c a multiple of 11?
True
Let w(q) = -q**3 - 27*q**2 - 31*q + 92. Suppose 58*m = 37*m - 567. Is w(m) a multiple of 20?
False
Let v = 108 - 104. Suppose -v = 2*t + 8. Is (t - -7)*1*151 a multiple of 17?
False
Suppose 2*z + 3*u + 27 = 0, 0 = -5*z - 0*u + 3*u - 15. Let p(q) = -27*q - 22. Is 10 a factor of p(z)?
True
Suppose -59 - 84 = -11*q. Suppose q*f = 4*i + 10*f - 336, 2*f = i - 84. Does 4 divide i?
True
Suppose 0 = k, -2*r - 446*k + 3480 = -441*k. Does 60 divide r?
True
Let i(z) = -3*z**3 + 11*z**2 - 9*z + 54. Let c(f) = -f**3 + f**2 + 1. Let g(m) = 4*c(m) - i(m). Does 2 divide g(-9)?
False
Let m = -12 + -402. Let j = -249 - m. Let p = -48 + j. Is 14 a factor of p?
False
Suppose 3 = -9*a + 10*a. Suppose -2*l - a*m = m + 10, 0 = -l - m - 5. Is 11 a factor of 220/30*l/(30/(-63))?
True
Let v(a) = -a**3 - 10*a**2 + 22*a + 9. Let s be v(-11). Does 8 divide (3 - -3 - 5)/((-2)/s)?
True
Let t(l) = -755*l + 863. Is t(-19) a multiple of 22?
False
Suppose 0 = -5*r + 5*o + 2555, 9*o + 1529 = 3*r + 10*o. Suppose -388*d + r = -383*d. Is 44 a factor of d?
False
Let a(o) = -o + 1. Let l be a(6). Does 47 divide -4*(47/l)/(16/140)?
True
Let n(s) = s**2 - 59. Let z be n(0). Let f be (-22)/(-22) - (84*2 - -1). Let i = z - f. Is i a multiple of 14?
False
Let o = 4392 + -691. Is o a multiple of 28?
False
Let j(o) = -o**3 + 4*o**2 + 6*o - 4. Let a be j(2). Is 10 a factor of ((-168)/(-18))/(a/1320)?
True
Suppose 2*n - 8 = -3*i, -4*n - 32 = -i - i. Suppose -4*a + 6 = -i. Let w = a + 16. Is 18 a factor of w?
False
Let w(p) = 6*p + 20. Suppose 0 = 13*l - 8*l + 35. Let a be w(l). Does 2 divide (6/(-11))/(-3) + (-128)/a?
True
Let q be 12/(-10)*(-70)/42. Let x(g) = -q*g + 35 + 30 - 33. Does 8 divide x(0)?
True
Let l = 5371 - -49. Is 20 a factor of l?
True
Let d(i) = i**2 + 20*i - 77. Is d(5) a multiple of 4?
True
Let j = -961 + 449. Let w = j + 791. Is 31 a factor of w?
True
Let d(x) = x + 46. Let o be d(-18). Suppose -4*i + 12 = -o. Suppose 0 = -i*u + 7*u + 537. Does 36 divide u?
False
Suppose 0*h - 537 = -3*h. Suppose -h + 158 = -i. Is i a multiple of 3?
True
Let y(o) = 2*o**2 + 28*o - 33. Suppose 27 = 4*t - 1. Let c(r) = 3*r - 41. Let g be c(t). Is 23 a factor of y(g)?
True
Let t(a) = 5*a + 7. Let m be t(-1). Suppose -385 = 5*b + 5*y, m*y + 249 + 57 = -4*b. Let u = 2 - b. Is 39 a factor of u?
True
Let h(b) = -b**3 + 5*b**2 + 6. Suppose 44 = -3*w + 59. Is 5 a factor of h(w)?
False
Suppose 7501 = 37*h + 4800. Is h a multiple of 73?
True
Let w(k) = -k**2 - 214*k + 1827. Is 20 a factor of w(-85)?
False
Suppose h = -j - 3*j + 4, -5*h + 3*j + 112 = 0. Is (6 + -8)*-42*h/6 a multiple of 56?
True
Let m = -89 + 99. Suppose 24*j - m*j = -42. Is j/(-5) - (-5488)/20 a multiple of 22?
False
Suppose 4*h - 2*f - 26 = 0, h + 3*h - 23 = f. Suppose 2*d - 777 = h*c - 4*c, 393 = d + c. Is 5 a factor of d?
True
Let b = -33 - -41. Suppose 56 = -b*u - 6*u. Let r = u + 12. Does 8 divide r?
True
Suppose 3 = 4*c - 1. Let l be c/((-8 + 3)/(-55)). Suppose -195 = 6*t - l*t. Is t a multiple of 15?
False
Let r be -5 + (-1)/(2 - 3). Suppose 38*j - 42*j - 14 = 2*m, -m = -3*j - 3. Is 18 a factor of ((-1062)/r)/m*236/(-177)?
False
Suppose -5*u - 3*l + 32 = -u, 27 = 3*u + 3*l. Suppose u*z + 185 = -2*a, -2*z + 237 = -3*a + 7. Is 15 a factor of a/6*(2 - (-14)/(-4))?
False
Suppose 2*o - 3*g - 15147 = 14334, 2*g - 29486 = -2*o. Does 63 divide o?
True
Suppose -131 + 852 = 7*j. Let m = j - 81. Suppose -18*y - 600 = -m*y. Does 30 divide y?
True
Let h(z) = 2*z**2 - 5*z - 5. Let t be h(5). Let u(y) = 3*y - 50. Does 10 divide u(t)?
True
Let z = 5422 + -1340. Is 63 a factor of z?
False
Is 3303 + (15 + -18 - 0) a multiple of 4?
True
Let f = -2713 - -3025. Is f a multiple of 2?
True
Let v be ((-9)/(9/4))/(4/(-3)). Suppose -v*p + 7*p = 8. Is (42/(-15) - -2)/(p/(-120)) a multiple of 8?
True
Suppose 4776*x = 4766*x + 43550. Is 2 a factor of x?
False
Suppose 8 = -2*x - 2, 2*a + 5*x + 37 = 0. Let k(d) be the first derivative of d**4/4 + 7*d**3/3 + d**2/2 - 10. Is 15 a factor of k(a)?
True
Suppose 36*t = 54*t - 31*t + 2574. Does 6 divide t?
True
Let r be (-6)/(-33) + (-4992)/(-132). Suppose 9*j = 313 + r. Is 39 a factor of j?
True
Let j be (-16)/(1 - 2)*143/22. Suppose -4*b = 20, 3*c + 0