t j be 3 + (2 - 2 - 2). Let b be (j + 2)*341/3. Let m = b - 214. Is m a composite number?
False
Let o = -11 + 4. Let b be (-5860)/28 + (-2)/o. Let p = 14 - b. Is p prime?
True
Suppose -4*h + 144 = -124. Is h prime?
True
Let m(w) be the first derivative of w**3/3 - 7*w**2/2 - 13*w - 1. Let q be m(9). Suppose 3*l - q*a = 79, -a + 5 + 32 = l. Is l a prime number?
False
Let i(z) = 2*z**3 - 7*z**2 + 15*z + 19. Is i(12) prime?
True
Suppose 0 = -2*k + 9 - 1. Suppose -k*n + 343 = -229. Is n composite?
True
Suppose -2*n - n = -12. Let l(j) = j + 1. Let t be l(1). Suppose 20 = n*o - t*o. Is o a composite number?
True
Is 3/2 - (-2332)/8 a prime number?
True
Let n be 2/(-5)*(2 - 7). Suppose -4*i = -2*i - 66. Suppose -n*c - c = -i. Is c composite?
False
Suppose -16 = -4*z + 4. Let i(y) = 2*y**3 - 3*y**2 - 3*y - 4. Let h be i(3). Suppose -2*s - 3*a - 2 = -5, z*s + a - h = 0. Is s a composite number?
False
Suppose -3*i - 2*m + 230 + 67 = 0, 0 = i - 2*m - 107. Suppose p + 2*q - 35 = 0, -4*p - 4*q + i = -p. Is p a prime number?
True
Let d(c) = -6*c**3 + c**2 + 2*c + 1. Let g be d(-1). Let x(s) = s + 13. Let f be x(-9). Is 474/f + 3/g prime?
False
Let x(m) = -m + 104. Let v be x(0). Suppose -q - 297 = 3*s - 75, 3*q - 64 = s. Let j = v + s. Is j prime?
True
Let x = -5 + 9. Suppose -8 = x*u + z, 4*u - 2*z + 28 = 2*z. Is (32 - -1)/(u/(-2)) prime?
False
Let z be (12/(-2))/((-2)/(-54)). Is -2*3/(-6) - z prime?
True
Let s(f) = f - 3. Let u be s(8). Suppose 0*v - 3*v = 4*p - 307, u*p + 2*v = 389. Is p prime?
True
Suppose -3*u + 5 + 4 = 0, 4*b = 4*u + 608. Is b composite?
True
Let g be 2884/(-18) + 30/135. Let c = -77 - g. Is c composite?
False
Let w be (2 - 0)*-2 + 2. Let o be (-3)/(3/(-44)) - 2. Is (3 + w)*o/2 a composite number?
True
Suppose 4*k - 1114 - 4446 = 0. Suppose -4*y = -k - 310. Let t = y - 208. Is t prime?
False
Let n(q) = -q - 2*q + 1 - 4*q**2 + 6*q**2 + 2*q**2. Is n(-6) a composite number?
False
Let g(l) be the second derivative of 13*l**5/60 + l**3/6 + l**2 + 2*l. Let b(t) be the first derivative of g(t). Is b(2) prime?
True
Let k(t) = -23*t - 1 + 4 - 2 - 3*t. Let b = -6 + 4. Is k(b) prime?
True
Let j(f) = 4496*f - 3. Is j(1) prime?
True
Let d(s) = -s - 3. Let t(f) = f + 2. Let y be t(-7). Let k be d(y). Is k + (-2)/(4/(-98)) composite?
True
Let m = -111 + 165. Let f = m - 32. Is f a prime number?
False
Suppose 2*i - 5*t - 36 = 387, 4*i + 5*t = 771. Is i a composite number?
False
Let r = 118 + 13. Is r a composite number?
False
Let r(y) = 8*y - 9. Is r(4) composite?
False
Suppose 0*x = i - 3*x - 21, -5*x = -i + 31. Is (-6)/9 - (-142)/i prime?
True
Suppose 0 = -4*j - 4, -4*j = -2*n + 650. Is n a prime number?
False
Suppose 14 + 6 = -b - 3*m, 2*b = -4*m - 34. Let s(a) = -a**3 - 11*a**2 - 2*a + 11. Is s(b) a composite number?
True
Let l(p) be the second derivative of -2*p**3/3 + p**2 - 4*p. Is l(-3) prime?
False
Let c be 4/10 - (-72)/20. Suppose -c*t = -f - 32 - 196, -2*t - 5*f = -136. Is t a composite number?
True
Let a(v) = 16*v**2 + 5*v - 37. Is a(12) composite?
True
Let s be (-2)/((-36)/447) + 8/48. Let r = 1 + -1. Let n = s - r. Is n prime?
False
Suppose 5*y - 28 = -13. Suppose 2*l + 171 = o, 0*o = 2*o - y*l - 347. Is o a prime number?
True
Let b = -6 - 1. Is (-596)/(-3) - b/21 a composite number?
False
Suppose x + 0*x = -4. Let m = x - -9. Suppose 0 = -4*w - m*i + 102, -w + i = -2*i - 17. Is w prime?
True
Suppose -r = 4*r - k - 4534, -4532 = -5*r + 3*k. Is r composite?
False
Suppose -4*y + 0*q + 2*q = -794, 0 = -4*y - 5*q + 829. Is y a composite number?
True
Let q be -1*1/(2/218). Let t = -27 - q. Is t + (1 - (3 + -5)) composite?
True
Suppose 0 = -2*s + 3*s + 49. Is (-14)/s - 19/(-7) a composite number?
False
Let y(o) = -o**3 + 5*o**2 + 2*o - 6. Let b be y(5). Suppose 3*f + 10 + 2 = 5*w, 5*w + 16 = -b*f. Suppose h - 3 + 0 = w, -5*z + 467 = 4*h. Is z prime?
False
Let u(i) = -693*i + 1. Let x be u(5). Let z be 4/(-18) + x/(-36). Suppose z = -5*j + 551. Is j prime?
False
Suppose -5 = n + 5*z + 2, -2 = z. Let m(i) = -1 + 2 + n + 6*i - 3. Is m(3) prime?
True
Let v(i) = i**2 - 4*i + 5. Let t be v(-4). Let q = 5 - 2. Suppose 2*h + 45 = 3*j, -24 = -4*j + q*h + t. Is j prime?
True
Let h be -1*(2 - 3) + 23. Suppose s - 28 = -4*g, -g - 5*s + h + 2 = 0. Is ((-212)/g)/((-2)/3) composite?
False
Suppose -l + 6 = a, -4*l + 10 = -2*l. Suppose 7 + a = 4*i. Suppose -c = -g + 17, -2*c + c = i*g - 40. Is g a composite number?
False
Let x(t) = -t**3 + 18*t**2 + 18*t - 13. Is x(16) composite?
False
Let d(z) = 2*z**2 - 12*z + 5. Is d(8) prime?
True
Let y(p) = -p**3 + 6*p**2 + 5*p + 4. Suppose 2*g = -2*k + 4, -4*k - 3*g + 14 = -2*g. Suppose k + 2 = h. Is y(h) a composite number?
True
Is 78 + 2/(8/4) a composite number?
False
Suppose -4*x + 16 = 0, -774 - 79 = t - 2*x. Let i be t/10 + 2/4. Let l = i - -161. Is l a composite number?
True
Let n be (-8)/(-40) - (-824)/5. Suppose 2*a + a - n = 0. Is a composite?
True
Let r be (-104555)/(-143) - (-4)/(-26). Suppose 4*h - r - 81 = 0. Is h prime?
False
Suppose 0 = -4*y - 4*k + 404, 7*y + 2*k - 514 = 2*y. Suppose 0 = -5*h + w + 468, 0 = 6*h - 5*h + 5*w - y. Is h a composite number?
True
Suppose -4*h + 7 = -5. Suppose -2*j - 1 = -h. Is 2*j + 28/4 prime?
False
Let k(s) = -2*s**3 - 9*s**2 - s + 1. Is k(-6) prime?
False
Let t(y) = -y**2 + 5*y + 6. Let f(x) = -x**2 + 5*x + 6. Let b(r) = -6*f(r) + 5*t(r). Let w be b(6). Suppose 0 = z - w*z - 13. Is z prime?
True
Let c(l) = l**2 - 5*l + 7. Let s(x) = x**2 - 4*x + 6. Let i(p) = -6*c(p) + 7*s(p). Let r be i(-5). Suppose t - r = 4. Is t a composite number?
False
Let s be (-5)/(-25) - (-2588)/10. Let a = s + -182. Is a a composite number?
True
Let q(v) = 66*v. Let u be q(7). Suppose 5*f - u = 173. Is f a prime number?
True
Suppose -5*u + 2210 = 2*g + g, 3*u = -5*g + 1310. Is u a prime number?
False
Suppose 5*v = 18 + 2. Let w = 7 - v. Suppose 8 = -y - y, -5*y = w*l - 517. Is l prime?
True
Suppose 3*f + 4*i + 4 = -9, f + i + 4 = 0. Let b(q) = q**2 - 12*q - 1. Let c be b(7). Let t = f - c. Is t a prime number?
False
Is ((-974)/(-4))/(1/10) prime?
False
Let f(g) = 5*g - 26. Is f(9) composite?
False
Let m = 963 - 328. Is m a prime number?
False
Let x be 6/4 - (-3)/6. Let z = x + -5. Is (1 - z) + (-1 - 0) a composite number?
False
Let g(p) = p. Let u be g(2). Is 4/2*39/u a prime number?
False
Let y be (2144/(-24))/((-2)/6). Suppose 0 = -b - 3*b + y. Is b a prime number?
True
Suppose q - 71 = -79. Let k be (-4 + -1)*(3 - 0). Let y = q - k. Is y prime?
True
Suppose 0 = 3*w - 4*m + 51, m = 3*m - 6. Let c = w - -59. Is c a prime number?
False
Let l(a) = a**3 + 8*a**2 - 10*a - 5. Let y be l(-9). Suppose y*w - 61 = p, -w + 5*p = 6*p - 14. Is w a prime number?
False
Let q = 1521 + -1077. Is (2/(-3))/((-8)/q) a composite number?
False
Suppose -5*g + a = 42 - 499, 5*g - 454 = 2*a. Suppose t = 4*p + p + g, 2*t = -4*p + 142. Is t prime?
False
Let n(j) = 2*j - j + 0*j. Let g be n(0). Suppose 0*h - 2*m - 31 = -3*h, m + 2 = g. Is h prime?
False
Let s(c) = -2*c**3 - 3*c**2 + 8*c + 5. Let g be s(-5). Suppose -47 = -n + g. Is n composite?
True
Suppose -2*k + 0*k - 20 = 0. Let g = k - -15. Let b = g + 10. Is b prime?
False
Suppose 3*j + 7*v = 2*v - 3, 5*j + 5 = -5*v. Is (j/(-2))/(2/492) a prime number?
False
Suppose -f - 2*f + 4 = 4*d, 0 = -3*f + 5*d - 5. Suppose f*j + j - 155 = 0. Is j prime?
False
Let c(g) = 4*g**2 + 5. Suppose 0 = -5*p - 0*p + 20. Is c(p) a composite number?
True
Suppose -4*b + 4*c + 124 = 0, 5*b + c - 97 = 52. Let o = 23 + b. Is o a prime number?
True
Suppose -5*h - 5*u = -2*u + 5, -9 = 3*h + 3*u. Suppose -2 = 3*w + 4*d - 10, 4 = -4*d. Suppose h*a - w*a = -38. Is a composite?
False
Let r(w) = -202*w**2 - 1. Let y be r(1). Let o = y + 298. Is o a prime number?
False
Suppose -3*v + 77 = q, 0*q + 5*q + 5*v = 415. Suppose k + k = q. Let z = k - 8. Is z composite?
True
Let s(h) be the first derivative of h**2/2 - 2*h - 4. Let i be s(6). Suppose -i*z - 380 = -1192. Is z a composite number?
True
Let c(i) = i**3 - 6*i**2 + 3. Let t be c(6). Suppose -3 = -3*m - 0*m - t*d, m - 4*d = 11. Suppose -5*f + 38 = j, 11 = 5*f - m*j - 15. Is f composite?
False
Suppose 31 = 2*g + 4*j - 43, -5*g - 5*j + 210 = 0. Is g composite?
False
Suppose 7 = -d + 2. Is (0 - 74)/(3 + d) composite?
False
Let l(b) = -5*b - 9. 