*2 - z - 1. Is u(2) composite?
False
Suppose -102 = -2*w - 7*l + 3*l, 2 = 2*l. Is w a prime number?
False
Let p(v) = -2*v - 6. Let x(q) = -q - 8. Let f be x(0). Let h be p(f). Is (10/2)/(2/h) a composite number?
True
Is -3*14/21 + 949/1 a prime number?
True
Let s = 6097 - 1070. Is s composite?
True
Let m(r) be the first derivative of -r**4/4 - r**3/3 + 2*r**2 + 2*r + 1. Suppose -2*h + 3 - 11 = 0. Is m(h) a composite number?
True
Let g = 64 - 32. Suppose g = -4*k - 156. Let y = k - -138. Is y composite?
True
Suppose -2*t - 170 = -4*t - k, 0 = 4*t + k - 336. Suppose -m = -2*m - t. Let u = 150 + m. Is u prime?
True
Suppose 5*u = 5*q + 670, 2*q - 6*q = 4*u - 512. Is u prime?
True
Let s = 0 - -5. Suppose 0 = s*q - 147 - 53. Suppose q - 10 = 2*t. Is t prime?
False
Let o(k) = 13*k - 30. Is o(17) a composite number?
False
Let q = -4 + 12. Let x be ((-2)/4)/(4/q). Is (1/x)/(3/(-159)) a composite number?
False
Let f = -8 - -5. Let t(l) = 12*l + 2. Let q(m) = 1. Let b(u) = 3*q(u) - t(u). Is b(f) prime?
True
Let r = 212 + -67. Is r composite?
True
Suppose 126 = -o + 1381. Is o a composite number?
True
Let h be (-2 - 0)/(2/11). Let r = -7 - h. Let b(t) = 4*t**2 + 7*t - 6. Is b(r) composite?
True
Let p = -12428 + 19797. Is p a composite number?
False
Suppose -42 = -3*n + 48. Suppose n = i - 61. Is i prime?
False
Let p be 1/(-2) + (-4)/(-8). Let u be p - 4/(0 - -2). Is (140/8)/(u/(-4)) composite?
True
Suppose 3*f - 402 = f. Is f prime?
False
Let q = 263 + 18. Let v = q - 195. Is v composite?
True
Let n(i) = i**3 + 4*i**2 - 37*i - 11. Is n(11) composite?
True
Let w be -3 + 501 + 4/(-2). Is (w + 0 + 1)/1 a composite number?
True
Suppose l - 2*t - 3155 = 0, 8192 = 3*l + 4*t - 1313. Is l a composite number?
False
Suppose 24*v - 484 = 20*v. Is v composite?
True
Let n be (1 + -1)/((-3)/(-3)). Suppose n = -p + 2*p. Suppose -4*w + 45 = 5*h, p = -h - w + 2*w + 18. Is h prime?
True
Suppose 4*n - 12 = 2*g, 0 = -n + 2*g - 0 - 3. Suppose 0 = 2*h - h + n*l - 53, 5*h - l - 291 = 0. Is h prime?
False
Suppose 2*v = 2, -15 = -3*z - 2*z + 5*v. Suppose 303 = 2*y - z*w - 151, -429 = -2*y - w. Is y a composite number?
True
Suppose -b + v - 17 = 0, 4*b - 3*v + 91 = 27. Let y(d) = 8*d**3 + d**2 + d - 2. Let s be y(1). Let w = s - b. Is w composite?
True
Let y(j) = -1 - 21*j - 14*j + 3*j - 4. Is y(-6) composite?
True
Let s = 729 - 227. Is s a prime number?
False
Let c(f) = -f + 14 + f**2 - 2*f**3 + 0*f + f**3 + 33. Is c(0) composite?
False
Let v be (-1)/(-2) + 502/4. Let q(r) = -9*r - 6. Let x be q(-9). Let o = v - x. Is o prime?
False
Let n(d) = -5*d**3 + 4*d**2 + 2*d - 2. Is n(-3) a prime number?
True
Let f be 0*(-2 - (-15)/9). Suppose f = 4*r - p - 11, -4*r + 5 = -2*p - 5. Suppose 7*n + 5*x = r*n + 283, 9 = 3*x. Is n prime?
True
Let y = -310 + 450. Let u = 214 - y. Is u a composite number?
True
Let p = 220 + -17. Is p a prime number?
False
Suppose -32 = k + 3*k. Let w be (k/(-10))/((-2)/(-10)). Let d(i) = 3*i**2 + 5. Is d(w) prime?
True
Let x(j) = -15*j**2 - 17*j + 9. Let a(n) = -7*n**2 - 8*n + 5. Let v(z) = -13*a(z) + 6*x(z). Is v(-8) composite?
False
Suppose 5*u + 2 = -5*t + 4*u, -3*t - 5*u + 12 = 0. Let w be 13/(-1)*t*1. Suppose f = -l + 12, -w - 1 = -2*l + 3*f. Is l a prime number?
False
Let r = 61 + -329. Let v = -179 - r. Is v a prime number?
True
Let n(d) = -d**2 - 2. Let p be n(-2). Let y = 0 - p. Suppose -2*s - y*u + 3*u = -35, 0 = u + 5. Is s a composite number?
True
Let m be (121/(-3))/((-8)/24). Suppose 2*w - w = m. Is w a prime number?
False
Let f(h) = 44*h**2 - 6*h + 9. Is f(4) prime?
False
Suppose -542 = -4*m - 82. Is m prime?
False
Let n = -1 - -3. Suppose 9 = f + 3*u - 12, f - n*u + 4 = 0. Suppose -3*l + 51 = 2*s, -2*s = -f*s - 12. Is l a composite number?
False
Let y = 3 - 2. Let d be y - (-66)/(1 - 0). Is d/5 + (-4)/10 a prime number?
True
Let w(h) = -39*h. Let b = -8 + 4. Let o be w(b). Let p = o + -110. Is p a composite number?
True
Suppose 0*m = -2*m + 6. Let s(p) = 3*p - 4*p - 65*p**3 - 1 - 20*p**m. Is s(-1) a composite number?
True
Let r(n) = 40*n + 2. Let b be r(-3). Let c be (-10 + 8)/(4/b). Is (c*(-1 + 0))/(-1) a composite number?
False
Let d(f) = f**3 - 9*f**2 + 6*f - 8. Let q(g) = -g**3 + 9*g**2 - 6*g + 7. Let w(v) = 2*d(v) + 3*q(v). Let m be (-6)/(-1) - (2 + -4). Is w(m) a prime number?
False
Let y(l) be the second derivative of -l**5/4 + 5*l**4/12 + 5*l**3/6 - l**2 - 3*l. Let j be y(-11). Is j/91 - 4/26 prime?
True
Suppose -5*n - 135 = -r, 6*n - n - 85 = -r. Suppose 0 = -w - 0*w - 5*a + 44, 5*w + 3*a - r = 0. Is w composite?
False
Let i = 78 + 77. Is i a prime number?
False
Let i = 23 + 126. Is i a prime number?
True
Let n(y) = -2 + 13*y + 5*y - 2*y. Let m be n(-3). Let i = m - -101. Is i a composite number?
True
Let t(j) = j - 5. Let h be t(7). Suppose 5*z + 0*z + 341 = 4*y, 5*y - h*z = 405. Is y a prime number?
True
Suppose j = 116 + 213. Is j a composite number?
True
Let a be (-7 - -14) + -1 + -1. Suppose -3*n + 9 = -2*n - 4*t, 4*n + a*t = 57. Is n a composite number?
False
Let m = -81 - -25. Is 1 - (-2 - -4)*m a composite number?
False
Let s(b) = -b**3 + b**2 + 2*b + 1. Let k be s(-5). Suppose -2*d + 3*d = k. Is d composite?
True
Suppose 0*g + h + 617 = 5*g, 5*h = 2*g - 256. Is g composite?
True
Is (-1)/(12/(-93))*4 prime?
True
Let g(h) = 3*h. Let n be g(2). Suppose 3*u = -2*a - n, 2*a - 6*a = 0. Is ((-2)/(-3))/(u/(-267)) prime?
True
Let z(d) = 18*d**2. Let n(s) = s**3 - 8*s**2 + 8*s - 8. Let m be n(7). Let v be z(m). Let x = 35 + v. Is x composite?
False
Suppose 0 = -4*h + 5*h + 4*d + 2, h = 4*d + 6. Is 134/2*(h - 1) a prime number?
True
Is 6/(-3) + 4 - -131 a prime number?
False
Suppose -4*l = -9*l + 890. Is l a prime number?
False
Let b(i) = -i**3 - i - 1. Let x(s) = -755*s**3 - 6*s - 5. Let g(j) = -5*b(j) + x(j). Is g(-1) a prime number?
True
Is 6156/21 + 3/(-21) a composite number?
False
Let d(s) be the first derivative of s**3/3 - s + 3. Let j be d(2). Suppose 0 = -j*k - k + 92. Is k a prime number?
True
Let p = 950 + -527. Suppose 0 = -2*r - 7*j + 2*j + p, -r + 2*j + 207 = 0. Is r a prime number?
False
Let b be -10*(-93)/((-3)/1). Let z = b - -465. Is z a composite number?
True
Suppose -4*g = 5*q - 8, -2 - 2 = -3*q - 2*g. Let o = 1 + q. Is (-19)/o*-1 - -2 a prime number?
False
Is 5 + -1 + 0 + 558 a prime number?
False
Suppose 0 = -4*u + 4*o + 4, -u = 4*u + 4*o - 14. Is 204 + 2*1/u a prime number?
False
Let v(d) be the first derivative of -415*d**4/4 + d**3/3 + d**2/2 + 1. Let x be v(-1). Suppose -x = -2*r - 3*r. Is r prime?
True
Let r = 0 + -3. Is (2 - 170)/r - 1 composite?
True
Suppose v - 3 = 1, 2*v - 7 = u. Let i(a) = -94*a**3 - 2*a**2 - 3*a - 4. Let j(y) = 93*y**3 + 2*y**2 + 2*y + 3. Let d(p) = 3*i(p) + 4*j(p). Is d(u) prime?
False
Suppose 23 = 2*g + 5*p, 5*p = 7*g - 3*g - 1. Suppose g*t = 4 + 12. Suppose 2 = -2*b, 67 = 4*y - t*b - 293. Is y a composite number?
False
Let l = -11 + 16. Let m be (2/l)/((-2)/(-20)). Suppose -m*n - 285 = -9*n. Is n a prime number?
False
Let c be (9*13)/(0 - 1). Let y = c - -164. Is y a composite number?
False
Suppose -y + 429 = 2*y. Is y composite?
True
Let s(h) = -h**2 - h + 3. Let t be s(-3). Is t - 254/(2 - 3) composite?
False
Suppose 21 = -3*d + 198. Is d prime?
True
Suppose -74 = -v + 214. Let s = -139 + v. Is s a composite number?
False
Suppose -v = k - 4*v - 643, k - 5*v - 651 = 0. Is k composite?
False
Is (-2505)/(-45)*(-1 - -10) a prime number?
False
Let x be 44/(-7) + (-2)/(-7). Let b be 4/x - 350/(-3). Suppose -3*w + 61 = -b. Is w prime?
True
Let j(w) = 15*w**2 - 3*w + 4. Is j(2) a prime number?
False
Let q(v) = 0 - 5 - 4*v - 31*v + 2*v. Is q(-4) composite?
False
Suppose 0*v + 10 = 2*v. Suppose -v*l - 20 = -5*w, 4 = -w - 2*w - 5*l. Suppose 3*i + w*i - 250 = -3*d, 0 = -i - 3*d + 62. Is i composite?
False
Let x = 10 - 8. Suppose -2*c + x*w + 128 = 3*w, 0 = -2*c + 3*w + 136. Is c a prime number?
False
Let p = -195 + 416. Is p composite?
True
Let r = 903 + -262. Is r composite?
False
Suppose -2*g = -187 + 29. Is g composite?
False
Is (-56 - -3)/((-2)/26) a prime number?
False
Suppose 3*j = 6*j - 435. Is j a composite number?
True
Let t = -56 + 32. Let f = 31 - t. Is f composite?
True
Let x be 41 + 3/(3/(-2)). Suppose -2*k = 3*d - 40, -3*k - 5*d + 23 = -x. Is k a composite number?
True
Let j = 