= -6*q - 6. Is q even?
True
Suppose -k = -6, -3*h = -8*k + 12*k - 7854. Is 58 a factor of h?
True
Let y be (-3 - 1)*6*(-5)/(-120). Is 19 a factor of -2 - (-6 - -331)*y?
True
Let r be 6/(-4)*(-2 - 0). Let p(f) = -70*f + 2315. Let l be p(33). Is 2 a factor of 23/(-3)*(l + (-5 - r))?
False
Let z = 243 - -77. Let p = z - 298. Does 11 divide p?
True
Let d = -10893 + 11196. Is d even?
False
Let w = -294 - -289. Let v(d) = 7*d**2 - 10*d - 4. Is 13 a factor of v(w)?
True
Let h(d) = 2*d**2 + 13*d - 1. Let j be h(-8). Let k be 2*(-1)/(-1)*j. Let b = 66 - k. Is b a multiple of 4?
True
Let h(z) be the second derivative of z**4/3 - 5*z**3/2 - 7*z**2/2 + 110*z. Is 17 a factor of h(9)?
False
Suppose o - 5*v = -99 + 126, 5*o = -2*v. Let k be 3608/14 - 4/(-14). Suppose 20 = -o*d - 2*d, -2*f = 4*d - k. Is f a multiple of 30?
False
Let w(d) = -2*d**2 - 2*d + 4. Let b be w(2). Let n(k) = -3*k**3 - 21*k**2 - 8*k. Does 6 divide n(b)?
False
Suppose b - 12 = -2*j - 4*b, 5*j = b + 30. Let h = -4934 - -4720. Is 4 a factor of h/(-12) - (11/j + -2)?
False
Let c = 1100 + -997. Suppose -2*a + 75 = -a - 3*q, -3*a - q = -275. Let h = a + c. Is h a multiple of 18?
False
Suppose 21*s = 27*s - 2424. Suppose 0 = -2*a + 1028 - s. Is 23 a factor of a?
False
Let v(d) = d**3 - 10*d**2 + 48*d - 55. Is v(18) a multiple of 71?
False
Let m = 968 + 2500. Is 68 a factor of m?
True
Let u be -1 + -35 - (-90)/(-45). Let s = 217 - u. Is 17 a factor of s?
True
Let u be (-8 - (-2 - 1))*(-1 - 0). Suppose -4*y = -u*z - 2 - 2, 4*z = 5*y - 5. Does 23 divide (-92)/16*(y + -21)?
True
Let n(l) be the second derivative of 18*l + 1/20*l**5 + 0 + l**3 + 7/12*l**4 + l**2. Does 11 divide n(-5)?
True
Does 69 divide 15 + 12139 + -15 - 5?
False
Does 18 divide 1841*(5/(-7))/(40/(-144))?
True
Let k(c) = 30*c**2 + 10*c - 16. Let s be k(2). Suppose -3444 = -s*q + 121*q. Is q a multiple of 28?
True
Let k be 6*(150/(-12) - -14). Let y(d) be the third derivative of d**4/3 + 31*d**3/6 - 2*d**2. Does 11 divide y(k)?
False
Let c be 0*5/15 - -3. Suppose c*a = 152 + 58. Is 2 a factor of (12/(-10))/((-21)/a)?
True
Let n(b) = 3*b**2 + 394*b + 1160. Is 8 a factor of n(-130)?
True
Let v(y) = y + 2. Let o be v(0). Suppose 23 = -o*r - 55. Is (0 - r)*(-30)/(-9) a multiple of 18?
False
Let j be 6/4*(-6 + 16/12). Let m(i) = 5*i**2 + 14*i + 7. Is 22 a factor of m(j)?
True
Let v = 82 + -78. Let s be (-1)/(-4)*v + 2 - -174. Let b = 272 - s. Is b a multiple of 19?
True
Let n = 1139 - 787. Is n a multiple of 22?
True
Does 18 divide (31 + -17 - 10)*((-8806)/(-8) + -1)?
False
Suppose j - 5*n = 4128, 29 = -4*n + 9. Is j a multiple of 7?
False
Let c = 3 - 3. Suppose -4 = -2*m - c*m. Does 18 divide (2 + m - (7 + -1)) + 218?
True
Suppose -6*k = -k - 10. Suppose 785 = -5*z + 3*g, -k*z + 6*z + g = -611. Let r = z - -222. Does 34 divide r?
True
Let d = 124 - 99. Let g = d + 17. Suppose 3*a = -g + 255. Is 4 a factor of a?
False
Let f = -1 - -1. Let a(q) = -14*q - 2. Let j(p) = -5*p - 304. Let m(u) = a(u) - j(u). Is 16 a factor of m(f)?
False
Let g(t) = -t**3 + 9*t**2 + 10*t - 10. Let k be g(10). Does 14 divide (k/(-15))/(1/105)?
True
Let z(t) = -t**2 + 140*t - 1931. Is z(66) a multiple of 47?
False
Is ((-5592)/80)/(3/(-5))*154 a multiple of 59?
False
Suppose 1400 - 7366 = 19*h. Let f = h - -399. Is 19 a factor of f?
False
Suppose 0 = 49*u - 40*u - 99. Suppose -578 = 9*i - u*i. Does 40 divide i?
False
Let j be (-3)/6*10*-1. Let y(m) = -8*m**2 - 1 - 2*m + j*m + 48*m**2 + 2*m**2. Is y(2) a multiple of 30?
False
Suppose 9*q - 5*q = -4*q + 199680. Is q a multiple of 16?
True
Let v(l) = -l**2 - l + 3. Let n be v(-3). Let a be (128 + (-12)/n)*1. Let g = 295 - a. Does 12 divide g?
False
Let g = 30 - 22. Suppose g*f - 12*f = -4*b + 1952, 0 = b - 4*f - 494. Is 54 a factor of b?
True
Is (3 - (-32)/(-12))/(1/3159) a multiple of 3?
True
Is (1 - 14538/(-3)) + -7 a multiple of 55?
True
Let d(k) be the first derivative of k**3/3 - 3*k**2 + 2*k - 4. Let v be d(5). Does 21 divide 36/((-1 - (v - -4))/(-7))?
True
Suppose 6*d + 2*d - 150776 = 0. Is d a multiple of 186?
False
Does 16 divide (324/135)/(((-1)/4)/((-475)/2))?
False
Suppose 0 = s + 2, 0 = 4*y - 43*s + 47*s - 172424. Is y a multiple of 52?
True
Let y(i) = -i**3 - i**2 - i - 3. Let q be y(-2). Suppose 3*d - 1478 = -5*p, q*p - 1474 = -2*p + d. Is p a multiple of 10?
False
Let l be (2*1/(4/6))/1. Suppose 5*y + l*g + 0*g = 97, y - 22 = 2*g. Is y a multiple of 6?
False
Suppose 0 = 4*j - 6*j + 114. Let v be 50 + (-1 - (0 + -2)). Suppose -3*i + v = -j. Is 9 a factor of i?
True
Let q = -523 - -358. Is 9 a factor of 0 - (q/6 + -4)*2?
True
Let z(s) = 904*s**3 + s**2 + s - 2. Let h be z(1). Let m = h - 514. Does 26 divide m?
True
Let u be 725/65 + (-2)/13. Suppose u*d = 14*d - 924. Is 7 a factor of d?
True
Let q = 40596 + -10174. Is q a multiple of 14?
True
Is 4 a factor of 36/30 + 2734/(-15)*-3?
True
Let q(v) = 10*v**2 - 5*v - 2. Let w(k) = 9*k**2 - 5*k - 3. Let j(p) = -4*q(p) + 5*w(p). Is j(7) a multiple of 7?
True
Suppose -6*d + 3*d = -o + 32, d - 5*o + 34 = 0. Let s be -3*(-6)/d - -8. Suppose -187 - 11 = -s*y. Is y a multiple of 12?
False
Let b be (-5)/(390/12) - (-11)/((-429)/72). Let x(a) = -a + 2 - 73*a + 9*a. Does 12 divide x(b)?
True
Let f(m) = -21967*m - 930. Does 15 divide f(-1)?
False
Suppose -493*y - 116704 + 1569082 = 0. Does 3 divide y?
True
Let q be (-256)/(0 + 2 + (9 - 12)). Let f be 4 + q - 1/(-2)*2. Let w = f - 78. Is 12 a factor of w?
False
Let k = 38780 + -22645. Is 35 a factor of k?
True
Suppose 2*m - 5*m + 2 = 4*u, m - 2*u - 4 = 0. Suppose 2*j - 16 = 2*c, 12*j + c - 13 = 6*j. Suppose -m*h = 2*g - 142, g + j*g = 5*h + 248. Is g a multiple of 8?
False
Let b(z) = 78*z**3 + 3*z**2 - 6*z + 6. Let w be b(2). Suppose -w + 98 = -2*y. Does 7 divide y?
True
Let s = -17067 - -23488. Is s a multiple of 19?
False
Suppose -23*f = -26*f + 3. Suppose 610 = 3*t - 4*u, 7*u + 4 = 3*u. Suppose 7*p - t = f. Is 3 a factor of p?
False
Let w = -269 + 273. Suppose -725 + 3244 = 4*z + m, 12 = w*m. Is z a multiple of 17?
True
Let o be ((-940)/6)/((-8)/(-24)). Let g be (-13356)/(-20) + 1/5. Let b = g + o. Is b a multiple of 24?
False
Suppose 19*z - 122 = -84. Suppose -101 = -z*s + 211. Is 17 a factor of s?
False
Suppose 0 = 2*v - 4*i + 64, -28 = v - 4*i + 2. Let m = v - -41. Let p(t) = 3*t**2 - 8*t - 6. Is p(m) a multiple of 12?
False
Suppose 8*i = 3*i + 20. Suppose -2*u - i*z = 2, 2*u + 2*z = -u + 9. Let y(f) = 2*f**3 - 9*f**2 - f - 2. Does 4 divide y(u)?
False
Let y = -216 - -223. Does 17 divide y - 11436/(-54) - (-2)/9?
False
Suppose -5*b + 19545 = -2*i + 5212, 2*b + 4*i = 5738. Does 47 divide b?
True
Let c(m) = 16*m**2 + 11*m + 5. Let h be c(-4). Let x = h - 16. Suppose 105 = 3*b - x. Is 10 a factor of b?
False
Let u(s) = 18*s + 1122. Let j be u(0). Suppose 7*m + j - 3222 = 0. Is 11 a factor of m?
False
Let m(s) = -11*s**3 + 2*s**2 - 58*s - 407. Does 21 divide m(-8)?
True
Let m(h) = -h**3 - 4*h**2 - 5*h - 9. Let i(y) = -1. Let w(n) = 3*i(n) + m(n). Suppose -114*a - 40 = -104*a. Does 6 divide w(a)?
False
Let o = -132 - -418. Let k = o + -143. Is 11 a factor of k?
True
Suppose 3*l = 35*l - 3*l - 36540. Does 30 divide l?
True
Let k = -176 + 178. Suppose 4*z - 4632 = k*h, 2*z + 1144 = 3*z + 3*h. Is z a multiple of 68?
True
Let d(f) = -2802*f - 212. Is 14 a factor of d(-1)?
True
Let u = -4482 - -4544. Is u a multiple of 31?
True
Let c = 315 + -311. Suppose 692 - 4052 = -c*b. Does 10 divide b?
True
Let t(l) = 2*l - 13. Let h(d) = -3*d + 27. Let a(p) = -6*h(p) - 13*t(p). Suppose -4*r + 665 = -c + 670, 2*r = -5*c - 151. Is 20 a factor of a(c)?
False
Let u = -952 + 1708. Suppose 5*r - u - 179 = 0. Is r a multiple of 20?
False
Does 6 divide -2 - (208/(-78)*9/4 - 1448)?
True
Let c(f) = 137*f + 1138. Is c(51) a multiple of 125?
True
Let a(j) = j**3 + 4*j**2 + 3*j + 1. Let n(c) = -c**2 - 10*c - 2. Let h be n(-10). Let g be a(h). Let x = 42 + g. Is 9 a factor of x?
True
Let u = 27515 - 15335. Is u a multiple of 7?
True
Suppose 0*f - 5*f = -4*a + 17782, -3*a - 4*f = -13383. Is 61 a factor of a?
True
Let n(j) = -j**3 - 17*j**2 - 4. Let i be n(-17). Let l be (-5)/i + 48/64. Suppose 0 = -3*b - 9, -l*o + 204 = -5*b + b. Is 14 a factor of o?
False
Suppose 2*u - 5*a = -0*u - 13, -3*u - a + 23 = 0. Let x(f) = 5*f - 20. Let q be x(u)