 Let h = -1 + 5. Let y be p(h). Let v = 94 + y. Is v prime?
True
Suppose 2*z = 3*u + 150 + 77, 0 = 5*u - 4*z + 379. Let f be 4/(-30) + (-10360)/u. Let m = f + -71. Is m a prime number?
True
Is 1 + -2 - ((-3050 - -1) + 5) composite?
True
Let j(y) = -y + 19. Let n be j(9). Is n + -13 - 100/(-2) a composite number?
False
Let s = 3850 + -1031. Is s a composite number?
False
Suppose -34 = -17*b + 17. Suppose z - 2*u = -6*u + 1523, 5*z = -b*u + 7700. Is z prime?
True
Let x = -3077 + 5746. Is x prime?
False
Let g be ((-24)/4)/(15/(-6) - -2). Let k(b) = -b**3 + 20*b**2 + 8*b + 5. Is k(g) a composite number?
True
Suppose -1396 = n + 3*n. Let v(w) = 30*w - 6. Let m be v(-7). Let a = m - n. Is a a composite number?
True
Suppose -7*h - 254 = -9*h. Suppose 0*c + c = h. Is c prime?
True
Let i(h) = 2*h**2 + h + 3. Let t = 2 - 5. Let z be i(t). Let a = z - -173. Is a prime?
True
Suppose -49310 = -5*v + 3*o, -v + 9*o - 11*o = -9875. Is v prime?
False
Suppose -5*k = -k. Suppose k = 6*a - 8*a + 576. Let x = -77 + a. Is x a composite number?
False
Suppose 9*z = 13*z - 8. Suppose -774 = -p + z*t, -3*p + 4*t + 2294 = 5*t. Is p a composite number?
True
Let u(q) = q**2 + 3*q + 2. Let c be u(-2). Suppose -6*z + z + 4885 = c. Is z composite?
False
Let z be 2*2 - (-6 + 5). Let n(t) = 75*t + 4. Is n(z) composite?
False
Let g be ((-2)/(-6) + (-6738)/18)/(-1). Suppose -17*s = -19*s + g. Is s a prime number?
False
Let k(c) = 343*c + 58. Is k(3) prime?
True
Let o be 10/4*(-4)/(-2). Suppose 0*r = o*r + 15. Is 81 - (4 + r)*-1 prime?
False
Suppose 0*w - 2*w - 50 = -4*o, -2*w = 3*o + 22. Let l = 274 - w. Is l a prime number?
False
Let s(g) = 185*g**2 + 49*g - 275. Is s(7) composite?
False
Is 21414 - (2/14 + (-68)/(-14)) a composite number?
True
Let w(o) = -8*o**3 - 2*o**2 - 12*o - 7. Is w(-5) prime?
False
Let m be (-3 - (-51)/9)*3. Let d(s) = 14*s + 17. Is d(m) a composite number?
True
Let w = -22962 - -44821. Is w prime?
True
Suppose 815 = a - 3*u, -4*a - 2*u + 3271 = -3*u. Is (-3 - (3 - 3)) + a a prime number?
False
Let n = 127 - 678. Let f = -286 - n. Is f a prime number?
False
Suppose -3*j = -12078 - 4182. Let m = 9403 - j. Is m a prime number?
False
Suppose -11*i + 384 = -5*i. Let l = 337 - 106. Suppose -i = -q + l. Is q prime?
False
Suppose 182 = 4*y + 14. Suppose 0 = -4*p + y + 2482. Is p composite?
False
Is ((43 - 37) + (-70406)/(-10))*5 a prime number?
False
Let s(v) be the first derivative of 2*v**3/3 + 11*v**2/2 - 2*v - 10. Is s(-6) composite?
True
Suppose 4*p + 53 = 325. Suppose 2*a - a = -2*y + p, -a + 134 = 4*y. Is y a composite number?
True
Let x(h) = -10*h - 27. Let m(f) = -21*f - 54. Let i(v) = -2*m(v) + 5*x(v). Is i(-14) prime?
False
Is (3/(-6) + 0)/((-8)/15856) composite?
False
Let l be 5 + (-2)/(-1 - -2). Suppose l*x - 2455 = 4*h, -831 = -x - 5*h - 0*h. Is x prime?
True
Let i = 107 - -661. Suppose -3*v + i = -3*c, -2*v + v - 2*c + 247 = 0. Is v a prime number?
False
Let g(n) = -n. Let s(o) = -323*o + 2. Let x(a) = 6*g(a) - s(a). Is x(3) composite?
True
Let h = 21 + -4. Let o = h - 14. Suppose 4*w - 3*w + 673 = o*r, -5*r - 3*w + 1103 = 0. Is r a prime number?
True
Let c = -835 + 474. Suppose 2*o = -o + 1554. Let i = o + c. Is i a composite number?
False
Let i be 6 - (-3 + (2 - -4)). Let p(m) = -14*m**2 + 3*m + 4. Let q be p(i). Let r = -70 - q. Is r composite?
False
Is 32/(-28) + 1 - 20596/(-14) a prime number?
True
Suppose 125*l = 130*l - 15, 0 = 3*t - l - 6660. Is t composite?
False
Suppose -3*v = 3*o - 4986, -o - 3315 = 2*v - 4*v. Suppose -592 = -z + v. Is z a composite number?
False
Suppose -77752 = 265*g - 273*g. Is g prime?
True
Let z(d) = 317*d**2 + 11*d - 297. Is z(14) a composite number?
True
Let t(g) = 3*g - 2. Let h(l) = -l - 4. Let v be h(-6). Let y be t(v). Suppose -112 - 84 = -y*s. Is s composite?
True
Let r = 921 - 1290. Let y = r - -638. Is y composite?
False
Let r(k) = -78*k - 1. Let g(t) = -t**2 - 6*t + 2. Let s be g(-7). Is r(s) a composite number?
False
Let v(i) be the second derivative of -i**3/3 - 3*i**2 + 6*i. Let s be v(-7). Is (s/(-10))/(2/(-5)) composite?
False
Let m be (-3)/(-7) + 28424/56. Suppose m = -15*g + 19*g. Is g prime?
True
Suppose -62*n = -18*n - 563596. Is n composite?
False
Let o(b) = 168*b**2 + 24*b - 15. Is o(14) a prime number?
False
Suppose -8*l + 42 = 122. Let h(u) = 13*u**2 - 10*u - 25. Let q be h(l). Suppose -3*i + q = 481. Is i a composite number?
True
Let s(d) = 4 + 0*d**3 - d**3 + 43*d - 40*d + d**2. Is s(-3) prime?
True
Let d(j) = -2*j**3 + 2*j**2 + 4*j - 8. Let l be d(-5). Suppose 4*u + l = 4*p, 3*u - p + 209 = p. Let h = u - -112. Is h composite?
True
Let m(w) = -25 - 22*w + w - 31*w. Is m(-5) a prime number?
False
Let d = 6288 - 2855. Is d a prime number?
True
Suppose 4*g = 4*l - 56, 43 = -5*g - 5*l - 7. Let a(w) be the third derivative of 3*w**5/20 + 5*w**4/12 - 7*w**3/6 - 6*w**2 + 5*w. Is a(g) prime?
False
Let q = 12290 - 3789. Is q a prime number?
True
Let g = -23 + 32. Let o(p) = p**3 - 9*p**2 + 5*p + 8. Let m be o(g). Suppose -2*r + r = -m. Is r prime?
True
Suppose -12*w - 27671 = -19*w. Is w a composite number?
True
Let d(b) = b**2 + 5*b + 3. Let t be d(-4). Is (t + (-1 - -1))*(-10 + -433) a prime number?
True
Is 1/(-2)*((-65699 - -8) + 5) prime?
True
Suppose -19608 = 7*y - 135073. Is y a composite number?
True
Suppose -3*w + 4*j = 2*w + 737, -2*w = 2*j + 302. Let t = w - -400. Is t prime?
True
Let q = -49 - -49. Suppose -5*t + q - 937 = -3*f, -4*f + 2*t + 1240 = 0. Is f a prime number?
False
Let b(q) be the third derivative of q**5/60 + q**4/6 + q**2. Let s be b(-5). Is (-1818)/(-15)*s/2 a prime number?
False
Let y(t) = 3*t**2 - 4*t**2 - 11*t + 13*t + 69. Is y(0) prime?
False
Let c(l) = -387*l + 11. Is c(-6) a prime number?
True
Is ((-2019)/5)/(6/(-10)) a composite number?
False
Suppose -3*j + 5*b + 80 = 0, 5*j + 4*b - 132 = -48. Suppose j*f - 25*f = -3935. Is f a prime number?
True
Let l(u) = 2333*u**2 - 3*u - 3. Is l(-1) composite?
False
Suppose 878 = 2*r - 5*z, -r = -5*z - 71 - 373. Suppose -g + 3 = -6. Suppose -g*m + 11*m = r. Is m a composite number?
True
Suppose 21*l = -4937 + 42002. Is l a composite number?
True
Let k be (-13956)/(-9) - 7/(-21). Let t = k + -44. Is t prime?
False
Suppose 0 = -2*c + 2*k - k + 53, -k = c - 25. Suppose 16*z - 17*z = c. Is ((1 - -2) + z)*-5 composite?
True
Suppose 4*g + 2*n + 60 = 3*n, -g + 2*n - 8 = 0. Let o = g + 26. Is ((-138)/o)/(3/(-15)) a prime number?
False
Suppose 3*v - 3 = -378. Let u = v - -336. Is u a composite number?
False
Suppose 4*s = 2*m - 24, 0 = -5*m - 2*s + 108. Let r = -6 + -4. Is (-78)/r + m/(-25) prime?
True
Is (12/9)/(1/((-61890)/(-8))) composite?
True
Let y = 25 - 10. Suppose -4*s + 0*s = -v - y, -v + 9 = 4*s. Is (14/s)/(32/6672) a composite number?
True
Let p(u) = 34*u**3 - 3. Let i be p(3). Suppose -3 = 2*k + k + 4*t, 5*k - 24 = 3*t. Suppose -3*j + 366 = -j + k*q, 5*j - 2*q = i. Is j a prime number?
False
Let b(z) = 13*z**2 + 0*z - z**3 - 9 + 3*z + 6*z. Let i be b(13). Let m = i - -287. Is m composite?
True
Let w(q) = 7*q**2 - 12*q + 31. Is w(8) a prime number?
True
Suppose 3972 = 7*b - 3*b + z, -4*b = -4*z - 3972. Is b composite?
True
Let c(k) be the third derivative of 31*k**5/6 + k**4/24 - k**3/3 + 10*k**2. Let o be c(1). Is (-12)/9*o/(-4) composite?
False
Let s(q) = 13*q**3 - 6*q - 5 - 1 - 12*q**3. Is s(5) prime?
True
Suppose 0 = -j + 5*q + 5362, -q + 21423 = 4*j + 4*q. Is j composite?
True
Suppose 0 = n - 2*n + 3*b - 39, 5*n = -2*b - 144. Let l = 18 + n. Is 2/l + (-183)/(-18) a composite number?
True
Let p(a) = 1462*a - 1. Let b(j) = 1463*j. Let k(l) = 4*b(l) - 3*p(l). Is k(1) a composite number?
True
Suppose 82640 = -2*j + 18*j. Is j a composite number?
True
Let k = 27522 - 10319. Is k a composite number?
False
Suppose 89*k - 14526 = 84*k - 2*q, -11626 = -4*k + q. Is k prime?
False
Suppose 2*r = -o + 45125, -5*r - 3*o = -0*r - 112810. Is r prime?
False
Let r(l) = -l**3 - 9*l**2 + 11*l + 7. Let s be r(-10). Is (-3852)/(-24)*(-26)/s a prime number?
False
Let o(k) = -359*k + 5. Let g be o(-1). Suppose -3*m = 2*b - g, -5*b = -0*b + 5*m - 915. Is b a composite number?
True
Suppose -5*c = -14938 + 1883. Suppose 0 = -4*f - 3*f + c. Is f a prime number?
True
Let t = -33 + 301. Suppose -j + t + 441 = 0. Is j a composite number?
False
Sup