alse
Let n = -9 + 4. Let v be ((-44)/(-10) + 0)*n. Is v/(-2)*(1 - 0) a prime number?
True
Let d = 204 - 136. Let j = 102 - d. Is j composite?
True
Let d = -1041 + 2710. Is d composite?
False
Let d(b) = b**3 + b**2 + 2*b + 3. Let c be d(-2). Let n = 30 - c. Is n a composite number?
True
Suppose -3*z + 2363 = -142. Is z prime?
False
Suppose 1036 = 4*u - 448. Is u a composite number?
True
Let u(g) = -110*g + 7. Let p = -4 + 0. Is u(p) a prime number?
False
Let k be ((-11)/(-2))/((-1)/(-2)). Suppose -4*f = -3*v - 812, -2*f + 395 + k = v. Is f composite?
True
Let n(z) be the second derivative of -z**6/120 - z**5/15 + 11*z**4/24 + 3*z**3/2 - 3*z**2/2 - 3*z. Let m(s) be the first derivative of n(s). Is m(-7) prime?
True
Suppose -4*l + 793 = 5*r - 9, 2*l - r = 408. Is l prime?
False
Let b = 5 + 0. Suppose 3*i - 5*r - 19 = -0*i, -b*i + 69 = r. Is 2/2 - -6*i a prime number?
True
Let c(p) = p**3 + p**2 + 191. Suppose v - 2*v = -a, 4*v = -4*a. Is c(v) a composite number?
False
Let w be (-2 + 0)*(2 + -1). Let u(o) = -4*o**3 - o**2. Let l be u(w). Suppose -x = 3*p - l, -1 = 2*x - 4*p - 7. Is x prime?
True
Let r = -5 - -5. Suppose -56 = -2*o + m - r, -4*m = -3*o + 94. Suppose 6*z - 52 = -4*v + 2*z, -3*z + o = 2*v. Is v a composite number?
False
Suppose -t + 5 = 0, 22 + 0 = 3*u + 5*t. Is (15/(-12))/u*236 a prime number?
False
Suppose 6*v - 4*v - 758 = 0. Is v a prime number?
True
Let m(u) = -u**2 + 5*u - 2. Let s be m(3). Suppose -3*c + q = -s*q + 13, -5*q + 37 = 3*c. Suppose -52 - c = -4*i. Is i a prime number?
False
Let s(t) = 1 - 4 + 16 + 21*t. Is s(10) a prime number?
True
Suppose -y - y + 60 = -4*p, -98 = -3*y + 4*p. Let d = y - 26. Let g = 18 - d. Is g prime?
False
Let k(f) be the third derivative of -1/12*f**4 - f**2 + 11/20*f**5 + 0 + 0*f - 1/6*f**3. Is k(2) prime?
True
Let y be 1/2 - (-10)/4. Suppose -36 = -h - y*h. Is h prime?
False
Let n(z) = -z - 9. Let i be n(-10). Let k = 118 + i. Is k a prime number?
False
Let f = 9 + -7. Suppose -n - 17 = 5*g - 3, -2*n - f*g + 12 = 0. Is n composite?
False
Suppose 2*v = -3 - 13. Let p(r) = r**2 + r + 3. Is p(v) composite?
False
Suppose 2*y - 63 - 93 = 0. Suppose -n + 133 = -y. Is n composite?
False
Suppose -3*f + 12 = 39. Is 3/f - (-1938)/9 a composite number?
True
Let k be (-1)/(-4) - (-4653)/12. Suppose 179 = q + 4*y, 2*q + y - k = 3*y. Is q prime?
True
Suppose q - 577 = 136. Is q prime?
False
Let h = -264 - -679. Is h a prime number?
False
Let w(y) be the second derivative of 5*y**3/6 + y**2/2 - 2*y. Let z be w(1). Is 3/9 - (-580)/z a prime number?
True
Suppose -5*z + 2*d + 5 = 3, 0 = -4*z - 2*d + 16. Suppose 5*p - 18 = -f, p = z + 1. Suppose 32 = f*i - 25. Is i a composite number?
False
Let p = -30 + 42. Is (17/3)/(2/p) composite?
True
Is 1 - -147 - ((-25)/(-5) + -6) a composite number?
False
Let h(o) = o**3 + 7*o**2 - 8*o. Let p be h(-8). Let m(v) = v**3 - v + 2. Let f be m(p). Suppose 5*s - 20 = -f*y + 218, 0 = 3*y - 12. Is s a composite number?
True
Suppose z = -2*z + 1002. Suppose 14 = -x - 2*q + 99, -4*x = 2*q - z. Is x a composite number?
False
Suppose 4*s - 2*s = -5*c - 12, -12 = s + c. Let v = -7 - s. Is (74/(-3))/((-6)/v) a prime number?
True
Let s(m) = m**2 - 3*m + 13. Suppose 31 - 1 = -5*c. Is s(c) prime?
True
Let m(p) = 14*p**2 + 11*p + 24. Is m(13) composite?
True
Suppose 4*s - 2*y - 980 - 670 = 0, -1653 = -4*s - y. Is s prime?
False
Let w = 2502 + 107. Is w composite?
False
Let o be (-3714)/30 + (-2)/10. Let p = 177 + o. Is p composite?
False
Suppose 4*y - 138 - 72 = -3*r, -333 = -5*r - y. Suppose 2*u = -3*x + r - 3, -u - x = -34. Is u a composite number?
True
Let c(h) be the second derivative of 0 + 2*h**4 - 1/6*h**3 + 2*h + 0*h**2. Is c(-1) a composite number?
True
Is ((-3)/6)/(1/(-382)) composite?
False
Suppose l + 8 = 42. Suppose -k + 2 = -2*d, 2*d + 12 - l = -5*k. Is d/(-2)*20/(-5) a composite number?
False
Let z be (1*15/(-3))/(-1). Suppose 4*v + z*i - 477 + 138 = 0, -v + 69 = -4*i. Suppose 0 = -g - 4*a + v, 3*a - 172 = 3*g - 5*g. Is g composite?
False
Suppose 3*r = 2*r + 11. Is r prime?
True
Is (-2)/(-6)*(1 - -434) a composite number?
True
Let z = -313 + 159. Let b = z - -312. Let l = -79 + b. Is l prime?
True
Let w be 1/1 - (13 + -117). Suppose 0 = -5*r - 15 - 10, 0 = -2*h - r - 1. Suppose n = -h*n + w. Is n prime?
False
Let d = 352 + 29. Is d prime?
False
Suppose 0 = -5*j - 4*f + 643, -5*j + 148 = 3*f - 493. Is j prime?
True
Is 3/(((-9)/19)/(-3)) a prime number?
True
Is 4/8*-3*1004/(-3) prime?
False
Let u = -1 + 4. Let z be 9/u - 51 - 1. Let g = -16 - z. Is g a composite number?
True
Let w(l) = 3*l - 10. Let m(t) = t - 3. Let y(g) = -11*m(g) + 4*w(g). Let z be y(5). Is (z/(-4))/((-2)/(-148)) prime?
True
Let s(u) = u**2 + 4*u - 6. Let n be 9/1*6/6. Is s(n) a prime number?
False
Let n(x) = x**2 - 4*x + 2. Let m be n(4). Suppose m*w - 845 = -15. Is w a composite number?
True
Suppose -2*n + 5*d - 15 = -0*n, -3*d = 4*n + 17. Let x(s) = -10*s - 1. Is x(n) a prime number?
False
Suppose 4*i - 11888 = -y, 0 = i + 4*i + 3*y - 14867. Is i composite?
False
Let l(f) = -85*f - 57. Is l(-18) prime?
False
Let k(t) = 12*t**3 + 10*t**2 - 6*t - 3. Is k(4) prime?
False
Let n(m) = 3*m - 4. Let z be n(3). Suppose -z*i = 0, -2*i - 8 = -2*j - 0*i. Suppose t = -q - 4*t + 26, 3*q + j*t = 122. Is q composite?
True
Let m(f) = -7*f**2 + f**3 - 8*f - 7 + 1 - 3*f**3. Let t be 3/9 + 16/(-3). Is m(t) composite?
False
Let b = -312 - -866. Suppose 4*s = 1122 + b. Is s composite?
False
Let j = 5 - -20. Is (-2)/10 + 155/j composite?
True
Suppose 4*y - 160 = -y. Let z be (1/4)/(4/y). Is -5 + z + (-188)/(-2) a prime number?
False
Suppose -n + 27 = -60. Suppose 7*v = 3*v + 248. Let o = n - v. Is o a composite number?
True
Suppose 124 = 3*l - 293. Is l a prime number?
True
Let h(r) = -r**2 - 22*r + 6. Is h(-17) a prime number?
False
Is (-2)/(-8)*2*590 a composite number?
True
Suppose 0 = 3*b - 0 - 6. Let u(o) = -2*o**2 - 1. Let d be u(b). Is (-3)/(d/231) - -2 prime?
True
Let q = 37 - 14. Is q composite?
False
Suppose -5*m + 6471 = -2*q, 4*m - q - 5157 = -6*q. Is m a prime number?
False
Suppose 5*z + 4*k - 303 = -0*k, 3*k + 171 = 3*z. Is z a prime number?
True
Let z = -688 - -1207. Is z a composite number?
True
Suppose 3*n = 4*n - 3. Let w = 3 - n. Suppose -7 = -b - 5*m + 11, w = -5*m - 5. Is b a composite number?
False
Let c = -234 + 150. Let y = c - -214. Suppose -y = -q - q. Is q a composite number?
True
Let k(t) = -4*t + 203. Is k(0) composite?
True
Let o = 6 + -1. Suppose o*g = 1404 + 571. Is g a prime number?
False
Suppose 2*j - j = -3*y + 3198, -4*y = -j - 4271. Is y a composite number?
True
Let d be (6 - 0)/((-6)/(-3)). Suppose 2*x + 4*p = -28, -x - d*x = 4*p + 68. Let a = x + 51. Is a composite?
False
Let j = 11 + -17. Let o = j + 25. Is o composite?
False
Let p = 3 + -3. Suppose -2*j + p*j = -4. Is (-194)/(-3) - j/(-6) a composite number?
True
Suppose -5*y + 89 = n + 15, 239 = 3*n - 2*y. Let o be 15/10 - (-2)/4. Suppose 0 = 2*p - 4*p + 3*i + n, 0 = o*p + i - 67. Is p prime?
False
Suppose 3*z = 4*z - 3. Let h be 1*z + 693/7. Suppose 3*w + 3*d = 192, 4*w + 5*d + h - 355 = 0. Is w prime?
True
Suppose 5*b + n = 919, -2*n + 4 = -4. Is b composite?
True
Suppose 7*a - 426 = 1303. Is a composite?
True
Let p(n) = -n**2 - 8*n + 3. Let f be p(-8). Suppose 0*d + 2*i + f = d, -15 = -5*d + i. Suppose 35 + d = 2*c. Is c composite?
False
Let o(k) = -18*k + 1. Let b be o(3). Let h = 111 + b. Is h a prime number?
False
Suppose 2440 - 391 = 3*l. Is l composite?
False
Let r = 3639 - 496. Is r prime?
False
Let f = 2230 - 3. Is f a prime number?
False
Let s(b) = -b**2 + 1. Let p be s(-1). Suppose -2*n - 16 = 4*r - 8*r, p = -5*r + 4*n + 17. Suppose -4*a + 64 = 5*h - 35, -3*a = -r*h + 92. Is h a prime number?
True
Let i(u) = -u**2 - 5*u + 5. Let x(l) = -2*l**2 - 14*l + 14. Let n(p) = -14*i(p) + 5*x(p). Let r be n(-1). Is (r/(-4))/((-2)/178) a composite number?
False
Is (1 - -1)/((-612)/124 + 5) prime?
True
Let t = -2761 - -5658. Is t prime?
True
Suppose 0 = -4*d + 3*f + 1303, -3*f - 649 = -2*d - 4*f. Let u = -114 + d. Is u prime?
True
Let q be (12/10)/((-9)/60). Is 713/9 + q/36 a composite number?
False
Suppose -4*x - 4*h + 630 = -2*h, 2*x - 330 = -4*h. Is x prime?
False
Let d be -1 + 4 + -3 + 2. Suppose d - 4 = -b. Suppose b*o - 255