t a be i(j). Suppose -5*u + a = 7. Does 3 divide u?
False
Let s be (-1112)/48 - 1/(-6). Let c = 21 + s. Does 17 divide c/16 - 409/(-8)?
True
Let d(v) = -25*v - 19. Let f(a) = 101*a + 77. Let o(x) = 26*d(x) + 6*f(x). Does 8 divide o(-6)?
True
Let k = 21 - -60. Suppose -3*x + k = 9. Is x a multiple of 8?
True
Suppose -t - 4*t + 25 = 0. Suppose -t*w - 122 = -y, -2*y + 169 = w + 4*w. Suppose i - z = 39, 2*i = -i - 2*z + y. Does 17 divide i?
False
Let k(t) = 10 - 8 + 0 - 4*t. Is k(-4) a multiple of 8?
False
Let o(b) = -b**3 - b**2. Let n be o(0). Suppose 4*c - 4*u - 254 + 90 = n, -170 = -4*c - 2*u. Does 7 divide c?
True
Suppose -c - i + 31 = 1, 4*c - 93 = 5*i. Is c a multiple of 6?
False
Suppose -3*f - 8*g + 920 = -6*g, 5*g - 1222 = -4*f. Is 22 a factor of f?
True
Let n = -129 + 152. Does 9 divide n?
False
Suppose 36 = -4*u - 44. Let j = -11 - u. Let w = 17 - j. Does 8 divide w?
True
Suppose -g - 4*j + 1116 = 0, j + 2579 = 3*g - 717. Does 50 divide g?
True
Suppose -5*i - 362 = 9*o - 11*o, -5*o = -5*i - 905. Does 9 divide o?
False
Suppose 3*m + 0*m = 12. Suppose 5*a - 4*c - 74 = 83, -4*a - m*c = -104. Is a a multiple of 11?
False
Let c(h) = h**2 - 10*h + 21. Let p be c(7). Let t(w) = -w**3 - w**2 + 95. Is t(p) a multiple of 19?
True
Let i = 6 + 17. Suppose -3*f + 138 = -2*z, -2*f + 346 = -5*z + i. Let d = -34 - z. Is d a multiple of 6?
False
Suppose 0 = 14*a - 2671 - 17. Is 13 a factor of a?
False
Let m(x) be the second derivative of 0*x**3 - 4*x + 0*x**2 + 3/20*x**5 + 0 + 1/12*x**4. Is m(1) even?
True
Let b = -166 + 76. Does 6 divide (4 - (8 - 5))/((-1)/b)?
True
Let y(m) = -6*m**3 + 6*m**2 + 14*m + 22. Does 10 divide y(-4)?
False
Suppose 5*j - 186 = -2*h, j - 23 = h + 10. Suppose 0 = -j*c + 29*c + 371. Is 15 a factor of c?
False
Let f(d) = 2*d**3 - 13*d**2 + 10*d + 10. Let p be f(9). Let r = p + -315. Is r a multiple of 19?
True
Let s(d) = -d**3 + 10*d**2 - 3*d - 12. Let l be s(10). Let z = -18 - l. Is 24 a factor of z?
True
Let j(g) = 4*g - 56. Let v be j(19). Suppose -6*u = -v*u + 812. Is u a multiple of 14?
False
Suppose -4*m + 11*g = 6*g - 847, 3*g - 1031 = -5*m. Does 8 divide m?
True
Suppose -12*n + 14*n = -3*m + 2701, 4051 = 3*n + 4*m. Is 14 a factor of n?
False
Suppose -5288 + 21528 = 29*n. Does 70 divide n?
True
Suppose -2*j = -1874 - 880. Does 40 divide j?
False
Let d(o) = -2*o + 14. Let v be d(6). Suppose -4*g + 24 = -v*g. Does 9 divide g?
False
Let h(x) = -594*x + 2. Let q be h(-1). Suppose 0 = -5*d + q - 206. Is d a multiple of 23?
False
Suppose 4 = s, 3*h + 2*s + 2*s = 28. Let k = -7 + 10. Suppose -2*x = p - 35, k*p - 2*p + h*x - 27 = 0. Is 11 a factor of p?
False
Suppose 20 = -5*z, -3*u + 127 = z - 2*z. Is 7 a factor of u?
False
Let n(d) be the second derivative of d**5/20 - 2*d**4/3 + 5*d**3/6 + 4*d**2 - 4*d. Does 12 divide n(8)?
True
Let s(o) be the first derivative of 12*o**3 - o**2 - o + 50. Is 6 a factor of s(-1)?
False
Let u(w) = w**3 - 8*w**2 + 13*w - 2. Let f be u(6). Is 1772/12 - f/6 a multiple of 16?
False
Let m be 16/(-12) - (-20)/6. Is 29 a factor of (-2 - m/2) + 61?
True
Let b = 242 + -117. Suppose 0 = 2*p + 3*p - b. Let r = 90 - p. Is 30 a factor of r?
False
Let i = 32 + -30. Suppose 0 = 4*l + i*l - 708. Is l a multiple of 13?
False
Let g(h) = h**3 - 10*h**2 - h + 12. Let m be g(10). Suppose 2*q = b - 5*b + 144, 2*b - 70 = -m*q. Does 21 divide b?
False
Suppose -6*j = -5*j - 5. Suppose -2 - 8 = -j*i. Suppose 249 = 5*f - 3*u - u, -i*u = 2. Is 22 a factor of f?
False
Suppose -8*h = 5*s - 3*h - 25, h = 3*s + 1. Let k(b) = 0*b - 3 + 6 - 2 + 9*b. Does 5 divide k(s)?
True
Let u(j) = -108*j + 291. Does 33 divide u(-7)?
False
Let x(l) = l**2 + 15*l - 44. Let j be x(-22). Let k = -82 + j. Is 7 a factor of k?
True
Suppose -4*h + 0*v - 10 = -2*v, -2*v + 14 = -5*h. Let q(m) = 7*m + 2. Let j be q(h). Does 14 divide 3/((-3)/j) - 3?
False
Let v(k) = -k**3 - 9*k**2 + 8*k + 23. Is 59 a factor of v(-11)?
True
Let t(a) = -a**3 - 2*a**2 + a - 3. Let z be t(-5). Suppose -4*u - j = -z, u + 64 = 5*u + 4*j. Does 8 divide u?
False
Suppose 18*r + 382 - 7996 = 0. Is r a multiple of 32?
False
Let q = 12 + -10. Let u be -25*(48/(-20) + q). Is (-212)/2*(-5)/u a multiple of 12?
False
Suppose 4*q - 3*i - 1453 = 336, i = 4*q - 1791. Does 32 divide q?
True
Let n(o) = 26*o - 396. Let q(v) = -5*v + 79. Let b(r) = 3*n(r) + 14*q(r). Is b(13) a multiple of 14?
False
Let c = -44 - -47. Suppose -2*s + 99 = -5*f, 4*f + 154 = c*s + 2*f. Does 21 divide s?
False
Suppose -3*b + 2*n + 2456 = 7*n, -3*b + 3*n = -2424. Suppose -4*h = 2*d + 2*d - b, 615 = 3*d - 3*h. Is d a multiple of 17?
True
Suppose -2486 = -9*k + 835. Is 14 a factor of k?
False
Let b = 67 - 44. Suppose 2*u - b = 47. Is 5 a factor of u?
True
Suppose -3*i + 1 = -5. Suppose -3*x = t - 71, 4*t = -i*x - 0*x + 264. Suppose -3*g - t + 170 = 0. Is g a multiple of 5?
True
Let n = -2 - 3. Let d(v) = 5*v**2 - 5*v - 2. Does 11 divide d(n)?
False
Does 26 divide -8*(-5 + (-2)/(16/412))?
False
Suppose -v + 381 = -230. Is v a multiple of 13?
True
Let n be ((-12)/(-3))/4 - 8*-1. Suppose 4*u + 12 = 5*u. Let g = n + u. Is 3 a factor of g?
True
Let p be 5*(-5)/(100/(-8)). Suppose p*t = 5*y + 144 - 42, 4*t + 2*y - 180 = 0. Is t a multiple of 6?
False
Let f be -2*2/(8/(-50)). Let a = f - -10. Is 7 a factor of a?
True
Suppose 3*y = 2*y - 5*m + 467, 4*m = -y + 462. Is y a multiple of 21?
False
Suppose -2*p + 4*f - 2116 = -7*p, 2*p - 824 = 4*f. Is p a multiple of 16?
False
Let z(h) = -h**2 - 5*h + 26. Let d be z(-8). Suppose 7*v - d*v - 170 = 0. Does 22 divide v?
False
Let k(c) = -2 - 1 + 0 - 1 + 10*c. Let q be k(4). Suppose f - 2*f + q = 0. Is 12 a factor of f?
True
Suppose -4*v + 1136 = 5*x - 177, -5*v = -x + 280. Is x a multiple of 9?
False
Let k(v) = v**2 + v + 1. Let g be k(-2). Let i be -8*((g - 5) + 3). Let s(n) = n**2 + 6*n + 8. Is s(i) a multiple of 24?
True
Suppose -h - 3*j = -11 - 15, 3*j + 6 = 0. Suppose h*s = 34*s - 354. Does 28 divide s?
False
Let o be (-2)/5 - (-2572)/5. Suppose -1 + o = 3*g. Does 19 divide g?
True
Let l be (4/10)/(3*(-2)/(-390)). Let p = -20 + l. Is 6 a factor of p?
True
Let a(k) = 2*k + 24. Let y be a(-9). Let u be (-2 - -2 - 0) + -2. Does 15 divide (u/y)/(1/(-183))?
False
Let s(o) = -82*o - 28. Let l be s(17). Is 43 a factor of (-4)/8 + (l/4)/(-3)?
False
Let k = 85 + -53. Let d be 6*-4*(-4)/k. Suppose -2*g - 4*c = -7*g + 116, -2*g = -d*c - 45. Does 12 divide g?
True
Let v(l) be the third derivative of -3*l**4/4 - 17*l**3/3 + 7*l**2. Is v(-8) a multiple of 11?
True
Suppose -9*g + 115 = -965. Is g a multiple of 6?
True
Suppose 0 = -22*q + 88*q - 109758. Does 106 divide q?
False
Suppose z - 1328 = 5*z. Let g = z - -626. Suppose -3*a - g = -3*x - 78, x - 3*a - 64 = 0. Is x a multiple of 21?
False
Let m(o) = -7*o**2 + 22. Let w be m(4). Does 12 divide ((-12)/10)/(9/w)?
True
Is (-1)/(1 + (-23121)/23112) a multiple of 17?
False
Does 47 divide 80/36 + -2 + 27040/144?
True
Let j(n) = -n**2 + 10*n - 11. Let q be j(7). Let d = -5 + 35. Let a = d + q. Is a a multiple of 10?
True
Let k = -15 + 15. Suppose 1 = -g, k = 6*o - 2*o + g + 21. Let c(t) = 3*t**2 + 5*t + 10. Is c(o) a multiple of 20?
True
Let c be (-36)/(-15) + 2/(-5). Let z(g) = 4 + 46*g**3 + 7*g - 6*g**c - 45*g**3 - g. Is z(6) a multiple of 20?
True
Suppose -3*r - 4*f + 11 = -5, 10 = 3*r - 2*f. Suppose 4*k - 4*h = -0*h + 28, r*h = 16. Is 3 a factor of k?
False
Let u be 12 - (3 + -3 + 3). Is 6 a factor of 4/(-6) - (-393)/u?
False
Suppose 3*b - 9 = -5*l + b, 4*l + 2 = 3*b. Suppose -4*c - 13 = 3*m, -m - 4*c - 5 = 10. Is (l + 4)/(m/12) a multiple of 10?
True
Let l(r) = -2*r + 10. Let v be l(4). Suppose -v*o - 6 - 22 = 0. Let c(t) = -2*t + 8. Does 18 divide c(o)?
True
Let q(n) = -2 + 7 + 1 - 2 - n. Let y be q(2). Suppose 6*u = 5*u + 5*i + 31, y*u + 4*i + 8 = 0. Is 3 a factor of u?
True
Let c be 1520/60*(-3)/(-2). Let o = -26 + c. Does 11 divide o?
False
Let p(x) be the second derivative of 4*x**3/3 - 3*x**2/2 + 2*x. Let v = 11 - 5. Does 17 divide p(v)?
False
Let y(g) = -809*g - 50. Is 29 a factor of y(-2)?
False
Let j(u) = 2*u**3 + 4*u**2 - 15*u + 6. Let b(t) = t**3 - t - 1. Let p(m) = -b(m) + j(m). Is p(-5) a multiple of 12?
False
Let c(h) = -h**3 + 1. Let y be c(-4). Suppose -y = -7*s + 2*s. Does 8 divide s?
False
Suppose 6*v + 3*u - 14 = 4*v,