5*t + f = -h + 22. Is t prime?
True
Let u(m) = 3*m**2 + 2*m + 1. Let h be u(2). Suppose 3*l - 36 = -3*z, 0 = -z - 6*l + 4*l + h. Is z composite?
False
Let z = 633 + -442. Is z a prime number?
True
Let y = -429 + 1540. Is y composite?
True
Suppose 2*v - 846 + 116 = 0. Is v prime?
False
Suppose -1461 = -2*n - n - 2*i, 4*n + 5*i = 1948. Is n prime?
True
Let w(a) = a - 4. Let p be w(6). Suppose -t + p*t = -188. Let z = -133 - t. Is z a composite number?
True
Let l = 71 + -129. Let b = l - -89. Is b prime?
True
Suppose -2*l + 4 = -2, -3*l - 314 = -w. Is w a composite number?
True
Is 926 - 8/(24/15) a prime number?
False
Let n be 3 - 2 - 1*3. Is 33 - (n + (3 - 3)) composite?
True
Let s = 1 + 3. Let v be 22/(-12) + s/(-24). Is (75 - 1)*(-1)/v composite?
False
Let v(w) = -w**3 - 4*w**2 - w + 7. Let r(t) = -t**2 - 4*t. Let d be r(-5). Is v(d) a prime number?
True
Suppose -3*f + 2212 = f. Is f prime?
False
Let t(g) = 2*g**3 - 15*g**2 + 11*g + 13. Is t(10) a composite number?
True
Let t = -6 - -14. Suppose 0 = -3*c + 13 + t. Is c a prime number?
True
Suppose -2*r + 4*u - 1393 = 3*r, 2*r + 552 = -u. Is (-22)/(-99) + r/(-9) prime?
True
Suppose 3*c - 13 = -2*g, 5*c - 20 = -5. Let f be (-20)/(-6) + g/(-6). Is (f/6)/(2/148) a prime number?
True
Let t(b) = 242*b**3 - 2*b**2 + 6*b - 6. Is t(2) composite?
True
Let w(b) = 67*b**2. Is w(1) prime?
True
Let i(g) = g - 23. Let s be i(16). Is s/(2/(-26)*1) prime?
False
Let b(t) be the first derivative of 25*t**3/3 - t**2 + 2*t - 2. Let d be b(2). Suppose -5*j - d + 253 = 0. Is j a composite number?
False
Let m(f) be the second derivative of 7*f**5/10 - f**4/6 - f**3/3 + 2*f. Let i be m(-2). Let w = i + 193. Is w prime?
False
Let i(s) = 13*s**2 + s - 1. Let u be i(4). Suppose -5*f + u + 204 = 0. Is f a composite number?
False
Let x(g) = -5*g**3 - 3*g**2 + 6*g + 3. Is x(-4) a composite number?
False
Suppose -17 = -5*b - 4*h + 55, -4*b - 5*h = -63. Suppose 5*m = 2*m + b. Suppose m*j + 406 = 6*j. Is j prime?
False
Suppose 930 = 2*w - v, -2*w + 472 = -w - 4*v. Let j = w - 21. Is j a composite number?
False
Let h(a) be the third derivative of -a**5/60 + a**4/4 + a**3/3 - a**2. Is h(5) a composite number?
False
Let x be (0 + 2)/(-2)*1. Suppose 5*d + 4 = -3*q - 3, 2*d = -q - 3. Is 1/(x - d) - -64 prime?
False
Suppose 11 + 5 = 4*w, -2*o - 8 = w. Let x(d) = -4*d**3 + 2*d - 4*d**2 + 11 + 6*d - 4 + 3*d**3. Is x(o) prime?
True
Let f(x) = -x + 6. Let i be f(3). Suppose 4*t = 5*t - i. Suppose 0 = -t*p - 25 + 82. Is p prime?
True
Suppose c + 107 - 1230 = 0. Is c prime?
True
Let l(i) = -i**3 - 16*i**2 - 11*i - 19. Suppose 0 = 4*s + 19 + 45. Is l(s) prime?
True
Suppose -7*y + 29565 = -2*y + 2*a, -y - 5*a + 5936 = 0. Is y a prime number?
False
Let c be 88 + 0 - (4 - 3). Suppose c = 4*n - 225. Suppose 0 = -5*x + 2*i + 101, 3*x - 3*i - n = -x. Is x prime?
False
Is 3/1 + (10 - -76) a composite number?
False
Let f(r) be the third derivative of r**6/120 - r**5/10 - 13*r**4/24 - 2*r**3/3 + 3*r**2. Is f(9) a prime number?
False
Suppose 0 = -0*a - 5*a - 15. Is -119*(-1)/((-3)/a) composite?
True
Let c = -4 + 5. Is (178/(-1))/((-2)/c) composite?
False
Suppose -4*p - 2*w = -10360, 2427 + 5356 = 3*p - 5*w. Is p prime?
True
Suppose 0*s + 1149 = s - 2*j, s - 5*j = 1146. Is s a composite number?
False
Let f(p) = -p**3 + 18*p**2 + 4. Is f(17) prime?
True
Let d = 7 + -5. Is d*-3*1*-1 composite?
True
Let r = -2032 + 3503. Is r prime?
True
Let a(p) = -p. Let v be a(-2). Let x be -355*((-6)/(-10) + -1). Suppose 2*t - x = 4*f, -2*t - 3*f = v*t - 317. Is t prime?
False
Let m(d) = -6*d + 2*d**2 + 11*d + 16*d**2 + 5*d**2. Let k be m(5). Suppose k = 4*i + 5*s + 117, -s = 3*i - 376. Is i composite?
False
Is -1 + 3243 + -1 - 0/(-5) prime?
False
Let j(y) = -y**3 - y**2 + 2. Let x be j(0). Is -79*(x - 4)/2 composite?
False
Let c(a) = -a**3 + 7*a**2 + 8*a - 8. Let f = 13 + -7. Let q be c(f). Is (q/6)/((-2)/(-3)) prime?
True
Let c(o) = -36*o + 1. Let w(h) = 2*h - 4. Let y be w(-4). Let v = y + 8. Is c(v) a prime number?
False
Suppose -4*v = -3*c - 34 + 8, 4*c + 33 = 5*v. Let q(g) = g**3 + 3*g**2 + 3*g + 2. Let o be q(c). Suppose o = -0*n - 3*n + 93. Is n a composite number?
False
Let s(m) be the first derivative of m**2/2 - m + 1. Let d be s(3). Is 52 - 2/d*-1 composite?
False
Let b(m) = 18*m + 8. Let h = -8 - -15. Is b(h) prime?
False
Let o(r) = -r**3 - 4*r**2 + 2*r - 1. Let x be o(-7). Suppose x = 3*b - 7*b. Is (b/(-6))/(1/14) a prime number?
False
Let v be -4 - (-1)/(3 + -4). Let o = -3 - v. Is (-8)/o*(-196)/16 prime?
False
Let v = -7 + 5. Is 81 - 2 - -1 - v a composite number?
True
Suppose -26 = d - 5*x, -d + 2*d + 24 = 4*x. Is d/56 - (-1782)/14 a prime number?
True
Suppose 1519 = 9*p - 1082. Is p prime?
False
Let n = 11 + -36. Let p be (2/(-5))/((-5)/n). Is 22 - (0/2)/p a composite number?
True
Suppose 0 = -2*f + m + 71, -m = -5*f - 3*m + 191. Is f composite?
False
Suppose -3*d - 2*d = -25. Suppose d*y - 92 + 657 = 0. Let w = y + 164. Is w a prime number?
False
Let x = 96 + -43. Is x a prime number?
True
Let c = -12 + 22. Is c a prime number?
False
Let z(q) be the first derivative of 1/4*q**4 + 2 + 5/3*q**3 + 0*q - 7/2*q**2. Is z(-5) a prime number?
False
Suppose 3*u - 4*a - 10 = 14, 5*u + 5*a - 40 = 0. Let l be ((-16)/u)/(0 - -2). Is 993/12 - l/4 a prime number?
True
Suppose 2*c - 556 - 534 = 0. Is c a prime number?
False
Suppose -6*n = -2*n - 232. Is n a prime number?
False
Let a(i) = 2*i - 4. Let h be a(3). Is 2322/42 - h/7 a prime number?
False
Suppose 4*j + 0*j + 8 = 0. Is (j*133/(-2))/1 composite?
True
Let s = 2174 + 942. Is s/7 - 12/84 a composite number?
True
Let g be -10*(12/3)/(-8). Suppose -3*c - 2*p + 22 = 0, -2*p + 25 + 5 = 5*c. Suppose -3*o = 1 - c, 102 = q + g*o. Is q composite?
False
Suppose 5613 = -0*d - d. Is (-8)/28 + d/(-21) a prime number?
False
Let r(x) = -31*x + 4. Is r(-3) prime?
True
Is (1 + -308)*(-4 + (-1 - -3)) prime?
False
Is 1/(3290/(-1097) + 3) composite?
False
Let k = -13 + 1. Is (-16)/6*117/k a prime number?
False
Let h(t) = t + 2. Let j(p) = -2*p - 2. Let r be j(-4). Let m be h(r). Suppose -d = 4*n - 145, -m + 39 = n + 2*d. Is n a prime number?
True
Let r(b) = b**2 + 6*b - 18. Is r(5) a prime number?
True
Let i(t) = -t**3 - 3*t**2 - 5*t - 1. Let l(a) be the first derivative of -a**4/4 - 5*a**3/3 - a**2 + 4*a + 2. Let d be l(-4). Is i(d) prime?
False
Let q(m) = 7*m + 1 - 6*m + 8*m. Is q(6) composite?
True
Let g(n) = -4228*n**3 + n**2. Is g(-1) a prime number?
True
Let d = -16 - -8. Let o(j) be the second derivative of j**4/12 + 4*j**3/3 + 7*j**2/2 - 4*j. Is o(d) a composite number?
False
Suppose -2*m - 5*f + 9 = 0, -2*m + 0*f = f - 5. Suppose 4*j - 209 = -3*h, 0*j - m*j + 102 = 4*h. Is j a composite number?
False
Suppose 4 = -2*j - 2*h, 0 = 4*h - 4 + 16. Let w(l) = 18*l + 1. Let m be w(j). Let p = m + 4. Is p composite?
False
Let o(j) = -j - 2. Let f be o(-6). Suppose -20 = -v - 5*x + 1, -f*v - 5*x + 39 = 0. Let h(n) = -n**2 + 11*n - 5. Is h(v) composite?
True
Let j = 146 - 67. Is j prime?
True
Let o = 0 + 4. Suppose o*z - 2 - 18 = 0. Is (-2)/z + (-172)/(-5) a prime number?
False
Suppose 7*u - 6*u = 839. Is u a prime number?
True
Let y(j) = -2604*j**3 - j**2 + j + 3. Is y(-1) a composite number?
True
Suppose 5*k + 46 - 9705 = 4*d, 3*d - 1928 = -k. Is k a composite number?
False
Suppose -5*s + 5*i = -2340, -3*i + 674 = 3*s - 748. Is s prime?
False
Is (-102460)/(-6) + 1/3 a prime number?
True
Let j(k) = -k**2 + 7*k - 18 + 18. Let f be (-10)/3*6/(-4). Is j(f) a composite number?
True
Is 342/4 + (-2)/(-4) composite?
True
Let w(q) = 121*q. Is w(1) prime?
False
Let i = -6 - -7. Suppose z = i + 2. Suppose -99 = z*l - 6*l. Is l a prime number?
False
Let f = -28 - -47. Let s = -10 + f. Is s composite?
True
Let o = 92 - 169. Let m = 39 + o. Let n = 1 - m. Is n a composite number?
True
Let a(l) be the second derivative of -13*l**3/6 + 8*l**2 + 4*l. Is a(-13) composite?
True
Let l = 204 - 304. Let p = 115 - l. Is p prime?
False
Let o = 4444 - 2397. Is o a composite number?
True
Let h(u) = u + 1. Let z be h(3). Is z/(-20) + 386/5 a prime number?
False
Suppose -515 = 2*g + 3*g + 5*j, g + 3*j = -97. Let i = 248 + g. Suppose 572 = 4*p - 2*a, -p + 2*a + i = -1. Is p a prime number?
False
Let t(c) = -2*c - 6. Suppose 0*o = -o - 4. Let z be t(