
True
Let h(d) = 8*d**2 + 2*d + 25. Is h(8) a prime number?
False
Let o = 9 - 17. Let y = -6 - o. Suppose 60 = 5*t + f - y*f, -25 = 5*f. Is t prime?
True
Suppose -4*p = -0*p - 1516. Is p a prime number?
True
Let f = 2479 + 1308. Is f prime?
False
Let j(o) = 113*o. Let x be j(3). Suppose 2*q + x = 3*q. Is q a prime number?
False
Let w = -12 + 6. Let l(i) = -4*i**3 - 6*i**2 + 7*i - 6. Let o be l(w). Let z = o - 349. Is z a composite number?
False
Let h = -36 - -19. Let x = h + 32. Suppose -x = -3*r + 54. Is r composite?
False
Suppose 0 = 2*p + p. Suppose 12 = -4*s, 0 = -4*r - p*s + 2*s + 18. Suppose u + 2*i - 49 = 0, 0*u + 149 = r*u + 5*i. Is u a composite number?
False
Is (-2979)/6*(-32)/24 a composite number?
True
Let w be (-1)/(-3) + 454/6. Is w - 1/(-3 + 2) prime?
False
Suppose -3*x = -2037 - 594. Is x a prime number?
True
Suppose 0 = 4*s + j - 597, -4*s + 599 = -0*s + 3*j. Is s prime?
True
Let u be (-10)/55 - (-48)/22. Let n(i) = 0 + 9*i - 5 - i**u - 2. Is n(7) prime?
True
Let f(z) = -z**2 - 9*z - 2. Suppose 0 = 4*o + o + 20. Let s be f(o). Is 4146/54 - (-4)/s composite?
True
Let d(u) be the second derivative of u**4/12 + 2*u**3/3 - u**2/2 + 2*u. Let f be d(-3). Let n = f - -23. Is n a prime number?
True
Let y = -6 + 7. Is (0 - 1)/(y/(-37)) a composite number?
False
Let m(s) be the third derivative of s**6/120 - s**5/15 - 3*s**4/8 + s**3/6 + 7*s**2. Is m(6) a prime number?
True
Suppose 0 = 5*y - 2*o + 26, -2*o + 2 = -2*y + 3*y. Let x be 1*(-1 - y) - -13. Let t = 137 - x. Is t prime?
False
Let t(y) = 3*y - 1. Let j be t(1). Suppose 7*g - j*g = 175. Is g a prime number?
False
Suppose -4*n - i = -16, 2*n - 3*i = 3*n + 7. Let b(x) = x**2 - 6 + 0 + 3. Is b(n) a composite number?
True
Let l = -666 - -1075. Is l prime?
True
Let a = -8 - -8. Suppose 4*q - 39 - 349 = a. Is q a composite number?
False
Let z(n) = -287*n - 44. Is z(-6) composite?
True
Let u(y) = -11*y**2 - 8*y + 5 + y**3 + 0*y**3 + 12*y**2. Is u(5) a prime number?
False
Suppose -25 = -5*l - 5. Let f(k) = k + 1. Let o be f(4). Suppose c - l*q = 30, 10*c - 25 = 5*c - o*q. Is c prime?
False
Let s be (-6)/(-2) - (1 + -2). Suppose -46 + 10 = -s*i. Is i composite?
True
Suppose -4*g = 5*p - 9013, -4*g + p + 6926 + 2105 = 0. Is g a composite number?
True
Let d(s) = -131*s + 2. Let i be ((-6)/(-18))/((-2)/30). Let c be ((-36)/(-30))/(2/i). Is d(c) composite?
True
Suppose -4*l = -2*l - 2. Is l/(2/4) + 329 a composite number?
False
Is 3676*(-1 + -2)/(-12) a composite number?
False
Let g(b) = -389*b + 3. Is g(-4) prime?
True
Suppose h + 1 = -3, -4*u = -4*h - 36. Suppose 4 - 2 = 4*w + u*r, 0 = -4*w - 3*r - 2. Is w/(-9) - (-935)/45 composite?
True
Let v(c) = -2*c**3 - 6*c**2 - 15*c - 7. Is v(-10) composite?
False
Suppose -75 - 624 = -3*h. Is h a prime number?
True
Let n(w) = -9*w**3 + w**2. Let c be n(-2). Let g(p) = 2*p**2 + 5*p + 4. Let m be g(-3). Suppose -c = 3*q - m*q. Is q prime?
True
Suppose 0 = g - 0*g + 1, 3*b - 2*g = 1127. Suppose z + 0*p = 2*p + 87, -5*p + b = 5*z. Is z composite?
False
Let n(o) = -o**2 + o. Let v be n(-1). Let f(w) = -w**2 - 20*w - 10. Let i be f(-8). Is i - (-3 - v - 2) a composite number?
False
Let j(g) = g**3 - 13*g**2 + 1. Let b be j(13). Suppose -s - 1 = -2*x, 2*s = -0*s - 5*x - 11. Is 1 - (30/b)/s a composite number?
False
Suppose 0 = 5*d - 3*a - 28, 0*a = -2*d - 4*a + 6. Suppose -4*b + d*b - 179 = 0. Let w = b - 34. Is w a composite number?
True
Let d(q) = q**2 + 2226. Let j be d(0). Is j/4*4/6 composite?
True
Suppose -5*a = -3*a + 3*k - 1989, -3*k = -a + 972. Suppose -2*u - 5*u + a = 0. Is u a composite number?
True
Let v(x) = -x**3 - 10*x**2 - 13*x - 1. Let s(u) = -9*u**2 + u + 1. Let f be s(-1). Is v(f) a prime number?
False
Let w(q) = q**3 - 11*q**2 - 45*q - 1. Is w(16) composite?
True
Suppose 0 = -2*a + 488 - 132. Let v = 276 - 138. Suppose a + v = 4*z. Is z a prime number?
True
Let f(z) = z**3 - 20*z**2 + 16*z - 1. Is f(22) a composite number?
False
Let d(f) = -f - 3. Let p be d(-5). Suppose 4*i - p*i + 8 = -4*x, -2*x - 2*i - 8 = 0. Suppose 0 = -x*m + 3*m - 141. Is m a composite number?
False
Is -2 + 2 + 139 + 0 a prime number?
True
Suppose -i - 4*i - 1625 = 0. Let y = -202 - i. Is y prime?
False
Let j = 210 - 136. Is j a composite number?
True
Let x be ((-2)/2)/((-5)/25). Suppose -2*r + 5*r = 4*q - 127, x*r = -q + 26. Is q a composite number?
False
Let p = -4556 + 2105. Suppose -4*s + 2*s - 20 = 0. Is 4/s - p/15 a prime number?
True
Let t = -8 + 6. Let h be t/(-4) + 3235/10. Let o = h + -175. Is o a prime number?
True
Suppose 1590 = 4*y - 1846. Is y a composite number?
False
Suppose -13 = c - 4. Let r(h) = -h**3 - 7*h**2 + 14*h + 12. Let v be r(c). Suppose -2*i - 10 = -v. Is i a prime number?
True
Suppose -27*t = -25*t - 1042. Is t a prime number?
True
Let w(m) = -5*m - 1. Let s be w(-1). Suppose -5*x + 5*b + 201 = -2*x, 134 = 2*x - s*b. Is x a composite number?
False
Let h = 1112 - -39. Is h prime?
True
Let x = 0 + -2. Is (3 + -1)/x*-111 a prime number?
False
Let o = -1344 - -1885. Is o composite?
False
Let i(l) = l. Let b be i(3). Let z = 2 - b. Is 47/(-2)*2*z a composite number?
False
Suppose 0 = -j - 1, 5*y + 0*j - j - 156 = 0. Let r = y - -52. Is r a prime number?
True
Let z = 45 + -18. Is 5 + -8 + z*2 a composite number?
True
Let v = 61 - 36. Suppose -323 - v = -3*l. Is l/6 - (-2)/(-6) composite?
False
Suppose -w = 4*s - 10, 5*s = -3*w + 2*w + 13. Suppose 4*o = s*o + 7. Is o prime?
True
Let h = -401 + 1620. Is h prime?
False
Let x = -4 + 6. Let m(y) = -y**3 + 4*y**2 - 2*y - 1. Let n be m(x). Suppose -2*k + h + 3*h + 322 = 0, -n*k - 4*h + 483 = 0. Is k prime?
False
Let n = -2 + 7. Let r(f) = -f**3 + 6*f**2 - 3*f + 3. Is r(n) prime?
True
Let t = 309 + -182. Is t composite?
False
Let l be 3 + 2*4412/8. Is l/35 - (-6)/(-10) a prime number?
True
Let v(p) = -28*p. Let n be v(2). Let q = 133 + n. Is q a composite number?
True
Let a(j) be the first derivative of -j**2/2 + 7*j - 1. Suppose -12*f + 35 = -17*f. Is a(f) a prime number?
False
Suppose -2*q + 665 = 5*v - 288, -5*v = q - 954. Is v a prime number?
True
Suppose 22 = 3*g - 2*l + 7, 5*g - 2*l - 25 = 0. Suppose -x - i + 379 = 0, -2*x - x + 1121 = -g*i. Is x prime?
False
Suppose 0 = 4*a - 16, -5*n + 4*a = -9. Let o be n/(14/(-4) + 3). Let f(z) = z**2 - z - 4. Is f(o) a composite number?
True
Let p = -331 - -1032. Is p composite?
False
Suppose 3*b = 4*z - 2462 + 726, -2*b = 4*z - 1716. Is z a prime number?
True
Let w be ((-192)/(-15))/((-4)/(-110)). Let l = -239 + w. Is l a composite number?
False
Is (-2)/(-8)*-2*14*-31 a composite number?
True
Is (-2)/(0 - (-6)/(-3171)) a composite number?
True
Suppose 0 = -w + 710 - 9. Is w a prime number?
True
Let p = -14 - -23. Is p prime?
False
Suppose -3*z - 5*f + 3510 = -8381, 4*f = 2*z - 7942. Is z a composite number?
False
Let d be (9 - -1) + (4 - 5). Suppose m + 11 = 4*v, d*v - 5*m - 25 = 4*v. Is -1*-34*5/v a composite number?
True
Let w(v) = 55*v**2 - v + 1. Let y be ((-6)/(-8))/(1/4). Let g(h) = -h + 4. Let c be g(y). Is w(c) a composite number?
True
Suppose 9*w - 6914 - 112255 = 0. Is w a composite number?
False
Suppose 0 = -z + 11. Suppose i - 3*k = 9 + 4, 5*i + 3*k - z = 0. Suppose i*a - 22 = 6. Is a prime?
True
Suppose 5*v + 2*f + f = -19, -2*v - 3*f = 4. Let x = 5 + v. Suppose 3*q - 106 = -g, 5*q + 4*g + x*g - 165 = 0. Is q composite?
False
Let w(c) = c**3 + 16*c**2 - 11*c - 16. Is w(-10) a composite number?
True
Let s be (-1 - -10)*55/11. Is (7/(21/s))/1 prime?
False
Let u = -246 - -433. Is u composite?
True
Let b(w) = w**3 - 6*w**2 + 2. Let d be b(6). Suppose -3*s + 4*p = -307, 0*p - d*p - 535 = -5*s. Is s a prime number?
True
Suppose 0 = -i - i + 4. Suppose -4*v + 71 = -3*v + 2*s, 2*v = 3*s + 135. Suppose i*h - v = h. Is h a prime number?
False
Suppose m + 66 = -2*m. Let u = 6 - m. Let f = 7 + u. Is f a composite number?
True
Let x = 206 - 79. Is x prime?
True
Let v(b) = -b**2 + 4*b + 5. Let j be v(4). Let o = j - -2. Is o prime?
True
Suppose -c - 169 = -5*c - 3*f, 20 = -4*f. Is c a composite number?
True
Let h(y) be the third derivative of -5*y**4 + y**3/6 - y**2. Is h(-1) composite?
True
Suppose 16 = b - 130. Suppose 2*t + 2*u + u = 144, -b = -2*t - 4*u. Is t a composite number?
True
Let u be 18/3*1/(-2). Is 0 + (118 - u/(-1)) a composite number?
