 8*n**z + n + 0*n. Is x(7) a prime number?
False
Suppose 0 = x - 0 - 2, -2*x = -5*h + 1581. Is h a composite number?
False
Let i = -4 - 69. Let x = i + 140. Is x composite?
False
Let f(z) = -2*z**3 + 3*z + 3. Suppose -5*s = 12 + 23. Let o = s - -5. Is f(o) prime?
True
Let c(h) = 1 + 6*h - 3 - h + h. Is c(4) prime?
False
Let m(w) = 5*w**2 - 7. Let f be m(5). Suppose -3*v + 354 = -4*i, v - 2*i - f = -0*v. Is v prime?
False
Suppose -5*c - 1942 = m, -2*m = -c - 518 + 134. Is c/(-6) + 9/27 prime?
False
Suppose 3*g + 1450 = 8*g - a, -4*g + 1184 = 4*a. Suppose 2*j - 5*j + g = 0. Is j composite?
False
Suppose 4*g + j - 8 = 0, -5*g + 2*j + 6 + 4 = 0. Suppose 115 = g*m - m. Is m prime?
False
Let u be ((-88)/(-3))/((-2)/(-9)). Is ((-4)/6)/((-8)/u) composite?
False
Let r = -56 - -104. Suppose 2*x = 4*i - r, -3*x - 2*i - 72 = 2*i. Let n = -2 - x. Is n composite?
True
Suppose 5*l = 2*l + 99. Suppose 2*u - 5*u + l = 0. Is u a prime number?
True
Let d = 2 - 2. Let b(m) = m**2 + m + 2. Let v be b(d). Suppose i + v*i - 3*w - 21 = 0, -i + 2*w + 7 = 0. Is i prime?
True
Is -8 - -11 - (0 + -394) prime?
True
Let w(d) = -d**3 - 7*d**2 - 8*d - 1. Suppose -18 = 5*r + 12. Let a be w(r). Suppose 19 = v - 5*k, -v = -4*k - a - 7. Is v a prime number?
False
Suppose -w + 0*b = b, b = -5*w. Suppose -3*d = -w*d + 27. Is (0 - -39)*(-6)/d a prime number?
False
Is 6/10 - (-1768)/20 a prime number?
True
Suppose 9 + 95 = h. Suppose -4 = -y - y. Suppose -5*m = -k + h, k - y*k + 83 = 2*m. Is k prime?
True
Let x(z) = -3*z**3 + z**2 + 5*z - 1. Is x(-4) a prime number?
False
Let i(r) = 0*r + 0*r + 2*r**2 + 5. Let s be -1 + (3 - (-2)/1). Is i(s) composite?
False
Let g be 1/1*(0 + 0). Suppose 6 + g = 3*c. Is 1 + (c - 1)*9 a prime number?
False
Suppose 0 = d - 3*i - 23, i = 5*d - i - 50. Let j(u) = u**3 - 7*u**2 + 3*u - 11. Is j(d) a composite number?
True
Let l be 573/4 + (-3)/12. Suppose 4 - 12 = -2*u. Suppose m = u*g - l, 4*m = -5*g - 7 + 212. Is g prime?
True
Let g(p) = -p**2 - 8*p - 8. Let o(a) = -1. Let c(k) = -g(k) + 2*o(k). Let d be c(-7). Is 1*(1/d + 24) a composite number?
False
Let w be 2/4*-4*-11. Is w/(-55) + 2054/10 a composite number?
True
Let k(p) = 5*p**2 + 4*p + 7. Let i(n) = -11*n**2 - 9*n - 14. Let t(z) = -6*i(z) - 13*k(z). Let l be t(-6). Let s = 18 + l. Is s prime?
False
Suppose -3*g + 530 = -g. Suppose -g = -4*b - b + 2*p, 5*p = 2*b - 127. Is b a composite number?
True
Let h be 16/5 - (-1)/(-5). Let t(s) = 2*s**2 - s - 1. Let c be t(2). Suppose -c*z = -h*z - 446. Is z composite?
False
Let g(u) = 5*u**3 + 2*u**2 - 2*u - 1. Let n be g(2). Suppose s - n = 4*o, -3*s - 2*o + 7*o = -136. Is s composite?
False
Let y = 529 - -340. Is y a prime number?
False
Let m(v) = 9*v - 5 - 19*v + 5*v. Let p = 9 - 15. Is m(p) prime?
False
Let w(d) = d. Let z be w(2). Let g(y) = 6*y**3 - 4*y**2 + 3*y - 1. Is g(z) a prime number?
True
Let s(l) = -l**2 + 8*l + 9. Let v be s(7). Let n = 20 - v. Is n prime?
False
Let j be 2/(-6) + 6/18. Suppose 4*g - z - 12 = j, 4*z = -4*g - 4 - 4. Suppose -3*l + 2*i = -855, -g*l + 846 = l - 5*i. Is l prime?
False
Suppose 10*n - 834 = 18576. Is n composite?
True
Suppose -5228 = -9*u + 32131. Is u composite?
True
Is 11404/36 + 0 + (-6)/(-27) a prime number?
True
Let z = -34 - -67. Let c = 46 - z. Is c prime?
True
Let t be (-3)/6*2*-2. Suppose t*i - 15 = -3*i - 5*n, 0 = -2*i - 5*n. Suppose 0 = 2*a - 4*b - 54, -2*a = -i*b - 32 - 19. Is a a prime number?
False
Let m(j) = 111*j**2 - 17*j + 13. Is m(7) a prime number?
True
Let a be 6/2 - (2 + 15). Is a*1*2/(-4) a composite number?
False
Let n(m) = m**3 - 1. Let i(w) = -15*w**3 - 2*w**2 + 6. Let f(k) = -i(k) - 5*n(k). Is f(1) composite?
False
Suppose 35 = s - 30. Is s a composite number?
True
Let r(b) = b**3 - b**2 + 1. Let u(f) = -f**3 + 3*f**2 + f + 1. Let z be u(3). Is r(z) composite?
True
Suppose 5*x = 3*x + 16. Is (0 - 446)/(x/(-4)) a composite number?
False
Let r = -4 - -7. Suppose -201 = -r*x + 3*c, -4*x - 4*c + 219 + 49 = 0. Is (4 + -3)*(0 + x) a composite number?
False
Is -2*(-2314)/16 + 37/(-148) prime?
False
Let g = 199 - -41. Let t = g + -129. Is t a composite number?
True
Let h = 79 - -106. Suppose 3*f = -4*m + 5*m + h, 3*m + 67 = f. Let b = f - 24. Is b prime?
True
Suppose 4*o = 5*u + 1884, 5*o + 3*u + u = 2355. Is o a prime number?
False
Let m(o) = 73*o - 22. Let c(k) = -73*k + 22. Let r(y) = 2*c(y) + 3*m(y). Is r(9) prime?
False
Let z(r) = r**3 - 9*r**2 - 10*r + 13. Let f be z(9). Let q = f - -634. Is q composite?
False
Suppose 0 = 2*q + 102 + 42. Let t = 103 + q. Is t a prime number?
True
Let c(m) be the third derivative of 3*m**2 + 0 - 3/4*m**4 - 1/6*m**3 + 0*m. Is c(-3) prime?
True
Let b(m) = -18*m. Let w be b(4). Let k = -29 - w. Is k composite?
False
Let l = -185 - -576. Is l a prime number?
False
Suppose -5*r - x = -351, r = 4*x + 116 - 29. Is r a prime number?
True
Suppose 3*l - 6*l + 3 = 0, r = -4*l + 7. Let m(d) = -5*d**3 - 4*d**2 - 8*d + 4. Let g(o) = -o**3 - o**2 - o + 1. Let q(z) = -6*g(z) + m(z). Is q(r) prime?
True
Let i(p) be the second derivative of 19*p**3/6 - 5*p**2/2 - 3*p. Is i(6) prime?
True
Let j = 1827 - 1238. Is j composite?
True
Let k(x) = -274*x - 9. Is k(-5) composite?
False
Let t be (10/3)/(5/15). Let a = t + -17. Is -1 + 83 - (a + 4) a composite number?
True
Let n be (12/18)/((-1)/3). Let y = -5 - n. Let s(m) = -3*m**3 - 3*m**2 + m - 4. Is s(y) composite?
False
Let i = 1 - -1. Suppose 115 = -i*f + 4*f + b, 2*f + 2*b = 116. Is f prime?
False
Let q(p) be the first derivative of 5*p**2/2 - p + 3. Is q(2) a composite number?
True
Is 144 + 1 + 0/(-10) prime?
False
Let g(l) = l**3 + 7*l**2 - 4*l + 7. Let d be 8/(-3)*(-18)/(-8). Is g(d) prime?
True
Let x(n) = 12*n**2 + n - 2. Let i be x(-8). Is (i/6)/((-2)/(-6)) composite?
False
Let x be (11 - -1)*(-6)/(-18). Let f(c) = 3*c**3 - 7*c**2 + 3*c + 5. Is f(x) prime?
True
Is ((-2)/(-1))/((-10)/(-5965)) a prime number?
True
Let c = 19 - -13. Is 68/c*2*12 a prime number?
False
Let o = -4863 + 8126. Is o a prime number?
False
Let h(a) = a + 10. Let o be h(-8). Suppose -2*q + 118 = -o*y, -q + 145 = 2*q + 5*y. Suppose -5*f = -100 - q. Is f a prime number?
True
Suppose 13510 = 4*t + 2*n, 2*n + 10126 = 3*t - 3*n. Is t composite?
True
Let h = -130 - -340. Suppose 5*y - 45 = h. Is y prime?
False
Let x be 9/6*12/9. Suppose -2*k - 2*v + 1500 = x*k, 2*k - 734 = -5*v. Is k a prime number?
False
Let q be 21/(-9)*-3 + -1. Suppose -5*h + 20 = 0, 4*i - 2*h = -q*h + 540. Is i prime?
True
Suppose -2*d = -i - 47 - 451, 0 = -d - 4*i + 267. Is d a composite number?
False
Let r be 3/15 + (-42)/10. Let x = -2 - r. Suppose -x + 0 = n, 2 = 3*w + 2*n. Is w a prime number?
True
Let n(d) = 15*d**2 - 11*d + 39. Is n(-16) a composite number?
True
Let h = 815 - 410. Let t = -242 + h. Is t a prime number?
True
Let c(h) be the second derivative of 13*h**3/6 + 7*h**2/2 + 2*h. Is c(6) composite?
True
Let y = 365 - 154. Is y composite?
False
Let q be (-9)/(-6)*(-8)/(-3). Suppose 2*i = -q*i + 708. Is i a composite number?
True
Suppose 2*o = 3*g + 21, 2*o - 5*g = -3*o + 50. Suppose o + 26 = -q. Is (4/(-5))/(2/q) a composite number?
True
Suppose 0 = 3*f + 328 - 817. Is f a composite number?
False
Suppose 0 = -v + 2. Suppose 0 = -t + 5 + v. Is t composite?
False
Let k(o) = 23*o**2 + 2*o - 1. Suppose 0*i - 4*i + 8 = 0. Is k(i) a prime number?
False
Let r be -179 - -1*(-6 - -3). Let q = r + 309. Is q a prime number?
True
Let g = -32 + 65. Suppose -4*n + n + g = 0. Let z = 30 - n. Is z composite?
False
Let n(f) = f**3 + 10*f**2 - 6*f - 8. Is n(-9) composite?
False
Is (1 + -2)/(5/(-4435)) a composite number?
False
Suppose -5*n + 5*h + 2897 = 807, 5*n - 3*h - 2098 = 0. Is n composite?
True
Let h(o) = 9*o**2 + 2*o - 7. Let w be h(-5). Suppose 4*x - 216 = -2*t - 0*t, -4*x + 2*t = -w. Is x prime?
True
Let w(a) = 12*a**3 - a**2 - 21*a + 13. Is w(9) a prime number?
False
Let d = -117 - -172. Is d a prime number?
False
Let i(h) = -2*h - 12. Let c be i(-8). Suppose 566 + 62 = c*s. Is s composite?
False
Let g be (0 - -6) + 0 + -1. Suppose -d = -g*l + 164, 2*d = 4*l - 2*l - 64. Suppose 2*u - l = u. Is u a prime number?
False
Let k be 30/4*(-8)/(-12). Suppose -k = 2*w - 3. Let m(u) = -15*u**3. Is m(w) a composite number?
True
Suppose -16 = 4*b, 2*z - 2 = -z + 2*b. Is (-1759)/(-7) - z/