se -5*i - 336 = -y*i - c, 3*i = c + 200. Is i composite?
False
Let y be (33/(-22))/(3/(-4)). Suppose -2*w + 0*w = 4*t - 5914, t + y*w = 1483. Is t prime?
False
Let o = -96 - -494. Suppose -390 = -2*n - 4*c, -n - o = -3*n + 4*c. Let l = n + -128. Is l prime?
False
Is (16/80)/(4/5)*14524 prime?
True
Suppose -y + 4*z - z = 14, -5*z + 2 = y. Is (-3)/2*-1 + (-35116)/y a prime number?
True
Let p be (-1)/3 - (5 - 302/6). Let q = p - -104. Is q composite?
False
Let w be 4/(-32) - 72164/(-32). Let r = w + -18. Is r a prime number?
True
Suppose m - 5*f = -5, m + 5*f - 45 = -2*m. Is 3898/m - (-28)/(-35) prime?
True
Suppose 156 = -6*s - 672. Let a = s - -408. Let v = a - 141. Is v a prime number?
False
Let y = -172 + 2175. Is y a prime number?
True
Suppose 2*n = -2*c + 402, -8*n = -2*c - 4*n + 390. Is c prime?
True
Let l = -10 - -11. Let t be (0/3*l)/(-2). Suppose t = -y + 76 + 51. Is y a prime number?
True
Suppose -4*r + 832 = -0*r. Let b = 405 - r. Let h = b + -108. Is h prime?
True
Let f(q) = 4*q**2 - 11*q + 16. Let c(d) = d**2 + 10*d - 9. Let x be c(-8). Let m = -14 - x. Is f(m) prime?
True
Suppose 3*h = -h. Suppose 5*w = -3*x - h*x - 377, 0 = 4*x + 3*w + 499. Let l = x - -263. Is l composite?
False
Let n be 3/(-5) + 13/5. Let u(b) = -6*b**n + 19*b**2 - 6*b**2 + 15*b**2. Is u(1) a prime number?
False
Let y(j) be the second derivative of j**4/2 - 3*j**3 - 7*j**2/2 + 29*j. Is y(-8) prime?
True
Let d(s) = -3*s - 1. Let z be d(-1). Let n(r) be the third derivative of 7*r**6/40 - r**5/30 - r**4/24 + r**3/6 + 7*r**2 - 2. Is n(z) composite?
True
Suppose 9420 = 2*c + 3*c. Let t = -1199 + c. Is t prime?
False
Is 10/85 + (-1625502)/(-34) a composite number?
False
Let z(b) be the third derivative of 17*b**4/12 + b**3/2 - b**2. Suppose 17*j - k = 18*j - 8, 2*j - 4*k + 8 = 0. Is z(j) composite?
False
Let t = 409 + -356. Is t composite?
False
Let o be (-9)/4 + (-2)/(-8). Is o*-1187*(-2)/(-4) composite?
False
Let d = -124 - 11. Is 28041/45 - (-18)/d a prime number?
False
Suppose 42 = -5*q + 2*q. Let p = -9 + 3. Is (-10423)/q + 9/p prime?
True
Let l(t) = 204*t**3 + 8*t**2 - 10*t + 11. Is l(5) composite?
True
Let v be (-3)/(24/(-4)) + (-25)/2. Is 39/26*(-74)/v*52 a composite number?
True
Let x(s) = -2*s**3 - 12*s**2 - 5*s + 22. Let d be x(-5). Is (2/d)/(10/(-93930)*2) a composite number?
True
Is ((-10185)/42)/(14/(-4) + 3) prime?
False
Suppose 1 + 3 = 2*q. Suppose -h = q - 4. Suppose 0*j = -5*m - 2*j + 3403, -2*m = h*j - 1366. Is m composite?
True
Suppose -3*j + 5*y + 1206 = 0, 0*j - j + y + 402 = 0. Let i = 1393 - j. Is i a composite number?
False
Let p(k) = 73*k - 18. Suppose -i + 32 = 3*f, -f = 3*i - 5 - 19. Let n be p(f). Suppose -5*y = 2*c + 3*c - 1510, -2*y + 5*c = -n. Is y composite?
False
Suppose 1817 = 5*v + 442. Let h = -172 + v. Let y = 410 - h. Is y composite?
False
Suppose -3*d = -5*o - 6, 2*d + o - 6*o - 4 = 0. Suppose f = -v + 3*f + 13, -4 = d*v + 2*f. Suppose v*u - 2584 = -l, 4*l - 939 = -3*u + 1630. Is u composite?
False
Suppose 0 = -4*y + x + 1620, -x - 23 = -2*y + 785. Suppose -y = n - 3*n. Let p = -12 + n. Is p prime?
True
Let a = -791 + 1201. Let x be (-8)/((5 + -3)/28). Let m = x + a. Is m prime?
False
Let c = 17 + -12. Suppose p + 112 = m, -2*m + c*p + 126 = -95. Is m a composite number?
False
Let b(i) be the second derivative of i**4/6 + i**3/2 + 3*i**2 - 7*i. Let p(u) be the first derivative of b(u). Is p(3) composite?
True
Let l(x) = 9*x**2 - 5*x - 5*x - 6 - x**3 + 4*x. Let n be l(6). Suppose a - n = -a. Is a a composite number?
True
Let q be 8286/15 + 8/(-20). Suppose -q = -3*v + 633. Is v a prime number?
False
Is -57656*(55/(-88) - 0) composite?
True
Suppose 2*j - a - 21372 = 0, -5*a - 12158 + 1481 = -j. Is j a composite number?
False
Let z(x) = -x**3 + 5*x**2 + 4*x + 17. Let h be z(6). Suppose 0*s - 3*c - 3416 = -h*s, 2*s + 5*c - 1385 = 0. Is s a prime number?
False
Let j be ((-27)/18)/(6/(-16)). Suppose 4*i - 44 = -j. Let f = 35 - i. Is f a prime number?
False
Let n(v) = 12*v - 325. Is n(42) composite?
False
Let r = 8174 - 3985. Is r prime?
False
Let m be ((-6)/9)/(2/(-9)). Suppose v - 6*v - m*y = -3986, -4*y = -8. Let i = -399 + v. Is i prime?
True
Let c be 21/24 - 1 - 65/(-8). Suppose -6495 - 4777 = -c*l. Is l prime?
True
Let o(q) = -20*q**3 - 2*q - 5. Let f(x) = x**3 - 8*x**2 + 10*x + 9. Let a be f(6). Is o(a) composite?
False
Let k(j) be the first derivative of -j**4/2 + 2*j**3/3 - 5*j - 61. Suppose 2*a + 9 + 3 = 2*s, 5*a = 4*s - 29. Is k(a) prime?
False
Suppose 0 = -o - 206 + 2763. Suppose 4*l = -c + 4604, -2*l + 4*c + o - 255 = 0. Is l prime?
True
Suppose 503 = 3*l + 5*q, l + 3*l = 3*q + 661. Let u = -53 + l. Is u a prime number?
True
Let r = 25555 + -16486. Is r a prime number?
False
Suppose 21 = 5*k - 34. Suppose -k*q + q = -4910. Is q a prime number?
True
Suppose 0 = -5*m - 12*m + 138499. Is m composite?
False
Is ((-156049)/(-87))/(1/3) composite?
False
Suppose -f + 5304 = 5*g, 0 = -5*g - 4*f + 5724 - 423. Is g a prime number?
True
Let v = -3168 - -6183. Suppose -21*j + v = -6*j. Is j prime?
False
Let j(f) = -f**3 + 28*f**2 - 3*f + 16. Let w be j(13). Let k = -1463 + w. Is k a prime number?
True
Let o be (-42)/(-12)*(-36)/(-21). Suppose f - o - 677 = 0. Is f a prime number?
True
Is (-36 - -30) + 1*1187 prime?
True
Is (21/(-7))/((-12)/8812) a prime number?
True
Let t = -1152 + 2789. Is t prime?
True
Suppose 6*d = 57041 + 35635. Is d a prime number?
False
Suppose 5*p - 24 = 26. Let c be (p/(-4) - -1)*-2. Suppose 4*y - 703 = -c*s, 2*y + 3*y = 2*s + 896. Is y prime?
False
Let o be (-6)/(-9) - 3189/(-9). Suppose -4*j + 5*g = -284, g + 0*g = -5*j + o. Suppose -2*u = -5*d + j, -4*d + 35 = 4*u - 33. Is d composite?
True
Suppose 14*t - 822 = -136. Is t prime?
False
Let a be 32*(0 + -2)*3. Let i = -101 + -8. Let s = i - a. Is s prime?
True
Let s(k) = -k**3 - 6*k**2 - 3*k + 5. Suppose 2*t - 4*n + 16 = 0, 0*t + 2*t - 3*n + 15 = 0. Is s(t) a prime number?
True
Suppose -9 = -5*b + 11, 0 = 4*j - 4*b + 4. Suppose -13*n + 13498 = -7978. Suppose -j*q = q - n. Is q a prime number?
False
Let a = 11 + -5. Let j(d) = 159*d + 19. Is j(a) a composite number?
True
Let f(v) be the third derivative of v**6/120 - 17*v**5/60 - 7*v**4/12 + 25*v**3/6 - 2*v**2. Let n be f(18). Let p = -39 + n. Is p a prime number?
False
Suppose -5*p = -p - 12. Suppose -o + 5*a + 2840 = 0, 4*o = a - p*a + 11250. Is o a composite number?
True
Let k = -6346 - -18785. Is k a composite number?
True
Let h = -168 + 175. Suppose -h = -x + 442. Is x composite?
False
Let q(p) = p**3 + 42*p**2 + 17*p + 23. Is q(-22) prime?
False
Suppose 0 = -u - 3*v - 7, -5*v - 4 = 5*u + 1. Suppose 0 = -0*t - t + u. Is (3/(-9))/(t/(-114)) composite?
False
Let b(f) = -3*f - 2. Let j be b(-2). Suppose 0 = j*l + 4, q + 0*q - l = 832. Suppose -5 = 5*u, -2*u + 286 = 3*v - q. Is v composite?
False
Let s be (-1)/4 - (-1274)/(-56). Let g(q) = -66*q + 23. Is g(s) prime?
False
Is (-2532)/24*(-1 + -1) composite?
False
Let o be 5 + (-1 - -2) + -3. Let n(x) = 111*x - 2. Is n(o) composite?
False
Let o(t) be the second derivative of 11*t**4/6 - t**3/3 - t**2/2 + 9*t. Is o(3) prime?
True
Let d = 11595 - 6164. Is d a prime number?
True
Suppose 3*f + 4*w = 21, -2*w = -f - 6 + 3. Suppose f*x + 25 = c, 5*c - 3*x - x = 92. Let b(k) = -k**3 + 15*k**2 + 20*k + 1. Is b(c) a composite number?
True
Suppose 6*j - 2*j = 20. Suppose j*c = 1227 + 418. Is c prime?
False
Suppose -3*c + 0*c - 3*h = -30, h = 5. Suppose -4*a + 0*a - 12 = 0, -3*y - c*a = 9. Suppose 3*n - 2675 = -y*b, -983 + 2749 = 2*n - 3*b. Is n prime?
False
Let f(j) = 2*j**2 - 9*j + 5. Let x be f(5). Suppose 293 + 2357 = x*d. Is d a composite number?
True
Let o be (-1)/(3/114)*1/(-2). Suppose -16*c + o*c - 1011 = 0. Is c prime?
True
Suppose 4*m = j + 251 - 39, 0 = -j - 3*m - 219. Let q be 2*((-165)/6 + 3). Let p = q - j. Is p a composite number?
False
Suppose -i + 1 = 2*o + 30, -4*i - 140 = 2*o. Let w = 150 + i. Suppose -w = -2*h + 41. Is h a prime number?
False
Let s(i) = i**2 - 4*i - 10. Let r be s(5). Let f(k) = -2*k**3 - 5*k**2 - 3*k - 9. Is f(r) composite?
False
Suppose 0 = 207*v - 203*v - 162956. Is v a composite number?
False
Suppose -u + 0*u - 334 = 0. Let p = u + 743. Is p a composite number?
False
Suppose 0 = -59*q + 31*q + 4097716. Is q a prime number?
Tru