1 = 2*i - 3*i, 2*i + 3*s - 981 = 0. Suppose -r = -4*r + i. Is r prime?
True
Suppose s = -4*c + 2*s + 880, 5*c - 5*s - 1100 = 0. Suppose 3*a = 35 + c. Is a composite?
True
Is (-264)/(0 + -2) + -1 prime?
True
Let f(s) = 2*s**3 + 5*s**2 - 4*s + 2. Let g be (-1)/4 + (-78)/(-24). Is f(g) a composite number?
False
Let r(g) = g - 8. Let b be r(4). Let h be ((-13)/3)/(b/36). Is (1 - -7)*h/12 composite?
True
Suppose y - 6*y = -605. Is y a prime number?
False
Let w(g) = -4*g + 8*g**2 + 4*g**2 + 4*g**2 - 3. Suppose -4*u - 13 = -p - 0*p, 5*p - 31 = 3*u. Is w(u) a composite number?
True
Suppose -732 - 443 = -5*h. Is h prime?
False
Suppose f - 3*j - 1328 = 0, 2*j - 7 = -1. Is f a composite number?
True
Let g be (-6)/(-27) - 6710/(-18). Let i = g - -40. Is i composite?
True
Let f = -91 + 263. Let n = f + -123. Is n prime?
False
Suppose 8 = 2*s - 0*s. Suppose -s*c + 446 = -198. Is c prime?
False
Suppose 5*k - 2955 = 4*m, -2*k - 3*m + 876 = -283. Is k a composite number?
False
Suppose -q = -27 - 4. Suppose -1486 = -3*b - q. Is b prime?
False
Suppose a + 0*a = 5*o + 89, 2*a + 2*o - 214 = 0. Let z = 181 - a. Is z a composite number?
True
Let v(h) = h**3 - 8*h + 16. Is v(7) composite?
True
Let h(k) = -1307*k + 3. Let p be h(-3). Suppose 5*g - u = p, 2 = -4*u + 6. Is g prime?
False
Suppose -5*m = -3*r + 2*r - 3549, 693 = m + 4*r. Is m a composite number?
False
Suppose -406 = -h - h. Is h a prime number?
False
Let n = 592 - 329. Is n composite?
False
Let p = 2 + 1. Suppose -2 = -f - 0, b + p*f = 209. Is b prime?
False
Let t(w) = -w**3 + 6*w**2 - 4*w - 2. Let a(u) be the first derivative of u**3/3 + u**2/2 - u + 3. Let s be a(2). Is t(s) a prime number?
True
Let v(b) = 405*b**2 - 3*b - 1. Is v(-3) a composite number?
True
Let r be ((-14)/(-35))/(1/5). Suppose x - 59 = -r. Is x prime?
False
Let j = -16 - -67. Is j a prime number?
False
Suppose x - 3148 = c, 2*x - 6425 + 159 = -4*c. Is x a composite number?
True
Is -3 - -3 - 962/(-2) prime?
False
Suppose 4*b - 8 = 8. Suppose 14 = b*j - j + 4*m, 2*j = 3*m + 15. Let p(r) = 2*r**2 - 10*r + 7. Is p(j) a prime number?
True
Suppose -2 = -2*g + 4. Suppose 0*o + 138 = g*o. Is o prime?
False
Suppose -207 = -4*n + 333. Suppose -2*z = -5*z + n. Suppose 4*p - 361 + z = 0. Is p a prime number?
True
Let s(l) = 14*l + 11. Is s(6) composite?
True
Suppose -3*o + 2*o + 7 = 0. Let a(g) = 4*g**2 - 9*g + 6. Let s be a(o). Suppose 0 = 2*k - 219 - s. Is k a composite number?
False
Let b be ((-20)/50)/((-2)/(-10)). Let n be 3/(12/(-10))*-14. Is 1*b/(-2)*n prime?
False
Let r = 1763 + -924. Is r composite?
False
Let n(r) = r**3 + r + 12. Let t be n(0). Suppose 5*z = 5*j - 5, -1 = 4*z + j - t. Suppose -z*u + 75 = 5*l, -l - 2 = -3*l. Is u a composite number?
True
Let h = 221 + 146. Is h composite?
False
Suppose v = -v - 4. Is 0 + (-252)/v + 1 a prime number?
True
Suppose 6730 = 17*w - 2688. Is w prime?
False
Let r(j) = 44*j**2 - j + 1. Is r(-2) a composite number?
False
Let c(l) = -l**3 - 7*l**2 - l - 6. Let n be c(-7). Let x = n - -3. Suppose 2*z - 438 = x*k, -3*z + 391 + 258 = -4*k. Is z prime?
True
Let k = -183 + 824. Is k a composite number?
False
Suppose -3*n = -4*c + 5 - 0, -4*n + 3*c - 16 = 0. Let w(z) = -z**3 - z**2 + 9*z - 10. Is w(n) a composite number?
True
Suppose 5*k + 2*b - 117 = 0, -k + 116 = 4*k + b. Suppose 0 = 2*f + k - 65. Is f a prime number?
False
Let d = -1781 + 2530. Is d composite?
True
Suppose 4 - 2 = r. Suppose -k = 4*v - 15, r*v - 10 = -3*v. Is k prime?
True
Suppose 2*a - 5*t - 17 = a, 0 = -4*a - 5*t - 32. Let n be (2 + -3)*-1 - a. Is (10/(-15))/(n/(-354)) composite?
False
Let l be ((-11)/(-2))/((-2)/4). Suppose 0 = 3*a - 0*a - 78. Let w = l + a. Is w a prime number?
False
Suppose 2459 = 5*a - 3*k, 0 = -5*a - 2*k + k + 2467. Is a composite?
True
Let g = 14 + -8. Let u be (1/1)/(2/g). Suppose 184 - 73 = u*x. Is x a composite number?
False
Suppose -2*g - 7 = -3. Let r = g + 4. Suppose -2*q - 147 = -3*q + j, 292 = r*q - 3*j. Is q a composite number?
False
Let n = -20 - -19. Let i = 14 + n. Is i prime?
True
Suppose -3*l - 6 = 3. Let y(p) = 3*p**3 - 4*p**2 - 3*p - 3. Let g be y(l). Let m = 8 - g. Is m a composite number?
True
Let r(x) = -4*x. Let t be r(2). Suppose -y = h + 28 - 7, 2*h - 2*y = -38. Is (35/h)/(2/t) composite?
False
Let v be (-1 + 4)*(4 + -3). Suppose w = -4*z + 23, -v*z = -2*w - 6 - 3. Suppose 0 = -0*j + j + 2*o - 39, 5*j = z*o + 270. Is j a composite number?
True
Let b = -98 - -451. Is b a prime number?
True
Let a be ((-3)/(-5))/((-1)/(-5)). Suppose -w - a*w = -12. Suppose 47 = w*n + 2*h, -n + 0*h + 13 = -2*h. Is n a prime number?
False
Let a(w) = 7 + 5 - 5 + 4*w. Let j(b) = -2*b - 4. Let m(r) = 2*a(r) + 5*j(r). Is m(-8) prime?
False
Suppose 5*z - 53 = 4*z. Is z composite?
False
Suppose 3*a - 189 - 12 = 0. Is a a composite number?
False
Suppose 3*g - 16 = -g. Let v = 5 + -1. Suppose v*i - 148 = -g*x, x = -3*x + 8. Is i prime?
False
Let j be 0/(-1 + 12/3). Let s be j - (-3 - -1)*-2. Is -11*2/(s/6) a composite number?
True
Let v(l) = -8*l - 1. Let a be v(-7). Suppose 167 = 2*h - a. Is h a composite number?
True
Let j = -986 - -1857. Is j prime?
False
Let b = 9 + -2. Suppose 2*s + 7 = -5*k, 3*s + 21 = -4*k - b. Is 3/4 - 1732/s composite?
False
Is 2/(-7) + 12933/63 composite?
True
Let o(u) = u - 6. Let b be o(9). Let s = 2 + 3. Suppose 3*t = j - 31, s*t - 14 = -b*j + 79. Is j composite?
False
Let s = 33 - 13. Suppose -2*v = 3*t - 3*v - 8, -2*t = 3*v + 2. Suppose 4*z - s = -t*j - j, 5*j - 18 = z. Is z prime?
True
Let n(l) = l + 1. Let z be ((-2)/2)/((-1)/(-3)). Let c(q) = -2*q**3 - 3*q**2 - 6*q - 4. Let k(j) = z*n(j) - c(j). Is k(3) prime?
False
Suppose 0 = -3*j + 4*i + 3167, -2110 = -j - j + 3*i. Is j a composite number?
False
Let k(m) = 3*m**3 - 2*m**2 - 3*m - 1. Is k(3) a prime number?
True
Let n = -160 - -283. Is n composite?
True
Let n(i) be the third derivative of i**5/15 + 5*i**4/24 + 5*i**3/6 - 8*i**2. Is n(-6) a prime number?
False
Suppose 0 = 2*l - 3*k - 12, -2*l + l = 4*k + 16. Suppose -j - 4*j + 30 = l. Suppose -c = -j - 17. Is c a prime number?
True
Let l be 3*4*(-40)/(-32). Is (l/4)/(18/48) a prime number?
False
Let b = 0 + 2. Suppose 3*a - d - b*d = 6, 0 = 5*a - 3*d - 10. Suppose 0 = -j - a*p + 43, 0*j - 2*j - 3*p = -83. Is j prime?
True
Let b(k) = 9*k - 30. Is b(13) a prime number?
False
Let o(v) = 13*v**2 - v - 1. Let d = -13 + 9. Is o(d) composite?
False
Suppose -3*s = -5*q - 249, -3*s - q + 381 = 132. Is s a prime number?
True
Suppose -5*n = -4*d - 87, 2*n - 3*d = -0*n + 39. Let t = -10 + n. Suppose 293 = t*h - 2*x, 4*h + 4*x - 122 = 2*h. Is h composite?
False
Is (2234/8)/((-14)/(-56)) prime?
True
Let n(g) = 14*g**3 + 2*g**2 - 7*g + 2. Is n(3) composite?
True
Suppose 14*f - 10*f - 80 = 0. Is (-590)/f*(-7 + 1) prime?
False
Let s be -1*0*(-1)/3. Suppose 0 = -s*k - k + 5. Suppose 92 = k*g - 93. Is g a prime number?
True
Let w = -356 - -865. Is w a composite number?
False
Let v = -401 - -732. Is v composite?
False
Let m = 546 + -357. Let r = -92 + m. Is r prime?
True
Let m(p) = p**3 - 5*p**2 + 4*p + 5. Suppose g = -3*g + 16. Let t be m(g). Suppose -14 = -5*y - 4*d, -t - 3 = 2*d. Is y a composite number?
True
Let m = 475 + -12. Let i = 126 - m. Let q = 666 + i. Is q a prime number?
False
Let p(r) = r**3 - 10*r**2 - 5*r + 14. Let g be p(10). Let u = g - -113. Is u a prime number?
False
Is ((-2)/(-6))/((-1)/(-2517)) prime?
True
Let a be (93/(-6))/(1/16). Let b be -1*3*a/12. Suppose 0 = v - 0*v - b. Is v a composite number?
True
Suppose 0 + 6 = k. Suppose -693 = -3*u - 2*z, -k*z = 5*u - 3*z - 1156. Is u a composite number?
False
Let t(y) = y**3 + 12*y**2 + 11*y - 14. Let v be t(-10). Suppose 8*c + v = 12*c. Is c a composite number?
False
Let a = 25 - -156. Suppose -3*m = 22 - a. Is m prime?
True
Suppose 0*n + 4*n - 8 = 0. Suppose -y = -n*y. Suppose 3*c + 58 - 157 = y. Is c composite?
True
Let z = -2 + 3. Let q be -3 + z + 2 + -19. Let m = q + 40. Is m prime?
False
Let z = -19 - -26. Let u(a) = 31*a - 6. Is u(z) composite?
False
Let y = -2022 - -1206. Let r be (-3103)/7 + (-4)/(-14). Let t = r - y. Is t a prime number?
True
Suppose 14*a = 11*a + 633. Is a a composite number?
False
Let c(o) = -3 + 63*o**2 - 15*o**2 + 2. Suppose 9*m - 3 = 12*m. Is c(m) a composite number?
False
Suppose 0 = 9*s - s -