a factor of i(9)?
True
Suppose 0 = 73*g - 43*g - 64530. Is g a multiple of 22?
False
Let a(p) = -p - 13. Let i be a(-13). Suppose -o - o - 2 = -l, i = 2*o - 6. Is l even?
True
Let m(u) = u**3 - 9*u**2 + 13*u - 26. Does 13 divide m(9)?
True
Let x(d) = -d**2 - 6*d. Let c be x(-4). Let g = -447 - -923. Suppose 357 = 3*o + s, 4*o - c*s + 3*s = g. Is o a multiple of 26?
False
Let c(z) = -12*z**3 - 5*z**2 - 18*z - 1. Is 72 a factor of c(-4)?
False
Suppose -13*z = -12*z + 128. Does 16 divide ((-18)/(-8))/((-6)/z)?
True
Is (-4 - (4 - 73))*(29 + -25) a multiple of 13?
True
Suppose -2*q + 10 = -4*t, 2*q - 3 + 1 = -4*t. Let l(h) = 89*h**2 + 3*h + 2 - 86*h**2 + 1 - h**3. Is l(q) a multiple of 6?
True
Let h = 466 - 1014. Is (-2)/7 + h/(-7) a multiple of 36?
False
Let t(h) = 18*h - 12. Let z be t(4). Let k = z - 42. Is 5 a factor of k?
False
Let y = 399 - 21. Is y a multiple of 10?
False
Let v(t) = -t**3 + 6*t**2 - 5*t + 12. Let r be v(5). Let b(n) = n**3 - 10*n**2 - 4*n - 27. Is 10 a factor of b(r)?
False
Let t be (-18 - -18) + (-11)/1. Does 19 divide -6*t/(99/114)?
True
Let w(n) = -31*n + 53. Does 16 divide w(-5)?
True
Let d = 620 + 3039. Is d a multiple of 69?
False
Let a = -7 + 10. Suppose 5*d - 8*f - 140 = -a*f, 61 = 2*d - 3*f. Suppose -g + 3*h + 80 = -d, 5*g + 3*h - 425 = 0. Is 10 a factor of g?
False
Suppose 23*i + 2367 = 32*i. Is 33 a factor of i?
False
Suppose -10*u + 42 = -4*u. Suppose 6 - 39 = -3*b. Let k = b - u. Does 3 divide k?
False
Suppose -4 = -5*k + 6. Suppose -4*z = -k*z + 16. Does 6 divide 24*(-1)/z*4?
True
Let h = -11 - -14. Let q be 4/2 - (-588)/h. Does 13 divide q/12 + (-2)/(-4)?
False
Suppose -90 = 8*g - 9*g. Is 18 a factor of (18/(-15))/((-1)/g)?
True
Let w(i) = 69*i - 1302. Is 108 a factor of w(38)?
False
Let h(f) = -f**3 - 11*f**2 - 26*f - 14. Let p be (-12)/30*(25 + 0). Is h(p) a multiple of 7?
False
Let k = 2 - -2. Let q = -85 + 215. Suppose -k*w + q = w. Is w a multiple of 12?
False
Let i(a) = -9*a + 11. Suppose -58 = -9*v + 86. Let m = -20 + v. Is 9 a factor of i(m)?
False
Suppose 225 = 5*h - 2*h. Is 15 a factor of h?
True
Let r = -16 + 21. Suppose -3*x = r*d - 56, -5*d + 4*x + 32 = -d. Does 5 divide d?
True
Let t(w) be the second derivative of w**5/20 - w**4/4 + w**3/3 - w**2 + 4*w. Suppose 30 = 5*n - 5*y, 18 = n + 3*n - 2*y. Is t(n) a multiple of 3?
False
Let a = -3 + -7. Let s = 13 + a. Suppose 0 = -4*g - 3*h + 83, s*h - 16 - 16 = -g. Is g a multiple of 17?
True
Let g(z) = 318*z**2 - 3*z + 2. Is g(1) a multiple of 21?
False
Let z(c) be the first derivative of 19*c**2/2 - 50*c + 12. Is 24 a factor of z(6)?
False
Let z(h) = 3*h + 57. Let f be z(-17). Suppose 2*x + 408 = -x. Does 17 divide x/(-4)*9/f?
True
Let g = 30 + 420. Let s = g + -256. Is 37 a factor of s?
False
Let l = -485 + 1175. Is l a multiple of 30?
True
Does 2 divide 18*(3 + (-30)/(-12) + -4)?
False
Let x(h) = h**2 - h - 10. Let s be x(4). Suppose z = -5*b + 212, z + 82 = s*b - 0*z. Does 14 divide b?
True
Let n be -3 + 2 + (-7)/(7/94). Let r = 128 + n. Is r a multiple of 20?
False
Let o(x) = -x + 8. Let u be o(3). Suppose -u*c + 0*c = -240. Is 16 a factor of c?
True
Suppose 0 = -2*r + 2*s, -4 = -r - s - 0*s. Suppose r*z + z + 312 = 0. Does 4 divide (-920)/z - 4/(-26)?
False
Let q(r) = -r**3 + 16*r**2 - 6*r + 13. Let k be q(14). Does 7 divide 10/(-35) + (k/7)/3?
False
Suppose -21521 = -119*t + 22033. Is t a multiple of 3?
True
Let f(k) = k**3 - 6*k**2 + 3*k + 3. Let w be f(6). Let q be w/(-28)*(-1 + -3). Is 1*(117/3)/q a multiple of 4?
False
Let z = 52 - 52. Suppose -j = 5*v - 29, j + 2*v + v - 27 = z. Is 5 a factor of j?
False
Let h(k) = k**3 + 9*k**2 - 16*k - 20. Let a(r) = -3*r**2 + 5*r + 2. Let p be a(3). Does 6 divide h(p)?
False
Suppose -6*n = -n - 40. Suppose n + 4 = 3*l. Suppose l*i + i - 80 = 0. Does 5 divide i?
False
Suppose 4*v = 4*k - 124, -v + 4*k = k + 35. Let q = v - -48. Is 6 a factor of q?
False
Suppose -5707 = -7*r + 1979. Does 46 divide r?
False
Suppose 93*c = 90*c + 600. Is c a multiple of 48?
False
Suppose 5*j - 1445 = 230. Does 17 divide j?
False
Let p(v) = 6*v. Let a be p(2). Let c be 3/a - (-34)/(-8). Is 10 a factor of (-186)/c*4/6?
False
Is 6 + 590 - (-10)/(-1) a multiple of 28?
False
Let p(c) = c**3 - 3*c**2 + c + 6. Let q be p(3). Let b(l) = l**2 - l + 11. Does 19 divide b(q)?
False
Suppose -2*q = 2*s - 396, 10 + 10 = -5*s. Does 34 divide q?
False
Let i(f) = 12*f**2 - 1. Let o be i(1). Let h(x) = 2*x + x**2 - 7 - 2*x + o. Is 4 a factor of h(0)?
True
Let u be -3 - (-6)/2 - 43. Let b = u - -71. Is 2 a factor of b?
True
Let l(j) = j**2 + 11*j - 15. Suppose -4*s - 77 = -5*f, -4*f + 4 = -2*s - 42. Let d be l(s). Let q = 36 - d. Is 25 a factor of q?
True
Let b = -26 + 30. Let q(s) = -1 + 14 + 51 - b - s. Is q(0) a multiple of 20?
True
Let g be 5 + (-4 + 7 - 1*2). Does 13 divide 22/g*(-6)/4*-16?
False
Let d = -3 + 6. Let o(u) = 4*u - d + 3 + u**2 - 3*u. Is 8 a factor of o(3)?
False
Let x be (112/(-10))/(2/(-5)). Suppose -7*q - x = -9*q. Is q even?
True
Suppose 5*t + 3*p = 32, -31*p + 32*p = 2*t - 15. Is t even?
False
Suppose 5*w - 4*g - 34 = 0, 7 = 6*w - 4*w + 5*g. Let b be 4/w - 170/(-15). Is (-3)/b + (-525)/(-20) a multiple of 26?
True
Suppose -2*n = -n + 3*z - 54, 0 = 2*n + 4*z - 104. Let t = n - 9. Does 9 divide t?
False
Suppose -4*c + 610 = -t - 1689, -1753 = -3*c - 5*t. Does 48 divide c?
True
Suppose 25*t + 42 - 17242 = 0. Is t a multiple of 5?
False
Suppose 1958 = p - 4*i - 3629, -i = p - 5607. Does 7 divide p/91 + (-3)/(-7)?
False
Suppose -u + 23 - 9 = -2*f, -u + 24 = -4*f. Suppose p - u*w = -p + 76, -w = -4*p + 117. Suppose -2*b = -3*b + p. Is 12 a factor of b?
False
Suppose -5 = -3*j + 13. Let t be (-226)/(-7) - j/21. Is ((-246)/(-8))/(12/t) a multiple of 19?
False
Let y = 1304 - 255. Suppose -351 = -10*u + y. Is 14 a factor of u?
True
Let w(r) = r**3 + 8*r**2 - 17*r + 6. Is 8 a factor of w(6)?
True
Let z = 101 - 99. Suppose z*c + 3*a = 217, -a = 3*c - 2*a - 331. Is c a multiple of 11?
True
Does 84 divide (-239434)/(-91) + (-16)/14?
False
Suppose -u + 109 + 15 = 0. Suppose 2*i + 4*y + u = 0, -3*y - 5 = 2*y. Is 8/(-60) - 2948/i a multiple of 7?
True
Suppose 0 = 4*t - 10 - 6. Let a(v) = 6*v**2 - 5*v - 2. Let o(l) = -l. Let f(d) = a(d) - o(d). Is 39 a factor of f(t)?
True
Let g(p) = -p + 5 + 43*p**2 + 2 - 38*p**2 - 3. Is g(2) a multiple of 22?
True
Let m be (-55)/(-10) + ((-6)/(-4) - 2). Suppose -3*i + 4*o = -7*i + 340, -4*o = m*i - 424. Does 14 divide i?
True
Let b(a) = 2*a**3 - 5*a + 5. Let t be (0 - -1)/((-3)/(-6)). Let c be b(t). Let r = c + -7. Does 3 divide r?
False
Let s(l) be the second derivative of l**5/10 - l**3/6 + l**2/2 - 2*l. Let b be s(1). Suppose -45 = -5*q - 3*o, 0*q + b*o = -q + 2. Is q a multiple of 4?
True
Let l = 433 - 246. Is 11 a factor of l?
True
Suppose 5*r = 2*u + 33, -3*u = 5*r + 1 + 36. Let g = 71 + u. Does 7 divide g?
False
Let q(o) = -o**3 - 7*o**2 + 4*o - 9. Let t be (-24)/(-4)*(-6)/4. Is 17 a factor of q(t)?
False
Let b be (15/((-12)/4))/(3/21). Suppose -62 = 3*s + 130. Let g = b - s. Is 24 a factor of g?
False
Suppose -4*s + 58 - 38 = 0. Suppose -s*u - 21 = -241. Is 8 a factor of u?
False
Let l(b) = 31*b - 189. Is l(7) a multiple of 4?
True
Let g(a) = -6*a + 6*a**2 + 4*a + 13 - 5*a**2. Is g(-8) a multiple of 15?
False
Let k = 309 - 216. Suppose -4*d + 236 = 3*v, -3*d + 84 = v - k. Does 16 divide d?
False
Let l be 6/(-21) - 2932/28. Is (-6)/(-5)*l/(-6) a multiple of 4?
False
Let s = -113 + 201. Suppose -g - s = -q, -5*q - g + 88 = -328. Is 15 a factor of q?
False
Let l(y) = -y**2 + 15*y + 4. Let c be l(18). Let o = c + 181. Does 16 divide o?
False
Suppose -3*f = 12, -580 = -3*r - f + 115. Is r a multiple of 11?
False
Suppose -2*q - 2164 = -5*m + 105, 3*q - 1374 = -3*m. Does 18 divide m?
False
Suppose -26 = -3*i - 11. Suppose 0 = -i*k + 6*k - 73. Is k a multiple of 8?
False
Let t be (-7)/(4/(-12)*1). Let a = t + -5. Is a a multiple of 16?
True
Let u(o) = 129*o**2 - 48*o - 214. Is 91 a factor of u(-5)?
False
Suppose -5 - 5 = -5*k. Suppose 200 = -4*m - 2*t, -t = 2 + k. Let v = -34 - m. Is v a multiple of 7?
True
Suppose o = 5*f + 10, -o + 5*f = 3*o - 40. Suppose o*l = 6*l - 12. Is l/4 - (-2488)/32 a multiple of 35?
False
Let g(l) = 15*l**2 - 12*l - 28. Does 35 divide g(-4)?
False
Suppose -3*t = 3*n - 69,