Is z a prime number?
False
Let g = 4 + -3. Suppose -22 + g = -3*x. Is x a prime number?
True
Let i(x) = -x**2 + x**3 + 2*x - 4 - 2*x**2 + 4 - 1. Let m be i(2). Let l(g) = -19*g. Is l(m) a prime number?
True
Let r(f) = -2*f**2 - f. Let a be r(-1). Is ((-5)/(-2))/(a/(-38)) a prime number?
False
Let w(g) = -g - 11. Let j be w(-8). Let h be -5*3/((-45)/258). Is j/6 - h/(-4) composite?
True
Let m = 254 + -105. Is m a composite number?
False
Suppose 89 = -4*j - 63. Let h = -17 - j. Is h composite?
True
Is (1366/3)/(16/24) prime?
True
Let u = -128 - -241. Is u prime?
True
Suppose -4*a - f = -1871, 2*f = a + 58 - 537. Is a composite?
True
Let s = 87 + 62. Is s composite?
False
Let z(h) be the first derivative of -h**6/4 + h**5/60 - h**2 + 2. Let l(m) be the second derivative of z(m). Is l(-1) a composite number?
False
Let g(u) = 124*u + 2. Let f be g(2). Suppose k + 3*r - 196 - 53 = 0, -k - 4*r + f = 0. Suppose 0 = -2*a + i + 138, -i = -4*a + k + 26. Is a a prime number?
True
Let q(i) = -i**3 + 9*i**2 - 9*i + 8. Let o be q(8). Suppose o = 4*f + f + 565. Let n = f - -228. Is n composite?
True
Let d(a) = a + 3. Let g(x) = x. Let k be g(4). Let o be d(k). Let y = 32 - o. Is y prime?
False
Suppose -9 + 1 = -2*o, -6825 = -5*c - 5*o. Is c composite?
False
Suppose -u - 2*f - f + 20 = 0, -4*u = -f - 15. Suppose -110 = -2*g - 5*v, 0*v - 5*v + 275 = u*g. Is g prime?
False
Suppose c + 3*p - 1787 = -3*c, -2*p = -2*c + 904. Is c a composite number?
False
Let x(b) = -9*b + 11. Let a(c) = -19*c + 23. Let u(t) = -6*a(t) + 13*x(t). Let d be u(4). Let j(y) = 2*y**2 + 10*y + 3. Is j(d) prime?
True
Let o = 21 + 19. Suppose -o = -5*l + 225. Is l prime?
True
Let j = -3 + 3. Suppose j*f = f - 15. Is f composite?
True
Let x(d) = 19*d**2 + 5*d - 12. Let k be x(8). Suppose n - 25 = -4*n, n - k = -3*g. Is g a prime number?
False
Is 169/3 + (-8)/(-12) a prime number?
False
Is ((-4)/10)/((-7)/3745) a composite number?
True
Suppose 75 = 5*n - 30. Is n composite?
True
Suppose 0 = 4*w + 3*d + 1330, -6*w - 1663 = -w + 4*d. Is w/(-4 + 1 + 2) a composite number?
False
Let o be 2 + (-2 - 0)*1. Let w(a) = a**2 + a + 13. Is w(o) a composite number?
False
Let i be 12/(-2)*3/(-6). Let k = -1 + i. Let g(m) = 4*m - 1. Is g(k) a composite number?
False
Suppose u - 2344 = -7*u. Is u a composite number?
False
Let s = 3 - 2. Let z(a) = 24*a + 5*a + 8*a. Is z(s) a prime number?
True
Let m = 1081 - 704. Is m prime?
False
Let y(h) = -2*h - 10. Let i be y(-7). Suppose -i*s = -3*u - 508, -s = -2*u - 2*u - 127. Is s prime?
True
Let g be 2/(-6) - 4/(-12). Suppose 5*u + 2*y - 257 = g, 0*y + 90 = 2*u + 4*y. Is u prime?
True
Let d = -14 - -25. Is d composite?
False
Let l(r) = -79*r**2 + r + 1. Let o(b) = b**2 + b. Let q(u) = -l(u) - o(u). Is q(2) a prime number?
True
Let g = 16 + -17. Is -3 - g - (0 - 39) a prime number?
True
Suppose 3*n = -n - 28. Let d = 42 + n. Is d a prime number?
False
Suppose 0*t = -4*t - 3*f + 3029, -4*t + 3069 = -5*f. Is t prime?
True
Let z(w) = 3*w**2 + 5*w - 4. Let y(k) = k**3 - 6*k**2 + 4*k. Let b be y(5). Is z(b) composite?
True
Let p = 17 + -15. Suppose p*n - 471 = -n. Is n composite?
False
Let y(b) = -2*b**3 - 2*b**2 - b - 2. Let r be y(-3). Let t = -22 + r. Let u = 4 + t. Is u a composite number?
False
Suppose -545 = -0*n - 5*n. Is n a composite number?
False
Suppose 0 = -5*q + 10, 3*q + 3774 = 4*o - 56. Is o prime?
False
Let l = 0 + 4. Suppose -3*z + 2*h = -l, -4*z - 3*h = -0*z - 11. Suppose 2*m = 5*o - 241, -o = -0*m + z*m - 53. Is o a prime number?
False
Suppose -g + l + 6 = 0, -2*g - 2*g + 30 = 2*l. Let x = g - 5. Is (-173)/(-4) - x/8 a composite number?
False
Is (2634/9)/(2/3 + 0) a composite number?
False
Suppose 2*d - 45 = 29. Let n = -60 + d. Is 0 - n/2*2 prime?
True
Let w(g) = 0*g**3 - g**3 - 3*g**2 + 8*g**2 + 3*g**2 - 4 - 5*g. Let x be 4 + -5 - (-8 - -1). Is w(x) prime?
False
Let w be 150 + 1 + -2 + -1. Let z = 48 + 5. Let t = w - z. Is t prime?
False
Suppose 0 = 5*x - 10, 4*x = -4*k + 128 + 532. Is k a prime number?
True
Let o(r) = 7*r**3 + 7*r**2 - 2*r - 1. Is o(5) a prime number?
True
Suppose 20 = 4*s - 36. Let p = s + -22. Is 3/(-4) - 174/p prime?
False
Let y(k) = -k**2 - 8*k - 5. Let z be y(-5). Let n be 164/z + 8/(-20). Suppose -n = 5*h - 261. Is h prime?
False
Let o = -23 + 43. Suppose -v + 6*v = o. Suppose 8 = -0*n + v*n. Is n prime?
True
Suppose 2*m = 3*c - 1399, 2*m = 1 + 7. Is c composite?
True
Let a be (-125)/(-3) - 4/(-12). Suppose 2*k = -0*k + a. Is k composite?
True
Suppose f = -0*f - i + 374, 2*i = -f + 371. Is f composite?
True
Suppose 0 = -5*w + 2*w + 9. Suppose w*x - 2 = 2*x. Suppose -2*n - x = -136. Is n prime?
True
Suppose -28 + 8 = -5*v. Suppose -4*s = -l - 102, 0*s - v*s + 4*l = -96. Is s a prime number?
False
Is (-4)/14 + 5534/14 a composite number?
True
Suppose -f = 5*f - 1506. Is f a prime number?
True
Let j(o) be the second derivative of -o**5/20 + 5*o**4/6 - 3*o**3/2 - 5*o**2 - o. Suppose -w + 0*w + 18 = 2*s, 3*s = -3*w + 33. Is j(s) prime?
False
Let w(g) = g**2 + 1. Let u be w(-1). Let d(h) = -h**2 + 8*h - 8. Let p be d(6). Is u/(0 + p/62) a prime number?
True
Let d = 5 + -41. Let m = 71 + d. Is m composite?
True
Suppose -5*p + 1119 = -611. Is p prime?
False
Let b = -11 - 5. Let o = b - -22. Suppose -116 = -4*g + 3*l, -o*g + 3*l + 142 = -g. Is g prime?
False
Let h = -3460 - -5253. Is h a prime number?
False
Suppose 2*v = -3*v + 1725. Suppose -3*u = 2*u - v. Is u a composite number?
True
Let t = -42 + 121. Is t a prime number?
True
Let z(a) = -a**2. Let u be z(0). Suppose -2*d + 31 + 149 = u. Suppose 5*s - 375 = -d. Is s composite?
True
Let i = 269 + -126. Is i prime?
False
Let m(p) = -4*p. Let d be m(1). Is ((-6)/d + -2)*-178 a composite number?
False
Let g be 2 - ((-16)/2)/4. Is 5*79 - (g + -3) a prime number?
False
Let p(n) = -n**3 + 4*n**2 - 3*n + 2. Let k be p(3). Let j be k/6*3*107. Let c = -30 + j. Is c composite?
True
Let c(n) = -n**3 + 6*n**2 + 9*n - 10. Let b = 14 - 7. Let i be c(b). Is 3/i + (-3245)/(-20) a prime number?
True
Suppose -4*w = w - 155. Let s = 24 + w. Is s prime?
False
Suppose -9 = -k + 4. Suppose -16 = -4*a - j + 11, -j = 2*a - k. Is a prime?
True
Let b(w) = 6 + 3 - 6*w + 0. Is b(-7) a composite number?
True
Let i be (0 - -3)*(-6)/(-9). Let d be (0 - 1) + 1 + i. Suppose -3*u + 3*g - 18 + 138 = 0, -6 = d*g. Is u a prime number?
True
Let c(f) = -f**3 + 5*f**2 - 2*f - 3. Let y be -8*(6 - 3)/(-6). Let w be c(y). Suppose -6 = -n + w. Is n prime?
True
Suppose -b - b = -1172. Is b prime?
False
Suppose 3*b + 5*m - 149 = b, -4*b + 256 = -4*m. Is b composite?
False
Let o = 74 - 15. Suppose -o = 2*n - 23. Let x = 1 - n. Is x a prime number?
True
Is (-34)/(-17) + 235*1 composite?
True
Let o(a) = a**2 + 3*a + 2. Let g be o(4). Let t = 1 + g. Is t a prime number?
True
Let s be 8/(-4) + 0/1. Is (-1)/(s/522*3) prime?
False
Let s(k) = -k**3 - 10*k**2 + 10*k - 9. Let v be s(-11). Suppose 0 = v*b - 21 - 133. Is b prime?
False
Suppose -4*s = -11 + 3. Is (s + -1)/((-3)/(-381)) prime?
True
Let v(a) = 13*a**2 + 4*a + 1. Is v(-3) prime?
False
Let u(s) be the third derivative of 151*s**5/60 - s**3/6 - 2*s**2. Let k be u(1). Suppose -2*j = 4*n - k, 3*n + 2*j - j - 112 = 0. Is n composite?
False
Suppose 2*w - l = -w - 3, w = 3*l - 9. Suppose 3*v - 3*x = -2*x, w = 5*v + 5*x - 20. Is v/2 + 219/6 a prime number?
True
Is (3 - 505)*(3 - 28/8) a composite number?
False
Let z(c) = 6*c + c**3 - c**3 + c**3 - 4 - 3*c**2 + 1. Is z(4) composite?
False
Let i(o) = -7*o**3 - 9*o**2 + 4*o + 5. Is i(-4) a composite number?
False
Let r(h) = -h**3 + 4*h**2 + 2*h - 2. Suppose -2*m + 2 = -6. Let c be r(m). Is 4/6 - (-218)/c a prime number?
True
Is -1*(1495/(-5) + -4) a composite number?
True
Suppose -31 = -j - 11. Let h = j - -8. Suppose 0*s = 4*s - h. Is s a prime number?
True
Let d be (513/(-2))/(15/(-20)). Suppose -15 = -3*k + d. Is k composite?
True
Let i(a) = a. Let b be i(0). Suppose b = -0*j + 3*j. Let x(t) = t + 23. Is x(j) prime?
True
Let o be 0/5 - (1 - 4). Suppose 0 = -o*s - j + 54, s - 31 = 2*j + 2*j. Suppose 2*c = c + s. Is c a composite number?
False
Let y(v) = v**3 + 11*v**2 - 14*v + 21. Let i be y(-11). Let r(d) = d - 1. Let b be r(4). Suppose 0 = 2*a + b*n - 70, -n = 5*a - 10*a + i. Is a a prime number?
False
Is 61974/10 - ((-252)/(-30)