t p = j - 42. Is p a composite number?
False
Let n = 321 + -592. Let y be 2*326 + (6 - (-3 - -9)). Let u = n + y. Is u prime?
False
Let f = -1398 - -2033. Is f composite?
True
Suppose 17 = -s - 4*v, -3*s - s = 2*v + 26. Let c(a) = -a**3 + 2*a**3 - 6 + 12*a**2 + 6*a - 5*a**2 + 9. Is c(s) a composite number?
False
Let h(g) = 2224*g**2 - 3*g - 3. Is h(-2) a composite number?
True
Let m = 40 - 29. Suppose -50 = -m*g + 6*g. Is g composite?
True
Let u = 42 - 26. Let o = -18 + u. Is o/(-8) + 1425/12 composite?
True
Let m(q) = -q**2 - 16*q + 5602. Is m(0) a composite number?
True
Let f be (2 - 2)/(1 - 2). Suppose q + f = 4. Suppose q*x + 0*x = 628. Is x prime?
True
Suppose 31*r - 5*r = 21190. Is r prime?
False
Suppose 880 = -4*i + 20*i. Let z = i + 286. Is z a composite number?
True
Suppose -2022 = -3*c - z, 26*c - 25*c - 688 = -5*z. Is c a prime number?
True
Is -5 + 813883/21 + 5/(-15) a composite number?
True
Suppose -2*s = -8*s + 20202. Let d = -1730 + s. Is d composite?
False
Let j(k) = 3*k**2 + 12*k - 2. Let n be j(-5). Is (n/4)/(-2 + (-6795)/(-3396)) composite?
True
Suppose -w + 2*s - 555 = 0, 2*w - 4*s = -5*s - 1130. Let a = w - -870. Is a a prime number?
True
Let c(s) = -s**2 + 9*s - 3. Let z be c(9). Let r be (0 + 3/(-9))*z. Is 3 - (1/r + -125) a composite number?
False
Let v(y) = -3*y + 10. Let u be v(4). Is ((-4786)/3)/(u/3) composite?
False
Suppose 0 = -2*h + 2, -78 = o + 4*h - 396. Let y = o + -169. Is y a composite number?
True
Let j(q) = 22*q**2 + 5*q + 2. Let k be j(-6). Let o = 36 - 34. Suppose 6*d - o*d - k = 0. Is d prime?
True
Suppose 0 = v - 2*v - 5*h + 47, 313 = 5*v - h. Let n = 47 + v. Is n composite?
False
Suppose -6*b + 9*b = -9, 0 = 5*v - b - 21873. Suppose -2*i + 2*l + 1510 + 676 = 0, 4*i = 2*l + v. Is i a composite number?
True
Suppose -2*n + 4*x = n - 9, n = -x - 4. Let f(a) be the second derivative of -10*a**3/3 + a**2/2 - 81*a. Is f(n) a composite number?
True
Let y(p) = 729*p - 302. Is y(47) a composite number?
False
Suppose 5*l = s + s, -2*l = -5*s. Suppose -z + l*z + 641 = 0. Is z a prime number?
True
Let j = -2138 - -360. Let m = -1027 - j. Is m composite?
False
Suppose 60*r - 95*r = -297535. Is r composite?
False
Let y = -1471 - -2112. Suppose -f + 714 = -2*z - y, 0 = -5*f - z + 6786. Is f composite?
True
Let c = 11525 - 7582. Is c a prime number?
True
Let s be 5/(-1)*(-1)/(-1). Let m(c) = 2*c**2 - 2*c - 5. Let z be m(s). Let j = z - -22. Is j a composite number?
True
Let l(s) = s**2 + 3*s - 1. Let a be l(-4). Let b be -1 + 463 - (a - 6). Suppose 2*w - b = 65. Is w composite?
True
Is (-2)/(-5) - 3701212/(-145) composite?
True
Let b = 94 + -93. Let s(y) = 30*y**3 + 2*y**2 + 2*y + 3. Let d be s(-2). Is b*d*(0 + -1) a prime number?
True
Let m(a) = 19*a**3 + 6*a**2 - 8*a - 1. Let c be m(7). Suppose 28*v - 6*v = c. Is v composite?
False
Suppose -3*y = 2*d - 3460, -3*d + 8*d + y - 8663 = 0. Let a = d - 1039. Is a a composite number?
True
Suppose 6*n - l = 5*n + 9, -5*n - 2*l = -73. Suppose -998 = 12*b - n*b. Is b a prime number?
False
Suppose 4*o + 46093 = -105443. Is (-2)/(-3)*(o/8)/(-7) a composite number?
True
Let o(q) = 561*q**2 + 5*q + 9. Is o(-2) a prime number?
True
Suppose -211*u + 1259511 = -178*u. Is u prime?
True
Suppose -523 = -f + 78. Let w(r) = 2*r**2 - 2*r. Let l be w(2). Suppose l*y = 3*b - f, -b + y - 4*y = -196. Is b a composite number?
False
Let l(s) = -s + 11 + s + 8*s + 2*s**2. Let x(h) = h**2 + 8*h + 10. Let j(u) = 5*l(u) - 6*x(u). Is j(6) a prime number?
False
Let t(a) = -97*a**2 + 3*a - 1. Let z be t(2). Let g = 1719 + z. Is 1 + g + 0/7 prime?
False
Let b = 8727 + -3740. Is b composite?
False
Let j be (4992/(-80))/(2/10). Is 3/(-7) - 11*j/21 a prime number?
True
Let z be (0 + -1)/((3/(-3))/5). Suppose 332 = -4*b - 2*h + 3876, z*h + 897 = b. Is b prime?
True
Let s = -297 - -2024. Is s a composite number?
True
Suppose f + a - 1 = -2, -2*a = -5*f + 9. Let g(y) be the third derivative of 13*y**5/60 + y**4/24 - 14*y**2. Is g(f) composite?
True
Let u(g) = g**2 + 4*g - 9. Let c be u(-6). Suppose -4 = -c*d + 4*i - 2*i, 4*d - 2*i = 8. Suppose -t = -191 + d. Is t composite?
True
Let k(b) = 149*b**2 + 6*b - 17. Is k(-6) a composite number?
True
Let u(o) = -o**3 + 7*o**2 - 5*o - 2. Let x be u(6). Suppose -x*c - 5 - 3 = 4*l, 8 = -2*l - 3*c. Is l/6*(3 - -756) a prime number?
False
Is 0 + -2 + 3 + 3237 + 0 prime?
False
Let j(y) = -13*y - 31*y + 6 + 3*y. Let k be (-650)/125 - (-3)/30*2. Is j(k) a prime number?
True
Suppose 2*h + 26 - 32 = 0. Suppose h*t - 6*t - 1469 = -2*r, -2200 = -3*r + t. Is r composite?
False
Let t = 72226 + -25593. Is t prime?
True
Suppose -79444 = -4*g + 2*p, 7*p = 3*p. Is g composite?
False
Let p(j) = -j**3 - 6*j + 5. Suppose -3*q - 31 = o + o, -3*o = 3*q + 39. Is p(o) prime?
False
Is 19/(209/1397462) + 3 a prime number?
False
Let r(l) = -56*l - 89. Let h be r(-13). Let z be 3/(-2)*(-30)/9. Suppose 2*q - 250 - h = -z*i, q = -i + 452. Is q a prime number?
True
Let h = 19 + -15. Suppose 12 = -h*o + 10*o. Let n(z) = 42*z**3 - 2*z**2 + 3*z - 3. Is n(o) composite?
False
Let j(i) be the third derivative of 0 + 1/3*i**3 + 0*i - i**2 - 1/8*i**4 - 1/60*i**5 - 7/120*i**6. Is j(-3) a prime number?
True
Let w(z) be the second derivative of -25*z**3/3 - 71*z**2/2 - 3*z - 6. Is w(-21) composite?
True
Let j(r) = 6*r + 281 + 9 + 65. Is j(0) prime?
False
Let o(p) = -p**3 - 4*p**2 + 37*p + 7. Let m be o(4). Let w be (0 - 30*-4) + 2. Let z = w + m. Is z prime?
True
Let r = 31 + -13. Suppose -o + 23 = 3*b - 1, 0 = -3*b + o + r. Is (-6)/21 - (-2011)/b composite?
True
Suppose -2*z + o = 1466, 4*o - 3666 = 5*z + o. Let a = z - -1033. Is a a composite number?
True
Let n = 63 - 47. Is ((-12)/n)/((-2)/3448) a prime number?
False
Suppose -443 = w - 1320. Suppose -5*k = -5*v + w + 4483, -4*v - 2*k = -4270. Is v prime?
True
Let d(u) = 17*u - 96. Is d(15) composite?
True
Suppose -l + 0*v = v + 7, -10 = 2*v. Is 769*(2 + -3 - l) prime?
True
Let c(a) = a**3 + 6*a**2 + 5*a + 4. Let p be c(-4). Suppose p = -0*g - 4*g. Is ((-1)/g)/(4/592) a composite number?
False
Let u be (4/(-10))/(8/(-40)). Let c(l) = 15*l + 1 - 31*l - 8*l**u + 21*l + l**3. Is c(10) composite?
False
Let w = 19 + -19. Suppose 8*b - 12*b = w. Suppose b = -f + 401 + 6. Is f prime?
False
Let p(q) = 58*q + 3. Let i be p(2). Suppose 6 + 6 = 3*u. Suppose u*w - 3*w - i = 0. Is w a prime number?
False
Let g(d) = -d**3 - 9*d**2 + 16*d + 11. Suppose i - j = -2*i - 36, -4*i + j = 49. Is g(i) a prime number?
True
Suppose -3*d + 8488 = 5*z, 3*d + 4*z - 2834 = 2*d. Suppose 3*h + 24818 = 5*f, -2*f + d + 7102 = -2*h. Is f composite?
True
Let m(l) = -2563*l + 146. Is m(-5) a prime number?
False
Let m(x) = 1213*x**2 + 2*x. Let r(s) = 3*s - 19. Let u be r(10). Suppose 5*a - 15 = -5*l, a = 5*l + 5*a - u. Is m(l) a prime number?
False
Let h be (2/(-4))/(2/(-9532)). Suppose 2*p + 0*i + 4*i - 2398 = 0, -2*p = -i - h. Is p prime?
True
Let h = 35 - 33. Suppose 5*x = 2*j + 2469, -h*x = 5*j - 294 - 682. Is x a composite number?
True
Let x = 145 + -152. Suppose a - 3*a = 0. Let h = a - x. Is h composite?
False
Let f = 492 + -241. Is f a composite number?
False
Let k = -115 + 223. Suppose 0 = v - o - 228 - 185, 0 = -3*v + o + 1245. Suppose 4*s = k + v. Is s a composite number?
False
Let c(h) = -h. Let y(q) = 7*q + 11. Let k(f) = 5*c(f) + y(f). Let d be k(-5). Is 7/((-2)/(-226)*d) prime?
False
Let r = 19 + -18. Let t be (30/(-9))/(r/(-78)). Suppose -15 = 3*p, -y + 2*p = -19 - t. Is y a prime number?
True
Suppose 14*m - 5*m - 71937 = 0. Is m a prime number?
True
Suppose 400 = -4*p + 2*h, 5*p + 779 = 5*h + 274. Let n be 1/(-5 - -4) - p. Let i = 13 + n. Is i composite?
True
Let g(n) = n**3 - 5 + 7*n**2 - n**3 + 5*n + n**3. Let m be g(-6). Is (-1)/((2/(-290))/m) a composite number?
True
Let o(z) = 26*z**2 + 6*z - 11. Let l(m) = -25*m**2 - 6*m + 10. Let k(v) = -6*l(v) - 5*o(v). Is k(-6) prime?
False
Let u be (4 + (-18)/5)/(2/30). Let i(g) = 0*g**2 + 2 + 8*g + 4*g**2 - 7. Is i(u) a composite number?
True
Suppose 5*g + 250 = 5*t, 2*t + t = g + 152. Suppose 0 = -56*b + t*b + 6635. Is b a composite number?
False
Suppose -5*v - 2*c + 4169 = 0, -6*c - 15 = -c. Let y = v + -222. Is y a composite number?
False
Let i(q) = -417*q - 4*q**3 + 7*q**3 - 11 + 429*q + 9*q**2. Is i(7) a composite number