derivative of 61*d**2/2 - 2*d - 12. Is u(1) composite?
False
Suppose v + 2 - 5 = 0. Let l be (-5)/25 - (-4221)/5. Suppose -m + l = v*m. Is m a composite number?
False
Let r = 11 + -11. Let j = r + 4. Is 69 - (j/(-4) + 3) composite?
False
Let v be 12/10*30/9. Let u be (6/10)/(-4 - 15191/(-3795)). Suppose 437 = v*x - u. Is x a composite number?
True
Let k(s) = s - 8. Let d be k(5). Let j be (d - -1)*3/(-2). Is (j + 0)*92/6 a prime number?
False
Let a(f) = -2*f + 23. Suppose -s - 4*p + 16 = 0, 4*p = 3*s - 0*p + 16. Is a(s) prime?
True
Suppose -k + 28 = -16. Suppose -k + 175 = l. Is l prime?
True
Suppose -6 = -9*b + 6*b. Suppose 3*y = -2*t + 89, 3*y = -b*t + y + 84. Is t a composite number?
False
Let a(x) be the third derivative of x**5/60 + x**4/24 - x**3/6 - 3*x**2. Let l be a(2). Suppose l*p - 125 = -0*p. Is p composite?
True
Let f(t) = -5*t - 15. Let q be f(10). Let x = 14 - q. Is x a prime number?
True
Suppose 3*s + 255 + 1005 = 0. Let r = s - -839. Is r prime?
True
Let k(z) = 48*z**2 - 25*z + 70. Is k(-13) prime?
False
Let u be ((-6)/(-9))/(6/18). Suppose -3*y + 56 = -247. Suppose l + 447 = 4*x, x - 4 - y = -u*l. Is x a prime number?
False
Suppose 5*y + 470 = 6*y. Suppose 8*a - 3*a - y = 0. Is a a composite number?
True
Suppose -2*f = -9 - 3. Let z be 4/f + 10/(-6). Is (-1 - z) + 3143/7 a composite number?
False
Suppose 4*z = -4*o + 4, -2*z - 6 = -16. Is (-20)/o*(-795)/(-25) composite?
True
Is (-71253)/(-21) + (-12)/3 composite?
False
Suppose -30*f + 87721 - 9451 = 0. Is f a composite number?
False
Let s(d) = d**2 - 4. Let x be -9*2/(-12)*2. Let t be s(x). Suppose -34 = -l - 0*l + 4*o, 5*l + t*o = 170. Is l a prime number?
False
Let s = -48 - -54. Suppose s*o - 149 = 5*o. Is o prime?
True
Let l(s) = 51*s**2 - 5 + 66*s**2 - 108*s**2 - 2*s. Suppose -2*i = x - 6, 0 = -4*x + i - 3*i + 18. Is l(x) a composite number?
False
Suppose 0 = c + 3*c - 144. Suppose -o + 3*o + c = 0. Let w = 167 - o. Is w a prime number?
False
Suppose -4*w - 4*q = -1280, -3*w + 6*q - 2*q + 960 = 0. Let y be ((-3)/2)/((-24)/w). Let a = -6 + y. Is a a prime number?
False
Suppose 43*b = 47*b - 17564. Suppose 4*j - 7323 + 1467 = 4*x, -4*x = -3*j + b. Is j prime?
False
Let z(g) be the first derivative of -12*g**4 + g**3 + 3*g**2/2 + 3*g - 39. Is z(-2) composite?
True
Let h(p) = 84*p**2 + p + 2. Let z be h(-1). Let m be (z + 0)*(-4)/(-5). Let s = m + -30. Is s a composite number?
True
Suppose 0 = 4*m - 9*m - 160. Let d = 32 + m. Is d + (1 + 1 - -189) composite?
False
Let k = -24 + 15. Let j be (-470)/(-3)*(12 + k). Suppose -z = z - j. Is z composite?
True
Let m = -7 + 10. Suppose 0 = m*y - 13 + 4. Suppose 3*o - 208 = -z, y*o - 423 = -2*z + 4*o. Is z a prime number?
True
Suppose 3*o = 4*i + 127 + 105, -4*i = 5*o - 376. Let f = 126 - o. Let b = f - 35. Is b a composite number?
True
Let g = 214 + 72. Suppose 5*k + 173 = 4*q, -44*q + 39*q - k + 209 = 0. Suppose 4*t = g + q. Is t a prime number?
False
Let q be ((-15)/(-5))/((-6)/8). Let r(x) = -219*x + 2. Let l(i) = -109*i + 1. Let t(a) = q*r(a) + 9*l(a). Is t(-2) a composite number?
False
Let t = 40 - 41. Let v(b) = 1363*b**2 - 4*b - 4. Is v(t) composite?
True
Let x = 6 - 3. Let g be (4/(-6))/(x/(-18)). Suppose y + 0*y - g*i = 377, -i = -5*y + 1828. Is y composite?
True
Let n(p) = -p - 10. Let k be n(-5). Let x be k + 3 - 950/(-2). Suppose 164 = -3*y + x. Is y a prime number?
True
Suppose 109379 = -2*u + 3*q, 0*q - 5 = 5*q. Is u/(-105) - (-2)/15 prime?
True
Is ((-65)/(-39))/((-10)/(-103542)) composite?
False
Suppose -4*o + 4*x + 35519 = -13865, -3*o + 5*x = -37038. Is o composite?
True
Let k(f) = -2*f**3 + 13*f**2 + 25*f + 71. Is k(-8) composite?
True
Suppose 15277 = 3*b + 4*t, -5*b + 18818 = -t - 6682. Is b a prime number?
True
Suppose -q + 17*f = 12*f - 25172, -3*f = q - 25132. Is q a composite number?
False
Let m be 1/(1/(-3) - 0). Suppose -4*a + 30 = -3*f - 14, 7 = f + 3*a. Is (-30)/f*(-8)/m composite?
True
Let n = 10356 - 907. Is n a composite number?
True
Suppose -6*i + 7675 = -731. Is i a prime number?
False
Let d = 31460 + -7157. Is d prime?
False
Let j = 463 - 773. Let p be ((-1048)/(-24))/((-2)/6). Let q = p - j. Is q a prime number?
True
Is ((-7108)/6)/(-4 + (-102)/(-27)) composite?
True
Let d = -37 + 58. Suppose -d = -k + 84. Let c = k + 50. Is c composite?
True
Let y(l) = 2121*l**3 - 12*l**2 + 2*l - 3. Is y(2) prime?
True
Let l(w) = -w**2 - 5*w + 4. Let n be l(-6). Let t be (2/(-3) - n)*3. Is 18/(-12) + 322/t prime?
True
Let j be (24/18)/(1/3). Suppose 5*k - 155 = -j*s, 2*k = 8 - 2. Is s a composite number?
True
Suppose 3*j = 4*j - 2868. Let n = -1672 + j. Suppose n = -0*w + 4*w. Is w a prime number?
False
Let s(d) = 111*d**2 + d - 17. Let x be s(-5). Let c be 6/8 + x/4. Suppose -3*k = -184 - c. Is k prime?
False
Is (-8)/((-48)/(-325626))*-1 prime?
False
Suppose -f = -3*s + 16684, -s + 5*f - 9*f + 5583 = 0. Is s prime?
True
Let b(s) = -10*s**3 + s + 1. Let n be -3 - (-3 - 195/(-5)). Let r = -41 - n. Is b(r) a prime number?
True
Let t = 719 - 310. Is t prime?
True
Let f(h) = -302*h**3 - 3*h**2 + 9*h + 9. Is f(-4) a prime number?
False
Suppose 3*x - 2 = -j, x - 5*x - 5*j + 10 = 0. Suppose 4*z - 1754 - 858 = x. Is z prime?
True
Suppose 990 = 7*v - v. Let g = -70 + v. Is g a prime number?
False
Let k = 4762 - 2659. Is k a composite number?
True
Let z be (-10)/(-3)*2/(28/21). Suppose -4*w + 627 = z*c, 3*c - 3*w - 123 = 237. Is c prime?
False
Let d(n) = n**3 - n**2 - 4*n - 1. Let f be d(3). Suppose f*s - 3*s - 370 = 0. Is s a composite number?
True
Let h = 27 - 45. Is (-2670)/(-4) + (-27)/h composite?
True
Suppose 0 = 2*u + p - 319, 5*u - 5*p - 625 = 195. Is u a composite number?
True
Let y = 6276 + -2887. Is y prime?
True
Let i(k) = 115*k - 4. Let d(p) = 116*p - 4. Let o be (5 + -3 + 3)/(-1). Let z(s) = o*i(s) + 4*d(s). Is z(-3) a prime number?
True
Suppose 0 = 4*d - 19 + 3. Suppose 3*k - 12254 = -0*c - c, d*k - 5*c - 16307 = 0. Is k a composite number?
True
Suppose 4*z = -5*l + 24, 2*l + 29 = 5*z - 1. Suppose -y + t + 19 = -z*y, 8 = 4*y - 5*t. Is (y - -3 - -7)/1 prime?
True
Let m(w) = 6*w**2 + 16*w - 39. Let s(t) = 19*t - 2. Let b be s(-1). Is m(b) a composite number?
True
Let j = 755 - 533. Suppose -2*t + 158 = -j. Suppose z + 4*z - t = 0. Is z a prime number?
False
Suppose -1 = -z - 2. Let n be -12*z/(-6)*-3. Suppose -156 = -n*b + 30. Is b a composite number?
False
Let s(j) = -3*j**2 - 6*j + 6. Let y be s(-11). Is y*(-5 - (-4)/6) prime?
False
Let y = 1426 + 2547. Is y prime?
False
Let y(v) = 27*v - 8. Suppose 18 = q + 4*k, q + 3 = -3*k + 17. Is y(q) a prime number?
False
Suppose -36767 - 1103 = -14*p. Is p prime?
False
Let z = -605 - -923. Let w(q) = q**3 - 7*q**2 + 2*q - 9. Let p be w(7). Suppose -p*l - 43 = -z. Is l prime?
False
Let h(v) = -188*v - 1. Let a(f) = f**3 - 3*f**2 + 2*f - 1. Let d be ((-4)/6)/((-8)/12). Let l be a(d). Is h(l) composite?
True
Let u = -8952 - -33239. Is u a prime number?
False
Let n(d) = -22*d**3 - 7*d**2 - 9*d - 11. Let k(o) = -21*o**3 - 6*o**2 - 8*o - 11. Let t(m) = 5*k(m) - 4*n(m). Is t(-4) composite?
False
Suppose 2*r = 2*n, -4*n + 8 = 3*r - 3*n. Suppose -j = o + 2*o + 19, 18 = -2*j - r*o. Is -2 - (-4 - (161 + j)) a composite number?
True
Suppose 0 = 6*j - 17*j - 4059. Let y = j + 1768. Is y prime?
True
Let l = 22 - 31. Is ((-3)/l)/((-2)/(-10218)) prime?
False
Suppose -8*s - 9880 = -9*s + 2*x, -s = x - 9889. Is s a composite number?
True
Suppose 0*h = -2*l + h - 1003, 3*h = -5*l - 2480. Let y = -818 - l. Let d = 496 + y. Is d composite?
True
Let a be (-92)/(-14) + (-12)/(-28). Suppose a*l = 2*l + 1595. Is l composite?
True
Let f = -2 + 8. Suppose 5*v + q - 2 = 0, -3*v = -f*v - 4*q + 8. Suppose -z + 45 = u, 0 = -2*u - v + 4. Is z a composite number?
False
Let q = -1597 + 10376. Is q a composite number?
False
Is 10680376/80 - ((-34)/(-20) + -2) a prime number?
False
Let u(t) = -19*t**2 + t - 3. Let g be u(2). Let a be g/21 + (-6)/(-9). Is 1/a*1*-3291 a composite number?
False
Let r = 202 - -52. Suppose -6*q + r = -4*q + u, -3*u = 0. Is q a composite number?
False
Let n(d) = 80*d - 1. Suppose 0*q - 5*q = -55. Let f = 17 - q. Is n(f) a prime number?
True
Let r(v) = -2*v + 19. Let g be r(16). Let c(w) = -2*w**3 - 15*w**2 + 30*w - 10. Is c(g) a composite number?
False
Suppose -85*b = -31*b