et h(c) = 7*c + 973. Let l be h(0). Let f = l - 693. Is 17 a factor of f?
False
Suppose -74*f + 75*f + 446 = 0. Let d = 491 + f. Does 3 divide d?
True
Let y(w) = 69*w + 207. Suppose -13*j = -24 - 106. Is y(j) a multiple of 47?
False
Let j = 6497 + -3962. Does 83 divide j?
False
Suppose 157*n - 150*n = 112. Let d = n - -47. Does 7 divide d?
True
Let h(b) = b**2 - 9*b + 1. Let s(k) = 8*k**2 - 95*k. Let o(c) = 18*h(c) - 2*s(c). Let a be (14 + -2)*3/(-2). Does 32 divide o(a)?
False
Let c = -1335 - -15518. Is c a multiple of 107?
False
Let o = -1412 + 3131. Is 21 a factor of o?
False
Suppose 4*o - 17*o = -o. Suppose o = -7*d + 7537 + 646. Suppose d = 4*s + 3*s. Is 45 a factor of s?
False
Suppose 3*v - 1099 = 2*s, -s + 138 = v - 235. Let b = v + -98. Is b a multiple of 42?
False
Let o = 9 + 235. Let t = o - 136. Is 9 a factor of t?
True
Suppose -19*d = 18*d - 26*d - 62073. Is d a multiple of 9?
True
Suppose -14*x = -s - 68205, 5*x - 27*s + 23*s = 24348. Is 42 a factor of x?
True
Let g(z) = -3*z - 9. Let w be g(-4). Let j(i) = 9*i**2 + 2*i + 1. Is j(w) a multiple of 22?
True
Is 7 + (-3 - -1902) + (-6 - 0) a multiple of 24?
False
Let h = 30007 + -4072. Is 91 a factor of h?
True
Let s = -2837 - -40199. Is 102 a factor of s?
False
Let n(q) = -q**2 - 17*q - 41. Let l be n(-14). Let c(v) = 48*v**3 - 13*v + 12. Is 2 a factor of c(l)?
False
Let n(o) = -67 + 8*o + 31*o**2 - 10*o + o**3 - 2*o. Does 8 divide n(-31)?
False
Suppose -7732 = -2*n + 4*l, 3*n + 10*l = 13*l + 11616. Does 27 divide n?
False
Suppose 0 = -499*y + 576*y - 311080. Is y a multiple of 15?
False
Let u(f) = 267*f + 2196. Is u(54) a multiple of 117?
True
Suppose 25*d - 22*d - 3*u = 20712, 5*d - 2*u = 34538. Is d a multiple of 26?
False
Suppose -16*i + 3502 = -5618. Does 38 divide i?
True
Let i = 518 - 524. Does 5 divide 3/(9/506) + i/9?
False
Let r = -447 - -451. Suppose 450 = 7*v - r*v. Is v a multiple of 6?
True
Let h(t) = -4*t - 96. Let z be h(-24). Suppose f + 3543 = 6*f + 3*l, -3*f - l + 2125 = z. Does 89 divide f?
False
Let m(l) be the first derivative of -5*l**4/2 - 2*l**3/3 - 3*l**2/2 + 3*l + 92. Is m(-3) a multiple of 43?
False
Suppose -8574 = 78*v - 84*v. Suppose -5*z + 2497 = -3*l, 3*z - 3*l - 74 - v = 0. Is z a multiple of 48?
False
Let r(z) = -248*z - 3040. Is 20 a factor of r(-30)?
True
Let v(i) = 998*i**2 - 4*i - 7. Let s(n) = 498*n**2 - n - 3. Let r(q) = 5*s(q) - 2*v(q). Is r(-1) a multiple of 35?
True
Suppose -165*q - 1153740 = -235*q. Is q a multiple of 19?
False
Suppose 11497 = 16*v - 4823. Does 34 divide v?
True
Suppose 5*n + 25 = -3*p, -4*p - 5*n - 3 = 22. Suppose 78 = 6*v - p*v. Suppose 8*t - 765 = -v. Does 32 divide t?
False
Let x be (-3)/(-2) - (-2)/((-16)/140). Let d be 2*((-44)/x + -3)*-10. Let u(r) = r**3 - 3*r**2 + 4*r - 2. Is u(d) a multiple of 34?
True
Let b = 99927 + -66866. Is b a multiple of 101?
False
Let f = 26310 - 12780. Is 11 a factor of f?
True
Let u(d) = 8*d**2 - 21*d - 45. Let o be u(-2). Suppose -2449 = -2*b - 5*v, o*b - 1229 = 28*b - v. Does 11 divide b?
True
Suppose 0 = 2*n + 5*c - 3315, -3*c + 8259 = 3*n + 2*n. Suppose -3*o = -q - n - 440, -4*q = -4*o + 2784. Is o a multiple of 13?
False
Suppose 2*r + 4 = 4*t - 6, -r = -1. Suppose 0 = 5*q - 4*n + 7*n - 268, -t*q + 4*n = -155. Is 19 a factor of q?
False
Let z(t) = -7*t - 55. Let k be (3/1 - 0)/((-6)/(-52)). Let o = k + -43. Does 13 divide z(o)?
False
Let y(q) = 12*q**2 - 4*q - 7. Let j = -14 + 11. Let t be y(j). Let z = -29 + t. Is 11 a factor of z?
False
Suppose 6 = -u - u - 2*w, -u + 2*w + 12 = 0. Suppose -u*g + g = -36. Is 36 a factor of g?
True
Let p(u) = 372*u + 8. Let y(o) = -o**2 - o + 1. Let c be y(0). Does 12 divide p(c)?
False
Is 12 a factor of (-758151)/(-60) - 123/(-820)?
True
Let j = -245 + 248. Suppose 3*u = 2*q + 355 + 47, -3*u + 417 = j*q. Is 16 a factor of u?
False
Let d(p) = p**2 - 10*p - 9. Let w be d(11). Let k = w + -38. Does 30 divide k*(-3 - 4/(-8))?
True
Let t = -593 + 111. Let i = t - -720. Is 17 a factor of i?
True
Is 15 - 34/((-272)/38232) a multiple of 141?
True
Let h = 182 - 112. Suppose -360 + h = -2*w. Does 5 divide w?
True
Suppose 4*i = -2*t + 16590 - 4952, -2*i = -5*t - 5789. Is i a multiple of 35?
False
Let t = 30577 + 9453. Is 45 a factor of t?
False
Let g = -215 - -215. Suppose g = -n - 3, -31 = 3*v + 3*n - 1363. Is v a multiple of 83?
False
Let x be (1 - (2 + 3))*(1 + -38). Let f = 113 - x. Does 3 divide (-14)/f*1 - 216/(-10)?
False
Let s(o) = -34*o**3 - 3*o**2 - 4*o - 2. Let c be s(-1). Suppose 24*a = c*a - 270. Is 20 a factor of a?
False
Suppose 608*j - 16689365 = 139*j. Does 9 divide j?
False
Suppose 4*l - h = 8 + 95, -4 = -4*h. Let v = l - 9. Suppose -k - v = -50. Is k a multiple of 7?
False
Is 16 a factor of -4 - (-2*1018/4 - (9 + -2))?
True
Let a = -5805 + 10653. Is a a multiple of 66?
False
Suppose 0 = -5*v + 20, 5*t - 1064 = 3*t + 4*v. Let x be (-2)/3*t/5. Let w = x + 172. Is 25 a factor of w?
True
Suppose 4*j + 2*x = 4*x + 51576, -3*j + x = -38684. Does 11 divide j?
False
Suppose 18422 = 5*g - 4*r - 9489, 4*g - 22308 = -2*r. Is g a multiple of 52?
False
Suppose 4*l + 5*d + 1323 = 4604, -5*l + 4055 = -3*d. Is l a multiple of 12?
False
Let w be (7 - 1560/5)/1. Let i = 1105 + w. Does 50 divide i?
True
Suppose 212*p - 164236 = 174*p. Does 17 divide p?
False
Suppose -i + 3*b - 1 = 3, -5*i = -3*b - 4. Suppose i*n = 4*v - 3*n - 217, -4*v + 2*n + 202 = 0. Is 4 a factor of v?
True
Is 6 a factor of 102823/91 - 44/(-572)?
False
Let d be 0 - (-10)/((-5)/(-5)). Suppose 7*m = 6*m + d. Suppose 4*s - 116 = 5*v, 6*v - 16 = m*v. Is s a multiple of 8?
True
Let l(j) = -5*j**2 - 7*j - 3. Let y be l(-5). Let n be 18/(-4)*8 + 1. Let h = n - y. Is 29 a factor of h?
True
Suppose 43*g - 35*g = 0. Let n(v) = -14*v + 357. Is n(g) a multiple of 13?
False
Let f(t) = 2*t**3 + 37*t**2 - 5*t - 34. Is f(-16) a multiple of 9?
False
Let l = -28975 - -46096. Is 58 a factor of l?
False
Let h(z) = 109 + z**2 - 82 + 2*z**2 + 44*z. Is h(-18) a multiple of 4?
False
Let t(m) = 3*m + 4. Let y(v) = v**3 + 11*v**2 - v - 12. Let r be y(-11). Let c be t(r). Is 6 a factor of (c + 0)/(8/240)?
True
Let r be (1 - (-20)/(-25)) + (-153)/15. Let h be (-9)/((-45)/r)*-2. Suppose t - h*t = -3*o - 501, t - 3*o - 173 = 0. Is t a multiple of 38?
False
Let c(d) = -27*d - 450. Is 14 a factor of c(-26)?
True
Let u = -101 + -29. Let q = 528 - 434. Let p = q - u. Is 28 a factor of p?
True
Let l be (-673)/(-4) - 6/24. Suppose -171*v + 3642 = -l*v. Does 10 divide v?
False
Let j = 9 - 12. Let c(y) = -33*y - 3 - 34*y + 14*y + 12. Does 14 divide c(j)?
True
Is 433147/55 + 8 - 3/(-5) a multiple of 12?
True
Let m = -7 - -5. Let i(y) = -61*y**3 + y**2 + 2*y + 1. Let v be i(m). Suppose v - 105 = 3*j. Is j a multiple of 19?
False
Suppose 0 = 7*d + 1430 + 1783. Let q = -211 - d. Does 62 divide q?
True
Let g(i) = -32 + 0*i + 10 + 4*i + 53*i**2 + 14 + 12. Does 14 divide g(4)?
True
Let x be 58/(-6)*-53 - (-76)/(-228). Suppose -3*h = 4*t - 394, -4*h - t + x = t. Is 7 a factor of h?
True
Let x = 63 + -58. Suppose 25 = -5*s, -2*t - 8 = x*s - 87. Does 26 divide t?
True
Let u(p) = p**3 - 65*p**2 + 47*p + 104. Is 67 a factor of u(65)?
False
Suppose 5*t - 48 = -3*t. Suppose t*v = 10*v + 60. Let j = v - -57. Is 20 a factor of j?
False
Suppose -302 = -2*k + 12. Suppose -c = 4*w - 5*c - 140, 0 = 5*w + 4*c - k. Suppose 0 = 3*l - 4*l + w. Is l a multiple of 11?
True
Does 68 divide (-37)/(14985/(-2203170)) + 4/54?
True
Let z(l) = -3*l - 2*l + 0*l + l + 125. Is 9 a factor of z(-16)?
True
Suppose -3*x + 560 = 2*g - 496, 0 = 5*x - 2*g - 1776. Suppose 5*s - 506 = x. Is 3 a factor of s?
False
Let i = -319 - -324. Suppose -i*l + 3*r + 172 + 320 = 0, -3*l + 276 = 3*r. Does 12 divide l?
True
Let n = 416 - 402. Is 2 a factor of -4 - (-2)/(n/847)?
False
Let s(n) = 739*n - 1567. Is 29 a factor of s(8)?
False
Let b be -4 + 60/(-12) - 24. Let q = -62 - -21. Let i = b - q. Is i a multiple of 5?
False
Is 207 a factor of 4720/(-60)*(-7 - -1)/(4/207)?
True
Let n be (-22)/(-33)*(-4 - -1). Let p be n*(-4)/(-8) - -237. Suppose -28 = -3*r + p. Is 44 a factor of r?
True
Let i(d) be the first derivative of 6 + 7/3*d**3 - 3*d - 1/2*d**2 + 1/4*d**4. Is 3 a factor of i(-6)?
True
Let d = -613 - -612. Let h = -11 - -7. Is 8 a factor of h/d + 41 + 3?
True
Suppose -4*k = 