
True
Suppose 3*c + 5*t - 1510 = 3*t, 1516 = 3*c + 5*t. Is c prime?
False
Suppose 75*h - 5*h = 1524530. Is h prime?
False
Let c(n) = 3*n**3 + 8*n**2 + 11*n - 116. Is c(7) a composite number?
True
Let u(h) = -23*h - 39. Let l(p) = 23*p + 39. Let m(q) = 2*l(q) + 3*u(q). Is m(-22) a prime number?
True
Let u = 12249 - 6280. Is u a composite number?
True
Let d(l) be the second derivative of 3*l**4/4 - l**2/2 + 7*l. Is d(4) prime?
False
Let q(j) = 702*j - 5. Is q(2) a prime number?
True
Let z be (20/(-5) + 1850)/2. Suppose 3*x - 2*x - z = 0. Is x a composite number?
True
Suppose -4*y + 3*p + 71784 = 0, 6*y - 71752 = 2*y - 5*p. Is y a prime number?
False
Suppose -221571 = -0*a - 21*a. Is a prime?
False
Let n = -897 - -2219. Is n a prime number?
False
Let n(z) = 2*z - 18. Let d be n(9). Suppose d = 6*j + j - 7399. Is j prime?
False
Is (-12 - -13)*(3 - -11348) composite?
False
Suppose -39213 = -16*q - 14525. Is q a composite number?
False
Let o(y) be the third derivative of 11*y**5/15 + 5*y**4/24 - 5*y**3/6 + 11*y**2. Is o(4) prime?
True
Let m(h) = 16*h - 3. Suppose -w + 8 = 6*f - 4*f, 2*w - 4*f + 16 = 0. Suppose j + 2*j - 15 = w. Is m(j) composite?
True
Let c(a) = -a**2 + 13*a - 24. Let n be c(12). Is 368/12*n/(-8) a prime number?
False
Let n(q) = 91*q + 8. Let i(d) = -183*d - 17. Let h(w) = -4*i(w) - 7*n(w). Is h(5) a prime number?
True
Let c = 541 - 531. Let m = -170 - -250. Is (-48)/m + 13996/c composite?
False
Suppose 0 = -5*o - j + 71259, 5*o - 71275 = 4*j - 9*j. Is o a prime number?
True
Let d(j) be the second derivative of -1/20*j**5 + 1/6*j**3 + 0 + j - 1/12*j**4 + 419/2*j**2. Is d(0) a prime number?
True
Suppose -2*d - 591 = -5*d. Suppose -3*x + 2*x = d. Let m = x - -391. Is m a prime number?
False
Let g = -127 + 252. Suppose m - 138 = g. Is m composite?
False
Let w(f) = 2*f - 5. Let y be w(5). Let b be 2846/14 - (-8)/(-28). Suppose 4*s - b - 78 = -p, y*s + 1187 = 4*p. Is p composite?
False
Suppose -3*k - 6 = 3, -l = 4*k. Suppose 5*y = 4*i - 184, 6*y = 3*y + l. Is i composite?
True
Is (-1)/(14002/(-9332) + (-93)/(-62)) a prime number?
True
Let c be (0 - 5/(-2))*2. Suppose c = f, -3*w - 4*f = -0*f - 251. Is w a prime number?
False
Let x(j) be the third derivative of -97*j**7/5040 - j**6/120 - j**5/20 - 7*j**2. Let p(r) be the third derivative of x(r). Is p(-5) prime?
True
Suppose 14*y = 39*y - 962675. Is y a prime number?
False
Suppose 32*v = 36*v - 31612. Is v a composite number?
True
Suppose q = -203 + 402. Is q composite?
False
Let v = 22680 - 11839. Is v composite?
True
Let y = 23 + -17. Suppose -4*l = -y - 46. Is l a prime number?
True
Let v = -211 - 1515. Let c = v + 3527. Is c prime?
True
Suppose 70*w - 64*w - 588 = 0. Let r = -76 + w. Is r composite?
True
Let i(l) = -296*l - 2. Let b be i(-1). Suppose -3*j + j + b = -5*q, j + 56 = -q. Let k = q + 81. Is k a prime number?
True
Let l = -6766 - -10075. Is l a prime number?
False
Let q(s) = -28*s**2 - 5 + 4 + 2*s**2 + 4 + 2*s. Let w be q(4). Is -4 + 6 + w/(-1) a composite number?
True
Suppose 5*u = 15262 + 168. Is u prime?
False
Let k(y) = -y**2 - 13*y - 11. Let r be k(-11). Suppose -2*z = -z - r. Is z a composite number?
False
Let r(m) be the first derivative of m**4/4 - 5*m**3 - 11*m**2 - 7*m - 34. Is r(19) prime?
True
Let d be -6 + (-1 + 4)/(-1). Let q = 24 - d. Is -28*2*q/(-24) prime?
False
Let d(w) = -4*w - 20. Let u be d(-6). Suppose -x + 2*c - 789 = -2*x, 4*x - 5*c = 3104. Suppose s - x = -u*s - 4*m, 154 = s + 3*m. Is s a prime number?
True
Suppose -10148 - 11605 = -9*m. Is m a composite number?
False
Let b(f) = f - 8938. Let i be b(0). Is (6/(-4))/(i/4468 - -2) composite?
True
Suppose 272 = 3*z - 5*n + 1322, 3*z + n = -1032. Let y = -154 - z. Is y composite?
False
Let m(c) = -18*c**3 - 4*c**2 - 8*c**3 - c - 2*c**3 - 5*c**3 - 5. Is m(-3) a composite number?
False
Let m be 3 - 3 - (-3 + 1). Let x(u) = -2*u**3 - m*u - 2*u + 0 + 3*u**2 + 3 - 7*u**2. Is x(-4) a prime number?
True
Is -3 - (-173295)/20 - 6/8 a prime number?
False
Let i = 3281 + -1504. Is i a composite number?
False
Let h = -521 + 1144. Is h composite?
True
Let i(z) = -1116*z + 2. Let c be i(-1). Suppose 4*p - 9*p + 3235 = -2*w, -5*p + 3*w = -3230. Let y = c - p. Is y a prime number?
False
Suppose u = 6*u - 5*d - 5, 0 = u - 3*d + 1. Let j be -2 - -2 - (-8)/u. Suppose -j*h + 233 = -43. Is h a prime number?
False
Suppose 0 = -10*q + 7*q + 81. Suppose q = 3*k - 72. Is k composite?
True
Let p = 11 - 6. Suppose -3*l = 4*m - 4193 + 389, -4*l = -p*m + 4755. Is m a composite number?
True
Suppose b - 3*n = -7, -2*n + 6 = -0*n. Suppose 4371 = b*i + i. Is i a prime number?
False
Suppose 4*s = 3 + 17. Suppose -3*h - 4*u = -753, -2*h - s*u + 1255 = 3*h. Is h composite?
False
Let p(z) = -z**3 + 4*z**2 - 3*z + 3. Let o be p(3). Suppose -7*i = -o*i - 12. Is (-5)/(1/(1 - i)) a prime number?
False
Let c(f) = 561*f**2 + 136*f - 15. Is c(8) a prime number?
False
Suppose 2*o + 2*o - 7801 = g, -4*g + 9725 = 5*o. Is o composite?
False
Suppose 27*w = 34*w - 358057. Is w prime?
True
Let y = -2574 + 3713. Is y a prime number?
False
Let j(w) = 779*w - 3. Let b be j(8). Suppose 13*z - 21192 = -b. Is z a composite number?
False
Let f(d) = 1247*d + 1. Is f(10) prime?
False
Suppose 0 = -3*v + 4*q - 299, -5*q - 47 - 78 = v. Suppose 4*b - 2*b = 1028. Let g = v + b. Is g a prime number?
True
Is (-2316606)/(-184)*4/3 a composite number?
False
Let q = 24 - 24. Suppose -4*m + m + 4*f + 16 = q, 3*f + 12 = 3*m. Suppose -4*j + 470 + 854 = m. Is j a composite number?
False
Suppose -4 = -5*k + 4*k. Suppose 69 = -3*m + k*m. Suppose 4*a = -4*z + 336, 2*a - 3*a + 2*z = -m. Is a composite?
False
Let b(g) be the third derivative of g**6/120 - g**5/30 - g**4/24 + g**3/3 + 3*g**2. Let m be b(2). Suppose 4*k + 5*r - 1472 = -m*r, -16 = 4*r. Is k composite?
False
Suppose 2*h - 761 = p, 9*p = 4*p + 5. Is h a composite number?
True
Let y(q) = -5*q - 10. Let k be y(-2). Suppose k = 4*o + 4*r - 8*r - 2948, 0 = -4*o - 5*r + 2948. Is o composite?
True
Let i(h) be the second derivative of -h**5/20 - h**4 - h**3/6 + 5*h**2/2 + 44*h + 1. Let o = -30 + 17. Is i(o) composite?
True
Suppose -21*d + 5616 = -5*d. Let p = d - -704. Is p a composite number?
True
Is 5580 + 5/35*7 a composite number?
False
Let t(s) = 150*s + 8. Let r(g) = -300*g - 17. Let y(b) = 3*r(b) + 5*t(b). Is y(-5) a prime number?
True
Is (-84646)/(-10) - 34/(-85) a prime number?
False
Let j(b) = b + 1. Let y be j(5). Suppose y*a = 10*a. Suppose 3*v = -a*v + 474. Is v composite?
True
Suppose 22729 + 13366 = 5*b. Is b prime?
True
Let t(r) = r**2 + 6*r + 669. Is t(0) a prime number?
False
Let a(s) = -4*s**3 + 2*s**2 + s + 3. Let t(i) = 5*i**3 - 2*i**2 - i - 3. Let h(u) = 4*a(u) + 3*t(u). Let n be h(2). Suppose -n*m = -90 - 835. Is m composite?
True
Let i be (4/5)/((-6)/(-2295)). Let l = 888 - i. Is (-12)/18*l/(-4) composite?
False
Suppose 10*q - 27835 = 5*q. Is q composite?
True
Suppose u + 5*r - 16300 = -2*u, 0 = -3*u - r + 16304. Is u a composite number?
True
Let r(a) = a**3 - a**2 - a - 2. Let u be r(0). Let o be 6 + (12/(-3) - u). Suppose 7*i = 4*i + 2*p + 559, 0 = o*i + 4*p - 732. Is i a prime number?
False
Suppose 12 = 3*t - 3*a, -3*t = -5*a - 5 - 5. Let f(i) = 539*i + 17. Let z be f(t). Is z/(-16)*(-2)/3 composite?
False
Let s be (-6)/(1*(-9)/12). Is (-1)/(-2)*(30 - s) prime?
True
Suppose m = -k + 53, -5*k + 6*k = 3*m - 151. Is m a composite number?
True
Let t(i) be the first derivative of 3*i**4/4 - i**3 + 2*i**2 - i + 17. Let q = -2 - -5. Is t(q) prime?
False
Let b = -68 + 69. Let k(q) = 330*q**3 + 2*q**2 + q - 2. Is k(b) prime?
True
Let b be 128/(-6)*(-12)/20*-20. Let o = b - -1105. Is o composite?
True
Is (5/4)/((-37)/(-46324)) a composite number?
True
Suppose 57*c = 61*c. Let s(n) = 44 - n - 20 + 53. Is s(c) prime?
False
Let f(v) = -3*v - 17. Let c be f(-9). Suppose c*u - 1595 = -25. Is u a prime number?
True
Suppose -4*z - 2*b + 3 = -z, 4*b = -4*z. Suppose 2*d + 0*k - 1326 = 5*k, z*d + k = 2023. Is d composite?
False
Suppose -2 = 2*h, -2*g - 3*h - 11 = 2*g. Let o be 0/(g*3/(-6)). Suppose o*t - 998 = -2*t. Is t a composite number?
False
Suppose 4*u = -3*t - 0*t, 0 = 2*u - 3*t. Suppose 5*s = 4*m + 2, s + u + 4 = 3*m. Is ((-316)/(m + -6))/1 a composite number?
False
Let f = -592 + 2043. Is f prime?
True
Let