 m = s + 1123. Is m a prime number?
False
Let y = -102176 - -197545. Is y composite?
False
Let p(r) = -r + 15. Let v be p(8). Let c(g) = 0*g - 11*g**2 - v*g**2 - g**3 + 4*g**3 - 9*g + 7. Is c(10) a composite number?
False
Suppose 2*q = d - 4*d + 16, -8 = -2*d. Let x be q - 15*6/9. Is 9/(-6) + (-4468)/x a composite number?
False
Let k be (166/(-14) + 5)/(1/(-56)). Suppose 0 = -y - 131 - 104. Let x = y + k. Is x a prime number?
True
Let o be (-2)/1*(-1 - (-5)/2). Let v be (-8 - o - -3) + 5. Suppose -2804 = -7*c + v*c. Is c a prime number?
True
Let u(b) = 102208*b - 21. Let v be u(2). Suppose -3*h + 8*h = v. Is h prime?
True
Let w(m) be the first derivative of -m**4/4 - 26*m**3/3 + 43*m**2 - 96*m - 122. Is w(-45) composite?
True
Suppose -194*h + 1536096 = -146*h. Is h a prime number?
False
Let w(r) = -60667*r + 725. Is w(-4) a prime number?
False
Suppose -40*g + 100903 - 19463 = 0. Let w = g - 413. Is w composite?
True
Let p(k) = -16*k**2 - 756*k - 41. Is p(-24) prime?
True
Let v = -8331 - -18104. Is v prime?
False
Suppose -97935 + 29402 - 76078 = -r. Is r a prime number?
True
Let u = 357 + -373. Let m(g) = g**3 + 31*g**2 + 27*g - 1. Is m(u) a prime number?
True
Let b = -66 - -68. Suppose -2155 = -p + b*g, 0 = 5*g + 1 + 19. Is p prime?
False
Let n(r) = -14423*r - 2095. Is n(-18) a composite number?
False
Let j(g) be the first derivative of 673*g**3/3 + g**2 - 2*g - 3. Let o(q) = -12*q - 59. Let f be o(-5). Is j(f) a prime number?
True
Suppose -1973931 = -11*b + 2*p, b + b + 4*p - 358914 = 0. Is b composite?
True
Let z = -320 + 995. Let m(r) = 3 + 0 - 1 + 2 + z*r. Is m(1) prime?
False
Suppose c = -c - 10, -t + 10004 = 15*c. Is t prime?
True
Suppose -2*c + 64 = -4*d, -5*d = 2*c - 4*d - 39. Suppose -n = -29 + c. Is n a prime number?
True
Let v(t) = -t**3 - 6*t**2 + t + 1. Let b be v(-6). Let a(r) be the first derivative of 2*r**3 - 8*r**2 - 7*r + 137. Is a(b) composite?
False
Let v = 105841 - 48338. Is v composite?
False
Let n(i) = 9017*i**3 - 8*i**2 - 21*i + 5. Is n(4) prime?
True
Let r be 1804/123*3363/2. Suppose -c - r = -3*p, -2*c = -10*p + 8*p + 16448. Is p composite?
False
Suppose -3*m + 6*m - 33 = 0. Suppose 20 = -m*r + 240. Suppose -163 = -21*w + r*w. Is w a prime number?
True
Suppose 318315 = k + 2*p, 2*k - 9*p = -10*p + 636621. Is k a composite number?
True
Suppose -5*w - 3 + 8 = 5*a, -4*w - 2*a = -12. Suppose -102 = w*h - 3*y, -2*y = -0*h + 3*h + 65. Is 2707 - ((-6)/h)/(1/7) composite?
True
Let c = 93 - 99. Let t(d) = -73*d - 97. Is t(c) prime?
False
Let q = 17887 + -7908. Suppose -11*o = q - 44024. Let b = -1014 + o. Is b a prime number?
True
Let h be -12*4/6*30/(-80). Suppose o + 3*c = 88, h*c + 386 = 3*o + 2*o. Is o composite?
False
Let d be (-1)/((-1)/(-2)*2) + -3. Let o(m) = 0*m**2 + m**2 - 3 - 4*m**3 + 1 - 14*m. Is o(d) a prime number?
False
Let h be -2*(-1)/((-8)/12) - -4. Suppose -h = v - 30. Suppose 4*d = l - 80 + v, -3*l - d = -101. Is l prime?
False
Let p = -930 - -419. Let a = 1682 - 588. Let w = p + a. Is w a composite number?
True
Let f = -1306 - -16425. Suppose -b - 5 + 1 = 0, 0 = -5*t + b + f. Suppose -4*o - 771 = -t. Is o composite?
False
Suppose -4*m = -2*w - m + 10912, 3*w + 4*m - 16351 = 0. Suppose 5*l = w + 10902. Is l a composite number?
False
Suppose -11*f + 10*f + 10315 = 0. Is f/(-10)*(-1 - 1) a composite number?
False
Is (-2)/8 + (-395910)/(-120) prime?
True
Let t = 57 - 33. Suppose -29*h + t*h = -33265. Suppose -4*l + 5*p + h = 0, 2944 + 3674 = 4*l + 2*p. Is l prime?
True
Let c(z) = -z**3 + 20*z**2 + 3*z - 5. Let s be c(14). Let x = -1 - -3. Suppose 0 = -x*f + 8457 + s. Is f a prime number?
False
Let q(x) = -x**2 - x + 1. Let l(a) = -38*a**2 + a - 41. Let y(i) = -l(i) + q(i). Is y(11) prime?
False
Let o = 50365 - -8158. Is o composite?
True
Is (0 + (-717)/4)/((-51)/1292) composite?
True
Suppose 33*x = 68*x - 386050. Let a = x + -6397. Is a prime?
False
Suppose 2*j = 2*c + 103728, j - 39693 = 3*c + 12163. Suppose j = 4*q - 2*t, -t - 1 = 3. Is q prime?
False
Suppose -25 = -5*a, -5*a + 51 = -4*t - 2. Let y(r) = -220*r + 25. Let q be y(t). Suppose -5*h - 300 + q = 0. Is h a prime number?
False
Is 8/(-14) + (173666570/(-98))/(-5) a composite number?
False
Let i(x) be the first derivative of 3*x**4/4 - 8*x**3/3 + 4*x**2 + x - 891. Let t be 6*(1 + -1 + 1). Is i(t) prime?
True
Suppose 4*h + 2*m + 18 = 56, 5*h = 2*m + 25. Suppose h*n - 13710 = 7843. Is n prime?
True
Is ((-11290499)/34 + -16)/(3/(-2)) a prime number?
True
Let c = 134938 + -20372. Is c a composite number?
True
Let k = -6096 - -8677. Suppose 0 = -7*v + 23592 + k. Is v a composite number?
False
Let r = 39 - 59. Let w = 22 + r. Suppose 0 = -w*f + 1078 - 320. Is f a prime number?
True
Let q(w) = w**3 - 9*w**2 + 11*w + 15. Let d be q(6). Let y = d - -34. Suppose 23*o - 80624 = y*o. Is o prime?
True
Suppose -2*g - 5*d = -6*g + 698, 2*d + 527 = 3*g. Is 69/6*(-19 + g) a prime number?
False
Suppose 3*w + 10 = 16. Suppose -w*n - 10 = 0, 0*n + 2040 = 2*o + 2*n. Suppose -3*s = -4*t + o, -3*t = -t - 3*s - 517. Is t composite?
True
Suppose 2455 + 3565 = 5*h. Suppose 3*f + 2*f + 6000 = 5*x, -x + 2*f + h = 0. Suppose -6*a + x + 550 = 0. Is a prime?
False
Let u be ((-11)/33)/(2/(-702)). Suppose -2*k + 17 = -u. Is k composite?
False
Suppose -28 = -v - 4*p, 2*p - 104 = 12*v - 15*v. Suppose 10809 = -33*t + v*t. Is t composite?
True
Suppose 4*t + 18 = 2*a, -t - 6 = 34*a - 33*a. Let s(x) = -95*x**3 - 5*x**2 - 14*x - 23. Is s(t) a prime number?
False
Let l(m) = -m**2 + 6*m - 5. Let y be l(3). Suppose g + 4*i - 3 = -23, -y*g + 15 = -3*i. Suppose g = 6*j - j - 5435. Is j prime?
True
Let d = 60807 - 35024. Let w = 36990 - d. Suppose -13*y - w + 41536 = 0. Is y composite?
False
Suppose 2*z - 3*o - 1571 = 0, -3*z + 3*o + 1423 + 938 = 0. Suppose 0 = -3*d + 6673 - z. Is d composite?
True
Suppose 19*c = -1263 - 257. Is (1 + 9137)*c/(-96) a prime number?
False
Suppose 6*d + 419337 - 1086873 = 0. Suppose 33*w = 25*w + d. Is w a composite number?
False
Let t = -510 - -511. Is (0/t - -9513) + (39 - 41) composite?
False
Let i = -69931 + 261840. Is i a prime number?
False
Let p = -83369 - -159030. Is p a composite number?
True
Let u(c) = c**2 + 4*c + 5. Let i(d) = -2*d**2 - 4*d - 4. Let a(g) = 2*i(g) + 3*u(g). Let x be a(5). Suppose -4*p + 654 = -x*p. Is p composite?
True
Let j(v) be the second derivative of 4439*v**5/20 + v**4/4 - v**2/2 + 70*v. Is j(1) composite?
False
Let f(o) = -4945*o - 1318. Is f(-41) a prime number?
False
Suppose -5*g + 6232 = 2*n, -6*n + 3*n - 12 = 0. Let w = g - 349. Is w composite?
True
Let d(w) = w**3 - 2*w**2 - 3*w + 5. Let c(q) = q**2 - 10*q + 3. Let b be c(10). Let j be d(b). Suppose -r + 934 = 4*i + 251, -4*r = -j*i - 2648. Is r composite?
True
Let h = 2449 + -809. Let l = h - 581. Is l composite?
True
Let o = -79 - -88. Suppose -o*v + 11*v - 18890 = 0. Is v prime?
False
Let o(v) = v**2 - 14*v - 9. Let z be o(15). Suppose 0 = m + z*m - 35. Suppose -m*d = 2*h - 1903, d = -5*h - 4*d + 4780. Is h a composite number?
True
Suppose -4*b + c + 10845 = 0, -3*c - 3 = 12. Suppose b = 5*h - 2495. Is h a prime number?
False
Suppose -3*g + 5*h + 512573 = -2080621, -5*g + 2*h + 4321990 = 0. Is g prime?
False
Suppose 1341 = -d - 1158. Let i = d - -12340. Is i prime?
False
Let s = -326 - -332. Is s + -3 - (0 + 1)*-484 prime?
True
Let n(h) = 10 + 721*h**2 - 43*h + 86*h - 49*h. Let j be n(2). Suppose -2*v + 4*v = j. Is v prime?
False
Suppose -15*j - 20*j = -44369160 + 1422515. Is j a composite number?
False
Let x(h) = 63*h**2 - 3*h + 1. Let v be x(6). Let y = -1064 + v. Suppose 2*j - y - 315 = 0. Is j prime?
True
Suppose -41*t = -2705311 - 1136430. Is t composite?
False
Suppose -48*b = -55*b + 42181 + 225436. Is b a prime number?
True
Is (-37)/(2035/22) + (-472494)/(-10) composite?
True
Suppose 11 = n + 4*n + 3*d, 32 = 5*n - 4*d. Suppose k = 3*v + 1 + 5, 0 = 4*k. Is v - 18/n*-10 composite?
False
Let i be 19*-14 - 0/22. Let w be i/(-56) - (-2)/8. Suppose 3*k - 8*k = 15, -w*k = -5*x + 14710. Is x a composite number?
False
Let s = 407 + -404. Suppose 2*j - 4*i + 5063 - 27081 = 0, 4*i = s*j - 33035. Is j composite?
True
Suppose 104783 = -16*j + 255231. Suppose -1306 = -u - a + 1835, 2*a + j = 3*u. Is u composite?
False
Suppose 3*b = -0*b + 3*t + 9, 0 = -5*b - 5*t + 25. Suppose 