ue
Suppose 10*k = 2*k + 32. Suppose g + 2 = 4*g - m, k*g - m = 4. Suppose 5*x = -n + 35, -g*x + x - 89 = -3*n. Is 30 a factor of n?
True
Suppose 0 = 9*m + 14*m + 322. Is 6 a factor of (120/70)/((-1)/m)?
True
Suppose -32 - 36 = -2*p. Let k = p + 33. Let j = k + -28. Does 13 divide j?
True
Suppose -1030*j = -890*j - 2362080. Does 37 divide j?
True
Let k(g) = -4*g + 120. Let j be k(28). Suppose -j*q = -5*q - 186. Does 15 divide q?
False
Let b be (-1 + -1178)*((-200)/30 + 7). Let f = 769 + b. Is f a multiple of 47?
True
Is 11 a factor of ((-6)/2)/(75/100) - 4 - -5200?
True
Let w(u) = -55*u - 1. Let x be w(1). Suppose 38*a - 34*a = 416. Let c = x + a. Does 8 divide c?
True
Suppose 0 = 18*j - 231277 - 305897. Does 12 divide j?
False
Let y(k) = -2*k**3 + 16*k**2 + 2*k + 2. Suppose -50 = -u - 42. Let p be y(u). Let h(f) = 7*f + 62. Is 16 a factor of h(p)?
False
Let x(o) = 2*o - 10*o + 23 + 0*o + 35. Does 29 divide x(-9)?
False
Suppose 0 = 22*l + 19 - 129. Does 39 divide (l - 117/27)*1443?
False
Suppose 3*d - 22003 = -3*l - 2188, -4*d = -28. Is 16 a factor of l?
False
Suppose -201 = -2*l + 5*o, -4*l = 66*o - 65*o - 391. Does 7 divide l?
True
Let w(p) = 2*p**2 - 4*p + 3. Let s be w(3). Suppose s = 3*m, k + 51 = -2*k + m. Is 12 a factor of k/(-120) - (-1646)/30?
False
Let y = -7709 - -8125. Is 13 a factor of y?
True
Let m = -10487 - -18257. Does 21 divide m?
True
Suppose -91*a = -519017 - 926668 + 272149. Is 7 a factor of a?
False
Let p(b) = -2*b**2 - 4. Let q be p(-3). Suppose -4*v + 6*v = 8, 5*o - 4*v - 354 = 0. Let k = o + q. Is 13 a factor of k?
True
Let c(w) = 4*w**2 - 10*w - 33. Let y be c(-4). Suppose 0 = y*u - 68*u - 2442. Does 22 divide u?
True
Let b = 10887 - 6786. Is b a multiple of 26?
False
Let n(c) = 342*c - 9593. Is 7 a factor of n(102)?
True
Let n = 15247 - 4810. Does 46 divide n?
False
Let j(n) be the first derivative of n**6/15 + n**4/4 - 10*n**3/3 - 29. Let f(z) be the third derivative of j(z). Is f(-2) a multiple of 14?
False
Let k = 9945 + -9043. Is 22 a factor of k?
True
Let f be 17/51 - (-128)/(-6). Let v = 195 - f. Is v a multiple of 9?
True
Suppose 3*n - 2*g - 16 = 0, g = 2*n - 0*g - 9. Let h(q) = -7*q - q**n + 5*q + 10*q + 4*q**2 + 20. Is 16 a factor of h(-6)?
True
Suppose -4*v + 131*h - 127*h = -4384, -h = 5*v - 5438. Is 3 a factor of v?
True
Let b(t) = -15*t - 50. Let m be b(-4). Does 4 divide (118/m - 0) + (-27)/(-135)?
True
Let r(b) = -b**2 - 31*b + 46. Let h = -154 - -133. Is 32 a factor of r(h)?
True
Suppose -7*p = -28*p + 399. Suppose -p*b + 3987 = -9712. Is 82 a factor of b?
False
Suppose -y - x - 7318 = -4*y, 2*y + 3*x - 4908 = 0. Is 6 a factor of y?
True
Let o = -3054 - -3573. Is o a multiple of 3?
True
Is 71 a factor of 123/2*(27 - 5691/(-63))?
False
Let v(w) = -8*w**2 + 12*w + 2. Let d be v(-2). Let m = d - -288. Does 24 divide m?
False
Suppose 43*f + 70940 - 849971 = 0. Is f a multiple of 27?
True
Let t(z) = -4*z + 8. Let m be t(2). Let k be m/(4 + -5) + (-12)/(-4). Suppose 181 = k*o + 31. Is 5 a factor of o?
True
Let g be (-24)/(-16) + 6/4. Is 5 a factor of 1 - -194 - (-2 - g)?
True
Let s(a) = -165*a**3 + 15*a**2 + 35*a + 14. Is 16 a factor of s(-6)?
True
Let q(s) = 28*s + 27. Let y be q(-1). Let a(f) = 1087*f**2 - 17*f - 16. Is a(y) a multiple of 87?
False
Suppose -1220*j + 1227*j = 7938. Does 170 divide j?
False
Suppose -21*q - 1016 = -25*q. Suppose -q - 760 = -6*z. Is z a multiple of 9?
False
Suppose -y = 4*y + 990. Let d = y + 290. Is 9 a factor of d?
False
Let c(a) = -11 + 0*a - 7 + 0*a + a. Let p be c(20). Suppose 73 = p*f + 5. Is f a multiple of 20?
False
Let o(h) = -157*h + 174. Let x = -359 + 353. Is 62 a factor of o(x)?
True
Let c = 1407 - -7. Is 14 a factor of c?
True
Let l(k) = -231*k - 6. Let r be l(1). Let n = r - -470. Suppose 4*m = -n + 821. Does 49 divide m?
True
Suppose -3*a - 4 = 5, 25 = 2*z - a. Suppose -53 - 119 = -4*h. Suppose 3*d - z = h. Is 4 a factor of d?
False
Let r = 792 - 781. Suppose r*d - 1606 = 616. Is d a multiple of 9?
False
Let z be ((-416)/(-3))/((-23)/(-69)). Let l = z + -375. Does 6 divide l?
False
Is 12 a factor of (-449 - -14253) + 10/1?
False
Let d(r) = 3*r**2 + 35*r + 7. Let h be d(-15). Suppose -5*y - 325 = 7*v - 11*v, 2*v + 3*y = h. Is 20 a factor of v?
True
Let y be (6/(-3))/(4/(-942)). Suppose -d - 1100 = 3*d. Let s = y + d. Is 14 a factor of s?
True
Let h = 96900 + -53030. Does 37 divide h?
False
Let h = -6 + 17. Suppose -2*q + h*q - 1881 = 0. Does 11 divide q?
True
Let t be (-3 - -1) + 176/4. Suppose t*f - 34*f - 1440 = 0. Does 10 divide f?
True
Let m(r) be the second derivative of -5*r**3 + 2*r. Let s = 505 - 507. Is m(s) a multiple of 15?
True
Let i = 4860 + -1778. Does 5 divide i?
False
Let m be 9763 - (2 + -4 + -7). Suppose m + 4746 = 17*b. Does 61 divide b?
True
Suppose w - 4*w = -12. Suppose -w = -5*o + 6. Suppose 4*m = -3*x - o*x + 253, x + 3*m - 55 = 0. Does 12 divide x?
False
Suppose 5*k + 5*q - 33615 - 107965 = 0, -2*k = 4*q - 56636. Is k a multiple of 26?
True
Let z(w) = w**3 + 5*w**2 - 3*w - 2. Suppose 16*r = 12*r + 20. Suppose -s - 12 = 2*v + 3*s, r*s = 4*v + 11. Does 9 divide z(v)?
False
Suppose c - 305 = -22. Suppose -3*l = 5*f - 732, c = 2*f - 5*l - 16. Does 10 divide f?
False
Suppose -s - 8*s = -6156. Let h = 72 + s. Suppose -2*i = 3*d - h, -3*d - i + 2*i = -756. Is d a multiple of 14?
True
Suppose 30 = -2*i + 4*i + 4*u, 2*i = 4*u - 2. Let l(h) = -i*h + 4*h + 6*h - h**2 + 10*h - 2. Does 7 divide l(3)?
True
Let s = -18343 - -26522. Is 10 a factor of s?
False
Let w(m) = 317*m + 3259. Is w(-2) a multiple of 2?
False
Let l(r) = -r**3 + 24*r**2 + 2*r + 101. Does 13 divide l(17)?
True
Suppose 14*o - 65004 = 91796. Does 10 divide o?
True
Suppose 342*h - 326*h - 96048 = 0. Is h a multiple of 69?
True
Suppose 8*q = 102 - 86. Suppose 5 = -5*o, -2*k - 9 = -q*o - 257. Is 4 a factor of k?
False
Let y(k) = 5*k**2 - 20*k + 55. Is y(37) a multiple of 5?
True
Let f be 0/((-2)/(-3)*(-18 - -15)). Does 64 divide f - 2/13 - (-523124)/4082?
True
Let g be 800/36 + 2/(-9). Let b = 6 - g. Let s(z) = -8*z - 16. Does 16 divide s(b)?
True
Suppose 5*b = 4*c + 9276, -39*b + 3*c - 3715 = -41*b. Is 64 a factor of b?
True
Let u(z) = -67*z**2 + 2*z + 1. Let d be u(-1). Let c = d + 94. Let b = 40 - c. Is b a multiple of 2?
True
Suppose 1100*j - 6072 = 1092*j. Is 23 a factor of j?
True
Let p = 27 - 27. Let r be (2 - p) + -1 + (9 - 10). Suppose -3*k + 195 + 42 = r. Does 4 divide k?
False
Let a(o) = -46*o**3 + o**2 + 7*o + 31. Does 6 divide a(-3)?
False
Let b = -198 - -209. Suppose b*u - 123 = 10*u. Does 20 divide u?
False
Let d(u) = -40*u + 52. Let k be d(-22). Suppose -4*m + 7*m - 560 = x, 2*x = 5*m - k. Does 13 divide m?
False
Let z(d) = -3*d**3 - 27*d**2 - 24*d - 17. Does 19 divide z(-9)?
False
Let q = -65 - -67. Suppose -q*a + 365 = 125. Is a a multiple of 15?
True
Let i(g) = 3*g - 8. Let d be i(14). Let x(u) = -30 - d - 3*u - 4*u + 3*u. Is x(-17) even?
True
Let i(q) = 314*q**2 - 17*q + 89. Let k be i(-16). Does 94 divide (k/(-315))/((-2)/6)?
False
Let g = 108 - 111. Does 65 divide g/2 - 1336/(-16)?
False
Let o(h) = -h**3 + 9*h**2 - 11*h - 19. Let i be o(7). Suppose -2*y - 5665 = -4*f - 755, 2*f = i*y + 2450. Is f a multiple of 82?
True
Let y = 141 + -138. Does 10 divide (36/y)/(15/250)?
True
Suppose 13*c + 9 = 10*c. Let n(g) = g**3 + 7. Let u be n(c). Does 8 divide (144/u)/((-3)/20)?
True
Suppose 5*o = 2*o - 3*n - 9, 15 = -5*n. Let d be (-4 - -5) + 32 + o. Let b = d + 25. Does 26 divide b?
False
Let y(k) = 2*k**2 - 2*k - 8. Suppose 17*m - 13*m = -16. Let n be m/(-18) - 11/(396/(-280)). Does 8 divide y(n)?
True
Suppose 7*d = 153 + 71. Suppose -q = 3*u - d, 111 - 43 = 2*q + 5*u. Is q a multiple of 4?
True
Suppose 3719 = 5*x + 11*u - 7*u, -4*x + 3012 = -6*u. Is 2 a factor of x?
False
Is ((-4495)/(-93) + 19)/((2/846)/1) a multiple of 94?
True
Let z(g) = 12*g**2 + 15*g - 44. Is z(-24) a multiple of 169?
False
Let u(p) = 38*p**2 + 243*p - 1237. Is u(5) a multiple of 12?
False
Suppose -5*j - 3*u + 3619 = 0, -j + 3*u + 479 = -234. Is 13 a factor of j?
False
Suppose 0 = 8*v - 2097 + 25. Let q = v + -123. Does 21 divide q?
False
Suppose -189383 = -15*v - 127*v + 691727. Is 80 a factor of v?
False
Suppose -662331 = -27*k + 40425. Is 19 a factor of k?
False
Suppose -4*o + 355 = 5*h + 95, h