. Is 39 a factor of l?
True
Suppose 2*c - 4232 = -5*w, 4744 = 4*w + c + 1356. Is 2 a factor of w?
True
Let p = 22338 + 9740. Does 173 divide p?
False
Suppose 0 = 3*q + g - 13, 27*q + 4 = 29*q + 3*g. Suppose 22 = q*n - 318. Is n a multiple of 6?
False
Suppose 4*u + 11 - 3 = 0, 0 = 4*j + 4*u. Let x(d) = -2*d**3 + d**2 - 4*d**2 + 2*d**j - 5*d + d**3 + 7. Is x(-5) a multiple of 33?
True
Suppose -13*n + 323 = -197. Let d be n/((10/35)/(8/14)). Suppose -2*p - z = -254 + d, -2*z = 4. Does 44 divide p?
True
Let z(r) be the third derivative of 37*r**4/24 + 16*r**3/3 - 13*r**2 + 1. Does 11 divide z(3)?
True
Let v = -1096 - -893. Let y = -130 - -29. Let p = y - v. Is p a multiple of 29?
False
Let f(u) = -u**3 + 119*u**2 - 912*u - 438. Is 23 a factor of f(110)?
True
Does 124 divide ((-2604)/(-5))/(7/((-11200)/(-30)))?
True
Let p = -277 - -161. Let u = p + 62. Is 2/(-9) - 3*580/u a multiple of 8?
True
Let i = 386 + -454. Let k = i - -256. Is k a multiple of 45?
False
Suppose 2 = -6*b + 26. Suppose 18 = y + x - 29, 0 = -b*x - 20. Is y a multiple of 13?
True
Let j be 15/((-2)/(-18)*3). Suppose 0 = 5*l + m - j, 5*m - 12 = -5*l + 13. Suppose l*g - 6*g = 192. Does 8 divide g?
True
Let h = -667 + 291. Let y = h + 831. Is y a multiple of 13?
True
Let w = 24635 - 5226. Does 13 divide w?
True
Let u(t) = 35*t - 33. Let z be u(9). Let k = z + -214. Is k even?
True
Let u be (534/(-8) + 0)*88/(-66). Suppose 220 = -4*q - q. Let x = q + u. Is x a multiple of 12?
False
Suppose 5*o - 4*u - 43 = -7*u, -o = -3*u - 5. Let f be (-4)/10 - 18/5. Is o/(f/44*-1) a multiple of 8?
True
Let j(p) be the third derivative of -p**6/120 - 4*p**5/15 - p**4/24 - 17*p**3/6 + 18*p**2. Let o be j(-16). Is (-24)/(-3 - -5)*o a multiple of 3?
True
Let k = -32 + 73. Suppose -k*d + 38*d + 9 = 0. Suppose -5*p - 16 = -2*t, -5*p - d = -t - 0. Does 13 divide t?
True
Suppose 4*z + 2*u + 510 = 0, -2*u + 5 - 7 = 0. Let l = z - -359. Suppose 0 = 4*m - 28 - l. Does 22 divide m?
False
Suppose 200349 = 74*z - 35*z + 74*z. Is z a multiple of 7?
False
Let f(a) = a**3 + 28*a**2 + 23*a - 9. Let r be f(-27). Suppose 8*k - r - 21 = 0. Does 5 divide k?
True
Let t(h) = 15568*h**3 + 2*h**2 - 9*h + 9. Is t(1) a multiple of 6?
True
Is ((-16)/10)/(27/(-5940))*8 a multiple of 88?
True
Let x(u) = -u**2 - 5*u + 2. Let y be x(-4). Let j = y - -44. Is j a multiple of 5?
True
Let t(f) = 21*f - 13. Let c(w) = 42*w - 28. Let h(q) = 6*c(q) - 14*t(q). Is h(-3) a multiple of 70?
True
Suppose 4*x = 5*s - 42664, 4*x + 28810 = -5*s + 71466. Does 9 divide s?
True
Let x(i) = i**2 - i - 14. Let h be x(-7). Is 4 a factor of h + -37 - -4*43?
False
Let c be -4 + -1 + -30 + 106. Suppose -c = 5*s - 256. Is s a multiple of 8?
False
Suppose -14*n + 9*n + 15 = 0. Suppose n*l - 48 = -5*l. Suppose 0 = 2*r - l*r + 368. Does 23 divide r?
True
Let l(x) = 87*x**2 + 3*x - 1. Let q be 11/((-3 - -2)/1). Let s(i) = 260*i**2 + 8*i - 3. Let r(w) = q*l(w) + 4*s(w). Is r(1) a multiple of 9?
True
Let t(b) = 4*b + 174. Suppose 5*j - 2*o + 115 = 0, -o = -3*o + 10. Does 6 divide t(j)?
True
Suppose -4*f + 3*f + 10 = 0. Suppose -o - 4*m - 16 = 0, -o - f = m - 0*m. Does 10 divide 544/18 + (48/27)/o?
True
Let s = 100 + 160. Let n(w) = 2*w**3 - 3*w**2 + 3*w - 4. Let v be n(5). Let p = s - v. Is 13 a factor of p?
False
Let i(y) be the third derivative of -23*y**4/8 + 79*y**3/3 - 31*y**2 - 2*y. Is i(-12) a multiple of 58?
True
Let i(t) = t**3 - 10*t**2 - 6*t. Let c be i(10). Let p = c + 67. Suppose 0*b + p*b = 1225. Does 23 divide b?
False
Does 129 divide (308 - 50)/(6/561)?
True
Suppose 4*z + 3*k = -3 + 12, 0 = -2*k - 2. Suppose z*q - 39*q + 5220 = 0. Does 18 divide q?
False
Let p(y) = 4*y**2 - 6*y + 83. Is 19 a factor of p(-23)?
True
Let i(t) = -2*t + 4. Let v be i(0). Suppose -641 = -x + v*f, -4*f - 13 + 29 = 0. Does 53 divide x?
False
Suppose -13*r + 2016 = 15*r. Suppose -2*o + 21 = b - o, -4*b + 70 = -3*o. Suppose -r = -b*f + 17*f. Is f a multiple of 9?
True
Suppose 4*q - 3681 = 6479. Is (-3)/((-15)/q) - 2 a multiple of 70?
False
Let x be 1/6 - (-35673)/18. Is 7/(-105) - x/(-30) a multiple of 2?
True
Let p(b) = 57*b**3 + 4*b**2 + 48*b - 260. Does 8 divide p(6)?
False
Let v be ((-3)/12)/((-1)/44). Suppose -5 - v = -4*h. Suppose p + 166 = h*x - p, -4*x + 169 = p. Is 21 a factor of x?
True
Let w(x) = -x + 9. Let l be w(-7). Suppose 22*f - 300 = l*f. Suppose 4*s - 7 - 9 = 0, -f = -g + 3*s. Is 31 a factor of g?
True
Suppose 2*h - 25007 = -3*b, 5*b + 4620 - 46281 = h. Is b a multiple of 113?
False
Let c = -20 - -20. Suppose 397 = 5*x - t, -3*t - 2 + 11 = c. Let b = -54 + x. Is b a multiple of 13?
True
Suppose -23*t + 111514 = 74753 - 145330. Does 3 divide t?
True
Suppose 0 = 3*v + 4*n - 7272, -n = -14*v + 9*v + 12120. Is v a multiple of 101?
True
Let o(a) = 199*a. Let k be ((-3)/(-3))/((-2)/10). Let f = 6 + k. Is 34 a factor of o(f)?
False
Suppose 2*h = -3*i + 7*i + 30, -2*i + 30 = 2*h. Suppose -h*t + 2380 = 2*t. Is 35 a factor of t?
True
Let a(f) = f**2 - 2*f - 19. Let m be a(6). Does 29 divide (-6)/(-14) + (m - (-10848)/21)?
True
Let f(h) = h**3 + h - 1. Let t be f(0). Let v be 16/4 - (1 + 1 + t). Is 43 a factor of (v + -6)*(0 - 258/9)?
True
Suppose -5*r + 26398 = 3*x, -x - 10546 = -46*r + 44*r. Does 46 divide r?
False
Let q(j) = -2*j**2 - 40*j + 44. Let w be q(-21). Let p = 5 + -5. Suppose p = o + 2*o - 3, w*b = -o + 119. Is b a multiple of 16?
False
Let x(u) = 29*u + 193. Let t be x(-7). Is 96/t*125/(-2) a multiple of 75?
True
Let x be 5/(-1) + -3*548/(-12). Let f = x - -60. Is 32 a factor of f?
True
Let o = -39098 + 58973. Is 17 a factor of -5 + o/40 + (-2)/(-16)?
False
Suppose -2 - 2 = 4*l, -4*p - 5*l + 15 = 0. Suppose -p*v = 2*m - 74, -15 = -m + 2*v + 40. Suppose 43*y + 280 = m*y. Is y a multiple of 35?
True
Let q(a) = a**3 + 20*a**2 - 22*a + 22. Let l be q(-21). Suppose 5*g + 8 = -7, -2*g - 394 = -4*o. Let n = o - l. Is 7 a factor of n?
False
Let l be (36/15)/((6 - 10)/20). Let d be (-2)/4 + (-146)/(-4). Let q = l + d. Is 10 a factor of q?
False
Let b = -530 + 806. Suppose 277*s - b*s - 461 = 0. Does 10 divide s?
False
Let h = 11 + -5. Let n(a) = 14*a**2 - 5*a + 9. Let t(f) = -12*f**2 + 6*f - 7. Let i(l) = -5*n(l) - 6*t(l). Is i(h) a multiple of 2?
False
Let z(g) = 159*g**2 - 40*g - 31. Let q be z(7). Suppose 0 = -14*n + q + 4616. Does 24 divide n?
True
Suppose -205 = -10*s - 75. Let y(g) = 96*g - 8. Let t be y(7). Suppose 0 = 7*c + s - t. Does 8 divide c?
False
Let w(k) = 15*k**2 - 31*k + 269. Does 140 divide w(-22)?
False
Let o be (47/(-7) + 5)*(-140)/8. Let y(v) = v**2 - 11*v - 124. Is y(o) a multiple of 26?
False
Let g(r) = -r**2 - 2. Let w be g(2). Let b be (-210 + (-2 - w))/(-1). Suppose 50 = 4*d - b. Is 8 a factor of d?
True
Suppose 5*d + 417 = 47. Suppose 112*w - 93*w + 2261 = 0. Let x = d - w. Does 9 divide x?
True
Suppose -3*t + 873 = 3*y, -221*y + 2*t = -220*y - 282. Is 7 a factor of y?
False
Suppose -22*d - 15603 = -d. Let l = 1191 + d. Is 8 a factor of l?
True
Let r(h) = -2 - 2 - h**3 - 13*h**2 + 5*h**2 + 16*h + 2*h**2. Let t = -65 - -56. Does 23 divide r(t)?
False
Let w(v) = -4*v - 51. Let a be w(-17). Suppose 10*k = a*k - 56. Suppose k*t - 16 = 64. Does 5 divide t?
True
Let r = -41 + 43. Suppose -4*p - 3*u = -r*u - 4933, 3*p + 2*u - 3701 = 0. Is p a multiple of 11?
False
Let b(a) be the second derivative of a**4/12 + a**3/3 - 15*a**2 + a. Let x = 533 - 543. Does 11 divide b(x)?
False
Suppose 2*u + 2*z = 4*z - 12, 4 = 4*u + 3*z. Let f be -21 + 6 + 1/(u/(-6)). Does 6 divide 2/(-4) + 6 + (-966)/f?
False
Let i(v) = 2*v**2 - 24*v + 17. Let k be i(19). Let p be (1 - 152) + (3 - 7). Let y = p + k. Is 12 a factor of y?
False
Suppose 5 = -4*w - 7. Let x(k) = -34*k + 16. Let n be x(w). Suppose -3*z + 2*z = -n. Does 15 divide z?
False
Let k = -102 - -32. Suppose -5358 = 9*t - 104*t + 6612. Let z = t + k. Does 14 divide z?
True
Let k = 447 + -279. Suppose 8*v + 4*i = 11*v - 3, 4*i = 12. Suppose -v*z + k = z. Does 7 divide z?
True
Suppose 54*l - 13066 = 7643 + 4293. Does 53 divide l?
False
Let c = 185 + -192. Let x(i) = -17*i + 23. Does 18 divide x(c)?
False
Suppose -3112 = -1071*m + 1070*m. Does 40 divide m?
False
Let y(l) be the first derivative of 56*l**3/3 - 3*l**2 - 4*l + 21. Is y(-1) a multiple of 4?
False
Suppose -5*b + 23 = -4*b + 5*h, 5*h = 20. Su