. Is (-4)/n + p/(-35) a composite number?
True
Let m = -5995 - -11166. Is m prime?
True
Let k be (-4 - (-3)/(-1))*(-1)/1. Suppose 0 = k*t - 3581 - 1102. Is t prime?
False
Suppose 75*a - 68*a = 242417. Is a a composite number?
False
Let y(i) = -88*i + 1. Suppose o + 2 = -1. Let t be y(o). Suppose -2*a + t = -a. Is a a composite number?
True
Let h(x) = -x**3 + 7*x**2 + 3*x - 6. Let c be h(8). Suppose -2*j + 15 = 5*t, -j = -0*j + 4*t - 9. Is 2 - j - -6 - c composite?
True
Let w(p) = p**3 + 21*p**2 + 22*p + 23. Let i be w(-19). Suppose 35 - i = 2*f + 2*m, m + 742 = -5*f. Let u = -55 - f. Is u composite?
True
Let b = -26322 + 45763. Is b composite?
False
Suppose -5*z + 190553 = 4*p, 4*z - 152440 = 3*p - 7*p. Is z a composite number?
False
Suppose -5*c - 14 = 4*z, -4*c - 12 = -2*z + 6*z. Let y = c - -2. Let q(n) = -n + 202. Is q(y) a prime number?
False
Let l(y) = 58*y - 1. Let f(c) = 114*c + 1. Let j(n) = -n + 1. Let k(u) = -f(u) + 2*j(u). Let h(x) = -2*k(x) - 5*l(x). Is h(-5) a prime number?
True
Let g(l) = l**3 + 18*l**2 + 14*l. Suppose 2*n + 2 = 3*n. Suppose -n*m = 2*m + 68. Is g(m) prime?
False
Let m(b) = 7354*b**2 - 14*b - 13. Is m(-1) composite?
True
Let w(n) = -2*n - 2. Let x be w(-1). Is (1749/(-9))/(x + 1/(-3)) prime?
False
Suppose 6 = 4*l - 9*l + 2*j, 5*l - 12 = -4*j. Suppose l = -m + 6. Let f(x) = 36*x + 1. Is f(m) composite?
True
Let y = 16603 - 8702. Is y prime?
True
Suppose 16*l - 17*l = -6139. Is l a prime number?
False
Suppose -4*t = -2*k - 6, -4*k = -3*t + t - 6. Suppose 4*p = p - t*n + 1695, -2*p + 1134 = 3*n. Suppose -3*o + p = -0*o. Is o prime?
False
Let z(u) = 4*u**3 + 8*u**2 + 71*u - 40. Is z(23) prime?
True
Suppose 5*h = -0*h + 2*a + 3145, 5 = a. Is h a composite number?
False
Suppose 6*h - 3281 = 2197. Let n = -264 + h. Is n a composite number?
True
Suppose q - 37 = -31. Suppose -2*z + q*c - c + 733 = 0, 1870 = 5*z - 5*c. Is z a composite number?
False
Let j(l) = l**3 + 9*l**2 - 21*l + 14. Let p be j(-11). Suppose -2*q + 9725 = p*q. Is q a prime number?
False
Suppose -28*h + 12356 = -24*h. Is h composite?
False
Let j = 29 - 17. Suppose 0 = r - 5*r + j. Suppose -r*t + 5*w + 381 = 0, -3*t - 2*w = 2*t - 635. Is t a composite number?
False
Suppose -3*z - 3*y = 2*z - 1, 2*z = y + 7. Suppose -s + 421 = i - z*s, -3*s + 1281 = 3*i. Let o = i - -495. Is o prime?
True
Suppose -2*j + 5*o = -22358, -6*j - 12*o = -3*j - 33615. Is j composite?
True
Let j(n) be the first derivative of n**7/60 + n**6/180 - n**5/120 + n**4/24 + 5*n**3/3 + 1. Let m(g) be the third derivative of j(g). Is m(2) prime?
False
Let g(s) = 19*s**3 - 7*s**2 - 14*s + 55. Is g(7) a prime number?
True
Let c(n) = n + 1. Let d(f) = -3*f. Let p(j) = -4*c(j) - 2*d(j). Let q be p(7). Let k(s) = -s**3 + 15*s**2 - 7*s - 19. Is k(q) a prime number?
False
Suppose 3*r - r - 8 = 0. Suppose 3*y - 1623 = r*i, -4*y + 2160 = -0*i - 4*i. Is ((-4)/(-12) - 0)*y prime?
True
Suppose -w - 15 = -6*w. Suppose -5*o + 24 = 2*j - 11, -5*j - w*o = -40. Suppose 555 = j*b - 0*b. Is b composite?
True
Let t(y) = y**2 - 10*y + 11. Let n be t(7). Is (n + -3)*(-29 + 0) composite?
True
Is (-1)/(3/1)*-14721 a prime number?
False
Suppose 72 = -17*c + 8*c. Is 4*((-6)/(-30))/(c/(-61430)) a prime number?
True
Suppose 9698 - 2538 = 4*r. Suppose 0 = p, -2*m - 3*p = -0*m - r. Is m composite?
True
Is ((130/8)/(-5))/(20/(-24880)) a prime number?
False
Suppose -13*j - 24993 + 98612 = 0. Is j a composite number?
True
Is 5/((-5)/(-67038)) - (10 + -14) a prime number?
False
Let b(w) = -4133*w + 70. Is b(-3) a composite number?
True
Let i(l) = 41*l**2 + 17*l**2 + 4 - 16*l**2 - l. Let j be i(-3). Let h = -228 + j. Is h a prime number?
True
Let l be 15*(-3 - -2) + 6 + -7. Let z = 47 + l. Is z composite?
False
Suppose -3 = 4*d - 19. Suppose -k + 3 - d = 0, 2*x = k + 11. Suppose q = 0, 0 = -4*i + 3*i - x*q + 257. Is i a composite number?
False
Suppose 3*p = -4*a + 12, -2*p + 2 = 3*a - 8. Is 1681/2 + (-27)/a + 3 prime?
True
Let b(c) = -42*c - 3. Let p(u) = -u + 4. Let x be p(8). Let g be -1 + -1 + 0 + x. Is b(g) a composite number?
True
Let d(k) = k**3 + k**2 + 2. Let j be d(0). Suppose v + 141 = 4*i + j*v, 40 = i + 5*v. Let n = i - 1. Is n prime?
False
Is (-3)/(-6 - 88644/(-14776)) composite?
True
Let a(t) = -59*t + 24. Let d be a(-4). Suppose 5*c = -0*c - 3*h + 26, 0 = -h - 3. Suppose -c*v + d = -3*v. Is v a composite number?
True
Let j be 20/30 - 1744/6. Let n be ((-32)/(-10))/((-4)/j). Suppose n - 865 = -3*m. Is m a composite number?
False
Suppose 2*y = y + 159. Is ((-14)/42)/((-1)/y) composite?
False
Let r(b) = -4*b - 3. Let z be r(-4). Let g be ((-13)/z)/((-2)/6). Suppose -g*y - y + 933 = -l, 0 = -y + 2*l + 235. Is y prime?
True
Let x(v) = -60*v + 9. Let k be x(-10). Suppose k = a - 1232. Is a composite?
True
Let a(r) = 152*r - 37. Let f(t) = 2*t**3 - 11*t**2 - 4*t + 4. Let c be f(6). Is a(c) composite?
True
Let d = -332 + 489. Is d composite?
False
Let h(z) = 3 - 2 - z**3 - 2 + z. Let r be 22/(-6) - 2/(-3). Is h(r) a prime number?
True
Let p(b) = 944*b**2 - 27*b - 53. Is p(-2) a composite number?
True
Let i(m) = 727*m - 4. Is i(11) a composite number?
False
Let g(n) = -n**2 - 4*n. Let f be g(-4). Suppose f*p - 5*p = 0. Suppose p = 9*x - 6*x - 207. Is x a prime number?
False
Suppose 0 = -1969*q + 1977*q - 162920. Is q a composite number?
True
Let v(t) = t + 1. Let f(s) = 207*s + 31. Let k(b) = f(b) - 2*v(b). Is k(6) composite?
False
Let q(u) = 12*u + 5. Let z be q(-15). Is (-897550)/z - 2/(-14) a prime number?
False
Let u = -29 - -41. Is (-3)/u + (-36276)/16*-1 prime?
True
Suppose 3*b = 2*p - 1382, 12*b - 11*b - 1398 = -2*p. Is p a prime number?
False
Suppose 0 = 5*z - 798 - 2617. Is z composite?
False
Let f = -10 - -16. Suppose d - f*d = -115. Is d prime?
True
Let d(m) be the first derivative of -2*m**3/3 + 26*m**2 + 28*m + 28. Is d(23) prime?
False
Suppose -4*i - 7 + 31 = -2*f, -i - 1 = -4*f. Suppose -i*c + 14689 = 2012. Is c composite?
False
Let v(t) = 4*t + 45. Is v(13) prime?
True
Let a = -2532 - -14317. Is a prime?
False
Let p = -26 + 12. Let y = 23 + p. Suppose -5*k + y*k = 852. Is k a composite number?
True
Let t(m) be the second derivative of -m**5/20 + 5*m**4/12 + m**3/3 - 7*m**2/2 + m. Let v be t(5). Is 64 - (v - 2 - 4) a composite number?
False
Let o(v) = 10*v**2 + 8. Let c be o(-7). Let h(u) = 8*u + 1. Let r be h(1). Is 3/(r/c) + -3 composite?
False
Let w(b) = -98*b - 14. Let q be w(-10). Let j be 2/(-11) - q/(-231). Suppose -2*i - 4*d + 386 + 36 = 0, j*i - 2*d = 844. Is i a composite number?
False
Let l = -10534 + 23511. Is l prime?
False
Let u(n) = -n**2 - 3*n + 7. Let b be u(-5). Let h be ((-6)/(-10))/(b/(-165)). Let v = 62 + h. Is v prime?
False
Let l(n) = -n**3 - 14*n**2 + 7*n - 3. Let j be (-4)/(-12) - (-118)/6. Let h = j - 36. Is l(h) composite?
False
Let h = -11 + 8. Let b be h/7 + (-333)/7. Let n = b + 133. Is n composite?
True
Let g(a) be the second derivative of a**5/4 - a**4/2 - 5*a**3/6 + 3*a**2/2 - 4*a. Let w be g(-6). Let l = 1886 + w. Is l a composite number?
True
Let d(t) = -t**3 + t**2 - t + 232. Let j be d(0). Let o = j + -83. Is o composite?
False
Suppose -3*s = -q - 262, -2*q = 3*s - 7*s + 346. Let g = 508 - s. Is g a composite number?
False
Let i(x) = -2*x - 10. Suppose 0 = d + 5*k + 13, 4*k = -4*d + 5*k - 31. Let o be i(d). Is (-2)/(o/(-1467)*3) a prime number?
True
Let p(g) = -20*g**3 + 2*g**2 - g + 1. Let b be p(-2). Let r = b + 134. Is r a composite number?
True
Suppose 1 - 3 = -3*m + 5*u, 0 = -4*m - 4*u + 24. Let j(s) = 7*s**2 - 12*s + 7. Let z be j(8). Suppose m*q - z = 3*q. Is q a prime number?
True
Let z be 0/(-4*1/2) + -212. Let p = 465 + z. Is p composite?
True
Let r be 60/((-9)/((-351)/6)). Suppose 0 = -3*m + 3*p + r, -p - 139 = -m - 3*p. Is m a composite number?
True
Suppose 2*k = k - 5*t + 4, -5*t = -5. Is ((-12070)/(-30))/(k/(-3)) a prime number?
False
Suppose -4*n + b + 8 = -3, 4*b = 5*n. Suppose -2*a - 2060 = -n*g, -5*g + 2*a + 3745 = 1168. Is g composite?
True
Suppose -80*q = -75*q - 385265. Is q prime?
False
Let a = -1406 + 2277. Is a a prime number?
False
Suppose 5*s - 17*s = -192492. Is s a composite number?
True
Let u = -12 + 14. Let b be u/(-10) - (-1008)/(-10). Let h = 156 + b. Is h a composite number?
True
Let h = 31329 - 15296. Is h a prime number?
True
S