ue
Let j(p) = -11*p + 123. Let a be j(11). Suppose 0 = -5*y + 2*x + 896, -4*x + 188 = -a*y + 3*y. Is y a multiple of 15?
True
Suppose 1134 = 6*t - 1368. Let d = t + -186. Is 33 a factor of d?
True
Let d = 254 - 282. Suppose 5*f + 63 = 233. Let n = d + f. Is 2 a factor of n?
True
Let z = 1371 + -465. Is z a multiple of 20?
False
Does 84 divide 414/(70/(-784)*(-32)/120)?
True
Suppose 99 = j - 3*t + 12, -4*t + 235 = 3*j. Suppose 8*p - j = 5*p. Suppose p*n = 25*n + 202. Is n a multiple of 7?
False
Let v(n) = -3*n + 363. Let f be v(0). Let l = f - 359. Does 2 divide l?
True
Is (-8)/(-68) + (-109786)/(-289) a multiple of 4?
True
Suppose 206 = g + 28*x - 23*x, -g = -3*x - 198. Suppose g = s + l, 3*s - 595 = 5*l - 6*l. Does 20 divide s?
False
Let v(n) = -427*n + 1374. Is v(-6) a multiple of 82?
True
Suppose 15 = 6*a - 21. Does 23 divide (-49 + 2)*(5 - a)?
False
Let h(b) = 16*b**2 + 87*b - 44. Is h(-10) a multiple of 61?
False
Let z(h) = h**3 - 12*h**2 + 3*h - 16. Let o = -68 - -138. Let l = o - 58. Is 20 a factor of z(l)?
True
Let u(m) = -17*m**3 + 7*m**2 + 93*m + 986. Is 29 a factor of u(-13)?
True
Let z(k) = -4*k - 2 + 1 - 18*k - 59*k. Let r(j) = j**3 - 23*j**2 - 1. Let i be r(23). Is z(i) a multiple of 10?
True
Let v(p) = 4*p + 163*p**2 - 3*p + p**3 + 3*p - 169*p**2 + 38. Is v(10) a multiple of 16?
False
Suppose -q - 29 = 2*m - 129, -5*m = -5*q + 470. Does 13 divide q*2*65/30?
True
Let z = 327 + -329. Does 36 divide (z + 6)*(-4 - -67)*1?
True
Let i = 38515 + -20515. Is 117 a factor of i?
False
Let h(d) = 1761*d**2 + 22*d - 32. Does 28 divide h(2)?
True
Suppose 3*m - z = -0*m - 140, -4*m = -z + 188. Let u be 84/16 - 4*(-3)/m. Suppose -3*q + 77 = u*j, 4*j - 4*q + q = 40. Is j a multiple of 2?
False
Let o be 5/(10/(-25)*5/(-2)). Suppose -35 = -3*q - o*i, -2*i + 18 = -q + 3*q. Suppose 2*z + 3*h = 58, -5*z + 122 = -q*h + h. Does 6 divide z?
False
Let v(f) = 2*f**3 + 11*f**2 + 16*f - 121. Let j be v(15). Suppose 11*s - j - 391 = 0. Does 14 divide s?
False
Let u(b) = 23*b - 2. Let p be u(3). Let h = 315 - p. Is 31 a factor of h?
True
Let a be 3 - (-118 + 0/1). Suppose 0 = -2*t + 4*g + 382, 0*t + 573 = 3*t - 5*g. Let v = t - a. Is v a multiple of 10?
True
Let t(b) = -b**3 + 3*b**2 + 2*b - 6. Suppose 0 = -3*r - 2*r + 10. Let u be t(r). Suppose -u*k - 57 = -2*j - 1, 0 = -3*k + 3. Is j a multiple of 10?
False
Let d be 17 - 2 - (-2 - -1). Suppose -l + d = 5*f + l, -3*f = -2*l. Suppose -58 = -2*c - 5*g, 2*g = f*c + 4*g - 52. Is 6 a factor of c?
True
Let g(a) = a**3 + a**2 - 1. Let r(v) = -3*v**3 + 3*v**2 + v + 29. Let z(b) = -5*g(b) - r(b). Does 6 divide z(-6)?
True
Let h be 48/(-3)*((-111)/(-12) - 3). Let v = 175 + -64. Let c = h + v. Does 10 divide c?
False
Let i(j) = j**2 - 15*j + 9. Let d be i(14). Is 25 a factor of d - 4/(-8)*116?
False
Let d = 3597 - -6668. Does 23 divide d?
False
Let p = -5839 + 10479. Is 160 a factor of p?
True
Suppose 3*n + 3*b - 2*b - 40 = 0, 2*n - 5*b = 4. Suppose 8 + 0 = 4*x. Is n/9*159/x a multiple of 30?
False
Suppose 0 = m - 8*m + 7798. Suppose 0 = -12*d + 1382 + m. Does 13 divide d?
True
Let j be (-616)/20 + (-4)/(-5). Is 10 a factor of (276/18)/((-4)/j)?
False
Let b(s) = 4*s**3 - 2*s - 5. Let o be b(-2). Let d(j) = -j + 8. Let w be d(6). Does 11 divide w/(-11) - (1 - (-1392)/o)?
False
Let x = 833 + -263. Suppose -3*w = -0*w - x. Is w a multiple of 10?
True
Let x = -321 - -331. Let w = 24 + -8. Does 8 divide 64/x*40/w?
True
Let w = -37 - -37. Suppose 20 = 5*h + 5*d, 6*h - 2*h + 5*d - 13 = w. Suppose h*g - 264 = g. Does 19 divide g?
False
Let p = 88 - 73. Let z(t) = 18*t - 97. Does 8 divide z(p)?
False
Suppose -w + 2*g = -0*g + 6, 5*g = 20. Suppose -4*b + 9 = 1, 4*l + w*b - 180 = 0. Does 28 divide l?
False
Let x = -4694 + 8942. Is x a multiple of 4?
True
Let u(w) = -8*w - 68. Let f be u(-10). Suppose q = -5*x + 97, -11*q + f*q - 2*x = 83. Is 6 a factor of q?
False
Let l = -98 + 102. Suppose -3*w - 4*b = 24 - 4, -l*b = 2*w + 16. Let o(i) = 2*i**2 - 4*i. Does 6 divide o(w)?
True
Is (21 + -23)/(14/(-10577)) a multiple of 17?
False
Does 122 divide (-76)/266 - (-297200)/28?
True
Suppose -831 = -4*f - 3*j, 109*f - 836 = 105*f - 4*j. Does 34 divide f?
True
Let d(y) be the first derivative of -y**3/3 - 17*y**2/2 + 5*y - 11. Suppose -42 = -w + 4*w. Does 7 divide d(w)?
False
Suppose 7400 = -198*d + 203*d. Is d a multiple of 8?
True
Is 4 a factor of 1/(((-9)/11016)/(24/(-18)))?
True
Suppose -4*x - 4091 = -5*b + 6693, 0 = 5*b - 3*x - 10788. Is b a multiple of 86?
False
Suppose -5*r = -5, -u + 2*r = -3*r - 521. Let b = 807 - u. Does 8 divide b?
False
Let m be (-4)/8 + 1 + 51/(-6). Is 18755/217 + m/(-14) + -1 a multiple of 5?
False
Let y(b) = b**2 + 10*b + 13. Let a be y(-4). Let l(i) = -i**2 - 9*i + 20. Let d be l(a). Is 15 a factor of ((-844)/6)/(d*(-1)/(-3))?
False
Let a(o) = -4*o - 48. Let l be a(-13). Suppose 23 = l*c - 1417. Is c a multiple of 20?
True
Suppose -2856 = -g + 5*l, -8568 = 40*g - 43*g + 2*l. Does 17 divide g?
True
Suppose -2142 = -k - b, 18*k - 3*b = 23*k - 10718. Is 29 a factor of k?
True
Let d = 2495 + 70. Suppose -7*i = 255 - d. Is i a multiple of 5?
True
Suppose -4*n + 3*n = -4*z + 2237, z - 538 = -4*n. Suppose 0 = 3*k - z - 366. Does 24 divide k?
False
Suppose 2*q - b = 335, 0*b = 4*b - 20. Does 41 divide 11 + -6 + 0 + q?
False
Let h = -5 - -21. Let z = -76 + h. Is 3 a factor of ((-184)/(-10))/((-24)/z)?
False
Let y = -4752 - -5398. Does 19 divide y?
True
Let c(m) = m**2 - 10*m - 12. Let u be c(-14). Suppose -3*x - u = -996. Is 39 a factor of x?
False
Let m(w) = -w**3 - 11*w**2 + 6*w. Let b(l) = l**2 - 10*l - 20. Let u be b(12). Suppose -15 = u*k + 37. Is 10 a factor of m(k)?
True
Let d(z) = 607*z**2 - 21*z + 12. Is d(3) a multiple of 66?
True
Let j be -56*((-2)/(-16) + 116/(-32)). Let v = 374 - j. Does 13 divide v?
False
Let x(g) be the first derivative of g**4/4 - 8*g**3/3 - 6*g**2 - 16*g + 61. Let a be ((-2)/6)/((-10)/300). Is x(a) a multiple of 16?
True
Let t(r) = r**3 - r**2 - 6*r + 3. Let o be t(3). Let x(k) = k**3 + 3*k**3 - 2 - 3*k**3. Is x(o) a multiple of 13?
False
Suppose -44 = -i - 3*i. Suppose -k = 3*p - i, -4 = -p - p. Suppose k = f, -2*n = f + f - 88. Is n a multiple of 4?
False
Suppose 0 = -3*p + 2*h - 0*h - 43, -5*p - 2*h - 45 = 0. Let l = -10 - p. Does 26 divide -2*l - 954/(-9)?
True
Suppose 11*a = 14504 + 2128. Is a a multiple of 189?
True
Suppose -24*z + 572202 = 23*z - 153290. Is z a multiple of 4?
True
Let u be -2 + 5/((-20)/(-8)) + 34. Let j = 37 - u. Suppose -4*y - j*y + 77 = 0. Is 10 a factor of y?
False
Let o(i) be the second derivative of 3*i**5/20 + i**4/6 + 3*i**3 + 4*i**2 - i + 8. Does 8 divide o(4)?
True
Let n(r) = 213*r**2 + 211*r + 1090. Is n(-5) a multiple of 28?
False
Suppose 33*u - 45*u = -48. Suppose -u*t + 7*t = 0, 3*y - 5*t = 1035. Is y a multiple of 69?
True
Let j(m) = -m**2 + 19*m + 265. Let t be j(28). Let z(u) = 14*u + 52. Is z(t) a multiple of 39?
True
Let z = 124 + -71. Let s = z - 51. Suppose s*w + 9*w = 495. Does 15 divide w?
True
Is 11519 - (((-18)/(-6) - 6) + -3 + 5) a multiple of 18?
True
Suppose 4*x - c - 82 = 0, 69*x - 72*x + 58 = c. Let k = -160 - -72. Let p = x - k. Is 12 a factor of p?
True
Suppose -21*c - 888246 = -230*c + 195001. Is c a multiple of 125?
False
Suppose -25*z + 12360 = 3*j - 22*z, -z - 4 = 0. Is j a multiple of 24?
False
Let n(h) = 169*h**2 - 22*h + 152. Does 22 divide n(6)?
False
Suppose 0 = m + 2*q - 6 - 3, -5*m + 3*q + 6 = 0. Suppose -3*f + 438 = -m*l, -311 = -4*f - 4*l + 257. Is (f/14)/(3/42) a multiple of 15?
False
Let z(d) = d**2 - 12*d + 15. Let t be z(11). Let y = -14 - -16. Does 28 divide 143 + (y - t - 1)?
True
Let n(q) = -4*q - 2 + 1 - 2*q**2 + 3*q**2 + 3. Let d be n(0). Suppose -d*c + 90 + 150 = 0. Does 20 divide c?
True
Let s = 28686 + -13744. Does 31 divide s?
True
Let r = -78 - -73. Let n(x) = 2*x**2 + 25. Let h(s) = -s. Let c(w) = r*h(w) + n(w). Is c(-10) a multiple of 35?
True
Suppose -r = 4*r - 105. Let v = 14 - 10. Is 27 a factor of (-65)/v*(-14)/r*6?
False
Let a = -756 + 11620. Is a a multiple of 21?
False
Let i(o) = -32*o**3 + 24*o**2 - 14*o + 4. Is 123 a factor of i(-5)?
True
Suppose -15230 = -221*v + 219*v - 4*q, -5*v - 3*q + 38082 = 0. Does 17 divide v?
False
Let g = -62 - -44. Let d be (g - -14)/(1*1/(-3)). Let b = 80 - 