
True
Let t = -7 + 5. Is (7/14)/(t/(-76)) a composite number?
False
Suppose 4*i - 2*t - 2*t - 888 = 0, 5*i - 1103 = -2*t. Is i a composite number?
True
Let n(j) = -19*j. Let f(o) = o**3 - 11*o**2 + o - 12. Let z = -21 - -32. Let x be f(z). Is n(x) prime?
True
Let t(r) = -29*r - 19. Is t(-8) a composite number?
True
Suppose -y = 3*p + 4*y + 20, y + 4 = 3*p. Suppose 4 = -2*f - 4, p = w - 5*f - 23. Suppose 2*d + 171 = w*n, -2*n - 307 = -7*n - 4*d. Is n a prime number?
True
Let p(h) = -h**3 + 11*h**2 - 10*h - 5. Let a = 26 + -17. Is p(a) a prime number?
True
Is 16/32*(-662)/(-1) composite?
False
Let b(h) = 4*h - 5*h + 0*h - 10. Let c(p) = p + 1. Let u(w) = -b(w) - 5*c(w). Is u(-4) a prime number?
False
Suppose 5*y = -10, 4*y = -5*g + 2*y + 11. Suppose g*f = -3*b + 39, 21 = 2*b - 2*f + 3*f. Is (1 - b)/(1/(-7)) a composite number?
True
Is 11/(-4) + (-1)/4 + 1376 prime?
True
Suppose 4*n - 2 = 2*b, -n + 5*b - 11 = n. Suppose 153 = n*d - 5*d. Let m = 170 + d. Is m prime?
False
Let i(r) = -r**3 + r**2 - 3*r - 2. Let u be i(5). Let b = 258 + u. Is b a prime number?
False
Suppose f + 19 = -5*i - 7, -5*f = 2*i + 153. Suppose n + 2*n - 72 = 0. Let a = n - f. Is a composite?
True
Let z(p) = 8*p**2 + 13*p + 6. Let t(s) = -s**2 - s. Let k(f) = 6*t(f) + z(f). Let i be (1 + -2 - 0)*4. Is k(i) a composite number?
True
Suppose 4*h - 9 = 3*h. Suppose 0 = -4*k + h*k - 2345. Is k a prime number?
False
Let n = -18 + 415. Is n prime?
True
Let y(j) = j + 2. Let k be y(2). Suppose -m - 3*m = k*x - 2012, 4*x - 1014 = -2*m. Is m composite?
False
Let s(d) be the second derivative of 85/12*d**4 - d + 0*d**2 + 0 + 0*d**3. Is s(1) a composite number?
True
Suppose -20*l + 5*l = -11955. Is l prime?
True
Is 2 - (0 + -1) - -748 prime?
True
Let a be 1*(4 + -2) + 30. Let l = a - 17. Is l a prime number?
False
Let f = -81 - -134. Is f prime?
True
Let s(d) be the third derivative of d**5/12 - d**4/6 - 7*d**3/6 - d**2. Let b(h) = h**2 - h. Let u(k) = 6*b(k) - s(k). Is u(5) prime?
False
Let u(v) = 599*v. Is u(1) a prime number?
True
Let m = 141 + -92. Is m composite?
True
Let z be 2/(-7) - (-28572)/42. Is ((-1)/2)/((-4)/z) a composite number?
True
Let m = 1713 + -1156. Is m composite?
False
Suppose 4*r - 4*d = -0*d, 2*r = -2*d - 8. Let j be (-1)/2*(r - 0). Is 2*j*231/6 composite?
True
Let m(a) = 4*a - 7. Let g be m(3). Suppose 2*d + 2*d = -2*k + 242, g*k + 5*d - 590 = 0. Is k a prime number?
False
Let x(u) = -u**3 + 2*u**2 + 2*u + 4. Let g be x(3). Is 32 + 2 + (-1)/g prime?
False
Let m = -377 + 634. Suppose 0*g = g - m. Is g a composite number?
False
Let n(v) = -v**3 + 4*v**2 + v. Let b be n(4). Suppose f - 2 = b. Is (322/f)/(2/6) a composite number?
True
Let v(k) be the first derivative of -1 + 4*k**2 + 12*k + 1/4*k**4 + 10/3*k**3. Is v(-9) a prime number?
False
Let z = 290 - 188. Suppose -640 = -4*h + 4*o, h - z - 40 = -5*o. Is h prime?
True
Let f(r) be the third derivative of r**4/4 + 5*r**3/6 + r**2. Let i be f(10). Is 5 + i - (-3)/(-1) composite?
False
Let f = 417 - 254. Let q = f + -22. Is q composite?
True
Let i = 30 - -85. Is i a prime number?
False
Suppose -7*d + 8 = -3*d. Suppose -f - 531 = -d*a - 93, -3*a = -3*f - 657. Is a a prime number?
False
Is ((-84)/24)/(((-1)/34)/1) prime?
False
Let c(o) = -4*o - 5. Let x be c(-17). Is (x/36)/((-1)/(-44)) a prime number?
False
Suppose 5*q + 317 = 4*h, 3*h + 4*q - 356 + 95 = 0. Suppose -x + 8 = -h. Is x a composite number?
True
Let d be 12*(0 + -2)/(-6). Let y(j) = -d*j**2 + 3*j**3 + 3*j + j + 0 - 2. Is y(2) a prime number?
False
Let r(z) = 2*z**3 - 2*z + 2. Let m be r(2). Suppose 6 = -4*d - m. Let y(i) = -6*i + 7. Is y(d) composite?
False
Suppose 0*g + 108 = -4*g. Let p = 48 + g. Is p prime?
False
Let w(z) = -3*z + 6. Let b = -10 - -5. Is w(b) composite?
True
Let u = -19 - -14. Let l(a) be the second derivative of -7*a**3/6 - 2*a**2 + a. Is l(u) composite?
False
Let k(a) = 43*a + 11. Is k(5) a prime number?
False
Suppose 436 = -2*h + 6*h. Is h a composite number?
False
Let a(n) = -47*n**2 - 3*n + 3. Let f be a(2). Let s = -133 - f. Is s a composite number?
True
Let r(s) = -90*s**3 + 5*s**2 + 6*s - 4. Is r(-3) a prime number?
False
Let q = 17 + -53. Let p = 70 + q. Is p composite?
True
Suppose -5*s = 3*r - 2724, 0*s = 3*s + 9. Is r composite?
True
Let a(m) = m**3 - 5*m**2 + 2. Let u be a(5). Suppose -u*p - 39 + 337 = 0. Is p a prime number?
True
Suppose 5*k + 2 = -2*c - 13, 3*c = -4*k - 5. Let d(r) = -6*r - 1. Let l be d(-1). Suppose j = -l, -258 - 292 = -c*z - 3*j. Is z a composite number?
False
Suppose 5*p = -4*n - 21, 0 = n - 2*p - 3 - 8. Let l(h) = 19*h**2 - h + 1. Is l(n) prime?
True
Let p(b) = -4*b + 1. Let g be p(-1). Let q = 43 + 17. Let h = q - g. Is h prime?
False
Is (-8273)/(-5) - 28/(-70) a composite number?
True
Suppose 4*w + 4*r - 2236 + 940 = 0, 0 = 4*w - 2*r - 1266. Is (1 + 1 + -1)*w composite?
True
Let p(a) = -a + 3. Is p(-8) prime?
True
Is 123 + 4 - -2*(-6)/3 a composite number?
True
Let o(w) = -110*w**3 + 3*w**2 + 4*w + 3. Is o(-2) composite?
False
Suppose -3*u + 727 = -254. Let o = u + 44. Is o prime?
False
Suppose 2*s = -280 - 54. Let z(r) = -r**3 - 4*r**2 + 4*r + 1. Let w be z(-3). Is s/(-5) + 8/w composite?
True
Suppose 0 - 5 = -p. Suppose -2*m - p = -7*m. Let a(j) = 163*j**2 - j + 1. Is a(m) prime?
True
Suppose -3*d - 179 = -5*k, -4*k - 2*d + 0*d = -152. Is k a prime number?
True
Let t(r) = -2*r - 4. Let a be t(-4). Suppose -a*l + 212 = -0*l. Suppose -5*h = -u - 107, 2*h + 2*u - l = -u. Is h prime?
False
Let g(f) = f**3 - 10*f**2 + 9*f + 5. Let m be g(9). Suppose -800 - 1415 = -m*t. Is t prime?
True
Suppose 5*s + 47 = 2*u, -3*s - 68 = -4*u + 61. Suppose 5*y = 5*o + 250, -y + 4*o + u = -5. Is y composite?
False
Let f be 1*(-3*3)/(-3). Suppose -2*s + f*s = -5*i + 11, 5*s + 20 = 0. Suppose -1 = d, i*y - 4*d - 277 + 36 = 0. Is y composite?
False
Suppose g + r = -r + 9, 0 = -4*g - 2*r + 12. Suppose g = w, 2*y - 3*y - 4*w + 167 = 0. Is y composite?
False
Let f = -19 - -714. Is f a prime number?
False
Suppose 8*z - 6*z = 410. Is z prime?
False
Suppose 4*m - 1580 = 5*c, 54 - 1634 = -4*m + 4*c. Is m prime?
False
Let x(p) = -1. Suppose 0 = 4*a - 1 + 5. Let u(c) = -2*c**2 + 9*c + 6. Let z(q) = a*u(q) + 4*x(q). Is z(8) prime?
False
Let u = 2133 + -532. Is u composite?
False
Let g(p) = -p**3 + 26*p**2 - 10*p - 21. Is g(20) a prime number?
True
Is (-41905)/(-25) - 3 - 1/5 a composite number?
True
Let i(p) = 115*p + 16. Is i(7) a prime number?
True
Let v(y) = 12*y**2 + 20*y + 23. Is v(-14) composite?
True
Let w be (4/6)/(1/(-9)). Is (207/w)/(2/(-4)) composite?
True
Suppose -3*j + h + 491 = 42, -4*h = 4*j - 620. Is 3/12 + j/4 a prime number?
False
Is ((-12)/(-36))/(((-2)/(-4404))/1) a composite number?
True
Let g(d) = -d**2 - 4*d + 1. Let v be g(-3). Is ((-2)/v)/(3/(-978)) composite?
False
Let q(p) = -2*p**3 - 2*p**2 + 2*p + 3. Let b be q(-3). Suppose w = -0*w + b. Is w prime?
False
Let j(h) = h**3 - 6*h**2 + 6*h - 8. Let q(m) = m**3 - 5*m**2 + 5*m - 7. Suppose 20 = 3*t + 2*t. Let d(x) = t*q(x) - 3*j(x). Is d(3) composite?
False
Let a(u) = u**3 + u**2 - u - 9. Let q be a(0). Let m(l) = -9*l - 4. Let t be m(q). Let s = -52 + t. Is s composite?
True
Suppose 0 = 3*r + 3, -g = -4*g - 2*r + 127. Is 3/6 - g/(-2) a composite number?
True
Let b = -300 + 511. Is b composite?
False
Suppose 4*w + p = 344, 4*w = -0*w - 5*p + 328. Is w prime?
False
Let c(z) = 34*z**2 + z + 2. Let f be c(-2). Suppose -3*g = -23 - f. Is g composite?
False
Let l be ((-1)/2)/((-9)/(-2844)). Let y = l - -232. Is y a composite number?
True
Is (-3834)/(-5) - (-2)/10 composite?
True
Suppose -207 = -k + 164. Is k a prime number?
False
Suppose 8*f - 139 = 4189. Is f a prime number?
True
Let s = -101 - -1772. Is s composite?
True
Let j be (2/3)/(4/30). Suppose -j*v - 2 = 3. Is v/(-5) - 456/(-20) a composite number?
False
Is (0 - -2 - 48)/(-1) composite?
True
Suppose 106 = -w + 380. Is w a composite number?
True
Suppose -3*l + 521 = 2*b + 2*l, -2*b + 5*l = -491. Is b a composite number?
True
Let m = 643 - 425. Let z = m - 141. Is z a composite number?
True
Is ((-12)/(-8))/(9/1542) a composite number?
False
Let b(x) = -31*x + 1. Let f be b(5). Let n = f + 87. Is 3/6*n*-2 composite?
False
Let u(d) = d**3 - 5*d**2 + 7*d - 3. Let x = 10 + -4. Let i be u(x). Suppose 0 =