2*m = c. Is (0 + 4)/m + 57 prime?
False
Let a(o) = -20*o - 27. Let f be a(12). Is 10*f/18*-3 composite?
True
Let o = 129 + 194. Is o prime?
False
Suppose 0 = 2*f - 2, -305 = -3*t + 3*f + 1129. Is t prime?
True
Suppose -w - 3*a + 86 = 0, -a = w - 4*a - 86. Is w a composite number?
True
Let k = 13 + -1. Let n be (-2 - -4 - -1)*k. Is (-1 + n - 0) + 2 a prime number?
True
Let t(j) = 3*j - 1. Let s be t(-1). Let q be (-2)/s + 15/6. Suppose 0*x + 153 = q*x. Is x composite?
True
Suppose 5*l - 2*r = -6, 3*l + 3 - 15 = -4*r. Is 87 - (l/(-3) - -2) a composite number?
True
Let d be -6*(-6)/(-45)*-245. Let h = 325 - d. Is h prime?
False
Let w(t) = t - 9. Let j be w(14). Let d = j - -8. Is d prime?
True
Let w(x) = 10*x + 5. Let j be w(10). Suppose 0 = 3*a + j - 342. Is a a prime number?
True
Let a = 29 + 124. Let t = -70 + a. Is t a composite number?
False
Let r be (-2)/(-3)*(-111)/(-2). Suppose 0 = -4*y + 2*y. Suppose y = o - 0 - r. Is o composite?
False
Let z(p) = 2*p**3 - p**2 + 7*p + 7. Let a be z(6). Let h = 5 - 0. Suppose 0*f = h*f - a. Is f a prime number?
True
Let x(l) = l - 9. Let t be x(4). Let m(a) = 6 + 2*a - 2*a - 3*a. Is m(t) a composite number?
True
Let d(l) = l**2 - 4*l - 11. Is d(7) prime?
False
Let q(j) = -j**2 - 3*j - 1. Let i = -1 + 0. Let h be q(i). Let t(p) = 46*p. Is t(h) prime?
False
Let m = 13 - 49. Let z = m - -89. Is z prime?
True
Let u be (-2)/(-4)*(-1 - -1). Suppose u*d - 2*d - 760 = 0. Is (-1)/3 + d/(-15) a composite number?
True
Suppose -2*j - 8 + 2 = 0. Suppose 4*h = 4*r, -4*h + 4*r + 9 = 3*r. Is 2 - 1 - h*j a composite number?
True
Let x(v) = -10*v + 2. Let z be x(-8). Suppose z + 33 = 5*p. Is p a prime number?
True
Let p(l) = l**3 - 2*l**2 - 23*l + 13. Is p(16) prime?
True
Let r(p) = -1 - 15*p - 4 - 4 + 0. Is r(-4) a prime number?
False
Let b(r) = r. Let o be b(2). Let t(f) = -2*f**2 + 2*f + 1. Let n be t(o). Let d(h) = h**3 + 4*h**2 + 2*h + 1. Is d(n) a prime number?
False
Suppose 0 = 5*z + 2*w - 0*w - 435, 0 = 2*z + 3*w - 174. Is z composite?
True
Let t = 2225 + -1078. Is t a composite number?
True
Suppose -2*d + 15 = -5*d. Let t(f) = 13*f**3 - 3*f**2 - 4*f + 5. Let z(b) = 14*b**3 - 3*b**2 - 4*b + 6. Let q(c) = d*z(c) + 6*t(c). Is q(3) a prime number?
False
Let t = 18 - 5. Is t a composite number?
False
Suppose 2*d - 26 = -0*d. Let o(g) = g + g + 2*g**2 + d - 8*g + 2*g. Is o(-9) a composite number?
False
Suppose -d - w + 44 + 34 = 0, 72 = d + 4*w. Let g be (-6)/45*-9*d. Let h = g + -61. Is h a composite number?
True
Suppose -503 = -3*l + 349. Let b = 507 - l. Is b a prime number?
True
Let s(r) = r**3 - 8*r**2 - 4*r + 4. Let o(l) = l**3 - 8*l**2 + 7*l - 5. Let t be o(7). Let z = 4 - t. Is s(z) prime?
False
Is 1994/10 - (68/20 - 3) a composite number?
False
Let r(n) = 318*n**2 + 5*n - 14. Is r(3) prime?
False
Let d(n) = 7*n**2 + n - 1. Let g = 13 - 8. Suppose 2*r + 4 = 2*h + 3*r, g*h - 4*r = -3. Is d(h) composite?
False
Suppose 3*x = 3*q - 1042 - 617, 3*q + 4*x = 1659. Is q a prime number?
False
Let d = 3918 + -1867. Is d composite?
True
Is (-7)/21 - 404/(-6) a prime number?
True
Let i be -2*(1 - 2/4). Let u = 5 + -17. Is i/(-4) - 117/u a composite number?
True
Let o = -199 + 592. Is 2*(o/6 + -2) a composite number?
False
Suppose 3*h + 11 = 242. Is h prime?
False
Let m = -69 - -83. Is m a composite number?
True
Let m(b) = -14*b + 5. Is m(-9) a composite number?
False
Let y(h) = h + 4. Let q be y(4). Let g(s) = -2*s**2 + 4*s + 3. Let n be g(q). Let u = n + 130. Is u composite?
False
Suppose -2*r - 60 = -0*r. Let z = r + 52. Is z a composite number?
True
Suppose 189 - 703 = -2*a. Is a composite?
False
Suppose 5*x - 4618 = 2737. Is x composite?
False
Let x(l) = 95*l**2 - l - 1. Is x(-1) prime?
False
Let h(o) = 74*o**2 - 3. Let x(w) = w + 7. Let m be x(-9). Is h(m) a prime number?
True
Let k = -1053 + 2315. Is k a prime number?
False
Let g be 2 - (2 + -1)/(-1). Let q be (g - (1 + -2)) + 1. Suppose 5*d + 2*j = 663, -3*d + 2*j - 270 = -q*d. Is d composite?
False
Suppose g = -3*l - 0*l + 908, 2*l + 5*g - 601 = 0. Let k = l + -142. Is k composite?
True
Let n(b) = 3*b + 1. Let k be n(1). Suppose 0 = k*y - 16, -2*a + 6 - 2 = 2*y. Is 31 + (3*a)/(-3) a prime number?
False
Suppose 5*s - 41 = 34. Suppose 0 = -0*n - 3*n - s, 4 = -2*x - 2*n. Suppose -x*v = -2*v - 127. Is v composite?
False
Suppose -192 - 316 = -4*h. Is h a prime number?
True
Let l = 7 - -8. Is l a composite number?
True
Let m(h) = h**3 + 5*h**2 - h + 3. Let t be m(-5). Suppose 2*y = t, y = -2*j + 266 + 912. Is j a prime number?
True
Suppose -4*u + 5 = 3*h, -15 = -4*u - h - 0*h. Suppose 5*b = -u*f + 85, -f - 2*b + 56 = 2*f. Is f composite?
True
Let y(d) = -5*d**2 - 42*d + 23. Let w(i) = -2*i**2 - 14*i + 8. Let z(s) = 8*w(s) - 3*y(s). Is z(12) a prime number?
True
Suppose -2*h = 3*h - 70. Suppose -x + 0 = -2*u - h, u - 2 = 5*x. Let b(n) = n**3 + 9*n**2 + 5*n - 2. Is b(u) prime?
False
Let c = 3068 + -1995. Is c a composite number?
True
Let h(j) = j**3 - 8*j**2 + 6*j - 3. Let n be h(7). Is (-308)/n - (-4)/20 composite?
False
Let a(g) = 5*g**2 + 18*g + 29. Is a(14) a composite number?
True
Is (-175632)/72*3/(-2) a composite number?
False
Let m be 4/1*(-5)/(-4). Let w(v) = v**3 - 10*v**2 + 11*v - 2. Let i be w(9). Suppose -m*f = -4*r - 6 - i, 3*f + 5*r = -9. Is f prime?
True
Let u(t) = 14*t**3 + t**2 + 3*t - 17. Is u(4) a prime number?
True
Let p be (-56)/(-20) + 2/10. Suppose -5*j = -p*c - 1532, 3*j - 3*c + c - 919 = 0. Is j a composite number?
False
Is (-892)/(-6)*9/2 composite?
True
Suppose -5*r = -0*r - 11855. Is r prime?
True
Is 8/12 + (-760)/(-3) + -1 composite?
True
Let i be (8/5)/4*5. Suppose -5*d + 4*q = -28, -i*d - 2*q - 3*q = 2. Suppose d*t + 18 = 94. Is t a prime number?
True
Let y = -52 - -165. Suppose -c + 2*l + y = 0, -2*c + c + 107 = 4*l. Is c a composite number?
True
Suppose -3*r + m + 785 = 0, 0 = -0*r - r + 4*m + 269. Suppose 4*c - r = -1. Is c prime?
False
Let a(y) = y**3 + 8*y**2 + 4*y + 2. Let z be a(-5). Suppose 0 = -v - 0*v. Suppose v*g = 3*g - z. Is g a composite number?
False
Suppose -4*g = -20 - 0. Suppose 162 = g*q - 3*q. Suppose 2*s - q - 73 = 0. Is s a composite number?
True
Let h(u) = u + 5. Let a = -1 + -5. Let l be h(a). Is ((-3)/(-2))/(l/(-2)) prime?
True
Suppose 3*f - 6*f + 459 = 3*p, 3*f = 4*p + 431. Is f prime?
True
Let a(g) = -70*g**3 + 2*g**2 + 3*g + 2. Is a(-3) a composite number?
False
Let l(w) = -w**3 - 11*w**2 - 12*w - 14. Let n be l(-10). Suppose 13*p - n = 11*p. Is p prime?
True
Is (-112 + 110)*97/(-4)*2 a composite number?
False
Suppose -25 = 4*s + s. Let m(o) = 8*o**2 - 3*o - 4. Is m(s) a prime number?
True
Let y = -3184 + 4497. Is y a prime number?
False
Let g(w) = 8*w**2 + 7*w + 7. Is g(-6) a composite number?
True
Suppose -5 = 5*l + 3*v - 94, 6 = -3*v. Is l prime?
True
Let a be (-4)/(-14) + (-26)/(-7). Let t(g) = g**3 - 3*g**2 - 5*g + 4. Let v be t(a). Let h = 15 + v. Is h a prime number?
False
Let s = -8 + 6. Is 2465/45 + s/(-9) composite?
True
Suppose 6*o - 3*o = 1893. Is o a composite number?
False
Is (-1 - -4 - 2)*1985 a prime number?
False
Let b(w) = w**3 - 4*w**2 - 4*w. Let h be b(5). Let t be (-2)/h + 36/15. Suppose -c = 4*y - 306, -t*c - 72 = -2*y + 86. Is y a composite number?
True
Is 62 - (2 - (-4)/4) a composite number?
False
Suppose 4*w = -75 - 21. Let k be (-4)/(-14) + w/(-14). Suppose 0 = -k*q + 24 + 238. Is q prime?
True
Let z = 855 + -604. Is z a prime number?
True
Suppose -5*f - 2*g = -4*f - 611, -2*f = -4*g - 1238. Suppose u = 4*u - f. Is u prime?
False
Let z = 2190 + -293. Is z composite?
True
Suppose 154 - 783 = -s. Is s a prime number?
False
Suppose y - 13530 = -5*l + 3909, 5*l - 4*y = 17419. Is l composite?
True
Let r(a) = -18*a + 4. Is r(-5) prime?
False
Let q(z) = -2*z - 2. Let x be q(-4). Let n(a) = a**3 + 2*a - 6*a**2 + a - 9 + 3*a + 10. Is n(x) a prime number?
True
Let u = -640 - -1863. Is u prime?
True
Suppose 2*w + 3*f + 10 = 0, -5*w - 2*f - 2 - 12 = 0. Is (-95)/w + (-3)/6 a prime number?
True
Let t(x) = x + 1 + x + 2 + 15*x**2. Is t(-2) prime?
True
Let n be 3 - 1 - (-42)/(-7). Let s be n/12 + (-3)/(-9). Suppose -2*z - 2*z + 284 = s. Is z a composite number?
False
Suppose 0 = 2*f - f - 20. Let r = f - 11. Is r a prime number?
False
Let n be 6/(-4)*8/6. Let g be ((-20)/(-15))/(n/(-3)). Is ((-110)