*x - j, 686 = 3*y - 2*x. Is y a multiple of 4?
True
Let i(y) = 3*y**2 + 107*y + 2000. Is 25 a factor of i(-69)?
True
Suppose 0 = 3*s + 4*z - 13, -5*s + 18 = 2*z + 1. Suppose 2*h - 4*f - 102 = 0, -s*f + 221 = 5*h - 73. Is h a multiple of 16?
False
Let h be (9 + -7)*(2/(-4) + 2). Suppose 4*m = 7*m - 339. Suppose -m = -h*s + 391. Is s a multiple of 28?
True
Let w be ((-28)/(-21))/(3/(-9882)*-4). Suppose h + 3286 = 3*z, -4*h = z - 5*h - w. Is z a multiple of 9?
False
Suppose -5*p = 4*h - 75, 2*h + 20 = p + 5. Let l(s) = -14 + 42*s - p + 14. Is 13 a factor of l(2)?
False
Suppose -2423 = -14*p - 351. Let x = p + -121. Is 27 a factor of x?
True
Let w(n) = n + 4 - 2 - 12 - 9. Let r be w(21). Suppose -r*a - 3*z + 56 = z, -4*a = 5*z - 100. Is a a multiple of 10?
True
Is 8/(-68) + (617820/85)/4 a multiple of 23?
True
Let y = 141 - 112. Let m be y*1*(-1 + -5). Does 29 divide (m/(-12))/((-1)/(-6))?
True
Let x = 12811 + 9629. Is x a multiple of 102?
True
Is (-249972)/(-33) + (-1)/(-14 + 3) a multiple of 101?
True
Suppose 3*i + 6143 = 4*k, 3*k + 4*i - 7671 = -2*k. Suppose 4*q + 1268 = 4*a, 5*a - k = -7*q + 2*q. Let s = -117 + a. Does 35 divide s?
False
Suppose 2353 = 12*z + z. Suppose -3*f + z = -389. Is f a multiple of 38?
True
Suppose 12*m - 12500 + 692 = 0. Is 12 a factor of m?
True
Suppose 2*d = -o + 98, -3*o + 0*o + 274 = d. Does 15 divide (7 + -19)*o/(-8)?
True
Suppose 5*u = -5*k + 29210, 9*k - 5*u = 4*k + 29190. Does 10 divide k?
True
Suppose -l - u + 175 + 121 = 0, 2*l - 556 = 4*u. Is l a multiple of 6?
False
Suppose 16807*y + 95472 = 16810*y. Does 204 divide y?
True
Suppose 5*l - 33880 = 3*p, 2*l + p - 17831 = -4279. Is l a multiple of 14?
True
Suppose 19*m + 528 = 15*m. Let p = m + 262. Does 13 divide p?
True
Let k(l) = 8*l - 119. Let a be k(27). Suppose 5*p = 4*i + a, -3*i = p - 11 - 16. Is 10 a factor of p?
False
Suppose -8*z - 4*p - 38206 = -10*z, 5*p = -20. Is z a multiple of 13?
False
Let p(r) = -r**2 - r - 2. Suppose -4*u = -11*u. Let k be p(u). Is 13 a factor of (3/(-6))/((2/k)/210)?
False
Let i be (-375)/(-100)*(-4)/(-3). Let d(z) = 18*z**2 - 11*z + 37. Is d(i) a multiple of 12?
True
Let x(g) = 3*g**2 - 7*g + 1504. Does 18 divide x(61)?
True
Let x be 1383/3*(0 - 2 - -3). Suppose 3*z - 932 = -2*n, -2*z - n + x + 159 = 0. Is z a multiple of 11?
True
Is 13 a factor of (-5 + 4958)/((-4)/(-8))?
True
Let m = 10681 + -8206. Does 9 divide m?
True
Is (0 - 2) + 3098 + (9 + -14)/(-5) a multiple of 39?
False
Suppose 0*h = 3*h - 2*v - 28150, 0 = 4*h - 2*v - 37534. Is h a multiple of 184?
True
Let n(w) = 8*w**2 + 555*w - 143. Does 22 divide n(-99)?
True
Let x(q) = -7*q**3 - 12*q**2 + 9*q + 21. Let b(u) = -2*u**3 - u**2 - 1. Let r(d) = 3*b(d) - x(d). Is r(-5) a multiple of 34?
False
Let x(w) = w**3 - 22*w**2 + 20*w + 22. Let u be x(21). Let d be (-32 + 3)*(0 - u). Suppose 109 = y + d. Is 16 a factor of y?
True
Does 8 divide -28*(-18)/(-4)*872/(-327)?
True
Let r(g) = -2*g**3 - 4*g**2 + 5*g + 2. Let t be r(-5). Suppose 4*d = 8*d + 132. Let v = t - d. Is 23 a factor of v?
False
Suppose -2*c + 29 + 1 = 0. Let a be 79 - (2/(-5) + (-9)/c). Suppose -3*p - 2*n = 2*n - 125, -2*n = 2*p - a. Does 7 divide p?
True
Let f = 5492 + 469. Suppose -f = 104*n - 107*n. Is 74 a factor of n?
False
Suppose 0 = -5*v + 4*x + 40, -3*x + 8*x = -25. Suppose -v*t + 674 = -174. Is 4 a factor of t?
True
Suppose 2020*u + 2017*u = 4039*u - 16480. Is u a multiple of 10?
True
Let g(a) = -a**3 + 34*a**2 - 155*a + 62. Is 73 a factor of g(18)?
False
Let p(u) = -u**3 + 5*u**2 - 2*u - 7. Let x be p(3). Let a be (x - 23/5) + 1174/(-10). Is (a/3)/(-3) - 5 a multiple of 3?
False
Let z(v) = 15*v**3 + 12*v**2 + v + 87. Is z(10) a multiple of 13?
False
Suppose 421775 + 175185 = 28*w. Is w a multiple of 52?
True
Suppose -g + 12591 = 2*a, -g - 2*a = -7*g + 75518. Does 3 divide g?
False
Let t be 0 - (33/(-21) + (-28)/(-49)). Is (-16017)/(-76) - t/(-4) a multiple of 15?
False
Let k(f) = -2*f - 13. Let x be k(-9). Let y be (2 - 2)*((-15)/(-6))/x. Suppose 9*a - 631 - 44 = y. Does 15 divide a?
True
Let h be (265 - -3) + (6 - 4). Let q be ((-378)/(-105))/(4/h). Let a = q + -129. Does 38 divide a?
True
Suppose 2*m - 31140 = -2*y, -4*m + 28183 = 3*y - 18530. Does 64 divide y?
False
Does 5 divide (664092/72 - -41) + 1*(-1)/(-2)?
True
Let k(c) = 0*c - 5 + 1 + 9*c. Suppose -5*f - 112 = -142. Does 8 divide k(f)?
False
Suppose -123*t + 142*t - 113810 = 0. Is 20 a factor of t?
False
Suppose -78 = -4*s + 2*x, s - 48 = -5*x - 1. Suppose 19*c = 20*c - s. Is 2 a factor of c?
True
Is (-75546)/(-3) - 95/(-18 - 1) a multiple of 19?
False
Suppose 70*g = -38091 + 643859 + 125242. Does 177 divide g?
True
Let n be ((-6)/(-21))/1 - (-62206)/133. Suppose 3366 - n = 6*q. Is q a multiple of 69?
True
Suppose 14 = 5*g + w, -26 + 10 = -4*g - 2*w. Suppose 0 = -3*j - 5*u + 349, -5*j - g*u + 4*u = -530. Is j a multiple of 36?
True
Let g(l) = 189*l**3 + 7*l**2 + 45*l - 164. Does 6 divide g(4)?
False
Suppose -3066486 = -310*b + 199*b. Is b a multiple of 38?
True
Suppose -5*x = -4*b - 47224, 13*b - 17*b - 24 = 0. Does 59 divide x?
True
Suppose 2*x + 2*o - 22 = 0, -5*x = -o - 11 - 14. Let s be 98/x + (-15)/45. Suppose -y = s*y - 1428. Is 42 a factor of y?
True
Suppose 0 = 3*r + 3*o - 639, 478 = 3*r - 3*o - 179. Let p = r - -284. Is p a multiple of 35?
False
Let p = 72 + -68. Suppose -3*d = -p*k - 4*d - 89, -2*d = 3*k + 68. Does 6 divide 2/(-11) + (-1588)/k?
True
Let w(n) be the first derivative of 137*n**2 + 254*n - 216. Does 116 divide w(5)?
True
Does 30 divide (792/(-48) - -13) + (-1)/((-6)/16941)?
True
Suppose -57*y + 60*y = 9. Suppose n - 5 = 3*v, -y*n + 4*v + 3 = v. Is (99 - -3)*n/(-2) a multiple of 17?
True
Is 6 a factor of 2/6 - (1050/(-90) + -6)?
True
Let c = 131 - 151. Does 33 divide c/(-15) - (-4728)/18?
True
Let z be (-2)/(-13) - (-1516)/(-52). Suppose -234 - 221 = -4*u - 3*t, 0 = 2*u + 5*t - 245. Let q = u + z. Is 27 a factor of q?
True
Suppose 4*s - 3*n - 15596 - 37064 = 0, -n + 26320 = 2*s. Is 50 a factor of s?
False
Let l(w) be the first derivative of -w**2/2 + 6*w + 16. Let c be l(2). Suppose -c*z = z - 50. Does 5 divide z?
True
Suppose 0 = -f + 3*r + 4148 - 1114, -2*r = -8. Is 31 a factor of f?
False
Suppose 1 = y, -4*y = 5*s - 68975 - 20114. Is 83 a factor of s?
False
Let a be (2/4)/(2/(-4))*-3. Suppose -3*w + 6 = 2*y, 6*y - a*y - 3*w - 24 = 0. Let g(k) = 23*k - 10. Does 24 divide g(y)?
False
Let p(s) = -40*s - 198. Let x be p(-5). Is 3 a factor of x/4 - (-3731)/82?
False
Suppose 19*h = 24*h. Let s be -2 - ((-20)/5 - h). Suppose 3*n = 5*b - 7, 2*n - s*b - 14 = -2*n. Is n a multiple of 2?
True
Is 1/19 - (-3152412)/1292 a multiple of 20?
True
Let b = -3 + 3. Suppose b = -10*p + 1917 + 433. Is p a multiple of 47?
True
Suppose -156*r - 13996 = -51724 - 45576. Does 2 divide r?
True
Let v(y) = -788*y - 1726. Does 97 divide v(-9)?
False
Let a be 6230/21*(-48)/(-20). Let t = 274 + a. Does 17 divide t?
True
Suppose -25 = -5*g, -2*j + 9*g + 54677 - 11632 = 0. Is j a multiple of 155?
True
Suppose -965520 + 7815618 = 263*k. Is 30 a factor of k?
False
Let w be (6/(-9) + (-22)/(-15))*5. Suppose 0 = w*a + 2*a - 156. Is 3 a factor of a?
False
Let y(h) = 244*h**2 - 81*h - 420. Is y(-5) a multiple of 47?
False
Suppose -57 - 48 = -5*u. Suppose 2*g - 8 = 64. Does 5 divide (-3 + u/12)/((-3)/g)?
True
Suppose -265 = -d + 4*q, -10*d + 15*d = -2*q + 1303. Is 29 a factor of d?
True
Let c = -55 - -57. Let n = 109 + -97. Is 3 a factor of ((-90)/n)/((-1)/c)?
True
Let p = -4 + 8. Let d = -201 + 201. Suppose d = p*f + f - 455. Is 7 a factor of f?
True
Let l = -8 - 40. Let i be 4*(-4)/(l/3). Does 27 divide -2 + (-1)/(i/(-83))?
True
Suppose 3*s - 19546 + 70737 = 4*m, 0 = m - s - 12799. Is m a multiple of 9?
False
Let r(h) = 52*h**3 - 12*h**2 + 22*h + 6. Does 10 divide r(5)?
False
Let z = 10543 + 15717. Is 20 a factor of z?
True
Let b(y) = 37 + 0*y**2 - 21*y - y**2 - 16 - 45. Is b(-6) even?
True
Let m be (9/2)/(11/(-88)). Let p = 36 + m. Is 21 a factor of 78 + -1 - (p - 1)?
False
Let t(y) = -12*y + 36. Let q be t(-11). Suppose x = -2*v + 3*v - 121, -3*v + 487 = -4*x. Let j = q + x. Does 5 divide j?
False
Let g be -8 + (-39672)/(-32) + 2/8. Suppose 0 = 148*f - 146*f - g. Is 14 a factor of f?
True
Let u(p) be the third derivative of 3*p**5/20 + p**4/24 