p = -4959 - -15325. Let n = p + -7263. Is n a prime number?
False
Let d be 2/3*-1 + 332/(-6). Let t = 444 + d. Is t/8*(-4 - -6) prime?
True
Suppose -4*i + 8*i + 2*m = 10, -5*i = -m + 5. Let g = i - -2. Suppose -g*d - 1310 = -12*d. Is d composite?
False
Suppose -1874 - 10606 = 3*z. Let m = 6091 + z. Is m a prime number?
True
Let a = 4480 - 2971. Suppose -5*t - a = -l, 2*l - 2*t = -2*l + 6000. Is l prime?
True
Let u = -2393 - -6661. Let m = -1857 + u. Is m composite?
False
Suppose -57*y + 66*y - 3318417 = 0. Suppose -29*n + y = -162016. Is n composite?
False
Let u be (-67)/((-1)/(-44)*-4). Suppose u*h - 742*h = -48385. Is h a prime number?
True
Let q(k) = -16*k**3 + 64*k**2 - 16*k - 543. Is q(-26) composite?
True
Let r(d) = 3*d**3 + 300*d**2 - 151*d + 55. Is r(-79) a prime number?
False
Suppose 42*l + l = 12*l + 10510519. Is l a prime number?
True
Let a be 9/24 - (-10341)/72. Is (-5066)/(-16) - (-54)/a prime?
True
Suppose -2*a - 22 = -42. Suppose -a = -t - 1. Suppose 7819 = -2*z + t*z. Is z a composite number?
False
Let q(x) be the third derivative of 1277*x**5/60 + x**4/8 + x**3/2 + 3*x**2. Let s = 33 + -34. Is q(s) composite?
False
Suppose 43*i = 864847 - 103016. Is i composite?
True
Let r be (4/10)/(3/(-240)). Let g = r + 37. Suppose 9478 = g*d - y, -4*y - y + 5670 = 3*d. Is d prime?
False
Let v be (-2 - -4) + (-21)/1. Let p(r) be the first derivative of 2*r**3 + 7*r**2 + 45*r + 5. Is p(v) a composite number?
True
Suppose -9*i + 461646 + 1144965 = -73302. Is i prime?
False
Let u = -318 + 320. Suppose 2*c - 5243 = -4*w + 4411, 3*w = -u*c + 7243. Is w a composite number?
False
Let u(y) = 2*y**3 - 10*y**2 - 7*y - 26. Let o be 23/(69/18)*(1 - -1). Is u(o) prime?
False
Suppose -43390 = -12*m + 7205 + 95121. Is m a prime number?
True
Let a = 2634 + -325. Is a a composite number?
False
Suppose -4*l = 5 - 17. Suppose 5*h = 7*n - 10*n + 12452, 4 = -4*n. Suppose 3*x - 740 - h = l*a, 3*x = -4*a + 3203. Is x a composite number?
True
Let k be (2251/5)/((-2)/(-30)). Suppose -8*l + k = -199. Is l prime?
False
Is 399622/7 + ((-2)/(-56))/(69/276) a prime number?
True
Suppose 27*g = 30*g - 13665. Suppose g = 8*x + 1523. Is x a prime number?
True
Let s = 506 - 503. Suppose 9*m + 3955 = 14*m - 5*i, -s*m = i - 2357. Is m prime?
True
Let l(m) be the first derivative of 69*m**5/10 - m**4/8 + m**3/3 + 7*m**2 + 8. Let b(u) be the second derivative of l(u). Is b(1) a prime number?
False
Suppose 87*k - 84*k = 16179. Suppose k = d + 4*m, 4*m - m + 10753 = 2*d. Is d a composite number?
False
Let t(a) be the third derivative of 17*a**7/720 + 13*a**6/720 - a**5/60 + 10*a**2. Let l(d) be the third derivative of t(d). Is l(4) composite?
True
Let k(h) = h**2 + 5*h + 2. Let x be k(-6). Suppose -11 + x = -a. Suppose -6*p = a*p - 423. Is p a composite number?
False
Is (1/((-18)/(-12)))/(3 - 21398/7134) prime?
False
Let g(l) = 2*l**3 + l**2 - 5*l + 70. Let h be g(-9). Let m = 2805 + h. Is m composite?
False
Suppose -4*b - 83454 = -2*m, 0 = 63*m - 60*m + 4*b - 125191. Is m composite?
False
Suppose -4*c = -4*l + 2*l - 16, 3*l = -4*c + 6. Suppose w + c*w = 2*g - 34, 4*g - 36 = 4*w. Is -119*(-5 - (4 + w)) prime?
False
Let n(d) = -2*d + 36. Let c be n(16). Suppose -c*o = 2*p - 4*p + 2558, 20 = 4*p. Let v = 940 + o. Is v a prime number?
False
Suppose 0*w - 2*w = -10. Let k(f) = -26*f**2 - 3*f + 10. Let o(a) = -25*a**2 - 3*a + 9. Let u(x) = 4*k(x) - 5*o(x). Is u(w) prime?
False
Suppose 5*b = d + 4*d + 932280, -4*b = 5*d - 745779. Is b prime?
True
Is ((-12984)/32)/((-6)/184) a composite number?
True
Let c = 276 + -252. Suppose 0 = -26*u + c*u + 18498. Is u prime?
False
Suppose 0 = 3*l - 1459 - 1490. Let c(x) = -x**3 + 4*x**2 - 4*x + 6. Let n be c(3). Suppose -2*u - 3*i + l = 0, 0*i + n*i = u - 496. Is u prime?
False
Let b(v) = -22*v**2 + 3*v - 3. Suppose 2*l - 5*c + 12 = 0, 0 = 2*l - 6*l - 4*c + 32. Let s(i) = i - 1. Let k(x) = l*s(x) - b(x). Is k(2) a prime number?
True
Let s(n) = -2*n**3 + 6*n**2 - n - 2. Let i be s(5). Let k = i - -604. Is k a composite number?
True
Let k = 10622406 + -7578475. Is k a composite number?
True
Let h be (3/(-4))/((-1)/((-1216)/(-4))). Suppose 8795 = -223*x + h*x. Is x a composite number?
False
Let w = 3020 - 5092. Let t = -939 - w. Is t a composite number?
True
Let t be 1/((21800/5455)/(-4) + 1). Let p be (2*-3)/((-2)/(-264)). Let r = t - p. Is r a composite number?
True
Let h = -58 - -67. Suppose h*n + 45 = 12*n. Suppose -2*k + 4*y = -y - 1511, -n = 3*y. Is k a prime number?
True
Let g(a) = a - 23. Let l be g(-6). Is l + 742 + 4/(-1) a prime number?
True
Suppose 5*u + 2*h - 1 = -3, 4 = -u - 4*h. Suppose -3*v = 2*r - 9932, u*r = -4*v + 2*r + 13266. Is v composite?
True
Let v be 2*(0 + (-1 - -3)). Suppose -3*u + 5*h = -v, -2*h + 5*h - 12 = 0. Suppose -434 = u*c - 10*c. Is c prime?
False
Let c(d) = -2*d**3 - 7*d**2 - 7*d - 13. Let r(l) = 2*l**3 - 7*l**3 + l**2 - 2 + l - 3*l**3 + 1. Let p be r(1). Is c(p) a prime number?
True
Suppose -5*c + 64094 = n, -6*n - 4*c + 384642 = -0*c. Is n a prime number?
True
Suppose 5*g - 9*g = -22196. Suppose -3*y + g = -0*c + 5*c, -y + 1855 = -c. Is y prime?
False
Suppose 0 = -3*b - 9, 5*h + 5*b - b = -2. Let i be ((-11)/h)/((-7)/(-252)). Let n = -131 - i. Is n a composite number?
False
Let c(o) = 31*o + 4. Let q be c(0). Suppose 0 = 5*b - 4*r - 17493, q*r = 2*b - 561 - 6441. Is b a prime number?
False
Let q be (-3 - -1)/((-3)/123). Let s = 91 - q. Suppose -s*y - 25 = -1168. Is y composite?
False
Let y = -14714 - -50407. Is y a composite number?
True
Let i(t) = 2*t + 53. Let y be i(-23). Suppose 0 = -y*h + 414 + 1903. Is h a prime number?
True
Let s be 3630/(-24) - 6/8. Let z = 235 + s. Suppose -a = -g + z + 58, 5*g - 3*a - 713 = 0. Is g composite?
True
Is -14 + 12 - (-907889 - 4)/7 composite?
True
Suppose -x + 59 = 4*o, -34*o + 39*o - 3*x = 61. Suppose 11*u = o*u - 3327. Is u composite?
False
Let o(q) = -41026*q - 34. Let l be o(-2). Suppose -3*g - 20*g = -l. Is g a prime number?
False
Suppose 0 = -2*w + 6, 2*t - 3*w = 4*t - 19. Suppose -2*y - 2*y + 130 = -3*v, 58 = 2*y - t*v. Let i = y + 553. Is i prime?
True
Suppose 21*j = 2*h + 19*j - 104108, 4*h = -4*j + 208192. Is h prime?
True
Let t(m) = 207*m**2 - 58*m - 375. Is t(-28) a prime number?
False
Let q(d) = 37*d**2 - 88*d + 1706. Is q(37) a prime number?
True
Let v(y) = -y**3 + 6*y**2 + 44*y - 30. Let b be v(10). Is 14/35 + 272976/b composite?
True
Is (47/(-423))/((-1)/2733543) composite?
False
Let u = 445 + -410. Is ((-2402)/(-4))/(u/140) composite?
True
Let z(b) = -15*b**2 + 337*b + 19. Is z(9) a prime number?
False
Suppose -2 = -5*u + 18. Suppose -30*a + 40052 - 482 = 0. Suppose u*o - 657 = 3*o + 2*q, 0 = -2*o + 5*q + a. Is o prime?
True
Let d(f) = 82*f**2 + 0 - 6 + 259*f**2 - 4 + 8*f. Let o be d(4). Suppose o = -n + 7*n. Is n composite?
True
Suppose 0*j - 5 = -j. Suppose j = -k + 7, -5*k - 13595 = -3*f. Is f composite?
True
Let w(o) = -901*o**3 - o**2 + o - 5. Let b be w(2). Let r = -1502 - b. Is r a prime number?
False
Suppose 0 = 3*m + 5*c - 8 - 21, 3*m = 3*c + 21. Suppose m*y - 50 - 22 = 0. Is 3/45*y*755 a prime number?
False
Let a(m) = 47511*m**2 + m - 17. Is a(3) a composite number?
True
Suppose -14899010 - 164228223 = -93*f + 34273078. Is f a prime number?
True
Let i = 15752 - -27407. Is i composite?
False
Suppose -13*h = -11*h - 11440. Suppose 18*q - 16*q - h = -2*d, -3*d = 4*q - 11441. Is q composite?
False
Let f = 79 - 89. Let o = 14 + f. Suppose -o*d = -4*x - 9*d + 2001, 0 = 3*x + 5*d - 1502. Is x a prime number?
True
Let h(m) = -m**3 - 9*m**2 + 9*m - 13. Let i be h(-10). Let j be 1946 + 9*i/(-9). Suppose -j - 879 = -4*t. Is t a prime number?
False
Let f = -202 + 286. Let g = -93 + f. Let k = 148 - g. Is k prime?
True
Let v(k) = 96*k**2 - 14*k - 34. Let z be v(-2). Is z/(-630) + (-7358)/(-5) + 0 a composite number?
False
Suppose 5*o + 3*d = 99587, -2*o - 29*d + 32*d = -39860. Is o prime?
False
Suppose -24*r = -27*r + 15. Suppose -2*m + 243 = -y - 16, -m + r*y + 107 = 0. Suppose 12*o = 18*o - m. Is o prime?
False
Let f(l) = -377*l - 39. Let z(n) = -3*n. Let x(d) = f(d) + 3*z(d). Is x(-8) composite?
False
Let b(z) = z**3 + z**2 - 3*z + 2. Let u be b(1). Let x be 119 + -2*1/u. Suppose -3*o + x = -42. Is o a composite number?
False
Suppose z = -178 + 185. Let 