. Let l be u(6). Let h be ((-2)/1 + l)/(2/322). Let d = -226 - h. Does 16 divide d?
True
Let g = 11725 + -2501. Is 10 a factor of g?
False
Let f be 4/(-8)*6 - (-2 + -5). Suppose -11*j + 14*j + f*p = 162, 5*j - 2*p = 270. Is 6 a factor of j?
True
Let n(c) = 2*c**3 + 9*c**2 - 12*c + 33. Let a(z) = z**3 + 5*z**2 - 6*z + 17. Let j(o) = -5*a(o) + 2*n(o). Does 59 divide j(-12)?
False
Let h(c) = -6 - 10 + 5 + 19*c - 4. Suppose -5*y + 2*a + 30 = 0, 0 = 10*y - 5*y + 5*a + 5. Is h(y) a multiple of 3?
False
Let h = 6364 - 5300. Is h a multiple of 8?
True
Let z be 32/(-10) - 4/(-20). Let f be z/(12/38)*(5 + -7). Suppose 0 = -f*o + 15*o + 760. Is o a multiple of 38?
True
Suppose 0 = 5*y - 5*l - 60, 0 = -8*y + 5*y - l + 28. Suppose y - 5 = t. Suppose -t*p + o = -842, 0 = -3*p + o + 193 + 313. Is 28 a factor of p?
True
Let q = 247 + -99. Let r = q + -112. Does 6 divide r?
True
Let k be (-7)/(-8) - (-18)/144. Is 10 a factor of (34 - -765) + (-5 - k)?
False
Let m be (454/6)/((-7)/(-63)) + 1. Suppose 0 = -19*z + 21*z - m. Is z a multiple of 100?
False
Suppose 11*j - 20*j - 126 = 0. Is 2 a factor of (49/j)/(7/(-28))?
True
Suppose 12*d - 16 = 44. Suppose -5*x = 3*n - 2691, -1077 = -2*x + d*n - 6*n. Is x a multiple of 20?
True
Let b(t) = -8098*t**3 - t**2 + 113*t + 115. Does 4 divide b(-1)?
False
Let c = 188 - 183. Suppose 4*f + 104 = 2*n, 6 - 44 = -n - c*f. Does 24 divide n?
True
Let q(w) = -w**2 - w + 10. Suppose 2*h + 13 - 7 = 0. Let o be q(h). Suppose 2*d - 31 = -u, -4*u - o*d = -u - 87. Does 21 divide u?
False
Suppose 0 = -9*t + 29 + 7. Suppose -3*v + t*v = 115. Is v a multiple of 23?
True
Suppose -671*k = -660*k - 20592. Is k a multiple of 26?
True
Let y(l) = 32 - 49*l + 40*l + 24*l**2 - 12 + 28*l. Does 65 divide y(5)?
True
Let f(o) = -71*o**3 + 1 + 72*o - 72*o - 2*o**2. Let r be f(1). Is 12 a factor of ((-64)/48)/(-1 - 71/r)?
True
Suppose -14*q = -5*q + 2808. Let h = q - -544. Is 8 a factor of h?
True
Suppose -90 = -3*z + k, 5*z + 3*k - 150 = -k. Let r(i) = i**3 - 29*i**2 - 30*i + 76. Is 12 a factor of r(z)?
False
Suppose -3*f + 9 = -2*f. Let v be (f/(-3) - -14)*13. Suppose 5*x + 642 = 3*k + v, 5*k - 835 = 5*x. Is 14 a factor of k?
True
Let g be -1 - 2 - 77/(-7). Let v(z) = -z**2 - z. Let b(i) = -3*i**2 - 5*i - 16. Let p(y) = -b(y) + 2*v(y). Is 13 a factor of p(g)?
True
Let o(z) = 5 + 250*z**2 - 235*z**2 + 2*z + 9*z**3 - 19 - 10*z**3. Let l = 3 - -12. Is 16 a factor of o(l)?
True
Let v(q) = 1047*q**2 - 31*q + 65. Does 33 divide v(2)?
True
Let d(x) = -3*x - 10. Let y be d(-13). Let f = 83 - y. Is 70/21*f/5 a multiple of 3?
True
Let k = 10 - 9. Let m be 0/32*(0 - k)/(-1). Does 16 divide (m + (-5)/3)*-48?
True
Let m = 944 + -469. Suppose 5*j - m = 3*c, 0 = -3*j + c + 148 + 141. Suppose -z + 2*z - o = j, o = 0. Is z a multiple of 11?
False
Suppose n + 9119 = 2*z, -2*z = 3*n - 7932 - 1215. Does 19 divide z?
False
Suppose 406 + 34 = -10*n. Is (n - (-1)/(-1))*(-1344)/210 a multiple of 23?
False
Let x = -132 - -605. Let w = x - -177. Is 50 a factor of w?
True
Let v(j) = j**3 + 20*j**2 + 47*j - 49. Let z be v(-17). Suppose -x = -2*u - 519, z*x - 16*x - 1601 = -5*u. Is 31 a factor of x?
True
Let m = 413 - -952. Suppose 0 = -5*i - 5*q + m, 2*q - 6 = -0*q. Is 30 a factor of i?
True
Let l = -382 - -1339. Let c = l - 453. Is 9 a factor of c?
True
Let k = -2945 + 6129. Is 8 a factor of k?
True
Let p be 2/15 - (-4484)/570. Suppose -k - 890 = -3*l, -3*k + 5*k = p. Does 27 divide l?
False
Let j(b) = 148*b - 16. Let d be ((-8)/10)/((-2)/5). Does 7 divide j(d)?
True
Let r be (4/9)/(36/162). Suppose 0 = i - 5*p + 64, r = -p - 1. Let y = i + 167. Does 11 divide y?
True
Let a = -13906 - -19648. Does 29 divide a?
True
Suppose -1064 = 12*a - 21560. Is 3 a factor of a?
False
Let v be ((-1344)/160)/(8/(-20)). Let g(w) = 49*w - 15. Let t(m) = 16*m - 5. Let x(c) = -2*g(c) + 7*t(c). Does 27 divide x(v)?
False
Is 31 a factor of 3*25/(-50)*-106*23?
False
Let g = 454 + -442. Suppose 5580 = -g*v + 43*v. Is v a multiple of 18?
True
Let q be ((-4)/1)/(-4 + 3) - -3. Let p(o) = -19*o - 45. Let z be p(q). Let b = 378 + z. Does 20 divide b?
True
Suppose -2*z = -4*w + w - 8, -5*z + 20 = -4*w. Suppose 4*j - 32 = -w*j. Let g(t) = 31*t - 9. Does 27 divide g(j)?
False
Does 61 divide ((-50)/(-16))/(30/14640)?
True
Let f = -777 + 737. Is 724/10 - (0 - 16/f) a multiple of 12?
True
Let d(m) be the first derivative of -m**2/2 + 21*m - 24. Let o be d(10). Let i = 24 - o. Is 5 a factor of i?
False
Let n = 95 - 134. Let y = -38 - n. Does 31 divide y - (2/3 - 1578/18)?
False
Let j(z) = 579*z**2 - 233*z - 932. Is j(-4) a multiple of 24?
True
Let y(z) = z**2 + 79*z - 194. Is y(27) a multiple of 67?
False
Does 17 divide 68/(-22 - -5) + 10596/3?
False
Suppose -z - b - 3*b - 8 = 0, z + b - 4 = 0. Suppose -z*t - 95 = -13*t. Does 3 divide t?
False
Let l(s) = s**3 + 11*s**2 + 5*s + 167. Is 4 a factor of l(10)?
False
Let v be (2/(-6))/(2/(-18)). Suppose 195 - 51 = 2*n. Suppose 0 = 4*x + t + 2*t - 96, -v*t - n = -4*x. Is 5 a factor of x?
False
Let f be (-4)/6 - (-608)/48. Suppose -6602 = -f*n - 1082. Suppose -n = -13*r + 9*r. Is 5 a factor of r?
True
Let u = 14867 - 8889. Is u a multiple of 61?
True
Is 14 a factor of -5806*(-6)/15 - (-122)/(-305)?
False
Let c = -5026 - -14719. Does 27 divide c?
True
Let r(n) = 2*n**2 + 15*n + 24. Let c be r(13). Suppose 0 = -9*x + 847 + c. Is x a multiple of 6?
True
Let n be ((-99)/(-297))/((3/36)/(2/4)). Let g be (-1 + -19)*(-4)/10. Suppose -5*s - u + 124 = 0, g*s = 4*s + n*u + 102. Is 7 a factor of s?
False
Let u(l) be the third derivative of -l**4/12 + 9*l**3/2 + 32*l**2. Let k be u(16). Does 17 divide 0 + ((-427)/k - (-6)/(-15))?
True
Let u = 54 + -72. Let h(l) be the second derivative of -l**4/12 - 11*l**3/3 - 15*l**2 + l. Is h(u) a multiple of 21?
True
Suppose 10*w - 13*w = -372. Let j = 75 - w. Let n = j + 129. Does 20 divide n?
True
Let h = -4487 + 10472. Is h a multiple of 22?
False
Let z be 3/(-2)*(-4840)/66. Let d = 84 + z. Is d a multiple of 8?
False
Let z(h) be the second derivative of h**3/3 + 120*h**2 - 49*h. Is 18 a factor of z(0)?
False
Let f be (-5)/(-10)*28 - -1. Suppose f*d = 3*d + 5028. Is 30 a factor of d?
False
Suppose 3*a + 5448 = 2*r, -r + 2713 = 5*a - a. Is 31 a factor of r?
False
Is (-3)/(-2) + (-293862)/(-172) a multiple of 15?
True
Let x(o) = 1554*o**2 + 107*o - 286. Is 22 a factor of x(3)?
False
Suppose 0 = -4*i + z + 12568, 3123 = i - 3*z - 2*z. Is 10 a factor of i?
False
Let c(d) = -d**3 - 15*d**2 - 2*d - 28. Let q be c(-15). Let v(y) = 7*y**2 - 14*y - 5*y**2 + 9*y**q + 45 + y**3. Is 24 a factor of v(-12)?
False
Let b(o) = -63*o**2 - o - 1. Let n be b(1). Let l = n - -660. Suppose 5*i = -5*f + l + 185, -144 = -i - 4*f. Is 32 a factor of i?
True
Let u = 6733 + -4285. Is 12 a factor of u?
True
Let l = 9583 + -1558. Does 27 divide l?
False
Suppose -5*k - 360 = -4*m - 0*m, k = m - 72. Let d = k + -6. Is 13/d - (-110)/12 a multiple of 6?
False
Suppose 7*g + 540 = 10137. Is g a multiple of 3?
True
Let u(k) = k**2 + 69*k + 358. Does 5 divide u(-67)?
False
Let a = 58 + -34. Let v(u) = -u + 20. Let l be v(a). Is 427/14*-20*l/10 a multiple of 35?
False
Suppose -5*a - d - 1122 + 19746 = 0, 4*d = -5*a + 18606. Does 6 divide a?
True
Suppose -5*a + 10 = 4*f, 3*a + 8 = -3*f + 11. Suppose 307 + 251 = a*x. Is 54 a factor of x?
False
Is 81603/((-15)/(-5)) - (-18 + (14 - -1)) a multiple of 12?
True
Let w = 4 - 0. Let i be (10/(-5) - -6) + w. Suppose 7*t + 40 = i*t. Is 10 a factor of t?
True
Let k = -1924 - -4569. Is 23 a factor of k?
True
Let l be (152/6)/((20/12)/(-5)). Does 15 divide (5 + l/16)*3820?
False
Suppose 2*t - 6*c = -c - 33, c - 21 = 4*t. Let k(o) = -10*o + 2. Let v be k(t). Let n = -17 + v. Is n a multiple of 3?
False
Let v = 358 - 1672. Let b = v - -1977. Is b a multiple of 51?
True
Let p(q) = -q**3 + 19*q**2 + 20*q - 12. Let u be p(20). Let s = u - -70. Suppose -4*z - 93 + 14 = -3*c, 0 = -2*c + 4*z + s. Is c a multiple of 5?
False
Suppose 5212 = l + 5*j, -45*l + 10412 = -43*l - 2*j. Does 11 divide l?
False
Let z be (-495)/(((-2)/15)/(8/12)). Suppose -z = -538*o + 529*o. Does 4 divide o?
False
Let k(t) = -8*t - 32. Let s be k(-13). Is 15 a factor of 29136/s - (-1)/3?
True
Let o be (48/24)/((-2)/(-277)). Let l = o + -240. Is l a multiple of 5?
False
Does 2