 Let l(a) = -2*a**2 - 3*a + 4. Let y be l(-3). Let v be g(y). Suppose -3*m - 15 = v, -3*m + 2333 = -3*x + 7*x. Is x prime?
True
Let d be 16/6*9/(-2). Let k = d + 16. Suppose 137 = c - k*r, c - 446 = -2*c + 5*r. Is c composite?
False
Suppose 2*o - 7 = -91. Let h(z) = -z**2 + 5*z + 3. Let k be h(7). Let w = k - o. Is w a prime number?
True
Let x(m) = 4158*m - 4. Let o be x(3). Is (-4 - o/25)/(4/(-10)) a composite number?
True
Let l = 21230 - 11697. Is l composite?
False
Is (-29010)/(-4) + 3/(-2) a prime number?
False
Let o = 13612 + -2585. Is o a composite number?
False
Suppose -13*a = 133548 - 369407. Is a a prime number?
True
Let u = 22 - 18. Suppose -u*y = -10*y + 24. Suppose -5*a = -0*a + 10, 2*n = y*a + 594. Is n prime?
True
Suppose 0 = -8*s + 5*s. Let f = 0 + 40. Suppose s = -3*v + 77 + f. Is v prime?
False
Suppose -72 = 5*u - 2*l, -5*u + l = -3*l + 74. Let q be 3582/42 + 4/u. Suppose -25 - q = -2*s. Is s a prime number?
False
Let h(u) = 63*u**2 - 55*u - 19. Is h(-6) a composite number?
False
Suppose w - 4584 = 3*p, 5*p = w - 6*w - 7620. Let z = p + 2460. Is z a prime number?
False
Suppose -a = -5*a - s + 3, -5*s - 21 = 2*a. Suppose -3*g - a*g = -30. Suppose 0 = g*j - 1998 - 1788. Is j composite?
False
Let r(n) = -n + 8. Let z be r(5). Suppose z*j + 13 + 15 = -5*o, 3*o + 15 = 0. Is ((-1)/(-2))/(j/(-26)) a prime number?
True
Let g(h) = -3*h**3 - h**2 - h - 1. Let q be g(-6). Suppose -4*y - 5*f = -4343 + 146, 2*y = -5*f + 2101. Let i = y - q. Is i composite?
False
Let n(d) = d**3 - d**2 - d - 3. Let x be n(3). Let t be (-22)/(-8) + 3/12. Is t/x + 262/8 prime?
False
Suppose -y - 5*q + 15125 = -4427, 2*y = 4*q + 39132. Is y a prime number?
False
Let h(a) = -a**2 + 13*a - 10. Let m be h(12). Let k be m/((4/(-3))/(-4)). Is (4/k)/(16/744) prime?
True
Let o = 748 - -961. Is o composite?
False
Suppose -i + 1 + 16 = 0. Let a = -11 + i. Is ((-3)/a)/((-3)/78) a composite number?
False
Suppose 0 = 17*n - 18*n + 1829. Is n a composite number?
True
Suppose 0 = 2*a + 28 - 46. Suppose 8*t = a*t - 3899. Is t a composite number?
True
Let w(l) = -6 + 3*l + 5 + 0 - l**2 - l. Let n be w(1). Suppose m - 336 = -3*t, t + n*t - 116 = m. Is t prime?
True
Let b(j) = -j + 13. Let q(z) = 2*z - 13. Let o(m) = -5*b(m) - 6*q(m). Let k be o(4). Is ((-2)/4)/(k/6330) a prime number?
True
Let a(i) = -i**2 + i + 1. Let w(b) = b**3 + 6*b**2 - 6*b - 3159. Let l(h) = -4*a(h) - w(h). Is l(0) a composite number?
True
Let u = 12 - 1. Let v = -8 + u. Suppose -5*s - 64 = -5*r + r, r - v*s - 9 = 0. Is r prime?
False
Suppose 2*l = 2*s + 6, -4*l + 5*s - 3 + 13 = 0. Suppose -l = -v, 3*j + 18 = -5*v + 73. Let n(b) = 3*b**2 + 10*b + 13. Is n(j) a composite number?
True
Let g be -449 + (-1)/2*2. Let z = 1378 + g. Suppose -z = -3*w - 169. Is w prime?
False
Let r(x) = -4*x + 5. Let t(i) = -i + 1. Let q(u) = 2*r(u) - 9*t(u). Let n be q(3). Suppose n*k = -k + 45. Is k composite?
True
Let b be (-18)/(-63) + (-23)/7. Suppose 12 = -3*n - 3*q, -2*n + 3*n - 2*q - 2 = 0. Is b/((-12)/(-38))*n a composite number?
False
Suppose 39*x + 296 = 38*x. Is (10/(-8))/(2/x) prime?
False
Let y(w) = w**2 + 27*w + 480. Is y(-53) prime?
False
Let u(c) = c**3 + 3*c**2 - 3*c + 5. Let h be u(-4). Let x be 3/h + (-2 - -5). Let j(g) = 5*g**2 - 11*g + 1. Is j(x) a composite number?
True
Suppose 4*w - 1723 - 341 = 0. Let o = -253 + w. Is o a composite number?
False
Let p(h) = h**3 + 4*h**2 + 2*h - 1. Let o be p(-3). Suppose 175 = -o*u + 705. Is u a composite number?
True
Suppose 0 = 3*m + 4*m + 952. Let l = 302 + m. Let x = l - -139. Is x composite?
True
Let p(u) = -u**2 - 5*u + 8. Let w be p(-6). Suppose 5*g + 25 = 0, 0*g + 198 = k - w*g. Suppose k + 193 = 3*m. Is m composite?
False
Let f be ((-15)/20)/((-5)/19820). Suppose 41 = -4*q + f. Is q a composite number?
False
Suppose -4*g + 8 = 0, -z + 11365 = g - 3*g. Is z composite?
False
Let w = 4697 + -1426. Is w prime?
True
Suppose 3*t + 7 = -s + 339, s = -t + 108. Suppose -3*h - a + 628 = 0, 5*a = -4*h + 931 - t. Is h a composite number?
False
Suppose -18339 - 12444 = -3*t - 4*b, 2*b = -6. Is t a prime number?
False
Let r = 183 + 338. Is r prime?
True
Let v(t) be the first derivative of 186*t**3 - 2*t + 1. Let z be v(2). Suppose -3*d = 5*p - z, 0 = -0*p + 4*p + 3*d - 1781. Is p prime?
True
Let n = 33 - 28. Suppose v + 892 = n*v. Is v a prime number?
True
Let i(r) = -r**3 - 14*r**2 + 11*r + 24. Suppose 0*y - 5*y - 80 = 0. Let h be i(y). Suppose -5*c + 305 = -h. Is c composite?
True
Suppose 5*g + 4 - 9 = 0, -5*u + 5*g = 10. Is (u - 4764)/(-5) - -2 a composite number?
True
Let o = -30 + -10. Let j = o - -107. Is j composite?
False
Let g(w) = -201*w + 19. Let n be g(-3). Let d = n + 465. Is d composite?
False
Suppose j + 18 = 22. Suppose -2163 = -j*v - 5*y, -y - 263 = -3*v + 1345. Is v a composite number?
True
Is -8*27/(-72)*15071/3 composite?
True
Let w(c) = 16*c**2 - 15*c + 23. Is w(-21) a prime number?
False
Let u be 51/3 - (2 + (0 - 0)). Let d(a) = a**2 + 20*a + 32. Is d(u) composite?
False
Suppose -3*c + 3259 + 4246 = u, c - 2499 = -u. Is c a prime number?
True
Let y = 35 + -25. Let u = -2 + y. Is u/20 + (-246)/(-10) composite?
True
Let y(i) = 368*i + 63. Is y(8) a prime number?
False
Let l(k) = -k**2 - 27*k + 136. Is l(-21) a prime number?
False
Let p(f) = -12*f**2 - 8*f - 13. Let o(i) = 36*i**2 + 24*i + 40. Let c(k) = -2*o(k) - 7*p(k). Is c(-6) composite?
True
Let q(l) be the second derivative of -7*l**3/6 - 10*l**2 + 13*l. Let c be q(-7). Suppose -8*k = -75 - c. Is k prime?
True
Let n(i) = i**2 + i - 1. Let l be n(-5). Let d = -20 + l. Is 1 + (157 + d)/3 a composite number?
False
Let k = 19669 + -13938. Is k prime?
False
Let d = -6208 + 9991. Suppose r + 8*m - 1241 = 4*m, 3*r - d = 3*m. Is r prime?
False
Suppose 3*d - 2*g - 4201 = 0, -5*d - 1080 = 2*g - 8055. Is d a composite number?
True
Let o be 5285/7 + 4*-1. Suppose -1224 = -5*y + o. Is y a prime number?
False
Let t = 43 + -38. Suppose t*m + 18 = -j + 639, -j + 2*m = -607. Is j prime?
False
Let a = -64 - -39. Let g be (-10)/a - (-12)/(-5). Is 892/(-8)*1*g a composite number?
False
Let u(w) = 3*w + 8*w + 6 + 33*w. Is u(8) prime?
False
Suppose -74892 = -5*q + 73933. Is q a prime number?
False
Suppose 7*w - 4 - 24 = 0. Suppose -w*v = -3*t + 741, 2*t = v - 0*v + 499. Is t a prime number?
True
Suppose -58*p + 48*p + 24130 = 0. Is p prime?
False
Is -7 - -2 - (2259/(-1) + 3) a prime number?
True
Suppose 14*o + 10 = 19*o. Suppose -5*l + 891 = w, l + o*l - 5*w = 529. Is l prime?
False
Let f(m) = -m**3 - 8*m**2 - 5*m + 9. Let k be f(-7). Let v be (155 - k) + (-1 - 2). Let r = -30 + v. Is r prime?
True
Let q = 588 - 1523. Let j = -406 - q. Is j prime?
False
Is (-35665)/(-2) + 37/74 a composite number?
True
Suppose -v - 5300 = -r, 5*v = 2*r - 0*r - 10591. Let a = r + -3742. Is a a prime number?
False
Suppose -4*m + 10*m - 54 = 0. Let k(r) = 6*r**2 - 16*r + 29. Is k(m) prime?
False
Suppose 0 = v + 4 - 4. Suppose 1255 = -v*t + t. Is t a prime number?
False
Let a = 87 + -81. Is 2634 + (20/4 - a) a prime number?
True
Let v(u) = -u**2 - u - 1. Let k(m) = 90*m**2 - 3*m - 4. Let t(c) = k(c) - 5*v(c). Is t(-1) composite?
True
Let b(a) = a + 1. Let g(y) = -117*y**2 + 2*y + 7. Let p(j) = 4*b(j) - g(j). Is p(2) a composite number?
True
Let h be 2/4*(-15 - -21). Suppose -f + 12 = -h. Is f prime?
False
Let t be (-1)/(-4) + 60/16. Suppose 19 - t = 5*h. Suppose -94 = -h*d + 71. Is d prime?
False
Let v be 748/85 - (-4)/(-5). Let m(w) = -w**3 + 7*w**2 + 7*w + 11. Let a be m(v). Is a - -149 - (3 + 0) composite?
False
Suppose -10934 = -2*b - 4*g, 3*b - 2*g - 13925 - 2492 = 0. Is b composite?
False
Let a = -4 - -7. Suppose a*r + 3*t + 32 = 5*r, -23 = -r - 2*t. Is r a prime number?
True
Is (-4 - 2 - -9944) + 8 + -5 composite?
False
Let w = -2436 + 4769. Is w prime?
True
Let p be 4/(-10)*(-2 + 0 + -3). Suppose -y = -c - 1799, -y - p*c = -1179 - 608. Is y a prime number?
False
Suppose -4*b - 4*u = -1196, 0*u + 1181 = 4*b + u. Suppose b = -5*h + 2449. Is h a composite number?
False
Suppose -q + 8 = 3. Suppose 10*w - 70 = q*w. Suppose 19*x - 605 = w*x. Is x composite?
True
Let p(o) be the second derivative of -o**5/20 + o**4/2 + o**3/6 - o**2/2 - o. Suppose -100 = 3*d - 28*d. Is p(d) composite?
True
Suppose -3*x = -0*x - 6. Suppose 0 = x*d - 7*d +