+ 1. Let d be k(1). Let z be (-20)/(-15)*d/(-2). Is q(z) composite?
False
Is (-25169)/(-5) + (-12)/15 prime?
False
Suppose -z - 3 = -3*l, 5*l + 19 = -3*z + 4*l. Let w(q) = 2*q**2 + 5*q - 5. Is w(z) a composite number?
False
Let v(l) = -2*l - 4. Let c be v(-4). Suppose -1174 = -2*d - c*x, -859 = 3*d + 4*x - 2620. Is d a prime number?
True
Suppose 0*x + 142 = 3*x - 5*m, -4*x - 4*m + 200 = 0. Suppose 2*i + x = 3*i. Is i composite?
True
Let w(i) = -i**2 + 4*i + 2. Let f be w(5). Let n = f - -80. Is n prime?
False
Is 40/10 - (-17 - 2) composite?
False
Let o(w) = w + 562. Let z be o(0). Let j = z + -183. Is j composite?
False
Let w(n) = 2*n - 10. Let v be w(5). Is -1 + v + -3 + 617 prime?
True
Let d = -1064 + 1537. Is d composite?
True
Suppose -5*i + 566 - 194 = 4*c, 0 = 3*c + 4*i - 279. Suppose -2*s + 5*s = c. Is s a prime number?
True
Let p(k) = -k**2 - 5*k. Let m be p(-4). Suppose 62 = 2*r - 4*h, 6*r - m*h - 125 = r. Is r prime?
False
Suppose -5*s + 45 = -4*h - 54, -5*s + 103 = -3*h. Is s a prime number?
True
Is 24 - -1092 - 5*1 prime?
False
Let b = 1081 - 494. Is b a composite number?
False
Let d(c) = 3*c + 13. Let v(i) = -i + 4. Let k be v(-6). Let h be d(k). Let t = h + -21. Is t a prime number?
False
Suppose 4*d - 239 = -27. Is d a prime number?
True
Let a(d) = d**3 - 10*d**2 + 7*d + 8. Let y be a(10). Let z = -39 + y. Is z composite?
True
Suppose 8*j + 2204 = 12*j. Is j a prime number?
False
Let o(g) = -g**3 + 6*g**2 + 2*g - 7. Let i be o(6). Let k be 3 + -1 - (-3 + i). Is (-65)/(-2)*(2 + k) a composite number?
True
Suppose -4*z - 3*a + 4*a = -747, 5*a = 5. Is z composite?
True
Suppose 4 = -3*a - k + 22, -a + 6 = k. Let g = 25 - a. Is g a prime number?
True
Is (-1)/((-25896)/(-8634) + -3) a composite number?
False
Let j be 1 + -4 + 9*4. Let o = 52 - j. Is o prime?
True
Is (-1)/(-3) + (-2848)/(-24) a composite number?
True
Let t = -7037 + 10180. Is t a prime number?
False
Let y(s) = -s - 8. Let l be y(-11). Suppose l*v - 44 = v. Is v composite?
True
Suppose -1475 = 4*y - 9*y. Is y a composite number?
True
Suppose -4259 = -3*l + 154. Is l a prime number?
True
Suppose 4*k = -3*l + 23, 16 = 4*l + 4*k - 6*k. Suppose l*n - 105 = 2*n. Is n a prime number?
False
Suppose -5*s + 4*s + 733 = 4*c, -3*s - 4*c + 2223 = 0. Is s a prime number?
False
Let b = 0 + 2. Is 2*((-214)/(-4) - b) a composite number?
False
Let w(d) = 2*d**2 + 3*d - 1. Let b be (2/5)/(2/(-30)). Is w(b) a composite number?
False
Let p(k) = -7*k**2 - 4*k + 3. Let l be p(3). Let d = 129 + l. Is d a prime number?
False
Let z be 12*(-2 + (-14)/(-6)). Suppose -p + 0*m + 5 = m, 2*p + z*m - 14 = 0. Suppose 0 = -p*x + 3*v + 99, 41 + 60 = 3*x - 4*v. Is x a prime number?
True
Suppose 194 = 2*l - 4410. Is l a composite number?
True
Let r(p) = -11*p - 1. Let a be r(-3). Suppose -y + 1 + a = 0. Is y composite?
True
Let z(h) = -h**2 - 11*h - 6. Let n(f) = -2*f**2 - 21*f - 13. Let l(m) = 3*n(m) - 5*z(m). Let u be l(-6). Suppose -44 + 5 = -u*i. Is i a composite number?
False
Let c be 1 + -2*1 + 1. Let o be -2 - c - (5 + -8). Is o/1 - (-54)/3 a composite number?
False
Let g = -6 + 0. Let m be (-12)/10*10/(-3). Is (g/m)/(-3)*46 prime?
True
Let b(s) = -s**2 - 7*s + 11. Let t be b(-8). Let n(k) = -3*k**2 + t*k + 4*k**2 + 3 - 3*k**2 + 3*k**3 - 6*k**3. Is n(-3) a prime number?
False
Suppose u - 10 = -4*u. Suppose 0 = u*l - q - 15, 3*l + 2*l = 4*q + 36. Suppose 3*k + 2*f - 92 = -19, l = 4*f. Is k a prime number?
True
Suppose -s - 4*s = -5*x + 65820, -4*s = -3*x + 39491. Is x a composite number?
True
Let d = 167 + -72. Is d a prime number?
False
Suppose 2*s - 382 + 32 = 0. Let b = 249 - s. Is b a prime number?
False
Suppose -i + 15 = -0*i. Suppose 5*k = -i, -2*k = 3*z + 2*k - 570. Is z a composite number?
True
Suppose 12 = 3*j + j. Is (0 + j - 0) + 48 composite?
True
Let w be (-2)/6 + 9128/24. Let h = -262 + w. Is h prime?
False
Let r(l) be the third derivative of l**6/120 - l**5/60 + l**4/24 - 4*l**2. Let p be r(0). Suppose 4*c - 255 = -5*w, p*w - w - 5*c + 30 = 0. Is w composite?
True
Let l be ((-44)/(-3))/((-1)/(-3)). Suppose -y + l = 4*f - 59, y + f = 88. Is y a composite number?
False
Is (-13400)/(-24) - 8/6 a composite number?
False
Suppose 5*q = -2*s - 1008, -3*s - 3*q + 5*q = 1531. Let z = -308 - s. Is z composite?
True
Let n(l) = 42*l**2 + 6*l - 23. Is n(3) a composite number?
False
Let l = 45 + -26. Is l a composite number?
False
Let n(f) = -7*f - 9. Suppose 7 + 5 = 3*p. Suppose -p*u = -5*d + 32, 8 = -3*u - 2*d - 16. Is n(u) a composite number?
False
Let g = -50 - -74. Let f be ((-1)/2)/(2/g). Let r(h) = -h**3 - 6*h**2 - 7*h - 7. Is r(f) composite?
True
Suppose -4*o - 16 = -5*j, -5 + 14 = j + 5*o. Suppose -2*h - j*k = -5*h + 8, 2*h - 2*k - 6 = 0. Let l = h - 1. Is l prime?
True
Suppose -2*k = -2*g - 2*g + 2356, 4*k = 0. Is g prime?
False
Suppose 3*h = 3*x - 108, 2*h - 4 = -2*h. Is x a composite number?
False
Suppose t = 2*h - 4*t - 802, -5*t = 4*h - 1544. Is h a prime number?
False
Let g = -36 + 68. Suppose 0 = -5*s + 3*l + 76, -36 - g = -5*s - l. Is s composite?
True
Suppose 5*j - 360 = 3*g, 4*g = 3*j - g - 232. Is j a prime number?
False
Let i(r) = -r**2 - r + 753. Is i(0) a prime number?
False
Suppose 7*p + 24 = 3*p. Let y(s) = 24*s - 2. Let w be y(p). Let q = w - -235. Is q a prime number?
True
Let h = 11 + -9. Suppose -3*x + 378 - 117 = 3*u, -h*u + 198 = -4*x. Is u prime?
False
Let n = 85 + 76. Let a = -112 + n. Is a composite?
True
Let r(a) = -33*a + 1. Suppose 2*z = -5*j - 5, -2*j = -5*z - 19 - 8. Let g be r(z). Suppose 3*h - 126 = -p, -h - 2*p = 3*h - g. Is h a prime number?
True
Let g(p) = p**3 + 8*p**2 + 3*p - 5. Let v be g(-7). Suppose -f + 5*a + 30 = -1, 0 = -3*f + a + v. Is ((-268)/f)/(6/(-9)) a prime number?
True
Suppose 2*o - 74 - 812 = 0. Is o a composite number?
False
Is -4*(-2)/8 + 190 composite?
False
Suppose 5*a - 656 = -f, f + f + 2*a = 1272. Is f prime?
True
Suppose 2*x = 5*q + 1410, -3*x - x = 5*q - 2760. Is x a prime number?
False
Let q(s) = 2*s - 3. Let c be q(2). Suppose 5*w = -c + 21. Is (-314)/(-6) + w/6 a prime number?
True
Let y(l) = l + 4 + 6*l + 2*l. Let t be y(-3). Let v = 0 - t. Is v composite?
False
Let j(t) = -2*t - 1. Let g be j(-3). Suppose -g*x + 3*x + 270 = 0. Let s = x - 52. Is s a prime number?
True
Suppose 2*f - 164 = 228. Suppose 11 = -5*p + f. Is p composite?
False
Is 2/(-7) + (84402/63)/6 prime?
True
Let g = -909 + 441. Let x = g + 963. Suppose 60 = -3*u + x. Is u a prime number?
False
Let b = -261 + 400. Is b prime?
True
Suppose 2*u = 6*u + 880. Let v = u + 351. Is v a prime number?
True
Suppose -6720 = -4*z - 2*r + r, -1671 = -z + 2*r. Is z composite?
True
Let q = -20 + 25. Suppose 0*j - q*j = -2605. Is j composite?
False
Let w(t) = -t**3 + 10*t**2 - 11*t + 4. Let d = -4 - -4. Suppose -14 = -2*a - d. Is w(a) a composite number?
True
Let p be -1*3*2/(-3). Let y be 0 + p - (0 + -2). Suppose -2*q - 350 = -y*k, 43 = -2*k - 5*q + 236. Is k prime?
True
Let m = 34 + 75. Is m composite?
False
Let y(i) = -i**3 - 4*i**2 + 2*i - 2. Let k be y(-5). Let s be 0 + (-2)/(-3 - -2). Let b = s + k. Is b composite?
True
Let d(l) = 4*l**3 - 4*l**2 + 4*l + 5. Let n be d(5). Suppose f + 340 = 4*h - 3*f, 2*f + n = 5*h. Is h prime?
False
Let x(s) = s**3 - 4*s**2 - 13*s + 13. Let d(c) = c**3 - 3*c**2 - 13*c + 13. Let m(h) = 6*d(h) - 7*x(h). Is m(9) a prime number?
False
Let y(x) = 97*x - 5. Let f be y(-7). Let u = -215 - f. Is u a prime number?
False
Suppose b = 0, 3*b = 5*g - b. Let v be (1 - g - 1)/2. Is -2 + v + (-13)/(-1) prime?
True
Suppose 0*n + 5*n - 175 = 0. Is n prime?
False
Let g(n) = -4*n**2 - n**3 + n**2 - n**2 + 0*n + 2*n - 10. Is g(-7) a prime number?
False
Let x(t) = -t**3 + t**2 - t + 1283. Is x(0) prime?
True
Let b(v) = -15*v**3 + v**2 + v + 1. Let t be b(-1). Suppose -4*y - t = 0, -5*y - 125 = -u + 106. Is u composite?
False
Suppose 2*d + 2*d = 12. Suppose d*r - 119 = -8. Is r composite?
False
Suppose 2*r + 0 = 6. Suppose -47 = -r*d + 148. Is d a prime number?
False
Suppose 0*u + 20 = -u. Is -2 - (u - -3)*1 a composite number?
True
Let u = 449 - 120. Is u a composite number?
True
Let j be 1*11*(2 + -1). Let d = j - -11. Is d a prime number?
False
Let d(u) = 135*u**2 + 5*u + 3. Is d(-5) a composite number?
True
Let c(j) = -52*j - 3. Is c(-7) prime?
False
L