9) prime?
False
Let u(a) = 347*a**3 + 1. Is u(2) composite?
False
Let f(g) = -g**3 - 11*g**2 - 8*g + 8. Let c be f(-10). Let t be (-4)/(c/27)*-1. Is (894/t)/((-4)/6) a composite number?
False
Suppose -d + 2*d - 257 = 0. Is d composite?
False
Let m be 10*(-1)/(-2) + -2. Suppose -1603 = -5*k + 97. Suppose m*l + j - 202 = 0, -2*j = -5*l - 7*j + k. Is l composite?
False
Suppose -4*n = -2*n + 2, l + 2*n - 306 = 0. Is (l - -1)*6/6 composite?
True
Suppose 0 = -5*q - 3*o + 5103 + 877, q - 2*o - 1183 = 0. Is q prime?
True
Suppose 0 = 5*g - 2190 - 335. Is g prime?
False
Suppose -4*v - 1 = 27. Let z = v - -9. Is z a composite number?
False
Suppose -5*x - 1 + 21 = 0. Let l = 19 + -9. Is 206/l + x/10 composite?
True
Let z(f) = f**3 + 6*f**2 + 6*f + 2. Let i be z(-5). Let y = 0 + i. Is 20 - (-3)/y*1 a prime number?
True
Suppose 3*d + 1 = -2*u + 5, 5*u + 11 = 3*d. Suppose 0 = -2*j - 10, d*j = -i - 2*j + 26. Is i a prime number?
False
Is 4/(-4)*3 - -524 a composite number?
False
Is (-2)/13 - ((-606135)/65 - 10) a prime number?
False
Let s = -72 + 128. Let c = s - -26. Is c a composite number?
True
Let x(p) = 11*p. Let b be x(8). Is b - (-2 - (-2 - -1)) prime?
True
Let p(a) = a**2 - 7*a + 3. Let g be p(7). Suppose -m = -3*q - 82, -g*m + 4*m + q = 98. Is m a prime number?
False
Let v(g) = -g**2 + 5*g - 7. Let n be v(5). Let q be n/(0 + (-1 - 0)). Suppose -q*m + 3*m + 436 = 0. Is m prime?
True
Suppose 397 = 5*p - 0*p + 2*l, 5*p + l = 396. Is p composite?
False
Suppose 0*z + 176 = -4*z. Suppose 5*k = t - 88, -2*k = t - 4*t + 329. Let g = z + t. Is g composite?
True
Let c(m) = m**2 + 3*m - 3. Let x be c(-4). Let a(p) = 4*p**2 - 1. Let j be a(x). Suppose -2*k + 5*k - 29 = t, k = j*t - 1. Is k a composite number?
False
Is (-7)/42 + 943/6 a prime number?
True
Let i be 472/14 + 8/28. Let v(u) = 5*u - i + 32 + u. Is v(4) prime?
False
Let m(d) = 12*d**2 + 1. Suppose -5*q - 2*c + 10 = 3*c, 10 = 5*q - 5*c. Is m(q) composite?
True
Let v be (2 + 26)*-1 + 1. Let h be 796/18 - (-6)/v. Let b = h + -21. Is b a prime number?
True
Let y(b) = 57*b + 5. Let u(k) = -19*k - 2. Suppose 0*f = 4*a + 2*f - 64, 2*f = 3*a - 55. Let z(q) = a*u(q) + 6*y(q). Is z(3) composite?
False
Let o = -88 + 197. Is o composite?
False
Let k be 0/((-4)/(2/(-1))). Suppose 5 = t + 3*v, 4*t + v - 16 - 15 = k. Is 306/t - (-1)/(-4) a prime number?
False
Let n(f) = f**3 + 10*f**2 + f - 6. Let r be n(-7). Let v = r + -79. Is v prime?
False
Let t(h) = -2*h + 1. Let q be (3*4/6)/(-1). Let j be t(q). Suppose -j*x + 104 + 21 = 0. Is x prime?
False
Let d = 5794 + -2867. Is d a prime number?
True
Suppose 4*u - 44 + 136 = 0. Let l = -48 - -12. Let x = u - l. Is x a prime number?
True
Let f(k) = k + 2. Let c be f(-1). Let i(r) = -3*r + 14*r + 3*r. Is i(c) composite?
True
Let u(f) = -2*f**2 - 4*f - 4. Let q = -4 + -2. Let y(d) = 2*d**2 + 4*d + 5. Let b(j) = q*u(j) - 5*y(j). Is b(4) a prime number?
True
Suppose -r = -3*k - 9 - 103, -5*r - 4*k + 655 = 0. Is r a composite number?
False
Let k(q) = -94*q - 1. Is k(-5) prime?
False
Let c be (0 - -3) + (0 - -1). Suppose 3*m - 233 = c*s, 4*m - 3 - 286 = s. Suppose m = 2*n - 87. Is n a composite number?
False
Let r(o) be the first derivative of o**6/360 + o**5/24 + 5*o**4/24 + 2*o**3/3 + 2. Let t(g) be the third derivative of r(g). Is t(-11) a prime number?
True
Let m(b) = b + 12. Let g be m(-9). Suppose -4*z - 8 + 78 = 2*u, g*u = -3*z + 48. Is z composite?
False
Let s(x) = 672*x**2 + 1. Is s(1) a prime number?
True
Suppose -q + 820 = 104. Let p be q/10 - (-4)/10. Let d = p - -5. Is d composite?
True
Suppose -6522 = -3*u - 3*u. Is u composite?
False
Let u(g) = g. Let v be u(4). Suppose o = v*o - 819. Suppose -o = 2*i - 5*i. Is i composite?
True
Suppose 44 + 166 = 2*d - 5*u, d - 127 = -3*u. Is d prime?
False
Let w be (20/(-50))/((-2)/220). Suppose i + i - w = 0. Is i prime?
False
Let s be 10/3*(-12)/8. Let g(v) = v**3 + 6*v**2 + 5*v + 1. Let j be g(s). Is (19/(-4))/(j/(-20)) a composite number?
True
Let d = -4981 + 9386. Is d prime?
False
Let y(r) be the first derivative of -r**3/3 - 5*r**2/2 - r - 1. Let k be y(-5). Is k/(1/(-4))*1 prime?
False
Suppose -2*m = 3*m - 130. Let w = 10 - 5. Suppose -w*k + 181 - m = 0. Is k prime?
True
Let a(d) = 2*d**2 - 10*d + 8. Let n be a(11). Suppose -5*p - 45 = -n. Is p composite?
False
Let c(l) = -l + 4. Let z be c(5). Let d be (-1)/z - (-4)/2. Is 1 + (0 - d) + 99 a prime number?
True
Is 3/(-2)*(-6824)/6 a prime number?
False
Let l = 0 - -6. Suppose -29 - l = -5*q. Is q a prime number?
True
Let l(c) = -c**2 - c + 5. Let n be l(3). Let m(y) = y**3 + 10*y**2 - y - 5. Is m(n) a prime number?
True
Suppose -4*c - 2*k + 1876 = 0, -5*c - 4*k + 910 = -1441. Is c prime?
True
Let y(f) be the third derivative of f**5/15 - f**4/12 - f**3/2 + f**2. Let j be y(-2). Suppose 4*b - j = 67. Is b prime?
False
Suppose -5*q - w + 19 = 0, -15 - 10 = -3*q - 4*w. Suppose -2*z - 138 = 3*d - 361, 142 = 2*d + q*z. Is d composite?
True
Let o = 4 + 1. Suppose 907 = o*i - 1908. Is i composite?
False
Suppose 287 - 1067 = -5*m. Let a = m + -88. Suppose a = 3*j + 2. Is j composite?
True
Let o(l) = -156*l - 2. Let z be o(-2). Let t = z + -53. Is t composite?
False
Suppose 6*m - 7384 = -4*g + 5*m, -2*m = -5*g + 9243. Is g composite?
False
Let b(s) = s**3 + 5*s**2 + 3*s - 2. Let p be (-4 - -6)/(2/12). Suppose a - p = 5*a. Is b(a) a composite number?
False
Let z = 430 + -246. Let g = -57 + z. Is g a prime number?
True
Let o(r) = 3*r**2 - 6*r - 6. Is o(11) composite?
True
Suppose -3*x - 2*x = 0. Let b(g) = 1 + x - 2 - 2*g - 3*g**3 + 3*g**2. Is b(-3) a composite number?
False
Suppose 5*l - 4538 = c, 890 = 2*l + 3*c - 915. Is l a prime number?
True
Suppose 2150 = 2*u + 4*y, -3*y - 1516 - 2817 = -4*u. Is u composite?
True
Is -2 + (-4 - -1) + 30 composite?
True
Let v(w) be the first derivative of -w**4/4 - w**3 - w**2 - 7*w + 4. Is v(-5) composite?
False
Let r be (-500)/(-24) + (-1)/(-6). Let c be (r/(-4))/((-12)/64). Let f = -18 + c. Is f prime?
False
Let x = -12 - -7. Let w = 8 + x. Suppose 0 = -u - 2*s + 79, 0 = u + w*s - 29 - 45. Is u a prime number?
True
Let b(h) = -46*h + 2. Let v be b(-2). Suppose 4*w = 2*w + 4*n + v, 0 = -2*w + 5*n + 99. Is w a prime number?
True
Suppose 0*i = -5*i + 2*j + 10, 0 = j - 5. Let w(m) = 3 + 0 - 1 + i*m. Is w(3) composite?
True
Suppose -7*r + 3*r = -40. Is r prime?
False
Let l(j) = -3*j + 4 + 10*j**2 - 5*j**2 - 3. Suppose 0*t - 3*t + 2*n = -11, 4*t - n - 13 = 0. Is l(t) a prime number?
True
Let q(y) = -y - 7. Let d be q(-5). Let i = 3 + d. Suppose -3*s + 81 = 4*o, 0 = -4*s - i - 3. Is o a composite number?
True
Suppose 3*q - 388 = -2*g, -5*q - 378 = -2*g + 10. Is g prime?
False
Let g(o) be the third derivative of 3*o**8/2240 - o**7/2520 - o**6/360 + o**5/40 - o**4/24 - o**2. Let c(r) be the second derivative of g(r). Is c(2) composite?
False
Let u be ((-3)/(-4))/((-6)/(-1992)). Suppose 0*b - 4*q - 166 = -2*b, u = 3*b + 5*q. Is b a prime number?
True
Suppose -5*k + 10 = -0*k. Suppose -n + 3*p + 28 = 3*n, k*n = p + 12. Suppose n*d - 21 = 119. Is d a composite number?
True
Suppose 2*f = -4*j - 8, -j + 3 = f + 5. Suppose 0 = -3*h - f*h + 12. Suppose 4*b - 2*b - h = 0. Is b a composite number?
False
Let u(w) = 2*w**2 + 3*w. Let b be u(-2). Suppose b*h + 4*f - 36 = 0, 4*f + 48 = 4*h - 0*f. Is h a prime number?
False
Let b(x) be the third derivative of -x**6/120 + 2*x**5/15 - x**4/12 + 2*x**3/3 - x**2. Let s be b(8). Is (-1364)/s - 4/6 a prime number?
True
Let f be (-4)/8 + (-154)/(-4). Is f - 2*6/4 composite?
True
Let u(z) = -z**2 + z + 5. Let r be u(0). Suppose -c - 12 = -r*c. Suppose -c*j = 2*b - 53, b = -2*j + 16 + 9. Is b composite?
False
Let j be 62/(-4) + 6/4. Is (j/4 - -3)*-62 composite?
False
Let y(z) = 32*z**2 + z + 1. Let n be y(-1). Let c be n/2*(-15)/6. Let v = c - -73. Is v a composite number?
True
Suppose 8*p - 5240 = 3*p. Suppose 3*s - p = -s. Is s composite?
True
Suppose -2*h = -699 - 1937. Is h prime?
False
Let o = 510 - 179. Is o composite?
False
Let p(v) = -v**2 + 3*v + 1. Let n be p(2). Let q(w) = -13*w - 1. Let z(j) = -25*j - 2. Let g(a) = n*z(a) - 5*q(a). Is g(-5) a prime number?
False
Is ((-118)/(-4)*-2)/(38/(-1102)) a composite number?
True
Suppose 2*h + h = 36. Suppose j + l = -3*l + 20, 0 = -4*l + h. Let i = 5 + j. Is i a comp