 3*o(p) - 2*u(p). Is a(-7) a multiple of 19?
False
Suppose 5*w - 4 - 18 = -3*a, 0 = -4*w + 4*a - 8. Suppose -w*n = 2*s + s + 3, 2*s + 12 = 2*n. Suppose 0*u + n*u = 336. Is 12 a factor of u?
False
Let n be (48/(-15))/((-30)/75). Suppose 0 = n*m - 3*m - 5*r - 345, -r = -4*m + 276. Is m a multiple of 15?
False
Let y(v) = 6*v - 177. Suppose -3*u = 5*g - 229, -3*g - 12*u = -17*u - 151. Does 68 divide y(g)?
False
Let c(m) = m**3 + 4*m**2 + 3*m. Let g be c(-3). Suppose g*w = -4*w. Does 13 divide w + (-6)/2 + 120?
True
Suppose 26*l - 22*l - 56 = 0. Let r(s) = -4*s - 9 + l + 10 + 2*s. Is 7 a factor of r(-10)?
True
Let d be 25/(-2)*(-3 + (-19)/(-5)). Let k(w) = w**3 + 14*w**2 - 8*w - 18. Does 66 divide k(d)?
True
Let y be ((14 - -116)/10)/(2/76). Suppose 0 = 498*c - y*c - 788. Is 37 a factor of c?
False
Let f = -1421 + 1526. Is 2 a factor of f?
False
Let w = -68 - -70. Does 2 divide 9272/1064 - (w/(-7) + 0)?
False
Let w be 66 - ((-1)/2 - 5/(-2)). Let x = -67 + w. Does 2 divide (0 + x)*4*(-2)/12?
True
Let j(w) = 12*w + 85. Let u be j(-6). Let r(o) = 3*o**2 - 18*o - 16. Does 16 divide r(u)?
False
Let l be (-224)/21*(5/2 - -2). Is 4 a factor of (60/l)/(1/(-64))?
True
Let o(i) = -5*i - 33. Suppose -6*j + 7*j - 5 = 0. Suppose -5*r - j*c - 22 = -7, -4*r = -3*c + 47. Is o(r) a multiple of 7?
True
Let h(x) = -25*x - 229. Suppose -13*o = -17*o - 72. Does 7 divide h(o)?
False
Suppose -5*j + 22 = -w, -w - 2 = -j - 0*w. Let i(h) = -j*h**2 + 8*h**2 - 10 + h**2 + 3*h**2 + 2*h + h**3. Does 7 divide i(-6)?
True
Suppose 0 = -47*a + 41*a + 216. Suppose -28*s - 8112 = -a*s. Is 15 a factor of s?
False
Suppose 4*d - 824 = 1562*u - 1566*u, 3*u - 603 = 2*d. Is 203 a factor of u?
True
Let p be ((-50)/(-3))/5*(-72)/(-20). Suppose -720 = -p*y - 240. Let b = 124 - y. Is b a multiple of 5?
False
Does 41 divide (16/(-24))/(98/(-90111))?
False
Is 53 a factor of (20/240 + (-62254)/(-24))/1?
False
Let w = 24 - 19. Suppose 2*k = 3*d - 8 - 2, -2*k = w*d - 6. Suppose -d*t = -5*v + 5, 5*t - 3*v = -0*t + 35. Is 5 a factor of t?
True
Does 3 divide (116/14)/((-182)/(-3185))?
False
Suppose -17*x - 3089 = -22*x - h, 0 = -3*x - 5*h + 1849. Is x a multiple of 5?
False
Let z be (-12)/(-3) + (-2 - -1). Suppose -3*a - 2*p = z, 4*a - 6*p - 19 = -p. Is ((-8)/12)/(a/(-15)) a multiple of 5?
True
Let m(a) be the first derivative of -2*a**3/3 - 15*a**2 - 30*a - 3. Let b be m(-14). Let s(f) = -139*f - 11. Is 42 a factor of s(b)?
False
Let m = 44 - 57. Is 182 + (2 - m)/5 - -4 a multiple of 21?
True
Suppose -3*a = -y - 2767, -5*a + 914 = -4*a - 2*y. Is 21 a factor of a?
True
Let z be 10/(-3)*72/48. Is 4 a factor of (-2)/(-1)*((61 - 4) + z)?
True
Let j(y) = -y + 7. Let c be j(4). Suppose -2*z + 18 = c*h, z - 6 = -z. Suppose 2*f = 10, 5*u - 52 = u + h*f. Does 3 divide u?
True
Let p(w) = 1994*w - 673. Does 148 divide p(20)?
False
Suppose 0 = -15*z + 4480 + 47330. Does 13 divide z?
False
Suppose 0 = -8*f - 939 - 357. Let o = 257 + f. Is o a multiple of 5?
True
Let a be (-53 + 17)*(0 - 3). Is 4 a factor of 36/a*1*303?
False
Let r = 32 - -333. Suppose -10*p + 1935 = r. Is p a multiple of 5?
False
Let n be 19/3 + 3/(-9) - -4. Let a = n - 8. Suppose 4*c - j - 357 = a*j, -252 = -3*c - 3*j. Is 11 a factor of c?
False
Let h be 8*(66222/12)/13. Suppose -2*y + 2138 = 3*d + 448, -2*d + h = 4*y. Does 56 divide y?
False
Suppose -4*g - 3 + 11 = 0. Let h be (-7 + -8)*(1 + g*-1). Suppose 0 = 11*p - h*p + 24. Is 2 a factor of p?
True
Let q(m) = 743*m - 95. Is 34 a factor of q(13)?
False
Let a be 2*15/10 + 1. Let d(b) = -6*b + 38 - 5*b + 16*b - a*b. Does 38 divide d(0)?
True
Let m = 8096 - 5029. Does 7 divide m?
False
Let r(w) = -2*w**2 + 62*w + 83. Let o be r(34). Let t = o - -849. Is t a multiple of 26?
True
Let g(p) = 7*p + 11*p + 5*p + 20 + 7*p. Is g(4) a multiple of 5?
True
Suppose -5*x - 95 = 5*b, x = -b - 2*x - 25. Is -12*4/b + 45 a multiple of 4?
True
Suppose 94*v = 103*v - 5697. Suppose -5*q = -1262 - v. Does 67 divide q?
False
Suppose -h = -5*a + 75, a + 3*h - 45 = -2*a. Let u be (-1788)/a - 3/(-15). Let o = -38 - u. Is 16 a factor of o?
False
Let a(b) = -b**2 - 22*b - 37. Suppose -10*n - 2*i = -11*n - 26, 5*n + 82 = -2*i. Does 21 divide a(n)?
False
Suppose 64148 = 4*f + 2*p, -55229 = -3*f + 3*p - 7109. Does 99 divide f?
True
Let h be -5*(-4 + 48/15). Suppose 4*s = s - h*w + 715, -3*s + 2*w = -727. Is 18 a factor of s?
False
Let m = 64154 + -40098. Is m a multiple of 143?
False
Is 101 a factor of (-1452836)/(-88) + (-5)/10?
False
Let m(g) = g - 3. Let p be m(5). Suppose -3*y - 4 = -p*y - s, -2*y = -4*s + 8. Let c(x) = 6*x**2 + 11*x + 22. Does 19 divide c(y)?
False
Let u(l) = -9*l**3 - 8*l**2 - 8*l + 2. Let o be u(-4). Suppose -6*h + 4*v + 1439 = -3*h, v = -h + o. Is h a multiple of 13?
True
Let p(v) = 989*v - 754. Does 28 divide p(6)?
True
Let f(p) = -107*p**3 - 19*p**2 - 41*p - 43. Does 31 divide f(-4)?
True
Let h(a) = 278*a**3 - 3*a**2 + 13*a - 19. Does 5 divide h(3)?
False
Let f(x) = 4*x + 43. Let g(d) = -3*d - 42. Let r = -47 - -45. Let j(z) = r*f(z) - 3*g(z). Is j(0) a multiple of 11?
False
Suppose -2*p = -13*s + 12*s, 0 = -5*p + 4*s - 6. Suppose 0 = 4*q - 2*q + p, -3*x + q + 1135 = 0. Is 21 a factor of x?
True
Let u(p) = -15*p + 94. Let j be u(6). Is 14 a factor of ((-1062)/j + 3)*(-28)/21?
True
Suppose -i - 6 = 3*p + 3*i, 2*i + 6 = 0. Let b(f) = 6*f**3 - 24*f**2 - f + 52*f**2 + 10*f**3 - 26*f**p. Does 3 divide b(1)?
False
Suppose -w + 7 + 3 = 0. Suppose 0 = -4*u + o + 11, -5*u = -u - 2*o - w. Suppose -z + 10 = 4*r, 4*z = -0*z - u*r + 92. Does 9 divide z?
False
Let c = -7933 + 54111. Is 14 a factor of c?
False
Let y(s) = -2*s**2 - 29*s - 57. Let p(g) = -2*g**2 - 14*g - 28. Let t(i) = -5*p(i) + 2*y(i). Is 46 a factor of t(8)?
True
Suppose -s + 8 = s. Let w(y) = -24*y - 93. Let a be w(-10). Suppose -s*d = -189 - a. Is d a multiple of 7?
True
Suppose 0 = 22*y - 131 - 133. Suppose y*m - 43 - 3557 = 0. Is 15 a factor of m?
True
Suppose -2*h - 4*c = 0, 9 = -5*h - 5*c + 4. Is -6 - (1 + 4)*h a multiple of 3?
False
Does 101 divide ((-2 + -1)/3)/((-88)/6520888)?
False
Suppose -4549 = -71*d + 12775. Is 6 a factor of d?
False
Is 52 a factor of 87925*(-15)/(-75) + -15?
False
Let v(t) = 411*t**2 + 162*t - 1767. Is 33 a factor of v(10)?
True
Let c = 28822 - 27706. Is c a multiple of 4?
True
Let y(n) = 24*n - 10*n - 11*n - 9. Let b be y(3). Suppose 2*a + 26 = k - a, -5*a - 25 = b. Is 9 a factor of k?
False
Suppose 2*r = 4*p + 10, -3*p - 23 - 2 = -5*r. Suppose 4*w - 5*t - 12 - 3 = p, 4*w - 2*t - 18 = 0. Suppose -3*i + w = -10. Does 5 divide i?
True
Let n(c) = -1749*c - 1385. Does 19 divide n(-6)?
False
Let a(p) = -21*p + 7. Suppose 0*z - 80 = -4*z. Suppose 2*q = -2*q - z. Is 11 a factor of a(q)?
False
Is 16 a factor of 333*(43338/27)/31?
False
Suppose 0*s - s + 515 = g, 0 = 5*s - 4*g - 2584. Let q be (63 - 63)*2/2. Suppose -2*k + 3*x + 276 = 0, -3*k - k - 3*x + s = q. Is k a multiple of 11?
True
Let a be (12/10)/(27/(-12465)*-1). Suppose 3*r = h - a, 4*h = 2*h + r + 1118. Is 20 a factor of h?
True
Suppose 0 = 4*o - n + 174158, 9*n - 43538 = o + 8*n. Does 61 divide 18/153 + o/(-119)?
True
Suppose 3 = 3*k + 2*x - 22, -4*x + 32 = 4*k. Let h = 22 - k. Suppose o = 2*m + 147 - h, -o + 3*m = -132. Is o a multiple of 23?
True
Suppose 2*r = -2*q - 2, -9*r + 5*q + 8 = -13*r. Suppose 0*t + 6144 = 4*t - 2*i, -5*i - 4601 = -r*t. Is 54 a factor of t?
False
Suppose 902 = 6*g + 878. Suppose -g*f - 4*u + 404 = 0, 0 = 5*f - 4*u - u - 535. Does 27 divide f?
False
Let j(d) = -12*d**3 + 33*d**2 - 148*d - 26. Does 21 divide j(-11)?
True
Let a(l) = -l**2 + 10*l - 8. Let z be a(12). Is 7 a factor of z/10*-1*(5 + 0)?
False
Let y(i) = 35 - 17*i**2 + 30*i - 3 - 2*i + i**3. Let z be y(15). Suppose -n = -z*t - 2*t + 641, -3*t = -n - 480. Is 17 a factor of t?
False
Let j be (-6)/3*2*-1. Let h(b) = -3*b**2 + 33*b + 8*b**2 - 12 - 36*b. Is 43 a factor of h(j)?
False
Suppose -4111530 = -82*o - 73*o. Is o a multiple of 31?
False
Let l(s) = 672*s + 5892. Is l(-6) a multiple of 9?
False
Let d(y) = 855*y**2 - 21*y - 52. Does 5 divide d(-2)?
True
Let u = 3292 + -1919. Is 110 a factor of u?
False
Let r = -2 + 7. Suppose -5*y - 7*b + 310 = -2*b, -r*b - 20 = 0. Does 13 divide y?
False
Let f = 657 - 577. Suppose f*y - 87*y = -1106. Is 43 a factor of y?
False
Suppose