t m = 10077 - 2189. Does 51 divide m?
False
Let r be (2 - 1) + 14 + 3. Let s be (-9)/r - (830/4 + 1). Let h = s - -299. Is 18 a factor of h?
True
Let c(u) = -3*u**3 + 5*u**2 - u + 11. Let p(r) = 4*r**3 - 5*r**2 - 12. Let h(m) = 3*c(m) + 2*p(m). Let a be h(5). Is 36 + -2 - a*1/(-2) a multiple of 10?
False
Let x = 1710 + 10808. Does 4 divide x?
False
Let a be (-2)/((-16)/(-12))*2*-1. Suppose -a*w = -2*f + w - 16, 0 = 4*f + 5*w - 20. Suppose f = 4*t - 7*t + 444. Is t a multiple of 37?
True
Let q be (5947/38)/((3 - 1)/8). Suppose g + q = 3*c - 0*g, 0 = 4*g + 8. Is c a multiple of 13?
True
Let m = -22484 - -34036. Is 8 a factor of m?
True
Suppose 0 = 5*g - 2*l + 279 - 579, -4*g + l + 240 = 0. Is g a multiple of 15?
True
Suppose 576*t + 2592 = 577*t - 3*n, 0 = 3*t + n - 7696. Is t a multiple of 10?
False
Suppose -3630 = 5*a + 5*z - 18785, -3*a + 9128 = -4*z. Is a a multiple of 11?
True
Suppose -5*u = 5*n - 83810, -6*n + 3*u + 96881 = -3655. Is 49 a factor of n?
True
Suppose -2*g = 2*g + 76. Let u(n) = 551*n**2 + n**3 + 16*n - 1138*n**2 + 607*n**2 - 19. Does 11 divide u(g)?
False
Suppose 5*j - 3*b - 43 = -52, 0 = 2*j - 5*b - 4. Let u(f) = 12*f**2 - 9*f - 46. Does 11 divide u(j)?
False
Let d = -7689 + 29177. Is 25 a factor of d?
False
Suppose 4 = 2*o, 2*b + o + 3 = 11. Suppose 0 = b*j - 10*j + 210. Does 35 divide 31 + (j/6 - 1)?
True
Suppose -11*x = 5*x - 640. Suppose -x*j - 264 = -42*j. Does 4 divide j?
True
Let s(u) = -u**3 - 28*u**2 - 28*u - 14. Let h be s(-27). Let y(w) = 7*w - 19. Does 6 divide y(h)?
True
Let f = 5366 - 3446. Suppose f = 5*s - 0*x + x, 5*s - 3*x = 1940. Is s a multiple of 22?
False
Suppose -238*v + 228*v + 68640 = 0. Does 6 divide v?
True
Suppose -18*t - 326 = -3134. Suppose x + x = t. Is (1 - 0)*(x + 5 + -4) a multiple of 38?
False
Suppose -s = d - 2, -2*d + 11 = -5*s - 14. Suppose -96 = 3*r - d*r. Is 6 a factor of r?
True
Suppose -2*p - 16929 = -5*v - 2944, v - 2*p = 2789. Is 76 a factor of v?
False
Suppose 74509 = 16*t - 35315. Does 39 divide t?
True
Let k = 471 + 35601. Does 108 divide k?
True
Suppose 2*f = 5*f + 12. Let r(g) = -g - 64. Let x be r(-22). Is 5 a factor of (-3)/6 + x/f?
True
Suppose 23310*v = 23312*v - 7448. Is 28 a factor of v?
True
Let g = -579 + 975. Let l be (-120)/16*64/(-6). Is g/10 + 32/l a multiple of 5?
True
Suppose 0 = 41*h - 206894 - 201056. Is h a multiple of 22?
False
Suppose 0 = 3*w + 5*t - 172, -3*w - 3*t + 173 = t. Let r = 43 + w. Is r a multiple of 54?
False
Let c be -1 + (-5 - (-1330)/2). Suppose 11*z + 120 = c. Does 22 divide z?
False
Let q = 15837 + -13978. Is q a multiple of 7?
False
Suppose w + 5401 = 2*k, 0 = -5*k - 5*w + 4809 + 8716. Is 14 a factor of k?
True
Suppose 0 = 3*u + 2*o - 11490, 2*u - 4*o - 2529 = 5131. Does 134 divide u?
False
Let i(p) = 6 + p**2 - 5 - 3*p - 8. Let q be i(5). Does 15 divide (2 + -5)*(-1)/(q/26)?
False
Suppose 5*k - 2*k = 3*a - 1701, -4*a = -2*k - 2274. Suppose -5*m + 4*z + 949 = 0, 3*z + a = 4*m - m. Is m a multiple of 27?
True
Let g be (-6)/(-4)*8 + -13 + 14. Let m = g - -19. Suppose 5*v = 7*v - m. Is v a multiple of 8?
True
Suppose -p - 25 = -7. Let o be (-2)/(-3) + 12/p. Suppose o = 4*g - 13*g + 288. Is g a multiple of 6?
False
Let r(v) = -v**3 + 7*v**2 - 4*v - 5. Let u be r(4). Let l = 84 - u. Is 38 a factor of (l/(-2))/((-39)/(-12) + -4)?
True
Let p = 1154 - -5037. Does 135 divide p?
False
Let n be (11/(-2))/((-13)/130). Suppose -1540 = n*r - 62*r. Is 10 a factor of r?
True
Let j(b) = b**2 + 25*b - 34. Let k be j(-27). Let s(z) = -z**3 + 20*z**2 + 4*z + 1. Is s(k) a multiple of 3?
True
Let r = -33989 + 22543. Does 9 divide 4/10*1 - r/10?
False
Let c(s) = -3*s**2 - 17*s + 14. Let f be c(-6). Is 13 a factor of -623*(-13)/(364/f)?
False
Suppose -8190 = -57*c - 2490. Suppose 0 = 5*t - 7 - 13. Suppose 0 = -t*l + 64 + c. Is 16 a factor of l?
False
Let l(s) = s**3 - 5*s**2 - 23*s - 4. Let d be l(8). Suppose -d*p + 34 = -6*p. Does 10 divide ((-1)/(-4))/(p/(-2788))?
False
Let j = -26 + 38. Let r(f) be the third derivative of -f**4/24 + 11*f**3/3 - f**2. Does 8 divide r(j)?
False
Suppose 71682 + 40637 = 17*p. Does 125 divide p?
False
Let y be -1 + ((-6)/(-3) - 2). Let l = 1 + y. Suppose l = -2*j + 153 + 113. Is j a multiple of 17?
False
Does 5 divide (186/5)/(288/9360)?
False
Let w(r) = -r**3 + 8*r**2 + r - 5. Let d be w(8). Suppose 4*o = q + 2 - 20, 0 = 4*q - o - 27. Suppose 780 = -d*y + q*y. Does 26 divide y?
True
Suppose -2*n - 23*h = -28*h - 4421, 2*n - 4*h = 4426. Is 8 a factor of n?
False
Suppose -205*b + 218*b - 122070 = 0. Suppose 0 = 291*h - 276*h - b. Is 14 a factor of h?
False
Let c = 6 + 5. Suppose 3*r - 9 = 3*m, -2*m - c = -0*m - 3*r. Suppose 2*a - 16 - 38 = -w, m*w = 0. Does 9 divide a?
True
Suppose -5*w + 5*h + 38292 = -3708, -2*h = -5*w + 41985. Is 5 a factor of w?
True
Let o = -6466 + 21242. Does 19 divide o?
False
Let q = -6 + 9. Suppose 0 = r - 4, q*t - 645 = 3*r + 39. Does 4 divide t?
True
Let z be 5/20 + 14/8. Let t(v) = -648*v + 651*v - 2 + 5 - z*v**3. Is 8 a factor of t(-3)?
True
Let t = 565 + -559. Suppose -1842 = -t*i + 798. Is i a multiple of 10?
True
Let n(t) = 11410*t + 6630. Does 36 divide n(3)?
True
Suppose 0 = -s + 3*z - 13 - 1244, -3*z = s + 1227. Let b = -486 - s. Is 12 a factor of b?
True
Suppose -2*t + 17 - 3 = j, 0 = -4*j + 3*t + 67. Suppose 0 = -5*q - 46 + j. Let v(x) = 3*x**2 - 6*x - 17. Does 51 divide v(q)?
False
Let x = -2390 - -9911. Is 9 a factor of x?
False
Let o(r) = -r**2 - 17*r - 20. Let p(b) = b**2 - 7*b + 20. Let g be p(5). Let x be (540/225)/((4/g)/(-2)). Does 8 divide o(x)?
True
Let y(b) = 2*b**3 + 139*b**2 - 197*b - 235. Is y(-70) a multiple of 8?
False
Suppose -4*b + m = 158, 0*b - b - 3*m - 46 = 0. Is 21 a factor of (-10)/b + (5391/12)/3?
False
Let h = 5754 - 3410. Is h a multiple of 4?
True
Suppose 6*w - 7*w - 1 = 0. Let k(b) = 40*b**2 - 20*b - 19. Is k(w) a multiple of 4?
False
Suppose 753 + 687 = 4*c. Let w = -229 - -238. Suppose -5*u - c = -w*u. Is u a multiple of 8?
False
Suppose 0 = 2*y + f - 16, -3*f - 2*f = -10. Let z(k) = -5*k**2 - 201*k**3 - 9 + 0 + 202*k**3 + y*k. Does 16 divide z(5)?
False
Let m be (-6)/18 + 238/3. Suppose 0 = -j - 3*o + m, 0 = -j + o - 0*o + 91. Let g = j + -58. Does 4 divide g?
False
Is 14 a factor of (-1 + 24)*(12 + (-10)/30)*15?
False
Suppose 3*f + 28 = 4*z, -4*z + 3*f - f = -28. Let v(l) = 11*l**2 + 9*l - 15. Does 32 divide v(z)?
False
Let x = -3676 + 9927. Is x a multiple of 133?
True
Let t(g) = 2*g**3 + 27*g**2 - 15*g - 13. Let c be t(-14). Let b be (26/4 - c)/((-1)/44). Let q = -122 - b. Is q a multiple of 30?
True
Suppose -4*v + 324 = -4*k, -v - 5*k + 64 = -23. Is 7 a factor of v?
False
Let c(w) be the first derivative of -5*w**4/4 - 2*w**2 - 2*w + 17. Let d be c(-2). Does 5 divide 1/5 - d*13/(-10)?
True
Let b(j) = -6*j**2 + 6*j + 2064. Is b(0) a multiple of 16?
True
Suppose 106*o + 82*o = 272224. Does 4 divide o?
True
Let p(l) = -128*l - 1572. Is 14 a factor of p(-66)?
False
Let i be 390/(-24) - (-1)/4. Let j be (-12)/i*(4 - 8). Let a(d) = 4*d + 16. Is a(j) a multiple of 3?
False
Let h be (-9)/((-27)/(-12)) - (5 - 1). Is (-7)/28*h + 425 a multiple of 16?
False
Let s(r) = 40*r**2 + r - 1. Let g be s(1). Suppose v + 67 = 4*z, 4*v = 2*z + z - 60. Is 16 a factor of (36/z + -1)*g?
False
Let k = 336 + -285. Let l = 1191 - k. Does 57 divide l?
True
Suppose 375 = -3*a + 2*j - 0*j, 500 = -4*a + 3*j. Let g = 453 - a. Does 36 divide g?
False
Suppose 96781 = 23*b - 76442 - 93784. Does 19 divide b?
True
Is (42/4)/(-6 - 447580/(-74592)) a multiple of 111?
True
Suppose -v + 3*v = 56. Let h be 282/4 + v/(-8) + 3. Is (h/(-6) - 1)/(19/(-57)) a multiple of 11?
False
Suppose -24*b = -28*b + 4. Suppose 3*l = 2*l - 4*r - b, r + 47 = 4*l. Let u(d) = 7*d - 11. Is u(l) a multiple of 15?
False
Let o = -489 - -464. Let d(x) = -37*x - 23. Is 82 a factor of d(o)?
True
Let p = -7795 + 13286. Is 8 a factor of p?
False
Let q = 135 + -135. Suppose -5*r - 658 = -3*n - 0*r, -n + r + 218 = q. Does 12 divide n?
True
Suppose -9*i + 16 = -i. Let w(u) = 6*u**3 + 0*u - u + 5*u + 1 - 5*u**i + 0*u. Does 19 divide w(2)?
False
Suppose 3*o + 189 - 864 = 3*p, -5*p + 651 = 3*o. Does 6 divide o?
True
Let r be (-82)/(-6) + (1/3)/1. Suppose -8 = -16*g + r*g. Suppose 0 = 5*d - 3*k - 252, g*d - 36 = k + 160. Is d a multip