ppose -4*f = 5*r - j, -4*f - 14 = -2*r - 8*f. Let c(x) = 13*x + 6. Is c(r) a prime number?
True
Let l(g) = g**2 + 5. Is l(4) prime?
False
Let n be -1 - (-2 - 155) - 0. Suppose -5*k = -10*w + 5*w + 400, -2*w - 2*k = -n. Is w composite?
False
Let x be (-2)/9 - 38/(-9). Let o = x + -2. Is 1/((-1)/(-9)) - o prime?
True
Let p(g) = 56*g - 41. Is p(5) prime?
True
Suppose 3*c - 2*u - 46 = 83, -4*u = -2*c + 86. Is c a prime number?
True
Let g(q) be the second derivative of -q**5/20 - q**4/12 - 2*q**3/3 - 5*q**2/2 - 5*q. Is g(-5) prime?
False
Suppose -921 = -5*c + 2*c. Is c composite?
False
Let d(s) = -7*s - 7. Is d(-12) a composite number?
True
Let l be 59/4 - (-2)/8. Let y(b) = 16*b - 17. Is y(l) a composite number?
False
Suppose 6*g - 1059 = 3*g. Is g a composite number?
False
Let c(s) be the first derivative of -s**3/3 + 39*s - 1. Is c(0) a composite number?
True
Suppose -3*a - 4*k = 66, -4*a + 2*k = -6*a - 46. Suppose -4*z + 57 = o, 0 = -3*o - 2*o - 2*z + 303. Let v = o + a. Is v a composite number?
True
Let j = -6 - -6. Suppose -3*p + 0*p - 21 = j. Let d(h) = -h**3 - 4*h**2 - 2*h - 2. Is d(p) prime?
False
Let a = 43 + 40. Is a composite?
False
Let g = 9 + -7. Suppose -g*m + 267 = 5*q, 5*m = 5*q - 85 - 175. Is q a prime number?
True
Let w = 4467 - -394. Is w composite?
False
Let u = 16 - -8. Suppose k = -z + 174 + u, 3*z = -5*k + 1000. Is k a composite number?
True
Let k(i) be the third derivative of i**4/24 - 2*i**2. Let f be k(3). Suppose 4*z = f*z + 301. Is z a prime number?
False
Let f be ((-28)/(-35))/(2/5). Suppose -f*n = -5*r + 290, 4*n - 83 = -r - 25. Is r prime?
False
Let o(p) = 34*p**2 + 6*p - 3. Is o(4) a composite number?
True
Is (-89089)/(-35) + 6/(-15) composite?
True
Let w(j) = j**3 - j**2 - 2*j - 1. Let n be w(-1). Let o = n - -3. Suppose -2*g = o*g - 308. Is g a prime number?
False
Let v = -22 + 26. Suppose 5*u - 62 - 48 = 0. Suppose v*w - 6 - u = 0. Is w a composite number?
False
Let h be (-87)/3 - 1/1. Suppose -j + 4*x + 85 = 0, 2*j = -2*x + x + 125. Let o = j + h. Is o a prime number?
False
Let n = 102 + -71. Is n prime?
True
Let a = -6 - 3. Let l be (30/a)/((-2)/(-9)). Let r = -5 - l. Is r composite?
True
Let q(s) = -150*s**3 - s**2 + 1. Let a be q(-2). Suppose a - 89 = 4*w. Let c = w + -166. Is c prime?
False
Let x = 463 + -252. Is x composite?
False
Let w(h) = -36*h + 5. Let q be w(4). Let a = -50 - q. Is a prime?
True
Is 209 - (-8 - (-8 + 2)) a composite number?
False
Let b(u) = u**2 - 6. Suppose l = -3*m - 15, 2*l + 3*m = -4 - 11. Let s be b(l). Is (3 - (-32)/s)*-3 prime?
True
Let r = 103 - -58. Is r a prime number?
False
Suppose -5*k - t + 305 = 0, -2*k - t + 243 = 2*k. Suppose 87 = r - k. Is r a composite number?
False
Let y(l) be the third derivative of 11*l**6/60 + l**5/20 - l**4/8 + l**3/6 + 4*l**2. Let z be (-4)/(2*-1) - 0. Is y(z) a prime number?
False
Let j = 76 + -47. Suppose r - 16 = -3*r. Suppose 47 = r*d - j. Is d a prime number?
True
Suppose -b + 0*b + 177 = 0. Is b a prime number?
False
Suppose -363 = -2*t + 39. Suppose 2*h - t = -h. Is h prime?
True
Suppose o + 3*c = 121 - 33, -4*c = 8. Is o a composite number?
True
Let f = -150 - -329. Is f composite?
False
Is ((-8234)/(-69))/(2*(-1)/(-3)) composite?
False
Suppose -4*b - 3*o = -5*b + 277, -b + 5*o = -281. Is b a composite number?
False
Let t be (-14)/(-8) - 5/(-20). Let d(q) = 88*q**3 - 6*q + 7*q - q**2 - q**t. Is d(1) composite?
True
Let y = -624 + 324. Let b = y + 521. Is b a composite number?
True
Suppose -2*h + 2*m - 2 - 2 = 0, h - 18 = -3*m. Suppose -h*j + 4*n + 18 = 0, -5*j + 10*n - 5*n = -35. Is j prime?
False
Let t(w) = 2*w**2 + 3*w - 3. Let p be t(-3). Let j(d) = -d**2 + 9*d - 3. Let f be j(p). Suppose f - 5 = 5*z. Is z composite?
False
Is (1 - -404) + 0 - -2 a composite number?
True
Suppose 4*b = 431 + 893. Is b prime?
True
Suppose 0*w - 5*w = 710. Is (0 + 2)*w/(-4) prime?
True
Suppose -s = 27 + 16. Let w = -8 - s. Is w composite?
True
Let u = -1 + 5. Suppose u*s + 52 = -172. Let k = -19 - s. Is k a composite number?
False
Is (-2)/(-6) + (-3)/((-27)/9600) a prime number?
False
Suppose -6514 + 1138 = -2*u. Suppose 3*i + 168 = u. Suppose 3*d + 135 = i. Is d a prime number?
False
Let t(r) = r**3 + 6*r**2 - 6. Let g(v) = v**2 + 11*v + 13. Let b be g(-9). Is t(b) prime?
True
Suppose 16*f - 17*f + 21 = 0. Let i = 170 + f. Is i prime?
True
Let c be 8/(-2)*2/4. Let b(d) = -34*d + 1. Is b(c) a composite number?
True
Suppose 2*x = x + p + 7, 0 = -5*x - 5*p + 35. Suppose 5*c - x*c = 0. Suppose c*y + 267 = 3*y. Is y prime?
True
Let s = 20 - 14. Let j(i) = -60*i - 5. Let x(q) = 121*q + 9. Let c(k) = s*x(k) + 11*j(k). Is c(2) prime?
True
Suppose 15 = -3*i - 3*p, -i - 2*p - 2 - 4 = 0. Let h = i + 10. Let x(s) = 7*s**2 + s - 1. Is x(h) a composite number?
False
Let u(d) = 14*d + 2. Let z be u(-3). Is z*(-2 - 2) + 1 prime?
False
Is 3*(-905)/15*1/(-1) a prime number?
True
Is (-2149)/(-14)*1*2 a prime number?
True
Suppose z - 96 - 67 = 0. Is z prime?
True
Suppose -2*y - 5*t = -y - 1309, 4*t - 5268 = -4*y. Is y a prime number?
True
Suppose 0 = -20*y + 15*y. Suppose y = -2*o - 3*v + 5*v + 262, 3*o + 2*v = 403. Is o a composite number?
True
Let n(u) = -u**3 - 10*u**2 - 9*u + 3. Let x be n(-9). Suppose z = -3*z - 3*a + 2, a = -5*z - x. Is z/3 - 88/(-12) prime?
True
Suppose -13*s + 8042 = -20051. Is s prime?
True
Suppose -r = -2*t + 2, -36 = -3*r - 4*t - 2. Suppose -4*a = -r*a + 8. Is (30 + 4)/(a/14) prime?
False
Let o(c) = -66*c**3 - c**2 + c + 1. Let g(s) = s - 6. Let i be g(5). Is o(i) a composite number?
True
Let a be 2/5 - (-46)/10. Suppose -1 + 8 = -q - a*u, 2*q + 8 = -4*u. Let d(y) = -7*y**3 - 2*y**2 + y + 1. Is d(q) composite?
False
Let i(h) be the first derivative of h**6/360 - h**5/24 + 11*h**4/24 + 2*h**3/3 - 1. Let l(p) be the third derivative of i(p). Is l(8) a prime number?
False
Let r(t) = 52*t**2 + t. Let b(u) = u + 3. Let y be b(-5). Let i be (y/4)/(1/(-2)). Is r(i) a composite number?
False
Let t(x) = 46*x**2. Let h be t(3). Suppose 12 = -2*k + h. Is k composite?
True
Suppose 2*j + 25 = -3*j. Suppose 128 = x + 3*x - 5*g, -160 = -5*x - 5*g. Let a = x - j. Is a a prime number?
True
Let r = 9 - 5. Suppose -201 = -r*v + v. Is v a prime number?
True
Suppose -465 = -g + 2554. Is g composite?
False
Let x be -1*(-1*8)/2. Suppose -3*u + 2*q + 28 = 0, -u + 2*u - x*q - 26 = 0. Is (-3)/u + 115/2 composite?
True
Let w(o) = o**2 - o - 1. Let s be w(0). Let a be s/(-2)*(5 + -1). Suppose a*v - v + 22 = 3*g, g - 4 = -3*v. Is g prime?
True
Let n = 384 - -66. Let o = n + -229. Is o a composite number?
True
Let l(w) be the second derivative of w**3/6 + w**2/2 + w. Suppose -6*n + 62 - 26 = 0. Is l(n) composite?
False
Suppose -b + 13 = -p, p + 3 = 1. Let v = -30 - -51. Let x = v - b. Is x composite?
True
Let w = -512 + 925. Let s = -256 + w. Is s prime?
True
Let q(j) = -167*j**3 + j**2 - 1. Suppose -11 = -t - 5*l - 32, -2*l = 4*t + 12. Is q(t) prime?
True
Let g = 2 + 58. Suppose -3*v - g = -675. Is v a composite number?
True
Suppose 112 = 5*m - 128. Suppose -y + m = y. Let o = 41 + y. Is o a prime number?
False
Suppose -2954 - 1357 = -9*j. Is j a composite number?
False
Let r be 6/(-4)*4/6. Let s be (r - -1) + 0/1. Suppose 4*g + 4*w - 44 = s, 3*g - 4*w = -25 + 79. Is g a prime number?
False
Is 412/(-6)*-3 + 0 a prime number?
False
Suppose -4*y - 5*f = -213, -2*f - 2 = 4. Is y a composite number?
True
Suppose -6*s = -2*s - 76. Let c be ((-2)/2)/((-2)/(-40)). Let w = s - c. Is w prime?
False
Let z(f) = -f**2 - 5*f - 9. Let n be z(-6). Let c = n + 11. Is 17 + c/6*-3 a prime number?
True
Let j(c) = -4*c**2 + 3*c**2 + 4*c**2 + 6*c - 3*c**3 - c**2. Let n be j(-5). Suppose -3*o = 2*o - n. Is o prime?
True
Suppose -254 = -2*p + 154. Let w(m) = -3*m**3 + 2*m**2 - 4. Let n be w(-3). Let g = p - n. Is g a composite number?
False
Let t be ((-19)/2)/((-2)/8). Let i(g) = 2*g. Let z be i(1). Suppose -t = -2*w - 4*x + 128, -z*x = -2*w + 190. Is w prime?
False
Let o(z) = -2*z**3 - 7*z**2 + 10*z + 7. Let j(k) = -7*k**2 - k. Let m be j(-1). Is o(m) composite?
False
Let r = 41 + -8. Suppose -6*k - 2*x = -4*k + 10, x + 5 = -3*k. Suppose k*f - f = -r. Is f a prime number?
False
Suppose -3*g - 7 = -q - 7*g, 3*q - 4*g - 5 = 0. Is (-545)/20*(-12)/q a prime number?
True
Suppose 0 = 4*l - 2*l + 5*