a a composite number?
False
Suppose 10*i - 17*i + 1337 = 0. Is i a prime number?
True
Let p(r) = r**3 + 23*r**2 + 22*r + 11. Is p(-21) a prime number?
True
Let s be (48/9)/(6/9). Let z be (-163)/7 + s/28. Is 1 - (z - (0 - -1)) prime?
False
Let i be 4/(5 + -1) + -300. Let s = i + 441. Is s prime?
False
Suppose 0 = -k - 1 + 4. Suppose -251 = -k*o - g, g = 2*g + 4. Suppose 0 = -3*u + o + 20. Is u a composite number?
True
Is ((-3074)/(-4))/(3/6) prime?
False
Let u be 89/(-3) + (-3)/9. Let n be (u/(-25))/((-2)/(-5)). Suppose -2*b - n*h + 11 = 3*b, 4*h + 12 = 0. Is b a composite number?
True
Suppose 4*r + 408 = -0*r. Let n = -47 - r. Is n a prime number?
False
Suppose -3*r + 35 = -52. Suppose -2*w + r = 2*o - 147, -4*o = -3*w + 285. Is w a prime number?
False
Suppose 2*m - 6*m - 723 = -a, -2*a + 1462 = -4*m. Is a composite?
False
Let k(z) = 8*z - 1. Let r be k(1). Let x = r + -4. Suppose -t - 77 = -3*t + x*y, 0 = 2*t + 2*y - 52. Is t prime?
True
Let n(h) = -h**2 + 20*h + 3. Is n(7) a composite number?
True
Suppose -6 + 0 = -3*l. Suppose 4*v - t - 8 = v, 2*v + l*t - 8 = 0. Is v a prime number?
True
Is ((-5)/(-5))/((-150)/(-74) + -2) prime?
True
Suppose -4*f = -3*f - 5*i - 393, 3*f - 1107 = -3*i. Let k be f/(3/(0 - -3)). Suppose 5*c = 3*d - 6*d + k, 0 = -2*c + 4*d + 170. Is c prime?
False
Suppose 2*g + 0*k - 659 = 5*k, -4*k = 4*g - 1388. Let n = g - 119. Is n a composite number?
False
Let y(h) = -h**3 - 5*h**2 + 10*h + 3. Is y(-9) composite?
True
Let g(x) = 22*x - 21. Is g(7) prime?
False
Suppose 0 = 2*h + 3*w - 10, 4*h = -3*w + 13 + 1. Suppose o + h*k - 22 + 8 = 0, -2*k = -o - 2. Is (111/o)/(2/4) a prime number?
True
Let p be ((-4)/(-10))/(9/45). Is 55 + ((-4)/p)/1 a composite number?
False
Let a(s) = 3*s**2 + 5*s + 7. Let l be 176/(-30) - (-4)/(-30). Is a(l) a prime number?
False
Let y(x) = 655*x - 24. Is y(5) composite?
False
Let b(u) = -u**3 + 6*u**2 + 5*u + 3. Let j be b(5). Let t = -113 - -39. Let s = j - t. Is s a composite number?
False
Let q = 2109 + 670. Is q a prime number?
False
Let d = -9 - -12. Suppose 3*f - 4*r = 921, -f + d*r + 307 = r. Is f a composite number?
False
Is (-2 - 3*252/4)*-1 composite?
False
Let j = 10 + -5. Suppose -3*o + m = -m - 190, -j*o = -m - 312. Suppose -5*q = -3*q - o. Is q a composite number?
False
Suppose 2*i - 6*i - 12 = 0. Let q be 4/i*(-9)/6. Is q/6*(-678)/(-2) prime?
True
Let l(b) = -b**2 + 3*b + 11. Let c be l(5). Is -1*c - (10 - 78) a prime number?
True
Let f = 12 - 5. Let n(k) = 4*k**2 - 9*k - 6. Is n(f) composite?
False
Suppose o = -2*o + 1041. Let d = -60 + o. Is d prime?
False
Let t(o) = -2*o**2 - o + 1. Let h be t(1). Let d(y) = -14*y**3 - 2*y - 1. Let a be d(h). Let c = -78 + a. Is c composite?
False
Let q be (-5)/((-5)/3) + -1. Suppose -y = -5 - q. Is y prime?
True
Let i = 393 - -94. Is i a prime number?
True
Let y be (2 + -6)/((-3)/42). Suppose -3*o - y = -7*o. Is o a composite number?
True
Suppose -5*o = -61 - 1044. Is o prime?
False
Suppose -8 = -5*u + 2. Suppose 4*t - w + 10 = 162, -u*w - 8 = 0. Is t a prime number?
True
Let a(w) = -w + 14. Let j be a(7). Suppose 0 = -5*s + 43 + j. Is s prime?
False
Suppose 9*y = 7*y - 10. Let b(u) = -2*u**3 - 6*u**2 - 6*u - 3. Is b(y) prime?
True
Let j(q) = -q**2 + 3*q - 2. Let r be j(3). Let m be r/((-3)/(-3)*-1). Suppose -m*o - 28 = -6*o. Is o a prime number?
True
Suppose 0*u + u = -4*s + 20, 10 = -s - 4*u. Let k(q) = 12*q - 5. Is k(s) composite?
False
Let b(l) = 297*l**2 - 6*l + 5. Let h(w) = -w**2 + w - 1. Let y(x) = b(x) + 5*h(x). Is y(1) a prime number?
False
Suppose 5*l - 36 = 4. Let q(c) = -50*c**3 + c + 1. Let h be q(-1). Is (h/(-8))/((-2)/l) composite?
True
Let a(y) = y**2 - 4*y + 6 + 2*y - 3*y. Let g be a(4). Suppose -g*k + 70 = -0*k. Is k a prime number?
False
Let v = 2517 + -1759. Is v composite?
True
Suppose 3*v = x - 155 - 68, -2*v - 8 = 0. Is x prime?
True
Let i(d) be the first derivative of d**3/3 + 5*d**2/2 - 2*d - 1. Is i(4) a prime number?
False
Let z = 17 - 6. Let g = z + 22. Is g a prime number?
False
Let x(t) = -15*t - 5 + t**3 - 11*t**2 + 5*t - 2*t**3. Let z be x(-10). Let a(r) = -r**3 - 2*r**2 + 3*r - 7. Is a(z) composite?
False
Suppose -3*y = -5*y - 10, -5*v - y + 180 = 0. Is v composite?
False
Let r(c) = c**3 - 6*c**2 + 6*c - 7. Let o be r(5). Let z(l) = -19*l**3 + l - 1. Is z(o) a composite number?
False
Suppose 2*v - 4*x - 16 = 0, -5*v - 2*x = -6*x - 28. Is (3 - v)/((-4)/628) prime?
True
Let o be 0/(-4)*3/6. Suppose 3*g = -o*g + 921. Is g composite?
False
Let w = -1467 + 4766. Is w prime?
True
Is (-1 + 0)/(2/(-4798) + 0) composite?
False
Let m = -12 - -71. Is m prime?
True
Let z(y) = -5*y**2 + 5 - 5*y + 4*y**2 + 10*y. Let b be z(6). Is b - (-5)/(5/8) a prime number?
True
Suppose -5*q = 823 - 3508. Is q a prime number?
False
Let u(i) = -4*i - 2. Let j be u(-3). Let b = 14 - j. Suppose -143 = -b*g + 125. Is g composite?
False
Let t = 7 - 6. Suppose 0*r - 146 = -3*a + r, r = t. Suppose -m - 14 = -a. Is m prime?
False
Let g be ((-1270)/4)/5*-2. Suppose -g = -4*k + 141. Is k composite?
False
Let c(t) = 150*t**2 - 5*t - 4. Let m(z) = -450*z**2 + 14*z + 11. Let w(u) = -11*c(u) - 4*m(u). Is w(1) a prime number?
True
Let m(u) = 2*u**3 + 3*u**2 + u - 6. Let a be m(4). Suppose 2*h - a = -2*z - 12, -z = 2*h - 166. Is h prime?
False
Let v(x) = -x**3 + 9*x**2 + 10*x + 11. Is v(10) a composite number?
False
Let t(c) = -3 + 6 + c**2 + 9*c**2 - 3*c - 2*c. Is t(4) a composite number?
True
Suppose 7*y + 15 = 2*y, 3*y = 3*r - 2928. Is r composite?
True
Let y(j) = 14*j**2 - j - 1. Let g be y(2). Suppose -g = -x - 2. Is x a composite number?
True
Suppose -4689 = -5*t - 1354. Is t a prime number?
False
Let w = 54 + 55. Is w composite?
False
Suppose 3*o = -0*o - 6, 0 = -5*m - o + 2093. Is m composite?
False
Let g(d) = 2*d + 6. Let q be g(-7). Is ((-393)/4)/(3/q) prime?
False
Is 1/2 + (-13968)/(-32) a composite number?
True
Let h = 1203 - -196. Is h composite?
False
Let l be 4/16 - (-1)/(-4). Let r(b) be the third derivative of -b**4/24 + b**3/2 + 2*b**2. Is r(l) a composite number?
False
Suppose 0 = -0*a + 2*a - 6. Let y(o) = -3*o - o - a - o. Is y(-5) composite?
True
Let y = -2116 + 3623. Is y a composite number?
True
Suppose -b - 5*u + 487 = 0, -4*b = -b + 4*u - 1439. Suppose -2*x + 4*w = -202, -4*w + 0*w + b = 5*x. Is x a prime number?
True
Let j be (1 - 0)/((-2)/4). Is (28/2)/(3 + j) composite?
True
Suppose 2*l = -4*z + 3086, 3*z - 8 = z. Is l a prime number?
False
Let w(h) = -2*h**3 - 5*h**2 + 7*h + 5. Let o be w(-5). Suppose c - 3*b = 54, -42 - o = -3*c + 4*b. Is c prime?
False
Let p(s) = -s**2 - 5*s - 3. Let b be p(-2). Suppose 0 = -4*q + 4*f + 1336, 2*f = b*q - 3*f - 1000. Is q a composite number?
True
Let b be (-8)/1 + (-1)/1. Let o = -2 + b. Let z = 18 + o. Is z a prime number?
True
Let d = -32 - -14. Let u = d - -33. Is (-2)/(-5) + 549/u prime?
True
Let q be 1 + (1 - 1) + 3. Let d be 2/q*12/3. Suppose 0 = -d*l + 20 + 46. Is l a composite number?
True
Let v(l) = l**3 - 8*l**2 - 17*l + 15. Suppose -3*q + 60 = 5*x + 20, -16 = -x + q. Is v(x) composite?
False
Let i(l) be the first derivative of l**4/4 - 5*l**3/3 - 11*l**2/2 - 7*l + 3. Is i(8) a composite number?
False
Let x(s) = -s**2 + s - 1. Let k(y) = 5*y**2 - y + 7. Let b(i) = k(i) + 4*x(i). Let m be b(-3). Suppose m*c - c = 110. Is c a prime number?
False
Let o = 73 - 127. Let r = 91 + o. Is r a prime number?
True
Let i(h) = -81*h + 4. Let o be i(-3). Let u = o - 144. Is u a prime number?
True
Suppose 3*p - 6*p = 153. Let v = -14 - p. Is v a prime number?
True
Let p(l) = 8*l - 5. Is p(8) a prime number?
True
Suppose 17539 = -4*q - 5*u, -2*q + 3*u = -0*q + 8753. Is (-6)/(-27) + q/(-9) a prime number?
True
Suppose -u = -y + 6, 9 + 9 = 2*y - 4*u. Suppose 5*z + 15 = y*s - 11, z = -2*s. Let x(d) = -d**3 + 2*d**2 + 2*d + 3. Is x(z) a prime number?
False
Suppose -2*h - h = -741. Is h a prime number?
False
Suppose -4*p = -2*i + 2, 4 - 3 = -p + i. Suppose 13*n - 10*n - 159 = p. Is n composite?
False
Let o(z) = 42*z - 1. Let r = -5 - -12. Is o(r) prime?
True
Let j = -3465 - -5122. Is j composite?
False
Let r(n) = 40*n - 11. Is r(4) a composite number?
False
Suppose 504 = -2*x + 6*x. Let z = -69 + x. Is z prime?
False
Suppose -s = -31 - 22. Is s composite?
False
Let v(i) = -2*i**2 - 11 + 13*i + 2*i**