9*v + 35. Is z(c) composite?
True
Let o = 3 - 3. Suppose -3*c + 15*t = 12*t - 13119, 4*c = -t + 17507. Suppose o = 5*i + 3*i - c. Is i a composite number?
False
Suppose 14 = 15*c - 2416. Suppose 3*u = -3*t + 270, -5*u + 381 = -3*t - 61. Let s = c + u. Is s a composite number?
False
Let r = 14495 + -20449. Let x = 9587 - r. Is x a prime number?
True
Let i(p) = p**3 - 23*p**2 - 315*p + 71. Is i(36) a composite number?
True
Let v = 134042 + 204951. Is v a composite number?
False
Let m = 177 + -163. Suppose -m*l + 48993 = 7*l. Is l a composite number?
False
Let a(w) = -4088*w + 341. Is a(-7) a prime number?
False
Suppose -784 = -h - 3*h. Let k = h + -692. Let y = k - -711. Is y a composite number?
True
Suppose 13*f - 10*f = 165. Let k = f + -25. Is 202280/k - (-1)/3 a prime number?
False
Suppose 0*c - 11 = -4*s + c, s - 29 = -5*c. Is (-2 - (-10285)/3 - s)*3 a prime number?
True
Suppose -t = -37*z + 33*z - 27113, -135440 = -5*t - 5*z. Let x = -17870 + t. Is x composite?
True
Let d = 3383 + -2089. Suppose -d - 328 = -2*o. Suppose -o = -4*f - 5*w, -4*f = -2*w - 3*w - 781. Is f prime?
True
Let v(h) = -15 + 14 + 6*h - 3*h + 10*h**2 - 6*h. Is v(-6) a composite number?
True
Suppose -214*a + 438*a - 178837 = 223*a. Is a a prime number?
False
Let s(d) = d - 25. Let l be s(43). Let c(b) = -2*b**3 + 40*b**2 + 40*b - 43. Is c(l) composite?
False
Suppose 0 = -y + 4*y - 21. Let t(p) = 2*p**3 - 13*p**2 - 9*p + 15. Let d(j) = 2*j**3 - 14*j**2 - 9*j + 16. Let w(f) = -6*d(f) + 7*t(f). Is w(y) composite?
True
Suppose -z + 4*z - 25 = 4*o, -8 = 4*z + 5*o. Let b be z*(-1)/(9/3) + 5. Suppose y - 210 = -5*c + 697, 0 = -b*c. Is y a prime number?
True
Suppose -162*h + 159*h - 4*z = -142125, -h = 3*z - 47380. Is h a prime number?
False
Let a = -247 + 243. Is a + (-22117)/(-8) + (-3)/(-8) a composite number?
True
Let g(o) = -77*o + 244*o - 77 - 226 + 49. Is g(9) composite?
False
Suppose -16 = -21*u + 20*u. Suppose -3*y = 4*m - u, -5*y + 6*y - 3 = m. Is 2 + 2*7582/y prime?
True
Let q(u) be the second derivative of u**3/6 + 9*u**2 + 7*u. Let c be q(-13). Suppose -r = -c*f - 1320, -r + 810 = 3*f - 550. Is r a composite number?
True
Suppose 3*f - r = 40, 8*f - 4*r - 34 = 5*f. Suppose -f*h + 63434 = 32*h. Is h a composite number?
True
Let u(g) = -12*g - 33*g - 90 - 34*g - 66. Is u(-25) composite?
True
Let o(x) = 15*x**2 + 26*x - 125. Suppose 3*n - 4*l = -6*l + 24, 40 = 5*n + l. Is o(n) composite?
True
Let o(s) = -441*s + 137245. Is o(0) prime?
False
Is 693478/2*(-5 + 6) a prime number?
True
Let x(z) = 5*z**2 + 2*z. Let j be x(-1). Suppose -w + 0*w = o - 1065, 0 = j*o - 3*w - 3219. Is o a prime number?
True
Let x = -31755 + 63856. Is x a prime number?
False
Let l = 406 + -281. Suppose -2*a = -4*a + 4. Suppose -3*p = -a*o + l, 0*o + 4*p = -4*o + 280. Is o composite?
False
Suppose -11*q + 48 + 29 = 0. Let r be (1 - 11/q)/((-2)/14). Suppose -2*m + 5*l + 2027 = 130, r*m + l - 3761 = 0. Is m a prime number?
True
Let g(o) = 199*o**2 - 70*o - 142. Is g(19) a composite number?
True
Let u = -65784 + 121930. Suppose 7272 - u = -14*x. Is x a prime number?
True
Let c = -21 + 25. Suppose c*l - 20 = 0, t - 6 = -2*l + 6. Suppose 2*g + t*r = 1722, 5*g - 2*r - 2*r = 4341. Is g a composite number?
True
Suppose 9*k - 2972545 - 6578 = -12*k. Is k a composite number?
False
Let w(m) = -m**2 - 8*m - 11. Suppose 4*d + 44 = 3*v, 3*d + 48 = -2*d + 2*v. Let j be w(d). Let b(x) = -139*x. Is b(j) a prime number?
False
Let a be (-21)/5 + 2/10. Let b(z) = -150*z - 5. Let u(i) = 149*i. Let d(c) = -3*b(c) - 4*u(c). Is d(a) a composite number?
False
Suppose -2*m + 1010511 = -u, -38*m + 34*m - 5*u + 2021015 = 0. Is m a prime number?
False
Let p(l) = -22*l**2 - 29*l**2 - 3 + 0*l**2 - 35*l**2 - 4*l. Let c be p(5). Let i = c + 3456. Is i prime?
True
Let c(t) = -t - 3*t**2 + t**3 + 3*t**2 + 7. Suppose -1584 + 1539 = -9*x. Is c(x) composite?
False
Let t = 16108 + -4745. Is t a composite number?
True
Let q(u) = 263*u**2 + 5270 - 5270. Suppose 0 = 5*k - 4*k + 1. Is q(k) a prime number?
True
Let h = -423997 + 615894. Is h a composite number?
True
Suppose -4*l + 3*q + 531085 = 0, 11*l - 9*l - q - 265539 = 0. Is l composite?
True
Let q be 12/4 - (2/(-2) + 128). Let l be 1 + (-3)/(-6)*394. Let w = q + l. Is w a composite number?
True
Suppose 2*u - 10*u + 54904 = 0. Let o = u + -3574. Suppose o = 4*d - 1107. Is d prime?
False
Suppose 25691057 + 14858393 = 222*x - 6981416. Is x composite?
True
Suppose 17*c = 11*c. Is c*(0 - (-1)/(-3)) - -1145 prime?
False
Suppose -m = -5*j + 13 - 2, 0 = m - 4*j + 8. Suppose 5*x = -u - 4*u + 8265, -m*u - 2*x = -6604. Is u composite?
True
Let q(l) = l. Let a be q(-17). Let v = 22 + a. Suppose 3*c = -f + 19, v*c = -2*f - 0*c + 42. Is f composite?
False
Let i(d) = -d**3 - 4*d**2 - d - 4. Let p be i(-4). Suppose -1006*a = -1004*a - 500. Suppose p = -2*w + 2, w + 0*w + a = t. Is t prime?
True
Let b = 2211761 + -1556562. Is b a composite number?
True
Suppose 21*z = 10*z + 22. Let k be (-1)/(-2)*0/2. Suppose h - z*h + 106 = k. Is h composite?
True
Let z(a) be the first derivative of a**4/4 - 4*a**3/3 - 3*a**2/2 - 27*a + 13. Is z(11) prime?
True
Suppose 89 = -4*u + 461. Let l = -88 + u. Suppose 8399 - 1544 = l*r. Is r composite?
True
Suppose 4*g - 680792 = -21*y + 22*y, 5*g = -5*y + 850965. Is g a composite number?
False
Suppose -1552326 = 5*f + 2*k - 5097799, 4*f - 2836406 = 3*k. Is f composite?
False
Is 51/(-85)*(-1426565)/21 a prime number?
True
Is 23 - ((-81710784)/(-16))/(-18) composite?
False
Is ((-19)/(-152))/((-1)/(-661688)) prime?
False
Let g(y) = -y**2 - 13*y - 10. Let a be g(-12). Suppose 0 = -3*n - a*n + 7385. Suppose -5*v = -6*v + n. Is v a prime number?
False
Suppose -16*n + 18*n - 4 = 0. Suppose 4*f = r - 67 + 492, -1225 = 3*r - n*f. Let l = 712 + r. Is l composite?
False
Suppose 25*z - 4 = 24*z. Suppose 2349 - 21353 = -z*s. Is s prime?
True
Let m = 22 - 10. Let d(p) be the third derivative of p**4/6 - 11*p**3/6 + 6*p**2. Is d(m) prime?
True
Suppose -1013488 = -6*b - 91930. Is b a prime number?
False
Let f(n) = -n**3 + 3*n**2 + 40*n + 5. Let t be f(8). Suppose 0 = -4*d - d + 20, 4*y - t*d = 57792. Is y a composite number?
True
Suppose -6393*h + 6399*h = 108246. Is h a prime number?
True
Let b(m) = 10*m**2 + m + 3. Let v(c) = c**2 + c + 1. Suppose -9*y + 2 = -10*y. Let l(f) = y*v(f) + b(f). Is l(-4) prime?
False
Suppose 0 = 4*q - 3*k + 96, 0*q + 5*q = 3*k - 120. Let o be (q/(-60))/((-1)/(-30)). Is (0 + (-1041)/12)*o/(-3) composite?
False
Suppose 4*b = 3*b - 3*n + 555380, 0 = 2*n - 6. Is b a composite number?
True
Suppose -24 + 3 = -3*o. Suppose -5*w = 4*i + o, -i + 4*w - 1 = -15. Suppose -2*c - 1 = 5, -i*k + 2*c + 676 = 0. Is k composite?
True
Let o(y) = y + 33. Let t(r) = 11. Let p(f) = -2*o(f) + 7*t(f). Let h be p(5). Is 7980/(h + 4) + (-1)/(-1) prime?
True
Let w(s) = -1024*s**3 + 65*s**2 - 4*s - 16. Is w(-5) composite?
False
Let h be 13 - 4*15/12. Suppose 2*i + h = t - 8, -30 = 4*i - 3*t. Is (-13028)/(-6) + -7 + (-60)/i a prime number?
False
Suppose 13*z - 19 = 46. Suppose 3*l - 111 - 559 = p, -5*p = z. Is l a composite number?
False
Let c(t) = 28*t**2 + 6*t - 21. Suppose -5*g - 15 = -2*a - 50, 3*g - 21 = 2*a. Is c(g) composite?
True
Let a be 443040/380 + ((-6)/(-19))/3. Let p be (-4)/20 - 32/(-10). Suppose -p*n = 3*l - 157 - a, -3*l + 12 = 0. Is n prime?
False
Let c(b) = -38*b - 98*b - 3 - 2. Let i be c(-2). Suppose -4*z = -i - 1117. Is z a composite number?
True
Let j(y) be the first derivative of 5*y**3/3 - 11*y**2/2 + 5*y + 20. Let q be j(-9). Suppose -q = -4*x - 57. Is x composite?
False
Suppose -721749 = -283*s - 25852. Is s composite?
False
Let l(d) = -d**3 - 16*d**2 - 15*d + 1. Let y be l(-15). Let m(x) = x**3 + 6*x**2 + 7*x + 10. Let k be m(-5). Is (-1)/(k + y + 27126/(-27117)) composite?
True
Let h(i) = 118*i**2 - 55*i + 15. Let d be h(-16). Suppose 19*m - d = -0*m. Is m a prime number?
True
Let b(w) = -w**2 + 17*w + 18. Let i be b(14). Let s = i + -58. Suppose -13865 = -5*h + 5*g, 0 = -3*h + s*g + 7980 + 339. Is h a prime number?
False
Let c(g) = 567*g + 6359. Is c(8) composite?
True
Suppose 0 = 2*l - 1 - 3. Let p(n) = -13 + 521*n + 21*n + 73*n + 2 + 71*n. Is p(l) a composite number?
False
Let b = 49 + -44. Suppose -2*j - 11083 = x, b*j + x + 27704 = 2*x. Is j/(-6)*(0 - 