= -j*p, -5*p + 4 = s - 21. Is s a composite number?
True
Suppose -3*l + 19 = -2*h, 3*l - h = 10 + 4. Suppose -2*t = 5*n - 229, 0 = t + l*t + 4*n - 488. Is t a prime number?
True
Let i(x) = -82*x + 1 - 2 + 0 + 0. Let z be i(-1). Let v = -50 + z. Is v a prime number?
True
Let q(c) = 4*c + 1. Let a be q(1). Suppose -3*w + 5*b = -226, -a*w + b + 419 - 79 = 0. Suppose g - p = 2*p + w, -102 = -2*g - 2*p. Is g a prime number?
False
Let k = -2 + -1. Is (k + 2)/((-3)/777) composite?
True
Suppose 0 = -3*r - r - 16. Is (1 - 509)*r/16 composite?
False
Let h(x) = -2*x**2 + 3*x. Let y be h(2). Let w = 5 + y. Is w a composite number?
False
Suppose 5*h = i + 14, 0*i + 3*h = 3*i - 6. Is ((-194)/(-4))/(3/i) composite?
False
Let s = 21 + 1. Suppose -5*m - q + 16 = 2*q, 4*q = 2*m - s. Is (-2 - m)*(2 - 19) a prime number?
False
Suppose 8*k = 4*k + 316. Is k a composite number?
False
Let n(l) be the first derivative of 10*l**3/3 + 3*l**2/2 - 4*l + 2. Let o be n(-3). Suppose -j = -0*j - o. Is j prime?
False
Suppose -4*i - 2*s - 161 + 53 = 0, 5*s - 81 = 3*i. Let h = 22 - i. Is h a composite number?
True
Suppose 5*k + j = -j + 8185, -2*j = -k + 1637. Is k prime?
True
Let s(c) = -c**2 + 4*c + 5. Let r be s(5). Let o = 2 + 2. Suppose r = o*d - 13 + 5. Is d prime?
True
Suppose -c - 16 = c + 4*y, -3*y = 15. Suppose -5*t + 2*n + 24 = 0, c*t - 2 = -3*n - 0. Suppose 0 = -3*w + 3*j + 45, t*j - 2*j + 2 = 0. Is w prime?
False
Suppose 81*i = 80*i + 491. Is i composite?
False
Let j be (7/(-28))/((-1)/12). Is (-1 + j - 1) + 256 a composite number?
False
Suppose 2*c + 2*f = 10, 5*c + 4 = 5*f - 11. Suppose 0 = r + c - 2. Is (33 + 3)/r + -1 a composite number?
True
Let i(p) be the second derivative of p**5/20 - 5*p**4/12 - 5*p**3/6 + 3*p**2/2 + 3*p. Let t(j) = -j**3 - j**2 + 4*j. Let w be t(-3). Is i(w) a prime number?
False
Is (-3)/(36/172)*-15 a composite number?
True
Let i be 1/5 + (-6)/30. Suppose i = 2*m - 4*m + 466. Is m a composite number?
False
Let u be 2*1/(-4)*-44. Suppose u = 5*s - 4*z, 0*s - z = 4*s - 26. Let x(a) = -a**2 + 8*a - 5. Is x(s) a composite number?
False
Suppose 3*q + 208 = 5*q. Suppose -3*n + 54 = -v, -4*n + 325 = -3*v - 2*v. Let u = v + q. Is u composite?
True
Is -4 + 2005 + -4 - 4/1 composite?
False
Suppose 2*u - u = -3*i - 7, 3*u = -2*i + 7. Suppose 18 = u*h - 5*n - 7, 3*h = -n + 3. Suppose -h*r + 44 = 2. Is r composite?
True
Let z(f) = 1892*f**3 + 1. Is z(1) composite?
True
Let t = 43 + 23. Let f(a) = 8*a + 4. Let u be f(5). Let k = t - u. Is k composite?
True
Let x = 934 - -279. Is x a composite number?
False
Let m(b) = -2*b**2 + b - 2. Let h(r) = -r**2 + 5*r - 2. Let q be h(4). Let z be m(q). Is ((-106)/z)/(1/4) a prime number?
True
Let o be (3/(-2) - -2)*0. Suppose -f + 15 = -o*f. Is f composite?
True
Let y be (0 + -1)/((-5)/(-65)). Let i = 34 + y. Is i a composite number?
True
Suppose -5*v + 1308 = 303. Is v a prime number?
False
Suppose 5*d - 143 + 18 = 0. Suppose 0 = -w - d + 110. Is w a composite number?
True
Let q = -27 + 39. Suppose -q = 4*i, 4*i - 40 = -2*j - 0*j. Is j a prime number?
False
Let s(b) = b**2 + b. Let j(x) = -2*x**2 - x. Let f be j(1). Is s(f) a composite number?
True
Let o = 157 + -110. Suppose 5*u + o - 457 = 0. Is u prime?
False
Suppose -j = v + 10, 2*v + 6*j - 3*j = -22. Let b(c) = c**2 + 4*c - 11. Is b(v) a prime number?
False
Let v = 654 - -313. Is v a composite number?
False
Let q be (-10)/15*(0 - 6). Suppose 4*k - 83 = -3*p, -76 - q = -5*p + 5*k. Is p a prime number?
False
Suppose 5*j = 4*j + 1. Let p(s) = 408*s**3 + s**2 - 2*s + 2. Is p(j) a prime number?
True
Suppose -2431 = -5*o - 3*p, 4*p - p = 5*o - 2449. Suppose 8*q - 4*q = o. Is q a prime number?
False
Let w be (2/6)/((-1)/(-6)). Let b be ((-4)/w)/(-1)*1. Suppose -11 = -c + b*t, 2*c - 37 = -3*c + t. Is c a prime number?
True
Suppose -a + 4 = 0, 4*y - 448 = 3*a - 4*a. Is y prime?
False
Let s(h) = -h**3 + 6. Let a be s(0). Suppose a*p - 485 = p. Is p a composite number?
False
Let n(s) = s**2 + 2*s + 1. Is n(-8) composite?
True
Let p(w) = 16*w**2 + 2*w - 1. Suppose -5*k + 3 = 13. Is p(k) composite?
False
Let w(c) = c**3 + 8*c**2 + 6*c - 4. Let s be w(-7). Is s + -1 - (0 + -33) prime?
False
Let l(q) = 121*q**3 + 2*q**2 + 1. Is l(2) a prime number?
True
Suppose -2*h = 3*m - 9, -h - 5*m = 3*h - 19. Let c(z) = 7*z - 3. Is c(h) prime?
False
Let r = -2 + 14. Suppose -2*x = x - r. Suppose x*o - 193 - 27 = 0. Is o prime?
False
Let s(a) = a**2 - 16*a + 9. Let l(x) = -x. Let y(f) = 4*l(f) - s(f). Let t be (-2 + -2)*(0 + -2). Is y(t) prime?
True
Let l(s) = s**3 + 1. Let o be l(6). Suppose o = -2*d + 3*d. Is d a composite number?
True
Let k(y) = -5*y - 2. Let l(n) = 5*n + 3. Let i(a) = 6*k(a) + 4*l(a). Suppose 5 = -5*q - 0. Is i(q) prime?
False
Let n(u) = -917*u. Let q be n(-1). Let k = -564 + q. Is k a prime number?
True
Let x(g) = g. Let q be x(5). Is (2/1 + q)/1 prime?
True
Let j(l) = -21*l**3 + l**2 + l. Let o be j(-3). Suppose -3*h - 2*m + o = 0, 4*m - 6 = 6. Suppose -3*k + h = -12. Is k composite?
False
Let g(n) = n**2 + 3*n - 1. Let h be g(-9). Suppose -y - h = -2*y. Is y composite?
False
Let i(y) = -2*y + 2. Suppose m = -0*m + 2. Let r be i(m). Is 130*(r - (-15)/6) prime?
False
Suppose 0 = 3*a + 2*a - 460. Suppose -a = -3*x + 1. Is x a prime number?
True
Suppose -4*t + t + 345 = 0. Is t a composite number?
True
Let x(m) = 3*m**2 + 14*m + m**3 - 7 - m**2 - 14*m**2. Let n be x(11). Let w = n - -207. Is w a prime number?
True
Suppose b = c + 2 + 1, -5*c - 3*b = -9. Suppose 2*h + 1 - 9 = c. Suppose 53 = -3*u + h*u. Is u a composite number?
False
Suppose -3*t = -0*t. Suppose 3*c = t, -5*u - 2*c = -7*c - 20. Is 283/3 - u/(-6) composite?
True
Suppose 0 = -4*v + 2*x + 1350, -2*v + 3*v - x = 340. Let r = v - 144. Is r a composite number?
False
Let l(z) be the second derivative of z**2 + 0 + 1/2*z**4 - z**3 + 3*z + 1/20*z**5. Is l(-5) a composite number?
True
Suppose 5*j - 8441 + 2956 = 0. Is j composite?
False
Let o be (9/(-2))/(6/(-1116)). Let r = o + -583. Suppose n = 3*d - r, 5*d + 0*n - 2*n - 425 = 0. Is d a composite number?
False
Let p = 38 - 17. Is p prime?
False
Let n = -58 - -105. Is n a prime number?
True
Let s(r) be the second derivative of r**4/4 + r**3 + r**2 - 2*r. Is s(-5) prime?
True
Suppose -4*m = -3*o - 0*m + 6, 0 = 5*o + 4*m + 22. Let z be (-4 - 0) + 1 + -1. Is (o/z)/((-2)/(-172)) a prime number?
True
Let k = 84 - -50. Suppose -5*j + 470 = -5*x, 4*x = 2*j - 64 - k. Is j a composite number?
False
Let w(m) = -12*m + 2. Let a be w(-2). Let i = a + -12. Is i composite?
True
Let u = -3 - -3. Let i(t) = 5*t**2 + 1. Let h be i(1). Suppose -q + h + 17 = u. Is q composite?
False
Let n(r) = -r - 1. Let l be n(-3). Is 51 + l/2*2 prime?
True
Let d(l) be the second derivative of l**5/60 + l**4/6 + l**3/6 - l**2/2 - l. Let g(c) be the first derivative of d(c). Is g(-5) prime?
False
Let s = 13 + -4. Is ((-17)/(-2))/(s/198) composite?
True
Let c = -4 + 8. Suppose -11 = -c*d - 47. Let n(x) = -x**3 - 8*x**2 + 4*x - 8. Is n(d) a prime number?
True
Suppose -309 = -4*w + 547. Suppose 233 = 3*k - w. Is k composite?
False
Let d(q) = -15*q - 2. Let b be (-2)/1*(-18)/(-4). Is d(b) composite?
True
Suppose 5*g = -4*t + 55, g + 2 = -g. Suppose 5*o - 140 - t = 0. Is o a composite number?
False
Suppose 0 = -2*q - 4 + 2. Let h(z) = 29*z**2 - z - 1. Let i be h(q). Suppose -46 = -5*o + i. Is o a prime number?
False
Let f(c) = 45*c**2 + 13*c + 9. Is f(6) a composite number?
True
Let r(c) = 116*c**2 + 4*c + 1. Is r(-4) prime?
False
Suppose -10 = -3*b - 2*b - 3*j, 3*b = -2*j + 6. Let i = 4 + b. Is i*(-3 - (-14)/4) a composite number?
False
Let w = -405 - -781. Suppose -5*i - 81 = -w. Is i prime?
True
Suppose -28*y + 23*y + 3470 = 0. Is y prime?
False
Is (-162 + 1)*(-4)/4 prime?
False
Let g be 4/14 - (-12)/7. Suppose -42 = -g*p + 4. Is p a composite number?
False
Let z = -313 + -166. Let g = z + 888. Is g a prime number?
True
Let a = 1 + 2. Suppose 3*g = h - 9, -a*h + 29 = -h + 5*g. Suppose -4*n + 9*n + 12 = 2*k, -2*n = -2*k + h. Is k a composite number?
True
Let c = 258 + -47. Is c a composite number?
False
Let p(s) = s**3 - 12*s**2 + 10*s + 13. Let t be p(11). Let b be 3/6 - t/4. Suppose 0 = -m + 3*a - b*a + 133, 733 = 5*m + 2*a. Is m a composite number?
True
Let k be 1/(-3) + 50/6. Suppose 2*