
Let s(a) = -9*a - 7. Let n be (-4)/16 + (-111)/4. Let o = 20 + n. Is s(o) a composite number?
True
Let o = -1 + 3. Let d be 0/(-1) - o - -1. Is 3/(-3)*(-34 + d) prime?
False
Let b(n) = n**2 + 9*n + 9. Let a be b(-7). Let q = a - -9. Suppose 4*x + x - 5*p - 115 = 0, q*p = -3*x + 55. Is x prime?
False
Let i be (-35)/(-2)*(-8)/(-10). Suppose b = -i + 104. Suppose 0 = 3*y - b - 75. Is y prime?
False
Is ((-2)/3)/((-2)/207) prime?
False
Suppose 3*b = 7 + 5. Suppose b*s = s + 51. Suppose -3*i + s = -4. Is i a prime number?
True
Suppose 17 = -y + 3*f - 2, -4*y + 4 = 4*f. Is (3 + y)/((-2)/74) a prime number?
True
Let y = -145 + 388. Let b = y - 160. Is b a composite number?
False
Let i(w) = w**3 + 7*w**2 + 5*w - 4. Let b be i(-6). Suppose -2*z - 3*z + 20 = n, 5*z - 20 = b*n. Suppose n = -5*q - 0*q + 105. Is q prime?
False
Let o(l) = -2*l. Let v be o(-4). Suppose -x + v = 4*k, 2*k + 20 = 6*k + 4*x. Let p(a) = 21*a**2 + 1. Is p(k) a composite number?
True
Let c = -1 + 1. Suppose 2*q - q = c. Suppose 4*t - 360 - 284 = q. Is t prime?
False
Let j = 3135 - 416. Is j a prime number?
True
Suppose -q + 5*w = 3*q + 8, 0 = 3*q - w - 5. Let a(x) = 20*x - q - 131*x - 64*x. Is a(-2) a composite number?
False
Suppose 0 = -5*y + 673 + 22. Is y prime?
True
Suppose -4*m + 5*m = 0. Suppose -2*h + 7 + 1 = m. Is h composite?
True
Let w be 11/2*(5 + -1). Let m be w/18 + 2/(-9). Is -3 - -2*m - -204 a composite number?
True
Let t = -1765 + 3612. Is t a prime number?
True
Let t = 85 - -50. Suppose -p = 3*w - 27 - 37, 5*w = 4*p + t. Is w a composite number?
False
Is 2408/2 - (4 + 25/(-5)) prime?
False
Suppose 0 = -2*i - 2*p + 3136, -4*i + i - 2*p = -4699. Is i a prime number?
False
Let s(y) = 15*y**2 + y + 3. Is s(-4) prime?
True
Let i be (-27)/(-1 - -2) - -3. Is i/(-8) + 3*22 a prime number?
False
Suppose -121 - 173 = -3*f. Suppose 5*d = 3*d + f. Suppose -x + 64 + d = 0. Is x composite?
False
Suppose 0 = 2*w - 6*w. Suppose w*s = -s + 83. Is s a composite number?
False
Let r(o) = -o**2 - 2*o + 791. Let d = -11 + 11. Is r(d) prime?
False
Suppose -4*d + 2*j = -450, -3*d + j + 337 = -j. Is d composite?
False
Suppose 0 = 2*d + 3*x + 4, -5 = 5*d + 3*x + 2*x. Let h = d - -13. Is h composite?
True
Let t(k) be the first derivative of k**3 + 7*k**2/2 + 15*k - 3. Is t(14) prime?
True
Is 12711/6 - (0 - (-1)/(-2)) prime?
False
Let l be (-22)/(-6) + (-4)/(-12). Suppose -1 = q - 6. Suppose -q*c + l*p = -282, 4*p = 5*p - 2. Is c composite?
True
Suppose -g + 4*a - 6255 = -6*g, 5*g - 2*a = 6285. Is g/10 + (-3)/(-2) composite?
False
Let k be 26/4 - 6/(-4). Let p = k - 1. Is p composite?
False
Is (-1 + 3)*(-218)/(-8)*2 composite?
False
Suppose 3 = -3*c + 4*c. Let y(t) = -c*t - 3 + 2 + 42*t. Is y(2) composite?
True
Suppose -6*a + 7409 = -4693. Is a a prime number?
True
Let t(i) = -i**3 + 13*i**2. Let q be t(13). Suppose q = -2*m + 14 + 66. Suppose -a + 19 = -s, -2*a - 2*s + 6 = -m. Is a a prime number?
False
Suppose -3*o - 973 = -0*u + 4*u, 1245 = -5*u + 2*o. Let f = u - -458. Is f a composite number?
False
Let h(m) = -m**3 - 3*m**2 + 3. Let k be h(-3). Suppose k*p + 0*p - 159 = 0. Is p a prime number?
True
Let k = -1 - 0. Let z be (-7)/k - (0 - 0). Suppose z*s - 3*i = 2*s + 104, s + 2*i - 13 = 0. Is s prime?
True
Let w = 12 - 5. Let o(h) = 4*h - 5. Is o(w) prime?
True
Is 7572/8*(-6)/(-9) composite?
False
Let n = 18 + -6. Is 479/9 - n/54 composite?
False
Let y(l) = -2*l + 8. Let a be y(6). Let z = a + 5. Is 85/z + (-1 - -1) composite?
True
Let s(n) = 4*n**2 + 4*n**2 - 5 - 3*n**3 + 0*n**2. Let z be s(6). Is (-1)/(-2) - z/10 composite?
False
Is (-19)/((2/(-8)*-4)/(-1)) prime?
True
Suppose 0*b = -3*b + 12. Suppose 0 = -f + b*f - 42. Is f prime?
False
Let y(u) = 4*u**2 + u. Let f be y(1). Suppose 4*z - 5*i = 321, z + 173 = 3*z - f*i. Suppose g = z - 21. Is g a composite number?
False
Let a(n) = 86*n**2 + 1. Let y be a(-1). Suppose -g = -2*g + y. Is g a composite number?
True
Is 2 - (3 + -54 - -2) a prime number?
False
Let d(i) = -329*i + 29. Is d(-4) a composite number?
True
Suppose l + 3*x - 18 = 57, 4*l - 344 = -x. Suppose -2*k - 2*k - 5*b = -121, l = 3*k + 3*b. Let d = 67 + k. Is d a composite number?
True
Let m = -21 - -260. Is m a composite number?
False
Let o = -585 + 852. Suppose -82 = 5*y - o. Let q = y + 14. Is q a prime number?
False
Suppose 5*v = 2*v - 42. Is (-2090)/v - (-4)/(-14) a prime number?
True
Let g(n) be the second derivative of n**3/6 + 2*n. Let p be g(4). Suppose 0 = -p*m - 450 + 1214. Is m composite?
False
Suppose 3*k - 2*k - 1 = 0. Suppose 0 = 10*s - 12*s. Suppose o - 8 + k = s. Is o composite?
False
Let z(s) = 73*s**2 - s - 1. Let d be z(2). Let x = d - -264. Is x prime?
False
Suppose 2*r + 1 = z - 10, z = 4*r + 21. Let j(n) = n**3 + 8*n**2 + 4*n - 6. Is j(r) prime?
False
Let g be 4/10 + 3/5. Suppose o = 3*n + g, -o + 6 = 4*n - 6*o. Let f = n + 4. Is f prime?
True
Let l = 22 + -13. Let z(p) = -p**3 + 8*p**2 + 8*p + 12. Let f be z(l). Suppose 9 + 48 = f*v. Is v a prime number?
True
Suppose -4*i = -7*i + 45. Suppose -i = 5*l - 0*l. Is l/9 - 464/(-6) a composite number?
True
Suppose 6 = 4*c - 2, 21 = 5*l - 2*c. Suppose -d + 83 = -l*s, -2*d - 2*d = -s - 332. Is d a prime number?
True
Suppose -2*g - 222 = -3*a + g, 4*a - g = 281. Is a a composite number?
True
Suppose 3*w - 8 = 7. Suppose -w*g + 5*q = -55, 2*q - 3*q = 4*g - 34. Is g composite?
True
Let n be (-5 + 7)/(1/1). Suppose -2*v + 534 = n*d, 4*v - d + 295 = 1373. Is v composite?
False
Suppose -5 = -4*g - 5*s - 0, 1 = 4*g + s. Let c be 354/6 + g + -1. Let w = c - -25. Is w a composite number?
False
Let s(n) = n**3 - 3*n**2 + n + 4. Let g be s(3). Let x(c) = c**3 - 5*c**2 + 10*c - 5. Let a be x(g). Suppose -5*i + a + 82 = 0. Is i composite?
True
Let k(x) = -x**3 + 3*x**2 + x. Let s be k(3). Suppose s*a - 875 - 382 = 0. Is a a composite number?
False
Let x(n) = -55*n**3 + n**2 - n + 1. Let b be x(1). Is (-1)/((-1)/(-1 - b)) a prime number?
True
Let z = 204 - 89. Suppose -3*x + 2*x = -z. Is x a prime number?
False
Suppose 18*f = 20*f - 106. Is f a composite number?
False
Is (-1 - 8/(-6)) + 55128/18 prime?
False
Let i = -153 - -302. Is i a composite number?
False
Suppose 4*l + 2*r = -3 + 641, -4*l = 4*r - 632. Is l composite?
True
Suppose 4*t - 5*y = 28, 4*t + 8 = -3*y - y. Suppose 75 + t = r. Is r prime?
False
Suppose -3*y + 552 = -219. Is y a composite number?
False
Suppose -9945 = -5*k + 5*p - 0*p, -4*k - 3*p + 7984 = 0. Is k composite?
False
Let i(t) = -85*t + 7. Is i(-4) a composite number?
False
Let a(t) = t - 2. Let l be a(3). Let q be 966/(-2) - (1 + l). Is 10/(-35) - q/7 prime?
False
Suppose -2*z + 5*t + 254 = 65, 0 = 4*z - 2*t - 386. Is z composite?
False
Suppose -3*q - 432 = 1143. Let f = -316 - q. Is f prime?
False
Let m(p) = -p - 8. Let n be m(-12). Let d(j) = 62*j**2 - j - 1. Let h be d(-1). Suppose -h = -n*z + 22. Is z a prime number?
False
Let f(t) = -t**2 + 5*t. Let o be f(5). Suppose 0 = 2*n + 8, o*n - 29 = -3*j + 5*n. Suppose 3*g - 8*g + 3*m = -252, 3*g + j*m - 156 = 0. Is g a prime number?
False
Let t be (4 - (-1 + 1)) + 1. Suppose 0 = 4*o - t*o - 5. Is -7*3/3*o composite?
True
Let r(f) = 3*f**2 - f + 15. Is r(17) a prime number?
False
Let y(o) = -5*o**2 - 5*o**2 + 5*o**2 - o**3 - 6*o**2 + 13 - 13*o. Is y(-10) a composite number?
False
Suppose -s = 52 + 12. Suppose 2*t - t = 123. Let y = s + t. Is y a prime number?
True
Let f = 2564 + -1533. Is f a composite number?
False
Let t(z) = z**3 + 13*z**2 + 11*z + 11. Let b(s) = -s**2 + s. Let w(x) = b(x) + t(x). Let m be w(-11). Suppose -3*u + 0*u + 627 = m. Is u a composite number?
True
Suppose 0 = h + 4*x - 2, 3*h + h = 3*x + 8. Suppose 0 = 2*k + h*d - 202, -396 = -4*k - 0*d - 2*d. Is k prime?
True
Suppose 5*l = -3*v + 1694 + 20, -3*v + l = -1684. Is v prime?
True
Let x be -7 + 3 - -3 - -10. Is (6/x)/((-4)/(-1422)) prime?
False
Suppose -3*a = -12 - 0. Let o(r) = r + a - 5 - 37*r. Is o(-2) a prime number?
True
Suppose 4*r - 6 = 6*r + 4*w, 3*r + 6 = -5*w. Is r a prime number?
True
Let u = 30 + -48. Let c = 32 + -50. Is u*-2*(-3)/c a prime number?
False
Let m(l) = 2*l**2 + 2 + 0*l**3 + l**3 + 2*l - 2*l**3 - 4. Is m(-3) composite?
False
Suppose 71*b + 3997 = 72*b. Is b composite?
True
Suppose -3*v - 46 = -19. Let o = 19 + v. Is o composite?
True
Let a(n) be the t