2 + 2*q + 13. Let s be u(-6). Is 14/s - 3*1964/(-30) a multiple of 7?
True
Suppose -14*x + 467 = -471. Suppose -8492 = 23*z - x*z. Is 48 a factor of z?
False
Suppose 0 = 4*c - 3*j + 207, 4*c - 5 + 227 = -2*j. Is 12 a factor of (c + 6)/(-8) - -222?
True
Suppose 17*m + 9549 = 74285. Is 16 a factor of m?
True
Let h = -1 - -2. Let f be (-4 - (-88)/28)/((-8)/308). Suppose -2*u = -f + h. Is 4 a factor of u?
True
Let s(f) = 182*f**2 - 74*f + 272. Is 4 a factor of s(4)?
True
Suppose 3*t - 91 = 2*s - 17, t + 5*s = 2. Let g(c) = -c**2 + 22*c + 120. Does 29 divide g(t)?
False
Let w = -100 - -218. Suppose -23 + w = -p. Let z = 111 + p. Is z a multiple of 2?
True
Suppose 3*f + 5*n + 18 = 0, -3*n - 5 = -5*f - 1. Is f*(480/25)/(-4)*5 a multiple of 5?
False
Let a(y) = -12*y - 598. Let o(x) = 2*x + 99. Let b(z) = -6*a(z) - 34*o(z). Does 10 divide b(30)?
False
Suppose 7 = -k + 9. Suppose -143 = -3*z - k*b + 134, 0 = z - 4*b - 111. Let a = -92 + z. Is 3 a factor of a?
True
Suppose 0 = -4*q - 2*p + 3*p - 1357, 4*q + 1332 = -4*p. Let o = 971 + q. Is o a multiple of 67?
False
Suppose 8*z - 23 = 9. Let a(y) = 7 + 9*y - 14*y - z + 6*y**3 - y**3. Is 14 a factor of a(3)?
False
Let n(t) be the second derivative of -8*t**3/3 + 223*t**2/2 + 12*t. Does 12 divide n(0)?
False
Let p = 489 - 492. Does 73 divide p - -4 - (17 + -221)?
False
Suppose -w + 533 - 28596 = -4*v, -4*v - 2*w = -28054. Does 115 divide v?
True
Suppose 6*l - 8 + 56 = 0. Let j(f) = -17 - 12*f - f**2 + 6*f**2 - 4*f**2. Does 19 divide j(l)?
False
Let f(g) = g**3 - 4*g**2 + 3*g - 5. Let b be f(5). Let x = b - 42. Is 34/8*7/(x/(-4)) a multiple of 4?
False
Let d(c) = c**3 + 15*c**2 + c + 22. Suppose m - h + 16 = -m, 5*m - 3*h = -42. Is d(m) a multiple of 9?
False
Let i = -4912 - -13631. Is i a multiple of 42?
False
Let s(a) = a**3 + 3*a + 6. Let o(v) = -v**2 + 27*v + 28. Let i be o(28). Let p be s(i). Suppose -107 = p*u - 683. Does 16 divide u?
True
Suppose 10*r - 8*r = 910. Let h = r + -325. Does 13 divide h?
True
Suppose 8*a + 2189 + 29381 = 3*s, -4*s - 2*a + 42144 = 0. Does 19 divide s?
False
Let j(f) = 25*f**2 + 7*f - 11. Let h be j(5). Suppose -h = -9*g + 872. Suppose -m = 4*q - 83, -4*q = -2*m - m + g. Is m a multiple of 7?
True
Suppose -19*o + 180 = -16*o. Suppose 234 = 7*u - o. Does 7 divide u?
True
Let a be -9*(-1 + -1 - (-4828)/(-51)). Suppose a - 184 = 14*x. Does 47 divide x?
False
Suppose 25 = 10*v - 15*v, q + 4*v + 16 = 0. Does 12 divide (-156)/104 - 1203*(-2)/q?
True
Let f(w) = w**3 - 37*w + 84. Is 12 a factor of f(17)?
True
Let z(t) = 804*t - 486. Does 12 divide z(6)?
False
Let u be (-5 - 4 - -4) + 1. Is 6/u - (-194)/4 a multiple of 5?
False
Let p be (0 + -1 + 7)*(-1)/(-2). Suppose 0 = -q - 2*f - 12, -3*q = p*f - 4*f + 15. Is 14 a factor of (5*9)/(q/(-20))?
False
Let o(d) = -3*d**3 - 3*d**2 - 11*d + 15. Let v be o(-5). Suppose 213 = -369*q + v*q. Does 8 divide q?
False
Suppose 0 = -3*v + 4*a - 20 + 24, -6 = -2*v + a. Suppose -1881 = -v*d + 3*p, 2*d - 4*p = -9*p + 921. Is 36 a factor of d?
True
Let w = 19342 - 12034. Is w a multiple of 29?
True
Let v be 2 + (-4)/4 + 32. Let r = -31 + v. Is 33 + (3 - r/2) a multiple of 7?
True
Suppose 5*p - 22 = -3*f + f, -2*f = -4*p - 22. Suppose l = 4*x - f + 84, -x - 322 = -4*l. Suppose 0 = -0*j + j - l. Is j a multiple of 10?
False
Let v(p) = -5*p + 152. Let l be v(0). Suppose l = -2*b + w + 561, 2*w = 10. Is 9 a factor of b?
True
Suppose 0 = -3*z + 3*z - 15*z. Suppose -3*i = 2*h + 2*i - 236, z = 4*h - 4*i - 528. Is 16 a factor of h?
True
Let t be (13/3 - 5)/((-20)/2790). Let f(o) = -12*o**2 + 4*o - 3. Let b be f(2). Let k = b + t. Does 19 divide k?
False
Let l = 16047 - 11247. Is l a multiple of 64?
True
Suppose 3*r = -13 + 10. Let p be (-3)/(r - 50/(-44)). Does 27 divide 18/99 - 2966/p?
True
Suppose 2*x - 53 - 75 = 0. Suppose 276 = 2*z + 12*n, 0 = 4*z + 3*n - 761 + 251. Let y = z - x. Is y a multiple of 31?
True
Is 1*-7*(-4 - (14 + 22)) a multiple of 7?
True
Suppose -3*f - 16 = -2*h + 3, 33 = 4*h - 5*f. Suppose 657 = h*m - 343. Does 25 divide m?
True
Suppose 708 = 5*r + 223. Suppose 3*j + a - 1280 = 0, 3*j - 1207 = 5*a + r. Is j a multiple of 36?
False
Suppose 17*z + 14*z - 3402 = 29*z. Is z a multiple of 36?
False
Let g = -6329 - -10903. Is 5 a factor of g?
False
Does 19 divide 22/(242/209)*((-4)/2 + 39)?
True
Let j = -26964 + 46375. Is j a multiple of 25?
False
Suppose -2*k = -2, -8 + 31 = 5*s - 2*k. Let z be (-21098)/88*(-6 + 4/2). Suppose -s*g + 3*v + z = -0*v, 3*g - 567 = -v. Does 10 divide g?
True
Let j(g) = g**3 + 90*g**2 + 199*g - 293. Does 27 divide j(-86)?
True
Suppose 461*d - 2181577 = 1575573. Is d a multiple of 5?
True
Let s(h) be the second derivative of -31*h**3/6 - 86*h**2 - 218*h. Is 16 a factor of s(-13)?
False
Let a(t) = 1105*t - 124. Is 149 a factor of a(2)?
True
Let k be (5/(-15))/(1/(-177)). Let l = 56 - k. Let r(q) = -3*q**3 - 3*q**2 + 5*q + 9. Does 3 divide r(l)?
True
Let s = -244 + 493. Let v be 10/(-10) + s + (-2 - 0). Suppose 0 = 3*x - 2*a - v, 5*a - 78 = -x + 21. Is x a multiple of 44?
False
Let f be 39/65 + (57/5 - -1). Let t(l) = -8*l + 70 - 34 - f*l. Does 18 divide t(-6)?
True
Let a(w) = -2*w**3 + 73*w**2 + 224*w + 14. Is a(39) a multiple of 20?
False
Suppose 31 = u + 23. Let l(v) = -v + 14. Let y be l(u). Suppose -y*k + 164 + 250 = 0. Is 14 a factor of k?
False
Suppose -4*y = 0, -2*p + 5*y + 3 = 103. Does 17 divide p/25 + 1*118?
False
Let r(z) = 2*z**3 + 5*z**2 - 3*z + 18. Let p = -116 - -121. Does 21 divide r(p)?
True
Let m = 92 - -1. Let s = -58 + m. Is (-133)/(-5) + (-21)/s a multiple of 20?
False
Let o be -17*10/(-3)*24/(-16). Let z = -198 - o. Let u = -89 - z. Is 12 a factor of u?
True
Suppose -5*a - 2*j - 2169 = -8*a, -3*a = -5*j - 2169. Suppose -a*n = -724*n + 384. Is 4 a factor of n?
True
Is ((-3263)/39)/(9/(-16200)*4) a multiple of 251?
True
Suppose -3*s + 36417 = 5*r, r = -0*s + 2*s - 24291. Suppose 35*v = -9*v + s. Is v a multiple of 23?
True
Let w = 53794 + -35802. Is w a multiple of 26?
True
Let m(o) = o**3 + 46*o**2 - 49*o - 89. Let h be m(-47). Let c(n) = -n**2 - 7*n - 8. Let l be c(-6). Is 35 a factor of l + 5 - (-7 - 2)*h?
False
Suppose -3*n = -5*q + 18589 + 70588, n = -2*q + 35684. Does 6 divide q?
False
Suppose 358*d = 357*d + 3756. Suppose -d = -7*s + 3111. Is 41 a factor of s?
False
Let w(z) = -z**2 - 4*z + 14. Let t be w(-6). Suppose -a + 28 = 3*a + 4*x, -4*a = t*x - 18. Suppose 0*l + 5*c = 3*l - 73, a*c = -3*l + 101. Does 5 divide l?
False
Let r(j) = 9 + 14*j + 8*j**2 - 7*j**2 - 7*j. Let h be r(-5). Does 15 divide (-3)/h + (8 - -19)?
True
Suppose -4*i + 4148 = 896. Suppose -4*s - f = -1945, -2*s + 163 = 4*f - i. Is 21 a factor of s?
False
Suppose 4578 = 2*u - 3*o, -u - o = -204 - 2095. Is 54 a factor of u?
False
Let o be -2*(1*15/(-3) - -2). Suppose 0 = y + 4*y - 5*b + 15, 3*y - 2*b + o = 0. Suppose -47 = -5*z - 2*m, -z + y*m = 2*m - 3. Is 3 a factor of z?
False
Suppose 13*w = 72556 + 71224. Is w a multiple of 79?
True
Let u(k) = -2*k + 14. Let q be u(6). Let c(h) = 6 - 21 + h**2 + 4*h**q - 4*h**2. Is c(-12) a multiple of 22?
False
Suppose -4*r + 4*m + 32 = 0, -5*r = -7*m + 8*m - 10. Suppose d + 10 = r*d, -5*c = -d - 1795. Is c a multiple of 24?
True
Suppose 62 = -5*b - 18. Let n(k) = k**3 + 18*k**2 + 30*k + 4. Let g be n(b). Suppose 0 = -l - 4*w + g, 2*l - 66 = -3*w - 2*w. Does 7 divide l?
True
Suppose 199*m = 195*m - t + 59601, 74520 = 5*m - 5*t. Does 19 divide m?
False
Let u(o) be the first derivative of -o**4/4 - 16*o**3/3 - 5*o**2/2 - 23*o + 9. Let h be u(-16). Suppose -3*y + h + 27 = 0. Is y a multiple of 14?
True
Suppose d + 3*l - 21400 = -l, 5*d + 3*l = 107085. Suppose -47*g = -13*g - d. Is 21 a factor of g?
True
Let u = 231 + -238. Does 8 divide (7/4)/u - (-4422)/24?
True
Let k(q) = q**3 - 7*q**2 - 4*q - 33. Does 37 divide k(11)?
True
Suppose -4*c + 3178 + 56646 = -4*h, -5*c - h + 74828 = 0. Does 27 divide c?
False
Suppose -9278 = -3*c - c - 2*n, -n = 5*c - 11593. Does 61 divide c?
True
Suppose 0 = -2*l + 5*w + 1620, 10*l - 14*l + 4*w = -3228. Is l a multiple of 5?
True
Suppose -113 = -5*z - 8. Does 17 divide 7/z*(3 - -48)?
True
Suppose 20*t - 67 - 13 = 0. Is 8 a factor of t/(-5)*(-7)/(140/10050)?
False
Suppose b + 19*b - 123358 = -54*b. Is 32 a factor of b?
False
Is (-5)/((-20)/(-8))*(1 + -2