-j + 5. Let g be q(4). Let i(f) = 2*f. Let u be i(g). Is u/(-4)*602/(-7) a prime number?
True
Let m(t) = 1737*t + 15. Is m(2) a composite number?
True
Let k = 83 + -50. Is k composite?
True
Let i(v) = v**2 + v - 2. Let o be i(2). Let h(b) = b**3 - 2*b - 1. Let a be h(2). Suppose -a = o*x - 79. Is x a composite number?
False
Suppose -i + 2*v + 121 = 2*i, -4*v + 54 = 2*i. Is i a composite number?
False
Let c(p) = -p + 1. Let d be c(0). Let b(m) = 15*m**3 - m**2 + m. Is b(d) composite?
True
Is ((-1213)/2)/(45/(-18) - -2) a prime number?
True
Let a = 10 - 20. Let i = a + 16. Suppose -i*b + b + 5 = 0, 4*b - 213 = -k. Is k a prime number?
False
Suppose 14 = 3*u - 1. Suppose -4*h + 583 = 5*l, 5*l - 585 = -0*l - u*h. Is l composite?
True
Suppose 30 + 19 = g. Let r be (2/(-3))/((-1)/27). Let x = g - r. Is x a composite number?
False
Let x(t) = -6*t - 3. Let m(a) = 6*a + 2. Let v(f) = 2*m(f) + 3*x(f). Suppose 0*y = 4*y + 28. Is v(y) a prime number?
True
Let w = -371 + 860. Is w composite?
True
Let x(g) be the first derivative of g**4/4 + 2*g**3 + 3*g**2/2 - 5*g + 2. Let t be x(-4). Is (-4)/(-10) + 3999/t a prime number?
False
Let f(v) = -18*v + 2 + 3 - 4 + 6. Is f(-5) prime?
True
Suppose -4997 + 1310 = -3*a. Is a prime?
True
Is (1/2)/(32/7552) a prime number?
False
Let i(w) = -142*w + 2. Let q be i(-2). Let y = q + -125. Is y prime?
False
Suppose 0 = -0*r + 4*r - 8708. Is r prime?
False
Let j = 99 + -46. Is j composite?
False
Let w(r) = r**3 - 3*r**2 - 3*r - 4. Let d be w(4). Let a(k) = k + 3. Let g be a(d). Suppose 6*i = g*i + 30. Is i a composite number?
True
Suppose 2*w = -g + 40, -3*g + 112 = -2*w + 6*w. Suppose 4*i + 12 - g = 0. Suppose 5*r + i*j = 435, 2*j - 265 = -3*r - 0*r. Is r a composite number?
True
Suppose -4*y - 210 = -2*v, -3*y = 5*v - 0*y - 473. Suppose 3*z + v = 4*z. Is z prime?
True
Let x = -100 - -249. Is x a composite number?
False
Suppose 51 = 2*h - 3*u, 2*u = -h - 3*u + 58. Is h a prime number?
False
Suppose -2*u - 2*d = 6, 2*u - 3*d = 6*u + 7. Suppose 0 = u*n - 116 - 114. Is n a composite number?
True
Let v(c) = c**2 + 11*c + 7. Let t be v(-10). Let a(j) = -2*j**3 + j**2 - 2*j - 4. Let r be a(t). Suppose q = -4*k + r, 0*k + 5*k - 4*q - 55 = 0. Is k prime?
False
Is 5/(-30) - 5335/(-6) composite?
True
Let r be (1 - 4)/6*-4. Suppose -5 + r = -l. Suppose 2*g = -2*k + 54, 62 = l*k - 3*g - 43. Is k a prime number?
True
Suppose -2*p - 2*o + 44 = 0, 4*p + 17 - 113 = -2*o. Is p prime?
False
Let q = 87 + -40. Is q prime?
True
Let k(l) = -l**3 - 6*l**2 + 2*l + 2. Let j be k(-6). Let f(z) = -z**3 - 6*z**2 + 13. Is f(j) composite?
True
Let p = 403 - 218. Is p composite?
True
Let x(g) = 175*g + 3. Let k be x(7). Suppose 6*u = 2*u + k. Is u a prime number?
True
Suppose 20 = 4*y, i + 0*i = 5*y + 240. Is i a composite number?
True
Is (9/(-3))/(-3)*373 prime?
True
Suppose -3*g = -m - 651, 0 = 5*g + 2*m + m - 1099. Suppose 0 = -2*q, -5*f = q + 285 + 360. Let y = g + f. Is y composite?
False
Let r = 286 + 9. Is r a prime number?
False
Is 329 - 1/(3/6) a composite number?
True
Let b be (2 + 1)/(-6)*-2. Let n(y) = 37*y**3 + 2*y**2 - 1. Is n(b) a prime number?
False
Let h(k) be the second derivative of k**6/72 + k**5/120 + k**4/6 - 4*k. Let p(w) be the third derivative of h(w). Is p(1) composite?
False
Let l(w) = 1847*w**3 - w**2 - w + 2. Is l(1) composite?
False
Let z = -126 + 1033. Is z a composite number?
False
Let c(k) = k + 23. Let d be c(17). Suppose -3*b + 1056 = 4*u, 10*b - 5*b - 1752 = -4*u. Suppose 4*s + d = b. Is s prime?
False
Let d = 4 + 1. Let r(m) = -m**2 + 5*m. Let t be r(d). Let z(a) = -a**3 + a**2 + a + 211. Is z(t) composite?
False
Let r = -3 + 3. Suppose -3*v - 513 = -3*k, 2*k - v - 440 + 93 = r. Suppose -4*j + 44 = -k. Is j a composite number?
True
Let y(f) = 5*f - 1. Suppose 2*u - 28 = -3*d, -5*d = 2*u - 43 + 7. Is y(u) a composite number?
True
Suppose 2*h - 5*a - 1753 = -4*a, 5*h = 2*a + 4384. Is h prime?
False
Let u be (-9)/6*(-16)/6. Suppose q - 15 = u*k + 3, -2*k = -3*q + 14. Suppose 0 = 5*c - q*i - 205 + 20, c - 4*i = 55. Is c a composite number?
True
Let o = 332 + -73. Is o prime?
False
Let t be (2/(-6))/(2/(-126)). Let v be (-3 - t/(-6))*6. Suppose i + v*i - 652 = 0. Is i a prime number?
True
Suppose -2*k - 200 = -1374. Is k composite?
False
Let n(z) be the first derivative of z**3/3 - z**2/2 - z - 1. Let m be n(0). Let s = 12 + m. Is s prime?
True
Let u(b) = b**2 - 4*b - 5. Suppose 3*w = -2*m + 4*m + 7, 2*w - 5*m = -10. Let f be u(w). Is 12 + 1 + f/1 composite?
False
Let c = 111 - -38. Is c a prime number?
True
Suppose 0*b + 3*b = 6. Let z(c) = -c**b + 3*c - 5*c + 3*c**2 + c. Is z(-1) a prime number?
True
Is (-8)/14 - 3903/(-7) a composite number?
False
Let g = 31 - -58. Is g composite?
False
Is 6/39 + (-5)/(195/(-24291)) a prime number?
False
Suppose 4*w - 3 - 1 = 0. Is (1/w)/(2/194) prime?
True
Let b(c) = -51*c - 4. Let k be b(-3). Suppose -2*y = -y - k. Is y composite?
False
Is 1 - (228/(-3) - -3) a composite number?
True
Suppose 0 = 5*v - v. Suppose v = 4*j - 0*d + d - 740, -5*j + 925 = 4*d. Suppose j = 4*a + a. Is a composite?
False
Let l = -18 + 32. Suppose l = 5*q - 3*o, 2*q = 3*q - 2*o. Suppose 7*k = 3*k + 4, a - 21 = q*k. Is a a composite number?
True
Suppose -2*g + g - 4*t = -4, 2*t = g + 8. Let o = g + 3. Is 10 - ((-1)/o - 2) composite?
False
Suppose 0 = -4*c + 3*c. Suppose -4*g - 3*d + 135 = c, 136 = -3*g + 7*g + 4*d. Is g a prime number?
False
Let n(t) be the second derivative of t**5/20 - 7*t**4/12 + 4*t**3/3 + 3*t**2/2 + 2*t. Is n(6) a prime number?
False
Let g = 37 - 13. Let c be (-2)/(-9) - (-32)/18. Suppose -c + g = o. Is o prime?
False
Let m = 397 + 645. Is m a composite number?
True
Let f(x) = x**2 - 3*x - 6. Let b = 16 + -9. Let h be f(b). Suppose -3*o - h = 3*r - 55, 20 = o - 2*r. Is o prime?
False
Suppose -2 = 3*f - 5. Suppose -t + 3 = f. Suppose -3*h = t*h - 95. Is h composite?
False
Let t(v) = v - 7. Let a be t(0). Let l = a - -10. Suppose 0 = -l*o + 133 + 260. Is o a prime number?
True
Suppose 4*b + b + 20 = 0. Let s be 1362/b*(-10)/15. Suppose -j - s = -4*a - a, -a - 3*j = -55. Is a a prime number?
False
Let n = 7 + -3. Suppose -517 = -n*g - 5*x, g + 2*g - 4*x = 411. Suppose 2*u - g = u. Is u a prime number?
False
Let b(s) = -7*s + 5. Let a(l) = 7*l - 5. Let k(g) = 3*g - 3. Let v(j) = 2*a(j) - 5*k(j). Let c be v(9). Is b(c) a prime number?
False
Let t = 60 - 11. Suppose -t = -5*g + 26. Let r = g - 1. Is r prime?
False
Let v = 123 - 70. Suppose 0 = -3*b - 2*h + v, -b + 4*b - 2*h - 61 = 0. Is b a prime number?
True
Let p = 61 + 116. Suppose 69 + 13 = i. Let h = p - i. Is h a prime number?
False
Suppose -3*u + 132 = -0*u. Suppose 3*q - u - 22 = 0. Is q composite?
True
Let r(c) = -c + 5 + 2*c + 3*c. Suppose 4*v - s + 1 = 19, 0 = -2*v - s + 12. Is r(v) composite?
True
Let q(a) = 2*a**3 - 7*a**2 - 6*a + 4. Is q(9) a composite number?
True
Let f(i) = 2*i - 5. Let j be f(6). Let b(w) = w**2 - 7*w + 9. Is b(j) a composite number?
True
Is 4/(-14) - (-779)/7 prime?
False
Suppose -4*t = t + 145. Let f be (-6)/(-6)*(t - 0). Let y = 94 + f. Is y prime?
False
Is -2 + (26 - 1) - -3 a composite number?
True
Let l(y) = 23*y - 1. Let n be -1 + 0 - 0/2. Let g = 2 + n. Is l(g) composite?
True
Let n(q) = q**3 + 11*q**2 + 9*q + 1. Suppose 4*r = 5*w - 0 - 32, -w = 0. Let a be n(r). Suppose -2*x = 3*i - 0*i - a, 3*x - 187 = i. Is x a prime number?
False
Suppose -p + 3*l + 1026 = -0*p, 0 = -p + 2*l + 1031. Is p a composite number?
True
Let l be 3 - (-1 + 15 - 1). Is (5*29)/(l/(-10)) a composite number?
True
Let c = -128 + 16. Let t = -73 - c. Is t a composite number?
True
Suppose -q - 2*x + 3 = x, 3*q - 9 = 5*x. Suppose -v + 184 = 5*t, -3*v - 21 = -q*t + 93. Is t a prime number?
True
Suppose 6*l + 16 = 2*l. Let q = -57 + 26. Is (q/l)/((-4)/(-16)) a prime number?
True
Let h be 42/5*(-15)/(-2). Suppose -5*z - 96 = -3*l, 4*z - z + h = 2*l. Let c = 42 - l. Is c a prime number?
False
Let y = 0 - -2. Suppose -y*f - 7 = -69. Is f a composite number?
False
Suppose -3*n = 5*w - 753 - 1216, 4*n = -5*w + 1967. Is w a prime number?
False
Suppose f - 518 - 261 = 0. Is f a prime number?
False
Suppose 0 = 3*v + 1 - 10. Is -1 + (5 - v) - -84 composite?
True
Suppose 0 = x - 1 - 3, 0 = -3*v + 2*x + 1651. Is v a prime number?
False
Let 