43*t**2 - 13*t**2 + 7*t - f*t. Is b(-3) composite?
True
Suppose l + 2*q - 2 = 7*q, 0 = 5*q. Let d(s) = 588*s**3 - s + 1. Is d(l) prime?
True
Let s(f) be the second derivative of f**5/20 + 2*f**4/3 + f**3/3 + f. Let w be s(-6). Let d = 93 - w. Is d composite?
True
Suppose 42 = -4*d + 50. Suppose 3*o + 39 = 3*c, d*c + 29 = 4*c - 3*o. Is c a prime number?
False
Is (3 + -2 + 136990/(-5))*-1 a composite number?
False
Suppose 3*n - 4*f - 50933 = 25332, 4*f = 4. Is n a prime number?
True
Suppose 18*v - 61134 = 35184. Is v a composite number?
False
Let d be (-63)/7*2/2. Is (7*d + 1)*(-1150)/100 prime?
False
Let o = -12 + -1. Let d(c) = c**3 + 14*c**2 + c - 1. Let v be d(o). Let j = 252 - v. Is j a composite number?
False
Suppose -2*g = 5*r - 45558, 8*r - 10*r + 45546 = 2*g. Is g a composite number?
False
Let l be (2 - 6) + (-76)/(-4). Suppose 0 = l*g - 14*g - 1131. Suppose -2*q - q + g = 0. Is q composite?
True
Suppose -p - y + 2 = 0, 4*y + 7 = p - 0. Suppose -2*h - v + 5 = -511, -p*h + 3*v + 783 = 0. Is h a prime number?
False
Let w(p) = p**2 + p + 1. Suppose 21 = t - 3. Let v be (t/10)/((-10)/(-25)). Is w(v) a prime number?
True
Suppose -5*v = -4*z - 4144, 3*z + 4*v + v + 3108 = 0. Let g = z + 2031. Is g a prime number?
False
Let o(m) be the second derivative of m**4/12 + m**3/3 + m**2 - 3*m. Let a be o(-2). Is a/(-3) - 1724/(-12) a composite number?
True
Let o = -19 - -21. Suppose 5*j + 2*c = -o*c + 883, 5*j - 904 = 3*c. Is j a composite number?
False
Suppose 21403 = 12*i + 5*i. Is i a prime number?
True
Let h = -6 - -11. Suppose 0 = 3*x - 4*b - 2119, 3*b + 7 + h = 0. Is x composite?
False
Let b be 112 + 1 - 0/3. Let z be -3 - -6 - 38 - 2/2. Let w = z + b. Is w a prime number?
False
Suppose -2*q - 5*d + 31258 = 0, 5*d + 15629 = q + 3*d. Is q composite?
False
Let o be (-1259)/(-3) - 10/(-30). Let z = o + 137. Is z a prime number?
True
Let b(k) = -k**3 + 15*k**2 + 20*k - 21. Let h be b(15). Suppose -h = -5*a + 176. Is a prime?
False
Suppose 0 = -3*m - 33 - 3. Let y(u) = -u**3 - 2*u**2 + 15*u + 25. Is y(m) a prime number?
False
Suppose -2*a = -9*o + 4*o + 17, 4*a + 5*o = -19. Let f be ((-11)/(-3) + -4)*a. Suppose 0 = -2*l - f*l + 236. Is l a composite number?
False
Let i = -34 - -35. Let o(x) = 3*x**3 + 2*x**2 - x. Let g be o(i). Is 12/g + (3 - -493) prime?
True
Suppose 13*m - 8*m = d + 28504, 4*m + d = 22805. Is m a composite number?
False
Let q = 5820 - 2412. Suppose 1356 = 2*k + 2*d, d + q = -0*k + 5*k. Is k a composite number?
True
Is (3/1)/((-114)/(-294538)) prime?
False
Let w = -826 - -1733. Is w prime?
True
Let z be 2 - (-1)/((-1)/5). Suppose -21 = -6*b - 3. Is 104/b - z/9 composite?
True
Suppose -3 = -3*d + m, -d + m = 1 - 2. Is (-1)/d - -189 - -3 composite?
False
Suppose 5*g + 4*a - 9545 = 0, 7*g - 5*g - 3816 = -2*a. Is g prime?
True
Suppose -3*p = -4*o - 1647, -2*p = -5*o - 57 - 1041. Let l = p - 298. Is l prime?
True
Let n = 33 - 26. Let i(u) = -u**2 + 8*u - 7. Let a be i(n). Suppose -2*l - d + 170 = -5*d, a = -l - 5*d + 78. Is l prime?
True
Let z(t) = 7*t**3 - 10*t**2 + 16*t - 6. Let m be z(7). Suppose -3*w + 2612 = -m. Is w prime?
True
Is (-76)/(-2)*7233/6 a composite number?
True
Let l = -16537 - -25736. Is l a composite number?
False
Let k(p) = -673*p + 97. Is k(-6) a composite number?
True
Let t(d) = -1 - 4*d + 10*d**3 - 17*d**3 - 2*d - 7*d**2. Let y be t(-4). Let f = 693 - y. Is f a composite number?
True
Let p = 1182 + 5167. Is p a composite number?
True
Let r = 82 - 78. Let p(l) = l**3 - 5*l**2 + 4*l. Let c be p(4). Suppose c = r*f - 102 - 206. Is f a prime number?
False
Let i be (4/(-12))/((-3)/45). Suppose -4*r + 203 + 679 = i*c, 3*r + 4*c = 662. Is r a prime number?
False
Let q(h) = h**2 + 5*h - 6. Let y be q(-8). Let m = y + -20. Let x(l) = -37*l**3 - l**2 - l - 1. Is x(m) prime?
True
Let l = -2987 - -5386. Is l composite?
False
Is ((-2)/6)/(12/(-827748)) a prime number?
True
Suppose 7*j = 8*j - 6947. Is j prime?
True
Let l(w) = -w**2. Let n(b) = -b**3 + 9*b**2 - 4*b - 6. Let v(u) = -4*l(u) - n(u). Is v(5) composite?
True
Suppose 2*s + 4*i = 3 + 9, 5*i = 5*s. Is (-1995)/(-12) + (-1)/8*s a prime number?
False
Suppose 4*o - 2*d = 3*o + 10127, 2*o - 20263 = d. Is o a composite number?
False
Suppose 4*a = -x + 3, 4*a - 9*x = -12*x - 7. Suppose 0 = a*l - 3*l + 5779. Is l composite?
False
Let w(s) = -21*s + 15. Let k(g) = -7*g + 5. Let t(o) = 7*k(o) - 2*w(o). Suppose -4 = 2*f + 18. Is t(f) prime?
False
Let a be 4/2 - (-8)/8. Suppose 2*s - 17 = -a*c, -3 = 3*s - 5*c - 0. Let r(h) = 34*h**2 + 3*h + 3. Is r(s) a prime number?
False
Let j be (-20)/(-6)*(14/4 - 2). Suppose 4*m + 4*g - 6932 = 0, -2*g = -4*m - j*g + 6932. Is m a prime number?
True
Let x(a) be the second derivative of -13*a**3/3 - 23*a**2/2 - 22*a. Is x(-17) a composite number?
False
Suppose 5*g - 1300 - 700 = 4*n, -5*n + 2000 = 5*g. Suppose -2*p + 528 = -g. Let s = -253 + p. Is s composite?
False
Let k be (12/(-10))/((-11)/57970). Suppose -z + k = -2095. Is z composite?
False
Suppose 0 = 3*s - d + 4, s + 2*d = -3*d - 12. Let c be (-2 - s)/((-3)/3). Suppose c = -6*u + 4*u + 138. Is u prime?
False
Let u(m) be the first derivative of 6*m**3 + 6*m**2 - 19*m + 42. Is u(6) a prime number?
True
Suppose u + u = 2. Let c = 2 - u. Is (c/1)/((-2)/(-62)) a composite number?
False
Suppose -29*u + 28*u + 57352 = 4*h, 57336 = 4*h + 5*u. Is h prime?
False
Let i = -269 - -162. Let s = 484 + i. Is s composite?
True
Suppose 0 = 5*m + 3*p + 44, -4*p + 38 = -0*m - 3*m. Is 12 + m - 510/(-2) a prime number?
True
Suppose -915287 = 31*w - 50*w. Is w a prime number?
False
Let q = -26 - 22. Let w be ((-466)/4)/(8/q). Suppose -4*k + 3551 = w. Is k a composite number?
True
Let q(p) = 481*p + 45. Let n be q(6). Suppose 0 = -3*v + 3*k + n, 3908 = 3*v + v + k. Is v a prime number?
True
Is (1/(4/563))/((-26)/(-104)) a prime number?
True
Let v(b) = 12*b**2 - 19*b**2 - 21 + 8*b**2 + b. Is v(-12) prime?
False
Suppose -4*c + 47637 = -221927. Is c prime?
True
Let n be 1/(1/4) - 0. Suppose 7*p - n*p = 51. Suppose 101 = 5*s - 2*v, s = 2*v - 0*v + p. Is s composite?
True
Suppose -4*v - 2*u + 9 = -3, 5*v = 4*u + 41. Suppose -v*a + 550 = 5*a. Is a a composite number?
True
Let u = 15179 + -10738. Is u a prime number?
True
Suppose 0 = -5*f - 5*v + 14065, 43*f = 41*f - 3*v + 5626. Is f composite?
True
Let m be 98/10 + 14/70. Suppose 341 = m*v - 3449. Is v composite?
False
Let r be (2242/6)/(3/9). Let c = -756 + r. Is c composite?
True
Let j(f) = 5*f**2 - 87*f - 71. Is j(-27) a prime number?
True
Let v = 44 + 231. Suppose 12*z - 17*z + v = 0. Is z prime?
False
Suppose 5*j = 2*j - 135. Let m be (j/(-1))/((-4)/28). Let g = m - -1270. Is g prime?
False
Let f be 2*-1*(-32 - 1). Suppose -f = r - 3*b + 100, -3*b - 694 = 4*r. Let l = -45 - r. Is l a prime number?
True
Is (12/(-8))/((-2)/((-1805928)/(-18))) a composite number?
True
Suppose -560*l + 559*l = -6197. Is l a prime number?
True
Suppose 2*v + 3306 + 216 = 2*q, -q - 5 = 0. Is v/(-8) - 1/(-4) a prime number?
False
Is (-17141)/(-7) + 4/14 a composite number?
True
Let w be 352/36 + 4/18. Suppose 58 - w = 4*t. Suppose t = 5*v - 2*v. Is v composite?
True
Let g = 33 + -28. Suppose g*d + 5*d - 3230 = 0. Is d a composite number?
True
Suppose -3*p - g = -110, -5*p + g + 167 = -19. Suppose 3*v - 2*w = p, 5*v - 53 = 2*w + 2. Suppose -f = -v - 13. Is f a prime number?
False
Suppose -5*g - 6*s - 34 = -2*s, -28 = 4*g + 4*s. Is (-1932)/g - (6 - 1) composite?
False
Suppose -4*g - 3943 = g + 2*d, 0 = -5*g + 4*d - 3919. Let r = g - -1166. Is r a prime number?
True
Let d = -288 - -967. Is d a prime number?
False
Is (-4)/(36/93)*(-5 + -1) a composite number?
True
Let a(k) be the third derivative of -k**6/60 - 3*k**5/20 + 13*k**4/12 + 19*k**3/6 - 48*k**2. Is a(-8) a composite number?
True
Let y = -63 + 59. Let h = y + 57. Is h composite?
False
Let b = 143834 + -64165. Is b composite?
False
Suppose 0 = 21*y - 39*y + 1005678. Is y a prime number?
True
Suppose -4*n + y - 45 = -14, -20 = 2*n - 2*y. Is n/(4 - 490/122) a composite number?
True
Let q be (-2280)/(-52) - (-2)/13. Let v be 16522/8 - 11/q. Suppose v = -t + 6*t. Is t a prime number?
False
Let w be ((-5)/30*2)/((-1)/(-21)). Let f(q) = 30*q**2 + q + 14. Is f(w) composite?
True
Let c = -6 - -8. Let d be 869 - (2 + -2)/(-3). Suppose -z