 Is 33 a factor of g?
False
Suppose 4*k + 3885 = 41*k. Is k a multiple of 21?
True
Suppose -8*h + 22 + 2 = 0. Is 5 a factor of 2/h*(82/4 + 2)?
True
Let o(s) = -10*s - 15. Let k be o(-14). Suppose -4*z = m + 36 - 141, k = 5*z - 5*m. Is 2 a factor of z?
True
Let p = -5 - -44. Suppose -w - p = -145. Is 10 a factor of w?
False
Let g = 716 + -360. Does 26 divide g?
False
Let s(m) = -m**2 + 44*m - 209. Is 16 a factor of s(32)?
False
Let y(b) = -b - 33. Let g be y(0). Let h be (-1842)/g + 2/11. Suppose 4 = -4*a + h. Is 11 a factor of a?
False
Let o be (10 - (-2)/(-1))*(-2)/4. Does 10 divide (3/(-2) + (-2)/o)*-33?
False
Let l(k) = k**2 - 7*k - 1. Let w(f) = -2*f**2 - 7*f - f**2 + 5*f**2. Let q(o) = -3*l(o) + 2*w(o). Is q(-8) a multiple of 4?
False
Let o = -518 - -589. Is o even?
False
Let l = 93 - 89. Suppose -4*c + l*s + 676 = 0, 0*c = -2*c - s + 329. Does 28 divide c?
False
Suppose 9 = 2*o + o. Suppose -o*k + 140 = -97. Is k a multiple of 15?
False
Let h be (0 - -2)*-2 + 3. Let d(q) = 21*q**3 - q**2 - q. Let y be d(h). Let c = 18 - y. Is c a multiple of 14?
False
Let f = 751 + -730. Suppose 0*h + 5*x = 4*h + 84, 2*x + 8 = -h. Let t = f + h. Is t even?
False
Suppose -120 = -4*f - 2*f. Is f a multiple of 10?
True
Let q be (-45)/(-20) - 6/(-8). Let h be -2 - 3*(-2)/q. Suppose -4*j = -4*l - h*l + 172, 20 = 4*j. Is 12 a factor of l?
True
Suppose 5*h + 205 = -715. Is 19 a factor of h/(-10) - 39/(-65)?
True
Let l(f) = 26*f - 14. Let m(i) = 5*i - 3. Let b(c) = -2*l(c) + 11*m(c). Suppose 5*t - 15 = 10. Is b(t) a multiple of 6?
False
Let r(k) = k - 3. Let a be r(9). Let x(t) = t + 3. Let m be x(0). Suppose -g + m = -a. Is 8 a factor of g?
False
Let k be (75/(-5))/(6/(-20)). Is 14 a factor of (-9 + k)*(1 + 0)?
False
Suppose 19*m = 16*m + 5*a + 2192, -3*m - a = -2204. Is m a multiple of 12?
False
Let c = 25 + -22. Suppose -20 - 184 = -c*u. Is u a multiple of 5?
False
Is (-36464)/(-80) + (-12)/15 a multiple of 5?
True
Let l(s) = 18*s**3 + s**2 - 35*s + 1. Is 8 a factor of l(5)?
False
Let o = 636 - 603. Is o a multiple of 12?
False
Let c(u) = -5*u**3 + 6*u**3 + 3 + 3*u**2 - u + 0. Let r(l) = -2*l**3 - 4*l**2 + 2*l - 2. Let z(j) = -3*c(j) - 2*r(j). Is z(5) a multiple of 23?
False
Suppose -86*z - 500 = -90*z. Suppose z + 3 = 2*d. Is d a multiple of 8?
True
Suppose -2*w - 73 = -h, -4*w + w - 77 = -h. Suppose -7 = -3*a + x - h, 2*a - 5*x = -56. Does 13 divide a/(-27) + 115/3?
True
Suppose -x - 24 = 13. Suppose 0 = s - 36 + 95. Let z = x - s. Does 11 divide z?
True
Let g be 0 + 103 - (-3 - 1). Let q = g + -35. Is 12 a factor of q?
True
Let f(l) = l**3 + l**2 + l - 1. Let i(w) = -3*w**3 - 7*w**2 + w + 6. Let k(y) = 2*f(y) + i(y). Let a be k(-5). Let z = a + 18. Is 5 a factor of z?
False
Suppose 4*r - 39 = -35. Is 124 + -8 + (0/r)/(-1) a multiple of 29?
True
Let x(s) = -37*s - 9. Let v = 36 + -38. Does 7 divide x(v)?
False
Suppose 5*g - 8*g - 690 = 0. Let i = -153 - g. Let k = -50 + i. Does 13 divide k?
False
Suppose -2*g - 3*x = 3*g - 59, -g + 22 = 4*x. Let u(n) = -n**3 + 8*n**2 + 25*n - 4. Is 11 a factor of u(g)?
False
Suppose 15*b + 11 = 71. Suppose b*a + 2*y - 204 = 2*a, 2*y - 2 = 0. Is a a multiple of 59?
False
Let a(h) = -h - 13. Let y be a(-7). Is ((-8)/y)/((-12)/(-234)) a multiple of 26?
True
Suppose p = -5*p. Suppose p = -f + 75 + 10. Suppose u + f = 6*u. Is 10 a factor of u?
False
Suppose 301 = d + 5*c, 0*d + 304 = d + 2*c. Let v = 461 - d. Is 21 a factor of v?
False
Let h(z) = -z**3 - 17*z**2 - z + 3. Let i(b) = b - 10. Let k be i(-7). Is h(k) a multiple of 13?
False
Suppose -4*z - 279 + 303 = 0. Is z a multiple of 2?
True
Does 3 divide (-2)/4*(-80)/(-14)*-14?
False
Let b be 176/2*(-6)/(-8). Let u = 196 - b. Is 13 a factor of u?
True
Let g(j) = j**2 - 8*j + 3. Let u be g(7). Let a be 8/12*(-48 - 3). Does 17 divide 6/u*a/3?
True
Suppose 3*d + d - 588 = 0. Is d a multiple of 7?
True
Is 3021/38*(-1)/(-3)*70 a multiple of 35?
True
Let v = 849 - 501. Is 4 a factor of v?
True
Let v = 9 - 10. Does 7 divide v*(1 + 1)*(-38)/4?
False
Let q(m) = -m**3 + 5*m**2 + m + 1. Let t be q(5). Let y(h) = 3*h**2 + 2*h - 7. Does 9 divide y(t)?
False
Let r(d) = -3*d - 23. Let t be r(6). Suppose k + k = -w + 146, -2*k = -3*w - 130. Let y = t + k. Is 15 a factor of y?
True
Let c be 27/(-63) + (-24)/(-7). Suppose c*j = -3*g + 126, -2*j + 2*g = -129 + 29. Does 23 divide j?
True
Let i(k) = 6*k - 42. Is i(20) a multiple of 10?
False
Let l = 1307 - 719. Suppose 6*a - l = -0*a. Does 16 divide a?
False
Let q = 10 - 12. Let m(h) = 8*h**2 - 4. Does 14 divide m(q)?
True
Let g(s) = -2*s**3 + 23*s**2 + 11*s - 9. Is g(10) a multiple of 44?
False
Let q(z) = 7*z**2 + 2*z - 2. Let m be q(-2). Suppose -4*r + 3*w = -125, -46*r + 48*r - w = 61. Let d = r - m. Does 7 divide d?
True
Suppose -5*u + 726 + 84 = b, -u + 4*b = -183. Is 20 a factor of u?
False
Let w(b) = 57*b + 46. Is 44 a factor of w(10)?
True
Let j(i) = 5 + 12*i**2 - i**3 + 2*i**3 + 11*i - 2. Let z be (5 + 6)*(-1 - 0). Is j(z) a multiple of 3?
True
Let j = -10 - -14. Suppose i = -j*i. Suppose n + 0*n - 45 = i. Is 9 a factor of n?
True
Is (-1)/((-7800)/(-1952) + -4) a multiple of 28?
False
Is 49 a factor of 189/18*(-10)/6*-14?
True
Suppose -25 = -2*k + o, -5*k - 4*o + 41 = -15. Let j(v) be the second derivative of v**3/6 + 4*v**2 + 5*v. Is 3 a factor of j(k)?
False
Let t be (10/(-4))/((-14)/(-28)). Is (4/t)/(1/(-30)) a multiple of 4?
True
Is (-3880)/(-120) + 1*4/6 a multiple of 3?
True
Is 21 a factor of (990/4 - -1) + (-207)/414?
False
Let x = 56 - -4. Is x a multiple of 5?
True
Suppose -4*i + 1148 = -476. Is i a multiple of 29?
True
Suppose x = 3*x - 20. Let t be x/(-45) + (-8)/(-36). Is (-3 - t/(-2)) + 70 a multiple of 22?
False
Let j(l) = 3*l - 13. Let p be j(6). Suppose -p*o + 2*k + 194 = 0, -o + 3*o = 3*k + 71. Is 20 a factor of o?
True
Suppose 11899 + 4065 = 26*a. Does 29 divide a?
False
Let o(q) = q**2 + 2*q + 31. Let i be o(0). Let y = 43 - i. Is 2 a factor of y?
True
Let v be 3*2*10/(-10). Let k = 15 + v. Suppose 0 = 4*m - k*m + 255. Is m a multiple of 17?
True
Let z = -269 + 302. Is 6 a factor of z?
False
Does 17 divide 230 - (-13 - -6)/(-7)?
False
Let j(w) = w**2 - 10*w + 1. Let x be j(10). Is 8/4 - (-31)/x a multiple of 13?
False
Let j(d) be the first derivative of 17*d**3/3 - d**2/2 + 5*d - 21. Is 24 a factor of j(-3)?
False
Is (1134/(-15))/((-165)/1100) a multiple of 16?
False
Let k be (-1 + 6/9)*3. Is 5 - (2 - k/1) even?
True
Let y = 150 - 106. Is y a multiple of 11?
True
Is (-6)/(-4)*2370/45 a multiple of 2?
False
Suppose 3*n = -2*z + 377, 0 = -3*z + 4*n - 180 + 720. Is z a multiple of 23?
True
Suppose 7*u - 3 = 32. Suppose 5*o - 146 = -2*c, u*c - 3*o = 284 + 112. Is c a multiple of 19?
False
Let p(u) = -4*u - 1. Let k(o) = 4*o + 1. Let x(y) = 4*k(y) + 5*p(y). Let r be x(1). Is 17 a factor of (-1)/(((-15)/(-81))/r)?
False
Suppose o + 13 - 20 = 0. Suppose -3*f + 8*f = 0. Let g = o + f. Does 2 divide g?
False
Let b(v) = -9*v - 9. Let k(n) = 242*n + 242. Let g(r) = -55*b(r) - 2*k(r). Let u(f) = -f**3 + 4*f**2 + 2*f - 4. Let a be u(2). Does 25 divide g(a)?
False
Let x(a) = -2*a**3 + 47*a**2 + 33*a - 3. Does 5 divide x(24)?
False
Suppose 0*u + 4*u + 208 = 0. Let q = u + 4. Does 14 divide q/14*42/(-3)?
False
Let i(o) = -o**3 - 12*o**2 - 5*o - 6. Let g be i(-12). Is 6 a factor of (-12)/g - 328/(-18)?
True
Let o = 21 + -10. Is o - -1 - (-48)/12 a multiple of 16?
True
Let g(y) = -y**3 + 40*y**2 - 26*y - 14. Is g(9) a multiple of 5?
False
Let q be ((-2)/4*0)/((-96)/48). Suppose q = 28*j - 22*j - 864. Does 24 divide j?
True
Suppose -6 + 4 = -c. Suppose -2 = -c*w, -l - 3*l = -5*w - 303. Is 11 a factor of l?
True
Suppose x + 9*u - 545 = 4*u, 3*x = u + 1683. Is 5 a factor of x?
True
Let g be (-159)/(-33) - 6/(-33). Suppose 0 = 4*u + g*y - 472, -5*u - 347 = -8*u - 2*y. Does 6 divide u?
False
Let k = 1347 + -617. Does 20 divide k?
False
Suppose 5*u = g - 515, 5*g + 3*u = 380 + 2251. Is g a multiple of 13?
False
Let r = -10 - -20. Suppose 0 = 2*x - r, 2*d + 0*d = 4*x - 240. Let b = d - -155. Does 15 divide b?
True
Suppose -37*u + 36*u + 205 = -5*c, 4*u - c - 725 = 0. Is u a multiple of 36?
True
Let n(q) = -2*q**3 - 19*q**2 - 7*q - 10. Does 4 divide n(-10)?
True
Suppose 7*f - 277 = 143. Is 10 a factor of f?
True
Let i(j) = 4*j + 21. Let g b