t s be y(9). Let c = 729 - s. Is c prime?
True
Let r = -19 + 15. Is (641 + 0 - r) + 4/(-1) composite?
False
Let y(h) = 427*h**3 - h**2 + h. Let w be y(1). Let n = -664 - -1458. Let k = n - w. Is k a composite number?
False
Let u(l) = -l**3 - 5*l**2 - 4*l. Let n be u(-4). Suppose 4*v + 4*k = 0, -3*v = -0*v - 2*k. Suppose b + v*b - 23 = n. Is b a composite number?
False
Let j be -174 + 28/(-21)*6/4. Let z = 255 + j. Is z prime?
True
Suppose 61 = 18*r + 97. Let w(m) = -55*m**3 - 3*m**2 + 4*m + 1. Let p(x) = 111*x**3 + 7*x**2 - 9*x - 1. Let n(a) = 2*p(a) + 5*w(a). Is n(r) a composite number?
False
Suppose -w + 3377 + 31985 = -5*o, 3*w + 2*o - 106069 = 0. Is w prime?
False
Let z = -706 - -162. Let k = z + 1295. Is k a prime number?
True
Let v be 1738/(8/(-20)*-5). Suppose -4*p = 2*q - 566, 0 = q + 2*q + 2*p - v. Is q composite?
False
Let v(s) = s**3 - 3*s**2 - 14*s. Let q be v(6). Suppose -q = -d - 3*d. Is d + 617 + (2 - 2) a prime number?
False
Let u = 43 - 63. Let d = u + 24. Suppose d*q + 2*r - 225 = 149, 2*q - 175 = -5*r. Is q composite?
True
Let l(n) = 1513*n**2 - 2*n - 3. Is l(-2) a prime number?
True
Suppose 3*u - 8 = -u. Let k = u - 10. Let a(n) = -n**3 + 5*n**2 + n - 9. Is a(k) a prime number?
False
Suppose 5*q - 4839 = -3*i, -3*i - 5*q + 2*q = -4845. Is i prime?
False
Let n(k) = -462*k - 487. Is n(-15) prime?
False
Let o be (-2)/(-6)*(-5 - 1). Let r be 1 + 0 - (o - -2). Is (r/3)/((-1)/(-273)) a composite number?
True
Let w(m) = -95*m**3 - 4*m**2 - 2*m + 1. Let s(o) = o**2. Let h(q) = -3*s(q) - w(q). Is h(2) prime?
False
Let w be (-13524)/(-10) - 2/5. Suppose 0*c + 2*c = -w. Let l = c + 1049. Is l composite?
False
Let j(b) = -b**3 - 2*b**2 - b - 2. Let p be j(-3). Is (1 + 1)*1685/p prime?
True
Suppose 5*a - 91 = -3*r, 5*r - 125 = -a - 2*a. Suppose -r*f + 18*f = 0. Suppose f = -0*x + 3*x - 1467. Is x a composite number?
True
Let c be -8 + -3 + 8 + -4. Is (-16)/56 + (-3957)/c composite?
True
Let v(l) = 787*l - 292. Is v(29) prime?
True
Let b = -2209 - -36530. Is b prime?
False
Suppose -8 = b - 0*b + 4*t, 3*t - 11 = -5*b. Is 4011/b + (-2)/(-8) composite?
True
Is -1 + -3 - -10566 - 7 a prime number?
False
Is (7778263/284)/(2/8) prime?
False
Let z = -24 + 24. Suppose -5*h + 25 = 0, z*n + 5*h + 32 = 3*n. Is n a prime number?
True
Let w(j) = j + 8. Let t be w(-4). Is (-5*4)/5*(-887)/t a prime number?
True
Suppose z = -14 + 17. Suppose z*u = -4*p + 764, 4*u = -5*p + 82 + 873. Is p a composite number?
False
Suppose 0 = 15*o + 4*o - 144761. Is o a prime number?
False
Suppose 0 = -2*i - n + 3486, 3*i + 2*i - 8745 = 5*n. Let y = i - 588. Is y a prime number?
False
Let g(r) = 651*r. Let o be g(6). Let n = o - 2539. Is n a composite number?
False
Let a be 21/63 + (-22)/(-6). Is a/10 + 1486/10 prime?
True
Is (55946/6)/(94/282) a prime number?
False
Let f = -7698 - -14645. Is f a composite number?
False
Let d be 3/(-6)*(-6190)/(6 - 1). Suppose 0 = -3*c + 2*q + d, -5*q + 812 = 4*c - q. Is c prime?
False
Suppose 36 = 3*h - 6*h. Is (5218/4)/(h/8 - -2) composite?
False
Let v(j) = -7*j**3 + j - 5. Suppose -4*x = -16*x - 108. Is v(x) a composite number?
True
Is (-11357)/(-1) - -7*6/(-7) composite?
False
Suppose -7*m - 7*m = -20650. Suppose c = -0 - 4, -5*c - m = -3*l. Is l composite?
True
Suppose a = 4*q + 14, -2*q + q - 7 = -2*a. Suppose a*b + 5*z + 15 + 4 = 0, -4*z = b + 17. Suppose 3*x - 490 = -2*d, b*x + x = 3*d - 769. Is d a prime number?
True
Let f(k) = -k**3 + 3*k**2 + 4*k - 3. Let l be f(3). Let u be (-2)/4*(-6 + 0). Is l/(9/70) - u composite?
False
Let t(k) be the second derivative of 43*k**4/12 - k**3/3 - 4*k**2 - 4*k. Is t(-9) composite?
True
Let i(a) = -8*a - 13. Let b be i(-2). Let t = 4 + -3. Suppose x - t = 5*r + b, r = 4*x - 35. Is x a composite number?
True
Let v be ((-8)/3)/(21/(-5481)). Let u = v + -437. Is u a composite number?
True
Suppose -7*h + i - 50037 = -12*h, -2*h + 20024 = 5*i. Is h a prime number?
True
Let a = -11 - 3. Let b be (1 + 10/6)*18. Let y = a + b. Is y a composite number?
True
Let n be (10936/(-6))/(2/(-6)). Suppose -9*q = -5*q - n. Is q a composite number?
False
Let t = 246 - -314. Let a = -399 + t. Is a composite?
True
Let w(x) = -x**3 + 10*x**2 + 12*x - 8. Let g be w(11). Suppose -g*t + 5*r = 2*t - 1420, -3*t = -2*r - 851. Suppose -t = -3*j + 290. Is j prime?
True
Let y = -13 - -11. Let k be (y/6)/((-2)/678). Let c = k + -60. Is c composite?
False
Let f = 17876 + 7685. Is f a composite number?
False
Let c(m) = 248*m - 147. Is c(8) a composite number?
True
Suppose 0 = 5*w - u + 2*u - 17, 4*w - u = 10. Suppose -4*b + m = -17, -w*m + 1 = -0*b + b. Suppose -b*t = -363 - 401. Is t prime?
True
Suppose 8*p = 2*p + 4476. Let s = p - -2015. Is s a prime number?
False
Let o(c) = 5*c**2 + c - 5. Is o(-16) a prime number?
True
Suppose 5*r - 6*r - 301 = 0. Suppose 4*c - 1829 = 3*n, n + 0*n - 1375 = -3*c. Let z = c + r. Is z a prime number?
True
Let j be 117 - (-1 - -1 - -4). Suppose -b - c + j = c, c = 4*b - 434. Is b prime?
True
Let x be 6/10 + (-189)/(-35). Suppose -x*b = -b - 2045. Is b a prime number?
True
Let g(h) = -38*h**3 - 5*h**2 + 15*h + 27. Let t(r) = 76*r**3 + 10*r**2 - 30*r - 53. Let x(v) = -11*g(v) - 6*t(v). Is x(-5) prime?
False
Let l(n) = 932*n - 17. Is l(2) prime?
True
Let d = -180 + 257. Is d a composite number?
True
Is 21256/10 + 2/5 a composite number?
True
Suppose 0 = 11*h - 163337 - 60722. Is h a prime number?
True
Let y be ((-36)/16)/(-3)*4. Suppose a = y - 0. Suppose -5*j = 2*t - 4439, -4*t + 2588 + 81 = a*j. Is j a prime number?
True
Suppose -3*w - 105 = -1206. Suppose 0 = 4*b + 5*g - 854, -3*g = -3*b - 5*g + 644. Let s = b + w. Is s a composite number?
True
Let l(u) = 155*u**2 + 28*u + 9. Is l(-10) composite?
True
Let x(j) = j**3 - 7*j**2 - 4*j + 12. Let i be x(8). Suppose 28 + i = 3*b. Is (3/2)/(b/1184) prime?
False
Let f(j) = -j - 1. Let x be f(5). Let t(m) = 10 - 7 - 11*m - 3 - 13. Is t(x) composite?
False
Is (-22028)/(-10)*(78/(-12) + 9) a prime number?
True
Let f(j) be the third derivative of 7*j**6/40 - j**5/30 + 5*j**4/24 - j**3/2 + 23*j**2 + j. Is f(1) prime?
False
Is (-52 - -662) + (-4)/(-1) a prime number?
False
Is (51592/(-8))/(-1*(-3 + 4)) prime?
True
Let f(n) = 6*n**3 - 5*n + 1. Let z be f(5). Suppose s + 3*m = z, 4*s = -0*s + 2*m + 2890. Is s prime?
False
Suppose -3*c - 1512 = 5*f, -3*f + 1 + 8 = 0. Let v = -270 - c. Is v a prime number?
True
Suppose 8*r - 16 = 4*r. Suppose 2*v - 62 = r*x, -4 = 2*x - 10. Is v composite?
False
Suppose -4*i - 5*x + 282 = -590, 5*x - 218 = -i. Let r = i + -69. Is r a composite number?
False
Let b(x) = x**2 - 5*x - 2. Let k be b(4). Let g be 4/k*(0 + -3). Suppose 0 = g*w + t - 449, -259 = -3*w + 5*t + 395. Is w a composite number?
False
Suppose 0 = 3*m + 2*m - 31410. Suppose 3*r = m - 1497. Is 4/(-18) + r/9 a prime number?
False
Let p be 4/16 - (-17)/(-4). Let a be p/16 - (-5)/4. Is (2 + a + 344)/1 prime?
True
Let o = -18 + 20. Suppose 5*a = o*l + 441, a + 0*l = -3*l + 95. Is a prime?
True
Suppose -107191 = -156*f + 153*f + 2*v, -3*v = 3*f - 107181. Is f composite?
False
Suppose 110*t - 109*t = 3428. Is t/24 + 5/30 composite?
True
Let n = 4 - 104. Let j = 147 + n. Is j composite?
False
Let t = -11 + 2. Let w(k) = 2 - 347*k**3 - 10*k**2 - 10*k + 3 + 346*k**3. Is w(t) composite?
True
Let t = 2223 + 14698. Is t a composite number?
False
Let q = -2569 - -4068. Is q a prime number?
True
Let t(u) be the second derivative of -u**5/20 + u**4/3 - u**3/3 - u**2/2 - 5*u. Let b be t(3). Is 993/(-3)*(-3 + b) composite?
False
Let m be (-786)/(-15) + (-2)/5. Suppose -4*j + 4 = 0, 5*j - 5 = -18*z + 16*z. Suppose z = -3*h + h + m. Is h prime?
False
Let k(o) = -4*o**2 - 20*o + 2. Let z be k(-5). Suppose 5*r - 215 = -2*n, -z*n - n - 43 = -r. Is r a prime number?
True
Let b be (-2)/(2/633)*-7. Suppose 13 + b = 4*k. Is k a composite number?
True
Is (-9)/(27/(-12)) - -255 composite?
True
Let p = 18 - 18. Suppose p = -5*x + 126 + 429. Is x a composite number?
True
Suppose 0*u = 6*u - 12. Let k(q) = -2*q**2 + 0*q + 8*q**2 - 5*q + 1 + u*q**2. Is k(4) a composite number?
False
Let n(v) = -17*v - 27. Is n(-8) a composite number?
False
Let v(l) = 1041*l + 293. Is v(20) prime?
False
Let f(u) = 16353*u - 4. Is f(1) prime?
True
Let k = 584 + -325. Suppose 5*m + k = 1524. Is m a prime numbe