
Let c(t) = -2*t + 5. Let m be c(3). Is (-2 - 221)*1/m a prime number?
True
Is (26199 - 1)/(38 + -36) a composite number?
False
Let i = -23 + 26. Suppose -4*o + 1341 = -i*c, -2*c + 3*c = -5*o + 1700. Is o prime?
False
Suppose 309*r - 302*r = 169883. Is r a composite number?
True
Suppose 1920 - 7121 = -2*s - 3*d, -2*d + 2599 = s. Is s a prime number?
False
Let u be (-20)/(-6) - (-2)/3. Let w be 18/u - (-6)/12. Suppose -w*s + 414 = -701. Is s composite?
False
Suppose -4*q + 2*f = -304, 6*q - q = -3*f + 402. Let n = q - -358. Suppose p + n = 5*t - 33, t + 5*p - 99 = 0. Is t a prime number?
False
Let c(w) = -13*w + 11 + 12*w + 11. Is c(-12) composite?
True
Let v(m) = m - 3*m + m + 2*m. Let a be v(-6). Let t(p) = -6*p - 13. Is t(a) a composite number?
False
Let b be (-1)/2 - (-11)/(-2). Let r be 18906/18 + 2/b. Is 2/4 - r/(-4) composite?
False
Suppose 4*i - v = 1175 + 307, -750 = -2*i - 4*v. Is i a composite number?
True
Let w = 3102 - -4613. Suppose 16*x + w = 21*x. Is x prime?
True
Let g(j) = 112*j - 26. Let z be g(12). Suppose -p + 3*t + 332 = 0, -4*p - 2*t = 60 - z. Is p composite?
False
Let r(t) = -t**3 + t**2 - 1. Let s be r(2). Let k(n) = n**3 + 6*n**2 + 3*n + 1. Let p be k(s). Suppose -p*q + 6*q = -815. Is q prime?
True
Let x(r) be the second derivative of 47*r**4/12 - 6*r**2 - 5*r. Let p be x(-8). Is (-6)/10 + p/35 composite?
True
Let q(x) = 3*x**2 + 8*x - 24. Let b be (22/6)/((-112)/(-24) - 5). Is q(b) a composite number?
False
Let q(y) = y - 16. Suppose -3*h - 4*r = -53, -5*r = -0 - 25. Let l be q(h). Let t(n) = -n**3 - 4*n**2 - 4*n - 10. Is t(l) a composite number?
True
Let w(z) = 2*z**2 + 10*z - 34. Let p be w(4). Let o = p - 5. Is o a prime number?
False
Let w(v) be the third derivative of -v**5/60 + 2*v**4/3 + 19*v**3/6 - v**2. Suppose 3*i - 4*b = 45, 0 = -3*i + 5*i + 4*b - 30. Is w(i) composite?
True
Let p(k) = 70*k - 2. Let o(h) = 69*h - 2. Let a(t) = -3*o(t) + 2*p(t). Is a(-1) prime?
False
Suppose -i = -y + 489 - 2184, 3*y = -5*i + 8459. Is i a prime number?
True
Suppose 3*p + 4*o = 42, -2*o - 3*o + 5 = -p. Let z = -5 + p. Is (z/(-4))/(3/(-228)) prime?
False
Suppose 4*b - 10 = -m - 4*m, b - 10 = -5*m. Suppose b = x + 4*p - 817, 2*x - 1935 + 295 = -2*p. Is x prime?
True
Let i(v) = 1327*v**2 + 2*v - 1. Is i(-2) composite?
False
Suppose 0 = -47*y + 1862695 + 374928. Is y composite?
False
Let k(o) = -2*o**3 - 21*o**2 + 17*o + 11. Is k(-15) composite?
True
Let t(a) = 2*a**3 - 2*a**2 + 3*a - 14. Let m be t(-5). Suppose s = -2*s - 570. Let c = s - m. Is c composite?
False
Let o(v) = -3*v**3 - 35*v**2 + 45*v - 92. Is o(-25) prime?
False
Let a(n) = -n**2 + n + 6. Let v be a(0). Suppose -v*d - 150 = -d. Let o = d + 64. Is o a prime number?
False
Let l be 27/(-4) + (-5)/20. Let m(z) = 170*z + 4. Let w be m(l). Let n = -669 - w. Is n a prime number?
False
Let f be 10/(-5) + (142 - 4). Is 135745/f + (-2)/16 prime?
False
Suppose 835574 = 17*v + 45*v. Is v a prime number?
True
Let v(h) be the second derivative of -1775*h**3/6 + 2*h**2 + 54*h. Is v(-1) composite?
True
Let z(q) = 63*q + 20. Let u be z(-13). Let y = u + 1542. Is y a prime number?
True
Suppose -7 = 5*d + 13. Let p be 1/((-2)/32*d). Suppose -p*n + 49 = -27. Is n prime?
True
Let b(o) = -65*o + 112. Is b(-5) composite?
True
Is (230304/20)/4 - (-2)/10 a prime number?
True
Let b = 7 - 4. Suppose 3*s = -b*l + 603 + 645, -s + 2060 = 5*l. Is l a composite number?
True
Suppose -12*m = 108628 - 304120. Is m prime?
False
Let u = -63 + 6584. Is u composite?
False
Let b be 1*(1 - (1 + -3)). Suppose 0 = -b*m - 4268 + 95. Let g = -714 - m. Is g a prime number?
True
Let y(k) = -2*k**2 + 4*k + 2. Let t be y(3). Let p = t + 10. Is -1*-62*3/p a composite number?
False
Let i = 162 - 70. Suppose i - 2147 = -3*o. Is o a prime number?
False
Let v(i) = -18*i + 19. Let f be v(-4). Is (-8031)/(-7) + (-26)/f a composite number?
True
Let c be 0 + 0 - -3*(-2 - 205). Let u = 956 + c. Is u prime?
False
Let x(q) = 158*q - 3. Let s(i) = 474*i - 10. Let w(u) = -2*s(u) + 7*x(u). Let y be w(1). Let r = y - 38. Is r a composite number?
True
Let d = 48625 - 29094. Is d prime?
True
Let m(g) = -g**2 + 10*g - 9. Let b be m(7). Let h(s) = b*s - 9 - 8*s + 36. Is h(13) a composite number?
False
Let j(d) be the first derivative of 8*d**3/3 + d**2/2 + 10*d - 3. Is j(-9) prime?
False
Let y be ((-9552)/(-6))/4 - 5. Let b = 586 + y. Is b a composite number?
True
Suppose 0*o + 20 = -o. Let i = o - -17. Is i + (-1 - 2) + 299 a prime number?
True
Let k(j) = 794*j + 55. Is k(18) composite?
False
Suppose 2*d - 385 = 181. Suppose 4*m + 4*r - 1344 = 0, -5*r - 717 - d = -3*m. Is m a prime number?
False
Suppose -m + 27769 = 2*a, 3*a + 3*m - 50907 = -9255. Suppose -a = 2*b - 7*b. Is b prime?
True
Let j(l) = -212*l**2. Let z be j(-1). Let v = -70 - z. Let o = 269 - v. Is o composite?
False
Let d be 1 - (-35844)/(-3) - (-4)/(-2). Let x = d + 21820. Is x prime?
True
Suppose -9*u - 37983 = -12*u. Is u a prime number?
False
Suppose 0 = -8*u + 44799 + 105625. Is u a prime number?
True
Let n(m) = -6*m + 31. Let z be n(5). Is z/(-4) - 123330/(-40) a prime number?
True
Suppose 0 = -3*t + o - 1, 2*t - 7*o + 5 = -2*o. Suppose 2395 = -t*s + 5*s. Is s composite?
False
Suppose 14*n = 48801 - 5499. Is n prime?
False
Suppose -132540 = -35*x - 35345. Is x prime?
True
Suppose 11*f - 9187 - 2484 = 0. Is f composite?
False
Let g be (4/10)/((-12)/180). Let s(z) = z**3 + 10*z**2 + 15*z + 5. Is s(g) a composite number?
False
Let d be (44/16)/(1/8). Suppose -26*a = -d*a - 956. Is a a composite number?
False
Let o(a) = -596*a + 219. Is o(-7) prime?
True
Suppose 5*i - t - 14 = 0, 6 + 0 = -3*i - 3*t. Let q(p) = -2*p + 9*p**i - 3*p + p + 0*p. Is q(-7) prime?
False
Let w = 158 + 116. Is w a prime number?
False
Let a = 17 - -54. Is a a composite number?
False
Suppose 5*r = -2*a + 18377, -5*r + 3*a = -6*r + 3665. Is r a composite number?
False
Suppose 5*j + 0*k - 31697 = 3*k, k = -4. Is j composite?
False
Let y(q) = -674*q + 115. Is y(-1) composite?
True
Let k = 77679 - 44572. Is k composite?
False
Let b be 0 - (-9772)/(2 - -2). Suppose -6082 = -3*m - b. Is m a composite number?
False
Suppose -5*t + 0*t + 15 = 0. Suppose -2*l + 0 = t*q - 3, -3*l = q + 6. Is (q - 2)/((-2)/(-282)) prime?
False
Let g = 11 - 22. Let x(r) = r**2 + 12*r + 13. Let q be x(g). Suppose -q*o - o = -57. Is o a composite number?
False
Is 3 - (56/(-10))/((-32)/(-2480)) a prime number?
False
Suppose 3*j - 5*k = 5048, -2*j + 5*k + 0*k = -3357. Let x = j - 1145. Suppose 2*i + 3*b - 232 = 0, 4*i + 86 - x = -4*b. Is i a composite number?
False
Let j(y) = y - 6. Let z be j(5). Let n = z + 7. Suppose -n = 4*o - 50. Is o composite?
False
Suppose -r = -5*g + 52, 2*r = 2*g + 3*g - 129. Let x be 2/(-4) + r/(-14). Let b(l) = -l**2 + 14*l - 2. Is b(x) a prime number?
True
Let h be 12/10*(-135)/(-18). Let d(j) = j**2 - 8. Let v be d(h). Suppose -2*y + 98 = 2*l, 4*l - 21 - v = -2*y. Is y a composite number?
True
Let r = -162 + 75. Let k = r - -142. Is k composite?
True
Is (12296/(-12))/((-10)/15) a prime number?
False
Suppose 4*v + 5*b + 2225 = 10398, 2*b = 3*v - 6147. Is v a prime number?
False
Suppose -n + 30 = 5*c - 51, -5*c + 82 = 2*n. Let d(r) = -r**3 + 19*r**2 - 14*r - 15. Is d(c) a composite number?
True
Let f(p) = 9*p**2 - 11*p - 41. Is f(13) composite?
True
Let o(s) = 14*s + 27. Let r be o(12). Is 1367/15 - 26/r composite?
True
Let l(u) = -22*u - 26*u + 70*u + 10*u**3 + u**2 + 1 - 28*u. Let w be (3 - 2)*4*1. Is l(w) prime?
False
Suppose 20 = -5*v - 0. Is v/(-6)*(-25959)/(-34) composite?
False
Let u = -8 - -10. Suppose a + 99 = u*a. Let v = a - 46. Is v a composite number?
False
Let x = -51 - -73. Let b = -4 - x. Is (b/(-4))/(2/124) prime?
False
Let v(g) = -g**3 + 53*g**2 - 181*g - 26. Is v(39) composite?
True
Let k be (-15)/(-1)*(-13)/(-39). Suppose 0 = k*a - i + 38, -a = -4*i - 0*i. Let q = 5 - a. Is q prime?
True
Suppose -4*a = -4*k + k - 710, -4*k = -4*a + 708. Let p(m) = m - 7. Let o be p(7). Suppose o = -d - 4*b + a, -d + 4*d - 3*b - 477 = 0. Is d composite?
False
Suppose 184 = 7*a - 1377. Is a prime?
True
Suppose -2 + 7 = n. Let i be ((-2)/n)/(2/(-6330)). Is i/4*(-10)/(-15) composite?
False
Let u(l) = 4*l - 7. Let b(t) = -t. Let f(m) = -3*b(m) - u(m). Let k be f(5). Suppose k*a - 349 + 48 = 5*r, 