s t(g) a composite number?
False
Let o(t) = -26*t**3 - 3*t**2 + t + 4. Let m(c) = c**2 - 1. Suppose -3*i - 10 = -8*i + 2*k, -17 = 2*i - 5*k. Let h(g) = i*m(g) + o(g). Is h(-1) prime?
False
Suppose -12*q + 132413 = 5*q. Is q prime?
True
Suppose 6 = -s + 3*s, 4*g - 3*s - 81139 = 0. Is g composite?
False
Let l be 1/5 + 56/20. Suppose m = -l*h + 15, -15 = -4*m + 2*m - 3*h. Is 12/48*(236 - m) prime?
True
Is 402185/14 + 55/10 composite?
True
Suppose 4*y = -i + 71089, y + y + i - 35543 = 0. Is y prime?
False
Let j = 25 + -27. Let a(c) = -336*c + 1. Is a(j) a prime number?
True
Suppose 0 = -0*x + 2*x - 5*q + 2, 4 = -4*x + 5*q. Is 4/(-18) - ((-33600)/54 + x) a prime number?
False
Suppose 21 = 11*w - 8*w. Let v(i) = 20*i - 16. Let h be v(w). Suppose h = 3*o - 71. Is o a composite number?
True
Is (28/(-84))/(1/(-71601)) composite?
True
Suppose 0 = -19*a + 18*a + 1039. Is a a composite number?
False
Is -3 - (-5 + 6 - 1167) composite?
False
Is (-15)/20 + (-319511)/(-4) prime?
False
Suppose -x + 416 = -269. Is x prime?
False
Let x = 11718 - 1520. Is x a prime number?
False
Suppose 0 = -15*s + 222940 + 338465. Is s prime?
False
Let c(p) = -3*p - 36 + 24 + 4*p**2 - 3*p**2. Let r be c(6). Is r/18 + (-316)/(-6) composite?
False
Let g(z) = -371*z**3 - 4*z**2 - 42*z - 148. Is g(-5) a composite number?
False
Let w = -7 - -10. Suppose w*j + 3*z - 27 = 0, 2*j - 5*z + z = -6. Suppose -2*q = -j*h - 851, 4*q + 0*q = 3*h + 1667. Is q prime?
False
Suppose 0 = -3*f - 0*f - 6. Let q(k) = -28*k**3 - 4*k**2 - 2*k - 1. Is q(f) a composite number?
False
Suppose -456 = -h + 330. Let s = h - 405. Is s a prime number?
False
Suppose 3 = -9*g + 10*g. Let z be -64*(10/(-4) + -2). Let r = g + z. Is r a composite number?
True
Let q(o) = 17*o**2 - o + 4. Let u(c) = 8*c**2 + 2. Let f(b) = 6*q(b) - 11*u(b). Is f(4) a composite number?
True
Suppose -12 = 3*i, -3*i - 162 = -2*g - 0*g. Suppose g*a - 77*a = -154. Is a prime?
False
Let d = 4471 + 516. Is d composite?
False
Let j(z) = 116*z - 31. Let i(n) = 581*n - 155. Let p(m) = 2*i(m) - 11*j(m). Is p(-3) composite?
False
Let l = 21338 - 2629. Is l composite?
True
Suppose 326505 = -2*m + 17*m. Is m prime?
True
Let u(g) = -386*g + 62. Is u(-30) a prime number?
False
Suppose -a + 2*n + 32 = 3*a, 5*a + 2*n - 40 = 0. Suppose -a*d + 3*d + 265 = 0. Is d a prime number?
True
Let o be 9/6*(-6)/9. Let v be 0/(o*(-1 - 0)). Suppose -3*k - 2*r + 107 = -v, -2*k - 3*r + 63 = 0. Is k a composite number?
True
Suppose v = 3*v - 6. Suppose -39 - 192 = -v*r. Is r composite?
True
Let h = -1356 - -2075. Is h a composite number?
False
Let p be (-3 + 10/4)*10. Let c(s) = 2*s**2 + 3*s + 12. Is c(p) a composite number?
False
Suppose 3*y - 6 - 6 = 0. Suppose 7*u - 3*u + 539 = 5*d, 5*d + y*u = 571. Is d a prime number?
False
Suppose -5*c + 3*f + 10462 = -21262, -f - 12689 = -2*c. Is c a composite number?
False
Let i = 14607 + 3988. Is i a composite number?
True
Suppose 13515 = 5*n + 1550. Is n prime?
True
Let j(l) = l**2 + l + 5. Suppose 0 = -3*i - 0*i + 3, -w = 4*i + 2. Is j(w) a composite number?
True
Let v(w) = 228*w + 69. Suppose -5*u + 25 = -5. Is v(u) composite?
True
Suppose 9*g - 15 = 21. Let z(l) = 201*l**2 + 12*l + 5. Is z(g) prime?
False
Suppose 0 = 12*m - 15*m - 18. Let v(a) = a**2 + 8*a + 6. Let d be v(m). Is (123/9)/((-1)/d) a prime number?
False
Suppose f - 30834 = -y, y + 6*f - 9*f = 30830. Is y a prime number?
False
Let l = -11926 - -22175. Is l a composite number?
True
Let f = 12016 - 5211. Is f prime?
False
Let p be 6/(-10) + (-178)/(-5). Is ((-6)/(-10) - p/(-25)) + 533 a prime number?
False
Is ((-391056)/96)/((-1)/2) a prime number?
True
Suppose -4935 + 1051 = -4*s. Is s a composite number?
False
Suppose 3*f + 2*z + 1 - 11 = 0, -f = -z - 10. Is (-9)/(-6) - (-9153)/f a composite number?
True
Let q(y) be the first derivative of -7*y**4 - 2*y**3/3 + y**2/2 - y + 17. Suppose 5*h + 14 = 4. Is q(h) a composite number?
True
Suppose -34*g + 3 = -37*g, m = -4*g + 170623. Is m prime?
True
Let j(z) = 1670*z + 407. Is j(25) prime?
True
Let i be 73/5 - (-2)/5. Is 358*(i/6 + -2) prime?
True
Let p be (0/(4/4))/(-1). Let g be (p/1)/(-2 + 0). Suppose 0 = s + 3*a - 306 - 140, -s - 2*a + 445 = g. Is s a prime number?
True
Suppose 13252 = 3*h - 5*h. Is h/(-2)*5/5 composite?
False
Let h = -2495 - -10782. Is h prime?
True
Suppose -o = -369 - 204. Suppose -34*m = -31*m - o. Is m prime?
True
Suppose -c - 5 = 0, -4*h - c - 3*c = -184. Is 6/(-4)*(-14246)/h a prime number?
True
Suppose 39 = -4*f + f. Let b(o) = o**3 + 13*o**2 - 4*o - 15. Is b(f) a composite number?
False
Let k = -2 - -2. Let s(m) = -m**3 - m**2 - m + 238. Let u be s(k). Suppose -u - 46 = -2*x. Is x a prime number?
False
Suppose -23670 = -14*u + 162404. Is u a prime number?
True
Is 297510/50 + 12/15 prime?
False
Suppose 0 = 4*i + 5*j - 16107, -i + 4*j + 3688 = -344. Suppose -f = -2*w - 1537, -3*w + i = 5*f - 3644. Is f composite?
True
Suppose -f = -3*l + 1454, l + f = 3*l - 971. Suppose -6*t + 3*t = -l. Is t composite?
True
Let z(y) = -457*y**3 + 3*y - 3. Let r(v) = v - 1. Let g(f) = 4*r(f) - z(f). Let x be g(1). Let h = x + -128. Is h composite?
True
Let a(o) = -3*o**3 - 2*o**2 - o + 17. Let w(t) = -3*t - 19. Let s be w(-5). Is a(s) prime?
True
Let w = -2565 + 7148. Is w prime?
True
Let o(c) = c - 1. Let y(m) = -576*m + 4. Let l(k) = 3*o(k) - y(k). Is l(12) composite?
True
Suppose -5*u + 65 = 5*i, 4*u = 3*i - 2 - 2. Let w = i + -6. Suppose -2*t + 678 = w*s + 2*t, 2*t + 1001 = 3*s. Is s composite?
True
Let r = -41 - -43. Suppose 3*h = -r*i - 0*i + 69, i = -3*h + 69. Is h composite?
False
Is (6 - (-88)/(-14)) + (-2438984)/(-56) a prime number?
False
Let i(l) = 22*l**3 - 3*l**2 + 8*l - 4. Suppose -6 = -d + 3*d, -2*u = -3*d - 19. Let h be i(u). Let o = h + -1752. Is o composite?
True
Suppose 3*d = 3, -5 - 39 = 5*t - 4*d. Let x = 38 + t. Let y = x + 52. Is y prime?
False
Suppose -13*b - 5225 = -2*b. Let g = b - -960. Is g a prime number?
False
Suppose 4700 = s - 4*g + 1217, 0 = -2*s + g + 7001. Is s a prime number?
False
Let h(l) = 94*l - 23. Is h(13) a composite number?
True
Suppose -12 = 3*b + 30. Let r = 85 + b. Is r a prime number?
True
Let n(w) be the first derivative of -2*w**4 + w**3/3 + w**2 + 4*w + 8. Is n(-3) prime?
True
Let k(z) be the first derivative of -z**3/3 + 13*z**2 + 29*z - 14. Is k(20) a prime number?
True
Let v be 1/(0 - (-1 + 2)). Let b(u) = 2 - 4 + 48*u**2 + 2 + 1. Is b(v) a prime number?
False
Let d be ((-10)/4 - -3)*538. Suppose 4*b - 281 - d = -3*o, 0 = 2*b - 2*o - 282. Let x = b + -96. Is x a prime number?
True
Suppose 2*r + 6 = -2*c + 16, -5*r + 22 = 2*c. Is (-4)/((-8)/5411) - c/2 a prime number?
False
Let t(j) = -331*j - 50. Is t(-27) a composite number?
False
Let r be 8/2 - (-2 + 3). Let o(d) = 4*d - 122. Let b be o(31). Suppose -2*q - 2*q + b*l = -284, -3*q + r*l = -213. Is q composite?
False
Let q = 483 - 218. Is q a prime number?
False
Let n = -197 + 328. Is n prime?
True
Let h be 0/((-1)/((-1)/2)). Suppose -8*m + 12*m - 11444 = h. Is m composite?
False
Let u(d) = 3*d**3 + 7*d**2 - 2*d - 3. Let r = 11 - 6. Is u(r) a prime number?
False
Let q(z) = 42*z + 41. Is q(24) a prime number?
True
Let d = -6448 + 10041. Is d prime?
True
Let k(n) = 2*n - 7. Let m be k(17). Is ((-117)/m)/((-1)/141) a composite number?
True
Suppose 451 = 7*y - 6*y. Suppose -7*z + 1440 = -2*z. Let x = y - z. Is x prime?
True
Let p = -9310 - -15221. Is p prime?
False
Let n(g) = -103*g + 527. Is n(-24) prime?
True
Suppose -3 = l - 4*m, 0 = 2*l - 0*l + 3*m - 16. Suppose -4*h - 4*z + 68 = 0, -l*z - 25 = -h - 2*z. Is h prime?
True
Let q(m) = -632*m - 69. Is q(-4) a prime number?
True
Let j(f) = 2*f**3 + 10*f**2 + 5*f - 13. Let k(q) = -q**2 + 6*q - 6. Let t be k(6). Let d be j(t). Let p = 192 + d. Is p prime?
False
Suppose 2*o = -o + 6. Suppose 3*h - 4*f - 1032 = o*h, 4*f - 1064 = -h. Suppose 5*k - g = h, 0*g + 2*g = -3*k + 621. Is k composite?
True
Suppose -5*m + 8*t - 4*t + 42525 = 0, -5*m = -2*t - 42535. Is m a prime number?
False
Let q(n) be the first derivative of 50*n**2 - 43*n + 36. Is q(13) a prime number?
False
Suppose 795 = -26*q + 29*q. Suppose -2*d + 27 = -q. Is d a prime number?
False
Let i(b) = b**3 - b**2 + b + 25. Let u be i(0). Let k(j) = 2*j**2 - 36*j + 23. Is k(u) a prime number?
True
Suppose 4*