*s + 2*q - 641. Is s a prime number?
True
Let s(l) = -l**3 + 10*l**2 - 6*l + 5. Is s(4) a prime number?
False
Let c be 12 + -6 - (1 + 1). Suppose -n - 2 = -l - 29, -c*l = 5*n - 171. Is n prime?
True
Let p = -152 + 313. Let z = p - 95. Suppose -i + 4*i - z = 0. Is i a prime number?
False
Let i = 46 + -30. Let l = -4 + i. Let b = l - -55. Is b prime?
True
Let t(p) = -p**3 - 7*p**2 + 3*p + 10. Is t(-9) a composite number?
True
Let k be ((-738)/4)/((-21)/28). Suppose -3*c = -326 - 163. Let u = k - c. Is u prime?
True
Suppose 2*z = -2*b + 6, -5*b + 4*z + 12 + 39 = 0. Let n(x) = -x**3 + 9*x**2 - 9*x - 10. Let p be n(b). Let f = p - 16. Is f prime?
False
Let i = 28 - 20. Let s be ((-6)/i)/((-4)/16). Suppose s*c - 47 = -4*j + 20, -j + 5*c = -34. Is j prime?
True
Let t be (4/5)/((-5)/(-25)). Suppose -12 + t = -2*p. Is p*17 + (-6)/(-2) prime?
True
Let g be 2 - 1*(1 - 1). Suppose -p - 190 = 2*s - 5*s, 4*p = g*s - 140. Suppose -r - r + s = 0. Is r a composite number?
False
Let p = 477 + -52. Let n = p - 1058. Is (-2 + -2)*n/12 a prime number?
True
Suppose 0 = 2*d - q + 4, 3*d - 4*q = -2*d - 7. Let w = 9 + d. Is w composite?
True
Let z be ((-1)/2)/((-1)/56). Suppose -18 = 7*i - 5*i. Let g = i + z. Is g a prime number?
True
Suppose 3*d + d - 276 = 0. Is d prime?
False
Let c = 36 + -26. Let j be 4*3/30*c. Suppose 2*u + 4*a = 386, u - 3*a = j*u - 594. Is u composite?
True
Is 2 - 8/((-32)/4740) composite?
False
Let g = -4 - -7. Suppose 2*j = g*h + 17 + 2, 3*h + 15 = 0. Suppose 0 = -2*x - 2, 5*x = 3*u + j*x - 108. Is u a composite number?
True
Suppose -2 = -4*o - 3*k, o - 6*k - 8 = -3*k. Suppose -4*r + 20 = -b - o*b, r + b = -2. Suppose 76 = r*c - 0*c. Is c prime?
False
Let a(d) = -2*d - 9. Let l be a(-6). Suppose -7 - 3 = -5*c. Suppose -5*p + c*r + 815 = -240, -5*p + l*r = -1055. Is p a composite number?
False
Suppose 5*s - 5086 - 1344 = 5*l, s + 3*l = 1274. Is s composite?
False
Let p = -11 + 15. Let z be -3*1/(-3)*p. Suppose 0 = -z*f + f + 66. Is f a prime number?
False
Suppose -3*c + 14 = -5*c. Let t = c - -12. Suppose 0 = t*f - 116 + 21. Is f prime?
True
Let m be 156/(-132) - (-2)/11. Let z(d) = -42*d + 10*d - 3*d. Is z(m) composite?
True
Suppose 3*k - 7*k + 13 = 5*f, 3*k + 14 = f. Suppose d = -5*w + 17, -f*d + 0*w - 25 = 3*w. Is (d - -3 - -2) + 188 prime?
False
Let s(t) = t - 1. Let n be s(5). Let m(d) = 3*d**3 - 2*d**2 + 2*d - 3. Let h be m(n). Suppose -47 = -4*g + h. Is g prime?
True
Let g = -716 - -1113. Is g composite?
False
Suppose -5*i = -2*c + 27, 5*c - 2*c + 7 = -2*i. Let o be (-1)/(c - 0/1). Is o/2 + 450/12 a prime number?
True
Let z(y) = -5*y. Let q be z(1). Is -434*(2 + q/2) a composite number?
True
Let x(l) = -l + 14. Let p be x(9). Suppose -5*f - 5*g + 90 = 0, -g - 130 = -p*f + 2*g. Is f composite?
False
Suppose -2*w = -5*w + 33. Is w a prime number?
True
Suppose 0 = 3*d - 2*q + 331 - 1960, 5*q + 1097 = 2*d. Is d prime?
True
Suppose 168 + 192 = 3*n. Suppose 4*b + 3*h = b + n, -65 = -2*b + 3*h. Is b a prime number?
True
Suppose 8*t = 5*t + 333. Is t a prime number?
False
Let d = 12 - 8. Suppose 5*k - 2698 = -5*i + 357, -8 = -d*i. Suppose 7*m = 10*m - k. Is m composite?
True
Let g be (-6)/15 + 2/5. Is 422*(g - (-1)/2) prime?
True
Suppose 2*r + 4*r - 18 = 0. Suppose 2*a + 5*l - 228 = 0, -4*a + 0*l = -r*l - 430. Is a a prime number?
True
Let x(l) = l**2 + 5*l + 1. Let c be x(-6). Suppose 3*p = c*p - 596. Is p a composite number?
False
Let a be 2/(-1)*57/2. Is (-14)/(177/a - -3) a composite number?
True
Suppose 5*t = 3*u - 3573, -2*u = 2*t - 1082 - 1316. Let w be ((-2)/3)/((-8)/60). Suppose 0 = -w*j + j + u. Is j a prime number?
False
Let v = 111 + -56. Let p(h) = 26*h - 3. Let w be p(2). Suppose -y = -k + w, -3*k + 2*k = -3*y - v. Is k a prime number?
False
Let p(b) = b**2 + b + 74. Is p(0) a composite number?
True
Let f(t) = 8*t**2 - 3*t - 1. Let n = -2 + 4. Suppose 0 = q - 2*q - n. Is f(q) a composite number?
False
Suppose 3*p + x - 4*x = 54, 2*p - 6 = -4*x. Let f(k) = -k**3 + 13*k**2 + 18*k + 5. Is f(p) composite?
False
Is (-434)/42*(1 + -4) a composite number?
False
Suppose 4*n - n - 15 = -5*p, 5*n + 15 = 5*p. Suppose k + 2*y = 70, -k - 2*y + 64 = p*y. Is k a prime number?
False
Let a(r) = 4*r**2 + 4*r - 1. Suppose 17 = o - 4*g, -g + 5*g + 35 = -5*o. Is a(o) a composite number?
False
Suppose 5*v - 3*v = 4. Suppose l - 1 = 4*o, -5*o + o - v*l + 2 = 0. Suppose o = 2*u - 5*w - 45, u - 3*w + 35 = 6*u. Is u prime?
False
Let k(v) = -v - 3*v + v**3 + 5*v**2 + 2 - 4*v. Is k(-6) a composite number?
True
Suppose 3*n + 3*g - 11037 = 603, 0 = 5*g + 15. Is n a composite number?
True
Let k be 489/4 + (-2)/8. Suppose -3*b = x - 4*x - 303, b - 5*x - 113 = 0. Suppose k = 4*i - b. Is i composite?
True
Is 4 + (-2)/2 - 3*-36 composite?
True
Suppose 2*n + 2628 = -m + 6*m, 0 = -m + 4*n + 522. Is m a prime number?
False
Suppose b - 148 = -3*b. Is b composite?
False
Let j = 67 + 90. Is j prime?
True
Let w = 5 - 5. Is (-422)/(1*(-2 - w)) composite?
False
Let h = 20 - 30. Let r be (-6)/h - (-4)/10. Is 7*(6 - r/1) a prime number?
False
Let t(p) = 7*p + 12. Let x be t(14). Let h = 6 - 2. Suppose 3*r + 39 = -4*w + x, -5*w = h*r - 94. Is r a composite number?
True
Let h(q) = -5*q + 1. Let r be h(3). Let d be (0 - r/(-4))*-2. Is 11*d - (3 + -5) composite?
False
Let y be (-6)/(-8)*(-8)/(-3). Is 1/y + (-111)/(-6) a prime number?
True
Suppose -c = -6*c - 12200. Is 6/(-10) + c/(-25) composite?
False
Let t = -478 - -1487. Is t a composite number?
False
Let o be (2 - 2)/(2 - 1). Let g be -6*1 + o - -1. Is ((-4)/g)/(2/15) a composite number?
True
Let u(g) be the third derivative of 29*g**5/30 + g**3/6 + g**2. Let w be u(1). Suppose -41 = -2*x + 5*b, -5*x + 101 = -b - w. Is x composite?
True
Suppose -46 = 3*o + 3*l + 269, -3*l = o + 101. Let z = o - -150. Is z a composite number?
False
Suppose 6 = 2*g - 0. Let b be 73*(g - (4 + -2)). Let f = b - 20. Is f composite?
False
Suppose -7*n + 218 = -5*n. Is n composite?
False
Is 1154 + (0 - 5) + 2 a prime number?
True
Suppose 0*n + 6 = -2*n, 5*n + 20 = v. Suppose -v*l + 4*l = -113. Is l prime?
True
Suppose 652 = -5*g + 242. Suppose 3*a = 11 + 10. Let w = a - g. Is w composite?
False
Is (-1)/2 + (-669)/(-6) composite?
True
Suppose -5*y = -2*y + 162. Let a = -108 + 199. Let t = y + a. Is t composite?
False
Suppose -6*t = -3*t - 15. Suppose 0*w = -2*w + 6, -t*x + 442 = -w. Is x a composite number?
False
Let i(b) be the second derivative of b**5/20 + 5*b**4/6 - b**3/2 + 7*b**2/2 + 2*b. Suppose -5*h + 5*a - 17 = -2*h, 2*h + 14 = 2*a. Is i(h) a composite number?
True
Suppose -6*j = -572 - 766. Is j composite?
False
Suppose 2*v + 0 = -2*j + 16, 6 = 3*v. Let c(u) = 18*u**2 + 6*u - 7. Is c(j) a composite number?
False
Let v = 5164 + -185. Is v composite?
True
Let r(z) = 3*z**2 - 15*z + 13. Is r(-11) a prime number?
True
Suppose 0 = w - 0*w - 3. Suppose z = -3*z. Suppose z = 2*k - 2*u - 6, w*k + u = -u + 24. Is k composite?
True
Suppose h - 19 - 29 = 0. Suppose -u = z - h, -4*u = -2*u - 4*z - 114. Suppose 4*b + 3*v - u = 0, -2*b + 4*v - 22 = -64. Is b composite?
True
Let r = 312 - 632. Is r/(-4) + (-6 - -3) a composite number?
True
Let q(i) = -i**3 + 3*i**2 - i - 3. Let g be q(3). Is 84/(-9)*9/g a composite number?
True
Let r(p) = -14*p**3 - 4*p**2 - 8*p - 12. Is r(-5) composite?
True
Suppose 4*k + 4*q - 130 - 226 = 0, 270 = 3*k + 2*q. Let b = k - -5. Is b composite?
False
Let i(u) = -u**2 + 10*u + 3. Let q be i(10). Suppose 3*p = q*o - 0*o + 393, -5*p - o + 631 = 0. Is p composite?
False
Suppose m + 2 = 2*m. Let g(w) be the second derivative of 3*w**3 - 3*w**2/2 - w. Is g(m) composite?
True
Let j be (-1)/(-2)*(51 + 1). Let i be 1 + 1 + 3 + -3. Is j/(-3)*(-3)/i a composite number?
False
Suppose 0*g = 2*g. Suppose -11*q + 6*q + 435 = g. Is q a composite number?
True
Let y(f) = -4*f + 7355. Is y(0) prime?
False
Let t = -2 + 5. Let i be (-45)/10*(-2)/t. Suppose i*j - 98 - 133 = 0. Is j prime?
False
Let f be (-2)/(-10) + 4/5. Is f + 18 + -1 + 1 a composite number?
False
Let v be 276/66 + (-2)/11. Is (18/v)/((-15)/(-20)) a prime number?
False
Let b = -937 - -1572. Is b a composite number?
True
Let z = -11 + 11. Suppose z = 4*i - 4*r - 388, 4*i - 199 = 2*i - 3*r. Let w = -21 + i. Is w prime?
False
Suppose 9*k - 20 = 4*k. Suppose z = -k*h + 351, -h 