?
True
Let o = 156 - 78. Suppose 43 = q + 2*v, o = 3*q + 2*v - 31. Is q prime?
False
Suppose -2*u - 4 = 12. Suppose 4*i = -0*i + 156. Is 4/u - i/(-2) composite?
False
Let y be 2*-4 + -1 + 0. Let l be 12/y*78/(-4). Suppose -7*d + 5*d = -l. Is d a prime number?
True
Let b(c) = c**2 - 12*c + 15. Let o be b(11). Let k be (-1)/2*-1*o. Suppose 15 = k*z - 15. Is z a prime number?
False
Let a be (-2 - -3)/((-1)/(-4)). Suppose -a*w + 8*w = 236. Is w prime?
True
Let l be (-17*4)/((-4)/34). Suppose -3*b - 7*s + 2*s = -l, -b - 4*s + 188 = 0. Let o = b + -69. Is o a composite number?
False
Suppose w = 2 - 0. Suppose w*q + 0*q - 580 = -2*r, -4*q - 2*r + 1162 = 0. Is q a composite number?
True
Suppose -5*b = -5*n - 5070, n - 5040 = -7*b + 2*b. Is b a prime number?
True
Let m = 4 + -1. Suppose 13 = -m*c + a, 2*a - 5 = -0*c - c. Is (-1 - -17 - 2) + c composite?
False
Let j(x) = -3*x**3 - x**2 - 3*x + 4. Let t(w) = 4*w**3 + w**2 + 3*w - 4. Let f(r) = 5*j(r) + 4*t(r). Is f(3) composite?
False
Suppose -40 = -2*t + 6*t. Let q(f) = 5*f**2 + 5*f - 5. Is q(t) composite?
True
Is -2 + -309*(-18)/2 prime?
False
Let l be 1*(-6)/(-3 - -1). Let g(m) = 4*m**2 - 13*m**3 - 37*m**l - m - 3*m**2 - 3*m**2. Is g(-1) composite?
True
Let t be 8*(-1 - (-3)/6). Is ((-2)/t)/(2/104) prime?
False
Let s(x) = -x**2 - 8*x + 7. Let b be s(8). Let v = b + 184. Suppose 3*l - 48 = v. Is l prime?
True
Let t(u) = u**3 - 6*u**2 - 8*u + 10. Let i be t(7). Suppose o - i*o - 2*a = -204, -5*a = 3*o - 316. Is o composite?
False
Suppose -3*b - 5*n + 875 = 0, 4*n - 3*n - 4 = 0. Is (b/6)/5*2 a composite number?
False
Let a(y) = -184*y - 7. Is a(-5) composite?
True
Let j = 16 - -285. Suppose -j = -5*q - 71. Is q prime?
False
Let z = -35 + 11. Let g = 91 - z. Is g composite?
True
Suppose -16436 - 14203 = -3*l. Is l composite?
True
Is 1045/7 + (-8)/28 composite?
False
Let j(g) = 13*g - 11. Let y be -2*3*4/(-3). Is j(y) composite?
True
Let s(d) be the second derivative of 16*d**3/3 + 3*d**2/2 - d. Suppose 5*c = -4*u + 10 + 20, 3*c = 6. Is s(u) a composite number?
False
Let n = -1 + 3. Suppose 3*t = -n*t. Suppose t = 2*l - l, 4*l - 452 = -4*p. Is p a prime number?
True
Suppose 4*f + 3*y = -609, -3*y = f - 4*y + 154. Let w = f - -230. Is w composite?
True
Suppose -3*s + 15 - 3 = 0. Suppose -s*m + 129 = -379. Is m a prime number?
True
Suppose 0 = -i + 5*w + 9, 0 = 3*i - 2*i + 3*w + 7. Let f be 112/(-4)*(i - 1). Is ((-12)/(-8))/(6/f) prime?
False
Let h = 710 - 487. Is h composite?
False
Let f(d) = 10*d - 4. Let q be f(5). Let k = 85 - q. Is k composite?
True
Suppose 15*p - 2946 - 2739 = 0. Is p a prime number?
True
Let v = -23 - -40. Suppose v = 2*j - j. Suppose -5*b + 18 + j = 0. Is b prime?
True
Suppose 4*r + 10*h = 5*h + 9728, -12205 = -5*r + 5*h. Is r prime?
True
Let x = -84 + 386. Is x prime?
False
Suppose 3*f - 2*f - 1267 = 0. Is f prime?
False
Suppose 250 + 46 = -2*s. Let d = s + 275. Is d a prime number?
True
Let j(q) = q**2 - 7*q + 9. Let i be j(6). Suppose -2*y + 60 = y + i*b, -5*b - 130 = -5*y. Is y a prime number?
True
Suppose 472 = 5*v - 413. Is v prime?
False
Suppose 6 = 4*x + 2, -3*d = -5*x - 13744. Is d a prime number?
True
Suppose -i - 72 = -64. Let r be 2*1/2*-2. Let t = r - i. Is t a composite number?
True
Suppose 0*p - 5*p - 35 = 0. Let n(d) = -d**3 - 8*d**2 - 8*d - 5. Let x be n(p). Suppose 7*l - x*l = 485. Is l prime?
True
Let h(q) = -q**3 + q. Let l be h(1). Is 198/3 + -1 - l prime?
False
Is (-1)/(-1 - (-132)/134) composite?
False
Let z(j) = -1170*j - 7. Is z(-2) a composite number?
False
Let b = -1 + 4. Let t = -77 + 183. Suppose k + t = b*k. Is k prime?
True
Let h(i) = 6 - 1 - 2*i**3 - 2*i**2 - 2*i + 0*i**2 + 0*i**2. Is h(-4) composite?
False
Let f = -227 + -19. Let r = 391 + f. Is r a composite number?
True
Let v = -11 - -13. Suppose -3*d - 13 + v = -5*k, 0 = -4*d - 4*k + 28. Suppose 4*h = -3*a + 20 + 377, 4*h = d*a - 437. Is a a composite number?
False
Let h = 9 + -12. Let r(o) = -4*o - 2 + 3 + 0*o. Is r(h) prime?
True
Suppose 2*t - 7*t = -73385. Suppose 0 = -5*x + t + 5788. Suppose -x = -5*i - 1598. Is i prime?
True
Let a = 1648 + -442. Let j = -809 + a. Is j a composite number?
False
Suppose z = -5*j + 51 - 18, 0 = 4*z - j - 48. Is (z/(-2))/(1/(-14)) composite?
True
Let d(r) = r**2 + 6*r + 8. Let f be 42/8 - 2/8. Suppose -f*g - 43 = -4*t, 0 = -0*g - 4*g - 4*t - 20. Is d(g) a composite number?
True
Let g(w) = w**2 - 10*w - 13. Is g(20) composite?
True
Let i be -1*1 - (4 - 5). Let l(m) = -m**3 + m**2 + 2. Let p be l(i). Let g(h) = 10*h + 1. Is g(p) prime?
False
Let s(d) = 11*d**2 - 6*d - 4. Is s(-3) prime?
True
Suppose 0 = -2*h + 10, 4*q = 5*h - h + 1944. Is q prime?
True
Let x = 306 - 217. Is x a composite number?
False
Let s(h) = h**3 + h**2 - h + 1. Let a(w) = 4*w**3 + 11*w**2. Let p(z) = -a(z) + 5*s(z). Let n be (-10)/(-1) - (3 - 2). Is p(n) prime?
False
Let u = -13 - -32. Suppose -u = -v + 159. Is v composite?
True
Suppose -413 = -r - w, 0 = -3*r + 5*w + 340 + 899. Is r a composite number?
True
Let i(d) be the first derivative of 4*d**3/3 + d**2 - 2*d + 2. Let z be i(2). Suppose 2*j - z = 44. Is j prime?
True
Let i(s) = 2*s**2 - 6*s - 5. Let v be i(5). Is (0 + -11)*v/(-3) a composite number?
True
Let f = 100 + -71. Let p(r) = -8*r - 2. Let c be p(-5). Suppose i - f = c. Is i a composite number?
False
Let n(h) = -15*h**3 + 2*h**2 - 2*h - 3. Is n(-2) a prime number?
False
Let g = -97 + 168. Suppose -l = 5*a - g, 0*l + 4*a = -4*l + 348. Is l a composite number?
True
Let b(z) = 5*z**2 - 3*z - 3. Is b(-4) prime?
True
Suppose 3*w + 108 = 15. Let d be 2/(-3) - w/(-3). Is (2 - 2 - 1)*d a prime number?
True
Suppose 0*m + 4*m = 1580. Suppose t - 39 = m. Suppose 109 = -5*q + t. Is q prime?
False
Let b = -11 + 17. Let c = 8 - b. Suppose 5*h = -5*r - 0*r + 50, -2*r + 4*h = -c. Is r composite?
False
Suppose 5*v + 780 = -0*v. Let u = v - -367. Is u composite?
False
Let f(z) = -z**2 - 5*z + 7. Let i be f(-5). Let o = -9 - -8. Is i + 2 + 3/o a prime number?
False
Suppose 0 = 5*i - 2448 - 3697. Is i a prime number?
True
Is (-205)/(-3) + (-14)/(-21) a prime number?
False
Let v(m) = m**3 + 2*m**2 + 3*m + 1. Let b be v(-2). Let i(r) = -6*r + 7. Is i(b) a composite number?
False
Is (-2074)/(-18) - (1 + 28/(-36)) a composite number?
True
Suppose 0*w + 3*w - 582 = 0. Suppose -2*c - w = -4*k, -k + c + c = -53. Suppose -5*l + 68 + k = 0. Is l a composite number?
False
Let c(f) = -2*f. Let b be c(-1). Suppose 6*y = b*y + 212. Suppose -5*s = -y - 222. Is s prime?
False
Let k(w) be the second derivative of 8*w**4/3 - w**3/6 - w. Let c be k(2). Let a = c - 89. Is a prime?
True
Let f be 35/2 - 1/2. Let m(j) = j**2 - 12*j - 6. Is m(f) composite?
False
Suppose 3*o = 4*n + 25, 0 = 4*n - o + 2*o + 13. Let l(h) = -2*h**3 - h**2 + 6*h + 6. Let u be l(n). Let y = -61 + u. Is y a composite number?
True
Let i(o) be the second derivative of o**5/20 - o**4/12 - o**3/6 + o**2/2 - 2*o. Let y be i(1). Let a = y - -6. Is a prime?
False
Suppose 10*c = 9*c. Let b(n) = 65 + n + n**3 - n - n. Is b(c) a prime number?
False
Is (9/(-6))/((-1)/214) a prime number?
False
Let v = -1084 - -1593. Is v a prime number?
True
Suppose 0 = 3*d - 2*d + 28. Is ((-15)/10)/(2/d) composite?
True
Is (-4)/(-14) - 15519/(-49) a prime number?
True
Let r(m) = -m**3 - 11*m**2 - 9*m + 10. Let b(u) = u**3 - 6*u**2 + 5*u + 2. Let o be b(4). Let j be r(o). Suppose j*p - 78 = -3*p. Is p composite?
True
Suppose 2*o - 4*s - 218 = 0, -5*s = -2*o - 4*s + 233. Let j = o + -22. Is (j/5)/((-3)/(-15)) composite?
False
Let h(t) = 15*t + 1. Let c be h(1). Suppose -4*r - c = -3*j, 4*r - 7 = 4*j - 23. Suppose j = s - 36 - 29. Is s a prime number?
False
Suppose -4*x = 3 - 31. Is x composite?
False
Let a(k) = k**3 + 4*k**2 - 3*k + 2. Let z be a(-3). Suppose w - z = -w. Is 124/w - 3/(-5) prime?
True
Suppose 5*f + 217 - 662 = 0. Is f a composite number?
False
Suppose 4*c + 0*c = 3*b + 187, -5*c = 10. Let v = b - -104. Suppose 7 = 2*f - v. Is f prime?
True
Let n = -2071 - -2950. Is n a composite number?
True
Suppose -2*s - 4*s = -6690. Is s prime?
False
Let c(s) = 4*s**2 + 10*s + 9. Let h be c(-6). Suppose -p + 4*p = h. Is p a composite number?
False
Suppose 2694 = 6*y - 0*y. Is y a prime number?
True
Let p be 3/((-3)/(-4)*-2). Let u be 1/((-1)/(-4)) + p. Suppose -m = u*