s k(8) prime?
True
Let u(r) = 13*r**2 - 4*r - 6. Is u(-5) composite?
True
Let v(d) = d**2 + 5*d - 5. Let n be v(-6). Let g = 6 + n. Is g a prime number?
True
Suppose 4*c = -3*w + 3*c + 13, 0 = 5*w + 2*c - 20. Let f be 16/7 + w/(-21). Suppose 0 = -4*j - f*y + y + 135, 5*y - 45 = -2*j. Is j prime?
False
Let a(q) be the third derivative of -7*q**4/8 - 7*q**3/6 + 2*q**2. Let j be a(-5). Suppose 0 = 5*r - 3*r - j. Is r composite?
True
Is 1/(-8) - (-54334)/112 prime?
False
Suppose 2*p + 29 = -2*l + 5*p, -2*l + 11 = 5*p. Let h = 21 + l. Is h a prime number?
False
Suppose 0 = -0*v + 3*v - h + 175, -h - 173 = 3*v. Let l(x) = -17*x - 7. Let r be l(-6). Let w = v + r. Is w prime?
True
Let g be (9/(-15))/(1/(-5)). Suppose -1453 = -g*j - 2*k, -3*j + k = 6*k - 1441. Is j a prime number?
True
Let w(q) = -q**3 + q + 2. Let k(j) = -j**3 + 5*j**2 - j + 5. Let d be k(5). Let r be w(d). Is (4/r)/((-4)/(-78)) a composite number?
True
Suppose 3*q = 5*l + 231, q + 4*l = -l + 97. Let b = q - -367. Is b prime?
True
Suppose 953 = -5*l + q, -5*q + 775 = -l - 3*l. Let x = l + 353. Is x a prime number?
True
Suppose -2*a = -11*a + 2943. Is a a prime number?
False
Let g(k) = 4*k**2 + 4*k + 23. Is g(6) prime?
True
Let o = 5 - -1. Suppose -y + 47 = 3*s, s = 5*y + o*s - 285. Let m = -43 + y. Is m prime?
True
Let l = 7 + -7. Suppose i + l*i - 249 = 0. Suppose 3*g - i = -0*g. Is g a prime number?
True
Suppose t = -5*z + 200, -6*t + 8*t = -4*z + 166. Is z prime?
False
Suppose -238 = -3*q + q. Is q a composite number?
True
Suppose -244 = -5*l + 2*m + 146, l + 5*m = 78. Suppose 2*n - 5*n = -l. Is n a composite number?
True
Suppose 0 = -2*s + y + 316, 0 = 2*y + 3 + 1. Is s a composite number?
False
Suppose 3*r = 3*f - 9, 0 = -f + 3*f + 4*r - 6. Suppose 4 = 2*n + f*l + l, 2*n + 1 = l. Suppose 3*y - 162 - 39 = n. Is y prime?
True
Suppose -2*o + 5 = 1. Is o + -2 + 9 + -2 composite?
False
Suppose 5*x = t + 10 + 12, 0 = -x + 5*t - 10. Suppose -10 - 43 = -4*j - x*f, 2*f = -4*j + 38. Is j composite?
False
Is (-1)/3*(-2358)/6 a composite number?
False
Let b = -4 + 7. Let a be -1*(-1*b - -1). Suppose -5*k - 2*s + 32 = 12, -a*k + 32 = -4*s. Is k a composite number?
True
Let v = -1 + -1. Let r(a) = a**2 - 1. Let n be r(v). Is ((-10)/6)/(n/(-45)) prime?
False
Let k(t) = t + 1. Let h(o) = -2*o + 5. Let u(c) = h(c) + 4*k(c). Is u(7) composite?
False
Let f(i) = -i**2 + 3*i - 8. Let b(h) = -h**2 + 3*h - 7. Let v(o) = 6*b(o) - 5*f(o). Let l be v(5). Let a = 33 + l. Is a prime?
False
Suppose 4*a - 9*a + 1735 = 0. Is a a prime number?
True
Suppose 5*c - 7 = -3*d, 3*d = -d - c - 19. Let n(j) = 11*j**2 + 2*j**3 - 5*j**2 + j**3 + 7 - 5*j - 2*j**3. Is n(d) a prime number?
True
Let o(q) = 7*q + 9. Let x be o(-9). Let j = 96 + x. Suppose m - 4*m = -j. Is m prime?
False
Let y(t) = 8*t**3 + 4*t**2 + 2*t - 6. Let f(a) = -7*a**3 - 3*a**2 - 2*a + 5. Let c(h) = -7*f(h) - 6*y(h). Is c(4) a prime number?
False
Suppose 8*f - 785 = 3*f. Is f composite?
False
Let i = 15 + -9. Suppose i = x - 43. Is x prime?
False
Let k(t) = 4*t**2 + t**3 - 12 + 0*t - t - 3*t**2. Is k(5) a prime number?
False
Suppose 2*x - n - 5 = 0, -5*x + 20 = -4*n - 0*n. Suppose -4*k + 16 = -x*k. Suppose 5*c - 12 = k*v + 86, 3*v = 9. Is c composite?
True
Suppose -686 = -5*p - 146. Let g be (-15)/(-4) + (-1)/(-4). Suppose -p - 256 = -g*t. Is t a composite number?
True
Suppose -7*j + 3*j + 436 = 0. Is j a prime number?
True
Let z be (-1)/(-4) + (-2214)/(-8). Let b = -183 + z. Is b a composite number?
True
Suppose 5*v + 3*m = 4*v + 51, 5*v - 203 = -2*m. Is v a prime number?
False
Let o = -5 - 0. Is (-237)/o - 6/15 composite?
False
Suppose 3*d - 1869 = m, -m - 3506 = -5*d - 391. Is d prime?
False
Suppose -108*u - 635 = -113*u. Is u composite?
False
Let a be (-2)/6*(591 - -6). Let l = a + 494. Is l composite?
True
Let l = 975 + -528. Is l a prime number?
False
Suppose -3*g - 10 = 2*s, -s - g + 0*g = 7. Let d = -9 - s. Is 639/6*d/1 prime?
False
Suppose 0 = 8*d - 7*d - 97. Is d composite?
False
Let d = 5162 + -2813. Suppose -3*c + 933 - 343 = x, c - d = -4*x. Is x a prime number?
True
Let j = 1372 - -589. Is j a prime number?
False
Let o(q) = -q**2 - q + 238. Let p be o(0). Let y = -105 + p. Is y prime?
False
Let y(x) = 0*x**2 - x**2 + 3 + 8*x**2 + 7*x. Is y(-5) a composite number?
True
Let u(t) = -t**3 - 3*t**2 - 5. Is u(-7) a prime number?
True
Is (-633)/(-3 - (3 + -3)) a prime number?
True
Let a be 4 + (-2 - -2)/2. Let o = a - 8. Is (2/o)/(2/(-332)) a prime number?
True
Let q(y) = -2*y - 10. Let k be q(-7). Suppose k*z - 4*u + 188 = 984, 5*z = 2*u + 983. Suppose 6*a - a = z. Is a composite?
True
Suppose 345 = 5*q - 0*q. Suppose -2*a + 157 = -q. Is a composite?
False
Let p(f) = 33*f**3 + f**2 + f - 1. Let u be p(1). Suppose 0 = 3*n - d - u, -4*d + 9*d + 60 = 5*n. Let a = n - -10. Is a a composite number?
True
Let b(r) = 525*r**2 + 1. Let f be b(1). Let a = f + -235. Is a composite?
True
Let g = -96 + 155. Suppose 3*d = -u + 383, -5*d = -2*u - 2*u - 644. Let n = d - g. Is n prime?
False
Suppose -y + 875 - 5539 = -2*d, 5*y - 4676 = -2*d. Is d composite?
False
Let j(c) = 22*c**2 - 7*c - 13. Is j(-10) composite?
True
Let j(l) = l**3 - 4*l**2 - l + 1. Let u = 19 + 11. Suppose -2*z - 3*z = -u. Is j(z) composite?
False
Suppose -x + 86 + 38 = 0. Suppose 3*s - 4*s = 2*a + 248, 0 = -a - 3*s - x. Let m = a + 243. Is m a composite number?
True
Suppose 0*v - 24 = 2*v. Let x = 99 + v. Is x composite?
True
Let g be 4*(-1)/(6/(-207)). Suppose 0*k + g = 2*k. Is k composite?
True
Let z(o) = -2*o - 1. Let y be z(-2). Suppose 0 = i - 3*t - 31, -y*t = 2*i + 2*t - 84. Is i a prime number?
True
Let t(i) = -i - 2. Let q be t(-4). Is (-2 + q - 3) + 80 a composite number?
True
Is 10/20*(-4436)/(-2) composite?
False
Let v = 195 + 58. Is v a prime number?
False
Suppose 0 = -q + 113 + 260. Is q a prime number?
True
Let k(p) be the first derivative of 3*p**2/2 - 3*p - 3. Let u be k(7). Suppose -2*w + 15 = -n, 0*w + w - u = 4*n. Is w composite?
True
Let t(r) = 5*r**2 - 3*r - 2. Let s be t(-2). Is (-91)/(-3) - (-16)/s composite?
False
Let i = 13 - 12. Is 42/12*38*i prime?
False
Suppose 2*o = -16 + 76. Suppose -g - 945 = -6*g. Suppose -3*n = -g + o. Is n prime?
True
Let j(x) = -7*x - 8. Let h be 20/3 + 10/(-15). Let z be j(h). Is z*(-3)/(4 - -2) a prime number?
False
Suppose -5*t + 10 = -0*t. Suppose -4*o = -o + 4*c - 169, -t*c + 167 = 3*o. Is o a composite number?
True
Suppose -2*t + 2*q = -119 - 79, -3*t = q - 289. Is t prime?
True
Is 117 - (0 - -2)/1 prime?
False
Let d be (2 - -2)*(-15)/(-12). Suppose -2*x - 269 = -2*f + 255, -d*f + 4*x = -1305. Is f composite?
False
Let i = -6 - -15. Is 12/54 + 1591/i composite?
True
Suppose -2*f - 2 = -4*f. Let p(t) = f + 1 - 1 - 3*t + 3*t**2 + 0. Is p(-6) prime?
True
Let j(t) be the second derivative of t**7/280 - t**6/360 + t**5/120 + t**4/6 + 4*t. Let f(r) be the third derivative of j(r). Is f(2) composite?
True
Let k(d) = 1 - 10*d + d**3 + 2 + 4*d. Let b(z) = 2*z - 16. Let a be b(10). Is k(a) composite?
False
Suppose -2*z + 143 = -11. Is z composite?
True
Suppose 0 = -5*c - 2*m - 248 - 13, 3*c = -3*m - 153. Let l = c - -120. Is l a prime number?
True
Is 211 - 0/((-1)/(-2)*4) prime?
True
Let u = -67 - -122. Is u a composite number?
True
Suppose -4*v + 1119 = -v. Is v a prime number?
True
Is 22*(-3 - 85/(-10)) a prime number?
False
Let t(i) = -9*i**3 - 3*i**2 + 3*i. Let d be t(3). Let g = -146 - d. Is g a composite number?
True
Let i = 112 + -77. Is i a composite number?
True
Suppose -3*a = -521 - 34. Is a composite?
True
Is 1/((-5)/(-5811 - 4)) composite?
False
Let p be 3/6 + (-129)/(-2). Suppose i - 2*g - 2*g - p = 0, 0 = 2*g + 6. Is i composite?
False
Let l = -103 - -169. Let p = 159 - l. Is (-1 - 5)/((-6)/p) composite?
True
Let u = 824 - -495. Is u a composite number?
False
Is (5 + 246)*(-1)/(-1) composite?
False
Let t = 5 - 6. Let i(n) = -78*n**3 - n. Is i(t) a prime number?
True
Suppose -2*q + 371 = -75. Is q a prime number?
True
Let d be (-6)/27 + (-6)/(-27). Suppose 2*i = -d + 8. Suppose -j - i*j = -595. Is j prime?
False
Suppose -h + 1 = 5. Let q be (h/(-5))/(1/10). Let f = 25 + q. Is f composite?
True
Let u(r) = r**3 + 5*r**2 - 9*r - 8. Let a be u(-6). Suppose -l + 3*l = -a, 5*n - 10 = 4*l. Is ((-6)/n)/3*22 a composite number?
True