
Let i = -7 + 5. Let y(w) = 14*w + 13. Let o(v) = 7*v + 6. Let c(f) = i*y(f) + 5*o(f). Is c(3) a composite number?
True
Let y(b) = -b + 4. Let v = 1 - -3. Let l be y(v). Let c(u) = u + 15. Is c(l) prime?
False
Let s = 135 + 68. Is s composite?
True
Let y = -432 - -851. Is y composite?
False
Let j be 1/(12/9)*-28. Is (8/12)/((-2)/j) a prime number?
True
Let d = 548 - 141. Is d prime?
False
Let b(f) = -5*f + 3. Let x be b(-3). Let j be (-12)/54 + (-14)/x. Is 3 + j + -1 + 18 prime?
True
Let q = 6 - 3. Suppose q*z - 642 = -z + 5*y, 2*y = 4*z - 648. Is z prime?
True
Is ((-5)/5 - -209) + 1 + 2 a prime number?
True
Let l(o) be the third derivative of o**6/120 - o**5/10 + o**4/4 + o**3/2 - 2*o**2. Is l(6) a composite number?
True
Is (0 - -1)*(5 + 6*434) prime?
True
Let m = -42 - -95. Is m a composite number?
False
Let d = -56 - -139. Suppose 0 = -4*v + 369 + d. Is v composite?
False
Suppose -13*y = -23*y + 4630. Is y a prime number?
True
Suppose -j = j - 702. Let f = j + -232. Is f prime?
False
Let o(v) = 2*v**2 + 3*v - 1. Is o(6) a prime number?
True
Let f(t) = -127*t - 12. Is f(-11) prime?
False
Let h be 3/12 - 14/(-8). Suppose -3*f = h*f + 3*n - 4, 0 = -3*f + 3*n + 12. Suppose w - 18 = 2*l + 7, -l - 59 = -f*w. Is w prime?
True
Let n = -2858 - -4027. Is n composite?
True
Let o(p) = 960*p + 25. Let b(h) = 192*h + 5. Let k(u) = -11*b(u) + 2*o(u). Is k(-5) a composite number?
True
Let d = 128 + 21. Is d a prime number?
True
Let k = -1258 - -1879. Let d = -416 + k. Is d a composite number?
True
Let f be 2 - 0/((-3)/(-1)). Suppose -12 = -f*c - 66. Let q = c - -42. Is q composite?
True
Let m be ((-8)/(-20))/(2/10). Suppose 0 = -3*p - 9, 0 = -5*y + m*p - 3*p + 1582. Is y composite?
False
Suppose 4*b - 5*h - 2079 = 0, -b - h = 3*h - 525. Is b prime?
True
Let d be (30/(-3))/((-2)/1). Let j(u) be the third derivative of u**5/20 + u**4/24 - u**3/2 - u**2. Is j(d) prime?
False
Let m(u) = 5*u - 1. Let l be m(1). Let p = 3 - l. Is p + 1 - (-2 - 9) a prime number?
True
Let y = 6 - 3. Suppose y = -3*d, -2*d + 0*d + 164 = 2*x. Is x prime?
True
Suppose -7*i + 3579 = -4*i. Is i a composite number?
False
Let q(x) = -3 - 2*x - 6 - x**2 + 10*x**2. Is q(4) prime?
True
Suppose -3*c - 314 = 4*s - 5*s, -4*c = -3*s + 947. Is s composite?
False
Let t = -956 + 498. Suppose -35 - 55 = 5*h. Is t/(-12) - (-3)/h composite?
True
Let i(s) = 10*s**2 + 4*s + 5. Let n = 7 - 11. Is i(n) prime?
True
Suppose 5*t - 8091 = 3*t - c, t + 3*c - 4048 = 0. Is t prime?
False
Let v(o) = o**2 - 6*o + 7. Let l be v(6). Let y(r) = r**2 - 8*r + 9. Let w be y(l). Is -2 + 156 - w/(-2) prime?
False
Suppose -167 = -3*d + 820. Is d a composite number?
True
Suppose 6*p - 23163 - 28815 = 0. Is p composite?
False
Let x(q) = q**2 + 11*q - 8. Is x(-14) prime?
False
Let y = -10 + 10. Suppose -3*d = d - 2*b - 50, y = b + 3. Is d a prime number?
True
Is (-427)/(-3) + 6/9 composite?
True
Suppose -v - 3 = -2*v + n, -18 = 4*v + 2*n. Let p be (0/(-1))/(1 + v). Suppose p = -6*q + 2*q + 12. Is q a composite number?
False
Suppose 4*w - 1321 = 851. Is w prime?
False
Suppose 5*f + 3 = 4*m, 4*m - 3 = m + 4*f. Let z = 16 - m. Is z*(-1 + (-4)/(-2)) a prime number?
True
Let r = -341 + 223. Let v = r - -263. Is v prime?
False
Suppose -5*w = 31 - 6. Let o = 8 + w. Suppose m + z = -o*z + 43, -2*z + 47 = m. Is m composite?
True
Suppose 3*y = 12, -2*y + y + 4975 = 3*x. Is x a prime number?
True
Let l be ((-8)/(-6))/((-7)/42). Is l/8*(-194)/2 a prime number?
True
Let b be ((-22)/4)/((-1)/2). Let d(c) = c**3 - 8*c**2 - 17*c + 9. Is d(b) a composite number?
True
Suppose b = 3*b + j + 158, 4*j = -4*b - 324. Is b/(-2) + 2/4 composite?
True
Is ((-1788)/36)/(2/(-6)) a prime number?
True
Let c(s) = -s**3 - 2*s**3 - 2*s**3 + 5 + 7*s**3 - s + s**2. Is c(4) prime?
False
Let r be (-94)/(-3)*18/4. Let q = -28 + r. Is q composite?
False
Let f(p) = p**2 + p - 1. Let c be f(2). Is 4 - (-3 + c) - -441 composite?
False
Let i(w) = -w - 3. Let g be i(4). Let b(y) = -4*y**3 + y**2 - y. Let z be b(1). Let v = z - g. Is v a prime number?
True
Let m = 486 - 332. Let y(t) = -3*t**2 - t - 1. Let f be y(2). Let g = f + m. Is g prime?
True
Suppose 2*g = 5*g - 6387. Is g a prime number?
True
Suppose 2*c - c = 446. Is c a prime number?
False
Let z(o) = -4 + o**3 - 5*o - 4*o**2 - 1 + 0*o**2. Is z(6) prime?
True
Let q be (2 - 1)/(-1) - -5. Suppose -5*c + d + 20 = 0, -4*c + 12 = -d - q. Suppose -c*y + 59 = 2*f - y, f + 5*y = 47. Is f a composite number?
True
Suppose -16 = -7*a + 817. Is a a prime number?
False
Suppose h = -4*n + 1, n + 0 = 4*h - 4. Let r be ((-120)/(-12))/(1 - -1). Suppose r*v - o = 160, n = -2*v + v - 4*o + 53. Is v a composite number?
True
Let s = -314 - -483. Is s composite?
True
Let m(g) = g**2 + 7*g - 8. Let n be m(-8). Suppose 3*h - 5*j - 144 = -0*j, n = -3*h - j + 162. Is h composite?
False
Is 1*(-716)/8*-2 prime?
True
Let j = 13 - 23. Let m(i) = i**3 + 13*i**2 + 14*i + 6. Is m(j) a composite number?
True
Suppose -2*n + 575 = -251. Is n a prime number?
False
Let x(p) = -39*p**2 + 7*p - 9. Let z be x(5). Let k = z + 1394. Is k a composite number?
True
Suppose j + 177 = 4*j. Is j composite?
False
Let p(i) = -i + 1. Let s be p(0). Let g be (0 - -108) + (3 - s). Suppose -4*x = -6*x + g. Is x prime?
False
Let u(m) = 5*m + 273. Let s(h) = -h. Let f(l) = -4*s(l) - u(l). Let r be f(0). Let b = r - -392. Is b composite?
True
Let t(c) = -3*c - 6 + 3*c**2 + 3*c - 3*c. Let q(m) = -m - 1. Let l(y) = -6*q(y) + t(y). Is l(-2) a prime number?
False
Let g be (45/(-6))/(-5)*-2. Let q(f) = -2*f**3 + 4*f**2 + f + 2. Is q(g) a composite number?
False
Suppose -4*n + 5*o = -1437, n - o = 3*n - 715. Let q = -215 + n. Is q a prime number?
False
Let x be ((-3)/(-5))/((-2)/(-10)). Suppose -3*r = -2*l + 5*l - 3, 0 = x*r - l + 1. Suppose -5*t + 0*t + 185 = r. Is t prime?
True
Suppose 3*h - 3*t + 4*t = 34, 0 = -4*h - 5*t + 49. Is h composite?
False
Let v be 2*2/4 - 1. Let b = v - -2. Suppose b*l - 105 = -l. Is l prime?
False
Let f = -103 + 600. Is f a prime number?
False
Let t be 2/(-2) + (4 - -231). Suppose 0 = 5*h + 3*f - 48 - t, 3*f + 231 = 4*h. Is h a composite number?
True
Suppose -5*c + 3*p + 1964 = 426, -c + 310 = -3*p. Is c a composite number?
False
Let n(d) = -2*d + 2. Let w be n(-3). Let b(k) = 27*k - 3. Is b(w) composite?
True
Is -2 + ((-24540)/(-5) - 1 - 2) composite?
False
Let h = 294 - -269. Is h a prime number?
True
Suppose -u = 2*u - 18. Is 208/u + 1/3 a composite number?
True
Let g(k) be the first derivative of k**2/2 - 3*k - 2. Let h be g(3). Let v(n) = n**2 + 57. Is v(h) a composite number?
True
Let v = 503 + -286. Is v a prime number?
False
Let y(j) = 4*j**3 - 10*j**2 + 7*j - 5. Is y(6) prime?
True
Let q be 44*7/((-21)/(-6)). Suppose 5*v + q = 473. Is v a prime number?
False
Suppose i = -3*c, 2*c + 2*i + i = 0. Suppose c = 2*f + f - 339. Is f composite?
False
Let q be (3/(-2))/(7/(-1610)). Suppose q = 4*x - x. Is x composite?
True
Let o(s) = s**2 + 8*s - 7. Let t be o(-9). Let p(z) = -5*z + t + 3 + 1. Is p(-5) composite?
False
Let i(b) = b**3 + 3*b**2 - 1. Let v be i(-2). Let d be ((-11)/v)/((-2)/18). Suppose -2*z + c = -d, 2*z - 5*c - 19 = -6. Is z composite?
False
Let o be 2 + (0 - 3 - 60). Let r = o + 144. Is r composite?
False
Suppose l = 2*r - 445, -5*l + 268 + 852 = 5*r. Is r prime?
True
Let y = 27 - -1. Let q = -90 + y. Is (q/(-3))/((-4)/(-6)) prime?
True
Let w(g) be the first derivative of -17*g**2/2 + 2*g - 3. Let v be w(-6). Let b = v - 45. Is b a composite number?
False
Let j be 99/(-15) + (-4)/10. Let x(s) = -9*s + 2*s**3 + s**3 - 8*s**2 - 4*s**3. Is x(j) a composite number?
True
Suppose z + 3 = 1. Let a be -1*0/(z + 4). Suppose a = i - 5*i + 188. Is i composite?
False
Suppose -5*g + 1367 = -3*y - 825, -4*g = 5*y - 1761. Is g a prime number?
True
Let w = 131 - 38. Suppose 2*m = -w + 411. Suppose -5*z = 2*b - m, -6 = -0*z + 2*z. Is b a composite number?
True
Let a be 12/(-10)*40/(-12). Suppose 3*c - a*o - o - 475 = 0, 4*o - 612 = -4*c. Is c prime?
False
Let r(g) = g**2 - 4. Let z be r(3). Suppose -z*d = 2*c - 97, d - 6*d + c = -94. Is d composite?
False
Suppose 2*o = -5*u - 5, 0*o - 21 = 4*u + 5*o. Let r(k) = k**3 - 3*k**2 - 6*k + 6. Let s be r(4). Is -15*(s - (u + -2)) a composite number?
True
Let g(h) = 4*h**2 + 6*h + 3*h**2 - 6*h**2