f**2. Is g(y) composite?
True
Let c(z) = 12*z**3 + 7*z**2 - 5*z + 1. Suppose -2*f + 6*f = 20. Is c(f) composite?
True
Let d = -9 + 11. Suppose 0 = -m + 4, -5*a + d*m + 1785 = -62. Is a composite?
True
Let a = 13 - 7. Let v = a - 3. Suppose -30 = h - v*h. Is h prime?
False
Suppose 8 = b + o + 1, 0 = -2*o + 6. Suppose 0 = -s - d - 3, b*s - 3*d - 5 = -3. Is s/(-3) - (-290)/30 a prime number?
False
Suppose 461 + 47 = 4*q. Suppose -13*n = -14*n + q. Is n prime?
True
Let c = -7 + 4. Let i = -102 - -297. Is (c + 0)*i/(-9) a prime number?
False
Let d = -35 - -35. Suppose d = -i + 5*a - a + 429, -4*a + 810 = 2*i. Is i prime?
False
Suppose -t - 4 = -4*x, 2*t + 2*t = -2*x + 2. Suppose -5*f + 4081 = 3*q - 4287, -2*f + 2*q + 3344 = t. Is f a prime number?
False
Suppose -s + 3548 = -7479. Is s a prime number?
True
Suppose d = -2*d - 6. Let c be d - -3 - 0 - 482. Is (-6)/3 + 2 - c a prime number?
False
Suppose 0 = -s + 6*h - 5*h + 2551, -5*h = 2*s - 5102. Is s a prime number?
True
Let w(l) = -39*l - 42*l + 13 + 21*l. Is w(-13) composite?
True
Suppose -5*l - 5*x + 15 = 0, 2*x = l - 3*x - 3. Let j = -19 + 19. Suppose -l*i - 72 + 249 = j. Is i prime?
True
Let k(u) be the first derivative of 92*u**2 - 7*u + 4. Is k(2) a composite number?
True
Let r be 6/(-1) + 3 - -1514. Let a = r - 954. Is a composite?
False
Suppose 3*k - 12 = 5*k - 4*z, 3*z - 18 = -3*k. Suppose 4*x = -2*w + 134, k*w + 0*w - 134 = 3*x. Is w a composite number?
False
Let w = 15 - 12. Suppose 0 = -a + 5*l + 664, 3*a - w*l = -a + 2724. Suppose -a = 5*c - 2149. Is c composite?
False
Let f(i) = 48*i**2 + 2*i - 18. Let m be f(8). Suppose 0*w = 2*w - m. Let s = w - 804. Is s composite?
True
Let q = -384 + 884. Suppose 2*j - q = 4*t, -5*j + t + 1114 + 154 = 0. Is j a prime number?
False
Suppose -5*k + 6*n - 5*n = -54157, k - 3*n = 10837. Is k composite?
False
Let z(d) = -d**3 + d**2 + d - 2. Let t be z(-2). Is 50794/30 + t/(-60) composite?
False
Let f(g) = 144*g**2 - 6*g + 31. Is f(9) composite?
True
Let f(o) = -621*o - 21. Is f(-4) composite?
True
Let x(o) = o**2 - 2*o - 45. Let f be x(8). Suppose -3*q = -0*q - 2403. Suppose d = f*u - 604, -4*u - d = 2*d - q. Is u a prime number?
False
Suppose 68 = 2*i - 1710. Is i a prime number?
False
Suppose -6*o + 11755 = -5963. Is o a composite number?
False
Let s = -47 - -20. Let c = -92 - -156. Let z = s + c. Is z composite?
False
Suppose 5*k = h - 110, 82 + 6 = -4*k - 2*h. Is (285/6)/((-11)/k) composite?
True
Is (-4)/(-16) + 318987/36 a prime number?
True
Suppose -14 = -5*m + 3*m. Let u(d) = 103*d - 12. Is u(m) prime?
True
Suppose 4*f = -3*q + 8771, 5*q - 5*f - 10560 - 4035 = 0. Is q prime?
False
Suppose -2 - 3 = -p. Suppose 0*r + p*r = 3395. Is r prime?
False
Let n(x) = -5*x**2 + 3*x**2 + 3*x**2 + 250. Let z be n(0). Let w = 371 - z. Is w a prime number?
False
Let p(f) = -19*f + 23. Is p(-9) composite?
True
Is -14 + 11 - (-296)/2*14 prime?
True
Let u = -3021 - -6850. Is u prime?
False
Let m(a) = 4*a - 7. Let c(b) = b. Let y(g) = -3*c(g) + m(g). Let w be y(5). Is (-6)/(4*w/116) a prime number?
False
Is (-39)/(-2)*(-199454)/(-93) a prime number?
False
Let q(p) = -27*p - 19. Suppose -17*r = -16*r + 6. Is q(r) prime?
False
Let z(t) = -277*t + 5. Let s be z(-2). Let v = s - 218. Is v composite?
True
Let w(r) = 51*r + 10. Suppose 0 = -5*i + 3*a + 34, i - 2*i = -4*a - 17. Is w(i) composite?
True
Let p(g) = -5 - 2 + 0*g**2 - 7*g - g**2 - 1. Let n be p(-6). Is 74/3*(-9)/n prime?
False
Let q(x) = -x**3 + 7*x**2 - x + 10. Let w be q(7). Suppose -13*m + 4*m = -6714. Suppose -w*l = -5*l + m. Is l a composite number?
False
Suppose c - 2*c - i + 1108 = 0, -4472 = -4*c + 4*i. Suppose 12*z - 9*z = c. Is z a composite number?
True
Let g = -254 + 356. Suppose 94 = 4*q - g. Is q a composite number?
True
Let g = 12192 + -6526. Is g prime?
False
Suppose 30*r + 45283 = 37*r. Is r prime?
True
Let o(b) be the first derivative of 20*b**3/3 + 2*b + 14. Is o(-5) a composite number?
True
Let b = 17162 - 10011. Is b a prime number?
True
Let h(c) = -19*c - 13*c - 17 + 5 - 3. Is h(-4) prime?
True
Let h = 46451 + -6358. Is h composite?
False
Suppose 3*q - 1111 = -334. Let t = -150 + q. Is t prime?
True
Suppose 22*l = 9795 + 10159. Is l a composite number?
False
Let s be (-1*(3 + -1))/(-1). Suppose -3*n - s*a = 10, -3*n - 4*a + 3*a - 11 = 0. Let v = 22 - n. Is v composite?
True
Let s(j) = -12*j**2 - 3*j + 2. Let q(i) = -25*i**2 - 6*i + 3. Let l(r) = 3*q(r) - 7*s(r). Suppose -10 = -2*f, f = -u - 2*f + 11. Is l(u) a prime number?
True
Let q = -11 - -16. Suppose -q - 26 = -t. Let p = 386 - t. Is p prime?
False
Let d(w) = -5*w**2 + w - 3 + 4 - 5*w - 3*w**2 + 13*w**2. Suppose -3*n = -2*b + 6, -2*b + 7*b + 3*n = 36. Is d(b) prime?
True
Let x be (-9 + -1)*(25/(-2) + 0). Let u(p) = -11*p - 2. Let y be u(6). Let k = y + x. Is k a composite number?
True
Let k = 516 + -108. Suppose -3*f = -7*f + k. Suppose -3*r + r = -f. Is r prime?
False
Is ((-202544)/40)/(3*(-2)/15) composite?
False
Suppose -4*i + 12*i + 8 = 0. Let t(q) = 14*q**2 + 1. Is t(i) prime?
False
Let d = 89 - 126. Let k = d - -96. Is k composite?
False
Let y be 4/(-10) - 190/25. Let t be 214 + -1 - (y - -8). Let x = 452 - t. Is x a composite number?
False
Let g = 12507 - 6188. Is g prime?
False
Suppose -5*b + 50 = 2*c + 3*c, -2*c - 10 = -4*b. Suppose -8*s = -5*s. Suppose b*z - 344 - 841 = s. Is z a composite number?
True
Is (6/(-8))/((-4)/12752) a prime number?
False
Let r = 1935 + -1084. Let w = r + -1315. Let s = 649 + w. Is s prime?
False
Suppose -6*f + 2*f = -36. Suppose -7*p = -f*p + 6818. Is p a composite number?
True
Suppose 0 = t - 4*t - d + 33082, -4*t - 3*d + 44111 = 0. Is t composite?
False
Let k(v) = -v**3 + 13*v**2 - 3*v + 4. Let o(x) = 2*x**3 - 14*x**2 + 2*x - 3. Let r(m) = 3*k(m) + 2*o(m). Is r(-7) prime?
False
Suppose 20 = -76*l + 71*l. Is 202 - (0/2)/l composite?
True
Let b = 182 - 2009. Let c = b - -3518. Is c composite?
True
Let g = 25 - 25. Suppose -9*l + 3*l + 1518 = g. Is l prime?
False
Suppose -s = -122 - 44. Suppose 2*b + 296 = 6*b - 3*j, 0 = -2*b - 3*j + s. Is b prime?
False
Let r(b) = 3*b**2 - 14*b + 25. Let f = 18 + -8. Is r(f) composite?
True
Suppose 5*y + 718318 = 4*f + 258375, -2*f - 4*y = -229978. Is f a prime number?
False
Suppose 5*v + 1448 = 2*v + 5*g, 4*g - 16 = 0. Is (6/4)/((-6)/v) prime?
False
Let n(y) = -y - 3*y + 3*y**2 - 1 - 4*y**2. Let w be n(-3). Is w/7 + 3291/21 a composite number?
False
Let t = 117 - -362. Is t prime?
True
Let g(i) = 4*i**2 + 6*i - 11. Let w be g(-19). Suppose 5*l = w + 1916. Is l a composite number?
False
Suppose 2*s - 18 = -12. Let j be -1 + 70/(s + 2). Suppose 16*w = j*w + 291. Is w a prime number?
True
Suppose -5*l = -t + 760, 7*l - 5*t = 2*l - 780. Let u = l - -216. Suppose o + u = 2*o. Is o composite?
True
Suppose -9 - 9 = -2*v. Suppose -2*o = o - v. Suppose -o*z = z - 60. Is z prime?
False
Let u(h) = h**2 - 16*h + 22. Let b be u(17). Suppose k + 4*d - b = 2*d, -2*k = 3*d - 77. Is k a prime number?
True
Let n(m) = -m**3 - 2*m**2 + 2*m. Let p be n(-3). Suppose 0 = p*o + o + 192. Let x = o + 263. Is x composite?
True
Is 1 - (6 - 18141) - -1 composite?
True
Let g(h) = 4*h**2 - 2*h + 5. Suppose -8*y = -3*y - 15. Let u = 8 - y. Is g(u) a prime number?
False
Suppose 26 = 3*i + 2. Let v = i + -18. Is v/(-35) - 1643/(-7) a composite number?
True
Let r(m) = -m - 10. Let k be r(-13). Suppose k*x - 56 = -s, 0 = 4*x - 3*x + s - 18. Is x a composite number?
False
Is -1*(-25523)/(-9 - -10) composite?
False
Suppose 0 = -3*k - 2*v + 54979, -k + 5*v - 1806 + 20155 = 0. Is k prime?
True
Suppose 0 = -3*i - 3930 + 21495. Is (i/(-15) + 0)*-3 a prime number?
True
Let v(o) = 932*o**2 + 40*o + 41. Is v(-12) prime?
True
Let f(d) = 5622*d**2 + 8*d - 7. Is f(1) a prime number?
True
Let c = 549 + 512. Is c composite?
False
Let d be 2*29*-10*(-7)/35. Suppose 2*n = d + 6018. Is n prime?
True
Suppose -1146 = 2*i + i. Let f = -267 - i. Is f a prime number?
False
Let c(t) = -8*t**3 + 4*t**2 - 11*t + 7. Let u be c(-6). Suppose 3*q = -2*j + 2081, 134 = 2*j + q - u. Is j a prime number?
True
Let v be 0 + (36/(-1))/4. Let n(g) = -39*g + 21. Let s be n(v). Is s/(-10)*(-10)/4 a composite number?
True
Let v = -1527 + 6164. Is v a composite number?
False
Let a = 135951 - 71650. Is a a composite number?
False
Let