 c + 15 = 5*u + 3, 5*u - 77 = -4*c. Let b(g) = 4*g - 22. Let i be b(7). Let d = c - i. Does 6 divide d?
False
Suppose 2 = s - 0. Is 12 a factor of s + ((-96)/(-3) - -2)?
True
Suppose -5*d + b - 57 = -1122, 639 = 3*d - 3*b. Suppose 2*v = 3*c + d, -5*v + 3*c - 8*c + 470 = 0. Does 33 divide v?
True
Let a(b) = -5*b - 7. Let v be a(-2). Suppose -28 - 344 = -v*g. Is g a multiple of 26?
False
Let w be 0*(10/(-4))/5. Suppose -u = 2*s - 59, w = -2*u + 3*u + s - 62. Let h = -17 + u. Does 12 divide h?
True
Let z = 350 + -235. Suppose -6*k = -11*k + z. Is 15 a factor of k?
False
Let h = -417 - -1077. Is h a multiple of 20?
True
Suppose -43*x + 15529 = -20806. Does 13 divide x?
True
Let v = 12 + 40. Suppose -2*f - v = -312. Let r = f - 70. Does 12 divide r?
True
Let l = -26923 + 39035. Is (-2)/17 - (l/34)/(-2) a multiple of 56?
False
Let g be (-7)/(-28) - 13/4. Let d be -9*g/(27/3). Suppose 2*t = -5*b + 375, -2*b - t = d*t - 166. Is b a multiple of 11?
False
Suppose -437 = -2*r + 15. Is 33 a factor of r/(-6)*(-14 - -8)?
False
Let q(m) = -3*m**3 + 57*m**2 + 31*m - 48. Does 23 divide q(19)?
False
Let n be 6 - (3 - 7) - 4. Suppose 5*v - n = 3*v. Suppose -l = 3*h - 56, -v*h - h + 52 = l. Does 18 divide l?
False
Does 31 divide (3 - 10) + (1566 - 23)?
False
Let m = -28 - -34. Let q = m - -24. Does 15 divide q?
True
Does 68 divide 27564/42 - (-1 + (-18)/(-14))?
False
Suppose 0 = -23*m + 28*m - 2210. Is m a multiple of 6?
False
Is 6/5*11645/51 + -2 a multiple of 3?
False
Suppose 2*n + 757 - 2173 = 0. Is 6 a factor of n?
True
Let v be 192/9 + 16/24. Suppose 15 = 3*n - 5*m - 5, 2*m = 4*n - v. Suppose o - n*j = -o - 1, j = -2*o + 29. Is 9 a factor of o?
False
Suppose -3*f + 13 + 26 = 0. Suppose -f*h = -5*h - 184. Does 23 divide h?
True
Suppose -5*h + 4 = -1. Suppose -3*u - 26 = -5*t, t = h + 3. Is (148/(-8) - -3)*u a multiple of 13?
False
Suppose 3*j = 8*j - 860. Suppose 140 + j = 4*d. Is 13 a factor of d?
True
Suppose 0*n = 5*n - 25. Suppose -2*g + n*g = 33. Is g even?
False
Suppose -4548 = -22*r + 26978. Is r a multiple of 68?
False
Let h = 343 + 531. Is 42 a factor of h?
False
Let r(m) = -m**2 + 10*m + 1. Let t be (5 + -9)/(-1 - 1). Let v(i) = 2*i**2 - 11*i - 1. Let y(l) = t*v(l) + 3*r(l). Is 14 a factor of y(-10)?
False
Let u(s) = s**2 + 2*s - 5. Let w be u(2). Does 37 divide -92*((-3)/(-6))/(2 - w)?
False
Is 35 a factor of 245/(-7)*(-5 + -2)?
True
Let j(l) = 2*l**3 - 50*l**2 + 54*l + 114. Does 5 divide j(24)?
False
Let a(y) = 29*y**3 - 2*y - 1. Let o be a(-1). Let s = 48 + o. Is s a multiple of 10?
True
Let w = -49 - -83. Suppose 4*v - w = 86. Let a = v + -9. Is a a multiple of 21?
True
Suppose 0 = 226*r - 231*r + 7140. Does 34 divide r?
True
Let z be 0 + (10 - (2 + -3)). Let x(s) = z*s**2 - 8*s**2 - 4 + s + 13*s**2 + 3. Is 4 a factor of x(1)?
True
Is (-4)/10 + (-635)/(-25) a multiple of 25?
True
Let l(v) = 12*v**2 + 22. Is l(-5) a multiple of 7?
True
Let t = -490 + 570. Is 8 a factor of t?
True
Does 10 divide 566/4 + (3/2)/(-3)?
False
Let b(c) = 2*c - 1. Let y be b(2). Let f(i) = y + 0 - 5*i**2 + 12*i**2 + i**3. Does 13 divide f(-6)?
True
Suppose d = -l + 171, 3*d + 7*l = 6*l + 509. Is 7 a factor of d?
False
Let o = -645 - -1506. Does 32 divide o?
False
Let v be 0 - 2 - -14 - -4. Suppose 5*x = -0*k + k + v, 2 = x + k. Suppose 0 = -d - x*d + 228. Does 10 divide d?
False
Let p = 117 - 150. Is 11 a factor of (476/(-51))/(2/p)?
True
Let z(p) = -13*p - 200. Is z(-26) a multiple of 14?
False
Let t = 2346 + 151. Is 18 a factor of t?
False
Let y be 3 - (0 + 1 + -2). Suppose y*a + 3*m - 250 = m, 2*a - 3*m = 129. Suppose 9 = 2*s + 3*l - 14, -5*l - a = -2*s. Does 19 divide s?
True
Suppose -3*b = 3*y + 9, 4*b - 5*y - 35 = -b. Suppose -b*w + 52 = -6*w. Let v = w - -17. Is v a multiple of 4?
True
Suppose 623 + 2897 = 8*z. Is z a multiple of 8?
True
Let b(y) = 652*y**3 + y**2 - 2*y + 2. Does 46 divide b(1)?
False
Suppose 5 = -5*h, -2*z + h = 2*z - 517. Is 25 a factor of z?
False
Suppose 3*p + 2*s = -0*s + 2, -5*p + 5*s = -20. Suppose 0 = -2*w + p - 38. Let d = -11 - w. Does 5 divide d?
False
Suppose 5*c = -74 - 56. Let q = c + 53. Does 9 divide q?
True
Let r(t) = t**2 + 15*t + 12. Let x be r(-7). Let o be (-11)/x - (-718)/8. Suppose -3*h = -93 - o. Does 12 divide h?
False
Let w(h) = -11*h - 2. Let l be 4/(-24) + (-75)/(-18). Suppose -5*j + 3*k + 4 = -j, -l*j = 5*k + 28. Is w(j) a multiple of 10?
True
Let o = 31 + -84. Let r = -26 - o. Is r a multiple of 17?
False
Let a = -525 - -831. Is 20 a factor of a?
False
Let m(a) = a**2 + 7*a + 6. Let j be m(-5). Let l(u) = -5*u**2. Let s(d) = -6*d**2 + d - 1. Let w(i) = 5*l(i) - 4*s(i). Does 4 divide w(j)?
True
Suppose -101 - 23 = -w. Does 31 divide w?
True
Let y(u) = -7*u**2 + u + 0*u**2 - 3 + 8*u**2. Let n be y(-3). Suppose 4*i - n*i = 51. Is i a multiple of 11?
False
Let o(j) = j + 8. Let i be o(-7). Suppose 2*m + 0 = -3*r - 5, 8 = -3*m - 5*r. Is ((-4)/i - 12)/m a multiple of 8?
True
Suppose 0 = 20*n + 30*n - 42950. Does 64 divide n?
False
Let m(q) = 186*q - 1. Is 37 a factor of m(1)?
True
Let d be 1/((-2)/3)*-14. Suppose 3*g - d = 2*g. Does 10 divide g?
False
Let o(q) = -q**2 + 15*q + 3. Let j = 1 + 14. Let m be o(j). Suppose -c + m*x = -11, -c + 0*c - 4*x + 4 = 0. Is c even?
True
Let n(r) = r**3 + r + 7. Let z be n(0). Let y = z - 31. Let h = y - -50. Is 18 a factor of h?
False
Suppose 3 = -n, 3*c - 2*n - 6 = -n. Is 15 a factor of -3*(-3 - 4/c)?
False
Suppose -5*w = 4*p - 92, 0 = -2*w - 3*w. Let l = p - -4. Suppose -2*v + l = -3*a, -2*v + 2*a + 62 = 3*v. Is v a multiple of 12?
True
Let v be (-14703)/(-12) - (-1)/(-4). Suppose 5*r - 21 = -36. Does 21 divide r/4 + v/28?
False
Let w = 2 - -1. Is 13 a factor of 388/w + (84/18 - 5)?
False
Let a(l) = l**3 - 7*l**2 - 7*l - 1. Let h(m) = m**3 - 7*m**2 - 7*m - 1. Let q(z) = -4*a(z) + 3*h(z). Let u(s) = -5*s + 32. Let v be u(5). Does 18 divide q(v)?
False
Let g = -5 - -7. Let a(x) = 2*x**2 - 4*x + 3. Let l be a(g). Let d = 27 - l. Does 12 divide d?
True
Let c be ((74/(-3))/(7/21))/(-1). Suppose -2*l - 3*l = 5. Does 26 divide (c/3)/(l/(-3))?
False
Is 6 - 271*40/(-5) a multiple of 10?
False
Suppose -5*s = 558 + 102. Let p = s - -243. Suppose 4*c - c = p. Does 17 divide c?
False
Let b(y) = 135*y - 1. Let g(c) = 270*c - 2. Let d(p) = 9*b(p) - 4*g(p). Let r be d(1). Suppose 18 = 4*k - r. Does 10 divide k?
False
Suppose -5*c - m + 8 = -3*m, -4*c = 4*m - 12. Let t(a) = -124*a + 42*a + 42*a + 2*a**3 + 42*a. Is t(c) a multiple of 17?
False
Let u(r) = 2*r**3 - 35*r**2 + 26*r. Is u(17) a multiple of 19?
False
Let p be (216/(-30))/(2/(-35)). Suppose -3*j + 5*j = 2*b + p, -2*j + 131 = 3*b. Suppose -2*z + j = 2*z. Does 12 divide z?
False
Suppose -5*l = -8*l + 24. Suppose -6*c = -l*c + 240. Is c a multiple of 30?
True
Let a = 5 - -4. Let l = 102 + a. Is l a multiple of 16?
False
Let z(o) = -o**2 + 8*o - 5. Let y be z(6). Let p(u) = 2*u**2 - 6*u - 29. Does 27 divide p(y)?
True
Let x(v) = 2*v**2 - 16*v + 3. Let p be x(8). Suppose 4*d - 681 = p*f, -8*f + 828 = 5*d - 4*f. Does 21 divide d?
True
Suppose -4*x + x - 4*t = -12, 2*x - t - 19 = 0. Is (-2)/(-8) - (-998)/x a multiple of 14?
False
Suppose -5*g - 5*i = -2*i - 9645, 5*i = g - 1957. Is g a multiple of 46?
True
Let c be 7*((-32)/(-70) - 6/(-15)). Is (21/(-7))/((-2)/(272/c)) a multiple of 9?
False
Let o = -1133 - -1373. Is 4 a factor of o?
True
Let i(m) = 8*m - 30. Let c be i(4). Suppose -c = -2*p + p, 170 = 3*x - 5*p. Is 23 a factor of x?
False
Suppose -7494 = 22*z - 21882. Does 3 divide z?
True
Let f(x) = x**2 - 7*x - 4. Let b be f(-7). Suppose 5*c - 236 = c + 2*k, -2*c - 5*k + b = 0. Is 16 a factor of c?
False
Suppose -d = -6*d + 90. Suppose 17*m = d*m - 55. Is m a multiple of 10?
False
Let f = -185 - -223. Is f a multiple of 2?
True
Let u(r) = r**2 + 6*r + 8. Let c be u(-4). Suppose 0 = 4*t - c*t + 16. Is -1 - -57 - (t + 2) a multiple of 29?
True
Is 4/8 + ((-6087)/(-6) - 3) a multiple of 22?
True
Let t = -12 - -27. Does 13 divide 2*-39*(-10)/t?
True
Let m = -6 - -11. Suppose 4*q = 2*f - 5*f - 4, -m*f + 5*q = -5. Suppose f = -g + 5 + 3. Is g a multiple of 2?
True
Is (-55)/(-2)*936/52 a multiple of 55?
True
Let a(p) = 3*p - 6. Let r be a(3). Suppose -r*s - 44 = -7*s. Does 3 divide s?
False
Suppose 57*t + 242 = 68*t. Does 9 divide t?
False
Let j(q) =