 Is (-1)/((f/g)/3) a prime number?
True
Let t = 16 + -6. Let p be 5*-4*(-1171)/t. Is (-9)/(-6) - p/(-4) prime?
True
Suppose -5*c - 18 = -x - 0*c, -12 = -2*x + 2*c. Let q(u) = -949*u**3 - 2*u**2 - 2*u - 1. Let z be q(-1). Suppose s + x*s - z = 0. Is s a composite number?
True
Let h = 13 + -13. Suppose -w - 39 = -5*w - 5*u, 4*w + 4*u - 36 = h. Suppose 3*q = 5*d + 695, d - w = -2*d. Is q a composite number?
True
Suppose 5*t + 4478 - 18093 = 0. Is t a prime number?
False
Suppose 13 = -3*j + 5*i + 2, j + 3 = i. Is j/3 - 1942/(-6) a composite number?
True
Suppose 0 = -0*x - 2*x + 22. Let g = -4 + x. Let z(h) = 21*h + 10. Is z(g) composite?
False
Let x be (4/(-2) + -2)/(-2). Suppose 3*r - x*r = 0. Suppose -4*v + 183 = -v - 4*s, -4*v - s + 263 = r. Is v composite?
True
Let r(i) = 5*i**2 - 2 - 2 + 13*i - 3*i**2 + 8*i**2. Is r(-9) a composite number?
True
Let p = 206 + 181. Suppose -l = 4*c - p, l + 2*c - 375 = c. Is l a prime number?
False
Suppose i - 16 = -6*u + u, -5*u - 2*i + 17 = 0. Let p(y) = 404*y**3 + 3*y**2 + 2*y - 4. Is p(u) composite?
False
Suppose 0 = p + 2*s - 6, p + 4*s - 10 = -0*p. Let f(h) = 316*h**2 - 7*h + 7. Is f(p) composite?
True
Let i(z) = z**3 - 4*z**2 + 5*z - 3. Let k be i(3). Suppose -o + 2437 = p, 0 = k*o - 3*p + 167 - 7478. Is o a prime number?
True
Suppose 0 = -894*r + 899*r - 8455. Is r a composite number?
True
Let y be 1*-3*1/(-3). Suppose 3*f + 13 - y = -g, 5*g - 2*f - 8 = 0. Suppose -4*n + 5*n - 257 = g. Is n a composite number?
False
Suppose -w + 2*q + 8885 = 0, 22328 = 3*w + 3*q - 4327. Is w composite?
True
Is -5802*2*(-9)/36 prime?
False
Let o(y) = -3*y - 3. Let b be o(-2). Suppose -h = b*h + 92. Let u = h - -61. Is u a composite number?
True
Let p(o) = -o**3 - 9*o**2 + 23*o + 7. Let n be p(-11). Let h(k) = -2*k**3 + k**2 + 6*k + 7. Is h(n) prime?
True
Let u be (17964/15)/3*30. Let o be (u/(-18))/((-2)/3). Is (o/4)/(4/8) a prime number?
True
Let a be ((-6)/5)/((-4)/10) + 3217. Suppose o - 3 = -6, -5*c + 5*o + a = 0. Is c a prime number?
True
Suppose 20*g + 85377 - 315757 = 0. Is g composite?
False
Let m = 14198 - -23265. Is m prime?
True
Let n(m) be the first derivative of -m**3/3 - 19*m**2/2 + 5*m + 4. Let t be n(-19). Suppose 0 = -y - t, -5*a + 452 = -3*y - 218. Is a prime?
True
Suppose 0 = z + z - 244. Let f = z + -66. Is 16/f - (-1293)/7 prime?
False
Let n(x) = -4*x**3 - 3*x**2 + x - 2. Let a be n(-4). Let t = a + 217. Is t a composite number?
False
Let i(z) = -817*z + 697. Is i(-40) composite?
False
Let v(i) = 4*i**2 - 15*i + 4. Let b(f) = -f**3 - f**2 - 11. Let o be b(0). Is v(o) a composite number?
False
Suppose -4*d + 7*d = 1581. Suppose 3*l - 355 = d. Suppose 3*t = 3*c - l + 36, 3*t + 9 = 0. Is c a prime number?
True
Suppose -2589 = -5*f + 6466. Is f a composite number?
False
Let h = -88 + 91. Suppose 0 = 3*v - h*y + y - 295, 0 = -5*v + 3*y + 490. Is v prime?
False
Let u = 554 - -1185. Is u prime?
False
Let f(s) be the second derivative of -38*s**3/3 + s**2/2 + 4*s. Let m be f(-5). Suppose 3*q - 2*d = -3*d + m, 4*d = -3*q + 381. Is q a composite number?
False
Is 10/(-12) - 2204629/(-282) prime?
True
Suppose 0 = q - 4 - 8. Suppose 0 = q*x - 8*x - 20. Is (-4)/10 + 1732/x a composite number?
True
Suppose 0 = f + 8 - 10. Suppose -469 = -4*r + 4*i - 7*i, f*r - 233 = -i. Is r composite?
True
Let q = 94304 + -37846. Is q prime?
False
Let s be ((-474)/(-8))/(9/24). Let i be s*(-2 + (-28)/(-8)). Suppose 2*f = -f + i. Is f composite?
False
Suppose 0*l = -l + 129. Let j = -96 + 178. Suppose -j = -q + l. Is q composite?
False
Suppose 5*u - 23 = -5*p + 4*u, 29 = 5*p - 2*u. Suppose -1996 - 456 = -2*i + 3*c, -4*c = -p*i + 6130. Is i a composite number?
True
Let m(k) = -554*k**2 - 3. Let l(d) = d**2 - 1. Let r(y) = 2*l(y) - m(y). Is r(-1) a composite number?
False
Let f = 591 - 67. Suppose -258 = -2*g + f. Is g prime?
False
Let t be 635*(-1 - -6)*1. Suppose t = 21*c - 16*c. Is c a prime number?
False
Let k = -31 + 33. Suppose -w = -k + 1, -2*x - 3*w - 471 = 0. Let h = 544 + x. Is h a composite number?
False
Suppose 2*h - 3*h + 2 = 0. Let a be (-4)/(-2 - h) + 3. Is ((-758)/a)/((-9)/54) composite?
True
Let a = 14 + -9. Suppose 4*d + m - 2*m - 1776 = 0, d - 2*m - 451 = 0. Suppose a*j - d = 2*s, j - 92 = -2*s - s. Is j prime?
True
Suppose -3*f + 35 = 5*j, f - 35 = -5*j - f. Suppose 0*y + j*y = 637. Is y composite?
True
Let h(n) = 2447*n + 135. Is h(4) composite?
False
Is 39695 - (-3 + 0 + -5) a composite number?
False
Let z = -8 + 12. Suppose 0 = -5*p + z*p + 341. Is p composite?
True
Let v be (-2)/4 + -1 + 4654/52. Suppose 0 = -r + 6*r - 10. Suppose -v = -r*w + 86. Is w prime?
False
Let u(w) = -4*w + 28. Let o be u(8). Let j(p) = -167*p - 9. Is j(o) composite?
False
Let f(p) = 427*p + 59. Is f(14) a prime number?
True
Let q(h) = -8 + 40*h + 12 + 7. Is q(5) composite?
False
Suppose -4*d = 4*x - 4936, x + 4*x - 6170 = 5*d. Let f = x - 453. Is f a composite number?
True
Let i = 3 - 1. Is (i/(-6))/((-15)/39915) a prime number?
True
Let o be 1492/(-22) - 12/(-594)*-9. Is ((-74)/4)/(2/o) a composite number?
True
Suppose -u = 4*x - 2727, -x = 4*u - 355 - 308. Is x a prime number?
True
Let j(n) = -649*n - 10. Let o be j(-10). Suppose g = -2*v - 0*g + 8, 20 = 4*v + 3*g. Is o/32 - (-1)/v a composite number?
True
Let i be 2 + 4 + 16/8. Suppose -4*r + 2*q = -3022, 2*q - 3755 = 3*r - i*r. Is r a composite number?
True
Let g = -349 - -2322. Is g composite?
False
Let y(l) = 9*l + 82. Is y(7) composite?
True
Let u = 107 + -103. Suppose -2*x - w = -902, 0 = -2*x + 4*x - u*w - 902. Is x composite?
True
Let d(g) = -3*g**3 - 28*g**2 + 60*g + 48. Is d(-25) composite?
True
Suppose 4*m = -3*f - 1437, 0 = -f - 5*m + 155 - 623. Let r = f + 706. Is r prime?
True
Let v(l) = 2*l**2 + 2*l - 3. Let q be v(1). Let h(z) = 192*z**2 + 8*z - 9. Is h(q) composite?
False
Let g(v) = 11*v**2 - 15*v + 5. Is g(-3) a prime number?
True
Let x(b) = b**3 + 1. Let t be x(-3). Let l = -11 - t. Is 485/l - 4/(-6) a composite number?
True
Let h(y) be the third derivative of -y**6/180 - 7*y**5/120 + y**4/6 - 5*y**2. Let z(p) be the second derivative of h(p). Is z(-5) composite?
False
Suppose 0 = -18*v + 129401 + 161857. Is v composite?
True
Suppose 5*p - 3*v = 10, 3*p + 2*v = 5*v + 6. Suppose 0 = p*a - 3*j - 653, -4*a + 0*j = 2*j - 1314. Let c = a - 111. Is c a composite number?
True
Let s(j) = -11 + 2 - 2 - 24*j. Is s(-9) composite?
True
Suppose -1354*x = -1343*x - 18007. Is x composite?
False
Suppose -g - 13 = b + 37, -4*b = -2*g - 70. Is (-5)/(50/(-12588)) + (-9)/g a prime number?
True
Let p(k) be the first derivative of k**4/4 - 10*k**3/3 + 2*k + 5. Let q be p(10). Suppose -b + q*n - 100 = -299, -3*b - n + 618 = 0. Is b a prime number?
False
Let r(d) = -156*d**3 + 4*d**2 + d - 3. Let z be 65/13*4/(-10). Is r(z) composite?
False
Suppose 10*g - 21161 = 29749. Let m = -2698 + g. Is m composite?
False
Suppose 2*i = 4*c + 12, -5*c = 3*i + 6 - 2. Let l be 1 + -2 - (i - 3). Suppose l*r - 2*r = -86. Is r a prime number?
True
Is 6/14 + (-696250)/(-175) prime?
False
Let q(p) = p**2 - 3*p + 2. Let m be q(3). Let a be 559/m + (-6)/12. Suppose 3*z - a = -0*z. Is z a prime number?
False
Suppose 113904 = 4*n + 2*p, -68*n + 64*n + p = -113910. Is n a composite number?
False
Suppose -4*p = 3*a - 16, -5*a + 3*p - 12 = -0*a. Suppose a = 2*x - 0 - 6. Suppose -x*i + 751 = 4*w, 0*i + 2*w = -2*i + 504. Is i a prime number?
True
Let m(c) = -2*c - 6. Let z be m(2). Is 6/z*9/(18/(-670)) a composite number?
True
Let d = 2263 + -1572. Is d prime?
True
Let m be (2493/(-27))/((-1)/6). Let r = 3 + m. Is r a prime number?
True
Suppose -3*m + 10*m = 28. Suppose 0 = f - m*j - 92 - 155, -5*j + 468 = 2*f. Is f a prime number?
True
Let n = 1541 + -1330. Is n a composite number?
False
Let d be ((-1)/(-3)*5)/(2/6). Suppose -2*q - 1989 = d*i - 7020, -12588 = -5*q - 2*i. Is q a composite number?
True
Let s(z) = 7681*z + 114. Is s(7) composite?
False
Suppose 0 = 4*y - q + 633, q - 314 = 2*y + 5. Let d = -105 - y. Is (-1)/(-1) + 0 + d composite?
False
Suppose 2 = g + 1. Let f = g - -1. Is (-3 + f)/((-4)/316) a prime number?
True
Let t(n) = -74*n + 3. Let x(k) = k + 5. Let g be x(10). Suppose -2*s = -5*s - g. Is t(s) composite?
False
Suppose -4*z + 18960 = z. Suppose 7*q = 11*q - z. Suppose -5*j + 9*j - q = 0. Is