e 0 = d - 3*d + t. Is d composite?
True
Let q(s) = -23*s**3 - 1. Let i be q(-1). Suppose 5*u - t - 24 = 0, 0*u + 2*t - i = -4*u. Is ((-4)/u)/(12/(-510)) prime?
False
Let s = -1 - 3. Let p be (7*3)/(s/(-16)). Suppose 3*h - p = -h. Is h composite?
True
Let q = 32 - 27. Is ((-839)/3)/(q/(-135)*3) a composite number?
True
Suppose -13553 - 18771 = -2*v. Suppose -4*m = 3*s - 16157, -v = -5*m + m + 2*s. Let j = m + -2579. Is j composite?
True
Suppose -5*j + 3*k = -44417, -2*j - 3*k + 14166 + 3584 = 0. Is j composite?
True
Let t be 1123/(-3) - 3/(-9). Let h = t + 819. Is h composite?
True
Let a be 2428*(-1 - 1)/2. Let r = -1727 - a. Is r a prime number?
True
Suppose 1140 = 3*y + 3048. Suppose 0 = 4*c - 4 + 20. Is c/(-6)*y/(-8) a composite number?
False
Let j(k) = -3758*k + 12. Let b be j(-4). Suppose b = 52*z - 48*z. Is z a prime number?
True
Let w = 3780 - -8959. Is w a prime number?
True
Suppose 2*j + 500 - 2016 = 0. Suppose -5*q - 24 = -q. Is j/q*6/(-2) a composite number?
False
Let s(q) = -56*q**2 + 5*q - 6. Let r be s(-6). Let w be 2/1*r/(-8). Let j = w + -134. Is j prime?
True
Suppose 5*t - 2*t = 2*i + 16067, 2*t + 5*i - 10743 = 0. Suppose 3*q - 3227 = -4*b, t = 5*q - b + 19. Is q prime?
True
Is 989 + (27 + 5)/(-8) a prime number?
False
Let w(g) = -g**2 - 10*g - 11. Let i be w(-9). Let s be 236 + i/(-8)*0. Let l = s + -79. Is l prime?
True
Let t = 496 + -159. Suppose t = j - 106. Is j a composite number?
False
Suppose 0*i + 4*i + 5*v = 88057, -5*v = -4*i + 88047. Is i a prime number?
True
Suppose -481*h = -494*h + 215969. Is h composite?
True
Let b(h) = 84*h**2 - 67*h - 6. Is b(-5) a composite number?
True
Let k(w) = 201*w + 19. Is k(58) prime?
True
Suppose -4*n = -5*n + 611. Suppose 0 = -5*f + 99 + n. Is f a composite number?
True
Suppose 4*f = -x - 23, 2*x - 5*f = -3*x - 15. Let y = x - -10. Is 953*y*(-3)/(-9) a composite number?
False
Suppose -3*d = 3*k + 6, -3*d - 19 - 1 = -4*k. Suppose -2*s = -3*w + 451, 0 = k*w - 6*w - 5*s + 586. Is w a composite number?
False
Let w be (5 + -20)*3/9. Is -589*(-4)/(-1 - w) a prime number?
False
Let x = 32 - -15. Suppose 3*u = -583 - x. Let y = u - -505. Is y a composite number?
True
Let k = -4 + 22. Suppose -k = 2*u - 5*u. Suppose -t = -u*t + 1865. Is t prime?
True
Suppose -3*m - 1809 = 159. Suppose 9*h = -181 + 14086. Let s = h + m. Is s prime?
False
Let d(c) = -2 + 6 - 40*c + 125*c + 3. Let n(p) = 254*p + 21. Let y(u) = 11*d(u) - 4*n(u). Is y(-4) a prime number?
True
Let c(y) = y**2 + 9*y + 1. Let n = 2 + -2. Suppose -3*u = -n*u - 27. Is c(u) prime?
True
Let i(t) = -72*t - 14. Suppose -s + 2*q - 14 = 0, 0*s + 3*s + 38 = 4*q. Is i(s) prime?
False
Let o(f) = 4*f**2 - 9*f - 13. Let b be o(-9). Suppose -5*h = 3*g - 371 - b, 2*h = 3*g + 322. Is h a prime number?
False
Is (3/(99/(-22)))/((-2)/28473) prime?
True
Suppose -8*o + 141530 + 612606 = 0. Is o a composite number?
True
Suppose 2*i = 14*i + 24. Is (4 - 10)/i + 678 composite?
True
Let u = 276 + 97. Suppose -q = -2*q, u = l - 4*q. Is l a composite number?
False
Suppose -5*r = 5*i - 3*i - 31, -40 = -5*i - 5*r. Suppose n - 5044 = -i*n. Is n a composite number?
True
Let n(w) = -4*w**3 - 4*w**2 - 7*w - 4. Let g be n(-4). Let c = 373 - g. Is c composite?
False
Suppose 3*y = 5*a + 3937 + 3780, 10320 = 4*y + a. Is y a prime number?
True
Let m = -2918 - -8772. Is m composite?
True
Let q(u) = u**3 + 14*u**2 - 9*u + 13. Let a(i) = -i**2 + 9*i + 1. Let j be a(10). Is q(j) a prime number?
True
Is 2253*(12/3 - (-11)/(-3)) composite?
False
Suppose -5*u + 7*u - 10 = 0. Suppose 1461 = t + s, 0*t = -u*t + 4*s + 7341. Is t a prime number?
False
Let r be ((-72)/30)/(4/(-10)). Let n(x) = 9 - 2*x + 15*x + 9*x. Is n(r) a prime number?
False
Let v = -16 + 7. Let u = v + 13. Suppose 5*f + u*n = 305 + 326, -2*n - 129 = -f. Is f a composite number?
False
Suppose 0 = 5*c + 10, -601 = 3*s + 5*c - 201. Is 1/(3/(-2))*-6 - s composite?
True
Suppose 6*a = 5*a + 110. Suppose 4*m - 88 = -4*b + 3*m, 5*m - a = -5*b. Suppose 0 = 2*t - 92 + b. Is t a composite number?
True
Let o be 1 + 11/(22/36). Let i = o + -16. Suppose -4*h + 5*k = h - 1880, 0 = -2*h - i*k + 767. Is h a composite number?
False
Suppose -19 = 12*b - 127. Is ((-970)/(-6) - 3) + (-6)/b composite?
True
Is 9255316/1568 - (-6)/16 composite?
False
Let l(t) = 8*t - 3. Let x be l(-4). Suppose p + 56 = -4*c, -4*p = -0*c + c + 29. Let q = c - x. Is q a composite number?
True
Let s(f) = 411 + 3*f - f**2 + 4*f - 6*f. Is s(0) composite?
True
Suppose -5*z + 5 = -20. Suppose -z*h - 4*q = -0*q - 9815, 4*h - 7858 = -2*q. Is h prime?
False
Let f be (14/(-49))/(1/(-7)). Suppose -7*p + f*p + 241 = r, 4*r + 65 = p. Suppose -p = i - 2*i. Is i a composite number?
True
Let j(n) = -n**3 + n**2 + n + 8195. Let i be j(0). Let z = 13902 - i. Is z composite?
True
Let f = 179 - -74. Is f prime?
False
Let w(c) = 4969*c**2 + 11*c + 13. Is w(-1) a prime number?
False
Suppose 0 = -4*a - 5*p + 8 - 21, 0 = -4*a - p + 7. Suppose a*v = 2*n + 435, 0*v = v + 3*n - 134. Is v prime?
False
Is 12936/3 - (3 - -3) prime?
False
Let c(k) = -k**2 + 6*k + 6. Let s be c(7). Is (-572)/(-2 - s) - -1 composite?
True
Suppose -p - 4 = 0, 5*x - x - 2*p + 192 = 0. Let y be (362/5)/((-2)/x). Let c = y - 891. Is c a prime number?
True
Let u(o) = 258*o**3 - 267*o**3 + 2 - o**2 - 6*o - 5*o**2. Is u(-3) prime?
False
Let u = -9 + 6. Let b be (-1 + 2/3)*u. Is 1 - (0 - b - 631) a prime number?
False
Let r = -39 - -42. Is r*73 - (-14 + 10) prime?
True
Let d = -10 - -14. Suppose 2*u - d*u = 144. Let v = u - -166. Is v prime?
False
Is -1 + 558 + 2 + (-1 - 1) a composite number?
False
Let l(i) = 586*i + 75. Is l(9) a composite number?
True
Is ((-4735050)/20)/(-3)*(-4)/(-10) composite?
False
Let z be (-39)/(-5) - 5/(-25). Suppose 3*w - j - z = 0, -4*j - 4 = 2*w - 0*w. Is 98/w + 0/(-9) a prime number?
False
Suppose 10*d = 11*d - 3. Suppose -v - 699 = -x - d*v, 705 = x - 4*v. Is x prime?
True
Suppose 11*g - 9*g = 18. Suppose -3*s - g = -6*s. Is (s/(-9))/((-3)/171) prime?
True
Let k = -14942 + 26743. Is k a prime number?
True
Suppose -8*f + 5195 = -3*f. Is f a composite number?
False
Suppose -5*v - 4*b = -55174, 3*v = -4*b + 5*b + 33118. Is v a prime number?
False
Let o(c) = c**3 + c + 331. Let r be (0/(-1))/((-12)/(-6)). Is o(r) prime?
True
Suppose -9*z - 18*z + 47547 = 0. Is z prime?
False
Suppose w - 5*b = 9569 + 12, 0 = -b - 2. Is w a composite number?
True
Let c(v) = 3*v**2 + 10*v + 17. Let m(x) = -x**2 + 1. Let u(g) = c(g) + 2*m(g). Is u(8) composite?
False
Suppose 0 = -13*m + 10*m + 2043. Suppose -2*t + 1364 = q, -3*t + 4*t = -q + m. Is t a composite number?
False
Suppose -15*a = -11*a. Let x = 10 - 7. Suppose x*n = r - 224, -3*n = -5*r - a*n + 1108. Is r composite?
True
Let g = -170 + 109. Let o be (-5 - -1)*(-33 + 1). Let s = g + o. Is s a prime number?
True
Let p(z) = -3*z**3 + 5*z**2 + z - 5. Let l be p(-3). Let j = l + 13. Is j a prime number?
True
Suppose 19*o - 13508 = -4*k + 16*o, -4*k + 13508 = 2*o. Is k a composite number?
True
Is (26/(-104) + (-46995)/(-4))*2 a prime number?
True
Let u = 624 + -385. Is u a prime number?
True
Let u be ((-16)/6)/(5/450). Let y = u - -601. Is y prime?
False
Let p(y) = -16047*y + 187. Is p(-6) a prime number?
True
Suppose 486 + 0 = 6*i. Suppose 5*x = 6*x + i. Let d = 50 - x. Is d composite?
False
Is (-207588)/(-3) - (-288)/32 prime?
False
Suppose -y = -4 - 0. Suppose y*v + 175 + 297 = 0. Let g = 197 + v. Is g a composite number?
False
Let i(b) = -b**3 - 6*b**2 + 8*b + 2. Let j be i(-7). Is j/(2/(2 - (-3 + 1519))) prime?
False
Let j(b) = 3*b**3 - 10*b**2 + 4*b. Let i be j(-8). Let y = i - 2182. Is 12/78 + y/(-26) composite?
True
Suppose -a - 2*d = -7722, -a - d + 3687 = -4033. Suppose 0 = -2*t - o + 9144, -2*o - 15151 = -5*t + a. Is t prime?
False
Let x(n) = 27*n**3 + 5*n**2 - 6*n - 9. Let j be x(5). Suppose -5*a = -3524 - j. Is a a composite number?
True
Let y(q) = 73*q + 8191. Is y(0) a composite number?
False
Is 47570 + 4*(-22)/(-8) a composite number?
False
Let k(s) be the second derivative of s**4/12 + 2*s**3/3 + 5*s. Let j be k(-4). Suppose -2*l + j*l + 278 = 0. Is l a prime number?
True
Suppose -a = -2*x + 6, -a + 0*a = 5*x - 8. Let c(p) = 2*p**2 + 4*p - 12. Let b be c(-13). Suppose 3*u - 3*l - 423 = 0, 2*u - x*l - b = 2*l. Is u a prime numb