s v(s) a prime number?
False
Let f(y) = 31 - 3*y + 4 + 36. Let l be f(23). Suppose -l*c + 970 = -4*s, -973 = 2*c - 4*c + 5*s. Is c composite?
False
Let f = 2461 - 1197. Suppose 574 = p - f. Is p prime?
False
Suppose -5*f + 3936 = -3*f - 5*o, -5904 = -3*f - 5*o. Let l = f - -28435. Is l a composite number?
False
Let t = 43 - 41. Suppose 3*j + 3*f = -1914, -j - t*f - 813 + 174 = 0. Let m = 1310 + j. Is m composite?
False
Suppose 31*f - 4*s = 26*f + 14515, 3*s + 14510 = 5*f. Suppose -m + 792 = -f. Is m a prime number?
True
Suppose 8*o = 4*o + 2*d + 28640, -5*d = -20. Let g = o + -3063. Is g a prime number?
True
Let h(v) = 11*v**2 - 20*v + 7. Let t be h(8). Let k be (-2)/9 - t/(-171). Suppose 2*a + 1010 = 2*j + 2*j, k*j + a = 760. Is j composite?
True
Let n(a) = 5*a + 3285. Let g = 22 + -22. Let j be n(g). Suppose -9*h + j = 6*h. Is h a composite number?
True
Let s(i) be the third derivative of -223*i**6/720 + i**5/120 + 5*i**4/12 + 18*i**2. Let g(p) be the second derivative of s(p). Is g(-2) a composite number?
True
Let t(h) = h**2 - 14*h + 14. Let m be t(12). Let c(z) = 50*z + 15. Let i be c(m). Is (0 - (4 + -3))*(i + -2) a composite number?
False
Suppose -635 = -0*n + n. Let s = 3154 - n. Suppose -5*z = -s - 196. Is z a prime number?
True
Let z(u) = -846*u**3 - 4*u**2 - 23*u - 376. Is z(-9) a composite number?
True
Let o(u) be the second derivative of 9/2*u**2 + 0 - 397/3*u**3 - 2*u. Is o(-2) a prime number?
True
Let r be 318/53*1*-1. Let v(j) = -86*j**3 - 17*j**2 - 10*j + 13. Is v(r) prime?
False
Suppose -1764 = -i - 3*i. Let q = -250 + i. Is q a composite number?
False
Suppose 0 = 9*c + 11*c - 2078980. Suppose c = 20*r - r. Is r prime?
True
Let w = -19105 + 35044. Let f = w + -7654. Is f composite?
True
Let g = -65805 - -109514. Let d = g - 12168. Is d composite?
False
Let y(s) = -3035*s**3 - 9*s - 22. Let x be y(-2). Let w = x + -16933. Is w composite?
True
Let i be -8 - -12 - (0 + (0 - -8988)). Let l = -5967 - i. Is l prime?
False
Let x be (-24)/(-60) - -1*(-13)/(-5). Is 78695/40 - x/8 a prime number?
False
Let q(h) = 10*h**2 - 5*h - 13. Suppose -s = 2*u - 18, -5*s + 4*u - u = -129. Suppose -2*n = -4*f + s, 4*n + 4*f - 4 = -16. Is q(n) prime?
False
Let u(l) be the third derivative of l**4/12 - 8*l**3/3 - 13*l**2. Let h be u(9). Suppose 4*s + 4*y = h*y + 5372, -4*y = 0. Is s a prime number?
False
Suppose 0 = -5*v - 5, 4*d = -13*v + 11*v + 56114. Is d a composite number?
False
Let c(r) = -r**2 - 29*r - 98. Let t be c(-24). Suppose 8001 = -x + t*x. Is x a composite number?
True
Let o = 178221 + -78700. Is o a composite number?
True
Is 14040 + (-12 + 26)/(-7) a composite number?
True
Suppose -18 = 5*p + 2*h, 0*h + h + 6 = -p. Let w be 1*((-3)/6)/(p/(-24)). Is (2/w)/(2/(-3102)) composite?
True
Let m(w) = 45*w - 3*w**2 + 3*w**2 - 2*w**2 + 4*w**2 + 53 - w**2. Is m(40) a composite number?
True
Suppose 0 = -51*u + 2264642 + 1346260. Is u composite?
True
Is (((-1)/((-4)/(-202588)))/1)/(-1) a composite number?
False
Let q = -90 - 13. Let z = 103 + q. Suppose z = 29*f - 25*f - 5084. Is f a composite number?
True
Suppose 2*w - 4*l = -5538, -4*l + 451 = -w - 2324. Let t = 444 - w. Is t prime?
False
Let h be (1 - 18/10)/((-1)/25). Suppose h*l = 18560 + 89220. Is l a composite number?
True
Let s = -34172 - -78753. Is s composite?
True
Let x(s) = -s**2 + 3*s. Let z be x(3). Let p be ((-6)/(-5))/((-12)/(-40)). Suppose z = v + p*v - 2435. Is v a prime number?
True
Suppose 4*n - 82*n + 9222726 = -1580040. Is n prime?
True
Suppose -70*f + 2064810 + 3348795 = -4057045. Is f composite?
True
Let w = -119 - -119. Suppose -2*v + 3*a + 5381 = w, -8*v + 6*v - 2*a = -5356. Is v a composite number?
False
Suppose 14*a - 45 = 11. Suppose 3*m - 4787 = -4*g, -4*m - a*g - 887 = -7263. Is m a composite number?
True
Suppose -2*x = -4*x + 3*o + 2348, x = -5*o + 1187. Let g = 4584 - x. Is g a prime number?
True
Let r(p) = 134*p + 10. Let t(b) = -45*b - 4. Let c(u) = -6*r(u) - 17*t(u). Is c(-19) prime?
False
Let p be ((-7)/21)/(6/(-129420)). Suppose -11*k + 6*k = -p. Is k prime?
False
Suppose 420574 = 75*f - 926520 - 852581. Is f prime?
False
Suppose -10 = 6*y - y. Let v be (-185)/(y*5/190). Let x = v + 2162. Is x a prime number?
False
Suppose h - 3*j = 515732, -169*h - 3*j - 2062865 = -173*h. Is h prime?
False
Let x(k) = 2*k - 2. Let j(o) = -8*o + 7. Let s(c) = -4*j(c) - 18*x(c). Let l be s(5). Is 4/(l/(-2425)) - 8/(-12) a prime number?
True
Let p = 328 + -1542. Suppose 7*g - 4010 = 5*c + 2*g, 0 = 4*c + 4*g + 3184. Let b = c - p. Is b a prime number?
False
Suppose 347573 + 737584 = 27*f. Is f a prime number?
False
Suppose d - 4 = -4*h + 7, 5*d = -5*h - 5. Let v = 7 + -5. Suppose -3*b = -8*b - l + 5308, -4250 = -h*b - v*l. Is b a composite number?
False
Let j(l) = 13*l**2 + 4*l + 11. Suppose f - 4*f = 3*u + 12, -3*f = -2*u + 22. Let k be j(f). Suppose -3*x = -3*r + 1392, -5*r + 2785 - k = -3*x. Is r composite?
True
Let q(z) = 117*z**2 - 188*z - 69. Is q(-16) prime?
False
Let p(s) be the first derivative of -s**4/4 - s**3/3 - s**2 + 4*s - 17. Let t be p(-4). Suppose 2*g + 2*g + 4*w = t, 2*w = 10. Is g a composite number?
True
Let u = -1977 - 586. Let v = u - -5234. Is v a composite number?
False
Let k(n) = -1278*n**3 - 3*n**2 - 2*n. Let w(u) = 7*u + 6. Let v be w(4). Let i = v - 35. Is k(i) composite?
False
Let q(w) = 12*w - 42. Let a be q(3). Is -26782*(12/36)/(4/a) prime?
False
Is 196875/(-2 + 5) - 140/(-105)*3 composite?
False
Suppose 5*f - 1833613 = -3*s, 284*s - 280*s = -4*f + 1466900. Is f composite?
True
Let g = 1559029 + -183602. Is g prime?
False
Suppose -2*m - 5*w - 1276535 = -4475518, 0 = 4*m - w - 6398043. Is m a composite number?
False
Let l = -54 + 54. Suppose 3*x + 5002 = 3*b - 11996, x + 3 = l. Is b a prime number?
False
Let v(r) = 7*r + 41. Let h be v(-13). Let p be ((-16)/10)/(5/h). Suppose -p*o + 2876 = -12*o. Is o a prime number?
True
Let b(l) be the first derivative of -l**6/120 - l**5/6 - 2*l**4/3 - 5*l**3/2 + 19*l**2/2 - 3. Let y(r) be the second derivative of b(r). Is y(-10) prime?
False
Let o(i) = -7*i + 264530. Let x be o(0). Is (-8)/36 + x/90 a prime number?
True
Suppose 3*p = 2*y + 52811, -6*y + y = -5*p + 88020. Is p a composite number?
True
Let g(p) = -21*p**2 - 14 - p**3 - 27*p - 14*p - 5*p + 48 - 13. Is g(-20) a composite number?
False
Let n be (-2 - 39/3)/(-3). Suppose 3*x - 3 = 2*f + 5, n*f = -x + 14. Suppose -3*m - 1479 - 189 = -3*a, 0 = 4*m - x. Is a a prime number?
True
Let h(t) = 4*t**3 - 22*t**2 - 70*t - 39. Let o be ((-77)/28)/(-2 - 60/(-32)). Is h(o) a composite number?
True
Let t = -56135 + 126390. Is t prime?
False
Let m(k) = 7641*k**3 - 24*k**2 + 71*k + 9. Is m(4) a composite number?
True
Let y(m) = 144*m + 6. Let a be y(4). Suppose a = w - 3*f - 21954, -5*f + 112580 = 5*w. Is w composite?
True
Let a = 1207521 + -149536. Is a prime?
False
Suppose 14*l + 32 = -108. Let c be (15126/(-15))/(4/l). Let f = c + -1130. Is f prime?
False
Suppose -82*k + 11675 = -77*k. Suppose -w + k = 4*w. Is w prime?
True
Let z(h) = -9*h**2 - 28*h. Let j be z(-3). Suppose 0 = -j*k - 7*k + 13970. Is k prime?
False
Let f = 50326 + -27717. Is f a prime number?
False
Suppose m = 4*u + 535, 4*m + 12 - 290 = 2*u. Suppose 2*l + 2*s = 380, -2*l - 2*l = -2*s - 772. Let k = l + u. Is k a composite number?
False
Suppose 6*s + 1390 = 4*s. Let g(v) = 4*v**2 + 79*v + 762. Let l be g(-10). Let w = l - s. Is w a composite number?
True
Suppose 2230362 = 2*u - q, 68*q - 65*q = 3*u - 3345555. Is u composite?
True
Is 198222*23*(-26)/(-156) a composite number?
True
Let g = 6024 + -2606. Suppose -149*x = 511 - 161 + 246. Is g/x*(7 - 9) composite?
False
Let c be 4652 + -1 + -5 + (-5)/1. Suppose -4*k = -4*n + 5*n - c, -k = -2*n + 9237. Is n prime?
True
Let r(n) = 5267*n + 1225. Is r(20) a composite number?
True
Let y(i) = -2099*i + 11. Let s(d) = 7*d**2 + 41*d + 24. Let t be s(-5). Is y(t) a prime number?
False
Let x(i) = -438*i + 299. Is x(-29) prime?
True
Let c be -2 + (-2 - (-3 + -5592)). Suppose 0 = 5*w - 2*w + 6, l = 3*w + c. Is l a prime number?
False
Let t(p) = 258*p**2 + 72*p + 123. Is t(-15) a composite number?
True
Is 4/6 - (1961204/(-42) + -7) a composite number?
False
Let q be 18/(-21)*(-8 + 1). Let w be q/(-15) - (-2724)/(-15). Let u = 405 - w. Is u composite?
False
