= 0, z + d = -3*d - 2. Let l = 6 + z. Is l composite?
True
Let i(w) = 2*w**2 + 3*w - 2. Let s be i(-4). Suppose q = -3 + s. Let g = q + 22. Is g prime?
True
Let i be (4/(-12))/((-1)/(-21)). Let f = 1 + i. Is (-1546)/f + 4/(-6) a prime number?
True
Let x = 23 - -24. Is x prime?
True
Let w = -540 - -859. Is w prime?
False
Suppose 0 = 2*b - 32 - 4. Suppose 2*j - b = -0*j. Suppose -4*g - j = -g, 5*g + 462 = 3*o. Is o prime?
True
Let n be -3 + 3 - 1*-2. Suppose n*g + 0 = -5*o - 1, -5*g + 6 = 4*o. Suppose 70 = 3*d + g*j, -3*d - 92 = -7*d - 2*j. Is d a composite number?
True
Suppose -4*c + 2*c + 40 = 0. Let y = 211 - c. Suppose -b - 63 = -p, 3*b + 63 = 4*p - y. Is p a composite number?
True
Let i be 2 - (-3*3)/3. Suppose -o - o = 4, 3*o = i*t - 601. Is t prime?
False
Let m(k) = -55*k**3 - k**2 + 1. Let v be m(-1). Suppose -a - 3*a - v = 3*s, 4*a - s + 51 = 0. Let o = a - -66. Is o prime?
True
Let z(j) = 9*j - 11 - 20*j - 7*j. Is z(-10) a prime number?
False
Let o(a) = a**2 + 2*a + 19. Is o(0) composite?
False
Let r = -4 + 14. Is (65/r)/((-4)/(-88)) a composite number?
True
Let y(j) = 47*j**2 + 5*j + 4. Let p be y(-3). Suppose -3*h = -143 - p. Is h prime?
False
Let l be 9/(-15) - (-18)/5. Suppose -l*j = -83 - 58. Is j composite?
False
Let r = 1 + -1. Let y = 3 + r. Is 584/6 - 1/y a prime number?
True
Suppose 3*d = -3*q - 2 - 13, 0 = -2*d + 5*q - 24. Suppose -3*u + 32 - 8 = 0. Let v = u - d. Is v a composite number?
True
Is (0 - -526)/(4/2) a prime number?
True
Suppose 28*p - 26*p = 1594. Is p prime?
True
Let c = -33 + 164. Is c a prime number?
True
Let a = -72 - -125. Is a a composite number?
False
Suppose 3*j = -487 + 1300. Is j prime?
True
Suppose -228 = -3*i + i. Suppose -a = a - i. Is a prime?
False
Let h = 333 + -174. Suppose 4*w - h = 25. Let b = w - -3. Is b prime?
False
Let l = -13 - 5. Is ((-99)/l)/(2/12) composite?
True
Suppose 2*f + 76 = -p - 87, 2*p = 4*f + 346. Let a be (-3)/(2 + 177/f). Suppose 21 = y - a. Is y a prime number?
False
Let u = 617 + -52. Is u a prime number?
False
Let o(y) = -y. Let t(b) = b**2 - 5*b + 1. Let v be t(4). Let n be o(v). Suppose -4*c + 171 = n*k - 102, -2*c = -k + 91. Is k composite?
True
Suppose 0 = 14*g - 7271 - 11475. Is g prime?
False
Suppose -n + 6*n = 15. Let i(d) = -10 + 23 + 14*d**2 - 7 - 5 - 2*d. Is i(n) a prime number?
False
Let o(j) = -64*j**3 - 3*j**2 - 3*j - 3. Is o(-2) prime?
True
Suppose -2*d = 208 - 1914. Is d a composite number?
False
Let k(l) be the first derivative of -l**5/15 + 7*l**4/24 - l**3/3 + 2. Let o(r) be the third derivative of k(r). Is o(-6) composite?
True
Let n = -356 - -577. Suppose -l - 2*q = -n, -4*l - 2*q = -45 - 809. Is l a prime number?
True
Suppose -r = v - 2*r - 1, -4*r - 25 = 3*v. Let a = v - -6. Suppose n + f = 9, -n - 2*f + 12 = a. Is n composite?
True
Let m = 9 + 44. Is m prime?
True
Suppose -4*f + b - 476 = 0, 3*f + 4*b = -0*b - 357. Let q = 196 + f. Let o = q + -24. Is o a composite number?
False
Let f(s) = 0*s - 1 - 5*s - 4*s - 5*s. Is f(-7) a composite number?
False
Let p(q) = -q**3 - 6*q**2 - 6*q. Let b be p(-4). Let r(u) = -u**2 - 9*u - 6. Let s be r(b). Suppose -7*c + s*c = -50. Is c composite?
True
Let m = -3 - -2. Let h = m + 4. Suppose -l = h*l - 60. Is l composite?
True
Is (8/(-12))/((-6)/14589) a prime number?
True
Let d be ((-2)/(-5))/((-5)/(-1325)). Suppose t + t = d. Is t composite?
False
Let z(j) = -j**2 + 5. Let i be z(0). Suppose i*m - 4*v - 2165 = 2*m, 2866 = 4*m + 5*v. Is m a composite number?
False
Let i = 16 + 37. Is i a composite number?
False
Is (-2)/4*-94*1 a prime number?
True
Suppose 0*c + f = 2*c - 792, 0 = 3*f - 6. Is c a prime number?
True
Let x(h) = 2*h**3 + 2*h - 1. Let o be x(1). Suppose b = w + 215, 8*w - o*w = 2*b - 436. Is b prime?
False
Suppose 5*x = -416 + 2511. Is x composite?
False
Suppose 4*r + 2*t + 0*t = 10, 0 = 4*r - 4*t + 8. Let x be (2 + 21)*1*r. Is (-4 + 2)/((-2)/x) prime?
True
Let q be 2 + 0 - (-2)/(-2). Let h = 13 + q. Is (-3)/(2/h*-1) composite?
True
Let o = 30 - 119. Suppose -m + 2*b - 148 = 0, 4*b = 2*m + m + 438. Let y = o - m. Is y a prime number?
True
Let t = 394 + -105. Is t a prime number?
False
Suppose 0 = -4*l + l. Suppose l = -9*k + 7*k + 530. Is k composite?
True
Let w = 447 - -610. Is w composite?
True
Let i(p) = -3*p**3 - p**2 - 3*p + 7. Let b be i(-6). Let v = b - 374. Is v composite?
False
Let r(i) = -i**3 - 8*i**2 + 3*i + 4. Let b be r(-10). Is b/18 - (-2)/6 prime?
False
Let w be 141/21 + (-2)/(-7). Let u = w + 12. Let h = 12 + u. Is h a composite number?
False
Let u(j) = 3*j**2 - 27*j + 21. Let t be u(18). Let a = 590 + t. Is a composite?
False
Suppose -4*z + 6 = -2*i - 5*z, 3*z + 7 = 5*i. Is (-19 - 2)/(-3) + i a prime number?
False
Suppose 0*n + 4*n + 12 = 4*o, 0 = 5*o + n + 15. Is -23*(-1 - (-2 - o)) a composite number?
False
Suppose 0 = -2*n + m + m + 1956, 2899 = 3*n + 4*m. Suppose 4*k = k - 15, -n = -2*t - 5*k. Is t a prime number?
True
Let b(y) be the first derivative of 23*y**3/3 + y**2/2 + y - 2. Is b(-1) a composite number?
False
Suppose 90234 = 17*d + 26297. Is d prime?
True
Is 12234/21 - (-12)/28 a composite number?
True
Let l = 2365 + -1008. Is l composite?
True
Let a(f) = -f**2 - 6*f. Let t be a(-5). Suppose -t*o = 0, -3*x = -2*x - 5*o - 279. Suppose -i = 2*i - x. Is i prime?
False
Let r = 1 + 0. Suppose l - 1 = r. Suppose 5*h = 5*g + 465, l*h - 84 = 5*g + 90. Is h prime?
True
Suppose -3*y + 517 = 166. Suppose 5*g = -2*w + 345, 0*g + 2*g - y = -5*w. Is g a composite number?
False
Suppose 19 + 128 = 3*p. Is p prime?
False
Let r(p) = -p**3 - 3*p**2 - 4*p - 2. Let l be r(-2). Let c be -97 + -1 - (l - -1). Let y = c - -150. Is y a composite number?
True
Suppose -5*y = -5*k + 2975 - 1145, 5*y = -4*k + 1509. Is k composite?
True
Suppose 11*k = 7*k + 12172. Is k prime?
False
Suppose -4*l = -o - 361, -4*l - o + 54 + 297 = 0. Is l composite?
False
Suppose 0 = 9*i - 6*i - 1443. Is i a composite number?
True
Let t(f) = -f + 9. Let d be t(4). Suppose 3*v + d + 1 = 3*r, r - 3*v + 4 = 0. Suppose 0 = -3*g + r*g - 242. Is g prime?
False
Is (37/4)/(1 - 14/16) prime?
False
Suppose -c = -2*c + 373. Is c prime?
True
Let d(h) = -2*h. Let b be d(1). Let i = b + 5. Suppose -i*w + 73 = -f, -2*w + 89 = -2*f + 35. Is w composite?
False
Suppose 4*d + 128 = 2*k, -176 - 66 = -4*k + d. Let b be k/16 + 1/4. Suppose 5*o - 109 = b*f, 103 = 4*o + 5*f + 24. Is o a prime number?
False
Let u = -20 - -71. Is u prime?
False
Suppose 0 = d + 2*d - 318. Is d a prime number?
False
Suppose -6*d - 1770 = -12*d. Is d a prime number?
False
Let c = -564 - -1781. Is c a composite number?
False
Let p = 48 - 5. Is p a prime number?
True
Let x(o) = -2*o**3 - 2*o**2 + 2*o. Let a be x(-2). Suppose a - 10 = -3*m. Suppose -m*h - 50 = -4*h. Is h a composite number?
True
Let p(f) = f**2 - 2*f. Let a be p(3). Suppose -a*j + 22 = -2*j. Is j a prime number?
False
Suppose -4*u - 835 = 5*n - 0*u, 0 = 5*n - u + 835. Let p = -88 - n. Is p a composite number?
False
Let n be 66/15 + 2/(-5). Suppose 7 = 3*i - 2. Suppose 4*p = i*p - 2*b + 35, 3*p - n*b - 95 = 0. Is p composite?
True
Let l = 1535 - 844. Is l a composite number?
False
Let q = 2 + -5. Let h(f) = -4*f**3 - 4*f**2 - 3*f + 2. Is h(q) a composite number?
False
Let u(r) = -r**3 + 2*r**2 + 2*r - 2. Let x be u(2). Suppose x*o + 0*o = 106. Is o composite?
False
Let d = -22 + 31. Suppose -4*k + d = -7*k, 6 = -s - 3*k. Is s a composite number?
False
Is (-1558)/(-3) + (-1)/3 prime?
False
Let y(f) = -2*f + 12. Let c be y(6). Suppose -4*g + 3*b + 275 = 0, c = 2*g + g + b - 190. Is g composite?
True
Is 22/((-2)/(-76)*4) a composite number?
True
Suppose -1761 = 3*d - 6*d. Is d a composite number?
False
Let n = -4 + 5. Let v be 0 + -1 - 1 - -1. Is (-1 - n)*-7 + v a prime number?
True
Let a(l) = -2*l**2 - 3*l - 2. Let o be a(-4). Let w(m) = 3*m. Let u be w(8). Is o/((u/9)/(-4)) prime?
False
Let u be (1836 - -2)*(-4)/(-8). Suppose -1813 = -4*h + u. Is h prime?
True
Suppose 0 = -4*u + 7*u. Suppose u*w - 716 = -4*w. Is w prime?
True
Let q(u) = -4*u**2 - 5*u + 1. Let o(a) = -a**2. Let w(d) = 2*o(d) - q(d). Is w(-4) prime?
True
Suppose -11 = d - 126. Is d a composite number?
True
Let f(w) = -58*w - w - 30*w. Let s be f(-3). Suppose 0*n = -3*n + s. Is n a composite number?
False
Let h = 1 + -1. Let p(j) = -j**