+ f + 533. Is k a composite number?
False
Let y = 5220 + -2171. Is y prime?
True
Suppose i = -3*i - 20. Let k(b) = 10 - 2*b - 4 - 27*b - 8*b. Is k(i) prime?
True
Let u = -139 - -940. Suppose x + 5*h - u = 170, -3 = -h. Is (4/(-8))/((-2)/x) prime?
True
Let i = -36 + 38. Is (2/4)/(i/5884) a composite number?
False
Let b = -3 - 13. Let g be ((-18)/(-3))/((-6)/b). Is (g/24)/(4/3918) a prime number?
True
Suppose -7*o + 14 + 21 = 0. Suppose -o*s = -2*k + 977, 2*k - 3*s = s + 982. Is k a prime number?
False
Suppose 4*n - 80384 = -5*i, 5*i + 20085 = n + 9*i. Is n a composite number?
False
Is (-6)/(-9)*27429/(-2)*-1 composite?
True
Suppose 11*w + 44201 = 207474. Is w prime?
True
Let k(h) be the third derivative of 11*h**5/12 - h**4/6 - 2*h**3/3 + 42*h**2. Is k(3) prime?
True
Suppose 2*p + 2*p - a = -2575, 5*p - 4*a + 3205 = 0. Let k = p + 1031. Suppose -367 = -3*n + k. Is n a composite number?
False
Let g(i) be the third derivative of -13*i**4/24 + 7*i**3/6 - i**2. Let d be g(-8). Suppose -3*t = -0*t - d. Is t a prime number?
True
Suppose -1724130 = -68*x + 38*x. Is x composite?
True
Let b(s) = -434*s**2 - 2*s + 7 + 789*s**3 - 4 + 433*s**2. Is b(1) prime?
False
Let q be 226/(-8) + 2/8. Suppose 21*x + 247 = 8*x. Let j = x - q. Is j prime?
False
Let j be (-1 - -4)*-1 + 138. Let s = 202 - j. Is s composite?
False
Suppose -153894 = -7*f - 1420. Is f a composite number?
True
Let q be 1310/3 - (-3)/9. Let b = q - 248. Suppose 2*j - b = 505. Is j composite?
False
Let v = -14 + 58. Suppose -4*g - v + 336 = 0. Suppose -p = -1, -2*c = 3*p - 0*p - g. Is c a composite number?
True
Let f(g) = -31*g + 35*g + 45 - 39*g. Is f(-26) prime?
False
Suppose -4*b + 10 = -2. Suppose 3*f + 5*h - 2532 = 0, 0 = 2*f + b*f - h - 4192. Is f a prime number?
True
Let m be (-12)/42 - (-915)/(-7). Let n be 6/(-6)*2 + 4*-19. Let h = n - m. Is h a composite number?
False
Suppose 4*j = 4169 + 1755. Is j composite?
False
Suppose 4*h - 2*b + 0*b - 468 = 0, -3*b = 0. Suppose -h = -s + 29. Suppose 5*r - 1431 = -s. Is r a prime number?
True
Let s(y) = -y**3 - 4*y**2 - 11*y - 4. Let i(k) = -k**3 - 4*k**2 - 11*k - 5. Let t(l) = -3*i(l) + 4*s(l). Is t(-9) composite?
False
Let y(p) = 5*p**2 - 2*p - 2. Let g be y(2). Let u = 4 + -7. Let c = g + u. Is c a prime number?
True
Let n be (27/18)/((-6)/(-16)). Is 262 - ((0 - n) + 7) a prime number?
False
Let z = 55 - -208. Is z a composite number?
False
Let c(m) = 1444*m - 17. Is c(7) a composite number?
False
Let f(l) = -1824*l**3 - 28*l**2 - 55*l - 3. Is f(-2) prime?
False
Let w be (-1)/((-4)/(-16)*-1). Suppose 9*b = w*b - 150. Is (-613)/(-2) + b/20 prime?
False
Suppose -9*q + 18140 = -106177. Is q a composite number?
True
Let j(x) = 6*x**2 + 14*x + 159. Is j(-41) prime?
False
Let c be ((-18)/30)/((-1)/5). Let a(v) = -16 - 16*v - 3 + 4*v - c*v. Is a(-14) a prime number?
True
Let y = -12 + 2. Is 1772/20 + 1 - (-6)/y a composite number?
False
Let i be (550 - 1) + -2 + 0. Let h(p) = 23*p**2 - 7*p - 12. Let n be h(-3). Let l = i - n. Is l a prime number?
True
Suppose -3*k + 8*k = 55. Suppose k*y = 12*y + 209. Let b = 886 + y. Is b prime?
True
Let h = -79986 - -154799. Is h a composite number?
True
Let d(y) be the second derivative of 0 - 2*y**2 + 5*y + 11/6*y**3 - 5/6*y**4 + 1/20*y**5. Is d(9) a prime number?
False
Let f = 31786 - 8075. Is f composite?
True
Let h(z) = -63*z - 141. Is h(-28) composite?
True
Suppose 0*s + 5*d - 89 = -2*s, 4*d = -2*s + 90. Let x = s - 14. Suppose 55 + x = 4*l. Is l prime?
False
Suppose 3*c + 1 + 6 = -4*l, 2*c - 14 = 2*l. Suppose c*j - 6 + 0 = 0. Suppose 237 = j*d - 185. Is d a prime number?
True
Let j(m) = 25*m**3 - 17*m**2 + 13*m - 7. Is j(10) composite?
True
Suppose 2*x = 4*l - 3*x - 300, 0 = 2*l - 2*x - 148. Let v be ((-6)/5)/((-21)/l). Suppose -3*y + v*d = -327, 198 = 3*y - 5*d - 129. Is y a prime number?
True
Let x be ((-1)/1)/(15/195). Let t = -3 - x. Is 98821/85 + 4/t prime?
True
Suppose -2 = d, 4*j - 2*d - 256 = 248. Suppose 3*x = -4*i - j - 4, 0 = -2*i + 2*x - 54. Let m = i - -73. Is m a prime number?
True
Suppose 4 = d + 2*g + 3, -4*d = -5*g - 17. Suppose 6*k = d*k + 2877. Is k a composite number?
True
Let o be 2/(-3)*(-243)/18. Let v = o + -11. Is (2612/8)/(v/(-4)) composite?
False
Let l be (-2*(-10)/(-4))/1. Is (-60)/(-12)*(-541)/l composite?
False
Is (79 - -9235)*((-3)/6 + 2) composite?
True
Let b(g) = 40*g**2. Let u be b(1). Is 215350/u + 3/(-4) a prime number?
False
Let j(h) = -h**3 - 4*h**2 + 4. Let g be j(-4). Let a(i) = 15*i**2 - 16*i - 16. Let u be a(-4). Suppose -u - 476 = -g*m. Is m composite?
False
Suppose -14384 + 92948 = 12*a. Is a composite?
False
Is ((-530175)/175)/((-3)/14) a composite number?
True
Let f be 32/(-6)*(-40 - 2). Let d = -78 + f. Suppose d + 225 = p. Is p a prime number?
False
Let m(p) = -p**2 + 2*p + 26. Let j be m(6). Suppose s = -3*d + 595, -j*s + 3*s - 5*d - 571 = 0. Is s a prime number?
False
Suppose -2 = 5*r + 3. Let d be (4/(-6))/(r/3). Is 2 + 378/(d + 0) a prime number?
True
Suppose s + 97 = -a, -5*a - 1 + 11 = 0. Let u be 4*(1 - (-93)/2). Let v = s + u. Is v a prime number?
False
Let z(l) = -l**3 - 4*l**2 - 3*l - 7. Let t be z(-4). Suppose t*c = 6*c - 121. Is c a composite number?
True
Let c = 104301 - 48412. Is c prime?
True
Suppose -n - 1 = -5. Suppose 4*a - 3*a - 3*g - 37 = 0, -n*g = -3*a + 91. Suppose -21*l + a*l - 892 = 0. Is l a composite number?
False
Let g be (-4 + -264)/(-2*1/9). Suppose 0 = -3*y + g + 681. Is y composite?
True
Let s be (-1)/(((-12)/393)/(-4)). Let x = 45 + -79. Let y = x - s. Is y composite?
False
Let j(r) = r**2 + 6*r + 7. Let p be j(-5). Let i(l) = 455*l - 3. Is i(p) prime?
True
Suppose 1609 = 5*d - 1256. Is d composite?
True
Suppose 0*z = z - 4. Let h be (-1)/z - (-18)/8. Is (2/2)/(h/98) composite?
True
Suppose 2*q - q - 15414 = d, q = -2*d + 15429. Is q a prime number?
False
Suppose 2*f + 4*p + 92 = 0, f + 4*p + 30 = -26. Let b be (-9)/21 + f/14. Is 252/8 - b/2 composite?
True
Suppose 3*g - 47113 = 191240. Is g prime?
True
Let o(q) = q**2 - q + 541. Let t(v) = v**3 + 6*v**2 + v + 10. Let u be t(-6). Suppose -2*z + u*r - 8 = 0, 2*z - 10 + 0 = -5*r. Is o(z) a composite number?
False
Suppose -44 = -2*g + 16. Is 6*(-3)/g + (-6294)/(-15) prime?
True
Let n = -2732 - -5617. Is n a composite number?
True
Let o(d) = d**2 - 11*d + 17. Let z(i) = -1. Let j(v) = -o(v) - 2*z(v). Is j(8) prime?
False
Let x be -796 + -1 + 1 + 0. Let v = x + 1135. Is v composite?
True
Let m = 7123 - 782. Let a = m - 4372. Is a a composite number?
True
Is 4 + (1355 - -6) - 4 a composite number?
False
Let o = -5906 + 13653. Is o composite?
True
Suppose -3*b + 4*c + 62 = 0, -42 = -2*b - c + 3*c. Let s(p) = p**2 + 24*p - 19. Is s(b) prime?
False
Suppose h + 4*h - 1460 = -5*t, 5*t + 10 = 0. Suppose x - h = -59. Is x a prime number?
False
Let p(x) = x**2 - x - 1. Let m be p(3). Suppose 3*z + m*i - 1476 = 0, -2432 = -5*z + 3*i - 2*i. Is z prime?
True
Let p(v) be the second derivative of -v**4/12 + v**3/3 - v**2/2 + v. Let w be p(0). Is (249 - -5)*w/(-2) a prime number?
True
Is -5 + (345 + -17)/(4/18) prime?
True
Let j(f) = -270*f - 1. Let g be j(-3). Suppose -132 + g = u - 2*r, -r - 2694 = -4*u. Is u composite?
False
Let i(c) = 14*c**2 + 2*c + 12. Let p be i(6). Suppose p - 2181 = -3*w. Is w prime?
False
Let t = -9 - -11. Suppose t*g - 169 = 153. Is g a prime number?
False
Is (80866 - 39)/(4/4) composite?
True
Is (432691/(-14))/(-3 + (-5)/(-2)) prime?
True
Suppose n = -2*c + 8, -4*n + 7*n + 3*c - 36 = 0. Suppose -6*t = -2 - n. Suppose -g + t*b = -223, 5*g + 2*b = -b + 1115. Is g a prime number?
True
Let v = 24 + -12. Is (v/(-18))/(4/(-11082)) prime?
True
Suppose -2*u + 64281 = 3*u + 4*k, u - 3*k - 12841 = 0. Is u a prime number?
True
Let g(u) be the first derivative of u**5/20 + 5*u**4/4 + 2*u**3/3 - 7*u**2/2 - 7*u + 1. Let f(r) be the first derivative of g(r). Is f(-6) a prime number?
True
Let n(a) = -171*a**3 + 2*a + 1. Suppose -5*l + 15 = 4*z, 2*l = -3*l + 2*z - 15. Let s be n(l). Suppose -p + s = p. Is p prime?
False
Let z = -1846 + 2589. Is z prime?
True
Let n(o) be the third derivative of 3*o**5/20 - o**4/8 - 5*o**3/6 - 5*o**2. Let f be n(5). Is f - ((-2)/(-1) + 0) a prime number?
False
Suppose -5*j + 1 - 7 = -4*x, -10 = -x - 3*j. Suppose 0 = -2*p + 7*p. Suppose -5*y - 59 = -x