6637, -x = y - 1325. Is 98 a factor of x?
False
Let f(s) = 39*s + 2*s**3 - s**3 - 20 + 188*s**2 - 209*s**2. Does 11 divide f(20)?
False
Suppose 0 = 5*q - 7*q + 1530. Suppose -t + 134 = -3*s - 126, 0 = 3*t - 4*s - q. Suppose -t - 209 = -4*y. Is y a multiple of 6?
False
Let o(y) = -y**3 + 3*y**2 + 13*y + 3. Let d be o(-3). Let g(s) = s + 13. Is 8 a factor of g(d)?
False
Let j = -2188 + 4571. Is j a multiple of 27?
False
Suppose -27 = 7*b + 36. Is 5 a factor of (-413 - -2)*3/b?
False
Let f = -238 + 390. Does 12 divide (-550)/20*f/(-10)?
False
Let q = 53 + -47. Suppose 3*w = -2*c + 1327, q*w + 3*c = w + 2211. Is 21 a factor of w?
True
Let u(i) = -4 + 11*i**2 + 24*i**2 - 13*i**2. Does 26 divide u(4)?
False
Suppose -3*g - 4*q = -9, -9*q + 4 = -g - 8*q. Is (4 + (g - (-12)/(-6)))*400 a multiple of 40?
True
Let g(d) = -2*d**3 - 3*d**2 + 10*d - 91. Let m(n) = -2*n**3 + n. Let f(a) = -g(a) - 3*m(a). Is f(5) a multiple of 30?
False
Suppose -v + r + 7435 = 0, 0 = -v - 2*r + 5916 + 1540. Is v a multiple of 61?
True
Let w = -552 + 540. Let k(q) = q**3 + 14*q**2 - 8*q + 16. Does 8 divide k(w)?
True
Suppose 0 = c + 14*y - 11*y - 41552, -4*y = 4*c - 166264. Is 124 a factor of c?
False
Let i(a) = 6*a**2 - 5*a + 466. Does 26 divide i(0)?
False
Let h(g) = -g**3 - 9*g**2 + 21*g + 11. Let m be h(-8). Let k = -124 - m. Does 10 divide k?
False
Is ((-42067)/(-1610) + 3/42)/(2/70) a multiple of 131?
True
Suppose -i = -2*i + 4*g + 311, -5*i + 1580 = 5*g. Let f = -196 + i. Is f even?
False
Is (-292060)/(-136) + 2/(-4) a multiple of 50?
False
Let q(h) = -h**2 + 10*h + 43. Let t be q(-3). Suppose -x - t = -2*x, -5*p = x - 784. Does 26 divide p?
True
Let y(x) be the first derivative of 5*x**4/24 + 85*x**3/3 + 19*x**2 - 7. Let q(a) be the second derivative of y(a). Does 34 divide q(0)?
True
Let f(o) = -o**3 - 32*o**2 - 317*o - 36. Is f(-16) a multiple of 11?
False
Is (10 + 15/(-30))*126 a multiple of 9?
True
Suppose 2*x + 5*k + 11 = -0*k, x + 4 = -2*k. Suppose -t - 38 = -4*t + j, 5*j + 8 = 2*t. Suppose x*m - t = 20. Does 5 divide m?
False
Suppose 0 = -11*s + 6*s - 15, 2*s = 5*t - 146. Suppose 11*o - 4*o - t = 0. Suppose 4 = -2*f + 4*b - o, 5*b = 5*f. Is 4 a factor of f?
True
Let c = 3373 - -4060. Is c a multiple of 4?
False
Let s(q) = -q**2 + 9*q - 8. Let f be s(4). Suppose f*u - 64 = 8*u. Suppose -3*m = -2*m - u. Does 8 divide m?
True
Suppose 12317*t - 330455 = 12274*t. Is t a multiple of 7?
False
Let t be 15*15/(-25)*1. Let x be -14*26/4*-1. Let c = t + x. Is 6 a factor of c?
False
Suppose -2*y = 5*o - 4782, -2*o + o - 9608 = -4*y. Suppose -y = -4*q - 105. Is 18 a factor of q?
False
Suppose -2*w + 17 = w + 2*f, 3*w - 5*f + 11 = 0. Suppose 6*g - 394 = 2*g + 5*s, 0 = -2*g - w*s + 186. Does 12 divide g?
True
Let w(x) = -53*x**2 + 7*x - 3. Let z be w(2). Let p = 279 + z. Does 17 divide p?
False
Suppose 5*t - 53 - 1252 = 0. Suppose 0 = -4*u - 0*u - 3*a + 273, 4*u = a + t. Let b = u - -34. Is 10 a factor of b?
True
Let w(r) = 30*r**2 - 24*r + 3. Let i be w(7). Let t = -2147 + i. Does 14 divide 5/(-30)*t - (-2)/(-6)?
True
Suppose 4*u + 6713 = 3*f, 3*f - 6745 = 17*u - 21*u. Is 185 a factor of f?
False
Let t(x) = 6*x**2 - 12*x + 4. Suppose 14*c - 50 = 19*c. Let z be t(c). Suppose 0 = -m + f + 182, -m = -5*m + 5*f + z. Is m a multiple of 31?
True
Let n = 11593 - 8054. Is n a multiple of 7?
False
Let s(a) = 27*a**2 - 17*a. Let u be s(-3). Suppose -3674 = -4*d - u. Does 28 divide d?
False
Does 15 divide (-7 + 180/27)/(1/(-9)) - -6822?
True
Suppose 5*z + 2*c = -c + 12, z = 3*c + 6. Is (z - -5)*230/8 a multiple of 23?
True
Suppose -2 = b, 0*h + 2*b = 2*h - 52. Suppose h*d - 79168 = -40*d. Is 79 a factor of d?
False
Let n(c) be the second derivative of -11*c**3/3 - 187*c**2/2 + 8*c - 5. Is 15 a factor of n(-27)?
False
Let p(s) = 2*s - 26. Let x be p(17). Suppose -686 = -5*c - 2*i, 12*i = 8*i - x. Let o = c - 94. Is 12 a factor of o?
False
Let m(x) = -x**2 + 9*x - 15. Suppose -22*c - 8 = -24*c. Let p be m(c). Suppose 0*l + 2*q = -p*l + 173, -4*l - 3*q + 144 = 0. Is 7 a factor of l?
False
Let g = -3388 + 4364. Is 11 a factor of g?
False
Let a be (-45)/6*36/(-10). Suppose -8*v = -11*v + a. Is (21/2)/(v/24) a multiple of 19?
False
Suppose -3*p - 48 = -3*w, -4*p - 74 = -4*w - 2*p. Let v = -23 + w. Is 10 a factor of (-15)/10*v - -67?
True
Does 31 divide 64733/6 + 4/(-144)*2*15?
True
Suppose 12*z - 103582 = 12237 + 10985. Does 200 divide z?
False
Suppose 0 = -9*i - 27*i + 956615 + 179221. Is i a multiple of 34?
False
Let h(x) = x**3 - 46*x**2 - 85*x - 703. Is 76 a factor of h(50)?
False
Suppose 2*l + 4 = 2*k, 0*l + 10 = -5*l. Suppose 3*j - j - 894 = 3*p, j - p - 445 = k. Does 63 divide j?
True
Does 42 divide (8453760/45)/(-32)*-9?
True
Suppose -1288*j - 22872 = -1312*j. Is j even?
False
Let d(k) = 2*k**2 + 5*k + 6. Let p be d(-7). Let c = -71 + p. Let s(h) = -47*h + 10. Is 16 a factor of s(c)?
False
Is 5 + (826/22)/(-7) - 1060760/(-22) a multiple of 28?
True
Suppose 0 = 400*j - 9196263 - 2029737. Does 75 divide j?
False
Let y(q) be the second derivative of -q**4/4 + 3*q**3/2 - 15*q**2/2 + 2*q. Let g be y(4). Let r = 50 + g. Is r a multiple of 8?
False
Let v(x) = -x**3 - 4*x**2 + 6*x + 10. Let m be v(-5). Suppose -m*d + 10*d = 970. Let o = -41 + d. Is o a multiple of 31?
False
Let m(v) be the second derivative of -5*v**3/6 + 5*v**2/2 + 11*v. Let n be m(3). Is (-44)/(1/(-2) - 1/n) a multiple of 13?
False
Suppose 3*k = -k + 20. Suppose -k*g = 2*q + 15, -g = q - 0*q. Suppose -224 = -5*y - 5*m + 41, -5*y + q*m + 215 = 0. Is y a multiple of 16?
True
Let l = -5550 + 8197. Does 6 divide l?
False
Let u be 7/((-28)/(-60)) - 4. Let c = u - 9. Suppose 5*t = -c*q + 11, 13 + 13 = 2*q + 2*t. Is 18 a factor of q?
True
Suppose -o = -332*i + 333*i - 737, -4*o - 5*i + 2949 = 0. Does 8 divide o?
True
Suppose -14720 = 33*k + 31*k. Is 27 a factor of (k/3 - 0)*7992/(-1110)?
False
Is (-290)/(-10) - 17 - -38136 a multiple of 17?
True
Let o be 5 + ((-4)/3)/((-1)/3). Is (-2 - -14)*((-1782)/(-4))/o a multiple of 9?
True
Suppose 127*r = -125*r + 245*r + 23275. Does 30 divide r?
False
Let a be (3/(9/(-15)) + 5)*-1. Suppose a = -5*b - 4*b + 3204. Is 14 a factor of b?
False
Is 4 a factor of (1 - (-63)/2)*(-28 - 35626/(-235))?
False
Suppose 242*i - 4091300 = -73*i + 704575. Is i a multiple of 15?
True
Suppose 120*p - 123*p = 5*c - 4393, 4*c = p - 1470. Does 15 divide p?
False
Let g(v) = 2*v**3 - 3*v**2 - 4*v - 5. Let b be g(4). Suppose 8*x - 643 + b = 0. Does 9 divide x?
False
Let v = 10449 + 255. Is 23 a factor of v?
False
Let y = -3991 - -9662. Does 12 divide y?
False
Suppose 52*p + 93740 = 161*p. Is 2 a factor of p?
True
Let u = 1 - -4. Suppose 0 = -z - u*d + 25, d - 74 = -2*z + 3*d. Is (-4 - z/(-5))*1 a multiple of 3?
True
Let u = 12222 - 11241. Let h(p) = 4*p - 4. Let i be h(5). Suppose i*v - 3301 = -u. Is v a multiple of 29?
True
Suppose 3*z + z = -2*l, -9 = -4*l + z. Suppose -2*v - 15 = -5*x + 6, x - l*v - 9 = 0. Suppose -4*c + 4 = -16, -3*c + 42 = x*m. Is 3 a factor of m?
True
Let c be 0*(-4 + 5 - 0). Suppose 6*g - 684 + 54 = c. Is 88 a factor of g?
False
Let u(j) = -2106*j**3 - 3*j**2 - 7*j - 5. Is u(-1) a multiple of 33?
False
Let h be (-658)/(-112) + 1/8. Suppose -5*b = 5*r - h*r - 2054, -2*r - 8 = 0. Is b a multiple of 11?
False
Is ((-6048)/(-315))/(6/140) a multiple of 4?
True
Suppose -2*a = -m + 27392, 138*m - 134*m - a = 109575. Does 52 divide m?
False
Let j be 1095/(2 + -4 + 3). Let w = -660 + j. Suppose -5*r + w = y + 4*y, 4*y - r - 323 = 0. Does 29 divide y?
False
Let q = 35251 - 16375. Is 26 a factor of q?
True
Suppose 62 = 22*m - 48. Is (-1 - (9 + m))*(-1 + -15) a multiple of 5?
True
Let j = 3784 - -4699. Is 60 a factor of j?
False
Suppose 0 = h + 41 - 2. Let g = -41 + h. Let z = g + 110. Does 3 divide z?
True
Suppose -22341 = -14*g + 11*g - 5*b, -3*g + 6*b = -22275. Is g a multiple of 67?
True
Let b = -4697 - -10097. Is b a multiple of 9?
True
Let s = 2706 + -1240. Suppose -s - 1478 = -23*z. Is z a multiple of 7?
False
Suppose -18*t = -21*t + 3*w + 327, 0 = -5*t - w + 503. Is 3 a factor of t?
True
Let d = 235 - 367. Does 21 divide (-9)/(-9)*(1 - d)?
False
Suppose 5*m = -3*p + 34494, -1672 + 8570 = m + p. Does 92 divide m?
True
Suppose -27*d + 576305 + 837415 = 0. Is 52 a factor of d?
False
Suppose 0 = 