5 - a)/((-3)/(-2307)) a prime number?
True
Suppose -2 = 5*o - 4*f - 22, 0 = -2*o + f + 8. Let r(v) = 34*v**2 + 2*v + 1. Is r(o) prime?
False
Let u(q) = -q + 11. Let k be u(9). Suppose -a = k*a - 1695. Suppose -3*d - a = -8*d. Is d prime?
True
Let g(m) = -18*m**3 + 18*m**2 - 4*m - 21. Is g(-7) composite?
True
Let t(h) = -3*h + 24. Let y be t(16). Let z = 79 + y. Is z prime?
False
Suppose 5*c + 3*y - 19 = -7, c - 5*y + 20 = 0. Suppose -4*f = -8 - 0. Suppose c = -4*n - 4*v + 136, 2*n + f*n - 2*v - 154 = 0. Is n a prime number?
True
Let w = 3705 - -2440. Is w prime?
False
Let g be 3 + ((-18)/16 - 4/(-32)). Let q be -2 - (8/(-2))/2. Suppose q*w - 1222 = -g*w. Is w a composite number?
True
Is -2393*(-6)/30*5 a composite number?
False
Suppose 28862 = 5*z + 877. Is z prime?
False
Let o = 8 - 3. Suppose 0 = 5*d + 3*h - 1892, o*d - 1900 = h + 4*h. Is d prime?
True
Suppose 4*x + 4*y + 17 = -15, -16 = 5*x - y. Let n be ((-5)/x)/(4/16). Suppose u = n*b + 267, 0 = -u - b + 3*b + 261. Is u composite?
False
Let r = -307 - -1052. Is r a prime number?
False
Let u(v) = 1432*v**2 - 9*v - 26. Is u(-3) prime?
True
Let h = 438 - 301. Is (1 + (18 - -4))*h a prime number?
False
Let q(j) = -1489*j - 169. Is q(-2) prime?
False
Let h = -567 + -2081. Is (-33)/22*h/(-6)*-1 prime?
False
Suppose -o = -981 - 2806. Is o a prime number?
False
Let z = 418 - 385. Is z a composite number?
True
Let i(t) = -43*t**3 - 2*t**2 + 2*t - 1. Let c be i(1). Let l be (-1360)/(-22) - 8/c. Suppose -2*b - a = -135, 4*b - 5*b + l = -5*a. Is b prime?
True
Is (-1 + 2)/(5/(-35)) - -33230 a prime number?
True
Let b(o) = -o**3 + 1. Let v be (1 - 2 - 0) + 0. Let p(n) = 5*n**3 + 11*n**2 + 7*n - 11. Let r(q) = v*p(q) - 6*b(q). Is r(12) a prime number?
False
Suppose 2*j = -2*o + 14, 0 = -j - 2*j - o + 11. Let s(z) = z**3 - z**2 + 0*z - z**j - 4 + 0 + 3*z. Is s(3) prime?
False
Suppose -2*h - 11 = -29. Is h/3 - (-5 + 5) prime?
True
Suppose 0 = z - 2*j - 14 - 3, -2*j + 9 = z. Suppose 789 = -z*d + 16*d. Is d a composite number?
False
Let l = 23 - 21. Suppose -21*v + l*v = -31445. Is v a prime number?
False
Let i(h) = -h**2 - 16*h - 10. Let k(v) = -v**2 - 16*v - 11. Let m(b) = 3*i(b) - 2*k(b). Let s be (-7 - -8)/((-2)/26). Is m(s) a composite number?
False
Suppose 4*s = -s. Let i = 5 - s. Suppose i*g + 394 = 3*m, -2*m + g + 243 + 22 = 0. Is m prime?
False
Suppose 12*p - 47370 - 420474 = 0. Is p prime?
False
Suppose -3*h = -12, -3*s - 16*h = -14*h - 50153. Is s prime?
False
Let q(p) = -11*p**2 + 2*p + 2. Let m be q(2). Let n = 77 + m. Let t = n + 70. Is t a prime number?
True
Let b = 6625 + -3016. Suppose -7*u = 2*u - b. Is u prime?
True
Let q(z) = 254*z**2 - 14*z - 17. Is q(-10) prime?
True
Suppose -12*y = -84068 + 32384. Is y composite?
True
Let d be -1*2/2*36. Let t = 42 + d. Is ((-249)/t)/((-2)/4) composite?
False
Suppose -4*n + 10 = -2*c - 14, c + 4 = 0. Suppose 4*k = -3*s + 54, k - n*k = 3*s - 51. Suppose 0*r = 2*r - s. Is r a prime number?
True
Let q = -41888 + 83065. Is q prime?
True
Suppose -33308 + 171418 = 10*f. Is f prime?
False
Suppose 2*a = 2*m - 20, a + 3*a = -4*m + 40. Let j(z) be the second derivative of z**5/20 - 5*z**4/6 + 5*z**3/3 - 3*z**2/2 + 12*z. Is j(m) a prime number?
True
Let k(d) = -2*d - 5. Let x be k(-10). Suppose 3*v = -2*v + x. Suppose v*f + 85 = 4*f. Is f a prime number?
False
Let c be (-452)/(2*(-1)/2). Suppose -c = -5*r + 103. Is r a composite number?
True
Let k = -4847 + 44346. Is k a prime number?
True
Let a be 2/(-1 - (4 + -6)). Suppose -32 = a*y - 106. Is y prime?
True
Let b be (46/4 - 1)*-20. Let g = 897 + b. Is g prime?
False
Let p(i) be the third derivative of -i**6/120 + i**5/3 + i**4/8 - i**3/2 - 28*i**2 + 1. Is p(19) a prime number?
False
Let u(h) = 138*h - 15. Let g(j) = 276*j - 31. Let v(t) = -4*g(t) + 7*u(t). Is v(-18) composite?
False
Suppose 5*g - 365 = 5*u, 0 = -0*g - 4*g - 5*u + 292. Suppose -i + 17 = g. Let x = i - -109. Is x prime?
True
Let o = -29 + 51. Suppose -3*r - o - 53 = 0. Let u = 236 + r. Is u a composite number?
False
Suppose 4*m = -m - 125. Is (30/m)/(6/(-2715)) prime?
False
Let q be (-437)/(-46)*(-2 - -16). Let j(b) = -5*b + 1. Let u be j(-5). Suppose 3*d = u + q. Is d prime?
True
Let u(d) = -228*d + 2. Let o be u(3). Let z = o - -1577. Is z a composite number?
True
Let u = 413 - -2033. Suppose 2*x = u - 560. Is x composite?
True
Suppose 26*w = 38790 + 325808. Is w a composite number?
True
Let j(l) be the first derivative of -17*l**3/3 - l**2/2 - 4*l + 8. Let d(r) be the first derivative of j(r). Is d(-1) a prime number?
False
Let s = 9297 - 5920. Is s composite?
True
Let s = -4159 - -15570. Is s prime?
True
Suppose 0 = -5*i - 3*t + 18977, -i + 10*t + 3809 = 14*t. Is i a prime number?
True
Suppose -5*n = 198 - 973. Let w be 4*(-3)/6 + 263. Let x = w - n. Is x a composite number?
True
Suppose 5 = a - 0. Suppose -241 = -z + 5*x, -4*x + a = -3. Is z a composite number?
False
Suppose 2*k - 894 + 46 = 0. Let d be (k/10)/(1/5). Is 3 + (4 + -3)*d prime?
False
Let x(k) = 463*k**2 - 5*k - 9. Is x(5) composite?
True
Suppose 0 = -b + 2*s + 26823, 12*b - 15*b + 80469 = -3*s. Is b prime?
False
Is (-5082450)/(-39) - (-30)/(-130) prime?
False
Let l = -4855 + 15686. Is l prime?
True
Let x(t) = -940*t - 53. Is x(-4) a composite number?
True
Suppose -3*q = -2*q - a + 5, 3*q = -a - 11. Let u = -3 + q. Let b(j) = -17*j. Is b(u) composite?
True
Suppose 0 = -5*y - 5*i + 8664 + 1876, 2*i = 5*y - 10561. Is y prime?
True
Suppose 9*a - 8*a = 1029. Suppose -x + 2*n = 2*x - a, -x = -3*n - 350. Is x a composite number?
True
Let u(d) = -1063*d + 93. Is u(-10) prime?
True
Let v = -14 - -3. Let n be (v - -11)*(-2)/4. Suppose n = -0*l - 4*l + 852. Is l a prime number?
False
Suppose -26*z + 197928 = 10*z. Is z prime?
False
Suppose -398 = -4*n - 3*o + 13560, 0 = -5*n + 2*o + 17459. Is n prime?
True
Suppose 52*t - 54*t + 44866 = 0. Is t a prime number?
True
Let u = -4269 - -14276. Is u a prime number?
True
Let o = -15 - -24. Suppose x + o = 4*x. Suppose t = -x*t + 596. Is t a prime number?
True
Is (-12883)/(-26)*((0 - -2) + 0) a prime number?
True
Let h = 186 + 1101. Let f = h - 200. Is f prime?
True
Let w(u) = -16*u**3 - 7*u + 1. Is w(-3) a composite number?
True
Let p be ((-12)/14)/((-6)/28). Suppose 0*l - f = 3*l - 4, -5*l + f = p. Suppose 2*b = 5*h + 49, -21 = -b - h - l*h. Is b a composite number?
True
Suppose -29*j + 26*j + 385149 = -4*l, 5*j - 641947 = -4*l. Is j composite?
True
Suppose -5*t + 358 - 3788 = 0. Let a = -2438 + 3431. Let k = t + a. Is k prime?
True
Let r = 243 - -794. Let b = 2386 - r. Is b a prime number?
False
Suppose 0 = -3*v - t + 15, -v - 5*t - 4 - 5 = 0. Suppose -17 = 2*x + 1. Is ((-316)/v)/(6/x) prime?
True
Suppose d = -1, -25 - 7 = w - 5*d. Let v = -19 - w. Suppose -i + v = -113. Is i composite?
False
Let f be -6 - -7 - (-1 - 1). Suppose -f*h = -2*h - 131. Is h a prime number?
True
Let b(m) be the second derivative of -m**3/3 - 2*m**2 - m. Let v be b(-7). Suppose -q - 2*w + 109 = 0, -6*w = -w + v. Is q prime?
True
Suppose 0 = 5*o + 4*j + 270, -216 = 4*o + 3*j - 6*j. Let r = o + 256. Suppose 4*h - 186 = r. Is h a prime number?
True
Let z(j) = 3*j - 1. Let c be z(2). Suppose -3*s = c*a - 282, 3*s - 229 - 50 = -4*a. Is s a prime number?
True
Is ((-3)/((-9)/(-2579)))/((-3)/27) a composite number?
True
Suppose 3*n = 3*a - 12, -a - a = -4*n - 10. Let i = -13 - n. Let f(h) = h**2 + 10*h - 5. Is f(i) prime?
True
Suppose -20 = 3*r + 2*r. Let f = -226 + 112. Is (2/3)/(r/f) a composite number?
False
Let j(w) = 9*w**2 - 55*w + 235. Is j(-33) composite?
True
Suppose 16*z - 784861 = -210237. Is z prime?
False
Let k(w) = 9 + 6 + 50*w + 2. Is k(7) a composite number?
False
Let l = 6467 - 3358. Is l a prime number?
True
Let v = 3939 + 3140. Is v a prime number?
True
Let c(i) = 159*i**2 + 3*i + 11. Let u be c(5). Let h = -2380 + u. Is h a prime number?
True
Let c(p) = -2220*p - 349. Is c(-11) prime?
True
Suppose -4*i + 1615 = -1461. Suppose -2*m - p + 614 = 0, -i = -4*m + 5*p + 459. Is m prime?
True
Is (-17 + 11880)*(2/(-2) + 2) prime?
True
Let c(w) = 14*w - 4. Let s be c(2). Let l = 163 - 92. Suppose -h = s - l. Is h composite?
False
Let g(k) = -3*k - 6*k - 5 + 2*k - k**2 - k**3. Let f(w) = -w**2 + 4*w + 8. Let j be f(6). Is g(j) a composite number?
False
Let h(g) 