2 prime?
True
Let m = -17 + 14. Is ((-84)/6)/(113/(-37) - m) composite?
True
Let b = -1 - -8. Let i(t) be the second derivative of -t**5/20 + 7*t**4/12 + 3*t**3/2 + 3*t**2 - 19*t. Is i(b) a prime number?
False
Is 0/(-2) - (-21 + -9306) prime?
False
Let j(f) = -14*f**2. Let n be j(-1). Is (885 - -1)/(n/(-35)) a prime number?
False
Let p be -6*((-40)/15 - -2). Let s(h) = h**3 + 2*h**2 - 11*h + 1. Is s(p) prime?
True
Suppose -2*z + 12201 = 2639. Is z a composite number?
True
Suppose 3*u + 3*a = -u + 33, -5*a + 33 = 3*u. Suppose u*x - 1233 = -69. Is x a prime number?
False
Suppose 5*x - 6 - 4 = 0. Suppose x*a = 519 + 3. Let p = 440 - a. Is p prime?
True
Is 5 - 7 - (-1 - 822/1) a composite number?
False
Suppose -5*j + 722 = 52. Let p = 225 + j. Is p composite?
False
Let x = 27392 + -17703. Is x prime?
True
Let d be ((-138)/(-1))/(2/59). Suppose 0 = -7*z - d + 16510. Is z prime?
True
Let j(r) = 3*r**3 + r**2 - 6*r - 9. Let h(u) = 16*u**3 + 4*u**2 - 29*u - 45. Let t(i) = 2*h(i) - 11*j(i). Is t(-11) composite?
True
Is 6 - (-158)/(-2 + 4) composite?
True
Suppose o = m + 1, 2*m + 4 = -2*o + 3*o. Let y = 13 + o. Is 24/132 + 2847/y a composite number?
True
Is (-7 - -111697)/5 - -5 a prime number?
True
Let a(o) = 73*o - 5. Suppose k - 10 + 2 = 0. Is a(k) prime?
False
Let p(y) = -y - 8. Let s = 3 - 11. Let t be p(s). Suppose 5*o - 2*q - 265 = 0, t = -2*o + 2*q + 79 + 27. Is o a prime number?
True
Suppose -17*g = -118509 - 144464. Is g composite?
True
Suppose -6148 - 6295 = -v. Is v a composite number?
True
Let m be (0/(-2)*1)/1. Suppose -5*k = -x + 1949, -3*k - 9745 = -5*x - m*k. Is x a composite number?
False
Let f(w) = w**3 - 2*w**2 + 2*w - 2. Let a be f(2). Suppose a*g + 7*h - 6 = 3*h, 3*g + 5*h - 9 = 0. Is (-718)/(-6) + (-2)/g a prime number?
False
Let t(g) = -12*g**2 - 13*g + 5. Let j(f) = 3*f**2 + 3*f - 1. Suppose -27 = -0*b - 3*b - v, 2*v = 5*b - 45. Let x(s) = b*j(s) + 2*t(s). Is x(-8) a prime number?
False
Let n(x) = -6381*x**3 + x**2 - 2*x - 1. Is n(-1) prime?
False
Let q be 0/(-5) - (-2 + 0). Suppose -488 = -2*i + a, -q*i - a = -6*i + 980. Let c = i - 119. Is c prime?
True
Let b = 155 + 387. Suppose -b - 409 = -3*s. Is s prime?
True
Suppose -2*y + 107070 = 4*t, y - 2*y + 80304 = 3*t. Is t a composite number?
True
Let l be (6/2)/((-3)/(-8)). Let z be 12/(l/(-2)) - -1. Is z/8 - (-1527)/12 a prime number?
True
Let z(i) = -7*i + 14. Let g(c) = -3*c + 7. Let s(j) = -9*g(j) + 4*z(j). Let f be s(-6). Is (14/28)/(f/(-62)) a composite number?
False
Let c = 45107 - 24742. Is c a prime number?
False
Suppose 2*d + 0*n = 3*n + 69, 77 = 2*d + 5*n. Suppose 0 = -3*j + 171 + d. Suppose 2*a - 164 = -5*l, -5*l + 182 + j = 3*a. Is a a prime number?
False
Let k(v) = 11*v**3 - 2*v**2 - 10*v - 41. Is k(6) a composite number?
False
Suppose -177593 = -24*l + 5*l. Is l composite?
True
Suppose -10*f = -11*f - 3*c + 514, 3*f - 1490 = 4*c. Is f a prime number?
False
Suppose 5338 = 3*x - 5*g, -2*g + 2 = 6. Suppose -2*o + x = 2*l, 0 = -l - 0*l - 5*o + 884. Is l composite?
True
Let f(o) = 5573*o - 63. Is f(4) a prime number?
True
Let h be 5*((-20)/4)/(-5). Is -3*(-72 - (4 - h)) composite?
True
Suppose -3*l - 263 = y, 0 = l - 0*y - y + 89. Let f = -55 - l. Is f a prime number?
False
Let z(n) = -n**3 - n**2 - n. Let g(m) = -4*m**3 - 21*m**2 - 2*m + 19. Let r(v) = g(v) - 5*z(v). Is r(16) composite?
False
Is 2 - (-124)/(0 - 4)*-437 prime?
False
Let j be (-7154)/84 + 2/12. Let o = j - -145. Is 7852/o + (-4)/(-30) composite?
False
Let y = 1650 - -2909. Is y composite?
True
Let t(y) = y**3 + 9*y**2 + 5. Let g be t(-9). Suppose 2*a = -5*d + 6289, -g*a - 4939 = -3*d - 1147. Is d composite?
False
Suppose -10*i + 687 = -11*i. Let x = i - -2248. Is x a composite number?
True
Let f(c) = -274*c**3 - 2*c**2 - 2*c - 1. Let s be f(-1). Let l = s + -186. Suppose 3*t - 72 - l = 0. Is t prime?
True
Let z(i) = 2*i - 4. Let l be z(3). Suppose -w - 10 = -x - 3*x, 3*w = l*x. Suppose r = -q + 152, 0*r = -w*r - 3*q + 307. Is r a composite number?
False
Let q(r) = -r**3 + 19*r**2 + 6*r - 20. Let i be q(9). Suppose 4*s = -g + i, -5*s + 4*g + 1241 - 186 = 0. Is s prime?
True
Let t be (-1)/(4/(8 + 4)). Is t - (4/10)/((-2)/5770) prime?
True
Let b = -60021 + 121780. Is b a composite number?
True
Suppose -4*q + 2*y = -2*y - 8, -3*y = 5*q + 30. Let f be (q/(-2))/((-3)/(-6)). Let x = f + 328. Is x composite?
False
Let w(p) be the first derivative of 19*p**3/3 - 2*p**2 - 2*p + 6. Let m be w(-7). Let v = m + -202. Is v a prime number?
False
Suppose -b - 1070 = -6*b. Suppose b = 3*g - 4*v, 0*g = -g - 4*v + 82. Is g a prime number?
False
Suppose -4*i + 2*z + 3*z = 7, 3*i + 5*z + 14 = 0. Let b(l) = -15*l - 8. Is b(i) a composite number?
False
Suppose 17*r = 20*r - 6. Is 4 - (-3 + r - 1680) prime?
False
Let s be 310/110 - (-2)/11. Suppose -3*h + 24438 = s*h. Is h a prime number?
True
Suppose -8*p + 160 = -0*p. Suppose p*d = 24*d - 340. Is d prime?
False
Let a(l) = 2*l**3 + 21*l**2 - 4*l + 2. Let b be a(-11). Suppose -i - 24 = 3*i - 2*f, -3*i - 4*f = -4. Is ((-90)/b)/(i/(-3470)) composite?
True
Let x be (-2)/(-5)*(12 + -7). Suppose x*f - 15 = 519. Is f a prime number?
False
Let u(i) = 500*i**2 + 118*i**2 - 97*i**2 - i. Let f be u(1). Suppose -115 = -c + 3*n, -2*c - 2*c - 3*n = -f. Is c a prime number?
True
Let f(g) = -g**3 + 36*g**2 - 16*g + 40. Is f(33) a prime number?
False
Let i = 2071 - 1220. Is i a composite number?
True
Suppose 34*q - 49*q + 56895 = 0. Is q a prime number?
True
Let f(h) = -h - 1. Let a be 34/16 + 8/(-64). Let c(d) = 8*d + 6. Let s(t) = a*c(t) + 14*f(t). Is s(4) composite?
True
Is (-166957)/(-102) - 2/(-12) a prime number?
True
Suppose 2*y = -2*y + 1524. Suppose 4*v - 1047 = 5*l, -252 = -0*v - v - 2*l. Let s = y - v. Is s prime?
False
Let b = -3734 + 15175. Is b composite?
True
Suppose -4*i - 5*x - 4352 = -0*i, -4*x + 5440 = -5*i. Let u = i + 1701. Is u a prime number?
True
Let z be ((-148)/6)/((-22)/99). Let j be z/6*-2 - 4. Let f = 26 - j. Is f a composite number?
False
Let r = -17 - -9. Let m be (-9 - 1)*r/16. Suppose 2*y + 4*c = 2950, y = 6*y - m*c - 7300. Is y a prime number?
False
Suppose -31*b - 91151 = -359704. Is b prime?
True
Let a(h) = -h**2 - 10*h + 12. Let i be a(-11). Let f(q) = 1262*q**3 - 2*q**2 + 3*q - 2. Is f(i) composite?
True
Let x be (2 + -1 - 0)/((-2)/(-6)). Is 92*((-87)/(-4))/x a prime number?
False
Let z(i) = -i**3 + 9*i**2 + 6*i + 5. Let r be (1/4)/(1/4). Let c = 5 + r. Is z(c) prime?
True
Let j = 2784 + -1441. Is j composite?
True
Suppose -5*k - 36530 = -5*b, 6*b + 4*k - 29192 = 2*b. Suppose -3*g + 10913 = 2*o, -2*g + 6*o = 2*o - b. Is g a prime number?
False
Suppose 0*x - 4*x = -5*h + 495, x + 195 = 2*h. Let y = h + -51. Let v = y + 2. Is v a composite number?
True
Let h be (-6184)/(-7) - 3/7. Let y = -620 + h. Is y a composite number?
False
Let x(g) = g**3 - 8*g**2 + 6*g + 7. Let k be x(7). Suppose 6*d = -91 + 301. Suppose -s = -k*s - d. Is s a composite number?
True
Suppose 3*d = 3*k + 216726, -5*d + 361225 = 182*k - 184*k. Is d composite?
True
Suppose -2*r + 5*r = 0. Let l be (r + 1 - 0)*4. Suppose -90 + 0 = -3*i + a, -l*i + 115 = -3*a. Is i composite?
False
Let m = 4202 - 511. Is m a prime number?
True
Suppose -5*l + l = -5*f + 4210, -4*l + 1656 = 2*f. Suppose -6*b = -4*b - f. Is b a composite number?
False
Let o be (-12 + 2)*(-1252)/8. Suppose -w - 2*w - 3*k = -4677, w = 2*k + o. Is w a prime number?
False
Suppose 6*a = 8*a - 666. Let d be (1 - -2)*1 + (-275)/(-5). Suppose d = g - a. Is g a composite number?
True
Let u = -550 - -995. Is u a composite number?
True
Let u(f) = 9*f**3 + 2*f**2 - 4. Let g = -4 + 10. Let a be -4 + g + 1/1. Is u(a) composite?
False
Suppose -53713 = 8*q - 27*q. Is q composite?
True
Let t = -18 - -18. Suppose v + 1 - 10 = t. Suppose -g - v = -2*m + 6, 3*m - 2*g = 20. Is m a composite number?
True
Let j(f) = -2*f**3 + 5*f**2 - 4. Suppose -5*n - 2*r + 29 = 0, -4*n - 12 = -6*n - r. Suppose -n*p + 4*s = 21, 4*p + 2*s - 14 = -36. Is j(p) composite?
True
Let b be (8 + -9)/(2/(-12)). Suppose -b*z + 21 = -3*z. Is z a prime number?
True
Let v = -14 - -21. Suppose -626 - 106 = -2*n. Suppose v = -o + n. Is o composite?
False
Let g be 1/2 + (-47532)/(-24). Suppose z + g = 2*b + b, z + 4 = 0. Is b a composite number?
False
Let l be 3 + (-1)/(3/(-393