 g = w - 0. Is g prime?
True
Suppose 47 = -3*z + 194. Suppose -3*u + 122 = -130. Let d = u - z. Is d composite?
True
Suppose 32 = 2*r - 2*f, 3*r = -0*f - f + 44. Suppose -r = 6*q - q. Is (-206)/(-3) - 1/q composite?
True
Let p(a) = a**2 + a + 2. Let t be -3*((-12)/(-9))/(-1). Suppose 0*k + k = -t. Is p(k) composite?
True
Let p = 555 + -907. Let j(u) = u**2 - 7*u + 3. Let v be j(-19). Let h = p + v. Is h a composite number?
True
Suppose 0 = -5*z + 32 + 63. Suppose -3*h = 5*y - 27, -4*y + z = -0*y + 5*h. Is y a composite number?
True
Suppose -11*d + 8*d + 477 = 0. Is d composite?
True
Is (24/2 - 1)/((-14)/(-742)) prime?
False
Let p be 3 + 0 + (-1 - 2). Suppose p = 4*h - 2*h + z - 179, -4*h + 2*z + 338 = 0. Is h a prime number?
False
Let g(t) = -253*t**3 + t**2 + 2*t + 1. Is g(-1) a prime number?
False
Let p(l) = -l**3 + 15*l**2 - 14*l + 19. Is p(10) prime?
True
Let w(m) = -3*m. Let z be w(2). Is (z/8)/(2/(-8)) a composite number?
False
Let r = -26 - -47. Is r composite?
True
Is ((-2)/(-3))/((-12)/(-2286)) a prime number?
True
Let c be ((-487)/4)/(1/(-4)). Suppose c = -2*j - 3*v, 0*j + 2*v = 4*j + 1014. Let q = 400 + j. Is q a composite number?
False
Suppose -k = 4*p - 15, -3 = -5*p + k + 9. Is ((-4)/(-16))/(p/8292) prime?
True
Suppose 1 = -h, -2*h + 1312 = 5*s + h. Is s prime?
True
Let p(n) = -2*n - 2. Let g be p(-6). Is (9 + g)/(1 + 0) prime?
True
Let d = -13 - -16. Let n(w) = 2*w**3 - 2*w**2 + 3*w + 4. Is n(d) a prime number?
False
Let n(x) = -3*x**3 - 2*x**2 + x. Let c be n(-4). Let t = c - -98. Is t a prime number?
False
Let c = -55 - -108. Is c a prime number?
True
Let k = -120 - -202. Is k composite?
True
Let o be 102/30 + (-2)/5. Let z(h) be the second derivative of 3*h**5/20 + h**4/12 - h**3/6 - 2*h**2 + 2*h. Is z(o) composite?
False
Let d be 6/9 + 65/(-3). Let y = 16 - d. Is y prime?
True
Let c be ((-12)/(-9))/(2/3). Suppose 4*x = c*x. Suppose -4*d + 2*d + 22 = x. Is d a prime number?
True
Let y(s) = -s**2 + s + 2. Let h be y(3). Is -111*h/(24/10) a prime number?
False
Suppose -b = -3 - 1. Suppose y - 3 = b. Suppose a + 0*a = y. Is a a prime number?
True
Let l = 3 + 9. Suppose 4*y = l, -2*z + y = -4*y - 143. Is z a composite number?
False
Suppose 2*c - 354 = -10. Suppose 3*r + c = -r. Let l = 76 + r. Is l a prime number?
False
Let r(g) = 36*g**2 + g. Let o be r(1). Suppose 4*w = -21 + 5. Let c = w + o. Is c a prime number?
False
Let r(w) = -w**2 + 11*w - 11. Let v(f) = 0 + 3*f - 7 + 0*f. Let t be v(5). Is r(t) a composite number?
False
Suppose -3 = 3*r - 2*r - q, -4*r = 4*q + 28. Let n = r + 117. Let c = n + -77. Is c composite?
True
Let p(a) = -a**3 + 5*a**2 - a + 5. Let g be p(5). Suppose g = 2*l - 7*l + 95. Is l prime?
True
Suppose -4*q = 5*o - 4, 16 = -5*o + 6*o - 3*q. Suppose -r - o*v + 5 = 0, -r + 4*v + 23 = -22. Suppose 4*k - 213 = -u, -k + 5*u + 73 = r. Is k prime?
True
Let f be 0 - -10 - 0/(-1). Let c(j) be the second derivative of j**4/12 - 5*j**3/3 + j**2 - j. Is c(f) prime?
True
Let q = -490 - -783. Is q a prime number?
True
Let j be (-4)/24 - 82/12. Let u(s) = -2*s + 8. Is u(j) a composite number?
True
Suppose -4*w + 0*w = -5*g, -5*w = -2*g. Suppose 295 = y - q, -q = 2 - w. Is y prime?
True
Suppose 8*y - 350 = 3*y. Suppose -y + 25 = -3*s. Is s a composite number?
True
Suppose 4*p = -0*p. Suppose 3*a - 32 = 5*a + 4*w, p = -5*w + 15. Let f = 33 - a. Is f composite?
True
Let w(q) = -44*q**3 + q**2 + q. Let h be w(-1). Suppose 0 = -n - 3*n + h. Is n a composite number?
False
Let b(j) = -j**3 - 6*j**2 - 6*j + 1. Suppose 5*m + 26 = -4. Is b(m) composite?
False
Let b(x) = -x**3 + 2*x**2 + 8*x - 5. Let g be b(5). Is -1 + 2 - 2 - g prime?
False
Suppose m + 1343 = 4*u, 5*u + 2*m - 1669 = -0*u. Is u a composite number?
True
Let h = 4 - 4. Suppose -5*d = -h*d. Suppose 4*p = -12, d*p + 3*p - 17 = -2*x. Is x composite?
False
Let y(i) = -i - 9. Let j be y(-11). Is j*267/12*2 a prime number?
True
Let s(k) be the first derivative of k**6/360 - k**5/20 + 7*k**4/24 + 2*k**3/3 + 2. Let y(j) be the third derivative of s(j). Is y(6) a prime number?
True
Let n = 105 - 58. Suppose -5*o + n = -218. Is o a prime number?
True
Suppose -9*i + 84556 = -11789. Is i composite?
True
Let c be ((-120)/9)/((-1)/(-27)). Let b = 697 + c. Is b a composite number?
False
Let g = -1376 - -1929. Is g prime?
False
Suppose 13*i - 8661 - 5470 = 0. Is i composite?
False
Let b(q) = 3*q - 8. Let y be b(-7). Let x = y - -168. Is x a prime number?
True
Let r = 15656 + -9135. Is r a prime number?
True
Let f(w) = -12*w**3 - 4*w**2 + w + 14. Is f(-5) a prime number?
True
Is (251/(-2))/(11/(-22)) prime?
True
Is -2*((-777)/6 + -2) prime?
True
Let b(r) = -113*r - 20. Is b(-3) a composite number?
True
Suppose -2*q - 20 = 3*f, 2*f + 0*f + q = -13. Is (-285)/f + (-1)/2 a prime number?
True
Let c = -12 - -16. Let y(n) = 57*n - 5. Is y(c) prime?
True
Suppose 0*v = 4*v. Let a be 74 + -1*(v - 0). Suppose 0*r - 2*r = -a. Is r a composite number?
False
Suppose -5*i - 45 = -4*m, -4*m = 5*i - 0 + 5. Let b = m - 3. Suppose -b = -2*c + 3*v - 0, -2*c = -v - 10. Is c prime?
True
Is 389 - ((2 - 2) + 0) a composite number?
False
Let z be (-40)/3*666/(-15). Suppose 0*b + 2*b - 4*q = 586, 2*b + 2*q = z. Is b composite?
True
Let y be 4/6 + 4/(-6). Suppose 4*t + 246 = 5*l - 208, y = -t - 1. Suppose -k = -2*a - 53, -5*k + 4*a + 181 = -l. Is k a composite number?
True
Let f = -1897 + 3884. Is f a composite number?
False
Suppose 4*h = 5*i + 2591 + 1050, 0 = -4*h + 4*i + 3644. Let x = h - 521. Is x composite?
True
Let b(r) = -3*r**2 + 0*r + 6*r + 4*r**2 - 2*r**2 - 2. Let m be b(-6). Let v = -37 - m. Is v a prime number?
True
Let c(g) = -g**3 - 12*g**2 - 11*g - 4. Let i be c(-11). Let a(r) = -r**2 - 7*r + 1. Is a(i) prime?
True
Let p = 14 + -10. Is 88/(-10)*(-10)/p composite?
True
Suppose -r - 4*r = -10, -5*k + 2*r - 484 = 0. Let h = 65 + k. Let z = -18 - h. Is z composite?
False
Let j be (130/6)/5*105. Suppose -h + 4*r = -165, -h + j = 2*h - 2*r. Is h a composite number?
False
Is -1 + 7358 - (-2 - -4) prime?
False
Let u(h) = -3*h + 1. Let c be u(1). Let l be (4 + c)*(1 - -4). Let b(r) = -r**2 + 11*r - 3. Is b(l) composite?
False
Let q = -10 + 101. Let h = 144 - q. Is h a prime number?
True
Suppose -3*u - 58 = -964. Is u - (-1 - 1) - -3 a prime number?
True
Let s(i) = 2*i**2 + 4*i + 2. Let t = -2 + 0. Let p be s(t). Suppose -3*y = -p*y - 37. Is y a prime number?
True
Suppose -j + 4*o + 257 = -1834, -j + 2097 = -2*o. Is j a prime number?
False
Let l(b) = -b**2 + b. Let k be l(1). Suppose -5*n + 845 = -k*n. Is n a prime number?
False
Suppose 0 = -2*k + 2*t - t + 1, 3*k + 11 = 4*t. Suppose -k*v = -4*r + 1021, -r + 2*v = -v - 262. Is r a prime number?
False
Is (753/6)/(6/12) a prime number?
True
Let p(l) = l**3 - 2*l**2. Is p(3) a prime number?
False
Suppose 25 = 5*d - 0. Suppose -4*n + 20 = 3*l, -3*n + d*l = -n - 10. Suppose n*s - 2*a + 3*a - 664 = 0, s + a = 132. Is s composite?
True
Let m = 724 + -203. Is m prime?
True
Suppose 2*x = -3*x + 10. Suppose 880 = 3*j + f, 3*f + 610 = x*j - f. Is j prime?
False
Suppose -2*z + 4 = -0*z. Suppose 2*i + i = -4*o + 198, 149 = z*i - 3*o. Is 4/(8/i) - -2 a composite number?
False
Let o = 68 - 33. Is o composite?
True
Suppose 0 = r - 5*d + 305, -5*r + 2*d - 1220 = -r. Let c = r - -614. Is c a prime number?
False
Let o be (4 - 1)/(-1)*-662. Suppose 0 = 2*f - z + 210 - o, 0 = 3*f + 5*z - 2677. Is f a prime number?
False
Suppose -4*k - 12 = -5*k. Suppose -2*g + 0*g + k = 0. Suppose -4*l = -g*l + 26. Is l prime?
True
Let a(h) = 161*h**2 - 4*h + 5. Is a(2) a prime number?
True
Let w = -241 - -444. Is w a prime number?
False
Let r(f) = 32*f**2 - 2*f - 1. Let j(m) = -m. Let c be j(-4). Is r(c) composite?
False
Let j be (-3)/(1 - 2) - 0. Suppose 0 = -j*d - h + 1091, 0*d + 5*d - 2*h = 1800. Is d prime?
False
Let v = 26 - 24. Suppose 0*f - v*f = -194. Is f prime?
True
Let x be 0/(-2 + (1 - -3)). Let b(k) = k**3 + 57. Let o be b(x). Suppose -n + 5*i = -o, -4*n + 4*i + 9 + 283 = 0. Is n composite?
True
Let z(g) = -g**3 - 4*g**2 + 3*g - 4. Let s be z(-5). Suppose 4*f + 3*d - 821 = 0, 612 = -3*f + s*f + d. Is f a prime number?
False
Let q(w) = w**2 - 2*w + 6. Let u be q(4). Suppose -u - 6 = -5*s. Suppose -s*n + 115 = 23. Is n composite?
False
Let c = 2292 - 775. Is c composite?
T