. Is 6 a factor of (63/(-12))/(24/u)?
False
Let y(v) = -3*v. Let d be y(-1). Suppose 3*u + 6*g = d*g + 15, 3*u + 3 = 3*g. Suppose f - 108 = -4*j, 3*j = -j + u*f + 108. Is 12 a factor of j?
False
Let j(i) = i**3 + 7*i**2 + 4*i - 8. Let v be j(-6). Suppose v*y + 2*n = 64, 24 = -y + 3*y - 3*n. Is 15 a factor of y?
True
Is 11 a factor of (231/99)/((-1)/(-162))?
False
Let q be (-2)/4 + 27/18. Is 16 a factor of (q - 860/(-6)) + (-1)/3?
True
Does 4 divide (3/(-15))/(-2 + 289/145)?
False
Suppose 392 = 10*f + 4*f. Does 14 divide f?
True
Let t be (-28)/(-35)*10/4. Suppose 2*m = -4*v + 356, -2*v - t*m + 0*m = -178. Is 27 a factor of v?
False
Is (25 + -1)/((27/(-12))/(-3)) a multiple of 16?
True
Suppose 8*z - 4*q - 4245 = 3*z, 4*q = -3*z + 2515. Is z a multiple of 65?
True
Suppose 0 = -0*x - 3*x. Let t = x + 2. Suppose -t*z - 22 = -4*z. Is z a multiple of 3?
False
Let u be 1122/18 - ((-15)/(-9))/5. Let t = u - 50. Is t a multiple of 7?
False
Let z = -20 + 32. Let d = z + -4. Is 18 a factor of (114/10)/(d/80)?
False
Let h(p) = -p**3 - p**2 - 2*p + 63. Suppose -16 = -5*t + t. Let r = 4 - t. Does 21 divide h(r)?
True
Suppose -72*r + 75*r - 2818 = -2*z, 4*r - 3*z - 3729 = 0. Is r a multiple of 104?
True
Let c(l) = l**2 - l + 66. Let v be c(0). Let q = 102 - v. Let x = 112 - q. Is x a multiple of 14?
False
Let t(j) = j**3 - 3*j**2 + 9 + 0*j**2 - 2*j - 5. Let m be t(4). Is 124/7 + m/42 a multiple of 18?
True
Let i(s) = -s**3 - 7*s**2 + 10. Let q be i(-7). Let h = q + -5. Suppose -24 = -4*d + 5*c, 0 = -h*d + 2*c + 2*c + 30. Is d even?
True
Let r(i) = -i**2 + 10*i - 16. Let d be r(7). Suppose 2*l - d*h = 134, 0 = -2*l - 2*l - 3*h + 216. Is l a multiple of 18?
False
Is 27 a factor of (-9)/15*-35*81?
True
Let v(n) = 2*n**2 + 11*n + 278. Is v(-11) a multiple of 21?
True
Let q(m) = 5*m - 51. Let x be q(17). Suppose 194 = 8*n + x. Is n a multiple of 4?
True
Let g be 4/2*(-9 - -7). Let p = g - -6. Suppose -p*x - 2*x = -124. Is 16 a factor of x?
False
Let u be 2/5*610/4. Suppose 0 = -z + 13 + u. Is 8 a factor of z?
False
Let k = -2 + 4. Let j be k/(-6) + (-2)/(-6). Is 9 a factor of 33 - (-6)/(j - 2)?
False
Let i = -891 - -1611. Is i a multiple of 35?
False
Suppose -192 = -5*c - t, -c - 5*t = -61 + 13. Let x = c - 63. Is 5 a factor of 8/10 - 105/x?
True
Let t(n) = 10*n**3 - 2*n**2 - 2*n - 4. Let r(k) = -k**3 + 17*k**2 - 17*k + 19. Let i be r(16). Is t(i) a multiple of 55?
False
Let k(x) = x**2 + 5. Suppose -1 + 3 = o. Suppose -3*t = 3*q - 8 + o, 3*q = -t - 4. Is k(t) a multiple of 12?
False
Let h(w) = 13*w**2 + 9*w - w - 14*w. Does 13 divide h(3)?
False
Let r = 37 + -39. Let d = -8 - -6. Does 3 divide (-10)/d - (3 + r)?
False
Let i = -602 - -3202. Is 50 a factor of i?
True
Let i be (-6706)/(-56) - 1/(-4). Suppose y - 344 = -3*y. Let v = i - y. Does 14 divide v?
False
Let t = 647 - 445. Suppose 0 = 5*s + 4*x - t, 0 = -4*s - 0*x + 4*x + 140. Is s a multiple of 11?
False
Suppose 0 = -15*s + 20*s + 15, s + 2403 = 2*d. Is d a multiple of 4?
True
Let v(u) be the first derivative of u**4/4 - 8*u**3/3 + 2*u**2 + 2*u - 1. Let c be v(8). Suppose 4*a + 5*q = 1 + c, a - 5*q - 40 = 0. Does 7 divide a?
False
Suppose -i - 587 = -5*m + 29, -m + i + 120 = 0. Is m a multiple of 10?
False
Let g = 40 + -15. Suppose -4*y = y + g. Let s(m) = -7*m + 5. Is s(y) a multiple of 16?
False
Suppose -3*d + 117 = 33. Let k = 52 - d. Is k a multiple of 11?
False
Let t(h) = -h**3 - h**2 + h - 20. Is t(-15) a multiple of 35?
True
Is 54 a factor of (-36456)/(-112) + 3/2?
False
Let n = -55 - -45. Is 10 a factor of ((-4)/n + 8/5)*62?
False
Let a be 375/105 - 4/7. Suppose -152 = a*c - 5*c. Is c a multiple of 53?
False
Let x(j) = 3*j**2 - j + 5. Suppose 10 = 2*f + 6. Is x(f) a multiple of 2?
False
Let d(c) = c**2 - 9*c - 11. Is d(14) a multiple of 8?
False
Suppose 0 = -2*f - 2*f - 384. Let c = 164 + f. Suppose -8*h = -4*h - c. Is 5 a factor of h?
False
Suppose 0 = 2*w - 4 + 32. Let v be 6*1/(3/(-2)). Is (-60)/(-14) - v/w a multiple of 4?
True
Let y = -1202 + 1728. Does 41 divide y?
False
Is 17 a factor of 8 + 3*52/6?
True
Let w = -44 + -4. Let l = -162 - w. Is ((-4)/6)/(4/l) a multiple of 19?
True
Is 36 a factor of 80/(-25)*(-7 + -23)?
False
Let l(a) = -a**3 - 6*a**2 + 4*a + 17. Let k be l(-6). Let y(f) = -f**3 - 6*f**2 - 3*f + 11. Is y(k) a multiple of 37?
False
Let u = 23 + -14. Suppose 0 = u*i - 13*i + 204. Does 51 divide i?
True
Is 208/(22/4 + 8 + -13) a multiple of 7?
False
Let a(j) = -93*j - 110. Is a(-3) a multiple of 24?
False
Let h be 24/(-132) + (-181892)/22. Let a be h/(-51) - 4/34. Suppose -a - 9 = -3*q. Is q a multiple of 19?
True
Let y = -20 + 22. Let w be -1 + 213 + 1 + -5. Suppose -6*k + w = -y*k. Is 24 a factor of k?
False
Suppose 23*r + 12825 = 38*r. Is 57 a factor of r?
True
Suppose -x = 5*x - 546. Does 7 divide x?
True
Suppose -2*o - 286 = -4*g, -5*g + 3*o = -123 - 234. Suppose 0 = -8*f + 9*f - g. Is f a multiple of 18?
True
Suppose 0*u - 4060 = -7*u. Suppose 4*k = -k + u. Does 29 divide k?
True
Suppose -5*c + 440 = -0*c. Suppose 0 = -x - 7*x + c. Does 3 divide x?
False
Let b(c) = 240*c - 11. Is b(2) a multiple of 58?
False
Suppose -2*g + 630 = -5*r - 99, -4*g + 1419 = 3*r. Let h be g/14 + (-1)/(-2). Suppose 2*k = o - h, -3*k - 63 = -4*o + o. Does 5 divide o?
False
Let c(d) = 2*d + 8. Let g = 1 + -7. Let f be 6/(-9) - 4/g. Is 8 a factor of c(f)?
True
Suppose -i - 2*i = 3*k + 81, -3*k = -i + 93. Is 15 a factor of (7/(-7))/(2/k)?
True
Let d be 45/(-3)*3/(-9). Suppose d*g + 0*g - 95 = 0. Is g a multiple of 4?
False
Is 7 a factor of (1 - (-46)/10)*375/10?
True
Let x(k) = k**3 - k - k - 2*k**2 - 44 + 49 - 2*k. Suppose -l = -1 - 0, -3 = -2*d + 3*l. Does 2 divide x(d)?
True
Let x(p) = -p**2 - 6*p - 4. Let f be x(-4). Suppose -12*v = -496 - 1112. Suppose -4*b = 4*t - 132, f*b - 4*t - v = 22. Is b a multiple of 13?
False
Let f be 8/4 + (-2 - 24). Does 29 divide (12/f)/((-2)/224)?
False
Let d be -1 - 12/2*1. Let i(m) = -m**3 - 4*m**2 + 5*m - 14. Does 25 divide i(d)?
False
Let x(o) = o**2 - 3*o + 2. Let d be x(3). Suppose -24 = 5*m + 4*h, 0 = 3*h + 5 - d. Is 11 a factor of (22/3)/(m/(-6))?
True
Let a = -1935 - -3512. Is 19 a factor of a?
True
Suppose g + 10 - 11 = 0. Is 27 a factor of 85 - 0 - 4/g?
True
Let u be (3 - 0) + 11*2. Suppose 0 = -5*c - u, 2*n + 12 = n - 3*c. Does 20 divide 4/n*87/2?
False
Is 4774/22 + 4*1 a multiple of 16?
False
Let g = 1024 + -693. Let r = 730 - g. Suppose -4 + 94 = u + 3*b, 4*u = b + r. Does 33 divide u?
True
Let y(b) = b**3 + 18*b**2 + 5*b - 144. Is 6 a factor of y(-16)?
True
Let k be ((-10 - -13)*(-20)/6)/2. Is (k - (-65)/10)*186 a multiple of 31?
True
Let q = 957 + -621. Let j = q - 152. Is j a multiple of 22?
False
Suppose 344 + 208 = 6*r. Is 5 a factor of r?
False
Let q = -11 + 147. Is q a multiple of 4?
True
Let h = 18 - 4. Let c(w) = w**3 - 14*w**2 - w + 17. Let j be c(h). Is (-447)/(-6) - j/(-6) a multiple of 15?
True
Suppose 0*z - 17 = -3*z + 2*o, z + o = 4. Let f = -8 + z. Let p = 6 + f. Is p even?
False
Suppose -6*u = -u - 210. Does 16 divide 33/2*280/u?
False
Let y(w) = w**2 - 4*w - 4. Let k be y(-3). Let m = -12 + k. Suppose 0*h - 205 = -m*h. Is h a multiple of 18?
False
Let c = -212 - -476. Suppose -16*p = -12*p - c. Is 26 a factor of p?
False
Let i(z) = -z**2 - 48*z + 217. Is i(-41) a multiple of 29?
False
Let r(m) = 5*m**3 + 22*m**2 + 36*m - 13. Let o(v) = -3*v**3 - 15*v**2 - 24*v + 9. Let z = 4 - 9. Let b(w) = z*r(w) - 8*o(w). Is 3 a factor of b(11)?
False
Let p = 706 + -404. Does 6 divide p?
False
Let x be (-3)/(-2 + (-14)/(-6)). Let p(s) = -10*s - 2. Let t be p(x). Let i = t - 29. Is 18 a factor of i?
False
Let i(b) = b**3 - 31*b**2 + 4*b + 60. Is 8 a factor of i(31)?
True
Suppose -5*h - 12280 = -5*r, -5*r + 4*h = -6168 - 6113. Does 15 divide r?
False
Suppose -2*o + 5*d + 90 = -160, 2*o - 3*d - 258 = 0. Suppose 0*b + 5*b + o = 5*j, -115 = -4*j - 3*b. Is 14 a factor of j?
True
Let r(l) = 4*l. Let p be r(1). Suppose 3*f + 2*z - p*z - 15 = 0, 2*z + 5 = f. Is 2 a factor of f?
False
Suppose 11*a - 1062 = 5*a. Is a a multiple of 6?
False
Suppose 7*p = 3*p + 600. Is 10 a factor of p?
True
Is 45064/301 + 10/(-14) a multiple of 8?
False
Suppose 2*t + 145 = k + 45, k = -t + 97. Let f = -32 + k. Does 33 divide f?
True
Is 1694/(-7)*4/(-8) a multiple of 11?
Tru