t**2. Is h(-9) composite?
True
Suppose 4*y = -4*o + 1896, 7*o = 5*o - 10. Is y prime?
True
Suppose 5*z = -4*f - 6 - 2, 5*z + 5 = -5*f. Suppose -106 - 53 = -f*n. Is n a composite number?
False
Is 295 + (-3 - (-1)/1) prime?
True
Let r(w) = 16*w + 13. Is r(6) a composite number?
False
Suppose 515 = p + 4*u, p - u + 2*u - 524 = 0. Is p prime?
False
Let v = 2 - 2. Suppose v = -4*c + 30 + 530. Suppose 0 = -4*n + 8*n - c. Is n a prime number?
False
Let a(u) = 6*u**3 + u**2 - u + 1. Let n(i) = i + 1. Let h be n(3). Suppose -o + 1 = -2*q, -h = -2*o - 4*q - 2. Is a(o) composite?
False
Let n(a) = -a + 119. Suppose 0 = -3*z - 2*z. Is n(z) prime?
False
Let j(r) = -4*r - 9. Suppose 0 = 4*c - 3*c + 14. Is j(c) prime?
True
Let u(w) = -w**3 + 11*w**2 + 10*w - 12. Let j be u(10). Suppose 2*o - 790 + j = 0. Is o composite?
True
Suppose 52 = -4*p + 2*p. Let w be (-2 + (1 - p))/1. Is 5/w - 264/(-5) composite?
False
Let a = 20 - 18. Suppose -d = a*d - 471. Is d a prime number?
True
Let o be -4*(-1 + 2/(-2)). Is 406/o + (-2)/(-8) a composite number?
True
Let d(m) = -10*m - 2. Let v(y) = -y**2 - 6*y - 4. Let a be v(-6). Is d(a) a composite number?
True
Suppose 366 = 2*g + 3*g - k, 2*g - 132 = 4*k. Is g composite?
True
Let w = -2 + 6. Suppose 2*n + w = -4*t - 2, 31 = -4*t + 3*n. Is (2/t)/(4/(-760)) composite?
True
Let k(f) be the second derivative of -3*f**3 + f**2/2 + 4*f. Is k(-1) composite?
False
Let l be (-4 - 0)*(-609)/(-28). Let x = 246 + l. Is x a prime number?
False
Let q(c) = c + 8. Let k be q(-6). Is 177 - 1*(-4)/k prime?
True
Let a(n) = -n**3 + 11*n**2 - 10*n. Let i be a(10). Suppose -6*m + 152 = s - m, i = 5*s + 2*m - 714. Is s a composite number?
True
Suppose -t = 4*t. Suppose -3*x + t*x - p = -266, 4*x - 354 = -2*p. Is x composite?
False
Suppose 0*i - 175 = 5*i. Is ((3 - 2)*i)/(-1) prime?
False
Suppose 0*f - 5*f = -40. Let h = f - 13. Is -10*((-165)/(-6))/h prime?
False
Let t(j) = -j**3 + 7*j**2 + 8*j + 3. Is t(6) a composite number?
True
Let w be 52/16 - (-2)/(-8). Suppose 3*d - 287 = 5*g - w*g, 0 = -d + 3*g + 91. Is d a prime number?
True
Let s(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/8 - j**3/2 + 6*j**2. Is s(-6) a composite number?
True
Is (-40611)/(-9) - (-12)/18 a composite number?
False
Let d = 0 + 2. Let j be ((-11)/(-2))/(1/d). Suppose 5*u - 174 = j. Is u composite?
False
Let v(g) = 9*g**2 - g - 5. Let f be v(-6). Suppose -3*j + f = 5*l, -5*l = -3*j + 69 + 236. Suppose 6*b - j = 3*b. Is b prime?
False
Let y(j) = 26*j**3 - 2*j**2 - 2*j + 1. Is y(3) composite?
True
Suppose 2*y - 174 = -2*b, 4*b = 2*y - 0*y - 162. Is y prime?
False
Suppose -2*d + 0*d = -46. Suppose 3*h + d = 182. Is h prime?
True
Let c(x) = -29 - 3 + 68 + 122 + x**2. Is c(0) composite?
True
Let t(b) = b**2 - b - 9. Let r be t(5). Let c = r - -4. Is c a composite number?
True
Suppose 5*l + 3 = 3*z - 4, -2*l = -4*z. Let w be 0 + 2 + l + 71. Suppose 5*g = 314 + w. Is g prime?
False
Let c(w) = -4*w + 1. Let r be c(2). Let z = r - -26. Is z composite?
False
Suppose -u - 2*u + 1 = b, -3*b + 14 = -2*u. Suppose 4*k + 0*k - 3*i + 4 = 0, b*k + 3*i - 20 = 0. Suppose k*f + f - 159 = 0. Is f prime?
True
Suppose 2*p + 5*j - 2638 = 10*j, 6595 = 5*p + 4*j. Is p a composite number?
False
Let y(g) be the second derivative of -7*g**3/2 + 13*g**2/2 + g. Is y(-4) a composite number?
False
Let x(o) = -o**3 + 2*o**2 + 2. Let h be x(2). Suppose 3*l - 820 = -h*l. Suppose 5*p = j + 637, -3*p + 553 = -4*j + l. Is p prime?
True
Suppose 0 = -2*t + t + 4*r, 3*t + 4*r - 80 = 0. Let q = t - -14. Is q a prime number?
False
Let i = -376 + 998. Is i a composite number?
True
Let i(p) = -4*p**3 + 5*p**2 + 2*p + 7. Is i(-4) prime?
False
Let w be 0/(2*(3 + -2)). Let u(m) = -2 + 0*m - 4*m + w*m**2 + 3*m**2. Is u(-3) a prime number?
True
Let b = 2294 - 1255. Is b prime?
True
Suppose -5*q = -2 - 13. Suppose -3*d - q = 0, 0 = 2*i + 3*d - 109 - 142. Is i composite?
False
Let g = 13 - 10. Let c(z) = 6*z**2 + 2*z - 1. Is c(g) a composite number?
False
Let d(x) = 6*x - 7. Let h(v) = v**2 - 30*v + 36. Let j(l) = 11*d(l) + 2*h(l). Let o be j(-8). Suppose -3*w = -o - 36. Is w a composite number?
False
Let l = -208 + 1235. Is l a prime number?
False
Let s(l) be the first derivative of 37*l**5/4 - 2*l + 1. Let w(b) be the first derivative of s(b). Is w(1) composite?
True
Suppose -5*a + i + 195 = 0, -2*i = 5*a - 0*i - 210. Suppose -c = 4*s - s - a, -c = s - 38. Is c prime?
True
Suppose 0 = 2*x - 2365 + 411. Is x a prime number?
True
Suppose 61 - 21 = 5*j. Let d(r) = r**2 - 10*r + 10. Let t be d(j). Is (-74)/(-6) - 4/t prime?
True
Suppose v + 5*b - 2268 = 0, 5*v = -0*v - 4*b + 11235. Is v composite?
False
Let g(t) = -2*t**2 - 3*t. Let d(z) = -z**2 + 1. Let i(y) = -3*d(y) + g(y). Let v be i(5). Let m(s) = 21*s + 2. Is m(v) composite?
False
Suppose 13*t - 764 = 11*t. Is t a composite number?
True
Let a(x) = -x**3 + 5*x**2 - 3*x - 4. Let h be a(4). Let q(o) = -1 + 2*o + 5*o + 31*o**2 + h*o - 5*o. Is q(-2) a prime number?
False
Suppose 5*z - 91 = 219. Is z prime?
False
Let u = 253 + 78. Is u a composite number?
False
Suppose -4*s = -0*w + 5*w + 346, 0 = -s - w - 86. Let f = 119 - 168. Let i = f - s. Is i a prime number?
False
Let n(z) = z**2 - 12*z - 9. Let c be n(12). Let i be ((-3)/c)/((-1)/(-9)). Suppose 2*f - 240 = i*a - 40, 4*f - 392 = 2*a. Is f composite?
False
Let g(x) = 138*x + 5. Is g(3) a composite number?
False
Suppose -3*k - 7 = -2*k. Let r be k + 4 + 0 + 9. Suppose -9*x + 69 = -r*x. Is x a composite number?
False
Let n(f) = -f**2 - 4*f - 2. Let t be n(-5). Is 3407/7 - 2/t a prime number?
True
Let o(h) = 20*h - 29. Is o(14) composite?
False
Suppose 7*q + 156 = 3*q. Let g = -71 + -23. Let u = q - g. Is u a composite number?
True
Let o(u) = u + 22. Let p(h) = -h**3 - 4*h**2 - 4*h - 3. Let a be p(-3). Is o(a) a prime number?
False
Let s(i) = i**3 - 6*i**2 + 5*i + 8. Let n be -1 - (-3*5)/(-3). Let u be n/21 + (-88)/(-14). Is s(u) a composite number?
True
Let c = 1222 + -573. Is c a composite number?
True
Is -4*(3 + (-50)/8) a prime number?
True
Let f(c) = 2 - 19*c + 6*c - 9*c. Let o be f(-4). Let v = -13 + o. Is v a prime number?
False
Let w be ((-927)/6)/((-1)/(-2)). Let x = w + 210. Let r = x + 148. Is r a composite number?
True
Let h be (111/2 - -1)*-2. Let y = h + 204. Is y - (2 - 2 - 0) prime?
False
Suppose 5*m + 57 = 302. Let f = m + -33. Let v = f + 3. Is v prime?
True
Suppose w + 413 = 4*n - 65, n - 2*w - 116 = 0. Suppose -5*h + 165 = 2*g, 0 = -3*h + 4*g - g + n. Let j = h - -11. Is j composite?
True
Let p be 4/3*24/16. Suppose -p*z - 14 = 3*r - 163, -3*r - z + 154 = 0. Is r composite?
False
Suppose 0 = -3*f + 5*f. Suppose f = n + n - 22. Is n composite?
False
Let k(y) = y**2 + 4*y - 4. Let u be k(-7). Suppose -3*h + n = -21, -5*h - 3*n + u = -4. Let f(a) = a**2 - 4*a + 1. Is f(h) a prime number?
True
Let u(w) be the third derivative of w**7/1008 + w**6/240 - w**5/20 + 4*w**2. Let m(b) be the third derivative of u(b). Is m(6) a composite number?
True
Let i = 3 + 3. Is (i/(-3))/(2/(-19)) prime?
True
Let z = 198 + -69. Is z a prime number?
False
Let a(h) = -2*h**3 + 14*h**2 + 7*h - 9. Let c be a(10). Let k = -348 - c. Is k prime?
True
Let j(n) = 12*n - 7. Let g(z) = 2*z - 5. Suppose 3*v = 1 + 17. Let u be g(v). Is j(u) prime?
False
Let g = -151 - -289. Let z = -49 + g. Is z prime?
True
Suppose -187 = -5*n + 4*n. Is n composite?
True
Is 24/6 + 379 + -1 composite?
True
Let p(a) = a**2 + 16. Let r be p(0). Suppose -6 + r = 5*y, q = 4*y - 5. Suppose 3*f = -5*n + 6*f + 275, 5*n + q*f = 275. Is n a composite number?
True
Let a = 0 - -3. Let i be (-12)/(a*-1)*1. Suppose l - 35 = i. Is l a prime number?
False
Let r be (-3855)/(-39) - (-4)/26. Suppose 4*m = m + r. Is m a composite number?
True
Let j = -1067 + 2658. Is j a prime number?
False
Let v = 17 - 4. Suppose -4*g - w = -0*g - v, -4*w - 8 = -4*g. Is g + 3 + 0/3 composite?
True
Suppose -3*m - a = -1228, a - 2172 = -5*m - 122. Is m a prime number?
False
Let d be (2 + -3)*1*6. Let h = d + 9. Suppose -2*q - 34 = -h*q - 4*s, 2*s = 4. Is q composite?
True
Let z be (0/1)/((-1)/(-1)). Suppose 2*y - 10 = 0, z*u = 3*u - y - 766. Is u composite?
False
Let n = -14 + 14. Suppose -b + 627 = 2*b - 2*h, b + 2*h - 209 = n. Is b prime?
False
Let v(u) = u**3 + 8*u**2 + 6*u -