3 divide s?
False
Suppose -28 = -3*u + 26. Let i(l) = l**3 + 4*l**2 - 3*l + 2. Let s be i(-5). Let x = s + u. Does 10 divide x?
True
Suppose -3*z = 2*z + 3*q, 2*z = -4*q. Suppose -14*n + 12*n + 180 = z. Does 15 divide n?
True
Suppose -z = -12 + 2. Let n be 682/(-8) - z/(-40). Let c = 182 + n. Is c a multiple of 20?
False
Let w be (4*-3)/3 - 18. Let i = w - -11. Let s(p) = p**3 + 12*p**2 + 6*p - 14. Is s(i) a multiple of 10?
False
Suppose -3*m + d - 144 = 0, -4*m + 85 = 2*d + 287. Let p = 86 + m. Let r = p + -22. Does 9 divide r?
False
Let w be 9/(4 + -1) + 5. Let v be 8/3 + w/(-12). Suppose -2*q + 3*j + 46 = 0, -v*q - 5*j = -3*q + 16. Does 7 divide q?
False
Suppose -5*w + 0*w = -415. Let q = 211 - w. Is q a multiple of 16?
True
Suppose 0 + 8 = 4*v. Suppose -315 = -r - v*r. Is 35 a factor of r?
True
Let p(i) = -3*i + 5. Let u be p(2). Does 3 divide 10 + u*(2 - 3)?
False
Let r(k) = -6*k**2 + 10*k - 12. Let i(y) = 5*y**2 - 9*y + 11. Let u = 20 - 15. Let w(d) = u*i(d) + 4*r(d). Is 4 a factor of w(5)?
False
Let b(s) = s**3 + 16*s**2 + 3*s + 38. Let w be b(-16). Is (3204/21)/2 - w/(-35) a multiple of 12?
False
Let t(f) = 42*f + 2. Let w be t(-2). Let u = w - -123. Is 10 a factor of u?
False
Let y = 69 - -5. Suppose 2*s + 162 = 3*z + 59, -2*z - 4*s = -y. Is z a multiple of 2?
False
Let p(a) = 4*a + 84. Is p(-8) a multiple of 52?
True
Let l = -727 + 1224. Let v be l/9 + (-24)/108. Let w = -36 + v. Does 4 divide w?
False
Let a be (-4)/18 + 28/126. Let y(n) = 9*n + 8. Does 4 divide y(a)?
True
Suppose 8 = 5*x - 7. Suppose y - 33 = x. Is 18 a factor of y?
True
Does 31 divide (-5*(-5136)/(-40))/(0 + -2)?
False
Let j be 3375/18 + (-2)/(-4) + -1. Let g = -75 + j. Does 28 divide g?
True
Suppose -57*v + 79*v = 176. Is 4 a factor of v?
True
Suppose -d - 9 = -12. Suppose j + 3*k - 76 = 0, j + 0*j - 86 = -k. Suppose -f - 76 = -3*a - 0*f, 2*f - j = -d*a. Is 9 a factor of a?
True
Let c(s) = s**3 + 4*s**2 - 4*s + 9. Let b be c(-5). Suppose -5*t = -b*g + 619, 4*g = -0*g - 2*t + 626. Is g a multiple of 13?
True
Suppose -2*z - 3*h = -60, -4*z + 110 = -5*h - 10. Is ((-20)/z)/(1/(-180)) a multiple of 24?
True
Let x = 605 - 335. Is x a multiple of 54?
True
Let i(b) = 7*b**2 + 4*b - 3. Let a be (85/(-25) - -5)*10/4. Is i(a) a multiple of 25?
True
Let p be 1/(1/2 + 0). Is (-4)/10*(-580)/p a multiple of 29?
True
Suppose -1250 = 2*g - 12*g. Suppose -63*i + 62*i + g = 0. Is 18 a factor of i?
False
Suppose 4*s + 91 = -5*a, -4*a + 2*s = 20 + 32. Does 4 divide 90*(0 + (-6)/a)?
True
Let f(x) = 5*x + 8. Let i(h) = 2*h + 3. Let y(d) = -3*f(d) + 8*i(d). Let g be y(-6). Let u(b) = b**3 + 6*b**2 - 7*b - 3. Does 13 divide u(g)?
True
Suppose 2*b - 98 = -4*s, -3*b - 2*s + s + 127 = 0. Is 3 a factor of b?
False
Suppose 13*m - 12*m + 4*y - 76 = 0, 0 = -5*m - 2*y + 326. Is 12 a factor of m?
False
Suppose -2*p = 2*i - 606, i - 177 = 2*p + 132. Does 37 divide i?
False
Let k(x) = x + 7. Let i be k(-5). Suppose i*w - 2 = 2, 2*f = -w + 194. Suppose l = -l + f. Is l a multiple of 12?
True
Suppose -4*p + 9*p - 15 = 0. Suppose -7*l + 204 = -p*l. Suppose 0 = 2*f + 4*u - 15 - 1, -3*f + 3*u = -l. Is 7 a factor of f?
True
Suppose -h = 2*h + 4*q - 6, -2*q = -2*h + 18. Let j(d) = d**2 - d. Let x(l) = -3*l**2 + 9*l. Let b(n) = -j(n) - x(n). Is 13 a factor of b(h)?
False
Let w(v) = 6*v - 1. Let h be w(-2). Let z be 18/117 + (-76)/h. Suppose 2*d - 46 = 4*b, -d - 150 = -z*d + 3*b. Is 10 a factor of d?
False
Suppose -52 = 2*v + 5*f - 888, -5*v + 2036 = -f. Is v a multiple of 34?
True
Suppose 196 = 3*o - k, -5*o + 306 = -5*k - 14. Let a = -32 + o. Does 16 divide a?
False
Suppose 2*l - 5*i = -3*l + 20, -3*l - i - 8 = 0. Let q be 5*(l - 7/5). Is q/2*(-60)/24 a multiple of 5?
True
Let y be (8/8)/(1/4). Suppose 2 = y*r - 42. Let x = r - 4. Is x a multiple of 3?
False
Is 11 a factor of (24*88/(-12))/(4/(-6))?
True
Let z(j) = -28*j - 269. Is z(-45) a multiple of 19?
False
Let f = -618 + 661. Is f a multiple of 2?
False
Let g(o) = -2*o**3 + 2*o**2 + 6*o + 11. Suppose -5*j - 4*i = -i + 5, -3*j = -3*i + 27. Does 19 divide g(j)?
False
Let v(s) = -s**2 - 18*s + 11. Let n be v(-18). Let u = n - -34. Is 5 a factor of u?
True
Let u(h) = -h**2 + 10*h - 16. Let c be u(7). Suppose c*d - 318 = 192. Does 37 divide d?
False
Suppose 90*q = 83*q + 3416. Is q a multiple of 87?
False
Suppose -q = 7 - 16. Suppose -q = -t + 18. Is 3 a factor of t?
True
Let j(x) = 6*x**2 + 12*x + 29. Does 7 divide j(-5)?
True
Suppose -4 + 20 = -2*k. Let u = 10 + k. Suppose 2*f + 3*f - 65 = -u*o, -15 = -2*f - 3*o. Is f a multiple of 15?
True
Suppose 5*f - 957 = 2*f + 3*p, 0 = f + p - 329. Suppose o - m = 163, 0*m = 2*o - 3*m - f. Is 33 a factor of o?
True
Suppose -5*z - 41 + 331 = 0. Is 31 a factor of z?
False
Let l(r) = -r**2 - 9*r - 13. Let u be l(-6). Is (-116 - (u - (-9)/(-3)))/(-2) even?
False
Let b = 14 + -15. Is 13 a factor of (1 - b - -168)/2?
False
Suppose 0*x + x = -5*z + 22, -z = 3*x - 10. Suppose 2*w - 15 = -u, 8*w - z*w = u - 45. Does 3 divide u?
False
Suppose -3*t = -2*t - 4*a - 15, 2*t - 5 = 3*a. Is (-7370)/(-50) - (-2)/t a multiple of 21?
True
Suppose -4*m + 49 = -11. Is m a multiple of 11?
False
Suppose -948 + 5368 = 10*b. Does 41 divide b?
False
Suppose -l = -4*l + 6. Suppose 0 = 2*h + h + 5*y - 318, l*h - y - 225 = 0. Suppose -h = -3*p - 0*r - 2*r, -r = -5*p + 198. Does 13 divide p?
True
Does 17 divide -2 + 312/150 + (-124586)/(-175)?
False
Let v(s) = -s**2 + 11*s. Let l be v(5). Let q be (-1)/(-5) - (-2904)/l. Let r = -46 + q. Is r a multiple of 17?
True
Let f(d) = 1820*d**2 - 19*d - 18. Is f(-1) a multiple of 12?
False
Suppose 57*q - 11094 = 23790. Is 36 a factor of q?
True
Suppose -3 = 4*o + s - 33, 3*o - 15 = 3*s. Let f(g) = g + 1. Let v(x) = -x**2 + 9*x - 6. Let y(n) = f(n) + v(n). Is y(o) a multiple of 8?
True
Suppose -10*j = 52 + 88. Let v = 56 - j. Does 14 divide v?
True
Let y(k) = 3*k**2 + 10*k + 10. Let q be y(-4). Let c = q - 3. Is 3 a factor of c?
True
Suppose 1371 - 975 = n. Does 36 divide n?
True
Let p = -144 - -135. Does 8 divide (p + (5 - 4))/((-2)/4)?
True
Let o be (12 - -11)*1/1. Let p = o + 37. Is 20 a factor of p?
True
Suppose -6*q + 11*q - 2310 = 0. Is q a multiple of 33?
True
Let p(a) = -a**3 + 18*a**2 - 17*a + 9. Let j be p(17). Suppose y - 68 = -3*i, 2*y = i - j - 2. Is i a multiple of 5?
False
Let u(z) = z**3 - 4*z**2 - 4*z - 1. Let j be u(5). Suppose j*q + 118 = 430. Is 26 a factor of q?
True
Let z(g) = 6*g**2 + 11*g - 76. Is 12 a factor of z(-16)?
True
Is 274/(7/(168/16)) a multiple of 128?
False
Let d(s) = 127*s - 15. Let l be d(3). Suppose 52*u = 58*u - l. Does 13 divide u?
False
Let l = -23 + 32. Suppose -7*u + l*u = 34. Let z = u - -15. Is z a multiple of 21?
False
Suppose -13 = 4*q + 3. Let g = 1 + q. Is 15 a factor of 37 + 5 - (g - 0)?
True
Let s(y) = -4*y + 3 + 5 - 3*y + y**2. Let u be s(6). Suppose 4*n - 7*v = -3*v + 180, u*v - 162 = -4*n. Is 14 a factor of n?
True
Suppose 5*k - 4889 + 921 = -2*a, 3*k + 5*a = 2396. Does 24 divide k?
True
Let x(f) = 2*f + 21. Let h be x(6). Let w = h - 8. Is 25 a factor of w?
True
Suppose 30 - 3 = -l. Let n = 198 + l. Does 30 divide n?
False
Suppose 3*y + g - 2 = 0, 0*g + 2*g = -5*y + 2. Let v(c) = -17*c - 4. Let z(d) = d + 1. Let x(k) = -v(k) - 6*z(k). Is 5 a factor of x(y)?
True
Let p(y) = 18*y - 10. Is 52 a factor of p(14)?
False
Suppose 0 = -p + 2*p + 5*y - 864, 0 = -4*y + 4. Does 11 divide p?
False
Suppose -2*m + 3*m - 2897 = -2*l, 2*l - 2*m - 2906 = 0. Suppose l = 12*v - 146. Is v a multiple of 19?
True
Let l(n) = -n**3 - 38*n**2 - 18*n + 14*n**2 + 16*n**2 - 5. Does 28 divide l(-8)?
False
Let k(i) be the third derivative of i**4/12 - i**3/2 - i**2. Suppose 2*m - 4*f = 34, -4*m + f + 0*f = -33. Does 11 divide k(m)?
True
Is ((-1)/2)/((-3)/870) a multiple of 49?
False
Suppose -5*v - 3*h + 117 = -103, 2*v - 88 = -4*h. Does 44 divide v?
True
Let n(t) = -t**3 + 7*t**2 - 3*t + 3. Let u be 2*(-4)/8*0. Suppose 9*v - 5*v - 24 = u. Is n(v) a multiple of 19?
False
Suppose 5*b - 2*q - 3*q = 15, 4*b - 2*q = 14. Let o(s) = 4*s - 2. Let r be o(b). Suppose -3*y + 37 + r = 0. Is y a multiple of 17?
True
Let w be 1 - (-1 + -8)*(0 + -1). Is 34 a factor of 2/w*0 + 136?
True
Does 22 divide 479 + -1 - (-1 - (-3)/3)?
False
Let h be 12/5 + 20/(-50). Let b(m) = -m**2 + 3*m + 2. Let c 