?
True
Let t(q) = -q**3 + 4*q**2 + 5*q + 4. Let c be t(5). Suppose -c*z + 8 = 5*i - 4, 2*i + 4*z = 12. Suppose i = -2*j - 3*j + 745. Is j a composite number?
False
Let g be (-78)/(-9) + 4/12. Suppose 4*s + 845 = g*s. Is s composite?
True
Let h(v) = -v**3 + 5*v**2 - 4*v - 2. Let f be h(4). Let q be (f/(-4))/(2/8). Suppose 0 = 3*w - 0*b + q*b - 83, -3*w - b = -79. Is w a prime number?
False
Suppose -7644 = 5*y - 12*y. Suppose 19253 = 11*z + y. Is z composite?
True
Let g(s) = 20 - s + 0*s - 12. Let h be g(8). Is -34*(52/(-8) - h) composite?
True
Let u = -12171 + 20812. Is u a composite number?
False
Let f = 87 + -83. Is 2 - (-212 + (f - (-2 - -3))) composite?
False
Let a = -62 + 74. Is (-239)/((-36)/80 + 3/a) a prime number?
False
Let f be 6/(-42) - (-16404)/21. Let z = 1372 + f. Is z a prime number?
True
Let v = 147 + -144. Suppose o - 1582 = -2*u - v*o, 4*o + 3200 = 4*u. Is u a prime number?
True
Let m(x) = 120*x**3 + 5*x - 6. Let g be m(2). Suppose -5*b + 3*c = -g, b - 5*c - 143 = 63. Is b a prime number?
True
Let h = -3975 - -2789. Let y = h - -2232. Is y a prime number?
False
Let s = 25 + -22. Is 3*((-6)/(-6) - (-52)/s) prime?
False
Let z be (-12)/(-9)*(-9)/(-4). Suppose 1501 = z*r - 0*r - 2*l, 0 = 5*r + 3*l - 2489. Is r a prime number?
True
Let f be 18/(-4) - 8/16. Let d(c) = -c**3 - 6*c**2 - 4*c + 5. Let k be d(f). Suppose k*l = 5*l - 395. Is l prime?
True
Suppose 1986 - 362 = 4*s. Suppose -2*i + 4*y + 2242 = 0, i + 2*y = 711 + s. Is i a composite number?
True
Suppose -79 = 18*x - 475. Is x composite?
True
Suppose 8 - 2 = -3*c. Let n be (c - -3) + (4 - 8). Is ((-212)/(-20))/(n/(-15)) prime?
True
Let s(w) = 115*w**2 - 44*w + 119. Is s(28) composite?
True
Let h be (64/(-48))/((-4)/5730). Suppose -5*m - h = -10*m. Is m composite?
True
Let t(j) = 40*j**3 + 7*j**2 + 19*j + 7. Is t(9) a prime number?
False
Let l be 24/(-8) - 4/(-1). Is (0 + -191)/(l*(-1)/3) composite?
True
Let a be 1 + (14/6 - 3)*-381. Suppose -g = -a - 4. Is g a composite number?
True
Let c = -30114 + 48631. Is c a composite number?
False
Let k = -1387 - -3448. Suppose -1230 = -3*q - h, -8*q + 3*q + k = -2*h. Is q a composite number?
True
Let a = -305 + 453. Let z = -81 + a. Is z a prime number?
True
Let b be 2/6*(-336)/(-7). Let m = b + -16. Suppose m = y - 5*y + 88. Is y a prime number?
False
Suppose 3*m - 674 - 208 = 0. Let a = -15 - -24. Is (-6)/(-4)*m/a a prime number?
False
Let u = 5007 + -1440. Suppose 4*z + 14168 = 4*g, 0*g - 4*z + u = g. Is g prime?
True
Let s(c) = -1 - 2*c**2 - 55*c - 7 + 4. Is s(-23) a prime number?
False
Let q(k) = -9*k**3 - 15*k**2 - 2*k - 69. Is q(-8) composite?
True
Let l be (-352)/(-66)*1/(2/171). Suppose -1124 + l = -2*t. Is t prime?
False
Suppose 0*f = -2*w + 3*f - 2, 3*f + 13 = 5*w. Suppose -w*r + 397 = 87. Suppose 0*x = 2*x - r. Is x composite?
False
Let b(z) = z**2 + 3*z. Let i be b(-4). Let k be (-15480)/(-104) + 4/26. Suppose i*o + 3*g = k, -3*o - 8*g + 117 = -4*g. Is o a composite number?
True
Let b be -4*(6/(-2))/3. Suppose 0 = -4*p + b, s - 5*s + 331 = -5*p. Suppose 283 = v + s. Is v prime?
True
Let x = -425 - -4138. Is x composite?
True
Suppose 0 = -3*p + 4*s + 4597, -4*p + s = 3*s - 6100. Is p a composite number?
True
Suppose a - 3*h - 16 = 0, 3*a - 5*a + 20 = -2*h. Let r = a + -7. Suppose 100 = 4*f + 3*d, r = f - 2*d - 7 - 7. Is f composite?
True
Let n(b) be the second derivative of -b**3/3 + 45*b**2 - b. Let g be n(0). Suppose p = -3*i + 6*i - 266, p - g = -i. Is i prime?
True
Suppose -4*r - 641003 = -23*r. Is r prime?
False
Let a(r) be the first derivative of 11*r**3 + r**2 + 33*r + 16. Is a(8) composite?
False
Let s(y) = 3*y**3 - 11*y**2 + 10*y + 5. Let c be s(10). Let k = -1242 + c. Is k a prime number?
False
Let i = 145 - -14. Is i prime?
False
Is (1399/(-3))/(3/(-9)) prime?
True
Is 173397/9 + -1*(-2)/3 prime?
True
Let a = -25 + 30. Suppose 5*l - 4*n + 2*n - 9005 = 0, -a*l + 4*n = -9015. Is l a composite number?
True
Let p be (-3509)/(-7) + 8/(-28). Suppose -p = -c - 22. Is c prime?
True
Let c be (-22)/(-4) - (-1)/2. Let j(y) = 0*y + 3*y**2 - 5 + 7*y**2 + y - 9*y**2. Is j(c) composite?
False
Suppose -2*q - 10 = -18. Suppose 0 = -6*b + q*b - 6. Let j = 336 - b. Is j a composite number?
True
Let r(i) = -i**2 + 17*i + 23. Let k be r(18). Let h(t) = 2*t**2 - t - 12. Is h(k) a composite number?
True
Let c = -1 - -4. Suppose 3*y - 8*y = -2*l + 117, 2*l - c*y = 107. Suppose -4*p - k + 93 = -2*p, -k + l = p. Is p prime?
True
Let r(s) be the third derivative of s**6/120 + 11*s**5/60 + s**4/6 - 13*s**3/6 - 2*s**2. Suppose j = -8 - 1. Is r(j) composite?
False
Suppose -3*m + 26118 = -771. Is m a prime number?
True
Suppose 0 = 5*o - 8*o + 12. Suppose -3*k + 2037 = o*k. Is k a composite number?
True
Let b(v) = 2*v**3 - 10*v + 55. Is b(7) composite?
True
Suppose 0 = 5*f - 3*f - 2*q - 20, -41 = -4*f + 5*q. Suppose -2*s + f = s. Suppose 957 = 3*o + 2*a, 1595 = 3*o + 2*o - s*a. Is o a composite number?
True
Is -4*(-4 - 88165/28) prime?
True
Suppose 5*t - 19021 = 4*t. Is t prime?
False
Let w(y) be the second derivative of y**4/6 + y**3/3 - 7*y**2/2 + 3*y. Suppose 21*u - 26*u - 30 = 0. Is w(u) a prime number?
True
Let r(i) = 32*i**2 + 16*i - 19. Let l be r(-13). Let f = 7282 - l. Is f composite?
True
Let s be 3 - (-365 + (-4 - -6)). Suppose -p + 6*y - 3*y = -85, -4*p - y = -s. Is p composite?
True
Let s(w) = 22*w**2 - 41*w + 23. Let c be s(-23). Suppose -6*q = -2*q - c. Is q prime?
False
Let a(l) = -l**2 - 9*l - 4. Suppose -4*j + 2*i + 0*i = -30, 3*j - 5*i - 40 = 0. Suppose -2*q - 18 = 4*f, -5*f - j*q - 16 = -1. Is a(f) a prime number?
False
Let k = -1371 - -2066. Is k prime?
False
Suppose 5312 + 88404 = 28*i. Is i a prime number?
True
Let o(a) be the third derivative of -317*a**4/24 - a**3/6 - 6*a**2. Let v be o(-1). Suppose v = 4*m - 0*b + 5*b, -4*m - 3*b = -316. Is m composite?
False
Is (18/(-27))/(8/(-47724)) a prime number?
False
Let a(o) = -9*o**2 + o + 3. Let w be a(5). Let x = -163 + 789. Let m = x + w. Is m a composite number?
False
Let v(n) = 3*n**2 - 2*n**2 - 4 - 2*n**3 - 2*n**3. Let k be -1 - ((-24)/3)/(-4). Is v(k) a prime number?
True
Suppose 0 = 2*h - 1 - 7, -3*c + 3673 = -2*h. Suppose c = 3*w + 5*x, -3*w - 3*x - 551 + 1778 = 0. Is w prime?
True
Suppose 4*k = -3*p + 5*k - 10, -20 = -5*k. Let u be (-15)/p + 1/2. Is -6*2/u*-14 prime?
False
Let u(b) = b + 18. Let f be u(-15). Suppose n + 3*n = -4*t + 864, -2*t - f*n = -434. Is t a composite number?
True
Suppose 5*r - 7*o + 4*o = 31238, 2*o - 24986 = -4*r. Is r a prime number?
True
Let j(k) = -1 + 246*k**2 + 93*k**2 + 3*k + 0. Is j(2) a prime number?
True
Let w(q) = 197*q**2 - 25*q + 119. Is w(-9) a prime number?
True
Suppose -5*j + 58333 = 3*c, -4*c + 77770 = -2*j + 5*j. Is c a prime number?
True
Suppose 3*u + 815 = 6974. Is u prime?
True
Suppose -2*k = -0*k - 3*h - 22, -9 = -5*k - 4*h. Suppose 0 = 3*v + 4*c - 5, -11 = -2*v - 0*v + k*c. Let n(z) = 3*z**2 + 3*z - 2. Is n(v) prime?
False
Suppose -4*q - 613 = -5*i, 94 + 380 = 4*i + 5*q. Is i a prime number?
False
Suppose u = -12*h + 8*h + 16467, -4*u + 65850 = -2*h. Is u composite?
True
Suppose 237239 = 72*z - 49969. Is z composite?
False
Let l(k) = -410*k + 17. Is l(-4) composite?
False
Let d = -184 + -268. Let q = -840 - d. Is (-7)/(-35) - q/10 a composite number?
True
Let x = -16 - -20. Suppose -5*v + x*v + 787 = 0. Is v composite?
False
Let n be 27*(3 - (3 + -3)). Let r = n + -17. Let y = 225 - r. Is y prime?
False
Suppose 0 = 5*g - 4*s + 70, 4*g + 51 = 5*s - 14. Is ((-8)/g)/((-8)/(-1580)) a composite number?
True
Let x = -80 + 88. Suppose -345 = -x*m + 1359. Is m composite?
True
Let d be (-1 - -2)*-2 + 4. Let b(x) = -15 - 2*x - 17*x - d*x. Is b(-6) a composite number?
True
Suppose g = 5*o - 0*g, 4*o + 2*g - 14 = 0. Is -93*(-2 - -1)*o composite?
True
Suppose 0 = -c + 2701 - 614. Suppose 2*y = 6033 - c. Is y a prime number?
True
Suppose 4*h = -2*k - 14, 5*h + 19 = -4*k - 0*h. Is -4*k/((-20)/(-345)) prime?
False
Let d(p) = p**2 + 17*p + 32. Let i be d(-15). Is (i*(-6)/4)/((-180)/10020) a prime number?
True
Let g(x) = -158*x + 99. Is g(-25) prime?
True
Let j(c) = -180*c - 13. Let f(v) = -v - 24. Let d be f(-19). Is j(d) a composite number?
False
Suppose 3*o = 142 + 4241. Suppose 2*l - o = -l. Is l prime?
True
Let g be (-1 - 0) + (5 