Suppose -g*u + 2*u = -184. Is 28 a factor of u?
False
Let x(f) = -4*f + 3. Suppose 3*q = 8 + 22. Let p(i) = -8*i + 6. Let w(o) = q*x(o) - 6*p(o). Is w(4) a multiple of 7?
False
Let j = 21 + -52. Let k = j - -174. Does 25 divide k?
False
Let n(l) = -l - 7. Is 2 a factor of n(-21)?
True
Let a(k) = k**3 + k**2 - 11*k + 34. Is 58 a factor of a(8)?
True
Suppose -104*a + 1610 = -102*a. Does 23 divide a?
True
Let d(b) = b**3 - 21*b**2 + 20*b - 28. Let v be d(20). Let k = v + 19. Let j = 62 + k. Does 9 divide j?
False
Suppose 2*y + 6 = 2*p, p + 5*y + 0*y = 3. Does 14 divide (-53)/p*(1 + -4)?
False
Let k = -49 - -374. Is k a multiple of 33?
False
Let x(b) = b - 4. Let v(s) be the first derivative of -s**2/2 + 5. Let q(y) = -3*v(y) + x(y). Is q(4) a multiple of 4?
True
Let a(v) = -26 + 44 - 21 + 3*v. Let s = 26 + -16. Does 27 divide a(s)?
True
Suppose y - 6*i = -2*i + 671, 0 = 4*y - 3*i - 2749. Is y a multiple of 29?
False
Let v(f) = f**2 + 9*f + 12. Let y be v(-9). Suppose -4*o - 6*h = -h - 7, -3*o + 3*h = -y. Let k(q) = 4*q**2 + 5*q - 5. Is k(o) a multiple of 11?
False
Suppose 25 = 2*k + 29. Is (25/(-2))/((k/(-8))/(-1)) a multiple of 15?
False
Suppose 4*j - 4425 = -2*n - 615, -2857 = -3*j - n. Does 28 divide j?
True
Let o(c) = 7*c**2 - 13*c + 6. Does 14 divide o(-6)?
True
Suppose 0 = -14*n + 20*n - 576. Is n a multiple of 51?
False
Suppose -10*y = 6*y - 672. Is 6 a factor of y?
True
Let l(o) = 6*o - 7 + 3*o**2 - 12*o - 5*o**2 + o**2. Let k be l(-2). Is (27/(-18))/(k/(-70)) a multiple of 21?
True
Let q(p) = -5*p - 3. Let k(a) = 2*a**3 - 2*a**2 + a + 2. Let t be k(-1). Does 4 divide q(t)?
True
Let f be (-10)/(-2) + 2 + -5. Let t(h) = h + 4 - f*h + 12. Is 9 a factor of t(7)?
True
Suppose 7 = q - 3*f - 20, -4*q + 119 = -f. Is 2/(-3) + 1250/q a multiple of 14?
False
Let l be (-2)/3 + (-2542)/(-6). Let b be ((-3)/9)/(3/l). Let w = 79 + b. Does 15 divide w?
False
Suppose 831 = 136*k - 135*k. Is k a multiple of 35?
False
Suppose -963*v = -972*v + 5607. Is v a multiple of 33?
False
Let m(o) be the first derivative of -o**2/2 + 11*o - 1. Let r be m(9). Suppose 17 = r*j - 3. Is j a multiple of 3?
False
Let a(z) = -2*z - 3 + 10 - 4*z. Does 14 divide a(-5)?
False
Let p(g) = 8*g - 4. Let n(u) = 8*u - 1. Let r(t) = 9*t - 2. Let o(l) = -7*n(l) + 6*r(l). Let d be o(-4). Is p(d) a multiple of 13?
False
Suppose 2*n - 16 = 4*g - 0, -n + g + 5 = 0. Suppose 5*k + 275 = -5*w, -4*w + 3*k = k + 250. Is (15/(-10))/(n/w) a multiple of 15?
True
Suppose -3 = -3*l, 0 = -z + 3*l - 102 + 567. Is z a multiple of 36?
True
Let n(r) = -3*r - 8. Let z(u) = u + 1. Let q be z(1). Suppose q*c + 4*d = -0*d, -c - 5*d = -12. Does 16 divide n(c)?
True
Suppose -5*x + 4*x + 216 = n, -3*x - 4*n + 643 = 0. Is 33 a factor of x?
False
Let u be 3 + -9 + 3/(-1). Let v be 15/4 + u/(-36). Suppose -5*d - 7 + 27 = 0, v*d = -j + 27. Is 4 a factor of j?
False
Does 22 divide (16 + -12)*(-242)/(-4)?
True
Let i = 1336 - 985. Is 39 a factor of i?
True
Suppose 3*i = -2*x + 1195, -x - 122 = -2*i - 730. Does 17 divide x?
False
Is 7 a factor of ((-28)/(-8))/((-21)/(-42))?
True
Is ((-103929)/98)/((-2)/4) a multiple of 101?
True
Let w = 23 - 32. Does 3 divide (16/(-6))/(3/w)?
False
Suppose 12 = 2*u + 2*u. Let b = u + -6. Let z = b + 11. Is z a multiple of 2?
True
Let r(f) = -f**3 + 6*f**2 + 7*f - 8. Let y be r(6). Suppose -y = -2*s + s. Let k = s - 13. Is 9 a factor of k?
False
Suppose -30 = -d - 2*d. Let t be (12/(-15))/((-2)/d). Suppose -129 = -t*j - 9. Is 15 a factor of j?
True
Let i = 1 - -5. Let x be (-1)/i + 39/18. Suppose 0 = -4*a + 14 + 6, -x*v = 4*a - 34. Is 7 a factor of v?
True
Let f(h) = 197*h + 139. Is f(12) a multiple of 19?
False
Suppose 0 = 22*d - 43*d + 52374. Is d a multiple of 42?
False
Suppose -7*g = -6*g + 8. Let k = -30 - -55. Let r = k + g. Is 14 a factor of r?
False
Suppose 0 = 4*o - 9*o + 125. Let x = o + 7. Suppose 4*s + 0*s - x = 0. Is s a multiple of 8?
True
Let b be -183*((-9)/(-6) - 22/12). Let k = b - -153. Does 15 divide k?
False
Does 43 divide 9/(-24) - (-12402)/48?
True
Suppose -k = -4*k + 189. Suppose 0 = -4*n - 16, -3*n = l - 4*n + 31. Let v = k + l. Is 10 a factor of v?
False
Is 11 a factor of 1/((-1)/1 - (-13774)/13703)?
False
Suppose 0 = 2*t - 4, 42 = -5*x + 2*t + 998. Is 12 a factor of x?
True
Suppose -4*t + 3 = -17. Suppose -t*a = -3*l - 9, -2*l = -a - 4*a + 11. Suppose 0*p + a*j = -4*p + 42, -2*j + 31 = 3*p. Is p a multiple of 9?
True
Suppose 5*d - 306 - 79 = 0. Does 29 divide 22/d*7*31?
False
Let h(t) = 2*t**2 + 2*t + 8. Let a = -46 + 50. Does 24 divide h(a)?
True
Suppose 0 = 3*x + 80 + 67. Let a = 31 - x. Does 10 divide a?
True
Does 11 divide 2 - 17/((-85)/870)?
True
Let i = 211 - 69. Does 32 divide i?
False
Let n be -3 - -2*75/6. Suppose -2*z + 39 - 1 = -2*o, -2*o + n = z. Is 2 a factor of z/8 - (-1)/(-2)?
True
Let o(k) = -10*k - 5. Let t be o(-2). Suppose 22 = t*b - 188. Is 9 a factor of b?
False
Suppose -j - 2*j + 6 = 0. Suppose 0 = u - 5, -5*t + 4*u = -266 + 51. Let h = j + t. Does 13 divide h?
False
Let y = -7 + -1. Let z = y + 15. Suppose 3*u = 4*j + 346, 424 = 4*u - 3*j + z*j. Is u a multiple of 16?
False
Suppose 0 = 2*x - 2*b - 8, 3*b - b = 0. Suppose 2*q - 86 = -3*t + 451, 0 = -x*q - 4*t + 1084. Does 21 divide q?
False
Suppose -f + 101 = -0. Does 30 divide f?
False
Let m be 4*((-16 - -12) + 2*3). Let p = m + 40. Is 6 a factor of p?
True
Suppose y = 6 - 2. Let b be (y/6)/(10/645). Let q = b + -31. Is 3 a factor of q?
True
Let f = -15 + 30. Suppose 46 = 16*y - f*y. Is y a multiple of 24?
False
Suppose -l - 4*l + 4363 = -2*d, 4*l = -2*d + 3494. Suppose r - 294 = -2*k, 128 = -5*k - 5*r + l. Is k a multiple of 29?
True
Let k(z) = -2*z - 9. Let x be k(-4). Let r be (21/(-6))/(x/6). Is 7 a factor of (0 - (-1 + -1)) + r?
False
Suppose 300 = 5*w - 0. Let h(d) = d**3 - 8*d**2 + 3*d - 27. Let n be h(8). Is 15 a factor of 1/(184/w + n)?
True
Is 4 a factor of (-3012)/(-20) - ((-6)/5)/3?
False
Is 32 a factor of (18402/9)/(96/144)?
False
Suppose -80 - 249 = -7*p. Is 8 a factor of p?
False
Let c(s) = s**3 + 10*s**2 - 14*s - 48. Is 9 a factor of c(-6)?
True
Let l(j) = j**2 + 4*j + 6. Let w be (-3)/9 - (-34)/(-6). Does 6 divide l(w)?
True
Suppose -2*d - 5 = a, -d - 2*d = 4*a + 45. Let f = a - -14. Let h(u) = -78*u + 1. Is h(f) a multiple of 33?
False
Let w(x) = -2*x - 15. Let r be w(-3). Let d = r + 75. Is 21 a factor of d?
False
Suppose 0 = 4*t + 6*t - 890. Is 2 a factor of t?
False
Let t(d) = -17*d - 352. Is 25 a factor of t(-36)?
False
Suppose -75 = -2*o - 5*w, 77 = 2*o - 12*w + 15*w. Is 8 a factor of o?
True
Let p = -601 - -1038. Suppose 35 = -6*h + p. Is h a multiple of 14?
False
Is 57 a factor of (-5)/(-10)*3402 + (-5 - 0)?
False
Suppose 4*t - 1845 = -3*c, 4*t = -5*c + 9*c - 2432. Is c a multiple of 13?
True
Suppose -22*a + 25*a - 180 = 0. Let q = -36 + a. Does 6 divide q?
True
Let y(z) = 40 + 9*z + 13*z - 19*z. Does 20 divide y(0)?
True
Let w be (-66)/1*(-4)/(-3). Suppose -3*v - 263 = 109. Let c = w - v. Does 8 divide c?
False
Let u = 14 + -9. Let q = u - 0. Suppose 0 = q*v + 78 - 338. Is 15 a factor of v?
False
Let v be -1*(-1 + -7*2). Let z be v/(-10)*8/(-6). Does 20 divide z*159/18*3?
False
Let n(b) = 4*b - 25. Let s be n(7). Suppose -s*f + 20 = 2. Does 3 divide f?
True
Suppose -5*l = -2*t - 10 + 2, 2*l + t = 5. Let d be l/(-5)*(-2 + -3). Suppose -5*y + 25 = -d*x + 194, 4*x - 365 = y. Does 23 divide x?
True
Let y(f) = 2*f. Let d be y(-4). Let n = 6 - d. Is ((-96)/n)/((-2)/21) a multiple of 17?
False
Let a = -53 + 52. Is 19 a factor of (a - 5)*3*35/(-15)?
False
Let i = 2298 - 1100. Is 8 a factor of i?
False
Let a be (-1342)/66*(4 - 1). Let x = 53 - a. Does 19 divide x?
True
Suppose 3*y - 1176 = -4*y. Is 14 a factor of y?
True
Let l = 375 + -213. Is 34 a factor of l?
False
Suppose -i - 62 = -2*q, 0 = 5*q - q + 3*i - 144. Suppose q = 5*z - 22. Let r = -3 + z. Does 4 divide r?
True
Let m(l) = 14*l**2 + 3*l + 11*l - 14*l. Let k be m(1). Let n = 25 - k. Is 3 a factor of n?
False
Let k(w) = -w**2 - 5*w + 8. Let f be k(-6). Let t(h) = h**2 + 7*h + 10. Let g be t(-5). Suppose g*q + f*q = 6. Is 3 a factor of q?
True
Let k = -257 + 396. Is k a multiple of 34?
False
Let u = -35 + 5. Let j = u - -48. Does 6 divide j?
True
Suppose -7762 = -5*w - b, -5*w + 8*w - 4647 = -4*b. Does 38 