 5*c = -64167. Is 24 a factor of v?
True
Let l(y) = -y**3 + 19*y**2 - 17*y - 17. Let g be l(18). Let i be -3 + -1 + g - (1 + -8). Suppose -3*m = i*m - 735. Is 16 a factor of m?
False
Let f(c) = 11*c**2 + 24*c + 740. Is 88 a factor of f(-18)?
True
Suppose -12*d + 906 = v - 10*d, -3*d - 2691 = -3*v. Suppose 5*i = i - 8, -4*p + v = -2*i. Does 25 divide p?
False
Let z(d) = 5*d**2 + 734*d - 162. Is z(-159) a multiple of 17?
True
Let v(q) = 4*q**2 - 18*q - 75. Let o(r) = 5*r**2 - 16*r - 74. Let g(w) = 5*o(w) - 6*v(w). Does 65 divide g(-35)?
True
Let l = -561 - -556. Is 7 a factor of (4 - (-34)/l)/((-5)/150)?
True
Let l(o) = o**2 - 6*o - 16. Let z be l(10). Suppose 4*r = -2*d + z, -3*r - 116 = -4*d - 24. Does 17 divide (-2)/4 + 1290/d?
False
Let y(t) = -20 + 38 - 174*t - 42. Does 24 divide y(-4)?
True
Does 4 divide 39 + (-89922)/(-54) + (4/(-18))/1?
True
Let r = -35 - -947. Let a = r - 192. Is a a multiple of 18?
True
Let z = 50 - 34. Suppose -1 = 3*s - z. Suppose s*m + 219 = 4*f, 0 = -2*f + m + 13 + 98. Is f a multiple of 12?
False
Suppose -8 = -4*l + u, -3*u = 5*l + u - 31. Suppose -l*j - 62 = t - 3182, 0 = 4*t. Does 80 divide j?
True
Is 8 a factor of 69272/32 + -27 + 6/(-8)?
False
Suppose 3*r - 3 = 5*p - 7, -5*p = -2*r - 6. Suppose 0 = -r*a + 2*f - 108, -5*a + 161 = -3*f + 427. Let u = a - -58. Is u a multiple of 2?
True
Let q(y) = -y**3 - 33*y**2 + 75*y + 477. Is 37 a factor of q(-38)?
True
Suppose 6*d - 55 - 47 = 0. Suppose -2*k - 25 = -y + 13, 0 = k - y + d. Is (-9)/k + 32/7 a multiple of 5?
True
Let u = 198 + -119. Let w = 78 - u. Is 5*8/40 + w + 131 a multiple of 16?
False
Does 48 divide (-15)/((-315)/318472) + (-11)/((-33)/8)?
True
Suppose -4*t + 5*s + 362 = -233, -2*s + 302 = 2*t. Suppose 2720 = -t*w + 154*w. Does 40 divide w?
True
Let z = 932 + 872. Is 2 a factor of z?
True
Let f(b) = -b. Let u(n) = -2*n - 4. Let c(r) = 2*r + 27. Let a be c(-11). Let s(p) = a*f(p) - u(p). Is s(-8) a multiple of 14?
True
Suppose -104*n = 4*c - 100*n - 227508, 0 = -4*c - 5*n + 227509. Is c a multiple of 236?
True
Suppose 181*y - 176*y - u = 2251, y - 4*u - 454 = 0. Is y a multiple of 90?
True
Is 4 a factor of (-10 + 43 + -24)*(-2607)/(-9)?
False
Let r(g) = 13*g - 4 - 6*g + 5*g + 4*g. Is 14 a factor of r(9)?
True
Let q = 248 + 1119. Suppose 233 = -3*a + q. Does 18 divide a?
True
Let z = 3343 + -3240. Is z a multiple of 4?
False
Let k = 93 - 94. Let g be (-34)/(k + -5 + 5). Suppose 599 = 5*i + g. Is i a multiple of 18?
False
Let y(f) = -f**3 + 8*f**2 - 12*f + 9. Let a be y(6). Suppose g - a*g - 328 = 0. Let b = 94 - g. Is b a multiple of 15?
True
Let q(z) = -z**3 - 21*z**2 - 20*z + 3. Let h be q(-20). Suppose h*o = 117 + 87. Is 4 a factor of o?
True
Suppose 4*l = -20, -2*s = -223*l + 219*l - 10202. Is 38 a factor of s?
False
Let b(o) be the second derivative of o**4/3 - 23*o**2 + 61*o. Is b(-13) a multiple of 63?
True
Is 99 a factor of ((-2)/4 - -1*(-27)/6) + 7430?
True
Suppose 2*m - 3 = -9. Does 24 divide (216 - -4)*(m - (-12)/3)?
False
Suppose -2*n + 7*b = 4*b, -2*n + 2 = -4*b. Suppose -o - 3 = 3*p - 4, 3*p - 4*o = -4. Does 3 divide 11 - -1*(n - p)?
False
Suppose 16 = -4*v, 2*a = -12*v + 13*v - 20. Is -13*-2*a/(-8) a multiple of 13?
True
Let l be -1 + (-3 + -2)*-7. Let a = l - 40. Is 3/(3 - a)*165 a multiple of 11?
True
Let v be ((-48)/(-10))/(-6 - (-816)/135). Let d = -185 + v. Let z = d + 102. Is z a multiple of 10?
False
Is 15 a factor of (-9 - (-20 - -10))*(7214 - 1)?
False
Let w(j) = 24*j - 97. Let d be w(-6). Let y = d - -426. Is y a multiple of 5?
True
Let s = 5967 - 2028. Does 33 divide s?
False
Is (-2984)/746 + 0/(-1) + 6403 a multiple of 16?
False
Suppose 341*z + 280*z = 4970484. Is 37 a factor of z?
False
Let v = -11066 - -24247. Is v a multiple of 31?
False
Let i(f) = -f + 1. Let s(y) = -4*y + 4. Let n(g) = 3*i(g) - s(g). Let k(j) = -j**3 + 8*j**2 - 9*j + 8. Let v(z) = k(z) + 2*n(z). Is v(5) a multiple of 21?
False
Let f(y) be the third derivative of -1/2*y**3 + 83/30*y**5 - 5*y**2 + 0*y + 1/12*y**4 + 0. Does 15 divide f(1)?
True
Suppose 2*y + w + w = 294, 5*y + 3*w - 729 = 0. Is y a multiple of 20?
False
Let r = -16019 - -17957. Does 6 divide r?
True
Suppose x - 11*s + 8 = -7*s, 3*x = s - 2. Suppose 5*g - 2*t - 1196 = 0, x*t + 1206 = 5*g + 3*t. Does 20 divide g?
True
Let w be 3/1*(-28)/12. Let a be (w/((-14)/4))/((-10)/(-695)). Let o = 239 - a. Does 10 divide o?
True
Suppose -169 = -2*p - j + 51, p - 5*j = 121. Does 3 divide 2/3*p*(-5 + 6)?
False
Let u(f) be the first derivative of -f**4/4 + 23*f**3/3 + 6*f**2 + 26*f + 32. Let c be u(11). Suppose -c = s - 11*s. Does 23 divide s?
True
Let b(o) = -3*o + 20. Let j be b(-11). Let k = j - 4. Does 9 divide k?
False
Let f be 2*2*3/6*1. Suppose 46*s - 45*s = f. Suppose -4*v - o + 195 = 0, 6*o - 252 = -5*v + s*o. Is v a multiple of 13?
False
Does 9 divide 597277/115 - (-16)/(-20) - 8/(-92)?
True
Let x = 9156 - 6487. Does 17 divide x?
True
Let h(o) = 11*o**2 - o + 1. Let n be h(-2). Suppose -5*x = 4*s - 1320, x = 3*s + 311 - n. Suppose x = 11*q - 165. Is q a multiple of 26?
False
Let t = 17 - 9. Let c = 69 + -72. Let i = t + c. Is 5 a factor of i?
True
Suppose 0*z + 5*z + 4*g - 4234 = 0, 4 = 4*g. Let x = 467 + z. Is x a multiple of 13?
True
Let u(j) be the second derivative of j**4/12 + 4*j**3/3 + 57*j**2/2 + 3*j - 8. Is 26 a factor of u(23)?
False
Suppose z + 3465 = 5*l, 2*z = 4*l - 5*l + 693. Suppose 13*r - 11*r - 467 = 3*f, -3*f + l = 3*r. Is 19 a factor of r?
False
Suppose 51947 = -4*b - 4*o + 181571, 3*b = 5*o + 97290. Is b a multiple of 307?
False
Let h(u) = -u**3 - 14*u**2 - 12*u + 1. Let s be h(-13). Let j be (-255)/(-18) + 2/s. Is (-40)/j*(-35)/5 a multiple of 17?
False
Suppose 9*t - 16*t + 21 = 0. Suppose 0*s + 2*s - 129 = t*y, 0 = 5*s + y - 365. Does 8 divide s?
True
Suppose -55*o = -881168 + 280843. Does 5 divide o?
True
Suppose 4*n = 4*z, 0 = 45*z - 47*z + 3*n - 2. Let j be (0 + -1 - -1) + 661. Suppose 5*o = -z*f + j - 185, -f - 467 = -5*o. Is o a multiple of 9?
False
Let c(x) = x + 11. Let b be c(-8). Suppose -5*f + 4*y - 6*y + 25 = 0, 3*f - 5*y = 15. Suppose -b*i = -f*i + 46. Is 4 a factor of i?
False
Let x(r) = -24*r + 44. Suppose w + 34 = -3*k + 3, 0 = -5*w - 5*k - 125. Is 13 a factor of x(w)?
True
Let v be (-10)/(-7) + 1 - (-6)/(-14). Suppose 0 = -2*x - v*x - 16, 2*x - 384 = -4*p. Is 14 a factor of p?
True
Let b = -3836 - -14856. Is 29 a factor of b?
True
Let d(p) = 2 - 12*p + 10*p + 4. Let a be d(2). Suppose 1 = 2*k - 3*m - 32, -2*k + a*m + 32 = 0. Does 5 divide k?
True
Suppose 7*a - 5637 = -1409. Suppose -3*i + 7*i - a = 0. Suppose 0 = o - i + 97. Is o a multiple of 9?
True
Suppose -82*w + 79*w = -2787. Is 74 a factor of w + (48/4)/(-4) + 5?
False
Let r be (6 - (-5 - -8))/(2/(-4)). Let a = 27 + r. Is a a multiple of 21?
True
Suppose 72*p - 1262682 - 1063590 = 8*p. Is p a multiple of 29?
False
Suppose 3*c + 4*x - 2899 = 0, -1184*x + 1187*x - 973 = -c. Is 32 a factor of c?
False
Suppose -26*g + 5*d - 186 = -29*g, 0 = -5*g - d + 266. Let v be 82/(-8) + (-1)/(-4). Let b = g + v. Is b a multiple of 21?
True
Suppose 0 = -16*h - 10 + 170. Suppose -5*n = h, 0 = -2*r - 0*r + 3*n + 420. Is r a multiple of 69?
True
Suppose 5*v - 189 = -4*k, 2*k - 5*v = -2*k + 219. Suppose -30*d - 651 = -k*d. Does 8 divide d?
False
Let o(d) = -9*d + 135. Let r be o(30). Does 37 divide (-52650)/r - (0 + 1 - 1)?
False
Suppose -n = 3*j - 3*n - 23024, 2*j = -4*n + 15344. Is j a multiple of 32?
False
Let v be (-616)/(-132) + -1 + 1/3. Suppose -v = i - 4. Suppose 3*j + 4*j - 14 = i. Is j a multiple of 2?
True
Let i be (-1)/(4/60*5). Let t be i/2*(-380)/6. Let k = 159 - t. Does 18 divide k?
False
Is -4 - -31967 - (32 - (11 - -9)) a multiple of 199?
False
Let f = -12 + 16. Suppose z = 3*n + 369, f*z - 2*n - 1466 = -0*z. Is z a multiple of 61?
True
Does 80 divide (-71)/710 + (-60001)/(-10)?
True
Let w = -1706 + 3026. Is 20 a factor of w?
True
Let n = -50744 - -103376. Is n a multiple of 72?
True
Let u(c) = -13*c - 17*c - 109 - 13*c. Is u(-30) a multiple of 86?
False
Is 39 a factor of ((-46900)/750 + 1/5)*-117?
True
Suppose -5953 = -10*u + 5517. Is u even?
False
Let a(s) = -s**2 + 33*s + 1276. Let v be a(54). Let i be -2 - (1 - (5 - -1)). Suppose -i*z + v = -z. Does 13 divide z?
False
Suppose -4*u = 3*r - 1410 - 121062