et n = -5248 - -18177. Is n composite?
True
Let w = 474 + 97. Is w composite?
False
Let h(n) = 45*n**2 + 4*n - 8. Is h(3) a prime number?
True
Let f(m) = 43*m**2 + 31*m - 3. Is f(7) a composite number?
True
Let a = 2275 + -1229. Let j = a - 373. Is j a composite number?
False
Let d be 3 - (1 + -4 + 2). Suppose d*n - t - 4184 = -0*t, n - t - 1043 = 0. Suppose -168 = 3*c - n. Is c prime?
True
Suppose 13*j = 12*j + 2371. Is j a prime number?
True
Let i(x) = -x**3 - 2*x**2 + 2*x - 3. Let j be i(-4). Let z = 3 + -9. Is z/j - 466/(-14) a composite number?
True
Let w(i) = -i + 1. Let o be w(1). Suppose o = -3*x + 5 + 1. Suppose -x*j - j = -66. Is j a composite number?
True
Let j = -1559 + 5608. Is j a prime number?
True
Let p(s) = -s**3 + 7*s**2 - 5*s - 2. Let t be p(6). Let n be 5/t*(4 - 8). Is 2 - 2/2*n a prime number?
True
Suppose -3*y + 512 = -1381. Is y a composite number?
False
Let j be 1/(-2) + (-325)/(-10). Let g = -8 + j. Suppose 5*r + 655 = 5*y, 3*y = -r + 353 + g. Is y a composite number?
False
Let t(f) = 4*f**2 + 9*f - 3. Let q be t(-7). Let x(v) = -v + 2. Let a be x(-2). Suppose a*m + 0*l - 2*l = q, 0 = m - 3*l - 30. Is m prime?
False
Let a = 45 - -53. Suppose -3*b + a = -b. Is b composite?
True
Let t(n) = 2*n**2 - 2*n - 5. Let q be t(5). Let m = -16 + q. Is m a composite number?
False
Let y(o) = -293*o - 2. Let i be y(1). Let c = -210 - i. Is c composite?
True
Let j = 302 - 141. Is j prime?
False
Suppose 0 = -13*s + 8*s + 1535. Is s prime?
True
Let y be 1/2 - (-973)/2. Suppose -5 = 5*b, -3*b = -a + 974 - 20. Suppose 5*v + 3*p = y + 436, 5*v - 4*p - a = 0. Is v a prime number?
False
Let t be (-6)/(-3) + 674 - -2. Suppose w = 5*f + 138, t = 4*w + f + 147. Is w composite?
True
Let o be 210/(6/3) - 0. Suppose -2*a - 88 = -i - 2*i, -o = -5*i - 5*a. Is i a prime number?
False
Suppose 5*s - 917 = -2*s. Is s prime?
True
Suppose 995 = 3*z + 2*z. Is z a composite number?
False
Let c(d) = -19*d**2 + 16*d - 9. Let f(g) = 6*g**2 - 5*g + 3. Let v(i) = 2*c(i) + 7*f(i). Is v(4) a composite number?
True
Let y(u) = 12*u**2 + 5*u + 3. Let t be y(-5). Suppose 2*v = 5*x + t, v - 85 - 56 = 2*x. Is v composite?
False
Suppose -5*o + 2*o - 4*y = -4, 0 = 4*y - 4. Suppose 127 = 5*u + 3*m - 221, o = 4*m - 4. Is u a composite number?
True
Suppose 0*t = 3*n - t - 6918, 0 = -4*n - 2*t + 9214. Is n composite?
True
Let b(o) = -3*o**3 - o**2 + 3*o - 4. Let z = -5 - -2. Is b(z) a composite number?
False
Let g(c) = c**2 - 8*c + 5. Let j be g(8). Suppose 3*o + 13 = -5*x + 2*o, 19 = -j*x - 3*o. Is x*(2 + (-78)/4) a prime number?
False
Suppose 3*l = -3*i + 71 + 1630, -2*i - l + 1130 = 0. Suppose i + 358 = 3*x. Is x composite?
False
Suppose 4 = 2*k, 2*k = 5*z - 2*z - 4787. Is z composite?
False
Let q(w) = -w**3 - 5*w**2 - 6*w - 5. Let f be q(-4). Suppose f*t - 115 = 2*t. Is t a prime number?
False
Let o(i) = i - 6. Let l be o(6). Suppose l*d = 4*d. Suppose 2*z + z - 9 = -3*u, u - z - 11 = d. Is u composite?
False
Let t(p) = -14*p**3 - p**2 - 2*p - 1. Suppose -4*x = -w - 2 + 17, 2*x + 11 = -3*w. Is t(w) prime?
False
Suppose 20*y - 18*y - 2798 = 0. Is y a prime number?
True
Let x = 0 + -29. Let w = x - -94. Is w a composite number?
True
Is 1285/9 + (-4)/(-18) prime?
False
Let s(f) = -46*f + 5. Let r be s(4). Let d(i) = 6*i + 8. Let v be d(-4). Let o = v - r. Is o composite?
False
Suppose -m - 30 = -6*m. Suppose -3*x + m = -0*x. Suppose -2*s + 0*s - x*o + 68 = 0, 3*s - 84 = 3*o. Is s prime?
True
Suppose 48 = 7*j - 7589. Is j composite?
False
Let q(c) = 287*c**2 - 2*c + 2. Is q(1) prime?
False
Let i(l) = 9*l**2 - 3. Let g(v) = 36*v**2 - v - 12. Let m(d) = -2*g(d) + 9*i(d). Is m(4) a composite number?
False
Let v = 1 + 1. Let l(n) = 81*n**3 + 2*n**2 - 1. Let b be l(v). Suppose -4*z + b = z. Is z a composite number?
False
Suppose -68 = -2*f - 18. Suppose -4*o + f = o. Suppose 2*h + 8 = 0, -113 = -o*n + 2*n - 4*h. Is n a prime number?
True
Let w = -6 + 8. Let f be (7 + 1)*1/w. Is 4/(-6)*(-1758)/f a composite number?
False
Let k be 11636/(-10) - (-2)/(-5). Let n = 25 - 21. Is ((-1)/3)/(n/k) prime?
True
Suppose 5*k - 5 = -0. Suppose 80 = i + k. Is i prime?
True
Is ((-6)/(-4))/(-4*(-9)/47352) prime?
True
Let t be -286 + (3 + -2)*0/(-1). Suppose -197 + 52 = 5*z. Let n = z - t. Is n composite?
False
Suppose f + 4*f + 15 = 0. Let d = 2 - f. Suppose 4*h - d - 23 = 0. Is h composite?
False
Let t(q) = -q**3 - 12*q**2 + 13*q - 7. Let p(z) = 2*z - 6. Let s be p(4). Let b(o) = -o**3 - o**2 + o. Let n(r) = s*b(r) - t(r). Is n(7) a composite number?
True
Let i(o) = 72*o + 3. Let y(t) = 24*t + 1. Let b(r) = 6*i(r) - 17*y(r). Is b(4) prime?
True
Is 314/6*(24 - 21) a composite number?
False
Suppose 3*k - 3420 = -5*x - 119, x - 668 = 2*k. Suppose -8*s - 2*p + 1655 = -3*s, 4*p + x = 2*s. Is s a composite number?
False
Suppose 0 = 3*o - 3*c - 18864, -3 = -2*c - 1. Is o a prime number?
False
Let t(k) be the second derivative of -k**5/20 - k**4/3 - k**3/6 - 5*k**2/2 - k. Suppose 25 = -4*m - m. Is t(m) a prime number?
False
Let l be 1*-2 + 0 + 132. Suppose 3*i - l + 403 = 0. Let t = 160 + i. Is t a prime number?
False
Suppose 3*f - 7 = -3*p + p, 2*p = -2*f + 2. Suppose -1 = f*r - 11. Is r/(-4) + (-438)/(-4) a composite number?
False
Let p be (2 - 3) + (4 - 3). Suppose r - 37 - 18 = p. Is r prime?
False
Is ((-24)/(-18) - 6/(-9)) + 887 composite?
True
Let b = 6 - 4. Let p(h) = 3*h**2 - h. Let q be p(b). Is 5*1/(q/92) a composite number?
True
Let v = -2 + 4. Suppose -v*u + 3*s = 84 - 413, -4*s = 2*u - 322. Is u a prime number?
True
Let u = -117 + 352. Is u a composite number?
True
Let b = 0 + 6. Let z = b - 3. Suppose -2*p + 187 = 5*c, 3*c + z*p - 133 = 7*p. Is c prime?
False
Let m(s) be the first derivative of s**2/2 + 6*s + 2. Let a be m(-5). Suppose -4*t = 3*j - 133, 5*j = -t + a + 11. Is t prime?
True
Let n(y) = y**3 + 16*y**2 + 7*y + 2. Is n(-7) composite?
True
Let g(o) = -4*o + 4. Let h(z) = -5*z + 4. Let t(b) = -6*g(b) + 5*h(b). Let u be t(-4). Suppose u = 5*c - 125 - 40. Is c a composite number?
True
Let h = 69 - 48. Suppose i - 68 - h = 0. Is i prime?
True
Let w(o) be the first derivative of 11*o - 4*o**2 + 7/3*o**3 + 3 + 1/4*o**4. Is w(-8) prime?
True
Let d = 3 - 1. Suppose 3*x + d*g = 33, g - 2*g = 2*x - 22. Is x composite?
False
Let v(b) = b**3 - 5*b**2 + 4*b - 7. Suppose 0 = -y + 4*g - 8, -3 + 27 = y + 4*g. Let o be (y/(-6))/((-2)/9). Is v(o) prime?
True
Suppose 0 = 5*g - 2431 - 6834. Let r = g + -894. Is r a prime number?
False
Is (790/4)/((-3)/(-6)) composite?
True
Let o(v) = 117*v + 7. Is o(3) composite?
True
Let u(d) = -d**3 + 23*d**2 + 13*d + 12. Is u(-17) a prime number?
True
Suppose 4*g + a = 2040, -10 = -3*a + 2. Is g a prime number?
True
Let x = -201 + 401. Let t = x + -135. Is t a prime number?
False
Suppose 4*t - i - 23 = 0, -2*t - 3*t = 4*i - 34. Suppose t - 29 = -w. Is w prime?
True
Let l(j) = j**3 + 10*j**2 - 16*j - 15. Is l(-10) prime?
False
Let c(q) = 15*q - 5. Is c(4) composite?
True
Let y be (12/10)/(3/(-15)). Is y/(-12) + 27/2 a prime number?
False
Let u(s) = -2*s - 1. Let f be u(3). Let c = f + 9. Suppose -k + c = -8. Is k a prime number?
False
Suppose -2*j + f + 13 = -1, -3*j = -3*f - 18. Let n be (-6)/j*4*-4. Suppose -d - n = -3*d. Is d prime?
False
Let q be (2 + -26)*2/(-4). Suppose 0 = 2*x + 6, -2*v - 5*x = v + q. Is (0 - (0 - v))*19 composite?
False
Let b(u) = u - u - u + 45 - u**3 + 32. Suppose r = 2*r. Is b(r) a prime number?
False
Suppose 5*l - 1 = -5*n + 19, n - 16 = 5*l. Is 167/2 + n/(-12) composite?
False
Suppose -n + 3*c - 27 = n, -2*c = 4*n + 14. Let z(i) = -46*i - 2. Let o(w) = 23*w + 1. Let b(y) = n*z(y) - 13*o(y). Is b(-1) a composite number?
True
Suppose 0 = t + 2*t + 2*k - 10, -4*t = 5*k - 18. Is (-4)/(-5)*185/t a prime number?
False
Let d = -16 - -10. Let s = -6 - d. Is (73 + 3 - -1) + s a prime number?
False
Suppose 2*h + 3*y = 4*h - 7, -2*h - 4*y = 0. Let i = 3 + h. Let q(o) = 4*o - 7. Is q(i) a prime number?
True
Suppose -4*d + 20 = -0*d. Is (-6)/10 - (-1328)/d prime?
False
Suppose x + w = -6, 0*w - 3*w = 4*x + 24. Let q be 2/((3/x)/(-1)). Suppose q*k - 21 = k. Is k a prime number?
True
Let g be 5/(-6) - 4/24. Let k = g - -186. Is k a composite number?
True
Suppose -2*b - 18 = -4*k, 2*b + 2 = -k - 1. Is b/((-12)/368*2) prime?
False
Let t be 5/(-2) -