/(-6))/(2/9) a composite number?
True
Let j be 1/((-1)/(-27)) - -1. Let i be j*-1*6/12. Is (-4668)/(-28) - 4/i prime?
True
Let q be 6/4*3108/18. Let i = q - 132. Is i a prime number?
True
Let n be (-6)/(-8) + (-36)/(-16). Let g be 5/(-15) + 1615/n. Let j = g - 355. Is j a prime number?
False
Let x(s) = -s**2 - 7*s. Let p be x(-11). Let a = 118 + p. Is a a composite number?
True
Let u(w) = 2*w + 1. Suppose 0 = -k + 2*k - 5. Let y be u(k). Suppose -v - 3*b = v - 22, v - y = b. Is v a prime number?
True
Suppose 5*g - 5*z = 25, -4*g + 55 = g + 5*z. Suppose 0 = -g*a + 10*a - 1418. Is a prime?
True
Let a be 6/(-54) - ((-80)/(-36))/(-2). Let r be 1 + 1 + -5 + 1. Is (-1172)/r*a - -1 a prime number?
True
Let y = 39 + -37. Is 2634/6 + 2*y prime?
True
Let r(d) = 5*d**2 + 7*d + 9. Let y(u) = -10*u**2 - 14*u - 18. Let i(p) = 7*r(p) + 3*y(p). Let h be i(10). Suppose -h + 1920 = 9*v. Is v prime?
True
Let n be (-2 - 0) + 2 - -4. Suppose 4*j - 4*v - 2638 = -5*v, -2644 = -4*j - n*v. Is j prime?
True
Suppose 2*h + 2*h = 5*h. Is 0 + h - (-2354 - 3) a prime number?
True
Let p(n) = -1734*n - 211. Is p(-5) composite?
True
Let z(p) = 23 - p**3 - 70*p**2 - 13*p + 2 + 0*p**3 + 58*p**2. Is z(-23) composite?
False
Let x = 889 + -890. Suppose 3*v + 2*o - 100 = -2*v, 4*o + 20 = v. Let y = v + x. Is y a composite number?
False
Is (-2 + 3)*48164*27/36 a composite number?
True
Suppose -b = 6*t - t - 2702, -4 = t. Is b prime?
False
Let a = -793 - -1532. Is a composite?
False
Suppose 0 = 4*g + 4 + 12. Is ((-1524)/g)/3*(1 - 0) composite?
False
Let x be 24/(-4) + 3 - -15. Suppose 5*l - x = -3*r, 4*l - 12 = -0*r - 3*r. Suppose l = 7*y - 1678 - 1731. Is y composite?
False
Suppose 5*q - 17 = -0*j - j, q + 5*j - 13 = 0. Suppose g - 5*p = 268, -q*g - 2*p = -6*p - 793. Is g prime?
True
Let g(o) = -10*o**3 - 6*o**2 - 28*o + 3. Is g(-8) a prime number?
False
Let p(v) = -2*v - 2. Let j be p(-3). Suppose -j*g + 4*n + 1046 = -1426, 4*g = 5*n + 2475. Suppose 3*h + g = 6*h. Is h prime?
False
Let k be 14/4 + 3/(-6). Let t(i) = 11*i + 242. Let w be t(-22). Suppose w = -k*l - l + 556. Is l a composite number?
False
Let j(x) = 3*x**3 + 7*x**2 - 3*x + 13. Let w be j(-8). Let l = w + 1518. Is l a composite number?
False
Suppose 64*j - 67*j + 33575 = -4*z, -4 = -z. Is j prime?
True
Let h be -1 + -2 + 4 - -2. Suppose 5*u - 5*p + 0 = -10, -3*u - 4*p = -22. Suppose 19 = h*o - u*o. Is o prime?
True
Suppose 0 = -c - 286 + 1555. Suppose m + c = 5766. Is m prime?
False
Let m = 2269 + 1111. Let a = 5269 - m. Is a a composite number?
False
Let c be (-2)/2 + 816 - (-2 + 3). Suppose -2*s + 1073 + c = 5*g, -3*g + 2*s + 1129 = 0. Is g composite?
True
Let s(y) = -3*y - 9. Let k be 3*1 + 9 + -16. Let d be s(k). Suppose -71 - 361 = -v - d*a, 3*a = v - 462. Is v a composite number?
True
Let w(y) = y**2 - 3*y - 1. Let i(f) = -f**2 + 5*f. Let c be i(4). Suppose -r = -c*o - 0*o + 10, 2*r - 2*o + 14 = 0. Is w(r) composite?
False
Let s = -9773 + 15754. Is s prime?
True
Let s = 1418 - -1716. Suppose -4*b - 4 = -5*d + 8, -2*d + 3*b + 9 = 0. Suppose d = -2*i + l + s, -5*i - 4*l + 10713 = 2878. Is i a prime number?
True
Suppose -4*c + 0*c + 4*f = 0, -2*c - 3*f + 10 = 0. Suppose 3*q = c*q + 156. Let m = q + -94. Is m a composite number?
True
Let z be (24/9)/((-2)/9). Let k = -12 - z. Suppose 0 = -5*a + 55 - k. Is a a composite number?
False
Let q(x) = -x**2 - 4*x + 7403. Is q(0) a composite number?
True
Let r = 2379 + 7010. Is r a prime number?
False
Suppose -3*g + 49 + 128 = 0. Suppose -382 = -61*q + g*q. Is q a composite number?
False
Suppose 3*x = -5*l + 1664, 0 = -4*l - 3*x + 1052 + 278. Suppose -2*c = 4*o - 2090, c - o = -l + 1385. Is c a prime number?
True
Let j be -1 + (-131 + 5)*-2. Suppose d - j = 314. Is d composite?
True
Suppose 4*z = 5*n - 100, -7*n - 2*z + 54 = -3*n. Let p be (-9)/3 - n/2. Let d(j) = -j**3 - 9*j**2 + 14*j + 5. Is d(p) prime?
False
Let y be (4/6)/((-4)/(-234)). Suppose 82 + y = n. Is n a prime number?
False
Suppose 5*v = v - 24. Let c(o) be the first derivative of -50*o**2 - 19*o - 2. Is c(v) a prime number?
False
Let h(f) = -9*f**3 - 10*f**2 + 7*f + 1. Is h(-12) prime?
True
Let o(c) = 429*c**2 + 6*c + 4. Is o(-3) a prime number?
True
Suppose 0 = -d - 2*t - 1, 3*d - 5 = -2*t + 4. Suppose d*g = -2*l + 891 + 1202, 1671 = 4*g + 5*l. Is g a prime number?
True
Let t(h) = h + 2. Let i be t(-6). Let m be (-20)/(-6)*(-6)/i. Suppose 155 = -0*s + m*s. Is s prime?
True
Let t = 5 - 9. Let o(m) = -m + 1. Let y be o(t). Suppose 5*b - 2*x = 285, -y*b - x + 171 = -2*b. Is b a prime number?
False
Suppose 4*c - 4*c = 3*c. Suppose c = b - 4*r - 770, -2*r - 406 = -b + 368. Is b prime?
False
Let a(m) = 8*m**3 + m**2 + 2*m + 2. Suppose 6*p - 5*p + 3*i = -2, 2*i = p - 8. Is a(p) a composite number?
True
Let i(b) = -b**2 - b + 3360. Let c be i(0). Suppose -5*p = 5*u - c, -u = p + u - 667. Is p a prime number?
True
Let j(m) = 241*m**2 - 21*m - 1 + 12*m + 3*m + 8*m. Is j(2) prime?
True
Let w(m) = -m**3 + 4*m**2 + 7*m - 6. Let g be w(5). Suppose -2*l = 6, g*l = -p - 2 - 8. Suppose 4*i + 0*i + n = 44, 2*i - p*n - 22 = 0. Is i prime?
True
Let q(c) = -c**3 + 19*c**2 + 25*c - 62. Is q(19) composite?
True
Let g be 4/5 + 5/25. Let t(r) = -30*r**3 + 2*r**2 + 3*r. Let f(k) = -k + 1. Let i(a) = g*f(a) + t(a). Is i(-1) prime?
True
Suppose 0 = n + 2*r - 4*r - 393, -3*n = 4*r - 1159. Is n a composite number?
False
Is (-109785)/(-24) + 108/(-288) composite?
True
Let i(t) be the third derivative of -t**6/60 - 7*t**5/30 + 3*t**4/8 - t**3 - 51*t**2. Let l be (5 + -2)*(-11)/3. Is i(l) a composite number?
False
Suppose 3*j + 23 = 2*m - 0, 41 = 4*m - 5*j. Suppose -m*t + c = -891, -124 = 5*t - 4*c - 1235. Is t a composite number?
False
Let t(i) be the third derivative of i**6/120 - i**5/5 + i**4/3 + 5*i**3/2 - 8*i**2. Let y be t(12). Is 1*(0 + 4 + y) prime?
False
Let w(p) be the first derivative of 25*p**2/2 + 3. Let r be w(-4). Is -4*(-5)/(r/(-1055)) a prime number?
True
Let n = 43138 - 19905. Is n a prime number?
False
Suppose 0 = 12*z - 9587 - 35713. Let u = 7346 - z. Is u prime?
True
Let z = 64 + -19. Let l be ((-6)/15)/((-3)/z). Is 15/l*2588/10 composite?
False
Let i = 1693 - -2902. Is i a prime number?
False
Let h = -2664 - -6783. Is h a composite number?
True
Let u(t) be the third derivative of 5*t**4/24 - 5*t**3/6 + 10*t**2. Let k be u(3). Is 3606/k + 6/15 prime?
False
Let a(v) = -2*v + 16. Let y be a(11). Is (y/(-6))/(-2 + 5529/2763) composite?
True
Suppose -f = 23*p - 24*p - 2517, 3*f = -4*p + 7551. Is f a composite number?
True
Is (-29)/(-174) - 893/(-6) composite?
False
Suppose -47*n = -68*n + 738339. Is n a prime number?
True
Suppose -12*y + 9*y + 9 = 0. Suppose -a - y*v = -859, 4*v + 1124 = -4*a + 4544. Is a prime?
True
Let v(t) = 242*t - 49. Is v(10) a prime number?
True
Suppose -2*w + 4*w - 446 = 0. Is w a composite number?
False
Let m(o) = -1041*o - 10. Let c be (7/21)/((-2)/6). Is m(c) a composite number?
False
Suppose 710 - 5 = 3*h. Suppose -4*y = -17 - h. Let s = y - 32. Is s prime?
True
Let a = -16 - -7. Is (18/(-4) + 3)*2910/a prime?
False
Suppose 12030 = r + 1479. Is r a composite number?
True
Suppose 2*a - 3*a + 5 = 0. Let b(t) = 2*t**2 + 8 + 2 + t - 17 + t**3 + 6. Is b(a) composite?
False
Let x(p) = p**3 + 5*p**2 + 4*p - 7. Let y be x(-4). Let z(a) = -a**3 - 3*a**2 + 9*a + 10. Is z(y) composite?
True
Let f be 40/6*-8*-15. Let d(u) = -383*u**2 + 4*u + 6. Let v be d(-1). Let o = v + f. Is o prime?
True
Let o(f) = 3385*f**2 - f - 2. Let n be o(-1). Let s = n - 2306. Let l = s + -629. Is l composite?
False
Let k(z) = 524*z**2 + z. Let j be k(-1). Suppose j + 1105 = 4*o. Is o composite?
True
Let s = 9 - 7. Suppose 772 = -6*n + s*n. Let b = -116 - n. Is b a prime number?
False
Suppose 4*p = -5*y + 601, 417 = p + 2*p - 3*y. Suppose 5*g + p = g. Let x = -25 - g. Is x a composite number?
False
Suppose -4*t + 13200 = -150572. Is t a composite number?
True
Let q(g) = g**3 + 5*g**2 - 3*g + 22. Let b be q(-6). Suppose 0 = -2*d - 3*r + 77, 0 = b*d + 2*r - r - 129. Is d prime?
True
Suppose -25 + 89 = -4*w. Let b = w - -53. Is b prime?
True
Let r be (-4)/(-20) - 1/5. Suppose 15*l - 9*l - 3786 = r. Is l composite?
False
Let c = -5709 - -12038. Is c prime?
True
Suppose 34*a = 37*a - 3810. Let p = a + -125. Is p prime?
False
Let y b