970, 2*r + 1955 = 5*c - x*r. Is c composite?
True
Let o(t) = -7 + 2 + 40*t + 2. Is o(2) prime?
False
Suppose 0 = -d + 2. Suppose -b - d - 8 = 0. Is (4/(-6))/(b/855) a prime number?
False
Suppose -13*s + 8601 - 1360 = 0. Is s prime?
True
Suppose -78 = -3*m + 33. Suppose -3*c + 6 = l - m, 0 = -4*l - 2*c + 142. Is l a composite number?
True
Is (0 - -1*2)*8271/18 composite?
False
Suppose -2*v + 4 = -v. Is (1 - 0)/(v/124) a composite number?
False
Suppose -2*w - 5 = 3*w + 3*v, 2*w = -2*v - 2. Let i(l) = 13*l**2 - l - 1. Is i(w) a composite number?
False
Let s(k) = 2*k - 12. Let x be s(6). Is x + -79*(-2)/2 a prime number?
True
Let d(m) = m**2 + 3*m - 7. Let z be d(-5). Let v(p) = 2*p**3 - p**2 - 5*p + 3. Is v(z) a composite number?
True
Let z(t) be the second derivative of 7*t**3/3 - t**2/2 + 2*t. Is z(5) composite?
True
Suppose 275 = 5*y + 5*i, -3*y + 2*i - 51 = -4*y. Suppose -a = -2*b + 181, b - 2*a = 36 + y. Is b composite?
False
Suppose 2*w - 8 = -p + 3*p, -4*p + 29 = 5*w. Suppose -3*n = -4 + p. Let b(z) = 5*z**2 + 2*z - 1. Is b(n) a composite number?
True
Suppose 3*w + 964 = 2863. Suppose 2*d + 408 = 4*d + 5*i, 3*d = 3*i + w. Is d composite?
True
Is 0 - (-4 + 4 + -235) a composite number?
True
Let p be 184 - (2 - -2 - 2). Suppose -p = -h - h. Is h prime?
False
Let z(v) = -v**3 - 6*v**2 - v - 4. Let m be z(-6). Suppose -o = -6*o - 2*a + 5, -3*o + 19 = -m*a. Is 1 + 3*58/o prime?
True
Let o = 161 - 12. Is o composite?
False
Let f(r) = -r**3 + 9*r**2 - 9*r + 1. Is f(6) composite?
True
Let w = 926 + -446. Suppose -5*u + 0*u - w = 5*x, 2*x + 471 = -5*u. Let k = 242 + u. Is k composite?
False
Let a(f) = f**3 + 11*f**2 + 8*f - 1. Is a(-8) a prime number?
True
Let q = 109 - -2. Is q composite?
True
Suppose -3*l + 15 = r, -5*r = -l - 0*l - 11. Let d(p) = 0 - r + 15*p - 4. Is d(6) prime?
True
Let w(p) = -p**3 + 7*p**2 + 11*p - 12. Is w(7) composite?
True
Let g = -17 + 29. Suppose 4*m + g = -2*q, 3*q + 3 + 0 = -3*m. Is q a composite number?
True
Let o(s) = -87*s + 4. Is o(-3) a prime number?
False
Suppose -16*j - 32564 = -20*j. Is j prime?
False
Let h be (-36)/(-10)*(-30)/(-3). Is 2/(-1*2) + h prime?
False
Suppose 4*d = 4*l + 39 + 221, 5*l = 4*d - 258. Is d a composite number?
False
Let o(b) = b + 9. Let n be o(-11). Is -2 - -3 - 276/n composite?
False
Let p(j) = j - 6. Let z be p(11). Suppose -17 = 2*a + z. Let i(b) = -9*b - 12. Is i(a) prime?
False
Let f = 1 + 1. Suppose -3*m - m = -f*z + 6, 4*z = 5*m + 12. Suppose m = 3*o - d - 79, 60 + 48 = 4*o - 2*d. Is o a prime number?
False
Let v = -927 + 1596. Is v composite?
True
Suppose 1964 = 4*j - 3*k - 378, -1759 = -3*j + k. Is j a composite number?
False
Suppose 3*m = 4*i - 3523, 2*m = 3*i - 0*i - 2641. Is i a prime number?
True
Is 3/(((-12)/167)/(-4)) a prime number?
True
Suppose 2*k - 1363 = -4*g + 573, 0 = -5*k + 2*g + 4780. Is k a composite number?
True
Let l(h) = -h**2 + 2*h + 1049. Is l(0) a prime number?
True
Let k = 616 + 85. Is k prime?
True
Let w(l) = -l**3 + 3*l**2 + 3*l - 3. Is w(3) composite?
True
Let p be ((-4)/6)/(5/15). Let d = p + 2. Is (d + -1)*-5*7 prime?
False
Suppose -3 - 1 = -d. Suppose d*r - 2*r = -4. Is ((-1)/(-3) + r)*-6 a prime number?
False
Let q = -57 - -100. Let i = 41 - 24. Let h = q - i. Is h a composite number?
True
Let o = -803 + 1135. Suppose 0 = 2*f + 5*k - 762, -4*f - k = -5*k - 1496. Suppose -f = -4*a + o. Is a a prime number?
False
Let l be (87 - -2) + 0/(-1). Let k = l + 0. Is k composite?
False
Let x(f) = f**3 + 8*f**2 + 5*f - 3. Is x(-7) composite?
False
Suppose 4*b = -5*s + 5*b + 20, 5*b = 0. Suppose -2*y = s, -3*y + 4*y + 17 = 5*n. Suppose n*m - 6 = 0, -3*m - 2*m + 72 = 2*f. Is f a composite number?
False
Let f be 84/39 - 8/52. Let r(y) = 3*y - 3. Let g be r(f). Suppose -b = -g*b + 14. Is b prime?
True
Let a = -173 - -502. Is a a prime number?
False
Let o be 0 + -1 + (1 - -1). Suppose 4*s = 7 + o. Suppose 78 = -0*a + s*a. Is a a composite number?
True
Let x(w) = 161*w**3 - 9*w + 7. Let h(d) = -80*d**3 + 4*d - 3. Let q(a) = 9*h(a) + 4*x(a). Is q(-1) composite?
True
Let j(a) = a**2 + 6*a + 7. Let q(w) = 4*w**2 + 23*w + 27. Let o(x) = 9*j(x) - 2*q(x). Let r be o(-7). Suppose -v - r*v + 93 = 0. Is v a composite number?
False
Let v = -14 + 19. Suppose d = -3*d + 2*g + 1896, -v*g - 1902 = -4*d. Is d prime?
False
Let s be (-8)/36 + 40/18. Suppose -s*z + k + 36 = -47, -5*k - 25 = 0. Is z a prime number?
False
Let s(j) = -35*j**3 + j**2 + j. Let d(x) = -x - 6. Let a be d(-8). Suppose 2*t + 4 = -2*t + 4*u, -a*t - 2 = -5*u. Is s(t) prime?
False
Let f(w) be the first derivative of -2*w**2 + 9*w - 4. Is f(-11) composite?
False
Let n(r) = 3*r**3 - 3*r**2 - r - 5. Let g be n(5). Suppose -5*o + 2*l = 3*l - g, 3*l + 251 = 4*o. Is o composite?
False
Let o = -2 + 6. Suppose -3*l = w - o*l - 258, -5*w + 3*l + 1292 = 0. Is w composite?
True
Let u be -10 + 6/(3/1). Let t(f) = f**3 + 8*f**2 - 6*f + 11. Is t(u) composite?
False
Let d = 5 + -8. Let r(o) = -108*o + 7. Is r(d) a prime number?
True
Let f = 266 - -136. Suppose -4*b - 14 = -f. Is b a composite number?
False
Let a(q) = q**2 - 4*q**2 + 11 + 13*q + 3*q**2 + q**2. Is a(-14) a prime number?
False
Let d be 2152/10 - 2/10. Suppose 51 - d = -2*k. Is k composite?
True
Suppose 5*i - 234 = -j, 5*j - 116 = 5*i + 1144. Is j a composite number?
True
Is 1090/10 - (0 - 0) composite?
False
Let z(j) be the first derivative of 14*j - 2 - 1/2*j**2. Is z(7) composite?
False
Suppose 4*n - c = 3*n - 17, 4*c = -3*n - 72. Let h = 78 + n. Is (-2)/8 - h/(-8) prime?
True
Let g(s) be the second derivative of 2*s**3/3 - s**2 + s. Let o be g(2). Suppose o*p = p + 265. Is p a composite number?
False
Suppose 0 = 2*s + 2*s - 20. Let u(c) = -3 + c**2 + s*c + 1 + 2*c. Is u(-8) a prime number?
False
Let z be (-1 + 2)*-2*-1. Suppose -z*x - 2 = -10. Suppose -u - s = -x - 17, -3*u + 4*s + 49 = 0. Is u prime?
True
Let r(o) = o**2 + 6*o + 2. Let u be r(-6). Suppose u*g = -g + 777. Is g composite?
True
Let p = 240 - -1409. Is p a composite number?
True
Is 4*(-9)/(-12) - (-62)/1 composite?
True
Let o(n) = -2*n + 118. Is o(0) composite?
True
Let n(h) = 26*h + 6. Let l be n(8). Suppose -5*b - z = -l - 896, 0 = -3*b + 4*z + 643. Is b a prime number?
False
Suppose 0 = 2*o - 1 - 1, 17 = s - 5*o. Is s a composite number?
True
Let g = 0 + 2. Let h = g - -1. Suppose -4*n - b - b = -150, 0 = h*n + b - 113. Is n a composite number?
True
Suppose 0 = -2*y + y + 12. Suppose 460 = 4*d - 4*s, -y = d + s - 127. Is d a composite number?
True
Suppose x - 3*x + 526 = 0. Is x prime?
True
Let a = -6 + 6. Suppose -2*h + a + 4 = 0. Suppose 16 = h*m + 2. Is m composite?
False
Let o be 4/6*807 + 3. Suppose -s + 80 = -5*d + o, d = s + 89. Is d a prime number?
False
Let t(i) = 2*i**2 - 10*i + 3. Let a(b) = b**2 - 5*b + 1. Let x(h) = -9*a(h) + 4*t(h). Let r be x(6). Is (-1)/r - 56/(-3) prime?
True
Suppose -14 = 11*h - 13*h. Is h a prime number?
True
Suppose 0 = -4*z - 4*r + 20, 3*z = -2*r - 3*r + 17. Suppose -286 - 138 = z*l. Is (0 + -14)*l/4 a prime number?
False
Let h = 85 - 47. Suppose -v - v = -h. Is v a prime number?
True
Suppose 0 = w - m - 11, 2*m + 3 - 23 = -w. Let d = -9 - w. Let l = 81 + d. Is l prime?
False
Suppose 3*v - 2*v = 89. Is v composite?
False
Let f = 13 + 9. Let j = f - -271. Is j composite?
False
Let a(w) = -w**2 + w + 10. Let i(t) = t**3 - t**2 - t. Let u be i(0). Is a(u) a prime number?
False
Suppose -8*z + 2*z = -5790. Is z a composite number?
True
Let j be (28/1)/(9/9). Suppose -761 = -3*u + j. Is u a prime number?
True
Suppose 3*q - 15436 = 137. Is q a prime number?
False
Let b be 1/(-5) + 21/5. Suppose 0 = -b*y - 4*v + 2*v + 20, -5*y + 27 = 2*v. Suppose -4*l = -y*l + 147. Is l composite?
True
Suppose v + 3*i - 6*i - 30 = 0, -4*i = 5*v - 207. Is v prime?
False
Suppose 4*f + 3*i - 1228 = 0, 5*f - i = 622 + 913. Is f composite?
False
Let k(i) = -i**2 - i + 2. Let x be k(0). Suppose -12 = 3*o, -2*o + 185 = 5*u + 68. Is u/x*4/5 composite?
True
Suppose 0 = 18*l - 16*l + 4. Is -4*633/24*l a composite number?
False
Suppose b = -2*b + 12. Suppose 2*x + 45 = 4*x - k, 4*x - 96 = -b*k. Is x composite?
False
Is (1/1)/(16/8608) a prime number?
False
Suppose -209 = -2*r + 3*c, -r + 89 + 23 = -3*c. Let j = 312 - r. Is j prime?
False
Let s(g) = 1 + 1 - 3 + 2*g. Let x be s(1). Is (-1