68/(-15) a multiple of 19?
False
Let h = -42 - -33. Let m be 2 - h - (-1 - -3). Suppose 0 = k - m*k + 336. Is k a multiple of 21?
True
Let z(i) = -23*i + 264. Let m be z(5). Let s = m + 61. Is 42 a factor of s?
True
Let m(s) = -127*s**3 - 5*s**2 - 3*s - 24. Is m(-4) a multiple of 41?
True
Suppose -15717 = 3*k - 54339. Does 68 divide k/14 + (-180)/315?
False
Let m(t) = -3*t + 2508. Is 26 a factor of m(-21)?
False
Is 5 a factor of -2 - (-7 + 3199)/(-3)?
False
Let p(q) = 258*q + 1674. Is p(15) a multiple of 77?
True
Suppose 4*c - 36 = -2*u, 2*u = -3*c + 7*u + 40. Suppose c = -5*y, k - 5*y = 190 + 11. Is k a multiple of 26?
False
Let b(p) = p**2 + 2*p + 5. Let c(f) = 13*f + 1. Let r(v) = 4*v. Let l(n) = 4*c(n) - 14*r(n). Let o be l(2). Is 3 a factor of b(o)?
False
Let p be (-18)/24 - 942/(-8). Let j = p - -689. Suppose 5*q = 2*t + j, 4*q - 3*t = 2*t + 655. Is q a multiple of 40?
True
Suppose -223*v + 208*v + 74205 = 0. Is v a multiple of 51?
True
Let k be ((-11)/(-30) + 118/(-590))*(1 + -7). Let x(o) = o**2 - 5*o - 2. Let d be x(4). Is 71/1 + (k - d) a multiple of 47?
False
Let b be 11/(-33) - (5/3 + -2). Suppose 2*p - 5*p + t = -448, b = -3*p - t + 452. Does 6 divide p?
True
Let v be (3/2)/(2*(-12)/512). Let b = 54 + v. Does 13 divide b?
False
Let h(t) = 45*t + 224. Is h(134) a multiple of 106?
True
Let n(x) = x + 49. Let g be n(-24). Suppose -g*j + 938 = -2187. Is j a multiple of 19?
False
Is (5 - -4144)/(15 - 14) a multiple of 7?
False
Let u(l) = 2*l**2 - 7*l - 20. Let o be u(-2). Let b = -8 + 42. Let p = o + b. Is p a multiple of 18?
True
Let v(i) = -6*i**3 + 106*i**2 - 3*i - 39. Is 13 a factor of v(17)?
True
Suppose -18*y + 198923 = 73*y - 815090. Is y a multiple of 18?
False
Is (224/42 - 0)*216 a multiple of 8?
True
Suppose 3373 = -19*m + 447. Let p = -149 - m. Suppose 46 + 26 = 2*q + 5*v, -4*q + p*v = -174. Does 5 divide q?
False
Suppose -6*s = -5*s - 10. Let n be ((-325)/s - -1)*-6. Suppose 0 = -3*v + t + 132, -n = -4*v - 5*t - 13. Is v a multiple of 22?
True
Let m = 10278 - 7116. Is m a multiple of 34?
True
Let r(y) = -2*y**3 + 7*y**2 - y - 10. Let c be r(-3). Suppose -108*n - 60 = -c*n. Is 15 a factor of n?
True
Suppose 95*d = 35*d + 643620. Is 4 a factor of d?
False
Let w(s) = -s**3 + 7*s**2 + 10*s - 12. Let i be w(8). Suppose 0 = -5*k + i*k. Suppose -c + 57 + 12 = k. Is 37 a factor of c?
False
Let z = -2620 - -7677. Is 12 a factor of z?
False
Let d = 35585 + -7130. Does 35 divide d?
True
Let d be 0 - (2*-5)/1. Suppose -2*k + 2*l + d = 0, 7*k - 3*k - 2 = -5*l. Suppose 5*y - 400 = 4*p, -2*y - k*p = -3*y + 69. Is y a multiple of 27?
False
Suppose 363*n = 366*n - 12. Suppose 271 = 3*h + 5*d, 0 = -h - n*d + 74 + 14. Does 44 divide h?
False
Suppose 0 = 7*v - 4*v. Suppose s - d = 198, 2*s + 4*d - 359 - 49 = v. Let t = -104 + s. Is 16 a factor of t?
True
Let p(t) = 97*t**2 - 3*t - 2. Let c = 41 - 38. Suppose i - 5*n - 25 = -6, -2*i - 14 = c*n. Is 29 a factor of p(i)?
False
Let y = -27539 - -12398. Is (-15)/20 - y/12 a multiple of 13?
True
Let q(j) = -j**3 + 18*j**2 - 16*j - 46. Let n be q(14). Let w = n + -271. Does 32 divide w?
False
Suppose -5*c + 17 = 3*t - 42, 3*t - 51 = 3*c. Suppose 0*o = -6*o + t. Suppose -2*l - 2*b + 49 = o, 3*l - b - 49 = 0. Does 18 divide l?
True
Suppose -q - 5*n = -127, -5*q + q + 583 = -5*n. Let m = 385 + q. Is 36 a factor of m?
False
Let t = 7214 - 4654. Does 2 divide t?
True
Suppose 0 = 24*d - 55*d + 754974. Is d a multiple of 27?
True
Suppose -2334*l - 101610 = -2352*l. Is 16 a factor of l?
False
Let d(u) = 356*u**2 + 136*u + 908. Is 58 a factor of d(-7)?
True
Suppose -5*g + 49 = o, -4*g + 6 + 30 = 4*o. Suppose -7*u = -2*u - g. Suppose -b + 0 = u, 0 = 3*m - 2*b - 151. Is m a multiple of 12?
False
Let d = 5268 + -231. Suppose 1257 = -7*z + d. Is z a multiple of 54?
True
Suppose 0 = 4*t - 2*g - 26048, 12*t - 2*g - 96179 = -18035. Is t a multiple of 16?
True
Is (404480/(-50))/(-16)*20/2 a multiple of 16?
True
Let v(d) be the first derivative of -51*d**2/2 + 11*d - 28. Let o be v(-4). Suppose o = -3*q + 8*q. Does 11 divide q?
False
Is (14 - 2780/60)*-54 a multiple of 291?
True
Let s = 5 + -3. Suppose 0 = -s*y - 14 + 16. Is (3/15)/y - 18/(-10) even?
True
Suppose -4*d - 5*s + 13900 = 0, 3*d - 2*d = 4*s + 3496. Suppose 7*n + d = 17*n. Is 23 a factor of n?
False
Let w = 6508 + -4248. Suppose -2*b + 3*t = -1132, -3*t - w = -4*b + 2*t. Does 28 divide b?
True
Let g(a) be the second derivative of 13*a**3/3 - 241*a**2/2 + 203*a. Does 109 divide g(30)?
False
Suppose 3*m + 7 + 1 = 4*u, 3*u = m + 11. Suppose -u*y - 20 = 0, 2*n - 3*y = 5*n - 1104. Is 31 a factor of n?
True
Suppose -6*u + 16*u - 234740 = -34*u. Does 12 divide u?
False
Let o(a) = 23*a**2 - 120*a + 120. Let j be o(1). Let v be 78/4 + (-2)/(-4). Suppose j*s - 114 = v*s. Is 4 a factor of s?
False
Let z = -663 + 960. Suppose 8*f + 3*r = 3*f + 1537, 2*r = f - z. Is f a multiple of 10?
False
Let p be (1 - (-12)/(-10)) + 6246/30. Let b be (p + 3)*(3 + (2 - 2)). Suppose -297 = -6*u + b. Is u a multiple of 44?
False
Suppose -5*n - 12*v = -8*v - 11176, -v = -2*n + 4473. Let z = -1170 + n. Is z a multiple of 41?
True
Let b = 5079 + -2865. Is b a multiple of 27?
True
Let t be ((-24)/28)/(12/(-42)). Suppose 4*s - 742 = -2*v, -s + t*v + 190 = -v. Is s a multiple of 55?
False
Suppose -48*f - 238 = -z - 43*f, 238 = z + 4*f. Suppose 5*c - 1230 = -3*r, 2*c - z = c + r. Does 27 divide c?
True
Let i(j) = 25*j - 4*j**2 + 48 - 95*j - 19. Is i(-14) a multiple of 27?
False
Is (-71967)/(-4) + (-2 - 2*(-50)/80) a multiple of 110?
False
Let d = -1185 + 18319. Is 71 a factor of d?
False
Let f(s) = s**2 - 20*s + 6. Let j be f(-10). Let n = -68 + j. Does 7 divide n?
True
Suppose 12 - 1 = -11*m. Let q be ((-1)/2)/(0 + m/10). Is 3 + (-246)/(-5) - 1/q a multiple of 13?
True
Let s(d) = 2*d + 53. Let i be s(-29). Is (-975)/26*(26/i + -2) a multiple of 45?
True
Let s = -200 + 258. Suppose g + 5*t - s = 87, -2*g - 5*t = -280. Is 15 a factor of g?
True
Suppose -3*u - 4*g - 14 = 0, 0 = -2*g + g - 5. Let t(o) = 31*o**2 - 7*o - 24 - 10 - 50*o**u + 29*o**2. Does 48 divide t(-6)?
False
Let y = 42 + 47036. Does 18 divide y?
False
Let g = 8539 + -5759. Is 37 a factor of g?
False
Let r = 41860 - 20633. Is 19 a factor of r?
False
Let j(z) = 4*z - 4. Let t be j(2). Suppose 0*y = 5*u - 3*y - 10, t*u - 8 = 3*y. Suppose -5*l + 3*l - u*f = -72, -l + 38 = 3*f. Is l a multiple of 12?
False
Suppose -2*b = -3*w - 9 + 25, 5*w + 15 = -5*b. Suppose -2*z = -5*d - 94, 3*d - 158 = -4*z - w*d. Does 7 divide z?
True
Suppose -h - 3*a + 8 = 0, -4*a - 4 - 12 = -4*h. Suppose 13*q - h*q = -448. Is 4 a factor of ((-12)/(-7))/((-4)/q)?
True
Suppose 2*n - 15953 = -37*t + 34*t, -39910 = -5*n - 2*t. Does 35 divide n?
False
Let x = 415 + -415. Suppose x = 2*c - 4*c + 208. Is 13 a factor of c?
True
Let b = -16283 - -30539. Is b a multiple of 12?
True
Suppose -5*b + v + 19003 = 0, 5*v = -693*b + 698*b - 19015. Is b a multiple of 36?
False
Let s be 6/(-8) + (55/20 - 0). Suppose s*j + 22 = 13*j. Suppose 0 = 4*c + 4*b - 52, j*c - 2*b = -0*b + 18. Is c a multiple of 2?
False
Let i(p) = p**3 + 44*p**2 + 76*p + 96. Let m be i(-42). Suppose 34*x - 46*x + m = 0. Is x a multiple of 6?
True
Let f(d) = 54*d + 321. Is f(24) a multiple of 4?
False
Let w(i) = 3*i - 12. Let r(f) = -6*f + 25. Let m(j) = -4*r(j) - 9*w(j). Let p = -64 - -47. Is m(p) a multiple of 4?
False
Let z(f) = f**2 + 11*f - 984. Is 44 a factor of z(-48)?
True
Let w(l) be the first derivative of 24*l**2 - 3*l - 4. Let d be w(1). Let f = d + -35. Is f a multiple of 10?
True
Let i = -619 - -1125. Is 22 a factor of i?
True
Let o(t) = 4*t + 21. Suppose -5*r + 3*r + b = 21, 5*b - 17 = -r. Let p be o(r). Let v = p - -20. Is 3 a factor of v?
True
Let w(a) = a**3 + 3*a**2 + a. Let b be w(-2). Let o be (-9)/12*-2*b. Suppose -k + 0*p + 1 = 5*p, 3*k - o*p - 57 = 0. Is k a multiple of 4?
True
Suppose 9*a + 42 = 6. Does 12 divide (-3 - a - -3) + (-4 - -334)?
False
Suppose 3973 = 20*p - 215507. Is 186 a factor of p?
True
Suppose 6*w = 7*w - 1, -1026 = -2*c + 2*w. Suppose -2*j = 3*f - c - 424, -f + 312 = j. Is f a multiple of 31?
False
Let p be 2/4*(3449 + (-2 - -1)). Suppose g - 441 = -3*y, 0 = -6*g + 10*g + 2*y - p. Is g a multiple of 39?
True
Suppose -3*g + c - 1 = 0, -22*g + 23*g - 3 = -3*c. 