 Let y be a(3). Let u be y - 5/((-20)/144). Suppose -150 = -4*n - 9*w + 7*w, u = n - 4*w. Is n a prime number?
True
Let s(g) be the second derivative of -g**3/3 - 27*g**2/2 + 13*g. Is s(-17) a prime number?
True
Suppose -7*i = -1401 - 153866. Is i a composite number?
True
Let q(r) = -r**3 + 11*r**2 + 3*r. Let p be q(10). Let g = p - 3. Is g composite?
False
Suppose 5*u = 3*c - 44754, 5*c - u - 2*u = 74606. Is c a prime number?
True
Is (2/30*41889)/((-1)/(-5)) composite?
False
Suppose 0 = 7*o - 14. Let n(g) = 28*g + 1. Let a be n(1). Suppose u - a = o. Is u prime?
True
Let t = 483 + -220. Is t prime?
True
Let z(t) = t + 25. Let b be z(-14). Suppose -10*c + b*c = 23. Is c a composite number?
False
Let q(t) = 20*t**2 + t. Let c be q(1). Let g = c - -125. Is g prime?
False
Let n be (0 + (-3)/(-9))*-21. Let m(p) be the second derivative of -p**5/20 - 5*p**4/12 + 3*p**3/2 + 2*p**2 + p. Is m(n) a prime number?
False
Suppose -5*r = -x - 58, -5*r + 5 = x + 13. Let q be x/(-44) + (-4918)/8. Is q/8*(2 - 6) composite?
False
Let d = 99761 + -23518. Is d composite?
False
Let f(t) = -5*t**3 - 6*t**2 - 8*t - 5. Let s = -51 + 45. Is f(s) a composite number?
False
Let b = -52 + 57. Suppose -b*y + 2624 = -6221. Is y a composite number?
True
Let u = 1914 + 681. Let w = u - 1534. Is w prime?
True
Suppose 4*k - 31999 = -4*u + 3597, 26697 = 3*u + 2*k. Is u prime?
False
Suppose -1578 = 4*h - 17290. Let c be (-82)/(-10) + 1/(-5). Suppose h = c*p - 480. Is p a prime number?
False
Let q(n) = -50 - 6*n**2 + 7*n**2 + 120. Let c be q(0). Suppose -55 - c = -5*z. Is z composite?
True
Is 6/(-9) + 2 + 8095/15 a prime number?
True
Let v(j) = -j**3 + 19*j**2 - 19*j + 3. Let b(z) = 4*z - 4. Let t be b(5). Is v(t) a composite number?
False
Let z(h) = 20*h**2 - 8*h + 61. Is z(8) prime?
True
Suppose 1 = 5*j - 14. Suppose -2*n + 2*g - 448 = 2*n, 0 = -j*n - g - 341. Is (-3)/(-6) - n/2 prime?
False
Let z = -1913 - -5704. Is z prime?
False
Suppose 229742 + 331654 = 12*t. Is t a prime number?
False
Is (-11 + 5 + 7)*(-1 + 4534) prime?
False
Let z(i) = -83*i - 361. Is z(-46) prime?
True
Let h be (11/2)/(((-4)/1)/8). Let k = h + 24. Is k prime?
True
Suppose o = 2 - 0. Suppose 2*g - o*v + 3 = 9, 4*v - 12 = 0. Is (5 - g)/((-1)/233) a composite number?
False
Suppose 0 = -379*v + 377*v + 45726. Is v prime?
False
Suppose 0 = -2*t - 2*d + 2, -4*d - 29 - 2 = -3*t. Suppose -1985 = -0*p - t*p. Suppose -3*r + p = -s, -4*r + 2*s + 526 = -0*s. Is r prime?
False
Let f be -2 - (3 + 1 + -4). Is (-1)/(f/(-12) + (-4529)/26922) a prime number?
True
Let w(z) = -2*z + 20. Let y be w(10). Suppose o + 2*t - 153 = y, -2*o + t + 266 = -3*t. Is o prime?
False
Suppose -o = -351 - 813. Suppose 454 = -5*k + o. Let r = k + -29. Is r prime?
True
Suppose 58969 = 4*m - 16619. Is m a prime number?
False
Is (25796/(-16))/((-1)/4) a prime number?
True
Suppose 2*r - 1 = -3*f + 1, 4*r - 4 = -f. Is (-2)/(-6)*(f - -357) prime?
False
Let z(m) = -3*m - 1. Let k = -4 + 3. Let v be z(k). Let q = v + 143. Is q a composite number?
True
Let a = 13 - 15. Let z(l) = 236*l - 15. Let f(k) = 59*k - 4. Let d(c) = a*z(c) + 9*f(c). Is d(7) a composite number?
True
Let d = 1504 - 1072. Suppose 0 = 3*q - 66 - 804. Let z = d - q. Is z a composite number?
True
Suppose 3*c - 4*r - 17 = 0, 2*c - 1 = -r + 3. Suppose -4*t - c*p = -218, -t - 5*p + 63 = -0*t. Is t prime?
True
Let t(u) = 1217*u**2 - 29*u + 27. Is t(12) composite?
True
Let u(a) = 2214*a + 2. Let q be u(-4). Let g = 13637 + q. Is g a composite number?
False
Suppose 0 = 3*x - 1261 - 272. Let j = -32 + x. Is j prime?
True
Suppose 5*z = -4*v + 2 + 18, z - 5*v = -25. Suppose -3*h + z*h = 2*l - 1143, -2*h = 10. Is l a composite number?
True
Let r(o) = 14*o + 17. Let j(b) = -5*b - 6. Let d(c) = 11*j(c) + 4*r(c). Let u be d(0). Suppose 0 = u*x - 0 - 106. Is x a composite number?
False
Let q be (7/35)/((-1)/(-1205)). Suppose -3*n - q = -4*r + 135, 5*n - 282 = -3*r. Is r a composite number?
True
Suppose -7*z - 4*z + 231 = 0. Let n(g) = -g**3 + 24*g**2 - 23*g - 1. Is n(z) composite?
False
Let l = 1 - -2. Let i be l*(-1)/(3/(-633)). Suppose 5*k = 8*k - i. Is k a prime number?
True
Let q(o) = -o**3 + o**2 + 2*o - 3. Let g = 11 + -11. Let r be q(g). Is 4 - r/(12/508) composite?
False
Suppose -20885 = -13*p + 8*p. Is p composite?
False
Let z = 68 + -53. Suppose -2954 = z*f - 17*f. Is f a composite number?
True
Suppose -2*i = 4*t + 1 + 7, 2*t + 4 = 2*i. Suppose 0 = 4*v - i*v + 184. Let o = 207 - v. Is o composite?
True
Is (6734 + 7/(-7))/(-3 + 4) a prime number?
True
Let h = 884 + 83. Is h a prime number?
True
Let s(w) = 2*w**3 - 2*w**2 + w + 22. Let q(g) = 2*g**3 - 3*g**2 + 22. Let t(y) = 5*q(y) - 6*s(y). Is t(-7) a composite number?
True
Let h(o) = 16*o**2 - 2*o - 4. Let p be h(-3). Suppose 3*x + y - p = -4*y, 0 = -5*y - 10. Suppose 0 = -3*a - a + x. Is a composite?
False
Let w(n) be the second derivative of -1/6*n**4 - 1/20*n**5 + 6*n + 0 + 2*n**2 - n**3. Is w(-5) a composite number?
False
Let u be 0 + -3 + 6 - 0. Suppose 4*x = 2*i + 368, -u*i - 749 = -2*x - 209. Is (i/(-3))/((-14)/(-21)) a prime number?
True
Suppose -3*m + 0*m + 4*i + 140 = 0, -5*m - i + 264 = 0. Let n be (5 - (-1 - -1))*1. Suppose n*p = p + m. Is p a prime number?
True
Is 76266/8 + (-8)/32 prime?
True
Let p(o) = -1149*o + 15. Let y be p(4). Is (-8)/(48/y)*(-2)/(-3) prime?
True
Let q(s) = s**3 + 3*s**2 + 3*s + 701. Is q(0) composite?
False
Let k(q) = q - 8. Let w be k(10). Let a = 967 + -676. Is (a + w)*(-2 - -3) a composite number?
False
Let n(m) = 298*m - 1. Let k be 66/36 + 2/12. Let v(d) = 297*d. Let r(a) = k*n(a) - 3*v(a). Is r(-1) a composite number?
False
Is (6 - 207/36) + 18363/4 a composite number?
False
Let o(x) = -x**2 - 10*x + 10. Let j be o(-11). Is ((-2)/6)/((-3 - j)/1062) a composite number?
True
Let g(u) be the second derivative of 23*u**6/720 - u**4/12 + 5*u. Let r(d) be the third derivative of g(d). Is r(2) prime?
False
Let q = -3 - -5. Suppose q*k + k - i - 749 = 0, -3*k = 3*i - 765. Is k a composite number?
False
Suppose 4*r = -3*q + 5197, 0*r - 6971 = -4*q + 3*r. Is q composite?
True
Let q be ((-14)/6)/((-6)/18) + -4. Suppose 2*i = -5*m + 7012, m + q*i - 603 = 802. Is m composite?
True
Let u(h) = -h - 7. Let o be u(-11). Let a be (-10)/o*(-18)/45. Suppose -a - 3 = n, n + 10 = v. Is v a prime number?
False
Suppose n + 3 = -p, 0 = 4*p - n + 6*n + 15. Suppose -2*m - 3*m = p. Suppose -4*c + 1587 = -a, -2*c + 3*a + m*a + 791 = 0. Is c a prime number?
True
Let g be (-587)/3 + (-2)/(-3). Let j = g + 350. Is j prime?
False
Let m(h) = -11*h**3 + 43*h**2 - 17*h - 43. Is m(-10) a composite number?
False
Let h(w) = w**3 - 22*w**2 + 21*w - 6. Let l be h(21). Let s(a) = -6*a**2 - 2*a**3 + 3 - 4 + 7*a + 4*a**2. Is s(l) composite?
False
Let f(r) = r**2 + r - 1. Let c be f(-3). Suppose 9*t = c*t + 252. Let j = t + -26. Is j a prime number?
True
Suppose 38015 = 5*w - 4*v, -3*w + 2*v + 9717 = -13092. Is w a prime number?
True
Let x(f) = f**3 + 18*f**2 + 32*f + 4. Let k be x(-16). Suppose -6*p + k*p = 5*s - 3487, 3*s - 2113 = 4*p. Is s a composite number?
True
Suppose -29*r + 1368 = -5*r. Is r a prime number?
False
Suppose 4078 + 4086 = -4*c. Let o = -632 - c. Is o a prime number?
True
Let z(y) = -645*y + 4. Let b(s) = 2*s - 37. Let f be b(18). Is z(f) a prime number?
False
Suppose -5*p - 19 = -14. Is (((-69)/(-6))/p)/((-1)/14) composite?
True
Let y = 17469 + -9886. Is y a prime number?
True
Suppose 3*y + 6*y - 78075 = 0. Suppose -y + 3186 = -11*k. Is k prime?
True
Let c(h) = -h**3 + 12*h**2 - 12*h + 1. Let v be c(11). Let u = v - 4. Is (3 + u)/((-3)/69) composite?
True
Let r be (-24)/(-5) + -2 - 18/(-90). Let x(w) = 7*w + 26. Is x(r) a prime number?
True
Suppose -3*j + 11940 = 5*p, p + j - 2634 = -246. Suppose -4*i = -2216 - p. Is i composite?
False
Let a(f) = -157*f**2 + 6*f + 2. Let m be a(-4). Is m/(-8) + 7/28 a composite number?
False
Let p(k) = -k**2 + 7*k - 6. Let t be p(5). Suppose 3*b - 14 = -g, -5*g - t = 1. Suppose 0*d = -b*d + 1585. Is d composite?
False
Suppose 14*d = -38*d + 1179204. Is d composite?
True
Let l(g) = 25*g**2 - 71*g + 193. Is l(26) a prime number?
False
Is (((-2)/8)/(24/(-519648)))/1 a prime number?
True
Let z(y) = y**2 + 6*y + 4. Let f be z(-6). Suppose -10 + f = -3*g. Is 1045/33 + g/(-3) a prime nu