0067 = 4*t + 5*i. Is (-2 + 8/6)*t/34 a prime number?
True
Let v = 1156 - 650. Suppose 2*b + 234 = -4*d, 4*d - 9*d - 4*b - 297 = 0. Let p = d + v. Is p composite?
False
Let l(u) = -236*u + 23. Suppose 10*x - 7*x + 18 = 0. Is l(x) prime?
True
Let k(r) = 27214*r + 379. Is k(1) composite?
True
Let p(h) = 8 + 6*h**2 + 15 + 29*h - 6*h. Let q(b) = 24*b**2 + 92*b + 91. Let i(j) = 9*p(j) - 2*q(j). Is i(-16) a composite number?
False
Let r(f) = -13166*f + 30. Let w be r(-1). Let q = -8069 + w. Is q a composite number?
True
Let q be (-1)/(4/(-1360))*4/(-2). Let b = 774 - q. Let y = 2173 - b. Is y a prime number?
True
Let s = 110 + -100. Let g(c) = -689 - c - s*c + 7*c**2 + 678. Is g(15) a prime number?
True
Let y = 6951 + 4628. Is y composite?
False
Suppose 0 = -l - 13 + 7. Let v(a) = a**3 + 5*a**2 - 2*a + 11. Let p be v(l). Let o(b) = b**2 + 5*b - 25. Is o(p) a prime number?
True
Suppose 5*c - 7710 = -0*c. Suppose 9*h - c - 2013 = 0. Is h composite?
True
Let j(z) = z**2. Let n be j(-3). Suppose -11 = -2*a - n. Is (-10*41 + 2 + a)*-1 a prime number?
False
Suppose 23*h = 53*h + 45*h - 79216725. Is h a prime number?
False
Let a = 49 + -56. Let q(z) = 34*z + 3. Let y be q(a). Is (y/15 + -4)*-57 composite?
True
Suppose -14 + 5 = 3*p. Is p/((((-10)/(-14995))/(-1))/2) composite?
True
Let u(p) = -448*p - 5399. Is u(-106) a prime number?
True
Suppose 0 = 599*c + 79*c - 50869705 + 6997003. Is c prime?
True
Let t(x) = -6*x - 14. Let h be t(-7). Let f = h + -24. Let l(z) = 8*z**2 + 4*z - 1. Is l(f) composite?
True
Suppose -97*w = 34*w - 297501. Is w prime?
False
Let b(l) = 4*l - 39. Let i be b(11). Suppose 0*z - i*q = -2*z + 3381, -2*z = 4*q - 3390. Is z a composite number?
False
Is (-7 - 3) + (-4 - -73185) composite?
True
Is 47784/42 - (-100)/(-140) composite?
True
Let j = 20950 - 10509. Is j a prime number?
False
Let p be 1 + 9 + (22 - 27). Suppose 990 + 5075 = p*i. Is i prime?
True
Let s be (3/((-3)/2))/((-2)/7609). Suppose s = -5*y + 12*y. Is y composite?
False
Suppose 29*y + 451127 = 6291408. Is y prime?
True
Let j(v) be the first derivative of 19 + 2*v**2 + 1/3*v**3 - 67*v. Is j(-20) composite?
True
Let s(z) = 812*z - 4. Let g be s(-1). Let r = -1392 - g. Let d = r + 985. Is d a prime number?
True
Suppose -14*v - 532 = -7*v. Is (-796233)/v - 2/(-8) a prime number?
True
Suppose 5*j = -15, -2*z + 7*z - 3*j = -185346. Let c = z - -63584. Is c prime?
True
Suppose -5 = 6*k + 7. Let b be ((-1)/k)/((-5)/420). Let h = 455 + b. Is h composite?
True
Suppose -115*u - 1020444 = -5440009. Is u composite?
False
Let s(t) = 10*t**3 - t**2 + 2*t + 2. Let m be s(2). Let v = -33 + m. Suppose -53 = -v*n + 48*n. Is n a prime number?
True
Let f be ((-24)/(-28))/((-3)/21). Is (478/10)/(f/(-30)) composite?
False
Let k(i) = -2216*i**3 - i**2 - 2*i - 2. Let s = -29 + 37. Let l be ((-4)/8)/(4/s). Is k(l) a composite number?
True
Let a(t) = 72883*t + 63. Let s be a(-5). Is (s/(-40))/2 + 3/5 a composite number?
True
Suppose 0 = -11*d - 3*d - 3430. Let g be -1 + 447 + 1 + 0. Let x = d + g. Is x composite?
True
Is 2/(-4)*(-4)/6 - 69113184/(-252) composite?
False
Let i be (190/95)/(((-4)/148111)/(-2)). Let b = i - 84326. Is b a composite number?
True
Suppose -11451 - 1580 = -x - t, 6 = -3*t. Suppose 5*k - x = 6502. Is k composite?
False
Let c(f) = f**3 - 27*f**2 + 45*f + 97. Let t be c(25). Is 31488 + 3/((-12)/t) prime?
False
Let t be (-18)/(-12) + 33*1/2. Is 1/(-3) + 46644/t a prime number?
True
Suppose 4*b - 1248011 = 3*l, -3*b - 4*l - 479754 = -1415781. Is b composite?
True
Let l be 1 - -4 - (-4 + 7 - 4). Let y(r) = 32*r**3 + 7*r**2 + 10*r - 27. Is y(l) composite?
True
Suppose -890*i = -839*i - 571209 - 3818310. Is i prime?
True
Let r(m) = 32*m**2 + 22*m - 34. Let k be r(11). Let h = 8461 - k. Is h a prime number?
False
Let v(s) = -6*s - 65. Let n be v(-11). Let h be (-1)/(-1 + 238/237). Is h*((-32)/6 - n) prime?
False
Suppose 0 = -17*g + 13*g + 1136. Let b = -18 + g. Is b - (6/(-9))/(4/(-18)) composite?
False
Let w = -216 + 138. Let a be w/(-9) + (-6)/9. Let h(s) = 117*s - 23. Is h(a) prime?
False
Suppose u + 19 = 4*t + 4*u, -3*t = -u - 11. Suppose t*h - 30775 = -3*o, -3*o - 10270 = -4*o + h. Is o prime?
False
Let w(l) = -l**2 + 20*l - 31. Let j be w(2). Suppose 0 = j*p + o - 71100, o + 42668 = p + 2*p. Is p a prime number?
True
Let x = 5929 - 3087. Let j = 8159 - x. Is j composite?
True
Let t = -217 - -218. Suppose y - 1 = 2*w + 1, -3*w - 24 = 2*y. Is 489 + t + 7 + y a composite number?
False
Let p = -6250 + -190. Let j = p + 11311. Is j a prime number?
True
Let s = 42 + -40. Suppose 4*o + 20 = 0, -s*o + 36 = 4*i - 6*o. Suppose 0 = -4*h + 2*w + 1393 + 133, -1909 = -5*h + i*w. Is h a composite number?
True
Let d(s) = s**2 - 10*s + 26. Let m be d(6). Is ((-47)/94)/(-1*m/5084) composite?
True
Suppose -11*i - 2*y - 722824 = -13*i, 2*i - 10*y = 722752. Is i composite?
False
Let w = 4539 + 19184. Is w a prime number?
False
Let z(f) = 41*f + 116. Let p be z(10). Let d = 325 + p. Is d a prime number?
False
Suppose -4*x - 3*k = -2*k - 37, 3*x - k - 26 = 0. Let m be x/(-1 + 3/2). Is (-114)/(-27) - (2 + (-32)/m) a prime number?
False
Let r = 27670 - -6151. Is r prime?
False
Let a = 1833 + -505. Let x = a - -143. Is x a composite number?
False
Let u(q) = -10*q - 13*q**2 + 2 + 14*q**2 + 13 + 9. Let a be u(6). Suppose 2*n = -a*n + 4*g + 1282, -2*g = 10. Is n a composite number?
False
Suppose 1395*d - 6115339 = 1364*d. Is d prime?
True
Let v = -22 - -20. Let h be 1/(2/(-3))*v. Suppose -4*s + 641 = -h*s. Is s prime?
True
Let d(z) = 282*z**2 + 6*z - 5. Let m(c) = c**3 + 3*c**2 + 3*c + 19. Let a be m(-3). Suppose 2*l = -h + 8, l + 5*h = a*h + 4. Is d(l) a prime number?
False
Let a(c) = -3*c**3 - 34*c**2 - 71*c - 31. Let k(f) = -16*f**3 - 171*f**2 - 355*f - 153. Let t(s) = -11*a(s) + 2*k(s). Is t(-29) prime?
True
Is ((-21)/6)/((-2)/(-14468))*-1 composite?
True
Let s(w) = 30 - 27*w + 35*w - 103*w + 6. Let l be s(8). Let r = l + 1115. Is r a prime number?
False
Suppose 27*b - 110*b + 14439427 = 0. Is b composite?
False
Suppose 0 = 8*t - 4*t - 64. Let w be t/(2/(-12)*2). Is ((-12)/w)/(1/1228) a composite number?
False
Let r be (-18)/45 - 154/(-10). Suppose 5*s - r = -4*n, -5*s + 2*n - 20 = -n. Is (5*-568)/(-4) + (-3)/s a prime number?
False
Let r = 45 + -38. Suppose -r*a - 2*u + 2 = -3*a, -4 = -3*a - u. Suppose 0 = -a*l + 461 + 172. Is l a composite number?
False
Suppose -4*b = -3*t + 44, -b - 6 + 4 = 0. Suppose 3*u = -2*f + 50, -4*f + 0*u - 5*u + 98 = 0. Let c = f - t. Is c a composite number?
True
Let c(d) = 233*d - 401. Is c(50) a prime number?
False
Let j = -102 - -106. Suppose 3*c + 4*p - 14 = -2, -p + 16 = j*c. Suppose 5*f - 2629 = 3*r, 4*f = -f + c*r + 2627. Is f a prime number?
False
Is 15 + 10910 + 12/1 prime?
True
Let x(s) = -475 - 39*s**3 - 2*s + 2*s**2 - 16*s**3 - 4*s**2 + 473. Is x(-3) prime?
True
Let v = 660 - 651. Suppose 2*c - 10190 = 3*b, 0 = v*c - 5*c - 4*b - 20384. Is c a composite number?
True
Let j be 0/1 + 10 - -2. Suppose -20 = -j*u + 7*u. Suppose x = -0*x - 5*r + 1234, u*x - 5061 = 5*r. Is x prime?
True
Let a(c) = 14980*c**2 - 73*c - 49. Is a(-4) prime?
False
Suppose 0 = -21*n + 4029 - 63501. Let w = n - -6634. Is w a prime number?
False
Suppose -k - 776 = -815. Let a = k + 634. Is a composite?
False
Let c(f) = f**3 - 23*f**2 + 42*f + 15. Let g be c(21). Is g/5 - (-1221 + 5) a prime number?
False
Let w = 65099 + -33680. Suppose -20*g = -11*g - w. Is g prime?
True
Suppose -2*a + 48952 = -2*v, 2*v - 122422 = 43*a - 48*a. Is a prime?
False
Let z be ((-9)/(-12))/(-1) - (-588)/(-112). Is -44852*24/16*2/z a prime number?
False
Let l = -527 + 552. Is (-22226)/(-4)*(27 - l) prime?
True
Let c(i) = 14*i**3 - 6*i**2 + 2*i + 13. Let u be c(-4). Let g = u + 2138. Is g a composite number?
False
Let p(t) = t**2 + 5*t + 4. Let k be p(-4). Suppose 2*u - 15 + 7 = k. Suppose 2*s = u*v - 2*s - 4696, 2*v - s = 2345. Is v prime?
True
Let v(d) = -7 + 3*d + 11 + 2*d**2 - 3*d**2 + 17. Let x be v(6). Suppose 2*p + 3*a + 1385 = 6*p, 1044 = 3*p + x*a. Is p a composite number?
False
Is (2/(24/71271))/(60/880) a composite number?
True
Let m(o) = -1086*o - 13. Let g(a) = 543*a + 7. Let s(d) = -5*g(d) - 3*m(d). Let i be s(2). Suppose 0 = -5*j - 5*r + i, 5*j - 3*r - 1125 = -r. Is j composite?
False
Suppose 28*y