uppose 25 = 5*j - 5*p, -3*p - 20 = 3*j - 7*j. Suppose -j*f + 25 = 0, 0 = 5*z + 2*f + 2*f - 125. Does 7 divide z?
True
Let k(g) = 2*g**3 - 8*g - 3. Is 31 a factor of k(4)?
True
Suppose -q - 4*q = -5*n - 580, 0 = 2*n - 2. Does 13 divide q?
True
Let q(g) = -g**3 + 16*g**2 + 7*g - 20. Is q(7) a multiple of 46?
False
Let i(k) = k**3 - k**2 + k. Let g(j) = 6*j**3 + 4*j + 11. Let v(r) = -g(r) + 5*i(r). Is 10 a factor of v(-7)?
True
Suppose 2*n = -0 + 4. Does 5 divide (20/(-4) + 9)/(n/3)?
False
Let s = -60 + 77. Suppose 0 = s*z - 20*z + 210. Does 7 divide z?
True
Suppose 5*c - 8*m + 5*m = 781, -4*c + 614 = 3*m. Is 5 a factor of c?
True
Let a(w) = -w**3 + 6*w**2 + 18*w - 23. Let g be a(7). Does 4 divide (-5)/((-10)/g) + (-3)/3?
False
Suppose -129 = -5*q + 3*w + 116, -5*q - 5*w + 285 = 0. Is q a multiple of 4?
True
Suppose 140*m + 320 = 144*m. Does 28 divide m?
False
Suppose 3*u = 3*g - 225, 10*g = 12*g - u - 147. Is 13 a factor of g?
False
Let z = 112 - 108. Let l be 1/2 + (-65)/(-2). Suppose z*n - l = n. Does 7 divide n?
False
Let h(f) = 3*f**2 + 3*f - 3*f**2 - f**2 - f**3 - 1 + 4. Let a be h(-4). Suppose 4*k - 41 = a. Is k a multiple of 12?
False
Suppose 3*b + k + 0*k - 165 = 0, -b + 68 = -4*k. Suppose -214 = -3*w + b. Is w a multiple of 15?
True
Is 6 a factor of 1861 - 1/(-4 + (-145)/(-35))?
True
Let n = 16 - 10. Let u(x) = -15*x + 12. Let l be u(1). Let z = n - l. Is z a multiple of 8?
False
Let z(g) = 3*g - 14. Let b be z(7). Suppose -5*t - 190 = -b*t. Is 31 a factor of t?
False
Suppose -18*i - 5*i + 3358 = 0. Is i a multiple of 2?
True
Suppose 2*o = -j + 383, 6*j - 3*j - 2*o = 1149. Does 5 divide j?
False
Suppose 5*m = -3*z + 48, 2*z - m = -0*z + 32. Suppose 9*c - z = 5*c. Is 4 a factor of c?
True
Let r(n) = 42*n - 13. Let h(j) = j - 1. Let t(p) = -4*h(p) + r(p). Does 31 divide t(5)?
False
Suppose 103 - 91 = -3*d. Let m(o) = -58*o + 9. Does 57 divide m(d)?
False
Let l = -25 + 27. Suppose -l*y + 156 = -80. Is y a multiple of 22?
False
Suppose -2*g = -3*a + 2*g + 329, 4*a - 417 = g. Does 42 divide a?
False
Suppose 3105 = 7*a + 200. Suppose 2*q + a = 5*x - q, -3*x + 265 = -5*q. Is x a multiple of 40?
True
Let j be 1*2 - (6*-12)/1. Let z = -56 + j. Is 2 a factor of z?
True
Let t(w) = -w**3 - 8*w**2 - 7*w + 8. Let y be t(-7). Let c = -6 + y. Suppose 0 = c*s - 87 - 29. Is 12 a factor of s?
False
Let i = 182 + -52. Does 8 divide i?
False
Suppose -2*c = -785 + 859. Let s = -4 - 0. Let k = s - c. Is k a multiple of 7?
False
Let y(z) be the first derivative of -1 + 15/2*z**2 + 8*z. Does 17 divide y(4)?
True
Let w = 1356 + -660. Does 87 divide w?
True
Suppose -56 = 18*k + 2788. Let m = k + 194. Is 9 a factor of m?
True
Let u(d) = d**3 - 19*d**2 - d + 19. Let x be u(19). Suppose -4*t + 108 = -x*t. Does 9 divide t?
True
Let i(z) = -z**2 - 9*z - 6. Let t be i(-8). Suppose -4*g + 2*f = -34, -t*g + 4*f + 2 = -5*g. Suppose g = 3*b + 3, -119 = -4*c - 3*b. Does 4 divide c?
False
Let x(a) = a**2 - 17*a - 27. Let b be x(17). Suppose -4*v - 74 = -6. Let m = v - b. Is m a multiple of 5?
True
Let c(n) = 5*n**2 - 8*n + 7. Let i be c(1). Suppose 108 = i*s - 48. Is 13 a factor of s?
True
Let g = 321 + 352. Suppose 168 - g = -5*d. Is 15 a factor of d?
False
Is 14 a factor of (23253/(-46))/(3/(-2))?
False
Let k(n) = -n**3 - 10*n**2 + n + 8. Let v be k(-10). Let u(a) = -38*a - 5. Let o(l) = -37*l - 5. Let i(r) = -5*o(r) + 6*u(r). Is 27 a factor of i(v)?
True
Let h = -14 - -18. Suppose 3*n - 377 = -m + 53, h*m = n + 1759. Suppose -o + 0*o + m = 4*y, 5*y - o - 551 = 0. Does 30 divide y?
False
Suppose -3841 = -35*x + 989. Is 23 a factor of x?
True
Let l(d) = 4*d - 14. Let j(c) = -2*c + 1. Let p be j(-3). Is l(p) a multiple of 14?
True
Let u(v) = -v**3 + 16*v**2 - 7*v + 47. Is 27 a factor of u(15)?
False
Suppose -109*z = -2967 - 24392. Does 2 divide z?
False
Let g = -6 - -11. Suppose g*v + 31 = j - 27, 187 = 3*j - 2*v. Does 9 divide j?
True
Let f(t) = -t**3 + 4*t**2 + 4*t + 6. Let y be f(5). Let l be (12 - -3)*(y - 0). Suppose l = -o + 2*o. Does 4 divide o?
False
Let j(f) = 24*f**3 - f**2 + 2*f + 2. Let x(q) = -72*q**3 + 3*q**2 - 6*q - 6. Let n(a) = -11*j(a) - 4*x(a). Let z be n(-1). Is 8 a factor of -4 + 3 - (z - 0)?
True
Let t(x) = -16*x - 6. Let g be t(-1). Let a(b) = -2*b**3 + 9*b**2 + b + 1. Let i(l) = l**3 + l**2 + l - 1. Let d(z) = a(z) + i(z). Is 10 a factor of d(g)?
True
Let q(l) = -3*l + 11. Let x be q(5). Let f be ((-18)/4 - x)*0. Suppose -2*k + 3*p + 23 = f, 3*p + 40 = 3*k + 4*p. Is 6 a factor of k?
False
Let g be 4/18 - (-38)/(-9). Let z = 7 + g. Suppose -f = z*f - 84. Does 11 divide f?
False
Is 0 + 7 + -2 + -2 + 121 a multiple of 62?
True
Let q(h) be the third derivative of 11*h**5/30 - h**4/4 - 5*h**3/3 + h**2 + 14*h. Is q(-3) a multiple of 24?
False
Suppose 33*g + 392 = 1283. Is g a multiple of 9?
True
Let r = 61 - -41. Suppose -2*d - 3*o = -r, 2*d - 3*o - 102 = 2*o. Does 6 divide d?
False
Let g(i) = -i**3 - 17*i**2 - 39*i + 24. Does 19 divide g(-22)?
False
Let d = -61 + 133. Let x = d - 61. Is 11 a factor of x?
True
Let y(j) = -13*j - 26. Let t be y(-11). Let g = -81 + t. Is 4 a factor of g?
True
Let d = 18 + -14. Suppose r = -d*r - 5. Let m = r + 11. Is 4 a factor of m?
False
Suppose -11*d + 24 = -7*d. Let t = -3 + d. Does 2 divide t?
False
Suppose -16*u = -234 + 90. Does 2 divide u?
False
Let f = 162 + -64. Is 14 a factor of f?
True
Suppose 0 = -2*n + 3*n - 745. Suppose -4*r = -t - 798, -5*r + 2*t = -251 - n. Is r a multiple of 20?
True
Suppose 0 = -15*f + 53 + 26587. Does 74 divide f?
True
Is 1950/4*3/((-81)/(-36)) a multiple of 26?
True
Suppose 0 = -6*y - 64 + 430. Does 16 divide y?
False
Suppose i - 231 - 54 = 0. Suppose 5*w - 3*l = 277, 12*w - 5*l - i = 7*w. Is 20 a factor of w?
False
Suppose -3*i + 370 = -g + 36, -5*i = -g - 560. Let m = -13 + i. Is 20 a factor of m?
True
Let b be 119/28 + 1/(-4). Suppose u + b*c + 104 = -u, 3*c = -3*u - 147. Let s = -17 - u. Is 29 a factor of s?
True
Let a(v) = v**3 - 7*v**2 + 3*v - 9. Let k be a(7). Suppose 3 = 3*h - 3*c - k, 0 = -h + 2*c + 7. Suppose g + 18 = h*g. Is g a multiple of 2?
False
Let v(u) = -4*u + 6. Let l(g) = -11*g + g - 2*g + 17. Let d(r) = 3*l(r) - 8*v(r). Is d(-3) a multiple of 10?
False
Suppose -b - 2799 = -5*x, 2*x - 5*b - 443 = 672. Is x a multiple of 70?
True
Let j(q) = -6*q**2 + q - 8. Let n be j(-4). Let i = n + 112. Does 2 divide i?
True
Let a(v) = 2*v - 29. Let g be a(19). Suppose -4*w + g*w - 1110 = 0. Is w a multiple of 31?
False
Does 27 divide 8/12*1741 - (-2)/6?
True
Let u be 35*16/2*(-21)/(-6). Suppose -9*s = u - 2852. Is s a multiple of 25?
False
Let q = 1850 + -891. Is q a multiple of 31?
False
Let i be 16 - (-1 + 2)*3. Let l = 20 - i. Suppose -l*c + 161 = -2*c - y, -5*c = -4*y - 164. Is c a multiple of 15?
False
Let l(w) = 4*w**2 + 8*w + 1. Let k(r) = r - 1. Let i(b) = -k(b) + l(b). Is i(-8) a multiple of 26?
False
Suppose 0 = w + n - 6*n - 15, n = w - 7. Suppose -5*j + 0 - w = 0. Is 11 a factor of ((-2)/8)/(j/44)?
True
Suppose -q + 6*d - 4*d = -148, 148 = q + d. Does 46 divide q?
False
Let z be (3/(-2))/(-2 + (-13)/(-8)). Let h(g) = 4*g**3 - g**2 + g - 10. Does 9 divide h(z)?
True
Let l = 20 - -49. Let t = 92 - l. Does 23 divide t?
True
Suppose 36 = -9*n + 7*n. Is (6 - 222/n) + (-1)/3 a multiple of 6?
True
Let i be 3/9 - (-392)/12. Let y be (-6)/i + 320/(-55). Let g(d) = -d**3 - 5*d**2 - 3*d + 6. Does 20 divide g(y)?
True
Suppose 0 = 5*b - 9234 + 714. Is 22 a factor of b?
False
Suppose 2101 = -4*d + 5*d + 5*c, -4*d + 8368 = 2*c. Does 51 divide d?
True
Let q = -104 + 146. Does 18 divide (-21)/q*(-271 - -1)?
False
Let k(m) = m - 21. Let p(a) = 1. Let c(f) = -k(f) - 5*p(f). Let l be c(11). Suppose -3*r + 5*x = -202, 0*x - 4*x - 315 = -l*r. Is r a multiple of 18?
False
Suppose -30 = 6*t - t - 5*p, 0 = -2*t - 3*p - 7. Let q be 8/t*(-85)/34. Is 12 a factor of 14/1 - (4 - q)?
False
Let p(r) = 82*r - 37. Is p(6) a multiple of 61?
False
Let z be 5/2*4/5. Does 2 divide z/2 - (-4 - -1)?
True
Let b(s) = s + 2. Let r be b(-2). Let x = 0 + r. Is 1 + x - (0 - 46) a multiple of 16?
False
Suppose 5*r + 0*q - 4*q = 43, 3*r - 30 = q. Suppose -r = -3*a - 2. Suppose -a*l - 214 = -4*z, -4*z - 2*l + 202 = l. Is 13 a factor of z?
True
Suppose -137*l = -118*l - 24453. Does 9 divide l?
True
Let c = -73 - 41