
True
Let m = 121 - -436. Is m a prime number?
True
Let x = 3 + 4. Suppose -77 = -q + 5*n, 0 = -x*q + 4*q + 3*n + 195. Is q a prime number?
False
Suppose 2*u - 17 + 7 = 0. Suppose -2*d + 5 = -u. Suppose p = 2*x - 134, d*x + p + 2*p = 357. Is x composite?
True
Let v(n) = -55*n + 16. Is v(-9) a composite number?
True
Suppose -4*q - 4 + 0 = 0. Let u = -4 - q. Is (-1 - u)/((-2)/(-19)) a composite number?
False
Suppose -k + 5*y = -123 - 84, 4*y - 16 = 0. Suppose 5*b - x - k = 0, -3*b + 0*x + 123 = -5*x. Suppose -3*g + g = -b. Is g prime?
True
Is 1/(2/(-3)*(-12)/19432) a prime number?
False
Let a be (2/(-2))/(-1) + 23. Let h = a - 66. Is -2 + h/(4/(-2)) prime?
True
Suppose r + 4*r = 4*i - 1781, -4*i - 1749 = 5*r. Let a = 1064 + r. Suppose 0 = 4*o + v - 649, -2*v + 104 + a = 5*o. Is o a composite number?
True
Let f(z) = -7*z**3 + 6*z**2 - 7*z + 1. Suppose -3*l = 2*l + 25. Is f(l) a prime number?
True
Let t(h) = 53*h**2 + 2*h + 3. Is t(-2) a composite number?
False
Let p(u) = 6*u**3 + 4*u - 3. Suppose -2*v = 0, 5*o - 2*v = 15 - 5. Is p(o) a prime number?
True
Suppose 12*s = 16*s - 2252. Is s a composite number?
False
Let v(d) be the third derivative of d**5/60 + d**4/6 + d**3/2 + 3*d**2. Let f be v(-4). Is (6/f)/((-6)/(-339)) prime?
True
Let g = -4 - -1. Let a = g + 6. Suppose 92 = a*d + d. Is d a prime number?
True
Suppose 2*c = 341 - 73. Is c a prime number?
False
Let d(l) = l - 1. Let u be d(4). Let q(m) be the third derivative of 3*m**5/20 - m**4/8 - m**3/2 - m**2. Is q(u) a composite number?
True
Suppose -4*d + 4374 = 5*f - 4171, 5*d - 8545 = -5*f. Is f a composite number?
False
Let j = 5 - 3. Let i(h) = 4*h. Let y be i(j). Suppose -4*l = -k + y - 216, -2*l + 3*k = -114. Is l a composite number?
True
Suppose -215 - 202 = -l. Is l prime?
False
Let y = 124 + 26. Suppose 0 = 2*s + y - 596. Is s prime?
True
Suppose -3*c + 183 = -21. Suppose -52 = -2*s - 0*s + 5*i, i = 2*s - c. Let d = s + 1. Is d a composite number?
False
Suppose q - s + 7 - 18 = 0, 0 = -2*q - 3*s + 12. Let w(n) = -n**3 + 0*n + 9*n**2 - 12 - n + 4*n. Is w(q) composite?
True
Let i(p) = 10*p + 1. Let n be i(20). Suppose 3*q = -0*q + 396. Let z = n - q. Is z prime?
False
Suppose -4*w - 12 = -3*b + 4*b, -2*w = b + 16. Let h = -13 - b. Let y = h + 4. Is y prime?
True
Suppose 4*a = -5*k + 18, 4*k - 4 = 4. Suppose -156 = a*r - 6*r. Is r a prime number?
False
Let d(o) = 4*o**3 + 2*o - 3. Let y be -2*(6/4 - 1). Let q be (0 - (y - 0)) + 2. Is d(q) prime?
False
Let s = -15 - -26. Let d = 30 - s. Is d composite?
False
Let k be 2*1 + (-13 - -5). Let f be (k/15)/((-2)/10). Is f/(-8) - 618/(-8) prime?
False
Let z be (50/15)/(2/177). Let r = z - 198. Is r prime?
True
Let t(n) = 4*n**3 + n**2 + n - 1. Let c = -4 + 6. Is t(c) a composite number?
False
Let f be (-33)/(-7) + (-8)/(-28). Suppose -5*l + 28 + 22 = -f*a, l = 3*a + 16. Is l a prime number?
True
Suppose -y - 10 = -3*l, 5*l = 2*y + 15 + 1. Suppose -y*s + 111 + 179 = 0. Is s a composite number?
True
Let z be 2/(-8) + 135/(-20). Let r = 7 + z. Suppose -3*t - 5*a + a + 257 = 0, r = -3*t + 5*a + 212. Is t composite?
False
Let b(m) = -m + 353. Let n be b(0). Suppose -5*y + n = 3*a + 12, -4*y + 264 = -2*a. Is y a composite number?
False
Let y = 821 + -466. Is y a prime number?
False
Let w be 8/4 + 2 + -2. Is 9 - 8 - (-1 - w) prime?
False
Let r(a) = -a**3 + 17*a**2 + 21*a + 39. Is r(16) a composite number?
False
Suppose 3*t + 0*t + 5*f = 53, 4*f = -t + 13. Suppose -p - 6 = -t. Is p composite?
True
Let p = 4 - 1. Is p - 19/(-1) - -1 prime?
True
Suppose 3*d - 26906 = -5*x, -3*d - d = 4*x - 21520. Is x composite?
True
Suppose -3*w = -2*w - 147. Let c = -58 + w. Is c a prime number?
True
Is (-5126)/(-3) - ((-40)/15)/8 a composite number?
False
Let c = 568 - 221. Is c a prime number?
True
Suppose -3*t = -f - 1083, 3*t = 2*t - 5*f + 361. Is t a composite number?
True
Is 2*((-1095)/(-2) - (-4)/2) a composite number?
True
Let j = -5 + 5. Suppose -h + j = -2. Suppose 0 = 2*s - 3*c - 9, 3*s - 3*c = -h*s + 18. Is s prime?
True
Suppose 0*t = -5*c + t - 12, 0 = -5*c - 5*t. Let l = -3 - c. Is l*(1*-27 - -2) composite?
True
Let m be (-3)/(18/(-8) + 3). Let g(l) = -l**3 - 4*l**2 - 4*l + 5. Is g(m) a prime number?
False
Suppose -9 = 4*p - c, -21 = 5*p - 0*p + 2*c. Is 1*30/(-9)*p prime?
False
Let m(w) = -w**3 + 3*w**2 + w - 1. Let c be m(3). Suppose 4*q - 50 = c*q. Suppose -x = -26 - q. Is x a composite number?
True
Let k(z) = -z**3 + 2*z**2 + 6*z - 5. Let l be k(6). Let j = l - -192. Is j a composite number?
False
Let x(k) = 31*k + 6. Is x(8) composite?
True
Suppose 7*k - 2*k - 15 = 0. Suppose k*v = -5*s + 71, -s - 2*s - 2*v + 43 = 0. Is s a prime number?
True
Let i(d) = 2*d**2 + 7. Is i(9) a prime number?
False
Is (-1)/(60/(-8)) + 39853/15 prime?
True
Let r = 2 - -3. Suppose -7*y + 86 = -4*y + 5*f, -2*y + 99 = -r*f. Is y a composite number?
False
Let k(o) = o - 3. Let x be k(6). Suppose 0 = x*s + 2*s + 4*m - 62, -3*m + 19 = s. Suppose 2*t - 12 = s. Is t composite?
False
Let g be 0*(-1)/(-3 + 2). Let c = 5 + g. Suppose 0*l - c*l + 115 = 0. Is l composite?
False
Let y(f) = 4*f**2 + 2*f + 1. Is y(13) composite?
True
Suppose 20 = 2*z - 4*z. Let h(f) = -f**3 - 5*f**2 + 0*f**2 - 11 - 2*f**2 + 8*f. Is h(z) prime?
False
Suppose 2*p - 4 - 2 = 0. Let u be 1/p*(-1 + 4). Is u/(-1) - (-8 + -7) composite?
True
Let m be (-18)/(-4)*(-66)/9. Let f = m + 78. Let r = f - 26. Is r prime?
True
Suppose z + 328 = 5*z. Suppose -99 = -3*f - 5*c, -4*c + z = 5*f - 83. Is f a prime number?
False
Let r(j) = 252*j - 1. Is r(1) composite?
False
Let u = -6 - -7. Is 1/(u + (-84)/85) prime?
False
Suppose 0 = -4*o + 2*o + 6. Let x(d) = d**3 - 2*d**2 + d + 2*d + o - 7*d. Is x(4) prime?
True
Let c(j) = j**2 + 4*j - 5. Let m be c(-5). Let w(l) = l**3 + l**2 + l + 105. Let z be w(m). Suppose h + z = 4*h. Is h a prime number?
False
Let l(t) = -22*t + 11. Is l(-6) a composite number?
True
Suppose 1242 = 3*z + 3*z. Let g(a) = -a**3 + a**2 - a - 94. Let k be g(0). Let h = k + z. Is h a composite number?
False
Suppose 31 = -5*u + 4*f, -2*u - f - 6 = 9. Let z be 55/(-4) + (-2)/8. Let w = u - z. Is w composite?
False
Let i = 730 - 463. Is i a composite number?
True
Suppose 5*u + 5*p = 0, -5*p - 1 = -4*u + 26. Suppose 2*x - 2 = 3*f + 4*x, -5*f - u*x = 3. Suppose f*z + 20 = 5*z, 3*y + 4*z - 127 = 0. Is y a prime number?
True
Let t(j) = j - 5. Let h be t(7). Suppose 222 = h*y - 0*y. Is y composite?
True
Let p(v) = -7*v**2 + 5*v + 5. Let i be p(-7). Let q = -262 - i. Suppose -q = -3*b - 0*b. Is b prime?
True
Let k(b) be the second derivative of 1/4*b**4 - 1/20*b**5 + 2*b + 5/6*b**3 + 3/2*b**2 + 0. Is k(4) a prime number?
True
Suppose 0 = -4*m + v + v + 94, -m - 5*v + 40 = 0. Is m a composite number?
True
Is (-56)/(-476) + (-94686)/(-34) a prime number?
False
Let j(f) = f**3 + 6*f**2 - f + 14. Let v be j(-6). Suppose 5*q + 4*w - 2025 = 0, -2*w - 2*w = -v. Is q composite?
False
Let t(z) = 7*z**2 + 11*z - 12. Let r be t(-13). Suppose 6*x - r = 262. Is x a prime number?
False
Let x(d) = -d**2 - 6*d - 4. Let m be x(-6). Let b = m - -4. Suppose b = -2*c + 44 + 126. Is c composite?
True
Let z = -815 - -1203. Suppose z = 2*g + 4*t, g + 5*t - 582 = -2*g. Is g prime?
False
Let y = -3 - -3. Suppose 0 = -v + 3, y = -5*o + 3*v + 186. Is o composite?
True
Let k(l) be the first derivative of 13*l**4/2 - l**3/3 + l**2/2 - 3. Is k(1) prime?
False
Let s(g) = g**2 - 2*g - 1. Suppose -3*l - 8 = 3*t - 4*t, t + 3*l + 10 = 0. Let d be s(t). Suppose a = d*w + w - 250, 0 = 4*a + 4. Is w a prime number?
True
Suppose 10*f = 7*f + 582. Is f a composite number?
True
Let h(c) = -c**3 - 5*c**2 + 10*c - 3. Let b be h(-7). Let v = 8 + b. Is v prime?
False
Let s(k) = 36*k - 23. Let h(a) = 12*a - 8. Let y(u) = 8*h(u) - 3*s(u). Is y(-12) a prime number?
True
Let g(q) = -12*q. Let t be g(2). Let o = t + -19. Let k = 69 + o. Is k a composite number?
True
Let z(n) = -79*n. Is z(-5) a composite number?
True
Let a(w) = w - 1. Let x be a(3). Let l(u) = u**3 - 2*u**2 + 4*u - 3. Let v be l(x). Suppose -o + f - 31 = -5*o, o - v*f + 8 = 0. Is o a prime number?
True
Let j = 0 - -4. Is 15/5*(j + 1) a prime number?
False
Let a = 408 + -15. Suppose 5*y - g = -0*g + a, -5*y + 385 = -5*g. Is y a composite number?
False
Is 2956 + (3 + -1 - -1) a composite number