*x - 15. Does 5 divide u?
True
Let c be (-128)/96*(-54)/4. Let z(q) = 5*q - 21. Is 16 a factor of z(c)?
False
Suppose 51*f + 10 = 53*f. Suppose -26 = -f*z - 1. Suppose -j + 3*j = 2*p - 268, -2*p - z*j = -261. Is 19 a factor of p?
True
Suppose t + 0*t = -4, 0 = -5*s - 4*t + 74. Let j = 130 + -130. Suppose j = 24*h - s*h - 876. Is h a multiple of 46?
False
Let k(o) = -o**3 - 4*o + 2*o**3 - 8 + 6*o + 6*o**2 + 2*o. Let w be k(-4). Suppose -3*m + 20 = 4*y - 334, 4*m = -w. Is 18 a factor of y?
True
Suppose -2*z - 3*t + 3114 = 0, 2*z - 16*t - 3124 = -14*t. Is 12 a factor of -78 + 81 + 0 + z?
False
Let x(i) = -2 - 10*i - 4*i + 6*i - 4*i. Let t be x(-6). Suppose 3*d = -4*c + 332, 0 = 2*d + c + t - 298. Does 8 divide d?
False
Suppose 0 = z + 6*z - 35. Suppose 0 = 2*i - 61 - z. Let o = i - -6. Is 13 a factor of o?
True
Let m = 23661 + -16042. Is 20 a factor of m?
False
Is (-5113350)/594*(-18)/10 a multiple of 46?
False
Let z(l) = l**3 + 8*l**2 + 10*l + 8. Let t be z(-6). Suppose -23*n = -19*n - t. Suppose n*g + 131 + 261 = 3*p, -5*g = 20. Is 8 a factor of p?
False
Let r(d) = -d**2 + 15*d + 2. Let q be r(-17). Let f = q - -1190. Is f a multiple of 81?
True
Suppose 11*t = -10*t - 4*t + 509850. Does 22 divide t?
True
Let c(w) = w**3 + 8*w**2 + 12*w + 2. Let f be c(-6). Is (26 - 21) + (f - -375) a multiple of 57?
False
Suppose -54 = -y - 2*d - 14, -y + 2*d = -40. Suppose y*g - 38*g = 1536. Does 48 divide g?
True
Let g = -9181 - -12135. Is g a multiple of 23?
False
Let x = 326 - 324. Is 5325/4 - 6/48*x a multiple of 11?
True
Let b(c) = c**3 + 12*c**2 - 33*c - 30. Let k be b(-14). Suppose 17*h - 15*h - k = 0. Is h a multiple of 20?
True
Let a be (-27)/(-18) + 925/10. Does 17 divide (a/(-3))/((-11557)/(-1053) + -11)?
False
Suppose 7*v = 26*v + 114. Is 21 a factor of (88/v)/(-2)*(-27)/(-1)?
False
Let i(c) = 24*c**2 + 11*c - 273. Does 31 divide i(-29)?
True
Let l be -3*(-280)/21*1. Is (14 + 22)*1/(2/l) a multiple of 90?
True
Let r(g) = 2*g**2 - 10*g - 18. Let m(v) = 3*v**2 - 13*v - 15. Let n be m(6). Is 11 a factor of r(n)?
False
Suppose -2*g = 4*s - 440, 2*s - 5*g = -4*g + 224. Suppose -r - 45 = -s. Is r a multiple of 3?
True
Let f(s) = -34*s**3 - 2*s**2 - 26*s + 13. Is f(-4) a multiple of 21?
False
Let k be (-39)/13 + (-5)/(-1). Let w(s) = -24*s + 2 - 4 + 17*s - 16*s - s**k. Does 22 divide w(-18)?
True
Is 98 a factor of (-2)/(-12) - (-2432952)/432?
False
Suppose 0 = 2*f - 12, 73260 + 31730 = 4*y - 5*f. Is y a multiple of 8?
False
Let d(l) = -l**2 - 35*l + 28. Let x = 36 + -59. Is d(x) a multiple of 38?
True
Let y(m) = -m**2 - 6*m - 5. Let g be y(-3). Suppose 0 = 5*f + x - 45, -31 = -4*f - g*x + 5. Suppose 4*k = f*k - 210. Is k a multiple of 15?
False
Let x be 5/6 - (-23849)/(-42). Let q = -147 - x. Is q a multiple of 10?
True
Is 13 a factor of (18 - (-13424)/(-12))/(3/(-99))?
True
Let r = 72 + -29. Let o = 47 - r. Suppose 3*u - o*q + q = 300, -509 = -5*u - 4*q. Does 14 divide u?
False
Suppose -3*u + 12 = 12. Suppose -4*b = -5*y + 15, b + 0*b = u. Suppose 12*x - 405 = y*x. Does 15 divide x?
True
Let y = -6818 + 13250. Suppose 387 = -15*m + y. Is 31 a factor of m?
True
Suppose 3 = -3*w, 2*s = 75*w - 77*w + 11898. Is s a multiple of 50?
True
Suppose 8*q = -56 + 144. Is (q/(-2))/(8 + 6633/(-828)) a multiple of 7?
False
Let m = -8302 - -10072. Does 15 divide m?
True
Suppose 13*t - 12*t = 7*t - 2730. Is t a multiple of 2?
False
Let x(a) = a**2 - 10*a + 20. Let v be x(11). Suppose -18*i + v*i - 8918 = 0. Does 20 divide i?
False
Let z = 50 - 40. Is ((-37)/(-5) - 7) + 2766/z a multiple of 15?
False
Let o(x) be the third derivative of 0*x + 7/8*x**4 - 5/6*x**3 + 0 - 45*x**2. Is 10 a factor of o(5)?
True
Let n be 70/28*(2 - -4*2). Suppose -36*m + n*m + 880 = 0. Is 10 a factor of m?
True
Suppose 0 = 1181*w - 1167*w - 46830. Is w a multiple of 15?
True
Suppose -5*u + 201304 = 3*j + 15107, 0 = -4*u - 5*j + 148955. Is u a multiple of 14?
True
Suppose -4*m + 3*u - 69 + 4 = 0, 0 = m - 3*u + 14. Let b(q) = -q**2 - 24*q - 1. Let d be b(m). Suppose 5*g = 4*g + d. Does 21 divide g?
False
Let g be (-380)/(-14) - 3/21. Is 48 a factor of (3/(g/(-5067)))/(-1)?
False
Suppose 1 = z - 2. Let n(l) = l - l**z + 5*l**2 + 59 + 14*l**2 - 8 - 20*l**2. Does 13 divide n(0)?
False
Does 25 divide ((-221)/34)/((-1)/1008)?
False
Let g = 452 + -236. Let d = 897 - 895. Suppose k + k + s - g = 0, d*k + 3*s = 216. Does 9 divide k?
True
Suppose 400 = q - 5*q. Let n be 5/(q/1816) - (-2)/(-10). Let i = 155 + n. Is 16 a factor of i?
True
Suppose -n - 4*j + 171 = 0, 5*n - 884 = 3*j + 40. Let k = n + -149. Is 12 a factor of k?
False
Let b be 268/(-6) + 5/(-15). Let w be (-243)/b + (-2)/5. Suppose -5*a - 815 = -w*q, -4*q + 2*q + 328 = -a. Does 15 divide q?
True
Let w = 9 - 10. Let y be 11 + (w - -1)/(-2). Does 10 divide y - (15/(-5) - 0)?
False
Let o be 5/(30/4)*(-231)/22. Let i = -13 - o. Let y = 119 + i. Does 22 divide y?
False
Let p be (88/14 - 8)*(-2443)/2. Suppose -4*n + 3*u + p = 8*u, -4*u = -3*n + 1586. Let z = n - 350. Is 44 a factor of z?
True
Let y be 0/((-2)/6 - (-35)/15). Suppose y*g = -w + 2*g + 4, 4*w - 3*g = 11. Does 5 divide w + -4 + 4 + 3?
True
Let c(s) = -s**3 + 19*s**2 - 17*s - 3. Let m be c(18). Suppose -m*j = -11*j - 156. Is 8 a factor of 0 - (-13)/(j/504)?
True
Suppose 3*m - 126 = -m + 3*q, 98 = 3*m - 4*q. Let v = m + 31. Let i = 108 - v. Is i a multiple of 6?
False
Suppose 61*w - 4 = 59*w. Suppose -k - b = -293, -w*k + 4*b - 212 = -792. Is k a multiple of 25?
False
Suppose 582 = -4*v + v - 3*w, -2*v = -4*w + 358. Is 17 a factor of 14/v + (-127257)/(-81)?
False
Let x(k) = 70*k - 7. Let o = 14 - 12. Let r be x(o). Does 9 divide (r - -1)*((-3)/(-2) - 1)?
False
Suppose -555 = -10*f - 105. Suppose -f*l = -46*l + 85. Does 4 divide l?
False
Does 33 divide 94 + -94 + 5940 + 0?
True
Let h(n) = 23*n**3 - n**2 - 1. Let t be h(2). Let w = t - 118. Is 8 a factor of w?
False
Suppose 2*g + 1 = s, 6 - 4 = 4*g + 2*s. Let l be 2/(-7) - 37/(-7). Suppose g*q = l*q - 340. Is 21 a factor of q?
False
Let o = 160 - 153. Suppose -3*k - 4*f + 1964 = 0, 5*k + 2*f = o*k - 1314. Is 16 a factor of k?
True
Let q be ((-2)/(8/10))/((-10)/60). Suppose -q*j = -3627 - 4473. Does 18 divide j?
True
Suppose 0 = -17*b + 24 + 61. Let s(r) = 2*r**2 - 4*r + 8. Let d(a) = a**2 - 4*a + 9. Let c(v) = -3*d(v) + 2*s(v). Does 23 divide c(b)?
False
Let s(g) be the first derivative of g**4/4 - 2*g**3/3 - 5*g**2/2 + 14*g + 1. Suppose -52*d - 497 = -809. Is s(d) a multiple of 25?
False
Let h = 2020 - 832. Is 9 a factor of h?
True
Suppose 129*v - 85*v = 75460. Does 13 divide v?
False
Suppose 0 = -2*d + 5*d. Suppose -3*q + 5*j + 5 = d, 8 = -4*j + 8*j. Suppose 632 = 6*h - 2*h + 2*c, 816 = q*h - 4*c. Is h a multiple of 15?
False
Let j(f) = -f**3 - 55*f**2 - 66*f + 447. Is 27 a factor of j(-55)?
True
Suppose 489 = -5*r - 351. Let w be 4 + r/4 - 0. Does 5 divide (16 - 15)/((-2)/w)?
False
Let z(p) = -348*p**2 - 3*p + 3. Let m(t) = 696*t**2 + 5*t - 5. Let r(j) = 3*m(j) + 5*z(j). Does 29 divide r(-1)?
True
Suppose -37*y + 45 = -32*y. Suppose 2*a - 7 = y. Suppose -a*c + 4*c = -192. Is c a multiple of 8?
True
Let s(t) = 20*t**2 - 5. Let g be s(6). Let w = g - 407. Is w a multiple of 77?
True
Let l = -37 + 73. Suppose -l*c + 4788 = -27*c. Is 19 a factor of c?
True
Suppose 3*v - 2611 = 5*c - 87543, 5*c - 84998 = -8*v. Is c a multiple of 14?
False
Let w be ((-2800)/(-6))/((-24)/(-216)). Suppose -11*v + 16*v - w = 0. Does 24 divide v?
True
Does 14 divide ((-17)/(-4))/((-33)/(-30624)) - 10?
True
Let c be ((-6)/9)/(4/54 - 0). Let i(y) = -115*y - 94. Is i(c) a multiple of 13?
False
Let k = 23 - -162. Is 9 a factor of (k/74)/((-1)/(-390))?
False
Suppose -4*d + 7*s + 24 = 3*s, 4*s + 12 = -2*d. Suppose d*z - 10 = 0, -z - 249 = -2*w + 230. Does 22 divide w?
True
Let h(u) be the first derivative of -55*u**2/2 + 16*u - 25. Is 57 a factor of h(-8)?
True
Is (228/(-513))/(6/(-20223)) a multiple of 16?
False
Suppose -4*t + 24516 = -4*n, -38*t + 5*n = -35*t - 18381. Is 89 a factor of t?
False
Suppose 11*m + 5*x = 6*m + 5470, 5 = -x. Let j = m - 709. Does 25 divide j?
False
Suppose -7 = g + 3*u, -5*g - 3*u = -u - 30. Suppose 6 = -3*k - 3*b, -k + 2*k + 4*b + g = 0. Suppose -3*z = -3, k*z + 4*z - 15 = -j. Is 10 a factor of j?
False
Let o = 1 + -1. Suppose -313*i + 12