Suppose 4*t + t - 3*g - 1246 = 0, o*t - g = 750. Is t prime?
True
Suppose -2*p - 3 + 7 = 0. Suppose p*r + 3 = 7. Suppose 175 = r*z - 4*u - 263, 3*z - 621 = -3*u. Is z a prime number?
True
Let s(p) = -p - 2. Let h(z) = -2*z + 2. Let l be h(3). Let v be s(l). Suppose 46 = v*d - 342. Is d a composite number?
True
Let r(c) = -25*c - 6. Let z be r(-5). Suppose 14*t + 384 = 20*t. Let h = z - t. Is h a prime number?
False
Let z be (6/2)/(3/(-3)). Let u(x) = -17*x**2 - x - 4. Let y(k) = 8*k**2 + k + 2. Let d(r) = -4*u(r) - 7*y(r). Is d(z) a composite number?
True
Let n(l) = 115*l - 1. Let w be n(3). Suppose -18*a + 5*a = -78. Suppose 0 = -a*f + 2*f + w. Is f a prime number?
False
Suppose -23*z + 956 = -27*z. Is (z/(-1))/((-1)/(-1)*1) a composite number?
False
Suppose -5*c = 3*c - 40. Suppose -c*g - 4*s + 2687 = 0, -4*g + 5*s + 2660 = g. Is g a composite number?
True
Let z = 442 + -144. Suppose -2*g = 5*n - 6*n - z, 3*g + 3*n - 447 = 0. Is g a prime number?
True
Suppose -33 = -5*d + 2*v, 2*v - 7*v + 33 = 4*d. Let f(j) = j**3 - 7*j**2 + 10*j + 1. Is f(d) a prime number?
True
Is ((-812)/70)/(1/(-5)) a prime number?
False
Let q(l) = 400*l - 467. Is q(17) prime?
False
Let d be ((-628)/3)/(5/(-15)). Suppose -4*r = -d - 264. Let v = r + -96. Is v a prime number?
True
Is 2*(-75356)/(-40)*(4 - -1) composite?
False
Suppose 3*f - 11 - 1 = 0. Suppose 0 = m + 2, 8624 = f*r - 0*r - 2*m. Is r prime?
False
Let y = -13844 + 19602. Is y a prime number?
False
Let c(g) = -7*g**3 - 4*g**2 + g + 1. Let t be c(-3). Suppose -2*w + 168 = -2*q, 4*q - 3*q = -3*w - 92. Let y = t + q. Is y composite?
True
Let t be 4/18 + (-356)/(-18). Let q = -2 + 2. Suppose q = -j + t + 17. Is j prime?
True
Let o(y) = y**2 + 11185. Is o(0) a prime number?
False
Suppose -2*x = -17 + 21. Is 10255/10 + (-3)/x a composite number?
True
Let x(g) = 8*g. Let k be x(6). Let m = -105 + k. Let d = -26 - m. Is d a prime number?
True
Let w = -1019 - -1516. Is w a composite number?
True
Suppose 3*o - 15 = j - 5, -4*o - 2*j + 10 = 0. Suppose -3*n + o*w - 30 = 0, -29 = 4*n - 2*n + w. Is (10894/n)/(-2 + 0) composite?
False
Suppose 3*v - 5*p + 3 = -2*p, 4*v = -2*p + 20. Suppose 4*f = -4*w + 3604 - 152, -v*w = 0. Is f composite?
False
Suppose -34027 = -2*v - 5*v. Is v a prime number?
True
Let g(n) = n**3 + 9*n**2 + 4*n - 3. Let c be g(-7). Suppose -5*w = -7 - 8, 0 = 4*b - 3*w - c. Is b prime?
True
Suppose 0 = -i - 103 + 21. Let u = i - -389. Is u a prime number?
True
Let f(d) = -456*d**3 - 6*d**2 - 2*d + 1. Let m be f(-2). Let a = m - 496. Is a a prime number?
False
Let x(t) be the first derivative of t**3/3 - 13*t**2/2 - 14*t + 3. Let r be x(14). Let j(f) = -f**3 + f**2 - f + 371. Is j(r) composite?
True
Suppose 3*s - 852 = 771. Is s composite?
False
Let v(s) = 23*s**2 + 31*s + 9. Is v(17) composite?
True
Let v(f) = 253*f - 22. Let o be v(-5). Let z = o + 2546. Is z composite?
False
Let b(w) = -w**2 - 2*w + 3. Let q be b(2). Let g = 8 + q. Suppose 8*l - 1055 = g*l. Is l a composite number?
False
Let s = -17 + -2. Let i(j) = -j**3 - 14*j**2 - 9*j + 5. Is i(s) a prime number?
False
Is 21375 + 12 + (-36)/6 composite?
True
Suppose 8*n - 392762 = -1186. Is n a prime number?
True
Let n(r) = -r**3 + 3*r**2 + r - 3. Let u = 19 + -15. Let k be n(u). Is ((-8552)/(-20))/((-6)/k) composite?
False
Let x(k) = k**3 + 12*k**2 + 3. Suppose -g + 5*g + 48 = 0. Let d be x(g). Suppose 0 = -2*b + d*b - 143. Is b a composite number?
True
Suppose j - 9854 = 2*a, -3*j + 22342 = -a - 7235. Suppose 3*u - 2287 - j = 0. Is u a composite number?
False
Let k(c) = -3526*c + 87. Is k(-17) composite?
False
Let w(m) = 1127*m**3 + 2*m + 1. Let p be w(-1). Let v = 2807 + p. Is v a composite number?
True
Let c = 39 - -6. Suppose 0 = -2*b - 2*h + 122, -16 = -b - 2*h + 40. Let j = b - c. Is j a prime number?
False
Let l(a) = -a**3 - 5*a**2 - 13*a + 4. Let h be l(-10). Suppose h = d - 283. Is d a composite number?
True
Suppose -7*l = -6*l - 17. Suppose -l = -g + 196. Is g a composite number?
True
Let h be 1/(5/(-40)*-2). Let n be (-1)/((-2)/(-4)) - 1. Is ((-55)/h)/(n/12) a prime number?
False
Let d = 440 - 207. Suppose 47 = b - f - f, -d = -4*b - f. Is b a composite number?
True
Suppose 0 = 13*b - 12*b - 2. Suppose -5*q - 791 = -x, b*x - 1230 - 352 = q. Is x a composite number?
True
Suppose 10*c = 15*c - 55. Let z(f) = 5*f + 19. Is z(c) composite?
True
Suppose -4*o + 2*o + 6 = 0, 3 = 4*k - 3*o. Is (0 + k)/(39/57083) a prime number?
True
Suppose 3*n - 135 = -2*c, -n - 1 = -2*n. Is -2 - (c - 1)*-51 prime?
True
Suppose 3*k = k. Let h be k - 2/(-3)*3. Is 2004/9 + h/6 a prime number?
True
Suppose 6*i - 2183 = 5*i. Is i a composite number?
True
Let l be (162/(-6))/(1/(-58)). Let b = l + -937. Is b prime?
False
Let v = 372 - -2745. Is v a composite number?
True
Let h(n) = n**2 + 5*n - 35. Is h(-17) composite?
True
Let d be 68/(-51)*6/(-4). Suppose -2*z = -z - 3*x - 10, -5*x + d = z. Suppose 6 = -z*s + 8*s. Is s composite?
True
Let y be (0 - (-36)/10)*-10. Is (-2)/(-18) + (-2120)/y a composite number?
False
Suppose 5*x + 346 = -254. Let f = 61 - x. Is f composite?
False
Suppose -5*z + 5460 = -5*l, 0*l - 5505 = -5*z - 4*l. Is z composite?
False
Is -7 + 8060 + (4 - -2) a prime number?
True
Is 2 + -1 + 124/6*153 composite?
False
Let v be 5*-3*2382/45. Let o = v - -280. Is o/(-14) + (-12)/(-42) composite?
False
Let s(h) = 9*h**3 + h**2 + 12*h + 1. Suppose 6*y - 8 - 28 = 0. Is s(y) prime?
True
Let z(o) = 157*o - 23. Let w(q) = q. Let m(a) = w(a) - z(a). Is m(-7) a prime number?
False
Let p be (16/(-28))/((-4)/14). Suppose -1 = p*c - 3*f, -c = -4*f + 4 + 4. Is c a prime number?
False
Let u(v) = 2*v - 34. Let m be u(19). Suppose m*g + 950 = x + g, x = -5*g + 926. Is x composite?
False
Let t(b) = -94*b - 1. Is t(-8) composite?
False
Let i(l) = -l**3 - 2*l**2 + 4*l + 6. Suppose 0 = -6*d - 31 - 11. Is i(d) composite?
False
Suppose 0 = -4*q - 322 - 590. Is 4 - (-1 + q + -2) a composite number?
True
Let r(n) = -n**2 + 2*n. Let h be r(2). Suppose 7*x - 2437 - 1350 = h. Is x a prime number?
True
Let n(o) = 3621*o**2 - 3*o + 1. Is n(2) a prime number?
True
Is 39345 - 8*(-1)/(-2) a prime number?
True
Let q(i) = -17*i**2 + 4*i - 10. Let j be q(7). Let p = j - -1282. Is p a prime number?
True
Let h(d) = 2*d**3 + 6*d**2 - 4. Let c be h(4). Let u = 152 + -149. Suppose 1046 + c = u*m. Is m composite?
True
Suppose -18437 - 1978 = -15*n. Is n prime?
True
Suppose -106*h + 5194 = -105*h - 5*q, -4*h - 5*q + 20901 = 0. Is h prime?
False
Suppose -2*y + 17768 = -2*q, 0 = y + q + 3124 - 12018. Is y a composite number?
True
Let p(u) = -60*u**3 + 9*u**2 + 6*u + 7. Is p(-4) composite?
False
Let s(x) be the third derivative of -x**6/120 + x**5/30 - 5*x**4/12 - 11*x**3/6 + 2*x**2. Is s(-8) a prime number?
True
Suppose 21123 = 17*w - 20272. Is w a composite number?
True
Let l(g) = 11*g - 1. Let q be l(1). Let u(m) = 13*m + q*m - 3 + 2*m. Is u(2) a composite number?
False
Suppose 3*r + n = 14, 2*r - 4*n - 9 = 5. Suppose 13*t - r*t - 2696 = 0. Is t prime?
True
Suppose y + 2 = 4*k - 3, 0 = -3*y + k + 18. Suppose -3*d = 3*q + 27, -3*d = 5*q - y*d + 90. Let h(a) = a**2 + 4*a - 9. Is h(q) composite?
False
Let t be (-1 - 3267/5)/((-8)/40). Suppose -t = -11*k + 3*k. Is k a prime number?
True
Suppose -x + 5 = 2. Suppose -9*t + x*t + 330 = 0. Is t a composite number?
True
Let u(c) = 2*c**2 - 3*c - 2. Let l be u(-1). Suppose v = -y - l*y + 765, -v = y - 762. Is v a prime number?
True
Suppose -1 = 4*n - 5. Is -46*2*n/(-4) a prime number?
True
Let f(q) = -8*q + 28. Let w be f(10). Is ((-19)/2)/(2/w) composite?
True
Suppose -144*g + 147*g - 41257 = m, -4*m = -2*g + 27498. Is g a composite number?
True
Suppose 0 = u - 111 - 226. Is u a prime number?
True
Suppose -4*m - 5*x + 4492 = 0, -7*m - 3*x - 1123 = -8*m. Is m a composite number?
False
Is ((-464670)/(-12))/15 + 1/(-2) a prime number?
False
Let t be 14 - (-1 - (-6)/2). Let d(z) = 13*z**2 - 2*z - 26. Let x(m) = -19*m**2 + 3*m + 39. Let i(y) = -7*d(y) - 5*x(y). Is i(t) prime?
False
Suppose 8*z = -2*z + 50. Suppose 5*q - 1940 = -3*i + 5394, -z*i = 5*q - 7340. Is q prime?
False
Let o(m) = m**2 - m. Let g(u) = -u**3 + 2*u**2 - 4*u - 13. Let c(v) = g(v) - 2*o(v). Is c(-4) composite?
False
Let c = -178 - 106. Suppose 2824 = -4*l - 4*b, 3*l + b + 1716 = -412. 