ose -14*a - 4674 = -20*a. Is a prime?
False
Let q(t) = -3*t**2 - 14*t + 2. Let a be q(-11). Let r be (-4)/(-10) - a/45. Suppose -3*l + 2 + 13 = 0, -2*i - r*l + 551 = 0. Is i a composite number?
False
Suppose 3*i + s - 63 = 2818, 2*i = -4*s + 1934. Let p = 1500 - i. Is p composite?
False
Let s(h) = 2346*h**3 - h**2 - h + 1. Let y be s(1). Suppose -c + 5*m - y = -0*c, -2*m - 11644 = 5*c. Is ((-2)/4)/(5/c) a composite number?
False
Suppose 28*h - 124403 = -19879. Is h prime?
True
Let m be ((-3)/2)/((-2)/4). Let i = 371 + -211. Is (m - 0) + i - 0 composite?
False
Let z be (-2)/(-10) - 246/30. Let k = z + 21. Is k a composite number?
False
Let r(b) = -b**3 + 10*b**2 + 10*b + 13. Let m be r(11). Suppose -548 = -m*p - 2*g, 6*p = 5*p + 2*g + 259. Is p a prime number?
True
Let x(s) = s**2 + 24*s + 291. Is x(50) a prime number?
False
Suppose 0 = -3*t - 2*u + 123050, -123058 = -3*t + u - 5*u. Is t a prime number?
False
Let h(b) = b**2 - b - 7. Let v be h(4). Suppose 0 = -w + v*l - 282, -w = -l - 96 + 378. Let f = w - -487. Is f prime?
False
Let m = -19 + 21. Let s(u) = 383*u + 3. Is s(m) a composite number?
False
Let w(f) = -2*f**2 + 12*f - 29. Let s be w(20). Let t = s - -1004. Is t prime?
False
Let h(b) = -138*b - 63. Is h(-19) composite?
True
Let t be -2*(-3 - -2) - 6. Let j(g) = -43*g**3 + 3*g**2 - g - 9. Let m be j(t). Is (-8)/(-12) - m/(-15) a prime number?
False
Is -4 + 4/4*(10142 + -3) a prime number?
False
Let v(w) = -15*w**2 - w + 2. Let f be v(-8). Let o = 2091 + f. Is o a prime number?
False
Let p(y) = -343*y - 61. Let n be p(-6). Let d = n + -958. Is d a composite number?
False
Suppose -6 = -3*z + 2*z. Suppose -3*i - f + z*f = -9, -4*i + 12 = 3*f. Suppose -6*j + 1101 = -i*j. Is j a composite number?
False
Suppose -7*p = -5*p. Suppose -6 = -l - 3*w - 2, -5*l - 2*w + 59 = p. Let i(q) = -q**3 + 12*q**2 + 14*q + 9. Is i(l) a prime number?
False
Let v = 0 - 0. Suppose v = -4*q + 4*s + 1020, 5*q = -0*s + 2*s + 1287. Is q prime?
False
Let s(n) = 355*n**3 - 7*n**2 + 14*n + 2. Is s(3) composite?
True
Suppose 0 = s - 0 - 4. Suppose s*c - 5*m = -0*c + 11123, -3*m + 8322 = 3*c. Is c prime?
True
Let u = -42 - -41. Is 0 + -2 - (-3 + 42)*u prime?
True
Let h = 8 - -48. Suppose -q + t - 5 = 3, 0 = -5*q + t - h. Is (2/(-4))/(q/7944) a composite number?
False
Is (1 + -2)*(-2773 - -2) composite?
True
Let w(h) be the third derivative of h**5/10 + h**4/8 - 7*h**3/6 + 2*h**2. Let t be w(6). Let o = t + -106. Is o composite?
True
Suppose -t - 6 = -4*y + 9, 5*t + 9 = -2*y. Suppose -3*b = y*b - 3486. Is b a composite number?
True
Let a(c) = -4*c**2 + 7*c + 1. Let z be a(7). Let n = -63 - z. Is n prime?
True
Suppose 3*q + 1899 = 3*d, -5*d + q - 1504 = -4661. Is d composite?
False
Suppose -t = -3*l - 2164, -3*l = 2*t - 7*t + 10784. Is t a composite number?
True
Let r(q) = -5*q**2 + 3. Let w be r(-6). Let t(n) = 73*n**2 - 4*n - 2. Let g be t(-2). Let a = w + g. Is a a composite number?
True
Suppose 31*z + 3240 = 153931. Is z prime?
True
Let y = -666 - -937. Is y prime?
True
Let n = 2771 - 1038. Is n prime?
True
Suppose -6*z + 4377 = -3*z + 2*o, 0 = 3*z + 5*o - 4386. Suppose -n + 3*k = -3*n + 967, -3*n = -2*k - z. Is n a prime number?
False
Suppose -8403*t - 8 = -8407*t. Suppose -3*n = -5*k - 7*n - 5, -4*k = 3*n + 4. Is 954 + 0 + k + t a composite number?
True
Suppose 5*y + 18 = 8*i - 5*i, 4*y = 5*i - 17. Let c(v) = -3*v**2 + v - 1. Let z be c(1). Is 8 - -407 - (i - z) a prime number?
False
Let y = 1232 + 12609. Is y composite?
False
Let p(b) = b + 8. Let i be p(-10). Let v = 11 + -12. Is ((-5)/i)/(v/(-14)) prime?
False
Let a be ((-9)/(-9))/(2/4). Suppose -4*p + a*p - 2*j + 4 = 0, 3*p - 2*j = 6. Is 416/p + (-1 - -4) a composite number?
False
Let d(g) = -114*g**2 - 2*g - 9. Let x be d(-4). Let m = -906 - x. Is m a prime number?
True
Let o = 1835 - 1161. Suppose -6*h + 7*h - o = 0. Suppose 3*v - 1011 = -p - 3*p, h = 2*v - p. Is v composite?
False
Suppose -5*b = -21 + 1. Suppose -6*k + 3*k = -b*p + 770, -2*p + 2*k = -386. Is p prime?
True
Let u = -18 - -15. Let x(s) = 50*s + 1. Let l be x(u). Is (-4 + 12)*l/(-4) composite?
True
Suppose 4*x + x = 3815. Suppose 6*i = 2*i - 3*s + 3016, -x = -i - 3*s. Is i a prime number?
True
Let o = -803 - -1630. Let t = o - 304. Is t a prime number?
True
Let s(g) = -4*g**3 - 13*g + 1. Let v be s(-7). Suppose -2*c + 350 = -v. Is c composite?
False
Let j(h) = h**2 - h - 4. Let q be j(3). Suppose 26 = 4*d - q*p + 7*p, 2*p = -2*d + 12. Suppose -d*o - i = -1056, -3*i = -o + 431 - 154. Is o prime?
False
Let r be 1/2 + 2/(-4). Let u be 9*(r - (-280)/(-4)). Let l = -131 - u. Is l a prime number?
True
Let t = 1537 + -494. Suppose -5*x = -t - 482. Is x composite?
True
Let l = 1320 - -303. Is l a composite number?
True
Suppose 0 - 4 = m + 3*f, 2 = 4*m + 3*f. Suppose m*h = 5*h - 15. Suppose -5*i + b + 8 = -b, i + h*b = 7. Is i composite?
False
Let a = -15206 - -26365. Is a a composite number?
False
Let o(u) = 543*u - 481. Is o(6) composite?
False
Let w(z) = 76*z**2 - 21*z - 163. Is w(12) a prime number?
True
Is -3 - -5556 - (-8)/2*1 prime?
True
Suppose 127343 - 1120202 = -21*m. Is m a composite number?
False
Suppose -100674 = -3*y + 5*g, -15*y - 134261 = -19*y - 3*g. Is y a prime number?
True
Let r(f) = 9809*f**3 + 2*f**2 - 8*f + 6. Is r(1) a prime number?
False
Suppose 5*j - 80 = j. Let t = -18 + j. Suppose -t*r + 6*r = 2*c - 518, 0 = -2*c + r + 509. Is c prime?
False
Is 2463*(0 + (-12)/(-18)) prime?
False
Suppose -5*f + 2*v - 52 = 0, -3*v + 23 = 2*f - 4*f. Let l(w) = -68*w - 1. Is l(f) composite?
True
Suppose 3*x - 4*i = -689, -x + 3*i = 5*i + 243. Suppose -2230 = -0*t - 5*t. Let l = t + x. Is l composite?
False
Suppose -582*n = -580*n - 2690. Is n a prime number?
False
Let w = -178 - -587. Is w a prime number?
True
Suppose -5*x + 15 = 0, -5*x = 2*s - 5054 + 1185. Is s a prime number?
False
Let t(y) = 9*y**2 - y + 23. Suppose 17 + 7 = 6*m. Is t(m) a prime number?
True
Suppose 3*k - 2325 = 5*l, 1550 = -3*k + 5*k + 3*l. Suppose -c - 4*a + 401 = 0, 5*c = a + k + 1293. Is c composite?
True
Is (21752 - 23)*2/3 prime?
False
Let k = -318 - 36. Is (-4)/12 - k/(-9)*-10 prime?
False
Suppose 10*h - 12*h + 3*f + 15 = 0, -3*h = 5*f - 32. Suppose 0 = -2*s + 3*b - 9, -5*s - 2*b = -25. Suppose h*d - s*d = 714. Is d prime?
False
Let j be 2/(-3 - (-58)/18). Let r(k) = -4*k**3 - 5*k**2 + 12*k + 3. Let w(m) = -5*m**3 - 4*m**2 + 12*m + 2. Let h(t) = 6*r(t) - 5*w(t). Is h(j) a prime number?
False
Suppose -6*v = -2*v - 4. Is v - 6/(-2) - -159 a composite number?
False
Suppose 251 + 0 = h. Suppose 8*r = 462 + 562. Let o = r + h. Is o a composite number?
False
Let k(z) = 5*z**3 + 2*z**2 + z + 3. Let p be k(3). Suppose -p - 229 = 3*i - 2*v, 2*i + 237 = -3*v. Is (-8)/12*i/4 a prime number?
False
Let o(x) = -17 - 26*x - 14*x**2 + 107*x**3 - 106*x**3 + 1. Is o(17) prime?
True
Let a(c) = 288*c**2 - 25*c - 6. Is a(-7) a composite number?
False
Suppose 20848 = 6*g + 2620. Let k = g + -469. Is k prime?
False
Let k be -181*(4 + -5)*-1. Let f = -72 - k. Is f composite?
False
Is ((-30)/20)/((-6)/19828) a composite number?
False
Let p be (1*-12*-1)/2. Suppose -d - p = -2*d. Suppose -34 = -l - 4*y, -d*l + 8*l + 5*y = 77. Is l prime?
False
Let b = 18 - 20. Is (2636/(-8))/((b/(-4))/(-1)) a composite number?
False
Suppose 0 = 2*g - 3 - 5. Suppose x = 3*x - g*h - 3090, h = -4*x + 6135. Is x a prime number?
False
Let c be 6/((-60)/25)*-2. Suppose -c*d + 974 = -3*d. Is d a prime number?
True
Let a = 28032 + 14137. Is a composite?
False
Let c be (-499)/2 + (-2)/4. Let v = -14 - c. Let o = 342 - v. Is o composite?
True
Suppose -v = -115 - 75. Suppose 0 = -3*i + v + 59. Is i a composite number?
False
Is (-1*2302/6)/((-2)/6) prime?
True
Let d(g) be the second derivative of g**6/120 - g**5/15 + 5*g**4/24 - 13*g**3/6 - 5*g**2 - 6*g. Let s(c) be the first derivative of d(c). Is s(6) prime?
True
Suppose -4*w = 3*u + 150 + 67, 5*w + 2*u = -266. Let t = 499 + w. Is t a prime number?
False
Let c(b) = b**3 - 4*b**2 - 7*b + 12. Let w be c(5). Suppose -w*u = -1155 - 275. Suppose -9*g + 4*g = -u. Is g prime?
False
Let i = -9 - -11. Let l(s) = -11*s + 10 + 11*s**i - 4 + 13*s + 4*s**2. Is l(-5) a prime number?
False
Let v = 2231 - 1536. Is v a composite number?
True
Let s(c) = -10*c - 1. Let k(p) = p + 1. 