a factor of t?
True
Let b(m) = -20*m + 62. Let w be b(3). Is 5 - -1440 - 6/w a multiple of 19?
False
Suppose 202 + 250 = 4*r. Let h = r + 18. Suppose 0 = -t - h + 168. Is 8 a factor of t?
False
Suppose -j + 4*j - 115 = 4*v, 40 = -v + 3*j. Is v/20 - (-842)/8 a multiple of 13?
True
Suppose 6*v = v - 3*z + 1150, 479 = 2*v + 5*z. Let g = 5 + v. Is g a multiple of 8?
True
Suppose 44622 - 109739 = -85*h + 359458. Does 45 divide h?
True
Suppose -22*g - 178*g = -8510400. Is 72 a factor of g?
True
Does 11 divide (-204481908)/(-7312) + (1 - (-10)/(-8))?
False
Let h = 12 - 8. Suppose -y + 50 = h*y + 4*w, -5*y - 5*w = -55. Suppose -5*p + y*p = 2. Does 2 divide p?
True
Let u = 6203 - 9334. Let d = -2228 - u. Suppose 3*s - d = -4*s. Is 11 a factor of s?
False
Is 28 a factor of (-100)/700 - ((-18)/14)/(2/34322)?
True
Let v = -43 - -43. Suppose -2372 = -4*m - l - 361, v = -m + 2*l + 514. Suppose 0 = -61*z + 63*z - m. Is z a multiple of 20?
False
Is 11 a factor of (30/(-50))/(3/11)*-230?
True
Suppose 3*c - 5*k + 16 = 0, 0 = 25*c - 22*c - 2*k + 1. Suppose -6*w = -3*w. Suppose 0 = -3*x, -q + 59 = -c*x - w*x. Is q a multiple of 10?
False
Let p = -46 + 83. Suppose -16 = -2*i - 0*i - m, 3*i - 5*m = p. Suppose 354 = i*t - 258. Is t a multiple of 17?
True
Let q be (195072/(-56) - (-8)/(-14))*-7. Suppose -57*x - 10*x = -q. Is 13 a factor of x?
True
Let s(z) = 98*z**3 + 6*z + 15. Is s(3) a multiple of 47?
True
Let k be 1/(-7) - (-1)/(42/(-162)). Let n(r) = -2*r**3 - 2*r**2 + 5*r + 11. Does 3 divide n(k)?
True
Let p(w) = -w**2 + 5*w + 49. Let u be p(9). Let h = u + 222. Is 47 a factor of h?
True
Suppose 4*u - 12 = -4*h, -4*h = -2*h + 4*u - 6. Let m(b) = 7*b + h - 13 - b. Does 31 divide m(12)?
True
Let k(j) = 5*j**2 - 39*j - 845. Is 21 a factor of k(-19)?
True
Is 328 a factor of 4 - ((-21)/(-42)*229584/(-2))/1?
True
Does 264 divide ((-3)/(-16))/((-112)/(-1792)) - -18417?
False
Suppose 0 = 5*w + 10246 - 36706. Is 14 a factor of w?
True
Let q(g) = -34*g - 86. Suppose -1102 = n - 1094. Is 6 a factor of q(n)?
True
Let w(d) = 9*d**2 + 7. Let l be w(-3). Let f = -37 + l. Let y = f + -31. Is 5 a factor of y?
True
Does 22 divide (-15584)/(-3)*(-285)/(-380)?
False
Is 131 a factor of (-2 - 966470/(-20)) + (-4)/(8/5)?
False
Let v be 4/((-32)/(-4824)) + 4/(-1). Suppose -2*r - y - v = -6*r, -2*r - y = -295. Does 14 divide r?
False
Let g(q) = -38*q + 154. Let y be g(4). Suppose f + 23 = 2*l + 8, -4*f = -4*l + 40. Suppose 2*n + l*b - 51 = 0, -9*n - y*b + 62 = -5*n. Is n a multiple of 10?
False
Suppose 116*d + 2145 = 101*d. Let i = d - -326. Is 24 a factor of i?
False
Suppose d - 1 = 0, u = 4*d + 2521 - 572. Is 63 a factor of u?
True
Let p be 516*3/12*-3. Let h be (225/(-18) + 13)*-1356. Let x = p - h. Is x a multiple of 42?
False
Let u(l) = -2*l + 49. Let s be u(22). Suppose -o - 4*c = -3*o + 332, 337 = 2*o - s*c. Is o a multiple of 12?
True
Suppose 6*u = 15*u + 54. Let m(s) = -53*s - 18. Does 46 divide m(u)?
False
Let k be 525/70 - -2*1/(-4). Is 36 a factor of (k - -161)/((-8)/(-36))?
True
Suppose -14*y + 411 = 103. Let s(a) = -a**3 + 22*a**2 + 8*a - 20. Is 12 a factor of s(y)?
True
Let q(n) be the first derivative of -n**4/4 + 4*n**3/3 + 3*n**2 - n + 8. Let k be q(5). Suppose 4*m + k*z - 28 = 8, 4*z + 48 = 3*m. Does 12 divide m?
True
Let d be 31/(-5) - 6/(-30). Let g be (-1 - 2)*(-1)/d*-4. Suppose -13 + 67 = g*p. Does 8 divide p?
False
Let r be ((-208)/(-39) + -7)*(-3)/1. Let b(t) = 7*t**3 + 2*t**2 - 14*t + 40. Is b(r) a multiple of 27?
False
Let h(x) = -3445*x - 9785. Is 101 a factor of h(-15)?
False
Let a = 332 - 332. Suppose -32*i + 55*i - 1656 = a. Is 12 a factor of i?
True
Suppose -50 = -22*a + 16. Suppose -6*z = -3*k - 7*z + 556, 4*k + a*z = 743. Is 37 a factor of k?
True
Suppose 9*g + 764 = 23777. Does 83 divide g?
False
Suppose -2*b + l + 71490 = 25886, -6*l = -4*b + 91224. Does 25 divide b?
True
Let l(v) = -5*v**2 - 8*v + 13. Let r(c) = -12*c**2 - 16*c + 27. Let j(m) = 14*l(m) - 6*r(m). Is j(19) a multiple of 12?
False
Let c be (-1)/(-4) + (-5)/4 - -11. Suppose 0 = 4*m + 3*t - 157, -c*m + 34 = -9*m - t. Is m even?
False
Suppose -2*c = -5*s + 22398, -222*s - 5*c = -220*s - 8965. Is s a multiple of 140?
True
Let k(o) = 22*o**3 + 7*o + 3. Let s be k(-3). Let d = 897 + s. Is d a multiple of 32?
False
Let x = 102 + 23. Suppose q - x = u - 1, q = -3*u + 140. Does 2 divide q?
True
Suppose a = -2*u + 1044, -3*a + 522 = -61*u + 62*u. Is 3 a factor of u?
True
Suppose -4*f - 66 = -5*u, u = 5*f + 39 - 9. Suppose 15 = -u*t + 13*t. Suppose 13 = p - t*a, -6*p + 4*a = -2*p - 68. Does 18 divide p?
True
Let y(d) = d**2 - 15*d + 14. Suppose -3*f + q - 2 = -15, -q - 7 = -2*f. Let h be y(f). Does 24 divide (-440)/3*48/h?
False
Let k(x) = -x**3 + 5*x**2 - 10*x + 12. Suppose -5*i + 4*a = 30, -5*i = 2*a - 6 + 36. Is k(i) a multiple of 52?
True
Let n(l) = 2*l**3 + 12*l**2 - 13*l + 13. Let h be n(-7). Let c(z) be the first derivative of -z**4/4 + 2*z**3 + 13*z**2/2 - 15*z - 2. Is c(h) a multiple of 21?
True
Let q be (-5)/(-10) + 2/(-4) + -2. Let d = 142 - q. Is d a multiple of 8?
True
Let a(v) be the first derivative of -11*v**5/120 - v**4/4 + 10*v**3/3 - 3. Let d(o) be the third derivative of a(o). Does 16 divide d(-2)?
True
Let q = 20166 + 931. Does 42 divide q?
False
Let u be (49/147)/((-2)/24). Is -4 + (-2204)/u + -3 a multiple of 32?
True
Let m(b) = 39*b + 10971. Does 87 divide m(-85)?
True
Suppose -y = 3, -202*i = -200*i + 4*y - 16620. Does 12 divide i?
True
Suppose 46 - 94 = -8*c. Is (2090/(-20))/(c/(-24)) a multiple of 19?
True
Suppose -4*l - 5*u - 100 = -9*l, -4*l + u + 77 = 0. Suppose -3604*m - 330 = -3614*m. Let a = l + m. Is 52 a factor of a?
True
Suppose 0 = -15*b + 16*b - 4*g - 1886, 3*g + 7492 = 4*b. Is 22 a factor of b?
True
Suppose 57*c - 16*c - 387588 = -68444. Is c a multiple of 14?
True
Let w = -92130 - -129010. Is (4 + (-57)/15)/(16/w) a multiple of 42?
False
Suppose -8*j = 1 + 87. Let u(l) = -5*l - 25. Is u(j) a multiple of 2?
True
Let w(f) = f**3 + 11*f**2 - 6*f + 2. Let x = 7 + -4. Let o be ((-6)/(-30) + 53/(-15))*x. Is w(o) a multiple of 21?
False
Suppose 4*u = -5*j - 0*u - 16, u = 3*j - 4. Is 6 a factor of (2 - j) + (6 - 8 - -6)?
True
Let f = -18895 + 30585. Is 14 a factor of f?
True
Let w = -2069 + 5437. Is w a multiple of 19?
False
Let o = 66 + -67. Let t be (4/(-6))/(o + 556/564). Suppose 93 = z - t. Is z a multiple of 48?
False
Let r(x) = x + 14. Let g be r(-9). Suppose 0 = -3*n + g*w - 1, -3*w + 8 = w. Let b = n + 32. Is b a multiple of 17?
False
Let v = -547 + 543. Is 3 + 4 + v + 423 a multiple of 6?
True
Suppose 2*v + 2*m = -10, -4*v - 2*m - 5 = -3*m. Is 31 a factor of 157 - ((-28)/(-21) - v/3)?
True
Suppose -3*m = a - 1538 - 918, -2*a + 4880 = -2*m. Suppose -89*r + 85*r = -a. Is r a multiple of 13?
True
Suppose 5*x - 140164 = 4*c, 0 = 4*x - 9*c + 4*c - 112124. Suppose 62*h + x = 105*h. Is h a multiple of 23?
False
Let a(s) = -12*s - 2. Let i be a(1). Let h be ((-3784)/i)/2 + (-39)/273. Let z = h + -73. Does 22 divide z?
False
Let g(q) = -2*q**2 + 4*q + 602. Suppose -5*i - 15*i + 18*i = 0. Is g(i) a multiple of 43?
True
Let z(n) = n**2 - 64*n + 6879. Is z(109) a multiple of 7?
False
Let k(v) = -203*v + 1660. Is k(-5) a multiple of 25?
True
Let q be (-41)/(-82)*(0 + 2 + 158). Let y = q - -279. Does 39 divide y?
False
Let s = -2824 + 7957. Is 29 a factor of s?
True
Let z(p) be the first derivative of -p**4/24 + 4*p**3/3 + p**2/2 - 13. Let u(h) be the second derivative of z(h). Does 3 divide u(-8)?
False
Let g(l) = -9*l**3 + 26*l**2 + 38*l + 50. Is 21 a factor of g(-15)?
False
Suppose 3*h + 2*z - 103 = 0, 3*z = 5*h - h - 109. Let w = -17 + h. Let g = w - -6. Does 7 divide g?
False
Let p(v) = v**3 + 2*v**2 + v + 6360. Does 60 divide p(0)?
True
Let a(w) be the first derivative of w**3/3 - 3*w**2/2 + 42*w + 6. Is a(14) a multiple of 28?
True
Let m be (-4)/(-4)*-3 - -6*1. Suppose -5*j = g - m*g - 16, -2*j - 3*g - 5 = 0. Suppose f - j - 25 = 0. Does 7 divide f?
False
Let k(r) = -11*r + 1077. Let l be k(0). Suppose 5*u - l = -3*n + 210, 0 = -4*n - 2*u + 1702. Is 30 a factor of n?
False
Let p = 49 + -59. Is (-8)/p + (0 - (-256)/5) a multiple of 11?
False
Let l = 170 - 172. Is 2/l + 90/2 a multiple of 2?
True
Suppose 4*r + 460*k - 21576 = 464*k, -4*k - 26978 = -5*r. Is r a 