16). Let u = l - 341. Does 14 divide u?
False
Suppose -227*s + 22632 = -221*s. Does 82 divide s?
True
Does 334 divide 7074/(1364/5148 + 1/(-9))?
False
Suppose 33 = 5*s + x, -x + 9 = s - 0*x. Suppose -v - 5*m = 8, -4*m - s = 2. Suppose 38 = 2*a - 2*y, -3*a - 2*a + v*y = -83. Does 4 divide a?
False
Suppose 3*d + 1335 = 5*p - 0*p, 3*d = 2*p - 534. Let c = 73 + p. Does 5 divide c?
True
Let r(o) be the first derivative of -o**2 + 89*o - 79. Does 8 divide r(21)?
False
Suppose -753319 = 343*q - 366*q. Is q a multiple of 17?
False
Let v = 93 + -88. Is 2 + (895/v - -4) a multiple of 22?
False
Let c(u) be the third derivative of u**6/120 + u**5/60 + u**4/12 - u**3/3 + 3*u**2 + 31. Is 16 a factor of c(6)?
False
Suppose -25*u + 21*u = -16. Suppose 3 = -3*k - l + 16, u*k - l - 15 = 0. Suppose 2*b = -k*o + 58 - 12, -3*b = 2*o - 61. Is b a multiple of 19?
True
Let a(x) = 85*x**2 + 51*x + 534. Is 30 a factor of a(-9)?
True
Suppose 69*v + 49*v - 236817 = -29*v. Is v a multiple of 17?
False
Let d = -36 + 402. Suppose -d*w + 375*w = 11223. Is 57 a factor of w?
False
Does 138 divide (-8 + 6816)*(21/12 + 3/6)?
True
Suppose -6*d = -9078 - 940 + 772. Is 67 a factor of d?
True
Suppose -2*h - n + 9 - 3 = 0, 0 = -4*h + 2*n + 12. Is 3 a factor of (h/(-5))/(13/(-2405))?
True
Let j be (1 + -4)*(-300)/45. Does 5 divide (j/(-190) - (-2466)/(-38))/(-1)?
True
Let h(k) = 112*k**2 - 7*k - 18. Let w = -375 + 378. Is h(w) a multiple of 17?
True
Let b(s) = 6*s**2 + 3*s - 19. Let a(t) = -t**3 + 23*t - 16. Let w be a(-5). Is b(w) a multiple of 3?
False
Suppose -3*c + 2*w = 7*w - 6290, -4*c = -3*w - 8377. Is c a multiple of 71?
False
Suppose 18*p - 2*p - 192 = 0. Let r(m) = 46*m. Let z be r(6). Suppose 15*w - p*w = z. Is 24 a factor of w?
False
Let b(p) = -p**3 - 12*p**2 - p. Let o be b(-12). Suppose 0 = -3*y + 9, o*k - 8*k + 4*y - 2272 = 0. Is k a multiple of 43?
False
Suppose -3*a = 4*y - 317, 4*a - 2*a = -5*y + 398. Let c = -24 + y. Is c a multiple of 8?
True
Suppose -18*c = -15*c - 9. Suppose 12*s - c*s - 99 = 0. Suppose -270 = -s*i + 236. Does 23 divide i?
True
Suppose -27589 - 45537 = -22*b + 109034. Is b a multiple of 9?
True
Suppose r = -4*p + 13, -12 = -2*r - 2. Suppose -3*z = 2*s - 1863, 3*s + p*z - 2787 = -0*z. Is 2/(-6) - s/(-27) a multiple of 17?
True
Suppose 3*n - 31 = 3*d - 8*d, -22 = -n - 4*d. Suppose 4 = 2*t + n*f, -3*t + 4 = -f + 2*f. Suppose -4*p + 14 = 3*m, -p = -0*p + 2*m - t. Is p a multiple of 4?
False
Let i(p) = 2*p**3 + 75*p**2 - 40*p + 79. Is 21 a factor of i(-34)?
False
Let s = -133 - -161. Is (-22)/(((-1)/(-15))/(s/(-21))) a multiple of 11?
True
Let p(f) = 6*f**2 - 19*f - 37. Let x be p(-4). Let l = 491 - x. Does 12 divide l?
False
Let x(g) = 12*g**3 - 34*g**2 - 37*g + 15. Does 32 divide x(7)?
False
Is ((-112)/(-24))/(-10*4/(-31560)) a multiple of 42?
False
Is 156 a factor of -65*(-6)/9*(133152/160 + -15)?
True
Let m(j) = -6*j - 50. Let s(h) = -18*h - 144. Let x(u) = -10*m(u) + 3*s(u). Is x(29) a multiple of 18?
False
Let a(x) = -13*x - 132. Let t be a(-19). Let s = t - -1251. Is s a multiple of 89?
False
Let c = 5247 - 5106. Is c even?
False
Suppose 42 = -21*s + 462. Let p(v) = -4*v - 5. Let t be p(-2). Suppose -t*d + 7*d - s = 0. Does 2 divide d?
False
Suppose -17*k + 12*k - 1175 = 0. Let v = 348 + k. Is 19 a factor of v + (5 + -1 - 4)?
False
Suppose i + 13 - 62 = 0. Suppose -i*b + 690 = -44*b. Is b a multiple of 23?
True
Suppose 3*n - 5*n = -86948 + 63644. Does 6 divide n?
True
Let w(i) be the first derivative of i**5/20 - 3*i**4/4 - i**3 - 10*i**2 - 7*i - 8. Let x(t) be the first derivative of w(t). Does 5 divide x(10)?
True
Suppose -79*s + 74*s + 3*x = -3, 3*x = -4*s + 24. Suppose y + 39 = s*p, -9*p + 6*p = 3*y - 27. Is 3 a factor of p?
True
Suppose -25901 = -5*f - 3*u, 5*f + 248*u - 243*u = 25895. Does 44 divide f?
False
Let a(p) be the third derivative of p**6/120 + 2*p**5/5 + 7*p**4/12 - 8*p**3/3 + 133*p**2. Is 38 a factor of a(-9)?
False
Suppose -3*v + 39973 = -4*t, -3*v + 33400 + 6552 = -t. Is v a multiple of 159?
False
Suppose 161*x - 555781 - 315229 = 0. Is x a multiple of 8?
False
Let p(y) = -808*y - 2457. Is 55 a factor of p(-14)?
True
Let v = 180 + -178. Suppose -2*f + 3*m = -86, -4*f = -v*m + 55 - 219. Is f a multiple of 8?
True
Let c(m) = -8*m**2 - 4*m + 11. Let g be c(3). Let z = g + 75. Suppose z*f = -2*i + 232, -4*i + 328 = 3*f - 23. Is 14 a factor of f?
False
Let n be ((-2213)/10 + (-1)/5)*-2. Suppose -529 = -3*d + n. Is d a multiple of 36?
True
Let d(j) be the first derivative of -j**3/3 + 37*j**2/2 + 92*j + 271. Is 27 a factor of d(20)?
True
Is ((0 - -1527*1)*-1)/(-2218 - -2217) a multiple of 3?
True
Let r(f) = 48*f**2 - 560*f - 48. Does 72 divide r(21)?
True
Let k = -62 - 34. Suppose -27*x = -31*x - 4*h + 540, 0 = 5*x - 3*h - 699. Let a = x + k. Is 6 a factor of a?
True
Suppose 3*c = 0, 2*c - 34 = 4*z + 54. Let r = z + 33. Suppose -13*o + r*o + 28 = 0. Is o a multiple of 14?
True
Suppose 3*b = j + 3, 5*j + b = 4*b + 9. Does 25 divide -30 + 34 - (-122 + -2 + j)?
True
Let k(u) = 190*u - 858. Is k(11) a multiple of 11?
True
Let h = -41 + 43. Suppose 4*i - h*i + 540 = 0. Let p = 441 + i. Is 9 a factor of p?
True
Let c = -94464 + 146064. Is c a multiple of 172?
True
Let y(g) be the first derivative of -g**6/360 - g**5/6 - 43*g**4/24 - 10*g**3/3 - 11. Let o(k) be the third derivative of y(k). Is 8 a factor of o(-15)?
True
Suppose 2628 = 2*i - 4*k, 0 = 2*i - i + 4*k - 1332. Is 5 a factor of i?
True
Suppose 0 = -802*o + 712*o + 793170. Is o a multiple of 194?
False
Let t = -870 - -4542. Is 17 a factor of t?
True
Let c(u) = 7*u**3 + u**2 - 3*u + 1. Let n(q) = -q**3 + 3*q**2 + 6*q - 5. Let x be n(4). Is c(x) a multiple of 19?
True
Suppose x - 244 = 2*g + 610, 1716 = 2*x - 2*g. Suppose -4 = o - x. Does 11 divide o?
True
Let l be (-333)/(-4)*(0/(-4) - -16). Let v be (-31 + 30)/(l/(-1330) + 1). Suppose -9*x + v = -820. Is 15 a factor of x?
True
Suppose -36900 - 78462 = -47*u - 5288. Is 66 a factor of u?
False
Let r = 0 - 8. Let h(k) = -k**3 - 23*k**2 - 34*k - 172. Let a be h(-22). Let y = a + r. Does 21 divide y?
True
Let z = 6 - 1. Suppose 2*u + 350 = -z*q, q = -u + 3*q - 184. Let i = 268 + u. Is 11 a factor of i?
True
Let o = 1693 + -1632. Let u(a) = -8*a**3 - 4*a**2 - 3*a - 1. Let m be u(-2). Let s = o - m. Does 4 divide s?
True
Suppose w - 16 = -s - w, -4*s - 2*w + 46 = 0. Let a be (1 - 4)/((-14)/210). Suppose 0 = -s*q + 135 + a. Does 9 divide q?
True
Suppose 5*k - 3*f = -178, 0*k = -3*k + 5*f - 110. Let c be ((-4)/(-5))/(k/(-25) + -1). Let n(p) = 8*p**2 + 5*p - 5. Does 9 divide n(c)?
False
Let v(s) = -3*s**3 - 60*s**2 - 10*s - 281. Does 30 divide v(-23)?
True
Let v(o) = 14*o**2 + 3*o - 5. Let t(h) = h**2 - 13*h + 41. Let i be t(4). Is 36 a factor of v(i)?
True
Let j(g) = 38 - 3*g**3 + 22*g + g**3 - 12*g. Is 14 a factor of j(-4)?
True
Suppose -786 - 300 = -6*l. Suppose -l = -7*i + 554. Let m = i - 37. Is m a multiple of 34?
True
Let g(a) = -a**3 - 23*a**2 - 43*a - 18. Let i be g(-21). Suppose -4*o + 2*y - 268 = -6*o, 5*o - i*y = 654. Is o a multiple of 21?
False
Suppose 4*i = -4*z + 16, 3*z = -5*i + 2*z. Let c be 2/6*(i - -472). Let a = c + -11. Is a a multiple of 38?
False
Let o = 18711 + -8115. Suppose -o = -11*r - 2445. Is 57 a factor of r?
True
Let f = -9166 + 21367. Is 62 a factor of f?
False
Let n(x) = -2*x + 60. Let i(m) = m - 40. Let z(p) = -8*i(p) - 5*n(p). Suppose g = 5*u - 0*g + 3, -4*g = u - 12. Is 4 a factor of z(u)?
True
Suppose 3*v + 401*h - 109516 = 400*h, 0 = v + 3*h - 36508. Is v a multiple of 129?
False
Let q = 24317 - 6552. Is q a multiple of 80?
False
Suppose 39*b - 34660 = -5*j + 41*b, 5*j - 3*b = 34665. Does 14 divide j?
True
Suppose -23*a = -6*a - 155951 - 41589. Does 41 divide a?
False
Suppose 7*r - 4*s - 22 = 5*r, -s = 5*r - 44. Let p(o) = -o**2 + 8*o - 5. Let m be p(6). Suppose r*j - 68 = m*j. Does 8 divide j?
False
Let g = 97 - 83. Suppose -10*f - 3912 = -g*f - 2*p, -4*f = -3*p - 3922. Is f a multiple of 89?
True
Let l be (-1)/3 - 8720/(-240). Suppose -l*z = 23*z - 22951. Does 9 divide z?
False
Let g = 46 - 43. Suppose w - 33 = -2*z + 7*z, 3*z + 5*w + g = 0. Does 5 divide 140/25 + z/10?
True
Let v(d) = 10*d**2 - 16*d + 70. Let n be v(8). Let x = n + -350. Is x a multiple of 5?
False
Suppose 119 + 42 = -7*f. L