Let l = 3731 + -1150. Is l composite?
True
Let p(h) = 33*h + 19. Let r be p(7). Let a = 663 - r. Is a a composite number?
True
Let b = 6 - 6. Let s = b - 8. Is 10*(-2)/s*6 a composite number?
True
Let f(v) = -20*v**2 - 7*v + 2. Let g(l) = 41*l**2 + 15*l - 5. Let n(p) = -9*f(p) - 4*g(p). Let h be (28 + -22)*(-2)/(-4). Is n(h) a composite number?
True
Let x(w) = 1350*w + 469. Is x(53) a prime number?
True
Is 16692 + -1 + (7 - (12 + -5)) a composite number?
False
Let t(b) = 716*b**2 + 19*b + 121. Is t(-5) a composite number?
True
Suppose 17*j + 350 - 153435 = 0. Is j composite?
True
Suppose -5*t = -o + 2, -3*o - 4*t + 6 = t. Is (o - (-2047)/3)*3 a prime number?
True
Let n be (7935/12 + 2)*-4. Let c = -930 - n. Suppose -5*b + 614 = 4*m - c, 3*m = -b + 463. Is b prime?
False
Suppose -r + 1 = 3*x - 4*x, 4*x = -4. Suppose r = 2*d + 4*y + 2198, -2207 = 2*d - 4*y + 5*y. Let l = -218 - d. Is l composite?
False
Let z be (-6)/8 - (-11853)/12. Suppose -5*w - 3040 = -0*w. Let t = w + z. Is t a composite number?
False
Let q(v) = -1 + 89*v + 0 + v + 20*v. Is q(1) a prime number?
True
Suppose 0 = -g + 3, -3*t - 5*g + g = -2121. Is t composite?
True
Suppose 20*p = 9*p + 647735. Is p prime?
False
Suppose 68634 + 6534 = 9*v. Suppose -3*m - v = -29559. Is m composite?
False
Suppose 5*z = z + 4*r + 32160, -3*z = 4*r - 24141. Suppose -4 = 4*w - 0, -4*w - z = -n. Is n a prime number?
True
Let m = -76637 + 152550. Is m a prime number?
True
Let u(a) be the second derivative of a**3/6 - 5*a**2/2 - 6*a. Let t be u(8). Suppose 0 = -g + 5*z + 33, -g + 0*g + t*z + 33 = 0. Is g a prime number?
False
Let j = 195 - 131. Suppose -u - 2*i = -5*u + 310, -u + 5*i = -j. Is u a composite number?
False
Let p = -11 - -20. Suppose 410 = 11*c - p*c. Is c composite?
True
Let o = -4437 + 7666. Is o a composite number?
False
Let x = 295 - 89. Suppose 1962 = 3*s + 198. Suppose -2*t + s = x. Is t a composite number?
False
Suppose 39 = -c - 4*l + 3, -5*c - 90 = 2*l. Is (c + 15)/((1 + 1)/(-2122)) a composite number?
False
Let v(q) = 68*q**2 + 7*q + 1. Let g be v(3). Suppose -g = -3*c - 169. Is c a composite number?
True
Let v = -268 + 515. Let q be (3 - 21/9)/((-3)/513). Let s = v + q. Is s prime?
False
Suppose s = -s + 4. Suppose 0 = 5*t - s - 23. Suppose 0*v = t*v - 155. Is v composite?
False
Suppose 0 = t - 9405 - 1136. Is t a prime number?
False
Suppose -4*f + 2*w + 110002 = -0*f, -f + 3*w = -27488. Is f a composite number?
True
Let w(f) = 3*f**3 + 2*f**2 - 8*f - 1393. Let t(s) = s**3 + s**2 - 3*s - 464. Let m(n) = 8*t(n) - 3*w(n). Is m(0) a composite number?
False
Let u(i) be the first derivative of i**6/90 + 11*i**5/120 - 5*i**4/24 + i**3/3 - 5. Let v(p) be the third derivative of u(p). Is v(8) composite?
True
Let c(a) be the third derivative of -a**3 + 0*a - 8*a**2 + 4/15*a**5 + 0 + 1/8*a**4. Is c(-5) composite?
False
Suppose 0*z = -5*z - 310. Let b = 48 - z. Suppose 2*s - 8 = b. Is s a composite number?
False
Let f = 362 + 355. Suppose -f = -10*l + 713. Is l composite?
True
Suppose 2536 = 4*c - 960. Suppose 3*k - c = 1847. Suppose -2*z + k = -259. Is z prime?
False
Let q(o) = -o**2 - 2*o + 9. Let i be q(-7). Let v = -36 - i. Let x(l) = -7*l + 9. Is x(v) composite?
False
Let c(d) be the third derivative of d**5/15 - 5*d**4/8 + 13*d**3/6 - d**2. Suppose 9*q - 3*q = 60. Is c(q) a composite number?
False
Let j be (-1)/(-2) - (-123)/(-6). Is (-15)/j - (-7405)/20 a composite number?
True
Let x = 17 + -14. Suppose 260 = 2*b - x*b. Let t = b - -471. Is t a composite number?
False
Let q be (-4)/16*4*-6*1. Is (15384/72)/(2/q) a composite number?
False
Suppose -2*c + 6*c - 12589 = -5*g, g - 2*c = 2529. Is g prime?
True
Is (12914/6)/(1/(-10 + 13)) a prime number?
False
Let l(n) = -n**3 + 3*n - 88. Let y be l(0). Let s = 495 + y. Is s composite?
True
Suppose 20*k + 3*x = 15*k + 72182, -3*k + 2*x + 43313 = 0. Is k a prime number?
True
Let k = -58 - -65. Suppose -k*z = z - 104. Is z a prime number?
True
Let c(k) = 394*k**3 + 3*k**2 + 3*k + 2. Let v(s) = -s**2 - s - 1. Let w(h) = c(h) + 3*v(h). Is w(1) composite?
True
Suppose 0 = -7*k - k + 168. Suppose 0 = -k*x + 25*x - 22996. Is x prime?
True
Let q(m) = -m + 113*m**2 + 68*m**2 - 23*m**2 + 12*m**2 - 3. Let c be q(3). Suppose 6*b - 3*p - c = 3*b, -2547 = -5*b - 2*p. Is b composite?
False
Suppose -365*i = -366*i + 503. Is i composite?
False
Suppose 2*x - k = -2*x + 9, 0 = -3*k - 3. Suppose 2*r - 3425 = 3*w + 6232, 2*r - x*w - 9658 = 0. Suppose -4*a - 5*o = -r, 4*o - 2418 = -a - a. Is a prime?
False
Let h = 3 + -3. Suppose -5*d + 0*d + 255 = h. Is d a prime number?
False
Suppose 6790 = 5*i - 5*n, 19*n - 2725 = -2*i + 18*n. Is i composite?
False
Suppose -3*t + 5*t = 0. Let o(r) = t*r - 3*r - 8*r**2 + 5 + 20*r**2. Is o(-4) prime?
False
Suppose 2 + 4 = 2*y. Suppose -y*k - 5*g = -20, 4*g + g = -k + 20. Suppose k*i = 4*i - 996. Is i a composite number?
True
Suppose 4*c - 102504 = -3*g + 94759, -3*g + 2*c = -197293. Is g a prime number?
True
Let i(y) = 139*y**3 - 2*y**2 + 15*y - 29. Is i(5) a prime number?
False
Let t be ((-16)/(-20))/(2/10). Let a(k) = 1 - 1 - 3 + t + 96*k**2. Is a(-1) a prime number?
True
Suppose -2*a + 47106 + 5526 = 5*g, 2*a = 2*g + 52646. Is a a prime number?
True
Suppose -c = -2*q - 11737, -q + 46998 = 4*c + q. Is c prime?
False
Suppose 3 = -4*t - 21. Let h be 49 - (-2)/(t/9). Suppose 0 = -5*m + 2*o + 195, -32 = -2*m - 4*o + h. Is m a prime number?
False
Let y = 45 - 53. Let n(c) = -16*c - 49. Is n(y) a prime number?
True
Let l(s) = 2*s**2 - 4*s - 3. Let n be l(4). Suppose c - 1 = -3*m, -2*m + 5*c = -16 - n. Is m/3 - (-2325)/9 a prime number?
False
Let w(h) be the third derivative of 0*h - 1/20*h**5 + 1/12*h**4 - 3*h**2 - 1/2*h**3 + 1/120*h**6 + 0. Is w(4) a composite number?
True
Let u be (-182)/(-5) + 8/(-20) - 3. Is -3 - -4 - (-11)/(u/612) a composite number?
True
Let t be ((-10)/15)/((-4)/1338). Is 1/((-5)/(t*-10)) prime?
False
Let n be 1/(-4) + 63/28. Is (-145)/(1/(-3 + n)) a composite number?
True
Let k = 269 - -1441. Let p be 468/91 + (-1)/7. Suppose p*x - k = 6*l - 3*l, -5*l = -3*x + 1042. Is x prime?
False
Let l be -3 - 226/4*-14. Let j = l + -97. Is j a composite number?
False
Let g be 848 + (5 - (3 - 1)). Suppose -9*k - g + 3722 = 0. Is k prime?
False
Let y(q) = -419*q + 60. Let m(v) = -v**3 - 8*v**2 - 9*v + 13. Let p be m(-6). Is y(p) a composite number?
True
Let r be (-120)/(-9)*14574/(-35). Let u = r - -2395. Let g = -2204 - u. Is g a composite number?
False
Let r be 626 - ((-2 - -1) + 2). Suppose 3237 - r = 4*a. Is a a prime number?
True
Let s = -20 - -22. Suppose s*t = 3*t - 2611. Is t prime?
False
Suppose 3*v + 2*v + 5*t = 0, t - 9 = -4*v. Suppose -4*a = -d - 8*a, 4*d + 57 = v*a. Is (-5386)/d + 1/6 a composite number?
False
Let z(s) = 5*s - 13. Let t be z(4). Let g = 454 - t. Is g a prime number?
False
Let i = -1222 - -2129. Is i composite?
False
Suppose 0 = -3*i - 60*g + 58*g + 3854, -3842 = -3*i + g. Is i a prime number?
False
Suppose -w = 3*w + 1092. Suppose -3*d + 936 = -2*n + d, n - 5*d + 480 = 0. Let c = w - n. Is c composite?
True
Let d be (-26)/(-39) + 13/3. Suppose s - 9 = d*o, -s - 2*s + o + 55 = 0. Is s a composite number?
False
Let d = -49 - -54. Suppose t + t = 6. Suppose -4*k - 191 = -d*j - 2*k, t*k - 45 = -j. Is j composite?
True
Let n(d) = d**2 - 6*d + 4. Let u be n(3). Is (-2 - u)/3 + 297 composite?
True
Suppose 3*c + 3*q = 0, -2*c + q = -q - 12. Suppose c*h = -3*l + 276, 4*l - h - 333 = 50. Is l a composite number?
True
Let w(n) = -n**2 + 5*n - 1. Let g be w(3). Suppose -g*r - 2 = -17. Suppose r*k = -k + 652. Is k composite?
False
Let r(y) = 2*y**2 + 2*y + 3. Let n(b) = 7*b**3 - 3*b**3 - 2*b**3 + b - b**3 - b**2. Let u be n(2). Is r(u) a composite number?
True
Let p(g) be the second derivative of g**5/10 - 7*g**4/12 + g**3/2 - 7*g**2/2 + g. Let j be p(5). Suppose 0*l - l = -j. Is l a prime number?
True
Let n = 65601 - -25654. Is n prime?
False
Is (-2 - -1540)/2 - 62/(-31) a prime number?
False
Let d(w) = -52*w**2 + 9*w + 4. Let a be d(7). Let o = a - -4036. Is o a prime number?
False
Let u(l) = 3*l**3 + 7*l**2 + l + 24. Let m(k) = k**2 - k - 5. Let f be m(4). Is u(f) prime?
False
Suppose x - 4 = -2*l + 3*x, x = 2*l - 2. Suppose l = 4*t - 1231 + 203. Is t prime?
True
Let y(x) = -293*x - 11. Let c b