 - 120/9. Is 21/f - 497/(-2) a composite number?
True
Suppose 3792 = -16*y + 21632. Is y prime?
False
Let r(h) be the second derivative of 5*h**4/12 + h**2 - 3*h. Suppose -3*c = -5*l + 11, 4*l - 15 = 5*c - l. Is r(c) a composite number?
True
Let k(f) = -2*f**2 + 4*f - 2. Let v be k(2). Let o be 1*v*(-6)/4. Suppose -u - o*g = -2*u + 1, 0 = 2*u + g - 23. Is u composite?
True
Is ((-1474)/6 - 2)*-15 a prime number?
False
Suppose -5*w + 3 = -27. Is 668/w*(-18)/(-12) a composite number?
False
Suppose 0 = -4*t + 524 + 1104. Is t a composite number?
True
Suppose 44 = 3*i + o + 4, -4*o = -5*i + 44. Suppose 3*t = 22 + 17. Let m = t + i. Is m prime?
False
Suppose 2*t + 2302 = 4*t. Is t prime?
True
Let g be 0 - 0 - (1 + -1). Suppose g*i + 22 = i. Is i composite?
True
Let h(f) = -f**2 - 11*f - 10. Let w be h(-10). Suppose w = 2*l + 5*m - 43, 2*l - m = 4*l - 39. Is l composite?
False
Suppose -7 = -5*x + 3. Let g(u) = 56*u - 3. Is g(x) composite?
False
Suppose 0 = 3*k + 2*k - 165. Is k prime?
False
Suppose 5*z + 37 = 4*d, -3*d = 3*z - z + 1. Suppose -d*n + 4*n = 77. Is n a composite number?
True
Suppose -x + 0 = -3. Suppose -10 = -x*g - 1, -2*g = -4*v + 886. Is v a prime number?
True
Let p(d) = d**3 + 7*d**2 - d - 6. Let i be p(-7). Suppose -3*a + 35 = 5*n, 0 = 5*a + 5*n + i - 56. Is a prime?
False
Suppose 0*z = 2*z - 48. Is (13/2)/(4/z) a prime number?
False
Suppose 2*v - v = 521. Is v a composite number?
False
Let a be ((-3)/4)/((-1)/4). Suppose i = -0 + a. Suppose -3*t + 111 = 4*l, 3*l = i*t - 8*t + 174. Is t a composite number?
True
Let v(f) = -f**2 - 6*f - 2. Let w be v(-4). Let p = w - 2. Suppose 0 = 2*i - 4, q = -5*i + p*i + 21. Is q a composite number?
False
Let v(u) = 5*u + 13. Let l(r) = -r. Let k(c) = -2*l(c) + v(c). Is k(6) prime?
False
Let p(q) be the third derivative of q**6/120 - 3*q**5/20 + 5*q**4/12 - q**3/2 - q**2. Is p(8) a composite number?
False
Let i(j) = j**2 + 4*j - 3. Let s be i(-5). Suppose -s*h = 5*f + 27, 5*h - 6*f = -3*f + 10. Is (1 - 0) + h + 89 composite?
False
Suppose -5*l + 12 = -l. Let x(n) = -n**3 + n**2 - n + 1. Let t be x(1). Let y = l - t. Is y composite?
False
Suppose 6*w - 2*w - 4 = 0, 5*w = -f + 11. Let x = f + 52. Is x prime?
False
Let v(o) = -10*o + 7. Is v(-6) a prime number?
True
Let g be (1 - 5)/(5/(-10)). Let q = 10 - g. Suppose -7*u = -q*u - 10, 3*y - 4*u = 31. Is y composite?
False
Suppose -12642 = -4*n + 2*p - 4016, p - 10786 = -5*n. Is n a composite number?
True
Suppose -4*i = -4*h + 108 + 92, -5*i = h - 44. Is h prime?
False
Let y = 17 - 13. Is 238/18 + y/(-18) a prime number?
True
Let r = -142 + 305. Is r a prime number?
True
Let h = 20 - 20. Is (136 - -2) + h + 3 a composite number?
True
Let u(g) be the third derivative of g**6/60 - g**5/15 - 5*g**4/24 + 5*g**3/6 - g**2. Is u(4) prime?
False
Is (-3)/2*3748/(-6) a composite number?
False
Let x = 220 - 109. Is x composite?
True
Let w = -107 - -35. Let f = w - -149. Is f composite?
True
Let r = 21 - 13. Suppose 9*f = r*f + 397. Is f composite?
False
Is 10/(-5)*4876/(-8) prime?
False
Let v = 4 - 9. Let d(t) = -62*t - 3. Is d(v) prime?
True
Let i = -3 + 120. Suppose -3*s - i = -6*s. Suppose -s + 1 = -2*m. Is m composite?
False
Suppose -10 = -3*t + 4*z, 0 = -t + z + 4*z - 4. Is t a composite number?
True
Let s(g) = -g**2 - 5*g - 2. Let n be s(-4). Let c be (n + 0)/2*-6. Let a = c + 29. Is a a prime number?
True
Suppose 0 = -4*m - 2*k + 27 + 3, m = -3*k + 20. Suppose -m*p - x - x + 377 = 0, 4*p + 3*x = 296. Is p a composite number?
True
Let t = 1976 - -1323. Is t prime?
True
Let u(y) = -y**2 - 10*y - 6. Let l be 2 - 7/(-1 - -2). Is u(l) a prime number?
True
Let n = 347 - -194. Is n prime?
True
Let l be ((-3)/2)/(3/(-4)). Suppose 0*y = -y + l. Suppose -34 = -4*j + y*j + z, 4*j = -3*z + 48. Is j a composite number?
True
Suppose 0 = n - 2 + 11. Let i(c) = -6*c - 7. Is i(n) a composite number?
False
Let a = 1944 + -1263. Is a a composite number?
True
Let j be (-1)/3 - (-322)/3. Suppose y = -0*y - 4*i + 43, -3*y + j = i. Is y prime?
False
Suppose 2*o - 7*o = 0. Suppose o = 2*r - 5*r + 105. Is r prime?
False
Let s(t) = 54*t - 1. Is s(9) a prime number?
False
Let y(z) = 11*z - 7 + 2 + 2*z**2 - 3*z. Is y(-6) prime?
True
Let c be 2 - -1 - (-2 - -2). Suppose -1 = 3*a + 4*h - 2*h, 5 = -c*a + 2*h. Let s(j) = 38*j**2 + 2*j + 1. Is s(a) a composite number?
False
Let l(a) = -6434*a**3 + a**2 + 3*a + 1. Is l(-1) prime?
False
Let k(x) = 5*x + x**3 - 1 + 5*x**2 - 4*x + 3*x**2. Is k(-6) composite?
True
Let a be (-5)/(-2)*6*3. Let q be (12/(-5))/((-6)/a). Let k = -11 + q. Is k a prime number?
True
Let u(z) = -3*z**3 - 4*z**2 + 14*z + 17. Is u(-6) a composite number?
True
Let f = -15 - -948. Is f prime?
False
Let v = 1849 - 288. Is v prime?
False
Let h(x) = -73*x + 9. Is h(-6) a composite number?
True
Let t = 4 + -2. Suppose 2*m = h + 7, -h - 31 = -3*h - 5*m. Suppose -2*s = t*o - 66, h*s - 79 = 5*o + 36. Is s prime?
False
Let h(q) = 16*q - 15. Suppose -12 = -4*p + 32. Is h(p) prime?
False
Let j(p) = -p**3 + p**2 + 5*p - 2. Let m be j(3). Let y = -2 - m. Suppose 106 + 239 = y*d. Is d composite?
True
Suppose 5*y - 699 = 4*v, -y + 2 = -1. Is 2*(-2 - v/6) a composite number?
False
Suppose -60 = -4*q + 168. Is q a composite number?
True
Let q(n) = -n**2 + 5*n - 3. Let x be q(3). Suppose -x*u - 237 = m + 53, -4*u + 2*m = 370. Is -2 - (u - 4/2) composite?
True
Let i(y) be the third derivative of -y**6/120 - 2*y**5/15 + y**4/24 + 5*y**3/3 + 2*y**2. Let n be i(-8). Is 116/8 - n/4 composite?
True
Let p(b) = -2*b - b**3 + 3 + 7*b**2 - b + b. Let d be p(7). Is (-1)/(-2)*d*-2 a prime number?
True
Let x be 6/(-3 - 27/(-6)). Is 134/x + (-1)/2 composite?
True
Let q = -59 - -92. Is q a composite number?
True
Suppose -5*x - 5*v + 980 = 0, 0*x = 2*x - 3*v - 367. Is x a composite number?
False
Suppose g = -3*g + c + 318, 0 = 2*g + 4*c - 150. Is g prime?
True
Let u be ((-5)/15)/(2/(-36)). Suppose -4*w + u - 2 = 0. Let l(a) = 20*a**3 + 2*a**2 - a. Is l(w) a prime number?
False
Let i(q) = -4*q + 3*q - q. Let l(w) = 55*w. Let v(n) = -55*i(n) - l(n). Is v(1) composite?
True
Let n = -352 + 518. Suppose -4*x + n + 150 = 0. Is x a prime number?
True
Let d(k) = 2*k**3 - 6*k**2 + 12*k - 17. Is d(8) a prime number?
True
Let s(o) = 25*o**2 - 5*o + 1. Is s(3) a prime number?
True
Suppose 5 = -5*d, y - 2187 = -3*y - d. Is y a prime number?
True
Suppose 6*g = -359 - 217. Let y = -59 - g. Is y a prime number?
True
Let v = -1 + -2. Let p(k) = -96*k - 1. Is p(v) a composite number?
True
Suppose -4*g - 2354 = -4*d - 7*g, -3*d + 1753 = -4*g. Is d a prime number?
True
Let p = -8 + 5. Let i be (-7 - p) + -1*1. Let b(s) = -s**3 - 3*s**2 + 7*s + 4. Is b(i) composite?
False
Suppose 2*q + 2*p - 718 = 0, -5*p + 359 = -3*q + 4*q. Is q prime?
True
Is ((-425)/5)/(-5)*117 - -4 a composite number?
False
Let r(t) be the first derivative of 5*t**4/2 + t**3 - 3*t**2/2 + 3*t - 2. Is r(2) prime?
True
Suppose -5*i - 85 = 15. Let m be (-4)/12 - i/6. Suppose 3*f - 5*d = 4*f - 29, d = m*f - 39. Is f a prime number?
False
Suppose -k + 237 = -176. Is k a prime number?
False
Let z = -18 - -97. Is z prime?
True
Let u(r) = -r + 3. Let q be u(0). Suppose -w + q = -5. Let y = 59 + w. Is y a prime number?
True
Let i(c) = -c**3 + 9*c**2 + 4*c - 2. Let s be i(8). Suppose -2*g = -2*w - 6 - s, 0 = -3*w + 9. Is g composite?
False
Suppose -12*l = -17*l + 295. Is l a prime number?
True
Let g(m) = 3*m**2 - m - 5. Let a(w) = -2*w**2 + 2*w + 5. Let j(o) = 4*a(o) + 3*g(o). Let h be j(5). Let v = -34 + h. Is v a composite number?
True
Let o be (-705)/5*(0 + 1). Let v = 364 + o. Is v a composite number?
False
Let t be (12/(-10))/(14/(-35)). Suppose t*n - n - 534 = 0. Is n a prime number?
False
Let y = -10199 + 14604. Is y a prime number?
False
Suppose -2*i + 123 = 5. Is i prime?
True
Let m(b) be the first derivative of 3*b**2/2 - b - 2. Let k be m(2). Is (-14)/(-5) + k/25 a composite number?
False
Suppose 0 = -5*n + 8419 + 1196. Is n composite?
True
Is ((-16)/(-48))/((-2)/(-3174) + 0) a composite number?
True
Suppose r + 3*b - 1042 = 0, -r = -6*b + 3*b - 1036. Is r a composite number?
False
Is 514872/168 + 2/7 - -2 composite?
False
Suppose m + p = 4*p + 5, -2*p = -4*m + 10. Is m + 1*(-3 + 58) a prime number?
False
Let x = -472 - -2805. Is x prime?
True
Let a