-2 + 621/(-33))?
False
Let i = -47 - -49. Suppose f - i*p + 56 = 6*f, 0 = -4*p - 8. Is f a multiple of 3?
True
Let l(m) = -m**2 - 8*m - 6. Let x be l(-8). Let q = x + 135. Is 26 a factor of q?
False
Suppose -2 = -w - y, 3*w + 5*y - 3 = -5. Suppose -3*a - w*a = -450. Does 16 divide a?
False
Suppose 3*z - 2*h - 3 = -4*h, -4*h = 4*z. Suppose 2*i + 151 = 3*w, -z*w + 131 = 5*i - 27. Is w a multiple of 17?
True
Does 37 divide 2/(-4)*23606/(-11)?
True
Suppose 6 = -5*n + 56. Let i(g) = -n + 4*g + 5 - 2*g. Is i(9) a multiple of 13?
True
Let o be 0*(-4 - 33/(-9)). Suppose -3*p + 0*p = -15, 3*c + 4*p - 47 = o. Does 9 divide c?
True
Suppose 3*u + 15 = 4*l, -u - 3 = 4*l + 2. Suppose -6*w + 2*w + 4*m + 424 = 0, l = w + m - 100. Is w a multiple of 13?
False
Suppose -n = 5*j - 3*n - 3010, n = 4*j - 2411. Is 2 a factor of j?
True
Suppose -w - 15 = -6*w. Suppose y - w*u - 308 = 3*y, 2*y + 308 = u. Let x = -38 - y. Is 29 a factor of x?
True
Is (890/6 - 7)*9 a multiple of 24?
True
Let l(i) = -i**2 + 9*i - 15. Let n be l(9). Let s = n - -115. Is 25 a factor of s?
True
Let q = 182 + -125. Suppose -4*n + 5*g + 5 = -9*n, -4*n - g + 11 = 0. Suppose -n*y + y = -q. Does 19 divide y?
True
Let r(a) = a**2 - a - 2. Let f be r(8). Let u = f + -25. Is 2 a factor of u?
False
Suppose 28*x - 26335 = -323. Does 7 divide x?
False
Let b = 38 - -11. Suppose 3*j + 5*a - 159 - 8 = 0, -j - 5*a + b = 0. Does 21 divide j?
False
Let q = -194 - -219. Is q a multiple of 5?
True
Let w(v) = -14*v - 5. Let p be w(2). Let s = p + 47. Does 2 divide s?
True
Let j = -10 + 10. Suppose j = 2*i - 92 + 8. Suppose -n + i = n. Does 7 divide n?
True
Suppose i + 0 = 5*h - 13, 5 = 4*h + i. Suppose z - 3*m = 4*z + 12, z + 2*m + 8 = 0. Suppose l + z*r = r + 17, -5*r = h*l - 20. Does 7 divide l?
False
Let g = -5 + -1. Suppose -33 = -5*p + d + 3*d, -2*p = -4*d - 18. Is g/p*(-35)/14 even?
False
Let m = 4123 + -2927. Does 26 divide m?
True
Let v(l) = l**3 - 4*l**2 + 4*l + 1. Let n(u) = 3*u**3 - 7*u**2 + 7*u + 2. Let d(t) = 4*n(t) - 7*v(t). Let c be d(-1). Is 6/c*(-40)/2 a multiple of 10?
True
Let v be (9 - 63/7)/(-2). Let w(h) be the third derivative of -h**4/8 + 26*h**3/3 + h**2. Does 9 divide w(v)?
False
Suppose -2*q = -5*c + 2126, 34 - 873 = -2*c - 3*q. Suppose 2*v = 2*m - c, -3*m - v = -905 + 253. Is 27 a factor of m?
True
Let o(z) = -z**2 + 4*z - 12. Let s be o(3). Does 6 divide (13 - -5) + 2*s/6?
False
Let h = -148 - 159. Let l = -98 - h. Let f = l + -149. Is f a multiple of 20?
True
Let l(v) = -v + 8. Let f be l(6). Suppose i = f*i. Suppose 3*x = 3*a + 2*a + 27, 4*x - a - 53 = i. Is 14 a factor of x?
True
Suppose 4*x = 9*x - 55. Let a = 44 + x. Let n = 2 + a. Is 19 a factor of n?
True
Let o(n) = -n**2 - 1. Let y(c) = -c**3 - 12*c**2 + 8*c - 7. Let t(j) = -4*o(j) + y(j). Does 3 divide t(-9)?
True
Let l(b) = 3*b - 3. Suppose -3*w - 15 + 3 = 0, 2*d - w - 10 = 0. Let c be l(d). Let i(v) = -v**3 + 7*v**2 - 3*v + 9. Is 27 a factor of i(c)?
True
Let b(k) be the first derivative of k**3/3 - 9*k**2/2 + 3*k - 3. Let n(v) be the first derivative of b(v). Is 2 a factor of n(7)?
False
Let q be 1*(3 + -3) - -91. Suppose 25*c - 26*c + q = 0. Does 29 divide c?
False
Suppose 3*j - 24 = -3*n, -j = 5*n + 24 - 76. Is 8 a factor of n?
False
Let x(a) = a**3 + 4*a**2 - 5*a + 2. Let m be x(-5). Suppose -y - 4*n - 6 = 0, -5*y = -m*n + 3*n - 27. Let j = 12 - y. Is 2 a factor of j?
True
Let u(r) = r**2 - 13*r - 15. Let g be u(14). Is 28 a factor of (-3 + 39)/((-9)/42*g)?
True
Let n(h) = -h + 18. Let m be n(14). Suppose j = -4*i + 453, -5*j + 571 - 130 = m*i. Does 18 divide i?
False
Let c(l) = l**3 - l**2 + l - 2. Let g be c(0). Is (-283)/g + 18/(-12) a multiple of 35?
True
Let i be 6*(-9)/((-27)/(-2)). Let z = -1 + 2. Does 29 divide 87*(i/(-3) - z)?
True
Let z(j) = -423*j + 208. Is 73 a factor of z(-9)?
True
Let f(s) = -13*s**3 - 2*s - 15. Does 23 divide f(-7)?
False
Suppose -6*o - 189 = -939. Does 24 divide o?
False
Suppose -12 = -k - 2*l, 0 = 2*k - 2*l + 5*l - 20. Is ((k - 4) + -1)*-61 a multiple of 21?
False
Let d be 56 + 7/((-28)/(-12)). Let b = 3 + d. Is b a multiple of 25?
False
Suppose -4*v - 4*w = -348, -3*v + 4*w - 5*w = -269. Is v a multiple of 2?
False
Suppose 0 = -v + 24 + 10. Let h = v + 117. Suppose 0 = 4*k - h + 7. Is 6 a factor of k?
True
Is (-2396)/(-6) - (-9)/((-162)/(-12)) a multiple of 16?
True
Let d(a) = -66*a**3 - a**2 + 2. Let z = -80 + 79. Is 48 a factor of d(z)?
False
Let z(n) = -70*n - 64. Let u(m) = -14*m - 13. Let f(t) = -11*u(t) + 2*z(t). Is f(7) a multiple of 14?
False
Suppose 0 = 10*q - 16*q + 12. Let y be 4/(-6) - (-1594)/6. Suppose -3*a + 3*o + y = q*a, -4*o + 300 = 5*a. Is 7 a factor of a?
True
Suppose 5 = -6*i + 77. Let v = 51 + i. Is 10 a factor of v?
False
Suppose 16*v = 2*v + 6720. Is v a multiple of 48?
True
Let t(q) = 2*q**2 - 34*q - 18. Let j be t(26). Suppose -o - j = -6*o. Is o a multiple of 13?
False
Suppose -2*f + 24 = 2*f. Suppose 6*u - 4*u - f = 0. Suppose -b - 4 = 4*z, 33 = u*b + 4*z - z. Is b a multiple of 8?
True
Let c = 7 - -2. Let a = c - 6. Suppose -2*x + 4*x + a*m = 92, -5*x - 5*m = -230. Is 14 a factor of x?
False
Suppose 3*g - 126 = 687. Let n = g + -163. Is 36 a factor of n?
True
Let i be (-12)/(-54) - (-4)/(-18). Suppose 3*d = 2*a + 7, i = 3*a - 6*a - 15. Let l(g) = -17*g - 2. Does 5 divide l(d)?
True
Let u(l) = -l**3 + 7*l**2 + 7*l + 10. Let g be u(8). Is g*-1*(-94 - -4 - -1) a multiple of 13?
False
Is 1714 + 4*(-15)/20 a multiple of 35?
False
Let a = 5 - 7. Let g be 1 + -2 + (-1 - a). Suppose -4*y + 84 = -g*y. Is 13 a factor of y?
False
Suppose 0 = 16*h + 3*h - 3800. Is h a multiple of 5?
True
Suppose -3*o = -4*w - 383 - 51, -2*o + 292 = -4*w. Does 18 divide o?
False
Suppose -4*f = -4*j + 3760, 7*j - 3764 = 3*j + 5*f. Does 18 divide j?
True
Suppose 0 = -k - 2*b - 2, 5*k = -3*b + 1 - 11. Let u be 6*(k - 4*-1). Suppose 0 = -s - 3*d + 3, u = -2*s + 4*s + 4*d. Is s a multiple of 6?
True
Let d = 609 + -305. Does 11 divide d?
False
Suppose -6*c = 11*c - 4284. Does 7 divide c?
True
Is ((-204)/(-18) + -11)/(2/528) a multiple of 7?
False
Suppose -3*v = f - 507, 0 = 5*v - 14*f + 16*f - 846. Is v a multiple of 12?
True
Suppose 0 = -t - 5*r + 68, r = 9*t - 8*t - 80. Is 26 a factor of t?
True
Let q be (-13)/(2/(-58)*1). Suppose 0 = 4*a - 39 - q. Is 31 a factor of a?
False
Let q = 85 + -83. Suppose 0*s - 10 = -v + 5*s, -4*s = -q*v + 32. Is v a multiple of 15?
False
Let y(f) = -f**2 + 1. Let a(m) = -2*m**2 + 11*m + 28. Suppose -d + 5 = 4*d. Let b(l) = d*a(l) - 3*y(l). Does 25 divide b(-11)?
True
Let m be (-1)/(-2)*(2 - -14). Suppose -8 + 280 = m*b. Is b a multiple of 8?
False
Let v(j) = -j + 4. Let h be v(-5). Let o be (2 + 1)*12/h. Suppose 0*f + o*r = -3*f + 50, 3*f - 34 = 4*r. Does 10 divide f?
False
Suppose 692 = w - 10*b + 6*b, -1358 = -2*w - 5*b. Is w a multiple of 9?
True
Suppose -2*m + 7 = 2*x + 1, 4*x + 5*m - 12 = 0. Is -9*(76/(-12) + x) a multiple of 30?
True
Let d(x) = -x + 26. Let k be d(14). Suppose -k*g = -14*g. Suppose i - 11*i + 330 = g. Is 9 a factor of i?
False
Let t be 1/2*(-2 - -6). Suppose 5*b - 236 = 4*c, 0*b + t*b + 5*c = 101. Suppose 5*a + a = b. Does 8 divide a?
True
Suppose 2*n = -0*n - 5*q - 5, -n + 1 = -q. Suppose -j - 5*x = 0, n = -6*j + 2*j + x. Suppose j*l - 4*l + 300 = 0. Is 15 a factor of l?
True
Let h(z) = -4*z - 7. Let r(c) = -c**2 + 7*c - 8. Let s be r(6). Let u(o) = o - 1. Let i(a) = s*u(a) - h(a). Is 3 a factor of i(5)?
False
Suppose 2*x + y = -9 + 146, 5*y = -5*x + 355. Is 7 a factor of x?
False
Suppose 0 = 4*u - 20*u + 4480. Does 8 divide u?
True
Let l(a) = -12*a - 3. Let s(k) = k**3 - 18*k**2 - k + 15. Let g be s(18). Let q(z) = -z - 1. Let d(j) = g*q(j) + l(j). Does 27 divide d(-3)?
True
Suppose 5*b - 32 = 3*b. Let g = b + 21. Is g a multiple of 9?
False
Suppose 0 = -0*s - 2*s + 2*u + 218, 105 = s + 3*u. Suppose 0*f - 2*f - 118 = 0. Let k = s + f. Does 22 divide k?
False
Let t = -196 - -280. Suppose -3*c + 6 + t = 0. Is 23 a factor of c?
False
Is 28*(-9)/(54/(-12)) a multiple of 44?
False
Suppose -2*m + 1 + 3 = 0. Suppose -m = d - 4*b, -3*d + 0*d + 49 = -b. Let j = 54 - d. Is 13 a factor of j?
False
Let y = 942 + -612. Does 33 divide y?
True
Let v(q) = -q + 14. Let o be v(12). Suppose -4*a - o = 2. Let s = a - -12. Does 2 divide s?
False
Sup