w be 4/18 - 572/(-99). Let c be y(w). Let b(l) = -164*l + 3. Is b(c) composite?
False
Let s(k) be the second derivative of 6*k + 23/2*k**2 + 5/3*k**4 - 1/20*k**5 - 13/6*k**3 + 0. Is s(16) prime?
True
Let y(j) = -648*j + 25. Let m be y(-4). Let s = -290 + m. Is s a composite number?
True
Suppose 55*c - 51*c = 76. Suppose -9*y + c = -107. Is y prime?
False
Let h be 6/14 + 12/21. Let y be (-12)/(h*9/(-12)). Suppose -2*l - 3*f + 4*f + 1742 = 0, -4*f - y = 0. Is l a prime number?
False
Let p(u) = -41*u + 85. Is p(-8) a prime number?
False
Let g be (1 - 3)/(2/(-9)). Let v(w) = -3*w**2 + 5*w - 1. Let a(p) = -4*p**2 + 6*p. Let k(o) = -4*a(o) + 5*v(o). Is k(g) composite?
True
Suppose 4*q + 19 = 7. Let v(f) = -f**3 + 7*f**2 + 7*f - 56. Let n be v(7). Is 153 + n + q/(-1) a composite number?
False
Let t = 428005 + -299824. Is t prime?
False
Suppose -1793 = -4*n - 2*c + 7*c, -3*n + 5*c + 1341 = 0. Suppose -l + 676 = -3*s, 2*l = -2*s + 940 + n. Is l a prime number?
True
Let r(d) = -91*d + 2. Let b be r(-4). Suppose 286*v + 448 = 290*v. Let n = b - v. Is n a composite number?
True
Suppose 0*r + 4*r = 16. Suppose 0*l = r*l - 988. Is l prime?
False
Let t(z) be the first derivative of 19*z**2 + 31*z + 8. Is t(20) prime?
False
Let s be 1/(-2) + 6/12. Suppose 4 = -3*f + z, 0 = -f - z - s*z - 8. Is (f/(-9))/(2/3246) prime?
True
Suppose 4*n - 3778 = 3*g, 0*g + 2512 = -2*g + n. Let o = g + 1913. Suppose 0 = -4*k + o + 2553. Is k a prime number?
False
Suppose 35472 = 4*l - 4*j, -5*l + 4*j + 44345 = -0*l. Let g = l + -4326. Is g a prime number?
True
Let q = -7256 + 29830. Is q a prime number?
False
Let w = -5602 - -12261. Is w composite?
False
Let s be -3*2*3/(-6). Suppose -2*t + 5*f + 241 = 0, 3*t = s*f + 114 + 252. Is t composite?
True
Let u(l) = 21*l**2 + 4*l - 4. Let b be u(-4). Let q(s) = 24*s**2 + 33*s + 153. Let n be q(-4). Suppose z - n = b. Is z prime?
False
Let i be (-4)/(-2) - 6/(-2). Suppose 5*q + i*a = 875 + 230, -4*q + 4*a = -900. Is q a prime number?
True
Suppose 0 = -5*v - 4*m - 1418, -3*v - 301 = -2*v - 5*m. Let s be v/(-33) + (-2)/3. Is (-76)/6*(-12)/s a composite number?
False
Let k(p) = 27*p - 2. Suppose 6*s = -0*s + 30. Suppose 5*w = 10*w - s. Is k(w) prime?
False
Let b = 13 + -8. Suppose 0 = -b*v + 3*v + 1102. Is v composite?
True
Is 5*21 + -8 + 120/10 a prime number?
True
Suppose -21*u + 14*u = -7784. Suppose -b + u = -599. Is b a prime number?
False
Let r = -96 - -426. Suppose 0 = -p - 5*p + r. Is p prime?
False
Is (8396/12)/((-8)/(-24)) prime?
True
Suppose 4*c - 4*q - 36412 = 0, -5*c + 33*q = 34*q - 45503. Is c composite?
True
Suppose 5*w + 2*z - 2 = 0, -5*z - 20 = -2*w - z. Suppose -f - 113 = -w*f. Suppose f = 4*c - 35. Is c a prime number?
True
Let p = 4432 - 2483. Is p composite?
False
Let f(d) = 2*d**3 + 2*d + 7. Let t(q) = q**2 + 9*q - 27. Let c be t(-11). Let a(x) = x**2 + x. Let u(o) = c*a(o) - f(o). Is u(-9) a prime number?
True
Is 36126/7 + ((-172)/(-28) - 6) composite?
True
Let n(d) = 24*d**2 + 5*d - 20. Is n(3) a composite number?
False
Is 96/16*(1167/9 - 0) composite?
True
Suppose -10*f + 6594 + 2476 = 0. Is f prime?
True
Let m be ((-1)/2)/(7/(-56)). Let t be (-1)/(0 + m/(-956)). Suppose -5*j + 850 = 4*k + t, j - 128 = 5*k. Is j prime?
False
Suppose -6 = -5*u - 3*y, 0 = 2*y + 6 - 0. Suppose 2*k - u*k + 3 = 0. Suppose 2*w - 5*q - 29 - 24 = 0, k*w - 48 = -3*q. Is w a prime number?
True
Suppose -2*a = 2*l + 32 + 30, -3*l = -3*a - 93. Let v = -26 - a. Suppose 1909 = v*p - g, 762 = 4*p + 4*g - 746. Is p a prime number?
False
Let t(k) = k**3 + 14*k**2 + 11*k - 23. Let p be t(-13). Suppose -2*d + 254 + 2879 = -j, -3*j - 4692 = -p*d. Is d prime?
False
Is 5/(-13 - -8) - -8874 prime?
False
Let u(p) = -2*p - 1. Let k be u(-14). Suppose 0 = -4*i + k + 225. Suppose 4*a + 0*f + f - i = 0, 5*a - 78 = -f. Is a prime?
False
Let p(z) = 3*z**2 + 1. Let y be p(1). Let x(q) = 7*q**2 + 4*q + 5. Let c be x(y). Is (-3)/12 + c/4 a composite number?
True
Let u = -3172 + 7049. Is u composite?
False
Let y = -19 - -16. Let p be ((-20)/y)/(1/3). Suppose -16*d - 3796 = -p*d. Is d prime?
False
Let j(k) = 14*k**2 - 18*k + 287. Is j(27) prime?
True
Let z = -52 + 55. Let m(y) = y**3 + 8*y**2 + 3*y + 6. Let c be m(-7). Suppose -c = -z*g + 44. Is g a prime number?
False
Let n(i) = -158*i + 271. Is n(-29) a composite number?
True
Suppose 5*x = 6974 + 18411. Is x prime?
True
Suppose 0 = 2*q + 5*o - 99439, 4*o + 11 = -1. Is q composite?
False
Let s be (-4)/6 - 2398/(-6). Let a(m) = m**2 + 25*m - 12. Let c be a(-32). Let t = s - c. Is t a prime number?
False
Let j(f) = -f**3. Let i(b) = -2300*b**3 + 1. Let s(g) = i(g) + 4*j(g). Is s(-1) prime?
False
Let s = 1 - -24. Let o = -39 + s. Is 4/o - 765/(-105) a composite number?
False
Let m(p) = -p + 2. Let d be m(1). Let n(f) = -f + 1 + 271*f**3 + 219*f**3 + 99*f**3. Is n(d) prime?
False
Is (36/(-15) + 1)*15915/(-3) composite?
True
Let k = -43 - -45. Suppose 0 = k*b + 2*q - 62, 2*b + 2*b + q = 109. Is b prime?
False
Suppose -458*w + 44282 = -444*w. Is w composite?
False
Let r be (1/(-1))/(5 - 21/4). Suppose -h - 5437 = -4*t - r*h, 2*t = 4*h + 2702. Is t a prime number?
False
Let m(z) = 993*z**3 - 2*z**2 - 2*z - 1. Let y be m(-1). Let r = y - -2271. Is r a composite number?
False
Let t(z) = 225*z - 2. Let g = 1 + 1. Let s be t(g). Suppose -s = -2*r - 2. Is r composite?
False
Let w(d) = 2*d**3 - 58*d**2 - 57*d + 76. Is w(30) a prime number?
False
Let k(s) = 5*s - s**3 + 4*s**2 - 3*s**2 - s + 2 - 4*s**2. Let g be k(-4). Suppose n - 187 = -2*z, -n = 3*z - g*n - 288. Is z a prime number?
False
Suppose -12*g = -16044 - 9864. Is g a composite number?
True
Suppose 9*i - 6*i - 4722 = 0. Suppose -s = -3*s + i. Is s prime?
True
Suppose -7*f + 801 = -3*f + 5*p, -3*f + 599 = 2*p. Is f prime?
True
Let v = 107 + -42. Let q = v + -116. Is q*(-42)/9 + 1 a prime number?
True
Is (22719/(-15))/((1/5)/(-1)) prime?
True
Let i(d) = 2*d**2 - 2*d + 5 + 0*d**2 - 1 + 7*d. Let n be i(-3). Suppose -367 = -2*l + n. Is l prime?
False
Let c = -604 + 1989. Is c a composite number?
True
Let q(k) = 12*k - 2 + 11*k - 25*k + 22*k. Let m be (-4)/(-22) + (-194)/(-22). Is q(m) composite?
True
Suppose 0 = -9*t + 4*t - 70. Is -9 - t - (0 + -2118) a prime number?
False
Let x = -5 + 9. Suppose 5*f - 474 = x*f. Is ((-7)/(-21))/(2/f) a prime number?
True
Let w(l) = l**3 + 5*l**2 + 3*l. Let c be 24/(-15) - 6/15. Let n be w(c). Suppose -2*y + n + 0 = 0. Is y prime?
True
Suppose 4928 + 4783 = 3*s. Suppose -5*a = 2*l - s, -3*a - 3233 = -8*a - 3*l. Is a a composite number?
True
Let w(g) = g**2 - 4*g - 2. Let k be w(4). Let z be (3 - 4) + 4 + k. Is -3957*2/(z + -7) a composite number?
False
Let c = -13927 - -22538. Is c composite?
True
Let v be (-2 - 195)/(-1 + 0). Suppose 0 = -2*i + 2, c + i - 24 = 269. Let a = c - v. Is a composite?
True
Suppose 2*w - 19251 = 5*n, 0 = 5*n - 2*n + 15. Is w a prime number?
True
Let d(q) = 2*q**3 + q**2 - 2*q + 1. Let j be d(1). Let c(h) = 5*h - 12. Let g be c(3). Suppose -g*s - j*s = -65. Is s a composite number?
False
Let x(v) = v**3 + 2*v**2 - 3*v + 13894. Is x(0) a composite number?
True
Let z = 64 - 46. Let n = 14 - z. Is (-115)/n*(20 + -16) a composite number?
True
Let c be -4*1/2 - -2. Suppose 2*g - 106 = -c*g. Let x = 74 + g. Is x composite?
False
Let o(x) = x**3 - x**2 - 2*x - 3. Let u be o(4). Suppose -2*j = -5*m - 8, 4*m = j + 4*j - u. Suppose j*d + 425 = 14*d. Is d composite?
True
Let n = 7536 - 1597. Is n composite?
False
Is (1090 - (-44)/(-4))*1 composite?
True
Suppose i + 2*t = 1899, -3*i = -6*t + 4*t - 5705. Is i a composite number?
False
Let p be 10/(-4)*(0 + -2). Is 559 + (p - 3/3) prime?
True
Let n = -9 + 11. Suppose 0 = n*c - 12*c + 770. Is c a composite number?
True
Let b(d) be the third derivative of 2*d**5/15 - 7*d**4/24 - d**3/3 - 19*d**2. Is b(9) a prime number?
False
Suppose 3*u - 4276 - 4184 = 0. Let j = -349 + u. Is j a prime number?
False
Let g(x) = 62*x - 149. Is g(29) prime?
False
Let m(t) = 3512*t**3 + 7*t - 6. Is m(1) prime?
False
Let q(w) = 66*w**2 - 61*w. Is q(-11) composite?
True
Suppose 6*p - 2*p = 16. Suppose -5*h + p*h + 1255 = 0. Is h composite?
True
Let x(t) = t**2 + 3*t - 1. Let u be x(4). Suppose -490 - u = -h. Is h a composite number?
True
Let p be (0 - 3) + 2942 - 3. Let f = p - 745. Is f a compos