a prime number?
False
Let b = -9501 - -13364. Is b a prime number?
True
Let j = 18211 - 6062. Is j a prime number?
True
Let s(z) be the third derivative of z**9/60480 - z**8/4032 + z**7/840 + z**6/240 - z**5/12 - 2*z**2. Let w(q) be the third derivative of s(q). Is w(5) prime?
False
Let y(m) be the first derivative of m**3/3 - 2*m**2 + 9*m + 13. Is y(-10) a composite number?
False
Let p = -923 - -1932. Is p prime?
True
Let v(h) = 52*h**2 + 30*h + 101. Is v(-12) composite?
False
Let y(x) = 228*x + 7. Is y(18) a composite number?
False
Let q be (2 - 130)/(11/(-825)). Is q/(2 - -1) + -1 composite?
True
Suppose 0 = 18*t - 2384 + 26. Let i = t + 18. Is i a prime number?
True
Let r be (-9)/(-2)*4/(-6). Let c be r - (-4 + 3 + 2). Is 6 + c + (-238)/(-2) prime?
False
Let i(r) = -r**2 + 10*r - 4. Let x be i(9). Suppose 0*f + 1112 = 4*f. Suppose -d + x*p = -2*d + f, -15 = 5*p. Is d a composite number?
False
Let s(v) = 87*v**2 - 31*v - 9. Is s(-4) composite?
True
Suppose 5*h + m - 3*m = 3113, 0 = -4*h - 4*m + 2496. Suppose 8*t + 2689 = -h. Let i = -203 - t. Is i composite?
False
Let d(x) = -47*x - 3. Let t be d(13). Let r = -61 - t. Is r a composite number?
True
Let j be 1 + 1 + -3 + 3. Suppose -t + 204 = -o, j*t + o - 138 = 273. Is t a prime number?
False
Suppose 4*a + 3*c - 15 = -4, -3*c + 9 = 3*a. Is a/(-3 - 6452/(-2148)) a prime number?
False
Let f = 1155 - 803. Let m(j) = -j**3 - 27*j**2 + 29*j + 28. Let o be m(-28). Suppose -4*n + o*q = -q - f, -4 = -q. Is n a prime number?
True
Let u(z) = 67*z**3 - 13*z**2 + z - 2. Is u(3) composite?
False
Let z be 15/10 + 1766/4. Suppose 3*s + 4 = 5*s. Suppose 0 = s*q - q - z. Is q a prime number?
True
Let b be (-2)/7 - ((-18)/14 - 1). Suppose 0*n = -3*n - b*x + 3219, 0 = 3*x. Is n a prime number?
False
Suppose 5*h = 4*z + 37415, 0 = -4*h - z + 5*z + 29932. Is h a prime number?
False
Let y(d) = 2*d + 8. Let j be y(-4). Suppose 4*l + 2*w - 50 = j, -25 = -4*l - l + 5*w. Is l prime?
False
Let j be (3 + -2 - 0)*-1*1303. Let i = -254 - j. Is i a prime number?
True
Let q(c) = 15*c**3 + 2*c**2 + 7*c - 6. Let j be q(3). Let f = j + -175. Is f a composite number?
False
Suppose -5*p + 32 = 17. Suppose -3*l = -k + 1552, -p*l = k - 1172 - 350. Is k a composite number?
True
Suppose 2*c + 2*l = l + 15, -4*c = -2*l - 18. Is 8/c*3 - -283 composite?
True
Suppose 16165 = 49*x - 44*x. Is x a composite number?
True
Let s(u) = 4*u**2 + 7*u + 10. Suppose -11*g - 28 = -4*g. Is s(g) prime?
False
Let k be -1*((2 - 6) + 13). Is (-6)/4*-1*(-7122)/k prime?
True
Suppose 3*j = 4*f - 8, 5*f + 3*j - 22 = 15. Suppose -395 = -f*r + 1070. Is r prime?
True
Suppose -2*q - 2*c = -6*q + 4472, -3*q + 3353 = -c. Is q composite?
False
Suppose -164739 - 73264 = -29*n. Is n composite?
True
Let z = -29428 - -45087. Is z a prime number?
False
Suppose 0*i = -7*i. Suppose 0*q + 2*q = i. Is 0 + 127 + q + 0 prime?
True
Let c = -2415 - -947. Let f = -603 - c. Is f prime?
False
Suppose 4*z - 1426 = -2*a, -4*z + 1789 = z - 4*a. Suppose -d = -8*d + z. Is d a prime number?
False
Let d(l) be the second derivative of l**5/20 - l**4/2 + 2*l**3/3 + 7*l**2/2 + 9*l. Let q be d(5). Suppose -q*t = -999 + 181. Is t a composite number?
False
Let y = -3533 + 5866. Is y composite?
False
Let m(h) = -h**3 + 9*h**2 + 5*h + 13. Let q be m(9). Suppose 2*s - 113 - 85 = 0. Suppose -t = -4*g - s, 3*g + 36 = t - q. Is t composite?
False
Suppose 7*c - 132415 = -15592. Is c a prime number?
False
Is (21/(378/(-36)))/((-4)/12162) composite?
True
Let k = 14 - 14. Suppose k = -2*b - 2, 3*b = -5*z + 20 - 3. Suppose z*l - 5*l = -77. Is l a composite number?
True
Let j be (-2)/(-6) + 13/(-3). Let k(z) = 2*z**2 + 8*z - 6. Let w be k(-5). Is j/2 - (w + -167) composite?
True
Let y be (-2799)/(-12)*(-8)/(-6). Let l = -330 - -222. Let x = y + l. Is x prime?
False
Let z(x) be the first derivative of 2*x**5/5 + x**4/24 + 4*x**3/3 + 2. Let r(h) be the third derivative of z(h). Is r(2) prime?
True
Let b = -123827 + 218234. Is b composite?
True
Suppose 17565 = 4*d - 5*y, 2*y + 5 = -5. Suppose 3*t = 5*v + 7*t - d, 2*t = -2*v + 1754. Is v a composite number?
False
Suppose -15*u + 14*u + 25317 = 4*m, -3*u - 3*m = -75915. Is u prime?
True
Let f = 220 + 29. Is f composite?
True
Suppose 18379 = r + 3*g, 70*r - 65*r = -g + 91951. Is r a composite number?
True
Let l(j) = -j**3 + 10*j**2 + 2*j - 8. Let x be l(10). Let b be x/8 - (-1258)/(-4). Let i = b + 491. Is i a prime number?
False
Let d(z) = 26*z - 2. Let i be d(-6). Let f = i + 523. Is f composite?
True
Let c = -14 - -16. Suppose -92 = -c*m - 716. Let u = -218 - m. Is u prime?
False
Suppose 1 = 4*h - 7. Suppose -4*l = -h*r + 6, 0 = -5*r + 3*r - 4*l + 6. Suppose -5*z = -r*b - 607, 0*b + b = z - 123. Is z prime?
False
Suppose 14*c + 102089 = 405147. Is c prime?
True
Suppose o + 3*o + 12 = 0, 2*l - 4921 = o. Is l a prime number?
True
Let b(t) = -9*t**3 - 6*t**2 - 7*t - 6. Let y be b(-4). Is (y/(-5))/((-44)/110) a prime number?
True
Suppose -m + 4 = -4*t, 2*m - 2 - 6 = t. Let p(a) = -8*a**2 + 28*a**2 + 5 - a - 7*a. Is p(m) composite?
False
Suppose 5*r - 14 - 21 = 0. Suppose 7*x - 14 = 2*b + 3*x, -3*b = x - 14. Suppose -b*o - 124 = -r*o. Is o a prime number?
True
Let v(k) = -194*k + 5. Suppose 2*f - 2 = -14. Is v(f) composite?
True
Let r = 2244 + -1513. Is r composite?
True
Let b(q) = -q**3 - 4*q**2 + 4*q. Let s be b(-5). Suppose 3*y = 9 + 3. Suppose 3*x = s*l + 1758, -y*x - 6*l + 2*l + 2312 = 0. Is x prime?
False
Let t(k) = -586*k - 11. Is t(-15) a composite number?
False
Suppose 5*i - 3*v = 2416, -5*v + 10 = -5. Is i a prime number?
False
Let i = 21017 + -11374. Is i a prime number?
True
Let t(b) = b**3 - 12*b**2 - 12*b - 10. Let o be t(13). Suppose 20 = 7*c - o*c. Suppose c*d = 6*d - 93. Is d a composite number?
True
Let z = -1380 + 2747. Is z a prime number?
True
Let t(j) = j**2 + 7*j - 6. Let a be t(-8). Suppose b - 13 = -4*n, 3*b + b - 16 = a*n. Suppose -n*d + 21 = -5. Is d a prime number?
True
Suppose -4*k = -2*k + 4, -2*k - 46 = -3*f. Let i = f + -11. Suppose j - i*j = -114. Is j composite?
True
Suppose 5*m = -10 + 10. Suppose m = 2*n - 9*n + 2723. Is n a composite number?
False
Suppose 4*u = y - 0 + 12, 2*y = u - 10. Suppose u = 4*m + 4*p - 9*p, 4*p - 5 = m. Suppose 365 = m*b + 83. Is b a prime number?
False
Let m be (0 - -1)*0/(-1). Suppose 4*b + 4*u + 1344 = m, 0*b = b - 4*u + 311. Let f = b - -492. Is f a prime number?
False
Let x = 10 + -28. Let a = -13 - x. Suppose -439 = -a*n - 3*g, -3*n + 8*n - 4*g - 453 = 0. Is n composite?
False
Let x(o) = -o + 17. Let p be x(10). Let n(v) = 32*v - 9. Is n(p) prime?
False
Suppose -44 = -3*l - 4*a, 12 = 4*l - 3*l + 2*a. Suppose 4*r + 2*o = -106, -4*r + 4*o - 96 = -l. Is (47/(-3))/(8/r) a composite number?
False
Is (4/(-8))/(15/(-145830)) a prime number?
True
Let g = -23 - -22. Let z be -4*(g + (-3)/12). Suppose 0 = -z*p + 422 - 27. Is p composite?
False
Let p(c) = -2*c**3 + 13*c**2 - 10*c + 7. Is p(-10) prime?
True
Let s(t) be the first derivative of -t**3/3 + 145*t**2/2 + 3*t + 4. Let y(r) be the first derivative of s(r). Is y(0) prime?
False
Suppose -3017 = -4*o + 3*o. Is o prime?
False
Is 5155396/92 - 1*(-8)/92 composite?
True
Suppose 0 = -5*m + 7*m - 120. Let d = 151 - m. Is d composite?
True
Let s = -24 + 31. Suppose -s*z - 691 = -2252. Is z prime?
True
Let k = 159 + -154. Suppose -4*x + 4*f + 5030 + 7218 = 0, k*f + 3050 = x. Is x composite?
True
Suppose -2577 = -9*w + 8*w - q, 5*w = q + 12897. Is w a composite number?
False
Let b = -2 - -7. Let v be (-9)/15 - (-1418)/b. Let q = v - 190. Is q a composite number?
True
Suppose -2*n - 7 = -21. Suppose x - 3*v - 77 = 0, n*v - 2*v - 143 = -2*x. Suppose 194 = 4*w - x. Is w composite?
False
Suppose -65*b + 9308 = -63*b - 3*r, -4*b = -r - 18626. Is b a prime number?
True
Let q(m) = 3*m - 5 - 19*m - 3*m. Is q(-12) composite?
False
Let q = 1512 - -145. Is q prime?
True
Let p = -1563 + 396. Is (-1)/(0 + 3/p) prime?
True
Let q(s) = s - 4. Let g be q(-4). Is 336 + ((-30)/g - 15/20) a composite number?
True
Suppose 2401 - 67560 = -g. Is g prime?
False
Let p = -293 - -502. Suppose -w = -2*w - p. Let n = w - -315. Is n prime?
False
Let l = 108511 + -58036. Suppose 2*h + 15598 = -5*k + l, -3*k = -3*h - 20943. Is k composite?
False
Suppose p + 4*k = 19822 + 62653, -2*p + 1