e
Let y(d) be the first derivative of -d**2 + 3. Let v be (18/21*7)/(1 + -2). Does 6 divide y(v)?
True
Let y(n) = 4*n + 57. Let d = 195 + -205. Does 2 divide y(d)?
False
Suppose 0 = -95*l + 715675 + 232425. Does 5 divide l?
True
Let h(c) = 953*c + 1. Let l be h(1). Suppose 376 = -4*j + 2*k + 1336, 4*j + k - l = 0. Is 23 a factor of j?
False
Let q(m) = -6*m**2 + 71*m + 18. Let i be q(12). Is 80 + (6 - 8) - i a multiple of 8?
True
Let g = 344 + -282. Suppose 0 = -3*b + 4*n + 2484, 0 = -g*b + 60*b - 4*n + 1676. Is 26 a factor of b?
True
Is 22 a factor of 5/((-14)/2620912*-70)?
False
Let r = 103 + 336. Let z = r - 292. Is z a multiple of 3?
True
Let t be -2 + 6502/10 + 6/(-30). Suppose 18*h - 20*h + t = 0. Is h a multiple of 36?
True
Let s(t) = t**2 - 10*t + 14. Let b(i) = 23*i**3 - i. Let c be b(1). Let w = c - 12. Is s(w) a multiple of 11?
False
Let g(s) = 2*s**2 - 28*s - 19. Let t(j) = -j**2 + 15*j + 9. Let c(p) = 6*g(p) + 13*t(p). Is c(9) a multiple of 28?
False
Let b be (-80)/(-6)*(-324)/(-16). Let f = b + -541. Let u = f - -415. Does 22 divide u?
False
Let q(w) = -w**2 + 631 - 2671*w + 5339*w - 2669*w. Does 15 divide q(0)?
False
Let h(f) = -3*f + 23. Suppose -j = -o - 9, -5*o = -4*o + 2. Let a be h(j). Suppose -x + a*y + 142 = 2*x, y - 104 = -2*x. Does 25 divide x?
True
Let u be 4/(-8)*-2 + 10. Suppose 0 = -2*q + u + 585. Is 31 a factor of q?
False
Let u(p) = -p**2 - 84*p + 63. Does 118 divide u(-19)?
True
Let d(o) = -o**2 + 4. Let c(t) = 2*t**2 - 11*t - 17. Let a(u) = c(u) + 4*d(u). Let n = -13 - -8. Is a(n) a multiple of 4?
True
Let q(p) = -p**2 + 16*p - 1. Let g be q(13). Suppose 0 = 42*x - g*x - 8. Suppose -160 = x*r - 7*r. Is r a multiple of 4?
True
Let b = -116540 - -167300. Is 216 a factor of b?
True
Let l be 78/(-26) + 3*-2. Is 2 a factor of ((-34)/6)/(l/27)?
False
Suppose -2*n - 180 = -28. Let z = -116 - n. Let f = 194 + z. Is 14 a factor of f?
True
Suppose 4*t + 17178 - 80774 = -5*c, 63599 = 5*c + t. Is 44 a factor of c?
False
Suppose 85*m = 88*m - 1551. Suppose 4*i = -f - 0*f + 492, -i = -f + m. Is 32 a factor of f?
True
Let g(h) = -h**2 + 7*h - 10. Let w(m) = -44*m**2 + 44 + 45*m**2 - 44. Let k(z) = g(z) + 2*w(z). Does 12 divide k(4)?
False
Suppose -w = 2*w - g - 6, 0 = -4*g + 12. Suppose 3*q = -8*l + w*l + 63, 5*l = 5*q - 145. Does 3 divide q?
False
Suppose -624 = -3*o + 2*b - 4*b, -3*b + 1040 = 5*o. Let x be -12*72/o + (-4)/(-26). Is 21 a factor of x - (1 - 7)*23/3?
True
Let n(z) = -11*z + 39. Let g(a) = 10*a - 38. Let i(r) = 3*g(r) + 2*n(r). Let c be i(5). Suppose c*x - o = 766, -238 - 152 = -2*x + 4*o. Does 16 divide x?
False
Let z(u) be the first derivative of u**4/4 - 4*u**3 + 19*u**2/2 - 33*u - 32. Does 39 divide z(12)?
True
Let q = 596 - 593. Suppose -3*d + 666 = 2*o + d, 0 = q*o + 5*d - 997. Is 32 a factor of o?
False
Let h be -6*1/(-10) - (-8)/20. Suppose -1 = j, 4*l - j - h = 7*l. Suppose l = -q - 4*q + 300. Does 15 divide q?
True
Let t = 16650 - -8959. Is 26 a factor of t?
False
Suppose 701 = 3*o - 2*s, -14*s + 689 = 3*o - 13*s. Is 36 a factor of (o/6)/(33/30 + -1)?
False
Suppose -360110 - 418636 = -2*b - 105*b. Is 4 a factor of b?
False
Let a = -481 + 225. Let q = a - -480. Is q a multiple of 49?
False
Suppose 0 = 4*m - 11 - 1. Suppose 1824 = -m*d + 5*d - y, 16 = -4*y. Is 65 a factor of d?
True
Let v = -8115 + 12477. Does 4 divide v?
False
Let h = -10931 - -29614. Is h a multiple of 17?
True
Suppose 0 = -k + 3*j + 8354, -4*k = -19*j + 14*j - 33458. Is 13 a factor of k?
True
Let d(n) = -3*n**2 - 47*n - 6. Let y be d(-12). Let b = -66 + y. Does 30 divide b?
True
Let w(i) = -i**3 - 3*i**2 + 17*i. Suppose 7*p + 51 = -5. Is 8 a factor of w(p)?
True
Let i(j) = -j**3 + 12*j**2 + 23*j. Let w be i(11). Let z = w + -150. Is 24 a factor of z?
False
Let y = 267 + -259. Suppose 3*g + 2001 = 3*a, -3*a - g - 3331 = -y*a. Does 21 divide a?
False
Suppose 1750*v - 1747*v = -513. Is ((-798)/v)/((-154)/156 - -1) a multiple of 14?
True
Let o(c) = 8*c - 21. Let w(q) = -q. Let f(u) = o(u) + 6*w(u). Let s be f(9). Is 20 a factor of 2/6 + (-209)/s?
False
Let c be 11933/4 - 28/112. Suppose 21*j + 568 = c. Is j a multiple of 5?
True
Suppose 30*x - 148189 = 4031. Is x a multiple of 3?
False
Let b(i) = -3*i + 21. Let u be b(5). Suppose 0 = 15*d - u*d - 1269. Is d a multiple of 65?
False
Let f = -6712 - -9656. Suppose -23*h - f = -15502. Is 14 a factor of h?
True
Let j(b) = 78*b**2 + 8*b. Let g be j(2). Suppose -4*d - g = -m, -5*m + d = -3*d - 1688. Does 17 divide m?
True
Suppose 6 = -3*l + 4*j - 0*j, 3*l = -5*j - 6. Let y(p) be the first derivative of 4*p**3 - 3*p**2/2 - 5*p + 376. Does 9 divide y(l)?
False
Let p(o) = o**3 - 2*o**2 - 14*o + 8. Let s(v) = v**2 + v + 1. Let i(c) = p(c) - 6*s(c). Is 30 a factor of i(11)?
False
Let q be -4 - (23 + -5)/(-2). Suppose -r + 470 = -3*z + 37, -r = q*z - 465. Is r a multiple of 23?
False
Suppose 186 = 8*t + 3610. Let n = t + 462. Is n even?
True
Let x(z) = -38*z + 11302. Is 4 a factor of x(53)?
True
Let h(o) be the second derivative of 7*o**6/120 - o**5/24 - o**4/6 - 6*o. Let w(s) be the third derivative of h(s). Does 10 divide w(2)?
False
Is 17 a factor of (-32)/((-6)/(-68)*11/(-132))?
True
Suppose -273 = -38*c + 35*c. Let y = c + -82. Suppose 476 = y*l - 2*l. Is 34 a factor of l?
True
Let d(t) = -t**3 + t**2 - 6*t - 17. Let p be d(-2). Is (p + -20 + 0)*-18 a multiple of 18?
True
Suppose 2*x + 2*u = 4*u + 66, x + 4*u - 43 = 0. Let o = x + -30. Does 8 divide (-168)/(-20) - 2/o?
True
Suppose 0 = -533*v + 458*v + 683850. Does 194 divide v?
True
Suppose 5*o + 25 = 50. Suppose 0 = -5*i + s - 39, -4*i = -i + 4*s + o. Let l(f) = 3*f**2 - 23. Does 31 divide l(i)?
True
Let k = 22 - 22. Suppose k = -10*i + 15*i. Suppose -5*y + 12 + 28 = i. Does 3 divide y?
False
Suppose 66659 = 18*f - 15*f - 2*z, -5*f - 8*z + 111053 = 0. Does 19 divide f?
False
Suppose 8*d + 12*d - 40 = 0. Suppose 3*c = 5*x - 209 + 771, d*c = -x + 379. Does 21 divide c?
True
Let c(o) = 500*o**3 + o**2 + o. Let t be c(-1). Let j = -283 - t. Is j a multiple of 15?
False
Suppose 5*v + 9 - 24 = 0. Suppose 0 = -5*z + x + 2061, 4*z + 4*x - 1656 = v*x. Does 7 divide z?
True
Suppose -46224 = -2*z - 5*b, -1303*z - 69346 = -1306*z - 5*b. Is 11 a factor of z?
True
Let z be ((-2)/(-7))/((-24)/42)*-2. Let u(m) = 409*m**3 - 3*m**2 + 4*m - 1. Is u(z) even?
False
Let t(v) = -5*v - 561 + 609 + 14*v**2 - 13*v**2. Is 12 a factor of t(8)?
True
Suppose -b + 13*b = 24. Let i(l) = 44*l**2 + 7*l - 14. Does 14 divide i(b)?
False
Suppose 6076 = 4*u - 94*l + 98*l, -2*l = -14. Is u a multiple of 24?
True
Suppose -3*y = 3*v - 6*y - 14964, 2*v + 2*y - 9952 = 0. Does 178 divide v?
False
Let b be (984 - 2) + 4 + (-6 - -5). Let i = b + -697. Does 8 divide i?
True
Suppose 6*g = 8*g - 40. Is 97/(144/g - 7) a multiple of 9?
False
Let k(g) = 83*g**2 + 10*g - 22. Is 72 a factor of k(3)?
False
Suppose -126140 = -585*k + 582*k - 7*l, -k - 3*l = -42048. Is k a multiple of 33?
True
Let o(a) = -7*a - 290. Let k be o(-22). Suppose -8*x + 56 = -4*x. Let y = x - k. Does 30 divide y?
True
Is 13 a factor of (506 - -1)/((-8)/(-16))?
True
Let x(c) = -3*c - 6. Let k be x(-4). Suppose k*t = 2*t - 28. Is 8 a factor of -5 - t - (0/2 - 130)?
False
Let i(m) = -m + 12. Suppose a + 4 = -3*k - 4, -20 = -4*a + k. Let t be i(a). Is ((-2)/4)/((t/(-2))/312) a multiple of 13?
True
Let b be (2 - -620)*(-3)/(-2). Suppose -1371 = -8*w + b. Is w a multiple of 42?
False
Suppose -99171 = -45*m + 30573 + 63711. Does 7 divide m?
False
Let m(p) be the first derivative of 8*p**3 - 2*p + 27. Let f be m(-2). Let g = 158 - f. Does 11 divide g?
False
Suppose 6*w + 99 = 111. Suppose 6*s - 4753 + 253 = 0. Is 1 - (s/w)/(-3) a multiple of 21?
True
Let p = 65 + 19. Does 41 divide 2148*8/p + 6/14?
True
Let v = -5619 + 7059. Is v a multiple of 16?
True
Let j(a) = 44*a + 7148. Is 26 a factor of j(0)?
False
Suppose 0 = -r + 1622 + 3123. Is 43 a factor of r?
False
Suppose -119*o + 1216789 = 196*o - 769916. Is o a multiple of 271?
False
Let c = 5878 + 1613. Does 14 divide c?
False
Suppose 4*t + 16 = 0, -2*b - 2*t - 3 = -1. Let n(z) = -3*z**b + 229*z**2 - 8*z - 122*z**2 - 115*z**2. Is n(-4) a multiple of 6?
True
Suppose 3*s + 9*s = 48. Is (2 - 2)/s + 399 a multiple of 19?
True
Let u be 10/(40/12) + 0. Suppose u*g - 43 = 14. Does 8 