- 5*h = 254, -3*h = -x - 8*h + 76. Suppose 11*q = x + 396. Is 21 a factor of q?
True
Let g = -39 - -40. Let d(f) = 38*f**3 - f**2 - f + 1. Is d(g) a multiple of 12?
False
Let j = -292 + 312. Suppose 2614 = j*h - 266. Does 10 divide h?
False
Let o(s) = 22*s**2 + 81*s - 1454. Does 23 divide o(39)?
True
Suppose 0 = v - 3*b - 35, -5*b + 80 + 26 = 4*v. Suppose 0 = -y + 2*i + 1524, v*i - 25*i = -5*y + 7592. Does 19 divide y?
True
Let k(w) = -w**3 + 6*w**2 - 2*w. Let a be k(6). Suppose -10*f = 13*f + 1150. Let n = a - f. Does 13 divide n?
False
Let j(r) = -r**2 - 2*r + 17. Let u be j(5). Let z = -15 - u. Suppose -z*c + 324 = 3*c. Is c a multiple of 18?
True
Let m = 28365 - 5451. Does 18 divide m?
True
Let a(j) = j + 31. Let l be a(-22). Suppose -39 = -l*n - 4*n. Suppose -5*g + z = -n*g - 158, -g + 4*z = -86. Does 7 divide g?
False
Suppose -4*y = -4*j + 24424, j + 4*y - 4883 - 1193 = 0. Is 61 a factor of j?
True
Let f be (-17)/(-68) - 227/(-4). Suppose p - 2 = 0, -3*s - 2*p + 67 = -f. Is s a multiple of 4?
True
Let k(b) = -5*b + 21. Let q(r) = 5*r - 21. Let h(v) = 6*k(v) + 4*q(v). Does 44 divide h(-9)?
True
Let l(v) = 43*v**2 - 89*v - 672. Does 130 divide l(-10)?
False
Let t(s) = -s**3 + 4*s**2 - 2*s + 9. Let d be t(4). Let j(g) = -4*g + d + 4*g + 3*g + 7*g. Is j(6) a multiple of 23?
False
Suppose -p + 160 = -6*p. Suppose -134 - 25 = -8*i + 153. Let d = p + i. Is 2 a factor of d?
False
Suppose 24*z = 8134 + 11090. Is 5 a factor of z?
False
Does 5 divide -8*-3*(-50)/(-20)?
True
Suppose 0*l + 136 = 5*l + p, 2*p = 2. Let z = l - 25. Suppose 4*b - 530 = -3*d - 66, 3*b = z*d - 315. Is d a multiple of 13?
True
Let i(q) = q**2 - 5. Let f be i(3). Suppose -w = -h + 276, 304 - 19 = h - f*w. Is h a multiple of 13?
True
Let a be 10/(-2) - 2*(-8 + 4). Suppose 0 = 17*h - 14*h - a*r - 1650, -2*h + 1102 = -4*r. Does 14 divide h?
False
Suppose 0 = -3*v + 12*u - 7*u + 3203, 0 = 3*v - 3*u - 3201. Does 6 divide v?
False
Let z(i) = i**2 - 3*i + 7. Let q be z(0). Suppose 3*c - q*c + 2*f = -258, -c + 3*f + 77 = 0. Let t = c + 0. Does 31 divide t?
True
Suppose -4*v = -412 + 144. Let l(y) = -135*y + 53*y + 4 + v*y. Is l(-6) a multiple of 25?
False
Let a = -18057 + 38739. Is a a multiple of 18?
True
Suppose -6*x + 7*x = 15. Let h be (3 - x)*(-3)/9. Suppose -4*c + 5*c + 1 = 0, h*l = 4*c + 184. Does 15 divide l?
True
Let u(h) = 92*h**3 + 7*h**2 + 7*h + 6. Let n(t) = -t**3 + t**2 + t + 1. Let o(d) = 5*n(d) - u(d). Suppose -11362*v + 11399*v + 37 = 0. Is o(v) a multiple of 12?
True
Suppose 71*n + 211560 = 177*n + 238*n. Is n even?
False
Suppose -104 = y + 9. Let r = -75 - y. Does 9 divide r?
False
Let v be (-5 + 7)/((-3460)/(-866) - 4). Let s = v - -613. Is s a multiple of 3?
True
Suppose 2*x + 5214 = 7*x - r, -3*r - 12 = 0. Let z be 11/(-55) + x/10. Suppose -8*j + z = 5*j. Is 8 a factor of j?
True
Let x be (-8)/(-4) + -52 + 4. Let a = x + 47. Is a/((-655)/(-650) + -1) a multiple of 26?
True
Suppose 2*s - 3*c - 4345 = 0, 6*s + 2*c = 3*s + 6537. Suppose -7*g + 833 = -s. Is 10 a factor of g?
True
Let r(k) = 58*k - 286. Let w be r(13). Let j = -354 + w. Is 4 a factor of j?
False
Let i be 2006 + 3*32/(-24). Suppose 2*t + 2*b - 970 = 0, -5*t + 403 = -5*b - i. Is 3 a factor of t?
True
Let n = 867 + 3084. Is 95 a factor of n?
False
Suppose j + 3 = 40. Let p = j - 33. Suppose a + p*v - 67 = 73, 0 = -4*v + 20. Is 24 a factor of a?
True
Let n = 20 + -20. Suppose -d - 10*d + 3300 = n. Does 30 divide d?
True
Let r(l) = 2*l**2 - 48*l - 5. Let w be r(13). Let p = -91 - w. Is 11 a factor of p?
False
Is 47 a factor of ((-2)/6)/(17/(-102))*(-30010)/(-4)?
False
Let a(m) = 37*m + 1017. Does 9 divide a(18)?
True
Let r(j) = 782*j + 154. Does 22 divide r(11)?
True
Let q(j) = 11 + 26*j + 11 + 75 - 6*j**2. Let p(i) = -2*i**2 + 9*i + 32. Let w(r) = 8*p(r) - 3*q(r). Is w(10) a multiple of 15?
True
Let a be -5 + (32/1 - (11 - 12)). Suppose a*c - 33*c + 3630 = 0. Does 22 divide c?
True
Let q(f) = 4*f**3 - 30*f**2 - 17*f - 5. Let k(r) = 3*r**3 - 29*r**2 - 18*r - 6. Let s(x) = 5*k(x) - 4*q(x). Let l be s(-24). Let t = 148 + l. Does 6 divide t?
True
Let h(y) = 389*y**2 - 65*y + 133. Is 20 a factor of h(2)?
False
Suppose -85 - 35 = 3*w. Let c be w/180 - 868/(-18). Let n = -12 + c. Is n a multiple of 18?
True
Let p be -2*52/(-40) - 3/5. Let l be (p - 1)*(-6)/(24/(-28)). Suppose -2*s + l*s + 3*x - 461 = 0, 5*x - 283 = -3*s. Is s a multiple of 9?
False
Let t(r) be the second derivative of 36*r**3 + r**2 - 10*r. Let k be t(-1). Let j = 317 + k. Is j a multiple of 20?
False
Suppose u + 0*x = -x + 1221, 0 = 5*u - 3*x - 6097. Is 20 a factor of u?
True
Let y = -33978 - -34005. Is 7 a factor of y?
False
Let t be (((-224)/(-35))/8)/(2/165). Suppose 85*w = 87*w - t. Is w a multiple of 3?
True
Let l be 2 - (-4 - -12) - 4/(-1). Is (76/(-57))/(l/225) a multiple of 3?
True
Let z(p) be the first derivative of -4*p**3/3 + 11*p**2 - 10*p - 19. Let n(t) = 3*t**2 - 15*t + 7. Let k(x) = 7*n(x) + 5*z(x). Does 4 divide k(3)?
False
Let y(b) = 429*b**2 + 1. Let t be y(1). Let h be -1*(264 - (4 + (3 - 8))/1). Let l = h + t. Does 11 divide l?
True
Suppose 16 = 83*t - 81*t. Suppose n - t - 58 = 0. Is 3 a factor of n?
True
Suppose -59 = 7*n - 45. Does 4 divide 675/n*(28/(-6) + 4)?
False
Let h be 26/91 - ((-19)/7 - 1). Suppose -4 - h = 4*q, -4*o + 2*q - 140 = 0. Is ((-9)/(o/272) - -1) + 1 a multiple of 7?
True
Is 57 a factor of (-145350)/12*(-48)/40?
True
Let k = -7777 - -22167. Is 10 a factor of k?
True
Let u be (-2)/9 - (-5495)/63. Suppose 0 = -p - 0*x + 4*x + u, -4 = x. Let f = p + -46. Does 10 divide f?
False
Let g = 4927 + 1891. Is g a multiple of 52?
False
Suppose 0 = 4*z + 4*d - 41 + 1, -3*d = -2*z. Let r be ((-6)/10)/(z/(-390)). Suppose 0 = 4*x - x - r. Is x a multiple of 2?
False
Suppose 0 = -4*f + d + 64829 - 20242, 5*f - 55721 = -3*d. Is f a multiple of 58?
False
Let c be (-980)/(12/(-3)) - 2. Suppose -3*r = -b - c, -2*r = -0*r - 4*b - 162. Is 27 a factor of r?
True
Suppose 0 = 3*i - 3*z + 621, i + 0*i + 4*z = -217. Let x = -55 - i. Does 22 divide x?
True
Suppose 0 = -16*d + 7*d - 81. Suppose -2*u = -6*u + 324. Let v = d + u. Does 8 divide v?
True
Suppose -16476 = -21*q + 6624. Suppose -g + q = 4*y, 2*y + 5*g - 1360 = -3*y. Is 9 a factor of y?
False
Is 19 a factor of 46 + -32 + (5001 - -1)?
True
Let l(f) = -2*f**3 + 20*f**2 + 16*f + 9. Let d(o) = -o**3 + o**2 + 1. Let n(h) = d(h) - l(h). Let u be (-72)/8*480/(-216). Is 6 a factor of n(u)?
True
Suppose 3 = y + m - 5, 0 = 3*y - 2*m - 14. Suppose 913 + 1709 = y*s. Does 41 divide s?
False
Let b be 2/(-4 + (-495)/(-123)). Let f = b - 80. Suppose 3*i = -z + 62, z - 7 = -f. Is i a multiple of 2?
False
Let y(b) = 25*b**2 - 18*b + 289. Is y(-17) a multiple of 23?
True
Let q(s) = 3*s**3 + s**2 + 11*s + 1066. Is 3 a factor of q(0)?
False
Let l(x) = 3*x + 2. Let m(z) = z + 1. Let u(c) = -l(c) + 4*m(c). Let y be u(2). Suppose o + 0 + 5 = h, y*h - o - 23 = 0. Is 2 a factor of h?
True
Suppose 0 = 2*v + 4*q - 578, 0*v - 578 = -2*v + 4*q. Suppose v = 5*l - 281. Does 18 divide l?
False
Let w = -188 - -34. Let n = w - -162. Is 5 a factor of n?
False
Does 21 divide (4/12)/(4/12828)?
False
Suppose -4*m + 0*c - 2551 = 5*c, -631 = m - c. Let y = 902 + m. Is y a multiple of 18?
False
Suppose -2*r + 15 = 3*n, 5*r - 3*n - 3 - 3 = 0. Does 27 divide (18/24)/(3369/(-1124) + r)?
False
Suppose -7*v = -3*g - 72162, -4*v - 2*g = -v - 30920. Is 12 a factor of v?
True
Suppose -385*q - 325600 = -197*q - 204*q. Is q a multiple of 37?
True
Suppose 19*i - 22681 = -3757. Is i a multiple of 12?
True
Let u(a) be the second derivative of a**5/20 - 5*a**4/2 + 11*a**3/3 - 14*a. Let l(k) be the second derivative of u(k). Is l(19) a multiple of 23?
False
Let c(k) = -6*k**3 - 2*k**2 - 2*k - 1. Let a be c(-1). Suppose 1722 + 775 = 4*b + w, 3124 = a*b + 4*w. Does 39 divide b?
True
Suppose -2*i - 28*i = -1920. Suppose i*h = -o + 63*h + 646, -2 = 2*h. Does 13 divide o?
False
Let y(f) = f**3 + f. Let v(x) = 3*x**3 - 9*x**2 + 4*x + 42. Let t(z) = v(z) + y(z). Is t(6) a multiple of 66?
False
Suppose -57*s + 2193 = -60*s. Let r = s + 1087. Is r a multiple of 19?
False
Does 4 divide 51541/199 - (-6 - -2 - -2)?
False
Suppose 21*x = 45*x - 18*x - 15018. Is x a multiple of 85?
False
Suppose 3*n - 6 = 0, 2*n = 2*g - 0*n + 556. Let l =