 -416. Is 12 a factor of f?
True
Let j(q) = q**2 - 39*q + 270. Let v be j(9). Is (3 + v)*8/((-88)/(-385)) a multiple of 4?
False
Let m(z) = z**3 - 23*z**2 - 26*z - 32. Suppose -10 = -a + 5*c - 2*c, 0 = 2*a - 2*c - 40. Is 71 a factor of m(a)?
True
Let z(n) = 5*n + 13. Let d be (30/3)/(3 - 2). Let m be z(d). Is ((-100)/15)/((-6)/m) a multiple of 14?
True
Let c(l) = -35*l + 1990. Is 2 a factor of c(-59)?
False
Let o = -321 - -330. Suppose -6*c = 2*a - 3*c - 107, 0 = -2*a + 4*c + 86. Let t = a - o. Is 20 a factor of t?
True
Suppose 2*c - 3230 = 4*d, 2*d = -216 + 226. Is 65 a factor of c?
True
Let q(u) = u + 118. Let m(i) = i**3 + 2*i**2 - 141*i + 10. Let k be m(-13). Is q(k) even?
True
Suppose -169*t - 69860 = -197*t. Does 6 divide t?
False
Let l(j) = -j**3 - 23*j**2 - 148*j + 28. Does 2 divide l(-25)?
True
Suppose -459584 = 92*d - 135*d. Is d a multiple of 26?
False
Let i be 26/4 + (-3)/(8 - 2). Let q be 1351/14 - 3/i. Let c = 162 - q. Does 22 divide c?
True
Does 120 divide (5 - 517/33)*(-8460)/8?
True
Suppose m - 337 = -5*c, -4*c + 17 - 5 = 0. Suppose 0 = -6*d - m + 940. Does 20 divide d?
False
Let u(x) = -7*x - 1. Let d be u(2). Let r = d + 13. Is 7 a factor of (60/(-48))/(r/56*1)?
True
Let p = 184 - 179. Suppose -r + 4 = -4*q + 3*r, 22 = 5*q + 4*r. Suppose -i = q*f + f - 110, 5*f = p*i + 170. Is 12 a factor of f?
True
Suppose 5*b + 22 = q, 0*b + 3*b = -3*q - 6. Suppose 3*d + 0*f = f + q, -2*f - 4 = d. Suppose d = -2*z + 2*k + 5 + 33, 8 = -2*k. Is 8 a factor of z?
False
Let g(f) = -612*f**3 - 7*f**2 - f + 6. Does 13 divide g(-1)?
False
Suppose 5*s - 4503 = -14*s. Let c = 392 - s. Does 27 divide c?
False
Suppose -39*x - 18*x + 3*x + 714420 = 0. Does 70 divide x?
True
Suppose t - 68 = 5*q, t + 132 = 4*t + 3*q. Suppose 3*d + 135 = 12*d. Suppose 13*p = d*p - t. Does 11 divide p?
False
Let v = 111 + -107. Suppose -4*k + 1940 = v*g, -5*k - 155 - 360 = -g. Is 14 a factor of g?
True
Let o(t) = t**3 + 2*t**2 + 45*t - 357. Is o(11) a multiple of 84?
False
Let u(m) = -m - 11 - 17*m - 32 - 7*m - 3*m. Does 25 divide u(-6)?
True
Suppose 0 = -3*s + 157 + 47. Suppose 381 + 204 = 9*t. Suppose 0 = -s*d + t*d + 120. Is 8 a factor of d?
True
Let u(h) = -h**2 + h + 12. Let w be u(4). Does 43 divide -5*(86/(-1) - w)?
True
Suppose 2*r = 3*j + 2492, -10*r + 14*r - 3*j = 4972. Suppose 4*y = 4*u - r, 5*y - 3 = 4*y. Does 17 divide u?
False
Let q(u) = 53*u - 1. Let f = -8 + 22. Let o = 15 - f. Does 21 divide q(o)?
False
Let k(i) be the second derivative of -20*i**3 - 3*i. Suppose 5*v + 7 = -2*o - 2, 13 = -5*v - 4*o. Does 8 divide k(v)?
True
Let d be ((110/(-8))/11)/((-1)/4). Let z be 2*(8/(-2) + d). Suppose 2*f - 2*n - 34 = 0, -2*f - n = z*f - 83. Is f a multiple of 4?
True
Let l(o) = -6435*o - 13. Let k be l(-1). Suppose 0 = 21*f - 13024 - k. Is 13 a factor of f?
False
Let l = 1004 - 686. Let u = l + -87. Does 7 divide u?
True
Let k = 74 + -58. Suppose 2*n - k - 10 = 0. Suppose 184 = 9*j + n. Is 4 a factor of j?
False
Let m be (-29052)/(-7) + (7 - 357/49). Let p = m - 2473. Suppose 507 = 14*y - p. Is y a multiple of 39?
True
Let h = 6 + -6. Suppose h = -a - 3 + 47. Suppose 0 = 2*g - a - 100. Is 10 a factor of g?
False
Let d = 1181 + 5354. Is 5 a factor of d?
True
Is 32 a factor of (-10)/12 - (5897144/48)/(-11)?
True
Let y(s) = s**3 + 12*s**2 - s - 2. Let g be y(-12). Is 17 a factor of 1014/15 - (-4)/g?
True
Let i = 99896 - 58187. Is i a multiple of 135?
False
Suppose 20*n - 5*f = 18*n + 11074, 5*f + 22188 = 4*n. Is 114 a factor of n?
False
Suppose -3*j + 40 = 5*h, 3*j + 4*h = 61 - 26. Suppose -558 = -j*r + 307. Does 80 divide r?
False
Suppose 0 = -2*i - 149 + 1313. Suppose 257 + 1718 = 79*m. Suppose m*f + i = 28*f. Is f a multiple of 16?
False
Suppose 17515 = -102*r + 107*r. Is 31 a factor of r?
True
Suppose -2*m - 565 = -m - 2*n, 0 = m + 4*n + 535. Let q = m + 1199. Does 46 divide q?
True
Suppose -5 = -q, 3*u + 5*q = 5*u - 2131. Is u a multiple of 39?
False
Let h = 209 - 509. Let w = 13 + -11. Is 5 - w*h/8 a multiple of 14?
False
Suppose u - 13 = -5*c, -u + c = -0*u - 13. Suppose u*p - 8*p = 2135. Let i = p - 297. Does 26 divide i?
True
Suppose -115*c + 114081 = -1089872 - 840517. Is 14 a factor of c?
False
Let n = -746 - -829. Is 4 a factor of n?
False
Let q be 2/2*(144 + -17). Does 53 divide q*1 + -40 + 33?
False
Let i = 29869 + -17737. Is i a multiple of 12?
True
Let j(r) = 4*r - 60 - 3*r - 123*r**2 + 66*r**2 + 66*r**2. Is 21 a factor of j(8)?
False
Let w(r) = -168*r**3 - 8*r**2 - 41*r - 7. Does 170 divide w(-4)?
False
Let v(z) = 4*z**2 - 15*z + 32. Does 2 divide v(10)?
True
Let z(l) = -3*l + 9*l - l + 4 - 40 + l**2. Suppose u + 42 = -2*u. Is z(u) a multiple of 30?
True
Suppose 5*v - 330 = -5*u + 42195, -v = -4*u - 8500. Suppose 3*i + v = 11*i. Is i a multiple of 66?
False
Let y(b) = b**2 - 1. Let q(h) = 5*h**2 + 5*h + 14. Let f(w) = q(w) - 2*y(w). Let n be f(7). Is (3 - n/15)/((-1)/15) a multiple of 51?
True
Suppose 5*p - 2*p - 47865 = -2*q, -3*q = -4*p + 63803. Is 23 a factor of p?
False
Let t be (-2)/(-4) + 18/4. Suppose -29*n + 28*n = -t. Suppose o + 4*u - 93 = 0, 6*u + 253 = 3*o + n*u. Is o a multiple of 9?
False
Let z be (-1 - -6) + -12 + 7. Suppose 6*o = -z*o + 462. Is 5 a factor of o?
False
Let g(a) = -4*a**2 - 6*a + 54. Let x be g(6). Let r = 174 + x. Is 24 a factor of r?
True
Let b(i) = -10*i - 72. Let w = -200 + 187. Is 14 a factor of b(w)?
False
Let y(p) = -141*p + 3. Let g be y(4). Let b = g - -915. Does 37 divide b?
False
Suppose 7*n = 2*n + 2845. Let c = -377 + n. Suppose 2*b - c = -2*b. Does 13 divide b?
False
Let p(c) = 2*c**3 - 10*c**2 + 43*c - 305. Is p(8) a multiple of 3?
True
Let s(i) = -i**3 + 9*i**2 - 10*i - 11. Suppose -45 = 6*f - 15*f. Is s(f) a multiple of 13?
True
Suppose -3*x + 327 = -3*d, 201 = 2*x + 4*d - 5. Let c = x - -97. Is 4 a factor of c?
True
Let p = 25231 - 16001. Is p a multiple of 355?
True
Let x = 543 + -504. Suppose 0 = -3*a + 2*o + 58 + 33, -5*o - x = -a. Is a a multiple of 2?
False
Suppose 0 = -4*x + 3*z + 12668, -3*x = -6*x + z + 9496. Is x a multiple of 113?
True
Let p(w) = -18*w - 160. Let h be p(-9). Suppose 3*s = -h*m + 39, -18*s + 39 = -15*s + 4*m. Is 7 a factor of s?
False
Suppose -9888 = -4*b + 4*w, -4*b + 5*w + 10434 = 551. Does 21 divide b?
False
Suppose 3*v - 8 + 5 = -t, 0 = -4*t - 12. Let f(q) = -251*q**3 + 2*q**2 - q - 2. Let m be f(2). Is m/(-16) + 1 - v/8 a multiple of 42?
True
Suppose 3*c = a + 13, 2*a + 22 = 5*c - 0*a. Suppose 3*b - 2*u - 604 = 0, 5*b - c*u - 983 = 21. Is b a multiple of 17?
True
Suppose 2975*c + 700 = 2989*c. Is 5 a factor of c?
True
Let g = -191 + 185. Let q(l) = 2*l**3 + 14*l**2 + l + 9. Is 17 a factor of q(g)?
False
Suppose -2*c - 5*w = -87009, -1453*w - 5 = -1448*w. Is 127 a factor of c?
False
Suppose -3*s + 7*s - 1144 = -2*c, -5*s + 1436 = 4*c. Let g = 609 - 809. Let b = s + g. Is b a multiple of 6?
True
Suppose -2*t - 2*r = -34682, 34*r - 17340 = -t + 32*r. Is 58 a factor of t?
True
Suppose -5*u - 4*j + 1148 = -2*j, 4*u - 5*j = 925. Suppose 1722 = 64*d - 78*d. Let p = u + d. Is 20 a factor of p?
False
Let n be (-16 - -32)/(2*1). Suppose -n*l + 797 = 245. Is l a multiple of 7?
False
Suppose 2*k = k + 2*l - 7, -5 = -l. Let b(r) = -2*r + 8. Let c be b(k). Suppose c*o + 404 = 4*q, -2*q - o = -239 + 45. Does 10 divide q?
False
Suppose 7468 = u + 4*h, 3*h - 8770 - 21024 = -4*u. Is 37 a factor of u?
False
Let d = 614 - 591. Let g(k) = 8*k + 123. Is 11 a factor of g(d)?
False
Let g be 17/(-2) + (45/6)/(-5). Let s(i) = -18*i + 30. Is s(g) a multiple of 55?
False
Is 11 a factor of (-2 + -42)/(4/(-134))?
True
Let u(y) = -75*y + 71*y + 4*y**2 + 33*y**3 - 8*y**2 + 2. Is u(3) a multiple of 13?
True
Let o(d) = 28*d**2 - 240*d - 977. Is o(-4) a multiple of 137?
False
Let x = -22 + 25. Let k(o) = 2*o**2 - 6*o + 2. Let r(u) = 6*u**2 - 17*u + 5. Let p(m) = x*r(m) - 8*k(m). Does 9 divide p(-5)?
False
Suppose 50*y - 45*y - 320 = -5*k, 2*y = 2*k - 108. Let n = -148 - -273. Let z = n - k. Does 11 divide z?
True
Let j(g) = -1952*g - 736. Does 12 divide j(-8)?
True
Suppose 0 = 86*p + 29*p - 265075. Does 34 divide p?
False
Suppose 9*b = 7*b + 282. Suppose 0 = 7*c - 2*c - 10. Suppose 1 = -c*t + b. Does 14 divide t?
True
Suppose -21119 = -3*l + 5*n, -n - 6131 = -2*l + 7960. Suppose 0 = 23*a + 1988 - l. Is 