36. Suppose 3*h = z - f, z - 4 = -z - h. Is 8*((-75)/(-5))/z a multiple of 8?
True
Is ((14 - -4)/(-6))/(3/(-13500)*2) a multiple of 50?
True
Is ((-67)/3)/((-16)/120)*6 a multiple of 32?
False
Let m = -53 + 55. Let j be m/2*0 - -14. Suppose 0 = -2*r + 6, -61 - j = -k - 5*r. Does 12 divide k?
True
Suppose -2*i = -0*i. Suppose 8*w - 3*w + 4*q = 44, i = -5*w - 3*q + 48. Suppose 3*a - 72 = -w. Is a a multiple of 13?
False
Suppose 96 = -22*t + 206. Suppose -2*z - 5*f = 5, 3 = 2*z - 2*f - f. Suppose 5*i - 6 = 4*d - 8*d, z = -d - t*i - 6. Is d even?
True
Suppose 16286 = 8*n + 3294. Suppose -2*a + n = -4*f, 4*f - 8 = 8. Is 20 a factor of a?
True
Suppose -u = 8*k - 11*k - 9, 3*k = -3. Suppose u*q + 915 - 6639 = 0. Is 9 a factor of q?
True
Let q = -2799 - -4630. Does 2 divide q?
False
Suppose 0 = -3*k + 13*q - 17*q + 37, 2*q - 43 = -5*k. Let d(o) = 2*o**3 + 2*o**2 + 3*o - 5. Does 8 divide d(k)?
True
Let n = 545 + -1022. Let j = n - -491. Does 7 divide j?
True
Is (10/16*-2)/(3 + 11221/(-3740)) a multiple of 11?
True
Let k(v) be the first derivative of v**4/4 - 3*v**3 - v**2 + 19*v + 1. Suppose 0 = 3*q - 21, 2*h + 47 = 6*h + q. Does 11 divide k(h)?
True
Let t(c) = -58*c - 843. Is t(-19) a multiple of 7?
True
Does 46 divide 1/(((-7)/(-169148))/(4/16))?
False
Is 18 a factor of (-2292388)/(-217)*2/4?
False
Let n be (-966)/(-8) + 6/(-8). Let k be (32/(-24))/((-2)/n). Suppose 2*d - k + 14 = 0. Is d a multiple of 4?
False
Suppose 1440552 = 108*p - 32568. Is 8 a factor of p?
True
Let m be (-1670)/(-130) - (-4)/26. Suppose -5472 = j - m*j. Is j a multiple of 24?
True
Let s = -188 + 316. Suppose -8*p = -10*p + s. Suppose -271 = -5*x + p. Is 12 a factor of x?
False
Let v = 134 - 327. Let j = -99 - v. Is j a multiple of 44?
False
Suppose -o - 11 = -3*i - 4, 0 = -3*i + 12. Let c be (o - (1 - -1))/(3/(-219)). Let h = -99 - c. Is 24 a factor of h?
True
Let p(v) = 7*v**3 + 226*v**2 + 31*v + 37. Is 141 a factor of p(-31)?
False
Is 14 a factor of (-7 + 777/35)*(10/(-2) + 4840)?
False
Suppose 3*h + 7*p + 3 = 6*p, 0 = -2*h + 2*p - 2. Let x(l) = 93*l**2 + 5*l + 1. Is 6 a factor of x(h)?
False
Let t(p) = -14*p + 97. Let x be t(6). Let y(o) = o**3 - 8*o**2 - 22*o + 56. Is 15 a factor of y(x)?
True
Suppose -94*w - 25*w + 12138 = 0. Is 3 a factor of w?
True
Let x = -16942 + 84010. Is x a multiple of 243?
True
Let o(c) = c**2 - 6*c - 16. Let q be o(8). Suppose q = -9*n + 4129 - 709. Is n a multiple of 10?
True
Let g(b) = 557*b**2 + 5*b + 223. Is 191 a factor of g(-10)?
False
Let o(h) = -h**3 + 6*h**2 - 6*h + 5. Let n be o(5). Let d be 58/(-3) + n - 32/48. Is (d/3)/1*156/(-8) a multiple of 18?
False
Let y(s) = s + 1. Suppose 15*c - 10*c = -15. Let w(a) = -a**3 - 23*a**2 - 22*a - 19. Let h(l) = c*y(l) + w(l). Is 11 a factor of h(-22)?
True
Suppose p = 8*p + 8680. Is 12/30 - p/25 a multiple of 5?
True
Does 3 divide (-666)/(-10)*(32 + (-6)/3)?
True
Suppose 23*j + 408 = 35*j. Suppose j*k = 28*k + 5514. Is k a multiple of 39?
False
Is (2/6)/(79/1209411) a multiple of 58?
False
Let h = -460 + 467. Suppose -h*g - 10332 = -21*g. Is 18 a factor of g?
True
Let o(x) = -2*x**2 + 5*x + 1573. Let c(k) = k**2 - 2*k - 786. Let l(r) = -13*c(r) - 6*o(r). Let v be l(0). Suppose -5*m - v = -15*m. Does 26 divide m?
True
Suppose 0 = -5*i + 324 + 66. Does 21 divide (i*10/45)/(2/18)?
False
Let z = 608 + -1473. Let o = -563 - z. Is 12 a factor of o?
False
Does 32 divide ((-16)/10)/((-21)/248640)?
True
Suppose 5*h - 329 + 99 = 0. Suppose -5*v - 5*c + h = 16, -4*v + 2*c + 6 = 0. Suppose o - 187 = -2*i + 48, -3*o = -v. Does 10 divide i?
False
Suppose 363*r - 897301 - 7201679 = 16*r. Is r a multiple of 12?
True
Let o(v) = -7*v**3 - 9*v**2 + 8*v - 7. Does 6 divide o(-3)?
False
Is 65 a factor of 26 + -30 - (-13631 + -1)?
False
Is (750/72)/((-24)/(-57504)) - 8/6 a multiple of 24?
False
Suppose -3*c - c = -j + 176, -c = 3*j + 44. Let g = c + 88. Is g a multiple of 5?
False
Let g = 638 - -2328. Suppose g = 26*n - 6472. Does 12 divide n?
False
Suppose 2*i - 1 = -3, -3*i - 23 = -5*g. Is 10 a factor of (-108)/((-4)/g) + 4 + -6?
False
Let h be (0/1)/1*(-54)/108. Suppose 14*s + 115 - 983 = h. Is 31 a factor of s?
True
Suppose 5*p + 5*p - 4*p = 51960. Is p a multiple of 117?
False
Let z(w) = -4*w**3 - 42*w**2 + 118*w - 9. Is z(-23) a multiple of 44?
False
Let p be 1/(-2) + (-6)/4. Let s(v) be the second derivative of -7*v**3/2 - v**2 - 39*v. Is 20 a factor of s(p)?
True
Let s(m) = m**3 - 58*m**2 + 9*m - 364. Is s(59) a multiple of 12?
True
Let n = 1887 - -7608. Does 34 divide n?
False
Suppose 0 = 3*p + 1 + 11, -b + 2*p + 8 = 0. Let d(c) = -5*c - 15. Let s be d(-4). Is 2 a factor of b + (4/s)/((-4)/(-40))?
True
Let x = -5255 - -20840. Does 68 divide x?
False
Let j = -356 - -1255. Let b = j + -289. Does 9 divide b?
False
Let m(w) = w**3 + 11*w**2 - 24*w + 2. Let q be -2*(-1)/1 - -3. Suppose -32 = a + 5*x, q*a + 64 = -0*x - x. Does 44 divide m(a)?
False
Let w(f) = f**3 + 6*f**2 - 3*f - 1206. Is 54 a factor of w(30)?
True
Let n be 1*9*4/3. Suppose -n = -3*z - z. Suppose -6 = 3*d, y + 5*d = -z*y + 130. Does 11 divide y?
False
Suppose 4424 = 3*m + 5*v, 69*v - 2946 = -2*m + 65*v. Is 47 a factor of m?
False
Let h be (126/4 + -1)*2. Let w be (-4)/(-2) + (-24 - -2). Let l = h + w. Is 10 a factor of l?
False
Suppose 4*z - 12743 - 81995 = 3*j, -47358 = -2*z - 4*j. Suppose 17*m = -4915 + z. Does 44 divide m?
False
Suppose -5*y + 30351 = 3*l + 4207, 5*y = 5*l + 26120. Is y a multiple of 18?
False
Suppose 0 = -3*d - 15, -4*w + 29174 + 20340 = -2*d. Does 221 divide w?
True
Let l = 23 - 20. Suppose 0 = 124*o - 129*o + 1230. Suppose 2*c = l*j + 3*c - 146, 3*c = -5*j + o. Is 8 a factor of j?
True
Let d(v) = -2*v + 2. Let j be d(-4). Suppose -5*a - 3*k = -220, -2*a - 244*k + 245*k + 99 = 0. Let q = j + a. Does 15 divide q?
False
Suppose 0 = -5*g - 5*s + 20345 + 15020, 4*s = -3*g + 21215. Is g a multiple of 16?
False
Suppose -24*f = -27*f - 546. Let y = f - -519. Does 22 divide y?
False
Does 24 divide 4955 - (-50)/5 - 1?
False
Suppose 16*z - 57467 = -2*z + 1483. Is z a multiple of 25?
True
Suppose 12 = 2*r, -3*r + 290 - 1187 = -v. Is v a multiple of 5?
True
Suppose -3*v - 3*q = 15, -5*v - q + 2*q - 1 = 0. Let c be ((-2)/6)/((-56)/(-60) + v). Does 24 divide 53 - 1 - (9 - c)?
True
Does 18 divide (45 - 169)*((-948)/16 + -4)?
False
Suppose 0 = 11*i - 51*i - 109*i + 1130463. Does 133 divide i?
False
Suppose 3*g - 10 = -4. Suppose 2*k - 2*z + 70 = -0*k, -g = z. Let w = k + 51. Is w a multiple of 7?
True
Let a(p) = 72*p**2 + 15*p - 367. Does 41 divide a(-10)?
True
Let p(m) be the second derivative of m**7/630 + 7*m**6/720 - m**5/120 + m**4 - 13*m. Let k(q) be the third derivative of p(q). Is 20 a factor of k(-6)?
False
Let d be 12/(-8)*(-3)/((-3)/(-2)). Suppose 0 = 5*s + d*b + 75, s + 3*b - 1 = -4. Is 41 a factor of (s/33)/(-3) - (-8013)/33?
False
Suppose 6*x = -4*w + 144162, -17*x + 96103 = -13*x + w. Does 153 divide x?
False
Let l(o) = 2*o - 30. Let k be l(18). Suppose -k*r - 936 = -12*r. Does 8 divide r?
False
Suppose -76 = -20*p + 4. Does 9 divide (117/4)/(p/48)?
True
Let i(b) = b**3 - 41*b**2 - 51*b + 280. Let n be i(42). Suppose 3*c - 2*c + 5*d - 183 = 0, 0 = -2*c + d + 333. Let a = n + c. Is 7 a factor of a?
True
Is -5 + -489*(-889)/7 a multiple of 27?
False
Let d(w) = w**3 + 13*w**2 + 35*w + 56. Does 13 divide d(-9)?
True
Let o = -1223 - -775. Let z = o - -962. Does 32 divide z?
False
Is 12/9*(-1578)/(-8)*(-24 + 25) a multiple of 10?
False
Let l(s) = 9767*s - 1994. Is 21 a factor of l(4)?
False
Suppose 5*j - 3449 = 5*a + 746, -a + 2497 = 3*j. Is 3 a factor of j?
True
Let i be (20/15)/((-2)/12). Is 9 a factor of (3285/12)/5 - (-6)/i?
True
Let v(l) = 31*l**3 + 2*l + 47. Does 8 divide v(10)?
False
Let s(p) = 29*p**2 - 2*p + 22. Let d be s(-6). Suppose 7*f - d = 819. Let r = -158 + f. Is r a multiple of 16?
False
Let h(t) = -6*t**3 - 4*t**2 + 4. Let w(z) = -23 - 2*z + 2*z + 4*z + 19. Let m be w(0). Is 20 a factor of h(m)?
False
Let q = -26 - -11. Is 404/6 - 10/q a multiple of 5?
False
Let w(n) = 58*n + 38. Let q = -21 + 17. Let i be w(q). Let m = -44 - i. Does 30 divide m?
True
Let x(w) = w**2 + 121*w + 24159. Does 9 divide x(0)?
False
Suppose -123*m - 3 = -120*m, -s + 3*m = -26900. Is s a multiple of 8?
False
Let q = 19508 - 14059. Does 2