- d + q = 0, 0*l + l + 5*d = -18. Does 7 divide l?
True
Let h(i) = 6*i + 33. Let o be h(-8). Let y(u) = u**3 + 13*u**2 - 31*u - 9. Let x be y(o). Does 15 divide x/21*1 - (-3039)/21?
False
Suppose 20*f = 17*f - 816. Let p = f + 396. Is p a multiple of 31?
True
Let h(i) = -524*i**3 - i**2 - 3*i - 3. Let o be h(-1). Let z = 44 + o. Is 27 a factor of z?
True
Let c = -2157 + 4339. Is 9 a factor of c?
False
Suppose y - 3 = 0, -32*x - y = -36*x + 56517. Is x a multiple of 90?
True
Let k be (4 + -1)*(42/(-9))/(-2). Suppose -5*v - 194 = -k*v. Let u = v - -1. Is 22 a factor of u?
False
Let r(p) = -p**3 + 56*p**2 + 31*p - 30. Is 30 a factor of r(45)?
True
Suppose -495*x - 72030 + 13549890 = 0. Is x a multiple of 12?
True
Let z be 5/(((-120)/9)/(-8)). Suppose 2*k - 2753 = -z*m, k + 3*m = 807 + 571. Is 14 a factor of k?
False
Suppose -53640 + 336558 = 50*d - 280582. Does 46 divide d?
True
Let w = -16 + 21. Let u(p) = 30*p + 135. Is 16 a factor of u(w)?
False
Is 3 a factor of (1 + 9)/(-53 - -65 - (-2302)/(-192))?
True
Suppose -55751 = -57*n + 35584 + 2715. Is 22 a factor of n?
True
Let h(t) = 2*t**2 - 33*t - 309. Does 2 divide h(-18)?
False
Suppose -5*x - 8241 = -4*s, 2*s - 3*s - 2*x + 2044 = 0. Suppose -s = -5*f + p, -4 = 2*p - p. Suppose 32*h = 34*h - f. Does 14 divide h?
False
Let h(p) = 5*p**2 - 15*p - 2. Let d = -361 + 377. Is h(d) a multiple of 29?
False
Suppose -2*b + 131 = b + k, 2*b - 92 = 4*k. Suppose b*l - 39*l - 1400 = 0. Does 22 divide l?
False
Let d(v) = 203*v + 4036. Is 8 a factor of d(-10)?
False
Let m = 418 - 188. Let h = -39 + 41. Suppose 5*w - m = h*w + 2*l, 0 = 5*w - 3*l - 384. Is 6 a factor of w?
True
Suppose 9 = 4*y + 4*m - 135, y = 2*m + 33. Is y/140 + 115/4 a multiple of 8?
False
Suppose -2*m + h + 1 - 5 = 0, -4*m - 28 = 3*h. Is (m - (-27752)/68) + 12/(-102) a multiple of 16?
False
Let d(v) = -v**2 - 16*v + 21. Let j be d(-17). Suppose 3*o + 0 = -j*c - 1, 2*o - 14 = c. Is (-266)/(-5) - 3 - c/(-20) a multiple of 25?
True
Let a(p) = p**2 - 19*p - 17. Let f be a(20). Is (-2316)/8*(f + 55/(-15)) a multiple of 37?
False
Let g(c) = 33*c**2 + 1 - 99*c + 93*c + 6*c**2 - 10. Is 18 a factor of g(-3)?
True
Suppose -3*i + 5*l - 2 = 2, 3*i + l - 26 = 0. Let a(p) = 3*p - 16*p**2 - p**3 + i*p**2 + 1 + 4. Is 17 a factor of a(-10)?
False
Suppose -3*w + 249083 = -b, 372*w + 415125 = 377*w - 5*b. Does 17 divide w?
False
Suppose 188*x - 9 = 185*x. Suppose -x*y = 4*d - 85, 17 - 48 = -y - 2*d. Is y a multiple of 2?
False
Let t(a) = 31*a**2 + 8*a + 19. Let x be t(-2). Suppose m + 2*j = 354, -m + x = 3*j - 227. Does 6 divide m?
True
Let o be 1*(-57)/(-9) - (-16)/(-12). Suppose 77 = 6*r - o*r. Is r a multiple of 77?
True
Suppose -22*d = -25*d - 75. Let c = d - -281. Suppose c = -20*u + 24*u. Is 27 a factor of u?
False
Let l = 27 + 9. Let k be 4/(-18) - (-16568)/l. Suppose -7*h + 2*h = -k. Does 33 divide h?
False
Let r be -6 + 54/8 + 6/(-8). Suppose r*h - 5*h + 5*d + 1225 = 0, 0 = -2*h - 5*d + 455. Is 12 a factor of h?
True
Let k = 85 - 61. Suppose -2*u + 98 - k = 0. Let m = -2 + u. Does 5 divide m?
True
Let b be 35/7*(3 + -2). Suppose -b*i + 111 = t, 4*t - 423 = t + 3*i. Does 68 divide t?
True
Let m be (-24)/(-132) - (-854)/22. Suppose 10*k - 11 = m. Is -5 + (k - (-43 - 1)) a multiple of 4?
True
Let n be 48/(-42)*28/8. Is n + 13 + -6 - -1 a multiple of 4?
True
Let m be 5 + 215/(-5) + 5. Let r(p) = -14*p + 155. Is 59 a factor of r(m)?
False
Let i(q) = -2*q**2 + 3*q**2 + 62 - 11*q - 59. Let a be i(10). Let n(c) = c**3 + 8*c**2 - 2*c + 1. Is 14 a factor of n(a)?
False
Let b = 18695 - 11903. Is b a multiple of 158?
False
Suppose 4*l = -w + 185, -w - 2*l = -151 - 38. Suppose -y = o - 61, 3*y + 11*o - w = 6*o. Is 2 a factor of y?
True
Suppose 20*y = -16*y - 9*y + 784890. Is 34 a factor of y?
True
Let p(l) = 375*l**2 + 26*l + 72. Does 98 divide p(-3)?
False
Let y be 4/(-2) - (-6 + (3 - -3)). Let w be y/(-4) + 15/(-10). Is (436/(-22) + 4/(-22))/w a multiple of 10?
True
Suppose 0 = -32*b + 202599 + 218393. Does 92 divide b?
True
Does 108 divide ((-432)/(-14))/(526/616735)?
True
Let u be 0 + ((-4)/(-1) - -4). Let i be (-804)/(-2 - 12/(-9)). Suppose u*g + g = i. Does 29 divide g?
False
Let t(p) = -4*p**2 + 443*p + 379. Is t(98) a multiple of 30?
False
Let l(s) = s**3 + 12*s**2 + 11*s + 19. Let v be l(-9). Suppose v*g = 176*g - 16926. Is 12 a factor of g?
False
Let y(d) = -27 - 2*d**2 - 5*d + 5*d**2 - d**2. Let u be 10/50 + 69*20/(-150). Is y(u) a multiple of 30?
True
Let j(w) = -3*w**3 + 4 + 542*w - 540*w + 2 + 13*w**2. Let s(g) = 4*g**3 - 14*g**2 - g - 6. Let h(i) = 3*j(i) + 2*s(i). Is h(9) a multiple of 12?
True
Let a = -21 - -33. Let u be (20/(-60))/(1/a). Is 11 a factor of (66/u)/(8/(-16))?
True
Suppose 2*o = -0*o + 4*z + 26, 5*z + 5 = -3*o. Suppose -4*h + 4*r = -3*h + 14, o*r = h + 18. Is h*1*((-18)/6 - -8) a multiple of 3?
False
Let q(t) be the third derivative of t**6/120 - 13*t**5/60 + t**4/6 + 11*t**3/2 - 23*t**2. Is q(13) a multiple of 4?
False
Let p be 2590/65 - (2 - (-56)/(-26)). Let f be ((-10)/p)/((-1)/12). Is 11 a factor of (-1)/f + (-215)/(-15)?
False
Let b = 363 - -15. Let p = -104 + b. Does 9 divide p?
False
Suppose 139*m = 4690160 - 148196. Is 28 a factor of m?
True
Let l(c) = -64*c**3 - c**2 - 11*c - 24. Does 30 divide l(-3)?
False
Suppose -5*d - 6405 = -j, 1054*d = -3*j + 1055*d + 19117. Does 13 divide j?
True
Does 15 divide 40/35 - 2 - (-1021202)/49?
False
Let w be 0/((-5)/(-20)*4)*-1. Is 38 a factor of 162 + -6 + -4 + w?
True
Does 22 divide ((-8236)/754)/(6/(-858))?
True
Does 37 divide ((-4872)/108)/((-10)/90)?
False
Let s(o) = 3*o**2 + 133*o - 159. Does 7 divide s(12)?
True
Let p = 111 + -112. Does 4 divide ((-86)/(-1))/(p + 3)?
False
Let v(h) be the second derivative of -h**6/80 - h**5/20 + h**4/2 + 7*h. Let z(p) be the third derivative of v(p). Is 12 a factor of z(-6)?
True
Let a(z) be the first derivative of 13*z**3/3 + z**2/2 + 6*z + 20. Is 14 a factor of a(-4)?
True
Suppose -7*x = -388 + 24. Suppose -5*h + 2*q - 134 = -2*q, 2*h = 2*q - x. Is 26 a factor of (-52)/(3 - h/(-9))?
True
Suppose 5*g - 2*y = 10*g - 121, -108 = -4*g + 4*y. Suppose -23*f + g*f - 722 = 0. Does 11 divide f?
False
Let c(a) = 39*a + 6. Let o be c(-2). Let k = o + 129. Is 19 a factor of k?
True
Let p(w) = -245*w - 1622. Does 34 divide p(-18)?
True
Suppose -14 = -4*b - 3*g, -3*b + 4*g - 1 - 1 = 0. Suppose -b*u + 3*f + 773 = -97, 4*f - 1288 = -3*u. Is u a multiple of 12?
True
Let i(u) = u**2 + 7. Let o be i(5). Suppose -o*p + 26*p = -1890. Does 35 divide p?
True
Suppose -2*x = 0, -80*c + 4*x = -84*c + 10400. Does 40 divide c?
True
Let l(o) be the first derivative of o**4/4 - o**3/3 + 2*o**2 + 38. Is 10 a factor of l(4)?
False
Let l = 101 - 97. Does 5 divide -5 + 10*(28 - l)?
True
Suppose 0 = -5*q - 5, -5*m + 11*q = 7*q - 7414. Does 6 divide m?
True
Let h be 1/(-9)*(17 + -332)/7. Let k = -327 + 474. Suppose -j = -m - 0*j + 81, -2*m + h*j = -k. Is 18 a factor of m?
False
Suppose -3*g = -3*n - 9, -5*n + 3*n - 6 = 2*g. Suppose 5334 - 969 = 45*m. Suppose g = 5*i - 193 - m. Is i a multiple of 14?
False
Let z(i) = -26*i + 122. Let m be z(-16). Suppose p + w = 437, -1659 - m = -5*p - w. Does 40 divide p?
True
Let a(m) = -m**2 + 5*m + 9. Let c be a(4). Suppose 1779 = c*p - 4253. Is 3 a factor of ((-2)/7 - p/(-56)) + 1?
True
Let v(x) be the second derivative of -x**3/6 + 11*x**2/2 + 171*x. Let c = 4 - 7. Is 3 a factor of v(c)?
False
Let m be 14 + (4 + -4 - 4). Let t(x) = -4 + m + 9*x + 9 - 4. Does 14 divide t(5)?
True
Let o(m) = m**3 - 4*m**2 + 4*m - 7. Let d be o(3). Let q be (1/3)/(d/(-24)). Suppose -160 = -0*h - q*h. Does 16 divide h?
True
Let f be 3/(-7) + ((-1204)/49 - -3). Let z(p) = p**3 + 22*p**2 + 2. Let a be z(f). Suppose -h + 165 = -a*k, -62 + 207 = h + 3*k. Is h a multiple of 16?
False
Is 20 a factor of -6*(285*68)/(-6)?
True
Suppose -13*p - 886 = -21855. Suppose 6 = -3*h, 5*b + h + p = -3*h. Let n = -176 - b. Is n a multiple of 15?
False
Let w be -1 + (0/(-7))/(-3). Is (w/4)/(1/(-472)) a multiple of 33?
False
Let c(i) = -6*i**2 - i + 4. Let m be c(-2). Is 27 a factor of (183/2)/(153/m + 9)?
False
Let v(g) = -2*g**3 + 2*g**2 - 2*g + 3. Let m(a) = a**3 - 1. Let f(u) = -5*m(u) - v(u). Let q be f(2). Let l = 31 - q. Does 17 divide l?
False
Let p(g) = 11*g**2 + 83*g - 14