t m be h(-13). Let p = 2931 + m. Is p composite?
True
Suppose 2*z - 52501 = 7*n - 8*n, 3*n - 157463 = 4*z. Is n composite?
True
Let h = -2 - -5. Let t(w) = 3*w**2 - 4*w - 73. Let d be t(6). Let l = h + d. Is l a composite number?
True
Suppose -15*o = -4*o - 22. Is (-7)/3 + o - 2212/(-3) a composite number?
True
Suppose 4*n - 282 = -2*z, -n - 373 = -3*z + 3*n. Is z a prime number?
True
Suppose -43 = -3*p + 2*m - 7*m, p = 2*m + 7. Suppose -14*g + 3681 = -p*g. Is g composite?
True
Let w = -280 + 506. Suppose -v + w = -72. Is v composite?
True
Let d be 2*-1 + (7 - 5). Suppose d*u + 6*u = 1590. Is u a composite number?
True
Let k be 5463/12 + 10/(-40). Suppose -2221 = -12*f + k. Is f composite?
False
Let u be 18/(((-7)/(-42))/((-1)/(-9))). Suppose u*v + 1508 = 16*v. Is v a composite number?
True
Let p = -5286 - -8836. Suppose 0 = -2*a + 5*a - 9. Suppose -a*k + 3*y + 2658 = 0, k - 2*y = -3*k + p. Is k a composite number?
True
Let o(d) = d**3 - 8*d**2 + 9*d - 2. Let x be o(7). Let v be (-4)/x + (-32)/(-6). Let z(p) = 3*p**2 + 3*p + 7. Is z(v) composite?
False
Suppose -q + 8969 - 694 = 3*u, 2*u - 8276 = -q. Is q a prime number?
False
Let g(h) = h - 29. Let p be g(25). Is 586 - (-4 - p - -3) a prime number?
False
Suppose -257 = 19*b - 20*b. Let o = b - -374. Is o a prime number?
True
Let s(l) = l**3 + 6*l**2 - 10*l - 11. Let z be s(-7). Let u be 264/60 + (-4)/z. Suppose -u*r = 2*r - 54. Is r prime?
False
Suppose 4*t = -w - 0*t + 3261, 0 = -3*w + 2*t + 9839. Is w a prime number?
False
Suppose 3*i + 205 = 4*i. Let b(a) = -a**2 - 6*a + 59. Let c be b(-11). Suppose c*v - 303 = i. Is v a composite number?
False
Suppose 0 = -5*y + 4*c + 10257, 2*y + 3*c + 2047 = 3*y. Is y a prime number?
True
Let s = 12 + -14. Let z(p) = -196*p**3 + p**2 + 6*p + 7. Is z(s) a composite number?
False
Suppose 0 = -v + 93 + 2. Let g = 252 - v. Is g prime?
True
Suppose -g = 3*u - 12, -u + 0*u + 4 = 4*g. Is ((-2782)/(-6) - g)/(25/75) a prime number?
False
Suppose -5*w + 27 = -0*v - 4*v, -9 = -2*w + v. Let h be 22/(-6) + 2/w. Is h - -4 - -6*53 composite?
True
Let a(x) = 636*x + 65. Is a(4) composite?
False
Suppose 15 = 5*v - 0*v. Suppose -4*p = i - 3*i + 434, -4*i - v*p = -901. Is i a prime number?
True
Let f = 126700 + -72179. Is f a composite number?
False
Suppose 0 = -5*g + 14310 - 2455. Is g a composite number?
False
Suppose -2*o - 31 = 4*w + 21, -4*o + 3*w = 71. Let i = o + 28. Is 158/i*(10 - 6) prime?
True
Let d = -64 + 67. Suppose 308 = d*h - 325. Is h prime?
True
Is -2*(-5)/(-10)*-2309 a composite number?
False
Let s(t) = 102*t**2 + 9*t - 25. Is s(-16) composite?
False
Let f(q) = -3*q + 36. Let r be f(11). Is 0 - 0 - -6068 - (0 + r) a composite number?
True
Let q = 24 - 23. Let i(b) = 313*b + 1. Is i(q) a composite number?
True
Suppose 0 = -a - 5*r - 485, -4*a + 3*r - 455 = 1393. Let c = a - -846. Is c composite?
True
Let u(i) be the first derivative of -19*i**4/2 - 2*i**3/3 - i**2/2 + 13. Let p(v) = v - 1. Let m be p(-1). Is u(m) a composite number?
True
Let d(m) = -5*m + 2. Let t be d(15). Let w = 334 - t. Is w a prime number?
False
Suppose 0*j = -4*j. Let r(v) be the second derivative of v**4/12 - v**3/6 + 83*v**2/2 + 2*v. Is r(j) composite?
False
Suppose 0 = 5*d + 138 + 62. Let r be (-28)/(-10) + (-8)/d. Suppose -4*i = -7*i + 4*a + 30, 0 = -3*i + r*a + 27. Is i a prime number?
False
Let n = 23 + -21. Suppose -271 = -n*r + 275. Let l = r + -178. Is l composite?
True
Let y(l) be the second derivative of l**4/2 - 5*l**3/6 - 3*l**2 + l. Suppose 0 = w - 4*g - 2 - 1, -5*g = 4*w + 30. Is y(w) a composite number?
True
Suppose 4*l = 567 + 465. Let c be l/(-10)*-5*1. Suppose 624 + c = 3*v. Is v prime?
True
Suppose 59*o - 4032 = 60*o. Let i = -1429 - o. Is i a prime number?
False
Let h(a) = 5*a**2 - 16*a - 12. Let w be h(-12). Let z = w - 599. Is z a prime number?
False
Let g be (10/4)/5 + (-1382)/(-4). Let j = 7 + -3. Suppose 12 - 3 = -3*o, j*o - g = -2*c. Is c a prime number?
True
Let i = 2082 + 19553. Is i a prime number?
False
Suppose -7*x = -x - 24. Suppose -k + 43 = x*h, -3*h + 12 = h. Is k composite?
False
Suppose -4*u + 7272 = 3*g, 0 = -5*u + 5*g + 730 + 8360. Suppose -2*z - u = -4*z + f, 4*z - 3608 = -5*f. Is z a prime number?
True
Let k = -19 - -44. Let m(u) = -u**3 + 26*u**2 - 14*u + 18. Is m(k) composite?
False
Let l be 74/26 + (-5)/((-390)/12). Suppose -5*z + v + 4093 = 0, -5*v + 861 = -l*z + 3330. Is z a composite number?
True
Suppose y - 8915 = 47654. Is y composite?
False
Let l = -20 + 22. Suppose -l*v - 5*r = -493, -2*r + 505 = 2*v - r. Is v prime?
False
Let b be (-121*12)/((-4)/(-6)). Let d(m) = 3*m - 1499. Let p be d(0). Let n = p - b. Is n a prime number?
False
Suppose 5*w + 4*j = 59103, 5*w - 59085 = 48*j - 43*j. Is w a prime number?
False
Suppose 2 - 17 = 3*o. Is (1*543/6)/(o/(-10)) composite?
False
Suppose 0*t + 15 = 3*t - j, 4*t - 4*j = 20. Suppose t*i - 890 = d, -4*i + 422 = 3*d - 290. Is i a prime number?
False
Suppose 42*z = 38*z + 12. Suppose -r - z*r + 860 = -3*u, -860 = -4*r + u. Is r composite?
True
Suppose 821*c = 819*c + 1562. Is c prime?
False
Let t be (2 - 2)/(-2 + -1). Suppose t = -5*n - 0*n - 10. Is (n/4)/(12/(-1848)) a prime number?
False
Suppose x = -u - 304, 4*x + 5*u = 3*x - 296. Let c = 1 - x. Is c a composite number?
False
Let a be (4*2)/((-7)/(-14)). Suppose 2*p + a = 6*p. Suppose p*l - 18 = 42. Is l prime?
False
Suppose -188*j = -156*j - 482528. Is j prime?
False
Is (9 - -13)/22 - 1*-1942 prime?
False
Let p = 126 - -5. Is p a prime number?
True
Is ((4 - -2)/6)/((-3)/(-5403)) a composite number?
False
Suppose -2*g = -5*n + 38769 - 5790, 0 = 2*n - 3*g - 13196. Suppose n = 18*t - 13*t. Is t a composite number?
False
Let q(g) = 125*g + 2. Let h be q(-2). Let u(n) = 4*n**2 - 3*n + 8. Let l be u(11). Let o = h + l. Is o prime?
True
Let a(n) = -569*n - 1. Let j be a(-1). Suppose -o = 4*i - 99, 92 = -4*o + 4*i + j. Is o a composite number?
True
Let t be (-3 + 3)/(4 + -2). Suppose 4*p + 5*f - 1291 = t, -5*p = -p - 3*f - 1331. Is p prime?
False
Suppose -p = -2*p - 2*u + 1221, -5*u - 6060 = -5*p. Suppose -2*z = -p + 205. Suppose -w = -0*w - z. Is w a composite number?
True
Suppose -7695 = -5*n - 5*q + 1100, -n + 3*q = -1775. Is n a prime number?
False
Let p be 1/(-2)*(-1 - 7). Suppose 0*o + p*o + 2*z = 414, -3*o + 5*z = -304. Is o prime?
True
Let p(f) = -10*f + 20*f - 3 - 8*f. Let m be p(3). Suppose m*u + 4*t - 365 = 0, 139 = u + 2*t + 20. Is u prime?
True
Let j(z) = -32*z**3 - 2*z**2 - 3*z - 4. Is j(-3) prime?
False
Let u be (36/(-10))/((-12)/9800). Let p be 6*u/8 + -2. Let y = -1568 + p. Is y a prime number?
False
Let i(h) = 9*h**3 - 10*h**2 + 4*h + 13. Let c(v) = -13*v**3 + 15*v**2 - 6*v - 19. Let m(n) = -5*c(n) - 7*i(n). Is m(3) prime?
True
Let r(a) = -6*a**3 + 8*a**2 - 6. Let y be r(7). Let v = 823 - y. Is v prime?
False
Let q = 464 + -327. Let l = 8 + q. Is l a composite number?
True
Suppose 4*v + 22 - 34 = 0. Suppose 2*t + 15 - 6 = h, 0 = -t - h + v. Is (-460)/(-6) - t/6 composite?
True
Suppose 0*r - 22 = -4*r + 3*t, -5*t = -5*r + 30. Suppose 0 = 4*v + 3*c - 2 - 7, -r*c + 12 = 0. Suppose v = 3*j - 41 - 406. Is j prime?
True
Let k be 2*-2*20/(-40). Suppose 4*w - 808 = 2*f - 6*f, 5*w - k*f = 989. Is w a prime number?
True
Suppose 2*q - m - 4163 = 6899, 3*q - 16619 = -5*m. Is q composite?
True
Let l = -21677 - -39736. Is l a composite number?
False
Suppose 3*z - 5*n + 1 = 0, -2*n - 3*n + 25 = 5*z. Suppose -2*x = -z*x + 19. Is x a composite number?
False
Let z(c) = 44*c**3 - 8*c**2 + 12*c - 3. Is z(8) a composite number?
False
Suppose -11*b + 12989 = -8142. Let z = b + -966. Is z a prime number?
False
Let x = -72895 - -124046. Is x a composite number?
False
Suppose 11*q - 9495 = -2048. Is q a composite number?
False
Let s(x) be the first derivative of 8*x**3/3 + 3*x**2/2 - x + 3. Let o(d) = -d**2 + 5*d - 8. Let v be o(5). Is s(v) prime?
True
Let r(t) = 43*t**2 + 7*t - 28. Let j(i) = 14*i**2 + 2*i - 9. Let s = 1 + -3. Let u(v) = s*r(v) + 7*j(v). Is u(5) prime?
True
Let y be (4 - -2) + -3*1. Suppose -y*p = -11*p. Suppose p = -4*f + f + 2355. Is f a composite number?
True
Suppose 0 = -28*p + 46*p - 747702. Is p a prime number?
True
Let x = 191 + -10. Let y = x - -178. Is y composite?
False
Let w be (4/8)/(2/(-8)). Let f = 7 + w. Suppose 3*i -