e -5*z + 2*n - 4994 = -9*z, 0 = 4*z + n - 4995. Is z a prime number?
True
Is 1 - (0 + -580)/1 prime?
False
Suppose -1666 = -g - 417. Is g composite?
False
Let n = -773 + 1612. Is n a prime number?
True
Let t(j) = -12*j - 1. Let y be t(-1). Let k(b) = -27*b + 5*b + 5*b + 13*b + b**2 - 3. Is k(y) composite?
True
Suppose 4*d - 4*q = 62 - 6, 0 = 2*d + 3*q - 48. Let h be -2*2/(-4) + 121. Is h/18 - (-4)/d a composite number?
False
Let g be -1*3/3 + -1. Is g - (-319 + 2 - 2) a composite number?
False
Let f(j) = 377*j + 1. Suppose 3*r + 10 = -4*x, 9*x - 3 = 4*x + 4*r. Let c be f(x). Is c/(-6) - (-4)/(-6) prime?
False
Let g be ((-20)/25)/((-4)/10). Suppose -4*z = 3*f - 2*f - 23, 5*z - g*f - 19 = 0. Suppose -4*v = 4*s - s - 145, z*v - 180 = -5*s. Is v composite?
False
Let p(u) = -1 + 7 - 2*u + u**2 - 1 + 2. Let c be p(-9). Is 3 + -2 - (-2 - c) composite?
False
Let g(m) = 179*m**2 + m - 1. Is g(1) composite?
False
Suppose 3*n = 4*a - 0*n - 5332, -8 = 2*n. Is (a/4)/(-7)*-2 a prime number?
False
Suppose 2*t + 56 = 238. Is t composite?
True
Let o = 30 + -14. Suppose o = p - 37. Is p a prime number?
True
Suppose 6*k + 1041 = 9*k. Is k prime?
True
Suppose 5 = -k, -4*k = 3*r + 2*r - 1665. Is r composite?
False
Suppose 0 = -4*l + 16, -5*q - 22 - 20 = -3*l. Let z(w) = -w**2 - 7*w - 1. Let o be z(q). Suppose -o*s + 78 + 32 = 0. Is s composite?
True
Suppose -240 = 4*b + b. Let i = 101 + b. Is i a composite number?
False
Let o(c) = 6*c**2 + 13*c - 16. Is o(9) prime?
True
Let b = 10 - 10. Suppose b*k + 5*k = 730. Is k composite?
True
Is 12832/10 - (-2)/(-10) prime?
True
Is (-424 - (-9 + 4))*-1 a prime number?
True
Suppose -2*s + 2467 - 379 = 5*c, 0 = -4*c - 8. Is s prime?
True
Let h(i) = -i**2 + 5*i - 4. Let y be h(3). Suppose -156 = -k - 2*k + 3*w, 3*k - 155 = y*w. Is k composite?
True
Let w(a) = a**3 + 7*a**2 - 2. Let j be w(-7). Let m(l) = -27*l + 1. Let b be m(j). Suppose -u = -4 - b. Is u prime?
True
Suppose -4*i + 315 = 2*p - p, -i = 4*p - 1320. Is p a composite number?
False
Let c(l) = -l**2 + 2*l + 4. Let k be c(3). Is (-10 - -3)/(k/(-11)) prime?
False
Suppose 2*s = 5*s - 5847. Is s a prime number?
True
Suppose -4*o = -3*o - 10. Suppose -5*r - 775 = -o*r. Is r composite?
True
Is 15/(-5 + 0) + 130 prime?
True
Let x(i) = -i**3 - 7*i**2 - 2*i + 4. Let c be x(-6). Let k be (7/5 - 3)*c. Let f = 3 + k. Is f a prime number?
False
Suppose 4*j - 13 = -2*u + 27, 5*j - u - 64 = 0. Suppose -2*i + j = 2*i. Suppose -i*w + g = -173, -4*g - 192 = -5*w + 87. Is w a prime number?
True
Let b = 698 + -367. Let g = b - -3. Is g prime?
False
Let a(d) = d + 4. Let f be a(0). Suppose 3*g + 4*z - 3 = 68, 0 = -f*g - 4*z + 96. Is g + ((-1)/1 - 1) composite?
False
Let y(z) = z**2 + 10*z - 1. Let f be y(-6). Let q be (126/8)/(1/4). Let s = f + q. Is s composite?
True
Suppose 3*j - 73 = -f + 7*j, -4*f + 355 = 5*j. Is f a prime number?
False
Let f = 12 + -6. Suppose -4*r - 16 = 4*x - f*x, 5*x + 3*r = 79. Is x a composite number?
True
Suppose 0 = -9*c - 6*c + 12795. Is c a prime number?
True
Suppose -4*x = 2*d - 22, x = d + 6*x - 11. Is d a prime number?
True
Is ((-5942)/(-4) - 3) + (-12)/8 a prime number?
True
Is (196/(-8) + 6)/(2/(-148)) a composite number?
True
Let o(l) be the third derivative of 3/2*l**3 + 11/24*l**4 + 0*l + 0 + 3*l**2. Is o(8) prime?
True
Suppose -4*u - 2 = 2*q, 2*u + 3*q + 3 = -0*u. Suppose u = 3*k - 6*k + 519. Suppose 2*m = 5*r + k, 5*m - r - 319 = m. Is m prime?
True
Let i be 6 - 1/(-2)*-4. Suppose i*o + 4*n = -0*o - 8, o + 2*n + 6 = 0. Suppose 3*z - o = 28. Is z composite?
True
Let b(c) = 19*c + 1. Let i be b(1). Suppose -m = 3*h + i, 3*m + 2*h - 5*h = -60. Let d = m + 34. Is d a prime number?
False
Is 5/(-3) + 0 - (-1070)/3 prime?
False
Let b = -37 + 71. Let o = b - -3. Is o composite?
False
Let b(l) = 84*l - 1. Let d(h) = h + 6. Let j be d(-3). Is b(j) prime?
True
Suppose -3*x = -2 - 25. Suppose 4*u = x + 7. Is u prime?
False
Let h = 106 - 106. Let k(s) = s**2 + 51 + s**3 + 5*s - 6*s - 2*s**2. Is k(h) prime?
False
Let p be ((-150)/(-2))/((-9)/(-6)). Suppose l - 415 = -l + 5*d, 4*l + 4*d = 872. Suppose 0 = -3*s - p + l. Is s prime?
False
Suppose 3*s - 1219 + 196 = 0. Is s a composite number?
True
Let t(g) = 5*g**3 + 3*g**2 - 3*g + 2. Let p(s) = -s - 1. Let h be p(-3). Let z be t(h). Let f = -29 + z. Is f prime?
True
Suppose 41 = 5*w - 14. Is ((-10978)/w)/(-2*1) prime?
True
Let a(i) = -4 - 1 + 11*i + 6. Is a(6) a prime number?
True
Is (-15)/6*(-446)/5 a prime number?
True
Is (-1356 + 5/(-1))/(-1) a prime number?
True
Let k be 2/(18/8 - 2). Suppose -k = u + 4*f, 3*u - 4*f - 8 = -8*f. Suppose -z + u = -15. Is z a prime number?
True
Suppose m - 2*i - 27 = 94, -2*m = 4*i - 266. Is m a prime number?
True
Let i(g) = -g**3 + 7*g**2 - 6*g + 4. Let c be i(6). Suppose m - 11 = -4*l + 14, -5*m + 101 = -c*l. Is m a composite number?
True
Suppose 4*v - 40 = -3*z, 2*z + 24 + 3 = 5*v. Suppose -5 - v = -4*d. Is 49 - (9/d + -1) composite?
False
Suppose -2*g = 2*w - 7*w - 331, 3*w = -3*g + 486. Suppose 3*r + 62 = -4*u + g, -2*r - 4*u = -70. Is r prime?
True
Suppose 5*d + 3*q - 82 = -13, -5*q + 20 = 2*d. Suppose -d = 2*l - 3*l. Is l prime?
False
Suppose -3*l + 2785 = 2*l. Is l a composite number?
False
Let t = -3 + 4. Let j be t/(-2) + 21/2. Let o = j - 6. Is o a prime number?
False
Suppose 3*u - 266 = -o, 0 = 3*u - 5*o + 4*o - 274. Suppose u = -h + 5*d + 364, 5*h + 2*d = 1343. Is h composite?
False
Suppose -4*w - 6 = -2*v, 4*v = -0*v - 4*w + 36. Let j(f) = 2*f - 5. Let s be j(v). Let m(x) = -x**2 + 10*x + 6. Is m(s) composite?
True
Is -3 + (-4468)/4*-1 composite?
True
Let y(x) = -x**2 - 9*x - 7. Let r be ((-4)/(-3))/((-2)/12). Let t be y(r). Is (-2 - t/(-1))*-37 a prime number?
True
Let r(i) = 8*i - 12. Suppose 6*a - 2*a + 4*f - 28 = 0, -3*a + 22 = 2*f. Let j be r(a). Suppose -5*d - 27 - 55 = -4*x, -3*d = 2*x - j. Is x prime?
True
Suppose 5*f + 25 = 0, 3*r + 543 + 18 = -3*f. Let g = -103 - r. Is g composite?
False
Is 2186 - (12/10)/(2/(-5)) a composite number?
True
Let f(x) = x**2 + 7*x + 6. Let d be f(-6). Let c(i) = -i + 185. Is c(d) prime?
False
Is -6*(68/(-8))/1 prime?
False
Let v be 254/(-12) + (-5)/(-30). Let f = 201 - 91. Let x = f + v. Is x composite?
False
Suppose -7*r + 3*r = -572. Is r a composite number?
True
Suppose 4*q + l + 45 = 0, -2*q + 6*l - l = -5. Let h be 3/6 + (-18)/(-4). Is (-2)/q - (-744)/h a composite number?
False
Suppose 436 = -3*l - 500. Let x = l - -561. Is x a composite number?
True
Suppose -4*j - 2*h + 16 = -4*h, -3*j + 4*h + 2 = 0. Let r be j - (-3)/6*-6. Suppose r*i = -g - 2*i + 98, -5*i - 151 = -2*g. Is g prime?
True
Let x(v) = -v**2 - 4*v - 3. Let t(b) = -2*b + 1. Let j be t(2). Let k be x(j). Suppose k = -a + 30 + 37. Is a prime?
True
Let o = 120 - 9. Is o composite?
True
Let a = -431 + 1064. Is a composite?
True
Suppose m - 4 = 2*m, -3*x + 5*m + 41 = 0. Let y = -8 + x. Is (0/1)/y - -35 prime?
False
Suppose -3*z + 8 = -x - 1, -x - 2*z + 11 = 0. Let p = 1 + x. Is ((-3)/p)/(4/(-48)) prime?
False
Suppose d + 8 = -2. Let v = -5 - d. Suppose -3*z + 3*c + 246 = 0, -4*z + 6*z - 129 = -v*c. Is z a prime number?
False
Let d(g) = 4*g**3 + g**2 + 0*g**2 - 2*g**2 - 8*g**3. Let i be d(-1). Suppose i*v = -2*v + 190. Is v a prime number?
False
Let u = 60 + -23. Is u prime?
True
Suppose 165 = 8*s - 3*s. Let j = s - -34. Is j a prime number?
True
Let x(y) = -12*y + 1. Let m(o) = o - 3. Let q be m(4). Let z be x(q). Let s = 30 + z. Is s composite?
False
Is ((-7)/28)/(2/(-56)) a prime number?
True
Let i(f) = 20*f**2 - 3*f - 6. Is i(7) a composite number?
False
Suppose -5*c + 933 = y, -c + 4*y - 553 = -4*c. Is c a composite number?
True
Let c be 6 + 1 + (-2 - -1). Suppose 2*r = c, -l + 5 = -r + 2*r. Let h(m) = 45*m - 1. Is h(l) prime?
True
Suppose 5*i = 7 - 2. Let a(u) = 70*u**2 + 2*u - 1. Is a(i) a prime number?
True
Suppose 13*a - 14*a = -199. Is a prime?
True
Let o(d) = -882*d**3 - 2*d**2 - 4*d - 1. Is o(-1) prime?
True
Suppose 4*n = -5*g + 20, 2*g + 3*n - 8 = -0*g. Is (172/6)/(g/6) composite?
False
Let c = 31 - -2. Suppose -3*a + c = -2*a. Is a a composite number?
True
Let s = -5 + 7. Suppose -v = s*x - 0*x - 9, 0 = -x + v + 3. Suppose 2*m - x = 34. Is m composite?
False
Let b(r) = -r**2 - 4*r + 2. Let s be b(-4). Let i be (-12)/(-2) + -1 - s. Is 6/i - (-33