e
Let m(f) = -f**2 + 9*f - 21. Let t be m(5). Let y be t + 2/2 - (367 + -3). Let p = -214 - y. Does 30 divide p?
True
Let p(d) = 9*d**3 - 7*d**2 + 143*d - 64. Is p(8) a multiple of 70?
False
Let x = 47620 + -39381. Is 5 a factor of x?
False
Suppose 29*m + 8 = 31*m. Suppose -3*h = 5*p - 2113, -53*p + 57*p + m*h - 1684 = 0. Does 17 divide p?
True
Let q(c) = -c**3 - 19*c**2 - 20*c - 34. Let v be q(-18). Suppose 3*d - 4*d - 26 = v*y, 4*y + 34 = -d. Is 8 a factor of d/117 + (-951)/(-13)?
False
Suppose 63*d - 36*d = 6372. Is 58 a factor of d?
False
Let z(r) = r**2 + r - 4. Suppose -3*u - 4 = 2*j, 5*j - 2*u + 27 = -u. Let w be z(j). Let q = 9 + w. Does 2 divide q?
False
Let s be -2 + -4 - -11 - (5 - -77). Let d be 170/(-15)*(-18)/(-4). Let m = d - s. Is 19 a factor of m?
False
Suppose 4*j - 5*w = j + 9, -2*j + 22 = 2*w. Let k(u) = -1 - u**2 + 122*u**3 + 5*u - 20*u**3 - 4 + j*u**3. Does 4 divide k(1)?
False
Let c(d) = 1. Let z(p) = 2*p**2 - 3*p + 53. Let q(w) = 4*c(w) + z(w). Is 8 a factor of q(10)?
False
Let b(z) = z - 9*z + 2*z**3 - 2*z**2 + z + 2 + 4*z. Let p be b(2). Suppose 2*y - p*w - 284 = 0, -4*w = -3*y - 2*w + 406. Does 11 divide y?
True
Let y(w) = -w + 1. Let h be y(-2). Let b be 0 - (1 + -1 + h). Is 29 a factor of 1 + 0/b + 1 + 56?
True
Let j = 221 + 114. Let n be 15/35 - (-12)/(-21)*j. Let v = n - -443. Does 42 divide v?
True
Suppose 2*j - w = -15, 3*j - 6*w + 27 = -3*w. Let t be 3/j - 446/(-4)*-13. Is 7 a factor of (-4)/(-66)*-3 + t/(-110)?
False
Suppose 6*v = v - 35. Let o(g) be the first derivative of -g**4/4 - 10*g**3/3 - 27*g**2/2 - 4*g - 966. Is o(v) a multiple of 19?
True
Suppose -1892*j + 1920*j - 235872 = 0. Is 36 a factor of j?
True
Suppose 0 = 134*g - 126*g - 3328. Suppose -g = s - 5*s. Does 8 divide s?
True
Let g(n) = -5763*n + 175. Is g(-2) a multiple of 26?
False
Let l(g) = 474*g - 1393. Does 5 divide l(29)?
False
Let s(x) be the first derivative of x**6/360 + 7*x**5/60 + x**4/6 + 28*x**3/3 + 26. Let h(r) be the third derivative of s(r). Does 11 divide h(-17)?
True
Suppose -u + 4*l + 5845 = 0, -u + 5865 = -150*l + 151*l. Is u a multiple of 31?
False
Suppose 0 = 4*z - 4, -2*f + 3*z - 94 = 339. Let c = f - -424. Let h = c - 83. Is h a multiple of 24?
False
Let h = -5564 - -9401. Does 128 divide h?
False
Let j be 3 - ((-28)/(-14) + (-8 - 0)). Suppose t = j*t + 16. Let q(i) = -74*i - 4. Does 20 divide q(t)?
False
Suppose -1393 = -4*u - 141. Does 11 divide u?
False
Suppose -2*t = -4*a + 5*a - 44, 43 = a + 3*t. Suppose a*u = -u + 8319. Is 59 a factor of u?
True
Suppose 0 = -9*r + 48 + 33. Suppose -r + 43 = l. Is l a multiple of 34?
True
Suppose -3*r + 842 = -1540. Let h be 2/(-8) - r/(-8). Let u = h - 63. Is 6 a factor of u?
True
Let c = -178 + 468. Let u = c - 155. Does 9 divide u?
True
Suppose -v - 6*v = -8918. Suppose h + 42*q = 37*q + v, 0 = h + q - 1254. Does 14 divide h?
False
Let z(v) = 30*v - 37*v - 72*v + 10. Let m be z(-3). Suppose 131 = 7*c - m. Is c a multiple of 6?
True
Suppose -273 = 2*i - 261. Does 15 divide i/21 - (3 + 2963/(-7))?
True
Let i(h) = -52*h + 78. Let g(p) = 35*p - 52. Let l(j) = -8*g(j) - 5*i(j). Let x be l(-5). Let c = -91 + x. Does 5 divide c?
True
Let u(j) = -11 - 10 + 12*j**2 - 19 + j**3 + 21 + 7*j. Is 31 a factor of u(-10)?
False
Let q be (-2 - -6)*70/8. Suppose 0 = 6*j + 451 - 325. Let k = q + j. Is 3 a factor of k?
False
Let u(w) = -5*w**3 + 2*w**2 + 4*w - 9. Let q be u(-4). Let l = 814 - q. Is 42 a factor of l?
False
Let v(i) = 17*i**3 - 5*i**2 - 41*i + 70. Is 14 a factor of v(7)?
False
Let i = 357 + -347. Suppose -2*s = g - 210, -10*g = -5*g - i. Does 4 divide s?
True
Let r(v) = -118*v**2 - 71*v - 6. Let m be r(-4). Let z = m + 2292. Is 80 a factor of z?
False
Let f be (8*1348/40)/((-2)/10). Is f/(-4) + (-2)/(1 + 1) a multiple of 20?
False
Let b(v) = 19866*v + 3512. Is 13 a factor of b(2)?
False
Is (-552)/46 + (-741)/(-1) a multiple of 9?
True
Let h(o) = -62*o - 26. Let i(n) = 63*n + 26. Let x(z) = 4*h(z) + 5*i(z). Does 14 divide x(5)?
False
Suppose -4503 = 43*i - 261299. Is 28 a factor of i?
False
Suppose 16*f - 26 = 6. Let m(i) = i + 8*i**2 - 4 + 13*i**f - 5*i - 6*i**2. Does 29 divide m(-2)?
False
Suppose 273*b - 137*b - 810152 = 0. Is b a multiple of 33?
False
Let j = 13750 + -13301. Is j a multiple of 60?
False
Let n(i) = i**2 + 15*i + 23. Let t be 2/(-7) + (-990)/63. Let v be n(t). Let a = 47 - v. Is 8 a factor of a?
True
Let l(w) = 7*w**3 + 3*w**2 + w - 4. Let x be l(2). Let u = 22 - x. Is 22 a factor of -5*(u/(-33) - (-436)/(-30))?
True
Let j(p) = p**2 - 2*p - 49. Let i be j(14). Let u = i + -64. Does 11 divide u?
True
Let t(a) be the third derivative of -a**4/6 - 101*a**3/6 + 120*a**2. Does 2 divide t(-26)?
False
Is 65 a factor of 48*((-48)/36*-11 + (3 - -1))?
False
Suppose -3*a = -4*g - 22820, 5 = 5*g - 15. Does 24 divide a?
False
Suppose 0 = -4*c - 2*k + 13046, -112*c + 117*c = -5*k + 16315. Is c a multiple of 3?
False
Let k(n) = 11*n + 4 - n - 5*n - 4*n. Let c be k(0). Suppose 3*m = c*q + 630 + 37, q + 1 = 0. Is m a multiple of 28?
False
Let h(i) = -4*i**2 - 12*i - 2. Let c be h(-1). Suppose 3*d + 3*a - 2784 = c*a, 2*d + a = 1865. Is d a multiple of 19?
True
Let t(x) = -116*x**3 - x**2. Let s be t(1). Let u = -107 - -25. Let h = u - s. Is 7 a factor of h?
True
Suppose 16*w - 63*w - 9*w = -443352. Is w a multiple of 21?
True
Let u(c) = -c**2 - 5*c - 1. Let s be u(-4). Let p(y) = 79*y - 5. Is p(s) a multiple of 36?
False
Let i = -7702 + 15503. Does 29 divide i?
True
Let h = 86 - 81. Suppose 0*n - 40 = -h*n. Suppose 2*f - n + 0 = 0. Does 2 divide f?
True
Suppose -323*b = -305*b - 69552. Is b a multiple of 12?
True
Suppose 0 = 5*s - 4*n - 28711, -5*n = -s + 7786 - 2048. Does 54 divide s?
False
Suppose -78 - 60 = -q. Let y = q - 82. Suppose i - y = -n + 73, 4*n + 2*i - 510 = 0. Does 18 divide n?
True
Suppose -3*j + 3*h = -48 + 6, j + 5*h + 4 = 0. Suppose 31 + j = 2*g. Suppose -2*l + g = -47. Is l a multiple of 9?
False
Suppose -5*x + 8*a + 54 = 6*a, 2*x = 4*a + 12. Suppose x*l - 5*y + 695 = 17*l, -3*l = 4*y - 415. Is 6 a factor of l?
False
Let t be 11/4 + (-5)/(-20). Suppose 7 = t*i - 20. Suppose 0 = -i*u - u + 90. Does 3 divide u?
True
Let s = 10082 + -5042. Is s a multiple of 63?
True
Let m(c) = -c**3 - 6*c**2 + c + 6. Let r = 34 - 40. Let h be m(r). Suppose h*u = 6*u - 354. Is 10 a factor of u?
False
Let c(l) be the first derivative of -5*l**2/2 - 14*l - 5. Let t be c(-2). Does 5 divide (-70)/t*(5 - 31/7)?
True
Suppose 16*m = -121 + 1113. Suppose 71*y - 11088 = m*y. Is 14 a factor of y?
True
Suppose 7*n - 470 = 748. Suppose n*f - 165*f = 2277. Is f a multiple of 3?
False
Let q be ((-1)/(-2))/(8/1616) + -4. Let u = q + -11. Suppose 5*t - l - 97 = -2*l, u = 4*t + 5*l. Does 7 divide t?
False
Suppose 3*a - 5*z - 70 = 0, 0 = -2*a - 3*a + 3*z + 90. Let t = 55 + -23. Let q = t + a. Is 9 a factor of q?
False
Let b = -429 - -687. Let l = b + -135. Does 20 divide l?
False
Is 76 a factor of (-17860)/(-6)*(180/25 + -6)?
True
Suppose -11*d - 10245 = -16*d. Suppose -p + 1629 = 7*i - 3*i, -3*p = -5*i + d. Is i a multiple of 68?
True
Let y = 399 - 369. Let s(g) = g**2 - 4*g + 4. Let z be s(-5). Let x = z + y. Does 9 divide x?
False
Suppose -3*g - i + 40 = 0, 4*g - 20 = -3*i + 30. Let f(d) = 6*d**3 - 14*d**2 - 2*d - d**3 - 15 - 4*d**3 + 0 + 10*d. Does 20 divide f(g)?
False
Is 236 a factor of -6*(-15 - 95186/42)?
True
Suppose 2*b = 4*p - 1707 - 117, 5*p + 2*b = 2271. Suppose k - p = -o, -10*k = -8*k + 8. Does 27 divide o?
True
Suppose -57*h - 59871 + 307576 = -281255. Is 160 a factor of h?
True
Let o(c) = -133*c - 3525. Is o(-47) a multiple of 94?
True
Suppose -9*n = -1 - 35. Suppose n*v + 5*f = -20, 2*v + 4*f + 19 = 3. Is (-35 + v)/((-1)/(-2) - 1) a multiple of 35?
True
Suppose 0 = 2*i - 5*h - 6918, -2*i + 3335 = -3*h - 3591. Is 6 a factor of i?
False
Let a = 1042 + -10. Is a a multiple of 3?
True
Let m(a) = -13*a + 686. Is m(-26) a multiple of 32?
True
Suppose 3*q + 97 = 8*q + 2*l, -75 = -3*q + 3*l. Let o = q - -213. Is o a multiple of 39?
True
Let a be 10/9*6*(-1395)/(-62). Let m(t) = t**3 - 6*t**2 + 4*t + 7. Let n be m(5). Suppose -a = -n*q - 52. Is q a multiple of 15?
False
Suppose 4*y + 488 = 2*q - 558, 2*y + 1565 = 3*q. Is q a multiple of 2?
False
Suppose 2*y = 3*z + 129, 5*y + 0*y = 3*z + 30