site?
True
Suppose -3*m + z + 15681 = 0, 0*z = z. Is m prime?
True
Let u = -34 - -24. Is 6/u + 2992/20 composite?
False
Let o be (0 + 2)/((-2)/(-5)). Let q(x) be the first derivative of 5*x**4/4 - 7*x**3/3 + 3*x**2 - x + 14. Is q(o) a prime number?
True
Suppose 0 = -4*w - 5*f + 104, 0 = -6*f + f + 20. Let j = w + -64. Let d = 40 - j. Is d prime?
True
Suppose 3*o - 5*i - 892 = 0, 0*o = -2*o - 2*i + 568. Let k = 636 - o. Is k prime?
True
Let p(g) = -g**3 - g**2 + 8. Let x be p(0). Is 45/12*x/3 a prime number?
False
Let u(z) = z**2 - 3*z - 20. Let x be u(7). Let h = x + 45. Is h a composite number?
False
Is (190436/(-6))/((-7)/(-3) + -3) a prime number?
True
Let q(z) = 134 + 21*z + 7*z**2 - 27*z - 127. Let w(b) = -b**2 - b. Let s be w(2). Is q(s) composite?
True
Let p = -8 - -4. Is (-4572)/54*6/p prime?
True
Let d = -12678 - -22820. Suppose 2*c = d + 3200. Is c prime?
False
Let w(u) = 5*u - 8. Let o be w(4). Suppose t - o = -3*t. Suppose -4*j = t*j - 5215. Is j composite?
True
Suppose 28 - 20 = -2*k, 4*v = 3*k + 29720. Is v composite?
True
Suppose 16*b = x + 14*b - 9101, 2*b + 18204 = 2*x. Is x prime?
True
Let w = -41 - -21. Let m = w + 30. Suppose -5*h = m, -5*s + 2*s + h + 233 = 0. Is s composite?
True
Suppose -35975 = -6*v - 19*v. Is v a prime number?
True
Let d = 33 - 30. Let l(v) = 45*v**2 + 4*v - 2. Is l(d) a composite number?
True
Let w(u) = u**3 + 5*u**2 + 2*u - 2. Let r be w(-4). Suppose -r*p + 0*p + 13170 = 0. Is p a composite number?
True
Let y = -24 + 72. Let d be y/80 - 7664/(-10). Let b = 1312 - d. Is b prime?
False
Let a = -7 - -109. Suppose -5*l + 4 = -2*h, -5*h = l + 8 - 25. Suppose -3*x + h = -a. Is x a composite number?
True
Let v be 54/12 - (-1)/(-2). Suppose -2225 = -3*s + v*m, -4*m + 2*m = s - 745. Is s a prime number?
True
Let y be -2 - (68*1)/(-4). Let s = y + 2. Is (20/4 - 3) + s prime?
True
Let p(s) = 12*s**2 - 24*s + 8. Let d be p(-17). Let u = d + -1751. Suppose 5*a = -x + u, -2*a - 3*a - 4*x + 2127 = 0. Is a a prime number?
False
Let z(x) = 169*x + 49. Is z(8) composite?
True
Let l(f) = -121*f + 1. Let i(t) = -40*t. Let z(j) = -8*i(j) + 3*l(j). Let b(h) = -1. Let d(v) = 6*b(v) - z(v). Is d(4) composite?
False
Is (-2*5926)/(-18 - -16) + -3 a composite number?
False
Let f(o) = 84*o + 3. Let b be f(3). Suppose -201 = 3*q + b. Let p = 297 + q. Is p prime?
False
Suppose -t + 6 = 2*z, 5 + 3 = 3*z + 2*t. Let j be (-8 - -1)/(1/(-9)). Suppose -w + z*w = j. Is w composite?
True
Let g = -220 + 576. Suppose 6*l - 2*l = g. Is l a composite number?
False
Let o(i) = 1189*i**3 - i**2 - 3*i + 7. Is o(2) a prime number?
False
Let a(c) = 36*c + 53*c - 19 - 37 + 43. Is a(6) prime?
True
Suppose 4*r = -2*d + 6*d + 8, 0 = -4*d. Suppose -r*f = -4*f. Let u = f - -37. Is u prime?
True
Is (-13889)/(-2) + 110/44 composite?
False
Let q = 194 + -390. Let f be q/12*3*-24. Suppose n + f = 4*j, 4*n + 895 = 3*j - 0*j. Is j a composite number?
False
Suppose -2*h = 5*k - 31596, 2*k + 3*h - 12240 = 394. Suppose 9*n - k = 4381. Is n a composite number?
True
Let k be 48/36 - (-2)/(-6). Let n(o) = 145*o**3 - o + 2. Let a be n(k). Is a + 1/1 - 2 a composite number?
True
Let b(q) = q**3 - 12*q**2 + q - 6. Let x be b(12). Suppose -v + x = 5. Is (1/(-1) - v) + 409 composite?
True
Let x(p) be the first derivative of p**4/4 - 5*p**3/6 + 9*p**2/2 + p - 2. Let r(t) be the first derivative of x(t). Is r(-7) prime?
True
Suppose -4*u - 2*h = 9878, -2*u - h = 3*u + 12352. Let k = -1410 - u. Is k prime?
True
Let y be (-46885)/(-15) + (-2)/(-6). Suppose 5*k - y = -k. Is k composite?
False
Let l(h) = -2*h + 28. Let j be l(12). Suppose z - j*s = -20, -2*z + 23 = -6*z - 3*s. Is z/20 - 3771/(-15) a prime number?
True
Let c = -423 - -85. Let i = c - -483. Is i prime?
False
Suppose -t = -z - 2104, -9*t + 10508 = -4*t + z. Suppose 7*c - 285 = t. Is c a composite number?
True
Let g(d) = d**2 + 14*d + 13. Suppose -10*t + 14*t = -52. Let w be g(t). Suppose -z + w*z + 521 = 0. Is z prime?
True
Let u = -3382 + 6585. Is u a prime number?
True
Suppose k = 4*m - 223049, 9 = 4*k - k. Is m composite?
False
Suppose 5*s - 39406 = 26709. Suppose -8*t + 6945 = -s. Is t a prime number?
True
Suppose -3*l = -9*q + 6*q - 7575, -l + 3*q = -2533. Is l a prime number?
True
Suppose -4*s + 810 = 5*l - 121, -3*l = s - 231. Let z = 21 - 15. Suppose 42 = z*i - s. Is i composite?
True
Suppose -y + 35 = 4*y. Suppose y*h - 6*h = 4391. Is h a prime number?
True
Suppose -136 = 4*t - 3460. Let a = 1202 - t. Is a prime?
False
Let u(y) = -2*y**2 - 3*y + 1. Let j be u(-3). Is (8/12)/(j/(-6492)) a composite number?
False
Let w = 501917 + -293246. Is w prime?
False
Let m = 47 - 286. Let k = -36 - m. Is k prime?
False
Let h = -9 + 18. Let s(k) = k**3 - 8*k**2 - 11*k + 10. Let l be s(h). Is 84/l*(-12)/9 prime?
False
Let b be (3 - (-1 + -2))/2. Let q be (9/3)/b - -1. Is -23*(3 - q - 2) composite?
False
Let c(t) = -t**3 - 4*t**2 - 3*t + 2. Let a be c(-3). Let p = a - 6. Is (p - -3)/(-2)*254 a prime number?
True
Suppose 8*l - 2500 = 3*l - 3*k, 0 = -5*k + 25. Let n = l - 176. Let h = n - 54. Is h a prime number?
False
Let i(s) = s**3 + 5*s**2 + 3*s - 4. Let m be -10*(-1 - (-21)/15). Let c be i(m). Suppose 2*l + v + 56 - 192 = c, -l = 5*v - 77. Is l a composite number?
False
Suppose -13*a = -15*a + p + 12056, -a + 2*p + 6025 = 0. Is a a prime number?
True
Suppose 5894 + 1694 = j - 5*g, 5*j - 38030 = -5*g. Is j composite?
False
Let a(p) = -p**2 + 5*p + 5. Let s be a(5). Is 159*s - (-4 - -2) composite?
False
Suppose -6 = n + 2*n. Let z be (138/(-3))/(n/18). Suppose 432 = 3*d + 3*b, z = 3*d + 5*b - 20. Is d a composite number?
True
Let n(s) = -55*s + 2. Suppose 9 = -3*t - 0. Let f(g) = g - 1. Let m(a) = t*f(a) - n(a). Is m(4) a composite number?
True
Let x(r) = -2119*r**3 - 6*r - 6. Is x(-1) prime?
False
Let l be (4/20 - (-17459)/5) + -3. Is (l/(-1) + 0)*(-8)/24 prime?
True
Let w = 17 - 11. Suppose 0 = -w*y + y + 2*a + 20, 2*a + 18 = 4*y. Suppose 204 = 2*s + y*s. Is s a prime number?
False
Is 12/(-8)*(-5)/(-15)*-7186 composite?
False
Let j = -64 + 65. Is 669 + j/((-2)/(-8)) prime?
True
Let r(t) = t + 18. Let a be r(-14). Suppose 3*k = 4*k - a. Is 366/12 + 2/k a composite number?
False
Suppose 0 = -59*p - 3*p + 2719754. Is p a composite number?
False
Suppose 0 = -p - 5*b + 4828, 9*b - 9677 = -2*p + 6*b. Is p composite?
True
Let p be (192/(-80))/((-2)/300). Suppose -5*u - 5*r = -0*r - p, u + 4*r - 81 = 0. Is u a composite number?
True
Let s(y) = -39*y**3 - y**2 - 6*y + 1. Let j(d) = -20*d**3 - 3*d. Let f(p) = -5*j(p) + 2*s(p). Is f(3) composite?
False
Is (-7)/28*12*17156/(-6) composite?
True
Let b(y) = 9*y**3 + y**2 - 6*y + 6. Let r(x) = -9*x**3 + 6*x - 6. Let j(h) = -4*b(h) - 3*r(h). Is j(-5) composite?
True
Suppose -c + 1025 = r, 5*c - 4483 = 4*r + 615. Suppose 3*l - c = 235. Is l a composite number?
False
Suppose -4*w = -o - 49497, -21*w = -16*w + 5*o - 61840. Is w a prime number?
True
Let q(z) = 95*z**2 + 32*z + 250. Is q(-13) prime?
True
Let y(l) = 4*l**3 + 6*l**2 - 14*l + 13. Is y(8) a composite number?
False
Let o(j) = -j**2 + 1 + 2*j - 5 + 3*j**3 + 3*j. Let h be o(4). Suppose -5*w + h = -163. Is w a prime number?
True
Let j(i) = -65*i - 1. Let y be j(-13). Suppose -y = -7*z + 3*z. Is z a composite number?
False
Let n = 17 + -21. Is n/18 + 17886/54 composite?
False
Suppose 5*g = 0, 3*m = -5*g - 2 + 17. Suppose -5*o = -m*u - 20, 2*o + 20 = -2*o - 5*u. Suppose o = -2*i + 85 + 313. Is i composite?
False
Suppose -5*u - 2*n = -18557, -3*n + 3701 = -21*u + 22*u. Is u a prime number?
False
Suppose -2*b = 6*x - 3*x - 8225, 2*b - 2 = 0. Is x prime?
True
Suppose 9*o = -8*o + 8755. Let c = o - 36. Is c a prime number?
True
Suppose -15 = 4*a + 9. Let u(k) be the third derivative of -k**6/120 - k**5/10 - k**4/4 - 5*k**3/6 + 9*k**2. Is u(a) prime?
True
Let w(h) = 21688*h - 11. Is w(1) composite?
True
Suppose 2*w - 5*w = -15. Let m be 3/(w - 2) - -2. Suppose m*k + 797 = 4*k. Is k composite?
False
Let o(y) = -y**3 + 9*y**2 + 38*y - 13. Let d(x) = 2*x**3 - 16*x**2 - 77*x + 25. Let a(w) = -2*d(w) - 5*o(w). Is a(19) prime?
False
Suppose -5*h + 65327 = 3*q, q = 2*h + 3*q - 26134. Is h composite?
False
Let t = -1055 - -5548. Is t composite?
False
Suppose 4*a = 2369 + 2271. Let f = a - 2226. Let g = 1535 + f. Is g composite?
True
Let x