 -665. Is k a prime number?
False
Let o(j) = j**3 - 22*j**2 - 17*j - 25. Is o(24) prime?
True
Let d(b) = b + 21. Is d(14) composite?
True
Suppose 0 = -2*j + 7 + 3, 4*j = 2*n - 336. Is n a prime number?
False
Let j be (6 + (-2 - 3))*(-1 + 1). Suppose 3*p - 15 = 3*n + 12, -32 = -4*p + 3*n. Suppose j = -x - 3, 0 = m + 2*m - p*x - 156. Is m prime?
True
Suppose -5*d = -4*y - 36, -y - 10 = -4*d + 10. Let q be 1 - y - (3 + -1). Is 7 - q - (-4)/(-2) composite?
False
Let j(t) = 202*t + 1. Is j(1) composite?
True
Let g be (-8)/(-10)*(3 + 2). Suppose 5*x = 16 + 24. Suppose -6 = 2*c, 5*s - g*c - 74 - x = 0. Is s prime?
False
Let m(p) = p**3 - 2*p**2 - 2*p + 1. Let t(k) = -k**3 - 10*k**2 - 10*k - 6. Suppose f + 36 = -3*f. Let s be t(f). Is m(s) composite?
True
Suppose 5*t - 65 = -540. Let n be -11 + 10 - (0 - -141). Let u = t - n. Is u prime?
True
Let r = 3 + -2. Is r*(-4)/((-16)/1492) a composite number?
False
Let m = 162 + -79. Suppose 4*f + m = 251. Suppose 3*o - f = o. Is o composite?
True
Let i = 7 - 5. Suppose 3*v = -i*f + 37, 2*v + 23 = 5*f - 22. Let m = f - -2. Is m a composite number?
False
Is 76 + 2/(-1 - -3) prime?
False
Suppose -6*w - 8 = -f - w, 20 = 5*f - 5*w. Suppose 9 = -0*z - f*z. Is (1/3)/(z/(-171)) a composite number?
False
Let s = -7 - -9. Suppose 2*q = -0*z + z + 5, z = 4*q - 9. Is s/3*(-39)/z a composite number?
True
Suppose 2*x = 6*x + 4*y - 440, 0 = y + 3. Is x a composite number?
False
Suppose 3*j + 555 = 8*j. Is j prime?
False
Let v(p) be the first derivative of -p**3 + p**2/2 - 2*p - 1. Let s(d) be the first derivative of v(d). Is s(-4) prime?
False
Is 1*(-1 - -20) - -4 composite?
False
Suppose 3*m = -3, 9*d - 5*d = 2*m + 34. Let z(s) be the second derivative of 10*s**3/3 + 3*s**2/2 - s. Is z(d) a composite number?
False
Suppose -1 = -2*r + 9. Suppose -7 = -r*u + 3. Suppose 0*x = 4*q - 5*x - 78, u*x = 4. Is q composite?
True
Let t(f) = 639*f**2 + 2*f - 10. Is t(3) composite?
True
Suppose -d = d - 78. Is d composite?
True
Suppose 4*v = -k + 21, k + v = 9 + 9. Let a = k + 1. Suppose -2*t + a = 3*h - 122, 0 = 2*h - 2*t - 90. Is h a prime number?
False
Let l(g) = 2*g - 2. Let x(c) = -3*c + 3. Let p(j) = 8*l(j) + 5*x(j). Let u be p(2). Suppose -7 + u = -2*h - 4*n, -h + 18 = -n. Is h a composite number?
False
Is 1047390/210 + (-2)/(-7)*-2 composite?
False
Suppose q = 3*v + 361 - 25, 5*q + 560 = -5*v. Let g = -27 - v. Is g composite?
True
Let z be 3/6*(1 + 3). Suppose -42 = -3*t - 4*d, z*d = 1 + 5. Is t a composite number?
True
Let w = 243 + -146. Is w prime?
True
Let g be (1/2)/((-1)/(-6)). Let o = 181 - -7. Suppose v = -g*v + o. Is v prime?
True
Let a(d) = -5*d**3 + 5*d**2 + d + 1. Is a(-5) composite?
True
Suppose -2*i - 5*k + 517 + 788 = 0, 3*k = 5*i - 3247. Suppose 5*w - 2*p = -6*p + i, -248 = -2*w - 4*p. Is w prime?
False
Let s = -452 + 759. Is s composite?
False
Let n = 6 - 4. Is (-6)/4 + 293/n a prime number?
False
Let k(q) = -q**2 + 8*q - 1. Let j be k(6). Suppose -p + c + j = 0, 2*p + c - 6 = 22. Is p prime?
True
Suppose -2*j + 4 = i, -j - 59 = -5*i + 2*j. Let x = i - 7. Suppose 8*c - 3*z = x*c + 713, -5*c - 3*z + 737 = 0. Is c a prime number?
False
Let h = 285 - -73. Is h composite?
True
Let z(h) = 178*h**3 + h - 1. Let q be z(1). Let d = q + 115. Is d a composite number?
False
Let h(l) be the second derivative of -l**5/20 - 5*l**4/12 + 7*l**3/6 + 2*l**2 + 3*l. Let x be h(-6). Let y(m) = 6*m**2 + 3*m + 3. Is y(x) composite?
True
Let y = -31 - -52. Is y prime?
False
Let p(a) = 2*a + 2 + 1 + 8*a**2 + 9*a**2. Let w be -7*6/(-63)*-3. Is p(w) a composite number?
False
Let y(n) = 9*n**2 - 18*n - 1. Let m be y(13). Suppose 442 = -4*d + m. Is d composite?
False
Suppose -3*f - 2*f + 2*j = -14, -2*j - 2 = f. Let s be (1 - 2)/(2/2). Is (-58 + 1 - f)/s a prime number?
True
Let p = 93 + 310. Is p a prime number?
False
Suppose -z + q + 2 = 0, 27 = -3*z + 6*z + 4*q. Suppose 13 = -0*s + z*s - 3*g, -4*s + 10 = -2*g. Suppose -25 = -3*h - 2*j, 0*j - 2*j - 30 = -s*h. Is h prime?
True
Let f(l) = -l**2 + 12*l - 15. Let h be f(10). Suppose m - 3*j - 1244 = 0, 2*m - m + h*j = 1284. Is m a composite number?
False
Let n(j) = 2*j + 10. Let i be n(8). Suppose 2*m + 6*t - t = 0, -i = -4*m + 3*t. Suppose -m*h = -6*h + 19. Is h a composite number?
False
Let w be (-89)/3 - (-6)/9. Let b = w - -142. Is b prime?
True
Is (15/6)/((-2)/(-68)) prime?
False
Let b be 2*(-15)/6*1. Is (-1 - b/(-2))*-14 a composite number?
True
Let t(f) = f**2 - 5. Let n be t(0). Is n/(-20) - (-267)/4 a composite number?
False
Suppose -6*o + 669 = -3*o. Is o a composite number?
False
Is (-3)/(1 - 42/41) prime?
False
Suppose -745 = 3*j - 8*j. Is j composite?
False
Let g(j) = j**2 - 7*j + 7. Let y be g(6). Let o(n) = -19*n**3 - 5*n**3 + 3*n - 3*n + y. Is o(-1) a composite number?
True
Let b be 3*(4 + -2 - 1). Suppose -3*f - m - b*m = -259, 0 = 4*f + 2*m - 352. Is f prime?
True
Suppose 61 - 798 = -3*p + 4*n, n - 4 = 0. Is p a prime number?
True
Let w be ((-3)/(-6))/((-3)/90). Let f = -124 + w. Let n = -84 - f. Is n a composite number?
True
Suppose 5*b = 4*b + 1259. Suppose -20 + b = 3*z. Is z a composite number?
True
Let f be (-1)/(-1) + (-3)/(-1). Let t be -2 - 1 - 280/(-10). Is t - f - (-2)/(-1) a composite number?
False
Let g(s) be the first derivative of s**6/72 - s**5/120 + s**3/3 - 2. Let t(u) be the third derivative of g(u). Is t(-1) prime?
False
Let r = -438 + 950. Suppose 2*s + 2016 = -3*v, -2*v - 5*s - r = 843. Is 4/(-18) + v/(-18) prime?
True
Suppose -8 = r + r. Is r/6 - (-404)/12 a composite number?
True
Let n be 272/24 - (-1)/(-3). Suppose 4*z = 163 - n. Is z composite?
True
Let a(y) = -y**2 - y + 4. Let m be a(0). Suppose m - 3 = -j. Is (j + 90 - 0) + 0 a composite number?
False
Let m(v) = -v - 10. Let u be m(-9). Let f be (u + 9/5)*10. Suppose -d = d - f. Is d composite?
True
Let b(h) = -1 + 2*h - 4*h**2 + 10*h**2 - 4. Is b(8) a prime number?
False
Suppose -9 = -5*y + 26. Is y a prime number?
True
Let i(r) = 5*r**2 + 3*r + 8. Is i(7) composite?
True
Suppose -12*q + 2127 = -9*q. Is q prime?
True
Suppose -5*y = -3*s - 106 - 568, 0 = 5*y + 4*s - 688. Let q be (y + 3)*-1 - 0. Let r = 248 + q. Is r a composite number?
False
Let z be ((-6)/9)/(4/(-18)). Suppose -10 = -z*s - 2*s. Is s prime?
True
Let y be 1/2*-2*-5. Suppose y*n - 1195 = -350. Is n composite?
True
Let d = -54 - -172. Let s = -307 + 445. Suppose 2*v + d = 2*q - s, -3*q + v + 382 = 0. Is q a composite number?
False
Suppose -4*t + 1029 = 5*s - 238, -2*t = 2*s - 636. Is t prime?
False
Suppose 3*o - 48 = 111. Is o a composite number?
False
Suppose s + 44 = 3*p, 0 = 6*s - s - 5. Suppose -j = 2 - p. Is j a prime number?
True
Let p = 2 - 0. Suppose 2*q + 2*q - 655 = -3*s, 323 = p*q - 3*s. Is q prime?
True
Let z(k) = 4 - 10*k**2 - 4 + 45*k**2. Let g be 2/(-9) + (-21)/27. Is z(g) a composite number?
True
Let g = -344 + 507. Suppose 0 = -5*r + 72 + g. Is r composite?
False
Suppose 3*p - 2*p - 8 = 3*m, -5*m - 5*p = 0. Let z = 6 + m. Suppose 0 = l - s - 76, -z*s - 35 = -2*l + 111. Is l a prime number?
True
Is 65268/52 - (-4)/(-26) prime?
False
Suppose -2*r - 381 = -3*q - 24, 4*q + 4*r = 496. Let x = 90 + q. Is x a prime number?
True
Suppose 2*i - 1227 = -i. Is i a composite number?
False
Let u(t) = -8 - 16*t + 3 + 4*t. Is u(-6) composite?
False
Let v(w) = 3*w**2 - 2*w - 1. Let u be v(-1). Suppose u*i = 3*o + 3106, i = 2*i - 5*o - 785. Suppose 0 = -b - 4*b + i. Is b composite?
True
Suppose 3*i - 38 = 5*i. Suppose -4*k = k. Let p = k - i. Is p a prime number?
True
Let m = 13 - -41. Let w be 8/(-20) - 27/(-5). Suppose m - 159 = -w*l. Is l a composite number?
True
Let h(t) = -14*t + 4. Let o be h(4). Let y = o + 75. Is y composite?
False
Suppose -4*g = -3*g - 142. Let c = g + -89. Is c prime?
True
Suppose 0 = -4*v - 0*k + k + 29, -3*k + 9 = 0. Is (-47)/2*(-6 - v) prime?
False
Let a(m) = -3*m**3 - 6*m**2 + 2*m + 3. Let z be a(-5). Let d = 313 - z. Is d composite?
True
Let y be 0 - (-6 + 4 + -2). Suppose -4*r - 20 = 5*z, -3*r = -y*r - 5. Suppose z = -u - 2*u + 18. Is u a composite number?
True
Let p = 1486 - 984. Is p prime?
False
Let f(a) = -11*a**3 - 2*a**2 + a. Let q be f(2). Let m = 221 + q. Is m a prime number?
True
Let t(w) = -107*w + 7. Is t(-2) prime?
False
Let u be -2 + 0 - (0 - 0). Is (u/(6/(-699)))/1 a prime number?
T