 Does 23 divide g?
True
Let x = -491 - -330. Let w = x + 326. Is 33 a factor of w?
True
Suppose 0 = -u - 5 - 10. Let s be 0*(u/(-3) + -4). Suppose -4*p + s*p + 40 = 0. Does 4 divide p?
False
Suppose 1536 = 2*k + 6*k. Suppose 0 = -5*z, 0*x + z + k = 2*x. Is x a multiple of 24?
True
Suppose -2782 = 18*a - 12106. Does 14 divide a?
True
Does 8 divide (-6)/4 + (-9950)/(-20)?
True
Suppose 6*r + 2*b = 3*r + 58, 3*r - 38 = 2*b. Let g be 54 + -5 + 5 + -3 - 1. Suppose p = -n + 1 + g, r = 4*n. Is p a multiple of 17?
False
Let b = 65 - 70. Let o(h) = -2*h**3 - 8*h**2 - 3*h + 10. Does 9 divide o(b)?
False
Let i(p) = -4*p**3 + 4*p**2 - p + 18. Let a(f) = f**3 - f**2 - 1. Let j(w) = 5*a(w) + i(w). Suppose 2*t + t = 0. Is j(t) a multiple of 4?
False
Let v(a) = a**2 - 2*a - 5. Let z be v(4). Suppose -z*r = -50 - 94. Is r a multiple of 12?
True
Suppose n + 3*x + 5 = 0, -2 + 4 = -4*n - 3*x. Is 200 + n - (-20)/(-10) a multiple of 8?
False
Let u(v) be the first derivative of 2*v**3/3 - 4*v**2 - 12*v + 15. Is u(7) a multiple of 6?
True
Let t(p) = p**2 - 8*p + 11. Let q be t(6). Let a be (-8)/6 + 40/12. Is 4 a factor of q/a + 153/18?
True
Let v = 3682 - 2324. Is v a multiple of 7?
True
Let q be (-4)/(-2) - (-65)/5. Let b = -1 + q. Is b a multiple of 7?
True
Let b(t) = -t**3 + 3*t**2 + 7*t - 8. Let k be b(5). Let y = 25 - k. Is 7 a factor of y?
False
Let u(q) = q**2 - 16*q - 26 - 2*q**2 + q. Does 5 divide u(-7)?
True
Suppose 5*s + 16 = 6*s. Does 9 divide (-2)/((-2)/s*-15 - 2)?
False
Suppose -4*i = -164 - 76. Suppose 3*o + 2*m = -36, -5*o + 2*m = m + i. Is (6/o)/((-2)/120) a multiple of 10?
True
Let r = -2208 + 3158. Does 19 divide r?
True
Suppose 8*a - 525 = a. Let n = 114 - a. Is n a multiple of 8?
False
Let k = 54 + 18. Does 38 divide 1 + k + -2 + 5?
True
Suppose -4*s + 8 = 0, 5*s = -p + 5*p - 4146. Is p a multiple of 18?
False
Let h be 2/(-7) - 240/(-56). Suppose w = 3*g - 2*g + 116, -w + h*g = -110. Does 22 divide w?
False
Let a be (-12)/(-18)*45/(-6). Let d(l) = -l**2 - 11*l - 11. Does 3 divide d(a)?
False
Let i(v) = v**3 + 13*v**2 - 11*v + 17. Does 19 divide i(-11)?
True
Let p(j) = -j**2 + 32*j**2 + 32*j**2 + 9*j**2. Let r be p(1). Is 9 a factor of (-48)/r + 194/3?
False
Is 39 a factor of 4/(-10) + (-22132)/(-55)?
False
Is 15 a factor of (-2)/(-17) + (4 - 19100/(-68))?
True
Let k(j) = -109*j**3 + j**2 - j - 8. Is 61 a factor of k(-2)?
False
Let c = 82 + -37. Suppose 6*d = d - c. Let n = 20 + d. Is n a multiple of 11?
True
Let s = 237 + -201. Is s a multiple of 17?
False
Suppose 2*j + 16 = 10. Is 5 a factor of 75/(-12)*(j - 1)?
True
Does 42 divide ((-16)/8 - (-32)/20)*-705?
False
Suppose 0 = 3*q + 5*b - 146, 0 = q + b - 55 + 7. Let a = q + 1. Is 9 a factor of a?
False
Let b(s) = 131*s - 163. Does 71 divide b(4)?
False
Let k = 13 - 12. Let h be k + (-45)/(1 - 0). Let z = -8 - h. Does 18 divide z?
True
Suppose 3*i + 9 = -2*m + 51, -22 = -m - i. Let l be (m/15)/(4/10). Is 84/l + 3 + 0 a multiple of 14?
False
Let c = -8 - -516. Is 5 a factor of c?
False
Let n be 0/(0 - -3 - 4). Suppose 2*g = 3*v + 23, -4 = 4*v - n. Is 4 a factor of g?
False
Let a(n) = 19*n**2 + n - 2. Let t be a(-2). Let j = 20 - t. Let r = j + 90. Does 13 divide r?
False
Let d(b) = 105*b - 33. Is d(3) a multiple of 14?
False
Let z be (-473*1)/((-2)/(-16)). Is (-2)/3 - z/33 a multiple of 13?
False
Let r = 12 - -6. Let a = 43 + r. Does 16 divide a?
False
Suppose -2*n = 4*p + 20, -3*n - 1 = 2*p + 17. Let g be (0/p)/((-3)/3). Does 4 divide 4 + 30/(g + 3)?
False
Suppose r + 4*a = 2*r - 92, 2*r + 5*a = 145. Suppose w - r = -w. Is 8 a factor of w?
True
Let x(z) = z**3 + 13*z**2 + z + 7. Let r be x(-13). Let f(t) = 2 - 5*t + t - 13. Does 13 divide f(r)?
True
Let v = 33 + -39. Does 26 divide ((-6672)/(-36) - (-2)/v) + 0?
False
Let p = -17 - -15. Let d be -5 + 4 + p + -45. Let m = d + 92. Does 11 divide m?
True
Suppose -10*i + 8 = -9*i. Suppose i*w + 336 = 14*w. Is w a multiple of 11?
False
Is 3/6 + (-251)/(-2)*1 a multiple of 14?
True
Let m = 1689 + 407. Suppose 422 = 3*a + m. Is 13 a factor of 5/35 - a/14?
False
Let s(c) = -3*c - 15. Let z be s(-6). Suppose m - 2 = 1, z*m = -f + 36. Does 6 divide f?
False
Let x(z) = z**3 + 20*z**2 + 8*z. Is x(-12) a multiple of 11?
True
Let j(d) = d**3 - 9*d**2 + 5*d + 9. Let y be j(7). Let i = 93 + y. Is i a multiple of 21?
False
Let x be 110/9 + 10/(-45). Suppose -x*z + 192 = -16*z. Let s = z + 84. Is s a multiple of 9?
True
Does 3 divide ((-2738)/(-185))/(2*(-1)/(-60))?
True
Does 18 divide (9828/56)/(3/4)?
True
Let l(u) = 13*u**2 - 5*u + 7. Let g be l(-6). Let p be g/13 + 4/26. Suppose 0 = w - 3*k - 33, w = 3*k - 2*k + p. Is 7 a factor of w?
True
Suppose k = -0*k + 2*d + 40, -3*k + 124 = -5*d. Does 12 divide k?
True
Let h be 145/45 - (-2)/(-9). Suppose -8 = l - 3*l - v, -2*v - 5 = -h*l. Suppose 0*c + l*c = 90. Is 15 a factor of c?
True
Let x = 1664 + -925. Suppose 71 = 5*o - x. Is 27 a factor of o?
True
Let h(d) = d**3 - d**2 + d + 27. Let l be h(0). Let m be ((-7)/((-105)/(-48)))/((-4)/(-10)). Let w = m + l. Is 4 a factor of w?
False
Suppose 0*s - 12 = 4*s - 4*m, -m + 5 = -3*s. Let h be (-3)/s - (-8 - -6). Suppose -5*j + i = -142, -2*j + 26 = h*i - 20. Is 10 a factor of j?
False
Suppose 5*w - 21 = -0*f + 2*f, -5*w + f = -23. Suppose m - w*z + 11 = 0, -3*z + 3 = -m - 0. Suppose -h - m = -54. Is h a multiple of 23?
False
Suppose 5*j - 3*j = 6. Suppose j*k = -5*s + 12, -4*k = -s - 2 - 14. Suppose c - 2*n - 30 = -0*n, s = -2*c + 2*n + 54. Is 12 a factor of c?
True
Let f(s) = 10 + 7 + s**3 - 13*s + 7 + 10*s**2. Is 33 a factor of f(-11)?
False
Let w = -221 - -578. Does 3 divide w?
True
Suppose -5*l = -13 - 17. Let z be (-4)/l - 11/(-3). Suppose -9 = -z*x - 2*h, -3*x + 0*h + 9 = -4*h. Is 3 a factor of x?
True
Suppose -2*z - 75 = 4*t + 31, -5*t = 2*z + 132. Let x = t + 31. Does 28 divide 121 + (2 + 18)/x?
False
Suppose 3*q - 11 = -5*c, 24 + 14 = 4*q + 2*c. Is q a multiple of 2?
True
Suppose 7*p = 5*p + 10. Suppose 3*n - 4*o - 51 = 222, -4*o + 455 = p*n. Is 13 a factor of n?
True
Let q(u) = -4*u**3 - 15*u**2 - 4*u + 4. Let g be (8/(-6))/((-6)/(-18)). Is q(g) a multiple of 12?
True
Let i(g) = 24*g**2 - 2*g + 2. Let m be (-2)/8*(-2 + -2). Is i(m) a multiple of 12?
True
Let j be 3/((-12)/8 - 0). Is (75 - -6) + j/(-1) a multiple of 14?
False
Suppose 2*w = -2*z + 550, z + 0*z + 1387 = 5*w. Suppose 5*y = 643 + w. Does 23 divide y?
True
Suppose -f - 392 = -2*j + 3*f, 3*j - 608 = -4*f. Let x = j - 74. Is x a multiple of 21?
True
Let x(j) = 3*j + 7. Let f(u) = -3*u - 6. Let t(k) = -5*f(k) - 4*x(k). Is t(14) a multiple of 4?
True
Suppose 7348 = 9*z - 2696. Is z a multiple of 31?
True
Let m = 69 - 41. Let j(p) = p**3 - 3*p**2 - 3*p - 1. Let y be j(4). Suppose -x - y*x = 2*h - m, -2*x + 30 = 5*h. Is x a multiple of 2?
False
Let z be -4*2/((-16)/4). Suppose -3*v + 1 = z*b, 2*v + 0*v = 2*b - 6. Suppose l - f - 10 - 20 = 0, 4*l = -b*f + 90. Is l a multiple of 11?
False
Suppose -2*b + 2*u + 166 = -544, 0 = 4*b - 3*u - 1422. Suppose 3*q + 25 - 34 = 0. Suppose k - q*k + 2*h + 182 = 0, -3*h = 4*k - b. Is k a multiple of 30?
True
Let j = -2456 - -3756. Does 26 divide j?
True
Let g(y) = y**3 - 13*y**2 + 2*y - 18. Let r be (22/(-4) + -1)*-2. Let x be g(r). Is (-78)/(-24)*x*2 a multiple of 26?
True
Let r(k) = -4*k**2 + 14*k + 10. Let y(f) = 7*f**2 - 29*f - 20. Let d(m) = -5*r(m) - 3*y(m). Is d(16) a multiple of 13?
True
Let l be (-35)/(-11) - (-32)/(-176). Suppose -a = z - 43, l*a - 5*z - 84 = 13. Is 6 a factor of a?
False
Let y be 24/((-1 - -2)*-1). Let i(l) = l**3 - 8*l**2 + 6*l - 21. Let p be i(8). Is (32/y)/((-2)/p) a multiple of 9?
True
Is (-14103)/(-18) - 45/(-10) a multiple of 19?
False
Let h(z) = -28*z + 4. Let o = 33 - 35. Does 13 divide h(o)?
False
Let j = 296 - 136. Does 20 divide j?
True
Is 6 a factor of (-578)/(-4)*((-9 - -13) + -2)?
False
Suppose 5*n - 133 - 17 = 0. Is n a multiple of 6?
True
Let o = 115 + -66. Suppose 199 = 4*y - o. Does 12 divide y?
False
Let m(x) = 194*x - 311. Is m(8) a multiple of 12?
False
Let p = -43 + 48. Suppose 0*v - 3*v - 4 = 2*i, -p*i + 3*v + 32 = 0. Is i a multiple of 2?
True
Does 72 divide ((-192)/(-112))/((-2)/(-7)) - -516?
False
Suppose -4*r - 2*m + 232 = 0, 5*r - 296 = -m - 0*m. Let f be -7*(4 + 10/35). Is (12/f)/((-2)/r) a multiple of 12?
True
Let