rime number?
False
Let i(u) = 2*u**2 + 8*u + 4. Let c(t) = 33*t**2. Let m be c(-1). Let f be m/(-7) - (-8)/(-28). Is i(f) composite?
True
Let d = -4 - -5. Let p be (d*-1)/(2/(-226)). Suppose j + 2*j = 5*t + p, -j + 26 = -4*t. Is j a composite number?
True
Suppose -h + i + 97 = 0, -3*i = 2*h - 112 - 82. Is h prime?
True
Suppose -5*o + w + w - 112 = 0, -4*o = 2*w + 104. Let t = o + 10. Let y = 73 - t. Is y a prime number?
False
Suppose -u + 108 = -26. Is u a composite number?
True
Suppose -d = d - 58. Suppose 1 = 3*g - d. Is g composite?
True
Let y = 18 - 12. Suppose -2*f + b = -89, -6*f + 193 = -2*f + b. Let w = f + y. Is w a composite number?
False
Suppose m + 3*r + 12 = 0, -5*m + r - 2*r = -10. Suppose m*g = -0*a + 5*a + 65, a - 2 = 0. Is g a composite number?
True
Suppose -3*r = 3*l - 2319, 0 = -5*r + 5*l - 2*l + 3849. Is r composite?
True
Suppose 0 = -13*x + 15*x - 334. Is x composite?
False
Let p(x) = 21*x**2 + x - 1. Let u be p(-2). Let h = -48 + u. Is h composite?
True
Is 8/3*(-45)/(-12) composite?
True
Suppose -5*d = 3*y + 3663, 3655 = d - 6*d - 5*y. Let q = -469 - d. Is -1 + 2 + (q - 0) prime?
False
Let t = 149 + 42. Is t a composite number?
False
Let i be ((-5)/(-10))/((-2)/(-8)). Suppose 0 = g - h - 3*h + i, 0 = -3*g - 5*h - 6. Let m(y) = -8*y - 2. Is m(g) a prime number?
False
Let j(h) = -30*h - 1. Let t(s) = s**3 - s**2 - 3. Let i be t(0). Let m = i - 0. Is j(m) a prime number?
True
Suppose -l = -9*l + 68872. Is l a composite number?
False
Let k(s) = -s**2 + 2*s**2 + 12*s + 0*s**2 + 4 + 0*s**2. Let l be k(-10). Let n = 51 - l. Is n prime?
True
Suppose x - 230 = -3*m + 61, 0 = 3*m - 5*x - 291. Is m a composite number?
False
Suppose 4*x + 5*k - k - 776 = 0, 15 = 5*k. Is x prime?
True
Let m(v) = -2 - 399*v + 1 + 3*v. Is m(-1) a composite number?
True
Suppose -1 = d + 4*p, 5*d = 2*p - 2 - 3. Let l = d - 0. Let c(o) = 80*o**2 + 2*o + 1. Is c(l) a composite number?
False
Let v = 285 + -127. Is v prime?
False
Suppose -26 = -2*m + m. Let s(w) = -7*w + 3. Let a be s(-6). Let t = a - m. Is t a prime number?
True
Let d be (12/5)/((-2)/(-5)). Let p(a) = 2*a**2 - 4*a + 5. Is p(d) prime?
True
Let w be (12/(-10))/((-6)/220). Let h be (-3 - w)/((-1)/(-1)). Let g = 224 + h. Is g prime?
False
Suppose -2*b = -6, 4*b + 3791 = -0*u + u. Is u a prime number?
True
Suppose 20*c = 24*c - 8068. Is c a composite number?
False
Let s(j) = j**2 + 4*j - 4. Let l be s(-5). Let x be (l - 16)*8/(-20). Is x*(-2 + 7/3) prime?
True
Suppose -4*z = 2*f - 66, 5*f + 5*z - 88 - 72 = 0. Let m = f - 12. Is m a prime number?
True
Let l(u) = 4*u**2 - 8*u + 3. Let t be l(-6). Suppose 2*s + t = 4*n + 49, -5*n - 3*s + 188 = 0. Is n a prime number?
True
Let a = -60 + 184. Suppose a = 2*o - 10. Is o a composite number?
False
Suppose -b = 2*b - 6483. Is b a composite number?
False
Let x(c) = -c**2 - 4*c + 4. Let p be x(-6). Let q(d) = 2*d**2 + 12*d + 5. Is q(p) a prime number?
True
Let n(q) = 15*q**2 - 1. Let j be n(4). Suppose -j = -5*v + 146. Is v a composite number?
True
Let y be 374/4 + 2/4. Let u = 81 + y. Suppose -5*m + u = -3*f - 2*f, -2*m + f = -72. Is m a composite number?
False
Suppose 0 = 7*p - 14*p + 7609. Is p a composite number?
False
Suppose -s + 570 = 3*c, 5*s - 83 = -3*c + 475. Is c composite?
False
Suppose -1 = w + 2*j + 1, -3*w + 5*j = -38. Let n = 20 + w. Is n a prime number?
False
Let z = -1 - -3. Suppose -3*c + 498 = -w, 2032 = -2*w - 2*w + z*c. Is (-1)/(-3) + w/(-9) a composite number?
True
Let p = 7 + -4. Suppose -3*s = 3*u + u + 81, 27 = -2*u + p*s. Is 43/(2*(-3)/u) a prime number?
False
Let z(x) = -x**2 + 3*x + 3. Let h be z(4). Let k be h + -1 - (-4 + -2). Suppose -k*c + 86 = -2*c. Is c a composite number?
False
Let r be 3 + 0 + 0 + 0. Let t(g) = 3*g**3 + 2*g**2 - 2*g + 2. Let m be t(r). Suppose -m = -2*k - 3*k. Is k prime?
True
Let v(t) = -t**3 - 3*t**2 + t + 4. Let p be v(-3). Is 3 + 138 + p + 3 a composite number?
True
Let c be ((-371)/(-21))/((-1)/(-3)). Let s be (18/(-4))/(2/(-4)). Suppose s = -3*y, z + z = y + c. Is z a prime number?
False
Let w = -16 + 22. Suppose -1313 = 3*n - 4*p, w*p - 2*p - 20 = 0. Let z = 630 + n. Is z a prime number?
True
Let s(n) = 5*n + 1. Let q be s(-6). Let z = q + 51. Is z prime?
False
Let s(m) be the second derivative of m + 1/2*m**2 + m**4 + 0 + 1/2*m**3. Is s(-2) prime?
True
Let w(l) = -2*l**2 - 2*l - 5 + 5 + l**2. Let h be w(-2). Suppose -x - 2*x + 447 = h. Is x a prime number?
True
Suppose -4*f - 14 = -3*i, -1 - 1 = -i + 2*f. Suppose -2*g + z = -40, z + 68 = 4*g - i. Is g composite?
False
Suppose 0 = i - 49 - 214. Is i a prime number?
True
Let k(g) = 105*g - 5. Let h be k(6). Suppose -h = -5*z - 155. Is z prime?
False
Let h = -88 + 171. Is h prime?
True
Suppose -r = -3*r + 3*f + 17, -r + 4*f = -21. Is (-31)/(-2 + (2 - r)) composite?
False
Suppose 0 = -4*c + 5*p + 1, -2*p = -2*c + 2. Suppose c*g - 5 - 11 = 0. Suppose g*k = -0*k + 76. Is k a composite number?
False
Suppose -5*q = -1435 - 1100. Let y = q + -248. Is y a prime number?
False
Let u(t) = -19*t**3 - t + 1. Is u(-2) prime?
False
Let n be 0 + 0 + (5 - 2). Let i = n + -1. Suppose 39 = -i*d + 5*d. Is d prime?
True
Let d(h) = -11*h - 1 - 9 - h**2 - 1. Let r = -42 + 34. Is d(r) composite?
False
Suppose -z + 9 = 2*k - 0*z, -4*k - 2 = -2*z. Suppose 8 = x - k. Is x a composite number?
True
Let j be ((2 + -2)/3)/2. Suppose 3*h - 12 = -j. Suppose -z - 18 = -h*z. Is z prime?
False
Suppose -1721 = -2*m + 1073. Is m prime?
False
Let p(h) = 4*h + 5. Is p(7) composite?
True
Let v(y) = 0*y**3 - 2*y**3 + 0*y**3 + 1 - 2*y - 2*y**2. Let c be v(2). Is 1425/27 + (-6)/c prime?
True
Let i = 589 - 869. Is 1/(-5) + i/(-25) composite?
False
Suppose 6 = 5*n + 51. Let m be 3/n - (-4606)/3. Suppose -3*c - m = -8*c. Is c a composite number?
False
Let q(r) = -67*r. Let i(d) = -d**3 + d**2 + 3*d - 3. Let f be i(2). Is q(f) composite?
False
Let q(i) = 78*i - 4. Is q(1) composite?
True
Let p be 2/6*(1 - 1). Suppose 4*s - 8 = -3*i, p = i + 3*i - s - 36. Let y(q) = 2*q**2 - 10*q - 1. Is y(i) composite?
False
Is 20/(-50) - 718/20*-26 a prime number?
False
Let x(q) = -q**3 + 6*q**2 + 8*q. Let s(u) = 3*u**2 - 3*u + 1. Let a be s(2). Is x(a) prime?
True
Suppose -3*m + 822 = 5*s - m, -5*s - m + 826 = 0. Is s a prime number?
False
Suppose 3*p = 2*a - 10 + 46, -2*p = 0. Let h be (-2)/(-2)*(0 + 6)/(-3). Is (a/30)/(h/190) prime?
False
Let n = 11 - 5. Let b = 2 - n. Let y = 19 + b. Is y prime?
False
Suppose -3*p + 0*p + 21 = 0. Let d(o) = o**2 + 4*o - 10. Is d(p) composite?
False
Suppose -3*p = -4*p + 373. Is p a prime number?
True
Let s be (-3084)/(-14) - 8/28. Suppose 8*h - 4*h - s = 0. Is h a prime number?
False
Suppose 2*x = -0*x + 230. Is x composite?
True
Let d = -143 + 219. Let h = d - 17. Is h composite?
False
Suppose 809 - 3044 = -5*x. Is x composite?
True
Let l = 9 + -6. Suppose 4*g = -p + 22, 4*g - 2 = l*p + 12. Suppose -3*j = -g*a - 9, 3*a = j + 3*j - 12. Is j a composite number?
False
Suppose f = -38 + 429. Is f a prime number?
False
Let c(w) = -w**2 + 3*w + 3. Let k be c(4). Is 71/(k/(6/(-3))) composite?
True
Suppose 5*h = 2*k + 5185, 6*h - k = h + 5190. Is h composite?
False
Let x(l) = -2 - 2*l - 6*l - 3*l + 3*l. Is x(-3) prime?
False
Let p be (-2)/(-1)*14/(-4). Let b = -5 - p. Suppose 0 = -2*j + 4*l + b, 0*l = -4*j - 5*l + 69. Is j composite?
False
Let f(d) = -4*d - 2. Let v be f(-7). Is (v - -3) + (-8)/(-2) composite?
True
Suppose 6*y - 2*y = 2*o + 16, 0 = -2*y - 3*o. Suppose -v = -y*v. Let h(c) = -c**3 + c + 21. Is h(v) a prime number?
False
Suppose -3*b + 9 = 0, 2*o + b = o + 224. Is o a prime number?
False
Let q = 145 - 71. Is q a composite number?
True
Let r(l) be the third derivative of l**6/120 + 2*l**5/15 + 5*l**4/24 + l**3/6 + l**2. Let f be r(-7). Let k = f - -4. Is k a composite number?
False
Suppose -2468 = -5*l - o, -3*l + 534 + 930 = -5*o. Is l composite?
True
Suppose -20 = 5*v, -u + 6*v = 2*v + 10. Let h = u + 38. Suppose -h = -z + 43. Is z prime?
False
Let k = -151 - -1632. Is k prime?
True
Suppose -5*u = 2*p - 92, -2*u = -2*p + 4*p - 92. Is p a composite number?
True
Let h(f) = f**2 + 4*f + 3. Let c be h(-3). Suppose c*g - 4*g - 58 = 2*k, 5*g + 3*k = -75. Is 1/(-1 + 0) - g a prime number?
True
Suppose -w + 4*w = 2*c - 104, 3*w - 116 = -2*c. Is c a composite number?
Tr