0 = -t, -b*u + 3345 = 4*t. Is 9 a factor of u?
False
Let f be 152/26 + (-32)/(-208). Is 1/((f/(-3168))/(-1)) a multiple of 48?
True
Is 21 a factor of 56038/38 - (-2370)/7505?
False
Let q = 28 + -31. Let h be (-5 - q) + 7 - 527. Let j = -305 - h. Is j a multiple of 20?
False
Suppose -5*h + 2*h - 12 = 0, 0 = -f + h + 14854. Suppose 12*g - f = -18*g. Is g a multiple of 33?
True
Let h = 196 + -139. Suppose -4*l + h = 17. Suppose 6*o - l*o + 2*b + 962 = 0, -5*o - 4*b + 1170 = 0. Does 27 divide o?
False
Let h(y) be the first derivative of -1/3*y**3 + 2*y - 11/2*y**2 - 7. Is h(-5) a multiple of 11?
False
Suppose -28*d + 109348 = -7524. Is 53 a factor of d?
False
Does 3 divide (1098/(-15))/((-26)/715) + 0/(-2)?
True
Let z = 86 + -82. Suppose g - 135 = 27*v - 30*v, 0 = z*v - 20. Does 24 divide g?
True
Let i(q) = 2 + 5 - 15 - 2*q. Let l be i(-6). Suppose -m + 220 = l*m. Is m a multiple of 22?
True
Does 183 divide 14 - (7436/(-4))/11?
True
Let n be (-8)/(-28) - 4/14. Suppose 4*w + 3*i - 351 - 456 = n, -4*i - 599 = -3*w. Is w a multiple of 22?
False
Let j(u) = 2738*u**3 + 5*u**2 - 2*u + 10. Is j(2) a multiple of 30?
True
Let c(p) = -p**3 - 7*p**2 + 49*p + 4. Let q be c(4). Let d(a) = a**3 - 25*a**2 + 59*a + 7. Is 83 a factor of d(q)?
False
Is ((-14859)/(-78))/(4/40) a multiple of 15?
True
Is 400631/22 - (-15)/(-50)*-15 a multiple of 38?
False
Suppose 5*o - 3*c - 578 = 1672, -4*c = -20. Is o a multiple of 2?
False
Suppose 3*o = -p + 125783, 121*o - 2*p + 125776 = 124*o. Is 117 a factor of o?
False
Suppose 2379 + 10746 = -21*j. Let b = 997 + j. Is b a multiple of 12?
True
Let o(b) = -2*b**2 - 10*b + 2. Let l = -17 - -12. Let a be o(l). Suppose -2*u = -a*k + 32, -5*k - 5*u + 69 = -1. Does 5 divide k?
True
Suppose 5*m + 0*m + 20 = 0. Let w(t) = -t**2 - 5*t + 1. Let l be w(m). Suppose -y = 1, l*k - 433 = -3*y + 134. Is 26 a factor of k?
False
Suppose 0 = -2*b - 5*w + 3758, 145*b + 7546 = 149*b - 5*w. Is b a multiple of 10?
False
Let p = -7457 - -20789. Is 12 a factor of p?
True
Suppose 0 = -28*k + 36*k - 8. Suppose -3*y - k - 12 = -n, 23 = n + 2*y. Suppose j + 2*q = n, -2*j - q + 3*q + 38 = 0. Does 5 divide j?
False
Is 9 a factor of ((-1240106)/(-849))/(2/21)?
False
Let m = 230 + 48. Let j = 289 - m. Does 10 divide j?
False
Let u(s) = s**2 - 3*s - 2. Let l be u(0). Let i be l/(-3) - (32/(-6) + 2). Is (-2)/(i - 108/26) a multiple of 2?
False
Is -107*(2/(-2))/((-6)/(-5 + -7)) a multiple of 24?
False
Let k(f) = 6*f + 219. Let o be k(16). Let s = -125 + o. Does 19 divide s?
True
Let k(d) = 6333*d + 1572. Is k(2) a multiple of 126?
True
Suppose 6*m - 165 = -5*m. Let j = 21 - m. Is 9 a factor of (-4)/j + (-5 - (-304)/6)?
True
Suppose -33*u + 511976 - 34980 = -249466. Is 26 a factor of u?
False
Let n(r) = -15*r**2 - 7*r + 205. Let i(z) = -23*z**2 - 11*z + 307. Let g(a) = -5*i(a) + 8*n(a). Does 16 divide g(0)?
False
Is 15 a factor of 84582/16 + 225/360?
False
Suppose -3*m + 2*l + 0*l = -48, 0 = 5*m - 2*l - 80. Suppose m*u = 14*u + 544. Is 17 a factor of u?
True
Let o = -190 - 32. Does 52 divide (66/9)/((-4)/o) - 1?
False
Let a(i) = 209*i + 284. Is a(4) a multiple of 7?
True
Suppose 256*s - 473*s = 246*s - 14662284. Is s a multiple of 273?
True
Suppose -17 = -v - 10, 2*o + v - 17395 = 0. Does 63 divide o?
True
Let a(y) = -15*y + 6. Let w be a(-2). Suppose 24 = 3*c + 12. Suppose 2*g - 15 = 3*i + w, -33 = -g + c*i. Is g a multiple of 3?
True
Suppose -y - y + 2*r + 4 = 0, 5*y - 16 = 3*r. Let i(s) = s**2 - 11*s - 9. Let p be i(13). Suppose y + p = z. Is 11 a factor of z?
True
Is 13 a factor of 96/40 - (-337584)/40?
False
Let f = -50 - -56. Suppose 77 = -f*t + 905. Let h = -85 + t. Is h a multiple of 5?
False
Let j(y) = y**2 + 15*y - 19. Let k be j(-16). Let d be -10*8/16 - k/(-1). Let s(i) = i + 41. Is s(d) a multiple of 11?
True
Suppose 5*i - z - 11160 = 0, -3*i + 5*i = -z + 4471. Suppose -i - 1847 = -15*l. Is l a multiple of 17?
True
Let n be -57 - (-5 - (-36)/6). Let t = n + 856. Is t a multiple of 19?
True
Let s be -1 - 1 - 4299/(-3). Suppose -10*g + s + 1119 = 0. Is 12 a factor of g?
False
Let a = -50 + -58. Let o = -89 - a. Is 15 a factor of o?
False
Let j = 3581 + -3248. Is 14 a factor of j?
False
Suppose 5*m - 331*n - 76947 = -330*n, -n + 46173 = 3*m. Does 77 divide m?
False
Let n(c) = 71*c**2 + 21 - 3*c - 2*c + 2*c**3 - 15*c**2. Is n(-28) a multiple of 16?
False
Let f(b) be the second derivative of b**4/12 + 2*b**3 + 3*b**2 + 3*b - 1. Does 51 divide f(25)?
False
Suppose -f + 3*a + 3 = 0, -5*f = 2*a + a + 3. Suppose f = -6*m - 5*m + 902. Suppose m = z - 44. Is 18 a factor of z?
True
Let c be 8/(-14) + 93/(-21). Does 87 divide 2 + 4 + c + 86?
True
Suppose -3*i - 4*g = -11, 4*g + 2 = -2*i + 12. Suppose -4*v + 35 = -4*q - 9, -q - i = 0. Does 5 divide (v + 0)*(-12 + 13)?
True
Suppose -4*r + 5*a + 22 = 0, -15*r = -11*r + a + 14. Suppose 7*s - 100 = 2*s. Does 9 divide r/(-5) - (-1832)/s?
False
Is (-16)/36*63396/(-24) a multiple of 23?
False
Let y be (15 + -19)*(1 - (-15)/(-2)). Let h = -378 + 580. Suppose -h = y*m - 28*m. Does 15 divide m?
False
Let n = 7 - 121. Let a = -82 - n. Suppose -37*y + 280 = -a*y. Does 28 divide y?
True
Let r(f) = 20*f**2 - 113*f - 27. Is r(19) a multiple of 76?
False
Let g(j) be the first derivative of -5*j**2/2 - 19*j + 23. Let n be g(-9). Let y = n - -20. Is 9 a factor of y?
False
Suppose -118*q = -109*q - 234. Is (4/q + 1749/39)*7 a multiple of 15?
True
Suppose 0 = -4*h - 4*o + 300, 6*h - 3*o - 201 = 3*h. Let t = 42 - h. Let f = t - -77. Is 8 a factor of f?
True
Suppose 36*r - 32*r + 4 = 0, -3 = -2*u - r. Suppose 2438 = u*h + 4*s - 7*s, 4*s = 5*h - 6109. Is 109 a factor of h?
False
Suppose 2*w = -3*w - 25. Let r be (-2)/(w/2 + 2). Suppose r*v - v = 60. Is v a multiple of 5?
True
Let i = -47 + 50. Suppose -1 = -d + v, -d + i + 0 = -2*v. Does 16 divide (2 + 6/(-15))/(d/(-20))?
True
Let q be (-3)/(-8) + 351/48*2. Suppose q*v - 9*v = 2706. Does 11 divide v?
True
Let v be (-135)/9*((-3)/(-15))/(-1). Let l = v - -93. Does 12 divide l?
True
Suppose 3*v - b - 6377 = 0, 430 = 4*v + 2*b - 8056. Let j = v + -1132. Is 62 a factor of j?
True
Let l(g) = 46*g - 4*g - 17*g + 119 - 6*g. Does 39 divide l(4)?
True
Suppose 97699 = 13*s - 33276. Suppose 12*u - s = -13*u. Is u a multiple of 31?
True
Suppose -80 = -3*z - 4*n + 6, z - 4*n = 50. Let y = 33 - z. Is 1024/112 - y/(-7) even?
False
Let i be 3 + (5 - 30/5). Suppose 3*h + i*c = 2*h + 292, -5*c = 5*h - 1450. Is h a multiple of 13?
False
Suppose 3*l = -10 - 26. Let o(j) = 2*j + 50. Let c be o(l). Let y = c - -27. Does 16 divide y?
False
Let b(p) = 100*p - 797. Is b(49) a multiple of 11?
True
Suppose -2*p = -5*f + 7*f + 6, -24 = 4*f + p. Let q(m) = 2*m**2 - 21*m - 34. Is q(f) a multiple of 6?
False
Let b(o) = -126*o - 2. Suppose 0 = 4*z - 3*t - 23, 2*z - 28 = -2*z + 4*t. Suppose 11 = 3*a - z*a - 4*r, 13 = -a - 4*r. Is b(a) a multiple of 28?
False
Let h = 1173 + -424. Let x = h - 424. Is 65 a factor of x?
True
Let p = -1749 - -5016. Is 7 a factor of p?
False
Let w(b) = -691*b - 90. Is w(-1) a multiple of 9?
False
Suppose -18*h - 46890 + 87247 + 79379 = 0. Is h a multiple of 4?
True
Let t(i) = -3*i + 2. Suppose -5 = -l - y, 4*y = 2*l - 3*l + 20. Let w be t(l). Suppose 0*z - 42 = -u - w*z, -5*z + 183 = 4*u. Does 4 divide u?
True
Let r be (5*(-1 - 0))/(-1). Suppose 0 = 4*d + 4*s - 24 + 320, 340 = -r*d + 5*s. Let c = 10 - d. Is 7 a factor of c?
False
Let x(c) = -101*c + 57. Is 4 a factor of x(-8)?
False
Let a(l) = 2*l + 19. Let j be a(-5). Suppose 2219 = j*s - 3541. Does 20 divide s?
True
Let d be (-3)/5 + 13821/85. Suppose 2*t = -d + 176. Is 2 a factor of t?
False
Suppose -6388*k + 3016 = -6336*k. Is 29 a factor of k?
True
Let d = -51 - -89. Suppose -w - 7*m = -11*m + 54, -2*m - 88 = 2*w. Let v = d - w. Is 12 a factor of v?
True
Let l(y) = -y**3 + 98*y**2 + 123*y - 533. Is 19 a factor of l(99)?
True
Does 4 divide 999 - 2 - (9/(-27) - 32/(-6))?
True
Suppose 21*d + 2 = 20*d. Let q be (d + 12/5)/(4/(-60)). Does 30 divide -3 - (3 + q) - (-2 + -88)?
True
Is 34 a factor of (14076/345)/((-2)/(-290))?
True
Is 60 a factor of (-333708)/(-27) - (-244)/549?
True
Let m = 327 - -111. Let b = 147 + m. Suppose -8*u + b = u. Is u a multiple of 12?
False
Let q = -56 - -60. Let b be q/4 + (-2 - -3). Suppose 5*c = -l + 533, -2*