/(2/10). Suppose -161 = -v*p + p. Suppose 3*x - 100 - p = 4*n, -5*x = -2*n - 449. Is x composite?
True
Let n(m) = -5*m**2. Let v be n(1). Let d(l) = -1 - 1 - 18*l + 1. Is d(v) composite?
False
Is -2*(-3)/6*59 prime?
True
Suppose q = 5*c + 44, -2*c = -5*c - 15. Is q composite?
False
Let z = 4 + -2. Let o = -11 - -15. Suppose 5*l = z*c + 5, 2*c + o*l - 10 = 3*c. Is c prime?
False
Let c(i) = 7*i**3 - 2*i**2 - 6*i - 7. Let m be c(5). Let j be (-56)/(-12) + (-2)/(-6). Suppose 2*r - 4*r + 2*w = -308, -w + m = j*r. Is r composite?
False
Suppose 0 = 4*b + 4 - 768. Is b a prime number?
True
Let v(u) = 7 + 11*u + 2*u**2 - 6*u**2 + 2*u**2. Let f be v(-7). Is 2/(-9) - f/27 a prime number?
False
Suppose -5*y + 4*z = -0*z + 40, -4*z = 3*y + 24. Let d be y/(-28) - 12/(-7). Is d/(-1) - (1 - 40) composite?
False
Let w(h) = -5*h - 3. Suppose 0 = 4*m + 8. Is w(m) a composite number?
False
Suppose 2*d - 3*s = 86, -248 = -5*d - s + 1. Let b be 2/(-3) - (-11)/3. Suppose -b*l - d = -4*l. Is l a composite number?
True
Let t be -2 - -2 - -3*1. Suppose -13 = 5*d - 2*h - 4, -2*d = -t*h + 8. Let m(k) = -19*k**3 + k**2 - 1. Is m(d) prime?
True
Suppose 2*c - 5*v + v = 594, 2*c + v = 584. Is c prime?
True
Let q(b) = -b**2 + 6*b - 7. Let n be q(5). Let y(l) be the first derivative of l**3/3 + l**2/2 + l + 1. Is y(n) prime?
True
Let b = -1084 + 1793. Is b a prime number?
True
Let j = 2 + 2. Suppose 0 = s - j*s + 339. Is s prime?
True
Let w = -117 - -289. Is (w/(-8))/(3/(-12)) a composite number?
True
Suppose -638 = -3*z + z. Let k = z + -163. Let h = -107 + k. Is h a composite number?
True
Let z(j) = -92*j**3 - 2*j**2 - 2*j - 1. Let c = -7 - -6. Is z(c) a prime number?
False
Suppose -5*v + 3 = i - 3*v, 0 = 4*i - v - 30. Let m(y) = 4*y - i*y + 5*y + 14*y - 1. Is m(1) a composite number?
True
Suppose 9 = -4*w - 23. Let g(b) = 16*b - 13. Let u(c) = c - 1. Let p(z) = -g(z) + 2*u(z). Is p(w) a prime number?
False
Let d(g) = g + 4104. Let z be d(0). Is (-2)/(-13) - z/(-26) composite?
True
Let d = 5 - 2. Suppose d*k = -0*k. Suppose k = -2*j + 2*c + 38 + 8, -c + 46 = 2*j. Is j composite?
False
Let b(y) = 8*y + 1 + 2 + 2*y**2 + 1. Is b(-5) a prime number?
False
Let o = -332 - -519. Is o a composite number?
True
Suppose y + 0*y = -3*b + 22, -4*y + 4*b = -72. Is (-4)/(4/y)*-1 prime?
True
Suppose -6*t + 2*t = -1796. Is t a prime number?
True
Suppose 0 = -2*j - 0*j + 6. Is ((-791)/(-3))/(1/j) a composite number?
True
Let k(d) = d**2 - 3*d + 2. Let m be k(2). Suppose -3*g + g + 110 = m. Is g a prime number?
False
Let u(y) = 35*y**3 - 2*y + 1. Is u(1) a composite number?
True
Suppose -5*u - 8 = -u, 4*z + 4*u = 0. Suppose 0 = 3*c - 3, 0*g - z*g + 91 = -c. Is g a composite number?
True
Let s(c) = 13*c + 6 - c**2 - 1 - 9 + 0*c. Is s(7) prime?
False
Let x(l) = -l + 2. Let t be x(-6). Is 1564/t*(3 + -1) prime?
False
Suppose 0 = 2*l - 3*w - 40, 5*l + 2*w = 105 + 33. Is l prime?
False
Suppose 5*v = 172 - 2. Suppose -4*m = v - 10. Let i = m + 8. Is i composite?
False
Let u(y) = y**3 - 6*y**2 + 10*y - 6. Let m = 22 + -15. Is u(m) prime?
True
Suppose 0 = -s + 4*v + 805, 5*v = 4*s + 545 - 3809. Is s composite?
False
Let h = 2 - 0. Suppose w - 79 = -f, -w - h*f + 83 = f. Is w composite?
True
Let s(z) = -2*z + 2*z + 2*z + 30*z**2 + 2 - 5. Is s(2) composite?
True
Suppose -355 = -6*k + k. Is k composite?
False
Let t = 51 - 40. Is t composite?
False
Let z(j) = -j + 163. Let q be z(0). Suppose -q = -i - 0*i. Is i a composite number?
False
Let l(p) = 7*p - 1. Let d(x) = 6*x - 2. Let z(r) = -6*d(r) + 5*l(r). Let o be z(4). Suppose -5*k - 86 = -4*w - o*k, 5*w - 5*k = 100. Is w a composite number?
False
Is (-1 - 15/(-9))/(2/2103) a composite number?
False
Let q = 6 - 1. Suppose -2*m + z = -156, -q*z + 281 + 45 = 4*m. Is m a prime number?
True
Let k(n) be the second derivative of n**5/20 + n**4/2 - n**3/3 + 7*n. Is k(-5) a prime number?
False
Suppose 16*w - 19*w = -921. Is w composite?
False
Let q = -2 - -4. Suppose -i + q*i - 80 = -3*a, 5*a = 4*i + 105. Is a a prime number?
False
Is ((-398)/(-4))/((-2)/(-4)) prime?
True
Let a be (-9)/(-12) + (-170)/(-8). Suppose -2*s + a = -8. Is s a prime number?
False
Let j(l) = -l + 28. Let c be j(0). Let p = 74 - c. Is p a composite number?
True
Let b(c) = c**2 + c + 1. Let k(u) = -4*u**2 - 15*u - 14. Let n(p) = 3*b(p) + k(p). Let z be n(-11). Is (1 - z)/((-6)/(-126)) a composite number?
True
Suppose -5*a + a + 116 = 0. Let d = a - 11. Let k = 175 - d. Is k prime?
True
Suppose -2*j - j = 0, -4*s + j + 628 = 0. Is s a prime number?
True
Let a(o) = -60*o + 21. Is a(-3) a prime number?
False
Let k be ((-286)/(-39))/(2/90). Let u = 479 - k. Is u composite?
False
Let o(y) = 955*y**3 - y + 1. Is o(1) prime?
False
Suppose 5*r - 20 = -0*r + 4*b, -12 = -3*r + 5*b. Suppose -361 - 19 = -r*u. Is u prime?
False
Let m(z) = 6*z**2 + 0*z**3 - z**3 + 7*z - 10 + 2*z. Let k be m(7). Suppose y + 2*w - 14 = 3, -k*y - 2*w + 38 = 0. Is y a composite number?
False
Let m(a) = 8*a**2 - a - 2. Let p = -2 - 2. Let g(l) = -l**2 - 5*l - 1. Let i be g(p). Is m(i) composite?
False
Let n(f) be the third derivative of 4*f**6 + f**3/6 + f**2. Let u be n(1). Suppose o + c - 143 = -2*c, -3*o + 4*c = -u. Is o a composite number?
True
Suppose -11 = -4*g + 3*a, -2*g - a + 19 = 2*a. Suppose 0 = -g*c + s + 231, 16 = -c - s + 67. Is c composite?
False
Suppose -1281 - 39 = -3*z. Suppose 5*w - z = 4*s, 0 = -0*s + s + w + 119. Let m = -78 - s. Is m a composite number?
False
Suppose 2*t + k = 4*k + 5, 0 = 2*t - 4*k - 8. Let o be 2906/8 + 1/(-4). Is t*(3 + o/(-6)) composite?
True
Suppose 0 = 3*k - 5*k + 6. Suppose -4 = s - k*s. Suppose -4*c + 38 = -s*c. Is c prime?
True
Suppose 64 = 2*d - f, 5*f - 190 = -3*d - 2*d. Is d prime?
False
Suppose -2*q - 8 = 4*a, 9 = a - 5*q + 33. Is -38*1*2/a composite?
False
Let d = 17 - 10. Let h = 6 - d. Is (-537)/(-4) + h/4 prime?
False
Suppose -2*t = -4*t + 144. Suppose 3*w = 39 + t. Suppose 3*g + 3*j = 29 + w, j - 3 = 0. Is g prime?
True
Let i be 0 + 147 + 0 + -4. Let b = 44 + i. Is b prime?
False
Suppose -3*s + 818 = 167. Is s a composite number?
True
Suppose f + 89 = 2*f. Is f a composite number?
False
Suppose 0 = -4*y + 2*y - 5*w + 43, 2*y - 8 = 2*w. Suppose -3 - y = -4*v. Suppose s = v*s - 52. Is s a composite number?
True
Suppose 5*s = 6497 - 1722. Is s prime?
False
Let r(d) = -d**2 + 5*d - 4. Let g be r(5). Let h be (0 - (-14)/g)*2. Let o = -5 - h. Is o prime?
True
Let t(p) = -49*p + 1. Is t(-6) prime?
False
Let x(o) = 48*o**2 - o. Let j be x(-1). Let d be 2/3 - (-948)/9. Let y = d - j. Is y a composite number?
True
Suppose 0 = 4*m, j - 4*m + 6*m + 147 = 0. Suppose -164 = -2*t + 4*t. Let k = t - j. Is k a prime number?
False
Let g = -1081 - -1946. Is g a composite number?
True
Let q(v) = -40*v - 1. Is q(-3) composite?
True
Suppose -4*j + 6 = -0*x + x, 4*x = -j + 24. Let n be (9/3)/(2/x). Let b(u) = 2*u**2 - 8*u + 7. Is b(n) a prime number?
True
Let d(p) = 54*p - 3. Let c be d(2). Suppose 4*t = -0*t - l + 214, 96 = 2*t - 5*l. Suppose u - t = -2*z, c = 2*u + 2*z + z. Is u prime?
False
Let l(j) = 3*j**2 - 6*j - 3. Let d be l(-7). Is (d/(-1 + 2))/2 prime?
False
Let z = -5 + 42. Is z composite?
False
Suppose -8*m + 11*m + 12 = 0. Is ((-5)/2)/(m/88) composite?
True
Let h(w) = 20*w**3 + 2*w**2 - 2*w + 3. Is h(2) a prime number?
True
Suppose -2*j + 132 = 2*j. Suppose 3*w = -c + w + j, 16 = 4*w. Suppose -c = -t - 6. Is t prime?
True
Let v(n) = 2*n + 6. Let z be v(-4). Let c = -2 - z. Suppose c = 5*i - 320 + 85. Is i a composite number?
False
Let p(s) = s - 1. Let t be p(4). Suppose -n + 7 = t. Is (-176)/(-28) + n/(-14) prime?
False
Suppose 2*b = -b + 339. Is b a composite number?
False
Let l = -8 - -5. Is (-3)/l + 0 - -210 a composite number?
False
Let k = 6 - 11. Let g = k - -11. Suppose g*z - 2*z - 364 = 0. Is z a composite number?
True
Let r(n) = -n**3 - 4*n**2 - 3*n + 3. Let u be r(-3). Suppose u*l + 2 = 2*l. Is ((l - -1) + 14)*1 composite?
False
Let t(h) = -h**2 + 9*h + 4. Let b be t(9). Suppose -b*m + 0 = -8. Is m*(-3)/(12/(-94)) a composite number?
False
Let m be 8/12 + (-4)/(-3). Suppose g - 45 = -m*g. Is g prime?
False
Let y(t) = t**3 + t + 2. Let v be y(0). Suppose -2*b = -4, -v*h - 10 = -5*h - 2*b. Suppose 201 - 67 = h*c. Is c a composite number?
False
Let o = 5 + 0. Suppose