
True
Let k be 3 - (-3)/(-3) - -100. Suppose -4*f = -2*u - 24 + 8, 0 = 4*u - 3*f + 17. Does 20 divide (k/153)/(0 + u/(-87))?
False
Let t(j) = 3 - 4 - 5 - 136*j + 3. Let v be t(5). Let m = -450 - v. Does 47 divide m?
False
Let o = -25824 - -26577. Is 20 a factor of o?
False
Suppose 15*b - 18*b = -9. Suppose 34 + 71 = b*q. Suppose -q = -4*v + 13. Does 12 divide v?
True
Let j(v) = 19*v**2 - 41*v + 163. Let i(z) = -7*z**2 + 14*z - 55. Let s(l) = 8*i(l) + 3*j(l). Is s(5) a multiple of 19?
True
Let x(o) = 50*o - 70. Let c be x(7). Suppose 0 = 279*g - c*g + 770. Is 55 a factor of g?
True
Suppose -17*b + 5*d = -15*b + 25, 4*b = 3*d - 15. Suppose 4*m - 3*q = -7*q + 456, q - 4 = b. Is 6 a factor of m?
False
Let y = 155 + -131. Let h(d) = -2*d**2 + 4 + 6 + 52*d - 6. Is 50 a factor of h(y)?
True
Let c(a) = 7*a**2 - 20*a + 8. Suppose -5*m - 1 = 4*v, -3*v - 24 = -2*m - 2*m. Is 3 a factor of c(m)?
False
Let x(t) = -t**3 + 28*t**2 - 36*t - 125. Is 16 a factor of x(24)?
False
Let c be ((-135)/(-18) - 0)*(-8)/(-6). Let m(d) = d**3 - 9*d**2 + 8*d - 19. Is 15 a factor of m(c)?
False
Let b be (-7)/(357/6) + (-19)/(-17). Is (b*1974/(-35))/(4/(-10)) a multiple of 49?
False
Let f(q) = q**2 - 3*q - 63. Let m be -5 - 10/((-70)/(-21)). Is f(m) a multiple of 14?
False
Let i be 0 - -2 - (0 + -1). Let y(c) = c**3 - 8*c**2 + 26*c - 34. Let g be y(4). Suppose -i*l + 87 = 3*n, 2*l + 3*n = 62 - g. Is 14 a factor of l?
False
Let b be 23 - 3 - (-7 - -4). Suppose -w + 43 = -5*c - b, 0 = 5*w - 5*c - 370. Is 10 a factor of w?
False
Let i be (-3)/(-12) - (-3 - 99/(-12)). Let p(s) = 14*s**2 + 11*s + 72. Is 13 a factor of p(i)?
False
Let k(a) be the first derivative of 201*a**5/20 + a**2/2 + 25*a - 12. Let g(u) be the first derivative of k(u). Does 31 divide g(1)?
False
Let q be (-1842)/(-26) - (-64)/416. Suppose 62*t = q*t - 3528. Is t a multiple of 14?
True
Let v(z) = -z**2 + 1. Let r(d) = d**3 - 9*d**2 - 8*d - 1. Let s(q) = r(q) + 6*v(q). Is s(16) a multiple of 19?
True
Suppose -4*g = x - 2440, -x + 4081 = -g + 1651. Suppose -5*w - 732 = -x. Suppose -p + 98 = -4*r, -5*r - 63 = -4*p + w. Does 8 divide p?
False
Let y(n) = -n**2 - 4*n + 9. Suppose 15 = -5*u + 10*u. Suppose 3*r + 9 = -u. Does 7 divide y(r)?
False
Suppose -14*r + 11*r - 240 = 0. Suppose 0*n + 656 = 4*n. Let u = r + n. Is u a multiple of 14?
True
Suppose 0 = -282*u - 1481124 + 7779876. Is u a multiple of 16?
True
Let k(p) = 7*p**2 + 210*p + 73. Does 7 divide k(-35)?
False
Let s(n) = 2*n**2 - 19*n - 23. Let y be s(25). Let w = y - 395. Is w a multiple of 21?
True
Suppose 4*s - 358 = -3*j, 3*j = -2*s + 4*s + 370. Let r = j - -160. Is 13 a factor of r?
False
Let d = 48 - 37. Let y(u) = -u**2 + 9*u + 18. Let p be y(d). Let k = p - -19. Does 15 divide k?
True
Suppose -3*l + 59 - 13 = -5*p, -12 = -l + p. Suppose l*i + 134 = -118. Is (i + (-8 - -8))*14/(-6) a multiple of 14?
True
Let q(c) = -c - 2. Let u(x) = -x**2 - 6*x - 19. Let b(p) = -3*q(p) - 3*u(p). Is b(-4) a multiple of 12?
False
Let a = -7121 + 12399. Suppose -14*o = -a - 4424. Is o a multiple of 53?
False
Suppose 0 = 2*f - 19 + 55. Let n(p) = -11*p + 42. Let q be n(f). Let j = q + -80. Is 40 a factor of j?
True
Let l(j) = -j**3 + 12*j**2 + 2*j - 10. Let a be l(12). Suppose -6 = -5*d - 4*i + a, -4*d + 3*i = 15. Does 19 divide 1/3*489 - d/1?
False
Suppose 3*i + 12520 = 4*s, -7*i + 12*i = 5*s - 15650. Suppose 5*z + 0*z - s = -2*l, 0 = -5*l + 25. Does 22 divide z?
False
Let b be -10 + (-621)/(-63) + (-30)/(-14). Suppose -5*p + 767 = b*z, 0 = -z + 3*p - 8*p + 376. Is z a multiple of 5?
False
Suppose -4*t = -7*m + 6*m + 32, 3*t = -5*m + 45. Suppose -4*a = m, 3*k - 33 = 3*a - 0. Does 4 divide k?
True
Suppose -2*k + 3*v + 13488 = 0, -4*k - 5321 = -2*v - 32321. Is k a multiple of 7?
False
Suppose -6*q + 6383 = -835. Let m = -578 + q. Does 49 divide m?
False
Suppose 0 = -4*v + v + y + 2148, -5*y = 2*v - 1415. Is v a multiple of 7?
False
Let s(c) = 65*c**2 + 64*c - 32*c - 39*c - 11. Is 85 a factor of s(-3)?
True
Suppose -83 = -d + h, 0*h - 4 = 2*h. Suppose -4*f + 3*j = -101, 3*j = -f - 2*f + d. Suppose -l + 106 = -5*p, -f = -l + 3*p + 76. Is l a multiple of 14?
False
Let b be (-2)/(-8) - (-594)/24. Let h(v) = 88*v + 553. Let a be h(-6). Suppose a = o - b. Does 10 divide o?
True
Suppose -7*l + 9*l - 10 = 0. Suppose 0 = 9*g - l*g - 4. Is 2733/12*g + (-1)/(-4) a multiple of 22?
False
Let f(b) = 3*b**2 - 2*b + 12*b - 4*b**2 - 16. Let l be f(8). Suppose l = -18*n + 1696 + 140. Is 26 a factor of n?
False
Let n(i) = -5 - 2*i - 6*i - 8 + 5*i. Suppose 3*d + 3*h = 4*h - 21, -5*d - 2*h - 35 = 0. Is 8 a factor of n(d)?
True
Is 153 a factor of (-123 + 52)/((-3)/236*20/30)?
False
Let a = -5 + -10. Does 12 divide (-40)/a*(-162)/(-4)?
True
Suppose -68 = -3*w + 49. Suppose 41*x - w*x = 0. Suppose q + q - 262 = x. Is q a multiple of 24?
False
Suppose 18794 = i - q, 3*q = 1106*i - 1108*i + 37618. Is 50 a factor of i?
True
Let h(c) = -c + 31. Let k be h(34). Is 17 a factor of (2/(-10))/(k/3315)?
True
Suppose 4*y + 5*r - 50047 = 0, -2*y = -3*r + 6318 - 31347. Does 36 divide y?
False
Suppose 168*r = 332*r - 162*r - 5838. Does 4 divide r?
False
Let z(y) = -37*y - 49. Suppose -8*h + 16 = -10*h. Does 19 divide z(h)?
True
Let y(u) = 6*u**2 + 6*u + 6. Let d be y(-1). Suppose -d*g + 16 = 2*g. Is 2 a factor of g/(90/1135) + 6/(-27)?
False
Let q(f) = -7*f + 1. Let d(s) = -8*s - 59. Let u(h) = -3*h - 20. Let i(a) = 6*d(a) - 17*u(a). Let p be i(0). Is 19 a factor of q(p)?
False
Is 117 a factor of (-154442)/(-11) + ((-696)/5280 - 2/40)?
True
Let p = 505 + -502. Suppose -3*u = -6*u + 141. Let k = u - p. Is k a multiple of 18?
False
Let o(m) = -m**3 - 20*m**2 - 19*m - 13. Let v be o(-19). Let a = v + 9. Let w(g) = -15*g. Does 12 divide w(a)?
True
Let d = 7936 + -2934. Is 15 a factor of d?
False
Suppose -245520 = -67*m + 37*m. Is m a multiple of 44?
True
Let r = 41 + -21. Suppose 22*s = r*s + 108. Suppose -4*a = u - s, -97 - 97 = -4*u - 5*a. Is 9 a factor of u?
False
Is 5680 - (1/(-1) - -11) a multiple of 27?
True
Suppose 5*s - 170 = 3*i, -3*i = -4*s + 83 + 83. Is 19 a factor of (-60)/i + (-429)/(-5)?
False
Let u(q) = -22 + 16 + 0 + 18*q**3 - 6*q + 2*q**2. Does 67 divide u(3)?
False
Suppose 35*q = -7218 + 26013. Does 6 divide q?
False
Suppose 2*r = -8 - 0. Let i(q) = q**2 + 35*q - 176. Let v be i(-40). Is 9 a factor of (18/(-4))/(r/v)?
True
Let x(k) = 16*k**2 - 2*k + 1. Let l be (4 - 0) + -5 + 4. Suppose t - l - 6 = -4*g, -g - t = -3. Is x(g) a multiple of 21?
False
Let q be (-1215)/18 - (0 - (-3)/(-2)). Let m = -68 - q. Is 7 a factor of 8/m - (-37 - -5)?
True
Let a(z) = -z**3 - 5*z**2 - 2*z - 9. Let r be -5 - (-5 - (-5)/1). Let q be a(r). Does 4 divide ((-144)/(-27))/(q/6)?
True
Suppose -6*v = -25*v + 4595 + 11479. Is v a multiple of 6?
True
Let g(f) = 2*f**3 - 34*f**2 + 31*f + 33. Suppose -4*l = -14 + 22, -2*y - l = -30. Is 4 a factor of g(y)?
False
Suppose 168 + 162 = -33*m. Let g(p) = -p**2 - 1. Let y(n) = -13*n + 5. Let h(a) = -2*g(a) - y(a). Is 4 a factor of h(m)?
False
Suppose 29*m + 50*m - 119810 = 32581. Does 26 divide m?
False
Suppose h - 41234 = 5*m, -h - 13189 = m - 54471. Is 35 a factor of h?
False
Suppose 0 = -12*v + 8833 - 8533. Let w be (-5)/(-2*(-2)/(-8)). Is 22 a factor of -3 - (v/w)/(1/(-10))?
True
Suppose -19*u - 50 = -14*u. Let g be -5*(4 - (-3 - -8)). Is ((-106)/(-1))/((-4)/(u/g)) a multiple of 4?
False
Does 19 divide 5/((-300)/(-24)) - 1652/(-20)?
False
Let a be (-3)/2*(-210)/9. Let x = 33 - 30. Suppose -x*c = -4*c + a. Is c a multiple of 4?
False
Suppose 0 = -32*v + 34*v - 8. Suppose -j = -v*j + 15. Suppose 2*r + 2*n - 251 - j = 0, r - 108 = 4*n. Does 24 divide r?
False
Let d(l) = 23*l**2 + l + 1. Let b be d(-1). Suppose b*z - 5542 + 1011 = 0. Is z a multiple of 4?
False
Let h(v) = -v**3 - 18*v**2 - 2*v - 29. Let u be h(-18). Let x(d) = d**2 - 7*d - 2. Let w be x(u). Is ((-9)/w + -4)/(1/252) a multiple of 18?
True
Let x(n) = -n**3 - 8*n**2 - 10*n + 6. Let l be x(-6). Is l + 5 - (-1056)/3 a multiple of 27?
True
Suppose 2*r - 10 = 0, 0 = -3*o - 4*r + 5 - 0. Is 27 a factor of 9/(-15) - 0 - 3918/o?
True
Let s = 83042 + -47842. Is 160 a factor of s?
True
Let g(j) = 10*j - 24. Let l be g(8). Suppose 5*n - l = -2*n. Suppose -2*p - 336 = -n*p. Does 12 divide p?
False
Is (108/(-45) - -3) + (-42