 Suppose -8 - v = -h. Is h composite?
True
Suppose 0 = 3*m - 0*m - 9. Suppose 0 = 3*y + i - 359, y - 6 - 107 = m*i. Is y a composite number?
True
Is (0 + -2)/6 - (-19196)/6 prime?
False
Let a = 14 + 131. Is a composite?
True
Let v = 23 - -34. Is v composite?
True
Let j(a) = -2*a. Let g be j(5). Suppose -23 = -5*m + 27. Is g/(-25) + 86/m a composite number?
True
Suppose 1614 = 3*y - 0*y. Is y prime?
False
Is 739/11 - 52/286 composite?
False
Is ((-2)/3)/(-2*(-1)/(-537)) prime?
True
Is 98/5 + (-12)/20 a prime number?
True
Let y(f) = f**2 - 12*f + 10. Is y(14) a prime number?
False
Is -209*(2 - (-9)/(-3)) prime?
False
Suppose 55307 = -v + 8*v. Is v prime?
True
Suppose 2*f + 3 - 9 = 0. Suppose -f*v = -5*o - 8, -3*v + 0*v = 5*o + 32. Is ((-15)/v)/(6/16) prime?
False
Suppose 4*z + 0*z = 0, 20 = -4*i + 3*z. Let v = 6 + i. Is 4/8*62*v a prime number?
True
Let r = 74 + -115. Let y = r - -136. Is y prime?
False
Let a(c) = c**2 - 7*c + 6. Let m be a(6). Is m - -1 - (-356 - -4) a prime number?
True
Is (-2)/6 - 7040/(-24) a composite number?
False
Is (-5178)/8*4/(-3) a composite number?
False
Suppose 24950 = 64*t - 54*t. Is t composite?
True
Let p be (10/(-25))/((-1)/20). Suppose 4*l = l + y + 155, p = 2*y. Is l a composite number?
False
Suppose 4*a + y - 17 = 0, -2*a = -y + 3*y - 4. Suppose 0 = -14*x + 9*x - a. Is x/1*3 + 92 a composite number?
False
Suppose -3*y - 192 + 1195 = -5*c, 0 = -5*c - 10. Is y composite?
False
Let r = -478 + 669. Is r a composite number?
False
Suppose -2*u + 0*g = -5*g - 71, -2*u + 95 = 3*g. Is u a composite number?
False
Let t be 1 - 1 - 18*-1. Suppose -3*x + 1 - 3 = -2*p, 4*p + x - t = 0. Suppose -4*o - 150 = 2*q - p*q, 0 = q - 4*o - 83. Is q composite?
False
Let h(o) = 54*o + 53. Is h(12) a prime number?
True
Let x(p) = 2*p**2 - 3*p + 1. Let w be x(2). Suppose 0 = 5*a - 7 - w. Is 0/(a/(-1)) - -211 a composite number?
False
Let n(l) = -2*l**2 - 2*l + 17. Let i be n(-10). Let q = -86 - i. Is q a composite number?
True
Let j(u) = 7*u**2 + 10*u + 2. Is j(11) a prime number?
False
Suppose -3 = -3*z + 18. Is 3098/z + (-9)/(-21) composite?
False
Let o(b) = 2*b**2 + 4*b + 5. Is o(-5) composite?
True
Let r(a) = -a**3 - 10*a**2 + a - 27. Is r(-11) a prime number?
True
Let o be 0/(-2*1/(-2)). Let w be (70/(-3))/(6/(-63)). Suppose o = -4*p + 9*p - w. Is p composite?
True
Let d(v) = -23*v + 11. Is d(-6) a composite number?
False
Let l(c) be the second derivative of c**5/20 - 5*c**4/12 + 4*c**3/3 - 3*c**2/2 - 3*c. Is l(5) a prime number?
True
Suppose v + 1 = -1. Let z = 6 + v. Suppose 2*w - 438 = -z*u, -5*u + 607 = -4*w + 40. Is u a composite number?
True
Suppose 0 = 4*j + 2*v - 6*v - 232, 0 = -4*j - 2*v + 244. Suppose -4*y - 2*d = -j, -3*y + 4*d = -0*y - 23. Is y a prime number?
True
Suppose -3*f + 4*f = 0. Suppose -4*d + 5*x = -379, f*d + 2*d = 2*x + 188. Is d prime?
False
Suppose -5*u - 20 = -4*c, 0*c = -4*u + 3*c - 15. Let s = u + 3. Suppose -18 = -s*v + 147. Is v a composite number?
True
Let c(s) = 16*s + 7. Let l(h) = -33*h - 13. Let z(j) = 7*c(j) + 4*l(j). Let x be 12/30 + (-24)/10. Is z(x) a prime number?
True
Is ((-7)/7)/((-2)/118) composite?
False
Let q(l) be the third derivative of l**4/8 - 2*l**3/3 - 2*l**2. Let n be q(4). Let j = n + 17. Is j composite?
True
Let t(y) = -y**3 + 5*y**2 + y - 3. Let q be t(5). Suppose -q*u - u = -18. Suppose 4*g = -b + 27, -2*g + u*b - 2*b = 0. Is g prime?
False
Let w = 5 - 17. Let t = 31 - w. Is t composite?
False
Let u(a) = -a**3 - 2*a**2 + 4*a - 1. Let h be u(-3). Let i(w) = -w**3 - 3*w**2 + 4*w**2 + 3*w - 2*w + 3. Is i(h) a prime number?
True
Suppose -4 - 42 = -2*r. Is r a prime number?
True
Suppose -5*k = -3*h - 0 - 16, 0 = 4*k - 8. Is 2/(h/(-3)) + 66 composite?
True
Let u(o) = -o**3 - 6*o**2 - 2*o - 8. Let k be u(-6). Let p = k - -1. Suppose p*c = c + 52. Is c a prime number?
True
Let f(z) = -z**2 + 5*z + 3. Let x be f(5). Suppose -2*p + y + 116 = -x*y, 2*p + 5*y = 116. Let v = -35 + p. Is v a prime number?
True
Let u(v) = 16*v**2 + v - 3. Is u(4) composite?
False
Suppose 439 = -2*q + 2115. Is q composite?
True
Let b be -3 + (-2 + 2 - -276). Suppose -k + b = 2*k - 2*q, -4*k = 2*q - 350. Is k prime?
True
Let x(q) = -q**3 + 2*q**2 - q + 2. Let v be x(2). Suppose 4*m - 4 - 4 = v. Suppose -3*s = -m*s + 4, -2*f = -5*s - 66. Is f prime?
True
Let c(o) = o**3 - o + 202. Let w be c(0). Suppose s - w = -4*g - 4*s, -4*s = -2*g + 114. Is g a composite number?
False
Let h(d) = d**3 + 3*d**2 + 4*d + 19. Is h(11) prime?
False
Is (-25 + -1)*((-259)/14)/1 prime?
False
Suppose -2*b + 71 = -89. Suppose 0 = 4*g - b - 8. Is g prime?
False
Is (-25036)/(-10) + ((-42)/(-10))/(-7) a prime number?
True
Let l = 87 - -33. Suppose -7*p + 3*s + l = -2*p, 2*p - 32 = -2*s. Is p prime?
False
Let i(n) = -114*n - 4. Let d be i(-3). Suppose 0 = -5*s + 177 + d. Is s a composite number?
False
Let m(y) be the first derivative of -3*y**2/2 + y + 2. Is m(-2) prime?
True
Let w(s) = -s**3 + 8*s**2 + 2*s - 11. Let n be w(8). Suppose i = n*i - 320. Suppose -5*m = 3*k - 78 - 22, -i = -4*k + 4*m. Is k a prime number?
False
Suppose 3*f + 8*k = 3*k - 9, -f - 4*k - 10 = 0. Suppose -f*m + 12 = -62. Is m composite?
False
Let x(u) = u**3 + 4*u**2 - 5*u - 2. Let w be x(-6). Let p = -31 - w. Is p prime?
True
Suppose 3*p + 7 = 2*o, 6*p + 13 = 3*p + 5*o. Let y be 2 + 0 + 2 - p. Suppose -y*k - 67 = -4*z, -5*z + 24 = -3*k - 50. Is z a prime number?
True
Suppose 5*z + 282 = 3*j, 70 = -z + 3*j + j. Let g = z - -91. Is g a composite number?
False
Let o = -10 - -3. Let l(t) = 5*t**2 - 2*t - 2. Is l(o) composite?
False
Let k(g) = -3*g - 11. Let s be k(-5). Is (315/4 + -2)*s prime?
True
Suppose 66 = -2*c - 0*c. Let i = c + 55. Is i prime?
False
Let s be 2/(-2*(-1)/82). Let u = s + -31. Is u composite?
True
Let g be 5 - ((-1 - 1) + 3). Is 257/3 + g/(-6) prime?
False
Let i = 0 + 2. Suppose -6 - i = 2*q. Is q/(-6)*(-333)/(-6) prime?
True
Let a be (0 + -1)*(2 + 0). Let j = -1 - a. Is -1 + 14 - (j + -2) a composite number?
True
Suppose -3*n + n - 5*w + 18 = 0, -3*n - 5*w = -22. Let l = -2 - -8. Suppose 0 = 2*u, -60 = -n*t + l*u - 5*u. Is t a composite number?
True
Let c(h) = 896*h - 1. Let i(k) = k**3 + 5*k**2 - k - 4. Let z be i(-5). Is c(z) a composite number?
True
Is (-1 - 6/(-2)) + 285 a composite number?
True
Let z(u) = 25*u - 1. Suppose -t = -2*f - 10, -t = -4*f - 6 - 2. Let s be z(t). Suppose 2*r + 5*i - 205 = 0, 5*r - 4*i = -s + 894. Is r prime?
False
Let m = 14 - 24. Is 2/3*(-195)/m composite?
False
Suppose -5*q - 8 = -q. Let m = q - -15. Is m a composite number?
False
Let y = -4 + 6. Let o be 0*(y + (-7)/3). Suppose 0 = -4*m - 16, o*c + m = 2*c - 450. Is c prime?
True
Suppose 2*r - 44 = -2*r. Let f = r - 39. Let i = 54 + f. Is i prime?
False
Let z(f) = f**2 - 32*f + 21. Is z(34) composite?
False
Let g(l) = -66*l - 1. Let y be g(1). Let j = 30 - y. Is j composite?
False
Let s(c) = c**3 - 4*c**2 - 5*c + 2. Let o be s(5). Let a = 13 + -7. Suppose a*h = o*h + 140. Is h a prime number?
False
Let m(u) = 66*u**2 - u + 1. Is m(2) a composite number?
False
Let o = -898 + 2013. Is o composite?
True
Suppose -5*b = 2996 - 7551. Is b composite?
False
Let w(t) be the first derivative of -31*t**2/2 + t - 1. Let s be w(-1). Is (-8)/28 + s/14 a composite number?
False
Let q(x) = -2*x**3 + 3*x**2 + 8*x + 5. Let c be q(6). Let m = -182 - c. Is m a prime number?
True
Suppose -3*k + 2839 = -944. Is k a composite number?
True
Is (3 + -7)*303/(-6) composite?
True
Let k(j) = 4*j**2 + 5*j - 12. Let v be 1 - -1 - 15/(-5). Is k(v) prime?
True
Suppose o + 104 = 3*m, -5*o + 4*o = -5*m + 174. Is m a composite number?
True
Let c = -273 - -644. Is c prime?
False
Let b(z) = -2*z - 4. Let r be b(-4). Suppose -r = -x - x. Suppose 74 = -0*w + x*w. Is w composite?
False
Let a = 2146 + -239. Is a a composite number?
False
Let w(x) = 14*x + 8. Let j(m) = 28*m + 15. Let u(t) = -4*j(t) + 7*w(t). Let r be u(-3). Let q = r + -13. Is q a composite number?
True
Suppose -11 = -3*h + 1. Suppose h*t = -2*p + 10, t = 2*t + 3*p - 15. Suppose 0 = c + f - 92, -c + 95 = 4*f - t*f. Is c a composite number?
True
Suppose -4*v - 3*q + 985 + 70 = 0, 5*v - 2*q - 1336 = 0. Let y = -169 + v. Is y a composite number?
False
Let i(x) = 24*x**2 - 4*x + 2. Let p(t) = -3 - 19*t**2 - 2*t**2 - 15*t**2 + 6*t. Let 