v be ((8/(-3))/(-4))/(4/x). Let s = v + 33. Is 3 a factor of s?
False
Suppose 36*f - 33*f - 21700 = -5*i, 21700 = 5*i + f. Does 35 divide i?
True
Suppose -395 = 10*w - 425. Suppose w*b = 4*j - 1577, 35*j = 31*j + 5*b + 1583. Is 49 a factor of j?
True
Let k(x) = -10*x + 19. Let q be k(0). Suppose -13*c = -q*c + 900. Is c a multiple of 30?
True
Let t(f) = -162*f + 1250. Is 63 a factor of t(-122)?
False
Suppose -1407*d - 1058440 = -1447*d. Is 47 a factor of d?
True
Let g(u) = 4305*u + 163 - 2166*u - 2159*u. Is 21 a factor of g(5)?
True
Let z(x) = 16*x + 21. Suppose 6*g - 422 = -398. Is z(g) a multiple of 17?
True
Suppose 4*s - 6*t - 9 = -t, 5*t + 10 = 5*s. Suppose -k + 4*z = -3*k + 232, z = -s. Does 4 divide k?
False
Is (-18)/(-14) - (-61283580)/1883 a multiple of 19?
True
Let y be 3 - ((-15)/3 + -4). Suppose 5*u - y + 2 = 0. Suppose q - 527 = -u*q - 5*l, -159 = -q - 5*l. Does 23 divide q?
True
Let y = 321 - 483. Let t = y + 277. Is 23 a factor of t?
True
Let t = -664 + 1459. Let w = t - 424. Is w a multiple of 71?
False
Let x(c) = 32*c**3 + 2*c**2 + 1. Suppose 5*i + 5*h - 31 = h, -2*i - 3*h = -18. Is x(i) a multiple of 23?
False
Suppose v - 108 = -96. Suppose 0 = -18*u + v*u + 2724. Does 36 divide u?
False
Does 36 divide (-267 + -2 + -5)*(-45)/6?
False
Let o(f) = -f. Let s(y) be the second derivative of -y**4/6 + 11*y**3/3 - 15*y**2 - 2*y. Let z(a) = 3*o(a) - s(a). Is 38 a factor of z(18)?
True
Is 11 a factor of ((-1760)/12)/(-5)*261/6?
True
Suppose a - 28922 = -o, -3*a + o + 86768 = 2*o. Suppose 42*c + 993 = a. Does 35 divide c?
True
Let r = -23 + 47. Suppose -29*i = -r*i + 75. Let f = i + 77. Is f a multiple of 21?
False
Suppose -c - m = -3, 0 = m + 5 - 8. Suppose c = -3*d + 4*h + 421, -2*d + 0*d + 3*h + 279 = 0. Does 6 divide d?
False
Let l = -4121 - -4467. Is 28 a factor of l?
False
Let u be (2 + 16/(-6))*24. Suppose 2*t + 4*s = -22 - 2, -2 = 2*s. Is (t - 2)/(u/40) a multiple of 6?
True
Suppose -1 = o + f, -4*f = o - 29 + 33. Suppose -4*j + 3*x = -0*j - 609, o = 2*j - 4*x - 302. Does 14 divide j?
False
Let m(o) be the second derivative of o**3/6 - 3*o**2 + 27*o. Let z be m(13). Suppose -350 = -z*b - 42. Is b a multiple of 22?
True
Is 6 a factor of 2/1*(-5 - -97)?
False
Let g = 12335 + -10005. Is 15 a factor of g?
False
Suppose 4*k - 2068 = -152*b + 156*b, 0 = -5*k + 4*b + 2584. Does 32 divide k?
False
Let h = 16011 + -9551. Is 17 a factor of h?
True
Let l(m) = 161 - 32*m - 12 + 135. Is 7 a factor of l(-24)?
False
Suppose 14*g - 87 = 11. Suppose 0 = g*y - 6467 + 1336. Is y a multiple of 25?
False
Let q = -4815 + 4712. Let z be 1/4 + 337/(-4). Let g = z - q. Is g a multiple of 19?
True
Suppose 37*z - 18*z = 133. Suppose 0 = -2*b + p + 1978, -z*b - 3*p = -3*b - 3946. Is b a multiple of 13?
True
Suppose -12 = -4*o + l, 8 = -3*o - 4*l - 2. Let n be o/(-7) - (435/21 - -1). Let u(x) = -x**2 - 23*x + 32. Does 18 divide u(n)?
True
Does 52 divide 23*-8*1*236/(-16) + 1?
False
Let f be 188/(-5)*(-63 + 48). Suppose 5*i + 266 = r, 4*i + 420 = 4*r - f. Does 6 divide r?
False
Let n(c) = -c - 3. Let j be n(-6). Let v be -12 + (3 - 425/(-5)). Suppose -j*i = i - v. Does 9 divide i?
False
Suppose 4*z - 19 = -4*d + z, 0 = 4*d - 5*z - 11. Suppose -3*j - 4*y = -138, -d*j + 191 = -4*y + 7*y. Is j even?
True
Let h = -211 - -357. Let x = 11 - -74. Let m = h - x. Does 4 divide m?
False
Let m(l) = 18*l**2 + l - 11. Let o be m(-5). Let a = o + -294. Let n = a - 36. Does 36 divide n?
False
Suppose 5*p - 1111 = -6*p. Let v = p - 101. Suppose -2*t + v*t = -120. Is 30 a factor of t?
True
Suppose 1242102 + 13110 = 63*h. Does 34 divide h?
True
Suppose -2917*h + 961590 = -2882*h. Is h a multiple of 6?
True
Suppose 7*l - 6*l = 1. Is (-2 + l + -13)*30/(-7) a multiple of 15?
True
Suppose 3*x + 69*o - 14883 = 66*o, -5*o - 9971 = -2*x. Is x a multiple of 184?
True
Let r(k) = 2 - 10*k + 7*k - 12*k. Suppose 104*d = -77 - 443. Is r(d) a multiple of 11?
True
Let f be ((-83)/(-4))/(231/28 + -8). Suppose -4*a - 3*j + 0*j = -294, -4*j - f = -a. Is a a multiple of 4?
False
Suppose 0*s - 3*s = 3*u + 24, -2*s - 16 = -u. Let k = s - -136. Is k a multiple of 5?
False
Suppose 14*s = 119*s + 6313 - 66688. Does 25 divide s?
True
Let h = -33 + -63. Let b be (-2 - -3)/(5 - h/(-20)). Suppose 0 = 3*c, 2*c + 490 = b*g - 0*g. Is 23 a factor of g?
False
Suppose 2*n = n + 64. Suppose 3600 - n = -8*b. Let a = -285 - b. Is 23 a factor of a?
False
Suppose 50*i = 42*i - 2120. Let c = i - -460. Does 3 divide c?
True
Let d(b) = b**2 - 7*b - 25. Let u be d(10). Suppose t + 55 = -4*j, 4*t + u*j + 336 = 94. Does 8 divide t/12*((-224)/(-3))/(-8)?
False
Suppose 0 = 5*s - 5*n - 6805, 0 = -2*s + 7*s - 3*n - 6809. Is s/4 + 2/((-8)/3) a multiple of 34?
True
Suppose -13*r - 780 = -3*r. Suppose -3*n + 184 = 2*i, 4*n + 114 = i - 0*n. Let m = i + r. Is 20 a factor of m?
True
Let a = 35656 + 21272. Does 16 divide a?
True
Let t be 27/(-6) - 1/2 - 19. Is (-174)/(-1) - t/24 a multiple of 5?
True
Let f(v) = -17 - 14*v**2 - 2 + v**3 + 14*v + 12*v + 3. Is 9 a factor of f(13)?
True
Let y = -31 + 50. Let s = 36 - y. Let t = 7 + s. Does 6 divide t?
True
Let m = -309 + 314. Let z(b) = 20*b**2 + 3*b - 14. Is 35 a factor of z(m)?
False
Suppose 144*i - 150*i = -1170. Is 50 a factor of (i/30)/((-2)/(-44))?
False
Let p(h) = -5*h**2 + 2*h + 4. Let m be p(-5). Let w = -113 - m. Is 18 a factor of w?
True
Let b(f) = -f**2 - 24*f - 39. Let o be b(-22). Let c be (o + 1)/((-57)/(-1102)). Suppose -54 - c = -2*v. Does 10 divide v?
False
Let k(y) = y**3 - 3*y**2 + 4*y - 15. Let w be k(5). Suppose -o + 250 = w. Does 25 divide o?
False
Suppose -5*u + 23*u - 42552 = 0. Suppose 7*v = v + u. Does 24 divide v?
False
Suppose -50*v - 5*v - 12*v + 1024832 = 0. Is 133 a factor of v?
False
Let b(o) be the second derivative of -2*o**3/3 + 14*o**2 + 11*o. Let a be b(6). Is 431/a + 1/4 a multiple of 9?
True
Let s = 13447 - -11617. Is s a multiple of 6?
False
Suppose -3*t + 426 + 225 = 3*g, 0 = 3*g + 4*t - 651. Suppose 2*l = -g + 825. Is l a multiple of 6?
False
Does 7 divide (-15)/(675/(-32545)) - (-4)/(-18) - 2?
True
Suppose 3*z - 5 - 7 = 0. Suppose o = -z*o + 15. Suppose 5*k - 484 = 2*f, 5*k = f + o*f + 488. Does 12 divide k?
True
Let y(o) = 14*o**2 - 14*o + 16. Let w be y(6). Is (-312)/(-10) - w/(-545) a multiple of 9?
False
Let i = 457 + -429. Suppose i*f - 1520 = -12*f. Is 13 a factor of f?
False
Suppose 64*i - 69*i = -3*f - 189012, 2*f - 37792 = -i. Is 74 a factor of i?
False
Suppose -4*a + 14 = s, 2*s + 5*a = -s + 42. Let d be (40/140)/(2/s). Suppose -2*u - d*u = -368. Is u a multiple of 31?
False
Let x(j) = 3*j - 13. Let v(u) = -u**3 - 6*u**2 - u + 1. Let n be v(-6). Let r be x(n). Let p = 7 + r. Is p a multiple of 14?
False
Does 12 divide (-32)/(-24) + 25060/6?
False
Let r(f) = -f**3 - 10*f**2 + 6*f - 1. Let q be r(-12). Suppose 0 = 5*l + 40 + q. Does 4 divide (1 - (-110)/6)/((-34)/l)?
False
Is 821 + 11/(88/(-40)) a multiple of 6?
True
Let p be (-11)/((-11)/(-3))*-755. Is 8 a factor of 20/70 + (p/(-7))/(-5)?
False
Suppose -6*s - 7800 = -0*s. Let y be (24/5)/((-30)/s). Is 17 a factor of (y/(-6))/((-16)/24)?
False
Suppose 2*q + 12 = 6*q. Suppose 7*a = q*a + 160. Let h = a + -7. Is h a multiple of 7?
False
Is (33/528 - (-177)/(-16))*-431 a multiple of 22?
False
Let h(w) = 12*w - 136 - 141 + w**2 + 289. Is 7 a factor of h(-19)?
False
Does 5 divide (7 - 44322)/(-15*(-18)/(-54))?
False
Suppose -2*n = 5*b - 111, -4*n = -5*b + 66 + 27. Let a be 452/(-6) + (-14)/b. Let t = a + 124. Does 12 divide t?
True
Let k(l) = -129*l + 2495. Does 4 divide k(17)?
False
Let c = -4821 + 18108. Is 16 a factor of c?
False
Let g(t) = 4*t**3 - 3 - 4*t**2 + 32*t - 42*t + 8 - 5*t**3 + 6. Does 7 divide g(-9)?
False
Let h(o) = 48*o**3 + o**2 + 7*o - 1. Let q be h(3). Suppose -3*v + 2225 = 4*u, 3*v + u = q + 903. Is 62 a factor of v?
False
Is (-110841)/(-66)*2 + 12/66 a multiple of 10?
False
Let k(c) = -5*c**2 - 23*c. Let f be k(-8). Let t be (f/(-16) + (-2)/4)*-103. Is 42 a factor of ((-56)/(-3))/(7 + t/120)?
False
Suppose -74*s + 26 = -87*s. Is (636/(-72))/((-33)/(-18) + s) a multiple of 12?
False
Suppose 0 = 4*g - 5*w - 29, 8 = 3*g - 2*w - 5. Let s be (288/8)/(-9)*(g - -2). Is (5/2)/(42/s - -4) a multiple of 5?
True
Let p = 4362 - 1599. Let k be p/39 + 1 + (-6)/(-39). Let s = k