550*s**2 - 3*s - 3. Let m(k) be the first derivative of k**4/4 + 2*k**3 - 7*k**2/2 - 2*k - 29. Let q be m(-7). Is n(q) prime?
True
Let x(t) = -129*t + 3. Let z(v) = -v**3 - 5*v**2 - 6*v - 28. Let f be z(-5). Let j be x(f). Is 2/(-3)*(j + -12) composite?
True
Is (-6*123/(-27))/(12/(-5327946)*-13) a composite number?
True
Is 105837*6 - (-14)/(-28)*-14 prime?
False
Let y(j) = -j**3 + 5*j**2 + 14*j + 4. Let p be y(7). Is -303148*(-2)/32 + 1/p a composite number?
False
Let z(a) = -9*a + 33. Let l be ((-11)/(-3) + -4)/((-2)/36). Suppose -12 = -l*y + 8*y. Is z(y) a prime number?
False
Let s(u) = 3174*u + 158. Is s(4) a prime number?
False
Is 3460690/8 - (-13)/(364/21) a prime number?
True
Suppose -81*l + 105013453 - 4724326 = -1908978. Is l a prime number?
False
Suppose h - 2*k - 164711 = 0, 444*k + 823609 = 5*h + 440*k. Is h composite?
False
Let u = -6067 - -2839. Let g = 5117 + u. Is g a prime number?
True
Let i(o) = -o**3 - 4*o**2 + 7*o + 6. Let g be i(-5). Let a(m) = m**2 + 3*m + 2. Let k be a(g). Suppose 7911 = 3*l + k*l. Is l a composite number?
True
Suppose -2998839 = -78*i + 62*i + 227065. Is i prime?
False
Suppose 29*t - 505 = 28*t. Let r = -254 + t. Is r composite?
False
Let g(z) be the second derivative of z**5/60 - z**4/24 + 691*z**3/6 + 11*z**2 - 27*z. Let t(k) be the first derivative of g(k). Is t(0) prime?
True
Suppose 0 = 12*p + 4 - 184. Suppose -p*r + 61578 + 15327 = 0. Is r a prime number?
False
Let q = -340 - -345. Suppose -m = q*m - 45726. Is m composite?
False
Suppose -5*m - n = -4317392, -4*m + 3569919 = -3*n + 115994. Is m composite?
False
Let z(c) = -59*c + 3. Let g be (2/(-4))/(1/(-4)) + 2. Suppose -g = p + 10. Is z(p) composite?
False
Suppose -x + 95 = -538. Suppose 3*a - 201 = x. Suppose z - 3*z + 180 = 2*q, -a = -3*q + 5*z. Is q a prime number?
False
Is (2205/90 - 24)/((-1)/(-63538) - 0) composite?
False
Suppose -1716615 = -24*g - 21*g. Is g a prime number?
False
Let a = -2211 - 193. Let i = a - -4507. Is i prime?
False
Suppose 22*y - 4258773 = 582701. Is y a prime number?
False
Let o = 1083 - 1086. Let g(v) = -14*v**3 + 3*v + v**2 - 32*v**3 - 6*v**3 + 7. Is g(o) prime?
False
Let p = 406 - 284. Let m = p - -23. Is m a composite number?
True
Suppose 3 = 4*s - 5*g - 25, 3*s - 16 = 5*g. Is (2/3)/(7*s/324954) prime?
True
Suppose -19*l + 130542 = -434651. Is l prime?
False
Let k = 23058 + -10637. Is k composite?
False
Let i be (35/(-21))/(4/((-134328)/2)). Suppose -i = -20*d + 15595. Is d composite?
False
Let p = 26295 - 56742. Suppose s + 19 = 5*i, 2*s - 5*i = 4 - 32. Is (6/s)/(6/p) a composite number?
True
Is (21 + (-13530)/(-40))*(-1864)/(-6) composite?
True
Let h be 4 + -1 + (0 - 3). Suppose -l = 5*k - 0*l - 2099, h = -4*l + 16. Is k prime?
True
Suppose -5*c + 3*c - 2*w + 976 = 0, 2*c - 980 = -3*w. Suppose -4*g = -2*g + 3*r - 379, g = 2*r + 193. Let f = c - g. Is f a composite number?
False
Suppose -b - m = -138452, 876*b - 872*b = 4*m + 553880. Is b prime?
True
Let f(h) = 5*h - 13. Let g be f(4). Suppose g*i = 20 + 15. Suppose 0 = -7*a + i*a + 358. Is a prime?
True
Let f(i) = i**3 - 8*i**2 + 7*i - 1. Let x be f(7). Let g be 4 + (0/(-4))/(-1). Is 662*1/g*(x + 3) prime?
True
Suppose 0 = 5318*b - 5329*b + 15389. Is b composite?
False
Is 1209298 - (0 + (4 - (-52)/(-4))) composite?
True
Suppose 4*z - 881 = -0*z + 5*i, -2*i + 1060 = 5*z. Suppose -11*f - z = -13*f. Is f*23 - (-23 - -21) a prime number?
False
Let d be 60/35 - 10/(-35). Suppose 0 = -d*h - 3*h + 490. Suppose -5*k - h = -23853. Is k a prime number?
True
Suppose 3*r - 19 = 2*h - 2*r, 4*h + 5*r = 37. Suppose -3*x + 207 - 1706 = -2*z, 0 = -5*z - 5*x + 3710. Suppose -2*g = h*g - z. Is g a composite number?
False
Suppose -1045119 = 50*o - 10615219. Is o composite?
True
Let m(f) = 30*f**2 - 6*f + 443. Is m(-28) a prime number?
False
Let k be 1536/30 - (-8)/10. Let t = -62 + k. Let y(i) = 14*i**2 + i - 21. Is y(t) a prime number?
False
Is (-2453679)/(-5) - (-1 - -3) - 500/625 composite?
False
Let o(w) be the second derivative of w**5/20 + w**4/12 + w**3/6 + 737*w**2/2 - w. Let v be (-480)/192 - (-10)/4. Is o(v) a composite number?
True
Suppose 17*c + 2*c - 246688 = -7*c. Suppose 2*f - 6 = -f. Suppose f*s - 6*s + c = 4*o, 2*s - 11857 = -5*o. Is o a prime number?
True
Let r = -249 - -252. Suppose -3*h + 10*f = 11*f - 35182, -35172 = -3*h - r*f. Is h a prime number?
False
Suppose -1740 = -w - 4*w. Let g be (-6)/(-27) + (w/27)/(-4). Is (2/g)/((-16)/23304) a composite number?
False
Let k(o) = -o**2 + 9*o - 14. Suppose -r + 3*i = -9, 5*r + 5*i = 4*i + 29. Let g be k(r). Suppose 0 = -g*f - 0*f - 16, v = -2*f + 1535. Is v prime?
True
Let p(g) = -1733*g**2 - 3*g - 8. Let x be p(-2). Let b = x - -12063. Is b prime?
False
Suppose 5*y + 6 = -j + 1, 3*y - 4 = -2*j. Suppose 4*w = 3*h - 6479, -j*w + 8*w - 3 = 0. Is h prime?
True
Suppose -c + 4 = 1. Let p be -10 - -16 - (-1 + c). Is (14/(-21))/(p/(-1494)) a prime number?
False
Suppose 2*l = 2*b + 160, -2*b - 1 = -3. Let a = l - -2550. Suppose 0 = -5*h - i + 4385, 8*i - a = -3*h + 5*i. Is h a composite number?
False
Suppose 5*q = 4*c - 96888, 8*c + 12*q - 193820 = 11*q. Is c composite?
True
Let n(k) = -7807*k**2 - 9*k + 9. Let x be n(1). Let a = x + 13348. Is a a composite number?
True
Let a(b) = 28959*b**2 + 325*b - 2217. Is a(7) composite?
True
Suppose 148587 = 43*f - 1979096. Is f a prime number?
True
Let q = 23529 + -9917. Suppose -5*w + f - 40365 = 0, -f = -2*w - q - 2537. Let z = -5659 - w. Is z a composite number?
True
Suppose k - 2*n - 3925 = 0, 0 = -2*k - 8*n + 9*n + 7865. Suppose 0 = 9*o - 6*o, -k = -5*m + 4*o. Is m a composite number?
False
Let d(h) = -2 + 0 + 32*h - 39. Suppose -181 = -9*k - 46. Is d(k) prime?
True
Let c(w) = 9*w - 1. Let p be c(1). Let t(n) = -n**2 + 31*n - 184. Let r be t(8). Suppose 2*h = -z + 909, 2*z + p*h - 3*h - 1819 = r. Is z a prime number?
True
Let z(x) = 99*x + 91. Suppose 17*q - 38 = 30. Is z(q) a prime number?
True
Let m = -780266 + 1897920. Is m a composite number?
True
Let j be -14*(24/(-42) + (-2)/(-7)). Suppose 16126 = j*n + 4730. Let y = n + -570. Is y prime?
False
Let s = -33 + 28. Let q be (-15)/(-6)*(-212)/s. Suppose 4*j + q = 1682. Is j composite?
True
Let p(z) = 582*z + 13. Suppose 13 = -4*c - 59. Let n be ((-9)/6 - -1)/(3/c). Is p(n) prime?
True
Let g be -4 - (5 + 199)/(-6). Suppose -g*x + 17776 = -23054. Is x prime?
True
Let d be (-2)/(-6) - (-78368)/12. Let v = d + 1974. Let m = v - 2156. Is m a composite number?
True
Suppose -4*b + 16 = 0, 7 - 1 = -2*d + 3*b. Suppose -d + 275 = -2*i. Let z = i + 245. Is z a prime number?
True
Let x(p) = 4509*p**2 - 18*p + 14. Is x(-5) composite?
True
Let x be ((-466)/9)/1 - 22/99. Is 43963/7 - x/91 a composite number?
True
Let s be 16/2 - (-24)/(-10 - -4). Suppose -3976 = s*n - 10532. Is n a composite number?
True
Let x = 34981 - 24320. Is x composite?
True
Suppose y + y - 30 = 0. Let k(i) = -143*i + y*i + 14 - 33*i - 134*i. Is k(-3) composite?
True
Let l(f) = 108*f - 845. Is l(51) a composite number?
False
Let q(w) = 6*w**3 - 22*w**2 - 98*w + 739. Is q(32) prime?
False
Let a(p) = -p**3 + p**2 + 4*p - 3. Suppose 0 = 4*m - 8, m = -5*q + 4 + 3. Let x be a(q). Is ((-9)/6 + x)*-474 composite?
True
Let j = 130 + -128. Suppose 2*w + 5*s + 1147 = 5*w, 0 = j*w + s - 782. Is w composite?
False
Let a(c) = 421*c**2 - c + 8. Let d be a(5). Let t = 14849 - d. Is t a prime number?
False
Suppose -2*x + 120 = 4*m, 2*m - m - 39 = 4*x. Suppose 27*s + 80996 = m*s. Is s a composite number?
False
Let q(s) = -s**3 + 16*s**2 + 19*s - 87. Let z be q(19). Let b = z - -1362. Is b a composite number?
True
Is (-17)/3*(-19494 - -21) composite?
True
Let b(q) = 40*q**3 + q**2 + q - 1. Let r(k) = k**3 - 20*k**2 + 36*k + 4. Let a be r(18). Is b(a) prime?
True
Suppose 4*b - 3*a - 338062 = 0, -145*b + 2*a = -142*b - 253547. Is b a composite number?
True
Let o be ((-10)/(-8))/((-31)/(-69068)). Suppose 10 = -2*z, -4*f + o = -0*f - z. Is f composite?
True
Let b = -495 - -706. Suppose b = 4*c + 219. Is (-8654 + 0)/((-1 - -1) + c) composite?
False
Let w = -276 - -280. Suppose -6*g + 57026 = -w*g. Is g a prime number?
True
Suppose -7*g + 30431 + 52526 = 0. Suppose 6*x + x = g. Let d = 246 + x. Is d a prime number?
False
Suppose 3*q - 515283 = 3*b, 0 = 4*q + 157*b - 152*b - 687008. Is q a