+ 119 - 30. Let c = k - 56. Let y = -90 - c. Is y a prime number?
True
Let n be (-39)/(-4) - (-3)/(-4). Is ((-366)/n)/((-14)/147) a prime number?
False
Let n be 3/(-2)*30/(-9). Suppose 0 = a + 4*w - 1267, 4*a + n*w - 3515 - 1498 = 0. Let b = a - 748. Is b a composite number?
False
Suppose -3*d + d = -2, -3*m + 3*d = 39. Is 627 - 3*(-8)/m*-2 prime?
True
Suppose -5*r = 25, 53*u + 29990 = 56*u - r. Is u a prime number?
False
Let k be (-4 + 1)*(-1 + 0). Suppose 3*n = -k*a - 873, 5*n = -0*n + 4*a - 1491. Let y = -168 - n. Is y prime?
True
Suppose 5*r = 3*o + 19, 2*o - 3*o + 4*r = 18. Suppose -o*b + 1180 = 4*a, a + 3*b - b = 301. Is a a prime number?
True
Let c = -1116 + 11017. Is c a composite number?
False
Let x = -90 - -94. Suppose -6*c + 2*c = -4, x*d = -4*c + 336. Is d prime?
True
Let x(j) = 15131*j + 26. Is x(1) a composite number?
True
Let m(a) = 595*a + 22. Let l be m(8). Let o = l + -1145. Is o prime?
True
Let i(s) = s - 4. Let h be i(8). Let c be (-3 + (-7)/(-2))*h. Suppose 4*o - 234 = c*a, -4*a + 6 = 2. Is o composite?
False
Suppose 2*t - 16 = -2*l, -t + 2 = -l + 5*l. Suppose -7469 = -t*o - o. Is o prime?
False
Suppose -7*l + 12698 = -5*l. Is l a composite number?
True
Let a(f) = -5*f + 18. Let w be a(14). Let q = -32 - w. Suppose -3*j + q = 2*t, -t = 4*t - 2*j - 31. Is t a prime number?
True
Let h be (16/(-6))/(-4)*-54. Let j = h - -67. Is j prime?
True
Let g(p) = p**3 + 6*p**2 - p - 12. Let f be g(-5). Suppose s + f = 21. Is (-3)/(-9) - (-1334)/s a prime number?
False
Is (-21)/(-3) + -6 - 59*-26 a prime number?
False
Let j(m) = 4*m + 21*m**2 - 10*m + 17 - m**3 + 8*m. Is j(15) a prime number?
False
Suppose -731*l + 735*l = 5092. Is l composite?
True
Suppose y - 528 - 106 = -a, -2*a = -3*y - 1253. Suppose 0 = -5*h + 1024 + a. Is h a composite number?
False
Let s(q) = -282*q - 31. Is s(-20) composite?
True
Let t be (-2)/4*-10*5. Suppose 0 = 4*h + h - t. Suppose 637 + 898 = h*u. Is u composite?
False
Let q = 2098 + -633. Is q prime?
False
Let x = -817 - -1209. Suppose -2*t = c - x - 55, t - 1 = 0. Is c prime?
False
Let p(i) = 1755*i - 10. Let h be 26/(-91) - 32/(-14). Let z(w) = 351*w - 2. Let c(k) = h*p(k) - 11*z(k). Is c(-3) a composite number?
True
Suppose 2*l + 3 = 4*j - 13, 3*l = 3*j - 12. Suppose j*d - 475 = -d. Is d a composite number?
True
Let z(l) = l**3 - 5*l**2 + 11*l - 24. Let n be z(4). Suppose 3*k + i - 5948 = 0, -7899 = -n*k + 6*i - i. Is k composite?
True
Let l be (11 - 10)/(1/5). Suppose 0 = -5*h + 3*v + 2762, -2214 = h - l*h - 2*v. Is h composite?
True
Let g = -29 - -448. Is g a prime number?
True
Suppose -3*b - 5*t + 55496 = -0*t, -b + 4*t = -18493. Is b a composite number?
True
Let g = -21 - 36. Let m = g + 544. Is m a composite number?
False
Let p(k) = -105*k - 14. Let t(x) = -104*x - 15. Let a(h) = -4*p(h) + 5*t(h). Is a(-5) composite?
True
Let f = 76 + -73. Suppose f*u - 4787 = q, -6*u + 3198 = -4*u + q. Is u a composite number?
False
Is -235*(-10 + (-15685)/25) a composite number?
True
Suppose -5*t - 4*m = 5, 4*t + 2*m - 4 = -2. Suppose t*o - 2*x = 18 + 1837, 5*x = 4*o - 2471. Is o prime?
True
Let c = -47 + 27. Let m = c - -34. Suppose m*a - 19 = 13*a. Is a a composite number?
False
Suppose 307 + 648 = c. Suppose c = 2*f - 663. Is f a prime number?
True
Suppose -13*s - 64 = -5*s. Is (382/(-5))/(s/20) composite?
False
Let g(n) = -15 + 17*n - 265*n + 12. Let z(v) = -v**3 + 4*v**2 + 4*v + 3. Let x be z(5). Is g(x) a composite number?
True
Let x = -33 - -31. Is x/(-3)*(2 - 10246/(-4)) prime?
True
Suppose -32*s + 21*s = -33. Suppose 4252 = 4*g - 4*n, -1193 + 5473 = 4*g + s*n. Is g a composite number?
True
Let t(v) = -v**2 - 7*v + 3. Let z = -2 + -5. Let n be t(z). Suppose 1691 = n*p - 5*b, -3*p = -0*b + 5*b - 1651. Is p prime?
True
Let r(i) = i**3 - 8*i**2 - 9*i + 5. Let o be r(9). Suppose -15 = -o*s + 2*s. Suppose 558 + 344 = 2*l - s*m, 442 = l + 2*m. Is l a composite number?
True
Suppose 7*r + 5100 = -2040. Let b = r + 2039. Is b prime?
True
Suppose 0 = 4*p - 12*p + 24. Is (p + 15/(-6))*410 a composite number?
True
Let f(n) = -3*n**2 + 2*n + 1. Let u be f(3). Suppose -k = 4, k + 50 = -2*d - 4*k. Is 9/d - 3592/u a prime number?
True
Suppose 45262 = 13*r - 17931. Is r composite?
False
Let g = 17 - 10. Let f = -43 - -161. Let p = f - g. Is p a composite number?
True
Let b(t) = t**3 - 5*t**2 - 3*t + 7. Suppose 5*k = -5*j + 70, 7*j = 2*j + 5*k + 110. Suppose -2*v + 2 - j = -3*r, 4*v = 4*r - 20. Is b(r) a composite number?
True
Let n(h) = 9*h + 394 - 30*h**3 - 19*h**3 - 385. Is n(-5) prime?
True
Suppose 6 = -2*h + 4*w, h + 5 = -4*w + 20. Let v be (22/h)/(10/375). Suppose 0 = -d + v + 692. Is d a prime number?
True
Let o be 3*-1 - (-6 - -3). Suppose 5*p - 2*k - k = 81, -5*p + k + 77 = o. Is -5*((-768)/p - -1) prime?
True
Let m(c) = c**2 + 9*c + 17. Suppose -g + 10 = -2*v, -v = -0*g + 3*g - 30. Let a be m(g). Suppose 2*q - a = 77. Is q composite?
True
Let r(m) = -17*m - 18. Let c(b) = -6*b - 7. Let l(h) = -11*c(h) + 4*r(h). Let j(n) = -n**2 - 3*n - 3. Let u be j(-4). Is l(u) a prime number?
True
Let l(x) = 3*x**2 - 19*x + 33. Is l(-22) prime?
False
Let h(i) = 8*i**2 - 10*i + 11. Let g(y) = -y**2 + 7*y - 6. Let f be g(6). Suppose 3*s + 1 - 25 = f. Is h(s) a composite number?
False
Suppose -c - 39 = 3*c - 3*s, 0 = -5*c - s - 44. Let a = c + 12. Is 3*(-4 + 170/a) a composite number?
True
Let o = -12577 + 21308. Is o a composite number?
False
Let w(p) = p**3 + p**2 + 2. Suppose 2*l = 3*l - 3*y + 6, -l = -y + 2. Let t be w(l). Is (-4213)/(-55) + t/5 a prime number?
False
Suppose d = 5*f - 4*f + 8665, 5*d + f = 43313. Is d composite?
False
Let o(z) be the third derivative of z**6/120 - 3*z**5/20 - z**4/12 - 2*z**3/3 - 4*z**2. Let s be o(10). Let q = s + -41. Is q a composite number?
True
Let m(g) = 16452*g**3 + g - 1. Let i be m(1). Suppose -3*l = 3*c - 9870, 0*l - 3*l = 5*c - i. Let j = c + -1748. Is j a prime number?
True
Is (33316/6)/((84/(-9))/(-14)) a prime number?
True
Suppose 0 = 3*l + 2*l - 20. Suppose -l*f + 4*n - 548 = 5*n, -3*f - 402 = 3*n. Let j = f + 207. Is j a composite number?
True
Suppose -8*k - k = -99. Suppose 3*c + 0 = 2*m + 8, -m + k = c. Suppose 3*p + 3957 = c*p. Is p a prime number?
True
Let m = 1049 + 1728. Is m a prime number?
True
Let n be (-1)/((-32)/10 + 3). Suppose -4*v + 148 = n*k, 4*v = 3*k - 94 + 242. Is v a prime number?
True
Let k = -51 + -39. Let p be 1/2*(4 - k). Let c = -28 + p. Is c composite?
False
Let u = 65 - 63. Suppose -2*c - u*c = 4*r - 1036, 0 = -c + 5*r + 247. Is c a prime number?
True
Suppose 3*t + 23 = 17. Let b(p) = -653*p**3 - 2*p**2 - p + 1. Is b(t) prime?
False
Suppose 0*n - 17964 = -6*n. Is n/(-4 + 8 + -2) prime?
False
Let p be (-10)/14 + (-2)/7. Let k be p/((-3)/((-12)/(-2))). Suppose x + 4*s - s = 19, k*s = -3*x + 29. Is x prime?
True
Is 6 - (5 - (-48348)/(-6)) prime?
True
Suppose -3380 = 6*v - 15698. Is v composite?
False
Let x = 1276 - -763. Is x composite?
False
Let u(a) = a**3 + 4. Let w be u(0). Let k(q) = -35*q - 22*q - 1 + w - 2. Is k(-1) composite?
True
Let t = 3 + 2. Let c be 1/2 - t/(-2). Suppose -c*u = -402 - 45. Is u a composite number?
False
Let h = -98410 - -140453. Is h prime?
True
Let j(m) be the third derivative of -m**6/120 + m**5/60 + m**4/12 + m**3/2 + 5*m**2. Let f(q) = 3*q. Let u be f(-1). Is j(u) a composite number?
True
Suppose 0 = -22*r + 8*r + 59178. Suppose -n + 4*n = r. Is n prime?
True
Let w = 56844 - 30905. Is w prime?
True
Let q(l) = -44*l**3 - 35*l**2 + l - 7. Is q(-4) composite?
True
Let r(y) = 8*y**2 + y - 1. Let i be r(1). Suppose -i*q + q + 14 = 0. Suppose -q*g - 2*g = -460. Is g composite?
True
Is (-2 - 12673/2)*(14 + -16) prime?
False
Suppose 3*t - 93788 = 80851. Is t prime?
False
Suppose 7 = -2*h + 17. Suppose 6*j - 4907 = h*j. Is j a prime number?
False
Let k(i) = 2*i**2 - 6*i - 1. Let h(b) = -b**2 - 1. Let v(g) = 3*h(g) + k(g). Let p be v(-3). Suppose 4*z - 1775 - p = 0. Is z prime?
False
Let t = 33 + -27. Let s be -2 + t/2 + 14. Let l = 92 - s. Is l prime?
False
Let x(m) = -5*m**3 - 6*m**2 + m - 7. Is x(-6) a composite number?
True
Suppose -5*h = -7*o + 6*o + 103314, 5*o - 516600 = -5*h. Is o prime?
True
Suppose 2*b - 77511 = -19*b. Is b prime?
True
Suppose 0 = 9*q - 30253 - 22460. Is q prime?
True
Let f(g) = -22727*g - 90. Is f(-5) 