True
Let h(a) = -343*a - 1822. Let v be h(-9). Let s(g) = 3*g**3 - 3*g**2 + 2*g - 8. Let w be s(6). Suppose -9*i + v = -w. Is i composite?
True
Let z = 223 - -295. Suppose -517*a - 6805 = -z*a. Is a a composite number?
True
Suppose -90*x + 4406518 + 5587892 = 0. Is x a prime number?
True
Is 5*((-5102)/(-1) - (-7 + 40/4)) a prime number?
False
Suppose -7*o + 4 = -3*o, 5*o = 3*n - 10. Suppose -u + 17596 = -n*u. Let x = u - -6497. Is x a prime number?
False
Let k(z) = 12345*z**2 - 65*z + 1. Is k(1) prime?
True
Let n(r) = -r**2 + 7*r + 65. Let f be n(12). Suppose 4*p - 3*i - 905 = 27014, f*p - 5*i - 34895 = 0. Is p a composite number?
True
Let t(p) = 388*p + 250. Let s be t(-14). Let u = 9999 + s. Is u a composite number?
False
Let f(n) = n**3 - 5*n**2 + 10*n - 22. Let q be f(4). Suppose -q*h = -5*k - 5538, h = -4*k - 0*k + 2795. Is h prime?
False
Suppose -15 = -5*q, -2*f + 2*q + 3 + 19 = 0. Suppose -98852 = -66*w + f*w. Is w a prime number?
True
Suppose 12*y - 15*y + 15 = 0. Suppose y*g - 19 = 5*k + 11, -2*g = -4*k - 16. Suppose -g*r - a + 20132 = -6*a, -10066 = -2*r - 4*a. Is r composite?
True
Suppose -t = 4*t - 4*t. Is ((-51336)/(-40) - (-2)/(-5)) + t a composite number?
False
Let n be ((-9474)/(-8))/(-3 + (-51)/(-16)). Let r = n - 2883. Is r a prime number?
True
Let c(j) = -48240*j + 1861. Is c(-8) a composite number?
False
Let v(i) = -23*i - 10. Let s(l) = -l. Let w(n) = -5*s(n) - v(n). Let u be w(7). Suppose 3*d - 917 + u = 0. Is d a composite number?
True
Let x(o) = -1093*o - 1. Let u = -54 - -51. Let z be x(u). Suppose 0 = 2*j + 2*m - 2510, -4*j + 1770 + z = -3*m. Is j prime?
True
Let t(l) = l**2 + 11*l - 14. Let j be t(-12). Let h be (3 - (-27)/j)*(-10)/15. Suppose h*f = 12*f - 8465. Is f a composite number?
False
Let z(p) = p**3 - 15*p**2 - 32*p + 23. Let n be z(17). Suppose 11*w - n = -h + 12*w, 2*h + 2*w - 122 = 0. Is h prime?
True
Let n = 285904 + -159213. Is n a composite number?
False
Suppose -7989632 + 262619 = -63*h. Is h a prime number?
True
Let u = -62180 + 36238. Let f = 46001 + u. Is f a prime number?
False
Let j(y) = -4912*y + 41. Let g(h) = -4911*h + 38. Let b(p) = -5*g(p) + 4*j(p). Is b(3) a composite number?
True
Suppose y - 482 = 3*g - 28, -3*y + 4*g + 1387 = 0. Let q = y - 75. Is q a prime number?
False
Is (-98)/40 + 65/(-1300) - 110299/(-2) prime?
True
Let p(c) = 7*c**2 - 117*c + 65. Let t(h) = 3*h**2 - 58*h + 32. Let i(g) = 6*p(g) - 13*t(g). Is i(19) a prime number?
False
Let q be 20/6*(-12)/10 + -2. Let c be (1 - (-10)/(-6)) + (-34)/q. Suppose -10533 = c*l - 8*l. Is l prime?
True
Let x = -28 + -113. Let n = x + 197. Let j = 115 - n. Is j a prime number?
True
Let q(t) be the first derivative of -1/3*t**3 + 26 - t**2 + 6609*t. Is q(0) a prime number?
False
Let a = -289 + 82. Is 40118/18 + (-46)/a composite?
True
Is 114 + -114 - (-259949 - (2 - 0)) composite?
True
Suppose -4*x = 2*i + 18, 3*i - 5*i - 2 = -4*x. Is i + 1/(106/(-54) + 2) a composite number?
True
Suppose -3*w - 8 = 3*u - u, -2*w - 8 = 0. Let q = -140 + 142. Suppose 0 = -u*n - 4*l + 6714, q*n - 1763 = -5*l + 4950. Is n composite?
False
Is (-18)/(-12) - (-29470035)/42 a composite number?
False
Suppose 2*x - 116257 = -t, 36*t - 116266 = 35*t - 5*x. Is t a prime number?
False
Let d(k) = -156*k**3 + 5*k**2 + 25*k - 5. Let r be d(-5). Let p = 38496 - r. Is p composite?
False
Suppose -5063 = c + 7578. Let u = -7026 - c. Is u a prime number?
False
Let j = -590 + 1888. Suppose 3*i = 1036 + j. Is i prime?
False
Let d(k) = 56 + 287*k - 886*k - 4 + 0. Is d(-11) a prime number?
False
Let k(y) = 80*y**2 + 11*y - 117. Is k(10) a composite number?
False
Let a = 12469 + 246480. Is a composite?
False
Let k(t) = -t - 9. Let f be k(-11). Suppose -3*g - f*i = -4, 3*i - 7 = 5*g - 1. Suppose -3*m = -g*m - 2*v - 9113, -3*m = -5*v - 9116. Is m a composite number?
False
Let r be (154364/(-6))/(4 + 44/(-12)). Let i = -48681 - r. Is i a composite number?
True
Suppose a - 61362 = -2*f + 58544, -2*f + 4*a + 119886 = 0. Is f composite?
False
Let j(k) = 2*k**3 + 5*k**2 - 4*k + 5. Let b be j(-7). Let w = 529 - 50. Let u = w - b. Is u prime?
True
Suppose 349342 = 31*p - 80287. Is p a prime number?
True
Suppose -4*f = -7*l + 12*l - 480399, 0 = 5*l + 5*f - 480400. Is l a composite number?
False
Let p be (2/(-5) - 656/(-15))*9. Suppose -3*o = -8*o - p. Let b = o - -140. Is b a composite number?
True
Is (-453587)/(-3) + 560/168 a composite number?
True
Let m be ((2 - 1) + 1)/(-2). Let i be 2/m - ((-3)/(-1) + -413). Let a = i + -286. Is a composite?
True
Is 66/((-12)/2) + (-51 - -823651) composite?
True
Let l = 6134 + -17. Suppose -g + l = 4*w, -2*w + 6*w - 2*g - 6114 = 0. Suppose w + 1428 = j. Is j prime?
True
Let q = 390 + -385. Is 606/12 - q/(-2) a prime number?
True
Suppose 41*g - 117470 = -33*g + 64*g. Is g a composite number?
True
Let g(y) = -30*y**3 + 3*y**2 + 2*y + 3. Suppose 0 = -4*m - 7 + 7. Suppose 0*u - 3*u - 6 = m. Is g(u) a composite number?
False
Is 92093/6 - (10/4 - 592/222) prime?
True
Let h(y) = -2*y**2 - 9*y + 21849. Is h(0) a composite number?
True
Suppose 2*s = -b + 66067 + 11329, 4*b - 77402 = -2*s. Is s composite?
True
Suppose 0 = -1154*p + 1067*p + 3475911. Is p prime?
True
Let f(g) = -14865*g + 61. Let b be f(-5). Let m = -51471 + b. Is m a composite number?
True
Suppose -18*q + 14*q + 6393925 = 21*q. Is q composite?
False
Is (-15)/(-5)*(125272/24 + 10) composite?
True
Suppose -10*h - 6*h = -8032. Let k = -111 + h. Is k a prime number?
False
Suppose 82858 = 5*y - 1797. Let t = 25317 - y. Suppose 34*f = 32*f + t. Is f prime?
False
Let l = -14094 + 80351. Is l a prime number?
False
Let q(p) = -3*p**2 - 21*p + 50. Let n be q(2). Is (n/(-2) + 0)*(2 - -335) prime?
False
Suppose -41038 = -3*k + 5*w, k - 18624 + 4938 = -5*w. Is k a prime number?
True
Let c(v) = -2*v**2 + 5*v + 14. Let m be c(4). Suppose z + 5*a - 8243 = 0, m*z - 11*a - 16522 = -12*a. Is z prime?
True
Suppose 1 = m, 5*a - 3*m + m = 35153. Is a a composite number?
True
Is (((-8934)/(-8))/(126/560))/((-6)/(-9)) prime?
False
Let h(l) = 117*l**2 + 15*l - 49. Is h(10) a composite number?
False
Suppose 5*n - 7*n + 4 = 0. Suppose -n*u - 22 = -3*r, -5*r + 4 = 3*u - 1. Suppose -3086 = 2*s - r*s. Is s a prime number?
True
Let q(l) = -126*l - 9. Let v(h) = h. Let f(d) = -q(d) + 5*v(d). Suppose 9*s - 8 = 5*s + 2*j, 0 = -j. Is f(s) composite?
False
Suppose -3*t + 86895 = 2*b, 4*t - 3*b + 2*b - 115860 = 0. Suppose 24*x - t = 21*x. Is x a composite number?
True
Let s = -159 + 169. Suppose 0 = 5*v - s, 8*v = -x + 5*v + 1871. Is x a composite number?
True
Let x(w) = w**2 + 133*w - 99. Is x(52) a prime number?
True
Let u(z) = 67*z + 22. Let t(q) = 131*q + 44. Let p(g) = 6*t(g) - 13*u(g). Is p(-29) prime?
False
Let t = 34052 - 20007. Let v = t + -3042. Is v composite?
False
Let l be (-12330)/105 - (-6)/14. Let o = l - -636. Is o composite?
True
Let q(l) be the first derivative of 4*l**3/3 - 22*l**2 - 18*l + 94. Is q(25) composite?
True
Let f = -81420 - -130141. Is f prime?
False
Let p(x) = 191*x**2 + 6*x - 6. Let f = -63 - -74. Let s(y) = -y + 12. Let d be s(f). Is p(d) a composite number?
False
Let o(r) = -4927*r + 2635. Is o(-6) a composite number?
True
Suppose -1905 = 7*m - 20168. Suppose c - m = -4*j, -3*c - 3*j - 2882 + 10709 = 0. Is c composite?
False
Let y(z) be the second derivative of 1309*z**4/12 - 4*z**3/3 + z**2/2 - z - 13. Is y(3) a composite number?
True
Suppose -4*x + 23 = 11. Suppose 178 = -5*l + 5*i + 1703, 911 = x*l - 5*i. Is l a composite number?
False
Suppose 3*l - p = 1666, -2*l - 2*l + p + 2220 = 0. Let o = 963 - l. Is o composite?
False
Let j(f) = -f**2 - 7*f + 4. Let x be j(-7). Suppose -x*v - 2618 = -z, 6*z + 10540 = 10*z + v. Let n = z + -1315. Is n composite?
False
Let b = -34 - -27. Let u be 2/((-4)/(-6)) + 0/b. Suppose 5*q - 5*j = 2435, -j + 1445 = u*q + 4*j. Is q a composite number?
True
Suppose -42*s - 77 = -49*s. Suppose -15*q = -s*q. Suppose 11231 - 1169 = 3*l + 3*u, -3*l + 4*u + 10097 = q. Is l a prime number?
True
Suppose -7116 = 8*p - 26468. Is p a prime number?
False
Let c = 294989 + 48168. Is c prime?
False
Let m(o) be the first derivative of 3 - 3*o**2 + 47/3*o**3 - 10*o. Is m(5) a composite number?
True
Suppose -2*r = 37*u - 41*u - 103242, -4*r = 2*u - 206534. Is r composite?
False
Is ((