+ 5*b, 0 = -3*j - 2*j - 5*b + 5. Let a(m) = 8*m - 4. Does 6 divide a(j)?
True
Is 22 a factor of 0 + (-71635)/(-8) - (-234)/(-624)?
True
Let n(y) = y**2 - 10*y - 26. Let v be n(6). Let c = -17 - v. Suppose 2*l - c = -3*b - 0*b, 5*b = 15. Is 4 a factor of l?
True
Let x = -9933 - -33283. Is x a multiple of 5?
True
Suppose n - 2 + 5 = 0. Let d be n/1 + (6 - 1). Suppose -3*y = 4*w - 23, -4*w - 5*y + 1 = -d*w. Is w a multiple of 6?
False
Suppose x - 4361 = -4*v, 267*x - 8725 = 265*x - 5*v. Is x a multiple of 47?
False
Is 14 a factor of (-54)/(-6) + 27314 - 9?
True
Let q = 701 + -449. Is q a multiple of 36?
True
Suppose 7*p - 12 = 2. Suppose -p*x + 1068 + 12 = 0. Is x a multiple of 10?
True
Let p = 7553 + 6864. Is p a multiple of 44?
False
Let y = 32 + -32. Suppose -z + 84 + 66 = 4*m, -4*m + 5*z + 162 = y. Suppose -2*p - 5*c = -32, -3*p = -5*c - 10 - m. Does 4 divide p?
True
Suppose -4*k - 1707 = -5*r, r = k - 0*k + 427. Let t be (-22)/77 - k/7*2. Let o = 161 - t. Does 6 divide o?
False
Suppose 1500*x - 1499*x - 48151 = -5*o, 5*x - 28895 = -3*o. Does 107 divide o?
True
Suppose -2*f = -5*v + 33, 0*f + 2*v = -3*f - 78. Let p be f/(-18) + (-32)/(-12). Suppose -p*i = 2*k - 148, -2*i + 5 - 291 = -4*k. Does 7 divide k?
False
Let z = -166 - -175. Does 13 divide (-406)/(-3) - -3*z/(-81)?
False
Let s(i) = -118*i - 30. Let f be s(-11). Suppose -20*c - f = -22*c. Does 72 divide c?
False
Let g(d) be the first derivative of 53*d**4/12 - d**2/2 - d + 21. Let c(m) be the first derivative of g(m). Does 26 divide c(1)?
True
Let h(s) = -8*s**3 - 88*s**2 + 38*s + 237. Is 7 a factor of h(-15)?
True
Let d(m) = -34*m - 108. Suppose 717*u + 36 = 715*u. Does 8 divide d(u)?
True
Let k = 49 + -88. Is 2612*(-6)/k - 2/(-13) a multiple of 31?
False
Suppose 2*q - 127 - 730 = 5*a, -5*q + 2126 = 4*a. Suppose 0 = -2*c + 2*z + q, 3*c + 2*z - 649 = 7*z. Does 13 divide c?
True
Let j(g) be the third derivative of -g**6/120 + 7*g**5/30 + 4*g**4/3 + g**3/2 - 8*g**2. Let m be j(16). Suppose -4*h + 343 = m*h. Is 11 a factor of h?
False
Suppose 201*o = -182*o + 2891424 - 238000. Is o a multiple of 65?
False
Let q = -82 + 81. Let t be -9*q/2 + 6/(-4). Suppose -o + t*r + 64 = 8*r, 164 = 3*o + r. Does 18 divide o?
True
Let l(u) = -9*u - 130. Let r be l(-14). Is (-10)/(-15)*6/r*-192 a multiple of 11?
False
Suppose 0 = 2*m - 5*j - 3322, -21*m + 20*m + 3*j = -1664. Is m a multiple of 5?
False
Suppose 3*j - 2*b = 428, 3*j + 0*j - 3*b - 426 = 0. Suppose -j = -y + 3*v, 0 = -2*y - 2*y + 3*v + 558. Is y a multiple of 10?
False
Suppose 5471 = y + 3*g + 96, -4*y + 5*g + 21449 = 0. Is 71 a factor of y?
False
Let i = 134 + -91. Let r = 45 - i. Suppose -20 = r*b - 146. Is 7 a factor of b?
True
Let b(v) = v + 11. Let h be b(-11). Suppose -6*i + 45 + 39 = h. Is (152/i)/(14/49) a multiple of 38?
True
Let u = -11 + 16. Suppose 3*q - 1018 = -u*y - q, 4*y + 4*q - 812 = 0. Suppose -4*c + 22 = -y. Is c a multiple of 6?
False
Suppose 2*v = -0*d + 3*d - 4, -4*v + 20 = d. Suppose v*n - 1111 = 1485. Is n a multiple of 59?
True
Let s = 3345 - 1469. Does 67 divide s?
True
Suppose 24 = 9*r - 3. Suppose 0 = 3*s + 2*s - r*f - 1677, -s + 5*f = -331. Is 12 a factor of s?
True
Let o(h) = 49*h - 9235*h**3 + 9234*h**3 + 42*h**2 + 8*h - 112. Does 49 divide o(43)?
True
Suppose -3*u - 4*s - s = 14, -2*s - 16 = -4*u. Suppose 2*p = f - 10, -3 = -2*f - p + u. Suppose 4*w - 156 = -f*d, -2*d + 35 + 47 = 4*w. Is 28 a factor of d?
False
Let r = -2005 - -2908. Is r a multiple of 13?
False
Let i(b) = 2*b**2 - 11*b - 43. Let g(t) = -t**3 + 9*t**2 + 2*t + 4. Let a be g(9). Suppose -7*r + 9*r - a = 0. Is i(r) a multiple of 6?
True
Does 85 divide (-1*16494)/(-2 + 0/12)?
False
Let l be (-2)/(-14) + (-30770)/35. Let m = l + 1269. Does 39 divide m?
True
Let u(g) be the third derivative of g**5/60 + g**4/2 - 2*g**3/3 - 10*g**2 + 7. Is 89 a factor of u(23)?
True
Suppose -y - 13 + 15 = 0. Suppose 343 = y*r + 103. Is r a multiple of 8?
True
Suppose -4*n = -4*u - 47456, 5*n + 41*u - 59392 = 37*u. Does 212 divide n?
True
Suppose -6103 = -w + 5*h - 1896, 12570 = 3*w + 2*h. Is w a multiple of 22?
False
Suppose -1521861 = -129*a - 432*a + 2200935. Is 14 a factor of a?
True
Let u(c) = 5*c**3 + c - 2. Let o be u(1). Suppose 0 = 4*i - 7*i + 363. Suppose -i + 537 = o*p. Is p a multiple of 35?
False
Let t(n) = -n**2 + n - 1. Let c(u) = -4*u**2 + 2*u + 3. Let f(g) = c(g) - 5*t(g). Suppose 2*l = -3*m + 8*m - 34, -2*m - 3*l = -6. Is 13 a factor of f(m)?
True
Let m be -1*(1 - -1)/(12/(-24)). Suppose -m*h - 33 = -7*h. Suppose h - 39 = -v. Is 7 a factor of v?
True
Let m = 3627 - 3493. Is 3 a factor of m?
False
Suppose 170*q + 353298 = 99*q + 93*q. Is 53 a factor of q?
True
Let z(v) = -41*v - 2. Let d(r) = 82*r + 3. Let x(h) = -3*d(h) - 7*z(h). Is 14 a factor of x(7)?
False
Let h(z) = -3*z**2 - 40*z + 11. Let b be h(-14). Let l(o) = -24*o - 14. Is l(b) a multiple of 42?
False
Let u = 559 + -558. Let q = u - -38. Is q even?
False
Suppose 46 = -2*a + 2*l, 3*a - 5*l = -6*l - 49. Is 13/52 - a*694/16 a multiple of 39?
False
Let x(u) = 144*u - 61. Let q be (9 + 147/(-15))/((-6)/45). Is 10 a factor of x(q)?
False
Let t = -2836 - -3410. Does 4 divide t?
False
Suppose 4*w = -2*u + 44647 + 17825, -62454 = -2*u + 2*w. Does 21 divide u?
False
Suppose -426 = -k + 535. Suppose -4*v - 4*l + 940 = 0, -k = -4*v + 7*l - 4*l. Does 14 divide v?
True
Let d = -3319 - -5590. Is 7 a factor of d?
False
Suppose -31*w + 34*w - 186 = 0. Does 3 divide w*4 - (18 + -14)?
False
Let h(b) = b**3 - 8*b**2 + 7*b - 2. Let c be h(7). Let j = 8 + c. Suppose -519 + 21 = -j*y. Is y a multiple of 8?
False
Suppose 0 = -430*r + 391*r + 516477. Is 97 a factor of r?
False
Suppose -3*o - 1194 = -5*o. Suppose -5*g - 177 = -o. Does 12 divide g?
True
Suppose 2*y + 30 = 646. Suppose 5*o - 207 - y = 0. Let z = o - -119. Is 36 a factor of z?
False
Let o = 14830 - -21899. Does 53 divide o?
True
Let y = -6018 + 6878. Is 4 a factor of y?
True
Let f be (-6608)/(-40) - (-3)/(-15). Let d = f + 21. Does 4 divide d?
False
Let u = 932 + -1718. Let o = u - -1026. Is 15 a factor of o?
True
Suppose -35*w = -30*w - 20, 4*j = -w + 4324. Is j a multiple of 9?
True
Let t(g) = -16*g + 4. Let m(o) = o**3 + 2*o**2 - o - 1. Let r be m(-2). Let c be t(r). Let f = c - -30. Is f a multiple of 9?
True
Suppose 0 = 4*u + f - 16, -4*u + 4*f - 3 = -19. Suppose 0 = u*a + 2*x - 354, 151 = -5*a - 4*x + 589. Is a a multiple of 4?
False
Let g(y) = -3314*y + 64. Let i be g(8). Is 8 a factor of (-1)/5 + (-1)/(40/i)?
False
Suppose -27 = -4*f + 21. Let d(k) = 19 + 7*k - f - 14 + 5*k**2. Is d(-5) a multiple of 15?
False
Let q(n) = -760*n + 702. Is 2 a factor of q(-2)?
True
Let k(g) = g**2 + 21*g + 66. Let j be k(-17). Is j/(-17) - 64550/(-425) a multiple of 4?
True
Suppose 0*g = g. Let k be ((-8)/(-32)*20)/1. Suppose g = k*p - 11*p + 756. Is p a multiple of 21?
True
Suppose -3*v - 3*c = -93, c = -4*v + 2*c + 124. Suppose -1547 = 24*u - v*u. Does 29 divide u?
False
Suppose 5*p = 6 - 1, -2*n + 2*p = -18. Is 26 a factor of 1/n - 20277/(-30)?
True
Let j be (-33 - -31)/((-2)/17). Let q(t) = 52*t - 188. Does 29 divide q(j)?
True
Let o(z) = -47*z - 39*z + 106 - 7*z. Is o(-6) a multiple of 83?
True
Suppose -3163*s = -3152*s - 134090. Is s a multiple of 106?
True
Suppose -3*o + 29 = -4*b + 3, 13 = -o - 3*b. Suppose -o = 2*i - 10. Suppose 91 = 4*f + 5*x - 48, 4*f + i*x = 136. Does 2 divide f?
False
Suppose x - 2*i = 39, -x = 3*i - 25 + 1. Suppose x = 4*y + 1. Is 24 a factor of 4 + -11*y/(-2)?
True
Does 15 divide (-89208)/(-44) + 3*4/22?
False
Let p(y) be the first derivative of 13*y**2/2 - 18*y - 7. Suppose 32 = -37*s + 39*s. Is 32 a factor of p(s)?
False
Let x be (-262)/4 + 32/64. Let k = 5 + x. Let d = 89 + k. Is d a multiple of 12?
False
Suppose 3*o = -84 + 36. Is 14 a factor of o/(-4) - -2*68?
True
Let o(x) = -4*x - 118. Let m(v) = -6*v - 118. Let i(c) = -7*m(c) + 6*o(c). Is i(-4) a multiple of 14?
False
Suppose 120*q - 257706 - 41480 = 26254. Is 37 a factor of q?
False
Suppose 141 = 5*k - 169. Let o = -165 + 168. Suppose o - k = -i. Does 10 divide i?
False
Suppose 32*y = 36*y - 12. Suppose -4*g - 43 = -y*j, j - 19 = -2*j - 2*g. Suppose -224 = -j*v + 73. Is 11 a factor of v?
True
Let x = -242 + 1253. Suppose 5*r - x = 6869. Is 12 a factor of r?
False
Let v =