Let j be p(7). Let k(g) = -g**3 + g**2 + 2 + 11*g - 8*g**2 + 2. Is k(j) a composite number?
False
Let l be (0 - (-4)/(-3))*-3. Let t(q) = -q**2 - q + 14. Let m be t(-4). Suppose -5*b + 631 = l*y, b + 320 = m*y - b. Is y a composite number?
True
Is 1/((-3)/(-12)) + (-10 - -305) composite?
True
Let d(v) = -415*v - 21. Is d(-4) a composite number?
True
Let n(p) = p**2 + 3*p - 21. Is n(-11) prime?
True
Let d be (26/(-5))/((-2)/10). Suppose q + 20 = w - 4*q, 2*q - d = -3*w. Suppose 3*m - 20 = w. Is m a prime number?
False
Suppose -3*q = -6*q - 45. Let f be (12/10)/((-6)/q). Is (f - (-51)/1) + 3 prime?
False
Let k be (-2 + 4)/(2/109). Let q = -54 + k. Is q prime?
False
Suppose -2*h - h + 342 = 0. Let a = h + 49. Is a prime?
True
Let m(t) = -t**2 + 8*t - 6. Let s be m(5). Let c = 29 + s. Suppose 157 = 5*w - c. Is w a prime number?
False
Let m(k) = k**2 - 3*k. Let u be m(4). Suppose 211 = 3*f + 2*q, 0*f - 2*q = -f + 73. Suppose f = 2*t + u*l + l, t = 5*l + 43. Is t a prime number?
False
Let g(w) = -w + 7. Let f be g(6). Let n(m) = m - 1. Let s be n(f). Is s + (5 - 2/(-1)) a prime number?
True
Suppose 0 = f - 4, 2*a - 3*f + 5*f - 164 = 0. Suppose -2*o = -4*o + a. Let s = o + -2. Is s a composite number?
False
Is (2/3)/(34/6477) a prime number?
True
Suppose -s = -5*t - 3036, 3*t - t - 15045 = -5*s. Is s composite?
False
Let h = -43 + 1. Is (h/10)/((-2)/10) a prime number?
False
Let y(t) = 64*t + 7. Is y(3) a composite number?
False
Let i = 383 - 160. Is i a composite number?
False
Let y(v) be the third derivative of v**5/20 - v**4/4 + v**3 + 2*v**2. Let h be y(5). Suppose 2*a + 13 = h. Is a a composite number?
False
Let q be (-34)/6 - (-10)/15. Is 0 + 447 + (-9 - q) prime?
True
Let l(z) = -59*z + 51. Is l(-8) prime?
True
Let m(d) = -d**3 + 6*d**2 - 5*d. Let q(w) = w**2 - 4. Let f be q(3). Let y be m(f). Is y + (0 - -3) - -156 composite?
True
Is 1167/(-3)*(2 + -3) a prime number?
True
Suppose -52*w + 56*w = 1436. Is w a composite number?
False
Let u(p) = -p**3 + 5*p + 2. Let t be u(-3). Let o be t/6 - 2/6. Suppose o*y + 48 = 470. Is y prime?
True
Let j(i) = i**3 - 2*i**2 + 7*i + 7. Let o be j(6). Suppose 4*z = -8, -o = -5*r + z + 3*z. Is r a composite number?
False
Let m = -37 - 82. Let y = 230 + m. Is y a composite number?
True
Let x(q) = 224*q**2 + q. Is x(-1) a composite number?
False
Is 1/(4 - (-2673)/(-669)) prime?
True
Is 922*(8/4 + -1) composite?
True
Suppose 5*u - 120 = 5*o, 0*o - 3*u - 4 = o. Let y be o/(-4) + (-1)/(-4). Is (-37)/(-5) - 2/y prime?
True
Let j be (-8)/(-1)*1/2. Suppose j*a + 3*m = 281 + 115, 0 = 5*m + 20. Suppose -32 = -2*h + a. Is h prime?
True
Let u be 2/(-4)*(-228)/3. Let d = u + -19. Is (0 - 1/(-1))*d a prime number?
True
Suppose 0*h = -2*h + 76. Suppose -2*r - 3*r - 19 = -t, -2*t + 2*r + h = 0. Is t prime?
True
Let p be (2/(-5) + 1)*335. Let o = p + -122. Is o a prime number?
True
Let m = 564 - 3. Suppose 0*k - 3*k = -m. Is k composite?
True
Let p(u) = -u + 2. Let a be p(2). Suppose 20 = 4*s - a*s. Suppose 8*d - s*d - 537 = 0. Is d composite?
False
Suppose y = 6*y + 30. Is 291/y*1*-6 prime?
False
Is ((-2)/4)/(17/(-2006)) a composite number?
False
Let o be 1 + 0 - 10/(-5). Suppose 77 = o*s - 49. Suppose 3*b = -0 - 15, 4*j - s = -2*b. Is j composite?
False
Let c be 8/3*(-3)/(-2). Suppose -5*z + 528 = -c*u - 61, 5*u + 725 = 4*z. Is (u/6)/(2/(-4)) a prime number?
True
Let w = 7529 - 3280. Is w a prime number?
False
Let t(r) = -3*r - 9. Let v be t(-6). Suppose v*c = 4*c + 155. Is c prime?
True
Suppose -3*a = 5*z - 409, -3*z + 116 = -5*a - 143. Is z a prime number?
True
Let i be 3 + 2 - (-3)/(-3). Is (-1)/((i/37)/(-4)) prime?
True
Suppose -6*x - 4*x = -1430. Is x a composite number?
True
Let s(j) be the second derivative of 5*j**4/12 + 3*j**2 + 3*j. Is s(-5) a composite number?
False
Let h = -91 + 61. Let b be h/(-4)*(-4)/(-6). Suppose -b*d + 33 = -42. Is d composite?
True
Let a(h) = h**3 - h**2 - 2*h + 2. Let i be a(2). Suppose 30 = 5*u + 4*m - 0*m, 60 = 5*u - i*m. Is u a prime number?
False
Let b(h) be the first derivative of 19*h**3/3 - h**2 - 3*h + 5. Is b(4) prime?
True
Suppose -3*j = -2*j + 3*g - 9, 0 = 2*g + 8. Suppose -2*i - 3*c + 86 = -j, -55 = -i - 2*c. Is i a composite number?
True
Suppose s + 4 = 1. Let a(o) = 2*o**2 + 1. Is a(s) prime?
True
Let f(z) be the second derivative of 1/2*z**2 - 2*z + 5/3*z**3 + 0. Is f(3) prime?
True
Let f(o) = -248*o - 1. Is f(-3) composite?
False
Let b = 967 + -650. Is b a composite number?
False
Suppose 3*h + 1 + 8 = 0. Let u(d) = d**2 + 5*d - 2. Let s be u(h). Let r(q) = -5*q - 7. Is r(s) composite?
True
Let i(w) = w + 4. Let h be i(-2). Is 46*(2/2)/h a prime number?
True
Suppose -1 = u - 3. Let o be 9 - 6 - 8/2. Is (84/3)/u - o a composite number?
True
Is (-9534)/(-30) + 4/(-5) a prime number?
True
Let b = -523 - -830. Is b a composite number?
False
Let z = -16 + 40. Suppose 4*m - z = 60. Is m prime?
False
Suppose -844 = -4*h + 3*b + 2*b, 0 = 2*h + 5*b - 422. Is h a prime number?
True
Suppose -3*h = j + 3*j - 361, -3*h + 2*j + 337 = 0. Is h a composite number?
True
Suppose 3*w + 580 + 389 = 0. Let o = 742 + w. Is o a composite number?
False
Let c(y) = -y**2 + 8*y + 2. Let i be c(8). Is 188 + (i - (-3 + 2)) a composite number?
False
Suppose 3*t = -2*h + 127, -3*h + 3*t + 200 = -2*t. Is h a composite number?
True
Let s(z) = -165*z - 18. Is s(-7) a composite number?
True
Suppose 3*o + 2*t = 14, 2*o + 0*t - 5*t = -16. Suppose -4*q = -o*q - 170. Is q composite?
True
Let c be 3/(-12) + 5828/16. Suppose 5*i - c = 341. Is i a composite number?
True
Let g = 4 + -2. Let u be 0 + g/1*3. Suppose -u*d + 3*d + 401 = 5*v, -320 = -4*v - 2*d. Is v a prime number?
True
Is 422 + (-1 - (2 - 0)) a composite number?
False
Is 7 - 5 - (-256 + -1) composite?
True
Let b be (-6)/27 + 174/54. Suppose 0 = b*t - 3*k - 1215, 2*t + 2*k = 5*t - 1211. Is t a composite number?
False
Suppose -7*b + 191 = -6*b. Is b a composite number?
False
Suppose -v + 2*k = -3*k - 78, -v - 3*k + 38 = 0. Is v prime?
True
Let n be 1*8/(-4) + 17. Is 10/n - 505/(-3) a composite number?
True
Let n = -2 - -2. Suppose -2*r + 3*j + 242 = n, r + 41 - 160 = 2*j. Is r prime?
True
Suppose -3*u - 919 = -4*u. Is u a prime number?
True
Let b be (24/(-10))/(2/(-5)). Let k = -12 + 21. Suppose 5*n = b + k. Is n a prime number?
True
Suppose 17 = -4*s - 15. Let o = 6 + s. Is (-1)/(-3 - o)*33 composite?
True
Let l(x) = -x**2 + 5*x + 4. Let h be l(7). Let s = h - -57. Is s a prime number?
True
Let x(k) = -3*k**2 - 19*k - 16. Let i be x(-12). Let u = i + 487. Is u a composite number?
True
Suppose 3 = 4*f + 11. Let q be 2036 - f*(-2)/(-4). Suppose -3*z - 5*t = -q, 3*z = -0*t - 4*t + 2037. Is z composite?
True
Let w(n) = 4*n**2 + 5*n**3 - 4*n**3 + 2*n - 7*n + 0*n**3 + 6. Let j be 5/2*-2*1. Is w(j) prime?
False
Let u = -7 - -11. Suppose 2*p = u*p + 2. Let w(n) = -12*n - 1. Is w(p) a prime number?
True
Let z(r) = -79*r - 12. Is z(-7) a prime number?
True
Suppose 10 = -4*h - h, -4*m + 5*h + 1502 = 0. Is m a prime number?
True
Let b(s) = s. Let k(d) = -13. Let p(q) = 6*b(q) + k(q). Is p(6) a prime number?
True
Let k(s) = s**2 + 12*s + 7. Let i be k(-12). Let o(l) = l**2 + 5*l + 7. Is o(i) a composite number?
True
Let s(z) = -1 + 0*z - 23*z + 3. Let c be s(-2). Is c + -2 + (1 - 0) a prime number?
True
Suppose 4*r = -5*a + 2487 - 487, -r + 500 = -3*a. Let i = r + -355. Is i a prime number?
False
Let m(g) = 50*g + 3. Let d be (0/(-2 - -4))/(-2). Suppose 5*f - 6 - 14 = d. Is m(f) composite?
True
Suppose -7 = -5*x - c, 3*x + 2 = 3*c - 1. Let u = 3 - x. Suppose 0*q = -u*q + 22. Is q composite?
False
Let x(i) = -77*i + 2. Is x(-19) a prime number?
False
Suppose h - 5*x = -2*h + 2136, 0 = 5*x - 15. Is h prime?
False
Suppose 12*b = 10*b + 4666. Is b a prime number?
True
Let x(y) = 1 - 13*y - 5*y - 16*y + 4*y. Let i be -6 - (-1)/(3/6). Is x(i) a prime number?
False
Let p be (-1 - 0)*(-15 - -12). Suppose 5*n + 2*h - 107 = 0, -p*n - 2*h = -105 + 40. Is n a composite number?
True
Let d = -13 + 15. Is (56 + (-1 - d))*1 prime?
True
Suppose 0 = -2*v - 2*t - 20, -t + 25 = -3*v + t. Is 3066/54 + (-2)/v a prime number?
False
Suppose -12453 = -8*b + 11531. Is b a composite number?
True
Suppose c = t - 7, -4*c = 5*t - 6 - 29. Suppose -3*v - 276 = -t*v. Let j = v + -38. Is j prime?
