*y - 4*y + 148. Is y prime?
True
Let c(f) = 76*f + 1. Is c(1) a composite number?
True
Suppose 120 = -d + 2458. Let v = -1383 + d. Is v a composite number?
True
Suppose 3*a + 16 = -a - 2*z, -2*z - 10 = a. Let q(u) = -36*u - 1. Is q(a) a prime number?
True
Suppose 7*p - 2*p = 10765. Is p a composite number?
False
Let m = -559 + 1200. Is m a prime number?
True
Let k(t) = -6*t + 9. Let h(a) = 5*a - 10. Let c(s) = -4*h(s) - 5*k(s). Is c(6) composite?
True
Suppose 4*n + 440 = -3*h, 0 = -h - 0*h + 3*n - 151. Let f = 213 + h. Is f prime?
False
Suppose 914 + 434 = 4*p. Is p composite?
False
Let q = 1456 + -707. Suppose 0 = -i - 5*k + 899, 0 = 4*i - 2*k - 2825 - q. Is i/(-4)*8/(-12) composite?
False
Let x = -5 + 22. Let g = -12 + x. Suppose g*t - 175 = -0*t. Is t composite?
True
Let v(b) = 15*b - 4. Is v(6) prime?
False
Suppose 0 = k - 3, m + 1620 = 4*m + 2*k. Is m a composite number?
True
Let x(v) = v - 2. Let g(p) = -p**3 + 5*p**2 + 6*p + 2. Let s be g(6). Let b be x(s). Let r = b - -127. Is r composite?
False
Is 2/7 + 5451/7 a composite number?
True
Suppose 0 = 3*b - 8 - 7, 0 = 2*p + 5*b - 263. Is p a composite number?
True
Let k(f) = 2*f**2 + 1. Is k(10) prime?
False
Suppose 7*s = 2*s - 15. Is 0 + (s - 7*-58) composite?
True
Let j be (39 + -1 + -1)/1. Suppose -2*v = 3*p - 32, -4*p - 2*v + 5*v + j = 0. Is p composite?
True
Let l(z) = -z. Is l(-3) prime?
True
Is -4 - (1554/(-3) + 3) composite?
True
Suppose -4*m - 166 + 2394 = 0. Is m a composite number?
False
Let n = 0 - -2. Suppose -4*w + p = -458, n*w = 4*w + p - 232. Is w composite?
True
Suppose 5*p = -3*d + 3761, d + 3*p - 135 - 1124 = 0. Is d composite?
True
Let x(k) = -k**3 + 10*k**2 - k - 7. Let i be x(8). Suppose -q + i = 16. Is q a composite number?
False
Suppose 0*u = 2*u - 4*t - 10, -3*u + 3*t = -15. Suppose 5*v - l = 630, l = 4*v + u*l - 528. Is v a prime number?
True
Suppose -j = 159 - 1276. Suppose 0*r + 5*t + 441 = 2*r, -5*r + j = 2*t. Is r a composite number?
False
Suppose 4*z - 4*r = z + 4677, 2*z = -r + 3118. Is z prime?
True
Let l be (2/(-3))/((-4)/18). Let p = 22 - l. Is p a prime number?
True
Let t(s) = 6*s. Let p be t(1). Suppose -p*j = -4*c - 2*j + 180, -c = -2*j - 43. Is c a composite number?
False
Is (-3)/(-12)*(267 + 1) composite?
False
Let f be 7*2/2*1. Let j(v) be the third derivative of v**4/6 + v**3/2 + 2*v**2. Is j(f) composite?
False
Suppose -150 = -2*v + 262. Let b = 355 - v. Is b composite?
False
Suppose 5*q - 660 = 2735. Is q a prime number?
False
Let w = -46 - -93. Is w a prime number?
True
Suppose 4*x = 5*k - 32, 0 = -3*k - x + 4*x + 18. Suppose k*j = 9*j - 47. Is j composite?
False
Let p = 19 + 16. Suppose 3*h + 7 = -4*d, h + 4*h - p = 5*d. Is h prime?
True
Let x be 457 - (0/1 - -1). Let t = 1141 - x. Is t prime?
False
Let y be (-28)/6 + (-1)/3. Let a be 63/2*(-12)/(-9). Let p = y + a. Is p composite?
False
Let j(c) = c**2 + 6*c + 4. Let m be j(-6). Suppose -m*g = -2*g + 118. Let o = -36 - g. Is o a composite number?
False
Suppose -4*q + 7378 = 5*w, -5*q + 4*w = -8066 - 1177. Is q prime?
True
Let c = -22 + 24. Is (-31 - -2)/(-1) + c a composite number?
False
Let t(g) = -g**3 - 4*g**2 - 4*g - 1. Suppose 3 = -2*m - 3. Let k be t(m). Suppose 232 = -k*h + 6*h. Is h composite?
True
Suppose -3*t + 638 = 5*u, -3*u + 488 = 5*t - 570. Is t prime?
True
Suppose 4*q + 31 = 3*u - 2, -2*u - 3*q = -22. Is u composite?
False
Let t(s) = s**2 + 2*s - 1. Let g be t(-3). Suppose g*i + 66 = 4*i. Is i prime?
False
Let v(g) = g**3 - 10*g**2 - 5*g - 15. Is v(11) a composite number?
True
Let x(v) = -v**3 - 7*v**2 - 6*v - 7. Let b be x(-6). Let a = b - -12. Suppose -k = 2*s + k - 202, -s - a*k = -117. Is s prime?
True
Suppose -3*a = -2 - 4. Suppose -3*x = 9, 6*x = 5*l + a*x - 287. Suppose 40 = 2*k + 4*z, -z = -k + 6*k - l. Is k a composite number?
True
Suppose 4*b - 3803 = -0*b - 3*z, 5*z + 2874 = 3*b. Is b prime?
True
Let w be 0 + 0/(-3) + 390. Let v = 609 - w. Is v a composite number?
True
Suppose -70 = 2*r - 7*r. Is r a prime number?
False
Let m be -1*2 + 16/4. Suppose -4*p = -5*n + 11, m*p + 6 = 5*n - 7. Is n composite?
False
Let o = 103 - 8. Is o prime?
False
Let r = 253 + 943. Let n = r + -795. Is n a composite number?
False
Let v(o) = 148*o**2 + 3*o - 4. Is v(-3) composite?
False
Let t(h) = 65*h**2 + 2*h - 8. Let y(q) = 66*q**2 + 2*q - 9. Let o(l) = 7*t(l) - 6*y(l). Is o(3) a composite number?
True
Let n be 1/4 + (-2)/8. Suppose 3*u + 2*p - 31 = n, 0*u + 8 = u + 3*p. Is u prime?
True
Let o = 101 + 56. Is o a composite number?
False
Let r(f) = 3*f**3 - f**2 - 9*f - 1. Is r(6) a composite number?
False
Let p(i) = 11*i**3 + i**2 - 5*i + 4. Is p(3) a composite number?
True
Let s = -351 + 830. Is s a prime number?
True
Suppose 0 = h - 3*h. Suppose -6*k - 5 = -k. Is (h - -11)*(2 - k) prime?
False
Let y(q) be the second derivative of -2*q**3 - 3*q**2/2 - 2*q. Is y(-3) prime?
False
Is 1*1639 + 4 + 0 composite?
True
Suppose 3*f + y = 1923, 4*f + 2*y = 463 + 2103. Suppose -c + 4 = c, f = 4*r + 4*c. Is r a composite number?
True
Let j = -94 - -181. Is j a composite number?
True
Let v(l) = -l**2 - 14*l - 11. Let b = -14 - -6. Is v(b) composite?
False
Let x be (-14)/(-4)*(-12)/3. Is 17736/56 - 4/x composite?
False
Let i be (-1 + 0)/(3/6). Let t be i/12 - 2090/(-12). Suppose -4*s - t = -6*s. Is s prime?
False
Suppose 5*o + 3*d - 13 = 0, 0 = -5*o - 3*d + 2*d + 11. Let t be 10/o + 2*-1. Suppose -t*l + 129 = 30. Is l prime?
False
Suppose -2*g = -0*g. Suppose -b + 0*b + 23 = g. Is b a prime number?
True
Let g be (93/(-2))/(1/(-4)). Suppose 0 = -2*o - 16 + g. Is o prime?
False
Let k be (-3*2)/(2 + -4). Suppose 4*p - k*x - 262 = -5*x, -341 = -5*p + 2*x. Suppose -p = 2*f - 3*f. Is f composite?
False
Let w(q) = -q**3 - 4*q**2 + 6*q - 1. Let l be w(-5). Is 4/(-6) - 130/l prime?
False
Suppose -806 - 952 = -6*l. Is l composite?
False
Let k(g) = g - 4. Let t(p) = -p + 3. Let o(n) = -6*k(n) - 5*t(n). Is o(5) a prime number?
False
Suppose -2*v - k - 35 = -2*k, -4*v - 5*k = 91. Let n = -8 - v. Is n a composite number?
False
Let d(n) = -n**3 - 2*n**2 - n + 1. Let o be d(-2). Suppose o*r = 2 + 1. Is r*14*9/6 a prime number?
False
Suppose -4*o + 350 = o. Let w = 25 + o. Suppose 107 - 5 = 4*d + 2*s, -4*d = -5*s - w. Is d composite?
True
Let k = -11 + 73. Suppose d - k = -d. Is d a prime number?
True
Suppose -n + 365 = 3*w, n + 341 = 4*w - 141. Is w composite?
True
Suppose 5*i - 3*i + 2*r - 4446 = 0, 3*i - 2*r - 6659 = 0. Is i prime?
True
Let d be ((-228)/9)/(6/27). Let b = d - -191. Is b a composite number?
True
Let l(i) be the third derivative of i**5/60 - i**4/4 + 4*i**3/3 + i**2. Let p(s) = s**2 + 5*s + 1. Let f be p(-6). Is l(f) composite?
True
Let g = 424 + 95. Is g composite?
True
Let b = 9 - 6. Is 1/(0 + b/273) composite?
True
Suppose 0 = -0*r + 2*r - 4. Suppose 2 = -b, -3*g - 2*g + 24 = -r*b. Is 2/(-4) + 46/g prime?
True
Let w = -1293 - -3898. Is w prime?
False
Let n(y) = -7 - 2 + 9*y - 2 + 1. Is n(4) composite?
True
Let l = -4 - -15. Let b(i) = -i**2 + 16*i + 2. Is b(l) prime?
False
Suppose 4*x + 3 = 2*t + 11, -4*x - 4*t + 20 = 0. Suppose -3*y = 5*k + 338, 197 = -x*k + 6*y - 2*y. Let m = k + 101. Is m a composite number?
True
Let o = 131 + -21. Suppose c = -c + o. Is c prime?
False
Let q(k) = -2*k + 1. Let f be q(-2). Let t(g) = 2*g**2 + 7*g + 4. Let w be t(-4). Suppose -f*l + w = -l. Is l composite?
False
Is (22/1)/(3 - (-93)/(-33)) a prime number?
False
Suppose -h + 1208 = 3*x, 4*h - x - 3*x = 4752. Is h composite?
False
Suppose 3*d = -s + 28, -4*d - s + 58 - 20 = 0. Let g be d/3*228/10. Suppose -3*i + g = -131. Is i prime?
False
Let m be 4/(-18) - (-20229)/27. Suppose -5*d - a = -3*a - m, -5*a = d - 139. Is d prime?
True
Suppose -80 = 3*m - 29. Let y = m + 24. Is y a prime number?
True
Let z(q) = 6*q - 3*q**2 - 5*q**2 + q**3 + 2*q**2 - 1 + 0*q. Let h be z(5). Let g(j) = 5*j**2 + 2*j + 1. Is g(h) a prime number?
True
Suppose 7*k - 307 - 526 = 0. Is k a composite number?
True
Suppose a = -2*y + 5, -y = -2*a - a - 20. Suppose -1605 = -y*b + 1300. Suppose -5*f + 5*j - j + b = 0, -2*f + 3*j = -238. Is f prime?
True
Let t = 12 - 8. Let c(d) = 6*d + 6*d**2 - 3*d + t*d - 3 - 3*d. Is c(-5) composite?
False
Is 8/(-12) + (-620)/(-3) a prime number?
False
Suppose 3*h = 2*h + 301. Is h a prime number?
False
Su