+ 2*i + m. Is o(-2) a prime number?
False
Suppose -10*o = -5*o - 15. Suppose 0 = -5*q + o*p + 61, -p = -1 + 3. Is q a composite number?
False
Suppose 1388 = 4*z - 0*z. Suppose -2*p - 3*p + 3*a + 480 = 0, -5*a + z = 4*p. Is p prime?
False
Suppose 5*a - a = -1252. Let d = -96 - a. Is d a composite number?
True
Let m(v) = -4 - 3*v - 3 + 3 + 5 + 15*v**2. Is m(3) composite?
False
Is (-8)/(-6)*(-369)/(-6) a prime number?
False
Let l be (1/3)/((-6)/(-18)). Let z(o) = o**2 - 3 + l + 4*o - 3. Is z(-6) prime?
True
Let l = 7 + 14. Is l composite?
True
Is -5 + 1/(3/894) composite?
False
Let w be (-62)/(0 + -1) + -2. Let k = w - 38. Is k a composite number?
True
Let l be 9*(15/(-9) + 1). Is 4/l - (-728)/21 a prime number?
False
Let k = 68 - 31. Is k prime?
True
Let o = -9 + 14. Suppose o*m - 14 = -g + 4, -3*m + 15 = 2*g. Is 2*-37*g/(-3) a prime number?
False
Suppose -4*d = 2*z + 398, 5*z = 5*d + 226 + 309. Let y = d + 148. Is y prime?
False
Let y(g) = -g**3 + 9*g**2 + 4*g - 3. Is y(9) a composite number?
True
Let s be (22/(-4) + 2)*2. Let b = -7 - s. Is (2/(-2) - b)*-22 prime?
False
Suppose 4*g = 2*g - 8, -5*v = -g - 2919. Is v a prime number?
False
Suppose -3*f + 8*f - 60 = 0. Is -102*2*(-3)/f a composite number?
True
Is 2*(-926)/(-12)*3 prime?
True
Let k(z) = -z**2 + 9*z. Let g be k(9). Suppose 15 = 7*b - 2*b, g = -4*s + 3*b + 3. Suppose 2*u - s*f - 103 = 0, -2*f = 2*u - 139 + 11. Is u a composite number?
False
Let a = 4 + -7. Let g = a + 22. Is g composite?
False
Suppose 0 = 4*i - 1347 - 11773. Suppose 5*o + 465 = i. Is o a composite number?
False
Is 4/(-12) + (-484)/(-3) a composite number?
True
Suppose 5*l - 1205 + 195 = 0. Is l composite?
True
Let h = -744 + 1375. Is h prime?
True
Let s(n) = -n**2 - 5*n - 2. Let i be s(-3). Suppose -i*h = -2*h - 158. Suppose -g + h = -0*g. Is g a composite number?
False
Let b(w) = -12*w - 1. Is b(-7) prime?
True
Suppose -180 - 11 = 3*t + 2*q, 0 = -5*t + 5*q - 360. Let l = 21 - t. Suppose 3*a = -4*b + l, 3*b - a = -4*a + 69. Is b composite?
False
Let m = 18 - 12. Suppose -2*s - m = -2. Let w(l) = -19*l**3 - l**2 + 3*l + 3. Is w(s) composite?
True
Let l be (0 + 1434)*3/9. Suppose 0*x + 2*x = l. Is x a composite number?
False
Let n = -11 - -13. Is n/6 + (-1264)/(-6) prime?
True
Suppose -2*b + 27 = 5*s, -3*b - b + 24 = 4*s. Let k(o) = 3 + 3 + 5*o**2 - s + o. Is k(-5) a composite number?
True
Let w(k) = -25*k + 1. Let q be w(2). Let m = q - 51. Let h = m - -183. Is h composite?
False
Suppose 0 = -5*x - 0 + 10, -3*x = 2*d - 10. Suppose 0 = -2*w - d*w + 580. Is w a composite number?
True
Let f(u) = u**3 - 8*u**2 - 3*u + 3. Let v = -5 - -3. Let r be (-3)/6 + (-19)/v. Is f(r) a prime number?
False
Let n(f) = 6*f**2 + f + 2. Let t be n(4). Let w = t + -72. Suppose -k = -4*y - w, -5*y + 8 = -3*k + 5*k. Is k composite?
True
Let m(v) = 2*v**2 - 7*v + 1. Let p be m(6). Suppose t - p = 18. Is t a prime number?
False
Suppose 2*u - 4*f - 798 = 0, 3*f = -2*u - 34 + 797. Is u a composite number?
False
Let a be (2*(-17 + -2))/(-2). Suppose 3*j - a = 50. Is j a prime number?
True
Let a = 40 - 17. Let t = a - -136. Suppose -5*b + t = -76. Is b a composite number?
False
Suppose -5 = -h + 2*x, 3*h - 55 + 4 = -3*x. Is h a composite number?
False
Let x be (-8)/4 + (9 - 3). Suppose x*l - 4*f = 1208, 3*l = 5*f - 0*f + 896. Is l prime?
True
Let s = -102 - -192. Suppose 5*m - 2*m = 129. Let c = s - m. Is c prime?
True
Let i = 520 - 269. Is i prime?
True
Let a(i) = 2*i**3 + i**2 + 2*i - 1. Let l be (-1 - 1) + (-1 - -5). Is a(l) prime?
True
Let q(a) be the second derivative of 4/5*a**5 - a + 0 - 1/12*a**4 + 1/2*a**2 - 1/3*a**3. Is q(2) prime?
False
Let l = -193 + 674. Is l a composite number?
True
Let r(b) = 11*b**3 + b**2 + b + 1. Let f be r(-1). Is 168/15 + 2/f a prime number?
True
Suppose 0 = -5*s + 9 + 1. Suppose s*h - 30 = 2*p + 34, 0 = 2*h - 5*p - 52. Suppose b + h = 2*w, 4*w - b - 66 = 4*b. Is w a composite number?
False
Suppose -23*j - 419 = -24*j. Is j a prime number?
True
Let n(v) be the first derivative of -7*v**2/2 - 3*v + 3. Is n(-4) prime?
False
Let q(y) = -2*y - 1. Let l be q(1). Let w(o) = -o**3 - 3*o**2 - o - 1. Let h be w(l). Suppose -3*a + 125 = h*a. Is a composite?
True
Let d = -52 - -2. Let x = d - -112. Suppose f - 2*v - x = 0, 0*v = -5*v. Is f prime?
False
Suppose -2*w = -3*w - 5*q + 76, -w + q = -100. Let y = -29 + w. Is y composite?
False
Let n(y) = -19*y**2 - 2*y - 2. Let k be n(-2). Let f = 71 - k. Is f a prime number?
False
Let r = 325 + -32. Is r a composite number?
False
Suppose 0 = -2*r + o - 314, 0*r - 179 = r + 5*o. Let p = 297 + r. Suppose -5*g + 2*g = -p. Is g prime?
False
Let r(k) = k**2 + 6*k + 4. Let d be r(-6). Suppose 0 = d*h + 2*g - 108, -h - 5*g = -48 + 3. Is h a prime number?
False
Suppose 3*s + y - 98 = 0, 5*s - y - 82 - 84 = 0. Let f = s - -14. Suppose -63 - f = -2*p. Is p prime?
False
Suppose 5*n = 2*n. Is (-1 + 56)*(n - -1) a prime number?
False
Let v(s) = s**3 + 6*s**2 - 6*s + 7. Let i be v(-7). Suppose 4*k + i*k - 16 = 0, 2*f - 2*k - 62 = 0. Is f a prime number?
False
Let f be (-10)/45 + (-340)/9. Let p = f - -63. Suppose -3*b - 3 = 0, 5*b - 27 = -3*h + p. Is h prime?
True
Suppose -p + 4*c = 3, 5*p = 3*c + 4 - 19. Let g = 0 - p. Suppose -45 = -j - 2*j + g*b, 39 = 5*j + 4*b. Is j composite?
False
Let x(g) = 2*g**2 - 3*g - 4. Let d be x(3). Let w = 10 - d. Suppose 4*c = -w*u + 339, 2*c = -u + 57 + 12. Is u a prime number?
True
Let x(f) = f**2 + 8*f + 9. Let r be x(-7). Suppose p = 24 + r. Is p a composite number?
True
Suppose -2*q + i + 255 = 0, -5*q + 0*q + 637 = -2*i. Is q a composite number?
False
Let b(x) = x**3 + 5*x**2 - x - 1. Let i be b(-5). Suppose -5*v - i*c + 1509 = 0, -3*c - c - 1200 = -4*v. Is v composite?
True
Suppose 0*l - 18 = 3*l. Is (-131)/(-7) - l/21 a prime number?
True
Let y(n) = n + 9. Let q be y(-7). Suppose -3*v = -3*f - 567, 5*v = 2*f + q*f + 947. Is v a composite number?
False
Suppose 4*t = -2*t + 4530. Is t prime?
False
Suppose -5*z + 128 = -z. Is -1 - (0 - 1)*z prime?
True
Is (-2 + 3/2)*(0 + -28) composite?
True
Let g = 274 - 127. Let p = 934 - g. Is p prime?
True
Suppose -3*v - 5*x + 21370 = 0, 10180 = 3*v - 2*x - 11155. Is v composite?
True
Suppose 9 = 4*g + 33. Is (g - -3) + 0 + 17 a composite number?
True
Is (122/6 + 3)*(-6)/(-4) a composite number?
True
Suppose -4*z + 30 = -z. Let v = z + 5. Is v a composite number?
True
Let f = 3 - -1. Suppose -2*j + f = -58. Is j a prime number?
True
Let q be (-1)/(1 + (-12)/9). Suppose -2*t + 78 = f, -4*f - 99 = t - 432. Suppose 0 = -5*b - p + 21 + f, 125 = 5*b - q*p. Is b composite?
True
Suppose 33*c - 3628 = 29*c. Is c a composite number?
False
Let r(p) = 5*p**3 - p**2. Let n be r(-1). Let m(t) = -t**2 - 8*t - 9. Let i be m(n). Suppose -60 = -b - i*b. Is b composite?
True
Let u(p) = -p**2 + p + 1. Let r(f) = 2*f**2 - 1. Let v(z) = 2*r(z) + 3*u(z). Suppose 0 = -2*h - 4*a - 2, -4 = -4*h + a - 5*a. Is v(h) composite?
False
Let s(g) = 5*g + 14*g**2 - 4*g + 0*g. Let a = -14 - -15. Is s(a) composite?
True
Let b(z) be the second derivative of 5*z**4/12 - z**3/2 + 5*z**2/2 - 6*z. Is b(5) a prime number?
False
Let z = -33 - -84. Let d = z + -18. Is d prime?
False
Let x(v) = -37*v - 5. Is x(-2) composite?
True
Let t(g) = g**3 - 11*g**2 + 13*g - 11. Let k(r) = 10*r. Let p be k(1). Is t(p) prime?
True
Suppose -2*b + 7*b - 1015 = 0. Suppose -x + 2*x = b. Is x composite?
True
Let s = -15 - -21. Is ((-4)/s)/(6/(-765)) a composite number?
True
Let q(b) = 5*b**2 - 5*b + 11. Is q(5) prime?
False
Suppose -32*q - 465 = -35*q. Is q a composite number?
True
Let l(d) = -5*d + 10*d + 10*d + 16*d - 6. Is l(5) a composite number?
False
Let x = 41 + -59. Let b be 7/((-21)/x) - 1. Suppose 5*m = b*s - 205, -s + 3*m + 23 + 8 = 0. Is s a prime number?
False
Suppose 0*l = l - 13. Let q be (-2 + l + -1)*-3. Is -5*(-3)/(q/(-28)) composite?
True
Let z = 794 + -382. Let r = 591 - z. Is r prime?
True
Let f = -238 - -367. Is f a composite number?
True
Suppose -4*m + 25 = -9*m, 2*m + 269 = o. Is o a composite number?
True
Let w be (-2)/7 + (-20)/28. Let b = w + 1. Suppose 3*i + 2*s = 91, -3*i - 2*i + 2*s + 173 = b. Is i a composite number?
True
Let p(h) = 5*h + h**2 + 1 - 5*h + 5*h**2. Let w = 1 + -2. Is p(w) prime?
True
Let n be 493 - ((-1 - -1) + 2). Let h = n - 