 72 = -t - 21, 4*t = 5*p + 256. Suppose 3*j - t - c = 0. Is j composite?
True
Suppose 2*l - 386 - 46 = 0. Is -1 + (22*l)/3 prime?
True
Let y be -2 - (39/52 - (-1849)/4). Let h = y - -1358. Is h prime?
False
Let x be 1/16*4 - (-15)/20. Is (39767/63 - (-4)/(-18))/x prime?
True
Is ((-273)/6)/((-13)/338) - -4 composite?
False
Suppose 26*v - 111771 = -19289. Is v a composite number?
False
Suppose 0 = 8*j - 10*j + 2030. Is (3 + j)*(-2)/(-4) a prime number?
True
Let m(a) be the first derivative of 15*a**4/4 - a**3/3 - a + 30. Is m(6) composite?
False
Let p(n) = 101*n**2 + 58*n + 53. Is p(-20) a composite number?
False
Let z be 2 - 12/(4*-1). Suppose 304 = z*o - 2001. Suppose -w - 5*u - o = -4*w, -2*w + 318 = 2*u. Is w a composite number?
False
Let k = 88 + 483. Is k a prime number?
True
Suppose 328 + 65 = 3*v. Suppose -4*j + 3*p = 1 - 319, -150 = -2*j - 3*p. Let l = v - j. Is l prime?
True
Let t = -497 - -836. Is t composite?
True
Let q(r) = 12*r**2 - 85*r + 30. Is q(17) composite?
False
Suppose -11*x + 6*x + 38170 = -5*g, 0 = 4*x - g - 30527. Is x composite?
True
Let y(f) = 10*f**2 - 5*f - 25. Let p be y(-6). Let d = p - 106. Is d prime?
False
Let p be 2/6 - 661/3. Suppose -d = -6*d + q - 1770, -3*q = 0. Let i = p - d. Is i prime?
False
Let h(y) = y**2 - 2*y - 5. Let r be h(4). Suppose -5*u + 2*f = -16, u + 10*f = 5*f + 14. Suppose 4 = 4*w, -u*i - r*w - 79 + 734 = 0. Is i composite?
False
Is 34/119 + 5302/14 prime?
True
Let f(u) = -u**2 - 11*u - 12. Let t be f(-9). Is 4/6 - (-2198)/t a composite number?
False
Suppose 0 = -k - 5*p, -3*p = -4*k + 5*k. Suppose 0 = -l + 5*w + 10, -4*l = -k*w + w - 103. Suppose l + 59 = 4*x. Is x prime?
False
Suppose 3*k = -l + 700, -2*l + 4*k + 1159 = -251. Is l prime?
False
Suppose 0 = -659*a + 658*a + 4177. Is a composite?
False
Suppose 3006 = 2*n - 5248. Is n a composite number?
False
Suppose -3*j - 26 = 4. Let h(a) = -67*a + 21. Is h(j) a composite number?
False
Suppose -11*s + 16*s = 140. Is 2/(-1) + (-7)/(s/(-2020)) prime?
True
Let o(u) = -u**3 - u**2 + 1. Let b be o(-1). Let z(x) = 5 - 3 - 5*x - b. Is z(-6) a composite number?
False
Suppose 6335 = 4*i + 3*p, -5*i + 3635 = -3*p - 4250. Suppose 3*o + k = 3*k + 946, -5*k = -5*o + i. Is o a composite number?
True
Suppose -5*q - 18 = u, 4*u = -4*q + 2 + 6. Suppose 464 + 425 = u*l. Is l a composite number?
False
Suppose 5012 = k + 577. Suppose 2*g = -3*g + k. Is g prime?
True
Let i(a) be the second derivative of 14*a**3/3 + 5*a**2/2 - 2*a. Is i(9) prime?
True
Suppose -29 = -3*f + 4*t, 0 = -5*f - 6*t + 3*t. Let h(p) be the third derivative of 35*p**4/12 + p**3/2 - 24*p**2 + 1. Is h(f) a prime number?
False
Let u be (-13 - 2)/(-1 - 0). Suppose 5*j + 0*j - 30 = -5*g, 3*g + 4*j = 20. Suppose b + g*r = 2, u = -r - 2*r. Is b a composite number?
True
Suppose -12*a + 12 = -9*a. Suppose -5*k + 1652 = a*b, k + 0*k = 0. Is b a composite number?
True
Let t(d) = 7*d**3 + 3*d**2 + 2*d + 14. Suppose 35 - 10 = 5*f. Is t(f) prime?
False
Suppose 4*b - 15 = -h, 0*h + 2*b = -5*h - 15. Let f(d) = -3*d - 11. Let l be f(h). Suppose -444 - 48 = -l*q. Is q prime?
False
Let o = 1800 + -703. Is o a composite number?
False
Let k(o) = o**2 + 5*o - 10. Let g be k(-7). Suppose 4*u = -x + 4470, -4*u - g*x + 3359 = -u. Is u a prime number?
True
Let f be (-3 + 3 + 2)*18/(-4). Let l(b) = -b**3 + 12*b**2 + 17*b - 7. Is l(f) composite?
True
Let j(y) = -y**2 - 8*y + 1. Let s(v) = v**2 + v + 1. Let f(u) = -j(u) - 3*s(u). Let c be f(2). Let w(i) = -2*i**3 + 4*i**2 + 3*i. Is w(c) composite?
True
Let x = 2052 - 259. Is x a prime number?
False
Let x(d) = 37*d**3 + 7*d**2 + 10*d + 1. Let i(o) = o**3 + 8*o**2 - 4*o - 25. Let k be i(-8). Is x(k) a composite number?
True
Suppose 3*j - y - 2 = 0, 3*j + 6 = -3*y - 0. Let k(v) = 9*v + j + v**3 - 6 - 6*v**2 + 19*v**2 - 2. Is k(-9) composite?
True
Let y = 122 - 127. Let w(f) = 46*f**2 - 5*f - 1. Is w(y) prime?
False
Suppose 2*r = -107 + 369. Let p = 200 - r. Is ((-91)/(-21))/(1/p) a prime number?
False
Suppose -3*y - 5*m = 2*y - 7440, -4478 = -3*y + 4*m. Suppose -2*x - y = -7*x. Let i = x - 49. Is i a composite number?
True
Let o(n) = 2*n**3 - n**2 + n + 1. Let d be o(-1). Is 636 + 0 + d - 4 a prime number?
False
Suppose 4*i - 76794 = -2*u, -u - i - 18887 = -57280. Is u a composite number?
True
Let a(m) = 10*m - 11. Let l(r) = r**3 + r**2 + r + 6. Let q be l(0). Suppose -4*u - 18 = 4*k - q*k, 5*k - 5*u - 60 = 0. Is a(k) a prime number?
True
Let u(a) = -38*a**3 - 2*a**2 + 11*a - 32. Is u(-7) composite?
True
Let p = -21 - -41. Suppose 27677 = -7*m + p*m. Is m composite?
False
Suppose -30 = -t - 2*s + 7*s, 5*s = -2*t. Suppose -6*o = -t*o. Suppose -6*b + 529 = -2*b + 5*d, -3*b - d + 394 = o. Is b a composite number?
False
Let l(c) = -9*c - 3. Let w be ((-2)/5)/((-10)/(-150)). Is l(w) prime?
False
Suppose -10*v + 8115 = 5*v. Is v prime?
True
Suppose 36 = -3*d - 9. Let a = d - -18. Is 165 - 4 - (a - 1) prime?
False
Let l = -7911 + 12337. Is l prime?
False
Is (9 - (5 + -1))*509165/25 composite?
False
Suppose -6*d - 7997 - 1723 = 0. Let s = d - -2587. Is s a composite number?
False
Let h(a) = -1607*a - 72. Is h(-1) composite?
True
Let d = 2447 + -1634. Suppose 0 = -4*t + 5857 - d. Is t prime?
False
Let w = 613 - 400. Is w composite?
True
Suppose -8*y = -5*y + 93. Let c = -31 - y. Suppose 5*i + 20 = 0, c = -0*k + 5*k - 5*i - 3445. Is k composite?
True
Let a(l) = 407*l**2 - 29*l + 75. Is a(14) a composite number?
True
Let z = -15 + 15. Suppose -5*o - b + 13 = -2*b, z = -o - 4*b + 11. Suppose -a - o*j = -291, -7*a + 2*a - 5*j = -1495. Is a a composite number?
True
Suppose 28*n - 25*n - 20139 = 0. Let l = 9435 - n. Is l a composite number?
True
Suppose -a + 11 = -2. Let h = 7 - a. Let t(k) = -38*k - 9. Is t(h) a composite number?
True
Let x(h) = 84*h**2 + 4*h - 29. Is x(-5) a prime number?
False
Suppose 4329 + 5632 = 7*r. Is r a prime number?
True
Let z(l) = -l**3 - 5*l**2 - 4*l - 2. Suppose -2*p - 21 = 2*p + 5*s, 0 = -3*p + 2*s - 10. Let f be z(p). Is f - (-11)/(11/40) a composite number?
True
Let w(x) = -13*x**3 + x**2 + 2*x + 1. Suppose 5*u + 2*h + 98 = 0, -2*h + 70 = -5*u + 3*h. Let k be (9/u)/(1/2). Is w(k) composite?
False
Suppose -5 = -5*q - f, 6*f + 24 = 2*q + 2*f. Is ((-7)/q)/((-3 - -5)/(-148)) composite?
True
Suppose 3*l + 0*y - 2*y - 4673 = 0, -5*y = -l + 1536. Is l a composite number?
True
Is 11*5154/10 + (-110)/275 a composite number?
False
Let i(b) = -b**2 + 8*b - 12. Let x be i(8). Is (6/x)/(4/(-5048)) prime?
True
Suppose 4*c = -2*k + 2*c + 5310, c = -2*k + 5306. Is k a prime number?
False
Let b(u) = -u**2 - u + 2. Let k be b(-3). Let a be (-2)/k + 42/(-12). Is ((-1)/a)/(2/1212) a composite number?
True
Let g be 6*4/60*10. Suppose -82 = -g*u + 90. Suppose -2*w - u = -117. Is w prime?
True
Is (-18)/24*(-9208)/6 prime?
True
Suppose -1 = -3*i + 14. Suppose -3*g + 4*h - 360 = 2376, 4*h = -i*g - 4592. Let q = g - -1731. Is q a prime number?
False
Let o(z) = 2*z**2 + 6*z - 3. Let j be o(-5). Suppose 20*l = j*l + 471. Is l composite?
False
Let z = -1145 + 284. Let j = 1240 + z. Is j a composite number?
False
Let h(g) = 62*g - 15. Let p(b) = -b**2 - 10*b - 2. Suppose 11*o = 7*o - 36. Let n be p(o). Is h(n) prime?
True
Let x = 121 + -2. Suppose -8*g - x = -9*g. Is g a composite number?
True
Suppose q + 0*q + 337 = 2*g, 0 = -3*g + 4*q + 493. Suppose -3*k + 48 = -g. Suppose -3*m = -k - 560. Is m a prime number?
True
Suppose -o = -3*k + 2*k + 338, 2*o = 5*k - 1693. Suppose 0*u = -u - 4*c + k, 5*c - 25 = 0. Suppose -u - 96 = -5*g. Is g prime?
True
Suppose 0*z + 60 = -4*z. Let i be ((-11)/3)/(z/450). Suppose -l - 4*x + i = -363, 0 = -5*l - x + 2422. Is l a composite number?
True
Let u = -8875 - -22034. Is u a composite number?
False
Let p = 656 - -113. Is p a prime number?
True
Let q(f) = 4563*f + 256. Is q(25) a prime number?
False
Is (-1 - 0) + 4 + 2778 - 2 a prime number?
False
Let p(z) = -2*z**3 - 32*z**2 + 8*z - 29. Is p(-17) a prime number?
False
Suppose 4*l = 3*l - 1, 4*n - 17808 = 4*l. Is n prime?
True
Suppose -n - 12493 = -2*t, -10*n + 14*n = 4. Is t prime?
True
Suppose 8 = 2*f - 2. Suppose -f*r - 3*x = -6796, -18 = 4*x - 6. Is r composite?
False
Suppose -171*q + 144*q + 2433591 = 0. Is q a composite number?
True
Let p(r) = r**3 + r**2 + r - 2. Let d be p(0). Is ((-3