 - 4*d - 6. Let b be g(-4). Is (-344)/b*(-27)/(-18) a prime number?
False
Suppose -h = -8*h + 18263. Is h prime?
True
Suppose -s + 2*k + 475 = -592, 5302 = 5*s + k. Is s composite?
False
Suppose 7 = 4*l + o, 5*l + 3*o + 5 = 19. Let u(r) be the second derivative of 4*r**4 + r**3/6 - r. Is u(l) a composite number?
True
Let j be 9/(-6) - 2/4. Let g be 1 + (0 - 4*j). Suppose x - g - 16 = 0. Is x composite?
True
Let a(w) = w**3 + 4*w**2 + w + 1. Let g be a(-4). Let h(f) = f**3 + 4*f**2 + 3*f - 2. Let r be h(g). Is r/(3 + -2 + -2) a prime number?
True
Let r(v) = 15*v**3 + 3*v**2 + v - 4. Let g(h) = -16*h**3 - 4*h**2 - h + 5. Let s(z) = 4*g(z) + 5*r(z). Let u be s(2). Suppose u = 4*m - 6. Is m a prime number?
True
Suppose -62 = -4*x - 2*v, -6*x - 3*v + 37 = -4*x. Suppose -2*f = -f - x. Is f prime?
False
Let h(r) be the third derivative of 7/6*r**3 + 0 + 0*r + r**2 + 3/8*r**4. Is h(8) a prime number?
True
Let p(o) = 84*o + 5. Is p(8) prime?
True
Let o = -72 + 199. Is o prime?
True
Let w be (3/(-2))/(21/(-28)). Suppose -j - 5*x + x = -45, -3*j - 3*x = -144. Suppose a = w*a - j. Is a a prime number?
False
Suppose 0 = 12*y - 6*y - 3954. Is y a prime number?
True
Suppose -5*k = -0*k - 5. Let w be -4 + k - (-3 + -6). Let p(c) = 3*c**2 + 3*c + 1. Is p(w) a prime number?
True
Suppose 2*d + 0*d - 10 = 0. Suppose -23 = 3*s - d. Is 3/s + 334/4 a composite number?
False
Let z = 493 - -892. Is z composite?
True
Let b(z) = z**3 - 8*z**2 + 19*z - 3. Is b(14) a prime number?
True
Suppose -3*r = 4*l - 1708, -r + 0*r + 1708 = 4*l. Is l a composite number?
True
Suppose 7*w - 3*w - 1480 = 4*s, -4*w = 3*s - 1487. Is w a composite number?
True
Let q be ((-8)/12)/((-2)/6). Suppose q*k + 137 + 115 = 0. Is 1/((-1)/k) - -1 prime?
True
Suppose 5*m - t + 4*t - 3347 = 0, -2*m = 3*t - 1346. Is m composite?
True
Suppose 6 + 150 = -4*z. Let j = 19 - 47. Let p = j - z. Is p a prime number?
True
Suppose 0*t = 4*q - t - 48, 22 = 2*q - t. Is q a prime number?
True
Suppose q + 0*q + y = 744, 0 = 5*q - 4*y - 3711. Is q prime?
True
Let v(o) = -o**2 + 90. Let h be v(0). Suppose -2*u = -h + 28. Is u prime?
True
Let t(k) be the second derivative of 9*k**3/2 - k**2/2 - 2*k. Let j be t(-1). Let c = j + 59. Is c a prime number?
True
Let o(r) = -25*r - 1. Let q be (-2)/(1/((-2)/(-2))). Is o(q) a composite number?
True
Let f = 12 + -7. Suppose 4*o - 2*v = -3*v + 479, o = f*v + 104. Is o prime?
False
Is (-40158)/(-54) - (-4)/(-6) prime?
True
Let l = 7289 - 2538. Is l a prime number?
True
Let l(a) = -a**2 - 11*a. Let z be l(-9). Is 348/z + 1/(-3) composite?
False
Suppose x - 7 = -b, 3*x - 3*b + b = -4. Suppose -a - 2*m + 2 = -1, x*a - 7 = -5*m. Let l = 4 - a. Is l a prime number?
True
Suppose 0 = 14*x - 19*x + 1535. Is x a prime number?
True
Let d(i) be the third derivative of 5*i**4/6 - i**3/2 + i**2. Is d(2) a prime number?
True
Suppose -f = -0 + 2, 4*f - 2790 = -2*s. Is s a composite number?
False
Let y(d) = -d - 3. Let i be y(-6). Suppose i*z = -0*z. Suppose h - 6*x + 4*x = 18, 4*h - x - 58 = z. Is h composite?
True
Suppose 2*f = -4, c + 5*f = -0*c + 805. Is c composite?
True
Let d(w) = 32*w - 39. Is d(7) composite?
True
Let r(a) = -a**2 - 7*a - 7. Let c be r(6). Suppose 0*m + 1210 = 5*m. Let b = m + c. Is b composite?
False
Let s(m) be the first derivative of m**5/40 + m**4/6 - m**3 + 1. Let w(h) be the third derivative of s(h). Is w(9) prime?
True
Let x(p) = -144*p - 1. Is x(-2) composite?
True
Let y(z) = z**3 - 7*z**2 - 10*z + 9. Let a be y(8). Let i = a - -11. Is 12/4*(i + 1) a composite number?
True
Let o(f) = f**2 + f + 60. Let q be o(0). Suppose 4*p = 2*p + q. Suppose 2*n = -3*n + p. Is n composite?
True
Let f = 848 - 4. Suppose 4*z = -4*l + f, -2*l + z = -0*z - 422. Is l a composite number?
False
Let o(w) = w**3 + 9*w**2 - w + 10. Is o(-9) a composite number?
False
Let h(p) = -4*p**3 + p**2 - p - 1. Let w be h(-1). Suppose -3*m - u + 114 = 0, -2*m + w*m - 105 = 2*u. Is m prime?
True
Is (-2)/((18/1335)/(-3)) composite?
True
Suppose -4*m = -3*n - 18, 0*n + 2*n + 16 = 4*m. Is m a composite number?
False
Let t(o) be the third derivative of -5*o**4/24 - 2*o**3/3 - 2*o**2. Let z be t(-3). Is 240/z + (-2)/(-11) a composite number?
True
Let x = 5 - 3. Suppose r - 3*w + 14 = 0, x*r - 2*w = w - 16. Is 14/(9/3 + r) a prime number?
False
Let b(m) = -2*m - 2. Let i be b(-2). Suppose 160 = i*x - 246. Is x composite?
True
Let o be 3/((-1)/(-2)*2). Suppose -8 + 32 = 4*m - 4*y, o*y + 32 = 5*m. Suppose -2*x + 3*w - m*w = -50, -3*w = -x + 50. Is x a composite number?
True
Suppose -3*l + 611 = 4*a, 2*a - a = -3*l + 623. Is l composite?
True
Is ((-3)/(-2))/(12/14408) a prime number?
True
Let q(j) = j**3 - 7*j**2 + 6*j + 7. Is q(7) a prime number?
False
Let f(q) = -6 + 3 - 6 - 28*q. Is f(-17) a composite number?
False
Let p(h) = h**3 + 2*h**2 - 2*h + 1. Suppose -4 = -m - 3. Suppose 0 = n + m - 3. Is p(n) a prime number?
True
Let p be 18/((-1)/((-87)/6)). Suppose p = 3*z - m, 0 = 2*m - m. Is z a composite number?
True
Let c(g) = -2*g**3 - 3*g + 4. Is c(-3) prime?
True
Let u(w) = w**2 + 3*w - 2. Let k be u(2). Let p be ((-45)/(-6))/(6/k). Let h = p - -1. Is h a prime number?
True
Let q(t) = -t**3 - 7*t**2 + 8*t + 2. Let b be q(-8). Let y(k) = 3*k + 22*k**2 - 8*k**b - 4*k. Is y(1) a composite number?
False
Suppose -5*q - 8 = -128. Let j = q - 17. Is j prime?
True
Suppose 4*d - 5*z - 1933 = 0, d - 235 - 249 = z. Is d a composite number?
False
Let q be 0 - (-1 - 179)/(-3). Let j = 169 + q. Is j prime?
True
Is (-1)/(-3) - (-3980)/30 a prime number?
False
Let y(p) = 514*p**2 - 2*p - 1. Is y(2) prime?
False
Let g(h) be the first derivative of -18*h**2 - 5*h - 4. Is g(-6) prime?
True
Let d = 13 + -11. Suppose 4*z - 166 = d*z. Is z prime?
True
Let p be 6 + -1 - (-3 + 6). Suppose 86 = -p*i + 4*i. Is i a composite number?
False
Suppose -5*u - 1 = -6, -3*r - 2*u = -4679. Is r a composite number?
False
Suppose 3*l - 145 = -3*f + 4*l, 4 = -l. Let v = 82 - f. Is v composite?
True
Let i(f) = -f - 5. Let x be i(-7). Let s(y) = -6*y - 5 - 2 + x. Is s(-4) composite?
False
Is 1743 - 1 - (-3 + 1 - 1) prime?
False
Suppose 0 = o + b - 0*b - 1, -4*o = -4*b + 20. Is (-112)/4*1/o a composite number?
True
Suppose 3*v + 3 = 15. Suppose -5*z + v*z = -286. Let j = z + -69. Is j prime?
False
Suppose 2*a + 860 = -5*l, 1304 = -3*a + 3*l - 7*l. Let f = a - -837. Is f composite?
False
Suppose -3*c + 0*c + 508 = 4*k, c + 5*k - 184 = 0. Let q = c + 235. Let l = q + -268. Is l prime?
True
Let k = 11 + -9. Suppose -k*h - 70 = -4*h. Is h prime?
False
Let u = 152 + 86. Suppose -x = 3*k - 664, -4*k + 3*k + 3*x = -u. Is k a composite number?
False
Is ((-62)/(-5))/((-8)/(-20)) composite?
False
Let d be 0*((-5)/2 + 2). Let m be d + ((-3)/1 - -1). Is (-16)/(-24)*(-339)/m prime?
True
Let l be (2 - (2 + 1))*0. Suppose -5*y + l*y + 15 = 0. Is y composite?
False
Let k be (-2)/4 + (-548)/(-8). Suppose 0 = -5*r - 3 + k. Is r a composite number?
False
Suppose 6*c + k = 3*c + 20, -c + 4*k - 15 = 0. Suppose 179 + 2036 = c*d. Is d prime?
True
Let v(w) = -w**2 - 6*w + 4. Let l be v(-6). Suppose 0 = -2*s + l*s - 26. Is s composite?
False
Let b(r) = r**3 - 4*r**2 + r + 2. Let k be b(4). Let f be 2/(2 - k/4). Suppose 3*t + 2*a = -a + 330, 4*a + 464 = f*t. Is t a prime number?
True
Suppose -4*i + 3*w - 25 = 0, -3*i + 5*w - 2*w - 21 = 0. Is 329 + i/(-5 - -3) a prime number?
True
Is 1 + 24/(-6) - -124 prime?
False
Suppose 15 = -3*h - 9. Let o(b) = b**3 + 11*b**2 - 3*b - 11. Is o(h) composite?
True
Suppose -14731 = -4*f + 4*i - 3*i, -2*f = 5*i - 7371. Is f composite?
True
Let o be -2 + 15/3 + 5. Let j(p) = -o + 0*p - 2 + 2 - 7*p. Is j(-9) prime?
False
Let r = 1362 - 827. Is r a composite number?
True
Suppose 0 = n - 0*n + 171. Let s be (-1424)/14 + (-2)/7. Let a = s - n. Is a composite?
True
Let q(x) be the second derivative of x**4/6 + 4*x**3/3 + 2*x**2 + 2*x. Let w be q(-5). Suppose 4*c + l - 36 = 0, 0 = -c + 4*c + 4*l - w. Is c composite?
True
Let k be (0 - (-10 + -1))*3. Let p be 4*(35/2)/5. Let i = k - p. Is i a prime number?
True
Let m(v) be the second derivative of 7*v**3/6 - v**2 - 3*v. Let y be m(2). Is ((-129)/y)/((-2)/40) prime?
False
Let h = -9 + 13. Suppose -5*d - h + 14 = 0. Suppose -3*s - 3*x = d*s - 78, -4*x = -5*s + 71. Is s a composite number?
True
