ue
Let i = 15 - -1. Suppose -3*k - 3*f = f + 48, -f + i = -k. Let t = k - -29. Is t a prime number?
True
Let b = 5 - 5. Let d(o) = o**2 + 86. Is d(b) a prime number?
False
Let v = 372 + -132. Suppose -5*c + 363 = 2*y, v = -4*y - 5*c + 941. Is y a composite number?
True
Suppose -11*j - 4*j = -7815. Is j a composite number?
False
Let t(h) = h**3 + 3*h**2 + 3*h + 3. Let n be t(-2). Let k = -1 + n. Suppose k*w = 4*z - w - 206, -5*z - 4*w + 247 = 0. Is z prime?
False
Suppose 2*i - i - 5 = -2*p, i - 4*p - 5 = 0. Suppose 5*f - 3*f - i*d = 132, 3*d - 361 = -5*f. Is f prime?
True
Let z be (-4*1)/(2 + -1). Is z/28 - 407/(-7) prime?
False
Suppose 382 = -w + 2*w. Is w a prime number?
False
Let x(w) = -w**2 + 3*w + 5. Let u be x(4). Is (1*88)/1 + u prime?
True
Suppose -n + 2*n - 2333 = 0. Is n a prime number?
True
Let p(b) = b**3 - 6*b**2 - 14*b + 11. Is p(10) a composite number?
False
Let k = -100 - -219. Is k prime?
False
Let t(u) be the second derivative of -u**4/12 + 3*u**3/2 - 3*u**2/2 + 3*u. Is t(6) a prime number?
False
Let c = 935 - 522. Is c a composite number?
True
Let g = -8 - -13. Let c(d) = d**3 - 6*d**2 + 7*d - 3. Is c(g) a composite number?
False
Let p(b) = -2*b**2 + 7*b + 1. Let n be p(6). Let r = n - -52. Is r composite?
False
Suppose 5*q + 23 = 78. Let s = 25 - q. Is s a composite number?
True
Let i be (-12)/(-9)*393/2. Let f = 250 + -109. Let u = i - f. Is u composite?
True
Let h(o) = 8*o + 5. Is h(10) a prime number?
False
Let a be -1 + (3 + -3 - 0). Is ((-117)/36)/(a/4) composite?
False
Let n be -2*2/1 - 0. Let m = 39 + n. Is m composite?
True
Suppose 4*u + 4*c = -12, -2*u + 13 - 4 = -3*c. Suppose -3*k = -0*k - 9, -2*h - 3*k = -29. Let s = h - u. Is s a composite number?
True
Let x = 971 - -1008. Is x a composite number?
False
Let h be (40/(-12))/(2/6). Suppose 0 = 5*m - 9*o + 4*o + 25, -5*o = 2*m - 11. Is ((-89)/m)/((-5)/h) composite?
False
Let f(c) = -c**2 - 6*c - 5. Let u be f(-4). Let r be 45 + (1 + u)/(-2). Suppose -b = -170 + r. Is b composite?
False
Suppose -3*y = -154 + 7. Is y composite?
True
Suppose -2*x = -83 - 95. Let w be x + -1 + -2 + 2. Suppose q = 5*q - w. Is q composite?
True
Is (-157*2)/(-3 + 1) composite?
False
Let a(f) = -f**3 - 6*f**2 - 7*f - 9. Let r(q) = -q - 19. Let s be r(-12). Is a(s) prime?
True
Let h = -136 - -227. Is h a prime number?
False
Suppose 0*n = 5*n - 50. Let o = -7 + n. Suppose -4*z = o*c - 33 - 74, 2*z = -2*c + 72. Is c composite?
False
Let p(f) = f**3 + 5*f**2 - 8*f - 7. Let m be p(-6). Let u(v) = 12*v**2 - 4*v + v**3 - m + 5*v + v. Is u(-8) a prime number?
False
Let w(b) be the first derivative of b**2/2 + 2*b + 2. Let q be w(-8). Let s(m) = -14*m - 5. Is s(q) prime?
True
Let i = -20 - -6. Is 1828/28 + 4/i prime?
False
Let t(s) = -3 + 10*s**3 + 11*s**3 - s - s**2 + 4 + 3*s**3. Is t(1) composite?
False
Suppose -5*g - 2555 = -10*g. Is g prime?
False
Suppose -l - 6 = -117. Is l a prime number?
False
Suppose -168 = -o + 4*o. Let u = -3 - o. Is u composite?
False
Let w(z) = -18*z - 9. Let n(m) = -m - 1. Let l(q) = 12*n(q) - w(q). Suppose -5*s = -3*j - j - 3, 15 = 5*j. Is l(s) prime?
False
Let n(h) = -h**3 + 2*h**2 + 4*h - 1. Let z be n(3). Let i = -182 + 178. Is 114/i*z/(-3) prime?
True
Let i(c) = c**3 - c**2 - c - 1. Let o(d) = -44*d**3 - 2*d**2 - 2*d - 4. Let v(u) = 3*i(u) - o(u). Let b be v(1). Suppose -3*f = -f - b. Is f a prime number?
True
Let t(l) = l**2 - 6*l + 7. Let k be t(6). Let z(h) = -1 + 9*h - 2 - h**2 + 0. Is z(k) prime?
True
Let u(y) = 38*y**2 + 3*y - 3. Suppose 0 = 3*g - 2 - 4. Let i be u(g). Suppose 4*n + 4 = -o + i, -4*n + 161 = -o. Is n composite?
True
Let x = 15 + -9. Is -3*(1 + (-80)/x) prime?
True
Is 114/4*(-5454)/(-81) a composite number?
True
Suppose 0 = -2*y + 762 + 484. Is y composite?
True
Suppose -o - 2*z + 419 = 0, 15*z - 10*z = -3*o + 1257. Is o a prime number?
True
Let a = 2 + -6. Let v(p) = -3 - 2 + 3*p**2 - 4*p**2 + 0 - 4*p - 4*p**3. Is v(a) a prime number?
True
Suppose x + 143 - 538 = 0. Is x a prime number?
False
Let a(y) = 36*y**2 + 9*y - 2. Is a(9) prime?
False
Let g = 6 + -9. Let y = 25 + g. Is y composite?
True
Let f = 3297 - 2004. Suppose 0 = -0*n - n - f. Is n/(-33) - 2/11 a prime number?
False
Let h be (-2)/(-6)*0 - 0. Let q(i) = -i**2 - 10. Let x be q(h). Is (-8)/x*70/4 a prime number?
False
Is (-2)/(-2) - (-1500)/6 prime?
True
Let u(i) = 228*i + 17. Is u(5) prime?
False
Suppose 0 = 4*w - 3*w - 7. Let z = 12 - w. Suppose -3*c = -z*y + 101 - 30, 20 = 2*y + 3*c. Is y composite?
False
Suppose 3*o + 59 = 2078. Is o a prime number?
True
Suppose 219 + 1016 = 5*h. Let n = h - 150. Is n a prime number?
True
Let s be ((-3)/2)/((-1)/244). Let t(c) = -4*c**2 + 4*c + 7. Let z be t(-7). Let g = z + s. Is g prime?
True
Suppose -10*p + 14*p = 0. Suppose -4*q + 146 = -w + 2*w, -2*q - 3*w + 68 = p. Is q a prime number?
True
Let x(n) = 64*n**2 - n - 1. Is x(2) composite?
True
Let f = -337 + 232. Let o = 160 + f. Is o composite?
True
Is 2*-2*1672/(-32) prime?
False
Let w(v) = -2*v + 127. Is w(0) a prime number?
True
Let o(m) be the first derivative of -m**2/2 + 25*m - 1. Let k be o(0). Suppose -r - 5*u + k = 0, -5*r + u - 54 + 231 = 0. Is r a composite number?
True
Is 0 + 5659 - (-7 + -3 + 6) composite?
True
Suppose -48 + 8 = 4*i. Let g be (-655)/i + 2/(-4). Suppose 0 = -c + 4 + g. Is c composite?
True
Let h(c) = -2*c**3 - 4*c**2 - 3*c + 1. Let p be h(-3). Let b = p - -3. Is b prime?
True
Suppose -5*n = -3*i - 5139, 0*n + 2061 = 2*n - 3*i. Let j = n + -619. Is j prime?
False
Suppose -2*w + 61 = 3*i - 367, 0 = 5*i + 3*w - 712. Let z be i/12 - (-2)/(-3). Let f = 22 - z. Is f a composite number?
False
Let v be (-5)/(45/(-12))*-3. Is (-1260)/(-5) - v/4 a composite number?
True
Let w(i) = 9*i**2 + i. Let l be w(2). Let x = 121 - l. Is x a composite number?
False
Let a(b) = 2 + 3 + 4 + 0*b - b. Let r be a(7). Suppose r*n - 236 = -2*n. Is n a composite number?
False
Let k = 1 + -1. Suppose 5*m = -f - 3, k = 3*m + 4*f + 1 + 11. Suppose m = -4*n - 51 + 175. Is n prime?
True
Suppose 5*t + 8 = 23. Suppose -j = -9*h + 4*h - 169, -4*h = -t*j + 551. Suppose 5*p - 536 - j = 0. Is p composite?
True
Let m(q) = q**2 + 7*q - 1. Suppose 3*i = i - 16. Let w be m(i). Suppose w*g - 2*b - 166 = 2*g, 2*g + 4*b = 76. Is g composite?
True
Suppose -10*h = -5*h - 1255. Is h composite?
False
Let g = -6031 + 8468. Is g composite?
False
Suppose k - 4*k = -2007. Is k a prime number?
False
Suppose 2*i = -2*r + r + 398, -611 = -3*i + 2*r. Is i a composite number?
True
Suppose 4*x + 49 - 149 = 0. Suppose 2*n - 63 = -x. Is n prime?
True
Let c(s) = s + 22. Let m be c(-9). Suppose -a - m + 70 = 0. Is a a composite number?
True
Let r be 6/21 - 61/(-7). Let k be (-1)/(r/10 - 1). Is (-7)/(2*(-1)/k) a prime number?
False
Let o(q) = q**3 + q - 1. Let r be o(2). Let k(l) be the second derivative of l**4/12 - 5*l**3/6 - l**2 - l. Is k(r) a composite number?
True
Suppose 2*i + 2*f - 20 = 0, 0*i - 40 = -4*i + f. Suppose v - i = 16. Is 3*v/(1 + 1) composite?
True
Let w(n) = -n**2 - 6*n - 6. Let z be w(-4). Suppose y + 145 = u, 2*u - 239 = -z*y + 43. Is u a composite number?
True
Suppose 54 = 4*i - i. Suppose -i = -2*q + 10. Is q prime?
False
Let s(h) = -4*h + 1 - 11 - 21*h + h - h**2. Is s(-16) composite?
True
Let a(p) = 2*p**3 - 5*p**2 - 4*p + 7. Let c(b) = 3*b**3 - 11*b**2 - 9*b + 13. Let k(w) = -5*a(w) + 3*c(w). Let u be k(-7). Is (-1482)/(-8) - 1/u a prime number?
False
Let b = -554 + 1705. Is b prime?
True
Suppose -3*o - 27 = 9. Let q be (-435)/o - 2/8. Let v = q + -17. Is v a composite number?
False
Let f = -1 - -1. Let n = -11 + 4. Let z = f - n. Is z composite?
False
Suppose s - 1222 = -2*l, 3*l + s = 3*s + 1826. Let o = 917 - l. Is o a composite number?
False
Is ((-3)/9)/(3/(-1143)) a prime number?
True
Let o(x) = x**2 + 3*x + 9. Let n be o(-6). Let w be ((-4)/(-6))/(6/n). Suppose w*p + 2*f - 34 = 0, 48 = 2*p - 5*f - 0. Is p a prime number?
False
Let l(c) = 261*c**2 + 9*c - 29. Is l(4) a composite number?
True
Let x(y) = -2*y - 11. Suppose -2*c + 3*c = -2*i - 4, 0 = 5*c - 3*i + 46. Let h be x(c). Suppose 5*g = 5*s - 156 - 304, 3*s + h*g - 252 = 0. Is s prime?
True
Let y(f) = 358*f**3 + 1. Let k be y(1). Let i = k + -170. Suppose 4*w + 102 = 5*g - 67, -5*g = w - i. Is g prime?
True
Suppose -8*f - 3659 = -9*f.