1*j**2 + j + 1. Suppose 0 = -3*o - o + 96. Let t = o - 16. Is s(t) a composite number?
True
Suppose 2*k - 9 = 31. Suppose x + k = 5*x. Let p(m) = -m**3 + 5*m**2 + 7*m + 2. Is p(x) prime?
True
Let i = 14 + -17. Let l = i - -26. Is l a prime number?
True
Let n be (-6)/(-9) - 118/6. Let c = -23 - n. Is c/(-4)*4 + 331 composite?
True
Let p(m) = m**3 + 10*m**2 + 10*m + 9. Suppose 3*b + 2*b = -45. Let q be p(b). Is (-94)/(-1) - (-3 + q) a prime number?
True
Suppose -1 = -5*w - 11. Is ((-752)/(-12))/(w/(-3)) a composite number?
True
Let b be (-219)/(-2)*(6 + 2). Let t = b + -499. Is t composite?
True
Suppose 169 = 2*j + w - 556, -j = -3*w - 366. Let i = 537 - j. Suppose u + 3*h = 59, 3*u + 13 - i = -h. Is u prime?
True
Let n = 31905 + -6391. Is n a prime number?
False
Let v = 330 - 332. Suppose 9 = 4*s - 7*s. Is 13 - s*(v - -1) a composite number?
True
Let r(q) = -9*q**2 - q + 3. Let u(p) = -4*p + 2 - 3*p**2 - 3*p**2 - 3*p**2 + 3*p. Let z(k) = 3*r(k) - 4*u(k). Is z(-3) composite?
False
Suppose -2608115 = -10*p - 19*p. Is p a composite number?
True
Let c = -11 + 13. Let o(s) = -2*s**3 - 2*s**3 - 2*s**c - 19 + 14 - 6*s + 3*s**3. Is o(-4) prime?
False
Let y = 28 + -33. Let u(h) = -177*h - 20. Is u(y) composite?
True
Let w be 10/15 + 16/(-6). Let k be (w + -1)/(-3 - -2). Let m(c) = 54*c - 3. Is m(k) a prime number?
False
Let s(u) = 27*u**2 + 4*u + 1. Suppose -3*t - a + 3*a + 12 = 0, 0 = -t - a + 4. Is s(t) prime?
True
Is ((-25120)/(-24) - 1)*(2 + 1) prime?
True
Suppose -5*z = 3*v, 5*z + 5*v + 0*v = 0. Suppose 0 = -z*f - 4*f - 4*a - 288, 4*f + 294 = -a. Let u = f - -139. Is u composite?
True
Is (52/8 + -5)*(-2846)/(-3) prime?
True
Let f(r) = 229*r. Let o(g) be the second derivative of 917*g**3/6 - g**2/2 - 8*g. Let p(l) = 9*f(l) - 2*o(l). Is p(3) composite?
False
Suppose -j = 2*l - 1411 - 3650, 3*l - 7578 = 3*j. Let z = l + 836. Is z prime?
False
Let b(d) = d**3 + 16*d**2 + d + 37. Is b(18) prime?
True
Let p = 405358 + -242369. Is p a composite number?
False
Let v(w) be the third derivative of w**5/3 - w**3/6 - 12*w**2. Let j(t) = -t**3 - 2*t**2 + 4*t + 2. Let l be j(-3). Is v(l) a prime number?
True
Suppose -4*h = -4*j + 52, -4*h + 56 = 5*j - 0*h. Let o be 27/12*16/j. Is (o/6)/(2/60) a prime number?
False
Is (-25)/(-50) + (-4197)/(-2) prime?
True
Suppose -4*m + 19 - 3 = 0. Suppose m*c + 3*i - 1 = 11, -c = -4*i - 22. Suppose -2 = -l, -3*f = -c*f - 2*l + 265. Is f composite?
True
Is (3 - 2)*(7 + -11 + 5327) composite?
False
Suppose -20 = 4*d, -5*u - 7*d + 205240 = -2*d. Is u composite?
True
Let y be -4*(-1)/(-2)*1. Let c be -2 + y + (-5 - -5). Let f(b) = b**3 + 4*b**2 - 10*b - 6. Is f(c) a composite number?
True
Let z(m) = 25 - 59*m - 47*m + 115*m. Is z(8) prime?
True
Let s(a) = -1575*a + 124. Is s(-17) prime?
False
Let o(s) = -130*s - 2. Let k be o(2). Let v(r) = 107*r**2 + 3*r - 1. Let i be v(-2). Let f = i + k. Is f a prime number?
False
Is (1*3876)/6 - 5 a composite number?
False
Let c(x) = 6016*x + 11. Is c(3) a prime number?
True
Suppose 5 = 5*p, -2*p = k - 2*k + 1014. Suppose -3*a - 4*f - k = -7*a, -4*a + 3*f = -1016. Is a a prime number?
False
Suppose 0 = -9*j + 19 + 17. Suppose 5*q - 5220 = -5*r, -j*r + 2579 = -3*q - 1583. Is r prime?
False
Let y be 25 + 0/(3 - 7). Suppose -4*g + 12 = -2*m, -2*m - 4*g + y + 3 = 0. Suppose m*k = 3*k + 215. Is k a prime number?
False
Let t(b) = -349*b - 20. Is t(-19) a prime number?
False
Is (43437 - 0)*-11*11/(-363) prime?
True
Suppose -3*b = -b - 2*x - 1814, 0 = b + x - 907. Is b a prime number?
True
Let y(n) be the second derivative of -67*n**3/6 - 5*n**2/2 - 10*n. Let o be y(-2). Suppose -o = -q + 134. Is q composite?
False
Let z(l) = -841*l - 113. Is z(-4) a composite number?
False
Let s(f) = 4*f**3 + 3*f**2 + 3*f + 7. Let r be 2 - (4 - (4 + 4)). Is s(r) a composite number?
False
Let w = -507 - -347. Is (156/16)/((-24)/w) a prime number?
False
Let j(v) = 3*v**2 + 8*v + 9. Let n be j(-6). Suppose -2*a - 6 = 0, p = -2*p + a + n. Let b = -15 + p. Is b a prime number?
True
Let t(l) = -l**3 - 2*l**2 + 4*l. Let u be t(-4). Suppose u = 4*p - 0*p. Suppose -4*w - 4*o = -816, w + p*w - 2*o - 1055 = 0. Is w a prime number?
False
Let d(a) = -7*a - 1 - 71*a - 7. Let l be d(-7). Suppose -5*x + 207 + l = 0. Is x composite?
False
Let x = 22 - 17. Suppose 8*p - x*a = 3*p + 5, -2*p = 3*a - 12. Is (p + 1)*(-67)/(-4) a prime number?
True
Let h(a) = a**2 + 18*a - 40. Let w be h(-20). Is (w - 2/(-8))/((-15)/(-89940)) prime?
True
Suppose -1 + 51 = 10*d. Suppose 0 = 5*b - 4*f - 1253, 2*f = 3*b + d*f - 768. Is b a prime number?
False
Let i be (-24)/(-8) + 1 + 2. Suppose 3 = -h + i. Suppose -z + h*t + 17 = -t, -69 = -5*z + 4*t. Is z composite?
False
Suppose 3*f + 10 = -2*t, -2*f = -5*f + t - 4. Let a be 9/(f/4 + 2). Suppose 0 = -s + l + 25, 2*s - l = -a + 56. Is s composite?
True
Suppose 8*h - 99073 = -5*h. Is h a composite number?
False
Let j(n) = -3 - 19*n + 4*n**2 + 19*n - n**3. Let u be j(3). Is (2 - -212) + u + -3 composite?
True
Suppose -6*r - 2265 = -10659. Is r prime?
True
Let t(b) = -1250*b + 5. Let p be t(-1). Suppose 5*c + 0*c = p. Is c composite?
False
Suppose -5*w = -d + 3358, d = -2*d + 5*w + 10044. Is d composite?
False
Let h(k) = 53*k**2 - 6*k - 467. Is h(30) a composite number?
True
Let v(x) be the second derivative of 2*x**2 + 0 - 521/6*x**3 - 6*x. Is v(-3) a composite number?
False
Let x be (-40)/(-60) + 4097/(-3). Is (-4 - x)*(0 - -1) prime?
True
Suppose -5*a + 702 = -8*l + 9*l, -3*l + 2*a = -2021. Is l a prime number?
True
Suppose 0*c = 5*c + 1525. Let b = 14 - c. Is b prime?
False
Let r be 10/(-4)*(-56)/(-35) - -4. Suppose r = -4*k - k - 5*g + 4580, -3*g - 1807 = -2*k. Is k composite?
False
Let g(v) = 12*v**2 - 20*v + 5. Is g(-27) prime?
True
Let a(i) = -6*i**2 + 25*i - 29. Let p(g) = 3*g**2 - 12*g + 15. Let j(q) = 4*a(q) + 9*p(q). Is j(6) a composite number?
False
Let h(u) = -6*u**2 - 21*u - 23. Let n(f) = 6*f**2 + 20*f + 22. Let b(c) = 5*h(c) + 6*n(c). Suppose 0 = 4*v - 31 - 17. Is b(v) prime?
True
Let p = -1 - 3. Let h(t) = 91*t**2 + 3*t + 13. Is h(p) a composite number?
True
Suppose -3*z = 5*o - 2 - 0, -5*z - 5 = 0. Let m(i) = 14*i - 17*i + 42*i + 18*i - o. Is m(2) a prime number?
True
Let i(s) = -162*s + 27. Let k be i(-10). Let g = k - 1054. Is g prime?
True
Suppose -4*u + 4*c = -2548, 8*u - 3179 = 3*u + 2*c. Is u a prime number?
False
Suppose 0 = -3*p + 41611 + 45620. Is p a prime number?
True
Suppose -c = 2*c - 111. Suppose 0 = 4*p + 5 - 17. Suppose -4*q = -p*q - c. Is q a prime number?
True
Suppose -48 = 4*b + 3*d, -2*d - 2*d = 4*b + 48. Suppose -10 = 2*q, t + 12 = -0*t - 3*q. Is 8/b + 797/t a prime number?
False
Let p(g) = -7*g + 6. Let q be p(4). Let b = -3 - q. Is b a composite number?
False
Suppose 4 = i - 0. Suppose -i*v - v = -10. Suppose -5*p + 181 = 3*o - p, 116 = 2*o - v*p. Is o a prime number?
True
Suppose -2*w + 2*a = 3*w + 263, 5*w + 269 = -4*a. Is (-2)/((-157)/w + -3) prime?
True
Let d = -8038 - -11621. Suppose 0 = -8*c + 585 + d. Is c composite?
False
Let f be -9*(-4)/60*5. Suppose -f*q = -8*q + 1470. Suppose -b + 925 = q. Is b composite?
False
Suppose 9*p = 6180 + 10929. Is p a prime number?
True
Let g(y) = -y + 48. Let a be g(15). Suppose a*w - 38*w = -615. Is w composite?
True
Suppose 4*y = o + 7281 - 33194, -51826 = -2*o + y. Is o a composite number?
False
Suppose 44*j + 22332 = 48*j. Is j a composite number?
True
Suppose f - 758 = -f. Suppose 0 = 5*d - 4*d - f. Is d prime?
True
Suppose -4 = 4*f, 2*f + 1085 = 3*g - 2268. Is g a composite number?
False
Suppose 0 = 3*l - l - 2*b + 954, -2*l + 5*b - 969 = 0. Let s = -261 - l. Is s prime?
True
Let s(h) be the third derivative of 217*h**5/60 + h**4/12 + 7*h**3/6 + 36*h**2. Is s(-2) a prime number?
False
Let j be 6/1*170/15. Let l be 6/4*(j - 2). Suppose 4*x - l = 129. Is x prime?
False
Let c(y) = y**3 - 17*y**2 + 30*y + 3. Let o be c(15). Suppose 17 - 2 = 3*p, o*p = 5*v - 3580. Is v a composite number?
False
Suppose -19*g - 21928 = -27*g. Is g prime?
True
Let f be (9/2)/(6/8). Suppose f*r - r = 0. Suppose r = -4*m + 2*m + 974. Is m composite?
False
Let p(r) be the second derivative of 0*r**4 + 1/3*r**3 - 1/2*r**2 + 23/10*r**5 + 0 - 4*r. Is p(1) a prime number?
True
Suppose -2852*c = -2856*c + 62516. Is c prime?
True
Suppose -2*i - 4871 - 